430514654 | qf_shid_entl/01.tst.smt2 | 8318666 | SLEEK | 20564 | default | 304221 | complete | 0.075201 | 0.0707359 | 113176.0 | unsat | unsat |
430514405 | qf_shid_entl/02.tst.smt2 | 8318417 | SLEEK | 20564 | default | 304221 | complete | 0.075973 | 0.070981 | 113176.0 | unsat | unsat |
430514465 | qf_shid_entl/03.tst.smt2 | 8318477 | SLEEK | 20564 | default | 304221 | complete | 0.071775 | 0.067199 | 113176.0 | unsat | unsat |
430514521 | qf_shid_entl/04.tst.smt2 | 8318533 | SLEEK | 20564 | default | 304221 | complete | 0.0734 | 0.0688099 | 113176.0 | unsat | unsat |
430514452 | qf_shid_entl/05.tst.smt2 | 8318464 | SLEEK | 20564 | default | 304221 | complete | 0.072498 | 0.068069 | 113176.0 | unsat | unsat |
430514631 | qf_shid_entl/06.tst.smt2 | 8318643 | SLEEK | 20564 | default | 304221 | complete | 0.086037 | 0.0808749 | 113176.0 | unsat | unsat |
430514577 | qf_shid_entl/07.tst.smt2 | 8318589 | SLEEK | 20564 | default | 304221 | complete | 0.109813 | 0.103574 | 113176.0 | unsat | unsat |
430514574 | qf_shid_entl/08.tst.smt2 | 8318586 | SLEEK | 20564 | default | 304221 | complete | 0.071552 | 0.0667521 | 113176.0 | sat | unsat |
430514633 | qf_shid_entl/09.tst.smt2 | 8318645 | SLEEK | 20564 | default | 304221 | complete | 0.147171 | 0.139526 | 113176.0 | unsat | unsat |
430514614 | qf_shid_entl/10.tst.smt2 | 8318626 | SLEEK | 20564 | default | 304221 | complete | 0.119059 | 0.112462 | 113176.0 | unsat | unsat |
430514660 | qf_shid_entl/11.tst.smt2 | 8318672 | SLEEK | 20564 | default | 304221 | complete | 0.179088 | 0.170404 | 113176.0 | unsat | unsat |
430514409 | qf_shid_entl/12.tst.smt2 | 8318421 | SLEEK | 20564 | default | 304221 | complete | 0.154621 | 0.147035 | 113176.0 | unsat | unsat |
430514477 | qf_shid_entl/13.tst.smt2 | 8318489 | SLEEK | 20564 | default | 304221 | complete | 0.053269 | 0.0490701 | 113176.0 | sat | unsat |
430514509 | qf_shid_entl/14.tst.smt2 | 8318521 | SLEEK | 20564 | default | 304221 | complete | 0.058146 | 0.0539449 | 113176.0 | sat | unsat |
430514439 | qf_shid_entl/15.tst.smt2 | 8318451 | SLEEK | 20564 | default | 304221 | complete | 0.117547 | 0.112022 | 113176.0 | unsat | unsat |
430514619 | qf_shid_entl/16.tst.smt2 | 8318631 | SLEEK | 20564 | default | 304221 | complete | 0.139867 | 0.134101 | 113176.0 | unsat | unsat |
430514563 | qf_shid_entl/17.tst.smt2 | 8318575 | SLEEK | 20564 | default | 304221 | complete | 0.24719 | 0.238592 | 113176.0 | unsat | unsat |
430514564 | qf_shid_entl/18.tst.smt2 | 8318576 | SLEEK | 20564 | default | 304221 | complete | 0.084758 | 0.0798411 | 113176.0 | unsat | unsat |
430514617 | qf_shid_entl/19.tst.smt2 | 8318629 | SLEEK | 20564 | default | 304221 | complete | 0.08236 | 0.077651 | 113176.0 | unsat | unsat |
430514587 | qf_shid_entl/20.tst.smt2 | 8318599 | SLEEK | 20564 | default | 304221 | complete | 0.072764 | 0.068246 | 113176.0 | unsat | unsat |
430514676 | qf_shid_entl/21.tst.smt2 | 8318688 | SLEEK | 20564 | default | 304221 | complete | 0.138526 | 0.132419 | 113176.0 | sat | unsat |
430514389 | qf_shid_entl/22.tst.smt2 | 8318401 | SLEEK | 20564 | default | 304221 | complete | 0.06896 | 0.0845611 | 113176.0 | unsat | unsat |
430514663 | qf_shid_entl/append_dll_slk-1.smt2 | 8318675 | SLEEK | 20564 | default | 304221 | complete | 0.093774 | 0.088669 | 113176.0 | unsat | unsat |
430514656 | qf_shid_entl/append_dll_slk-10.smt2 | 8318668 | SLEEK | 20564 | default | 304221 | complete | 0.128332 | 0.121912 | 113176.0 | unsat | unsat |
430514539 | qf_shid_entl/append_dll_slk-11.smt2 | 8318551 | SLEEK | 20564 | default | 304221 | complete | 0.087702 | 0.082323 | 113176.0 | unsat | unsat |
430514412 | qf_shid_entl/append_dll_slk-12.smt2 | 8318424 | SLEEK | 20564 | default | 304221 | complete | 0.093537 | 0.0885969 | 113176.0 | unsat | unsat |
430514470 | qf_shid_entl/append_dll_slk-2.smt2 | 8318482 | SLEEK | 20564 | default | 304221 | complete | 0.081794 | 0.0766741 | 113176.0 | unsat | unsat |
430514429 | qf_shid_entl/append_dll_slk-3.smt2 | 8318441 | SLEEK | 20564 | default | 304221 | complete | 0.082137 | 0.0772601 | 113176.0 | unsat | unsat |
430514582 | qf_shid_entl/append_dll_slk-4.smt2 | 8318594 | SLEEK | 20564 | default | 304221 | complete | 0.092804 | 0.087854 | 113176.0 | unsat | unsat |
430514692 | qf_shid_entl/append_dll_slk-5.smt2 | 8318704 | SLEEK | 20564 | default | 304221 | complete | 0.079438 | 0.074843 | 113176.0 | unsat | unsat |
430514496 | qf_shid_entl/append_dll_slk-6.smt2 | 8318508 | SLEEK | 20564 | default | 304221 | complete | 0.083733 | 0.07854 | 113176.0 | unsat | unsat |
430514454 | qf_shid_entl/append_dll_slk-7.smt2 | 8318466 | SLEEK | 20564 | default | 304221 | complete | 0.103685 | 0.097768 | 113176.0 | unsat | unsat |
430514590 | qf_shid_entl/append_dll_slk-8.smt2 | 8318602 | SLEEK | 20564 | default | 304221 | complete | 0.092045 | 0.0866111 | 113176.0 | unsat | unsat |
430514623 | qf_shid_entl/append_dll_slk-9.smt2 | 8318635 | SLEEK | 20564 | default | 304221 | complete | 0.151671 | 0.144246 | 113176.0 | unsat | unsat |
430514659 | qf_shid_entl/append_sll_cll_slk-1.smt2 | 8318671 | SLEEK | 20564 | default | 304221 | complete | 0.091498 | 0.086083 | 113176.0 | unsat | unsat |
430514538 | qf_shid_entl/append_sll_cll_slk-10.smt2 | 8318550 | SLEEK | 20564 | default | 304221 | complete | 0.093 | 0.0873461 | 113176.0 | unsat | unsat |
430514652 | qf_shid_entl/append_sll_cll_slk-11.smt2 | 8318664 | SLEEK | 20564 | default | 304221 | complete | 0.089492 | 0.084042 | 113176.0 | unsat | unsat |
430514460 | qf_shid_entl/append_sll_cll_slk-12.smt2 | 8318472 | SLEEK | 20564 | default | 304221 | complete | 0.091774 | 0.086715 | 113176.0 | unsat | unsat |
430514421 | qf_shid_entl/append_sll_cll_slk-13.smt2 | 8318433 | SLEEK | 20564 | default | 304221 | complete | 0.09424 | 0.0890499 | 113176.0 | unsat | unsat |
430514566 | qf_shid_entl/append_sll_cll_slk-14.smt2 | 8318578 | SLEEK | 20564 | default | 304221 | complete | 0.089584 | 0.0846459 | 113176.0 | unsat | unsat |
430514679 | qf_shid_entl/append_sll_cll_slk-15.smt2 | 8318691 | SLEEK | 20564 | default | 304221 | complete | 0.108181 | 0.102277 | 113176.0 | sat | sat |
430514484 | qf_shid_entl/append_sll_cll_slk-16.smt2 | 8318496 | SLEEK | 20564 | default | 304221 | complete | 0.092928 | 0.087444 | 113176.0 | unsat | unsat |
430514442 | qf_shid_entl/append_sll_cll_slk-17.smt2 | 8318454 | SLEEK | 20564 | default | 304221 | complete | 0.106622 | 0.100483 | 113176.0 | unsat | unsat |
430514595 | qf_shid_entl/append_sll_cll_slk-18.smt2 | 8318607 | SLEEK | 20564 | default | 304221 | complete | 0.099648 | 0.0942861 | 113176.0 | unsat | unsat |
430514468 | qf_shid_entl/append_sll_cll_slk-2.smt2 | 8318480 | SLEEK | 20564 | default | 304221 | complete | 0.087418 | 0.0821951 | 113176.0 | unsat | unsat |
430514423 | qf_shid_entl/append_sll_cll_slk-3.smt2 | 8318435 | SLEEK | 20564 | default | 304221 | complete | 0.088544 | 0.083135 | 113176.0 | unsat | unsat |
430514559 | qf_shid_entl/append_sll_cll_slk-4.smt2 | 8318571 | SLEEK | 20564 | default | 304221 | complete | 0.092937 | 0.0875249 | 113176.0 | unsat | unsat |
430514674 | qf_shid_entl/append_sll_cll_slk-5.smt2 | 8318686 | SLEEK | 20564 | default | 304221 | complete | 0.088379 | 0.082997 | 113176.0 | unsat | unsat |
430514480 | qf_shid_entl/append_sll_cll_slk-6.smt2 | 8318492 | SLEEK | 20564 | default | 304221 | complete | 0.092558 | 0.0870109 | 113176.0 | sat | sat |
430514436 | qf_shid_entl/append_sll_cll_slk-7.smt2 | 8318448 | SLEEK | 20564 | default | 304221 | complete | 0.090263 | 0.0849821 | 113176.0 | unsat | unsat |
430514599 | qf_shid_entl/append_sll_cll_slk-8.smt2 | 8318611 | SLEEK | 20564 | default | 304221 | complete | 0.138276 | 0.131423 | 113176.0 | unsat | unsat |
430514635 | qf_shid_entl/append_sll_cll_slk-9.smt2 | 8318647 | SLEEK | 20564 | default | 304221 | complete | 0.099657 | 0.093836 | 113176.0 | unsat | unsat |
430514435 | qf_shid_entl/append_sll_ls_slk-1.smt2 | 8318447 | SLEEK | 20564 | default | 304221 | complete | 0.083685 | 0.078482 | 113176.0 | unsat | unsat |
430514554 | qf_shid_entl/append_sll_ls_slk-2.smt2 | 8318566 | SLEEK | 20564 | default | 304221 | complete | 0.084806 | 0.0794901 | 113176.0 | unsat | unsat |
430514670 | qf_shid_entl/append_sll_ls_slk-3.smt2 | 8318682 | SLEEK | 20564 | default | 304221 | complete | 0.081364 | 0.076569 | 113176.0 | unsat | unsat |
430514492 | qf_shid_entl/append_sll_ls_slk-4.smt2 | 8318504 | SLEEK | 20564 | default | 304221 | complete | 0.085325 | 0.0801991 | 113176.0 | unsat | unsat |
430514451 | qf_shid_entl/append_sll_ls_slk-5.smt2 | 8318463 | SLEEK | 20564 | default | 304221 | complete | 0.082953 | 0.0781139 | 113176.0 | unsat | unsat |
430514573 | qf_shid_entl/append_sll_ls_slk-6.smt2 | 8318585 | SLEEK | 20564 | default | 304221 | complete | 0.082354 | 0.077323 | 113176.0 | unsat | unsat |
430514687 | qf_shid_entl/append_sll_ls_slk-7.smt2 | 8318699 | SLEEK | 20564 | default | 304221 | complete | 0.133008 | 0.126319 | 113176.0 | unsat | unsat |
430514511 | qf_shid_entl/append_sll_ls_slk-8.smt2 | 8318523 | SLEEK | 20564 | default | 304221 | complete | 0.092497 | 0.0867121 | 113176.0 | unsat | unsat |
430514406 | qf_shid_entl/append_sll_slk-1.smt2 | 8318418 | SLEEK | 20564 | default | 304221 | complete | 0.075365 | 0.0706671 | 113176.0 | unsat | unsat |
430514605 | qf_shid_entl/append_sll_slk-2.smt2 | 8318617 | SLEEK | 20564 | default | 304221 | complete | 0.071595 | 0.066246 | 113176.0 | unsat | unsat |
430514640 | qf_shid_entl/append_sll_slk-3.smt2 | 8318652 | SLEEK | 20564 | default | 304221 | complete | 0.071179 | 0.06654 | 113176.0 | unsat | unsat |
430514508 | qf_shid_entl/append_sll_slk-4.smt2 | 8318520 | SLEEK | 20564 | default | 304221 | complete | 0.078107 | 0.0730441 | 113176.0 | unsat | unsat |
430514384 | qf_shid_entl/append_sll_slk-5.smt2 | 8318396 | SLEEK | 20564 | default | 304221 | complete | 0.096632 | 0.0906859 | 113176.0 | unsat | unsat |
430514583 | qf_shid_entl/append_sll_slk-6.smt2 | 8318595 | SLEEK | 20564 | default | 304221 | complete | 0.075454 | 0.0705311 | 113176.0 | unsat | unsat |
430514621 | qf_shid_entl/append_sll_slk-7.smt2 | 8318633 | SLEEK | 20564 | default | 304221 | complete | 0.072421 | 0.06771 | 113176.0 | unsat | unsat |
430514501 | qf_shid_entl/append_sll_slk-8.smt2 | 8318513 | SLEEK | 20564 | default | 304221 | complete | 0.077274 | 0.0722311 | 113176.0 | unsat | unsat |
430514601 | qf_shid_entl/dll-entails-dll-rev.smt2 | 8318613 | SLEEK | 20564 | default | 304221 | complete | 0.159901 | 0.152324 | 113176.0 | sat | unsat |
430514443 | qf_shid_entl/dll-entails-dll0+.smt2 | 8318455 | SLEEK | 20564 | default | 304221 | complete | 0.096805 | 0.091005 | 113176.0 | sat | unsat |
430514572 | qf_shid_entl/dll-mid-entails-dll-rev.smt2 | 8318584 | SLEEK | 20564 | default | 304221 | timeout (wallclock) | 2399.91 | 2400.08 | 2500260.0 | starexec-unknown | unsat |
430514502 | qf_shid_entl/dll-rev-entails-dll-mid.smt2 | 8318514 | SLEEK | 20564 | default | 304221 | complete | 0.163088 | 0.156085 | 113176.0 | sat | unsat |
430514609 | qf_shid_entl/dll-rev-entails-dll.smt2 | 8318621 | SLEEK | 20564 | default | 304221 | complete | 0.086319 | 0.0808051 | 113176.0 | sat | unsat |
430514575 | qf_shid_entl/dll-spaghetti.smt2 | 8318587 | SLEEK | 20564 | default | 304221 | complete | 666.488 | 666.529 | 1.0050524E7 | starexec-unknown | unsat |
430514399 | qf_shid_entl/dll-vc01.smt2 | 8318411 | SLEEK | 20564 | default | 304221 | complete | 0.120831 | 0.115391 | 113176.0 | unsat | unsat |
430514598 | qf_shid_entl/dll-vc02.smt2 | 8318610 | SLEEK | 20564 | default | 304221 | complete | 0.121989 | 0.116597 | 113176.0 | unsat | unsat |
430514636 | qf_shid_entl/dll-vc03.smt2 | 8318648 | SLEEK | 20564 | default | 304221 | complete | 0.133626 | 0.128561 | 113176.0 | unsat | unsat |
430514532 | qf_shid_entl/dll-vc04.smt2 | 8318544 | SLEEK | 20564 | default | 304221 | complete | 0.15307 | 0.146392 | 113176.0 | sat | sat |
430514408 | qf_shid_entl/dll-vc05.smt2 | 8318420 | SLEEK | 20564 | default | 304221 | complete | 0.151954 | 0.145592 | 113176.0 | sat | unsat |
430514613 | qf_shid_entl/dll-vc06.smt2 | 8318625 | SLEEK | 20564 | default | 304221 | complete | 0.22074 | 0.212804 | 113176.0 | sat | sat |
430514643 | qf_shid_entl/dll-vc07.smt2 | 8318655 | SLEEK | 20564 | default | 304221 | complete | 0.165411 | 0.158185 | 113176.0 | sat | unsat |
430514469 | qf_shid_entl/dll-vc08.smt2 | 8318481 | SLEEK | 20564 | default | 304221 | complete | 0.315624 | 0.305829 | 113176.0 | sat | sat |
430514422 | qf_shid_entl/dll-vc09.smt2 | 8318434 | SLEEK | 20564 | default | 304221 | complete | 0.180529 | 0.174261 | 113176.0 | unsat | unsat |
430514475 | qf_shid_entl/dll-vc10.smt2 | 8318487 | SLEEK | 20564 | default | 304221 | complete | 0.326673 | 0.316488 | 113176.0 | sat | sat |
430514434 | qf_shid_entl/dll-vc11.smt2 | 8318446 | SLEEK | 20564 | default | 304221 | complete | 0.157687 | 0.150872 | 113176.0 | sat | unsat |
430514556 | qf_shid_entl/dll-vc12.smt2 | 8318568 | SLEEK | 20564 | default | 304221 | complete | 0.234252 | 0.225737 | 113176.0 | sat | sat |
430514671 | qf_shid_entl/dll-vc13.smt2 | 8318683 | SLEEK | 20564 | default | 304221 | complete | 0.158076 | 0.151417 | 113176.0 | sat | sat |
430514487 | qf_shid_entl/dll-vc14.smt2 | 8318499 | SLEEK | 20564 | default | 304221 | complete | 0.161022 | 0.154137 | 113176.0 | sat | sat |
430514448 | qf_shid_entl/dll-vc15.smt2 | 8318460 | SLEEK | 20564 | default | 304221 | complete | 0.110461 | 0.105382 | 113176.0 | unsat | unsat |
430514576 | qf_shid_entl/dll-vc16.smt2 | 8318588 | SLEEK | 20564 | default | 304221 | complete | 0.797248 | 0.780541 | 252980.0 | sat | sat |
430514689 | qf_shid_entl/dll-vc17.smt2 | 8318701 | SLEEK | 20564 | default | 304221 | complete | 0.210691 | 0.203171 | 113176.0 | sat | unsat |
430514463 | qf_shid_entl/dll2-entails-dll2-rev.smt2 | 8318475 | SLEEK | 20564 | default | 304221 | complete | 0.446883 | 0.434282 | 113176.0 | sat | unsat |
430514473 | qf_shid_entl/dll2-rev-entails-dll2.smt2 | 8318485 | SLEEK | 20564 | default | 304221 | complete | 0.229024 | 0.219973 | 113176.0 | sat | unsat |
430514529 | qf_shid_entl/dll2-spaghetti.smt2 | 8318541 | SLEEK | 20564 | default | 304221 | complete | 668.04 | 668.101 | 1.0050444E7 | starexec-unknown | unsat |
430514520 | qf_shid_entl/dllrev_append_dllrev_dll_entails_dll.sb.smt2 | 8318532 | SLEEK | 20564 | default | 304221 | complete | 0.131232 | 0.124883 | 113176.0 | sat | unsat |
430514608 | qf_shid_entl/dllrev_append_dllrev_dll_entails_dllrev.sb.smt2 | 8318620 | SLEEK | 20564 | default | 304221 | complete | 0.383935 | 0.369163 | 113176.0 | sat | unsat |
430514387 | qf_shid_entl/dllrev_append_dll_dll_entails_dll.sb.smt2 | 8318399 | SLEEK | 20564 | default | 304221 | complete | 0.35621 | 0.3447 | 113176.0 | unsat | unsat |
430514415 | qf_shid_entl/dllrev_append_dll_dll_entails_dllrev.sb.smt2 | 8318427 | SLEEK | 20564 | default | 304221 | complete | 0.327445 | 0.314752 | 113176.0 | sat | unsat |
430514426 | qf_shid_entl/dllrev_append_head_entails_dll.sb.smt2 | 8318438 | SLEEK | 20564 | default | 304221 | complete | 0.116549 | 0.110699 | 113176.0 | sat | unsat |
430514528 | qf_shid_entl/dllrev_append_head_entails_dllrev.sb.smt2 | 8318540 | SLEEK | 20564 | default | 304221 | complete | 0.131024 | 0.123691 | 113176.0 | unsat | unsat |
430514447 | qf_shid_entl/dllrev_concat.sb.smt2 | 8318459 | SLEEK | 20564 | default | 304221 | complete | 0.22297 | 0.212365 | 113176.0 | sat | unsat |
430514400 | qf_shid_entl/dllrev_concat_dll_entails_dll.sb.smt2 | 8318412 | SLEEK | 20564 | default | 304221 | complete | 0.233335 | 0.224086 | 113176.0 | unsat | unsat |
430514464 | qf_shid_entl/dllrev_concat_dll_entails_dllrev.sb.smt2 | 8318476 | SLEEK | 20564 | default | 304221 | complete | 0.267214 | 0.255822 | 113176.0 | sat | unsat |
430514445 | qf_shid_entl/dllrev_entails_dll.sb.smt2 | 8318457 | SLEEK | 20564 | default | 304221 | complete | 0.129726 | 0.122995 | 113176.0 | sat | unsat |
430514629 | qf_shid_entl/dll_append_dllnull_entails_dllnull.sb.smt2 | 8318641 | SLEEK | 20564 | default | 304221 | complete | 0.099449 | 0.093564 | 113176.0 | unsat | unsat |
430514668 | qf_shid_entl/dll_append_tail_entails_dll.sb.smt2 | 8318680 | SLEEK | 20564 | default | 304221 | complete | 0.108922 | 0.103258 | 113176.0 | sat | unsat |
430514474 | qf_shid_entl/dll_append_tail_entails_dllnull.sb.smt2 | 8318486 | SLEEK | 20564 | default | 304221 | complete | 0.098401 | 0.0926281 | 113176.0 | unsat | unsat |
430514603 | qf_shid_entl/dll_append_tail_entails_dllnull_nil.sb.smt2 | 8318615 | SLEEK | 20564 | default | 304221 | complete | 0.100669 | 0.0947179 | 113176.0 | sat | unsat |
430514693 | qf_shid_entl/dll_append_tail_entails_dllrev.sb.smt2 | 8318705 | SLEEK | 20564 | default | 304221 | complete | 0.106071 | 0.100613 | 113176.0 | sat | unsat |
430514388 | qf_shid_entl/dll_concat.sb.smt2 | 8318400 | SLEEK | 20564 | default | 304221 | complete | 0.132261 | 0.125369 | 113176.0 | unsat | unsat |
430514503 | qf_shid_entl/dll_concat_dllrev.sb.smt2 | 8318515 | SLEEK | 20564 | default | 304221 | complete | 0.175652 | 0.1672 | 113176.0 | sat | unsat |
430514515 | qf_shid_entl/dll_entails_dllrev.sb.smt2 | 8318527 | SLEEK | 20564 | default | 304221 | complete | 0.161619 | 0.15441 | 113176.0 | sat | unsat |
430514395 | qf_shid_entl/dll_entails_ls.sb.smt2 | 8318407 | SLEEK | 20564 | default | 304221 | complete | 0.107922 | 0.101835 | 113176.0 | unsat | unsat |
430514432 | qf_shid_entl/dll_entails_lspre.sb.smt2 | 8318444 | SLEEK | 20564 | default | 304221 | complete | 0.072618 | 0.067791 | 113176.0 | sat | unsat |
430514653 | qf_shid_entl/dll_entails_lsrev.sb.smt2 | 8318665 | SLEEK | 20564 | default | 304221 | complete | 0.081083 | 0.0761719 | 113176.0 | sat | unsat |
430514418 | qf_shid_entl/dll_nil_tl_entails_dllnull.sb.smt2 | 8318430 | SLEEK | 20564 | default | 304221 | complete | 0.085546 | 0.0802719 | 113176.0 | unsat | unsat |
430514581 | qf_shid_entl/elseg4_slk-1.smt2 | 8318593 | SLEEK | 20564 | default | 304221 | complete | 0.106697 | 0.101818 | 113176.0 | unsat | unsat |
430514453 | qf_shid_entl/elseg4_slk-2.smt2 | 8318465 | SLEEK | 20564 | default | 304221 | complete | 0.088918 | 0.0841779 | 113176.0 | unsat | unsat |
430514495 | qf_shid_entl/elseg4_slk-3.smt2 | 8318507 | SLEEK | 20564 | default | 304221 | complete | 0.097451 | 0.092776 | 113176.0 | sat | sat |
430514664 | qf_shid_entl/elseg4_slk-4.smt2 | 8318676 | SLEEK | 20564 | default | 304221 | complete | 0.103911 | 0.099095 | 113176.0 | sat | sat |
430514551 | qf_shid_entl/elseg4_slk-5.smt2 | 8318563 | SLEEK | 20564 | default | 304221 | complete | 0.101984 | 0.0972331 | 113176.0 | unsat | unsat |
430514430 | qf_shid_entl/elseg4_slk-6.smt2 | 8318442 | SLEEK | 20564 | default | 304221 | complete | 0.105573 | 0.100801 | 113176.0 | unsat | unsat |
430514471 | qf_shid_entl/elseg4_slk-7.smt2 | 8318483 | SLEEK | 20564 | default | 304221 | complete | 0.150355 | 0.144733 | 113176.0 | unsat | unsat |
430514642 | qf_shid_entl/elseg4_slk-8.smt2 | 8318654 | SLEEK | 20564 | default | 304221 | complete | 0.103506 | 0.09815 | 113176.0 | unsat | unsat |
430514607 | qf_shid_entl/elseg4_slk-9.smt2 | 8318619 | SLEEK | 20564 | default | 304221 | complete | 0.098047 | 0.0929971 | 113176.0 | unsat | unsat |
430514490 | qf_shid_entl/eolseg_01.sb.smt2 | 8318502 | SLEEK | 20564 | default | 304221 | complete | 0.216574 | 0.207911 | 113176.0 | sat | unsat |
430514681 | qf_shid_entl/eolseg_02.sb.smt2 | 8318693 | SLEEK | 20564 | default | 304221 | complete | 0.209905 | 0.20038 | 113176.0 | sat | unsat |
430514494 | qf_shid_entl/eolseg_05.sb.smt2 | 8318506 | SLEEK | 20564 | default | 304221 | complete | 0.26325 | 0.253572 | 113176.0 | sat | unsat |
430514686 | qf_shid_entl/eolseg_06.sb.smt2 | 8318698 | SLEEK | 20564 | default | 304221 | complete | 0.237778 | 0.228241 | 113176.0 | sat | unsat |
430514561 | qf_shid_entl/eolseg_07.sb.smt2 | 8318573 | SLEEK | 20564 | default | 304221 | complete | 0.268507 | 0.25861 | 113176.0 | sat | unsat |
430514505 | qf_shid_entl/eolseg_09.sb.smt2 | 8318517 | SLEEK | 20564 | default | 304221 | complete | 0.233899 | 0.224499 | 113176.0 | sat | unsat |
430514593 | qf_shid_entl/eolseg_12.sb.smt2 | 8318605 | SLEEK | 20564 | default | 304221 | complete | 0.244673 | 0.235161 | 113176.0 | sat | unsat |
430514392 | qf_shid_entl/eolseg_15.sb.smt2 | 8318404 | SLEEK | 20564 | default | 304221 | complete | 0.276682 | 0.266449 | 113176.0 | sat | unsat |
430514550 | qf_shid_entl/ls2_entail_ls_01.sb.smt2 | 8318562 | SLEEK | 20564 | default | 304221 | complete | 0.125924 | 0.120273 | 113176.0 | unsat | unsat |
430514669 | qf_shid_entl/ls2_entail_ls_04.sb.smt2 | 8318681 | SLEEK | 20564 | default | 304221 | complete | 0.266506 | 0.257295 | 113176.0 | sat | unsat |
430514413 | qf_shid_entl/lsegex4_slk-1.smt2 | 8318425 | SLEEK | 20564 | default | 304221 | complete | 0.150458 | 0.144239 | 113176.0 | unsat | unsat |
430514540 | qf_shid_entl/lsegex4_slk-2.smt2 | 8318552 | SLEEK | 20564 | default | 304221 | complete | 0.141941 | 0.136237 | 113176.0 | sat | sat |
430514657 | qf_shid_entl/lsegex4_slk-3.smt2 | 8318669 | SLEEK | 20564 | default | 304221 | complete | 0.15547 | 0.149283 | 113176.0 | unsat | unsat |
430514482 | qf_shid_entl/lsegex4_slk-4.smt2 | 8318494 | SLEEK | 20564 | default | 304221 | complete | 0.167364 | 0.161471 | 113176.0 | unsat | unsat |
430514438 | qf_shid_entl/lsegex4_slk-5.smt2 | 8318450 | SLEEK | 20564 | default | 304221 | complete | 0.143508 | 0.138159 | 113176.0 | unsat | unsat |
430514569 | qf_shid_entl/lsegex4_slk-6.smt2 | 8318581 | SLEEK | 20564 | default | 304221 | complete | 0.137691 | 0.132211 | 113176.0 | unsat | unsat |
430514578 | qf_shid_entl/lsevenodd_01.sb.smt2 | 8318590 | SLEEK | 20564 | default | 304221 | complete | 0.141809 | 0.134862 | 113176.0 | unsat | unsat |
430514444 | qf_shid_entl/lsevenodd_02.sb.smt2 | 8318456 | SLEEK | 20564 | default | 304221 | complete | 0.211433 | 0.202556 | 113176.0 | unsat | unsat |
430514479 | qf_shid_entl/lsevenodd_03.sb.smt2 | 8318491 | SLEEK | 20564 | default | 304221 | complete | 0.160118 | 0.151729 | 113176.0 | sat | unsat |
430514691 | qf_shid_entl/lsevenodd_04.sb.smt2 | 8318703 | SLEEK | 20564 | default | 304221 | complete | 0.174794 | 0.16677 | 113176.0 | sat | unsat |
430514579 | qf_shid_entl/lsevenodd_09.sb.smt2 | 8318591 | SLEEK | 20564 | default | 304221 | complete | 0.157262 | 0.149449 | 113176.0 | sat | unsat |
430514630 | qf_shid_entl/lsevenodd_11.sb.smt2 | 8318642 | SLEEK | 20564 | default | 304221 | complete | 0.191987 | 0.184237 | 113176.0 | unsat | unsat |
430514602 | qf_shid_entl/lsevenodd_14.sb.smt2 | 8318614 | SLEEK | 20564 | default | 304221 | complete | 0.147673 | 0.140784 | 113176.0 | sat | unsat |
430514634 | qf_shid_entl/lsevenodd_15.sb.smt2 | 8318646 | SLEEK | 20564 | default | 304221 | complete | 0.14789 | 0.140468 | 113176.0 | sat | unsat |
430514510 | qf_shid_entl/lsevenodd_16.sb.smt2 | 8318522 | SLEEK | 20564 | default | 304221 | complete | 0.175806 | 0.168956 | 113176.0 | unsat | unsat |
430514544 | qf_shid_entl/lsevenodd_ls2_01.sb.smt2 | 8318556 | SLEEK | 20564 | default | 304221 | complete | 0.140313 | 0.132953 | 113176.0 | sat | unsat |
430514427 | qf_shid_entl/lsevenodd_ls2_02.sb.smt2 | 8318439 | SLEEK | 20564 | default | 304221 | complete | 0.175349 | 0.167607 | 113176.0 | sat | unsat |
430514547 | qf_shid_entl/lsevenodd_ls2_05.sb.smt2 | 8318559 | SLEEK | 20564 | default | 304221 | complete | 0.177519 | 0.16973 | 113176.0 | unsat | unsat |
430514431 | qf_shid_entl/lsevenodd_ls2_06.sb.smt2 | 8318443 | SLEEK | 20564 | default | 304221 | complete | 0.138674 | 0.131781 | 113176.0 | sat | unsat |
430514543 | qf_shid_entl/lsevenodd_ls2_09.sb.smt2 | 8318555 | SLEEK | 20564 | default | 304221 | complete | 0.244765 | 0.234988 | 113176.0 | unsat | unsat |
430514411 | qf_shid_entl/lsevenodd_ls2_13.sb.smt2 | 8318423 | SLEEK | 20564 | default | 304221 | complete | 0.237116 | 0.226767 | 113176.0 | sat | unsat |
430514604 | qf_shid_entl/lsevenodd_ls2_14.sb.smt2 | 8318616 | SLEEK | 20564 | default | 304221 | complete | 0.258225 | 0.248296 | 113176.0 | sat | unsat |
430514639 | qf_shid_entl/lsevenodd_ls2_15.sb.smt2 | 8318651 | SLEEK | 20564 | default | 304221 | complete | 0.258887 | 0.249157 | 113176.0 | sat | unsat |
430514531 | qf_shid_entl/lsevenodd_ls2_16.sb.smt2 | 8318543 | SLEEK | 20564 | default | 304221 | complete | 0.191271 | 0.18344 | 113176.0 | sat | unsat |
430514519 | qf_shid_entl/lsleftright_01.sb.smt2 | 8318531 | SLEEK | 20564 | default | 304221 | complete | 0.109798 | 0.103992 | 113176.0 | sat | unsat |
430514622 | qf_shid_entl/lsleftright_02.sb.smt2 | 8318634 | SLEEK | 20564 | default | 304221 | complete | 0.123589 | 0.117388 | 113176.0 | sat | unsat |
430514393 | qf_shid_entl/lsleftright_04.sb.smt2 | 8318405 | SLEEK | 20564 | default | 304221 | complete | 0.104894 | 0.0992279 | 113176.0 | sat | unsat |
430514518 | qf_shid_entl/lsleftright_05.sb.smt2 | 8318530 | SLEEK | 20564 | default | 304221 | complete | 0.094489 | 0.0893331 | 113176.0 | unsat | unsat |
430514620 | qf_shid_entl/lsleftright_06.sb.smt2 | 8318632 | SLEEK | 20564 | default | 304221 | complete | 0.107466 | 0.101598 | 113176.0 | sat | unsat |
430514592 | qf_shid_entl/lsleftright_07.sb.smt2 | 8318604 | SLEEK | 20564 | default | 304221 | complete | 0.111662 | 0.105615 | 113176.0 | sat | unsat |
430514397 | qf_shid_entl/lsleftright_08.sb.smt2 | 8318409 | SLEEK | 20564 | default | 304221 | complete | 0.100728 | 0.0949391 | 113176.0 | unsat | unsat |
430514512 | qf_shid_entl/lsleftright_09.sb.smt2 | 8318524 | SLEEK | 20564 | default | 304221 | complete | 0.084637 | 0.079686 | 113176.0 | sat | unsat |
430514491 | qf_shid_entl/lsleftright_10.sb.smt2 | 8318503 | SLEEK | 20564 | default | 304221 | complete | 0.088925 | 0.0837099 | 113176.0 | sat | unsat |
430514455 | qf_shid_entl/lsleftright_11.sb.smt2 | 8318467 | SLEEK | 20564 | default | 304221 | complete | 0.128904 | 0.123052 | 113176.0 | sat | unsat |
430514560 | qf_shid_entl/lsleftright_12.sb.smt2 | 8318572 | SLEEK | 20564 | default | 304221 | complete | 0.119041 | 0.113091 | 113176.0 | sat | unsat |
430514683 | qf_shid_entl/lsleftright_13.sb.smt2 | 8318695 | SLEEK | 20564 | default | 304221 | complete | 0.125413 | 0.119252 | 113176.0 | sat | unsat |
430514493 | qf_shid_entl/lsleftright_14.sb.smt2 | 8318505 | SLEEK | 20564 | default | 304221 | complete | 0.137809 | 0.131349 | 113176.0 | sat | unsat |
430514456 | qf_shid_entl/lsleftright_15.sb.smt2 | 8318468 | SLEEK | 20564 | default | 304221 | complete | 0.169459 | 0.162041 | 113176.0 | sat | unsat |
430514562 | qf_shid_entl/lsleftright_16.sb.smt2 | 8318574 | SLEEK | 20564 | default | 304221 | complete | 0.172516 | 0.164659 | 113176.0 | sat | unsat |
430514685 | qf_shid_entl/lsleftright_17.sb.smt2 | 8318697 | SLEEK | 20564 | default | 304221 | complete | 0.104242 | 0.0985611 | 113176.0 | sat | unsat |
430514504 | qf_shid_entl/lsleftright_18.sb.smt2 | 8318516 | SLEEK | 20564 | default | 304221 | complete | 0.115777 | 0.109602 | 113176.0 | sat | unsat |
430514450 | qf_shid_entl/lsleftright_19.sb.smt2 | 8318462 | SLEEK | 20564 | default | 304221 | complete | 0.095076 | 0.089784 | 113176.0 | sat | unsat |
430514600 | qf_shid_entl/lsleftright_20.sb.smt2 | 8318612 | SLEEK | 20564 | default | 304221 | complete | 0.092512 | 0.087352 | 113176.0 | sat | unsat |
430514433 | qf_shid_entl/lss-vc01.smt2 | 8318445 | SLEEK | 20564 | default | 304221 | complete | 0.074369 | 0.0697929 | 113176.0 | unsat | unsat |
430514548 | qf_shid_entl/lss-vc02.smt2 | 8318560 | SLEEK | 20564 | default | 304221 | complete | 0.121239 | 0.115456 | 113176.0 | unsat | unsat |
430514661 | qf_shid_entl/lss-vc03.smt2 | 8318673 | SLEEK | 20564 | default | 304221 | complete | 0.135897 | 0.129172 | 113176.0 | unsat | unsat |
430514615 | qf_shid_entl/ls_entail_ls2_02.sb.smt2 | 8318627 | SLEEK | 20564 | default | 304221 | complete | 0.122477 | 0.116533 | 113176.0 | sat | unsat |
430514522 | qf_shid_entl/ls_entail_ls2_04.sb.smt2 | 8318534 | SLEEK | 20564 | default | 304221 | complete | 0.173351 | 0.165747 | 113176.0 | sat | unsat |
430514401 | qf_shid_entl/ls_entail_ls2_05.sb.smt2 | 8318413 | SLEEK | 20564 | default | 304221 | complete | 0.187759 | 0.17958 | 113176.0 | unsat | unsat |
430514612 | qf_shid_entl/ls_entail_ls2_06.sb.smt2 | 8318624 | SLEEK | 20564 | default | 304221 | complete | 0.151331 | 0.144917 | 113176.0 | unsat | unsat |
430514650 | qf_shid_entl/ls_entail_ls_nonrec_01.sb.smt2 | 8318662 | SLEEK | 20564 | default | 304221 | complete | 0.12941 | 0.122986 | 113176.0 | unsat | unsat |
430514524 | qf_shid_entl/ls_entail_ls_nonrec_02.sb.smt2 | 8318536 | SLEEK | 20564 | default | 304221 | complete | 0.149628 | 0.142815 | 113176.0 | unsat | unsat |
430514407 | qf_shid_entl/ls_entail_ls_nonrec_03.sb.smt2 | 8318419 | SLEEK | 20564 | default | 304221 | complete | 0.377657 | 0.36502 | 113176.0 | unsat | unsat |
430514610 | qf_shid_entl/ls_entail_ls_nonrec_04.sb.smt2 | 8318622 | SLEEK | 20564 | default | 304221 | complete | 1.39245 | 1.37714 | 252984.0 | unsat | unsat |
430514648 | qf_shid_entl/ls_entail_ls_nonrec_05.sb.smt2 | 8318660 | SLEEK | 20564 | default | 304221 | complete | 4.42851 | 4.4008 | 257544.0 | unsat | unsat |
430514523 | qf_shid_entl/ls_entail_ls_nonrec_06.sb.smt2 | 8318535 | SLEEK | 20564 | default | 304221 | complete | 0.230736 | 0.222295 | 113176.0 | unsat | unsat |
430514402 | qf_shid_entl/ls_entail_ls_nonrec_07.sb.smt2 | 8318414 | SLEEK | 20564 | default | 304221 | complete | 1.71883 | 1.67888 | 256340.0 | sat | unsat |
430514616 | qf_shid_entl/ls_entail_ls_nonrec_08.sb.smt2 | 8318628 | SLEEK | 20564 | default | 304221 | complete | 1.29271 | 1.27363 | 254008.0 | unsat | unsat |
430514645 | qf_shid_entl/ls_entail_ls_nonrec_09.sb.smt2 | 8318657 | SLEEK | 20564 | default | 304221 | complete | 12.775 | 12.7523 | 261480.0 | unsat | unsat |
430514662 | qf_shid_entl/ls_entail_ls_nonrec_10.sb.smt2 | 8318674 | SLEEK | 20564 | default | 304221 | complete | 127.242 | 127.222 | 290112.0 | unsat | unsat |
430514553 | qf_shid_entl/ls_entail_ls_nonrec_11.sb.smt2 | 8318565 | SLEEK | 20564 | default | 304221 | complete | 4.09253 | 4.02478 | 268940.0 | sat | unsat |
430514414 | qf_shid_entl/ls_entail_ls_nonrec_12.sb.smt2 | 8318426 | SLEEK | 20564 | default | 304221 | complete | 11.3865 | 11.2746 | 297228.0 | sat | unsat |
430514462 | qf_shid_entl/ls_entail_ls_nonrec_13.sb.smt2 | 8318474 | SLEEK | 20564 | default | 304221 | complete | 39.8601 | 39.6826 | 336212.0 | sat | unsat |
430514667 | qf_shid_entl/ls_entail_ls_nonrec_14.sb.smt2 | 8318679 | SLEEK | 20564 | default | 304221 | complete | 165.872 | 165.582 | 370664.0 | sat | unsat |
430514555 | qf_shid_entl/ls_entail_ls_nonrec_15.sb.smt2 | 8318567 | SLEEK | 20564 | default | 304221 | complete | 777.779 | 777.225 | 482436.0 | sat | unsat |
430514419 | qf_shid_entl/ls_entail_ls_nonrec_16.sb.smt2 | 8318431 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.03 | 2399.32 | 505412.0 | starexec-unknown | unsat |
430514637 | qf_shid_entl/ls_even_append_tl_entails_ls.sb.smt2 | 8318649 | SLEEK | 20564 | default | 304221 | complete | 0.130632 | 0.123725 | 113176.0 | unsat | unsat |
430514499 | qf_shid_entl/ls_even_append_tl_entails_ls_odd.sb.smt2 | 8318511 | SLEEK | 20564 | default | 304221 | complete | 0.116152 | 0.109932 | 113176.0 | unsat | unsat |
430514386 | qf_shid_entl/ls_even_entails_ls.sb.smt2 | 8318398 | SLEEK | 20564 | default | 304221 | complete | 0.118577 | 0.112193 | 113176.0 | unsat | unsat |
430514588 | qf_shid_entl/ls_even_join_entails_ls.sb.smt2 | 8318600 | SLEEK | 20564 | default | 304221 | complete | 0.152142 | 0.145295 | 113176.0 | sat | unsat |
430514394 | qf_shid_entl/ls_even_join_entails_ls_even.sb.smt2 | 8318406 | SLEEK | 20564 | default | 304221 | complete | 0.209214 | 0.201915 | 113176.0 | unsat | unsat |
430514646 | qf_shid_entl/ls_even_join_ls_entails_ls.sb.smt2 | 8318658 | SLEEK | 20564 | default | 304221 | complete | 0.139018 | 0.132447 | 113176.0 | sat | unsat |
430514489 | qf_shid_entl/ls_even_odd_join_entails_ls.sb.smt2 | 8318501 | SLEEK | 20564 | default | 304221 | complete | 0.123909 | 0.116928 | 113176.0 | sat | unsat |
430514584 | qf_shid_entl/ls_even_odd_join_entails_ls_odd.sb.smt2 | 8318596 | SLEEK | 20564 | default | 304221 | complete | 0.11281 | 0.106693 | 113176.0 | unsat | unsat |
430514558 | qf_shid_entl/ls_join_entails_ls.sb.smt2 | 8318570 | SLEEK | 20564 | default | 304221 | complete | 0.094724 | 0.0889951 | 113176.0 | unsat | unsat |
430514396 | qf_shid_entl/ls_lsrev_concat_entail_lsrev_1.sb.smt2 | 8318408 | SLEEK | 20564 | default | 304221 | complete | 0.13658 | 0.129759 | 113176.0 | unsat | unsat |
430514594 | qf_shid_entl/ls_lsrev_concat_entail_lsrev_2.sb.smt2 | 8318606 | SLEEK | 20564 | default | 304221 | complete | 0.121317 | 0.115309 | 113176.0 | unsat | unsat |
430514624 | qf_shid_entl/ls_lsrev_concat_entail_lsrev_3.sb.smt2 | 8318636 | SLEEK | 20564 | default | 304221 | complete | 0.14388 | 0.137234 | 113176.0 | unsat | unsat |
430514517 | qf_shid_entl/ls_lsrev_concat_entail_lsrev_4.sb.smt2 | 8318529 | SLEEK | 20564 | default | 304221 | complete | 0.171505 | 0.163412 | 113176.0 | unsat | unsat |
430514488 | qf_shid_entl/ls_lsrev_concat_entail_ls_1.sb.smt2 | 8318500 | SLEEK | 20564 | default | 304221 | complete | 0.129163 | 0.12222 | 113176.0 | unsat | unsat |
430514678 | qf_shid_entl/ls_lsrev_concat_entail_ls_2.sb.smt2 | 8318690 | SLEEK | 20564 | default | 304221 | complete | 0.14368 | 0.136491 | 113176.0 | sat | unsat |
430514557 | qf_shid_entl/ls_lsrev_concat_entail_ls_3.sb.smt2 | 8318569 | SLEEK | 20564 | default | 304221 | complete | 0.12317 | 0.116926 | 113176.0 | sat | unsat |
430514457 | qf_shid_entl/ls_lsrev_concat_entail_ls_4.sb.smt2 | 8318469 | SLEEK | 20564 | default | 304221 | complete | 0.134928 | 0.127997 | 113176.0 | sat | unsat |
430514514 | qf_shid_entl/ls_nonrec_entail_ls_01.sb.smt2 | 8318526 | SLEEK | 20564 | default | 304221 | complete | 0.431319 | 0.419729 | 113176.0 | unsat | unsat |
430514627 | qf_shid_entl/ls_nonrec_entail_ls_02.sb.smt2 | 8318639 | SLEEK | 20564 | default | 304221 | complete | 1.48174 | 1.46114 | 253152.0 | sat | unsat |
430514589 | qf_shid_entl/ls_nonrec_entail_ls_03.sb.smt2 | 8318601 | SLEEK | 20564 | default | 304221 | complete | 8.61779 | 8.55457 | 269484.0 | sat | unsat |
430514398 | qf_shid_entl/ls_nonrec_entail_ls_04.sb.smt2 | 8318410 | SLEEK | 20564 | default | 304221 | complete | 17.129 | 17.0986 | 272220.0 | sat | unsat |
430514513 | qf_shid_entl/ls_nonrec_entail_ls_05.sb.smt2 | 8318525 | SLEEK | 20564 | default | 304221 | complete | 13.21 | 13.2089 | 268720.0 | unsat | unsat |
430514626 | qf_shid_entl/ls_nonrec_entail_ls_06.sb.smt2 | 8318638 | SLEEK | 20564 | default | 304221 | complete | 0.600531 | 0.586784 | 251548.0 | unsat | unsat |
430514586 | qf_shid_entl/ls_nonrec_entail_ls_07.sb.smt2 | 8318598 | SLEEK | 20564 | default | 304221 | complete | 56.5354 | 56.3041 | 364464.0 | sat | unsat |
430514390 | qf_shid_entl/ls_nonrec_entail_ls_08.sb.smt2 | 8318402 | SLEEK | 20564 | default | 304221 | timeout (wallclock) | 2399.88 | 2400.04 | 595644.0 | starexec-unknown | unsat |
430514516 | qf_shid_entl/ls_nonrec_entail_ls_09.sb.smt2 | 8318528 | SLEEK | 20564 | default | 304221 | timeout (wallclock) | 2399.97 | 2400.05 | 4442756.0 | starexec-unknown | unsat |
430514498 | qf_shid_entl/ls_nonrec_entail_ls_10.sb.smt2 | 8318510 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.02 | 2400.11 | 376872.0 | starexec-unknown | unsat |
430514446 | qf_shid_entl/ls_nonrec_entail_ls_11.sb.smt2 | 8318458 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.07 | 2400.11 | 396148.0 | starexec-unknown | unsat |
430514568 | qf_shid_entl/ls_nonrec_entail_ls_12.sb.smt2 | 8318580 | SLEEK | 20564 | default | 304221 | complete | 20.2067 | 20.1704 | 279728.0 | unsat | unsat |
430514675 | qf_shid_entl/ls_nonrec_entail_ls_13.sb.smt2 | 8318687 | SLEEK | 20564 | default | 304221 | complete | 406.18 | 405.103 | 878360.0 | sat | unsat |
430514500 | qf_shid_entl/ls_nonrec_entail_ls_14.sb.smt2 | 8318512 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.07 | 2394.32 | 3169944.0 | starexec-unknown | unsat |
430514449 | qf_shid_entl/ls_nonrec_entail_ls_15.sb.smt2 | 8318461 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.04 | 2394.12 | 3147280.0 | starexec-unknown | unsat |
430514570 | qf_shid_entl/ls_nonrec_entail_ls_16.sb.smt2 | 8318582 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.1 | 2394.41 | 2873280.0 | starexec-unknown | unsat |
430514672 | qf_shid_entl/ls_odd_append_tl_entails_ls.sb.smt2 | 8318684 | SLEEK | 20564 | default | 304221 | complete | 0.13034 | 0.123482 | 113176.0 | unsat | unsat |
430514546 | qf_shid_entl/ls_odd_append_tl_entails_ls_even.sb.smt2 | 8318558 | SLEEK | 20564 | default | 304221 | complete | 0.111475 | 0.105481 | 113176.0 | unsat | unsat |
430514688 | qf_shid_entl/ls_odd_entails_ls.sb.smt2 | 8318700 | SLEEK | 20564 | default | 304221 | complete | 0.124139 | 0.117547 | 113176.0 | unsat | unsat |
430514677 | qf_shid_entl/ls_odd_join_entails_ls.sb.smt2 | 8318689 | SLEEK | 20564 | default | 304221 | complete | 0.129863 | 0.122799 | 113176.0 | sat | unsat |
430514440 | qf_shid_entl/ls_odd_join_entails_ls_even.sb.smt2 | 8318452 | SLEEK | 20564 | default | 304221 | complete | 0.106042 | 0.100134 | 113176.0 | unsat | unsat |
430514533 | qf_shid_entl/ls_odd_join_ls_entails_ls.sb.smt2 | 8318545 | SLEEK | 20564 | default | 304221 | complete | 0.162346 | 0.15486 | 113176.0 | unsat | unsat |
430514535 | qf_shid_entl/nll-vc01.smt2 | 8318547 | SLEEK | 20564 | default | 304221 | complete | 0.98085 | 0.973587 | 253600.0 | unsat | unsat |
430514417 | qf_shid_entl/nll-vc02.smt2 | 8318429 | SLEEK | 20564 | default | 304221 | complete | 0.973913 | 0.966793 | 253604.0 | unsat | unsat |
430514461 | qf_shid_entl/nll-vc03.smt2 | 8318473 | SLEEK | 20564 | default | 304221 | complete | 1.08196 | 1.07226 | 253668.0 | unsat | unsat |
430514682 | qf_shid_entl/nll-vc04.smt2 | 8318694 | SLEEK | 20564 | default | 304221 | complete | 1.61686 | 1.59898 | 253744.0 | unsat | unsat |
430514565 | qf_shid_entl/nll-vc05.smt2 | 8318577 | SLEEK | 20564 | default | 304221 | complete | 1.09753 | 1.08594 | 253588.0 | unsat | unsat |
430514441 | qf_shid_entl/nll-vc06.smt2 | 8318453 | SLEEK | 20564 | default | 304221 | complete | 1.14289 | 1.13522 | 253752.0 | unsat | sat |
430514486 | qf_shid_entl/nll-vc07.smt2 | 8318498 | SLEEK | 20564 | default | 304221 | complete | 1.15787 | 1.14746 | 253748.0 | unsat | unsat |
430514628 | qf_shid_entl/nll-vc08.smt2 | 8318640 | SLEEK | 20564 | default | 304221 | complete | 1.90562 | 1.8849 | 256664.0 | unsat | unsat |
430514596 | qf_shid_entl/nll-vc09.smt2 | 8318608 | SLEEK | 20564 | default | 304221 | complete | 1.23466 | 1.22172 | 253748.0 | unsat | unsat |
430514625 | qf_shid_entl/nll-vc10.smt2 | 8318637 | SLEEK | 20564 | default | 304221 | complete | 1.60298 | 1.58676 | 255776.0 | unsat | unsat |
430514591 | qf_shid_entl/nll-vc11.smt2 | 8318603 | SLEEK | 20564 | default | 304221 | complete | 1.28838 | 1.274 | 254328.0 | unsat | unsat |
430514383 | qf_shid_entl/nll-vc12.smt2 | 8318395 | SLEEK | 20564 | default | 304221 | complete | 0.986255 | 0.977818 | 253584.0 | unsat | unsat |
430514506 | qf_shid_entl/nll-vc13.smt2 | 8318518 | SLEEK | 20564 | default | 304221 | complete | 1.07656 | 1.06795 | 253748.0 | sat | sat |
430514641 | qf_shid_entl/nll-vc14.smt2 | 8318653 | SLEEK | 20564 | default | 304221 | complete | 1.29005 | 1.27514 | 253744.0 | sat | sat |
430514606 | qf_shid_entl/nll-vc15.smt2 | 8318618 | SLEEK | 20564 | default | 304221 | complete | 1.07541 | 1.06663 | 253588.0 | sat | sat |
430514403 | qf_shid_entl/nll-vc16.smt2 | 8318415 | SLEEK | 20564 | default | 304221 | complete | 1.22766 | 1.21777 | 253748.0 | sat | sat |
430514526 | qf_shid_entl/nll-vc17.smt2 | 8318538 | SLEEK | 20564 | default | 304221 | complete | 3.36547 | 3.33284 | 263784.0 | sat | sat |
430514665 | qf_shid_entl/nll-vc18.smt2 | 8318677 | SLEEK | 20564 | default | 304221 | complete | 3.55398 | 3.5116 | 258860.0 | sat | sat |
430514552 | qf_shid_entl/nll-vc19.smt2 | 8318564 | SLEEK | 20564 | default | 304221 | complete | 4.89588 | 4.84543 | 268036.0 | sat | sat |
430514483 | qf_shid_entl/node-dll-rev-dll-entails-dll.smt2 | 8318495 | SLEEK | 20564 | default | 304221 | complete | 0.181358 | 0.173271 | 113176.0 | unsat | unsat |
430514476 | qf_shid_entl/node-node-dll-entails-dll.smt2 | 8318488 | SLEEK | 20564 | default | 304221 | complete | 0.122348 | 0.115836 | 113176.0 | unsat | unsat |
430514597 | qf_shid_entl/node-tll-tll-entails-tll.smt2 | 8318609 | SLEEK | 20564 | default | 304221 | complete | 0.101104 | 0.09597 | 113176.0 | unsat | unsat |
430514485 | qf_shid_entl/odd-lseg3_slk-1.smt2 | 8318497 | SLEEK | 20564 | default | 304221 | complete | 0.063456 | 0.0589031 | 113176.0 | sat | sat |
430514680 | qf_shid_entl/odd-lseg3_slk-2.smt2 | 8318692 | SLEEK | 20564 | default | 304221 | complete | 0.06272 | 0.0587329 | 113176.0 | unsat | unsat |
430514567 | qf_shid_entl/odd-lseg3_slk-3.smt2 | 8318579 | SLEEK | 20564 | default | 304221 | complete | 0.074859 | 0.0702969 | 113176.0 | unsat | unsat |
430514420 | qf_shid_entl/odd-lseg3_slk-4.smt2 | 8318432 | SLEEK | 20564 | default | 304221 | complete | 0.066808 | 0.0621601 | 113176.0 | sat | sat |
430514459 | qf_shid_entl/odd-lseg3_slk-5.smt2 | 8318471 | SLEEK | 20564 | default | 304221 | complete | 0.068284 | 0.064203 | 113176.0 | sat | unsat |
430514651 | qf_shid_entl/odd-lseg3_slk-6.smt2 | 8318663 | SLEEK | 20564 | default | 304221 | complete | 0.087642 | 0.082985 | 113176.0 | unsat | sat |
430514537 | qf_shid_entl/odd-lseg3_slk-7.smt2 | 8318549 | SLEEK | 20564 | default | 304221 | complete | 0.057523 | 0.0535119 | 113176.0 | unsat | unsat |
430514481 | qf_shid_entl/skl2-vc01.smt2 | 8318493 | SLEEK | 20564 | default | 304221 | complete | 0.986862 | 0.980758 | 253892.0 | unsat | unsat |
430514684 | qf_shid_entl/skl2-vc02.smt2 | 8318696 | SLEEK | 20564 | default | 304221 | complete | 0.99586 | 0.989363 | 253900.0 | unsat | unsat |
430514571 | qf_shid_entl/skl2-vc03.smt2 | 8318583 | SLEEK | 20564 | default | 304221 | complete | 59.547 | 59.246 | 327312.0 | sat | unsat |
430514416 | qf_shid_entl/skl2-vc04.smt2 | 8318428 | SLEEK | 20564 | default | 304221 | complete | 1.07885 | 1.06998 | 254056.0 | unsat | unsat |
430514458 | qf_shid_entl/skl2-vc05.smt2 | 8318470 | SLEEK | 20564 | default | 304221 | complete | 2.72782 | 2.69213 | 256084.0 | sat | sat |
430514655 | qf_shid_entl/skl2-vc06.smt2 | 8318667 | SLEEK | 20564 | default | 304221 | complete | 4.46963 | 4.40311 | 259164.0 | sat | sat |
430514542 | qf_shid_entl/skl2-vc07.smt2 | 8318554 | SLEEK | 20564 | default | 304221 | complete | 208.454 | 206.077 | 525560.0 | unsat | sat |
430514497 | qf_shid_entl/skl3-vc01.smt2 | 8318509 | SLEEK | 20564 | default | 304221 | complete | 4.93932 | 4.92965 | 256684.0 | unsat | unsat |
430514694 | qf_shid_entl/skl3-vc02.smt2 | 8318706 | SLEEK | 20564 | default | 304221 | complete | 82.2158 | 81.9203 | 296408.0 | sat | sat |
430514580 | qf_shid_entl/skl3-vc03.smt2 | 8318592 | SLEEK | 20564 | default | 304221 | complete | 1152.61 | 1151.94 | 354140.0 | unsat | unsat |
430514425 | qf_shid_entl/skl3-vc04.smt2 | 8318437 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.04 | 2396.36 | 811620.0 | starexec-unknown | unsat |
430514472 | qf_shid_entl/skl3-vc05.smt2 | 8318484 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.02 | 2399.59 | 733388.0 | starexec-unknown | unsat |
430514666 | qf_shid_entl/skl3-vc06.smt2 | 8318678 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.02 | 2399.48 | 740860.0 | starexec-unknown | unsat |
430514549 | qf_shid_entl/skl3-vc07.smt2 | 8318561 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.05 | 2394.38 | 960480.0 | starexec-unknown | unsat |
430514404 | qf_shid_entl/skl3-vc08.smt2 | 8318416 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.05 | 2397.05 | 687268.0 | starexec-unknown | unsat |
430514525 | qf_shid_entl/skl3-vc09.smt2 | 8318537 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.03 | 2396.31 | 925292.0 | starexec-unknown | unsat |
430514410 | qf_shid_entl/skl3-vc10.smt2 | 8318422 | SLEEK | 20564 | default | 304221 | complete | 5.25374 | 5.23952 | 256684.0 | unsat | unsat |
430514534 | qf_shid_entl/skl3-vc11.smt2 | 8318546 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.03 | 2395.92 | 813636.0 | starexec-unknown | sat |
430514649 | qf_shid_entl/skl3-vc12.smt2 | 8318661 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.05 | 2398.88 | 647560.0 | starexec-unknown | sat |
430514527 | qf_shid_entl/sll-vc01.smt2 | 8318539 | SLEEK | 20564 | default | 304221 | complete | 0.074511 | 0.070191 | 113176.0 | sat | sat |
430514638 | qf_shid_entl/sll-vc02.smt2 | 8318650 | SLEEK | 20564 | default | 304221 | complete | 0.076845 | 0.0720911 | 113176.0 | sat | sat |
430514428 | qf_shid_entl/tll-pp-entails-tll-pp-rev.smt2 | 8318440 | SLEEK | 20564 | default | 304221 | complete | 0.134034 | 0.127587 | 113176.0 | sat | unsat |
430514632 | qf_shid_entl/tll-pp-rev-entails-tll-pp.smt2 | 8318644 | SLEEK | 20564 | default | 304221 | complete | 0.18407 | 0.177008 | 113176.0 | sat | unsat |
430514541 | qf_shid_entl/tll-ravioli.smt2 | 8318553 | SLEEK | 20564 | default | 304221 | complete | 363.83 | 363.917 | 1.0009484E7 | starexec-unknown | unsat |
430514673 | qf_shid_entl/tll_slk-1.smt2 | 8318685 | SLEEK | 20564 | default | 304221 | complete | 0.107909 | 0.102502 | 113176.0 | unsat | unsat |
430514385 | qf_shid_entl/tll_slk-10.smt2 | 8318397 | SLEEK | 20564 | default | 304221 | complete | 0.114375 | 0.108836 | 113176.0 | unsat | unsat |
430514507 | qf_shid_entl/tll_slk-11.smt2 | 8318519 | SLEEK | 20564 | default | 304221 | complete | 0.114982 | 0.11008 | 113176.0 | unsat | unsat |
430514618 | qf_shid_entl/tll_slk-12.smt2 | 8318630 | SLEEK | 20564 | default | 304221 | complete | 0.126293 | 0.120279 | 113176.0 | unsat | unsat |
430514585 | qf_shid_entl/tll_slk-13.smt2 | 8318597 | SLEEK | 20564 | default | 304221 | complete | 0.168841 | 0.16216 | 113176.0 | unsat | unsat |
430514478 | qf_shid_entl/tll_slk-2.smt2 | 8318490 | SLEEK | 20564 | default | 304221 | complete | 0.105978 | 0.100411 | 113176.0 | unsat | unsat |
430514437 | qf_shid_entl/tll_slk-3.smt2 | 8318449 | SLEEK | 20564 | default | 304221 | complete | 0.114204 | 0.10849 | 113176.0 | unsat | unsat |
430514545 | qf_shid_entl/tll_slk-4.smt2 | 8318557 | SLEEK | 20564 | default | 304221 | complete | 0.122581 | 0.116817 | 113176.0 | unsat | unsat |
430514658 | qf_shid_entl/tll_slk-5.smt2 | 8318670 | SLEEK | 20564 | default | 304221 | complete | 0.109 | 0.103753 | 113176.0 | unsat | unsat |
430514467 | qf_shid_entl/tll_slk-6.smt2 | 8318479 | SLEEK | 20564 | default | 304221 | complete | 0.113364 | 0.107552 | 113176.0 | unsat | unsat |
430514424 | qf_shid_entl/tll_slk-7.smt2 | 8318436 | SLEEK | 20564 | default | 304221 | complete | 0.112347 | 0.107161 | 113176.0 | unsat | unsat |
430514611 | qf_shid_entl/tll_slk-8.smt2 | 8318623 | SLEEK | 20564 | default | 304221 | complete | 0.119771 | 0.113758 | 113176.0 | unsat | unsat |
430514644 | qf_shid_entl/tll_slk-9.smt2 | 8318656 | SLEEK | 20564 | default | 304221 | complete | 0.115058 | 0.109692 | 113176.0 | unsat | unsat |
430514690 | qf_shid_entl/tree-pp-entails-tree-pp-rev.smt2 | 8318702 | SLEEK | 20564 | default | 304221 | complete | 0.106555 | 0.101578 | 113176.0 | sat | unsat |
430514530 | qf_shid_entl/tree-pp-rev-entails-tree-pp.smt2 | 8318542 | SLEEK | 20564 | default | 304221 | complete | 0.145734 | 0.139242 | 113176.0 | sat | unsat |
430514536 | qf_shid_entl/tseg_join_2.sb.smt2 | 8318548 | SLEEK | 20564 | default | 304221 | complete | 0.260296 | 0.25131 | 113176.0 | unsat | unsat |
430514466 | qf_shid_entl/tseg_join_2_entail_tree.sb.smt2 | 8318478 | SLEEK | 20564 | default | 304221 | complete | 0.093963 | 0.0886079 | 113176.0 | sat | unsat |
430514391 | qf_shid_entl/tseg_join_tree.sb.smt2 | 8318403 | SLEEK | 20564 | default | 304221 | complete | 0.08222 | 0.0774821 | 113176.0 | unsat | unsat |
430514647 | qf_shid_entl/tseg_join_tree_entail_tseg.sb.smt2 | 8318659 | SLEEK | 20564 | default | 304221 | complete | 0.21624 | 0.209105 | 113176.0 | unsat | unsat |