pair idbenchmarkbenchmark idsolversolver idconfigurationconfiguration idstatuscpu timewallclock timememory usageresultexpected
433164341shid_entl/dll-entails-node-dll-rev.smt28318827SLEEK20564default304221complete0.0769040.071949113176.0satsat
433164387shid_entl/dll-entails-node-node-dll.smt28318873SLEEK20564default304221complete0.1057540.0999189113176.0satsat
433164351shid_entl/dll-spaghetti-existential.smt28318837SLEEK20564default304221complete664.026664.0881.0050536E7starexec-unknownunsat
433164346shid_entl/dll2-spaghetti-existential.smt28318832SLEEK20564default304221complete660.14660.2221.0050316E7starexec-unknownunsat
433164327shid_entl/dllnull_entails_dll.sb.smt28318813SLEEK20564default304221complete0.0888670.0831859113176.0unsatunsat
433164353shid_entl/dllnull_entails_dllrev.sb.smt28318839SLEEK20564default304221complete0.0819430.0767911113176.0satunsat
433164333shid_entl/dll_concat_dllrev_get_last.sb.smt28318819SLEEK20564default304221complete0.0815540.076369113176.0starexec-unknownunsat
433164375shid_entl/dll_entails_ls_node.sb.smt28318861SLEEK20564default304221timeout (wallclock)2399.692400.039940692.0starexec-unknownunsat
433164370shid_entl/dll_entails_node_lsrev.sb.smt28318856SLEEK20564default304221complete0.092920.0878859113176.0satunsat
433164358shid_entl/eolseg_03.sb.smt28318844SLEEK20564default304221complete0.2806940.270488113176.0satunsat
433164382shid_entl/eolseg_04.sb.smt28318868SLEEK20564default304221complete0.1404270.133135113176.0satunsat
433164383shid_entl/eolseg_08.sb.smt28318869SLEEK20564default304221complete0.3453420.333029113176.0satunsat
433164360shid_entl/eolseg_10.sb.smt28318846SLEEK20564default304221complete0.2102470.201303113176.0satunsat
433164391shid_entl/eolseg_11.sb.smt28318877SLEEK20564default304221complete0.2340320.224673113176.0satunsat
433164342shid_entl/eolseg_13.sb.smt28318828SLEEK20564default304221complete0.3467110.337454113176.0satunsat
433164361shid_entl/eolseg_14.sb.smt28318847SLEEK20564default304221complete0.2921740.282216113176.0unsatunsat
433164349shid_entl/eolseg_16.sb.smt28318835SLEEK20564default304221complete0.7244360.712411256312.0satunsat
433164390shid_entl/ls2_entail_ls_02.sb.smt28318876SLEEK20564default304221complete0.2173990.208916113176.0satunsat
433164359shid_entl/ls2_entail_ls_03.sb.smt28318845SLEEK20564default304221complete0.22410.215861113176.0satunsat
433164350shid_entl/ls2_entail_ls_05.sb.smt28318836SLEEK20564default304221complete0.2596580.249839113176.0satunsat
433164392shid_entl/ls2_entail_ls_06.sb.smt28318878SLEEK20564default304221complete0.2779030.268546113176.0satunsat
433164340shid_entl/lsevenodd_05.sb.smt28318826SLEEK20564default304221complete0.1704170.163132113176.0satunsat
433164363shid_entl/lsevenodd_06.sb.smt28318849SLEEK20564default304221complete0.1802060.172127113176.0satunsat
433164395shid_entl/lsevenodd_07.sb.smt28318881SLEEK20564default304221complete0.1234070.116839113176.0satunsat
433164348shid_entl/lsevenodd_08.sb.smt28318834SLEEK20564default304221complete0.1905870.182905113176.0satunsat
433164330shid_entl/lsevenodd_10.sb.smt28318816SLEEK20564default304221complete0.2168380.209142113176.0satunsat
433164389shid_entl/lsevenodd_12.sb.smt28318875SLEEK20564default304221complete0.1495180.142697113176.0satunsat
433164379shid_entl/lsevenodd_13.sb.smt28318865SLEEK20564default304221complete0.2037130.19582113176.0satunsat
433164377shid_entl/lsevenodd_17.sb.smt28318863SLEEK20564default304221complete0.1583360.150905113176.0satunsat
433164331shid_entl/lsevenodd_18.sb.smt28318817SLEEK20564default304221complete0.2216430.212895113176.0satunsat
433164354shid_entl/lsevenodd_19.sb.smt28318840SLEEK20564default304221complete0.2159060.207597113176.0satunsat
433164393shid_entl/lsevenodd_20.sb.smt28318879SLEEK20564default304221complete0.1828970.17469113176.0satunsat
433164365shid_entl/lsevenodd_ls2_03.sb.smt28318851SLEEK20564default304221complete0.1733680.165687113176.0satunsat
433164338shid_entl/lsevenodd_ls2_04.sb.smt28318824SLEEK20564default304221complete0.1381180.131272113176.0satunsat
433164364shid_entl/lsevenodd_ls2_07.sb.smt28318850SLEEK20564default304221complete0.2067310.198675113176.0satunsat
433164339shid_entl/lsevenodd_ls2_08.sb.smt28318825SLEEK20564default304221complete0.3014740.291946113176.0satunsat
433164355shid_entl/lsevenodd_ls2_10.sb.smt28318841SLEEK20564default304221complete0.5359490.523318113176.0satunsat
433164332shid_entl/lsevenodd_ls2_11.sb.smt28318818SLEEK20564default304221complete0.2419860.232959113176.0satunsat
433164374shid_entl/lsevenodd_ls2_12.sb.smt28318860SLEEK20564default304221complete0.2110660.202666113176.0satunsat
433164347shid_entl/lsleftright_03.sb.smt28318833SLEEK20564default304221complete0.0931740.087826113176.0satunsat
433164384shid_entl/ls_entail_ls2_01.sb.smt28318870SLEEK20564default304221complete0.1181630.111849113176.0satunsat
433164335shid_entl/ls_entail_ls2_03.sb.smt28318821SLEEK20564default304221complete0.1845240.176828113176.0satunsat
433164397shid_entl/ls_even_split_ls_even.sb.smt28318883SLEEK20564default304221complete0.0739280.0690729113176.0unsatunsat
433164356shid_entl/ls_lsrev_concat_entail_split_1.sb.smt28318842SLEEK20564default304221complete0.1717250.163626113176.0satunsat
433164388shid_entl/ls_lsrev_concat_entail_split_2.sb.smt28318874SLEEK20564default304221complete13.56313.539253964.0unsatunsat
433164378shid_entl/ls_lsrev_concat_entail_split_3.sb.smt28318864SLEEK20564default304221complete0.4316080.416549113176.0unsatunsat
433164329shid_entl/ls_lsrev_concat_entail_split_4.sb.smt28318815SLEEK20564default304221complete0.7013970.678052251040.0unsatunsat
433164373shid_entl/ls_lsrev_node_concat_entail_split_1.sb.smt28318859SLEEK20564default304221complete0.1350180.128613113176.0satunsat
433164336shid_entl/ls_lsrev_node_concat_entail_split_2.sb.smt28318822SLEEK20564default304221complete0.1938090.184947113176.0satunsat
433164357shid_entl/ls_lsrev_node_concat_entail_split_3.sb.smt28318843SLEEK20564default304221complete0.107330.101398113176.0satunsat
433164386shid_entl/ls_lsrev_node_concat_entail_split_4.sb.smt28318872SLEEK20564default304221complete0.2931130.28313113176.0satunsat
433164366shid_entl/ls_odd_split_ls_even_node.sb.smt28318852SLEEK20564default304221complete0.1153260.109467113176.0unsatunsat
433164396shid_entl/ls_odd_split_ls_even_odd.sb.smt28318882SLEEK20564default304221complete0.0693990.0646549113176.0unsatunsat
433164371shid_entl/ls_split_ls.sb.smt28318857SLEEK20564default304221complete0.0689570.0646581113176.0unsatunsat
433164380shid_entl/node-dll-rev-dll-entails-dll.smt28318866SLEEK20564default304221complete0.1821360.173891113176.0unsatunsat
433164337shid_entl/node-node-dll-entails-dll.smt28318823SLEEK20564default304221complete0.12170.115116113176.0unsatunsat
433164394shid_entl/node-tll-tll-entails-tll.smt28318880SLEEK20564default304221complete0.1009090.0956889113176.0unsatunsat
433164367shid_entl/tll-entails-node-tll-tll.smt28318853SLEEK20564default304221complete0.0800130.07555113176.0satsat
433164385shid_entl/tll-ravioli-existential.smt28318871SLEEK20564default304221complete361.441361.4911.0009632E7starexec-unknownunsat
433164326shid_entl/tree_2_entail_tseg_2_unk-1.sb.smt28318812SLEEK20564default304221complete0.0726030.06782113176.0unsatunsat
433164372shid_entl/tree_2_entail_tseg_2_unk-2.sb.smt28318858SLEEK20564default304221complete0.071570.0664241113176.0unsatunsat
433164381shid_entl/tree_2_entail_tseg_2_unk-3.sb.smt28318867SLEEK20564default304221complete0.0712510.0667259113176.0unsatunsat
433164369shid_entl/tree_entail_tseg_unk-1.sb.smt28318855SLEEK20564default304221complete0.0690470.0643979113176.0unsatunsat
433164328shid_entl/tree_entail_tseg_unk-2.sb.smt28318814SLEEK20564default304221complete0.0687490.064055113176.0unsatunsat
433164343shid_entl/tree_split_tseg-1.sb.smt28318829SLEEK20564default304221complete0.0844710.0795579113176.0unsatunsat
433164362shid_entl/tree_split_tseg-2.sb.smt28318848SLEEK20564default304221complete0.0704480.065183113176.0unsatunsat
433164345shid_entl/tseg_join_2_entail_tree_unk.sb.smt28318831SLEEK20564default304221complete0.0709820.0661859113176.0unsatunsat
433164376shid_entl/tseg_join_2_entail_unk_tseg-1.sb.smt28318862SLEEK20564default304221complete0.3280930.32082113176.0unsatunsat
433164334shid_entl/tseg_join_2_entail_unk_tseg-2.sb.smt28318820SLEEK20564default304221complete0.0715180.066758113176.0unsatunsat
433164344shid_entl/tseg_join_tree_entail_unk_tree-1.sb.smt28318830SLEEK20564default304221complete0.0710080.0663659113176.0unsatunsat
433164368shid_entl/tseg_join_tree_entail_unk_tree-2.sb.smt28318854SLEEK20564default304221complete0.0695170.0649541113176.0unsatunsat
433164398shid_entl/tseg_join_tree_entail_unk_tseg-1.sb.smt28318884SLEEK20564default304221complete0.072410.067656113176.0unsatunsat
433164352shid_entl/tseg_join_tree_entail_unk_tseg-2.sb.smt28318838SLEEK20564default304221complete0.0696020.06449113176.0unsatunsat