433164341 | shid_entl/dll-entails-node-dll-rev.smt2 | 8318827 | SLEEK | 20564 | default | 304221 | complete | 0.076904 | 0.071949 | 113176.0 | sat | sat |
433164387 | shid_entl/dll-entails-node-node-dll.smt2 | 8318873 | SLEEK | 20564 | default | 304221 | complete | 0.105754 | 0.0999189 | 113176.0 | sat | sat |
433164351 | shid_entl/dll-spaghetti-existential.smt2 | 8318837 | SLEEK | 20564 | default | 304221 | complete | 664.026 | 664.088 | 1.0050536E7 | starexec-unknown | unsat |
433164346 | shid_entl/dll2-spaghetti-existential.smt2 | 8318832 | SLEEK | 20564 | default | 304221 | complete | 660.14 | 660.222 | 1.0050316E7 | starexec-unknown | unsat |
433164327 | shid_entl/dllnull_entails_dll.sb.smt2 | 8318813 | SLEEK | 20564 | default | 304221 | complete | 0.088867 | 0.0831859 | 113176.0 | unsat | unsat |
433164353 | shid_entl/dllnull_entails_dllrev.sb.smt2 | 8318839 | SLEEK | 20564 | default | 304221 | complete | 0.081943 | 0.0767911 | 113176.0 | sat | unsat |
433164333 | shid_entl/dll_concat_dllrev_get_last.sb.smt2 | 8318819 | SLEEK | 20564 | default | 304221 | complete | 0.081554 | 0.076369 | 113176.0 | starexec-unknown | unsat |
433164375 | shid_entl/dll_entails_ls_node.sb.smt2 | 8318861 | SLEEK | 20564 | default | 304221 | timeout (wallclock) | 2399.69 | 2400.03 | 9940692.0 | starexec-unknown | unsat |
433164370 | shid_entl/dll_entails_node_lsrev.sb.smt2 | 8318856 | SLEEK | 20564 | default | 304221 | complete | 0.09292 | 0.0878859 | 113176.0 | sat | unsat |
433164358 | shid_entl/eolseg_03.sb.smt2 | 8318844 | SLEEK | 20564 | default | 304221 | complete | 0.280694 | 0.270488 | 113176.0 | sat | unsat |
433164382 | shid_entl/eolseg_04.sb.smt2 | 8318868 | SLEEK | 20564 | default | 304221 | complete | 0.140427 | 0.133135 | 113176.0 | sat | unsat |
433164383 | shid_entl/eolseg_08.sb.smt2 | 8318869 | SLEEK | 20564 | default | 304221 | complete | 0.345342 | 0.333029 | 113176.0 | sat | unsat |
433164360 | shid_entl/eolseg_10.sb.smt2 | 8318846 | SLEEK | 20564 | default | 304221 | complete | 0.210247 | 0.201303 | 113176.0 | sat | unsat |
433164391 | shid_entl/eolseg_11.sb.smt2 | 8318877 | SLEEK | 20564 | default | 304221 | complete | 0.234032 | 0.224673 | 113176.0 | sat | unsat |
433164342 | shid_entl/eolseg_13.sb.smt2 | 8318828 | SLEEK | 20564 | default | 304221 | complete | 0.346711 | 0.337454 | 113176.0 | sat | unsat |
433164361 | shid_entl/eolseg_14.sb.smt2 | 8318847 | SLEEK | 20564 | default | 304221 | complete | 0.292174 | 0.282216 | 113176.0 | unsat | unsat |
433164349 | shid_entl/eolseg_16.sb.smt2 | 8318835 | SLEEK | 20564 | default | 304221 | complete | 0.724436 | 0.712411 | 256312.0 | sat | unsat |
433164390 | shid_entl/ls2_entail_ls_02.sb.smt2 | 8318876 | SLEEK | 20564 | default | 304221 | complete | 0.217399 | 0.208916 | 113176.0 | sat | unsat |
433164359 | shid_entl/ls2_entail_ls_03.sb.smt2 | 8318845 | SLEEK | 20564 | default | 304221 | complete | 0.2241 | 0.215861 | 113176.0 | sat | unsat |
433164350 | shid_entl/ls2_entail_ls_05.sb.smt2 | 8318836 | SLEEK | 20564 | default | 304221 | complete | 0.259658 | 0.249839 | 113176.0 | sat | unsat |
433164392 | shid_entl/ls2_entail_ls_06.sb.smt2 | 8318878 | SLEEK | 20564 | default | 304221 | complete | 0.277903 | 0.268546 | 113176.0 | sat | unsat |
433164340 | shid_entl/lsevenodd_05.sb.smt2 | 8318826 | SLEEK | 20564 | default | 304221 | complete | 0.170417 | 0.163132 | 113176.0 | sat | unsat |
433164363 | shid_entl/lsevenodd_06.sb.smt2 | 8318849 | SLEEK | 20564 | default | 304221 | complete | 0.180206 | 0.172127 | 113176.0 | sat | unsat |
433164395 | shid_entl/lsevenodd_07.sb.smt2 | 8318881 | SLEEK | 20564 | default | 304221 | complete | 0.123407 | 0.116839 | 113176.0 | sat | unsat |
433164348 | shid_entl/lsevenodd_08.sb.smt2 | 8318834 | SLEEK | 20564 | default | 304221 | complete | 0.190587 | 0.182905 | 113176.0 | sat | unsat |
433164330 | shid_entl/lsevenodd_10.sb.smt2 | 8318816 | SLEEK | 20564 | default | 304221 | complete | 0.216838 | 0.209142 | 113176.0 | sat | unsat |
433164389 | shid_entl/lsevenodd_12.sb.smt2 | 8318875 | SLEEK | 20564 | default | 304221 | complete | 0.149518 | 0.142697 | 113176.0 | sat | unsat |
433164379 | shid_entl/lsevenodd_13.sb.smt2 | 8318865 | SLEEK | 20564 | default | 304221 | complete | 0.203713 | 0.19582 | 113176.0 | sat | unsat |
433164377 | shid_entl/lsevenodd_17.sb.smt2 | 8318863 | SLEEK | 20564 | default | 304221 | complete | 0.158336 | 0.150905 | 113176.0 | sat | unsat |
433164331 | shid_entl/lsevenodd_18.sb.smt2 | 8318817 | SLEEK | 20564 | default | 304221 | complete | 0.221643 | 0.212895 | 113176.0 | sat | unsat |
433164354 | shid_entl/lsevenodd_19.sb.smt2 | 8318840 | SLEEK | 20564 | default | 304221 | complete | 0.215906 | 0.207597 | 113176.0 | sat | unsat |
433164393 | shid_entl/lsevenodd_20.sb.smt2 | 8318879 | SLEEK | 20564 | default | 304221 | complete | 0.182897 | 0.17469 | 113176.0 | sat | unsat |
433164365 | shid_entl/lsevenodd_ls2_03.sb.smt2 | 8318851 | SLEEK | 20564 | default | 304221 | complete | 0.173368 | 0.165687 | 113176.0 | sat | unsat |
433164338 | shid_entl/lsevenodd_ls2_04.sb.smt2 | 8318824 | SLEEK | 20564 | default | 304221 | complete | 0.138118 | 0.131272 | 113176.0 | sat | unsat |
433164364 | shid_entl/lsevenodd_ls2_07.sb.smt2 | 8318850 | SLEEK | 20564 | default | 304221 | complete | 0.206731 | 0.198675 | 113176.0 | sat | unsat |
433164339 | shid_entl/lsevenodd_ls2_08.sb.smt2 | 8318825 | SLEEK | 20564 | default | 304221 | complete | 0.301474 | 0.291946 | 113176.0 | sat | unsat |
433164355 | shid_entl/lsevenodd_ls2_10.sb.smt2 | 8318841 | SLEEK | 20564 | default | 304221 | complete | 0.535949 | 0.523318 | 113176.0 | sat | unsat |
433164332 | shid_entl/lsevenodd_ls2_11.sb.smt2 | 8318818 | SLEEK | 20564 | default | 304221 | complete | 0.241986 | 0.232959 | 113176.0 | sat | unsat |
433164374 | shid_entl/lsevenodd_ls2_12.sb.smt2 | 8318860 | SLEEK | 20564 | default | 304221 | complete | 0.211066 | 0.202666 | 113176.0 | sat | unsat |
433164347 | shid_entl/lsleftright_03.sb.smt2 | 8318833 | SLEEK | 20564 | default | 304221 | complete | 0.093174 | 0.087826 | 113176.0 | sat | unsat |
433164384 | shid_entl/ls_entail_ls2_01.sb.smt2 | 8318870 | SLEEK | 20564 | default | 304221 | complete | 0.118163 | 0.111849 | 113176.0 | sat | unsat |
433164335 | shid_entl/ls_entail_ls2_03.sb.smt2 | 8318821 | SLEEK | 20564 | default | 304221 | complete | 0.184524 | 0.176828 | 113176.0 | sat | unsat |
433164397 | shid_entl/ls_even_split_ls_even.sb.smt2 | 8318883 | SLEEK | 20564 | default | 304221 | complete | 0.073928 | 0.0690729 | 113176.0 | unsat | unsat |
433164356 | shid_entl/ls_lsrev_concat_entail_split_1.sb.smt2 | 8318842 | SLEEK | 20564 | default | 304221 | complete | 0.171725 | 0.163626 | 113176.0 | sat | unsat |
433164388 | shid_entl/ls_lsrev_concat_entail_split_2.sb.smt2 | 8318874 | SLEEK | 20564 | default | 304221 | complete | 13.563 | 13.539 | 253964.0 | unsat | unsat |
433164378 | shid_entl/ls_lsrev_concat_entail_split_3.sb.smt2 | 8318864 | SLEEK | 20564 | default | 304221 | complete | 0.431608 | 0.416549 | 113176.0 | unsat | unsat |
433164329 | shid_entl/ls_lsrev_concat_entail_split_4.sb.smt2 | 8318815 | SLEEK | 20564 | default | 304221 | complete | 0.701397 | 0.678052 | 251040.0 | unsat | unsat |
433164373 | shid_entl/ls_lsrev_node_concat_entail_split_1.sb.smt2 | 8318859 | SLEEK | 20564 | default | 304221 | complete | 0.135018 | 0.128613 | 113176.0 | sat | unsat |
433164336 | shid_entl/ls_lsrev_node_concat_entail_split_2.sb.smt2 | 8318822 | SLEEK | 20564 | default | 304221 | complete | 0.193809 | 0.184947 | 113176.0 | sat | unsat |
433164357 | shid_entl/ls_lsrev_node_concat_entail_split_3.sb.smt2 | 8318843 | SLEEK | 20564 | default | 304221 | complete | 0.10733 | 0.101398 | 113176.0 | sat | unsat |
433164386 | shid_entl/ls_lsrev_node_concat_entail_split_4.sb.smt2 | 8318872 | SLEEK | 20564 | default | 304221 | complete | 0.293113 | 0.28313 | 113176.0 | sat | unsat |
433164366 | shid_entl/ls_odd_split_ls_even_node.sb.smt2 | 8318852 | SLEEK | 20564 | default | 304221 | complete | 0.115326 | 0.109467 | 113176.0 | unsat | unsat |
433164396 | shid_entl/ls_odd_split_ls_even_odd.sb.smt2 | 8318882 | SLEEK | 20564 | default | 304221 | complete | 0.069399 | 0.0646549 | 113176.0 | unsat | unsat |
433164371 | shid_entl/ls_split_ls.sb.smt2 | 8318857 | SLEEK | 20564 | default | 304221 | complete | 0.068957 | 0.0646581 | 113176.0 | unsat | unsat |
433164380 | shid_entl/node-dll-rev-dll-entails-dll.smt2 | 8318866 | SLEEK | 20564 | default | 304221 | complete | 0.182136 | 0.173891 | 113176.0 | unsat | unsat |
433164337 | shid_entl/node-node-dll-entails-dll.smt2 | 8318823 | SLEEK | 20564 | default | 304221 | complete | 0.1217 | 0.115116 | 113176.0 | unsat | unsat |
433164394 | shid_entl/node-tll-tll-entails-tll.smt2 | 8318880 | SLEEK | 20564 | default | 304221 | complete | 0.100909 | 0.0956889 | 113176.0 | unsat | unsat |
433164367 | shid_entl/tll-entails-node-tll-tll.smt2 | 8318853 | SLEEK | 20564 | default | 304221 | complete | 0.080013 | 0.07555 | 113176.0 | sat | sat |
433164385 | shid_entl/tll-ravioli-existential.smt2 | 8318871 | SLEEK | 20564 | default | 304221 | complete | 361.441 | 361.491 | 1.0009632E7 | starexec-unknown | unsat |
433164326 | shid_entl/tree_2_entail_tseg_2_unk-1.sb.smt2 | 8318812 | SLEEK | 20564 | default | 304221 | complete | 0.072603 | 0.06782 | 113176.0 | unsat | unsat |
433164372 | shid_entl/tree_2_entail_tseg_2_unk-2.sb.smt2 | 8318858 | SLEEK | 20564 | default | 304221 | complete | 0.07157 | 0.0664241 | 113176.0 | unsat | unsat |
433164381 | shid_entl/tree_2_entail_tseg_2_unk-3.sb.smt2 | 8318867 | SLEEK | 20564 | default | 304221 | complete | 0.071251 | 0.0667259 | 113176.0 | unsat | unsat |
433164369 | shid_entl/tree_entail_tseg_unk-1.sb.smt2 | 8318855 | SLEEK | 20564 | default | 304221 | complete | 0.069047 | 0.0643979 | 113176.0 | unsat | unsat |
433164328 | shid_entl/tree_entail_tseg_unk-2.sb.smt2 | 8318814 | SLEEK | 20564 | default | 304221 | complete | 0.068749 | 0.064055 | 113176.0 | unsat | unsat |
433164343 | shid_entl/tree_split_tseg-1.sb.smt2 | 8318829 | SLEEK | 20564 | default | 304221 | complete | 0.084471 | 0.0795579 | 113176.0 | unsat | unsat |
433164362 | shid_entl/tree_split_tseg-2.sb.smt2 | 8318848 | SLEEK | 20564 | default | 304221 | complete | 0.070448 | 0.065183 | 113176.0 | unsat | unsat |
433164345 | shid_entl/tseg_join_2_entail_tree_unk.sb.smt2 | 8318831 | SLEEK | 20564 | default | 304221 | complete | 0.070982 | 0.0661859 | 113176.0 | unsat | unsat |
433164376 | shid_entl/tseg_join_2_entail_unk_tseg-1.sb.smt2 | 8318862 | SLEEK | 20564 | default | 304221 | complete | 0.328093 | 0.32082 | 113176.0 | unsat | unsat |
433164334 | shid_entl/tseg_join_2_entail_unk_tseg-2.sb.smt2 | 8318820 | SLEEK | 20564 | default | 304221 | complete | 0.071518 | 0.066758 | 113176.0 | unsat | unsat |
433164344 | shid_entl/tseg_join_tree_entail_unk_tree-1.sb.smt2 | 8318830 | SLEEK | 20564 | default | 304221 | complete | 0.071008 | 0.0663659 | 113176.0 | unsat | unsat |
433164368 | shid_entl/tseg_join_tree_entail_unk_tree-2.sb.smt2 | 8318854 | SLEEK | 20564 | default | 304221 | complete | 0.069517 | 0.0649541 | 113176.0 | unsat | unsat |
433164398 | shid_entl/tseg_join_tree_entail_unk_tseg-1.sb.smt2 | 8318884 | SLEEK | 20564 | default | 304221 | complete | 0.07241 | 0.067656 | 113176.0 | unsat | unsat |
433164352 | shid_entl/tseg_join_tree_entail_unk_tseg-2.sb.smt2 | 8318838 | SLEEK | 20564 | default | 304221 | complete | 0.069602 | 0.06449 | 113176.0 | unsat | unsat |