pair idbenchmarkbenchmark idsolversolver idconfigurationconfiguration idstatuscpu timewallclock timememory usageresultexpected
430514654qf_shid_entl/01.tst.smt28318666SLEEK20564default304221complete0.0752010.0707359113176.0unsatunsat
430514405qf_shid_entl/02.tst.smt28318417SLEEK20564default304221complete0.0759730.070981113176.0unsatunsat
430514465qf_shid_entl/03.tst.smt28318477SLEEK20564default304221complete0.0717750.067199113176.0unsatunsat
430514521qf_shid_entl/04.tst.smt28318533SLEEK20564default304221complete0.07340.0688099113176.0unsatunsat
430514452qf_shid_entl/05.tst.smt28318464SLEEK20564default304221complete0.0724980.068069113176.0unsatunsat
430514631qf_shid_entl/06.tst.smt28318643SLEEK20564default304221complete0.0860370.0808749113176.0unsatunsat
430514577qf_shid_entl/07.tst.smt28318589SLEEK20564default304221complete0.1098130.103574113176.0unsatunsat
430514574qf_shid_entl/08.tst.smt28318586SLEEK20564default304221complete0.0715520.0667521113176.0satunsat
430514633qf_shid_entl/09.tst.smt28318645SLEEK20564default304221complete0.1471710.139526113176.0unsatunsat
430514614qf_shid_entl/10.tst.smt28318626SLEEK20564default304221complete0.1190590.112462113176.0unsatunsat
430514660qf_shid_entl/11.tst.smt28318672SLEEK20564default304221complete0.1790880.170404113176.0unsatunsat
430514409qf_shid_entl/12.tst.smt28318421SLEEK20564default304221complete0.1546210.147035113176.0unsatunsat
430514477qf_shid_entl/13.tst.smt28318489SLEEK20564default304221complete0.0532690.0490701113176.0satunsat
430514509qf_shid_entl/14.tst.smt28318521SLEEK20564default304221complete0.0581460.0539449113176.0satunsat
430514439qf_shid_entl/15.tst.smt28318451SLEEK20564default304221complete0.1175470.112022113176.0unsatunsat
430514619qf_shid_entl/16.tst.smt28318631SLEEK20564default304221complete0.1398670.134101113176.0unsatunsat
430514563qf_shid_entl/17.tst.smt28318575SLEEK20564default304221complete0.247190.238592113176.0unsatunsat
430514564qf_shid_entl/18.tst.smt28318576SLEEK20564default304221complete0.0847580.0798411113176.0unsatunsat
430514617qf_shid_entl/19.tst.smt28318629SLEEK20564default304221complete0.082360.077651113176.0unsatunsat
430514587qf_shid_entl/20.tst.smt28318599SLEEK20564default304221complete0.0727640.068246113176.0unsatunsat
430514676qf_shid_entl/21.tst.smt28318688SLEEK20564default304221complete0.1385260.132419113176.0satunsat
430514389qf_shid_entl/22.tst.smt28318401SLEEK20564default304221complete0.068960.0845611113176.0unsatunsat
430514663qf_shid_entl/append_dll_slk-1.smt28318675SLEEK20564default304221complete0.0937740.088669113176.0unsatunsat
430514656qf_shid_entl/append_dll_slk-10.smt28318668SLEEK20564default304221complete0.1283320.121912113176.0unsatunsat
430514539qf_shid_entl/append_dll_slk-11.smt28318551SLEEK20564default304221complete0.0877020.082323113176.0unsatunsat
430514412qf_shid_entl/append_dll_slk-12.smt28318424SLEEK20564default304221complete0.0935370.0885969113176.0unsatunsat
430514470qf_shid_entl/append_dll_slk-2.smt28318482SLEEK20564default304221complete0.0817940.0766741113176.0unsatunsat
430514429qf_shid_entl/append_dll_slk-3.smt28318441SLEEK20564default304221complete0.0821370.0772601113176.0unsatunsat
430514582qf_shid_entl/append_dll_slk-4.smt28318594SLEEK20564default304221complete0.0928040.087854113176.0unsatunsat
430514692qf_shid_entl/append_dll_slk-5.smt28318704SLEEK20564default304221complete0.0794380.074843113176.0unsatunsat
430514496qf_shid_entl/append_dll_slk-6.smt28318508SLEEK20564default304221complete0.0837330.07854113176.0unsatunsat
430514454qf_shid_entl/append_dll_slk-7.smt28318466SLEEK20564default304221complete0.1036850.097768113176.0unsatunsat
430514590qf_shid_entl/append_dll_slk-8.smt28318602SLEEK20564default304221complete0.0920450.0866111113176.0unsatunsat
430514623qf_shid_entl/append_dll_slk-9.smt28318635SLEEK20564default304221complete0.1516710.144246113176.0unsatunsat
430514659qf_shid_entl/append_sll_cll_slk-1.smt28318671SLEEK20564default304221complete0.0914980.086083113176.0unsatunsat
430514538qf_shid_entl/append_sll_cll_slk-10.smt28318550SLEEK20564default304221complete0.0930.0873461113176.0unsatunsat
430514652qf_shid_entl/append_sll_cll_slk-11.smt28318664SLEEK20564default304221complete0.0894920.084042113176.0unsatunsat
430514460qf_shid_entl/append_sll_cll_slk-12.smt28318472SLEEK20564default304221complete0.0917740.086715113176.0unsatunsat
430514421qf_shid_entl/append_sll_cll_slk-13.smt28318433SLEEK20564default304221complete0.094240.0890499113176.0unsatunsat
430514566qf_shid_entl/append_sll_cll_slk-14.smt28318578SLEEK20564default304221complete0.0895840.0846459113176.0unsatunsat
430514679qf_shid_entl/append_sll_cll_slk-15.smt28318691SLEEK20564default304221complete0.1081810.102277113176.0satsat
430514484qf_shid_entl/append_sll_cll_slk-16.smt28318496SLEEK20564default304221complete0.0929280.087444113176.0unsatunsat
430514442qf_shid_entl/append_sll_cll_slk-17.smt28318454SLEEK20564default304221complete0.1066220.100483113176.0unsatunsat
430514595qf_shid_entl/append_sll_cll_slk-18.smt28318607SLEEK20564default304221complete0.0996480.0942861113176.0unsatunsat
430514468qf_shid_entl/append_sll_cll_slk-2.smt28318480SLEEK20564default304221complete0.0874180.0821951113176.0unsatunsat
430514423qf_shid_entl/append_sll_cll_slk-3.smt28318435SLEEK20564default304221complete0.0885440.083135113176.0unsatunsat
430514559qf_shid_entl/append_sll_cll_slk-4.smt28318571SLEEK20564default304221complete0.0929370.0875249113176.0unsatunsat
430514674qf_shid_entl/append_sll_cll_slk-5.smt28318686SLEEK20564default304221complete0.0883790.082997113176.0unsatunsat
430514480qf_shid_entl/append_sll_cll_slk-6.smt28318492SLEEK20564default304221complete0.0925580.0870109113176.0satsat
430514436qf_shid_entl/append_sll_cll_slk-7.smt28318448SLEEK20564default304221complete0.0902630.0849821113176.0unsatunsat
430514599qf_shid_entl/append_sll_cll_slk-8.smt28318611SLEEK20564default304221complete0.1382760.131423113176.0unsatunsat
430514635qf_shid_entl/append_sll_cll_slk-9.smt28318647SLEEK20564default304221complete0.0996570.093836113176.0unsatunsat
430514435qf_shid_entl/append_sll_ls_slk-1.smt28318447SLEEK20564default304221complete0.0836850.078482113176.0unsatunsat
430514554qf_shid_entl/append_sll_ls_slk-2.smt28318566SLEEK20564default304221complete0.0848060.0794901113176.0unsatunsat
430514670qf_shid_entl/append_sll_ls_slk-3.smt28318682SLEEK20564default304221complete0.0813640.076569113176.0unsatunsat
430514492qf_shid_entl/append_sll_ls_slk-4.smt28318504SLEEK20564default304221complete0.0853250.0801991113176.0unsatunsat
430514451qf_shid_entl/append_sll_ls_slk-5.smt28318463SLEEK20564default304221complete0.0829530.0781139113176.0unsatunsat
430514573qf_shid_entl/append_sll_ls_slk-6.smt28318585SLEEK20564default304221complete0.0823540.077323113176.0unsatunsat
430514687qf_shid_entl/append_sll_ls_slk-7.smt28318699SLEEK20564default304221complete0.1330080.126319113176.0unsatunsat
430514511qf_shid_entl/append_sll_ls_slk-8.smt28318523SLEEK20564default304221complete0.0924970.0867121113176.0unsatunsat
430514406qf_shid_entl/append_sll_slk-1.smt28318418SLEEK20564default304221complete0.0753650.0706671113176.0unsatunsat
430514605qf_shid_entl/append_sll_slk-2.smt28318617SLEEK20564default304221complete0.0715950.066246113176.0unsatunsat
430514640qf_shid_entl/append_sll_slk-3.smt28318652SLEEK20564default304221complete0.0711790.06654113176.0unsatunsat
430514508qf_shid_entl/append_sll_slk-4.smt28318520SLEEK20564default304221complete0.0781070.0730441113176.0unsatunsat
430514384qf_shid_entl/append_sll_slk-5.smt28318396SLEEK20564default304221complete0.0966320.0906859113176.0unsatunsat
430514583qf_shid_entl/append_sll_slk-6.smt28318595SLEEK20564default304221complete0.0754540.0705311113176.0unsatunsat
430514621qf_shid_entl/append_sll_slk-7.smt28318633SLEEK20564default304221complete0.0724210.06771113176.0unsatunsat
430514501qf_shid_entl/append_sll_slk-8.smt28318513SLEEK20564default304221complete0.0772740.0722311113176.0unsatunsat
430514601qf_shid_entl/dll-entails-dll-rev.smt28318613SLEEK20564default304221complete0.1599010.152324113176.0satunsat
430514443qf_shid_entl/dll-entails-dll0+.smt28318455SLEEK20564default304221complete0.0968050.091005113176.0satunsat
430514572qf_shid_entl/dll-mid-entails-dll-rev.smt28318584SLEEK20564default304221timeout (wallclock)2399.912400.082500260.0starexec-unknownunsat
430514502qf_shid_entl/dll-rev-entails-dll-mid.smt28318514SLEEK20564default304221complete0.1630880.156085113176.0satunsat
430514609qf_shid_entl/dll-rev-entails-dll.smt28318621SLEEK20564default304221complete0.0863190.0808051113176.0satunsat
430514575qf_shid_entl/dll-spaghetti.smt28318587SLEEK20564default304221complete666.488666.5291.0050524E7starexec-unknownunsat
430514399qf_shid_entl/dll-vc01.smt28318411SLEEK20564default304221complete0.1208310.115391113176.0unsatunsat
430514598qf_shid_entl/dll-vc02.smt28318610SLEEK20564default304221complete0.1219890.116597113176.0unsatunsat
430514636qf_shid_entl/dll-vc03.smt28318648SLEEK20564default304221complete0.1336260.128561113176.0unsatunsat
430514532qf_shid_entl/dll-vc04.smt28318544SLEEK20564default304221complete0.153070.146392113176.0satsat
430514408qf_shid_entl/dll-vc05.smt28318420SLEEK20564default304221complete0.1519540.145592113176.0satunsat
430514613qf_shid_entl/dll-vc06.smt28318625SLEEK20564default304221complete0.220740.212804113176.0satsat
430514643qf_shid_entl/dll-vc07.smt28318655SLEEK20564default304221complete0.1654110.158185113176.0satunsat
430514469qf_shid_entl/dll-vc08.smt28318481SLEEK20564default304221complete0.3156240.305829113176.0satsat
430514422qf_shid_entl/dll-vc09.smt28318434SLEEK20564default304221complete0.1805290.174261113176.0unsatunsat
430514475qf_shid_entl/dll-vc10.smt28318487SLEEK20564default304221complete0.3266730.316488113176.0satsat
430514434qf_shid_entl/dll-vc11.smt28318446SLEEK20564default304221complete0.1576870.150872113176.0satunsat
430514556qf_shid_entl/dll-vc12.smt28318568SLEEK20564default304221complete0.2342520.225737113176.0satsat
430514671qf_shid_entl/dll-vc13.smt28318683SLEEK20564default304221complete0.1580760.151417113176.0satsat
430514487qf_shid_entl/dll-vc14.smt28318499SLEEK20564default304221complete0.1610220.154137113176.0satsat
430514448qf_shid_entl/dll-vc15.smt28318460SLEEK20564default304221complete0.1104610.105382113176.0unsatunsat
430514576qf_shid_entl/dll-vc16.smt28318588SLEEK20564default304221complete0.7972480.780541252980.0satsat
430514689qf_shid_entl/dll-vc17.smt28318701SLEEK20564default304221complete0.2106910.203171113176.0satunsat
430514463qf_shid_entl/dll2-entails-dll2-rev.smt28318475SLEEK20564default304221complete0.4468830.434282113176.0satunsat
430514473qf_shid_entl/dll2-rev-entails-dll2.smt28318485SLEEK20564default304221complete0.2290240.219973113176.0satunsat
430514529qf_shid_entl/dll2-spaghetti.smt28318541SLEEK20564default304221complete668.04668.1011.0050444E7starexec-unknownunsat
430514520qf_shid_entl/dllrev_append_dllrev_dll_entails_dll.sb.smt28318532SLEEK20564default304221complete0.1312320.124883113176.0satunsat
430514608qf_shid_entl/dllrev_append_dllrev_dll_entails_dllrev.sb.smt28318620SLEEK20564default304221complete0.3839350.369163113176.0satunsat
430514387qf_shid_entl/dllrev_append_dll_dll_entails_dll.sb.smt28318399SLEEK20564default304221complete0.356210.3447113176.0unsatunsat
430514415qf_shid_entl/dllrev_append_dll_dll_entails_dllrev.sb.smt28318427SLEEK20564default304221complete0.3274450.314752113176.0satunsat
430514426qf_shid_entl/dllrev_append_head_entails_dll.sb.smt28318438SLEEK20564default304221complete0.1165490.110699113176.0satunsat
430514528qf_shid_entl/dllrev_append_head_entails_dllrev.sb.smt28318540SLEEK20564default304221complete0.1310240.123691113176.0unsatunsat
430514447qf_shid_entl/dllrev_concat.sb.smt28318459SLEEK20564default304221complete0.222970.212365113176.0satunsat
430514400qf_shid_entl/dllrev_concat_dll_entails_dll.sb.smt28318412SLEEK20564default304221complete0.2333350.224086113176.0unsatunsat
430514464qf_shid_entl/dllrev_concat_dll_entails_dllrev.sb.smt28318476SLEEK20564default304221complete0.2672140.255822113176.0satunsat
430514445qf_shid_entl/dllrev_entails_dll.sb.smt28318457SLEEK20564default304221complete0.1297260.122995113176.0satunsat
430514629qf_shid_entl/dll_append_dllnull_entails_dllnull.sb.smt28318641SLEEK20564default304221complete0.0994490.093564113176.0unsatunsat
430514668qf_shid_entl/dll_append_tail_entails_dll.sb.smt28318680SLEEK20564default304221complete0.1089220.103258113176.0satunsat
430514474qf_shid_entl/dll_append_tail_entails_dllnull.sb.smt28318486SLEEK20564default304221complete0.0984010.0926281113176.0unsatunsat
430514603qf_shid_entl/dll_append_tail_entails_dllnull_nil.sb.smt28318615SLEEK20564default304221complete0.1006690.0947179113176.0satunsat
430514693qf_shid_entl/dll_append_tail_entails_dllrev.sb.smt28318705SLEEK20564default304221complete0.1060710.100613113176.0satunsat
430514388qf_shid_entl/dll_concat.sb.smt28318400SLEEK20564default304221complete0.1322610.125369113176.0unsatunsat
430514503qf_shid_entl/dll_concat_dllrev.sb.smt28318515SLEEK20564default304221complete0.1756520.1672113176.0satunsat
430514515qf_shid_entl/dll_entails_dllrev.sb.smt28318527SLEEK20564default304221complete0.1616190.15441113176.0satunsat
430514395qf_shid_entl/dll_entails_ls.sb.smt28318407SLEEK20564default304221complete0.1079220.101835113176.0unsatunsat
430514432qf_shid_entl/dll_entails_lspre.sb.smt28318444SLEEK20564default304221complete0.0726180.067791113176.0satunsat
430514653qf_shid_entl/dll_entails_lsrev.sb.smt28318665SLEEK20564default304221complete0.0810830.0761719113176.0satunsat
430514418qf_shid_entl/dll_nil_tl_entails_dllnull.sb.smt28318430SLEEK20564default304221complete0.0855460.0802719113176.0unsatunsat
430514581qf_shid_entl/elseg4_slk-1.smt28318593SLEEK20564default304221complete0.1066970.101818113176.0unsatunsat
430514453qf_shid_entl/elseg4_slk-2.smt28318465SLEEK20564default304221complete0.0889180.0841779113176.0unsatunsat
430514495qf_shid_entl/elseg4_slk-3.smt28318507SLEEK20564default304221complete0.0974510.092776113176.0satsat
430514664qf_shid_entl/elseg4_slk-4.smt28318676SLEEK20564default304221complete0.1039110.099095113176.0satsat
430514551qf_shid_entl/elseg4_slk-5.smt28318563SLEEK20564default304221complete0.1019840.0972331113176.0unsatunsat
430514430qf_shid_entl/elseg4_slk-6.smt28318442SLEEK20564default304221complete0.1055730.100801113176.0unsatunsat
430514471qf_shid_entl/elseg4_slk-7.smt28318483SLEEK20564default304221complete0.1503550.144733113176.0unsatunsat
430514642qf_shid_entl/elseg4_slk-8.smt28318654SLEEK20564default304221complete0.1035060.09815113176.0unsatunsat
430514607qf_shid_entl/elseg4_slk-9.smt28318619SLEEK20564default304221complete0.0980470.0929971113176.0unsatunsat
430514490qf_shid_entl/eolseg_01.sb.smt28318502SLEEK20564default304221complete0.2165740.207911113176.0satunsat
430514681qf_shid_entl/eolseg_02.sb.smt28318693SLEEK20564default304221complete0.2099050.20038113176.0satunsat
430514494qf_shid_entl/eolseg_05.sb.smt28318506SLEEK20564default304221complete0.263250.253572113176.0satunsat
430514686qf_shid_entl/eolseg_06.sb.smt28318698SLEEK20564default304221complete0.2377780.228241113176.0satunsat
430514561qf_shid_entl/eolseg_07.sb.smt28318573SLEEK20564default304221complete0.2685070.25861113176.0satunsat
430514505qf_shid_entl/eolseg_09.sb.smt28318517SLEEK20564default304221complete0.2338990.224499113176.0satunsat
430514593qf_shid_entl/eolseg_12.sb.smt28318605SLEEK20564default304221complete0.2446730.235161113176.0satunsat
430514392qf_shid_entl/eolseg_15.sb.smt28318404SLEEK20564default304221complete0.2766820.266449113176.0satunsat
430514550qf_shid_entl/ls2_entail_ls_01.sb.smt28318562SLEEK20564default304221complete0.1259240.120273113176.0unsatunsat
430514669qf_shid_entl/ls2_entail_ls_04.sb.smt28318681SLEEK20564default304221complete0.2665060.257295113176.0satunsat
430514413qf_shid_entl/lsegex4_slk-1.smt28318425SLEEK20564default304221complete0.1504580.144239113176.0unsatunsat
430514540qf_shid_entl/lsegex4_slk-2.smt28318552SLEEK20564default304221complete0.1419410.136237113176.0satsat
430514657qf_shid_entl/lsegex4_slk-3.smt28318669SLEEK20564default304221complete0.155470.149283113176.0unsatunsat
430514482qf_shid_entl/lsegex4_slk-4.smt28318494SLEEK20564default304221complete0.1673640.161471113176.0unsatunsat
430514438qf_shid_entl/lsegex4_slk-5.smt28318450SLEEK20564default304221complete0.1435080.138159113176.0unsatunsat
430514569qf_shid_entl/lsegex4_slk-6.smt28318581SLEEK20564default304221complete0.1376910.132211113176.0unsatunsat
430514578qf_shid_entl/lsevenodd_01.sb.smt28318590SLEEK20564default304221complete0.1418090.134862113176.0unsatunsat
430514444qf_shid_entl/lsevenodd_02.sb.smt28318456SLEEK20564default304221complete0.2114330.202556113176.0unsatunsat
430514479qf_shid_entl/lsevenodd_03.sb.smt28318491SLEEK20564default304221complete0.1601180.151729113176.0satunsat
430514691qf_shid_entl/lsevenodd_04.sb.smt28318703SLEEK20564default304221complete0.1747940.16677113176.0satunsat
430514579qf_shid_entl/lsevenodd_09.sb.smt28318591SLEEK20564default304221complete0.1572620.149449113176.0satunsat
430514630qf_shid_entl/lsevenodd_11.sb.smt28318642SLEEK20564default304221complete0.1919870.184237113176.0unsatunsat
430514602qf_shid_entl/lsevenodd_14.sb.smt28318614SLEEK20564default304221complete0.1476730.140784113176.0satunsat
430514634qf_shid_entl/lsevenodd_15.sb.smt28318646SLEEK20564default304221complete0.147890.140468113176.0satunsat
430514510qf_shid_entl/lsevenodd_16.sb.smt28318522SLEEK20564default304221complete0.1758060.168956113176.0unsatunsat
430514544qf_shid_entl/lsevenodd_ls2_01.sb.smt28318556SLEEK20564default304221complete0.1403130.132953113176.0satunsat
430514427qf_shid_entl/lsevenodd_ls2_02.sb.smt28318439SLEEK20564default304221complete0.1753490.167607113176.0satunsat
430514547qf_shid_entl/lsevenodd_ls2_05.sb.smt28318559SLEEK20564default304221complete0.1775190.16973113176.0unsatunsat
430514431qf_shid_entl/lsevenodd_ls2_06.sb.smt28318443SLEEK20564default304221complete0.1386740.131781113176.0satunsat
430514543qf_shid_entl/lsevenodd_ls2_09.sb.smt28318555SLEEK20564default304221complete0.2447650.234988113176.0unsatunsat
430514411qf_shid_entl/lsevenodd_ls2_13.sb.smt28318423SLEEK20564default304221complete0.2371160.226767113176.0satunsat
430514604qf_shid_entl/lsevenodd_ls2_14.sb.smt28318616SLEEK20564default304221complete0.2582250.248296113176.0satunsat
430514639qf_shid_entl/lsevenodd_ls2_15.sb.smt28318651SLEEK20564default304221complete0.2588870.249157113176.0satunsat
430514531qf_shid_entl/lsevenodd_ls2_16.sb.smt28318543SLEEK20564default304221complete0.1912710.18344113176.0satunsat
430514519qf_shid_entl/lsleftright_01.sb.smt28318531SLEEK20564default304221complete0.1097980.103992113176.0satunsat
430514622qf_shid_entl/lsleftright_02.sb.smt28318634SLEEK20564default304221complete0.1235890.117388113176.0satunsat
430514393qf_shid_entl/lsleftright_04.sb.smt28318405SLEEK20564default304221complete0.1048940.0992279113176.0satunsat
430514518qf_shid_entl/lsleftright_05.sb.smt28318530SLEEK20564default304221complete0.0944890.0893331113176.0unsatunsat
430514620qf_shid_entl/lsleftright_06.sb.smt28318632SLEEK20564default304221complete0.1074660.101598113176.0satunsat
430514592qf_shid_entl/lsleftright_07.sb.smt28318604SLEEK20564default304221complete0.1116620.105615113176.0satunsat
430514397qf_shid_entl/lsleftright_08.sb.smt28318409SLEEK20564default304221complete0.1007280.0949391113176.0unsatunsat
430514512qf_shid_entl/lsleftright_09.sb.smt28318524SLEEK20564default304221complete0.0846370.079686113176.0satunsat
430514491qf_shid_entl/lsleftright_10.sb.smt28318503SLEEK20564default304221complete0.0889250.0837099113176.0satunsat
430514455qf_shid_entl/lsleftright_11.sb.smt28318467SLEEK20564default304221complete0.1289040.123052113176.0satunsat
430514560qf_shid_entl/lsleftright_12.sb.smt28318572SLEEK20564default304221complete0.1190410.113091113176.0satunsat
430514683qf_shid_entl/lsleftright_13.sb.smt28318695SLEEK20564default304221complete0.1254130.119252113176.0satunsat
430514493qf_shid_entl/lsleftright_14.sb.smt28318505SLEEK20564default304221complete0.1378090.131349113176.0satunsat
430514456qf_shid_entl/lsleftright_15.sb.smt28318468SLEEK20564default304221complete0.1694590.162041113176.0satunsat
430514562qf_shid_entl/lsleftright_16.sb.smt28318574SLEEK20564default304221complete0.1725160.164659113176.0satunsat
430514685qf_shid_entl/lsleftright_17.sb.smt28318697SLEEK20564default304221complete0.1042420.0985611113176.0satunsat
430514504qf_shid_entl/lsleftright_18.sb.smt28318516SLEEK20564default304221complete0.1157770.109602113176.0satunsat
430514450qf_shid_entl/lsleftright_19.sb.smt28318462SLEEK20564default304221complete0.0950760.089784113176.0satunsat
430514600qf_shid_entl/lsleftright_20.sb.smt28318612SLEEK20564default304221complete0.0925120.087352113176.0satunsat
430514433qf_shid_entl/lss-vc01.smt28318445SLEEK20564default304221complete0.0743690.0697929113176.0unsatunsat
430514548qf_shid_entl/lss-vc02.smt28318560SLEEK20564default304221complete0.1212390.115456113176.0unsatunsat
430514661qf_shid_entl/lss-vc03.smt28318673SLEEK20564default304221complete0.1358970.129172113176.0unsatunsat
430514615qf_shid_entl/ls_entail_ls2_02.sb.smt28318627SLEEK20564default304221complete0.1224770.116533113176.0satunsat
430514522qf_shid_entl/ls_entail_ls2_04.sb.smt28318534SLEEK20564default304221complete0.1733510.165747113176.0satunsat
430514401qf_shid_entl/ls_entail_ls2_05.sb.smt28318413SLEEK20564default304221complete0.1877590.17958113176.0unsatunsat
430514612qf_shid_entl/ls_entail_ls2_06.sb.smt28318624SLEEK20564default304221complete0.1513310.144917113176.0unsatunsat
430514650qf_shid_entl/ls_entail_ls_nonrec_01.sb.smt28318662SLEEK20564default304221complete0.129410.122986113176.0unsatunsat
430514524qf_shid_entl/ls_entail_ls_nonrec_02.sb.smt28318536SLEEK20564default304221complete0.1496280.142815113176.0unsatunsat
430514407qf_shid_entl/ls_entail_ls_nonrec_03.sb.smt28318419SLEEK20564default304221complete0.3776570.36502113176.0unsatunsat
430514610qf_shid_entl/ls_entail_ls_nonrec_04.sb.smt28318622SLEEK20564default304221complete1.392451.37714252984.0unsatunsat
430514648qf_shid_entl/ls_entail_ls_nonrec_05.sb.smt28318660SLEEK20564default304221complete4.428514.4008257544.0unsatunsat
430514523qf_shid_entl/ls_entail_ls_nonrec_06.sb.smt28318535SLEEK20564default304221complete0.2307360.222295113176.0unsatunsat
430514402qf_shid_entl/ls_entail_ls_nonrec_07.sb.smt28318414SLEEK20564default304221complete1.718831.67888256340.0satunsat
430514616qf_shid_entl/ls_entail_ls_nonrec_08.sb.smt28318628SLEEK20564default304221complete1.292711.27363254008.0unsatunsat
430514645qf_shid_entl/ls_entail_ls_nonrec_09.sb.smt28318657SLEEK20564default304221complete12.77512.7523261480.0unsatunsat
430514662qf_shid_entl/ls_entail_ls_nonrec_10.sb.smt28318674SLEEK20564default304221complete127.242127.222290112.0unsatunsat
430514553qf_shid_entl/ls_entail_ls_nonrec_11.sb.smt28318565SLEEK20564default304221complete4.092534.02478268940.0satunsat
430514414qf_shid_entl/ls_entail_ls_nonrec_12.sb.smt28318426SLEEK20564default304221complete11.386511.2746297228.0satunsat
430514462qf_shid_entl/ls_entail_ls_nonrec_13.sb.smt28318474SLEEK20564default304221complete39.860139.6826336212.0satunsat
430514667qf_shid_entl/ls_entail_ls_nonrec_14.sb.smt28318679SLEEK20564default304221complete165.872165.582370664.0satunsat
430514555qf_shid_entl/ls_entail_ls_nonrec_15.sb.smt28318567SLEEK20564default304221complete777.779777.225482436.0satunsat
430514419qf_shid_entl/ls_entail_ls_nonrec_16.sb.smt28318431SLEEK20564default304221timeout (cpu)2400.032399.32505412.0starexec-unknownunsat
430514637qf_shid_entl/ls_even_append_tl_entails_ls.sb.smt28318649SLEEK20564default304221complete0.1306320.123725113176.0unsatunsat
430514499qf_shid_entl/ls_even_append_tl_entails_ls_odd.sb.smt28318511SLEEK20564default304221complete0.1161520.109932113176.0unsatunsat
430514386qf_shid_entl/ls_even_entails_ls.sb.smt28318398SLEEK20564default304221complete0.1185770.112193113176.0unsatunsat
430514588qf_shid_entl/ls_even_join_entails_ls.sb.smt28318600SLEEK20564default304221complete0.1521420.145295113176.0satunsat
430514394qf_shid_entl/ls_even_join_entails_ls_even.sb.smt28318406SLEEK20564default304221complete0.2092140.201915113176.0unsatunsat
430514646qf_shid_entl/ls_even_join_ls_entails_ls.sb.smt28318658SLEEK20564default304221complete0.1390180.132447113176.0satunsat
430514489qf_shid_entl/ls_even_odd_join_entails_ls.sb.smt28318501SLEEK20564default304221complete0.1239090.116928113176.0satunsat
430514584qf_shid_entl/ls_even_odd_join_entails_ls_odd.sb.smt28318596SLEEK20564default304221complete0.112810.106693113176.0unsatunsat
430514558qf_shid_entl/ls_join_entails_ls.sb.smt28318570SLEEK20564default304221complete0.0947240.0889951113176.0unsatunsat
430514396qf_shid_entl/ls_lsrev_concat_entail_lsrev_1.sb.smt28318408SLEEK20564default304221complete0.136580.129759113176.0unsatunsat
430514594qf_shid_entl/ls_lsrev_concat_entail_lsrev_2.sb.smt28318606SLEEK20564default304221complete0.1213170.115309113176.0unsatunsat
430514624qf_shid_entl/ls_lsrev_concat_entail_lsrev_3.sb.smt28318636SLEEK20564default304221complete0.143880.137234113176.0unsatunsat
430514517qf_shid_entl/ls_lsrev_concat_entail_lsrev_4.sb.smt28318529SLEEK20564default304221complete0.1715050.163412113176.0unsatunsat
430514488qf_shid_entl/ls_lsrev_concat_entail_ls_1.sb.smt28318500SLEEK20564default304221complete0.1291630.12222113176.0unsatunsat
430514678qf_shid_entl/ls_lsrev_concat_entail_ls_2.sb.smt28318690SLEEK20564default304221complete0.143680.136491113176.0satunsat
430514557qf_shid_entl/ls_lsrev_concat_entail_ls_3.sb.smt28318569SLEEK20564default304221complete0.123170.116926113176.0satunsat
430514457qf_shid_entl/ls_lsrev_concat_entail_ls_4.sb.smt28318469SLEEK20564default304221complete0.1349280.127997113176.0satunsat
430514514qf_shid_entl/ls_nonrec_entail_ls_01.sb.smt28318526SLEEK20564default304221complete0.4313190.419729113176.0unsatunsat
430514627qf_shid_entl/ls_nonrec_entail_ls_02.sb.smt28318639SLEEK20564default304221complete1.481741.46114253152.0satunsat
430514589qf_shid_entl/ls_nonrec_entail_ls_03.sb.smt28318601SLEEK20564default304221complete8.617798.55457269484.0satunsat
430514398qf_shid_entl/ls_nonrec_entail_ls_04.sb.smt28318410SLEEK20564default304221complete17.12917.0986272220.0satunsat
430514513qf_shid_entl/ls_nonrec_entail_ls_05.sb.smt28318525SLEEK20564default304221complete13.2113.2089268720.0unsatunsat
430514626qf_shid_entl/ls_nonrec_entail_ls_06.sb.smt28318638SLEEK20564default304221complete0.6005310.586784251548.0unsatunsat
430514586qf_shid_entl/ls_nonrec_entail_ls_07.sb.smt28318598SLEEK20564default304221complete56.535456.3041364464.0satunsat
430514390qf_shid_entl/ls_nonrec_entail_ls_08.sb.smt28318402SLEEK20564default304221timeout (wallclock)2399.882400.04595644.0starexec-unknownunsat
430514516qf_shid_entl/ls_nonrec_entail_ls_09.sb.smt28318528SLEEK20564default304221timeout (wallclock)2399.972400.054442756.0starexec-unknownunsat
430514498qf_shid_entl/ls_nonrec_entail_ls_10.sb.smt28318510SLEEK20564default304221timeout (cpu)2400.022400.11376872.0starexec-unknownunsat
430514446qf_shid_entl/ls_nonrec_entail_ls_11.sb.smt28318458SLEEK20564default304221timeout (cpu)2400.072400.11396148.0starexec-unknownunsat
430514568qf_shid_entl/ls_nonrec_entail_ls_12.sb.smt28318580SLEEK20564default304221complete20.206720.1704279728.0unsatunsat
430514675qf_shid_entl/ls_nonrec_entail_ls_13.sb.smt28318687SLEEK20564default304221complete406.18405.103878360.0satunsat
430514500qf_shid_entl/ls_nonrec_entail_ls_14.sb.smt28318512SLEEK20564default304221timeout (cpu)2400.072394.323169944.0starexec-unknownunsat
430514449qf_shid_entl/ls_nonrec_entail_ls_15.sb.smt28318461SLEEK20564default304221timeout (cpu)2400.042394.123147280.0starexec-unknownunsat
430514570qf_shid_entl/ls_nonrec_entail_ls_16.sb.smt28318582SLEEK20564default304221timeout (cpu)2400.12394.412873280.0starexec-unknownunsat
430514672qf_shid_entl/ls_odd_append_tl_entails_ls.sb.smt28318684SLEEK20564default304221complete0.130340.123482113176.0unsatunsat
430514546qf_shid_entl/ls_odd_append_tl_entails_ls_even.sb.smt28318558SLEEK20564default304221complete0.1114750.105481113176.0unsatunsat
430514688qf_shid_entl/ls_odd_entails_ls.sb.smt28318700SLEEK20564default304221complete0.1241390.117547113176.0unsatunsat
430514677qf_shid_entl/ls_odd_join_entails_ls.sb.smt28318689SLEEK20564default304221complete0.1298630.122799113176.0satunsat
430514440qf_shid_entl/ls_odd_join_entails_ls_even.sb.smt28318452SLEEK20564default304221complete0.1060420.100134113176.0unsatunsat
430514533qf_shid_entl/ls_odd_join_ls_entails_ls.sb.smt28318545SLEEK20564default304221complete0.1623460.15486113176.0unsatunsat
430514535qf_shid_entl/nll-vc01.smt28318547SLEEK20564default304221complete0.980850.973587253600.0unsatunsat
430514417qf_shid_entl/nll-vc02.smt28318429SLEEK20564default304221complete0.9739130.966793253604.0unsatunsat
430514461qf_shid_entl/nll-vc03.smt28318473SLEEK20564default304221complete1.081961.07226253668.0unsatunsat
430514682qf_shid_entl/nll-vc04.smt28318694SLEEK20564default304221complete1.616861.59898253744.0unsatunsat
430514565qf_shid_entl/nll-vc05.smt28318577SLEEK20564default304221complete1.097531.08594253588.0unsatunsat
430514441qf_shid_entl/nll-vc06.smt28318453SLEEK20564default304221complete1.142891.13522253752.0unsatsat
430514486qf_shid_entl/nll-vc07.smt28318498SLEEK20564default304221complete1.157871.14746253748.0unsatunsat
430514628qf_shid_entl/nll-vc08.smt28318640SLEEK20564default304221complete1.905621.8849256664.0unsatunsat
430514596qf_shid_entl/nll-vc09.smt28318608SLEEK20564default304221complete1.234661.22172253748.0unsatunsat
430514625qf_shid_entl/nll-vc10.smt28318637SLEEK20564default304221complete1.602981.58676255776.0unsatunsat
430514591qf_shid_entl/nll-vc11.smt28318603SLEEK20564default304221complete1.288381.274254328.0unsatunsat
430514383qf_shid_entl/nll-vc12.smt28318395SLEEK20564default304221complete0.9862550.977818253584.0unsatunsat
430514506qf_shid_entl/nll-vc13.smt28318518SLEEK20564default304221complete1.076561.06795253748.0satsat
430514641qf_shid_entl/nll-vc14.smt28318653SLEEK20564default304221complete1.290051.27514253744.0satsat
430514606qf_shid_entl/nll-vc15.smt28318618SLEEK20564default304221complete1.075411.06663253588.0satsat
430514403qf_shid_entl/nll-vc16.smt28318415SLEEK20564default304221complete1.227661.21777253748.0satsat
430514526qf_shid_entl/nll-vc17.smt28318538SLEEK20564default304221complete3.365473.33284263784.0satsat
430514665qf_shid_entl/nll-vc18.smt28318677SLEEK20564default304221complete3.553983.5116258860.0satsat
430514552qf_shid_entl/nll-vc19.smt28318564SLEEK20564default304221complete4.895884.84543268036.0satsat
430514483qf_shid_entl/node-dll-rev-dll-entails-dll.smt28318495SLEEK20564default304221complete0.1813580.173271113176.0unsatunsat
430514476qf_shid_entl/node-node-dll-entails-dll.smt28318488SLEEK20564default304221complete0.1223480.115836113176.0unsatunsat
430514597qf_shid_entl/node-tll-tll-entails-tll.smt28318609SLEEK20564default304221complete0.1011040.09597113176.0unsatunsat
430514485qf_shid_entl/odd-lseg3_slk-1.smt28318497SLEEK20564default304221complete0.0634560.0589031113176.0satsat
430514680qf_shid_entl/odd-lseg3_slk-2.smt28318692SLEEK20564default304221complete0.062720.0587329113176.0unsatunsat
430514567qf_shid_entl/odd-lseg3_slk-3.smt28318579SLEEK20564default304221complete0.0748590.0702969113176.0unsatunsat
430514420qf_shid_entl/odd-lseg3_slk-4.smt28318432SLEEK20564default304221complete0.0668080.0621601113176.0satsat
430514459qf_shid_entl/odd-lseg3_slk-5.smt28318471SLEEK20564default304221complete0.0682840.064203113176.0satunsat
430514651qf_shid_entl/odd-lseg3_slk-6.smt28318663SLEEK20564default304221complete0.0876420.082985113176.0unsatsat
430514537qf_shid_entl/odd-lseg3_slk-7.smt28318549SLEEK20564default304221complete0.0575230.0535119113176.0unsatunsat
430514481qf_shid_entl/skl2-vc01.smt28318493SLEEK20564default304221complete0.9868620.980758253892.0unsatunsat
430514684qf_shid_entl/skl2-vc02.smt28318696SLEEK20564default304221complete0.995860.989363253900.0unsatunsat
430514571qf_shid_entl/skl2-vc03.smt28318583SLEEK20564default304221complete59.54759.246327312.0satunsat
430514416qf_shid_entl/skl2-vc04.smt28318428SLEEK20564default304221complete1.078851.06998254056.0unsatunsat
430514458qf_shid_entl/skl2-vc05.smt28318470SLEEK20564default304221complete2.727822.69213256084.0satsat
430514655qf_shid_entl/skl2-vc06.smt28318667SLEEK20564default304221complete4.469634.40311259164.0satsat
430514542qf_shid_entl/skl2-vc07.smt28318554SLEEK20564default304221complete208.454206.077525560.0unsatsat
430514497qf_shid_entl/skl3-vc01.smt28318509SLEEK20564default304221complete4.939324.92965256684.0unsatunsat
430514694qf_shid_entl/skl3-vc02.smt28318706SLEEK20564default304221complete82.215881.9203296408.0satsat
430514580qf_shid_entl/skl3-vc03.smt28318592SLEEK20564default304221complete1152.611151.94354140.0unsatunsat
430514425qf_shid_entl/skl3-vc04.smt28318437SLEEK20564default304221timeout (cpu)2400.042396.36811620.0starexec-unknownunsat
430514472qf_shid_entl/skl3-vc05.smt28318484SLEEK20564default304221timeout (cpu)2400.022399.59733388.0starexec-unknownunsat
430514666qf_shid_entl/skl3-vc06.smt28318678SLEEK20564default304221timeout (cpu)2400.022399.48740860.0starexec-unknownunsat
430514549qf_shid_entl/skl3-vc07.smt28318561SLEEK20564default304221timeout (cpu)2400.052394.38960480.0starexec-unknownunsat
430514404qf_shid_entl/skl3-vc08.smt28318416SLEEK20564default304221timeout (cpu)2400.052397.05687268.0starexec-unknownunsat
430514525qf_shid_entl/skl3-vc09.smt28318537SLEEK20564default304221timeout (cpu)2400.032396.31925292.0starexec-unknownunsat
430514410qf_shid_entl/skl3-vc10.smt28318422SLEEK20564default304221complete5.253745.23952256684.0unsatunsat
430514534qf_shid_entl/skl3-vc11.smt28318546SLEEK20564default304221timeout (cpu)2400.032395.92813636.0starexec-unknownsat
430514649qf_shid_entl/skl3-vc12.smt28318661SLEEK20564default304221timeout (cpu)2400.052398.88647560.0starexec-unknownsat
430514527qf_shid_entl/sll-vc01.smt28318539SLEEK20564default304221complete0.0745110.070191113176.0satsat
430514638qf_shid_entl/sll-vc02.smt28318650SLEEK20564default304221complete0.0768450.0720911113176.0satsat
430514428qf_shid_entl/tll-pp-entails-tll-pp-rev.smt28318440SLEEK20564default304221complete0.1340340.127587113176.0satunsat
430514632qf_shid_entl/tll-pp-rev-entails-tll-pp.smt28318644SLEEK20564default304221complete0.184070.177008113176.0satunsat
430514541qf_shid_entl/tll-ravioli.smt28318553SLEEK20564default304221complete363.83363.9171.0009484E7starexec-unknownunsat
430514673qf_shid_entl/tll_slk-1.smt28318685SLEEK20564default304221complete0.1079090.102502113176.0unsatunsat
430514385qf_shid_entl/tll_slk-10.smt28318397SLEEK20564default304221complete0.1143750.108836113176.0unsatunsat
430514507qf_shid_entl/tll_slk-11.smt28318519SLEEK20564default304221complete0.1149820.11008113176.0unsatunsat
430514618qf_shid_entl/tll_slk-12.smt28318630SLEEK20564default304221complete0.1262930.120279113176.0unsatunsat
430514585qf_shid_entl/tll_slk-13.smt28318597SLEEK20564default304221complete0.1688410.16216113176.0unsatunsat
430514478qf_shid_entl/tll_slk-2.smt28318490SLEEK20564default304221complete0.1059780.100411113176.0unsatunsat
430514437qf_shid_entl/tll_slk-3.smt28318449SLEEK20564default304221complete0.1142040.10849113176.0unsatunsat
430514545qf_shid_entl/tll_slk-4.smt28318557SLEEK20564default304221complete0.1225810.116817113176.0unsatunsat
430514658qf_shid_entl/tll_slk-5.smt28318670SLEEK20564default304221complete0.1090.103753113176.0unsatunsat
430514467qf_shid_entl/tll_slk-6.smt28318479SLEEK20564default304221complete0.1133640.107552113176.0unsatunsat
430514424qf_shid_entl/tll_slk-7.smt28318436SLEEK20564default304221complete0.1123470.107161113176.0unsatunsat
430514611qf_shid_entl/tll_slk-8.smt28318623SLEEK20564default304221complete0.1197710.113758113176.0unsatunsat
430514644qf_shid_entl/tll_slk-9.smt28318656SLEEK20564default304221complete0.1150580.109692113176.0unsatunsat
430514690qf_shid_entl/tree-pp-entails-tree-pp-rev.smt28318702SLEEK20564default304221complete0.1065550.101578113176.0satunsat
430514530qf_shid_entl/tree-pp-rev-entails-tree-pp.smt28318542SLEEK20564default304221complete0.1457340.139242113176.0satunsat
430514536qf_shid_entl/tseg_join_2.sb.smt28318548SLEEK20564default304221complete0.2602960.25131113176.0unsatunsat
430514466qf_shid_entl/tseg_join_2_entail_tree.sb.smt28318478SLEEK20564default304221complete0.0939630.0886079113176.0satunsat
430514391qf_shid_entl/tseg_join_tree.sb.smt28318403SLEEK20564default304221complete0.082220.0774821113176.0unsatunsat
430514647qf_shid_entl/tseg_join_tree_entail_tseg.sb.smt28318659SLEEK20564default304221complete0.216240.209105113176.0unsatunsat