433162284 | qf_shid_entl/01.tst.smt2 | 8318666 | SLEEK | 20564 | default | 304221 | complete | 0.073349 | 0.068911 | 113176.0 | unsat | unsat |
433162035 | qf_shid_entl/02.tst.smt2 | 8318417 | SLEEK | 20564 | default | 304221 | complete | 0.076146 | 0.0711881 | 113176.0 | unsat | unsat |
433162095 | qf_shid_entl/03.tst.smt2 | 8318477 | SLEEK | 20564 | default | 304221 | complete | 0.071342 | 0.0669839 | 113176.0 | unsat | unsat |
433162151 | qf_shid_entl/04.tst.smt2 | 8318533 | SLEEK | 20564 | default | 304221 | complete | 0.074311 | 0.0696951 | 113176.0 | unsat | unsat |
433162082 | qf_shid_entl/05.tst.smt2 | 8318464 | SLEEK | 20564 | default | 304221 | complete | 0.070907 | 0.066118 | 113176.0 | unsat | unsat |
433162261 | qf_shid_entl/06.tst.smt2 | 8318643 | SLEEK | 20564 | default | 304221 | complete | 0.085693 | 0.08063 | 113176.0 | unsat | unsat |
433162207 | qf_shid_entl/07.tst.smt2 | 8318589 | SLEEK | 20564 | default | 304221 | complete | 0.105965 | 0.100013 | 113176.0 | unsat | unsat |
433162204 | qf_shid_entl/08.tst.smt2 | 8318586 | SLEEK | 20564 | default | 304221 | complete | 0.068149 | 0.0633941 | 113176.0 | sat | unsat |
433162263 | qf_shid_entl/09.tst.smt2 | 8318645 | SLEEK | 20564 | default | 304221 | complete | 0.147458 | 0.140072 | 113176.0 | unsat | unsat |
433162244 | qf_shid_entl/10.tst.smt2 | 8318626 | SLEEK | 20564 | default | 304221 | complete | 0.119033 | 0.112752 | 113176.0 | unsat | unsat |
433162290 | qf_shid_entl/11.tst.smt2 | 8318672 | SLEEK | 20564 | default | 304221 | complete | 0.185133 | 0.176354 | 113176.0 | unsat | unsat |
433162039 | qf_shid_entl/12.tst.smt2 | 8318421 | SLEEK | 20564 | default | 304221 | complete | 0.157007 | 0.149662 | 113176.0 | unsat | unsat |
433162107 | qf_shid_entl/13.tst.smt2 | 8318489 | SLEEK | 20564 | default | 304221 | complete | 0.057897 | 0.054156 | 113176.0 | sat | unsat |
433162139 | qf_shid_entl/14.tst.smt2 | 8318521 | SLEEK | 20564 | default | 304221 | complete | 0.054839 | 0.0510029 | 113176.0 | sat | unsat |
433162069 | qf_shid_entl/15.tst.smt2 | 8318451 | SLEEK | 20564 | default | 304221 | complete | 0.115689 | 0.1098 | 113176.0 | unsat | unsat |
433162249 | qf_shid_entl/16.tst.smt2 | 8318631 | SLEEK | 20564 | default | 304221 | complete | 0.140025 | 0.134513 | 113176.0 | unsat | unsat |
433162193 | qf_shid_entl/17.tst.smt2 | 8318575 | SLEEK | 20564 | default | 304221 | complete | 0.246034 | 0.237338 | 113176.0 | unsat | unsat |
433162194 | qf_shid_entl/18.tst.smt2 | 8318576 | SLEEK | 20564 | default | 304221 | complete | 0.084212 | 0.0794369 | 113176.0 | unsat | unsat |
433162247 | qf_shid_entl/19.tst.smt2 | 8318629 | SLEEK | 20564 | default | 304221 | complete | 0.082985 | 0.0783009 | 113176.0 | unsat | unsat |
433162217 | qf_shid_entl/20.tst.smt2 | 8318599 | SLEEK | 20564 | default | 304221 | complete | 0.068749 | 0.0642131 | 113176.0 | unsat | unsat |
433162306 | qf_shid_entl/21.tst.smt2 | 8318688 | SLEEK | 20564 | default | 304221 | complete | 0.136259 | 0.129625 | 113176.0 | sat | unsat |
433162019 | qf_shid_entl/22.tst.smt2 | 8318401 | SLEEK | 20564 | default | 304221 | complete | 0.072091 | 0.0678559 | 113176.0 | unsat | unsat |
433162293 | qf_shid_entl/append_dll_slk-1.smt2 | 8318675 | SLEEK | 20564 | default | 304221 | complete | 0.090219 | 0.084688 | 113176.0 | unsat | unsat |
433162286 | qf_shid_entl/append_dll_slk-10.smt2 | 8318668 | SLEEK | 20564 | default | 304221 | complete | 0.127954 | 0.122089 | 113176.0 | unsat | unsat |
433162169 | qf_shid_entl/append_dll_slk-11.smt2 | 8318551 | SLEEK | 20564 | default | 304221 | complete | 0.087975 | 0.0825671 | 113176.0 | unsat | unsat |
433162042 | qf_shid_entl/append_dll_slk-12.smt2 | 8318424 | SLEEK | 20564 | default | 304221 | complete | 0.095426 | 0.090403 | 113176.0 | unsat | unsat |
433162100 | qf_shid_entl/append_dll_slk-2.smt2 | 8318482 | SLEEK | 20564 | default | 304221 | complete | 0.084134 | 0.0794131 | 113176.0 | unsat | unsat |
433162059 | qf_shid_entl/append_dll_slk-3.smt2 | 8318441 | SLEEK | 20564 | default | 304221 | complete | 0.083463 | 0.078795 | 113176.0 | unsat | unsat |
433162212 | qf_shid_entl/append_dll_slk-4.smt2 | 8318594 | SLEEK | 20564 | default | 304221 | complete | 0.092746 | 0.087764 | 113176.0 | unsat | unsat |
433162322 | qf_shid_entl/append_dll_slk-5.smt2 | 8318704 | SLEEK | 20564 | default | 304221 | complete | 0.078575 | 0.07402 | 113176.0 | unsat | unsat |
433162126 | qf_shid_entl/append_dll_slk-6.smt2 | 8318508 | SLEEK | 20564 | default | 304221 | complete | 0.086501 | 0.081242 | 113176.0 | unsat | unsat |
433162084 | qf_shid_entl/append_dll_slk-7.smt2 | 8318466 | SLEEK | 20564 | default | 304221 | complete | 0.104437 | 0.0985099 | 113176.0 | unsat | unsat |
433162220 | qf_shid_entl/append_dll_slk-8.smt2 | 8318602 | SLEEK | 20564 | default | 304221 | complete | 0.09398 | 0.088977 | 113176.0 | unsat | unsat |
433162253 | qf_shid_entl/append_dll_slk-9.smt2 | 8318635 | SLEEK | 20564 | default | 304221 | complete | 0.158337 | 0.150657 | 113176.0 | unsat | unsat |
433162289 | qf_shid_entl/append_sll_cll_slk-1.smt2 | 8318671 | SLEEK | 20564 | default | 304221 | complete | 0.098031 | 0.092305 | 113176.0 | unsat | unsat |
433162168 | qf_shid_entl/append_sll_cll_slk-10.smt2 | 8318550 | SLEEK | 20564 | default | 304221 | complete | 0.09367 | 0.088101 | 113176.0 | unsat | unsat |
433162282 | qf_shid_entl/append_sll_cll_slk-11.smt2 | 8318664 | SLEEK | 20564 | default | 304221 | complete | 0.090763 | 0.08529 | 113176.0 | unsat | unsat |
433162090 | qf_shid_entl/append_sll_cll_slk-12.smt2 | 8318472 | SLEEK | 20564 | default | 304221 | complete | 0.095069 | 0.0895231 | 113176.0 | unsat | unsat |
433162051 | qf_shid_entl/append_sll_cll_slk-13.smt2 | 8318433 | SLEEK | 20564 | default | 304221 | complete | 0.094343 | 0.088742 | 113176.0 | unsat | unsat |
433162196 | qf_shid_entl/append_sll_cll_slk-14.smt2 | 8318578 | SLEEK | 20564 | default | 304221 | complete | 0.093161 | 0.087577 | 113176.0 | unsat | unsat |
433162309 | qf_shid_entl/append_sll_cll_slk-15.smt2 | 8318691 | SLEEK | 20564 | default | 304221 | complete | 0.110574 | 0.104454 | 113176.0 | sat | sat |
433162114 | qf_shid_entl/append_sll_cll_slk-16.smt2 | 8318496 | SLEEK | 20564 | default | 304221 | complete | 0.095878 | 0.090291 | 113176.0 | unsat | unsat |
433162072 | qf_shid_entl/append_sll_cll_slk-17.smt2 | 8318454 | SLEEK | 20564 | default | 304221 | complete | 0.105845 | 0.0998681 | 113176.0 | unsat | unsat |
433162225 | qf_shid_entl/append_sll_cll_slk-18.smt2 | 8318607 | SLEEK | 20564 | default | 304221 | complete | 0.098916 | 0.0930629 | 113176.0 | unsat | unsat |
433162098 | qf_shid_entl/append_sll_cll_slk-2.smt2 | 8318480 | SLEEK | 20564 | default | 304221 | complete | 0.088131 | 0.0829151 | 113176.0 | unsat | unsat |
433162053 | qf_shid_entl/append_sll_cll_slk-3.smt2 | 8318435 | SLEEK | 20564 | default | 304221 | complete | 0.091545 | 0.0861479 | 113176.0 | unsat | unsat |
433162189 | qf_shid_entl/append_sll_cll_slk-4.smt2 | 8318571 | SLEEK | 20564 | default | 304221 | complete | 0.096767 | 0.09114 | 113176.0 | unsat | unsat |
433162304 | qf_shid_entl/append_sll_cll_slk-5.smt2 | 8318686 | SLEEK | 20564 | default | 304221 | complete | 0.089458 | 0.0840481 | 113176.0 | unsat | unsat |
433162110 | qf_shid_entl/append_sll_cll_slk-6.smt2 | 8318492 | SLEEK | 20564 | default | 304221 | complete | 0.09285 | 0.0956401 | 113176.0 | sat | sat |
433162066 | qf_shid_entl/append_sll_cll_slk-7.smt2 | 8318448 | SLEEK | 20564 | default | 304221 | complete | 0.091339 | 0.0859449 | 113176.0 | unsat | unsat |
433162229 | qf_shid_entl/append_sll_cll_slk-8.smt2 | 8318611 | SLEEK | 20564 | default | 304221 | complete | 0.137477 | 0.130274 | 113176.0 | unsat | unsat |
433162265 | qf_shid_entl/append_sll_cll_slk-9.smt2 | 8318647 | SLEEK | 20564 | default | 304221 | complete | 0.105783 | 0.100321 | 113176.0 | unsat | unsat |
433162065 | qf_shid_entl/append_sll_ls_slk-1.smt2 | 8318447 | SLEEK | 20564 | default | 304221 | complete | 0.083711 | 0.0784209 | 113176.0 | unsat | unsat |
433162184 | qf_shid_entl/append_sll_ls_slk-2.smt2 | 8318566 | SLEEK | 20564 | default | 304221 | complete | 0.085533 | 0.0801661 | 113176.0 | unsat | unsat |
433162300 | qf_shid_entl/append_sll_ls_slk-3.smt2 | 8318682 | SLEEK | 20564 | default | 304221 | complete | 0.081114 | 0.0758009 | 113176.0 | unsat | unsat |
433162122 | qf_shid_entl/append_sll_ls_slk-4.smt2 | 8318504 | SLEEK | 20564 | default | 304221 | complete | 0.086006 | 0.0807639 | 113176.0 | unsat | unsat |
433162081 | qf_shid_entl/append_sll_ls_slk-5.smt2 | 8318463 | SLEEK | 20564 | default | 304221 | complete | 0.083178 | 0.078407 | 113176.0 | unsat | unsat |
433162203 | qf_shid_entl/append_sll_ls_slk-6.smt2 | 8318585 | SLEEK | 20564 | default | 304221 | complete | 0.083411 | 0.07814 | 113176.0 | unsat | unsat |
433162317 | qf_shid_entl/append_sll_ls_slk-7.smt2 | 8318699 | SLEEK | 20564 | default | 304221 | complete | 0.138616 | 0.132023 | 113176.0 | unsat | unsat |
433162141 | qf_shid_entl/append_sll_ls_slk-8.smt2 | 8318523 | SLEEK | 20564 | default | 304221 | complete | 0.093684 | 0.0879479 | 113176.0 | unsat | unsat |
433162036 | qf_shid_entl/append_sll_slk-1.smt2 | 8318418 | SLEEK | 20564 | default | 304221 | complete | 0.07596 | 0.070911 | 113176.0 | unsat | unsat |
433162235 | qf_shid_entl/append_sll_slk-2.smt2 | 8318617 | SLEEK | 20564 | default | 304221 | complete | 0.072557 | 0.0671981 | 113176.0 | unsat | unsat |
433162270 | qf_shid_entl/append_sll_slk-3.smt2 | 8318652 | SLEEK | 20564 | default | 304221 | complete | 0.072083 | 0.067166 | 113176.0 | unsat | unsat |
433162138 | qf_shid_entl/append_sll_slk-4.smt2 | 8318520 | SLEEK | 20564 | default | 304221 | complete | 0.077306 | 0.072279 | 113176.0 | unsat | unsat |
433162014 | qf_shid_entl/append_sll_slk-5.smt2 | 8318396 | SLEEK | 20564 | default | 304221 | complete | 0.097923 | 0.0925349 | 113176.0 | unsat | unsat |
433162213 | qf_shid_entl/append_sll_slk-6.smt2 | 8318595 | SLEEK | 20564 | default | 304221 | complete | 0.077106 | 0.0719971 | 113176.0 | unsat | unsat |
433162251 | qf_shid_entl/append_sll_slk-7.smt2 | 8318633 | SLEEK | 20564 | default | 304221 | complete | 0.071655 | 0.0671719 | 113176.0 | unsat | unsat |
433162131 | qf_shid_entl/append_sll_slk-8.smt2 | 8318513 | SLEEK | 20564 | default | 304221 | complete | 0.077369 | 0.07236 | 113176.0 | unsat | unsat |
433162231 | qf_shid_entl/dll-entails-dll-rev.smt2 | 8318613 | SLEEK | 20564 | default | 304221 | complete | 0.159524 | 0.151896 | 113176.0 | sat | unsat |
433162073 | qf_shid_entl/dll-entails-dll0+.smt2 | 8318455 | SLEEK | 20564 | default | 304221 | complete | 0.098842 | 0.092978 | 113176.0 | sat | unsat |
433162202 | qf_shid_entl/dll-mid-entails-dll-rev.smt2 | 8318584 | SLEEK | 20564 | default | 304221 | timeout (wallclock) | 2399.96 | 2400.05 | 2500268.0 | starexec-unknown | unsat |
433162132 | qf_shid_entl/dll-rev-entails-dll-mid.smt2 | 8318514 | SLEEK | 20564 | default | 304221 | complete | 0.161166 | 0.154323 | 113176.0 | sat | unsat |
433162239 | qf_shid_entl/dll-rev-entails-dll.smt2 | 8318621 | SLEEK | 20564 | default | 304221 | complete | 0.085429 | 0.080079 | 113176.0 | sat | unsat |
433162205 | qf_shid_entl/dll-spaghetti.smt2 | 8318587 | SLEEK | 20564 | default | 304221 | complete | 663.23 | 663.33 | 1.0050524E7 | starexec-unknown | unsat |
433162029 | qf_shid_entl/dll-vc01.smt2 | 8318411 | SLEEK | 20564 | default | 304221 | complete | 0.119151 | 0.113836 | 113176.0 | unsat | unsat |
433162228 | qf_shid_entl/dll-vc02.smt2 | 8318610 | SLEEK | 20564 | default | 304221 | complete | 0.11886 | 0.113583 | 113176.0 | unsat | unsat |
433162266 | qf_shid_entl/dll-vc03.smt2 | 8318648 | SLEEK | 20564 | default | 304221 | complete | 0.134768 | 0.129672 | 113176.0 | unsat | unsat |
433162162 | qf_shid_entl/dll-vc04.smt2 | 8318544 | SLEEK | 20564 | default | 304221 | complete | 0.152807 | 0.145596 | 113176.0 | sat | sat |
433162038 | qf_shid_entl/dll-vc05.smt2 | 8318420 | SLEEK | 20564 | default | 304221 | complete | 0.152386 | 0.146025 | 113176.0 | sat | unsat |
433162243 | qf_shid_entl/dll-vc06.smt2 | 8318625 | SLEEK | 20564 | default | 304221 | complete | 0.218624 | 0.210793 | 113176.0 | sat | sat |
433162273 | qf_shid_entl/dll-vc07.smt2 | 8318655 | SLEEK | 20564 | default | 304221 | complete | 0.164649 | 0.157236 | 113176.0 | sat | unsat |
433162099 | qf_shid_entl/dll-vc08.smt2 | 8318481 | SLEEK | 20564 | default | 304221 | complete | 0.313387 | 0.303664 | 113176.0 | sat | sat |
433162052 | qf_shid_entl/dll-vc09.smt2 | 8318434 | SLEEK | 20564 | default | 304221 | complete | 0.180277 | 0.173958 | 113176.0 | unsat | unsat |
433162105 | qf_shid_entl/dll-vc10.smt2 | 8318487 | SLEEK | 20564 | default | 304221 | complete | 0.332393 | 0.322077 | 113176.0 | sat | sat |
433162064 | qf_shid_entl/dll-vc11.smt2 | 8318446 | SLEEK | 20564 | default | 304221 | complete | 0.157746 | 0.150984 | 113176.0 | sat | unsat |
433162186 | qf_shid_entl/dll-vc12.smt2 | 8318568 | SLEEK | 20564 | default | 304221 | complete | 0.230778 | 0.222509 | 113176.0 | sat | sat |
433162301 | qf_shid_entl/dll-vc13.smt2 | 8318683 | SLEEK | 20564 | default | 304221 | complete | 0.157042 | 0.150186 | 113176.0 | sat | sat |
433162117 | qf_shid_entl/dll-vc14.smt2 | 8318499 | SLEEK | 20564 | default | 304221 | complete | 0.160597 | 0.153766 | 113176.0 | sat | sat |
433162078 | qf_shid_entl/dll-vc15.smt2 | 8318460 | SLEEK | 20564 | default | 304221 | complete | 0.110819 | 0.105617 | 113176.0 | unsat | unsat |
433162206 | qf_shid_entl/dll-vc16.smt2 | 8318588 | SLEEK | 20564 | default | 304221 | complete | 0.793715 | 0.777999 | 252980.0 | sat | sat |
433162319 | qf_shid_entl/dll-vc17.smt2 | 8318701 | SLEEK | 20564 | default | 304221 | complete | 0.209108 | 0.202065 | 113176.0 | sat | unsat |
433162093 | qf_shid_entl/dll2-entails-dll2-rev.smt2 | 8318475 | SLEEK | 20564 | default | 304221 | complete | 0.447094 | 0.433536 | 113176.0 | sat | unsat |
433162103 | qf_shid_entl/dll2-rev-entails-dll2.smt2 | 8318485 | SLEEK | 20564 | default | 304221 | complete | 0.2297 | 0.220917 | 113176.0 | sat | unsat |
433162159 | qf_shid_entl/dll2-spaghetti.smt2 | 8318541 | SLEEK | 20564 | default | 304221 | complete | 661.579 | 661.604 | 1.005044E7 | starexec-unknown | unsat |
433162150 | qf_shid_entl/dllrev_append_dllrev_dll_entails_dll.sb.smt2 | 8318532 | SLEEK | 20564 | default | 304221 | complete | 0.132351 | 0.125481 | 113176.0 | sat | unsat |
433162238 | qf_shid_entl/dllrev_append_dllrev_dll_entails_dllrev.sb.smt2 | 8318620 | SLEEK | 20564 | default | 304221 | complete | 0.392396 | 0.377672 | 113176.0 | sat | unsat |
433162017 | qf_shid_entl/dllrev_append_dll_dll_entails_dll.sb.smt2 | 8318399 | SLEEK | 20564 | default | 304221 | complete | 0.3643 | 0.352246 | 113176.0 | unsat | unsat |
433162045 | qf_shid_entl/dllrev_append_dll_dll_entails_dllrev.sb.smt2 | 8318427 | SLEEK | 20564 | default | 304221 | complete | 0.32629 | 0.313704 | 113176.0 | sat | unsat |
433162056 | qf_shid_entl/dllrev_append_head_entails_dll.sb.smt2 | 8318438 | SLEEK | 20564 | default | 304221 | complete | 0.114419 | 0.108191 | 113176.0 | sat | unsat |
433162158 | qf_shid_entl/dllrev_append_head_entails_dllrev.sb.smt2 | 8318540 | SLEEK | 20564 | default | 304221 | complete | 0.127537 | 0.120304 | 113176.0 | unsat | unsat |
433162077 | qf_shid_entl/dllrev_concat.sb.smt2 | 8318459 | SLEEK | 20564 | default | 304221 | complete | 0.222914 | 0.212082 | 113176.0 | sat | unsat |
433162030 | qf_shid_entl/dllrev_concat_dll_entails_dll.sb.smt2 | 8318412 | SLEEK | 20564 | default | 304221 | complete | 0.231233 | 0.221557 | 113176.0 | unsat | unsat |
433162094 | qf_shid_entl/dllrev_concat_dll_entails_dllrev.sb.smt2 | 8318476 | SLEEK | 20564 | default | 304221 | complete | 0.265867 | 0.254422 | 113176.0 | sat | unsat |
433162075 | qf_shid_entl/dllrev_entails_dll.sb.smt2 | 8318457 | SLEEK | 20564 | default | 304221 | complete | 0.130016 | 0.123645 | 113176.0 | sat | unsat |
433162259 | qf_shid_entl/dll_append_dllnull_entails_dllnull.sb.smt2 | 8318641 | SLEEK | 20564 | default | 304221 | complete | 0.096643 | 0.0908121 | 113176.0 | unsat | unsat |
433162298 | qf_shid_entl/dll_append_tail_entails_dll.sb.smt2 | 8318680 | SLEEK | 20564 | default | 304221 | complete | 0.105576 | 0.0995121 | 113176.0 | sat | unsat |
433162104 | qf_shid_entl/dll_append_tail_entails_dllnull.sb.smt2 | 8318486 | SLEEK | 20564 | default | 304221 | complete | 0.101478 | 0.0955669 | 113176.0 | unsat | unsat |
433162233 | qf_shid_entl/dll_append_tail_entails_dllnull_nil.sb.smt2 | 8318615 | SLEEK | 20564 | default | 304221 | complete | 0.102248 | 0.0961111 | 113176.0 | sat | unsat |
433162323 | qf_shid_entl/dll_append_tail_entails_dllrev.sb.smt2 | 8318705 | SLEEK | 20564 | default | 304221 | complete | 0.103941 | 0.0978101 | 113176.0 | sat | unsat |
433162018 | qf_shid_entl/dll_concat.sb.smt2 | 8318400 | SLEEK | 20564 | default | 304221 | complete | 0.134298 | 0.127181 | 113176.0 | unsat | unsat |
433162133 | qf_shid_entl/dll_concat_dllrev.sb.smt2 | 8318515 | SLEEK | 20564 | default | 304221 | complete | 0.175678 | 0.167161 | 113176.0 | sat | unsat |
433162145 | qf_shid_entl/dll_entails_dllrev.sb.smt2 | 8318527 | SLEEK | 20564 | default | 304221 | complete | 0.16487 | 0.156932 | 113176.0 | sat | unsat |
433162025 | qf_shid_entl/dll_entails_ls.sb.smt2 | 8318407 | SLEEK | 20564 | default | 304221 | complete | 0.10275 | 0.0966289 | 113176.0 | unsat | unsat |
433162062 | qf_shid_entl/dll_entails_lspre.sb.smt2 | 8318444 | SLEEK | 20564 | default | 304221 | complete | 0.073298 | 0.068357 | 113176.0 | sat | unsat |
433162283 | qf_shid_entl/dll_entails_lsrev.sb.smt2 | 8318665 | SLEEK | 20564 | default | 304221 | complete | 0.080331 | 0.075615 | 113176.0 | sat | unsat |
433162048 | qf_shid_entl/dll_nil_tl_entails_dllnull.sb.smt2 | 8318430 | SLEEK | 20564 | default | 304221 | complete | 0.086445 | 0.0808791 | 113176.0 | unsat | unsat |
433162211 | qf_shid_entl/elseg4_slk-1.smt2 | 8318593 | SLEEK | 20564 | default | 304221 | complete | 0.106713 | 0.102062 | 113176.0 | unsat | unsat |
433162083 | qf_shid_entl/elseg4_slk-2.smt2 | 8318465 | SLEEK | 20564 | default | 304221 | complete | 0.087984 | 0.0836629 | 113176.0 | unsat | unsat |
433162125 | qf_shid_entl/elseg4_slk-3.smt2 | 8318507 | SLEEK | 20564 | default | 304221 | complete | 0.097511 | 0.0928509 | 113176.0 | sat | sat |
433162294 | qf_shid_entl/elseg4_slk-4.smt2 | 8318676 | SLEEK | 20564 | default | 304221 | complete | 0.103914 | 0.099189 | 113176.0 | sat | sat |
433162181 | qf_shid_entl/elseg4_slk-5.smt2 | 8318563 | SLEEK | 20564 | default | 304221 | complete | 0.10009 | 0.095287 | 113176.0 | unsat | unsat |
433162060 | qf_shid_entl/elseg4_slk-6.smt2 | 8318442 | SLEEK | 20564 | default | 304221 | complete | 0.104842 | 0.099964 | 113176.0 | unsat | unsat |
433162101 | qf_shid_entl/elseg4_slk-7.smt2 | 8318483 | SLEEK | 20564 | default | 304221 | complete | 0.151623 | 0.145509 | 113176.0 | unsat | unsat |
433162272 | qf_shid_entl/elseg4_slk-8.smt2 | 8318654 | SLEEK | 20564 | default | 304221 | complete | 0.104034 | 0.0994501 | 113176.0 | unsat | unsat |
433162237 | qf_shid_entl/elseg4_slk-9.smt2 | 8318619 | SLEEK | 20564 | default | 304221 | complete | 0.098998 | 0.0939249 | 113176.0 | unsat | unsat |
433162120 | qf_shid_entl/eolseg_01.sb.smt2 | 8318502 | SLEEK | 20564 | default | 304221 | complete | 0.21517 | 0.206032 | 113176.0 | sat | unsat |
433162311 | qf_shid_entl/eolseg_02.sb.smt2 | 8318693 | SLEEK | 20564 | default | 304221 | complete | 0.216917 | 0.206059 | 113176.0 | sat | unsat |
433162124 | qf_shid_entl/eolseg_05.sb.smt2 | 8318506 | SLEEK | 20564 | default | 304221 | complete | 0.264653 | 0.255155 | 113176.0 | sat | unsat |
433162316 | qf_shid_entl/eolseg_06.sb.smt2 | 8318698 | SLEEK | 20564 | default | 304221 | complete | 0.244736 | 0.235209 | 113176.0 | sat | unsat |
433162191 | qf_shid_entl/eolseg_07.sb.smt2 | 8318573 | SLEEK | 20564 | default | 304221 | complete | 0.274224 | 0.264505 | 113176.0 | sat | unsat |
433162135 | qf_shid_entl/eolseg_09.sb.smt2 | 8318517 | SLEEK | 20564 | default | 304221 | complete | 0.234228 | 0.224947 | 113176.0 | sat | unsat |
433162223 | qf_shid_entl/eolseg_12.sb.smt2 | 8318605 | SLEEK | 20564 | default | 304221 | complete | 0.248335 | 0.239047 | 113176.0 | sat | unsat |
433162022 | qf_shid_entl/eolseg_15.sb.smt2 | 8318404 | SLEEK | 20564 | default | 304221 | complete | 0.279103 | 0.269562 | 113176.0 | sat | unsat |
433162180 | qf_shid_entl/ls2_entail_ls_01.sb.smt2 | 8318562 | SLEEK | 20564 | default | 304221 | complete | 0.124374 | 0.118819 | 113176.0 | unsat | unsat |
433162299 | qf_shid_entl/ls2_entail_ls_04.sb.smt2 | 8318681 | SLEEK | 20564 | default | 304221 | complete | 0.269668 | 0.260415 | 113176.0 | sat | unsat |
433162043 | qf_shid_entl/lsegex4_slk-1.smt2 | 8318425 | SLEEK | 20564 | default | 304221 | complete | 0.150911 | 0.144133 | 113176.0 | unsat | unsat |
433162170 | qf_shid_entl/lsegex4_slk-2.smt2 | 8318552 | SLEEK | 20564 | default | 304221 | complete | 0.145613 | 0.139943 | 113176.0 | sat | sat |
433162287 | qf_shid_entl/lsegex4_slk-3.smt2 | 8318669 | SLEEK | 20564 | default | 304221 | complete | 0.151077 | 0.145141 | 113176.0 | unsat | unsat |
433162112 | qf_shid_entl/lsegex4_slk-4.smt2 | 8318494 | SLEEK | 20564 | default | 304221 | complete | 0.165088 | 0.158822 | 113176.0 | unsat | unsat |
433162068 | qf_shid_entl/lsegex4_slk-5.smt2 | 8318450 | SLEEK | 20564 | default | 304221 | complete | 0.144246 | 0.139042 | 113176.0 | unsat | unsat |
433162199 | qf_shid_entl/lsegex4_slk-6.smt2 | 8318581 | SLEEK | 20564 | default | 304221 | complete | 0.141829 | 0.136256 | 113176.0 | unsat | unsat |
433162208 | qf_shid_entl/lsevenodd_01.sb.smt2 | 8318590 | SLEEK | 20564 | default | 304221 | complete | 0.143015 | 0.135937 | 113176.0 | unsat | unsat |
433162074 | qf_shid_entl/lsevenodd_02.sb.smt2 | 8318456 | SLEEK | 20564 | default | 304221 | complete | 0.210955 | 0.202183 | 113176.0 | unsat | unsat |
433162109 | qf_shid_entl/lsevenodd_03.sb.smt2 | 8318491 | SLEEK | 20564 | default | 304221 | complete | 0.158205 | 0.149884 | 113176.0 | sat | unsat |
433162321 | qf_shid_entl/lsevenodd_04.sb.smt2 | 8318703 | SLEEK | 20564 | default | 304221 | complete | 0.179128 | 0.171058 | 113176.0 | sat | unsat |
433162209 | qf_shid_entl/lsevenodd_09.sb.smt2 | 8318591 | SLEEK | 20564 | default | 304221 | complete | 0.153821 | 0.146351 | 113176.0 | sat | unsat |
433162260 | qf_shid_entl/lsevenodd_11.sb.smt2 | 8318642 | SLEEK | 20564 | default | 304221 | complete | 0.186299 | 0.17795 | 113176.0 | unsat | unsat |
433162232 | qf_shid_entl/lsevenodd_14.sb.smt2 | 8318614 | SLEEK | 20564 | default | 304221 | complete | 0.14818 | 0.140843 | 113176.0 | sat | unsat |
433162264 | qf_shid_entl/lsevenodd_15.sb.smt2 | 8318646 | SLEEK | 20564 | default | 304221 | complete | 0.147669 | 0.140224 | 113176.0 | sat | unsat |
433162140 | qf_shid_entl/lsevenodd_16.sb.smt2 | 8318522 | SLEEK | 20564 | default | 304221 | complete | 0.177838 | 0.169532 | 113176.0 | unsat | unsat |
433162174 | qf_shid_entl/lsevenodd_ls2_01.sb.smt2 | 8318556 | SLEEK | 20564 | default | 304221 | complete | 0.139918 | 0.132537 | 113176.0 | sat | unsat |
433162057 | qf_shid_entl/lsevenodd_ls2_02.sb.smt2 | 8318439 | SLEEK | 20564 | default | 304221 | complete | 0.175718 | 0.167737 | 113176.0 | sat | unsat |
433162177 | qf_shid_entl/lsevenodd_ls2_05.sb.smt2 | 8318559 | SLEEK | 20564 | default | 304221 | complete | 0.176962 | 0.169 | 113176.0 | unsat | unsat |
433162061 | qf_shid_entl/lsevenodd_ls2_06.sb.smt2 | 8318443 | SLEEK | 20564 | default | 304221 | complete | 0.143082 | 0.136052 | 113176.0 | sat | unsat |
433162173 | qf_shid_entl/lsevenodd_ls2_09.sb.smt2 | 8318555 | SLEEK | 20564 | default | 304221 | complete | 0.251326 | 0.241412 | 113176.0 | unsat | unsat |
433162041 | qf_shid_entl/lsevenodd_ls2_13.sb.smt2 | 8318423 | SLEEK | 20564 | default | 304221 | complete | 0.235336 | 0.224934 | 113176.0 | sat | unsat |
433162234 | qf_shid_entl/lsevenodd_ls2_14.sb.smt2 | 8318616 | SLEEK | 20564 | default | 304221 | complete | 0.264253 | 0.254133 | 113176.0 | sat | unsat |
433162269 | qf_shid_entl/lsevenodd_ls2_15.sb.smt2 | 8318651 | SLEEK | 20564 | default | 304221 | complete | 0.270405 | 0.260099 | 113176.0 | sat | unsat |
433162161 | qf_shid_entl/lsevenodd_ls2_16.sb.smt2 | 8318543 | SLEEK | 20564 | default | 304221 | complete | 0.18867 | 0.180793 | 113176.0 | sat | unsat |
433162149 | qf_shid_entl/lsleftright_01.sb.smt2 | 8318531 | SLEEK | 20564 | default | 304221 | complete | 0.109737 | 0.103989 | 113176.0 | sat | unsat |
433162252 | qf_shid_entl/lsleftright_02.sb.smt2 | 8318634 | SLEEK | 20564 | default | 304221 | complete | 0.122695 | 0.117077 | 113176.0 | sat | unsat |
433162023 | qf_shid_entl/lsleftright_04.sb.smt2 | 8318405 | SLEEK | 20564 | default | 304221 | complete | 0.109364 | 0.10361 | 113176.0 | sat | unsat |
433162148 | qf_shid_entl/lsleftright_05.sb.smt2 | 8318530 | SLEEK | 20564 | default | 304221 | complete | 0.09764 | 0.0924021 | 113176.0 | unsat | unsat |
433162250 | qf_shid_entl/lsleftright_06.sb.smt2 | 8318632 | SLEEK | 20564 | default | 304221 | complete | 0.108574 | 0.102706 | 113176.0 | sat | unsat |
433162222 | qf_shid_entl/lsleftright_07.sb.smt2 | 8318604 | SLEEK | 20564 | default | 304221 | complete | 0.111969 | 0.106022 | 113176.0 | sat | unsat |
433162027 | qf_shid_entl/lsleftright_08.sb.smt2 | 8318409 | SLEEK | 20564 | default | 304221 | complete | 0.105382 | 0.0994239 | 113176.0 | unsat | unsat |
433162142 | qf_shid_entl/lsleftright_09.sb.smt2 | 8318524 | SLEEK | 20564 | default | 304221 | complete | 0.089199 | 0.0840459 | 113176.0 | sat | unsat |
433162121 | qf_shid_entl/lsleftright_10.sb.smt2 | 8318503 | SLEEK | 20564 | default | 304221 | complete | 0.089991 | 0.0847019 | 113176.0 | sat | unsat |
433162085 | qf_shid_entl/lsleftright_11.sb.smt2 | 8318467 | SLEEK | 20564 | default | 304221 | complete | 0.127711 | 0.121341 | 113176.0 | sat | unsat |
433162190 | qf_shid_entl/lsleftright_12.sb.smt2 | 8318572 | SLEEK | 20564 | default | 304221 | complete | 0.1207 | 0.11431 | 113176.0 | sat | unsat |
433162313 | qf_shid_entl/lsleftright_13.sb.smt2 | 8318695 | SLEEK | 20564 | default | 304221 | complete | 0.127679 | 0.122079 | 113176.0 | sat | unsat |
433162123 | qf_shid_entl/lsleftright_14.sb.smt2 | 8318505 | SLEEK | 20564 | default | 304221 | complete | 0.143063 | 0.136344 | 113176.0 | sat | unsat |
433162086 | qf_shid_entl/lsleftright_15.sb.smt2 | 8318468 | SLEEK | 20564 | default | 304221 | complete | 0.175649 | 0.167965 | 113176.0 | sat | unsat |
433162192 | qf_shid_entl/lsleftright_16.sb.smt2 | 8318574 | SLEEK | 20564 | default | 304221 | complete | 0.172156 | 0.164128 | 113176.0 | sat | unsat |
433162315 | qf_shid_entl/lsleftright_17.sb.smt2 | 8318697 | SLEEK | 20564 | default | 304221 | complete | 0.10539 | 0.099534 | 113176.0 | sat | unsat |
433162134 | qf_shid_entl/lsleftright_18.sb.smt2 | 8318516 | SLEEK | 20564 | default | 304221 | complete | 0.116249 | 0.109893 | 113176.0 | sat | unsat |
433162080 | qf_shid_entl/lsleftright_19.sb.smt2 | 8318462 | SLEEK | 20564 | default | 304221 | complete | 0.094301 | 0.088927 | 113176.0 | sat | unsat |
433162230 | qf_shid_entl/lsleftright_20.sb.smt2 | 8318612 | SLEEK | 20564 | default | 304221 | complete | 0.092794 | 0.087437 | 113176.0 | sat | unsat |
433162063 | qf_shid_entl/lss-vc01.smt2 | 8318445 | SLEEK | 20564 | default | 304221 | complete | 0.074802 | 0.0703571 | 113176.0 | unsat | unsat |
433162178 | qf_shid_entl/lss-vc02.smt2 | 8318560 | SLEEK | 20564 | default | 304221 | complete | 0.116887 | 0.110805 | 113176.0 | unsat | unsat |
433162291 | qf_shid_entl/lss-vc03.smt2 | 8318673 | SLEEK | 20564 | default | 304221 | complete | 0.135611 | 0.129534 | 113176.0 | unsat | unsat |
433162245 | qf_shid_entl/ls_entail_ls2_02.sb.smt2 | 8318627 | SLEEK | 20564 | default | 304221 | complete | 0.122395 | 0.116465 | 113176.0 | sat | unsat |
433162152 | qf_shid_entl/ls_entail_ls2_04.sb.smt2 | 8318534 | SLEEK | 20564 | default | 304221 | complete | 0.176194 | 0.168336 | 113176.0 | sat | unsat |
433162031 | qf_shid_entl/ls_entail_ls2_05.sb.smt2 | 8318413 | SLEEK | 20564 | default | 304221 | complete | 0.187263 | 0.179639 | 113176.0 | unsat | unsat |
433162242 | qf_shid_entl/ls_entail_ls2_06.sb.smt2 | 8318624 | SLEEK | 20564 | default | 304221 | complete | 0.153606 | 0.147132 | 113176.0 | unsat | unsat |
433162280 | qf_shid_entl/ls_entail_ls_nonrec_01.sb.smt2 | 8318662 | SLEEK | 20564 | default | 304221 | complete | 0.135774 | 0.129314 | 113176.0 | unsat | unsat |
433162154 | qf_shid_entl/ls_entail_ls_nonrec_02.sb.smt2 | 8318536 | SLEEK | 20564 | default | 304221 | complete | 0.150744 | 0.143456 | 113176.0 | unsat | unsat |
433162037 | qf_shid_entl/ls_entail_ls_nonrec_03.sb.smt2 | 8318419 | SLEEK | 20564 | default | 304221 | complete | 0.378569 | 0.366003 | 113176.0 | unsat | unsat |
433162240 | qf_shid_entl/ls_entail_ls_nonrec_04.sb.smt2 | 8318622 | SLEEK | 20564 | default | 304221 | complete | 1.38178 | 1.3666 | 252988.0 | unsat | unsat |
433162278 | qf_shid_entl/ls_entail_ls_nonrec_05.sb.smt2 | 8318660 | SLEEK | 20564 | default | 304221 | complete | 4.42036 | 4.3934 | 257544.0 | unsat | unsat |
433162153 | qf_shid_entl/ls_entail_ls_nonrec_06.sb.smt2 | 8318535 | SLEEK | 20564 | default | 304221 | complete | 0.222845 | 0.214742 | 113176.0 | unsat | unsat |
433162032 | qf_shid_entl/ls_entail_ls_nonrec_07.sb.smt2 | 8318414 | SLEEK | 20564 | default | 304221 | complete | 1.71832 | 1.67847 | 256344.0 | sat | unsat |
433162246 | qf_shid_entl/ls_entail_ls_nonrec_08.sb.smt2 | 8318628 | SLEEK | 20564 | default | 304221 | complete | 1.27341 | 1.25463 | 254016.0 | unsat | unsat |
433162275 | qf_shid_entl/ls_entail_ls_nonrec_09.sb.smt2 | 8318657 | SLEEK | 20564 | default | 304221 | complete | 12.796 | 12.7724 | 261472.0 | unsat | unsat |
433162292 | qf_shid_entl/ls_entail_ls_nonrec_10.sb.smt2 | 8318674 | SLEEK | 20564 | default | 304221 | complete | 127.142 | 127.111 | 290116.0 | unsat | unsat |
433162183 | qf_shid_entl/ls_entail_ls_nonrec_11.sb.smt2 | 8318565 | SLEEK | 20564 | default | 304221 | complete | 4.11581 | 4.04834 | 268932.0 | sat | unsat |
433162044 | qf_shid_entl/ls_entail_ls_nonrec_12.sb.smt2 | 8318426 | SLEEK | 20564 | default | 304221 | complete | 11.3542 | 11.2435 | 297232.0 | sat | unsat |
433162092 | qf_shid_entl/ls_entail_ls_nonrec_13.sb.smt2 | 8318474 | SLEEK | 20564 | default | 304221 | complete | 39.8349 | 39.6661 | 336204.0 | sat | unsat |
433162297 | qf_shid_entl/ls_entail_ls_nonrec_14.sb.smt2 | 8318679 | SLEEK | 20564 | default | 304221 | complete | 166.16 | 165.958 | 370660.0 | sat | unsat |
433162185 | qf_shid_entl/ls_entail_ls_nonrec_15.sb.smt2 | 8318567 | SLEEK | 20564 | default | 304221 | complete | 779.405 | 778.918 | 482440.0 | sat | unsat |
433162049 | qf_shid_entl/ls_entail_ls_nonrec_16.sb.smt2 | 8318431 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.06 | 2399.32 | 505404.0 | starexec-unknown | unsat |
433162267 | qf_shid_entl/ls_even_append_tl_entails_ls.sb.smt2 | 8318649 | SLEEK | 20564 | default | 304221 | complete | 0.132975 | 0.126097 | 113176.0 | unsat | unsat |
433162129 | qf_shid_entl/ls_even_append_tl_entails_ls_odd.sb.smt2 | 8318511 | SLEEK | 20564 | default | 304221 | complete | 0.11566 | 0.109498 | 113176.0 | unsat | unsat |
433162016 | qf_shid_entl/ls_even_entails_ls.sb.smt2 | 8318398 | SLEEK | 20564 | default | 304221 | complete | 0.123553 | 0.116934 | 113176.0 | unsat | unsat |
433162218 | qf_shid_entl/ls_even_join_entails_ls.sb.smt2 | 8318600 | SLEEK | 20564 | default | 304221 | complete | 0.151239 | 0.14375 | 113176.0 | sat | unsat |
433162024 | qf_shid_entl/ls_even_join_entails_ls_even.sb.smt2 | 8318406 | SLEEK | 20564 | default | 304221 | complete | 0.205423 | 0.197859 | 113176.0 | unsat | unsat |
433162276 | qf_shid_entl/ls_even_join_ls_entails_ls.sb.smt2 | 8318658 | SLEEK | 20564 | default | 304221 | complete | 0.145759 | 0.138693 | 113176.0 | sat | unsat |
433162119 | qf_shid_entl/ls_even_odd_join_entails_ls.sb.smt2 | 8318501 | SLEEK | 20564 | default | 304221 | complete | 0.124533 | 0.117732 | 113176.0 | sat | unsat |
433162214 | qf_shid_entl/ls_even_odd_join_entails_ls_odd.sb.smt2 | 8318596 | SLEEK | 20564 | default | 304221 | complete | 0.11219 | 0.106089 | 113176.0 | unsat | unsat |
433162188 | qf_shid_entl/ls_join_entails_ls.sb.smt2 | 8318570 | SLEEK | 20564 | default | 304221 | complete | 0.096829 | 0.0911419 | 113176.0 | unsat | unsat |
433162026 | qf_shid_entl/ls_lsrev_concat_entail_lsrev_1.sb.smt2 | 8318408 | SLEEK | 20564 | default | 304221 | complete | 0.136544 | 0.129779 | 113176.0 | unsat | unsat |
433162224 | qf_shid_entl/ls_lsrev_concat_entail_lsrev_2.sb.smt2 | 8318606 | SLEEK | 20564 | default | 304221 | complete | 0.121871 | 0.115235 | 113176.0 | unsat | unsat |
433162254 | qf_shid_entl/ls_lsrev_concat_entail_lsrev_3.sb.smt2 | 8318636 | SLEEK | 20564 | default | 304221 | complete | 0.148073 | 0.141292 | 113176.0 | unsat | unsat |
433162147 | qf_shid_entl/ls_lsrev_concat_entail_lsrev_4.sb.smt2 | 8318529 | SLEEK | 20564 | default | 304221 | complete | 0.171205 | 0.162703 | 113176.0 | unsat | unsat |
433162118 | qf_shid_entl/ls_lsrev_concat_entail_ls_1.sb.smt2 | 8318500 | SLEEK | 20564 | default | 304221 | complete | 0.13015 | 0.123492 | 113176.0 | unsat | unsat |
433162308 | qf_shid_entl/ls_lsrev_concat_entail_ls_2.sb.smt2 | 8318690 | SLEEK | 20564 | default | 304221 | complete | 0.146195 | 0.138932 | 113176.0 | sat | unsat |
433162187 | qf_shid_entl/ls_lsrev_concat_entail_ls_3.sb.smt2 | 8318569 | SLEEK | 20564 | default | 304221 | complete | 0.121995 | 0.11571 | 113176.0 | sat | unsat |
433162087 | qf_shid_entl/ls_lsrev_concat_entail_ls_4.sb.smt2 | 8318469 | SLEEK | 20564 | default | 304221 | complete | 0.134834 | 0.12824 | 113176.0 | sat | unsat |
433162144 | qf_shid_entl/ls_nonrec_entail_ls_01.sb.smt2 | 8318526 | SLEEK | 20564 | default | 304221 | complete | 0.433366 | 0.422488 | 113176.0 | unsat | unsat |
433162257 | qf_shid_entl/ls_nonrec_entail_ls_02.sb.smt2 | 8318639 | SLEEK | 20564 | default | 304221 | complete | 1.48621 | 1.467 | 254036.0 | sat | unsat |
433162219 | qf_shid_entl/ls_nonrec_entail_ls_03.sb.smt2 | 8318601 | SLEEK | 20564 | default | 304221 | complete | 8.59521 | 8.53277 | 269484.0 | sat | unsat |
433162028 | qf_shid_entl/ls_nonrec_entail_ls_04.sb.smt2 | 8318410 | SLEEK | 20564 | default | 304221 | complete | 17.1189 | 17.0891 | 272224.0 | sat | unsat |
433162143 | qf_shid_entl/ls_nonrec_entail_ls_05.sb.smt2 | 8318525 | SLEEK | 20564 | default | 304221 | complete | 13.2825 | 13.2517 | 268724.0 | unsat | unsat |
433162256 | qf_shid_entl/ls_nonrec_entail_ls_06.sb.smt2 | 8318638 | SLEEK | 20564 | default | 304221 | complete | 0.599957 | 0.586322 | 252360.0 | unsat | unsat |
433162216 | qf_shid_entl/ls_nonrec_entail_ls_07.sb.smt2 | 8318598 | SLEEK | 20564 | default | 304221 | complete | 56.2849 | 56.047 | 364464.0 | sat | unsat |
433162020 | qf_shid_entl/ls_nonrec_entail_ls_08.sb.smt2 | 8318402 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.07 | 2400.07 | 595652.0 | starexec-unknown | unsat |
433162146 | qf_shid_entl/ls_nonrec_entail_ls_09.sb.smt2 | 8318528 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.05 | 2400.0 | 4442760.0 | starexec-unknown | unsat |
433162128 | qf_shid_entl/ls_nonrec_entail_ls_10.sb.smt2 | 8318510 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.08 | 2400.11 | 376872.0 | starexec-unknown | unsat |
433162076 | qf_shid_entl/ls_nonrec_entail_ls_11.sb.smt2 | 8318458 | SLEEK | 20564 | default | 304221 | timeout (wallclock) | 2399.93 | 2400.02 | 396144.0 | starexec-unknown | unsat |
433162198 | qf_shid_entl/ls_nonrec_entail_ls_12.sb.smt2 | 8318580 | SLEEK | 20564 | default | 304221 | complete | 20.2077 | 20.1703 | 279732.0 | unsat | unsat |
433162305 | qf_shid_entl/ls_nonrec_entail_ls_13.sb.smt2 | 8318687 | SLEEK | 20564 | default | 304221 | complete | 405.285 | 404.166 | 878356.0 | sat | unsat |
433162130 | qf_shid_entl/ls_nonrec_entail_ls_14.sb.smt2 | 8318512 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.02 | 2394.21 | 2803368.0 | starexec-unknown | unsat |
433162079 | qf_shid_entl/ls_nonrec_entail_ls_15.sb.smt2 | 8318461 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.01 | 2394.33 | 2783988.0 | starexec-unknown | unsat |
433162200 | qf_shid_entl/ls_nonrec_entail_ls_16.sb.smt2 | 8318582 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.1 | 2394.42 | 3250008.0 | starexec-unknown | unsat |
433162302 | qf_shid_entl/ls_odd_append_tl_entails_ls.sb.smt2 | 8318684 | SLEEK | 20564 | default | 304221 | complete | 0.130946 | 0.124077 | 113176.0 | unsat | unsat |
433162176 | qf_shid_entl/ls_odd_append_tl_entails_ls_even.sb.smt2 | 8318558 | SLEEK | 20564 | default | 304221 | complete | 0.109773 | 0.103726 | 113176.0 | unsat | unsat |
433162318 | qf_shid_entl/ls_odd_entails_ls.sb.smt2 | 8318700 | SLEEK | 20564 | default | 304221 | complete | 0.119065 | 0.112738 | 113176.0 | unsat | unsat |
433162307 | qf_shid_entl/ls_odd_join_entails_ls.sb.smt2 | 8318689 | SLEEK | 20564 | default | 304221 | complete | 0.131162 | 0.124008 | 113176.0 | sat | unsat |
433162070 | qf_shid_entl/ls_odd_join_entails_ls_even.sb.smt2 | 8318452 | SLEEK | 20564 | default | 304221 | complete | 0.107282 | 0.101331 | 113176.0 | unsat | unsat |
433162163 | qf_shid_entl/ls_odd_join_ls_entails_ls.sb.smt2 | 8318545 | SLEEK | 20564 | default | 304221 | complete | 0.168486 | 0.160568 | 113176.0 | unsat | unsat |
433162165 | qf_shid_entl/nll-vc01.smt2 | 8318547 | SLEEK | 20564 | default | 304221 | complete | 0.975899 | 0.968668 | 253592.0 | unsat | unsat |
433162047 | qf_shid_entl/nll-vc02.smt2 | 8318429 | SLEEK | 20564 | default | 304221 | complete | 0.979629 | 0.972928 | 253588.0 | unsat | unsat |
433162091 | qf_shid_entl/nll-vc03.smt2 | 8318473 | SLEEK | 20564 | default | 304221 | complete | 1.07947 | 1.06981 | 253588.0 | unsat | unsat |
433162312 | qf_shid_entl/nll-vc04.smt2 | 8318694 | SLEEK | 20564 | default | 304221 | complete | 1.61127 | 1.59363 | 253744.0 | unsat | unsat |
433162195 | qf_shid_entl/nll-vc05.smt2 | 8318577 | SLEEK | 20564 | default | 304221 | complete | 2.13964 | 1.08819 | 253700.0 | unsat | unsat |
433162071 | qf_shid_entl/nll-vc06.smt2 | 8318453 | SLEEK | 20564 | default | 304221 | complete | 1.14125 | 1.13344 | 253744.0 | unsat | sat |
433162116 | qf_shid_entl/nll-vc07.smt2 | 8318498 | SLEEK | 20564 | default | 304221 | complete | 1.14457 | 1.13309 | 253752.0 | unsat | unsat |
433162258 | qf_shid_entl/nll-vc08.smt2 | 8318640 | SLEEK | 20564 | default | 304221 | complete | 1.89627 | 1.87611 | 256660.0 | unsat | unsat |
433162226 | qf_shid_entl/nll-vc09.smt2 | 8318608 | SLEEK | 20564 | default | 304221 | complete | 1.23661 | 1.22358 | 253748.0 | unsat | unsat |
433162255 | qf_shid_entl/nll-vc10.smt2 | 8318637 | SLEEK | 20564 | default | 304221 | complete | 1.58013 | 1.5622 | 255780.0 | unsat | unsat |
433162221 | qf_shid_entl/nll-vc11.smt2 | 8318603 | SLEEK | 20564 | default | 304221 | complete | 1.29871 | 1.28553 | 254336.0 | unsat | unsat |
433162013 | qf_shid_entl/nll-vc12.smt2 | 8318395 | SLEEK | 20564 | default | 304221 | complete | 0.993208 | 0.98474 | 253588.0 | unsat | unsat |
433162136 | qf_shid_entl/nll-vc13.smt2 | 8318518 | SLEEK | 20564 | default | 304221 | complete | 1.07844 | 1.06971 | 253744.0 | sat | sat |
433162271 | qf_shid_entl/nll-vc14.smt2 | 8318653 | SLEEK | 20564 | default | 304221 | complete | 1.28599 | 1.27096 | 253752.0 | sat | sat |
433162236 | qf_shid_entl/nll-vc15.smt2 | 8318618 | SLEEK | 20564 | default | 304221 | complete | 1.07959 | 1.07125 | 253728.0 | sat | sat |
433162033 | qf_shid_entl/nll-vc16.smt2 | 8318415 | SLEEK | 20564 | default | 304221 | complete | 1.22651 | 1.21685 | 253744.0 | sat | sat |
433162156 | qf_shid_entl/nll-vc17.smt2 | 8318538 | SLEEK | 20564 | default | 304221 | complete | 3.34169 | 3.3088 | 263784.0 | sat | sat |
433162295 | qf_shid_entl/nll-vc18.smt2 | 8318677 | SLEEK | 20564 | default | 304221 | complete | 3.56333 | 3.52036 | 258856.0 | sat | sat |
433162182 | qf_shid_entl/nll-vc19.smt2 | 8318564 | SLEEK | 20564 | default | 304221 | complete | 4.89569 | 4.84547 | 268032.0 | sat | sat |
433162113 | qf_shid_entl/node-dll-rev-dll-entails-dll.smt2 | 8318495 | SLEEK | 20564 | default | 304221 | complete | 0.181368 | 0.173295 | 113176.0 | unsat | unsat |
433162106 | qf_shid_entl/node-node-dll-entails-dll.smt2 | 8318488 | SLEEK | 20564 | default | 304221 | complete | 0.123079 | 0.116325 | 113176.0 | unsat | unsat |
433162227 | qf_shid_entl/node-tll-tll-entails-tll.smt2 | 8318609 | SLEEK | 20564 | default | 304221 | complete | 0.099555 | 0.0943331 | 113176.0 | unsat | unsat |
433162115 | qf_shid_entl/odd-lseg3_slk-1.smt2 | 8318497 | SLEEK | 20564 | default | 304221 | complete | 0.064898 | 0.0606369 | 113176.0 | sat | sat |
433162310 | qf_shid_entl/odd-lseg3_slk-2.smt2 | 8318692 | SLEEK | 20564 | default | 304221 | complete | 0.059961 | 0.055601 | 113176.0 | unsat | unsat |
433162197 | qf_shid_entl/odd-lseg3_slk-3.smt2 | 8318579 | SLEEK | 20564 | default | 304221 | complete | 0.078327 | 0.073658 | 113176.0 | unsat | unsat |
433162050 | qf_shid_entl/odd-lseg3_slk-4.smt2 | 8318432 | SLEEK | 20564 | default | 304221 | complete | 0.067001 | 0.062349 | 113176.0 | sat | sat |
433162089 | qf_shid_entl/odd-lseg3_slk-5.smt2 | 8318471 | SLEEK | 20564 | default | 304221 | complete | 0.074967 | 0.070513 | 113176.0 | sat | unsat |
433162281 | qf_shid_entl/odd-lseg3_slk-6.smt2 | 8318663 | SLEEK | 20564 | default | 304221 | complete | 0.088077 | 0.083334 | 113176.0 | unsat | sat |
433162167 | qf_shid_entl/odd-lseg3_slk-7.smt2 | 8318549 | SLEEK | 20564 | default | 304221 | complete | 0.061945 | 0.0578821 | 113176.0 | unsat | unsat |
433162111 | qf_shid_entl/skl2-vc01.smt2 | 8318493 | SLEEK | 20564 | default | 304221 | complete | 0.987332 | 0.981105 | 253896.0 | unsat | unsat |
433162314 | qf_shid_entl/skl2-vc02.smt2 | 8318696 | SLEEK | 20564 | default | 304221 | complete | 0.993169 | 0.986733 | 253892.0 | unsat | unsat |
433162201 | qf_shid_entl/skl2-vc03.smt2 | 8318583 | SLEEK | 20564 | default | 304221 | complete | 59.5319 | 59.2349 | 327316.0 | sat | unsat |
433162046 | qf_shid_entl/skl2-vc04.smt2 | 8318428 | SLEEK | 20564 | default | 304221 | complete | 1.07675 | 1.06787 | 254056.0 | unsat | unsat |
433162088 | qf_shid_entl/skl2-vc05.smt2 | 8318470 | SLEEK | 20564 | default | 304221 | complete | 2.72963 | 2.69454 | 256084.0 | sat | sat |
433162285 | qf_shid_entl/skl2-vc06.smt2 | 8318667 | SLEEK | 20564 | default | 304221 | complete | 4.47182 | 4.40334 | 259160.0 | sat | sat |
433162172 | qf_shid_entl/skl2-vc07.smt2 | 8318554 | SLEEK | 20564 | default | 304221 | complete | 206.996 | 204.654 | 525556.0 | unsat | sat |
433162127 | qf_shid_entl/skl3-vc01.smt2 | 8318509 | SLEEK | 20564 | default | 304221 | complete | 4.94816 | 4.93848 | 256692.0 | unsat | unsat |
433162324 | qf_shid_entl/skl3-vc02.smt2 | 8318706 | SLEEK | 20564 | default | 304221 | complete | 82.2464 | 81.9754 | 302364.0 | sat | sat |
433162210 | qf_shid_entl/skl3-vc03.smt2 | 8318592 | SLEEK | 20564 | default | 304221 | complete | 1150.44 | 1149.79 | 354136.0 | unsat | unsat |
433162055 | qf_shid_entl/skl3-vc04.smt2 | 8318437 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.01 | 2396.54 | 745500.0 | starexec-unknown | unsat |
433162102 | qf_shid_entl/skl3-vc05.smt2 | 8318484 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.03 | 2399.69 | 680600.0 | starexec-unknown | unsat |
433162296 | qf_shid_entl/skl3-vc06.smt2 | 8318678 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.08 | 2399.52 | 738300.0 | starexec-unknown | unsat |
433162179 | qf_shid_entl/skl3-vc07.smt2 | 8318561 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.07 | 2394.45 | 872304.0 | starexec-unknown | unsat |
433162034 | qf_shid_entl/skl3-vc08.smt2 | 8318416 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.01 | 2397.05 | 687268.0 | starexec-unknown | unsat |
433162155 | qf_shid_entl/skl3-vc09.smt2 | 8318537 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.08 | 2396.55 | 1066464.0 | starexec-unknown | unsat |
433162040 | qf_shid_entl/skl3-vc10.smt2 | 8318422 | SLEEK | 20564 | default | 304221 | complete | 5.25823 | 5.24496 | 256688.0 | unsat | unsat |
433162164 | qf_shid_entl/skl3-vc11.smt2 | 8318546 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.01 | 2396.04 | 813636.0 | starexec-unknown | sat |
433162279 | qf_shid_entl/skl3-vc12.smt2 | 8318661 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.03 | 2399.18 | 639988.0 | starexec-unknown | sat |
433162157 | qf_shid_entl/sll-vc01.smt2 | 8318539 | SLEEK | 20564 | default | 304221 | complete | 0.074943 | 0.070305 | 113176.0 | sat | sat |
433162268 | qf_shid_entl/sll-vc02.smt2 | 8318650 | SLEEK | 20564 | default | 304221 | complete | 0.075346 | 0.0706679 | 113176.0 | sat | sat |
433162058 | qf_shid_entl/tll-pp-entails-tll-pp-rev.smt2 | 8318440 | SLEEK | 20564 | default | 304221 | complete | 0.139669 | 0.133193 | 113176.0 | sat | unsat |
433162262 | qf_shid_entl/tll-pp-rev-entails-tll-pp.smt2 | 8318644 | SLEEK | 20564 | default | 304221 | complete | 0.181067 | 0.174413 | 113176.0 | sat | unsat |
433162171 | qf_shid_entl/tll-ravioli.smt2 | 8318553 | SLEEK | 20564 | default | 304221 | complete | 361.68 | 361.72 | 1.0009492E7 | starexec-unknown | unsat |
433162303 | qf_shid_entl/tll_slk-1.smt2 | 8318685 | SLEEK | 20564 | default | 304221 | complete | 0.110932 | 0.105323 | 113176.0 | unsat | unsat |
433162015 | qf_shid_entl/tll_slk-10.smt2 | 8318397 | SLEEK | 20564 | default | 304221 | complete | 0.115668 | 0.110266 | 113176.0 | unsat | unsat |
433162137 | qf_shid_entl/tll_slk-11.smt2 | 8318519 | SLEEK | 20564 | default | 304221 | complete | 0.1156 | 0.109845 | 113176.0 | unsat | unsat |
433162248 | qf_shid_entl/tll_slk-12.smt2 | 8318630 | SLEEK | 20564 | default | 304221 | complete | 0.125882 | 0.120258 | 113176.0 | unsat | unsat |
433162215 | qf_shid_entl/tll_slk-13.smt2 | 8318597 | SLEEK | 20564 | default | 304221 | complete | 0.168404 | 0.161872 | 113176.0 | unsat | unsat |
433162108 | qf_shid_entl/tll_slk-2.smt2 | 8318490 | SLEEK | 20564 | default | 304221 | complete | 0.108852 | 0.103668 | 113176.0 | unsat | unsat |
433162067 | qf_shid_entl/tll_slk-3.smt2 | 8318449 | SLEEK | 20564 | default | 304221 | complete | 0.111906 | 0.106794 | 113176.0 | unsat | unsat |
433162175 | qf_shid_entl/tll_slk-4.smt2 | 8318557 | SLEEK | 20564 | default | 304221 | complete | 0.123355 | 0.117832 | 113176.0 | unsat | unsat |
433162288 | qf_shid_entl/tll_slk-5.smt2 | 8318670 | SLEEK | 20564 | default | 304221 | complete | 0.111827 | 0.106475 | 113176.0 | unsat | unsat |
433162097 | qf_shid_entl/tll_slk-6.smt2 | 8318479 | SLEEK | 20564 | default | 304221 | complete | 0.114128 | 0.108311 | 113176.0 | unsat | unsat |
433162054 | qf_shid_entl/tll_slk-7.smt2 | 8318436 | SLEEK | 20564 | default | 304221 | complete | 0.113777 | 0.108462 | 113176.0 | unsat | unsat |
433162241 | qf_shid_entl/tll_slk-8.smt2 | 8318623 | SLEEK | 20564 | default | 304221 | complete | 0.119116 | 0.113613 | 113176.0 | unsat | unsat |
433162274 | qf_shid_entl/tll_slk-9.smt2 | 8318656 | SLEEK | 20564 | default | 304221 | complete | 0.112891 | 0.107722 | 113176.0 | unsat | unsat |
433162320 | qf_shid_entl/tree-pp-entails-tree-pp-rev.smt2 | 8318702 | SLEEK | 20564 | default | 304221 | complete | 0.103544 | 0.0981021 | 113176.0 | sat | unsat |
433162160 | qf_shid_entl/tree-pp-rev-entails-tree-pp.smt2 | 8318542 | SLEEK | 20564 | default | 304221 | complete | 0.151273 | 0.144493 | 113176.0 | sat | unsat |
433162166 | qf_shid_entl/tseg_join_2.sb.smt2 | 8318548 | SLEEK | 20564 | default | 304221 | complete | 0.259369 | 0.250874 | 113176.0 | unsat | unsat |
433162096 | qf_shid_entl/tseg_join_2_entail_tree.sb.smt2 | 8318478 | SLEEK | 20564 | default | 304221 | complete | 0.094551 | 0.0892299 | 113176.0 | sat | unsat |
433162021 | qf_shid_entl/tseg_join_tree.sb.smt2 | 8318403 | SLEEK | 20564 | default | 304221 | complete | 0.084795 | 0.0800361 | 113176.0 | unsat | unsat |
433162277 | qf_shid_entl/tseg_join_tree_entail_tseg.sb.smt2 | 8318659 | SLEEK | 20564 | default | 304221 | complete | 0.21729 | 0.210414 | 113176.0 | unsat | unsat |