433165614 | qf_shls_entl/bolognesa-10-e01.tptp.smt2 | 8317378 | ASTERIX | 20618 | default | 304295 | complete | 0.01397 | 0.0140261 | 113176.0 | sat | sat |
433165605 | qf_shls_entl/bolognesa-10-e02.tptp.smt2 | 8317369 | ASTERIX | 20618 | default | 304295 | complete | 0.012915 | 0.0129421 | 113176.0 | unsat | unsat |
433165595 | qf_shls_entl/bolognesa-10-e03.tptp.smt2 | 8317359 | ASTERIX | 20618 | default | 304295 | complete | 0.013664 | 0.0137501 | 113176.0 | unsat | unsat |
433165577 | qf_shls_entl/bolognesa-10-e04.tptp.smt2 | 8317341 | ASTERIX | 20618 | default | 304295 | complete | 0.013666 | 0.0137 | 113176.0 | sat | sat |
433165572 | qf_shls_entl/bolognesa-10-e05.tptp.smt2 | 8317336 | ASTERIX | 20618 | default | 304295 | complete | 0.014602 | 0.0146961 | 113176.0 | sat | sat |
433165563 | qf_shls_entl/bolognesa-10-e06.tptp.smt2 | 8317327 | ASTERIX | 20618 | default | 304295 | complete | 0.013943 | 0.0139749 | 113176.0 | sat | sat |
433165552 | qf_shls_entl/bolognesa-10-e07.tptp.smt2 | 8317316 | ASTERIX | 20618 | default | 304295 | complete | 0.013897 | 0.013954 | 113176.0 | sat | sat |
433165673 | qf_shls_entl/bolognesa-10-e08.tptp.smt2 | 8317437 | ASTERIX | 20618 | default | 304295 | complete | 0.014046 | 0.014114 | 113176.0 | sat | sat |
433165681 | qf_shls_entl/bolognesa-10-e09.tptp.smt2 | 8317445 | ASTERIX | 20618 | default | 304295 | complete | 0.014229 | 0.014294 | 113176.0 | sat | sat |
433165498 | qf_shls_entl/bolognesa-10-e10.tptp.smt2 | 8317262 | ASTERIX | 20618 | default | 304295 | complete | 0.013161 | 0.013215 | 113176.0 | unsat | unsat |
433165487 | qf_shls_entl/bolognesa-11-e01.tptp.smt2 | 8317251 | ASTERIX | 20618 | default | 304295 | complete | 0.014134 | 0.014269 | 113176.0 | unsat | unsat |
433165517 | qf_shls_entl/bolognesa-11-e02.tptp.smt2 | 8317281 | ASTERIX | 20618 | default | 304295 | complete | 0.015433 | 0.0154999 | 113176.0 | unsat | unsat |
433165506 | qf_shls_entl/bolognesa-11-e03.tptp.smt2 | 8317270 | ASTERIX | 20618 | default | 304295 | complete | 0.013421 | 0.0134979 | 113176.0 | unsat | unsat |
433165525 | qf_shls_entl/bolognesa-11-e04.tptp.smt2 | 8317289 | ASTERIX | 20618 | default | 304295 | complete | 0.014496 | 0.014608 | 113176.0 | unsat | unsat |
433165520 | qf_shls_entl/bolognesa-11-e05.tptp.smt2 | 8317284 | ASTERIX | 20618 | default | 304295 | complete | 0.015597 | 0.0156459 | 113176.0 | sat | sat |
433165545 | qf_shls_entl/bolognesa-11-e06.tptp.smt2 | 8317309 | ASTERIX | 20618 | default | 304295 | complete | 0.014152 | 0.014188 | 113176.0 | sat | sat |
433165534 | qf_shls_entl/bolognesa-11-e07.tptp.smt2 | 8317298 | ASTERIX | 20618 | default | 304295 | complete | 0.013305 | 0.0133361 | 113176.0 | unsat | unsat |
433165395 | qf_shls_entl/bolognesa-11-e08.tptp.smt2 | 8317159 | ASTERIX | 20618 | default | 304295 | complete | 0.01338 | 0.0144389 | 113176.0 | unsat | unsat |
433165405 | qf_shls_entl/bolognesa-11-e09.tptp.smt2 | 8317169 | ASTERIX | 20618 | default | 304295 | complete | 0.013048 | 0.013065 | 113176.0 | unsat | unsat |
433165587 | qf_shls_entl/bolognesa-11-e10.tptp.smt2 | 8317351 | ASTERIX | 20618 | default | 304295 | complete | 0.014345 | 0.0143851 | 113176.0 | sat | sat |
433165629 | qf_shls_entl/bolognesa-12-e01.tptp.smt2 | 8317393 | ASTERIX | 20618 | default | 304295 | complete | 0.013233 | 0.0132671 | 113176.0 | unsat | unsat |
433165651 | qf_shls_entl/bolognesa-12-e02.tptp.smt2 | 8317415 | ASTERIX | 20618 | default | 304295 | complete | 0.014748 | 0.0148199 | 113176.0 | sat | sat |
433165643 | qf_shls_entl/bolognesa-12-e03.tptp.smt2 | 8317407 | ASTERIX | 20618 | default | 304295 | complete | 0.01478 | 0.014849 | 113176.0 | sat | sat |
433165662 | qf_shls_entl/bolognesa-12-e04.tptp.smt2 | 8317426 | ASTERIX | 20618 | default | 304295 | complete | 0.015392 | 0.015454 | 113176.0 | sat | sat |
433165653 | qf_shls_entl/bolognesa-12-e05.tptp.smt2 | 8317417 | ASTERIX | 20618 | default | 304295 | complete | 0.013264 | 0.0133001 | 113176.0 | unsat | unsat |
433165684 | qf_shls_entl/bolognesa-12-e06.tptp.smt2 | 8317448 | ASTERIX | 20618 | default | 304295 | complete | 0.014632 | 0.014669 | 113176.0 | unsat | unsat |
433165675 | qf_shls_entl/bolognesa-12-e07.tptp.smt2 | 8317439 | ASTERIX | 20618 | default | 304295 | complete | 0.014231 | 0.014291 | 113176.0 | sat | sat |
433165554 | qf_shls_entl/bolognesa-12-e08.tptp.smt2 | 8317318 | ASTERIX | 20618 | default | 304295 | complete | 0.015069 | 0.0151371 | 113176.0 | unsat | unsat |
433165564 | qf_shls_entl/bolognesa-12-e09.tptp.smt2 | 8317328 | ASTERIX | 20618 | default | 304295 | complete | 0.016516 | 0.0165959 | 113176.0 | unsat | unsat |
433165438 | qf_shls_entl/bolognesa-12-e10.tptp.smt2 | 8317202 | ASTERIX | 20618 | default | 304295 | complete | 0.013734 | 0.0137641 | 113176.0 | unsat | unsat |
433165467 | qf_shls_entl/bolognesa-13-e01.tptp.smt2 | 8317231 | ASTERIX | 20618 | default | 304295 | complete | 0.014299 | 0.0143731 | 113176.0 | unsat | unsat |
433165453 | qf_shls_entl/bolognesa-13-e02.tptp.smt2 | 8317217 | ASTERIX | 20618 | default | 304295 | complete | 0.015741 | 0.015805 | 113176.0 | sat | sat |
433165442 | qf_shls_entl/bolognesa-13-e03.tptp.smt2 | 8317206 | ASTERIX | 20618 | default | 304295 | complete | 0.014045 | 0.0140991 | 113176.0 | unsat | unsat |
433165424 | qf_shls_entl/bolognesa-13-e04.tptp.smt2 | 8317188 | ASTERIX | 20618 | default | 304295 | complete | 0.016379 | 0.016396 | 113176.0 | sat | sat |
433165417 | qf_shls_entl/bolognesa-13-e05.tptp.smt2 | 8317181 | ASTERIX | 20618 | default | 304295 | complete | 0.014613 | 0.0146699 | 113176.0 | sat | sat |
433165410 | qf_shls_entl/bolognesa-13-e06.tptp.smt2 | 8317174 | ASTERIX | 20618 | default | 304295 | complete | 0.015995 | 0.0160591 | 113176.0 | sat | sat |
433165397 | qf_shls_entl/bolognesa-13-e07.tptp.smt2 | 8317161 | ASTERIX | 20618 | default | 304295 | complete | 0.013973 | 0.0140079 | 113176.0 | unsat | unsat |
433165536 | qf_shls_entl/bolognesa-13-e08.tptp.smt2 | 8317300 | ASTERIX | 20618 | default | 304295 | complete | 0.014907 | 0.0149371 | 113176.0 | unsat | unsat |
433165546 | qf_shls_entl/bolognesa-13-e09.tptp.smt2 | 8317310 | ASTERIX | 20618 | default | 304295 | complete | 0.014359 | 0.014394 | 113176.0 | sat | sat |
433165639 | qf_shls_entl/bolognesa-13-e10.tptp.smt2 | 8317403 | ASTERIX | 20618 | default | 304295 | complete | 0.014829 | 0.014851 | 113176.0 | sat | sat |
433165501 | qf_shls_entl/bolognesa-14-e01.tptp.smt2 | 8317265 | ASTERIX | 20618 | default | 304295 | complete | 0.014207 | 0.014269 | 113176.0 | unsat | unsat |
433165493 | qf_shls_entl/bolognesa-14-e02.tptp.smt2 | 8317257 | ASTERIX | 20618 | default | 304295 | complete | 0.014124 | 0.014171 | 113176.0 | unsat | unsat |
433165478 | qf_shls_entl/bolognesa-14-e03.tptp.smt2 | 8317242 | ASTERIX | 20618 | default | 304295 | complete | 0.013882 | 0.0139159 | 113176.0 | unsat | unsat |
433165547 | qf_shls_entl/bolognesa-14-e04.tptp.smt2 | 8317311 | ASTERIX | 20618 | default | 304295 | complete | 0.014922 | 0.0150161 | 113176.0 | unsat | unsat |
433165540 | qf_shls_entl/bolognesa-14-e05.tptp.smt2 | 8317304 | ASTERIX | 20618 | default | 304295 | complete | 0.015464 | 0.0155469 | 113176.0 | sat | sat |
433165532 | qf_shls_entl/bolognesa-14-e06.tptp.smt2 | 8317296 | ASTERIX | 20618 | default | 304295 | complete | 0.013642 | 0.0136809 | 113176.0 | unsat | unsat |
433165522 | qf_shls_entl/bolognesa-14-e07.tptp.smt2 | 8317286 | ASTERIX | 20618 | default | 304295 | complete | 0.014033 | 0.0141 | 113176.0 | unsat | unsat |
433165422 | qf_shls_entl/bolognesa-14-e08.tptp.smt2 | 8317186 | ASTERIX | 20618 | default | 304295 | complete | 0.015508 | 0.0155721 | 113176.0 | unsat | unsat |
433165428 | qf_shls_entl/bolognesa-14-e09.tptp.smt2 | 8317192 | ASTERIX | 20618 | default | 304295 | complete | 0.014117 | 0.0141809 | 113176.0 | unsat | unsat |
433165611 | qf_shls_entl/bolognesa-14-e10.tptp.smt2 | 8317375 | ASTERIX | 20618 | default | 304295 | complete | 0.015243 | 0.015302 | 113176.0 | sat | sat |
433165592 | qf_shls_entl/bolognesa-15-e01.tptp.smt2 | 8317356 | ASTERIX | 20618 | default | 304295 | complete | 0.014202 | 0.014228 | 113176.0 | unsat | unsat |
433165618 | qf_shls_entl/bolognesa-15-e02.tptp.smt2 | 8317382 | ASTERIX | 20618 | default | 304295 | complete | 0.014818 | 0.0148581 | 113176.0 | unsat | unsat |
433165607 | qf_shls_entl/bolognesa-15-e03.tptp.smt2 | 8317371 | ASTERIX | 20618 | default | 304295 | complete | 0.015442 | 0.0154529 | 113176.0 | sat | sat |
433165566 | qf_shls_entl/bolognesa-15-e04.tptp.smt2 | 8317330 | ASTERIX | 20618 | default | 304295 | complete | 0.01459 | 0.0146479 | 113176.0 | unsat | unsat |
433165558 | qf_shls_entl/bolognesa-15-e05.tptp.smt2 | 8317322 | ASTERIX | 20618 | default | 304295 | complete | 0.014367 | 0.014437 | 113176.0 | unsat | unsat |
433165585 | qf_shls_entl/bolognesa-15-e06.tptp.smt2 | 8317349 | ASTERIX | 20618 | default | 304295 | complete | 0.014594 | 0.014624 | 113176.0 | unsat | unsat |
433165573 | qf_shls_entl/bolognesa-15-e07.tptp.smt2 | 8317337 | ASTERIX | 20618 | default | 304295 | complete | 0.014301 | 0.0143479 | 113176.0 | unsat | unsat |
433165660 | qf_shls_entl/bolognesa-15-e08.tptp.smt2 | 8317424 | ASTERIX | 20618 | default | 304295 | complete | 0.017129 | 0.0361551 | 0.0 | sat | sat |
433165665 | qf_shls_entl/bolognesa-15-e09.tptp.smt2 | 8317429 | ASTERIX | 20618 | default | 304295 | complete | 0.015732 | 0.0157989 | 113176.0 | sat | sat |
433165482 | qf_shls_entl/bolognesa-15-e10.tptp.smt2 | 8317246 | ASTERIX | 20618 | default | 304295 | complete | 0.014545 | 0.01461 | 113176.0 | unsat | unsat |
433165440 | qf_shls_entl/bolognesa-16-e01.tptp.smt2 | 8317204 | ASTERIX | 20618 | default | 304295 | complete | 0.014247 | 0.014276 | 113176.0 | unsat | unsat |
433165470 | qf_shls_entl/bolognesa-16-e02.tptp.smt2 | 8317234 | ASTERIX | 20618 | default | 304295 | complete | 0.015761 | 0.015836 | 113176.0 | sat | sat |
433165457 | qf_shls_entl/bolognesa-16-e03.tptp.smt2 | 8317221 | ASTERIX | 20618 | default | 304295 | complete | 0.015481 | 0.0155171 | 113176.0 | sat | sat |
433165411 | qf_shls_entl/bolognesa-16-e04.tptp.smt2 | 8317175 | ASTERIX | 20618 | default | 304295 | complete | 0.015265 | 0.0153041 | 113176.0 | sat | sat |
433165399 | qf_shls_entl/bolognesa-16-e05.tptp.smt2 | 8317163 | ASTERIX | 20618 | default | 304295 | complete | 0.016019 | 0.016053 | 113176.0 | unsat | unsat |
433165434 | qf_shls_entl/bolognesa-16-e06.tptp.smt2 | 8317198 | ASTERIX | 20618 | default | 304295 | complete | 0.015152 | 0.015196 | 113176.0 | sat | sat |
433165423 | qf_shls_entl/bolognesa-16-e07.tptp.smt2 | 8317187 | ASTERIX | 20618 | default | 304295 | complete | 0.014219 | 0.0142619 | 113176.0 | unsat | unsat |
433165524 | qf_shls_entl/bolognesa-16-e08.tptp.smt2 | 8317288 | ASTERIX | 20618 | default | 304295 | complete | 0.014753 | 0.0147891 | 113176.0 | unsat | unsat |
433165533 | qf_shls_entl/bolognesa-16-e09.tptp.smt2 | 8317297 | ASTERIX | 20618 | default | 304295 | complete | 0.014195 | 0.0142289 | 113176.0 | unsat | unsat |
433165628 | qf_shls_entl/bolognesa-16-e10.tptp.smt2 | 8317392 | ASTERIX | 20618 | default | 304295 | complete | 0.016166 | 0.0162481 | 113176.0 | sat | sat |
433165642 | qf_shls_entl/bolognesa-17-e01.tptp.smt2 | 8317406 | ASTERIX | 20618 | default | 304295 | complete | 0.01445 | 0.014513 | 113176.0 | unsat | unsat |
433165631 | qf_shls_entl/bolognesa-17-e02.tptp.smt2 | 8317395 | ASTERIX | 20618 | default | 304295 | complete | 0.015833 | 0.015848 | 113176.0 | sat | sat |
433165622 | qf_shls_entl/bolognesa-17-e03.tptp.smt2 | 8317386 | ASTERIX | 20618 | default | 304295 | complete | 0.017476 | 0.0175181 | 113176.0 | sat | sat |
433165686 | qf_shls_entl/bolognesa-17-e04.tptp.smt2 | 8317450 | ASTERIX | 20618 | default | 304295 | complete | 0.01549 | 0.017244 | 0.0 | unsat | unsat |
433165678 | qf_shls_entl/bolognesa-17-e05.tptp.smt2 | 8317442 | ASTERIX | 20618 | default | 304295 | complete | 0.014734 | 0.014807 | 113176.0 | unsat | unsat |
433165670 | qf_shls_entl/bolognesa-17-e06.tptp.smt2 | 8317434 | ASTERIX | 20618 | default | 304295 | complete | 0.017585 | 0.0176149 | 113176.0 | unsat | unsat |
433165661 | qf_shls_entl/bolognesa-17-e07.tptp.smt2 | 8317425 | ASTERIX | 20618 | default | 304295 | complete | 0.015985 | 0.016026 | 113176.0 | unsat | unsat |
433165576 | qf_shls_entl/bolognesa-17-e08.tptp.smt2 | 8317340 | ASTERIX | 20618 | default | 304295 | complete | 0.017624 | 0.019946 | 0.0 | sat | sat |
433165586 | qf_shls_entl/bolognesa-17-e09.tptp.smt2 | 8317350 | ASTERIX | 20618 | default | 304295 | complete | 0.014129 | 0.0141651 | 113176.0 | unsat | unsat |
433165465 | qf_shls_entl/bolognesa-17-e10.tptp.smt2 | 8317229 | ASTERIX | 20618 | default | 304295 | complete | 0.01522 | 0.0152651 | 113176.0 | unsat | unsat |
433165671 | qf_shls_entl/bolognesa-18-e01.tptp.smt2 | 8317435 | ASTERIX | 20618 | default | 304295 | complete | 0.01511 | 0.015156 | 113176.0 | unsat | unsat |
433165677 | qf_shls_entl/bolognesa-18-e02.tptp.smt2 | 8317441 | ASTERIX | 20618 | default | 304295 | complete | 0.016015 | 0.0160531 | 113176.0 | sat | sat |
433165685 | qf_shls_entl/bolognesa-18-e03.tptp.smt2 | 8317449 | ASTERIX | 20618 | default | 304295 | complete | 0.018383 | 0.0184289 | 113176.0 | sat | sat |
433165623 | qf_shls_entl/bolognesa-18-e04.tptp.smt2 | 8317387 | ASTERIX | 20618 | default | 304295 | complete | 0.016505 | 0.0165531 | 113176.0 | sat | sat |
433165632 | qf_shls_entl/bolognesa-18-e05.tptp.smt2 | 8317396 | ASTERIX | 20618 | default | 304295 | complete | 0.01695 | 0.036391 | 0.0 | sat | sat |
433165641 | qf_shls_entl/bolognesa-18-e06.tptp.smt2 | 8317405 | ASTERIX | 20618 | default | 304295 | complete | 0.015706 | 0.015762 | 113176.0 | sat | sat |
433165649 | qf_shls_entl/bolognesa-18-e07.tptp.smt2 | 8317413 | ASTERIX | 20618 | default | 304295 | complete | 0.015847 | 0.015866 | 113176.0 | sat | sat |
433165602 | qf_shls_entl/bolognesa-18-e08.tptp.smt2 | 8317366 | ASTERIX | 20618 | default | 304295 | complete | 0.016349 | 0.0163801 | 113176.0 | sat | sat |
433165593 | qf_shls_entl/bolognesa-18-e09.tptp.smt2 | 8317357 | ASTERIX | 20618 | default | 304295 | complete | 0.017056 | 0.019384 | 0.0 | sat | sat |
433165407 | qf_shls_entl/bolognesa-18-e10.tptp.smt2 | 8317171 | ASTERIX | 20618 | default | 304295 | complete | 0.014555 | 0.0145971 | 113176.0 | unsat | unsat |
433165433 | qf_shls_entl/bolognesa-19-e01.tptp.smt2 | 8317197 | ASTERIX | 20618 | default | 304295 | complete | 0.016364 | 0.016394 | 113176.0 | sat | sat |
433165400 | qf_shls_entl/bolognesa-19-e02.tptp.smt2 | 8317164 | ASTERIX | 20618 | default | 304295 | complete | 0.016852 | 0.016909 | 113176.0 | sat | sat |
433165412 | qf_shls_entl/bolognesa-19-e03.tptp.smt2 | 8317176 | ASTERIX | 20618 | default | 304295 | complete | 0.016605 | 0.016651 | 113176.0 | sat | sat |
433165456 | qf_shls_entl/bolognesa-19-e04.tptp.smt2 | 8317220 | ASTERIX | 20618 | default | 304295 | complete | 0.016416 | 0.0164611 | 113176.0 | sat | sat |
433165469 | qf_shls_entl/bolognesa-19-e05.tptp.smt2 | 8317233 | ASTERIX | 20618 | default | 304295 | complete | 0.014916 | 0.0149579 | 113176.0 | unsat | unsat |
433165441 | qf_shls_entl/bolognesa-19-e06.tptp.smt2 | 8317205 | ASTERIX | 20618 | default | 304295 | complete | 0.015546 | 0.0155921 | 113176.0 | unsat | unsat |
433165450 | qf_shls_entl/bolognesa-19-e07.tptp.smt2 | 8317214 | ASTERIX | 20618 | default | 304295 | complete | 0.016897 | 0.016946 | 113176.0 | sat | sat |
433165513 | qf_shls_entl/bolognesa-19-e08.tptp.smt2 | 8317277 | ASTERIX | 20618 | default | 304295 | complete | 0.018699 | 0.018769 | 113176.0 | unsat | unsat |
433165504 | qf_shls_entl/bolognesa-19-e09.tptp.smt2 | 8317268 | ASTERIX | 20618 | default | 304295 | complete | 0.018152 | 0.018238 | 113176.0 | sat | sat |
433165682 | qf_shls_entl/bolognesa-19-e10.tptp.smt2 | 8317446 | ASTERIX | 20618 | default | 304295 | complete | 0.014602 | 0.0146351 | 113176.0 | unsat | unsat |
433165402 | qf_shls_entl/bolognesa-20-e01.tptp.smt2 | 8317166 | ASTERIX | 20618 | default | 304295 | complete | 0.017004 | 0.017078 | 113176.0 | sat | sat |
433165430 | qf_shls_entl/bolognesa-20-e02.tptp.smt2 | 8317194 | ASTERIX | 20618 | default | 304295 | complete | 0.016757 | 0.0168001 | 113176.0 | sat | sat |
433165421 | qf_shls_entl/bolognesa-20-e03.tptp.smt2 | 8317185 | ASTERIX | 20618 | default | 304295 | complete | 0.016421 | 0.016474 | 113176.0 | sat | sat |
433165449 | qf_shls_entl/bolognesa-20-e04.tptp.smt2 | 8317213 | ASTERIX | 20618 | default | 304295 | complete | 0.017066 | 0.0170919 | 113176.0 | sat | sat |
433165436 | qf_shls_entl/bolognesa-20-e05.tptp.smt2 | 8317200 | ASTERIX | 20618 | default | 304295 | complete | 0.017657 | 0.017699 | 113176.0 | sat | sat |
433165471 | qf_shls_entl/bolognesa-20-e06.tptp.smt2 | 8317235 | ASTERIX | 20618 | default | 304295 | complete | 0.01521 | 0.0152719 | 113176.0 | unsat | unsat |
433165459 | qf_shls_entl/bolognesa-20-e07.tptp.smt2 | 8317223 | ASTERIX | 20618 | default | 304295 | complete | 0.015224 | 0.0152999 | 113176.0 | unsat | unsat |
433165479 | qf_shls_entl/bolognesa-20-e08.tptp.smt2 | 8317243 | ASTERIX | 20618 | default | 304295 | complete | 0.015449 | 0.0154659 | 113176.0 | unsat | unsat |
433165492 | qf_shls_entl/bolognesa-20-e09.tptp.smt2 | 8317256 | ASTERIX | 20618 | default | 304295 | complete | 0.016906 | 0.016981 | 113176.0 | sat | sat |
433165654 | qf_shls_entl/bolognesa-20-e10.tptp.smt2 | 8317418 | ASTERIX | 20618 | default | 304295 | complete | 0.017047 | 0.017117 | 113176.0 | unsat | unsat |
433165408 | qf_shls_entl/clones-01-e01.tptp.smt2 | 8317172 | ASTERIX | 20618 | default | 304295 | complete | 0.012507 | 0.012569 | 113176.0 | unsat | unsat |
433165416 | qf_shls_entl/clones-01-e02.tptp.smt2 | 8317180 | ASTERIX | 20618 | default | 304295 | complete | 0.013063 | 0.013085 | 113176.0 | unsat | unsat |
433165425 | qf_shls_entl/clones-01-e03.tptp.smt2 | 8317189 | ASTERIX | 20618 | default | 304295 | complete | 0.01183 | 0.0118931 | 113176.0 | unsat | unsat |
433165443 | qf_shls_entl/clones-01-e04.tptp.smt2 | 8317207 | ASTERIX | 20618 | default | 304295 | complete | 0.011309 | 0.011353 | 113176.0 | unsat | unsat |
433165452 | qf_shls_entl/clones-01-e05.tptp.smt2 | 8317216 | ASTERIX | 20618 | default | 304295 | complete | 0.011974 | 0.012047 | 113176.0 | unsat | unsat |
433165466 | qf_shls_entl/clones-01-e06.tptp.smt2 | 8317230 | ASTERIX | 20618 | default | 304295 | complete | 0.011336 | 0.0114 | 113176.0 | unsat | unsat |
433165476 | qf_shls_entl/clones-01-e07.tptp.smt2 | 8317240 | ASTERIX | 20618 | default | 304295 | complete | 0.011836 | 0.011913 | 113176.0 | sat | sat |
433165497 | qf_shls_entl/clones-01-e08.tptp.smt2 | 8317261 | ASTERIX | 20618 | default | 304295 | complete | 0.012484 | 0.0125691 | 113176.0 | sat | sat |
433165489 | qf_shls_entl/clones-01-e09.tptp.smt2 | 8317253 | ASTERIX | 20618 | default | 304295 | complete | 0.011908 | 0.0119629 | 113176.0 | sat | sat |
433165669 | qf_shls_entl/clones-01-e10.tptp.smt2 | 8317433 | ASTERIX | 20618 | default | 304295 | complete | 0.012735 | 0.012785 | 113176.0 | sat | sat |
433165561 | qf_shls_entl/clones-02-e01.tptp.smt2 | 8317325 | ASTERIX | 20618 | default | 304295 | complete | 0.011799 | 0.011835 | 113176.0 | unsat | unsat |
433165569 | qf_shls_entl/clones-02-e02.tptp.smt2 | 8317333 | ASTERIX | 20618 | default | 304295 | complete | 0.011991 | 0.0120241 | 113176.0 | unsat | unsat |
433165580 | qf_shls_entl/clones-02-e03.tptp.smt2 | 8317344 | ASTERIX | 20618 | default | 304295 | complete | 0.012979 | 0.013008 | 113176.0 | unsat | unsat |
433165597 | qf_shls_entl/clones-02-e04.tptp.smt2 | 8317361 | ASTERIX | 20618 | default | 304295 | complete | 0.01261 | 0.012675 | 113176.0 | unsat | unsat |
433165603 | qf_shls_entl/clones-02-e05.tptp.smt2 | 8317367 | ASTERIX | 20618 | default | 304295 | complete | 0.011809 | 0.0118851 | 113176.0 | unsat | unsat |
433165612 | qf_shls_entl/clones-02-e06.tptp.smt2 | 8317376 | ASTERIX | 20618 | default | 304295 | complete | 0.012418 | 0.0127261 | 113176.0 | unsat | unsat |
433165620 | qf_shls_entl/clones-02-e07.tptp.smt2 | 8317384 | ASTERIX | 20618 | default | 304295 | complete | 0.012043 | 0.012099 | 113176.0 | sat | sat |
433165634 | qf_shls_entl/clones-02-e08.tptp.smt2 | 8317398 | ASTERIX | 20618 | default | 304295 | complete | 0.012703 | 0.012784 | 113176.0 | sat | sat |
433165627 | qf_shls_entl/clones-02-e09.tptp.smt2 | 8317391 | ASTERIX | 20618 | default | 304295 | complete | 0.012688 | 0.012726 | 113176.0 | sat | sat |
433165530 | qf_shls_entl/clones-02-e10.tptp.smt2 | 8317294 | ASTERIX | 20618 | default | 304295 | complete | 0.013099 | 0.0131249 | 113176.0 | sat | sat |
433165542 | qf_shls_entl/clones-03-e01.tptp.smt2 | 8317306 | ASTERIX | 20618 | default | 304295 | complete | 0.013302 | 0.0133319 | 113176.0 | unsat | unsat |
433165519 | qf_shls_entl/clones-03-e02.tptp.smt2 | 8317283 | ASTERIX | 20618 | default | 304295 | complete | 0.011578 | 0.011607 | 113176.0 | unsat | unsat |
433165527 | qf_shls_entl/clones-03-e03.tptp.smt2 | 8317291 | ASTERIX | 20618 | default | 304295 | complete | 0.011878 | 0.011953 | 113176.0 | unsat | unsat |
433165507 | qf_shls_entl/clones-03-e04.tptp.smt2 | 8317271 | ASTERIX | 20618 | default | 304295 | complete | 0.011852 | 0.011944 | 113176.0 | unsat | unsat |
433165514 | qf_shls_entl/clones-03-e05.tptp.smt2 | 8317278 | ASTERIX | 20618 | default | 304295 | complete | 0.011821 | 0.0118751 | 113176.0 | unsat | unsat |
433165484 | qf_shls_entl/clones-03-e06.tptp.smt2 | 8317248 | ASTERIX | 20618 | default | 304295 | complete | 0.013247 | 0.0132681 | 113176.0 | unsat | unsat |
433165496 | qf_shls_entl/clones-03-e07.tptp.smt2 | 8317260 | ASTERIX | 20618 | default | 304295 | complete | 0.01241 | 0.012477 | 113176.0 | sat | sat |
433165474 | qf_shls_entl/clones-03-e08.tptp.smt2 | 8317238 | ASTERIX | 20618 | default | 304295 | complete | 0.01287 | 0.012899 | 113176.0 | sat | sat |
433165464 | qf_shls_entl/clones-03-e09.tptp.smt2 | 8317228 | ASTERIX | 20618 | default | 304295 | complete | 0.012588 | 0.01264 | 113176.0 | sat | sat |
433165584 | qf_shls_entl/clones-03-e10.tptp.smt2 | 8317348 | ASTERIX | 20618 | default | 304295 | complete | 0.012191 | 0.0122331 | 113176.0 | sat | sat |
433165432 | qf_shls_entl/clones-04-e01.tptp.smt2 | 8317196 | ASTERIX | 20618 | default | 304295 | complete | 0.0115 | 0.0133509 | 0.0 | unsat | unsat |
433165398 | qf_shls_entl/clones-04-e02.tptp.smt2 | 8317162 | ASTERIX | 20618 | default | 304295 | complete | 0.01212 | 0.012192 | 113176.0 | unsat | unsat |
433165413 | qf_shls_entl/clones-04-e03.tptp.smt2 | 8317177 | ASTERIX | 20618 | default | 304295 | complete | 0.011769 | 0.011834 | 113176.0 | unsat | unsat |
433165458 | qf_shls_entl/clones-04-e04.tptp.smt2 | 8317222 | ASTERIX | 20618 | default | 304295 | complete | 0.011566 | 0.0116351 | 113176.0 | unsat | unsat |
433165468 | qf_shls_entl/clones-04-e05.tptp.smt2 | 8317232 | ASTERIX | 20618 | default | 304295 | complete | 0.012566 | 0.012641 | 113176.0 | unsat | unsat |
433165439 | qf_shls_entl/clones-04-e06.tptp.smt2 | 8317203 | ASTERIX | 20618 | default | 304295 | complete | 0.011163 | 0.011196 | 113176.0 | unsat | unsat |
433165451 | qf_shls_entl/clones-04-e07.tptp.smt2 | 8317215 | ASTERIX | 20618 | default | 304295 | complete | 0.013103 | 0.013144 | 113176.0 | sat | sat |
433165512 | qf_shls_entl/clones-04-e08.tptp.smt2 | 8317276 | ASTERIX | 20618 | default | 304295 | complete | 0.013453 | 0.013513 | 113176.0 | sat | sat |
433165505 | qf_shls_entl/clones-04-e09.tptp.smt2 | 8317269 | ASTERIX | 20618 | default | 304295 | complete | 0.013075 | 0.0163969 | 0.0 | sat | sat |
433165683 | qf_shls_entl/clones-04-e10.tptp.smt2 | 8317447 | ASTERIX | 20618 | default | 304295 | complete | 0.014631 | 0.0147099 | 113176.0 | sat | sat |
433165668 | qf_shls_entl/clones-05-e01.tptp.smt2 | 8317432 | ASTERIX | 20618 | default | 304295 | complete | 0.011652 | 0.0116959 | 113176.0 | unsat | unsat |
433165676 | qf_shls_entl/clones-05-e02.tptp.smt2 | 8317440 | ASTERIX | 20618 | default | 304295 | complete | 0.011839 | 0.011864 | 113176.0 | unsat | unsat |
433165687 | qf_shls_entl/clones-05-e03.tptp.smt2 | 8317451 | ASTERIX | 20618 | default | 304295 | complete | 0.013473 | 0.0164551 | 0.0 | unsat | unsat |
433165624 | qf_shls_entl/clones-05-e04.tptp.smt2 | 8317388 | ASTERIX | 20618 | default | 304295 | complete | 0.012774 | 0.0128419 | 113176.0 | unsat | unsat |
433165630 | qf_shls_entl/clones-05-e05.tptp.smt2 | 8317394 | ASTERIX | 20618 | default | 304295 | complete | 0.012053 | 0.0121221 | 113176.0 | unsat | unsat |
433165640 | qf_shls_entl/clones-05-e06.tptp.smt2 | 8317404 | ASTERIX | 20618 | default | 304295 | complete | 0.011719 | 0.011796 | 113176.0 | unsat | unsat |
433165650 | qf_shls_entl/clones-05-e07.tptp.smt2 | 8317414 | ASTERIX | 20618 | default | 304295 | complete | 0.013424 | 0.0134549 | 113176.0 | sat | sat |
433165601 | qf_shls_entl/clones-05-e08.tptp.smt2 | 8317365 | ASTERIX | 20618 | default | 304295 | complete | 0.014466 | 0.0145359 | 113176.0 | sat | sat |
433165594 | qf_shls_entl/clones-05-e09.tptp.smt2 | 8317358 | ASTERIX | 20618 | default | 304295 | complete | 0.013578 | 0.013612 | 113176.0 | sat | sat |
433165409 | qf_shls_entl/clones-05-e10.tptp.smt2 | 8317173 | ASTERIX | 20618 | default | 304295 | complete | 0.012925 | 0.012984 | 113176.0 | sat | sat |
433165528 | qf_shls_entl/clones-06-e01.tptp.smt2 | 8317292 | ASTERIX | 20618 | default | 304295 | complete | 0.011792 | 0.0118449 | 113176.0 | unsat | unsat |
433165538 | qf_shls_entl/clones-06-e02.tptp.smt2 | 8317302 | ASTERIX | 20618 | default | 304295 | complete | 0.011648 | 0.011672 | 113176.0 | unsat | unsat |
433165551 | qf_shls_entl/clones-06-e03.tptp.smt2 | 8317315 | ASTERIX | 20618 | default | 304295 | complete | 0.012238 | 0.012307 | 113176.0 | unsat | unsat |
433165480 | qf_shls_entl/clones-06-e04.tptp.smt2 | 8317244 | ASTERIX | 20618 | default | 304295 | complete | 0.011595 | 0.01163 | 113176.0 | unsat | unsat |
433165490 | qf_shls_entl/clones-06-e05.tptp.smt2 | 8317254 | ASTERIX | 20618 | default | 304295 | complete | 0.012523 | 0.0125371 | 113176.0 | unsat | unsat |
433165500 | qf_shls_entl/clones-06-e06.tptp.smt2 | 8317264 | ASTERIX | 20618 | default | 304295 | complete | 0.011982 | 0.0145239 | 0.0 | unsat | unsat |
433165511 | qf_shls_entl/clones-06-e07.tptp.smt2 | 8317275 | ASTERIX | 20618 | default | 304295 | complete | 0.013585 | 0.013647 | 113176.0 | sat | sat |
433165447 | qf_shls_entl/clones-06-e08.tptp.smt2 | 8317211 | ASTERIX | 20618 | default | 304295 | complete | 0.014951 | 0.0149969 | 113176.0 | sat | sat |
433165437 | qf_shls_entl/clones-06-e09.tptp.smt2 | 8317201 | ASTERIX | 20618 | default | 304295 | complete | 0.013838 | 0.0139061 | 113176.0 | sat | sat |
433165562 | qf_shls_entl/clones-06-e10.tptp.smt2 | 8317326 | ASTERIX | 20618 | default | 304295 | complete | 0.01367 | 0.013708 | 113176.0 | sat | sat |
433165582 | qf_shls_entl/clones-07-e01.tptp.smt2 | 8317346 | ASTERIX | 20618 | default | 304295 | complete | 0.011693 | 0.011746 | 113176.0 | unsat | unsat |
433165556 | qf_shls_entl/clones-07-e02.tptp.smt2 | 8317320 | ASTERIX | 20618 | default | 304295 | complete | 0.012035 | 0.012112 | 113176.0 | unsat | unsat |
433165567 | qf_shls_entl/clones-07-e03.tptp.smt2 | 8317331 | ASTERIX | 20618 | default | 304295 | complete | 0.013622 | 0.0239299 | 0.0 | unsat | unsat |
433165609 | qf_shls_entl/clones-07-e04.tptp.smt2 | 8317373 | ASTERIX | 20618 | default | 304295 | complete | 0.011286 | 0.0113151 | 113176.0 | unsat | unsat |
433165617 | qf_shls_entl/clones-07-e05.tptp.smt2 | 8317381 | ASTERIX | 20618 | default | 304295 | complete | 0.012764 | 0.0128351 | 113176.0 | unsat | unsat |
433165589 | qf_shls_entl/clones-07-e06.tptp.smt2 | 8317353 | ASTERIX | 20618 | default | 304295 | complete | 0.011397 | 0.011438 | 113176.0 | unsat | unsat |
433165599 | qf_shls_entl/clones-07-e07.tptp.smt2 | 8317363 | ASTERIX | 20618 | default | 304295 | complete | 0.013961 | 0.0139899 | 113176.0 | sat | sat |
433165646 | qf_shls_entl/clones-07-e08.tptp.smt2 | 8317410 | ASTERIX | 20618 | default | 304295 | complete | 0.016041 | 0.0160599 | 113176.0 | sat | sat |
433165637 | qf_shls_entl/clones-07-e09.tptp.smt2 | 8317401 | ASTERIX | 20618 | default | 304295 | complete | 0.014202 | 0.0142631 | 113176.0 | sat | sat |
433165544 | qf_shls_entl/clones-07-e10.tptp.smt2 | 8317308 | ASTERIX | 20618 | default | 304295 | complete | 0.015588 | 0.0156359 | 113176.0 | sat | sat |
433165590 | qf_shls_entl/clones-08-e01.tptp.smt2 | 8317354 | ASTERIX | 20618 | default | 304295 | complete | 0.013386 | 0.0134621 | 113176.0 | unsat | unsat |
433165616 | qf_shls_entl/clones-08-e02.tptp.smt2 | 8317380 | ASTERIX | 20618 | default | 304295 | complete | 0.012321 | 0.0145029 | 0.0 | unsat | unsat |
433165608 | qf_shls_entl/clones-08-e03.tptp.smt2 | 8317372 | ASTERIX | 20618 | default | 304295 | complete | 0.012094 | 0.012168 | 113176.0 | unsat | unsat |
433165568 | qf_shls_entl/clones-08-e04.tptp.smt2 | 8317332 | ASTERIX | 20618 | default | 304295 | complete | 0.01186 | 0.011928 | 113176.0 | unsat | unsat |
433165557 | qf_shls_entl/clones-08-e05.tptp.smt2 | 8317321 | ASTERIX | 20618 | default | 304295 | complete | 0.014128 | 0.0141511 | 113176.0 | unsat | unsat |
433165581 | qf_shls_entl/clones-08-e06.tptp.smt2 | 8317345 | ASTERIX | 20618 | default | 304295 | complete | 0.012718 | 0.0127439 | 113176.0 | unsat | unsat |
433165575 | qf_shls_entl/clones-08-e07.tptp.smt2 | 8317339 | ASTERIX | 20618 | default | 304295 | complete | 0.015657 | 0.017352 | 0.0 | sat | sat |
433165657 | qf_shls_entl/clones-08-e08.tptp.smt2 | 8317421 | ASTERIX | 20618 | default | 304295 | complete | 0.016574 | 0.016626 | 113176.0 | sat | sat |
433165666 | qf_shls_entl/clones-08-e09.tptp.smt2 | 8317430 | ASTERIX | 20618 | default | 304295 | complete | 0.014846 | 0.014901 | 113176.0 | sat | sat |
433165486 | qf_shls_entl/clones-08-e10.tptp.smt2 | 8317250 | ASTERIX | 20618 | default | 304295 | complete | 0.014364 | 0.014413 | 113176.0 | sat | sat |
433165499 | qf_shls_entl/clones-09-e01.tptp.smt2 | 8317263 | ASTERIX | 20618 | default | 304295 | complete | 0.011771 | 0.0117951 | 113176.0 | unsat | unsat |
433165491 | qf_shls_entl/clones-09-e02.tptp.smt2 | 8317255 | ASTERIX | 20618 | default | 304295 | complete | 0.012611 | 0.0129319 | 113176.0 | unsat | unsat |
433165481 | qf_shls_entl/clones-09-e03.tptp.smt2 | 8317245 | ASTERIX | 20618 | default | 304295 | complete | 0.012245 | 0.012291 | 113176.0 | unsat | unsat |
433165550 | qf_shls_entl/clones-09-e04.tptp.smt2 | 8317314 | ASTERIX | 20618 | default | 304295 | complete | 0.01177 | 0.0117889 | 113176.0 | unsat | unsat |
433165537 | qf_shls_entl/clones-09-e05.tptp.smt2 | 8317301 | ASTERIX | 20618 | default | 304295 | complete | 0.013068 | 0.013138 | 113176.0 | unsat | unsat |
433165529 | qf_shls_entl/clones-09-e06.tptp.smt2 | 8317293 | ASTERIX | 20618 | default | 304295 | complete | 0.011834 | 0.0119001 | 113176.0 | unsat | unsat |
433165523 | qf_shls_entl/clones-09-e07.tptp.smt2 | 8317287 | ASTERIX | 20618 | default | 304295 | complete | 0.015178 | 0.0152571 | 113176.0 | sat | sat |
433165419 | qf_shls_entl/clones-09-e08.tptp.smt2 | 8317183 | ASTERIX | 20618 | default | 304295 | complete | 0.017395 | 0.01743 | 113176.0 | sat | sat |
433165431 | qf_shls_entl/clones-09-e09.tptp.smt2 | 8317195 | ASTERIX | 20618 | default | 304295 | complete | 0.015083 | 0.0151399 | 113176.0 | sat | sat |
433165613 | qf_shls_entl/clones-09-e10.tptp.smt2 | 8317377 | ASTERIX | 20618 | default | 304295 | complete | 0.014592 | 0.0146371 | 113176.0 | sat | sat |
433165426 | qf_shls_entl/clones-10-e01.tptp.smt2 | 8317190 | ASTERIX | 20618 | default | 304295 | complete | 0.011941 | 0.012022 | 113176.0 | unsat | unsat |
433165394 | qf_shls_entl/clones-10-e02.tptp.smt2 | 8317158 | ASTERIX | 20618 | default | 304295 | complete | 0.012329 | 0.0123511 | 113176.0 | unsat | unsat |
433165406 | qf_shls_entl/clones-10-e03.tptp.smt2 | 8317170 | ASTERIX | 20618 | default | 304295 | complete | 0.011949 | 0.012019 | 113176.0 | unsat | unsat |
433165463 | qf_shls_entl/clones-10-e04.tptp.smt2 | 8317227 | ASTERIX | 20618 | default | 304295 | complete | 0.011443 | 0.0114721 | 113176.0 | unsat | unsat |
433165473 | qf_shls_entl/clones-10-e05.tptp.smt2 | 8317237 | ASTERIX | 20618 | default | 304295 | complete | 0.013351 | 0.0134421 | 113176.0 | unsat | unsat |
433165444 | qf_shls_entl/clones-10-e06.tptp.smt2 | 8317208 | ASTERIX | 20618 | default | 304295 | complete | 0.011376 | 0.0114151 | 113176.0 | unsat | unsat |
433165455 | qf_shls_entl/clones-10-e07.tptp.smt2 | 8317219 | ASTERIX | 20618 | default | 304295 | complete | 0.015274 | 0.0153169 | 113176.0 | sat | sat |
433165516 | qf_shls_entl/clones-10-e08.tptp.smt2 | 8317280 | ASTERIX | 20618 | default | 304295 | complete | 0.018562 | 0.018592 | 113176.0 | sat | sat |
433165509 | qf_shls_entl/clones-10-e09.tptp.smt2 | 8317273 | ASTERIX | 20618 | default | 304295 | complete | 0.015878 | 0.0159539 | 113176.0 | sat | sat |
433165689 | qf_shls_entl/clones-10-e10.tptp.smt2 | 8317453 | ASTERIX | 20618 | default | 304295 | complete | 0.017234 | 0.019391 | 0.0 | sat | sat |
433165672 | qf_shls_entl/ls-vc01.smt2 | 8317436 | ASTERIX | 20618 | default | 304295 | complete | 0.011757 | 0.011828 | 113176.0 | sat | sat |
433165503 | qf_shls_entl/ls-vc02.smt2 | 8317267 | ASTERIX | 20618 | default | 304295 | complete | 0.011744 | 0.011771 | 113176.0 | sat | sat |
433165461 | qf_shls_entl/ls-vc03.smt2 | 8317225 | ASTERIX | 20618 | default | 304295 | complete | 0.012049 | 0.012089 | 113176.0 | sat | sat |
433165555 | qf_shls_entl/ls-vc04.smt2 | 8317319 | ASTERIX | 20618 | default | 304295 | complete | 0.01182 | 0.0118881 | 113176.0 | sat | sat |
433165659 | qf_shls_entl/ls-vc05.smt2 | 8317423 | ASTERIX | 20618 | default | 304295 | complete | 0.012554 | 0.0126321 | 113176.0 | unsat | unsat |
433165488 | qf_shls_entl/ls-vc06.smt2 | 8317252 | ASTERIX | 20618 | default | 304295 | complete | 0.011892 | 0.011923 | 113176.0 | sat | sat |
433165446 | qf_shls_entl/ls-vc07.smt2 | 8317210 | ASTERIX | 20618 | default | 304295 | complete | 0.012395 | 0.0124439 | 113176.0 | sat | sat |
433165615 | qf_shls_entl/ls-vc08.smt2 | 8317379 | ASTERIX | 20618 | default | 304295 | complete | 0.01209 | 0.0121341 | 113176.0 | unsat | unsat |
433165647 | qf_shls_entl/ls-vc09.smt2 | 8317411 | ASTERIX | 20618 | default | 304295 | complete | 0.012694 | 0.0127241 | 113176.0 | unsat | unsat |
433165477 | qf_shls_entl/smallfoot-vc01.tptp.smt2 | 8317241 | ASTERIX | 20618 | default | 304295 | complete | 0.011359 | 0.0113771 | 113176.0 | unsat | unsat |
433165510 | qf_shls_entl/smallfoot-vc02.tptp.smt2 | 8317274 | ASTERIX | 20618 | default | 304295 | complete | 0.011527 | 0.011565 | 113176.0 | unsat | unsat |
433165502 | qf_shls_entl/smallfoot-vc03.tptp.smt2 | 8317266 | ASTERIX | 20618 | default | 304295 | complete | 0.011734 | 0.0118091 | 113176.0 | unsat | unsat |
433165531 | qf_shls_entl/smallfoot-vc04.tptp.smt2 | 8317295 | ASTERIX | 20618 | default | 304295 | complete | 0.011504 | 0.0115419 | 113176.0 | unsat | unsat |
433165521 | qf_shls_entl/smallfoot-vc05.tptp.smt2 | 8317285 | ASTERIX | 20618 | default | 304295 | complete | 0.012288 | 0.012336 | 113176.0 | unsat | unsat |
433165548 | qf_shls_entl/smallfoot-vc06.tptp.smt2 | 8317312 | ASTERIX | 20618 | default | 304295 | complete | 0.011655 | 0.011732 | 113176.0 | unsat | unsat |
433165541 | qf_shls_entl/smallfoot-vc07.tptp.smt2 | 8317305 | ASTERIX | 20618 | default | 304295 | complete | 0.011327 | 0.0113659 | 113176.0 | unsat | unsat |
433165401 | qf_shls_entl/smallfoot-vc08.tptp.smt2 | 8317165 | ASTERIX | 20618 | default | 304295 | complete | 0.011533 | 0.0116079 | 113176.0 | unsat | unsat |
433165415 | qf_shls_entl/smallfoot-vc09.tptp.smt2 | 8317179 | ASTERIX | 20618 | default | 304295 | complete | 0.012223 | 0.012246 | 113176.0 | unsat | unsat |
433165596 | qf_shls_entl/smallfoot-vc10.tptp.smt2 | 8317360 | ASTERIX | 20618 | default | 304295 | complete | 0.011731 | 0.011749 | 113176.0 | unsat | unsat |
433165604 | qf_shls_entl/smallfoot-vc11.tptp.smt2 | 8317368 | ASTERIX | 20618 | default | 304295 | complete | 0.011891 | 0.011959 | 113176.0 | unsat | unsat |
433165610 | qf_shls_entl/smallfoot-vc12.tptp.smt2 | 8317374 | ASTERIX | 20618 | default | 304295 | complete | 0.012079 | 0.012124 | 113176.0 | unsat | unsat |
433165621 | qf_shls_entl/smallfoot-vc13.tptp.smt2 | 8317385 | ASTERIX | 20618 | default | 304295 | complete | 0.013615 | 0.0136859 | 113176.0 | unsat | unsat |
433165553 | qf_shls_entl/smallfoot-vc14.tptp.smt2 | 8317317 | ASTERIX | 20618 | default | 304295 | complete | 0.011535 | 0.0115679 | 113176.0 | unsat | unsat |
433165560 | qf_shls_entl/smallfoot-vc15.tptp.smt2 | 8317324 | ASTERIX | 20618 | default | 304295 | complete | 0.01158 | 0.0116611 | 113176.0 | unsat | unsat |
433165570 | qf_shls_entl/smallfoot-vc16.tptp.smt2 | 8317334 | ASTERIX | 20618 | default | 304295 | complete | 0.01212 | 0.0121691 | 113176.0 | unsat | unsat |
433165579 | qf_shls_entl/smallfoot-vc17.tptp.smt2 | 8317343 | ASTERIX | 20618 | default | 304295 | complete | 0.011933 | 0.011988 | 113176.0 | unsat | unsat |
433165663 | qf_shls_entl/smallfoot-vc18.tptp.smt2 | 8317427 | ASTERIX | 20618 | default | 304295 | complete | 0.012032 | 0.0120961 | 113176.0 | unsat | unsat |
433165656 | qf_shls_entl/smallfoot-vc19.tptp.smt2 | 8317420 | ASTERIX | 20618 | default | 304295 | complete | 0.011635 | 0.011698 | 113176.0 | unsat | unsat |
433165396 | qf_shls_entl/smallfoot-vc20.tptp.smt2 | 8317160 | ASTERIX | 20618 | default | 304295 | complete | 0.011506 | 0.011547 | 113176.0 | unsat | unsat |
433165404 | qf_shls_entl/smallfoot-vc21.tptp.smt2 | 8317168 | ASTERIX | 20618 | default | 304295 | complete | 0.011698 | 0.0117501 | 113176.0 | unsat | unsat |
433165418 | qf_shls_entl/smallfoot-vc22.tptp.smt2 | 8317182 | ASTERIX | 20618 | default | 304295 | complete | 0.011943 | 0.0119921 | 113176.0 | sat | sat |
433165427 | qf_shls_entl/smallfoot-vc23.tptp.smt2 | 8317191 | ASTERIX | 20618 | default | 304295 | complete | 0.011645 | 0.0117219 | 113176.0 | sat | sat |
433165445 | qf_shls_entl/smallfoot-vc24.tptp.smt2 | 8317209 | ASTERIX | 20618 | default | 304295 | complete | 0.011809 | 0.011872 | 113176.0 | unsat | unsat |
433165454 | qf_shls_entl/smallfoot-vc25.tptp.smt2 | 8317218 | ASTERIX | 20618 | default | 304295 | complete | 0.012033 | 0.012094 | 113176.0 | unsat | unsat |
433165462 | qf_shls_entl/smallfoot-vc26.tptp.smt2 | 8317226 | ASTERIX | 20618 | default | 304295 | complete | 0.011888 | 0.0119191 | 113176.0 | unsat | unsat |
433165475 | qf_shls_entl/smallfoot-vc27.tptp.smt2 | 8317239 | ASTERIX | 20618 | default | 304295 | complete | 0.011771 | 0.011787 | 113176.0 | unsat | unsat |
433165494 | qf_shls_entl/smallfoot-vc28.tptp.smt2 | 8317258 | ASTERIX | 20618 | default | 304295 | complete | 0.012217 | 0.012238 | 113176.0 | unsat | unsat |
433165485 | qf_shls_entl/smallfoot-vc29.tptp.smt2 | 8317249 | ASTERIX | 20618 | default | 304295 | complete | 0.011713 | 0.0117419 | 113176.0 | sat | sat |
433165667 | qf_shls_entl/smallfoot-vc30.tptp.smt2 | 8317431 | ASTERIX | 20618 | default | 304295 | complete | 0.01241 | 0.0124829 | 113176.0 | sat | sat |
433165658 | qf_shls_entl/smallfoot-vc31.tptp.smt2 | 8317422 | ASTERIX | 20618 | default | 304295 | complete | 0.012154 | 0.012187 | 113176.0 | sat | sat |
433165688 | qf_shls_entl/smallfoot-vc32.tptp.smt2 | 8317452 | ASTERIX | 20618 | default | 304295 | complete | 0.012085 | 0.0121559 | 113176.0 | sat | sat |
433165679 | qf_shls_entl/smallfoot-vc33.tptp.smt2 | 8317443 | ASTERIX | 20618 | default | 304295 | complete | 0.013898 | 0.013914 | 113176.0 | sat | sat |
433165633 | qf_shls_entl/smallfoot-vc34.tptp.smt2 | 8317397 | ASTERIX | 20618 | default | 304295 | complete | 0.012349 | 0.012379 | 113176.0 | unsat | unsat |
433165625 | qf_shls_entl/smallfoot-vc35.tptp.smt2 | 8317389 | ASTERIX | 20618 | default | 304295 | complete | 0.013715 | 0.0137939 | 113176.0 | sat | sat |
433165645 | qf_shls_entl/smallfoot-vc36.tptp.smt2 | 8317409 | ASTERIX | 20618 | default | 304295 | complete | 0.012122 | 0.0121681 | 113176.0 | unsat | unsat |
433165638 | qf_shls_entl/smallfoot-vc37.tptp.smt2 | 8317402 | ASTERIX | 20618 | default | 304295 | complete | 0.012311 | 0.0123549 | 113176.0 | sat | sat |
433165588 | qf_shls_entl/smallfoot-vc38.tptp.smt2 | 8317352 | ASTERIX | 20618 | default | 304295 | complete | 0.012528 | 0.0125549 | 113176.0 | unsat | unsat |
433165600 | qf_shls_entl/smallfoot-vc39.tptp.smt2 | 8317364 | ASTERIX | 20618 | default | 304295 | complete | 0.012413 | 0.012415 | 113176.0 | sat | sat |
433165652 | qf_shls_entl/smallfoot-vc40.tptp.smt2 | 8317416 | ASTERIX | 20618 | default | 304295 | complete | 0.012557 | 0.0126401 | 113176.0 | sat | sat |
433165644 | qf_shls_entl/smallfoot-vc41.tptp.smt2 | 8317408 | ASTERIX | 20618 | default | 304295 | complete | 0.012057 | 0.0121119 | 113176.0 | unsat | unsat |
433165635 | qf_shls_entl/smallfoot-vc42.tptp.smt2 | 8317399 | ASTERIX | 20618 | default | 304295 | complete | 0.013126 | 0.0143139 | 0.0 | unsat | unsat |
433165626 | qf_shls_entl/smallfoot-vc43.tptp.smt2 | 8317390 | ASTERIX | 20618 | default | 304295 | complete | 0.012458 | 0.0124909 | 113176.0 | sat | sat |
433165680 | qf_shls_entl/smallfoot-vc44.tptp.smt2 | 8317444 | ASTERIX | 20618 | default | 304295 | complete | 0.013355 | 0.0134061 | 113176.0 | unsat | unsat |
433165674 | qf_shls_entl/smallfoot-vc45.tptp.smt2 | 8317438 | ASTERIX | 20618 | default | 304295 | complete | 0.012176 | 0.0122041 | 113176.0 | unsat | unsat |
433165664 | qf_shls_entl/smallfoot-vc46.tptp.smt2 | 8317428 | ASTERIX | 20618 | default | 304295 | complete | 0.012111 | 0.012187 | 113176.0 | unsat | unsat |
433165655 | qf_shls_entl/smallfoot-vc47.tptp.smt2 | 8317419 | ASTERIX | 20618 | default | 304295 | complete | 0.011944 | 0.012014 | 113176.0 | unsat | unsat |
433165571 | qf_shls_entl/smallfoot-vc48.tptp.smt2 | 8317335 | ASTERIX | 20618 | default | 304295 | complete | 0.011972 | 0.016081 | 0.0 | unsat | unsat |
433165578 | qf_shls_entl/smallfoot-vc49.tptp.smt2 | 8317342 | ASTERIX | 20618 | default | 304295 | complete | 0.011727 | 0.0117541 | 113176.0 | sat | sat |
433165460 | qf_shls_entl/smallfoot-vc50.tptp.smt2 | 8317224 | ASTERIX | 20618 | default | 304295 | complete | 0.01252 | 0.0203781 | 0.0 | unsat | unsat |
433165472 | qf_shls_entl/smallfoot-vc51.tptp.smt2 | 8317236 | ASTERIX | 20618 | default | 304295 | complete | 0.011994 | 0.0120281 | 113176.0 | unsat | unsat |
433165435 | qf_shls_entl/smallfoot-vc52.tptp.smt2 | 8317199 | ASTERIX | 20618 | default | 304295 | complete | 0.012167 | 0.012213 | 113176.0 | unsat | unsat |
433165448 | qf_shls_entl/smallfoot-vc53.tptp.smt2 | 8317212 | ASTERIX | 20618 | default | 304295 | complete | 0.011937 | 0.012005 | 113176.0 | unsat | unsat |
433165420 | qf_shls_entl/smallfoot-vc54.tptp.smt2 | 8317184 | ASTERIX | 20618 | default | 304295 | complete | 0.012 | 0.0120341 | 113176.0 | sat | sat |
433165429 | qf_shls_entl/smallfoot-vc55.tptp.smt2 | 8317193 | ASTERIX | 20618 | default | 304295 | complete | 0.01386 | 0.0178641 | 0.0 | unsat | unsat |
433165403 | qf_shls_entl/smallfoot-vc56.tptp.smt2 | 8317167 | ASTERIX | 20618 | default | 304295 | complete | 0.011656 | 0.011713 | 113176.0 | sat | sat |
433165414 | qf_shls_entl/smallfoot-vc57.tptp.smt2 | 8317178 | ASTERIX | 20618 | default | 304295 | complete | 0.011809 | 0.011867 | 113176.0 | sat | sat |
433165549 | qf_shls_entl/smallfoot-vc58.tptp.smt2 | 8317313 | ASTERIX | 20618 | default | 304295 | complete | 0.01206 | 0.0121009 | 113176.0 | unsat | unsat |
433165539 | qf_shls_entl/smallfoot-vc59.tptp.smt2 | 8317303 | ASTERIX | 20618 | default | 304295 | complete | 0.011909 | 0.011943 | 113176.0 | unsat | unsat |
433165574 | qf_shls_entl/smallfoot-vc60.tptp.smt2 | 8317338 | ASTERIX | 20618 | default | 304295 | complete | 0.012816 | 0.0199811 | 0.0 | unsat | unsat |
433165583 | qf_shls_entl/smallfoot-vc61.tptp.smt2 | 8317347 | ASTERIX | 20618 | default | 304295 | complete | 0.011974 | 0.012025 | 113176.0 | sat | sat |
433165559 | qf_shls_entl/smallfoot-vc62.tptp.smt2 | 8317323 | ASTERIX | 20618 | default | 304295 | complete | 0.013156 | 0.0132069 | 113176.0 | unsat | unsat |
433165565 | qf_shls_entl/smallfoot-vc63.tptp.smt2 | 8317329 | ASTERIX | 20618 | default | 304295 | complete | 0.013522 | 0.013556 | 113176.0 | unsat | unsat |
433165606 | qf_shls_entl/smallfoot-vc64.tptp.smt2 | 8317370 | ASTERIX | 20618 | default | 304295 | complete | 0.011666 | 0.0117299 | 113176.0 | unsat | unsat |
433165619 | qf_shls_entl/smallfoot-vc65.tptp.smt2 | 8317383 | ASTERIX | 20618 | default | 304295 | complete | 0.014059 | 0.014175 | 113176.0 | unsat | unsat |
433165591 | qf_shls_entl/smallfoot-vc66.tptp.smt2 | 8317355 | ASTERIX | 20618 | default | 304295 | complete | 0.013154 | 0.013311 | 113176.0 | unsat | unsat |
433165598 | qf_shls_entl/smallfoot-vc67.tptp.smt2 | 8317362 | ASTERIX | 20618 | default | 304295 | complete | 0.01215 | 0.0121781 | 113176.0 | unsat | unsat |
433165648 | qf_shls_entl/smallfoot-vc68.tptp.smt2 | 8317412 | ASTERIX | 20618 | default | 304295 | complete | 0.011626 | 0.0116639 | 113176.0 | sat | sat |
433165636 | qf_shls_entl/smallfoot-vc69.tptp.smt2 | 8317400 | ASTERIX | 20618 | default | 304295 | complete | 0.011959 | 0.0120401 | 113176.0 | sat | sat |
433165543 | qf_shls_entl/smallfoot-vc70.tptp.smt2 | 8317307 | ASTERIX | 20618 | default | 304295 | complete | 0.012127 | 0.01218 | 113176.0 | sat | sat |
433165535 | qf_shls_entl/smallfoot-vc71.tptp.smt2 | 8317299 | ASTERIX | 20618 | default | 304295 | complete | 0.012149 | 0.0122289 | 113176.0 | unsat | unsat |
433165526 | qf_shls_entl/smallfoot-vc72.tptp.smt2 | 8317290 | ASTERIX | 20618 | default | 304295 | complete | 0.012312 | 0.0123489 | 113176.0 | sat | sat |
433165518 | qf_shls_entl/smallfoot-vc73.tptp.smt2 | 8317282 | ASTERIX | 20618 | default | 304295 | complete | 0.01233 | 0.0124001 | 113176.0 | sat | sat |
433165515 | qf_shls_entl/smallfoot-vc74.tptp.smt2 | 8317279 | ASTERIX | 20618 | default | 304295 | complete | 0.012314 | 0.0123479 | 113176.0 | unsat | unsat |
433165508 | qf_shls_entl/smallfoot-vc75.tptp.smt2 | 8317272 | ASTERIX | 20618 | default | 304295 | complete | 0.011839 | 0.011878 | 113176.0 | unsat | unsat |
433165495 | qf_shls_entl/smallfoot-vc76.tptp.smt2 | 8317259 | ASTERIX | 20618 | default | 304295 | complete | 0.013463 | 0.0135429 | 113176.0 | sat | sat |
433165483 | qf_shls_entl/smallfoot-vc77.tptp.smt2 | 8317247 | ASTERIX | 20618 | default | 304295 | complete | 0.011476 | 0.0115429 | 113176.0 | unsat | unsat |