pair idbenchmarkbenchmark idsolversolver idconfigurationconfiguration idstatuscpu timewallclock timememory usageresultexpected
433164487shid_entl/dll-entails-node-dll-rev.smt28318827s2s.0.3.322440default326050complete0.0271250.027163113176.0satsat
433164533shid_entl/dll-entails-node-node-dll.smt28318873s2s.0.3.322440default326050complete0.0145350.0145799113176.0satsat
433164497shid_entl/dll-spaghetti-existential.smt28318837s2s.0.3.322440default326050complete1.310361.31052138600.0unsatunsat
433164492shid_entl/dll2-spaghetti-existential.smt28318832s2s.0.3.322440default326050complete1.280871.28097139596.0unsatunsat
433164473shid_entl/dllnull_entails_dll.sb.smt28318813s2s.0.3.322440default326050complete0.0147250.0147489113176.0unsatunsat
433164499shid_entl/dllnull_entails_dllrev.sb.smt28318839s2s.0.3.322440default326050complete0.0151470.015224113176.0unsatunsat
433164479shid_entl/dll_concat_dllrev_get_last.sb.smt28318819s2s.0.3.322440default326050complete0.030010.0300471113176.0unsatunsat
433164521shid_entl/dll_entails_ls_node.sb.smt28318861s2s.0.3.322440default326050complete0.0150350.0151771113176.0unsatunsat
433164516shid_entl/dll_entails_node_lsrev.sb.smt28318856s2s.0.3.322440default326050complete0.0147130.0147531113176.0unsatunsat
433164504shid_entl/eolseg_03.sb.smt28318844s2s.0.3.322440default326050complete0.0181360.018176113176.0unsatunsat
433164528shid_entl/eolseg_04.sb.smt28318868s2s.0.3.322440default326050complete0.0182520.018304113176.0unsatunsat
433164529shid_entl/eolseg_08.sb.smt28318869s2s.0.3.322440default326050complete0.0464860.0465559113176.0unsatunsat
433164506shid_entl/eolseg_10.sb.smt28318846s2s.0.3.322440default326050complete0.0230310.0230851113176.0unsatunsat
433164537shid_entl/eolseg_11.sb.smt28318877s2s.0.3.322440default326050complete0.0175440.0175779113176.0unsatunsat
433164488shid_entl/eolseg_13.sb.smt28318828s2s.0.3.322440default326050complete0.025290.0253609113176.0unsatunsat
433164507shid_entl/eolseg_14.sb.smt28318847s2s.0.3.322440default326050complete0.0159890.0160711113176.0unsatunsat
433164495shid_entl/eolseg_16.sb.smt28318835s2s.0.3.322440default326050complete0.0435390.0436141113176.0unsatunsat
433164536shid_entl/ls2_entail_ls_02.sb.smt28318876s2s.0.3.322440default326050complete0.0147460.014753113176.0unsatunsat
433164505shid_entl/ls2_entail_ls_03.sb.smt28318845s2s.0.3.322440default326050complete0.0158380.0158691113176.0unsatunsat
433164496shid_entl/ls2_entail_ls_05.sb.smt28318836s2s.0.3.322440default326050complete0.0144970.014525113176.0unsatunsat
433164538shid_entl/ls2_entail_ls_06.sb.smt28318878s2s.0.3.322440default326050complete0.0184280.0184601113176.0unsatunsat
433164486shid_entl/lsevenodd_05.sb.smt28318826s2s.0.3.322440default326050complete0.0156550.015699113176.0unsatunsat
433164509shid_entl/lsevenodd_06.sb.smt28318849s2s.0.3.322440default326050complete0.0182450.018293113176.0unsatunsat
433164541shid_entl/lsevenodd_07.sb.smt28318881s2s.0.3.322440default326050complete0.0176440.0177329113176.0unsatunsat
433164494shid_entl/lsevenodd_08.sb.smt28318834s2s.0.3.322440default326050complete0.0164020.0164289113176.0unsatunsat
433164476shid_entl/lsevenodd_10.sb.smt28318816s2s.0.3.322440default326050complete0.0177020.017733113176.0unsatunsat
433164535shid_entl/lsevenodd_12.sb.smt28318875s2s.0.3.322440default326050complete0.0179890.018053113176.0unsatunsat
433164525shid_entl/lsevenodd_13.sb.smt28318865s2s.0.3.322440default326050complete0.0190510.0190851113176.0unsatunsat
433164523shid_entl/lsevenodd_17.sb.smt28318863s2s.0.3.322440default326050complete0.0156150.0156429113176.0unsatunsat
433164477shid_entl/lsevenodd_18.sb.smt28318817s2s.0.3.322440default326050complete0.0151960.015236113176.0unsatunsat
433164500shid_entl/lsevenodd_19.sb.smt28318840s2s.0.3.322440default326050complete0.0152580.0152919113176.0unsatunsat
433164539shid_entl/lsevenodd_20.sb.smt28318879s2s.0.3.322440default326050complete0.0176320.0176739113176.0unsatunsat
433164511shid_entl/lsevenodd_ls2_03.sb.smt28318851s2s.0.3.322440default326050complete0.0223740.022417113176.0unsatunsat
433164484shid_entl/lsevenodd_ls2_04.sb.smt28318824s2s.0.3.322440default326050complete0.0331810.0332531113176.0unsatunsat
433164510shid_entl/lsevenodd_ls2_07.sb.smt28318850s2s.0.3.322440default326050complete0.2538620.253948113176.0unsatunsat
433164485shid_entl/lsevenodd_ls2_08.sb.smt28318825s2s.0.3.322440default326050complete0.1080130.108057113176.0unsatunsat
433164501shid_entl/lsevenodd_ls2_10.sb.smt28318841s2s.0.3.322440default326050complete0.2419950.242071113176.0unsatunsat
433164478shid_entl/lsevenodd_ls2_11.sb.smt28318818s2s.0.3.322440default326050complete0.0327070.0327479113176.0unsatunsat
433164520shid_entl/lsevenodd_ls2_12.sb.smt28318860s2s.0.3.322440default326050complete0.0426580.0427379113176.0unsatunsat
433164493shid_entl/lsleftright_03.sb.smt28318833s2s.0.3.322440default326050complete0.0163160.0163669113176.0unsatunsat
433164530shid_entl/ls_entail_ls2_01.sb.smt28318870s2s.0.3.322440default326050complete0.014920.0149661113176.0unsatunsat
433164481shid_entl/ls_entail_ls2_03.sb.smt28318821s2s.0.3.322440default326050complete0.0188370.0189001113176.0unsatunsat
433164543shid_entl/ls_even_split_ls_even.sb.smt28318883s2s.0.3.322440default326050complete0.01430.0143751113176.0unsatunsat
433164502shid_entl/ls_lsrev_concat_entail_split_1.sb.smt28318842s2s.0.3.322440default326050complete0.018770.018794113176.0unsatunsat
433164534shid_entl/ls_lsrev_concat_entail_split_2.sb.smt28318874s2s.0.3.322440default326050complete0.0146330.014697113176.0unsatunsat
433164524shid_entl/ls_lsrev_concat_entail_split_3.sb.smt28318864s2s.0.3.322440default326050complete0.0139270.013977113176.0unsatunsat
433164475shid_entl/ls_lsrev_concat_entail_split_4.sb.smt28318815s2s.0.3.322440default326050complete0.0282140.028255113176.0unsatunsat
433164519shid_entl/ls_lsrev_node_concat_entail_split_1.sb.smt28318859s2s.0.3.322440default326050complete0.0145030.014591113176.0unsatunsat
433164482shid_entl/ls_lsrev_node_concat_entail_split_2.sb.smt28318822s2s.0.3.322440default326050complete0.0152860.0153059113176.0unsatunsat
433164503shid_entl/ls_lsrev_node_concat_entail_split_3.sb.smt28318843s2s.0.3.322440default326050complete0.0157490.0158281113176.0unsatunsat
433164532shid_entl/ls_lsrev_node_concat_entail_split_4.sb.smt28318872s2s.0.3.322440default326050complete0.0174880.0175649113176.0unsatunsat
433164512shid_entl/ls_odd_split_ls_even_node.sb.smt28318852s2s.0.3.322440default326050complete0.0148530.014912113176.0unsatunsat
433164542shid_entl/ls_odd_split_ls_even_odd.sb.smt28318882s2s.0.3.322440default326050complete0.0133420.013424113176.0unsatunsat
433164517shid_entl/ls_split_ls.sb.smt28318857s2s.0.3.322440default326050complete0.0120830.0121210.0unsatunsat
433164526shid_entl/node-dll-rev-dll-entails-dll.smt28318866s2s.0.3.322440default326050complete0.0329640.03302113176.0unsatunsat
433164483shid_entl/node-node-dll-entails-dll.smt28318823s2s.0.3.322440default326050complete0.0158620.015906113176.0unsatunsat
433164540shid_entl/node-tll-tll-entails-tll.smt28318880s2s.0.3.322440default326050complete0.0141520.014179113176.0unsatunsat
433164513shid_entl/tll-entails-node-tll-tll.smt28318853s2s.0.3.322440default326050complete0.0689220.06897113176.0satsat
433164531shid_entl/tll-ravioli-existential.smt28318871s2s.0.3.322440default326050complete0.7849670.785113137732.0unsatunsat
433164472shid_entl/tree_2_entail_tseg_2_unk-1.sb.smt28318812s2s.0.3.322440default326050complete0.0588020.058847113176.0unsatunsat
433164518shid_entl/tree_2_entail_tseg_2_unk-2.sb.smt28318858s2s.0.3.322440default326050complete0.0540450.054127113176.0unsatunsat
433164527shid_entl/tree_2_entail_tseg_2_unk-3.sb.smt28318867s2s.0.3.322440default326050complete0.0529820.0530209113176.0unsatunsat
433164515shid_entl/tree_entail_tseg_unk-1.sb.smt28318855s2s.0.3.322440default326050complete0.0151090.0151829113176.0unsatunsat
433164474shid_entl/tree_entail_tseg_unk-2.sb.smt28318814s2s.0.3.322440default326050complete0.0146350.014674113176.0unsatunsat
433164489shid_entl/tree_split_tseg-1.sb.smt28318829s2s.0.3.322440default326050complete0.0162030.0162361113176.0unsatunsat
433164508shid_entl/tree_split_tseg-2.sb.smt28318848s2s.0.3.322440default326050complete0.0156140.0156411113176.0unsatunsat
433164491shid_entl/tseg_join_2_entail_tree_unk.sb.smt28318831s2s.0.3.322440default326050complete0.0167180.016796113176.0unsatunsat
433164522shid_entl/tseg_join_2_entail_unk_tseg-1.sb.smt28318862s2s.0.3.322440default326050complete0.0269070.0270491113176.0unsatunsat
433164480shid_entl/tseg_join_2_entail_unk_tseg-2.sb.smt28318820s2s.0.3.322440default326050complete0.0257460.0258131113176.0unsatunsat
433164490shid_entl/tseg_join_tree_entail_unk_tree-1.sb.smt28318830s2s.0.3.322440default326050complete0.076980.0770581113176.0unsatunsat
433164514shid_entl/tseg_join_tree_entail_unk_tree-2.sb.smt28318854s2s.0.3.322440default326050complete0.0171950.0172381113176.0unsatunsat
433164544shid_entl/tseg_join_tree_entail_unk_tseg-1.sb.smt28318884s2s.0.3.322440default326050complete0.0313510.031391113176.0unsatunsat
433164498shid_entl/tseg_join_tree_entail_unk_tseg-2.sb.smt28318838s2s.0.3.322440default326050complete0.0311710.031237113176.0unsatunsat