433161348 | qf_shid_entl/01.tst.smt2 | 8318666 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 1.97671 | 1.34301 | 3071988.0 | starexec-unknown | unsat |
433161099 | qf_shid_entl/02.tst.smt2 | 8318417 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.97574 | 1.80646 | 3076300.0 | unsat | unsat |
433161159 | qf_shid_entl/03.tst.smt2 | 8318477 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.07768 | 1.83445 | 3077980.0 | unsat | unsat |
433161215 | qf_shid_entl/04.tst.smt2 | 8318533 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.98548 | 1.8124 | 3076708.0 | unsat | unsat |
433161146 | qf_shid_entl/05.tst.smt2 | 8318464 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.18671 | 1.88846 | 3076880.0 | unsat | unsat |
433161325 | qf_shid_entl/06.tst.smt2 | 8318643 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.15375 | 1.86649 | 3077252.0 | unsat | unsat |
433161271 | qf_shid_entl/07.tst.smt2 | 8318589 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.84661 | 2.14556 | 3077172.0 | unsat | unsat |
433161268 | qf_shid_entl/08.tst.smt2 | 8318586 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.55504 | 2.04031 | 3076744.0 | unsat | unsat |
433161327 | qf_shid_entl/09.tst.smt2 | 8318645 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.60597 | 2.39262 | 3077632.0 | unsat | unsat |
433161308 | qf_shid_entl/10.tst.smt2 | 8318626 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.24059 | 1.8798 | 3077168.0 | unsat | unsat |
433161354 | qf_shid_entl/11.tst.smt2 | 8318672 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.29181 | 1.92519 | 3076692.0 | unsat | unsat |
433161103 | qf_shid_entl/12.tst.smt2 | 8318421 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.24308 | 1.89318 | 3078336.0 | unsat | unsat |
433161171 | qf_shid_entl/13.tst.smt2 | 8318489 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.99546 | 1.7954 | 3077840.0 | unsat | unsat |
433161203 | qf_shid_entl/14.tst.smt2 | 8318521 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.01082 | 1.80662 | 3076644.0 | unsat | unsat |
433161133 | qf_shid_entl/15.tst.smt2 | 8318451 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.47496 | 2.00063 | 3076428.0 | unsat | unsat |
433161313 | qf_shid_entl/16.tst.smt2 | 8318631 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.05301 | 2.24142 | 3076452.0 | unsat | unsat |
433161257 | qf_shid_entl/17.tst.smt2 | 8318575 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 5.22683 | 2.66017 | 3079476.0 | unsat | unsat |
433161258 | qf_shid_entl/18.tst.smt2 | 8318576 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.85523 | 2.16141 | 3077184.0 | unsat | unsat |
433161311 | qf_shid_entl/19.tst.smt2 | 8318629 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.3819 | 1.95964 | 3077936.0 | unsat | unsat |
433161281 | qf_shid_entl/20.tst.smt2 | 8318599 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.37786 | 1.95424 | 3077268.0 | unsat | unsat |
433161370 | qf_shid_entl/21.tst.smt2 | 8318688 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.0372 | 1.84083 | 3076516.0 | unsat | unsat |
433161083 | qf_shid_entl/22.tst.smt2 | 8318401 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.62617 | 2.09339 | 3076424.0 | unsat | unsat |
433161357 | qf_shid_entl/append_dll_slk-1.smt2 | 8318675 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.29226 | 1.95142 | 3076516.0 | unsat | unsat |
433161350 | qf_shid_entl/append_dll_slk-10.smt2 | 8318668 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.92927 | 2.12903 | 3077236.0 | unsat | unsat |
433161233 | qf_shid_entl/append_dll_slk-11.smt2 | 8318551 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.06293 | 1.80565 | 3076812.0 | unsat | unsat |
433161106 | qf_shid_entl/append_dll_slk-12.smt2 | 8318424 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.33829 | 1.95513 | 3077168.0 | unsat | unsat |
433161164 | qf_shid_entl/append_dll_slk-2.smt2 | 8318482 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.17858 | 1.40767 | 3071988.0 | unsat | unsat |
433161123 | qf_shid_entl/append_dll_slk-3.smt2 | 8318441 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.09641 | 1.38404 | 3072032.0 | unsat | unsat |
433161276 | qf_shid_entl/append_dll_slk-4.smt2 | 8318594 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.34738 | 1.97754 | 3076568.0 | unsat | unsat |
433161386 | qf_shid_entl/append_dll_slk-5.smt2 | 8318704 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.16793 | 1.40784 | 3072024.0 | unsat | unsat |
433161190 | qf_shid_entl/append_dll_slk-6.smt2 | 8318508 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.14222 | 1.40448 | 3072000.0 | unsat | unsat |
433161148 | qf_shid_entl/append_dll_slk-7.smt2 | 8318466 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.64788 | 2.07734 | 3076872.0 | unsat | unsat |
433161284 | qf_shid_entl/append_dll_slk-8.smt2 | 8318602 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.42179 | 1.98396 | 3076708.0 | unsat | unsat |
433161317 | qf_shid_entl/append_dll_slk-9.smt2 | 8318635 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.55493 | 1.61205 | 3074284.0 | unsat | unsat |
433161353 | qf_shid_entl/append_sll_cll_slk-1.smt2 | 8318671 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.09949 | 1.83436 | 3076192.0 | unsat | unsat |
433161232 | qf_shid_entl/append_sll_cll_slk-10.smt2 | 8318550 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.13507 | 1.86127 | 3077168.0 | unsat | unsat |
433161346 | qf_shid_entl/append_sll_cll_slk-11.smt2 | 8318664 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.15055 | 1.40627 | 3071932.0 | unsat | unsat |
433161154 | qf_shid_entl/append_sll_cll_slk-12.smt2 | 8318472 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.11421 | 1.38738 | 3072052.0 | unsat | unsat |
433161115 | qf_shid_entl/append_sll_cll_slk-13.smt2 | 8318433 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.16749 | 1.87973 | 3077180.0 | unsat | unsat |
433161260 | qf_shid_entl/append_sll_cll_slk-14.smt2 | 8318578 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.21595 | 1.42759 | 3072836.0 | unsat | unsat |
433161373 | qf_shid_entl/append_sll_cll_slk-15.smt2 | 8318691 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.02148 | 1.81264 | 3077144.0 | sat | sat |
433161178 | qf_shid_entl/append_sll_cll_slk-16.smt2 | 8318496 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.96249 | 1.79707 | 3076312.0 | unsat | unsat |
433161136 | qf_shid_entl/append_sll_cll_slk-17.smt2 | 8318454 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.45325 | 1.98061 | 3077268.0 | unsat | unsat |
433161289 | qf_shid_entl/append_sll_cll_slk-18.smt2 | 8318607 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.24088 | 1.90511 | 3076692.0 | unsat | unsat |
433161162 | qf_shid_entl/append_sll_cll_slk-2.smt2 | 8318480 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.10206 | 1.38933 | 3072028.0 | unsat | unsat |
433161117 | qf_shid_entl/append_sll_cll_slk-3.smt2 | 8318435 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.05991 | 1.35714 | 3072036.0 | unsat | unsat |
433161253 | qf_shid_entl/append_sll_cll_slk-4.smt2 | 8318571 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.15411 | 1.86312 | 3077920.0 | unsat | unsat |
433161368 | qf_shid_entl/append_sll_cll_slk-5.smt2 | 8318686 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.22917 | 1.44229 | 3071996.0 | unsat | unsat |
433161174 | qf_shid_entl/append_sll_cll_slk-6.smt2 | 8318492 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.05878 | 1.81648 | 3077156.0 | sat | sat |
433161130 | qf_shid_entl/append_sll_cll_slk-7.smt2 | 8318448 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.94737 | 1.79144 | 3076428.0 | unsat | unsat |
433161293 | qf_shid_entl/append_sll_cll_slk-8.smt2 | 8318611 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.79455 | 2.0965 | 3075888.0 | unsat | unsat |
433161329 | qf_shid_entl/append_sll_cll_slk-9.smt2 | 8318647 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.98936 | 1.79545 | 3076904.0 | starexec-unknown | unsat |
433161129 | qf_shid_entl/append_sll_ls_slk-1.smt2 | 8318447 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.10379 | 1.83786 | 3076704.0 | unsat | unsat |
433161248 | qf_shid_entl/append_sll_ls_slk-2.smt2 | 8318566 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.10983 | 1.385 | 3071992.0 | unsat | unsat |
433161364 | qf_shid_entl/append_sll_ls_slk-3.smt2 | 8318682 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.05421 | 1.35854 | 3072024.0 | unsat | unsat |
433161186 | qf_shid_entl/append_sll_ls_slk-4.smt2 | 8318504 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.17562 | 1.87527 | 3076908.0 | unsat | unsat |
433161145 | qf_shid_entl/append_sll_ls_slk-5.smt2 | 8318463 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.21436 | 1.4777 | 3072584.0 | unsat | unsat |
433161267 | qf_shid_entl/append_sll_ls_slk-6.smt2 | 8318585 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.12266 | 1.85227 | 3076800.0 | unsat | unsat |
433161381 | qf_shid_entl/append_sll_ls_slk-7.smt2 | 8318699 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.7775 | 2.09412 | 3077136.0 | unsat | unsat |
433161205 | qf_shid_entl/append_sll_ls_slk-8.smt2 | 8318523 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.96454 | 1.77814 | 3076656.0 | starexec-unknown | unsat |
433161100 | qf_shid_entl/append_sll_slk-1.smt2 | 8318418 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.13869 | 1.87145 | 3076780.0 | unsat | unsat |
433161299 | qf_shid_entl/append_sll_slk-2.smt2 | 8318617 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.05543 | 1.37116 | 3072060.0 | unsat | unsat |
433161334 | qf_shid_entl/append_sll_slk-3.smt2 | 8318652 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.03681 | 1.36714 | 3071964.0 | unsat | unsat |
433161202 | qf_shid_entl/append_sll_slk-4.smt2 | 8318520 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.34655 | 1.94548 | 3077188.0 | unsat | unsat |
433161078 | qf_shid_entl/append_sll_slk-5.smt2 | 8318396 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.2385 | 1.45337 | 3072892.0 | unsat | unsat |
433161277 | qf_shid_entl/append_sll_slk-6.smt2 | 8318595 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.20582 | 2.08506 | 3076268.0 | unsat | unsat |
433161315 | qf_shid_entl/append_sll_slk-7.smt2 | 8318633 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.01814 | 1.79431 | 3077276.0 | unsat | unsat |
433161195 | qf_shid_entl/append_sll_slk-8.smt2 | 8318513 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.11695 | 1.8819 | 3076704.0 | unsat | unsat |
433161295 | qf_shid_entl/dll-entails-dll-rev.smt2 | 8318613 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.43956 | 2.00193 | 3076628.0 | unsat | unsat |
433161137 | qf_shid_entl/dll-entails-dll0+.smt2 | 8318455 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.77307 | 2.07276 | 3077168.0 | unsat | unsat |
433161266 | qf_shid_entl/dll-mid-entails-dll-rev.smt2 | 8318584 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.04718 | 1.37602 | 3071992.0 | starexec-unknown | unsat |
433161196 | qf_shid_entl/dll-rev-entails-dll-mid.smt2 | 8318514 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.03233 | 1.36303 | 3072056.0 | starexec-unknown | unsat |
433161303 | qf_shid_entl/dll-rev-entails-dll.smt2 | 8318621 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.42423 | 1.99097 | 3075756.0 | unsat | unsat |
433161269 | qf_shid_entl/dll-spaghetti.smt2 | 8318587 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 879.933 | 229.273 | 3077196.0 | starexec-unknown | unsat |
433161093 | qf_shid_entl/dll-vc01.smt2 | 8318411 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.26304 | 1.91434 | 3076940.0 | unsat | unsat |
433161292 | qf_shid_entl/dll-vc02.smt2 | 8318610 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.27936 | 1.90673 | 3076852.0 | unsat | unsat |
433161330 | qf_shid_entl/dll-vc03.smt2 | 8318648 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 7.8536 | 2.14888 | 3077168.0 | unsat | unsat |
433161226 | qf_shid_entl/dll-vc04.smt2 | 8318544 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.01739 | 2.1993 | 3076720.0 | sat | sat |
433161102 | qf_shid_entl/dll-vc05.smt2 | 8318420 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.8687 | 2.13593 | 3076996.0 | unsat | unsat |
433161307 | qf_shid_entl/dll-vc06.smt2 | 8318625 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.77036 | 2.59469 | 3077180.0 | sat | sat |
433161337 | qf_shid_entl/dll-vc07.smt2 | 8318655 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.06292 | 2.223 | 3076640.0 | unsat | unsat |
433161163 | qf_shid_entl/dll-vc08.smt2 | 8318481 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 6.93989 | 3.36525 | 3079340.0 | sat | sat |
433161116 | qf_shid_entl/dll-vc09.smt2 | 8318434 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 9.75756 | 4.29505 | 3084340.0 | unsat | unsat |
433161169 | qf_shid_entl/dll-vc10.smt2 | 8318487 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 7.4453 | 3.65658 | 3077612.0 | sat | sat |
433161128 | qf_shid_entl/dll-vc11.smt2 | 8318446 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.83136 | 2.13253 | 3077212.0 | unsat | unsat |
433161250 | qf_shid_entl/dll-vc12.smt2 | 8318568 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.61832 | 2.40883 | 3076776.0 | sat | sat |
433161365 | qf_shid_entl/dll-vc13.smt2 | 8318683 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.76176 | 2.47509 | 3077872.0 | sat | sat |
433161181 | qf_shid_entl/dll-vc14.smt2 | 8318499 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.01565 | 1.79611 | 3076608.0 | sat | sat |
433161142 | qf_shid_entl/dll-vc15.smt2 | 8318460 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.03835 | 1.8135 | 3076684.0 | unsat | unsat |
433161270 | qf_shid_entl/dll-vc16.smt2 | 8318588 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 25.9451 | 14.5766 | 3086464.0 | sat | sat |
433161383 | qf_shid_entl/dll-vc17.smt2 | 8318701 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.41683 | 2.31366 | 3076792.0 | unsat | unsat |
433161157 | qf_shid_entl/dll2-entails-dll2-rev.smt2 | 8318475 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.04768 | 2.25646 | 3076928.0 | unsat | unsat |
433161167 | qf_shid_entl/dll2-rev-entails-dll2.smt2 | 8318485 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.03427 | 2.23444 | 3076692.0 | unsat | unsat |
433161223 | qf_shid_entl/dll2-spaghetti.smt2 | 8318541 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 885.232 | 230.362 | 3077592.0 | starexec-unknown | unsat |
433161214 | qf_shid_entl/dllrev_append_dllrev_dll_entails_dll.sb.smt2 | 8318532 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 12.3837 | 5.93705 | 3083208.0 | unsat | unsat |
433161302 | qf_shid_entl/dllrev_append_dllrev_dll_entails_dllrev.sb.smt2 | 8318620 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 12.1605 | 5.98617 | 3083076.0 | unsat | unsat |
433161081 | qf_shid_entl/dllrev_append_dll_dll_entails_dll.sb.smt2 | 8318399 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 13.5613 | 6.03272 | 3083352.0 | unsat | unsat |
433161109 | qf_shid_entl/dllrev_append_dll_dll_entails_dllrev.sb.smt2 | 8318427 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 15.3784 | 6.2203 | 3090148.0 | unsat | unsat |
433161120 | qf_shid_entl/dllrev_append_head_entails_dll.sb.smt2 | 8318438 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.69751 | 2.37257 | 3076480.0 | unsat | unsat |
433161222 | qf_shid_entl/dllrev_append_head_entails_dllrev.sb.smt2 | 8318540 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.70032 | 2.06352 | 3076988.0 | unsat | unsat |
433161141 | qf_shid_entl/dllrev_concat.sb.smt2 | 8318459 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.3044 | 2.29083 | 3076888.0 | unsat | unsat |
433161094 | qf_shid_entl/dllrev_concat_dll_entails_dll.sb.smt2 | 8318412 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.63869 | 2.3883 | 3076872.0 | unsat | unsat |
433161158 | qf_shid_entl/dllrev_concat_dll_entails_dllrev.sb.smt2 | 8318476 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.56016 | 2.36963 | 3077176.0 | unsat | unsat |
433161139 | qf_shid_entl/dllrev_entails_dll.sb.smt2 | 8318457 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.42099 | 2.2863 | 3077732.0 | unsat | unsat |
433161323 | qf_shid_entl/dll_append_dllnull_entails_dllnull.sb.smt2 | 8318641 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.30721 | 1.95722 | 3078056.0 | unsat | unsat |
433161362 | qf_shid_entl/dll_append_tail_entails_dll.sb.smt2 | 8318680 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.74101 | 2.1356 | 3076748.0 | unsat | unsat |
433161168 | qf_shid_entl/dll_append_tail_entails_dllnull.sb.smt2 | 8318486 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.22476 | 1.91068 | 3076800.0 | unsat | unsat |
433161297 | qf_shid_entl/dll_append_tail_entails_dllnull_nil.sb.smt2 | 8318615 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.23709 | 1.9076 | 3077296.0 | unsat | unsat |
433161387 | qf_shid_entl/dll_append_tail_entails_dllrev.sb.smt2 | 8318705 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.71101 | 2.07465 | 3076720.0 | unsat | unsat |
433161082 | qf_shid_entl/dll_concat.sb.smt2 | 8318400 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.39009 | 2.31454 | 3077232.0 | unsat | unsat |
433161197 | qf_shid_entl/dll_concat_dllrev.sb.smt2 | 8318515 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.61908 | 2.38163 | 3076796.0 | unsat | unsat |
433161209 | qf_shid_entl/dll_entails_dllrev.sb.smt2 | 8318527 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.44286 | 1.99807 | 3076632.0 | unsat | unsat |
433161089 | qf_shid_entl/dll_entails_ls.sb.smt2 | 8318407 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.78939 | 2.11191 | 3076908.0 | unsat | unsat |
433161126 | qf_shid_entl/dll_entails_lspre.sb.smt2 | 8318444 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.5623 | 2.02929 | 3077216.0 | unsat | unsat |
433161347 | qf_shid_entl/dll_entails_lsrev.sb.smt2 | 8318665 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.58786 | 2.02131 | 3077192.0 | unsat | unsat |
433161112 | qf_shid_entl/dll_nil_tl_entails_dllnull.sb.smt2 | 8318430 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.15739 | 1.8784 | 3076404.0 | unsat | unsat |
433161275 | qf_shid_entl/elseg4_slk-1.smt2 | 8318593 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.88369 | 2.18274 | 3076840.0 | unsat | unsat |
433161147 | qf_shid_entl/elseg4_slk-2.smt2 | 8318465 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.07623 | 1.84145 | 3077188.0 | unsat | unsat |
433161189 | qf_shid_entl/elseg4_slk-3.smt2 | 8318507 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.4879 | 2.01264 | 3077240.0 | sat | sat |
433161358 | qf_shid_entl/elseg4_slk-4.smt2 | 8318676 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.56211 | 2.03145 | 3076752.0 | sat | sat |
433161245 | qf_shid_entl/elseg4_slk-5.smt2 | 8318563 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.87952 | 2.15802 | 3078104.0 | unsat | unsat |
433161124 | qf_shid_entl/elseg4_slk-6.smt2 | 8318442 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.88354 | 2.1506 | 3076500.0 | unsat | unsat |
433161165 | qf_shid_entl/elseg4_slk-7.smt2 | 8318483 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 5.74962 | 2.82315 | 3078400.0 | unsat | unsat |
433161336 | qf_shid_entl/elseg4_slk-8.smt2 | 8318654 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.44364 | 1.5421 | 3074324.0 | unsat | unsat |
433161301 | qf_shid_entl/elseg4_slk-9.smt2 | 8318619 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 5.74025 | 2.81217 | 3079352.0 | unsat | unsat |
433161184 | qf_shid_entl/eolseg_01.sb.smt2 | 8318502 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.45469 | 1.99006 | 3076844.0 | unsat | unsat |
433161375 | qf_shid_entl/eolseg_02.sb.smt2 | 8318693 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.46658 | 1.99345 | 3077260.0 | unsat | unsat |
433161188 | qf_shid_entl/eolseg_05.sb.smt2 | 8318506 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.73541 | 2.12394 | 3077176.0 | unsat | unsat |
433161380 | qf_shid_entl/eolseg_06.sb.smt2 | 8318698 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.67591 | 2.10155 | 3076832.0 | unsat | unsat |
433161255 | qf_shid_entl/eolseg_07.sb.smt2 | 8318573 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.73317 | 2.12378 | 3076872.0 | unsat | unsat |
433161199 | qf_shid_entl/eolseg_09.sb.smt2 | 8318517 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.73779 | 2.1267 | 3077108.0 | unsat | unsat |
433161287 | qf_shid_entl/eolseg_12.sb.smt2 | 8318605 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.79845 | 2.16151 | 3076780.0 | unsat | unsat |
433161086 | qf_shid_entl/eolseg_15.sb.smt2 | 8318404 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.80431 | 2.13424 | 3076676.0 | unsat | unsat |
433161244 | qf_shid_entl/ls2_entail_ls_01.sb.smt2 | 8318562 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.2889 | 1.91771 | 3077332.0 | unsat | unsat |
433161363 | qf_shid_entl/ls2_entail_ls_04.sb.smt2 | 8318681 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.76569 | 2.47111 | 3077740.0 | unsat | unsat |
433161107 | qf_shid_entl/lsegex4_slk-1.smt2 | 8318425 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.04229 | 1.36672 | 3071988.0 | starexec-unknown | unsat |
433161234 | qf_shid_entl/lsegex4_slk-2.smt2 | 8318552 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.01616 | 1.34267 | 3072024.0 | starexec-unknown | sat |
433161351 | qf_shid_entl/lsegex4_slk-3.smt2 | 8318669 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.32882 | 1.51569 | 3074100.0 | unsat | unsat |
433161176 | qf_shid_entl/lsegex4_slk-4.smt2 | 8318494 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.36803 | 1.53751 | 3074252.0 | unsat | unsat |
433161132 | qf_shid_entl/lsegex4_slk-5.smt2 | 8318450 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.3225 | 1.50123 | 3074420.0 | unsat | unsat |
433161263 | qf_shid_entl/lsegex4_slk-6.smt2 | 8318581 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.28942 | 1.48854 | 3074388.0 | unsat | unsat |
433161272 | qf_shid_entl/lsevenodd_01.sb.smt2 | 8318590 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.21041 | 1.88803 | 3077012.0 | unsat | unsat |
433161138 | qf_shid_entl/lsevenodd_02.sb.smt2 | 8318456 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.3315 | 1.92817 | 3076788.0 | unsat | unsat |
433161173 | qf_shid_entl/lsevenodd_03.sb.smt2 | 8318491 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.25106 | 1.89977 | 3076640.0 | unsat | unsat |
433161385 | qf_shid_entl/lsevenodd_04.sb.smt2 | 8318703 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.32758 | 1.92966 | 3077032.0 | unsat | unsat |
433161273 | qf_shid_entl/lsevenodd_09.sb.smt2 | 8318591 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.25351 | 1.90337 | 3077016.0 | unsat | unsat |
433161324 | qf_shid_entl/lsevenodd_11.sb.smt2 | 8318642 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.3154 | 1.93522 | 3076768.0 | unsat | unsat |
433161296 | qf_shid_entl/lsevenodd_14.sb.smt2 | 8318614 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.2277 | 1.88655 | 3076724.0 | unsat | unsat |
433161328 | qf_shid_entl/lsevenodd_15.sb.smt2 | 8318646 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.28288 | 1.91627 | 3077176.0 | unsat | unsat |
433161204 | qf_shid_entl/lsevenodd_16.sb.smt2 | 8318522 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.31632 | 1.92487 | 3077232.0 | unsat | unsat |
433161238 | qf_shid_entl/lsevenodd_ls2_01.sb.smt2 | 8318556 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.93037 | 2.53744 | 3076968.0 | unsat | unsat |
433161121 | qf_shid_entl/lsevenodd_ls2_02.sb.smt2 | 8318439 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.94481 | 2.20648 | 3076708.0 | unsat | unsat |
433161241 | qf_shid_entl/lsevenodd_ls2_05.sb.smt2 | 8318559 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 5.09161 | 2.58631 | 3077116.0 | unsat | unsat |
433161125 | qf_shid_entl/lsevenodd_ls2_06.sb.smt2 | 8318443 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.94808 | 2.54507 | 3077424.0 | unsat | unsat |
433161237 | qf_shid_entl/lsevenodd_ls2_09.sb.smt2 | 8318555 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.47696 | 2.00238 | 3076432.0 | unsat | unsat |
433161105 | qf_shid_entl/lsevenodd_ls2_13.sb.smt2 | 8318423 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.6843 | 2.08758 | 3076828.0 | unsat | unsat |
433161298 | qf_shid_entl/lsevenodd_ls2_14.sb.smt2 | 8318616 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.76264 | 2.12983 | 3076844.0 | unsat | unsat |
433161333 | qf_shid_entl/lsevenodd_ls2_15.sb.smt2 | 8318651 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.82062 | 2.142 | 3077168.0 | unsat | unsat |
433161225 | qf_shid_entl/lsevenodd_ls2_16.sb.smt2 | 8318543 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.71042 | 2.12548 | 3077268.0 | unsat | unsat |
433161213 | qf_shid_entl/lsleftright_01.sb.smt2 | 8318531 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.00501 | 1.3553 | 3071936.0 | starexec-unknown | unsat |
433161316 | qf_shid_entl/lsleftright_02.sb.smt2 | 8318634 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.00314 | 1.35602 | 3072084.0 | starexec-unknown | unsat |
433161087 | qf_shid_entl/lsleftright_04.sb.smt2 | 8318405 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 1.99275 | 1.33885 | 3071968.0 | starexec-unknown | unsat |
433161212 | qf_shid_entl/lsleftright_05.sb.smt2 | 8318530 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.20582 | 1.884 | 3077204.0 | unsat | unsat |
433161314 | qf_shid_entl/lsleftright_06.sb.smt2 | 8318632 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 1.99548 | 1.33464 | 3071912.0 | starexec-unknown | unsat |
433161286 | qf_shid_entl/lsleftright_07.sb.smt2 | 8318604 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.20287 | 1.90463 | 3076764.0 | unsat | unsat |
433161091 | qf_shid_entl/lsleftright_08.sb.smt2 | 8318409 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.18848 | 1.87505 | 3076660.0 | unsat | unsat |
433161206 | qf_shid_entl/lsleftright_09.sb.smt2 | 8318524 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 1.99119 | 1.32335 | 3072028.0 | starexec-unknown | unsat |
433161185 | qf_shid_entl/lsleftright_10.sb.smt2 | 8318503 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.17592 | 1.87558 | 3076432.0 | unsat | unsat |
433161149 | qf_shid_entl/lsleftright_11.sb.smt2 | 8318467 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.00651 | 1.34678 | 3072056.0 | starexec-unknown | unsat |
433161254 | qf_shid_entl/lsleftright_12.sb.smt2 | 8318572 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 1.99512 | 1.34541 | 3072056.0 | starexec-unknown | unsat |
433161377 | qf_shid_entl/lsleftright_13.sb.smt2 | 8318695 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.0055 | 1.34357 | 3072056.0 | starexec-unknown | unsat |
433161187 | qf_shid_entl/lsleftright_14.sb.smt2 | 8318505 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 1.99468 | 1.33099 | 3072116.0 | starexec-unknown | unsat |
433161150 | qf_shid_entl/lsleftright_15.sb.smt2 | 8318468 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 1.99925 | 1.32271 | 3072012.0 | starexec-unknown | unsat |
433161256 | qf_shid_entl/lsleftright_16.sb.smt2 | 8318574 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.02235 | 1.37527 | 3071908.0 | starexec-unknown | unsat |
433161379 | qf_shid_entl/lsleftright_17.sb.smt2 | 8318697 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 1.99737 | 1.33501 | 3072032.0 | starexec-unknown | unsat |
433161198 | qf_shid_entl/lsleftright_18.sb.smt2 | 8318516 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 1.99861 | 1.33626 | 3072084.0 | starexec-unknown | unsat |
433161144 | qf_shid_entl/lsleftright_19.sb.smt2 | 8318462 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.0208 | 1.3436 | 3072028.0 | starexec-unknown | unsat |
433161294 | qf_shid_entl/lsleftright_20.sb.smt2 | 8318612 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.0367 | 1.36757 | 3071992.0 | starexec-unknown | unsat |
433161127 | qf_shid_entl/lss-vc01.smt2 | 8318445 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.99426 | 1.7806 | 3077184.0 | unsat | unsat |
433161242 | qf_shid_entl/lss-vc02.smt2 | 8318560 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.92036 | 2.14554 | 3078984.0 | unsat | unsat |
433161355 | qf_shid_entl/lss-vc03.smt2 | 8318673 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.24003 | 2.28168 | 3076808.0 | unsat | unsat |
433161309 | qf_shid_entl/ls_entail_ls2_02.sb.smt2 | 8318627 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 5.47667 | 2.76495 | 3076660.0 | unsat | unsat |
433161216 | qf_shid_entl/ls_entail_ls2_04.sb.smt2 | 8318534 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 12.4901 | 5.37836 | 3086528.0 | unsat | unsat |
433161095 | qf_shid_entl/ls_entail_ls2_05.sb.smt2 | 8318413 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 11.7018 | 5.22918 | 3084716.0 | unsat | unsat |
433161306 | qf_shid_entl/ls_entail_ls2_06.sb.smt2 | 8318624 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 9.93511 | 4.49867 | 3083048.0 | unsat | unsat |
433161344 | qf_shid_entl/ls_entail_ls_nonrec_01.sb.smt2 | 8318662 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.00671 | 2.21911 | 3076528.0 | unsat | unsat |
433161218 | qf_shid_entl/ls_entail_ls_nonrec_02.sb.smt2 | 8318536 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 5.38619 | 2.77734 | 3076884.0 | unsat | unsat |
433161101 | qf_shid_entl/ls_entail_ls_nonrec_03.sb.smt2 | 8318419 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 5.59446 | 2.84506 | 3078272.0 | unsat | unsat |
433161304 | qf_shid_entl/ls_entail_ls_nonrec_04.sb.smt2 | 8318622 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 15.0828 | 7.36859 | 3087444.0 | unsat | unsat |
433161342 | qf_shid_entl/ls_entail_ls_nonrec_05.sb.smt2 | 8318660 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 14.9817 | 7.07198 | 3090168.0 | unsat | unsat |
433161217 | qf_shid_entl/ls_entail_ls_nonrec_06.sb.smt2 | 8318535 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 14.9713 | 6.78058 | 3084744.0 | unsat | unsat |
433161096 | qf_shid_entl/ls_entail_ls_nonrec_07.sb.smt2 | 8318414 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 95.6618 | 78.1506 | 3092884.0 | unsat | unsat |
433161310 | qf_shid_entl/ls_entail_ls_nonrec_08.sb.smt2 | 8318628 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 85.4825 | 69.6135 | 3090240.0 | unsat | unsat |
433161339 | qf_shid_entl/ls_entail_ls_nonrec_09.sb.smt2 | 8318657 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 84.6525 | 68.2614 | 3090212.0 | unsat | unsat |
433161356 | qf_shid_entl/ls_entail_ls_nonrec_10.sb.smt2 | 8318674 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 87.2042 | 69.7424 | 3094712.0 | unsat | unsat |
433161247 | qf_shid_entl/ls_entail_ls_nonrec_11.sb.smt2 | 8318565 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | timeout (cpu) | 2400.22 | 762.735 | 3096380.0 | starexec-unknown | unsat |
433161108 | qf_shid_entl/ls_entail_ls_nonrec_12.sb.smt2 | 8318426 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 1484.01 | 502.036 | 3088836.0 | starexec-unknown | unsat |
433161156 | qf_shid_entl/ls_entail_ls_nonrec_13.sb.smt2 | 8318474 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 1458.24 | 493.834 | 3090500.0 | starexec-unknown | unsat |
433161361 | qf_shid_entl/ls_entail_ls_nonrec_14.sb.smt2 | 8318679 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 1379.25 | 474.488 | 3089336.0 | starexec-unknown | unsat |
433161249 | qf_shid_entl/ls_entail_ls_nonrec_15.sb.smt2 | 8318567 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 1308.33 | 455.806 | 3096336.0 | starexec-unknown | unsat |
433161113 | qf_shid_entl/ls_entail_ls_nonrec_16.sb.smt2 | 8318431 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 1388.67 | 477.77 | 3088464.0 | starexec-unknown | unsat |
433161331 | qf_shid_entl/ls_even_append_tl_entails_ls.sb.smt2 | 8318649 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.21606 | 1.89702 | 3076704.0 | unsat | unsat |
433161193 | qf_shid_entl/ls_even_append_tl_entails_ls_odd.sb.smt2 | 8318511 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.48271 | 2.00798 | 3076916.0 | unsat | unsat |
433161080 | qf_shid_entl/ls_even_entails_ls.sb.smt2 | 8318398 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.13397 | 1.86059 | 3077156.0 | unsat | unsat |
433161282 | qf_shid_entl/ls_even_join_entails_ls.sb.smt2 | 8318600 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.26691 | 1.89611 | 3076812.0 | unsat | unsat |
433161088 | qf_shid_entl/ls_even_join_entails_ls_even.sb.smt2 | 8318406 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.49313 | 2.02183 | 3077232.0 | unsat | unsat |
433161340 | qf_shid_entl/ls_even_join_ls_entails_ls.sb.smt2 | 8318658 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.29692 | 1.9186 | 3076908.0 | unsat | unsat |
433161183 | qf_shid_entl/ls_even_odd_join_entails_ls.sb.smt2 | 8318501 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.22803 | 1.89982 | 3077168.0 | unsat | unsat |
433161278 | qf_shid_entl/ls_even_odd_join_entails_ls_odd.sb.smt2 | 8318596 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.49773 | 2.00312 | 3077280.0 | unsat | unsat |
433161252 | qf_shid_entl/ls_join_entails_ls.sb.smt2 | 8318570 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.18 | 1.88783 | 3076772.0 | unsat | unsat |
433161090 | qf_shid_entl/ls_lsrev_concat_entail_lsrev_1.sb.smt2 | 8318408 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 1.96933 | 1.31803 | 3071968.0 | starexec-unknown | unsat |
433161288 | qf_shid_entl/ls_lsrev_concat_entail_lsrev_2.sb.smt2 | 8318606 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 1.96591 | 1.31699 | 3072032.0 | starexec-unknown | unsat |
433161318 | qf_shid_entl/ls_lsrev_concat_entail_lsrev_3.sb.smt2 | 8318636 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 1.96519 | 1.32903 | 3072084.0 | starexec-unknown | unsat |
433161211 | qf_shid_entl/ls_lsrev_concat_entail_lsrev_4.sb.smt2 | 8318529 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 1.99501 | 1.33165 | 3071952.0 | starexec-unknown | unsat |
433161182 | qf_shid_entl/ls_lsrev_concat_entail_ls_1.sb.smt2 | 8318500 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 1.98111 | 1.32996 | 3071996.0 | starexec-unknown | unsat |
433161372 | qf_shid_entl/ls_lsrev_concat_entail_ls_2.sb.smt2 | 8318690 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 1.9694 | 1.3335 | 3071988.0 | starexec-unknown | unsat |
433161251 | qf_shid_entl/ls_lsrev_concat_entail_ls_3.sb.smt2 | 8318569 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 1.96517 | 1.32425 | 3072096.0 | starexec-unknown | unsat |
433161151 | qf_shid_entl/ls_lsrev_concat_entail_ls_4.sb.smt2 | 8318469 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 1.99848 | 1.34761 | 3072032.0 | starexec-unknown | unsat |
433161208 | qf_shid_entl/ls_nonrec_entail_ls_01.sb.smt2 | 8318526 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.68989 | 2.10692 | 3076800.0 | unsat | unsat |
433161321 | qf_shid_entl/ls_nonrec_entail_ls_02.sb.smt2 | 8318639 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.69465 | 2.09203 | 3077148.0 | unsat | unsat |
433161283 | qf_shid_entl/ls_nonrec_entail_ls_03.sb.smt2 | 8318601 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.99036 | 2.5409 | 3078392.0 | unsat | unsat |
433161092 | qf_shid_entl/ls_nonrec_entail_ls_04.sb.smt2 | 8318410 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.829 | 2.50962 | 3077396.0 | unsat | unsat |
433161207 | qf_shid_entl/ls_nonrec_entail_ls_05.sb.smt2 | 8318525 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.77315 | 2.48715 | 3076952.0 | unsat | unsat |
433161320 | qf_shid_entl/ls_nonrec_entail_ls_06.sb.smt2 | 8318638 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.64174 | 2.41074 | 3077084.0 | unsat | unsat |
433161280 | qf_shid_entl/ls_nonrec_entail_ls_07.sb.smt2 | 8318598 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 8.63423 | 4.0434 | 3084904.0 | unsat | unsat |
433161084 | qf_shid_entl/ls_nonrec_entail_ls_08.sb.smt2 | 8318402 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 9.48544 | 4.03362 | 3089552.0 | unsat | unsat |
433161210 | qf_shid_entl/ls_nonrec_entail_ls_09.sb.smt2 | 8318528 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 8.2956 | 3.88629 | 3079668.0 | unsat | unsat |
433161192 | qf_shid_entl/ls_nonrec_entail_ls_10.sb.smt2 | 8318510 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 8.11955 | 3.84683 | 3080044.0 | unsat | unsat |
433161140 | qf_shid_entl/ls_nonrec_entail_ls_11.sb.smt2 | 8318458 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 7.79533 | 3.97628 | 3078692.0 | unsat | unsat |
433161262 | qf_shid_entl/ls_nonrec_entail_ls_12.sb.smt2 | 8318580 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 8.61533 | 3.78723 | 3086532.0 | unsat | unsat |
433161369 | qf_shid_entl/ls_nonrec_entail_ls_13.sb.smt2 | 8318687 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 22.7253 | 10.5244 | 3091664.0 | unsat | unsat |
433161194 | qf_shid_entl/ls_nonrec_entail_ls_14.sb.smt2 | 8318512 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 66.6038 | 46.9235 | 3090724.0 | unsat | unsat |
433161143 | qf_shid_entl/ls_nonrec_entail_ls_15.sb.smt2 | 8318461 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 1199.01 | 396.101 | 3091964.0 | starexec-unknown | unsat |
433161264 | qf_shid_entl/ls_nonrec_entail_ls_16.sb.smt2 | 8318582 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 1235.72 | 409.851 | 3090120.0 | starexec-unknown | unsat |
433161366 | qf_shid_entl/ls_odd_append_tl_entails_ls.sb.smt2 | 8318684 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.21261 | 1.89826 | 3077004.0 | unsat | unsat |
433161240 | qf_shid_entl/ls_odd_append_tl_entails_ls_even.sb.smt2 | 8318558 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.4815 | 1.99544 | 3077152.0 | unsat | unsat |
433161382 | qf_shid_entl/ls_odd_entails_ls.sb.smt2 | 8318700 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.13662 | 1.87101 | 3077216.0 | unsat | unsat |
433161371 | qf_shid_entl/ls_odd_join_entails_ls.sb.smt2 | 8318689 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.19775 | 1.87026 | 3077188.0 | unsat | unsat |
433161134 | qf_shid_entl/ls_odd_join_entails_ls_even.sb.smt2 | 8318452 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.47198 | 2.00559 | 3075756.0 | unsat | unsat |
433161227 | qf_shid_entl/ls_odd_join_ls_entails_ls.sb.smt2 | 8318545 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.29433 | 1.94191 | 3077112.0 | unsat | unsat |
433161229 | qf_shid_entl/nll-vc01.smt2 | 8318547 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 19.1298 | 10.8088 | 3090544.0 | unsat | unsat |
433161111 | qf_shid_entl/nll-vc02.smt2 | 8318429 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 18.4933 | 10.6471 | 3088096.0 | unsat | unsat |
433161155 | qf_shid_entl/nll-vc03.smt2 | 8318473 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 37.7051 | 23.5549 | 3091472.0 | unsat | unsat |
433161376 | qf_shid_entl/nll-vc04.smt2 | 8318694 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 116.406 | 82.9751 | 3087560.0 | unsat | unsat |
433161259 | qf_shid_entl/nll-vc05.smt2 | 8318577 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 17.2453 | 8.87507 | 3092796.0 | unsat | unsat |
433161135 | qf_shid_entl/nll-vc06.smt2 | 8318453 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 18.8346 | 10.6197 | 3090520.0 | sat | sat |
433161180 | qf_shid_entl/nll-vc07.smt2 | 8318498 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 16.9675 | 8.66538 | 3095732.0 | unsat | unsat |
433161322 | qf_shid_entl/nll-vc08.smt2 | 8318640 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 31.162 | 15.1052 | 3094048.0 | unsat | unsat |
433161290 | qf_shid_entl/nll-vc09.smt2 | 8318608 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 19.7354 | 9.70602 | 3100160.0 | unsat | unsat |
433161319 | qf_shid_entl/nll-vc10.smt2 | 8318637 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 20.4334 | 10.1557 | 3089052.0 | unsat | unsat |
433161285 | qf_shid_entl/nll-vc11.smt2 | 8318603 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 17.1843 | 8.73937 | 3092392.0 | unsat | unsat |
433161077 | qf_shid_entl/nll-vc12.smt2 | 8318395 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.00464 | 2.19561 | 3077620.0 | unsat | unsat |
433161200 | qf_shid_entl/nll-vc13.smt2 | 8318518 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.92555 | 2.18417 | 3076588.0 | sat | sat |
433161335 | qf_shid_entl/nll-vc14.smt2 | 8318653 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.46532 | 2.39503 | 3077168.0 | sat | sat |
433161300 | qf_shid_entl/nll-vc15.smt2 | 8318618 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 17.0081 | 8.73431 | 3090872.0 | sat | sat |
433161097 | qf_shid_entl/nll-vc16.smt2 | 8318415 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 19.7816 | 9.53669 | 3093208.0 | sat | sat |
433161220 | qf_shid_entl/nll-vc17.smt2 | 8318538 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 53.0627 | 33.6803 | 3095916.0 | sat | sat |
433161359 | qf_shid_entl/nll-vc18.smt2 | 8318677 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 35.2162 | 19.6287 | 3094576.0 | sat | sat |
433161246 | qf_shid_entl/nll-vc19.smt2 | 8318564 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 77.0514 | 54.3468 | 3094216.0 | sat | sat |
433161177 | qf_shid_entl/node-dll-rev-dll-entails-dll.smt2 | 8318495 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.95369 | 2.54715 | 3075756.0 | unsat | unsat |
433161170 | qf_shid_entl/node-node-dll-entails-dll.smt2 | 8318488 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.8171 | 2.0935 | 3076860.0 | unsat | unsat |
433161291 | qf_shid_entl/node-tll-tll-entails-tll.smt2 | 8318609 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.55748 | 2.05105 | 3077204.0 | unsat | unsat |
433161179 | qf_shid_entl/odd-lseg3_slk-1.smt2 | 8318497 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.93898 | 1.77599 | 3077196.0 | sat | sat |
433161374 | qf_shid_entl/odd-lseg3_slk-2.smt2 | 8318692 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.64063 | 1.66816 | 3074356.0 | unsat | unsat |
433161261 | qf_shid_entl/odd-lseg3_slk-3.smt2 | 8318579 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.72178 | 2.07772 | 3076836.0 | unsat | unsat |
433161114 | qf_shid_entl/odd-lseg3_slk-4.smt2 | 8318432 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.30979 | 1.91729 | 3076936.0 | sat | sat |
433161153 | qf_shid_entl/odd-lseg3_slk-5.smt2 | 8318471 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.65194 | 2.04182 | 3076860.0 | unsat | unsat |
433161345 | qf_shid_entl/odd-lseg3_slk-6.smt2 | 8318663 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.83605 | 2.45635 | 3076772.0 | sat | sat |
433161231 | qf_shid_entl/odd-lseg3_slk-7.smt2 | 8318549 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.26707 | 1.91937 | 3076640.0 | unsat | unsat |
433161175 | qf_shid_entl/skl2-vc01.smt2 | 8318493 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.09804 | 1.85975 | 3076864.0 | unsat | unsat |
433161378 | qf_shid_entl/skl2-vc02.smt2 | 8318696 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.5125 | 2.00089 | 3076572.0 | unsat | unsat |
433161265 | qf_shid_entl/skl2-vc03.smt2 | 8318583 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 1370.95 | 476.59 | 3090556.0 | starexec-unknown | unsat |
433161110 | qf_shid_entl/skl2-vc04.smt2 | 8318428 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 5.42378 | 2.75471 | 3076708.0 | unsat | unsat |
433161152 | qf_shid_entl/skl2-vc05.smt2 | 8318470 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 1479.17 | 495.269 | 3086636.0 | starexec-unknown | sat |
433161349 | qf_shid_entl/skl2-vc06.smt2 | 8318667 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 117.028 | 85.471 | 3094528.0 | sat | sat |
433161236 | qf_shid_entl/skl2-vc07.smt2 | 8318554 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 1228.51 | 417.578 | 3095476.0 | starexec-unknown | sat |
433161191 | qf_shid_entl/skl3-vc01.smt2 | 8318509 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.2383 | 1.91769 | 3076152.0 | unsat | unsat |
433161388 | qf_shid_entl/skl3-vc02.smt2 | 8318706 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 320.605 | 295.377 | 3090836.0 | sat | sat |
433161274 | qf_shid_entl/skl3-vc03.smt2 | 8318592 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 367.197 | 323.131 | 3091832.0 | unsat | unsat |
433161119 | qf_shid_entl/skl3-vc04.smt2 | 8318437 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 1814.87 | 738.661 | 3092424.0 | starexec-unknown | unsat |
433161166 | qf_shid_entl/skl3-vc05.smt2 | 8318484 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | timeout (cpu) | 2400.28 | 888.869 | 3095240.0 | starexec-unknown | unsat |
433161360 | qf_shid_entl/skl3-vc06.smt2 | 8318678 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | timeout (cpu) | 2400.06 | 892.28 | 3096528.0 | starexec-unknown | unsat |
433161243 | qf_shid_entl/skl3-vc07.smt2 | 8318561 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 1469.97 | 658.192 | 3094860.0 | starexec-unknown | unsat |
433161098 | qf_shid_entl/skl3-vc08.smt2 | 8318416 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 1615.47 | 692.894 | 3098140.0 | starexec-unknown | unsat |
433161219 | qf_shid_entl/skl3-vc09.smt2 | 8318537 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 1776.64 | 744.211 | 3090948.0 | starexec-unknown | unsat |
433161104 | qf_shid_entl/skl3-vc10.smt2 | 8318422 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 446.655 | 381.264 | 3091288.0 | unsat | unsat |
433161228 | qf_shid_entl/skl3-vc11.smt2 | 8318546 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | timeout (cpu) | 2400.28 | 888.97 | 3101452.0 | starexec-unknown | sat |
433161343 | qf_shid_entl/skl3-vc12.smt2 | 8318661 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | timeout (cpu) | 2400.03 | 887.184 | 3094636.0 | starexec-unknown | sat |
433161221 | qf_shid_entl/sll-vc01.smt2 | 8318539 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 1226.3 | 389.994 | 3089264.0 | starexec-unknown | sat |
433161332 | qf_shid_entl/sll-vc02.smt2 | 8318650 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | timeout (cpu) | 2400.11 | 687.541 | 3088608.0 | starexec-unknown | sat |
433161122 | qf_shid_entl/tll-pp-entails-tll-pp-rev.smt2 | 8318440 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 5.00563 | 2.51815 | 3077192.0 | unsat | unsat |
433161326 | qf_shid_entl/tll-pp-rev-entails-tll-pp.smt2 | 8318644 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.0946 | 1.84712 | 3076364.0 | starexec-unknown | unsat |
433161235 | qf_shid_entl/tll-ravioli.smt2 | 8318553 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.11418 | 1.38544 | 3072092.0 | unsat | unsat |
433161367 | qf_shid_entl/tll_slk-1.smt2 | 8318685 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.09198 | 1.39033 | 3071996.0 | unsat | unsat |
433161079 | qf_shid_entl/tll_slk-10.smt2 | 8318397 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.13315 | 1.38733 | 3071932.0 | unsat | unsat |
433161201 | qf_shid_entl/tll_slk-11.smt2 | 8318519 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.30592 | 1.4639 | 3072240.0 | unsat | unsat |
433161312 | qf_shid_entl/tll_slk-12.smt2 | 8318630 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.21374 | 1.86229 | 3076668.0 | unsat | unsat |
433161279 | qf_shid_entl/tll_slk-13.smt2 | 8318597 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.80506 | 1.71615 | 3074356.0 | starexec-unknown | unsat |
433161172 | qf_shid_entl/tll_slk-2.smt2 | 8318490 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.09681 | 1.40253 | 3071952.0 | unsat | unsat |
433161131 | qf_shid_entl/tll_slk-3.smt2 | 8318449 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.91429 | 1.76298 | 3078308.0 | unsat | unsat |
433161239 | qf_shid_entl/tll_slk-4.smt2 | 8318557 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.30476 | 1.94404 | 3078184.0 | unsat | unsat |
433161352 | qf_shid_entl/tll_slk-5.smt2 | 8318670 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.16418 | 1.50941 | 3071988.0 | unsat | unsat |
433161161 | qf_shid_entl/tll_slk-6.smt2 | 8318479 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.14942 | 1.39655 | 3072208.0 | unsat | unsat |
433161118 | qf_shid_entl/tll_slk-7.smt2 | 8318436 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.89209 | 1.76306 | 3076688.0 | unsat | unsat |
433161305 | qf_shid_entl/tll_slk-8.smt2 | 8318623 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.30225 | 1.92261 | 3076932.0 | unsat | unsat |
433161338 | qf_shid_entl/tll_slk-9.smt2 | 8318656 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.28181 | 1.45667 | 3072052.0 | unsat | unsat |
433161384 | qf_shid_entl/tree-pp-entails-tree-pp-rev.smt2 | 8318702 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.0609 | 1.36727 | 3072060.0 | starexec-unknown | unsat |
433161224 | qf_shid_entl/tree-pp-rev-entails-tree-pp.smt2 | 8318542 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.08441 | 1.38787 | 3072060.0 | starexec-unknown | unsat |
433161230 | qf_shid_entl/tseg_join_2.sb.smt2 | 8318548 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 6.48366 | 3.19193 | 3077928.0 | unsat | unsat |
433161160 | qf_shid_entl/tseg_join_2_entail_tree.sb.smt2 | 8318478 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.82706 | 2.1544 | 3078144.0 | unsat | unsat |
433161085 | qf_shid_entl/tseg_join_tree.sb.smt2 | 8318403 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.79904 | 2.14289 | 3076932.0 | unsat | unsat |
433161341 | qf_shid_entl/tseg_join_tree_entail_tseg.sb.smt2 | 8318659 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 6.44377 | 3.16291 | 3076884.0 | unsat | unsat |