pair idbenchmarkbenchmark idsolversolver idconfigurationconfiguration idstatuscpu timewallclock timememory usageresultexpected
433164414shid_entl/dll-entails-node-dll-rev.smt28318827slide-2018-v520623SLD_input304322complete0.3371090.357786113176.0satsat
433164460shid_entl/dll-entails-node-node-dll.smt28318873slide-2018-v520623SLD_input304322complete0.3157330.3314113176.0satsat
433164424shid_entl/dll-spaghetti-existential.smt28318837slide-2018-v520623SLD_input304322complete2.245532.40408533700.0unsatunsat
433164419shid_entl/dll2-spaghetti-existential.smt28318832slide-2018-v520623SLD_input304322complete3.427513.69226536656.0unsatunsat
433164400shid_entl/dllnull_entails_dll.sb.smt28318813slide-2018-v520623SLD_input304322complete0.3168710.377063113176.0unsatunsat
433164426shid_entl/dllnull_entails_dllrev.sb.smt28318839slide-2018-v520623SLD_input304322complete0.3128430.331488113176.0unsatunsat
433164406shid_entl/dll_concat_dllrev_get_last.sb.smt28318819slide-2018-v520623SLD_input304322complete0.2891820.328653113176.0starexec-unknownunsat
433164448shid_entl/dll_entails_ls_node.sb.smt28318861slide-2018-v520623SLD_input304322complete0.2930650.28552113176.0starexec-unknownunsat
433164443shid_entl/dll_entails_node_lsrev.sb.smt28318856slide-2018-v520623SLD_input304322complete0.2900880.282596113176.0starexec-unknownunsat
433164431shid_entl/eolseg_03.sb.smt28318844slide-2018-v520623SLD_input304322complete0.289160.28134113176.0starexec-unknownunsat
433164455shid_entl/eolseg_04.sb.smt28318868slide-2018-v520623SLD_input304322complete0.2906240.28334113176.0starexec-unknownunsat
433164456shid_entl/eolseg_08.sb.smt28318869slide-2018-v520623SLD_input304322complete0.2946240.287104113176.0starexec-unknownunsat
433164433shid_entl/eolseg_10.sb.smt28318846slide-2018-v520623SLD_input304322complete0.2869450.280948113176.0starexec-unknownunsat
433164464shid_entl/eolseg_11.sb.smt28318877slide-2018-v520623SLD_input304322complete0.2889610.28286113176.0starexec-unknownunsat
433164415shid_entl/eolseg_13.sb.smt28318828slide-2018-v520623SLD_input304322complete0.2911040.284089113176.0starexec-unknownunsat
433164434shid_entl/eolseg_14.sb.smt28318847slide-2018-v520623SLD_input304322complete0.2915820.282715113176.0starexec-unknownunsat
433164422shid_entl/eolseg_16.sb.smt28318835slide-2018-v520623SLD_input304322complete0.2882010.28083113176.0starexec-unknownunsat
433164463shid_entl/ls2_entail_ls_02.sb.smt28318876slide-2018-v520623SLD_input304322complete0.2890360.283084113176.0starexec-unknownunsat
433164432shid_entl/ls2_entail_ls_03.sb.smt28318845slide-2018-v520623SLD_input304322complete0.292790.289493113176.0starexec-unknownunsat
433164423shid_entl/ls2_entail_ls_05.sb.smt28318836slide-2018-v520623SLD_input304322complete0.2912840.283579113176.0starexec-unknownunsat
433164465shid_entl/ls2_entail_ls_06.sb.smt28318878slide-2018-v520623SLD_input304322complete0.2907020.283649113176.0starexec-unknownunsat
433164413shid_entl/lsevenodd_05.sb.smt28318826slide-2018-v520623SLD_input304322complete0.2895150.377017113176.0starexec-unknownunsat
433164436shid_entl/lsevenodd_06.sb.smt28318849slide-2018-v520623SLD_input304322complete0.289670.327519113176.0starexec-unknownunsat
433164468shid_entl/lsevenodd_07.sb.smt28318881slide-2018-v520623SLD_input304322complete0.2886390.282682113176.0starexec-unknownunsat
433164421shid_entl/lsevenodd_08.sb.smt28318834slide-2018-v520623SLD_input304322complete0.2884540.282508113176.0starexec-unknownunsat
433164403shid_entl/lsevenodd_10.sb.smt28318816slide-2018-v520623SLD_input304322complete0.2909410.320095113176.0starexec-unknownunsat
433164462shid_entl/lsevenodd_12.sb.smt28318875slide-2018-v520623SLD_input304322complete0.2888750.281755113176.0starexec-unknownunsat
433164452shid_entl/lsevenodd_13.sb.smt28318865slide-2018-v520623SLD_input304322complete0.2927890.285317113176.0starexec-unknownunsat
433164450shid_entl/lsevenodd_17.sb.smt28318863slide-2018-v520623SLD_input304322complete0.288920.31543113176.0starexec-unknownunsat
433164404shid_entl/lsevenodd_18.sb.smt28318817slide-2018-v520623SLD_input304322complete0.289270.281853113176.0starexec-unknownunsat
433164427shid_entl/lsevenodd_19.sb.smt28318840slide-2018-v520623SLD_input304322complete0.2895470.282037113176.0starexec-unknownunsat
433164466shid_entl/lsevenodd_20.sb.smt28318879slide-2018-v520623SLD_input304322complete0.2897560.315593113176.0starexec-unknownunsat
433164438shid_entl/lsevenodd_ls2_03.sb.smt28318851slide-2018-v520623SLD_input304322complete0.2876160.281669113176.0starexec-unknownunsat
433164411shid_entl/lsevenodd_ls2_04.sb.smt28318824slide-2018-v520623SLD_input304322complete0.2885090.282556113176.0starexec-unknownunsat
433164437shid_entl/lsevenodd_ls2_07.sb.smt28318850slide-2018-v520623SLD_input304322complete0.2876070.281331113176.0starexec-unknownunsat
433164412shid_entl/lsevenodd_ls2_08.sb.smt28318825slide-2018-v520623SLD_input304322complete0.2877470.321557113176.0starexec-unknownunsat
433164428shid_entl/lsevenodd_ls2_10.sb.smt28318841slide-2018-v520623SLD_input304322complete0.2881670.280569113176.0starexec-unknownunsat
433164405shid_entl/lsevenodd_ls2_11.sb.smt28318818slide-2018-v520623SLD_input304322complete0.2896970.331026113176.0starexec-unknownunsat
433164447shid_entl/lsevenodd_ls2_12.sb.smt28318860slide-2018-v520623SLD_input304322complete0.2898920.282339113176.0starexec-unknownunsat
433164420shid_entl/lsleftright_03.sb.smt28318833slide-2018-v520623SLD_input304322complete0.2900180.320412113176.0starexec-unknownunsat
433164457shid_entl/ls_entail_ls2_01.sb.smt28318870slide-2018-v520623SLD_input304322complete0.2891850.282978113176.0starexec-unknownunsat
433164408shid_entl/ls_entail_ls2_03.sb.smt28318821slide-2018-v520623SLD_input304322complete0.2868870.280639113176.0starexec-unknownunsat
433164470shid_entl/ls_even_split_ls_even.sb.smt28318883slide-2018-v520623SLD_input304322complete0.3057540.298455113176.0unsatunsat
433164429shid_entl/ls_lsrev_concat_entail_split_1.sb.smt28318842slide-2018-v520623SLD_input304322complete0.5701420.561076113176.0starexec-unknownunsat
433164461shid_entl/ls_lsrev_concat_entail_split_2.sb.smt28318874slide-2018-v520623SLD_input304322complete0.580290.571856414520.0starexec-unknownunsat
433164451shid_entl/ls_lsrev_concat_entail_split_3.sb.smt28318864slide-2018-v520623SLD_input304322complete0.5823530.573505414544.0starexec-unknownunsat
433164402shid_entl/ls_lsrev_concat_entail_split_4.sb.smt28318815slide-2018-v520623SLD_input304322complete0.5801210.570786414544.0starexec-unknownunsat
433164446shid_entl/ls_lsrev_node_concat_entail_split_1.sb.smt28318859slide-2018-v520623SLD_input304322complete0.2898270.318239113176.0starexec-unknownunsat
433164409shid_entl/ls_lsrev_node_concat_entail_split_2.sb.smt28318822slide-2018-v520623SLD_input304322complete0.2881630.282014113176.0starexec-unknownunsat
433164430shid_entl/ls_lsrev_node_concat_entail_split_3.sb.smt28318843slide-2018-v520623SLD_input304322complete0.2891410.283491113176.0starexec-unknownunsat
433164459shid_entl/ls_lsrev_node_concat_entail_split_4.sb.smt28318872slide-2018-v520623SLD_input304322complete0.2861540.280369113176.0starexec-unknownunsat
433164439shid_entl/ls_odd_split_ls_even_node.sb.smt28318852slide-2018-v520623SLD_input304322complete0.3275820.380233113176.0starexec-unknownunsat
433164469shid_entl/ls_odd_split_ls_even_odd.sb.smt28318882slide-2018-v520623SLD_input304322complete0.3201390.342319113176.0unsatunsat
433164444shid_entl/ls_split_ls.sb.smt28318857slide-2018-v520623SLD_input304322complete0.3192540.384892113176.0unsatunsat
433164453shid_entl/node-dll-rev-dll-entails-dll.smt28318866slide-2018-v520623SLD_input304322complete0.337250.388152113176.0unsatunsat
433164410shid_entl/node-node-dll-entails-dll.smt28318823slide-2018-v520623SLD_input304322complete0.2878680.279365113176.0unsatunsat
433164467shid_entl/node-tll-tll-entails-tll.smt28318880slide-2018-v520623SLD_input304322complete0.2998210.316205113176.0unsatunsat
433164440shid_entl/tll-entails-node-tll-tll.smt28318853slide-2018-v520623SLD_input304322complete0.3466650.358272113176.0starexec-unknownsat
433164458shid_entl/tll-ravioli-existential.smt28318871slide-2018-v520623SLD_input304322complete0.2954650.286562113176.0unsatunsat
433164399shid_entl/tree_2_entail_tseg_2_unk-1.sb.smt28318812slide-2018-v520623SLD_input304322complete0.4813290.47239113176.0starexec-unknownunsat
433164445shid_entl/tree_2_entail_tseg_2_unk-2.sb.smt28318858slide-2018-v520623SLD_input304322complete0.4838310.47477113176.0starexec-unknownunsat
433164454shid_entl/tree_2_entail_tseg_2_unk-3.sb.smt28318867slide-2018-v520623SLD_input304322complete0.483930.475166113176.0starexec-unknownunsat
433164442shid_entl/tree_entail_tseg_unk-1.sb.smt28318855slide-2018-v520623SLD_input304322complete0.4668220.557574414544.0unsatunsat
433164401shid_entl/tree_entail_tseg_unk-2.sb.smt28318814slide-2018-v520623SLD_input304322complete0.4368450.427958113176.0starexec-unknownunsat
433164416shid_entl/tree_split_tseg-1.sb.smt28318829slide-2018-v520623SLD_input304322complete0.2905230.281415113176.0starexec-unknownunsat
433164435shid_entl/tree_split_tseg-2.sb.smt28318848slide-2018-v520623SLD_input304322complete0.4202920.410844113176.0starexec-unknownunsat
433164418shid_entl/tseg_join_2_entail_tree_unk.sb.smt28318831slide-2018-v520623SLD_input304322complete0.6736160.694404414544.0unsatunsat
433164449shid_entl/tseg_join_2_entail_unk_tseg-1.sb.smt28318862slide-2018-v520623SLD_input304322complete0.4717260.463229113176.0starexec-unknownunsat
433164407shid_entl/tseg_join_2_entail_unk_tseg-2.sb.smt28318820slide-2018-v520623SLD_input304322complete0.7187790.749548414552.0starexec-unknownunsat
433164417shid_entl/tseg_join_tree_entail_unk_tree-1.sb.smt28318830slide-2018-v520623SLD_input304322complete0.4073370.398278113176.0starexec-unknownunsat
433164441shid_entl/tseg_join_tree_entail_unk_tree-2.sb.smt28318854slide-2018-v520623SLD_input304322complete0.5321560.529848113176.0starexec-unknownunsat
433164471shid_entl/tseg_join_tree_entail_unk_tseg-1.sb.smt28318884slide-2018-v520623SLD_input304322complete0.569830.561604113176.0starexec-unknownunsat
433164425shid_entl/tseg_join_tree_entail_unk_tseg-2.sb.smt28318838slide-2018-v520623SLD_input304322complete0.5878370.578654113176.0starexec-unknownunsat