430514030 | qf_shid_entl/01.tst.smt2 | 8318666 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.02248 | 1.82079 | 3077204.0 | unsat | unsat |
430513781 | qf_shid_entl/02.tst.smt2 | 8318417 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 2.99656 | 1.80001 | 3077348.0 | unsat | unsat |
430513841 | qf_shid_entl/03.tst.smt2 | 8318477 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.02838 | 1.82056 | 3077164.0 | unsat | unsat |
430513897 | qf_shid_entl/04.tst.smt2 | 8318533 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 2.98813 | 1.80839 | 3076612.0 | unsat | unsat |
430513828 | qf_shid_entl/05.tst.smt2 | 8318464 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.15262 | 1.85183 | 3077264.0 | unsat | unsat |
430514007 | qf_shid_entl/06.tst.smt2 | 8318643 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.18468 | 1.86917 | 3076948.0 | unsat | unsat |
430513953 | qf_shid_entl/07.tst.smt2 | 8318589 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.96099 | 2.18568 | 3076960.0 | unsat | unsat |
430513950 | qf_shid_entl/08.tst.smt2 | 8318586 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.60786 | 2.05161 | 3076680.0 | unsat | unsat |
430514009 | qf_shid_entl/09.tst.smt2 | 8318645 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 4.82328 | 2.45687 | 3077680.0 | unsat | unsat |
430513990 | qf_shid_entl/10.tst.smt2 | 8318626 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.30985 | 1.95399 | 3077196.0 | unsat | unsat |
430514036 | qf_shid_entl/11.tst.smt2 | 8318672 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.30793 | 1.94878 | 3076364.0 | unsat | unsat |
430513785 | qf_shid_entl/12.tst.smt2 | 8318421 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.2831 | 1.94176 | 3077220.0 | unsat | unsat |
430513853 | qf_shid_entl/13.tst.smt2 | 8318489 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 2.96802 | 1.78873 | 3076960.0 | unsat | unsat |
430513885 | qf_shid_entl/14.tst.smt2 | 8318521 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 2.97277 | 1.80432 | 3077184.0 | unsat | unsat |
430513815 | qf_shid_entl/15.tst.smt2 | 8318451 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.51452 | 1.99429 | 3077004.0 | unsat | unsat |
430513995 | qf_shid_entl/16.tst.smt2 | 8318631 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 4.15454 | 2.27533 | 3077160.0 | unsat | unsat |
430513939 | qf_shid_entl/17.tst.smt2 | 8318575 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 5.67379 | 2.82005 | 3078572.0 | unsat | unsat |
430513940 | qf_shid_entl/18.tst.smt2 | 8318576 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.95091 | 2.21962 | 3076812.0 | unsat | unsat |
430513993 | qf_shid_entl/19.tst.smt2 | 8318629 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.48915 | 1.99906 | 3076936.0 | unsat | unsat |
430513963 | qf_shid_entl/20.tst.smt2 | 8318599 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.44037 | 1.98119 | 3077260.0 | unsat | unsat |
430514052 | qf_shid_entl/21.tst.smt2 | 8318688 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.04666 | 1.82164 | 3076720.0 | unsat | unsat |
430513765 | qf_shid_entl/22.tst.smt2 | 8318401 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.66315 | 2.073 | 3077160.0 | sat | unsat |
430514039 | qf_shid_entl/append_dll_slk-1.smt2 | 8318675 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.35519 | 1.95939 | 3076872.0 | unsat | unsat |
430514032 | qf_shid_entl/append_dll_slk-10.smt2 | 8318668 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 4.03674 | 2.16802 | 3076956.0 | unsat | unsat |
430513915 | qf_shid_entl/append_dll_slk-11.smt2 | 8318551 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.07698 | 1.82189 | 3076428.0 | unsat | unsat |
430513788 | qf_shid_entl/append_dll_slk-12.smt2 | 8318424 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.34599 | 1.94599 | 3076372.0 | unsat | unsat |
430513846 | qf_shid_entl/append_dll_slk-2.smt2 | 8318482 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.43425 | 1.97756 | 3077232.0 | unsat | unsat |
430513805 | qf_shid_entl/append_dll_slk-3.smt2 | 8318441 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.53401 | 2.0334 | 3077884.0 | unsat | unsat |
430513958 | qf_shid_entl/append_dll_slk-4.smt2 | 8318594 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.3424 | 1.9576 | 3076952.0 | unsat | unsat |
430514068 | qf_shid_entl/append_dll_slk-5.smt2 | 8318704 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 2.77517 | 1.71867 | 3074504.0 | unsat | unsat |
430513872 | qf_shid_entl/append_dll_slk-6.smt2 | 8318508 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.34841 | 1.9363 | 3077292.0 | unsat | unsat |
430513830 | qf_shid_entl/append_dll_slk-7.smt2 | 8318466 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.78427 | 2.12888 | 3076648.0 | unsat | unsat |
430513966 | qf_shid_entl/append_dll_slk-8.smt2 | 8318602 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.5165 | 1.99848 | 3076612.0 | unsat | unsat |
430513999 | qf_shid_entl/append_dll_slk-9.smt2 | 8318635 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 9.03338 | 2.40436 | 3077172.0 | unsat | unsat |
430514035 | qf_shid_entl/append_sll_cll_slk-1.smt2 | 8318671 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.10542 | 1.84772 | 3077628.0 | unsat | unsat |
430513914 | qf_shid_entl/append_sll_cll_slk-10.smt2 | 8318550 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.14455 | 1.87874 | 3076836.0 | unsat | unsat |
430514028 | qf_shid_entl/append_sll_cll_slk-11.smt2 | 8318664 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.19743 | 1.88361 | 3076864.0 | unsat | unsat |
430513836 | qf_shid_entl/append_sll_cll_slk-12.smt2 | 8318472 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.18064 | 1.8732 | 3076916.0 | unsat | unsat |
430513797 | qf_shid_entl/append_sll_cll_slk-13.smt2 | 8318433 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.1851 | 1.88927 | 3077160.0 | unsat | unsat |
430513942 | qf_shid_entl/append_sll_cll_slk-14.smt2 | 8318578 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.21698 | 1.88449 | 3076836.0 | unsat | unsat |
430514055 | qf_shid_entl/append_sll_cll_slk-15.smt2 | 8318691 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.0172 | 1.80311 | 3076664.0 | sat | sat |
430513860 | qf_shid_entl/append_sll_cll_slk-16.smt2 | 8318496 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 5.6519 | 1.79085 | 3076704.0 | unsat | unsat |
430513818 | qf_shid_entl/append_sll_cll_slk-17.smt2 | 8318454 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.52001 | 2.02495 | 3076732.0 | unsat | unsat |
430513971 | qf_shid_entl/append_sll_cll_slk-18.smt2 | 8318607 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.31633 | 1.92651 | 3076628.0 | unsat | unsat |
430513844 | qf_shid_entl/append_sll_cll_slk-2.smt2 | 8318480 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.15061 | 1.87288 | 3076588.0 | unsat | unsat |
430513799 | qf_shid_entl/append_sll_cll_slk-3.smt2 | 8318435 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.20223 | 1.89162 | 3077208.0 | unsat | unsat |
430513935 | qf_shid_entl/append_sll_cll_slk-4.smt2 | 8318571 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.19153 | 1.89046 | 3076280.0 | unsat | unsat |
430514050 | qf_shid_entl/append_sll_cll_slk-5.smt2 | 8318686 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.2184 | 1.88757 | 3076484.0 | unsat | unsat |
430513856 | qf_shid_entl/append_sll_cll_slk-6.smt2 | 8318492 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.05743 | 1.83016 | 3076432.0 | sat | sat |
430513812 | qf_shid_entl/append_sll_cll_slk-7.smt2 | 8318448 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 2.89155 | 1.74293 | 3076368.0 | unsat | unsat |
430513975 | qf_shid_entl/append_sll_cll_slk-8.smt2 | 8318611 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.77894 | 2.13045 | 3076848.0 | unsat | unsat |
430514011 | qf_shid_entl/append_sll_cll_slk-9.smt2 | 8318647 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 2.96315 | 1.78371 | 3076668.0 | starexec-unknown | unsat |
430513811 | qf_shid_entl/append_sll_ls_slk-1.smt2 | 8318447 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.12948 | 1.84681 | 3078080.0 | unsat | unsat |
430513930 | qf_shid_entl/append_sll_ls_slk-2.smt2 | 8318566 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.1564 | 1.85536 | 3076616.0 | unsat | unsat |
430514046 | qf_shid_entl/append_sll_ls_slk-3.smt2 | 8318682 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.22545 | 1.90513 | 3076864.0 | unsat | unsat |
430513868 | qf_shid_entl/append_sll_ls_slk-4.smt2 | 8318504 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.1727 | 1.89271 | 3077240.0 | unsat | unsat |
430513827 | qf_shid_entl/append_sll_ls_slk-5.smt2 | 8318463 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.19803 | 1.88557 | 3077132.0 | unsat | unsat |
430513949 | qf_shid_entl/append_sll_ls_slk-6.smt2 | 8318585 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.14661 | 1.84719 | 3076880.0 | unsat | unsat |
430514063 | qf_shid_entl/append_sll_ls_slk-7.smt2 | 8318699 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.78417 | 2.14462 | 3076724.0 | unsat | unsat |
430513887 | qf_shid_entl/append_sll_ls_slk-8.smt2 | 8318523 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 2.91741 | 1.79045 | 3076932.0 | starexec-unknown | unsat |
430513782 | qf_shid_entl/append_sll_slk-1.smt2 | 8318418 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.16877 | 1.87094 | 3077152.0 | unsat | unsat |
430513981 | qf_shid_entl/append_sll_slk-2.smt2 | 8318617 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.26427 | 2.7452 | 3076232.0 | unsat | unsat |
430514016 | qf_shid_entl/append_sll_slk-3.smt2 | 8318652 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.38391 | 1.95284 | 3076508.0 | unsat | unsat |
430513884 | qf_shid_entl/append_sll_slk-4.smt2 | 8318520 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.42561 | 1.98039 | 3077112.0 | unsat | unsat |
430513760 | qf_shid_entl/append_sll_slk-5.smt2 | 8318396 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.38552 | 1.96383 | 3077164.0 | unsat | unsat |
430513959 | qf_shid_entl/append_sll_slk-6.smt2 | 8318595 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.23817 | 1.8995 | 3077288.0 | unsat | unsat |
430513997 | qf_shid_entl/append_sll_slk-7.smt2 | 8318633 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.01249 | 1.83204 | 3077268.0 | unsat | unsat |
430513877 | qf_shid_entl/append_sll_slk-8.smt2 | 8318513 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.07987 | 1.8181 | 3078252.0 | unsat | unsat |
430513977 | qf_shid_entl/dll-entails-dll-rev.smt2 | 8318613 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.48317 | 2.00432 | 3076468.0 | unsat | unsat |
430513819 | qf_shid_entl/dll-entails-dll0+.smt2 | 8318455 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.77763 | 2.09805 | 3078220.0 | unsat | unsat |
430513948 | qf_shid_entl/dll-mid-entails-dll-rev.smt2 | 8318584 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1.99705 | 1.34349 | 3072088.0 | starexec-unknown | unsat |
430513878 | qf_shid_entl/dll-rev-entails-dll-mid.smt2 | 8318514 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1.99852 | 1.3243 | 3072044.0 | starexec-unknown | unsat |
430513985 | qf_shid_entl/dll-rev-entails-dll.smt2 | 8318621 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.47589 | 2.03352 | 3076368.0 | unsat | unsat |
430513951 | qf_shid_entl/dll-spaghetti.smt2 | 8318587 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 888.071 | 231.278 | 3077180.0 | starexec-unknown | unsat |
430513775 | qf_shid_entl/dll-vc01.smt2 | 8318411 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.27054 | 1.92684 | 3077116.0 | unsat | unsat |
430513974 | qf_shid_entl/dll-vc02.smt2 | 8318610 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.25214 | 1.91482 | 3075752.0 | unsat | unsat |
430514012 | qf_shid_entl/dll-vc03.smt2 | 8318648 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 4.03167 | 2.17263 | 3077656.0 | unsat | unsat |
430513908 | qf_shid_entl/dll-vc04.smt2 | 8318544 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 4.194 | 2.22898 | 3078344.0 | sat | sat |
430513784 | qf_shid_entl/dll-vc05.smt2 | 8318420 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.92532 | 2.15441 | 3076704.0 | unsat | unsat |
430513989 | qf_shid_entl/dll-vc06.smt2 | 8318625 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 5.06356 | 2.56957 | 3077728.0 | sat | sat |
430514019 | qf_shid_entl/dll-vc07.smt2 | 8318655 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 4.30975 | 2.29302 | 3076960.0 | unsat | unsat |
430513845 | qf_shid_entl/dll-vc08.smt2 | 8318481 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 7.28828 | 3.66146 | 3077160.0 | sat | sat |
430513798 | qf_shid_entl/dll-vc09.smt2 | 8318434 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 10.2865 | 4.7216 | 3078284.0 | unsat | unsat |
430513851 | qf_shid_entl/dll-vc10.smt2 | 8318487 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 8.08052 | 4.14735 | 3078204.0 | sat | sat |
430513810 | qf_shid_entl/dll-vc11.smt2 | 8318446 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.94217 | 2.16375 | 3076996.0 | unsat | unsat |
430513932 | qf_shid_entl/dll-vc12.smt2 | 8318568 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 4.83966 | 2.47744 | 3076788.0 | sat | sat |
430514047 | qf_shid_entl/dll-vc13.smt2 | 8318683 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 4.98847 | 2.52425 | 3077672.0 | sat | sat |
430513863 | qf_shid_entl/dll-vc14.smt2 | 8318499 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 2.94659 | 1.76776 | 3076388.0 | sat | sat |
430513824 | qf_shid_entl/dll-vc15.smt2 | 8318460 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 2.99046 | 1.80387 | 3076668.0 | unsat | unsat |
430513952 | qf_shid_entl/dll-vc16.smt2 | 8318588 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 28.6584 | 18.0698 | 3090372.0 | sat | sat |
430514065 | qf_shid_entl/dll-vc17.smt2 | 8318701 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 4.66078 | 2.401 | 3077580.0 | unsat | unsat |
430513839 | qf_shid_entl/dll2-entails-dll2-rev.smt2 | 8318475 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 4.19315 | 2.24254 | 3075752.0 | unsat | unsat |
430513849 | qf_shid_entl/dll2-rev-entails-dll2.smt2 | 8318485 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 4.17324 | 2.24941 | 3076728.0 | unsat | unsat |
430513905 | qf_shid_entl/dll2-spaghetti.smt2 | 8318541 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 876.917 | 228.147 | 3077244.0 | starexec-unknown | unsat |
430513896 | qf_shid_entl/dllrev_append_dllrev_dll_entails_dll.sb.smt2 | 8318532 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 13.3125 | 7.04939 | 3079972.0 | unsat | unsat |
430513984 | qf_shid_entl/dllrev_append_dllrev_dll_entails_dllrev.sb.smt2 | 8318620 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 13.2013 | 7.05489 | 3082660.0 | unsat | unsat |
430513763 | qf_shid_entl/dllrev_append_dll_dll_entails_dll.sb.smt2 | 8318399 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 13.5196 | 7.12723 | 3080016.0 | unsat | unsat |
430513791 | qf_shid_entl/dllrev_append_dll_dll_entails_dllrev.sb.smt2 | 8318427 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 13.3273 | 7.03793 | 3083260.0 | unsat | unsat |
430513802 | qf_shid_entl/dllrev_append_head_entails_dll.sb.smt2 | 8318438 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.78732 | 2.1043 | 3076788.0 | unsat | unsat |
430513904 | qf_shid_entl/dllrev_append_head_entails_dllrev.sb.smt2 | 8318540 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.77554 | 2.11361 | 3075752.0 | unsat | unsat |
430513823 | qf_shid_entl/dllrev_concat.sb.smt2 | 8318459 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 4.52008 | 2.37376 | 3077296.0 | unsat | unsat |
430513776 | qf_shid_entl/dllrev_concat_dll_entails_dll.sb.smt2 | 8318412 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 4.66913 | 2.46114 | 3077252.0 | unsat | unsat |
430513840 | qf_shid_entl/dllrev_concat_dll_entails_dllrev.sb.smt2 | 8318476 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 4.71171 | 2.46179 | 3076528.0 | unsat | unsat |
430513821 | qf_shid_entl/dllrev_entails_dll.sb.smt2 | 8318457 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.46121 | 2.02277 | 3077252.0 | unsat | unsat |
430514005 | qf_shid_entl/dll_append_dllnull_entails_dllnull.sb.smt2 | 8318641 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.34583 | 1.96032 | 3076616.0 | unsat | unsat |
430514044 | qf_shid_entl/dll_append_tail_entails_dll.sb.smt2 | 8318680 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.74587 | 2.08505 | 3076940.0 | unsat | unsat |
430513850 | qf_shid_entl/dll_append_tail_entails_dllnull.sb.smt2 | 8318486 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.32476 | 1.96151 | 3077120.0 | unsat | unsat |
430513979 | qf_shid_entl/dll_append_tail_entails_dllnull_nil.sb.smt2 | 8318615 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.26622 | 1.93808 | 3077076.0 | unsat | unsat |
430514069 | qf_shid_entl/dll_append_tail_entails_dllrev.sb.smt2 | 8318705 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.78666 | 2.13867 | 3077400.0 | unsat | unsat |
430513764 | qf_shid_entl/dll_concat.sb.smt2 | 8318400 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 4.61083 | 2.39385 | 3077168.0 | unsat | unsat |
430513879 | qf_shid_entl/dll_concat_dllrev.sb.smt2 | 8318515 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 4.77624 | 2.45923 | 3077312.0 | unsat | unsat |
430513891 | qf_shid_entl/dll_entails_dllrev.sb.smt2 | 8318527 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.48897 | 2.02531 | 3076752.0 | unsat | unsat |
430513771 | qf_shid_entl/dll_entails_ls.sb.smt2 | 8318407 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.84408 | 2.12609 | 3077148.0 | unsat | unsat |
430513808 | qf_shid_entl/dll_entails_lspre.sb.smt2 | 8318444 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.60795 | 2.07259 | 3076772.0 | unsat | unsat |
430514029 | qf_shid_entl/dll_entails_lsrev.sb.smt2 | 8318665 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.68137 | 2.09083 | 3077268.0 | unsat | unsat |
430513794 | qf_shid_entl/dll_nil_tl_entails_dllnull.sb.smt2 | 8318430 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.21149 | 1.88709 | 3076680.0 | unsat | unsat |
430513957 | qf_shid_entl/elseg4_slk-1.smt2 | 8318593 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 4.01809 | 2.22356 | 3077180.0 | unsat | unsat |
430513829 | qf_shid_entl/elseg4_slk-2.smt2 | 8318465 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.05984 | 1.81802 | 3076696.0 | unsat | unsat |
430513871 | qf_shid_entl/elseg4_slk-3.smt2 | 8318507 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.55039 | 2.06403 | 3076808.0 | sat | sat |
430514040 | qf_shid_entl/elseg4_slk-4.smt2 | 8318676 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.61681 | 2.02313 | 3076548.0 | sat | sat |
430513927 | qf_shid_entl/elseg4_slk-5.smt2 | 8318563 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 4.03652 | 2.25072 | 3076968.0 | unsat | unsat |
430513806 | qf_shid_entl/elseg4_slk-6.smt2 | 8318442 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.99869 | 2.20722 | 3076380.0 | unsat | unsat |
430513847 | qf_shid_entl/elseg4_slk-7.smt2 | 8318483 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 2.97864 | 1.78851 | 3076356.0 | starexec-unknown | unsat |
430514018 | qf_shid_entl/elseg4_slk-8.smt2 | 8318654 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 2.95441 | 1.76719 | 3076372.0 | starexec-unknown | unsat |
430513983 | qf_shid_entl/elseg4_slk-9.smt2 | 8318619 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 2.98849 | 1.76789 | 3077416.0 | starexec-unknown | unsat |
430513866 | qf_shid_entl/eolseg_01.sb.smt2 | 8318502 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.54884 | 2.03079 | 3077196.0 | unsat | unsat |
430514057 | qf_shid_entl/eolseg_02.sb.smt2 | 8318693 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.55242 | 2.03919 | 3076324.0 | unsat | unsat |
430513870 | qf_shid_entl/eolseg_05.sb.smt2 | 8318506 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.87149 | 2.15035 | 3077200.0 | unsat | unsat |
430514062 | qf_shid_entl/eolseg_06.sb.smt2 | 8318698 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.81138 | 2.18028 | 3076964.0 | unsat | unsat |
430513937 | qf_shid_entl/eolseg_07.sb.smt2 | 8318573 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.87334 | 2.1702 | 3076664.0 | unsat | unsat |
430513881 | qf_shid_entl/eolseg_09.sb.smt2 | 8318517 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 7.45073 | 2.149 | 3076304.0 | unsat | unsat |
430513969 | qf_shid_entl/eolseg_12.sb.smt2 | 8318605 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.8647 | 2.16561 | 3077204.0 | unsat | unsat |
430513768 | qf_shid_entl/eolseg_15.sb.smt2 | 8318404 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.92947 | 2.17569 | 3077216.0 | unsat | unsat |
430513926 | qf_shid_entl/ls2_entail_ls_01.sb.smt2 | 8318562 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.31222 | 1.92226 | 3076888.0 | unsat | unsat |
430514045 | qf_shid_entl/ls2_entail_ls_04.sb.smt2 | 8318681 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 5.07165 | 2.55042 | 3077356.0 | unsat | unsat |
430513789 | qf_shid_entl/lsegex4_slk-1.smt2 | 8318425 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.57946 | 2.07241 | 3077108.0 | sat | unsat |
430513916 | qf_shid_entl/lsegex4_slk-2.smt2 | 8318552 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.51774 | 2.02017 | 3076296.0 | sat | sat |
430514033 | qf_shid_entl/lsegex4_slk-3.smt2 | 8318669 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 4.13317 | 2.26918 | 3077192.0 | unsat | unsat |
430513858 | qf_shid_entl/lsegex4_slk-4.smt2 | 8318494 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 4.75491 | 2.46615 | 3076728.0 | unsat | unsat |
430513814 | qf_shid_entl/lsegex4_slk-5.smt2 | 8318450 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 4.0402 | 2.21495 | 3077148.0 | unsat | unsat |
430513945 | qf_shid_entl/lsegex4_slk-6.smt2 | 8318581 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.42229 | 1.9617 | 3077260.0 | unsat | unsat |
430513954 | qf_shid_entl/lsevenodd_01.sb.smt2 | 8318590 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.22944 | 1.89265 | 3076400.0 | unsat | unsat |
430513820 | qf_shid_entl/lsevenodd_02.sb.smt2 | 8318456 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.37817 | 1.96738 | 3076868.0 | unsat | unsat |
430513855 | qf_shid_entl/lsevenodd_03.sb.smt2 | 8318491 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.31618 | 1.90981 | 3078080.0 | unsat | unsat |
430514067 | qf_shid_entl/lsevenodd_04.sb.smt2 | 8318703 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.33658 | 1.93732 | 3076804.0 | unsat | unsat |
430513955 | qf_shid_entl/lsevenodd_09.sb.smt2 | 8318591 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.28741 | 1.90663 | 3077128.0 | unsat | unsat |
430514006 | qf_shid_entl/lsevenodd_11.sb.smt2 | 8318642 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.3293 | 1.94352 | 3077228.0 | unsat | unsat |
430513978 | qf_shid_entl/lsevenodd_14.sb.smt2 | 8318614 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.27877 | 1.91366 | 3077152.0 | unsat | unsat |
430514010 | qf_shid_entl/lsevenodd_15.sb.smt2 | 8318646 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.28831 | 1.91446 | 3076652.0 | unsat | unsat |
430513886 | qf_shid_entl/lsevenodd_16.sb.smt2 | 8318522 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.33643 | 2.25277 | 3076312.0 | unsat | unsat |
430513920 | qf_shid_entl/lsevenodd_ls2_01.sb.smt2 | 8318556 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 4.15238 | 2.25285 | 3076768.0 | unsat | unsat |
430513803 | qf_shid_entl/lsevenodd_ls2_02.sb.smt2 | 8318439 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 4.15756 | 2.23671 | 3076732.0 | unsat | unsat |
430513923 | qf_shid_entl/lsevenodd_ls2_05.sb.smt2 | 8318559 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 5.34477 | 2.7152 | 3077072.0 | unsat | unsat |
430513807 | qf_shid_entl/lsevenodd_ls2_06.sb.smt2 | 8318443 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 5.35475 | 2.66642 | 3077648.0 | unsat | unsat |
430513919 | qf_shid_entl/lsevenodd_ls2_09.sb.smt2 | 8318555 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.51316 | 2.0356 | 3076752.0 | unsat | unsat |
430513787 | qf_shid_entl/lsevenodd_ls2_13.sb.smt2 | 8318423 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.72319 | 2.13525 | 3077332.0 | unsat | unsat |
430513980 | qf_shid_entl/lsevenodd_ls2_14.sb.smt2 | 8318616 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.84351 | 2.15137 | 3076504.0 | unsat | unsat |
430514015 | qf_shid_entl/lsevenodd_ls2_15.sb.smt2 | 8318651 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.83637 | 2.18843 | 3077176.0 | unsat | unsat |
430513907 | qf_shid_entl/lsevenodd_ls2_16.sb.smt2 | 8318543 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.8665 | 2.14126 | 3076980.0 | unsat | unsat |
430513895 | qf_shid_entl/lsleftright_01.sb.smt2 | 8318531 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 2.00071 | 1.36073 | 3072048.0 | starexec-unknown | unsat |
430513998 | qf_shid_entl/lsleftright_02.sb.smt2 | 8318634 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1.99172 | 1.34701 | 3069948.0 | starexec-unknown | unsat |
430513769 | qf_shid_entl/lsleftright_04.sb.smt2 | 8318405 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1.99129 | 1.34939 | 3071996.0 | starexec-unknown | unsat |
430513894 | qf_shid_entl/lsleftright_05.sb.smt2 | 8318530 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1.98212 | 1.33598 | 3072024.0 | starexec-unknown | unsat |
430513996 | qf_shid_entl/lsleftright_06.sb.smt2 | 8318632 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1.96085 | 1.31427 | 3072048.0 | starexec-unknown | unsat |
430513968 | qf_shid_entl/lsleftright_07.sb.smt2 | 8318604 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1.97306 | 1.34007 | 3071984.0 | starexec-unknown | unsat |
430513773 | qf_shid_entl/lsleftright_08.sb.smt2 | 8318409 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1.96538 | 1.32963 | 3071984.0 | starexec-unknown | unsat |
430513888 | qf_shid_entl/lsleftright_09.sb.smt2 | 8318524 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1.98636 | 1.32834 | 3071932.0 | starexec-unknown | unsat |
430513867 | qf_shid_entl/lsleftright_10.sb.smt2 | 8318503 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1.97341 | 1.32563 | 3072176.0 | starexec-unknown | unsat |
430513831 | qf_shid_entl/lsleftright_11.sb.smt2 | 8318467 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1.96933 | 1.32554 | 3072092.0 | starexec-unknown | unsat |
430513936 | qf_shid_entl/lsleftright_12.sb.smt2 | 8318572 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1.98327 | 1.34382 | 3070008.0 | starexec-unknown | unsat |
430514059 | qf_shid_entl/lsleftright_13.sb.smt2 | 8318695 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1.97411 | 1.32174 | 3072196.0 | starexec-unknown | unsat |
430513869 | qf_shid_entl/lsleftright_14.sb.smt2 | 8318505 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1.98214 | 1.3312 | 3072048.0 | starexec-unknown | unsat |
430513832 | qf_shid_entl/lsleftright_15.sb.smt2 | 8318468 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1.97159 | 1.30577 | 3071948.0 | starexec-unknown | unsat |
430513938 | qf_shid_entl/lsleftright_16.sb.smt2 | 8318574 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1.99085 | 1.34328 | 3072112.0 | starexec-unknown | unsat |
430514061 | qf_shid_entl/lsleftright_17.sb.smt2 | 8318697 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1.98168 | 1.36523 | 3072024.0 | starexec-unknown | unsat |
430513880 | qf_shid_entl/lsleftright_18.sb.smt2 | 8318516 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1.97506 | 1.32468 | 3071952.0 | starexec-unknown | unsat |
430513826 | qf_shid_entl/lsleftright_19.sb.smt2 | 8318462 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1.97293 | 1.32916 | 3072020.0 | starexec-unknown | unsat |
430513976 | qf_shid_entl/lsleftright_20.sb.smt2 | 8318612 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1.9674 | 1.31339 | 3071988.0 | starexec-unknown | unsat |
430513809 | qf_shid_entl/lss-vc01.smt2 | 8318445 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 2.89354 | 1.76573 | 3077176.0 | unsat | unsat |
430513924 | qf_shid_entl/lss-vc02.smt2 | 8318560 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 4.08979 | 2.21645 | 3077196.0 | unsat | unsat |
430514037 | qf_shid_entl/lss-vc03.smt2 | 8318673 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 4.43076 | 2.35977 | 3077248.0 | unsat | unsat |
430513991 | qf_shid_entl/ls_entail_ls2_02.sb.smt2 | 8318627 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 5.85732 | 2.93989 | 3077412.0 | unsat | unsat |
430513898 | qf_shid_entl/ls_entail_ls2_04.sb.smt2 | 8318534 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 13.8211 | 6.23613 | 3089452.0 | unsat | unsat |
430513777 | qf_shid_entl/ls_entail_ls2_05.sb.smt2 | 8318413 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 13.5117 | 5.9887 | 3089476.0 | unsat | unsat |
430513988 | qf_shid_entl/ls_entail_ls2_06.sb.smt2 | 8318624 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 10.178 | 4.82741 | 3083360.0 | unsat | unsat |
430514026 | qf_shid_entl/ls_entail_ls_nonrec_01.sb.smt2 | 8318662 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 4.20172 | 2.32911 | 3076620.0 | unsat | unsat |
430513900 | qf_shid_entl/ls_entail_ls_nonrec_02.sb.smt2 | 8318536 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 5.87362 | 2.95828 | 3077304.0 | unsat | unsat |
430513783 | qf_shid_entl/ls_entail_ls_nonrec_03.sb.smt2 | 8318419 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 5.92971 | 2.98899 | 3077720.0 | unsat | unsat |
430513986 | qf_shid_entl/ls_entail_ls_nonrec_04.sb.smt2 | 8318622 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 17.9565 | 8.80214 | 3087488.0 | unsat | unsat |
430514024 | qf_shid_entl/ls_entail_ls_nonrec_05.sb.smt2 | 8318660 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 17.9041 | 8.44962 | 3093364.0 | unsat | unsat |
430513899 | qf_shid_entl/ls_entail_ls_nonrec_06.sb.smt2 | 8318535 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 16.6609 | 7.98425 | 3087772.0 | unsat | unsat |
430513778 | qf_shid_entl/ls_entail_ls_nonrec_07.sb.smt2 | 8318414 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 119.927 | 101.652 | 3091180.0 | unsat | unsat |
430513992 | qf_shid_entl/ls_entail_ls_nonrec_08.sb.smt2 | 8318628 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 104.042 | 86.6176 | 3090092.0 | unsat | unsat |
430514021 | qf_shid_entl/ls_entail_ls_nonrec_09.sb.smt2 | 8318657 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 103.837 | 86.4152 | 3086488.0 | unsat | unsat |
430514038 | qf_shid_entl/ls_entail_ls_nonrec_10.sb.smt2 | 8318674 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 103.308 | 85.5885 | 3090180.0 | unsat | unsat |
430513929 | qf_shid_entl/ls_entail_ls_nonrec_11.sb.smt2 | 8318565 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 2144.69 | 709.951 | 3090304.0 | starexec-unknown | unsat |
430513790 | qf_shid_entl/ls_entail_ls_nonrec_12.sb.smt2 | 8318426 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1485.85 | 506.801 | 3091492.0 | starexec-unknown | unsat |
430513838 | qf_shid_entl/ls_entail_ls_nonrec_13.sb.smt2 | 8318474 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1422.59 | 485.46 | 3087412.0 | starexec-unknown | unsat |
430514043 | qf_shid_entl/ls_entail_ls_nonrec_14.sb.smt2 | 8318679 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1213.2 | 425.743 | 3085524.0 | starexec-unknown | unsat |
430513931 | qf_shid_entl/ls_entail_ls_nonrec_15.sb.smt2 | 8318567 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1275.33 | 441.169 | 3085616.0 | starexec-unknown | unsat |
430513795 | qf_shid_entl/ls_entail_ls_nonrec_16.sb.smt2 | 8318431 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | timeout (cpu) | 2400.18 | 722.049 | 3088328.0 | starexec-unknown | unsat |
430514013 | qf_shid_entl/ls_even_append_tl_entails_ls.sb.smt2 | 8318649 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.2744 | 1.91045 | 3077256.0 | unsat | unsat |
430513875 | qf_shid_entl/ls_even_append_tl_entails_ls_odd.sb.smt2 | 8318511 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.54347 | 2.04867 | 3076780.0 | unsat | unsat |
430513762 | qf_shid_entl/ls_even_entails_ls.sb.smt2 | 8318398 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.1729 | 1.85407 | 3076352.0 | unsat | unsat |
430513964 | qf_shid_entl/ls_even_join_entails_ls.sb.smt2 | 8318600 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 6.33629 | 1.89555 | 3076584.0 | unsat | unsat |
430513770 | qf_shid_entl/ls_even_join_entails_ls_even.sb.smt2 | 8318406 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.53656 | 2.00921 | 3077188.0 | unsat | unsat |
430514022 | qf_shid_entl/ls_even_join_ls_entails_ls.sb.smt2 | 8318658 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.39246 | 1.95739 | 3076832.0 | unsat | unsat |
430513865 | qf_shid_entl/ls_even_odd_join_entails_ls.sb.smt2 | 8318501 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.24402 | 1.90238 | 3077288.0 | unsat | unsat |
430513960 | qf_shid_entl/ls_even_odd_join_entails_ls_odd.sb.smt2 | 8318596 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.51678 | 2.01691 | 3077272.0 | unsat | unsat |
430513934 | qf_shid_entl/ls_join_entails_ls.sb.smt2 | 8318570 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.14677 | 1.86082 | 3076668.0 | unsat | unsat |
430513772 | qf_shid_entl/ls_lsrev_concat_entail_lsrev_1.sb.smt2 | 8318408 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.67452 | 2.08249 | 3076628.0 | unsat | unsat |
430513970 | qf_shid_entl/ls_lsrev_concat_entail_lsrev_2.sb.smt2 | 8318606 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.67083 | 2.07727 | 3076592.0 | unsat | unsat |
430514000 | qf_shid_entl/ls_lsrev_concat_entail_lsrev_3.sb.smt2 | 8318636 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 5.28111 | 2.65852 | 3078640.0 | unsat | unsat |
430513893 | qf_shid_entl/ls_lsrev_concat_entail_lsrev_4.sb.smt2 | 8318529 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 5.41267 | 2.67204 | 3077516.0 | unsat | unsat |
430513864 | qf_shid_entl/ls_lsrev_concat_entail_ls_1.sb.smt2 | 8318500 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.72347 | 2.10283 | 3076760.0 | unsat | unsat |
430514054 | qf_shid_entl/ls_lsrev_concat_entail_ls_2.sb.smt2 | 8318690 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.70674 | 2.07849 | 3076776.0 | unsat | unsat |
430513933 | qf_shid_entl/ls_lsrev_concat_entail_ls_3.sb.smt2 | 8318569 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 5.21404 | 2.63086 | 3077744.0 | unsat | unsat |
430513833 | qf_shid_entl/ls_lsrev_concat_entail_ls_4.sb.smt2 | 8318469 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 5.2212 | 2.64636 | 3077228.0 | unsat | unsat |
430513890 | qf_shid_entl/ls_nonrec_entail_ls_01.sb.smt2 | 8318526 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.68916 | 2.09369 | 3076144.0 | unsat | unsat |
430514003 | qf_shid_entl/ls_nonrec_entail_ls_02.sb.smt2 | 8318639 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.78334 | 2.15889 | 3076760.0 | unsat | unsat |
430513965 | qf_shid_entl/ls_nonrec_entail_ls_03.sb.smt2 | 8318601 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 5.14429 | 2.65172 | 3077208.0 | unsat | unsat |
430513774 | qf_shid_entl/ls_nonrec_entail_ls_04.sb.smt2 | 8318410 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 5.08828 | 2.5624 | 3078188.0 | unsat | unsat |
430513889 | qf_shid_entl/ls_nonrec_entail_ls_05.sb.smt2 | 8318525 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 5.06413 | 2.5652 | 3077344.0 | unsat | unsat |
430514002 | qf_shid_entl/ls_nonrec_entail_ls_06.sb.smt2 | 8318638 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 4.83267 | 2.56741 | 3078632.0 | unsat | unsat |
430513962 | qf_shid_entl/ls_nonrec_entail_ls_07.sb.smt2 | 8318598 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 9.56313 | 4.4553 | 3082140.0 | unsat | unsat |
430513766 | qf_shid_entl/ls_nonrec_entail_ls_08.sb.smt2 | 8318402 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 10.0141 | 4.36139 | 3089344.0 | unsat | unsat |
430513892 | qf_shid_entl/ls_nonrec_entail_ls_09.sb.smt2 | 8318528 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 10.2713 | 4.39654 | 3088152.0 | unsat | unsat |
430513874 | qf_shid_entl/ls_nonrec_entail_ls_10.sb.smt2 | 8318510 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 8.62987 | 4.19037 | 3077664.0 | unsat | unsat |
430513822 | qf_shid_entl/ls_nonrec_entail_ls_11.sb.smt2 | 8318458 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 9.45111 | 4.09726 | 3089404.0 | unsat | unsat |
430513944 | qf_shid_entl/ls_nonrec_entail_ls_12.sb.smt2 | 8318580 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 8.14162 | 4.05508 | 3077556.0 | unsat | unsat |
430514051 | qf_shid_entl/ls_nonrec_entail_ls_13.sb.smt2 | 8318687 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 23.3285 | 13.3037 | 3085184.0 | unsat | unsat |
430513876 | qf_shid_entl/ls_nonrec_entail_ls_14.sb.smt2 | 8318512 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 84.053 | 64.857 | 3090296.0 | unsat | unsat |
430513825 | qf_shid_entl/ls_nonrec_entail_ls_15.sb.smt2 | 8318461 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1178.35 | 395.457 | 3088032.0 | starexec-unknown | unsat |
430513946 | qf_shid_entl/ls_nonrec_entail_ls_16.sb.smt2 | 8318582 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1187.37 | 401.806 | 3090748.0 | starexec-unknown | unsat |
430514048 | qf_shid_entl/ls_odd_append_tl_entails_ls.sb.smt2 | 8318684 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.25164 | 1.91008 | 3076692.0 | unsat | unsat |
430513922 | qf_shid_entl/ls_odd_append_tl_entails_ls_even.sb.smt2 | 8318558 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.56031 | 2.03618 | 3077332.0 | unsat | unsat |
430514064 | qf_shid_entl/ls_odd_entails_ls.sb.smt2 | 8318700 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.15078 | 1.86464 | 3076388.0 | unsat | unsat |
430514053 | qf_shid_entl/ls_odd_join_entails_ls.sb.smt2 | 8318689 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.23798 | 1.8874 | 3076424.0 | unsat | unsat |
430513816 | qf_shid_entl/ls_odd_join_entails_ls_even.sb.smt2 | 8318452 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.48988 | 2.01219 | 3076688.0 | unsat | unsat |
430513909 | qf_shid_entl/ls_odd_join_ls_entails_ls.sb.smt2 | 8318545 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.33 | 1.92546 | 3077364.0 | unsat | unsat |
430513911 | qf_shid_entl/nll-vc01.smt2 | 8318547 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 22.8271 | 14.2967 | 3090720.0 | unsat | unsat |
430513793 | qf_shid_entl/nll-vc02.smt2 | 8318429 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 22.5724 | 14.1513 | 3089392.0 | unsat | unsat |
430513837 | qf_shid_entl/nll-vc03.smt2 | 8318473 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 42.3182 | 29.6492 | 3093236.0 | unsat | unsat |
430514058 | qf_shid_entl/nll-vc04.smt2 | 8318694 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 150.017 | 110.762 | 3094244.0 | unsat | unsat |
430513941 | qf_shid_entl/nll-vc05.smt2 | 8318577 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 20.2475 | 10.3236 | 3090172.0 | unsat | unsat |
430513817 | qf_shid_entl/nll-vc06.smt2 | 8318453 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 22.6706 | 14.1531 | 3090852.0 | sat | sat |
430513862 | qf_shid_entl/nll-vc07.smt2 | 8318498 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 18.4625 | 10.0402 | 3089144.0 | unsat | unsat |
430514004 | qf_shid_entl/nll-vc08.smt2 | 8318640 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 34.3132 | 18.1803 | 3103124.0 | unsat | unsat |
430513972 | qf_shid_entl/nll-vc09.smt2 | 8318608 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 21.7094 | 11.0112 | 3097284.0 | unsat | unsat |
430514001 | qf_shid_entl/nll-vc10.smt2 | 8318637 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 25.133 | 12.3582 | 3105572.0 | unsat | unsat |
430513967 | qf_shid_entl/nll-vc11.smt2 | 8318603 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 19.8144 | 10.2892 | 3095552.0 | unsat | unsat |
430513759 | qf_shid_entl/nll-vc12.smt2 | 8318395 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 4.12552 | 2.28058 | 3077632.0 | unsat | unsat |
430513882 | qf_shid_entl/nll-vc13.smt2 | 8318518 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 4.0033 | 2.22166 | 3076996.0 | sat | sat |
430514017 | qf_shid_entl/nll-vc14.smt2 | 8318653 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 4.60653 | 2.42031 | 3077596.0 | sat | sat |
430513982 | qf_shid_entl/nll-vc15.smt2 | 8318618 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 19.3988 | 9.97626 | 3092016.0 | sat | sat |
430513779 | qf_shid_entl/nll-vc16.smt2 | 8318415 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 22.2505 | 11.3204 | 3098668.0 | sat | sat |
430513902 | qf_shid_entl/nll-vc17.smt2 | 8318538 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 64.7518 | 44.0733 | 3091764.0 | sat | sat |
430514041 | qf_shid_entl/nll-vc18.smt2 | 8318677 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 45.438 | 25.7798 | 3092824.0 | sat | sat |
430513928 | qf_shid_entl/nll-vc19.smt2 | 8318564 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 114.889 | 77.7551 | 3100708.0 | sat | sat |
430513859 | qf_shid_entl/node-dll-rev-dll-entails-dll.smt2 | 8318495 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 5.15652 | 2.59812 | 3078684.0 | unsat | unsat |
430513852 | qf_shid_entl/node-node-dll-entails-dll.smt2 | 8318488 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.90267 | 2.14287 | 3076852.0 | unsat | unsat |
430513973 | qf_shid_entl/node-tll-tll-entails-tll.smt2 | 8318609 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.58841 | 2.02242 | 3078180.0 | unsat | unsat |
430513861 | qf_shid_entl/odd-lseg3_slk-1.smt2 | 8318497 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 2.93245 | 1.76732 | 3077076.0 | sat | sat |
430514056 | qf_shid_entl/odd-lseg3_slk-2.smt2 | 8318692 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 2.60434 | 1.65958 | 3074064.0 | unsat | unsat |
430513943 | qf_shid_entl/odd-lseg3_slk-3.smt2 | 8318579 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.7941 | 2.10673 | 3076916.0 | unsat | unsat |
430513796 | qf_shid_entl/odd-lseg3_slk-4.smt2 | 8318432 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.3393 | 1.95691 | 3077148.0 | sat | sat |
430513835 | qf_shid_entl/odd-lseg3_slk-5.smt2 | 8318471 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.72397 | 2.11945 | 3076860.0 | unsat | unsat |
430514027 | qf_shid_entl/odd-lseg3_slk-6.smt2 | 8318663 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 5.07685 | 2.61136 | 3077492.0 | sat | sat |
430513913 | qf_shid_entl/odd-lseg3_slk-7.smt2 | 8318549 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.29661 | 1.91852 | 3076276.0 | unsat | unsat |
430513857 | qf_shid_entl/skl2-vc01.smt2 | 8318493 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 2.99499 | 1.81793 | 3076400.0 | unsat | unsat |
430514060 | qf_shid_entl/skl2-vc02.smt2 | 8318696 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.5392 | 2.04158 | 3076752.0 | unsat | unsat |
430513947 | qf_shid_entl/skl2-vc03.smt2 | 8318583 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | timeout (cpu) | 2400.08 | 720.189 | 3088636.0 | starexec-unknown | unsat |
430513792 | qf_shid_entl/skl2-vc04.smt2 | 8318428 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 5.5923 | 2.83283 | 3076812.0 | unsat | unsat |
430513834 | qf_shid_entl/skl2-vc05.smt2 | 8318470 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1382.18 | 472.255 | 3087820.0 | starexec-unknown | sat |
430514031 | qf_shid_entl/skl2-vc06.smt2 | 8318667 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 144.352 | 108.524 | 3092516.0 | sat | sat |
430513918 | qf_shid_entl/skl2-vc07.smt2 | 8318554 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | timeout (cpu) | 2400.13 | 711.455 | 3094972.0 | starexec-unknown | sat |
430513873 | qf_shid_entl/skl3-vc01.smt2 | 8318509 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.26739 | 1.95357 | 3077192.0 | unsat | unsat |
430514070 | qf_shid_entl/skl3-vc02.smt2 | 8318706 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 946.197 | 523.771 | 3094372.0 | sat | sat |
430513956 | qf_shid_entl/skl3-vc03.smt2 | 8318592 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 2174.81 | 832.776 | 3093028.0 | starexec-unknown | unsat |
430513801 | qf_shid_entl/skl3-vc04.smt2 | 8318437 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1704.85 | 711.801 | 3089216.0 | starexec-unknown | unsat |
430513848 | qf_shid_entl/skl3-vc05.smt2 | 8318484 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1750.72 | 724.489 | 3089076.0 | starexec-unknown | unsat |
430514042 | qf_shid_entl/skl3-vc06.smt2 | 8318678 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1748.54 | 732.887 | 3090788.0 | starexec-unknown | unsat |
430513925 | qf_shid_entl/skl3-vc07.smt2 | 8318561 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1802.92 | 745.887 | 3091492.0 | starexec-unknown | unsat |
430513780 | qf_shid_entl/skl3-vc08.smt2 | 8318416 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | timeout (cpu) | 2400.19 | 892.056 | 3095804.0 | starexec-unknown | unsat |
430513901 | qf_shid_entl/skl3-vc09.smt2 | 8318537 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | timeout (cpu) | 2400.11 | 896.609 | 3095432.0 | starexec-unknown | unsat |
430513786 | qf_shid_entl/skl3-vc10.smt2 | 8318422 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | timeout (cpu) | 2400.1 | 892.697 | 3098668.0 | starexec-unknown | unsat |
430513910 | qf_shid_entl/skl3-vc11.smt2 | 8318546 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1838.68 | 748.348 | 3089592.0 | starexec-unknown | sat |
430514025 | qf_shid_entl/skl3-vc12.smt2 | 8318661 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1690.38 | 706.34 | 3089484.0 | starexec-unknown | sat |
430513903 | qf_shid_entl/sll-vc01.smt2 | 8318539 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1200.01 | 381.874 | 3077052.0 | starexec-unknown | sat |
430514014 | qf_shid_entl/sll-vc02.smt2 | 8318650 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1246.68 | 394.182 | 3077204.0 | starexec-unknown | sat |
430513804 | qf_shid_entl/tll-pp-entails-tll-pp-rev.smt2 | 8318440 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 5.24522 | 2.59976 | 3078184.0 | unsat | unsat |
430514008 | qf_shid_entl/tll-pp-rev-entails-tll-pp.smt2 | 8318644 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.16777 | 1.92091 | 3076424.0 | starexec-unknown | unsat |
430513917 | qf_shid_entl/tll-ravioli.smt2 | 8318553 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1006.35 | 260.509 | 3078320.0 | starexec-unknown | unsat |
430514049 | qf_shid_entl/tll_slk-1.smt2 | 8318685 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 2.83165 | 1.75323 | 3077120.0 | unsat | unsat |
430513761 | qf_shid_entl/tll_slk-10.smt2 | 8318397 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 5.70128 | 2.714 | 3078976.0 | unsat | unsat |
430513883 | qf_shid_entl/tll_slk-11.smt2 | 8318519 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 5.77325 | 2.7454 | 3078356.0 | unsat | unsat |
430513994 | qf_shid_entl/tll_slk-12.smt2 | 8318630 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.20717 | 1.8903 | 3076400.0 | sat | unsat |
430513961 | qf_shid_entl/tll_slk-13.smt2 | 8318597 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 2.69224 | 1.71015 | 3074312.0 | starexec-unknown | unsat |
430513854 | qf_shid_entl/tll_slk-2.smt2 | 8318490 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 2.817 | 1.72688 | 3077156.0 | unsat | unsat |
430513813 | qf_shid_entl/tll_slk-3.smt2 | 8318449 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 2.83617 | 1.73428 | 3076816.0 | unsat | unsat |
430513921 | qf_shid_entl/tll_slk-4.smt2 | 8318557 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.31012 | 1.9384 | 3076616.0 | unsat | unsat |
430514034 | qf_shid_entl/tll_slk-5.smt2 | 8318670 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 2.87482 | 1.78592 | 3076328.0 | unsat | unsat |
430513843 | qf_shid_entl/tll_slk-6.smt2 | 8318479 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.33738 | 1.96072 | 3077948.0 | unsat | unsat |
430513800 | qf_shid_entl/tll_slk-7.smt2 | 8318436 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 2.83699 | 1.74919 | 3076664.0 | unsat | unsat |
430513987 | qf_shid_entl/tll_slk-8.smt2 | 8318623 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.3256 | 1.95412 | 3076864.0 | unsat | unsat |
430514020 | qf_shid_entl/tll_slk-9.smt2 | 8318656 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.31521 | 1.95406 | 3076848.0 | unsat | unsat |
430514066 | qf_shid_entl/tree-pp-entails-tree-pp-rev.smt2 | 8318702 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 1.98694 | 1.3488 | 3072016.0 | starexec-unknown | unsat |
430513906 | qf_shid_entl/tree-pp-rev-entails-tree-pp.smt2 | 8318542 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 2.0046 | 1.77583 | 3071992.0 | starexec-unknown | unsat |
430513912 | qf_shid_entl/tseg_join_2.sb.smt2 | 8318548 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 6.87788 | 3.45757 | 3077580.0 | unsat | unsat |
430513842 | qf_shid_entl/tseg_join_2_entail_tree.sb.smt2 | 8318478 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.87069 | 2.18758 | 3076452.0 | sat | unsat |
430513767 | qf_shid_entl/tseg_join_tree.sb.smt2 | 8318403 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 3.9379 | 2.18772 | 3076452.0 | sat | unsat |
430514023 | qf_shid_entl/tseg_join_tree_entail_tseg.sb.smt2 | 8318659 | Harrsh 2019.4 | 22572 | harrsh_default | 326427 | complete | 6.88902 | 3.46767 | 3077252.0 | unsat | unsat |