| 430493739 | qf_shls_entl/bolognesa-10-e01.tptp.smt2 | 8317378 | ASTERIX | 20618 | default | 304295 | complete | 0.01591 | 0.0213669 | 0.0 | sat | sat |
| 430493730 | qf_shls_entl/bolognesa-10-e02.tptp.smt2 | 8317369 | ASTERIX | 20618 | default | 304295 | complete | 0.013193 | 0.0132461 | 113176.0 | unsat | unsat |
| 430493720 | qf_shls_entl/bolognesa-10-e03.tptp.smt2 | 8317359 | ASTERIX | 20618 | default | 304295 | complete | 0.013745 | 0.013772 | 113176.0 | unsat | unsat |
| 430493702 | qf_shls_entl/bolognesa-10-e04.tptp.smt2 | 8317341 | ASTERIX | 20618 | default | 304295 | complete | 0.013743 | 0.0138191 | 113176.0 | sat | sat |
| 430493697 | qf_shls_entl/bolognesa-10-e05.tptp.smt2 | 8317336 | ASTERIX | 20618 | default | 304295 | complete | 0.014295 | 0.0143651 | 113176.0 | sat | sat |
| 430493688 | qf_shls_entl/bolognesa-10-e06.tptp.smt2 | 8317327 | ASTERIX | 20618 | default | 304295 | complete | 0.013832 | 0.013864 | 113176.0 | sat | sat |
| 430493677 | qf_shls_entl/bolognesa-10-e07.tptp.smt2 | 8317316 | ASTERIX | 20618 | default | 304295 | complete | 0.013663 | 0.0136969 | 113176.0 | sat | sat |
| 430493798 | qf_shls_entl/bolognesa-10-e08.tptp.smt2 | 8317437 | ASTERIX | 20618 | default | 304295 | complete | 0.013551 | 0.0136109 | 113176.0 | sat | sat |
| 430493806 | qf_shls_entl/bolognesa-10-e09.tptp.smt2 | 8317445 | ASTERIX | 20618 | default | 304295 | complete | 0.015424 | 0.015473 | 113176.0 | sat | sat |
| 430493623 | qf_shls_entl/bolognesa-10-e10.tptp.smt2 | 8317262 | ASTERIX | 20618 | default | 304295 | complete | 0.013209 | 0.0132329 | 113176.0 | unsat | unsat |
| 430493612 | qf_shls_entl/bolognesa-11-e01.tptp.smt2 | 8317251 | ASTERIX | 20618 | default | 304295 | complete | 0.0137 | 0.0138151 | 113176.0 | unsat | unsat |
| 430493642 | qf_shls_entl/bolognesa-11-e02.tptp.smt2 | 8317281 | ASTERIX | 20618 | default | 304295 | complete | 0.013482 | 0.013523 | 113176.0 | unsat | unsat |
| 430493631 | qf_shls_entl/bolognesa-11-e03.tptp.smt2 | 8317270 | ASTERIX | 20618 | default | 304295 | complete | 0.014393 | 0.014454 | 113176.0 | unsat | unsat |
| 430493650 | qf_shls_entl/bolognesa-11-e04.tptp.smt2 | 8317289 | ASTERIX | 20618 | default | 304295 | complete | 0.014834 | 0.0149159 | 113176.0 | unsat | unsat |
| 430493645 | qf_shls_entl/bolognesa-11-e05.tptp.smt2 | 8317284 | ASTERIX | 20618 | default | 304295 | complete | 0.01393 | 0.013961 | 113176.0 | sat | sat |
| 430493670 | qf_shls_entl/bolognesa-11-e06.tptp.smt2 | 8317309 | ASTERIX | 20618 | default | 304295 | complete | 0.014061 | 0.01411 | 113176.0 | sat | sat |
| 430493659 | qf_shls_entl/bolognesa-11-e07.tptp.smt2 | 8317298 | ASTERIX | 20618 | default | 304295 | complete | 0.015045 | 0.0151069 | 113176.0 | unsat | unsat |
| 430493520 | qf_shls_entl/bolognesa-11-e08.tptp.smt2 | 8317159 | ASTERIX | 20618 | default | 304295 | complete | 0.013402 | 0.0134391 | 113176.0 | unsat | unsat |
| 430493530 | qf_shls_entl/bolognesa-11-e09.tptp.smt2 | 8317169 | ASTERIX | 20618 | default | 304295 | complete | 0.014956 | 0.019241 | 0.0 | unsat | unsat |
| 430493712 | qf_shls_entl/bolognesa-11-e10.tptp.smt2 | 8317351 | ASTERIX | 20618 | default | 304295 | complete | 0.01482 | 0.0180641 | 0.0 | sat | sat |
| 430493754 | qf_shls_entl/bolognesa-12-e01.tptp.smt2 | 8317393 | ASTERIX | 20618 | default | 304295 | complete | 0.013382 | 0.0134359 | 113176.0 | unsat | unsat |
| 430493776 | qf_shls_entl/bolognesa-12-e02.tptp.smt2 | 8317415 | ASTERIX | 20618 | default | 304295 | complete | 0.014767 | 0.0160261 | 0.0 | sat | sat |
| 430493768 | qf_shls_entl/bolognesa-12-e03.tptp.smt2 | 8317407 | ASTERIX | 20618 | default | 304295 | complete | 0.016548 | 0.0178991 | 0.0 | sat | sat |
| 430493787 | qf_shls_entl/bolognesa-12-e04.tptp.smt2 | 8317426 | ASTERIX | 20618 | default | 304295 | complete | 0.014618 | 0.01469 | 113176.0 | sat | sat |
| 430493778 | qf_shls_entl/bolognesa-12-e05.tptp.smt2 | 8317417 | ASTERIX | 20618 | default | 304295 | complete | 0.01374 | 0.0137929 | 113176.0 | unsat | unsat |
| 430493809 | qf_shls_entl/bolognesa-12-e06.tptp.smt2 | 8317448 | ASTERIX | 20618 | default | 304295 | complete | 0.013205 | 0.013285 | 113176.0 | unsat | unsat |
| 430493800 | qf_shls_entl/bolognesa-12-e07.tptp.smt2 | 8317439 | ASTERIX | 20618 | default | 304295 | complete | 0.01499 | 0.0182301 | 0.0 | sat | sat |
| 430493679 | qf_shls_entl/bolognesa-12-e08.tptp.smt2 | 8317318 | ASTERIX | 20618 | default | 304295 | complete | 0.014841 | 0.014925 | 113176.0 | unsat | unsat |
| 430493689 | qf_shls_entl/bolognesa-12-e09.tptp.smt2 | 8317328 | ASTERIX | 20618 | default | 304295 | complete | 0.015284 | 0.0153529 | 113176.0 | unsat | unsat |
| 430493563 | qf_shls_entl/bolognesa-12-e10.tptp.smt2 | 8317202 | ASTERIX | 20618 | default | 304295 | complete | 0.013942 | 0.0160081 | 0.0 | unsat | unsat |
| 430493592 | qf_shls_entl/bolognesa-13-e01.tptp.smt2 | 8317231 | ASTERIX | 20618 | default | 304295 | complete | 0.014475 | 0.0145339 | 113176.0 | unsat | unsat |
| 430493578 | qf_shls_entl/bolognesa-13-e02.tptp.smt2 | 8317217 | ASTERIX | 20618 | default | 304295 | complete | 0.016385 | 0.016478 | 113176.0 | sat | sat |
| 430493567 | qf_shls_entl/bolognesa-13-e03.tptp.smt2 | 8317206 | ASTERIX | 20618 | default | 304295 | complete | 0.01404 | 0.01569 | 0.0 | unsat | unsat |
| 430493549 | qf_shls_entl/bolognesa-13-e04.tptp.smt2 | 8317188 | ASTERIX | 20618 | default | 304295 | complete | 0.01448 | 0.0145141 | 113176.0 | sat | sat |
| 430493542 | qf_shls_entl/bolognesa-13-e05.tptp.smt2 | 8317181 | ASTERIX | 20618 | default | 304295 | complete | 0.014395 | 0.0144211 | 113176.0 | sat | sat |
| 430493535 | qf_shls_entl/bolognesa-13-e06.tptp.smt2 | 8317174 | ASTERIX | 20618 | default | 304295 | complete | 0.016027 | 0.0161141 | 113176.0 | sat | sat |
| 430493522 | qf_shls_entl/bolognesa-13-e07.tptp.smt2 | 8317161 | ASTERIX | 20618 | default | 304295 | complete | 0.013985 | 0.014054 | 113176.0 | unsat | unsat |
| 430493661 | qf_shls_entl/bolognesa-13-e08.tptp.smt2 | 8317300 | ASTERIX | 20618 | default | 304295 | complete | 0.01665 | 0.0205639 | 0.0 | unsat | unsat |
| 430493671 | qf_shls_entl/bolognesa-13-e09.tptp.smt2 | 8317310 | ASTERIX | 20618 | default | 304295 | complete | 0.014444 | 0.0145101 | 113176.0 | sat | sat |
| 430493764 | qf_shls_entl/bolognesa-13-e10.tptp.smt2 | 8317403 | ASTERIX | 20618 | default | 304295 | complete | 0.015676 | 0.0191719 | 0.0 | sat | sat |
| 430493626 | qf_shls_entl/bolognesa-14-e01.tptp.smt2 | 8317265 | ASTERIX | 20618 | default | 304295 | complete | 0.015674 | 0.0157059 | 113176.0 | unsat | unsat |
| 430493618 | qf_shls_entl/bolognesa-14-e02.tptp.smt2 | 8317257 | ASTERIX | 20618 | default | 304295 | complete | 0.01567 | 0.0157359 | 113176.0 | unsat | unsat |
| 430493603 | qf_shls_entl/bolognesa-14-e03.tptp.smt2 | 8317242 | ASTERIX | 20618 | default | 304295 | complete | 0.014291 | 0.014319 | 113176.0 | unsat | unsat |
| 430493672 | qf_shls_entl/bolognesa-14-e04.tptp.smt2 | 8317311 | ASTERIX | 20618 | default | 304295 | complete | 0.013726 | 0.013806 | 113176.0 | unsat | unsat |
| 430493665 | qf_shls_entl/bolognesa-14-e05.tptp.smt2 | 8317304 | ASTERIX | 20618 | default | 304295 | complete | 0.015555 | 0.0156321 | 113176.0 | sat | sat |
| 430493657 | qf_shls_entl/bolognesa-14-e06.tptp.smt2 | 8317296 | ASTERIX | 20618 | default | 304295 | complete | 0.014688 | 0.014719 | 113176.0 | unsat | unsat |
| 430493647 | qf_shls_entl/bolognesa-14-e07.tptp.smt2 | 8317286 | ASTERIX | 20618 | default | 304295 | complete | 0.014195 | 0.0142141 | 113176.0 | unsat | unsat |
| 430493547 | qf_shls_entl/bolognesa-14-e08.tptp.smt2 | 8317186 | ASTERIX | 20618 | default | 304295 | complete | 0.015698 | 0.015723 | 113176.0 | unsat | unsat |
| 430493553 | qf_shls_entl/bolognesa-14-e09.tptp.smt2 | 8317192 | ASTERIX | 20618 | default | 304295 | complete | 0.01401 | 0.014064 | 113176.0 | unsat | unsat |
| 430493736 | qf_shls_entl/bolognesa-14-e10.tptp.smt2 | 8317375 | ASTERIX | 20618 | default | 304295 | complete | 0.016789 | 0.022249 | 0.0 | sat | sat |
| 430493717 | qf_shls_entl/bolognesa-15-e01.tptp.smt2 | 8317356 | ASTERIX | 20618 | default | 304295 | complete | 0.013956 | 0.0139901 | 113176.0 | unsat | unsat |
| 430493743 | qf_shls_entl/bolognesa-15-e02.tptp.smt2 | 8317382 | ASTERIX | 20618 | default | 304295 | complete | 0.01503 | 0.0208589 | 0.0 | unsat | unsat |
| 430493732 | qf_shls_entl/bolognesa-15-e03.tptp.smt2 | 8317371 | ASTERIX | 20618 | default | 304295 | complete | 0.01511 | 0.015134 | 113176.0 | sat | sat |
| 430493691 | qf_shls_entl/bolognesa-15-e04.tptp.smt2 | 8317330 | ASTERIX | 20618 | default | 304295 | complete | 0.014342 | 0.014411 | 113176.0 | unsat | unsat |
| 430493683 | qf_shls_entl/bolognesa-15-e05.tptp.smt2 | 8317322 | ASTERIX | 20618 | default | 304295 | complete | 0.015524 | 0.0155619 | 113176.0 | unsat | unsat |
| 430493710 | qf_shls_entl/bolognesa-15-e06.tptp.smt2 | 8317349 | ASTERIX | 20618 | default | 304295 | complete | 0.015041 | 0.0190839 | 0.0 | unsat | unsat |
| 430493698 | qf_shls_entl/bolognesa-15-e07.tptp.smt2 | 8317337 | ASTERIX | 20618 | default | 304295 | complete | 0.01394 | 0.013978 | 113176.0 | unsat | unsat |
| 430493785 | qf_shls_entl/bolognesa-15-e08.tptp.smt2 | 8317424 | ASTERIX | 20618 | default | 304295 | complete | 0.015432 | 0.015476 | 113176.0 | sat | sat |
| 430493790 | qf_shls_entl/bolognesa-15-e09.tptp.smt2 | 8317429 | ASTERIX | 20618 | default | 304295 | complete | 0.015562 | 0.0156309 | 113176.0 | sat | sat |
| 430493607 | qf_shls_entl/bolognesa-15-e10.tptp.smt2 | 8317246 | ASTERIX | 20618 | default | 304295 | complete | 0.014111 | 0.0141429 | 113176.0 | unsat | unsat |
| 430493565 | qf_shls_entl/bolognesa-16-e01.tptp.smt2 | 8317204 | ASTERIX | 20618 | default | 304295 | complete | 0.014732 | 0.0148129 | 113176.0 | unsat | unsat |
| 430493595 | qf_shls_entl/bolognesa-16-e02.tptp.smt2 | 8317234 | ASTERIX | 20618 | default | 304295 | complete | 0.016249 | 0.016304 | 113176.0 | sat | sat |
| 430493582 | qf_shls_entl/bolognesa-16-e03.tptp.smt2 | 8317221 | ASTERIX | 20618 | default | 304295 | complete | 0.016741 | 0.016824 | 113176.0 | sat | sat |
| 430493536 | qf_shls_entl/bolognesa-16-e04.tptp.smt2 | 8317175 | ASTERIX | 20618 | default | 304295 | complete | 0.015224 | 0.0152541 | 113176.0 | sat | sat |
| 430493524 | qf_shls_entl/bolognesa-16-e05.tptp.smt2 | 8317163 | ASTERIX | 20618 | default | 304295 | complete | 0.016012 | 0.0160901 | 113176.0 | unsat | unsat |
| 430493559 | qf_shls_entl/bolognesa-16-e06.tptp.smt2 | 8317198 | ASTERIX | 20618 | default | 304295 | complete | 0.015648 | 0.0187301 | 0.0 | sat | sat |
| 430493548 | qf_shls_entl/bolognesa-16-e07.tptp.smt2 | 8317187 | ASTERIX | 20618 | default | 304295 | complete | 0.014458 | 0.0145299 | 113176.0 | unsat | unsat |
| 430493649 | qf_shls_entl/bolognesa-16-e08.tptp.smt2 | 8317288 | ASTERIX | 20618 | default | 304295 | complete | 0.014563 | 0.014629 | 113176.0 | unsat | unsat |
| 430493658 | qf_shls_entl/bolognesa-16-e09.tptp.smt2 | 8317297 | ASTERIX | 20618 | default | 304295 | complete | 0.014204 | 0.014267 | 113176.0 | unsat | unsat |
| 430493753 | qf_shls_entl/bolognesa-16-e10.tptp.smt2 | 8317392 | ASTERIX | 20618 | default | 304295 | complete | 0.015807 | 0.0158801 | 113176.0 | sat | sat |
| 430493767 | qf_shls_entl/bolognesa-17-e01.tptp.smt2 | 8317406 | ASTERIX | 20618 | default | 304295 | complete | 0.014502 | 0.0145771 | 113176.0 | unsat | unsat |
| 430493756 | qf_shls_entl/bolognesa-17-e02.tptp.smt2 | 8317395 | ASTERIX | 20618 | default | 304295 | complete | 0.017472 | 0.017552 | 113176.0 | sat | sat |
| 430493747 | qf_shls_entl/bolognesa-17-e03.tptp.smt2 | 8317386 | ASTERIX | 20618 | default | 304295 | complete | 0.017361 | 0.0174309 | 113176.0 | sat | sat |
| 430493811 | qf_shls_entl/bolognesa-17-e04.tptp.smt2 | 8317450 | ASTERIX | 20618 | default | 304295 | complete | 0.016349 | 0.0176701 | 0.0 | unsat | unsat |
| 430493803 | qf_shls_entl/bolognesa-17-e05.tptp.smt2 | 8317442 | ASTERIX | 20618 | default | 304295 | complete | 0.016113 | 0.019694 | 0.0 | unsat | unsat |
| 430493795 | qf_shls_entl/bolognesa-17-e06.tptp.smt2 | 8317434 | ASTERIX | 20618 | default | 304295 | complete | 0.019122 | 0.0192099 | 113176.0 | unsat | unsat |
| 430493786 | qf_shls_entl/bolognesa-17-e07.tptp.smt2 | 8317425 | ASTERIX | 20618 | default | 304295 | complete | 0.017864 | 0.0179331 | 113176.0 | unsat | unsat |
| 430493701 | qf_shls_entl/bolognesa-17-e08.tptp.smt2 | 8317340 | ASTERIX | 20618 | default | 304295 | complete | 0.018609 | 0.018649 | 113176.0 | sat | sat |
| 430493711 | qf_shls_entl/bolognesa-17-e09.tptp.smt2 | 8317350 | ASTERIX | 20618 | default | 304295 | complete | 0.014662 | 0.0146869 | 113176.0 | unsat | unsat |
| 430493590 | qf_shls_entl/bolognesa-17-e10.tptp.smt2 | 8317229 | ASTERIX | 20618 | default | 304295 | complete | 0.014781 | 0.0148541 | 113176.0 | unsat | unsat |
| 430493796 | qf_shls_entl/bolognesa-18-e01.tptp.smt2 | 8317435 | ASTERIX | 20618 | default | 304295 | complete | 0.015455 | 0.0167361 | 113176.0 | unsat | unsat |
| 430493802 | qf_shls_entl/bolognesa-18-e02.tptp.smt2 | 8317441 | ASTERIX | 20618 | default | 304295 | complete | 0.017483 | 0.021979 | 0.0 | sat | sat |
| 430493810 | qf_shls_entl/bolognesa-18-e03.tptp.smt2 | 8317449 | ASTERIX | 20618 | default | 304295 | complete | 0.019356 | 0.0193789 | 113176.0 | sat | sat |
| 430493748 | qf_shls_entl/bolognesa-18-e04.tptp.smt2 | 8317387 | ASTERIX | 20618 | default | 304295 | complete | 0.016596 | 0.0166319 | 113176.0 | sat | sat |
| 430493757 | qf_shls_entl/bolognesa-18-e05.tptp.smt2 | 8317396 | ASTERIX | 20618 | default | 304295 | complete | 0.016712 | 0.0167921 | 113176.0 | sat | sat |
| 430493766 | qf_shls_entl/bolognesa-18-e06.tptp.smt2 | 8317405 | ASTERIX | 20618 | default | 304295 | complete | 0.015911 | 0.0159779 | 113176.0 | sat | sat |
| 430493774 | qf_shls_entl/bolognesa-18-e07.tptp.smt2 | 8317413 | ASTERIX | 20618 | default | 304295 | complete | 0.017185 | 0.0172571 | 113176.0 | sat | sat |
| 430493727 | qf_shls_entl/bolognesa-18-e08.tptp.smt2 | 8317366 | ASTERIX | 20618 | default | 304295 | complete | 0.016407 | 0.016478 | 113176.0 | sat | sat |
| 430493718 | qf_shls_entl/bolognesa-18-e09.tptp.smt2 | 8317357 | ASTERIX | 20618 | default | 304295 | complete | 0.017838 | 0.017909 | 113176.0 | sat | sat |
| 430493532 | qf_shls_entl/bolognesa-18-e10.tptp.smt2 | 8317171 | ASTERIX | 20618 | default | 304295 | complete | 0.016139 | 0.0161859 | 113176.0 | unsat | unsat |
| 430493558 | qf_shls_entl/bolognesa-19-e01.tptp.smt2 | 8317197 | ASTERIX | 20618 | default | 304295 | complete | 0.016349 | 0.016417 | 113176.0 | sat | sat |
| 430493525 | qf_shls_entl/bolognesa-19-e02.tptp.smt2 | 8317164 | ASTERIX | 20618 | default | 304295 | complete | 0.016599 | 0.0166291 | 113176.0 | sat | sat |
| 430493537 | qf_shls_entl/bolognesa-19-e03.tptp.smt2 | 8317176 | ASTERIX | 20618 | default | 304295 | complete | 0.017014 | 0.0171279 | 113176.0 | sat | sat |
| 430493581 | qf_shls_entl/bolognesa-19-e04.tptp.smt2 | 8317220 | ASTERIX | 20618 | default | 304295 | complete | 0.016402 | 0.0164809 | 113176.0 | sat | sat |
| 430493594 | qf_shls_entl/bolognesa-19-e05.tptp.smt2 | 8317233 | ASTERIX | 20618 | default | 304295 | complete | 0.015438 | 0.0155011 | 113176.0 | unsat | unsat |
| 430493566 | qf_shls_entl/bolognesa-19-e06.tptp.smt2 | 8317205 | ASTERIX | 20618 | default | 304295 | complete | 0.016731 | 0.0167961 | 113176.0 | unsat | unsat |
| 430493575 | qf_shls_entl/bolognesa-19-e07.tptp.smt2 | 8317214 | ASTERIX | 20618 | default | 304295 | complete | 0.018396 | 0.0184369 | 113176.0 | sat | sat |
| 430493638 | qf_shls_entl/bolognesa-19-e08.tptp.smt2 | 8317277 | ASTERIX | 20618 | default | 304295 | complete | 0.019115 | 0.0192011 | 113176.0 | unsat | unsat |
| 430493629 | qf_shls_entl/bolognesa-19-e09.tptp.smt2 | 8317268 | ASTERIX | 20618 | default | 304295 | complete | 0.018942 | 0.0190109 | 113176.0 | sat | sat |
| 430493807 | qf_shls_entl/bolognesa-19-e10.tptp.smt2 | 8317446 | ASTERIX | 20618 | default | 304295 | complete | 0.015192 | 0.0152391 | 113176.0 | unsat | unsat |
| 430493527 | qf_shls_entl/bolognesa-20-e01.tptp.smt2 | 8317166 | ASTERIX | 20618 | default | 304295 | complete | 0.016688 | 0.016767 | 113176.0 | sat | sat |
| 430493555 | qf_shls_entl/bolognesa-20-e02.tptp.smt2 | 8317194 | ASTERIX | 20618 | default | 304295 | complete | 0.016675 | 0.0167049 | 113176.0 | sat | sat |
| 430493546 | qf_shls_entl/bolognesa-20-e03.tptp.smt2 | 8317185 | ASTERIX | 20618 | default | 304295 | complete | 0.017575 | 0.0211281 | 0.0 | sat | sat |
| 430493574 | qf_shls_entl/bolognesa-20-e04.tptp.smt2 | 8317213 | ASTERIX | 20618 | default | 304295 | complete | 0.017663 | 0.01777 | 113176.0 | sat | sat |
| 430493561 | qf_shls_entl/bolognesa-20-e05.tptp.smt2 | 8317200 | ASTERIX | 20618 | default | 304295 | complete | 0.017023 | 0.0170499 | 113176.0 | sat | sat |
| 430493596 | qf_shls_entl/bolognesa-20-e06.tptp.smt2 | 8317235 | ASTERIX | 20618 | default | 304295 | complete | 0.015174 | 0.0152439 | 113176.0 | unsat | unsat |
| 430493584 | qf_shls_entl/bolognesa-20-e07.tptp.smt2 | 8317223 | ASTERIX | 20618 | default | 304295 | complete | 0.014861 | 0.014898 | 113176.0 | unsat | unsat |
| 430493604 | qf_shls_entl/bolognesa-20-e08.tptp.smt2 | 8317243 | ASTERIX | 20618 | default | 304295 | complete | 0.015545 | 0.0156139 | 113176.0 | unsat | unsat |
| 430493617 | qf_shls_entl/bolognesa-20-e09.tptp.smt2 | 8317256 | ASTERIX | 20618 | default | 304295 | complete | 0.017173 | 0.0172281 | 113176.0 | sat | sat |
| 430493779 | qf_shls_entl/bolognesa-20-e10.tptp.smt2 | 8317418 | ASTERIX | 20618 | default | 304295 | complete | 0.015054 | 0.015127 | 113176.0 | unsat | unsat |
| 430493533 | qf_shls_entl/clones-01-e01.tptp.smt2 | 8317172 | ASTERIX | 20618 | default | 304295 | complete | 0.013072 | 0.021923 | 0.0 | unsat | unsat |
| 430493541 | qf_shls_entl/clones-01-e02.tptp.smt2 | 8317180 | ASTERIX | 20618 | default | 304295 | complete | 0.011559 | 0.0116329 | 113176.0 | unsat | unsat |
| 430493550 | qf_shls_entl/clones-01-e03.tptp.smt2 | 8317189 | ASTERIX | 20618 | default | 304295 | complete | 0.011755 | 0.0118241 | 113176.0 | unsat | unsat |
| 430493568 | qf_shls_entl/clones-01-e04.tptp.smt2 | 8317207 | ASTERIX | 20618 | default | 304295 | complete | 0.012938 | 0.013004 | 113176.0 | unsat | unsat |
| 430493577 | qf_shls_entl/clones-01-e05.tptp.smt2 | 8317216 | ASTERIX | 20618 | default | 304295 | complete | 0.011965 | 0.0120409 | 113176.0 | unsat | unsat |
| 430493591 | qf_shls_entl/clones-01-e06.tptp.smt2 | 8317230 | ASTERIX | 20618 | default | 304295 | complete | 0.011939 | 0.012085 | 113176.0 | unsat | unsat |
| 430493601 | qf_shls_entl/clones-01-e07.tptp.smt2 | 8317240 | ASTERIX | 20618 | default | 304295 | complete | 0.011982 | 0.0120109 | 113176.0 | sat | sat |
| 430493622 | qf_shls_entl/clones-01-e08.tptp.smt2 | 8317261 | ASTERIX | 20618 | default | 304295 | complete | 0.012426 | 0.012508 | 113176.0 | sat | sat |
| 430493614 | qf_shls_entl/clones-01-e09.tptp.smt2 | 8317253 | ASTERIX | 20618 | default | 304295 | complete | 0.013544 | 0.0135769 | 113176.0 | sat | sat |
| 430493794 | qf_shls_entl/clones-01-e10.tptp.smt2 | 8317433 | ASTERIX | 20618 | default | 304295 | complete | 0.013769 | 0.0196521 | 0.0 | sat | sat |
| 430493686 | qf_shls_entl/clones-02-e01.tptp.smt2 | 8317325 | ASTERIX | 20618 | default | 304295 | complete | 0.01136 | 0.0113921 | 113176.0 | unsat | unsat |
| 430493694 | qf_shls_entl/clones-02-e02.tptp.smt2 | 8317333 | ASTERIX | 20618 | default | 304295 | complete | 0.011779 | 0.0118129 | 113176.0 | unsat | unsat |
| 430493705 | qf_shls_entl/clones-02-e03.tptp.smt2 | 8317344 | ASTERIX | 20618 | default | 304295 | complete | 0.012342 | 0.0181801 | 0.0 | unsat | unsat |
| 430493722 | qf_shls_entl/clones-02-e04.tptp.smt2 | 8317361 | ASTERIX | 20618 | default | 304295 | complete | 0.012959 | 0.0165639 | 0.0 | unsat | unsat |
| 430493728 | qf_shls_entl/clones-02-e05.tptp.smt2 | 8317367 | ASTERIX | 20618 | default | 304295 | complete | 0.013084 | 0.0131149 | 113176.0 | unsat | unsat |
| 430493737 | qf_shls_entl/clones-02-e06.tptp.smt2 | 8317376 | ASTERIX | 20618 | default | 304295 | complete | 0.011708 | 0.0125049 | 0.0 | unsat | unsat |
| 430493745 | qf_shls_entl/clones-02-e07.tptp.smt2 | 8317384 | ASTERIX | 20618 | default | 304295 | complete | 0.01207 | 0.012147 | 113176.0 | sat | sat |
| 430493759 | qf_shls_entl/clones-02-e08.tptp.smt2 | 8317398 | ASTERIX | 20618 | default | 304295 | complete | 0.012875 | 0.021784 | 0.0 | sat | sat |
| 430493752 | qf_shls_entl/clones-02-e09.tptp.smt2 | 8317391 | ASTERIX | 20618 | default | 304295 | complete | 0.012515 | 0.0204289 | 0.0 | sat | sat |
| 430493655 | qf_shls_entl/clones-02-e10.tptp.smt2 | 8317294 | ASTERIX | 20618 | default | 304295 | complete | 0.013804 | 0.013835 | 113176.0 | sat | sat |
| 430493667 | qf_shls_entl/clones-03-e01.tptp.smt2 | 8317306 | ASTERIX | 20618 | default | 304295 | complete | 0.01139 | 0.011427 | 113176.0 | unsat | unsat |
| 430493644 | qf_shls_entl/clones-03-e02.tptp.smt2 | 8317283 | ASTERIX | 20618 | default | 304295 | complete | 0.013494 | 0.0135719 | 113176.0 | unsat | unsat |
| 430493652 | qf_shls_entl/clones-03-e03.tptp.smt2 | 8317291 | ASTERIX | 20618 | default | 304295 | complete | 0.011831 | 0.0118609 | 113176.0 | unsat | unsat |
| 430493632 | qf_shls_entl/clones-03-e04.tptp.smt2 | 8317271 | ASTERIX | 20618 | default | 304295 | complete | 0.011227 | 0.011266 | 113176.0 | unsat | unsat |
| 430493639 | qf_shls_entl/clones-03-e05.tptp.smt2 | 8317278 | ASTERIX | 20618 | default | 304295 | complete | 0.011954 | 0.011989 | 113176.0 | unsat | unsat |
| 430493609 | qf_shls_entl/clones-03-e06.tptp.smt2 | 8317248 | ASTERIX | 20618 | default | 304295 | complete | 0.011243 | 0.011274 | 113176.0 | unsat | unsat |
| 430493621 | qf_shls_entl/clones-03-e07.tptp.smt2 | 8317260 | ASTERIX | 20618 | default | 304295 | complete | 0.012473 | 0.021809 | 0.0 | sat | sat |
| 430493599 | qf_shls_entl/clones-03-e08.tptp.smt2 | 8317238 | ASTERIX | 20618 | default | 304295 | complete | 0.014478 | 0.0145391 | 113176.0 | sat | sat |
| 430493589 | qf_shls_entl/clones-03-e09.tptp.smt2 | 8317228 | ASTERIX | 20618 | default | 304295 | complete | 0.012312 | 0.0123421 | 113176.0 | sat | sat |
| 430493709 | qf_shls_entl/clones-03-e10.tptp.smt2 | 8317348 | ASTERIX | 20618 | default | 304295 | complete | 0.012902 | 0.019064 | 0.0 | sat | sat |
| 430493557 | qf_shls_entl/clones-04-e01.tptp.smt2 | 8317196 | ASTERIX | 20618 | default | 304295 | complete | 0.01176 | 0.0118161 | 113176.0 | unsat | unsat |
| 430493523 | qf_shls_entl/clones-04-e02.tptp.smt2 | 8317162 | ASTERIX | 20618 | default | 304295 | complete | 0.01214 | 0.0208999 | 0.0 | unsat | unsat |
| 430493538 | qf_shls_entl/clones-04-e03.tptp.smt2 | 8317177 | ASTERIX | 20618 | default | 304295 | complete | 0.013141 | 0.0132129 | 113176.0 | unsat | unsat |
| 430493583 | qf_shls_entl/clones-04-e04.tptp.smt2 | 8317222 | ASTERIX | 20618 | default | 304295 | complete | 0.01289 | 0.012957 | 113176.0 | unsat | unsat |
| 430493593 | qf_shls_entl/clones-04-e05.tptp.smt2 | 8317232 | ASTERIX | 20618 | default | 304295 | complete | 0.013395 | 0.0134461 | 113176.0 | unsat | unsat |
| 430493564 | qf_shls_entl/clones-04-e06.tptp.smt2 | 8317203 | ASTERIX | 20618 | default | 304295 | complete | 0.011493 | 0.0115389 | 113176.0 | unsat | unsat |
| 430493576 | qf_shls_entl/clones-04-e07.tptp.smt2 | 8317215 | ASTERIX | 20618 | default | 304295 | complete | 0.013111 | 0.0131469 | 113176.0 | sat | sat |
| 430493637 | qf_shls_entl/clones-04-e08.tptp.smt2 | 8317276 | ASTERIX | 20618 | default | 304295 | complete | 0.013692 | 0.018972 | 0.0 | sat | sat |
| 430493630 | qf_shls_entl/clones-04-e09.tptp.smt2 | 8317269 | ASTERIX | 20618 | default | 304295 | complete | 0.013979 | 0.0140049 | 113176.0 | sat | sat |
| 430493808 | qf_shls_entl/clones-04-e10.tptp.smt2 | 8317447 | ASTERIX | 20618 | default | 304295 | complete | 0.014147 | 0.014209 | 113176.0 | sat | sat |
| 430493793 | qf_shls_entl/clones-05-e01.tptp.smt2 | 8317432 | ASTERIX | 20618 | default | 304295 | complete | 0.012052 | 0.014235 | 0.0 | unsat | unsat |
| 430493801 | qf_shls_entl/clones-05-e02.tptp.smt2 | 8317440 | ASTERIX | 20618 | default | 304295 | complete | 0.011705 | 0.011766 | 113176.0 | unsat | unsat |
| 430493812 | qf_shls_entl/clones-05-e03.tptp.smt2 | 8317451 | ASTERIX | 20618 | default | 304295 | complete | 0.012009 | 0.016789 | 0.0 | unsat | unsat |
| 430493749 | qf_shls_entl/clones-05-e04.tptp.smt2 | 8317388 | ASTERIX | 20618 | default | 304295 | complete | 0.011469 | 0.0115051 | 113176.0 | unsat | unsat |
| 430493755 | qf_shls_entl/clones-05-e05.tptp.smt2 | 8317394 | ASTERIX | 20618 | default | 304295 | complete | 0.013393 | 0.013477 | 0.0 | unsat | unsat |
| 430493765 | qf_shls_entl/clones-05-e06.tptp.smt2 | 8317404 | ASTERIX | 20618 | default | 304295 | complete | 0.013163 | 0.013229 | 113176.0 | unsat | unsat |
| 430493775 | qf_shls_entl/clones-05-e07.tptp.smt2 | 8317414 | ASTERIX | 20618 | default | 304295 | complete | 0.013782 | 0.0211271 | 0.0 | sat | sat |
| 430493726 | qf_shls_entl/clones-05-e08.tptp.smt2 | 8317365 | ASTERIX | 20618 | default | 304295 | complete | 0.013841 | 0.013883 | 113176.0 | sat | sat |
| 430493719 | qf_shls_entl/clones-05-e09.tptp.smt2 | 8317358 | ASTERIX | 20618 | default | 304295 | complete | 0.013293 | 0.01333 | 113176.0 | sat | sat |
| 430493534 | qf_shls_entl/clones-05-e10.tptp.smt2 | 8317173 | ASTERIX | 20618 | default | 304295 | complete | 0.013184 | 0.0132179 | 113176.0 | sat | sat |
| 430493653 | qf_shls_entl/clones-06-e01.tptp.smt2 | 8317292 | ASTERIX | 20618 | default | 304295 | complete | 0.01162 | 0.011654 | 113176.0 | unsat | unsat |
| 430493663 | qf_shls_entl/clones-06-e02.tptp.smt2 | 8317302 | ASTERIX | 20618 | default | 304295 | complete | 0.012404 | 0.0167059 | 0.0 | unsat | unsat |
| 430493676 | qf_shls_entl/clones-06-e03.tptp.smt2 | 8317315 | ASTERIX | 20618 | default | 304295 | complete | 0.013052 | 0.0130849 | 113176.0 | unsat | unsat |
| 430493605 | qf_shls_entl/clones-06-e04.tptp.smt2 | 8317244 | ASTERIX | 20618 | default | 304295 | complete | 0.011783 | 0.0252471 | 0.0 | unsat | unsat |
| 430493615 | qf_shls_entl/clones-06-e05.tptp.smt2 | 8317254 | ASTERIX | 20618 | default | 304295 | complete | 0.013779 | 0.0138521 | 113176.0 | unsat | unsat |
| 430493625 | qf_shls_entl/clones-06-e06.tptp.smt2 | 8317264 | ASTERIX | 20618 | default | 304295 | complete | 0.011805 | 0.0210111 | 0.0 | unsat | unsat |
| 430493636 | qf_shls_entl/clones-06-e07.tptp.smt2 | 8317275 | ASTERIX | 20618 | default | 304295 | complete | 0.013537 | 0.013592 | 113176.0 | sat | sat |
| 430493572 | qf_shls_entl/clones-06-e08.tptp.smt2 | 8317211 | ASTERIX | 20618 | default | 304295 | complete | 0.014707 | 0.0147541 | 113176.0 | sat | sat |
| 430493562 | qf_shls_entl/clones-06-e09.tptp.smt2 | 8317201 | ASTERIX | 20618 | default | 304295 | complete | 0.013595 | 0.013651 | 113176.0 | sat | sat |
| 430493687 | qf_shls_entl/clones-06-e10.tptp.smt2 | 8317326 | ASTERIX | 20618 | default | 304295 | complete | 0.015189 | 0.015255 | 113176.0 | sat | sat |
| 430493707 | qf_shls_entl/clones-07-e01.tptp.smt2 | 8317346 | ASTERIX | 20618 | default | 304295 | complete | 0.011814 | 0.011869 | 113176.0 | unsat | unsat |
| 430493681 | qf_shls_entl/clones-07-e02.tptp.smt2 | 8317320 | ASTERIX | 20618 | default | 304295 | complete | 0.011772 | 0.0118019 | 113176.0 | unsat | unsat |
| 430493692 | qf_shls_entl/clones-07-e03.tptp.smt2 | 8317331 | ASTERIX | 20618 | default | 304295 | complete | 0.013442 | 0.0135061 | 113176.0 | unsat | unsat |
| 430493734 | qf_shls_entl/clones-07-e04.tptp.smt2 | 8317373 | ASTERIX | 20618 | default | 304295 | complete | 0.011208 | 0.0112661 | 113176.0 | unsat | unsat |
| 430493742 | qf_shls_entl/clones-07-e05.tptp.smt2 | 8317381 | ASTERIX | 20618 | default | 304295 | complete | 0.014188 | 0.0189181 | 0.0 | unsat | unsat |
| 430493714 | qf_shls_entl/clones-07-e06.tptp.smt2 | 8317353 | ASTERIX | 20618 | default | 304295 | complete | 0.012887 | 0.0129239 | 113176.0 | unsat | unsat |
| 430493724 | qf_shls_entl/clones-07-e07.tptp.smt2 | 8317363 | ASTERIX | 20618 | default | 304295 | complete | 0.014818 | 0.014878 | 113176.0 | sat | sat |
| 430493771 | qf_shls_entl/clones-07-e08.tptp.smt2 | 8317410 | ASTERIX | 20618 | default | 304295 | complete | 0.015295 | 0.0153249 | 113176.0 | sat | sat |
| 430493762 | qf_shls_entl/clones-07-e09.tptp.smt2 | 8317401 | ASTERIX | 20618 | default | 304295 | complete | 0.014346 | 0.0143699 | 113176.0 | sat | sat |
| 430493669 | qf_shls_entl/clones-07-e10.tptp.smt2 | 8317308 | ASTERIX | 20618 | default | 304295 | complete | 0.014043 | 0.014086 | 113176.0 | sat | sat |
| 430493715 | qf_shls_entl/clones-08-e01.tptp.smt2 | 8317354 | ASTERIX | 20618 | default | 304295 | complete | 0.013326 | 0.013357 | 113176.0 | unsat | unsat |
| 430493741 | qf_shls_entl/clones-08-e02.tptp.smt2 | 8317380 | ASTERIX | 20618 | default | 304295 | complete | 0.012265 | 0.0123269 | 113176.0 | unsat | unsat |
| 430493733 | qf_shls_entl/clones-08-e03.tptp.smt2 | 8317372 | ASTERIX | 20618 | default | 304295 | complete | 0.013632 | 0.029612 | 0.0 | unsat | unsat |
| 430493693 | qf_shls_entl/clones-08-e04.tptp.smt2 | 8317332 | ASTERIX | 20618 | default | 304295 | complete | 0.012878 | 0.0246171 | 0.0 | unsat | unsat |
| 430493682 | qf_shls_entl/clones-08-e05.tptp.smt2 | 8317321 | ASTERIX | 20618 | default | 304295 | complete | 0.013749 | 0.0200561 | 0.0 | unsat | unsat |
| 430493706 | qf_shls_entl/clones-08-e06.tptp.smt2 | 8317345 | ASTERIX | 20618 | default | 304295 | complete | 0.011926 | 0.0120131 | 113176.0 | unsat | unsat |
| 430493700 | qf_shls_entl/clones-08-e07.tptp.smt2 | 8317339 | ASTERIX | 20618 | default | 304295 | complete | 0.014474 | 0.0145419 | 113176.0 | sat | sat |
| 430493782 | qf_shls_entl/clones-08-e08.tptp.smt2 | 8317421 | ASTERIX | 20618 | default | 304295 | complete | 0.01842 | 0.0186639 | 0.0 | sat | sat |
| 430493791 | qf_shls_entl/clones-08-e09.tptp.smt2 | 8317430 | ASTERIX | 20618 | default | 304295 | complete | 0.01516 | 0.0152209 | 113176.0 | sat | sat |
| 430493611 | qf_shls_entl/clones-08-e10.tptp.smt2 | 8317250 | ASTERIX | 20618 | default | 304295 | complete | 0.014237 | 0.0149581 | 113176.0 | sat | sat |
| 430493624 | qf_shls_entl/clones-09-e01.tptp.smt2 | 8317263 | ASTERIX | 20618 | default | 304295 | complete | 0.012941 | 0.0130219 | 113176.0 | unsat | unsat |
| 430493616 | qf_shls_entl/clones-09-e02.tptp.smt2 | 8317255 | ASTERIX | 20618 | default | 304295 | complete | 0.011974 | 0.0120671 | 113176.0 | unsat | unsat |
| 430493606 | qf_shls_entl/clones-09-e03.tptp.smt2 | 8317245 | ASTERIX | 20618 | default | 304295 | complete | 0.011942 | 0.011967 | 113176.0 | unsat | unsat |
| 430493675 | qf_shls_entl/clones-09-e04.tptp.smt2 | 8317314 | ASTERIX | 20618 | default | 304295 | complete | 0.012901 | 0.01301 | 113176.0 | unsat | unsat |
| 430493662 | qf_shls_entl/clones-09-e05.tptp.smt2 | 8317301 | ASTERIX | 20618 | default | 304295 | complete | 0.014085 | 0.0141339 | 113176.0 | unsat | unsat |
| 430493654 | qf_shls_entl/clones-09-e06.tptp.smt2 | 8317293 | ASTERIX | 20618 | default | 304295 | complete | 0.012141 | 0.0199469 | 0.0 | unsat | unsat |
| 430493648 | qf_shls_entl/clones-09-e07.tptp.smt2 | 8317287 | ASTERIX | 20618 | default | 304295 | complete | 0.016385 | 0.0191131 | 0.0 | sat | sat |
| 430493544 | qf_shls_entl/clones-09-e08.tptp.smt2 | 8317183 | ASTERIX | 20618 | default | 304295 | complete | 0.017472 | 0.0175401 | 113176.0 | sat | sat |
| 430493556 | qf_shls_entl/clones-09-e09.tptp.smt2 | 8317195 | ASTERIX | 20618 | default | 304295 | complete | 0.016878 | 0.0197061 | 0.0 | sat | sat |
| 430493738 | qf_shls_entl/clones-09-e10.tptp.smt2 | 8317377 | ASTERIX | 20618 | default | 304295 | complete | 0.014933 | 0.0149899 | 113176.0 | sat | sat |
| 430493551 | qf_shls_entl/clones-10-e01.tptp.smt2 | 8317190 | ASTERIX | 20618 | default | 304295 | complete | 0.011764 | 0.0117901 | 113176.0 | unsat | unsat |
| 430493519 | qf_shls_entl/clones-10-e02.tptp.smt2 | 8317158 | ASTERIX | 20618 | default | 304295 | complete | 0.013642 | 0.0137061 | 113176.0 | unsat | unsat |
| 430493531 | qf_shls_entl/clones-10-e03.tptp.smt2 | 8317170 | ASTERIX | 20618 | default | 304295 | complete | 0.0138 | 0.013878 | 113176.0 | unsat | unsat |
| 430493588 | qf_shls_entl/clones-10-e04.tptp.smt2 | 8317227 | ASTERIX | 20618 | default | 304295 | complete | 0.011628 | 0.0162511 | 0.0 | unsat | unsat |
| 430493598 | qf_shls_entl/clones-10-e05.tptp.smt2 | 8317237 | ASTERIX | 20618 | default | 304295 | complete | 0.012659 | 0.0127059 | 113176.0 | unsat | unsat |
| 430493569 | qf_shls_entl/clones-10-e06.tptp.smt2 | 8317208 | ASTERIX | 20618 | default | 304295 | complete | 0.012897 | 0.0129459 | 113176.0 | unsat | unsat |
| 430493580 | qf_shls_entl/clones-10-e07.tptp.smt2 | 8317219 | ASTERIX | 20618 | default | 304295 | complete | 0.015858 | 0.0159521 | 113176.0 | sat | sat |
| 430493641 | qf_shls_entl/clones-10-e08.tptp.smt2 | 8317280 | ASTERIX | 20618 | default | 304295 | complete | 0.018224 | 0.0182601 | 113176.0 | sat | sat |
| 430493634 | qf_shls_entl/clones-10-e09.tptp.smt2 | 8317273 | ASTERIX | 20618 | default | 304295 | complete | 0.015801 | 0.0158549 | 113176.0 | sat | sat |
| 430493814 | qf_shls_entl/clones-10-e10.tptp.smt2 | 8317453 | ASTERIX | 20618 | default | 304295 | complete | 0.015104 | 0.0151401 | 113176.0 | sat | sat |
| 430493797 | qf_shls_entl/ls-vc01.smt2 | 8317436 | ASTERIX | 20618 | default | 304295 | complete | 0.01312 | 0.0131399 | 113176.0 | sat | sat |
| 430493628 | qf_shls_entl/ls-vc02.smt2 | 8317267 | ASTERIX | 20618 | default | 304295 | complete | 0.011852 | 0.0119271 | 113176.0 | sat | sat |
| 430493586 | qf_shls_entl/ls-vc03.smt2 | 8317225 | ASTERIX | 20618 | default | 304295 | complete | 0.011835 | 0.0118761 | 113176.0 | sat | sat |
| 430493680 | qf_shls_entl/ls-vc04.smt2 | 8317319 | ASTERIX | 20618 | default | 304295 | complete | 0.013273 | 0.013345 | 113176.0 | sat | sat |
| 430493784 | qf_shls_entl/ls-vc05.smt2 | 8317423 | ASTERIX | 20618 | default | 304295 | complete | 0.011882 | 0.0194021 | 0.0 | unsat | unsat |
| 430493613 | qf_shls_entl/ls-vc06.smt2 | 8317252 | ASTERIX | 20618 | default | 304295 | complete | 0.01211 | 0.012182 | 113176.0 | sat | sat |
| 430493571 | qf_shls_entl/ls-vc07.smt2 | 8317210 | ASTERIX | 20618 | default | 304295 | complete | 0.013232 | 0.0132769 | 113176.0 | sat | sat |
| 430493740 | qf_shls_entl/ls-vc08.smt2 | 8317379 | ASTERIX | 20618 | default | 304295 | complete | 0.013564 | 0.013612 | 113176.0 | unsat | unsat |
| 430493772 | qf_shls_entl/ls-vc09.smt2 | 8317411 | ASTERIX | 20618 | default | 304295 | complete | 0.012054 | 0.012127 | 113176.0 | unsat | unsat |
| 430493602 | qf_shls_entl/smallfoot-vc01.tptp.smt2 | 8317241 | ASTERIX | 20618 | default | 304295 | complete | 0.013129 | 0.013203 | 113176.0 | unsat | unsat |
| 430493635 | qf_shls_entl/smallfoot-vc02.tptp.smt2 | 8317274 | ASTERIX | 20618 | default | 304295 | complete | 0.011572 | 0.0116379 | 113176.0 | unsat | unsat |
| 430493627 | qf_shls_entl/smallfoot-vc03.tptp.smt2 | 8317266 | ASTERIX | 20618 | default | 304295 | complete | 0.011597 | 0.0116199 | 113176.0 | unsat | unsat |
| 430493656 | qf_shls_entl/smallfoot-vc04.tptp.smt2 | 8317295 | ASTERIX | 20618 | default | 304295 | complete | 0.01299 | 0.0130349 | 113176.0 | unsat | unsat |
| 430493646 | qf_shls_entl/smallfoot-vc05.tptp.smt2 | 8317285 | ASTERIX | 20618 | default | 304295 | complete | 0.01154 | 0.0131559 | 0.0 | unsat | unsat |
| 430493673 | qf_shls_entl/smallfoot-vc06.tptp.smt2 | 8317312 | ASTERIX | 20618 | default | 304295 | complete | 0.012676 | 0.0127191 | 113176.0 | unsat | unsat |
| 430493666 | qf_shls_entl/smallfoot-vc07.tptp.smt2 | 8317305 | ASTERIX | 20618 | default | 304295 | complete | 0.011499 | 0.0115429 | 113176.0 | unsat | unsat |
| 430493526 | qf_shls_entl/smallfoot-vc08.tptp.smt2 | 8317165 | ASTERIX | 20618 | default | 304295 | complete | 0.011813 | 0.0208679 | 0.0 | unsat | unsat |
| 430493540 | qf_shls_entl/smallfoot-vc09.tptp.smt2 | 8317179 | ASTERIX | 20618 | default | 304295 | complete | 0.013457 | 0.0135159 | 113176.0 | unsat | unsat |
| 430493721 | qf_shls_entl/smallfoot-vc10.tptp.smt2 | 8317360 | ASTERIX | 20618 | default | 304295 | complete | 0.011995 | 0.012931 | 0.0 | unsat | unsat |
| 430493729 | qf_shls_entl/smallfoot-vc11.tptp.smt2 | 8317368 | ASTERIX | 20618 | default | 304295 | complete | 0.0122 | 0.0122541 | 113176.0 | unsat | unsat |
| 430493735 | qf_shls_entl/smallfoot-vc12.tptp.smt2 | 8317374 | ASTERIX | 20618 | default | 304295 | complete | 0.013473 | 0.015861 | 0.0 | unsat | unsat |
| 430493746 | qf_shls_entl/smallfoot-vc13.tptp.smt2 | 8317385 | ASTERIX | 20618 | default | 304295 | complete | 0.011774 | 0.011812 | 113176.0 | unsat | unsat |
| 430493678 | qf_shls_entl/smallfoot-vc14.tptp.smt2 | 8317317 | ASTERIX | 20618 | default | 304295 | complete | 0.011327 | 0.011376 | 113176.0 | unsat | unsat |
| 430493685 | qf_shls_entl/smallfoot-vc15.tptp.smt2 | 8317324 | ASTERIX | 20618 | default | 304295 | complete | 0.011515 | 0.0115671 | 113176.0 | unsat | unsat |
| 430493695 | qf_shls_entl/smallfoot-vc16.tptp.smt2 | 8317334 | ASTERIX | 20618 | default | 304295 | complete | 0.011631 | 0.011711 | 113176.0 | unsat | unsat |
| 430493704 | qf_shls_entl/smallfoot-vc17.tptp.smt2 | 8317343 | ASTERIX | 20618 | default | 304295 | complete | 0.011585 | 0.0116021 | 113176.0 | unsat | unsat |
| 430493788 | qf_shls_entl/smallfoot-vc18.tptp.smt2 | 8317427 | ASTERIX | 20618 | default | 304295 | complete | 0.012948 | 0.012985 | 113176.0 | unsat | unsat |
| 430493781 | qf_shls_entl/smallfoot-vc19.tptp.smt2 | 8317420 | ASTERIX | 20618 | default | 304295 | complete | 0.011671 | 0.0117229 | 113176.0 | unsat | unsat |
| 430493521 | qf_shls_entl/smallfoot-vc20.tptp.smt2 | 8317160 | ASTERIX | 20618 | default | 304295 | complete | 0.011533 | 0.011584 | 113176.0 | unsat | unsat |
| 430493529 | qf_shls_entl/smallfoot-vc21.tptp.smt2 | 8317168 | ASTERIX | 20618 | default | 304295 | complete | 0.011801 | 0.0118589 | 113176.0 | unsat | unsat |
| 430493543 | qf_shls_entl/smallfoot-vc22.tptp.smt2 | 8317182 | ASTERIX | 20618 | default | 304295 | complete | 0.011809 | 0.0118959 | 113176.0 | sat | sat |
| 430493552 | qf_shls_entl/smallfoot-vc23.tptp.smt2 | 8317191 | ASTERIX | 20618 | default | 304295 | complete | 0.011584 | 0.0116089 | 113176.0 | sat | sat |
| 430493570 | qf_shls_entl/smallfoot-vc24.tptp.smt2 | 8317209 | ASTERIX | 20618 | default | 304295 | complete | 0.012238 | 0.012724 | 0.0 | unsat | unsat |
| 430493579 | qf_shls_entl/smallfoot-vc25.tptp.smt2 | 8317218 | ASTERIX | 20618 | default | 304295 | complete | 0.013205 | 0.0132361 | 113176.0 | unsat | unsat |
| 430493587 | qf_shls_entl/smallfoot-vc26.tptp.smt2 | 8317226 | ASTERIX | 20618 | default | 304295 | complete | 0.011615 | 0.011637 | 113176.0 | unsat | unsat |
| 430493600 | qf_shls_entl/smallfoot-vc27.tptp.smt2 | 8317239 | ASTERIX | 20618 | default | 304295 | complete | 0.011811 | 0.011896 | 113176.0 | unsat | unsat |
| 430493619 | qf_shls_entl/smallfoot-vc28.tptp.smt2 | 8317258 | ASTERIX | 20618 | default | 304295 | complete | 0.012529 | 0.012599 | 113176.0 | unsat | unsat |
| 430493610 | qf_shls_entl/smallfoot-vc29.tptp.smt2 | 8317249 | ASTERIX | 20618 | default | 304295 | complete | 0.011777 | 0.0118311 | 113176.0 | sat | sat |
| 430493792 | qf_shls_entl/smallfoot-vc30.tptp.smt2 | 8317431 | ASTERIX | 20618 | default | 304295 | complete | 0.01314 | 0.0195951 | 0.0 | sat | sat |
| 430493783 | qf_shls_entl/smallfoot-vc31.tptp.smt2 | 8317422 | ASTERIX | 20618 | default | 304295 | complete | 0.012288 | 0.0123569 | 113176.0 | sat | sat |
| 430493813 | qf_shls_entl/smallfoot-vc32.tptp.smt2 | 8317452 | ASTERIX | 20618 | default | 304295 | complete | 0.01344 | 0.0136039 | 113176.0 | sat | sat |
| 430493804 | qf_shls_entl/smallfoot-vc33.tptp.smt2 | 8317443 | ASTERIX | 20618 | default | 304295 | complete | 0.012207 | 0.0122489 | 113176.0 | sat | sat |
| 430493758 | qf_shls_entl/smallfoot-vc34.tptp.smt2 | 8317397 | ASTERIX | 20618 | default | 304295 | complete | 0.012006 | 0.0120469 | 113176.0 | unsat | unsat |
| 430493750 | qf_shls_entl/smallfoot-vc35.tptp.smt2 | 8317389 | ASTERIX | 20618 | default | 304295 | complete | 0.011721 | 0.0117481 | 113176.0 | sat | sat |
| 430493770 | qf_shls_entl/smallfoot-vc36.tptp.smt2 | 8317409 | ASTERIX | 20618 | default | 304295 | complete | 0.012041 | 0.0121049 | 113176.0 | unsat | unsat |
| 430493763 | qf_shls_entl/smallfoot-vc37.tptp.smt2 | 8317402 | ASTERIX | 20618 | default | 304295 | complete | 0.012343 | 0.01238 | 113176.0 | sat | sat |
| 430493713 | qf_shls_entl/smallfoot-vc38.tptp.smt2 | 8317352 | ASTERIX | 20618 | default | 304295 | complete | 0.014202 | 0.0142479 | 113176.0 | unsat | unsat |
| 430493725 | qf_shls_entl/smallfoot-vc39.tptp.smt2 | 8317364 | ASTERIX | 20618 | default | 304295 | complete | 0.012328 | 0.012386 | 113176.0 | sat | sat |
| 430493777 | qf_shls_entl/smallfoot-vc40.tptp.smt2 | 8317416 | ASTERIX | 20618 | default | 304295 | complete | 0.012098 | 0.0121391 | 113176.0 | sat | sat |
| 430493769 | qf_shls_entl/smallfoot-vc41.tptp.smt2 | 8317408 | ASTERIX | 20618 | default | 304295 | complete | 0.012036 | 0.012066 | 113176.0 | unsat | unsat |
| 430493760 | qf_shls_entl/smallfoot-vc42.tptp.smt2 | 8317399 | ASTERIX | 20618 | default | 304295 | complete | 0.013457 | 0.020932 | 0.0 | unsat | unsat |
| 430493751 | qf_shls_entl/smallfoot-vc43.tptp.smt2 | 8317390 | ASTERIX | 20618 | default | 304295 | complete | 0.013341 | 0.0133919 | 113176.0 | sat | sat |
| 430493805 | qf_shls_entl/smallfoot-vc44.tptp.smt2 | 8317444 | ASTERIX | 20618 | default | 304295 | complete | 0.012765 | 0.01285 | 113176.0 | unsat | unsat |
| 430493799 | qf_shls_entl/smallfoot-vc45.tptp.smt2 | 8317438 | ASTERIX | 20618 | default | 304295 | complete | 0.011855 | 0.0119071 | 113176.0 | unsat | unsat |
| 430493789 | qf_shls_entl/smallfoot-vc46.tptp.smt2 | 8317428 | ASTERIX | 20618 | default | 304295 | complete | 0.012507 | 0.012586 | 113176.0 | unsat | unsat |
| 430493780 | qf_shls_entl/smallfoot-vc47.tptp.smt2 | 8317419 | ASTERIX | 20618 | default | 304295 | complete | 0.011613 | 0.0126221 | 0.0 | unsat | unsat |
| 430493696 | qf_shls_entl/smallfoot-vc48.tptp.smt2 | 8317335 | ASTERIX | 20618 | default | 304295 | complete | 0.012146 | 0.013806 | 0.0 | unsat | unsat |
| 430493703 | qf_shls_entl/smallfoot-vc49.tptp.smt2 | 8317342 | ASTERIX | 20618 | default | 304295 | complete | 0.011684 | 0.011718 | 113176.0 | sat | sat |
| 430493585 | qf_shls_entl/smallfoot-vc50.tptp.smt2 | 8317224 | ASTERIX | 20618 | default | 304295 | complete | 0.011891 | 0.0119271 | 113176.0 | unsat | unsat |
| 430493597 | qf_shls_entl/smallfoot-vc51.tptp.smt2 | 8317236 | ASTERIX | 20618 | default | 304295 | complete | 0.011689 | 0.0133309 | 113176.0 | unsat | unsat |
| 430493560 | qf_shls_entl/smallfoot-vc52.tptp.smt2 | 8317199 | ASTERIX | 20618 | default | 304295 | complete | 0.012054 | 0.0120971 | 113176.0 | unsat | unsat |
| 430493573 | qf_shls_entl/smallfoot-vc53.tptp.smt2 | 8317212 | ASTERIX | 20618 | default | 304295 | complete | 0.01241 | 0.0124841 | 113176.0 | unsat | unsat |
| 430493545 | qf_shls_entl/smallfoot-vc54.tptp.smt2 | 8317184 | ASTERIX | 20618 | default | 304295 | complete | 0.013136 | 0.0132019 | 113176.0 | sat | sat |
| 430493554 | qf_shls_entl/smallfoot-vc55.tptp.smt2 | 8317193 | ASTERIX | 20618 | default | 304295 | complete | 0.012188 | 0.01226 | 113176.0 | unsat | unsat |
| 430493528 | qf_shls_entl/smallfoot-vc56.tptp.smt2 | 8317167 | ASTERIX | 20618 | default | 304295 | complete | 0.011824 | 0.0118929 | 113176.0 | sat | sat |
| 430493539 | qf_shls_entl/smallfoot-vc57.tptp.smt2 | 8317178 | ASTERIX | 20618 | default | 304295 | complete | 0.011868 | 0.0118981 | 113176.0 | sat | sat |
| 430493674 | qf_shls_entl/smallfoot-vc58.tptp.smt2 | 8317313 | ASTERIX | 20618 | default | 304295 | complete | 0.011933 | 0.012011 | 113176.0 | unsat | unsat |
| 430493664 | qf_shls_entl/smallfoot-vc59.tptp.smt2 | 8317303 | ASTERIX | 20618 | default | 304295 | complete | 0.012312 | 0.0123291 | 113176.0 | unsat | unsat |
| 430493699 | qf_shls_entl/smallfoot-vc60.tptp.smt2 | 8317338 | ASTERIX | 20618 | default | 304295 | complete | 0.012257 | 0.012344 | 113176.0 | unsat | unsat |
| 430493708 | qf_shls_entl/smallfoot-vc61.tptp.smt2 | 8317347 | ASTERIX | 20618 | default | 304295 | complete | 0.011818 | 0.0118809 | 113176.0 | sat | sat |
| 430493684 | qf_shls_entl/smallfoot-vc62.tptp.smt2 | 8317323 | ASTERIX | 20618 | default | 304295 | complete | 0.01164 | 0.0117241 | 113176.0 | unsat | unsat |
| 430493690 | qf_shls_entl/smallfoot-vc63.tptp.smt2 | 8317329 | ASTERIX | 20618 | default | 304295 | complete | 0.013423 | 0.0134589 | 113176.0 | unsat | unsat |
| 430493731 | qf_shls_entl/smallfoot-vc64.tptp.smt2 | 8317370 | ASTERIX | 20618 | default | 304295 | complete | 0.011671 | 0.0116949 | 113176.0 | unsat | unsat |
| 430493744 | qf_shls_entl/smallfoot-vc65.tptp.smt2 | 8317383 | ASTERIX | 20618 | default | 304295 | complete | 0.012193 | 0.0136649 | 0.0 | unsat | unsat |
| 430493716 | qf_shls_entl/smallfoot-vc66.tptp.smt2 | 8317355 | ASTERIX | 20618 | default | 304295 | complete | 0.013528 | 0.0135721 | 113176.0 | unsat | unsat |
| 430493723 | qf_shls_entl/smallfoot-vc67.tptp.smt2 | 8317362 | ASTERIX | 20618 | default | 304295 | complete | 0.011674 | 0.0117139 | 113176.0 | unsat | unsat |
| 430493773 | qf_shls_entl/smallfoot-vc68.tptp.smt2 | 8317412 | ASTERIX | 20618 | default | 304295 | complete | 0.013687 | 0.0145391 | 0.0 | sat | sat |
| 430493761 | qf_shls_entl/smallfoot-vc69.tptp.smt2 | 8317400 | ASTERIX | 20618 | default | 304295 | complete | 0.013672 | 0.0137061 | 113176.0 | sat | sat |
| 430493668 | qf_shls_entl/smallfoot-vc70.tptp.smt2 | 8317307 | ASTERIX | 20618 | default | 304295 | complete | 0.012175 | 0.012201 | 113176.0 | sat | sat |
| 430493660 | qf_shls_entl/smallfoot-vc71.tptp.smt2 | 8317299 | ASTERIX | 20618 | default | 304295 | complete | 0.013522 | 0.0219459 | 0.0 | unsat | unsat |
| 430493651 | qf_shls_entl/smallfoot-vc72.tptp.smt2 | 8317290 | ASTERIX | 20618 | default | 304295 | complete | 0.012092 | 0.021936 | 0.0 | sat | sat |
| 430493643 | qf_shls_entl/smallfoot-vc73.tptp.smt2 | 8317282 | ASTERIX | 20618 | default | 304295 | complete | 0.011708 | 0.011741 | 113176.0 | sat | sat |
| 430493640 | qf_shls_entl/smallfoot-vc74.tptp.smt2 | 8317279 | ASTERIX | 20618 | default | 304295 | complete | 0.012638 | 0.021217 | 0.0 | unsat | unsat |
| 430493633 | qf_shls_entl/smallfoot-vc75.tptp.smt2 | 8317272 | ASTERIX | 20618 | default | 304295 | complete | 0.011626 | 0.011652 | 113176.0 | unsat | unsat |
| 430493620 | qf_shls_entl/smallfoot-vc76.tptp.smt2 | 8317259 | ASTERIX | 20618 | default | 304295 | complete | 0.013537 | 0.01357 | 113176.0 | sat | sat |
| 430493608 | qf_shls_entl/smallfoot-vc77.tptp.smt2 | 8317247 | ASTERIX | 20618 | default | 304295 | complete | 0.011653 | 0.01169 | 113176.0 | unsat | unsat |