433166798 | qf_shls_entl/bolognesa-10-e01.tptp.smt2 | 8317378 | SLEEK | 20564 | default | 304221 | complete | 0.070573 | 0.06597 | 113176.0 | sat | sat |
433166789 | qf_shls_entl/bolognesa-10-e02.tptp.smt2 | 8317369 | SLEEK | 20564 | default | 304221 | complete | 0.070013 | 0.0654251 | 113176.0 | unsat | unsat |
433166779 | qf_shls_entl/bolognesa-10-e03.tptp.smt2 | 8317359 | SLEEK | 20564 | default | 304221 | complete | 0.069156 | 0.0646579 | 113176.0 | unsat | unsat |
433166761 | qf_shls_entl/bolognesa-10-e04.tptp.smt2 | 8317341 | SLEEK | 20564 | default | 304221 | complete | 0.074411 | 0.0695911 | 113176.0 | sat | sat |
433166756 | qf_shls_entl/bolognesa-10-e05.tptp.smt2 | 8317336 | SLEEK | 20564 | default | 304221 | complete | 0.070878 | 0.0662449 | 113176.0 | sat | sat |
433166747 | qf_shls_entl/bolognesa-10-e06.tptp.smt2 | 8317327 | SLEEK | 20564 | default | 304221 | complete | 0.071977 | 0.067376 | 113176.0 | sat | sat |
433166736 | qf_shls_entl/bolognesa-10-e07.tptp.smt2 | 8317316 | SLEEK | 20564 | default | 304221 | complete | 0.070435 | 0.06598 | 113176.0 | sat | sat |
433166857 | qf_shls_entl/bolognesa-10-e08.tptp.smt2 | 8317437 | SLEEK | 20564 | default | 304221 | complete | 0.069311 | 0.065191 | 113176.0 | sat | sat |
433166865 | qf_shls_entl/bolognesa-10-e09.tptp.smt2 | 8317445 | SLEEK | 20564 | default | 304221 | complete | 0.069507 | 0.0650369 | 113176.0 | sat | sat |
433166682 | qf_shls_entl/bolognesa-10-e10.tptp.smt2 | 8317262 | SLEEK | 20564 | default | 304221 | complete | 0.071454 | 0.0667101 | 113176.0 | unsat | unsat |
433166671 | qf_shls_entl/bolognesa-11-e01.tptp.smt2 | 8317251 | SLEEK | 20564 | default | 304221 | complete | 0.073508 | 0.068819 | 113176.0 | unsat | unsat |
433166701 | qf_shls_entl/bolognesa-11-e02.tptp.smt2 | 8317281 | SLEEK | 20564 | default | 304221 | complete | 0.074071 | 0.0695499 | 113176.0 | unsat | unsat |
433166690 | qf_shls_entl/bolognesa-11-e03.tptp.smt2 | 8317270 | SLEEK | 20564 | default | 304221 | complete | 0.070534 | 0.0661359 | 113176.0 | unsat | unsat |
433166709 | qf_shls_entl/bolognesa-11-e04.tptp.smt2 | 8317289 | SLEEK | 20564 | default | 304221 | complete | 0.069804 | 0.065166 | 113176.0 | unsat | unsat |
433166704 | qf_shls_entl/bolognesa-11-e05.tptp.smt2 | 8317284 | SLEEK | 20564 | default | 304221 | complete | 0.073115 | 0.06844 | 113176.0 | sat | sat |
433166729 | qf_shls_entl/bolognesa-11-e06.tptp.smt2 | 8317309 | SLEEK | 20564 | default | 304221 | complete | 0.070559 | 0.0659289 | 113176.0 | sat | sat |
433166718 | qf_shls_entl/bolognesa-11-e07.tptp.smt2 | 8317298 | SLEEK | 20564 | default | 304221 | complete | 0.068695 | 0.0642541 | 113176.0 | unsat | unsat |
433166579 | qf_shls_entl/bolognesa-11-e08.tptp.smt2 | 8317159 | SLEEK | 20564 | default | 304221 | complete | 0.069259 | 0.0647029 | 113176.0 | unsat | unsat |
433166589 | qf_shls_entl/bolognesa-11-e09.tptp.smt2 | 8317169 | SLEEK | 20564 | default | 304221 | complete | 0.069359 | 0.0648361 | 113176.0 | unsat | unsat |
433166771 | qf_shls_entl/bolognesa-11-e10.tptp.smt2 | 8317351 | SLEEK | 20564 | default | 304221 | complete | 0.072805 | 0.0681629 | 113176.0 | sat | sat |
433166813 | qf_shls_entl/bolognesa-12-e01.tptp.smt2 | 8317393 | SLEEK | 20564 | default | 304221 | complete | 0.070377 | 0.065947 | 113176.0 | unsat | unsat |
433166835 | qf_shls_entl/bolognesa-12-e02.tptp.smt2 | 8317415 | SLEEK | 20564 | default | 304221 | complete | 0.070732 | 0.066167 | 113176.0 | sat | sat |
433166827 | qf_shls_entl/bolognesa-12-e03.tptp.smt2 | 8317407 | SLEEK | 20564 | default | 304221 | complete | 0.072697 | 0.067993 | 113176.0 | sat | sat |
433166846 | qf_shls_entl/bolognesa-12-e04.tptp.smt2 | 8317426 | SLEEK | 20564 | default | 304221 | complete | 0.075282 | 0.0706911 | 113176.0 | sat | sat |
433166837 | qf_shls_entl/bolognesa-12-e05.tptp.smt2 | 8317417 | SLEEK | 20564 | default | 304221 | complete | 0.069258 | 0.0648159 | 113176.0 | unsat | unsat |
433166868 | qf_shls_entl/bolognesa-12-e06.tptp.smt2 | 8317448 | SLEEK | 20564 | default | 304221 | complete | 0.072132 | 0.0673689 | 113176.0 | unsat | unsat |
433166859 | qf_shls_entl/bolognesa-12-e07.tptp.smt2 | 8317439 | SLEEK | 20564 | default | 304221 | complete | 0.07396 | 0.069238 | 113176.0 | sat | sat |
433166738 | qf_shls_entl/bolognesa-12-e08.tptp.smt2 | 8317318 | SLEEK | 20564 | default | 304221 | complete | 0.071412 | 0.0667941 | 113176.0 | unsat | unsat |
433166748 | qf_shls_entl/bolognesa-12-e09.tptp.smt2 | 8317328 | SLEEK | 20564 | default | 304221 | complete | 0.077994 | 0.073082 | 113176.0 | unsat | unsat |
433166622 | qf_shls_entl/bolognesa-12-e10.tptp.smt2 | 8317202 | SLEEK | 20564 | default | 304221 | complete | 0.072206 | 0.067665 | 113176.0 | unsat | unsat |
433166651 | qf_shls_entl/bolognesa-13-e01.tptp.smt2 | 8317231 | SLEEK | 20564 | default | 304221 | complete | 0.075245 | 0.0702809 | 113176.0 | unsat | unsat |
433166637 | qf_shls_entl/bolognesa-13-e02.tptp.smt2 | 8317217 | SLEEK | 20564 | default | 304221 | complete | 0.07332 | 0.0692261 | 113176.0 | sat | sat |
433166626 | qf_shls_entl/bolognesa-13-e03.tptp.smt2 | 8317206 | SLEEK | 20564 | default | 304221 | complete | 0.070927 | 0.066389 | 113176.0 | unsat | unsat |
433166608 | qf_shls_entl/bolognesa-13-e04.tptp.smt2 | 8317188 | SLEEK | 20564 | default | 304221 | complete | 0.072709 | 0.0680651 | 113176.0 | sat | sat |
433166601 | qf_shls_entl/bolognesa-13-e05.tptp.smt2 | 8317181 | SLEEK | 20564 | default | 304221 | complete | 0.072885 | 0.0687619 | 113176.0 | sat | sat |
433166594 | qf_shls_entl/bolognesa-13-e06.tptp.smt2 | 8317174 | SLEEK | 20564 | default | 304221 | complete | 0.070989 | 0.0721341 | 113176.0 | sat | sat |
433166581 | qf_shls_entl/bolognesa-13-e07.tptp.smt2 | 8317161 | SLEEK | 20564 | default | 304221 | complete | 0.074596 | 0.0698811 | 113176.0 | unsat | unsat |
433166720 | qf_shls_entl/bolognesa-13-e08.tptp.smt2 | 8317300 | SLEEK | 20564 | default | 304221 | complete | 0.069708 | 0.0651759 | 113176.0 | unsat | unsat |
433166730 | qf_shls_entl/bolognesa-13-e09.tptp.smt2 | 8317310 | SLEEK | 20564 | default | 304221 | complete | 0.071053 | 0.066412 | 113176.0 | sat | sat |
433166823 | qf_shls_entl/bolognesa-13-e10.tptp.smt2 | 8317403 | SLEEK | 20564 | default | 304221 | complete | 0.074182 | 0.069384 | 113176.0 | sat | sat |
433166685 | qf_shls_entl/bolognesa-14-e01.tptp.smt2 | 8317265 | SLEEK | 20564 | default | 304221 | complete | 0.071035 | 0.066005 | 113176.0 | unsat | unsat |
433166677 | qf_shls_entl/bolognesa-14-e02.tptp.smt2 | 8317257 | SLEEK | 20564 | default | 304221 | complete | 0.071322 | 0.066175 | 113176.0 | unsat | unsat |
433166662 | qf_shls_entl/bolognesa-14-e03.tptp.smt2 | 8317242 | SLEEK | 20564 | default | 304221 | complete | 0.075738 | 0.0709841 | 113176.0 | unsat | unsat |
433166731 | qf_shls_entl/bolognesa-14-e04.tptp.smt2 | 8317311 | SLEEK | 20564 | default | 304221 | complete | 0.073822 | 0.0693131 | 113176.0 | unsat | unsat |
433166724 | qf_shls_entl/bolognesa-14-e05.tptp.smt2 | 8317304 | SLEEK | 20564 | default | 304221 | complete | 0.075979 | 0.071182 | 113176.0 | sat | sat |
433166716 | qf_shls_entl/bolognesa-14-e06.tptp.smt2 | 8317296 | SLEEK | 20564 | default | 304221 | complete | 0.070297 | 0.0657859 | 113176.0 | unsat | unsat |
433166706 | qf_shls_entl/bolognesa-14-e07.tptp.smt2 | 8317286 | SLEEK | 20564 | default | 304221 | complete | 0.071202 | 0.0666251 | 113176.0 | unsat | unsat |
433166606 | qf_shls_entl/bolognesa-14-e08.tptp.smt2 | 8317186 | SLEEK | 20564 | default | 304221 | complete | 0.075753 | 0.0709529 | 113176.0 | unsat | unsat |
433166612 | qf_shls_entl/bolognesa-14-e09.tptp.smt2 | 8317192 | SLEEK | 20564 | default | 304221 | complete | 0.072848 | 0.068183 | 113176.0 | unsat | unsat |
433166795 | qf_shls_entl/bolognesa-14-e10.tptp.smt2 | 8317375 | SLEEK | 20564 | default | 304221 | complete | 0.080703 | 0.0756901 | 113176.0 | sat | sat |
433166776 | qf_shls_entl/bolognesa-15-e01.tptp.smt2 | 8317356 | SLEEK | 20564 | default | 304221 | complete | 0.072998 | 0.0683289 | 113176.0 | unsat | unsat |
433166802 | qf_shls_entl/bolognesa-15-e02.tptp.smt2 | 8317382 | SLEEK | 20564 | default | 304221 | complete | 0.074852 | 0.0706011 | 113176.0 | unsat | unsat |
433166791 | qf_shls_entl/bolognesa-15-e03.tptp.smt2 | 8317371 | SLEEK | 20564 | default | 304221 | complete | 0.074863 | 0.070076 | 113176.0 | sat | sat |
433166750 | qf_shls_entl/bolognesa-15-e04.tptp.smt2 | 8317330 | SLEEK | 20564 | default | 304221 | complete | 0.07482 | 0.0699919 | 113176.0 | unsat | unsat |
433166742 | qf_shls_entl/bolognesa-15-e05.tptp.smt2 | 8317322 | SLEEK | 20564 | default | 304221 | complete | 0.074638 | 0.0700079 | 113176.0 | unsat | unsat |
433166769 | qf_shls_entl/bolognesa-15-e06.tptp.smt2 | 8317349 | SLEEK | 20564 | default | 304221 | complete | 0.081295 | 0.076247 | 113176.0 | unsat | unsat |
433166757 | qf_shls_entl/bolognesa-15-e07.tptp.smt2 | 8317337 | SLEEK | 20564 | default | 304221 | complete | 0.072557 | 0.0680429 | 113176.0 | unsat | unsat |
433166844 | qf_shls_entl/bolognesa-15-e08.tptp.smt2 | 8317424 | SLEEK | 20564 | default | 304221 | complete | 0.07576 | 0.070945 | 113176.0 | sat | sat |
433166849 | qf_shls_entl/bolognesa-15-e09.tptp.smt2 | 8317429 | SLEEK | 20564 | default | 304221 | complete | 0.078712 | 0.073908 | 113176.0 | sat | sat |
433166666 | qf_shls_entl/bolognesa-15-e10.tptp.smt2 | 8317246 | SLEEK | 20564 | default | 304221 | complete | 0.073152 | 0.0689779 | 113176.0 | unsat | unsat |
433166624 | qf_shls_entl/bolognesa-16-e01.tptp.smt2 | 8317204 | SLEEK | 20564 | default | 304221 | complete | 0.073225 | 0.0686831 | 113176.0 | unsat | unsat |
433166654 | qf_shls_entl/bolognesa-16-e02.tptp.smt2 | 8317234 | SLEEK | 20564 | default | 304221 | complete | 0.074028 | 0.069585 | 113176.0 | sat | sat |
433166641 | qf_shls_entl/bolognesa-16-e03.tptp.smt2 | 8317221 | SLEEK | 20564 | default | 304221 | complete | 0.074162 | 0.069581 | 113176.0 | sat | sat |
433166595 | qf_shls_entl/bolognesa-16-e04.tptp.smt2 | 8317175 | SLEEK | 20564 | default | 304221 | complete | 0.071896 | 0.067329 | 113176.0 | sat | sat |
433166583 | qf_shls_entl/bolognesa-16-e05.tptp.smt2 | 8317163 | SLEEK | 20564 | default | 304221 | complete | 0.074732 | 0.0699669 | 113176.0 | unsat | unsat |
433166618 | qf_shls_entl/bolognesa-16-e06.tptp.smt2 | 8317198 | SLEEK | 20564 | default | 304221 | complete | 0.072555 | 0.067888 | 113176.0 | sat | sat |
433166607 | qf_shls_entl/bolognesa-16-e07.tptp.smt2 | 8317187 | SLEEK | 20564 | default | 304221 | complete | 0.075909 | 0.071322 | 113176.0 | unsat | unsat |
433166708 | qf_shls_entl/bolognesa-16-e08.tptp.smt2 | 8317288 | SLEEK | 20564 | default | 304221 | complete | 0.077935 | 0.0731041 | 113176.0 | unsat | unsat |
433166717 | qf_shls_entl/bolognesa-16-e09.tptp.smt2 | 8317297 | SLEEK | 20564 | default | 304221 | complete | 0.07354 | 0.068993 | 113176.0 | unsat | unsat |
433166812 | qf_shls_entl/bolognesa-16-e10.tptp.smt2 | 8317392 | SLEEK | 20564 | default | 304221 | complete | 0.075791 | 0.071038 | 113176.0 | sat | sat |
433166826 | qf_shls_entl/bolognesa-17-e01.tptp.smt2 | 8317406 | SLEEK | 20564 | default | 304221 | complete | 0.073407 | 0.068847 | 113176.0 | unsat | unsat |
433166815 | qf_shls_entl/bolognesa-17-e02.tptp.smt2 | 8317395 | SLEEK | 20564 | default | 304221 | complete | 0.075626 | 0.071061 | 113176.0 | sat | sat |
433166806 | qf_shls_entl/bolognesa-17-e03.tptp.smt2 | 8317386 | SLEEK | 20564 | default | 304221 | complete | 0.076723 | 0.071929 | 113176.0 | sat | sat |
433166870 | qf_shls_entl/bolognesa-17-e04.tptp.smt2 | 8317450 | SLEEK | 20564 | default | 304221 | complete | 0.076694 | 0.071911 | 113176.0 | unsat | unsat |
433166862 | qf_shls_entl/bolognesa-17-e05.tptp.smt2 | 8317442 | SLEEK | 20564 | default | 304221 | complete | 0.075125 | 0.07033 | 113176.0 | unsat | unsat |
433166854 | qf_shls_entl/bolognesa-17-e06.tptp.smt2 | 8317434 | SLEEK | 20564 | default | 304221 | complete | 0.078575 | 0.0738331 | 113176.0 | unsat | unsat |
433166845 | qf_shls_entl/bolognesa-17-e07.tptp.smt2 | 8317425 | SLEEK | 20564 | default | 304221 | complete | 0.075822 | 0.089843 | 113176.0 | unsat | unsat |
433166760 | qf_shls_entl/bolognesa-17-e08.tptp.smt2 | 8317340 | SLEEK | 20564 | default | 304221 | complete | 0.07211 | 0.067497 | 113176.0 | sat | sat |
433166770 | qf_shls_entl/bolognesa-17-e09.tptp.smt2 | 8317350 | SLEEK | 20564 | default | 304221 | complete | 0.074881 | 0.0703639 | 113176.0 | unsat | unsat |
433166649 | qf_shls_entl/bolognesa-17-e10.tptp.smt2 | 8317229 | SLEEK | 20564 | default | 304221 | complete | 0.075858 | 0.0716931 | 113176.0 | unsat | unsat |
433166855 | qf_shls_entl/bolognesa-18-e01.tptp.smt2 | 8317435 | SLEEK | 20564 | default | 304221 | complete | 0.075321 | 0.0705241 | 113176.0 | unsat | unsat |
433166861 | qf_shls_entl/bolognesa-18-e02.tptp.smt2 | 8317441 | SLEEK | 20564 | default | 304221 | complete | 0.076008 | 0.071372 | 113176.0 | sat | sat |
433166869 | qf_shls_entl/bolognesa-18-e03.tptp.smt2 | 8317449 | SLEEK | 20564 | default | 304221 | complete | 0.078784 | 0.074028 | 113176.0 | sat | sat |
433166807 | qf_shls_entl/bolognesa-18-e04.tptp.smt2 | 8317387 | SLEEK | 20564 | default | 304221 | complete | 0.074134 | 0.069464 | 113176.0 | sat | sat |
433166816 | qf_shls_entl/bolognesa-18-e05.tptp.smt2 | 8317396 | SLEEK | 20564 | default | 304221 | complete | 0.078946 | 0.0742401 | 113176.0 | sat | sat |
433166825 | qf_shls_entl/bolognesa-18-e06.tptp.smt2 | 8317405 | SLEEK | 20564 | default | 304221 | complete | 0.072709 | 0.0681609 | 113176.0 | sat | sat |
433166833 | qf_shls_entl/bolognesa-18-e07.tptp.smt2 | 8317413 | SLEEK | 20564 | default | 304221 | complete | 0.074207 | 0.0696049 | 113176.0 | sat | sat |
433166786 | qf_shls_entl/bolognesa-18-e08.tptp.smt2 | 8317366 | SLEEK | 20564 | default | 304221 | complete | 0.081126 | 0.0763329 | 113176.0 | sat | sat |
433166777 | qf_shls_entl/bolognesa-18-e09.tptp.smt2 | 8317357 | SLEEK | 20564 | default | 304221 | complete | 0.076911 | 0.0721439 | 113176.0 | sat | sat |
433166591 | qf_shls_entl/bolognesa-18-e10.tptp.smt2 | 8317171 | SLEEK | 20564 | default | 304221 | complete | 0.0748 | 0.070052 | 113176.0 | unsat | unsat |
433166617 | qf_shls_entl/bolognesa-19-e01.tptp.smt2 | 8317197 | SLEEK | 20564 | default | 304221 | complete | 0.078844 | 0.074055 | 113176.0 | sat | sat |
433166584 | qf_shls_entl/bolognesa-19-e02.tptp.smt2 | 8317164 | SLEEK | 20564 | default | 304221 | complete | 0.077032 | 0.072179 | 113176.0 | sat | sat |
433166596 | qf_shls_entl/bolognesa-19-e03.tptp.smt2 | 8317176 | SLEEK | 20564 | default | 304221 | complete | 0.079269 | 0.0744239 | 113176.0 | sat | sat |
433166640 | qf_shls_entl/bolognesa-19-e04.tptp.smt2 | 8317220 | SLEEK | 20564 | default | 304221 | complete | 0.072634 | 0.0680741 | 113176.0 | sat | sat |
433166653 | qf_shls_entl/bolognesa-19-e05.tptp.smt2 | 8317233 | SLEEK | 20564 | default | 304221 | complete | 0.074942 | 0.0703031 | 113176.0 | unsat | unsat |
433166625 | qf_shls_entl/bolognesa-19-e06.tptp.smt2 | 8317205 | SLEEK | 20564 | default | 304221 | complete | 0.075193 | 0.070672 | 113176.0 | unsat | unsat |
433166634 | qf_shls_entl/bolognesa-19-e07.tptp.smt2 | 8317214 | SLEEK | 20564 | default | 304221 | complete | 0.080302 | 0.0754429 | 113176.0 | sat | sat |
433166697 | qf_shls_entl/bolognesa-19-e08.tptp.smt2 | 8317277 | SLEEK | 20564 | default | 304221 | complete | 0.078506 | 0.073709 | 113176.0 | unsat | unsat |
433166688 | qf_shls_entl/bolognesa-19-e09.tptp.smt2 | 8317268 | SLEEK | 20564 | default | 304221 | complete | 0.078349 | 0.0735201 | 113176.0 | sat | sat |
433166866 | qf_shls_entl/bolognesa-19-e10.tptp.smt2 | 8317446 | SLEEK | 20564 | default | 304221 | complete | 0.074894 | 0.070793 | 113176.0 | unsat | unsat |
433166586 | qf_shls_entl/bolognesa-20-e01.tptp.smt2 | 8317166 | SLEEK | 20564 | default | 304221 | complete | 0.08045 | 0.0758081 | 113176.0 | sat | sat |
433166614 | qf_shls_entl/bolognesa-20-e02.tptp.smt2 | 8317194 | SLEEK | 20564 | default | 304221 | complete | 0.075721 | 0.0710279 | 113176.0 | sat | sat |
433166605 | qf_shls_entl/bolognesa-20-e03.tptp.smt2 | 8317185 | SLEEK | 20564 | default | 304221 | complete | 0.076965 | 0.0723819 | 113176.0 | sat | sat |
433166633 | qf_shls_entl/bolognesa-20-e04.tptp.smt2 | 8317213 | SLEEK | 20564 | default | 304221 | complete | 0.075146 | 0.0705381 | 113176.0 | sat | sat |
433166620 | qf_shls_entl/bolognesa-20-e05.tptp.smt2 | 8317200 | SLEEK | 20564 | default | 304221 | complete | 0.079693 | 0.0753451 | 113176.0 | sat | sat |
433166655 | qf_shls_entl/bolognesa-20-e06.tptp.smt2 | 8317235 | SLEEK | 20564 | default | 304221 | complete | 0.0741 | 0.069557 | 113176.0 | unsat | unsat |
433166643 | qf_shls_entl/bolognesa-20-e07.tptp.smt2 | 8317223 | SLEEK | 20564 | default | 304221 | complete | 0.072332 | 0.0678321 | 113176.0 | unsat | unsat |
433166663 | qf_shls_entl/bolognesa-20-e08.tptp.smt2 | 8317243 | SLEEK | 20564 | default | 304221 | complete | 0.078523 | 0.073727 | 113176.0 | unsat | unsat |
433166676 | qf_shls_entl/bolognesa-20-e09.tptp.smt2 | 8317256 | SLEEK | 20564 | default | 304221 | complete | 0.083036 | 0.0784419 | 113176.0 | sat | sat |
433166838 | qf_shls_entl/bolognesa-20-e10.tptp.smt2 | 8317418 | SLEEK | 20564 | default | 304221 | complete | 0.074324 | 0.0695949 | 113176.0 | unsat | unsat |
433166592 | qf_shls_entl/clones-01-e01.tptp.smt2 | 8317172 | SLEEK | 20564 | default | 304221 | complete | 0.065931 | 0.062117 | 113176.0 | unsat | unsat |
433166600 | qf_shls_entl/clones-01-e02.tptp.smt2 | 8317180 | SLEEK | 20564 | default | 304221 | complete | 0.067296 | 0.0832139 | 113176.0 | unsat | unsat |
433166609 | qf_shls_entl/clones-01-e03.tptp.smt2 | 8317189 | SLEEK | 20564 | default | 304221 | complete | 0.068293 | 0.0638211 | 113176.0 | unsat | unsat |
433166627 | qf_shls_entl/clones-01-e04.tptp.smt2 | 8317207 | SLEEK | 20564 | default | 304221 | complete | 0.066275 | 0.0618819 | 113176.0 | unsat | unsat |
433166636 | qf_shls_entl/clones-01-e05.tptp.smt2 | 8317216 | SLEEK | 20564 | default | 304221 | complete | 0.06737 | 0.063452 | 113176.0 | unsat | unsat |
433166650 | qf_shls_entl/clones-01-e06.tptp.smt2 | 8317230 | SLEEK | 20564 | default | 304221 | complete | 0.065913 | 0.0620439 | 113176.0 | unsat | unsat |
433166660 | qf_shls_entl/clones-01-e07.tptp.smt2 | 8317240 | SLEEK | 20564 | default | 304221 | complete | 0.081692 | 0.0768981 | 113176.0 | sat | sat |
433166681 | qf_shls_entl/clones-01-e08.tptp.smt2 | 8317261 | SLEEK | 20564 | default | 304221 | complete | 0.07581 | 0.071401 | 113176.0 | sat | sat |
433166673 | qf_shls_entl/clones-01-e09.tptp.smt2 | 8317253 | SLEEK | 20564 | default | 304221 | complete | 0.085901 | 0.0809281 | 113176.0 | sat | sat |
433166853 | qf_shls_entl/clones-01-e10.tptp.smt2 | 8317433 | SLEEK | 20564 | default | 304221 | complete | 0.081012 | 0.075875 | 113176.0 | sat | sat |
433166745 | qf_shls_entl/clones-02-e01.tptp.smt2 | 8317325 | SLEEK | 20564 | default | 304221 | complete | 0.067238 | 0.0630949 | 113176.0 | unsat | unsat |
433166753 | qf_shls_entl/clones-02-e02.tptp.smt2 | 8317333 | SLEEK | 20564 | default | 304221 | complete | 0.067473 | 0.063454 | 113176.0 | unsat | unsat |
433166764 | qf_shls_entl/clones-02-e03.tptp.smt2 | 8317344 | SLEEK | 20564 | default | 304221 | complete | 0.06934 | 0.0652611 | 113176.0 | unsat | unsat |
433166781 | qf_shls_entl/clones-02-e04.tptp.smt2 | 8317361 | SLEEK | 20564 | default | 304221 | complete | 0.066492 | 0.0625499 | 113176.0 | unsat | unsat |
433166787 | qf_shls_entl/clones-02-e05.tptp.smt2 | 8317367 | SLEEK | 20564 | default | 304221 | complete | 0.068139 | 0.0641019 | 113176.0 | unsat | unsat |
433166796 | qf_shls_entl/clones-02-e06.tptp.smt2 | 8317376 | SLEEK | 20564 | default | 304221 | complete | 0.070737 | 0.0661449 | 113176.0 | unsat | unsat |
433166804 | qf_shls_entl/clones-02-e07.tptp.smt2 | 8317384 | SLEEK | 20564 | default | 304221 | complete | 0.068538 | 0.064351 | 113176.0 | sat | sat |
433166818 | qf_shls_entl/clones-02-e08.tptp.smt2 | 8317398 | SLEEK | 20564 | default | 304221 | complete | 0.070978 | 0.066223 | 113176.0 | sat | sat |
433166811 | qf_shls_entl/clones-02-e09.tptp.smt2 | 8317391 | SLEEK | 20564 | default | 304221 | complete | 0.071964 | 0.0673949 | 113176.0 | sat | sat |
433166714 | qf_shls_entl/clones-02-e10.tptp.smt2 | 8317294 | SLEEK | 20564 | default | 304221 | complete | 0.068799 | 0.0647281 | 113176.0 | sat | sat |
433166726 | qf_shls_entl/clones-03-e01.tptp.smt2 | 8317306 | SLEEK | 20564 | default | 304221 | complete | 0.072584 | 0.068414 | 113176.0 | unsat | unsat |
433166703 | qf_shls_entl/clones-03-e02.tptp.smt2 | 8317283 | SLEEK | 20564 | default | 304221 | complete | 0.066949 | 0.0630059 | 113176.0 | unsat | unsat |
433166711 | qf_shls_entl/clones-03-e03.tptp.smt2 | 8317291 | SLEEK | 20564 | default | 304221 | complete | 0.06801 | 0.0639041 | 113176.0 | unsat | unsat |
433166691 | qf_shls_entl/clones-03-e04.tptp.smt2 | 8317271 | SLEEK | 20564 | default | 304221 | complete | 0.065904 | 0.061957 | 113176.0 | unsat | unsat |
433166698 | qf_shls_entl/clones-03-e05.tptp.smt2 | 8317278 | SLEEK | 20564 | default | 304221 | complete | 0.067821 | 0.063818 | 113176.0 | unsat | unsat |
433166668 | qf_shls_entl/clones-03-e06.tptp.smt2 | 8317248 | SLEEK | 20564 | default | 304221 | complete | 0.067428 | 0.0634221 | 113176.0 | unsat | unsat |
433166680 | qf_shls_entl/clones-03-e07.tptp.smt2 | 8317260 | SLEEK | 20564 | default | 304221 | complete | 0.070595 | 0.066067 | 113176.0 | sat | sat |
433166658 | qf_shls_entl/clones-03-e08.tptp.smt2 | 8317238 | SLEEK | 20564 | default | 304221 | complete | 0.077087 | 0.0721391 | 113176.0 | sat | sat |
433166648 | qf_shls_entl/clones-03-e09.tptp.smt2 | 8317228 | SLEEK | 20564 | default | 304221 | complete | 0.078722 | 0.0737059 | 113176.0 | sat | sat |
433166768 | qf_shls_entl/clones-03-e10.tptp.smt2 | 8317348 | SLEEK | 20564 | default | 304221 | complete | 0.071111 | 0.066494 | 113176.0 | sat | sat |
433166616 | qf_shls_entl/clones-04-e01.tptp.smt2 | 8317196 | SLEEK | 20564 | default | 304221 | complete | 0.070663 | 0.066556 | 113176.0 | unsat | unsat |
433166582 | qf_shls_entl/clones-04-e02.tptp.smt2 | 8317162 | SLEEK | 20564 | default | 304221 | complete | 0.067131 | 0.06265 | 113176.0 | unsat | unsat |
433166597 | qf_shls_entl/clones-04-e03.tptp.smt2 | 8317177 | SLEEK | 20564 | default | 304221 | complete | 0.067205 | 0.0633811 | 113176.0 | unsat | unsat |
433166642 | qf_shls_entl/clones-04-e04.tptp.smt2 | 8317222 | SLEEK | 20564 | default | 304221 | complete | 0.066028 | 0.0620791 | 113176.0 | unsat | unsat |
433166652 | qf_shls_entl/clones-04-e05.tptp.smt2 | 8317232 | SLEEK | 20564 | default | 304221 | complete | 0.068686 | 0.064686 | 113176.0 | unsat | unsat |
433166623 | qf_shls_entl/clones-04-e06.tptp.smt2 | 8317203 | SLEEK | 20564 | default | 304221 | complete | 0.06665 | 0.062583 | 113176.0 | unsat | unsat |
433166635 | qf_shls_entl/clones-04-e07.tptp.smt2 | 8317215 | SLEEK | 20564 | default | 304221 | complete | 0.07277 | 0.0682219 | 113176.0 | sat | sat |
433166696 | qf_shls_entl/clones-04-e08.tptp.smt2 | 8317276 | SLEEK | 20564 | default | 304221 | complete | 0.078161 | 0.07335 | 113176.0 | sat | sat |
433166689 | qf_shls_entl/clones-04-e09.tptp.smt2 | 8317269 | SLEEK | 20564 | default | 304221 | complete | 0.077458 | 0.072505 | 113176.0 | sat | sat |
433166867 | qf_shls_entl/clones-04-e10.tptp.smt2 | 8317447 | SLEEK | 20564 | default | 304221 | complete | 0.072795 | 0.068094 | 113176.0 | sat | sat |
433166852 | qf_shls_entl/clones-05-e01.tptp.smt2 | 8317432 | SLEEK | 20564 | default | 304221 | complete | 0.066587 | 0.062619 | 113176.0 | unsat | unsat |
433166860 | qf_shls_entl/clones-05-e02.tptp.smt2 | 8317440 | SLEEK | 20564 | default | 304221 | complete | 0.072122 | 0.0680001 | 113176.0 | unsat | unsat |
433166871 | qf_shls_entl/clones-05-e03.tptp.smt2 | 8317451 | SLEEK | 20564 | default | 304221 | complete | 0.068953 | 0.0647871 | 113176.0 | unsat | unsat |
433166808 | qf_shls_entl/clones-05-e04.tptp.smt2 | 8317388 | SLEEK | 20564 | default | 304221 | complete | 0.06671 | 0.0628339 | 113176.0 | unsat | unsat |
433166814 | qf_shls_entl/clones-05-e05.tptp.smt2 | 8317394 | SLEEK | 20564 | default | 304221 | complete | 0.070304 | 0.0659199 | 113176.0 | unsat | unsat |
433166824 | qf_shls_entl/clones-05-e06.tptp.smt2 | 8317404 | SLEEK | 20564 | default | 304221 | complete | 0.066951 | 0.0630221 | 113176.0 | unsat | unsat |
433166834 | qf_shls_entl/clones-05-e07.tptp.smt2 | 8317414 | SLEEK | 20564 | default | 304221 | complete | 0.074235 | 0.069632 | 113176.0 | sat | sat |
433166785 | qf_shls_entl/clones-05-e08.tptp.smt2 | 8317365 | SLEEK | 20564 | default | 304221 | complete | 0.083916 | 0.0788799 | 113176.0 | sat | sat |
433166778 | qf_shls_entl/clones-05-e09.tptp.smt2 | 8317358 | SLEEK | 20564 | default | 304221 | complete | 0.083762 | 0.078761 | 113176.0 | sat | sat |
433166593 | qf_shls_entl/clones-05-e10.tptp.smt2 | 8317173 | SLEEK | 20564 | default | 304221 | complete | 0.075185 | 0.0703781 | 113176.0 | sat | sat |
433166712 | qf_shls_entl/clones-06-e01.tptp.smt2 | 8317292 | SLEEK | 20564 | default | 304221 | complete | 0.06825 | 0.0642131 | 113176.0 | unsat | unsat |
433166722 | qf_shls_entl/clones-06-e02.tptp.smt2 | 8317302 | SLEEK | 20564 | default | 304221 | complete | 0.069305 | 0.0647279 | 113176.0 | unsat | unsat |
433166735 | qf_shls_entl/clones-06-e03.tptp.smt2 | 8317315 | SLEEK | 20564 | default | 304221 | complete | 0.067551 | 0.0631391 | 113176.0 | unsat | unsat |
433166664 | qf_shls_entl/clones-06-e04.tptp.smt2 | 8317244 | SLEEK | 20564 | default | 304221 | complete | 0.067074 | 0.0630351 | 113176.0 | unsat | unsat |
433166674 | qf_shls_entl/clones-06-e05.tptp.smt2 | 8317254 | SLEEK | 20564 | default | 304221 | complete | 0.076235 | 0.071662 | 113176.0 | unsat | unsat |
433166684 | qf_shls_entl/clones-06-e06.tptp.smt2 | 8317264 | SLEEK | 20564 | default | 304221 | complete | 0.068022 | 0.0635591 | 113176.0 | unsat | unsat |
433166695 | qf_shls_entl/clones-06-e07.tptp.smt2 | 8317275 | SLEEK | 20564 | default | 304221 | complete | 0.078478 | 0.073576 | 113176.0 | sat | sat |
433166631 | qf_shls_entl/clones-06-e08.tptp.smt2 | 8317211 | SLEEK | 20564 | default | 304221 | complete | 0.091382 | 0.0866431 | 113176.0 | sat | sat |
433166621 | qf_shls_entl/clones-06-e09.tptp.smt2 | 8317201 | SLEEK | 20564 | default | 304221 | complete | 0.088837 | 0.083564 | 113176.0 | sat | sat |
433166746 | qf_shls_entl/clones-06-e10.tptp.smt2 | 8317326 | SLEEK | 20564 | default | 304221 | complete | 0.078643 | 0.0738021 | 113176.0 | sat | sat |
433166766 | qf_shls_entl/clones-07-e01.tptp.smt2 | 8317346 | SLEEK | 20564 | default | 304221 | complete | 0.067587 | 0.0635441 | 113176.0 | unsat | unsat |
433166740 | qf_shls_entl/clones-07-e02.tptp.smt2 | 8317320 | SLEEK | 20564 | default | 304221 | complete | 0.07016 | 0.0657471 | 113176.0 | unsat | unsat |
433166751 | qf_shls_entl/clones-07-e03.tptp.smt2 | 8317331 | SLEEK | 20564 | default | 304221 | complete | 0.072882 | 0.0682719 | 113176.0 | unsat | unsat |
433166793 | qf_shls_entl/clones-07-e04.tptp.smt2 | 8317373 | SLEEK | 20564 | default | 304221 | complete | 0.067376 | 0.0628981 | 113176.0 | unsat | unsat |
433166801 | qf_shls_entl/clones-07-e05.tptp.smt2 | 8317381 | SLEEK | 20564 | default | 304221 | complete | 0.073817 | 0.069285 | 113176.0 | unsat | unsat |
433166773 | qf_shls_entl/clones-07-e06.tptp.smt2 | 8317353 | SLEEK | 20564 | default | 304221 | complete | 0.066208 | 0.062273 | 113176.0 | unsat | unsat |
433166783 | qf_shls_entl/clones-07-e07.tptp.smt2 | 8317363 | SLEEK | 20564 | default | 304221 | complete | 0.082361 | 0.0773341 | 113176.0 | sat | sat |
433166830 | qf_shls_entl/clones-07-e08.tptp.smt2 | 8317410 | SLEEK | 20564 | default | 304221 | complete | 0.099669 | 0.094999 | 113176.0 | sat | sat |
433166821 | qf_shls_entl/clones-07-e09.tptp.smt2 | 8317401 | SLEEK | 20564 | default | 304221 | complete | 0.096493 | 0.0909041 | 113176.0 | sat | sat |
433166728 | qf_shls_entl/clones-07-e10.tptp.smt2 | 8317308 | SLEEK | 20564 | default | 304221 | complete | 0.082002 | 0.077694 | 113176.0 | sat | sat |
433166774 | qf_shls_entl/clones-08-e01.tptp.smt2 | 8317354 | SLEEK | 20564 | default | 304221 | complete | 0.067247 | 0.062899 | 113176.0 | unsat | unsat |
433166800 | qf_shls_entl/clones-08-e02.tptp.smt2 | 8317380 | SLEEK | 20564 | default | 304221 | complete | 0.070688 | 0.066252 | 113176.0 | unsat | unsat |
433166792 | qf_shls_entl/clones-08-e03.tptp.smt2 | 8317372 | SLEEK | 20564 | default | 304221 | complete | 0.069483 | 0.064986 | 113176.0 | unsat | unsat |
433166752 | qf_shls_entl/clones-08-e04.tptp.smt2 | 8317332 | SLEEK | 20564 | default | 304221 | complete | 0.06599 | 0.0619589 | 113176.0 | unsat | unsat |
433166741 | qf_shls_entl/clones-08-e05.tptp.smt2 | 8317321 | SLEEK | 20564 | default | 304221 | complete | 0.076124 | 0.0714869 | 113176.0 | unsat | unsat |
433166765 | qf_shls_entl/clones-08-e06.tptp.smt2 | 8317345 | SLEEK | 20564 | default | 304221 | complete | 0.067177 | 0.062778 | 113176.0 | unsat | unsat |
433166759 | qf_shls_entl/clones-08-e07.tptp.smt2 | 8317339 | SLEEK | 20564 | default | 304221 | complete | 0.084837 | 0.0798791 | 113176.0 | sat | sat |
433166841 | qf_shls_entl/clones-08-e08.tptp.smt2 | 8317421 | SLEEK | 20564 | default | 304221 | complete | 0.10995 | 0.104199 | 113176.0 | sat | sat |
433166850 | qf_shls_entl/clones-08-e09.tptp.smt2 | 8317430 | SLEEK | 20564 | default | 304221 | complete | 0.104094 | 0.0984549 | 113176.0 | sat | sat |
433166670 | qf_shls_entl/clones-08-e10.tptp.smt2 | 8317250 | SLEEK | 20564 | default | 304221 | complete | 0.08507 | 0.0800089 | 113176.0 | sat | sat |
433166683 | qf_shls_entl/clones-09-e01.tptp.smt2 | 8317263 | SLEEK | 20564 | default | 304221 | complete | 0.069021 | 0.0672151 | 113176.0 | unsat | unsat |
433166675 | qf_shls_entl/clones-09-e02.tptp.smt2 | 8317255 | SLEEK | 20564 | default | 304221 | complete | 0.071731 | 0.067179 | 113176.0 | unsat | unsat |
433166665 | qf_shls_entl/clones-09-e03.tptp.smt2 | 8317245 | SLEEK | 20564 | default | 304221 | complete | 0.072319 | 0.067753 | 113176.0 | unsat | unsat |
433166734 | qf_shls_entl/clones-09-e04.tptp.smt2 | 8317314 | SLEEK | 20564 | default | 304221 | complete | 0.065332 | 0.061516 | 113176.0 | unsat | unsat |
433166721 | qf_shls_entl/clones-09-e05.tptp.smt2 | 8317301 | SLEEK | 20564 | default | 304221 | complete | 0.079408 | 0.074819 | 113176.0 | unsat | unsat |
433166713 | qf_shls_entl/clones-09-e06.tptp.smt2 | 8317293 | SLEEK | 20564 | default | 304221 | complete | 0.065703 | 0.0613101 | 113176.0 | unsat | unsat |
433166707 | qf_shls_entl/clones-09-e07.tptp.smt2 | 8317287 | SLEEK | 20564 | default | 304221 | complete | 0.090154 | 0.0850171 | 113176.0 | sat | sat |
433166603 | qf_shls_entl/clones-09-e08.tptp.smt2 | 8317183 | SLEEK | 20564 | default | 304221 | complete | 0.121643 | 0.116268 | 113176.0 | sat | sat |
433166615 | qf_shls_entl/clones-09-e09.tptp.smt2 | 8317195 | SLEEK | 20564 | default | 304221 | complete | 0.115725 | 0.109776 | 113176.0 | sat | sat |
433166797 | qf_shls_entl/clones-09-e10.tptp.smt2 | 8317377 | SLEEK | 20564 | default | 304221 | complete | 0.089106 | 0.083938 | 113176.0 | sat | sat |
433166610 | qf_shls_entl/clones-10-e01.tptp.smt2 | 8317190 | SLEEK | 20564 | default | 304221 | complete | 0.06747 | 0.063446 | 113176.0 | unsat | unsat |
433166578 | qf_shls_entl/clones-10-e02.tptp.smt2 | 8317158 | SLEEK | 20564 | default | 304221 | complete | 0.071839 | 0.067313 | 113176.0 | unsat | unsat |
433166590 | qf_shls_entl/clones-10-e03.tptp.smt2 | 8317170 | SLEEK | 20564 | default | 304221 | complete | 0.071307 | 0.066713 | 113176.0 | unsat | unsat |
433166647 | qf_shls_entl/clones-10-e04.tptp.smt2 | 8317227 | SLEEK | 20564 | default | 304221 | complete | 0.066339 | 0.0623549 | 113176.0 | unsat | unsat |
433166657 | qf_shls_entl/clones-10-e05.tptp.smt2 | 8317237 | SLEEK | 20564 | default | 304221 | complete | 0.082651 | 0.078187 | 113176.0 | unsat | unsat |
433166628 | qf_shls_entl/clones-10-e06.tptp.smt2 | 8317208 | SLEEK | 20564 | default | 304221 | complete | 0.065977 | 0.062077 | 113176.0 | unsat | unsat |
433166639 | qf_shls_entl/clones-10-e07.tptp.smt2 | 8317219 | SLEEK | 20564 | default | 304221 | complete | 0.09562 | 0.0900579 | 113176.0 | sat | sat |
433166700 | qf_shls_entl/clones-10-e08.tptp.smt2 | 8317280 | SLEEK | 20564 | default | 304221 | complete | 0.133656 | 0.127494 | 113176.0 | sat | sat |
433166693 | qf_shls_entl/clones-10-e09.tptp.smt2 | 8317273 | SLEEK | 20564 | default | 304221 | complete | 0.126819 | 0.120563 | 113176.0 | sat | sat |
433166873 | qf_shls_entl/clones-10-e10.tptp.smt2 | 8317453 | SLEEK | 20564 | default | 304221 | complete | 0.093961 | 0.0889001 | 113176.0 | sat | sat |
433166856 | qf_shls_entl/ls-vc01.smt2 | 8317436 | SLEEK | 20564 | default | 304221 | complete | 0.09333 | 0.088298 | 113176.0 | sat | sat |
433166687 | qf_shls_entl/ls-vc02.smt2 | 8317267 | SLEEK | 20564 | default | 304221 | complete | 0.136788 | 0.129886 | 113176.0 | sat | sat |
433166645 | qf_shls_entl/ls-vc03.smt2 | 8317225 | SLEEK | 20564 | default | 304221 | complete | 0.367255 | 0.354304 | 113176.0 | sat | sat |
433166739 | qf_shls_entl/ls-vc04.smt2 | 8317319 | SLEEK | 20564 | default | 304221 | complete | 0.076076 | 0.071712 | 113176.0 | sat | sat |
433166843 | qf_shls_entl/ls-vc05.smt2 | 8317423 | SLEEK | 20564 | default | 304221 | complete | 0.065851 | 0.061906 | 113176.0 | unsat | unsat |
433166672 | qf_shls_entl/ls-vc06.smt2 | 8317252 | SLEEK | 20564 | default | 304221 | complete | 0.115373 | 0.108909 | 113176.0 | sat | sat |
433166630 | qf_shls_entl/ls-vc07.smt2 | 8317210 | SLEEK | 20564 | default | 304221 | complete | 0.065925 | 0.0619851 | 113176.0 | sat | sat |
433166799 | qf_shls_entl/ls-vc08.smt2 | 8317379 | SLEEK | 20564 | default | 304221 | complete | 0.117066 | 0.110227 | 113176.0 | sat | unsat |
433166831 | qf_shls_entl/ls-vc09.smt2 | 8317411 | SLEEK | 20564 | default | 304221 | complete | 0.119754 | 0.112826 | 113176.0 | sat | unsat |
433166661 | qf_shls_entl/smallfoot-vc01.tptp.smt2 | 8317241 | SLEEK | 20564 | default | 304221 | complete | 0.066164 | 0.062129 | 113176.0 | unsat | unsat |
433166694 | qf_shls_entl/smallfoot-vc02.tptp.smt2 | 8317274 | SLEEK | 20564 | default | 304221 | complete | 0.065788 | 0.0614 | 113176.0 | unsat | unsat |
433166686 | qf_shls_entl/smallfoot-vc03.tptp.smt2 | 8317266 | SLEEK | 20564 | default | 304221 | complete | 0.070112 | 0.0660569 | 113176.0 | unsat | unsat |
433166715 | qf_shls_entl/smallfoot-vc04.tptp.smt2 | 8317295 | SLEEK | 20564 | default | 304221 | complete | 0.065093 | 0.0607561 | 113176.0 | unsat | unsat |
433166705 | qf_shls_entl/smallfoot-vc05.tptp.smt2 | 8317285 | SLEEK | 20564 | default | 304221 | complete | 0.069419 | 0.06544 | 113176.0 | unsat | unsat |
433166732 | qf_shls_entl/smallfoot-vc06.tptp.smt2 | 8317312 | SLEEK | 20564 | default | 304221 | complete | 0.067092 | 0.063142 | 113176.0 | unsat | unsat |
433166725 | qf_shls_entl/smallfoot-vc07.tptp.smt2 | 8317305 | SLEEK | 20564 | default | 304221 | complete | 0.067318 | 0.0628809 | 113176.0 | unsat | unsat |
433166585 | qf_shls_entl/smallfoot-vc08.tptp.smt2 | 8317165 | SLEEK | 20564 | default | 304221 | complete | 0.0669 | 0.0628429 | 113176.0 | unsat | unsat |
433166599 | qf_shls_entl/smallfoot-vc09.tptp.smt2 | 8317179 | SLEEK | 20564 | default | 304221 | complete | 0.069313 | 0.0653809 | 113176.0 | unsat | unsat |
433166780 | qf_shls_entl/smallfoot-vc10.tptp.smt2 | 8317360 | SLEEK | 20564 | default | 304221 | complete | 0.101188 | 0.095204 | 113176.0 | unsat | unsat |
433166788 | qf_shls_entl/smallfoot-vc11.tptp.smt2 | 8317368 | SLEEK | 20564 | default | 304221 | complete | 0.085 | 0.0800831 | 113176.0 | unsat | unsat |
433166794 | qf_shls_entl/smallfoot-vc12.tptp.smt2 | 8317374 | SLEEK | 20564 | default | 304221 | complete | 0.072889 | 0.068739 | 113176.0 | unsat | unsat |
433166805 | qf_shls_entl/smallfoot-vc13.tptp.smt2 | 8317385 | SLEEK | 20564 | default | 304221 | complete | 0.066963 | 0.062932 | 113176.0 | unsat | unsat |
433166737 | qf_shls_entl/smallfoot-vc14.tptp.smt2 | 8317317 | SLEEK | 20564 | default | 304221 | complete | 0.066797 | 0.062378 | 113176.0 | unsat | unsat |
433166744 | qf_shls_entl/smallfoot-vc15.tptp.smt2 | 8317324 | SLEEK | 20564 | default | 304221 | complete | 0.068612 | 0.0644479 | 113176.0 | unsat | unsat |
433166754 | qf_shls_entl/smallfoot-vc16.tptp.smt2 | 8317334 | SLEEK | 20564 | default | 304221 | complete | 0.067843 | 0.0637609 | 113176.0 | unsat | unsat |
433166763 | qf_shls_entl/smallfoot-vc17.tptp.smt2 | 8317343 | SLEEK | 20564 | default | 304221 | complete | 0.068386 | 0.064361 | 113176.0 | unsat | unsat |
433166847 | qf_shls_entl/smallfoot-vc18.tptp.smt2 | 8317427 | SLEEK | 20564 | default | 304221 | complete | 0.068747 | 0.0646519 | 113176.0 | unsat | unsat |
433166840 | qf_shls_entl/smallfoot-vc19.tptp.smt2 | 8317420 | SLEEK | 20564 | default | 304221 | complete | 0.070631 | 0.0665219 | 113176.0 | unsat | unsat |
433166580 | qf_shls_entl/smallfoot-vc20.tptp.smt2 | 8317160 | SLEEK | 20564 | default | 304221 | complete | 0.066683 | 0.0621709 | 113176.0 | unsat | unsat |
433166588 | qf_shls_entl/smallfoot-vc21.tptp.smt2 | 8317168 | SLEEK | 20564 | default | 304221 | complete | 0.066319 | 0.0618289 | 113176.0 | unsat | unsat |
433166602 | qf_shls_entl/smallfoot-vc22.tptp.smt2 | 8317182 | SLEEK | 20564 | default | 304221 | complete | 0.070008 | 0.0659721 | 113176.0 | unsat | sat |
433166611 | qf_shls_entl/smallfoot-vc23.tptp.smt2 | 8317191 | SLEEK | 20564 | default | 304221 | complete | 0.06656 | 0.0626261 | 113176.0 | unsat | sat |
433166629 | qf_shls_entl/smallfoot-vc24.tptp.smt2 | 8317209 | SLEEK | 20564 | default | 304221 | complete | 0.070534 | 0.0663651 | 113176.0 | unsat | unsat |
433166638 | qf_shls_entl/smallfoot-vc25.tptp.smt2 | 8317218 | SLEEK | 20564 | default | 304221 | complete | 0.071333 | 0.0670809 | 113176.0 | unsat | unsat |
433166646 | qf_shls_entl/smallfoot-vc26.tptp.smt2 | 8317226 | SLEEK | 20564 | default | 304221 | complete | 0.067916 | 0.0637729 | 113176.0 | unsat | unsat |
433166659 | qf_shls_entl/smallfoot-vc27.tptp.smt2 | 8317239 | SLEEK | 20564 | default | 304221 | complete | 0.066457 | 0.0622881 | 113176.0 | unsat | unsat |
433166678 | qf_shls_entl/smallfoot-vc28.tptp.smt2 | 8317258 | SLEEK | 20564 | default | 304221 | complete | 0.092153 | 0.0871001 | 113176.0 | sat | unsat |
433166669 | qf_shls_entl/smallfoot-vc29.tptp.smt2 | 8317249 | SLEEK | 20564 | default | 304221 | complete | 0.080721 | 0.076068 | 113176.0 | sat | sat |
433166851 | qf_shls_entl/smallfoot-vc30.tptp.smt2 | 8317431 | SLEEK | 20564 | default | 304221 | complete | 0.095669 | 0.0907879 | 113176.0 | sat | sat |
433166842 | qf_shls_entl/smallfoot-vc31.tptp.smt2 | 8317422 | SLEEK | 20564 | default | 304221 | complete | 0.088003 | 0.082564 | 113176.0 | sat | sat |
433166872 | qf_shls_entl/smallfoot-vc32.tptp.smt2 | 8317452 | SLEEK | 20564 | default | 304221 | complete | 0.087495 | 0.0820689 | 113176.0 | sat | sat |
433166863 | qf_shls_entl/smallfoot-vc33.tptp.smt2 | 8317443 | SLEEK | 20564 | default | 304221 | complete | 0.080649 | 0.075911 | 113176.0 | sat | sat |
433166817 | qf_shls_entl/smallfoot-vc34.tptp.smt2 | 8317397 | SLEEK | 20564 | default | 304221 | complete | 0.458773 | 0.443543 | 113176.0 | unsat | unsat |
433166809 | qf_shls_entl/smallfoot-vc35.tptp.smt2 | 8317389 | SLEEK | 20564 | default | 304221 | complete | 0.087545 | 0.0818909 | 113176.0 | sat | sat |
433166829 | qf_shls_entl/smallfoot-vc36.tptp.smt2 | 8317409 | SLEEK | 20564 | default | 304221 | complete | 0.093654 | 0.0882681 | 113176.0 | unsat | unsat |
433166822 | qf_shls_entl/smallfoot-vc37.tptp.smt2 | 8317402 | SLEEK | 20564 | default | 304221 | complete | 0.076341 | 0.0719171 | 113176.0 | sat | sat |
433166772 | qf_shls_entl/smallfoot-vc38.tptp.smt2 | 8317352 | SLEEK | 20564 | default | 304221 | complete | 0.74151 | 0.718554 | 253188.0 | unsat | unsat |
433166784 | qf_shls_entl/smallfoot-vc39.tptp.smt2 | 8317364 | SLEEK | 20564 | default | 304221 | complete | 0.06972 | 0.0655551 | 113176.0 | unsat | sat |
433166836 | qf_shls_entl/smallfoot-vc40.tptp.smt2 | 8317416 | SLEEK | 20564 | default | 304221 | complete | 0.070031 | 0.065958 | 113176.0 | unsat | sat |
433166828 | qf_shls_entl/smallfoot-vc41.tptp.smt2 | 8317408 | SLEEK | 20564 | default | 304221 | complete | 0.069579 | 0.0654519 | 113176.0 | unsat | unsat |
433166819 | qf_shls_entl/smallfoot-vc42.tptp.smt2 | 8317399 | SLEEK | 20564 | default | 304221 | complete | 0.07155 | 0.067358 | 113176.0 | unsat | unsat |
433166810 | qf_shls_entl/smallfoot-vc43.tptp.smt2 | 8317390 | SLEEK | 20564 | default | 304221 | complete | 0.06988 | 0.065909 | 113176.0 | unsat | sat |
433166864 | qf_shls_entl/smallfoot-vc44.tptp.smt2 | 8317444 | SLEEK | 20564 | default | 304221 | complete | 0.072475 | 0.0682421 | 113176.0 | unsat | unsat |
433166858 | qf_shls_entl/smallfoot-vc45.tptp.smt2 | 8317438 | SLEEK | 20564 | default | 304221 | complete | 0.069055 | 0.0648709 | 113176.0 | unsat | unsat |
433166848 | qf_shls_entl/smallfoot-vc46.tptp.smt2 | 8317428 | SLEEK | 20564 | default | 304221 | complete | 0.069697 | 0.0655629 | 113176.0 | unsat | unsat |
433166839 | qf_shls_entl/smallfoot-vc47.tptp.smt2 | 8317419 | SLEEK | 20564 | default | 304221 | complete | 0.07075 | 0.0661351 | 113176.0 | unsat | unsat |
433166755 | qf_shls_entl/smallfoot-vc48.tptp.smt2 | 8317335 | SLEEK | 20564 | default | 304221 | complete | 0.069575 | 0.0655301 | 113176.0 | unsat | unsat |
433166762 | qf_shls_entl/smallfoot-vc49.tptp.smt2 | 8317342 | SLEEK | 20564 | default | 304221 | complete | 0.076453 | 0.0719729 | 113176.0 | unsat | sat |
433166644 | qf_shls_entl/smallfoot-vc50.tptp.smt2 | 8317224 | SLEEK | 20564 | default | 304221 | complete | 0.067763 | 0.0638449 | 113176.0 | unsat | unsat |
433166656 | qf_shls_entl/smallfoot-vc51.tptp.smt2 | 8317236 | SLEEK | 20564 | default | 304221 | complete | 0.068114 | 0.0641249 | 113176.0 | unsat | unsat |
433166619 | qf_shls_entl/smallfoot-vc52.tptp.smt2 | 8317199 | SLEEK | 20564 | default | 304221 | complete | 0.069118 | 0.0645041 | 113176.0 | unsat | unsat |
433166632 | qf_shls_entl/smallfoot-vc53.tptp.smt2 | 8317212 | SLEEK | 20564 | default | 304221 | complete | 0.067055 | 0.063134 | 113176.0 | unsat | unsat |
433166604 | qf_shls_entl/smallfoot-vc54.tptp.smt2 | 8317184 | SLEEK | 20564 | default | 304221 | complete | 0.071114 | 0.0665421 | 113176.0 | unsat | sat |
433166613 | qf_shls_entl/smallfoot-vc55.tptp.smt2 | 8317193 | SLEEK | 20564 | default | 304221 | complete | 0.068055 | 0.0639879 | 113176.0 | unsat | unsat |
433166587 | qf_shls_entl/smallfoot-vc56.tptp.smt2 | 8317167 | SLEEK | 20564 | default | 304221 | complete | 0.068573 | 0.064381 | 113176.0 | unsat | sat |
433166598 | qf_shls_entl/smallfoot-vc57.tptp.smt2 | 8317178 | SLEEK | 20564 | default | 304221 | complete | 0.072905 | 0.068556 | 113176.0 | unsat | sat |
433166733 | qf_shls_entl/smallfoot-vc58.tptp.smt2 | 8317313 | SLEEK | 20564 | default | 304221 | complete | 0.06956 | 0.065486 | 113176.0 | unsat | unsat |
433166723 | qf_shls_entl/smallfoot-vc59.tptp.smt2 | 8317303 | SLEEK | 20564 | default | 304221 | complete | 0.067503 | 0.062977 | 113176.0 | unsat | unsat |
433166758 | qf_shls_entl/smallfoot-vc60.tptp.smt2 | 8317338 | SLEEK | 20564 | default | 304221 | complete | 0.073369 | 0.069178 | 113176.0 | unsat | unsat |
433166767 | qf_shls_entl/smallfoot-vc61.tptp.smt2 | 8317347 | SLEEK | 20564 | default | 304221 | complete | 0.068434 | 0.063937 | 113176.0 | unsat | sat |
433166743 | qf_shls_entl/smallfoot-vc62.tptp.smt2 | 8317323 | SLEEK | 20564 | default | 304221 | complete | 0.066561 | 0.0626819 | 113176.0 | unsat | unsat |
433166749 | qf_shls_entl/smallfoot-vc63.tptp.smt2 | 8317329 | SLEEK | 20564 | default | 304221 | complete | 0.073351 | 0.0691229 | 113176.0 | unsat | unsat |
433166790 | qf_shls_entl/smallfoot-vc64.tptp.smt2 | 8317370 | SLEEK | 20564 | default | 304221 | complete | 0.066561 | 0.0625399 | 113176.0 | unsat | unsat |
433166803 | qf_shls_entl/smallfoot-vc65.tptp.smt2 | 8317383 | SLEEK | 20564 | default | 304221 | complete | 0.069032 | 0.0644261 | 113176.0 | unsat | unsat |
433166775 | qf_shls_entl/smallfoot-vc66.tptp.smt2 | 8317355 | SLEEK | 20564 | default | 304221 | complete | 0.066684 | 0.0627699 | 113176.0 | unsat | unsat |
433166782 | qf_shls_entl/smallfoot-vc67.tptp.smt2 | 8317362 | SLEEK | 20564 | default | 304221 | complete | 0.068111 | 0.064053 | 113176.0 | unsat | unsat |
433166832 | qf_shls_entl/smallfoot-vc68.tptp.smt2 | 8317412 | SLEEK | 20564 | default | 304221 | complete | 0.067773 | 0.063789 | 113176.0 | unsat | sat |
433166820 | qf_shls_entl/smallfoot-vc69.tptp.smt2 | 8317400 | SLEEK | 20564 | default | 304221 | complete | 0.071507 | 0.0667419 | 113176.0 | unsat | sat |
433166727 | qf_shls_entl/smallfoot-vc70.tptp.smt2 | 8317307 | SLEEK | 20564 | default | 304221 | complete | 0.15512 | 0.148031 | 113176.0 | unsat | sat |
433166719 | qf_shls_entl/smallfoot-vc71.tptp.smt2 | 8317299 | SLEEK | 20564 | default | 304221 | complete | 0.088538 | 0.0836709 | 113176.0 | unsat | unsat |
433166710 | qf_shls_entl/smallfoot-vc72.tptp.smt2 | 8317290 | SLEEK | 20564 | default | 304221 | complete | 0.069155 | 0.065131 | 113176.0 | unsat | sat |
433166702 | qf_shls_entl/smallfoot-vc73.tptp.smt2 | 8317282 | SLEEK | 20564 | default | 304221 | complete | 0.068198 | 0.063714 | 113176.0 | unsat | sat |
433166699 | qf_shls_entl/smallfoot-vc74.tptp.smt2 | 8317279 | SLEEK | 20564 | default | 304221 | complete | 0.071056 | 0.06681 | 113176.0 | unsat | unsat |
433166692 | qf_shls_entl/smallfoot-vc75.tptp.smt2 | 8317272 | SLEEK | 20564 | default | 304221 | complete | 0.068247 | 0.0641111 | 113176.0 | unsat | unsat |
433166679 | qf_shls_entl/smallfoot-vc76.tptp.smt2 | 8317259 | SLEEK | 20564 | default | 304221 | complete | 0.068232 | 0.063795 | 113176.0 | unsat | sat |
433166667 | qf_shls_entl/smallfoot-vc77.tptp.smt2 | 8317247 | SLEEK | 20564 | default | 304221 | complete | 0.067377 | 0.0632949 | 113176.0 | unsat | unsat |