| 433167094 | qf_shls_entl/bolognesa-10-e01.tptp.smt2 | 8317378 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013479 | 0.0167889 | 0.0 | sat | sat |
| 433167085 | qf_shls_entl/bolognesa-10-e02.tptp.smt2 | 8317369 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012699 | 0.0127559 | 113176.0 | unsat | unsat |
| 433167075 | qf_shls_entl/bolognesa-10-e03.tptp.smt2 | 8317359 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013108 | 0.0131661 | 113176.0 | unsat | unsat |
| 433167057 | qf_shls_entl/bolognesa-10-e04.tptp.smt2 | 8317341 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014414 | 0.0144669 | 113176.0 | sat | sat |
| 433167052 | qf_shls_entl/bolognesa-10-e05.tptp.smt2 | 8317336 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01324 | 0.0132669 | 113176.0 | sat | sat |
| 433167043 | qf_shls_entl/bolognesa-10-e06.tptp.smt2 | 8317327 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015169 | 0.0152189 | 113176.0 | sat | sat |
| 433167032 | qf_shls_entl/bolognesa-10-e07.tptp.smt2 | 8317316 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013678 | 0.0137121 | 113176.0 | sat | sat |
| 433167153 | qf_shls_entl/bolognesa-10-e08.tptp.smt2 | 8317437 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014147 | 0.0142301 | 113176.0 | sat | sat |
| 433167161 | qf_shls_entl/bolognesa-10-e09.tptp.smt2 | 8317445 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015305 | 0.0153341 | 113176.0 | sat | sat |
| 433166978 | qf_shls_entl/bolognesa-10-e10.tptp.smt2 | 8317262 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013611 | 0.0136399 | 113176.0 | unsat | unsat |
| 433166967 | qf_shls_entl/bolognesa-11-e01.tptp.smt2 | 8317251 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013078 | 0.01311 | 113176.0 | unsat | unsat |
| 433166997 | qf_shls_entl/bolognesa-11-e02.tptp.smt2 | 8317281 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013194 | 0.013259 | 113176.0 | unsat | unsat |
| 433166986 | qf_shls_entl/bolognesa-11-e03.tptp.smt2 | 8317270 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015306 | 0.0153499 | 113176.0 | unsat | unsat |
| 433167005 | qf_shls_entl/bolognesa-11-e04.tptp.smt2 | 8317289 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014397 | 0.0144251 | 113176.0 | unsat | unsat |
| 433167000 | qf_shls_entl/bolognesa-11-e05.tptp.smt2 | 8317284 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013935 | 0.0139721 | 113176.0 | sat | sat |
| 433167025 | qf_shls_entl/bolognesa-11-e06.tptp.smt2 | 8317309 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017482 | 0.0175039 | 113176.0 | sat | sat |
| 433167014 | qf_shls_entl/bolognesa-11-e07.tptp.smt2 | 8317298 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012838 | 0.0129101 | 113176.0 | unsat | unsat |
| 433166875 | qf_shls_entl/bolognesa-11-e08.tptp.smt2 | 8317159 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015743 | 0.015827 | 113176.0 | unsat | unsat |
| 433166885 | qf_shls_entl/bolognesa-11-e09.tptp.smt2 | 8317169 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013788 | 0.0138429 | 113176.0 | unsat | unsat |
| 433167067 | qf_shls_entl/bolognesa-11-e10.tptp.smt2 | 8317351 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016646 | 0.016709 | 113176.0 | sat | sat |
| 433167109 | qf_shls_entl/bolognesa-12-e01.tptp.smt2 | 8317393 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014475 | 0.01454 | 113176.0 | unsat | unsat |
| 433167131 | qf_shls_entl/bolognesa-12-e02.tptp.smt2 | 8317415 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014651 | 0.0147131 | 113176.0 | sat | sat |
| 433167123 | qf_shls_entl/bolognesa-12-e03.tptp.smt2 | 8317407 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01557 | 0.015637 | 113176.0 | sat | sat |
| 433167142 | qf_shls_entl/bolognesa-12-e04.tptp.smt2 | 8317426 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016334 | 0.01636 | 113176.0 | sat | sat |
| 433167133 | qf_shls_entl/bolognesa-12-e05.tptp.smt2 | 8317417 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013594 | 0.013632 | 113176.0 | unsat | unsat |
| 433167164 | qf_shls_entl/bolognesa-12-e06.tptp.smt2 | 8317448 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014076 | 0.0147921 | 0.0 | unsat | unsat |
| 433167155 | qf_shls_entl/bolognesa-12-e07.tptp.smt2 | 8317439 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01434 | 0.014366 | 113176.0 | sat | sat |
| 433167034 | qf_shls_entl/bolognesa-12-e08.tptp.smt2 | 8317318 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01727 | 0.0173389 | 113176.0 | unsat | unsat |
| 433167044 | qf_shls_entl/bolognesa-12-e09.tptp.smt2 | 8317328 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.034861 | 0.0349261 | 113176.0 | unsat | unsat |
| 433166918 | qf_shls_entl/bolognesa-12-e10.tptp.smt2 | 8317202 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.019515 | 0.019557 | 113176.0 | unsat | unsat |
| 433166947 | qf_shls_entl/bolognesa-13-e01.tptp.smt2 | 8317231 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016693 | 0.016771 | 113176.0 | unsat | unsat |
| 433166933 | qf_shls_entl/bolognesa-13-e02.tptp.smt2 | 8317217 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.022449 | 0.02252 | 113176.0 | sat | sat |
| 433166922 | qf_shls_entl/bolognesa-13-e03.tptp.smt2 | 8317206 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.019016 | 0.01905 | 113176.0 | unsat | unsat |
| 433166904 | qf_shls_entl/bolognesa-13-e04.tptp.smt2 | 8317188 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01452 | 0.014566 | 113176.0 | sat | sat |
| 433166897 | qf_shls_entl/bolognesa-13-e05.tptp.smt2 | 8317181 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.0193 | 0.019337 | 113176.0 | sat | sat |
| 433166890 | qf_shls_entl/bolognesa-13-e06.tptp.smt2 | 8317174 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.027425 | 0.0274549 | 113176.0 | sat | sat |
| 433166877 | qf_shls_entl/bolognesa-13-e07.tptp.smt2 | 8317161 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016582 | 0.016615 | 113176.0 | unsat | unsat |
| 433167016 | qf_shls_entl/bolognesa-13-e08.tptp.smt2 | 8317300 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017213 | 0.017278 | 113176.0 | unsat | unsat |
| 433167026 | qf_shls_entl/bolognesa-13-e09.tptp.smt2 | 8317310 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.018552 | 0.018636 | 113176.0 | sat | sat |
| 433167119 | qf_shls_entl/bolognesa-13-e10.tptp.smt2 | 8317403 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014746 | 0.0147929 | 113176.0 | sat | sat |
| 433166981 | qf_shls_entl/bolognesa-14-e01.tptp.smt2 | 8317265 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015256 | 0.015298 | 113176.0 | unsat | unsat |
| 433166973 | qf_shls_entl/bolognesa-14-e02.tptp.smt2 | 8317257 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.018419 | 0.0184821 | 113176.0 | unsat | unsat |
| 433166958 | qf_shls_entl/bolognesa-14-e03.tptp.smt2 | 8317242 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.098174 | 0.0982459 | 113176.0 | unsat | unsat |
| 433167027 | qf_shls_entl/bolognesa-14-e04.tptp.smt2 | 8317311 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.027571 | 0.0276451 | 113176.0 | unsat | unsat |
| 433167020 | qf_shls_entl/bolognesa-14-e05.tptp.smt2 | 8317304 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016064 | 0.0161059 | 113176.0 | sat | sat |
| 433167012 | qf_shls_entl/bolognesa-14-e06.tptp.smt2 | 8317296 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.018138 | 0.0181529 | 113176.0 | unsat | unsat |
| 433167002 | qf_shls_entl/bolognesa-14-e07.tptp.smt2 | 8317286 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.019324 | 0.019384 | 113176.0 | unsat | unsat |
| 433166902 | qf_shls_entl/bolognesa-14-e08.tptp.smt2 | 8317186 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.060463 | 0.0605069 | 113176.0 | unsat | unsat |
| 433166908 | qf_shls_entl/bolognesa-14-e09.tptp.smt2 | 8317192 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.0143 | 0.0143379 | 113176.0 | unsat | unsat |
| 433167091 | qf_shls_entl/bolognesa-14-e10.tptp.smt2 | 8317375 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015679 | 0.0157139 | 113176.0 | sat | sat |
| 433167072 | qf_shls_entl/bolognesa-15-e01.tptp.smt2 | 8317356 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.024082 | 0.0241439 | 113176.0 | unsat | unsat |
| 433167098 | qf_shls_entl/bolognesa-15-e02.tptp.smt2 | 8317382 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.035222 | 0.035246 | 113176.0 | unsat | unsat |
| 433167087 | qf_shls_entl/bolognesa-15-e03.tptp.smt2 | 8317371 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.018114 | 0.018154 | 113176.0 | sat | sat |
| 433167046 | qf_shls_entl/bolognesa-15-e04.tptp.smt2 | 8317330 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.032078 | 0.032109 | 113176.0 | unsat | unsat |
| 433167038 | qf_shls_entl/bolognesa-15-e05.tptp.smt2 | 8317322 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.024791 | 0.0248229 | 113176.0 | unsat | unsat |
| 433167065 | qf_shls_entl/bolognesa-15-e06.tptp.smt2 | 8317349 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014288 | 0.014364 | 113176.0 | unsat | unsat |
| 433167053 | qf_shls_entl/bolognesa-15-e07.tptp.smt2 | 8317337 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.024876 | 0.0248851 | 113176.0 | unsat | unsat |
| 433167140 | qf_shls_entl/bolognesa-15-e08.tptp.smt2 | 8317424 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.018209 | 0.0182551 | 113176.0 | sat | sat |
| 433167145 | qf_shls_entl/bolognesa-15-e09.tptp.smt2 | 8317429 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01709 | 0.017114 | 113176.0 | sat | sat |
| 433166962 | qf_shls_entl/bolognesa-15-e10.tptp.smt2 | 8317246 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.024137 | 0.0242781 | 113176.0 | unsat | unsat |
| 433166920 | qf_shls_entl/bolognesa-16-e01.tptp.smt2 | 8317204 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.031154 | 0.0312201 | 113176.0 | unsat | unsat |
| 433166950 | qf_shls_entl/bolognesa-16-e02.tptp.smt2 | 8317234 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.024849 | 0.0248841 | 113176.0 | sat | sat |
| 433166937 | qf_shls_entl/bolognesa-16-e03.tptp.smt2 | 8317221 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.023753 | 0.02378 | 113176.0 | sat | sat |
| 433166891 | qf_shls_entl/bolognesa-16-e04.tptp.smt2 | 8317175 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.035783 | 0.035811 | 113176.0 | sat | sat |
| 433166879 | qf_shls_entl/bolognesa-16-e05.tptp.smt2 | 8317163 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.037927 | 0.0380099 | 113176.0 | unsat | unsat |
| 433166914 | qf_shls_entl/bolognesa-16-e06.tptp.smt2 | 8317198 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.022092 | 0.022159 | 113176.0 | sat | sat |
| 433166903 | qf_shls_entl/bolognesa-16-e07.tptp.smt2 | 8317187 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016736 | 0.0167809 | 113176.0 | unsat | unsat |
| 433167004 | qf_shls_entl/bolognesa-16-e08.tptp.smt2 | 8317288 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.033638 | 0.0337231 | 113176.0 | unsat | unsat |
| 433167013 | qf_shls_entl/bolognesa-16-e09.tptp.smt2 | 8317297 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016354 | 0.016396 | 113176.0 | unsat | unsat |
| 433167108 | qf_shls_entl/bolognesa-16-e10.tptp.smt2 | 8317392 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.021248 | 0.0213259 | 113176.0 | sat | sat |
| 433167122 | qf_shls_entl/bolognesa-17-e01.tptp.smt2 | 8317406 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.021714 | 0.021748 | 113176.0 | unsat | unsat |
| 433167111 | qf_shls_entl/bolognesa-17-e02.tptp.smt2 | 8317395 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.022965 | 0.023027 | 113176.0 | sat | sat |
| 433167102 | qf_shls_entl/bolognesa-17-e03.tptp.smt2 | 8317386 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.021273 | 0.0213131 | 113176.0 | sat | sat |
| 433167166 | qf_shls_entl/bolognesa-17-e04.tptp.smt2 | 8317450 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.032246 | 0.032313 | 113176.0 | unsat | unsat |
| 433167158 | qf_shls_entl/bolognesa-17-e05.tptp.smt2 | 8317442 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.023623 | 0.0236659 | 113176.0 | unsat | unsat |
| 433167150 | qf_shls_entl/bolognesa-17-e06.tptp.smt2 | 8317434 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.104805 | 0.104866 | 113176.0 | unsat | unsat |
| 433167141 | qf_shls_entl/bolognesa-17-e07.tptp.smt2 | 8317425 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.033849 | 0.0479499 | 113176.0 | unsat | unsat |
| 433167056 | qf_shls_entl/bolognesa-17-e08.tptp.smt2 | 8317340 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.028927 | 0.028999 | 113176.0 | sat | sat |
| 433167066 | qf_shls_entl/bolognesa-17-e09.tptp.smt2 | 8317350 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016257 | 0.0162871 | 113176.0 | unsat | unsat |
| 433166945 | qf_shls_entl/bolognesa-17-e10.tptp.smt2 | 8317229 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.226869 | 0.226916 | 113176.0 | unsat | unsat |
| 433167151 | qf_shls_entl/bolognesa-18-e01.tptp.smt2 | 8317435 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.073781 | 0.073861 | 113176.0 | unsat | unsat |
| 433167157 | qf_shls_entl/bolognesa-18-e02.tptp.smt2 | 8317441 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.023384 | 0.0234641 | 113176.0 | sat | sat |
| 433167165 | qf_shls_entl/bolognesa-18-e03.tptp.smt2 | 8317449 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01928 | 0.0193231 | 113176.0 | sat | sat |
| 433167103 | qf_shls_entl/bolognesa-18-e04.tptp.smt2 | 8317387 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.022945 | 0.0230101 | 113176.0 | sat | sat |
| 433167112 | qf_shls_entl/bolognesa-18-e05.tptp.smt2 | 8317396 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.021923 | 0.0219789 | 113176.0 | sat | sat |
| 433167121 | qf_shls_entl/bolognesa-18-e06.tptp.smt2 | 8317405 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.034998 | 0.035027 | 113176.0 | sat | sat |
| 433167129 | qf_shls_entl/bolognesa-18-e07.tptp.smt2 | 8317413 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.023238 | 0.0232919 | 113176.0 | sat | sat |
| 433167082 | qf_shls_entl/bolognesa-18-e08.tptp.smt2 | 8317366 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.023951 | 0.0239841 | 113176.0 | sat | sat |
| 433167073 | qf_shls_entl/bolognesa-18-e09.tptp.smt2 | 8317357 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.023434 | 0.023472 | 113176.0 | sat | sat |
| 433166887 | qf_shls_entl/bolognesa-18-e10.tptp.smt2 | 8317171 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.020622 | 0.020659 | 113176.0 | unsat | unsat |
| 433166913 | qf_shls_entl/bolognesa-19-e01.tptp.smt2 | 8317197 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.084494 | 0.0845389 | 113176.0 | sat | sat |
| 433166880 | qf_shls_entl/bolognesa-19-e02.tptp.smt2 | 8317164 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.035366 | 0.0353929 | 113176.0 | sat | sat |
| 433166892 | qf_shls_entl/bolognesa-19-e03.tptp.smt2 | 8317176 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.021915 | 0.021973 | 113176.0 | sat | sat |
| 433166936 | qf_shls_entl/bolognesa-19-e04.tptp.smt2 | 8317220 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.036684 | 0.0367659 | 113176.0 | sat | sat |
| 433166949 | qf_shls_entl/bolognesa-19-e05.tptp.smt2 | 8317233 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.052112 | 0.0521999 | 113176.0 | unsat | unsat |
| 433166921 | qf_shls_entl/bolognesa-19-e06.tptp.smt2 | 8317205 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.021621 | 0.0216679 | 113176.0 | unsat | unsat |
| 433166930 | qf_shls_entl/bolognesa-19-e07.tptp.smt2 | 8317214 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.034543 | 0.034576 | 113176.0 | sat | sat |
| 433166993 | qf_shls_entl/bolognesa-19-e08.tptp.smt2 | 8317277 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.020362 | 0.0203969 | 113176.0 | unsat | unsat |
| 433166984 | qf_shls_entl/bolognesa-19-e09.tptp.smt2 | 8317268 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.021704 | 0.021775 | 113176.0 | sat | sat |
| 433167162 | qf_shls_entl/bolognesa-19-e10.tptp.smt2 | 8317446 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.028396 | 0.0284361 | 113176.0 | unsat | unsat |
| 433166882 | qf_shls_entl/bolognesa-20-e01.tptp.smt2 | 8317166 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.031461 | 0.0315361 | 113176.0 | sat | sat |
| 433166910 | qf_shls_entl/bolognesa-20-e02.tptp.smt2 | 8317194 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.048694 | 0.048766 | 113176.0 | sat | sat |
| 433166901 | qf_shls_entl/bolognesa-20-e03.tptp.smt2 | 8317185 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.03759 | 0.0376111 | 113176.0 | sat | sat |
| 433166929 | qf_shls_entl/bolognesa-20-e04.tptp.smt2 | 8317213 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.03378 | 0.0338381 | 113176.0 | sat | sat |
| 433166916 | qf_shls_entl/bolognesa-20-e05.tptp.smt2 | 8317200 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.036983 | 0.037045 | 113176.0 | sat | sat |
| 433166951 | qf_shls_entl/bolognesa-20-e06.tptp.smt2 | 8317235 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01497 | 0.0150181 | 113176.0 | unsat | unsat |
| 433166939 | qf_shls_entl/bolognesa-20-e07.tptp.smt2 | 8317223 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.093652 | 0.0937291 | 113176.0 | unsat | unsat |
| 433166959 | qf_shls_entl/bolognesa-20-e08.tptp.smt2 | 8317243 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.026673 | 0.026706 | 113176.0 | unsat | unsat |
| 433166972 | qf_shls_entl/bolognesa-20-e09.tptp.smt2 | 8317256 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.064613 | 0.064657 | 113176.0 | sat | sat |
| 433167134 | qf_shls_entl/bolognesa-20-e10.tptp.smt2 | 8317418 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.058728 | 0.0587681 | 113176.0 | unsat | unsat |
| 433166888 | qf_shls_entl/clones-01-e01.tptp.smt2 | 8317172 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011392 | 0.0114231 | 113176.0 | unsat | unsat |
| 433166896 | qf_shls_entl/clones-01-e02.tptp.smt2 | 8317180 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011777 | 0.0118809 | 113176.0 | unsat | unsat |
| 433166905 | qf_shls_entl/clones-01-e03.tptp.smt2 | 8317189 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012208 | 0.012242 | 113176.0 | unsat | unsat |
| 433166923 | qf_shls_entl/clones-01-e04.tptp.smt2 | 8317207 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01146 | 0.011487 | 113176.0 | unsat | unsat |
| 433166932 | qf_shls_entl/clones-01-e05.tptp.smt2 | 8317216 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011456 | 0.0114949 | 113176.0 | unsat | unsat |
| 433166946 | qf_shls_entl/clones-01-e06.tptp.smt2 | 8317230 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011407 | 0.0114841 | 113176.0 | unsat | unsat |
| 433166956 | qf_shls_entl/clones-01-e07.tptp.smt2 | 8317240 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.008881 | 0.00928589 | 0.0 | sat | sat |
| 433166977 | qf_shls_entl/clones-01-e08.tptp.smt2 | 8317261 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.008666 | 0.00946495 | 0.0 | sat | sat |
| 433166969 | qf_shls_entl/clones-01-e09.tptp.smt2 | 8317253 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.009321 | 0.00939508 | 113176.0 | sat | sat |
| 433167149 | qf_shls_entl/clones-01-e10.tptp.smt2 | 8317433 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.008788 | 0.00945898 | 0.0 | sat | sat |
| 433167041 | qf_shls_entl/clones-02-e01.tptp.smt2 | 8317325 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011562 | 0.011601 | 113176.0 | unsat | unsat |
| 433167049 | qf_shls_entl/clones-02-e02.tptp.smt2 | 8317333 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012193 | 0.012227 | 113176.0 | unsat | unsat |
| 433167060 | qf_shls_entl/clones-02-e03.tptp.smt2 | 8317344 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012771 | 0.012827 | 113176.0 | unsat | unsat |
| 433167077 | qf_shls_entl/clones-02-e04.tptp.smt2 | 8317361 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011436 | 0.0114601 | 113176.0 | unsat | unsat |
| 433167083 | qf_shls_entl/clones-02-e05.tptp.smt2 | 8317367 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011589 | 0.0116279 | 113176.0 | unsat | unsat |
| 433167092 | qf_shls_entl/clones-02-e06.tptp.smt2 | 8317376 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011439 | 0.0114641 | 113176.0 | unsat | unsat |
| 433167100 | qf_shls_entl/clones-02-e07.tptp.smt2 | 8317384 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.009495 | 0.00951893 | 113176.0 | sat | sat |
| 433167114 | qf_shls_entl/clones-02-e08.tptp.smt2 | 8317398 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011753 | 0.011802 | 113176.0 | sat | sat |
| 433167107 | qf_shls_entl/clones-02-e09.tptp.smt2 | 8317391 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011894 | 0.0119211 | 113176.0 | sat | sat |
| 433167010 | qf_shls_entl/clones-02-e10.tptp.smt2 | 8317294 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.008374 | 0.00845412 | 0.0 | sat | sat |
| 433167022 | qf_shls_entl/clones-03-e01.tptp.smt2 | 8317306 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01234 | 0.0123761 | 113176.0 | unsat | unsat |
| 433166999 | qf_shls_entl/clones-03-e02.tptp.smt2 | 8317283 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012004 | 0.012038 | 113176.0 | unsat | unsat |
| 433167007 | qf_shls_entl/clones-03-e03.tptp.smt2 | 8317291 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011795 | 0.0118349 | 113176.0 | unsat | unsat |
| 433166987 | qf_shls_entl/clones-03-e04.tptp.smt2 | 8317271 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011425 | 0.0114591 | 113176.0 | unsat | unsat |
| 433166994 | qf_shls_entl/clones-03-e05.tptp.smt2 | 8317278 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01209 | 0.012125 | 113176.0 | unsat | unsat |
| 433166964 | qf_shls_entl/clones-03-e06.tptp.smt2 | 8317248 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011287 | 0.0113171 | 113176.0 | unsat | unsat |
| 433166976 | qf_shls_entl/clones-03-e07.tptp.smt2 | 8317260 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.009716 | 0.00979994 | 113176.0 | sat | sat |
| 433166954 | qf_shls_entl/clones-03-e08.tptp.smt2 | 8317238 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012487 | 0.0125149 | 113176.0 | sat | sat |
| 433166944 | qf_shls_entl/clones-03-e09.tptp.smt2 | 8317228 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012471 | 0.012502 | 113176.0 | sat | sat |
| 433167064 | qf_shls_entl/clones-03-e10.tptp.smt2 | 8317348 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.009416 | 0.00947206 | 113176.0 | sat | sat |
| 433166912 | qf_shls_entl/clones-04-e01.tptp.smt2 | 8317196 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011588 | 0.0116311 | 113176.0 | unsat | unsat |
| 433166878 | qf_shls_entl/clones-04-e02.tptp.smt2 | 8317162 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012267 | 0.0123239 | 113176.0 | unsat | unsat |
| 433166893 | qf_shls_entl/clones-04-e03.tptp.smt2 | 8317177 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011772 | 0.011825 | 113176.0 | unsat | unsat |
| 433166938 | qf_shls_entl/clones-04-e04.tptp.smt2 | 8317222 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011567 | 0.011628 | 113176.0 | unsat | unsat |
| 433166948 | qf_shls_entl/clones-04-e05.tptp.smt2 | 8317232 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013064 | 0.0131271 | 113176.0 | unsat | unsat |
| 433166919 | qf_shls_entl/clones-04-e06.tptp.smt2 | 8317203 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011242 | 0.0112689 | 113176.0 | unsat | unsat |
| 433166931 | qf_shls_entl/clones-04-e07.tptp.smt2 | 8317215 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014025 | 0.0174 | 0.0 | sat | sat |
| 433166992 | qf_shls_entl/clones-04-e08.tptp.smt2 | 8317276 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012942 | 0.012996 | 113176.0 | sat | sat |
| 433166985 | qf_shls_entl/clones-04-e09.tptp.smt2 | 8317269 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012322 | 0.012353 | 113176.0 | sat | sat |
| 433167163 | qf_shls_entl/clones-04-e10.tptp.smt2 | 8317447 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012105 | 0.01217 | 113176.0 | sat | sat |
| 433167148 | qf_shls_entl/clones-05-e01.tptp.smt2 | 8317432 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011931 | 0.0119699 | 113176.0 | unsat | unsat |
| 433167156 | qf_shls_entl/clones-05-e02.tptp.smt2 | 8317440 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01273 | 0.01277 | 113176.0 | unsat | unsat |
| 433167167 | qf_shls_entl/clones-05-e03.tptp.smt2 | 8317451 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012473 | 0.0125609 | 113176.0 | unsat | unsat |
| 433167104 | qf_shls_entl/clones-05-e04.tptp.smt2 | 8317388 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011601 | 0.0116639 | 113176.0 | unsat | unsat |
| 433167110 | qf_shls_entl/clones-05-e05.tptp.smt2 | 8317394 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012172 | 0.012204 | 113176.0 | unsat | unsat |
| 433167120 | qf_shls_entl/clones-05-e06.tptp.smt2 | 8317404 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012209 | 0.01228 | 113176.0 | unsat | unsat |
| 433167130 | qf_shls_entl/clones-05-e07.tptp.smt2 | 8317414 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012922 | 0.012976 | 113176.0 | sat | sat |
| 433167081 | qf_shls_entl/clones-05-e08.tptp.smt2 | 8317365 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013224 | 0.0132609 | 113176.0 | sat | sat |
| 433167074 | qf_shls_entl/clones-05-e09.tptp.smt2 | 8317358 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012937 | 0.0129821 | 113176.0 | sat | sat |
| 433166889 | qf_shls_entl/clones-05-e10.tptp.smt2 | 8317173 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012146 | 0.0121771 | 113176.0 | sat | sat |
| 433167008 | qf_shls_entl/clones-06-e01.tptp.smt2 | 8317292 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011735 | 0.0117759 | 113176.0 | unsat | unsat |
| 433167018 | qf_shls_entl/clones-06-e02.tptp.smt2 | 8317302 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.0121 | 0.012138 | 113176.0 | unsat | unsat |
| 433167031 | qf_shls_entl/clones-06-e03.tptp.smt2 | 8317315 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012116 | 0.012137 | 113176.0 | unsat | unsat |
| 433166960 | qf_shls_entl/clones-06-e04.tptp.smt2 | 8317244 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011409 | 0.011442 | 113176.0 | unsat | unsat |
| 433166970 | qf_shls_entl/clones-06-e05.tptp.smt2 | 8317254 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01218 | 0.01222 | 113176.0 | unsat | unsat |
| 433166980 | qf_shls_entl/clones-06-e06.tptp.smt2 | 8317264 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011766 | 0.011848 | 113176.0 | unsat | unsat |
| 433166991 | qf_shls_entl/clones-06-e07.tptp.smt2 | 8317275 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012871 | 0.0128899 | 113176.0 | sat | sat |
| 433166927 | qf_shls_entl/clones-06-e08.tptp.smt2 | 8317211 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014362 | 0.0144179 | 113176.0 | sat | sat |
| 433166917 | qf_shls_entl/clones-06-e09.tptp.smt2 | 8317201 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013313 | 0.0133779 | 113176.0 | sat | sat |
| 433167042 | qf_shls_entl/clones-06-e10.tptp.smt2 | 8317326 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013209 | 0.0132839 | 113176.0 | sat | sat |
| 433167062 | qf_shls_entl/clones-07-e01.tptp.smt2 | 8317346 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011675 | 0.0117089 | 113176.0 | unsat | unsat |
| 433167036 | qf_shls_entl/clones-07-e02.tptp.smt2 | 8317320 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012699 | 0.0127281 | 113176.0 | unsat | unsat |
| 433167047 | qf_shls_entl/clones-07-e03.tptp.smt2 | 8317331 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012616 | 0.0126609 | 113176.0 | unsat | unsat |
| 433167089 | qf_shls_entl/clones-07-e04.tptp.smt2 | 8317373 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012442 | 0.0124821 | 113176.0 | unsat | unsat |
| 433167097 | qf_shls_entl/clones-07-e05.tptp.smt2 | 8317381 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.0125 | 0.0125799 | 113176.0 | unsat | unsat |
| 433167069 | qf_shls_entl/clones-07-e06.tptp.smt2 | 8317353 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012556 | 0.0143991 | 0.0 | unsat | unsat |
| 433167079 | qf_shls_entl/clones-07-e07.tptp.smt2 | 8317363 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012873 | 0.012889 | 113176.0 | sat | sat |
| 433167126 | qf_shls_entl/clones-07-e08.tptp.smt2 | 8317410 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013964 | 0.0140131 | 113176.0 | sat | sat |
| 433167117 | qf_shls_entl/clones-07-e09.tptp.smt2 | 8317401 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014126 | 0.0141829 | 113176.0 | sat | sat |
| 433167024 | qf_shls_entl/clones-07-e10.tptp.smt2 | 8317308 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012936 | 0.012959 | 113176.0 | sat | sat |
| 433167070 | qf_shls_entl/clones-08-e01.tptp.smt2 | 8317354 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01171 | 0.011749 | 113176.0 | unsat | unsat |
| 433167096 | qf_shls_entl/clones-08-e02.tptp.smt2 | 8317380 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012444 | 0.0124709 | 113176.0 | unsat | unsat |
| 433167088 | qf_shls_entl/clones-08-e03.tptp.smt2 | 8317372 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012163 | 0.0121949 | 113176.0 | unsat | unsat |
| 433167048 | qf_shls_entl/clones-08-e04.tptp.smt2 | 8317332 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011664 | 0.0117159 | 113176.0 | unsat | unsat |
| 433167037 | qf_shls_entl/clones-08-e05.tptp.smt2 | 8317321 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013145 | 0.0132251 | 113176.0 | unsat | unsat |
| 433167061 | qf_shls_entl/clones-08-e06.tptp.smt2 | 8317345 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011683 | 0.0117129 | 113176.0 | unsat | unsat |
| 433167055 | qf_shls_entl/clones-08-e07.tptp.smt2 | 8317339 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014282 | 0.0143171 | 113176.0 | sat | sat |
| 433167137 | qf_shls_entl/clones-08-e08.tptp.smt2 | 8317421 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014506 | 0.0145451 | 113176.0 | sat | sat |
| 433167146 | qf_shls_entl/clones-08-e09.tptp.smt2 | 8317430 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014573 | 0.014599 | 113176.0 | sat | sat |
| 433166966 | qf_shls_entl/clones-08-e10.tptp.smt2 | 8317250 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013793 | 0.013868 | 113176.0 | sat | sat |
| 433166979 | qf_shls_entl/clones-09-e01.tptp.smt2 | 8317263 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012082 | 0.0121119 | 113176.0 | unsat | unsat |
| 433166971 | qf_shls_entl/clones-09-e02.tptp.smt2 | 8317255 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013341 | 0.0133691 | 113176.0 | unsat | unsat |
| 433166961 | qf_shls_entl/clones-09-e03.tptp.smt2 | 8317245 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013742 | 0.0149929 | 0.0 | unsat | unsat |
| 433167030 | qf_shls_entl/clones-09-e04.tptp.smt2 | 8317314 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011338 | 0.011381 | 113176.0 | unsat | unsat |
| 433167017 | qf_shls_entl/clones-09-e05.tptp.smt2 | 8317301 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012745 | 0.0128001 | 113176.0 | unsat | unsat |
| 433167009 | qf_shls_entl/clones-09-e06.tptp.smt2 | 8317293 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011356 | 0.0113961 | 113176.0 | unsat | unsat |
| 433167003 | qf_shls_entl/clones-09-e07.tptp.smt2 | 8317287 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012952 | 0.0129759 | 113176.0 | sat | sat |
| 433166899 | qf_shls_entl/clones-09-e08.tptp.smt2 | 8317183 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015074 | 0.0151399 | 113176.0 | sat | sat |
| 433166911 | qf_shls_entl/clones-09-e09.tptp.smt2 | 8317195 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014218 | 0.014256 | 113176.0 | sat | sat |
| 433167093 | qf_shls_entl/clones-09-e10.tptp.smt2 | 8317377 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013376 | 0.0134109 | 113176.0 | sat | sat |
| 433166906 | qf_shls_entl/clones-10-e01.tptp.smt2 | 8317190 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011781 | 0.0118319 | 113176.0 | unsat | unsat |
| 433166874 | qf_shls_entl/clones-10-e02.tptp.smt2 | 8317158 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012898 | 0.0129709 | 113176.0 | unsat | unsat |
| 433166886 | qf_shls_entl/clones-10-e03.tptp.smt2 | 8317170 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012425 | 0.0124571 | 113176.0 | unsat | unsat |
| 433166943 | qf_shls_entl/clones-10-e04.tptp.smt2 | 8317227 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011627 | 0.0116529 | 113176.0 | unsat | unsat |
| 433166953 | qf_shls_entl/clones-10-e05.tptp.smt2 | 8317237 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013123 | 0.013153 | 113176.0 | unsat | unsat |
| 433166924 | qf_shls_entl/clones-10-e06.tptp.smt2 | 8317208 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012273 | 0.0123681 | 113176.0 | unsat | unsat |
| 433166935 | qf_shls_entl/clones-10-e07.tptp.smt2 | 8317219 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013391 | 0.0134329 | 113176.0 | sat | sat |
| 433166996 | qf_shls_entl/clones-10-e08.tptp.smt2 | 8317280 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015618 | 0.015689 | 113176.0 | sat | sat |
| 433166989 | qf_shls_entl/clones-10-e09.tptp.smt2 | 8317273 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015018 | 0.015051 | 113176.0 | sat | sat |
| 433167169 | qf_shls_entl/clones-10-e10.tptp.smt2 | 8317453 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013038 | 0.013063 | 113176.0 | sat | sat |
| 433167152 | qf_shls_entl/ls-vc01.smt2 | 8317436 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012768 | 0.0128001 | 113176.0 | sat | sat |
| 433166983 | qf_shls_entl/ls-vc02.smt2 | 8317267 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012587 | 0.0126451 | 113176.0 | sat | sat |
| 433166941 | qf_shls_entl/ls-vc03.smt2 | 8317225 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012513 | 0.0125571 | 113176.0 | sat | sat |
| 433167035 | qf_shls_entl/ls-vc04.smt2 | 8317319 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011864 | 0.011904 | 113176.0 | sat | sat |
| 433167139 | qf_shls_entl/ls-vc05.smt2 | 8317423 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011658 | 0.011709 | 113176.0 | unsat | unsat |
| 433166968 | qf_shls_entl/ls-vc06.smt2 | 8317252 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012317 | 0.012362 | 113176.0 | sat | sat |
| 433166926 | qf_shls_entl/ls-vc07.smt2 | 8317210 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011873 | 0.01192 | 113176.0 | sat | sat |
| 433167095 | qf_shls_entl/ls-vc08.smt2 | 8317379 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011583 | 0.011658 | 113176.0 | unsat | unsat |
| 433167127 | qf_shls_entl/ls-vc09.smt2 | 8317411 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012018 | 0.012049 | 113176.0 | unsat | unsat |
| 433166957 | qf_shls_entl/smallfoot-vc01.tptp.smt2 | 8317241 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012678 | 0.0127079 | 113176.0 | unsat | unsat |
| 433166990 | qf_shls_entl/smallfoot-vc02.tptp.smt2 | 8317274 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011918 | 0.0119649 | 113176.0 | unsat | unsat |
| 433166982 | qf_shls_entl/smallfoot-vc03.tptp.smt2 | 8317266 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011661 | 0.011759 | 113176.0 | unsat | unsat |
| 433167011 | qf_shls_entl/smallfoot-vc04.tptp.smt2 | 8317295 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011886 | 0.0119461 | 113176.0 | unsat | unsat |
| 433167001 | qf_shls_entl/smallfoot-vc05.tptp.smt2 | 8317285 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011877 | 0.011921 | 113176.0 | unsat | unsat |
| 433167028 | qf_shls_entl/smallfoot-vc06.tptp.smt2 | 8317312 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012108 | 0.0121371 | 113176.0 | unsat | unsat |
| 433167021 | qf_shls_entl/smallfoot-vc07.tptp.smt2 | 8317305 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011495 | 0.011588 | 0.0 | unsat | unsat |
| 433166881 | qf_shls_entl/smallfoot-vc08.tptp.smt2 | 8317165 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011754 | 0.0118001 | 113176.0 | unsat | unsat |
| 433166895 | qf_shls_entl/smallfoot-vc09.tptp.smt2 | 8317179 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011767 | 0.0118121 | 113176.0 | unsat | unsat |
| 433167076 | qf_shls_entl/smallfoot-vc10.tptp.smt2 | 8317360 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011724 | 0.011766 | 113176.0 | unsat | unsat |
| 433167084 | qf_shls_entl/smallfoot-vc11.tptp.smt2 | 8317368 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011493 | 0.0115181 | 113176.0 | unsat | unsat |
| 433167090 | qf_shls_entl/smallfoot-vc12.tptp.smt2 | 8317374 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011811 | 0.0118341 | 113176.0 | unsat | unsat |
| 433167101 | qf_shls_entl/smallfoot-vc13.tptp.smt2 | 8317385 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012563 | 0.0126219 | 113176.0 | unsat | unsat |
| 433167033 | qf_shls_entl/smallfoot-vc14.tptp.smt2 | 8317317 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011734 | 0.011938 | 113176.0 | unsat | unsat |
| 433167040 | qf_shls_entl/smallfoot-vc15.tptp.smt2 | 8317324 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012087 | 0.01212 | 113176.0 | unsat | unsat |
| 433167050 | qf_shls_entl/smallfoot-vc16.tptp.smt2 | 8317334 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011677 | 0.011766 | 113176.0 | unsat | unsat |
| 433167059 | qf_shls_entl/smallfoot-vc17.tptp.smt2 | 8317343 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012654 | 0.012719 | 113176.0 | unsat | unsat |
| 433167143 | qf_shls_entl/smallfoot-vc18.tptp.smt2 | 8317427 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011645 | 0.011678 | 113176.0 | unsat | unsat |
| 433167136 | qf_shls_entl/smallfoot-vc19.tptp.smt2 | 8317420 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011282 | 0.0113119 | 113176.0 | unsat | unsat |
| 433166876 | qf_shls_entl/smallfoot-vc20.tptp.smt2 | 8317160 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.00913 | 0.0094709 | 0.0 | unsat | unsat |
| 433166884 | qf_shls_entl/smallfoot-vc21.tptp.smt2 | 8317168 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011702 | 0.0117711 | 113176.0 | unsat | unsat |
| 433166898 | qf_shls_entl/smallfoot-vc22.tptp.smt2 | 8317182 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011545 | 0.011581 | 113176.0 | sat | sat |
| 433166907 | qf_shls_entl/smallfoot-vc23.tptp.smt2 | 8317191 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011712 | 0.0117649 | 113176.0 | sat | sat |
| 433166925 | qf_shls_entl/smallfoot-vc24.tptp.smt2 | 8317209 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012342 | 0.012558 | 113176.0 | unsat | unsat |
| 433166934 | qf_shls_entl/smallfoot-vc25.tptp.smt2 | 8317218 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01156 | 0.0116141 | 113176.0 | unsat | unsat |
| 433166942 | qf_shls_entl/smallfoot-vc26.tptp.smt2 | 8317226 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012656 | 0.012693 | 113176.0 | unsat | unsat |
| 433166955 | qf_shls_entl/smallfoot-vc27.tptp.smt2 | 8317239 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011491 | 0.011604 | 0.0 | unsat | unsat |
| 433166974 | qf_shls_entl/smallfoot-vc28.tptp.smt2 | 8317258 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012203 | 0.012259 | 113176.0 | unsat | unsat |
| 433166965 | qf_shls_entl/smallfoot-vc29.tptp.smt2 | 8317249 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.009369 | 0.0094179 | 0.0 | sat | sat |
| 433167147 | qf_shls_entl/smallfoot-vc30.tptp.smt2 | 8317431 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.009541 | 0.0096209 | 0.0 | sat | sat |
| 433167138 | qf_shls_entl/smallfoot-vc31.tptp.smt2 | 8317422 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.008725 | 0.00903606 | 0.0 | sat | sat |
| 433167168 | qf_shls_entl/smallfoot-vc32.tptp.smt2 | 8317452 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.009327 | 0.00953593 | 0.0 | sat | sat |
| 433167159 | qf_shls_entl/smallfoot-vc33.tptp.smt2 | 8317443 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.009589 | 0.00965204 | 113176.0 | sat | sat |
| 433167113 | qf_shls_entl/smallfoot-vc34.tptp.smt2 | 8317397 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012221 | 0.0122479 | 113176.0 | unsat | unsat |
| 433167105 | qf_shls_entl/smallfoot-vc35.tptp.smt2 | 8317389 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.008669 | 0.008977 | 0.0 | sat | sat |
| 433167125 | qf_shls_entl/smallfoot-vc36.tptp.smt2 | 8317409 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012825 | 0.0128879 | 113176.0 | unsat | unsat |
| 433167118 | qf_shls_entl/smallfoot-vc37.tptp.smt2 | 8317402 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.00996 | 0.010026 | 113176.0 | sat | sat |
| 433167068 | qf_shls_entl/smallfoot-vc38.tptp.smt2 | 8317352 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012286 | 0.012356 | 113176.0 | unsat | unsat |
| 433167080 | qf_shls_entl/smallfoot-vc39.tptp.smt2 | 8317364 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012208 | 0.012276 | 113176.0 | sat | sat |
| 433167132 | qf_shls_entl/smallfoot-vc40.tptp.smt2 | 8317416 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013837 | 0.0149279 | 0.0 | sat | sat |
| 433167124 | qf_shls_entl/smallfoot-vc41.tptp.smt2 | 8317408 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012034 | 0.0120701 | 113176.0 | unsat | unsat |
| 433167115 | qf_shls_entl/smallfoot-vc42.tptp.smt2 | 8317399 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013378 | 0.0134031 | 113176.0 | unsat | unsat |
| 433167106 | qf_shls_entl/smallfoot-vc43.tptp.smt2 | 8317390 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012245 | 0.012313 | 113176.0 | sat | sat |
| 433167160 | qf_shls_entl/smallfoot-vc44.tptp.smt2 | 8317444 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012512 | 0.0125549 | 113176.0 | unsat | unsat |
| 433167154 | qf_shls_entl/smallfoot-vc45.tptp.smt2 | 8317438 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012018 | 0.012088 | 113176.0 | unsat | unsat |
| 433167144 | qf_shls_entl/smallfoot-vc46.tptp.smt2 | 8317428 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01229 | 0.0123131 | 113176.0 | unsat | unsat |
| 433167135 | qf_shls_entl/smallfoot-vc47.tptp.smt2 | 8317419 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012345 | 0.012421 | 113176.0 | unsat | unsat |
| 433167051 | qf_shls_entl/smallfoot-vc48.tptp.smt2 | 8317335 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011654 | 0.0117 | 113176.0 | unsat | unsat |
| 433167058 | qf_shls_entl/smallfoot-vc49.tptp.smt2 | 8317342 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011613 | 0.0116609 | 113176.0 | sat | sat |
| 433166940 | qf_shls_entl/smallfoot-vc50.tptp.smt2 | 8317224 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012005 | 0.012031 | 113176.0 | unsat | unsat |
| 433166952 | qf_shls_entl/smallfoot-vc51.tptp.smt2 | 8317236 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011515 | 0.0115521 | 113176.0 | unsat | unsat |
| 433166915 | qf_shls_entl/smallfoot-vc52.tptp.smt2 | 8317199 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012087 | 0.0121341 | 113176.0 | unsat | unsat |
| 433166928 | qf_shls_entl/smallfoot-vc53.tptp.smt2 | 8317212 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011675 | 0.011708 | 113176.0 | unsat | unsat |
| 433166900 | qf_shls_entl/smallfoot-vc54.tptp.smt2 | 8317184 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011823 | 0.0118591 | 113176.0 | sat | sat |
| 433166909 | qf_shls_entl/smallfoot-vc55.tptp.smt2 | 8317193 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011723 | 0.0117589 | 113176.0 | unsat | unsat |
| 433166883 | qf_shls_entl/smallfoot-vc56.tptp.smt2 | 8317167 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011601 | 0.011632 | 113176.0 | sat | sat |
| 433166894 | qf_shls_entl/smallfoot-vc57.tptp.smt2 | 8317178 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012104 | 0.012138 | 113176.0 | sat | sat |
| 433167029 | qf_shls_entl/smallfoot-vc58.tptp.smt2 | 8317313 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011742 | 0.0117609 | 113176.0 | unsat | unsat |
| 433167019 | qf_shls_entl/smallfoot-vc59.tptp.smt2 | 8317303 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011882 | 0.0119199 | 113176.0 | unsat | unsat |
| 433167054 | qf_shls_entl/smallfoot-vc60.tptp.smt2 | 8317338 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012503 | 0.012574 | 113176.0 | unsat | unsat |
| 433167063 | qf_shls_entl/smallfoot-vc61.tptp.smt2 | 8317347 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011851 | 0.011882 | 113176.0 | sat | sat |
| 433167039 | qf_shls_entl/smallfoot-vc62.tptp.smt2 | 8317323 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012566 | 0.040589 | 0.0 | unsat | unsat |
| 433167045 | qf_shls_entl/smallfoot-vc63.tptp.smt2 | 8317329 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011781 | 0.0118111 | 113176.0 | unsat | unsat |
| 433167086 | qf_shls_entl/smallfoot-vc64.tptp.smt2 | 8317370 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011847 | 0.0119119 | 113176.0 | unsat | unsat |
| 433167099 | qf_shls_entl/smallfoot-vc65.tptp.smt2 | 8317383 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011994 | 0.0120349 | 113176.0 | unsat | unsat |
| 433167071 | qf_shls_entl/smallfoot-vc66.tptp.smt2 | 8317355 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012712 | 0.0127631 | 113176.0 | unsat | unsat |
| 433167078 | qf_shls_entl/smallfoot-vc67.tptp.smt2 | 8317362 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011612 | 0.0116741 | 113176.0 | unsat | unsat |
| 433167128 | qf_shls_entl/smallfoot-vc68.tptp.smt2 | 8317412 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012514 | 0.0131441 | 113176.0 | sat | sat |
| 433167116 | qf_shls_entl/smallfoot-vc69.tptp.smt2 | 8317400 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011695 | 0.011714 | 113176.0 | sat | sat |
| 433167023 | qf_shls_entl/smallfoot-vc70.tptp.smt2 | 8317307 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012072 | 0.0121371 | 113176.0 | sat | sat |
| 433167015 | qf_shls_entl/smallfoot-vc71.tptp.smt2 | 8317299 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011956 | 0.0120149 | 113176.0 | unsat | unsat |
| 433167006 | qf_shls_entl/smallfoot-vc72.tptp.smt2 | 8317290 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01165 | 0.011694 | 113176.0 | sat | sat |
| 433166998 | qf_shls_entl/smallfoot-vc73.tptp.smt2 | 8317282 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011736 | 0.0117871 | 113176.0 | sat | sat |
| 433166995 | qf_shls_entl/smallfoot-vc74.tptp.smt2 | 8317279 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011915 | 0.0119441 | 113176.0 | unsat | unsat |
| 433166988 | qf_shls_entl/smallfoot-vc75.tptp.smt2 | 8317272 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011732 | 0.011758 | 113176.0 | unsat | unsat |
| 433166975 | qf_shls_entl/smallfoot-vc76.tptp.smt2 | 8317259 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011766 | 0.0118279 | 113176.0 | sat | sat |
| 433166963 | qf_shls_entl/smallfoot-vc77.tptp.smt2 | 8317247 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012229 | 0.0122721 | 113176.0 | unsat | unsat |