430495219 | qf_shls_entl/bolognesa-10-e01.tptp.smt2 | 8317378 | SLEEK | 20564 | default | 304221 | complete | 0.071265 | 0.0665791 | 113176.0 | sat | sat |
430495210 | qf_shls_entl/bolognesa-10-e02.tptp.smt2 | 8317369 | SLEEK | 20564 | default | 304221 | complete | 0.071685 | 0.067094 | 113176.0 | unsat | unsat |
430495200 | qf_shls_entl/bolognesa-10-e03.tptp.smt2 | 8317359 | SLEEK | 20564 | default | 304221 | complete | 0.070222 | 0.065646 | 113176.0 | unsat | unsat |
430495182 | qf_shls_entl/bolognesa-10-e04.tptp.smt2 | 8317341 | SLEEK | 20564 | default | 304221 | complete | 0.071133 | 0.066578 | 113176.0 | sat | sat |
430495177 | qf_shls_entl/bolognesa-10-e05.tptp.smt2 | 8317336 | SLEEK | 20564 | default | 304221 | complete | 0.073952 | 0.0828219 | 113176.0 | sat | sat |
430495168 | qf_shls_entl/bolognesa-10-e06.tptp.smt2 | 8317327 | SLEEK | 20564 | default | 304221 | complete | 0.070191 | 0.06568 | 113176.0 | sat | sat |
430495157 | qf_shls_entl/bolognesa-10-e07.tptp.smt2 | 8317316 | SLEEK | 20564 | default | 304221 | complete | 0.069687 | 0.0652661 | 113176.0 | sat | sat |
430495278 | qf_shls_entl/bolognesa-10-e08.tptp.smt2 | 8317437 | SLEEK | 20564 | default | 304221 | complete | 0.068173 | 0.0637011 | 113176.0 | sat | sat |
430495286 | qf_shls_entl/bolognesa-10-e09.tptp.smt2 | 8317445 | SLEEK | 20564 | default | 304221 | complete | 0.07012 | 0.0655539 | 113176.0 | sat | sat |
430495103 | qf_shls_entl/bolognesa-10-e10.tptp.smt2 | 8317262 | SLEEK | 20564 | default | 304221 | complete | 0.069648 | 0.065065 | 113176.0 | unsat | unsat |
430495092 | qf_shls_entl/bolognesa-11-e01.tptp.smt2 | 8317251 | SLEEK | 20564 | default | 304221 | complete | 0.068375 | 0.063922 | 113176.0 | unsat | unsat |
430495122 | qf_shls_entl/bolognesa-11-e02.tptp.smt2 | 8317281 | SLEEK | 20564 | default | 304221 | complete | 0.070246 | 0.0656761 | 113176.0 | unsat | unsat |
430495111 | qf_shls_entl/bolognesa-11-e03.tptp.smt2 | 8317270 | SLEEK | 20564 | default | 304221 | complete | 0.072363 | 0.068255 | 113176.0 | unsat | unsat |
430495130 | qf_shls_entl/bolognesa-11-e04.tptp.smt2 | 8317289 | SLEEK | 20564 | default | 304221 | complete | 0.070041 | 0.0660669 | 113176.0 | unsat | unsat |
430495125 | qf_shls_entl/bolognesa-11-e05.tptp.smt2 | 8317284 | SLEEK | 20564 | default | 304221 | complete | 0.071842 | 0.0672271 | 113176.0 | sat | sat |
430495150 | qf_shls_entl/bolognesa-11-e06.tptp.smt2 | 8317309 | SLEEK | 20564 | default | 304221 | complete | 0.073681 | 0.0691211 | 113176.0 | sat | sat |
430495139 | qf_shls_entl/bolognesa-11-e07.tptp.smt2 | 8317298 | SLEEK | 20564 | default | 304221 | complete | 0.06766 | 0.063299 | 113176.0 | unsat | unsat |
430495000 | qf_shls_entl/bolognesa-11-e08.tptp.smt2 | 8317159 | SLEEK | 20564 | default | 304221 | complete | 0.067662 | 0.0632481 | 113176.0 | unsat | unsat |
430495010 | qf_shls_entl/bolognesa-11-e09.tptp.smt2 | 8317169 | SLEEK | 20564 | default | 304221 | complete | 0.068934 | 0.064354 | 113176.0 | unsat | unsat |
430495192 | qf_shls_entl/bolognesa-11-e10.tptp.smt2 | 8317351 | SLEEK | 20564 | default | 304221 | complete | 0.070949 | 0.0663721 | 113176.0 | sat | sat |
430495234 | qf_shls_entl/bolognesa-12-e01.tptp.smt2 | 8317393 | SLEEK | 20564 | default | 304221 | complete | 0.071001 | 0.0666251 | 113176.0 | unsat | unsat |
430495256 | qf_shls_entl/bolognesa-12-e02.tptp.smt2 | 8317415 | SLEEK | 20564 | default | 304221 | complete | 0.072136 | 0.067522 | 113176.0 | sat | sat |
430495248 | qf_shls_entl/bolognesa-12-e03.tptp.smt2 | 8317407 | SLEEK | 20564 | default | 304221 | complete | 0.073572 | 0.068846 | 113176.0 | sat | sat |
430495267 | qf_shls_entl/bolognesa-12-e04.tptp.smt2 | 8317426 | SLEEK | 20564 | default | 304221 | complete | 0.070987 | 0.06641 | 113176.0 | sat | sat |
430495258 | qf_shls_entl/bolognesa-12-e05.tptp.smt2 | 8317417 | SLEEK | 20564 | default | 304221 | complete | 0.068917 | 0.064527 | 113176.0 | unsat | unsat |
430495289 | qf_shls_entl/bolognesa-12-e06.tptp.smt2 | 8317448 | SLEEK | 20564 | default | 304221 | complete | 0.070062 | 0.0655549 | 113176.0 | unsat | unsat |
430495280 | qf_shls_entl/bolognesa-12-e07.tptp.smt2 | 8317439 | SLEEK | 20564 | default | 304221 | complete | 0.073334 | 0.068786 | 113176.0 | sat | sat |
430495159 | qf_shls_entl/bolognesa-12-e08.tptp.smt2 | 8317318 | SLEEK | 20564 | default | 304221 | complete | 0.072971 | 0.0682759 | 113176.0 | unsat | unsat |
430495169 | qf_shls_entl/bolognesa-12-e09.tptp.smt2 | 8317328 | SLEEK | 20564 | default | 304221 | complete | 0.076148 | 0.07138 | 113176.0 | unsat | unsat |
430495043 | qf_shls_entl/bolognesa-12-e10.tptp.smt2 | 8317202 | SLEEK | 20564 | default | 304221 | complete | 0.073732 | 0.069056 | 113176.0 | unsat | unsat |
430495072 | qf_shls_entl/bolognesa-13-e01.tptp.smt2 | 8317231 | SLEEK | 20564 | default | 304221 | complete | 0.073693 | 0.069142 | 113176.0 | unsat | unsat |
430495058 | qf_shls_entl/bolognesa-13-e02.tptp.smt2 | 8317217 | SLEEK | 20564 | default | 304221 | complete | 0.073944 | 0.069273 | 113176.0 | sat | sat |
430495047 | qf_shls_entl/bolognesa-13-e03.tptp.smt2 | 8317206 | SLEEK | 20564 | default | 304221 | complete | 0.074763 | 0.0699591 | 113176.0 | unsat | unsat |
430495029 | qf_shls_entl/bolognesa-13-e04.tptp.smt2 | 8317188 | SLEEK | 20564 | default | 304221 | complete | 0.072782 | 0.068079 | 113176.0 | sat | sat |
430495022 | qf_shls_entl/bolognesa-13-e05.tptp.smt2 | 8317181 | SLEEK | 20564 | default | 304221 | complete | 0.071801 | 0.067205 | 113176.0 | sat | sat |
430495015 | qf_shls_entl/bolognesa-13-e06.tptp.smt2 | 8317174 | SLEEK | 20564 | default | 304221 | complete | 0.073181 | 0.0684621 | 113176.0 | sat | sat |
430495002 | qf_shls_entl/bolognesa-13-e07.tptp.smt2 | 8317161 | SLEEK | 20564 | default | 304221 | complete | 0.074654 | 0.0699491 | 113176.0 | unsat | unsat |
430495141 | qf_shls_entl/bolognesa-13-e08.tptp.smt2 | 8317300 | SLEEK | 20564 | default | 304221 | complete | 0.071471 | 0.067004 | 113176.0 | unsat | unsat |
430495151 | qf_shls_entl/bolognesa-13-e09.tptp.smt2 | 8317310 | SLEEK | 20564 | default | 304221 | complete | 0.068531 | 0.064016 | 113176.0 | sat | sat |
430495244 | qf_shls_entl/bolognesa-13-e10.tptp.smt2 | 8317403 | SLEEK | 20564 | default | 304221 | complete | 0.074485 | 0.069702 | 113176.0 | sat | sat |
430495106 | qf_shls_entl/bolognesa-14-e01.tptp.smt2 | 8317265 | SLEEK | 20564 | default | 304221 | complete | 0.076032 | 0.0711469 | 113176.0 | unsat | unsat |
430495098 | qf_shls_entl/bolognesa-14-e02.tptp.smt2 | 8317257 | SLEEK | 20564 | default | 304221 | complete | 0.070317 | 0.0657529 | 113176.0 | unsat | unsat |
430495083 | qf_shls_entl/bolognesa-14-e03.tptp.smt2 | 8317242 | SLEEK | 20564 | default | 304221 | complete | 0.07816 | 0.0739039 | 113176.0 | unsat | unsat |
430495152 | qf_shls_entl/bolognesa-14-e04.tptp.smt2 | 8317311 | SLEEK | 20564 | default | 304221 | complete | 0.070501 | 0.066 | 113176.0 | unsat | unsat |
430495145 | qf_shls_entl/bolognesa-14-e05.tptp.smt2 | 8317304 | SLEEK | 20564 | default | 304221 | complete | 0.076182 | 0.071413 | 113176.0 | sat | sat |
430495137 | qf_shls_entl/bolognesa-14-e06.tptp.smt2 | 8317296 | SLEEK | 20564 | default | 304221 | complete | 0.06925 | 0.064788 | 113176.0 | unsat | unsat |
430495127 | qf_shls_entl/bolognesa-14-e07.tptp.smt2 | 8317286 | SLEEK | 20564 | default | 304221 | complete | 0.07075 | 0.0662269 | 113176.0 | unsat | unsat |
430495027 | qf_shls_entl/bolognesa-14-e08.tptp.smt2 | 8317186 | SLEEK | 20564 | default | 304221 | complete | 0.076529 | 0.0721571 | 113176.0 | unsat | unsat |
430495033 | qf_shls_entl/bolognesa-14-e09.tptp.smt2 | 8317192 | SLEEK | 20564 | default | 304221 | complete | 0.072539 | 0.0679001 | 113176.0 | unsat | unsat |
430495216 | qf_shls_entl/bolognesa-14-e10.tptp.smt2 | 8317375 | SLEEK | 20564 | default | 304221 | complete | 0.078172 | 0.0733781 | 113176.0 | sat | sat |
430495197 | qf_shls_entl/bolognesa-15-e01.tptp.smt2 | 8317356 | SLEEK | 20564 | default | 304221 | complete | 0.072551 | 0.0679629 | 113176.0 | unsat | unsat |
430495223 | qf_shls_entl/bolognesa-15-e02.tptp.smt2 | 8317382 | SLEEK | 20564 | default | 304221 | complete | 0.074941 | 0.070308 | 113176.0 | unsat | unsat |
430495212 | qf_shls_entl/bolognesa-15-e03.tptp.smt2 | 8317371 | SLEEK | 20564 | default | 304221 | complete | 0.076296 | 0.0720271 | 113176.0 | sat | sat |
430495171 | qf_shls_entl/bolognesa-15-e04.tptp.smt2 | 8317330 | SLEEK | 20564 | default | 304221 | complete | 0.073661 | 0.0690081 | 113176.0 | unsat | unsat |
430495163 | qf_shls_entl/bolognesa-15-e05.tptp.smt2 | 8317322 | SLEEK | 20564 | default | 304221 | complete | 0.073739 | 0.0691071 | 113176.0 | unsat | unsat |
430495190 | qf_shls_entl/bolognesa-15-e06.tptp.smt2 | 8317349 | SLEEK | 20564 | default | 304221 | complete | 0.078338 | 0.073479 | 113176.0 | unsat | unsat |
430495178 | qf_shls_entl/bolognesa-15-e07.tptp.smt2 | 8317337 | SLEEK | 20564 | default | 304221 | complete | 0.073514 | 0.0688499 | 113176.0 | unsat | unsat |
430495265 | qf_shls_entl/bolognesa-15-e08.tptp.smt2 | 8317424 | SLEEK | 20564 | default | 304221 | complete | 0.075053 | 0.070181 | 113176.0 | sat | sat |
430495270 | qf_shls_entl/bolognesa-15-e09.tptp.smt2 | 8317429 | SLEEK | 20564 | default | 304221 | complete | 0.078076 | 0.073791 | 113176.0 | sat | sat |
430495087 | qf_shls_entl/bolognesa-15-e10.tptp.smt2 | 8317246 | SLEEK | 20564 | default | 304221 | complete | 0.072413 | 0.0678891 | 113176.0 | unsat | unsat |
430495045 | qf_shls_entl/bolognesa-16-e01.tptp.smt2 | 8317204 | SLEEK | 20564 | default | 304221 | complete | 0.077507 | 0.0726259 | 113176.0 | unsat | unsat |
430495075 | qf_shls_entl/bolognesa-16-e02.tptp.smt2 | 8317234 | SLEEK | 20564 | default | 304221 | complete | 0.07304 | 0.0685511 | 113176.0 | sat | sat |
430495062 | qf_shls_entl/bolognesa-16-e03.tptp.smt2 | 8317221 | SLEEK | 20564 | default | 304221 | complete | 0.074315 | 0.0697171 | 113176.0 | sat | sat |
430495016 | qf_shls_entl/bolognesa-16-e04.tptp.smt2 | 8317175 | SLEEK | 20564 | default | 304221 | complete | 0.075326 | 0.0705831 | 113176.0 | sat | sat |
430495004 | qf_shls_entl/bolognesa-16-e05.tptp.smt2 | 8317163 | SLEEK | 20564 | default | 304221 | complete | 0.076276 | 0.0714749 | 113176.0 | unsat | unsat |
430495039 | qf_shls_entl/bolognesa-16-e06.tptp.smt2 | 8317198 | SLEEK | 20564 | default | 304221 | complete | 0.074112 | 0.069396 | 113176.0 | sat | sat |
430495028 | qf_shls_entl/bolognesa-16-e07.tptp.smt2 | 8317187 | SLEEK | 20564 | default | 304221 | complete | 0.074129 | 0.0694 | 113176.0 | unsat | unsat |
430495129 | qf_shls_entl/bolognesa-16-e08.tptp.smt2 | 8317288 | SLEEK | 20564 | default | 304221 | complete | 0.075582 | 0.0709361 | 113176.0 | unsat | unsat |
430495138 | qf_shls_entl/bolognesa-16-e09.tptp.smt2 | 8317297 | SLEEK | 20564 | default | 304221 | complete | 0.074675 | 0.070447 | 113176.0 | unsat | unsat |
430495233 | qf_shls_entl/bolognesa-16-e10.tptp.smt2 | 8317392 | SLEEK | 20564 | default | 304221 | complete | 0.074865 | 0.070121 | 113176.0 | sat | sat |
430495247 | qf_shls_entl/bolognesa-17-e01.tptp.smt2 | 8317406 | SLEEK | 20564 | default | 304221 | complete | 0.073285 | 0.0688601 | 113176.0 | unsat | unsat |
430495236 | qf_shls_entl/bolognesa-17-e02.tptp.smt2 | 8317395 | SLEEK | 20564 | default | 304221 | complete | 0.076963 | 0.072243 | 113176.0 | sat | sat |
430495227 | qf_shls_entl/bolognesa-17-e03.tptp.smt2 | 8317386 | SLEEK | 20564 | default | 304221 | complete | 0.075294 | 0.070593 | 113176.0 | sat | sat |
430495291 | qf_shls_entl/bolognesa-17-e04.tptp.smt2 | 8317450 | SLEEK | 20564 | default | 304221 | complete | 0.076767 | 0.0724981 | 113176.0 | unsat | unsat |
430495283 | qf_shls_entl/bolognesa-17-e05.tptp.smt2 | 8317442 | SLEEK | 20564 | default | 304221 | complete | 0.074205 | 0.0695411 | 113176.0 | unsat | unsat |
430495275 | qf_shls_entl/bolognesa-17-e06.tptp.smt2 | 8317434 | SLEEK | 20564 | default | 304221 | complete | 0.074684 | 0.0700089 | 113176.0 | unsat | unsat |
430495266 | qf_shls_entl/bolognesa-17-e07.tptp.smt2 | 8317425 | SLEEK | 20564 | default | 304221 | complete | 0.072309 | 0.067805 | 113176.0 | unsat | unsat |
430495181 | qf_shls_entl/bolognesa-17-e08.tptp.smt2 | 8317340 | SLEEK | 20564 | default | 304221 | complete | 0.074759 | 0.0701001 | 113176.0 | sat | sat |
430495191 | qf_shls_entl/bolognesa-17-e09.tptp.smt2 | 8317350 | SLEEK | 20564 | default | 304221 | complete | 0.078016 | 0.073186 | 113176.0 | unsat | unsat |
430495070 | qf_shls_entl/bolognesa-17-e10.tptp.smt2 | 8317229 | SLEEK | 20564 | default | 304221 | complete | 0.073886 | 0.0693791 | 113176.0 | unsat | unsat |
430495276 | qf_shls_entl/bolognesa-18-e01.tptp.smt2 | 8317435 | SLEEK | 20564 | default | 304221 | complete | 0.075188 | 0.070626 | 113176.0 | unsat | unsat |
430495282 | qf_shls_entl/bolognesa-18-e02.tptp.smt2 | 8317441 | SLEEK | 20564 | default | 304221 | complete | 0.0754 | 0.070907 | 113176.0 | sat | sat |
430495290 | qf_shls_entl/bolognesa-18-e03.tptp.smt2 | 8317449 | SLEEK | 20564 | default | 304221 | complete | 0.079185 | 0.0748211 | 113176.0 | sat | sat |
430495228 | qf_shls_entl/bolognesa-18-e04.tptp.smt2 | 8317387 | SLEEK | 20564 | default | 304221 | complete | 0.074095 | 0.0694741 | 113176.0 | sat | sat |
430495237 | qf_shls_entl/bolognesa-18-e05.tptp.smt2 | 8317396 | SLEEK | 20564 | default | 304221 | complete | 0.080101 | 0.075418 | 113176.0 | sat | sat |
430495246 | qf_shls_entl/bolognesa-18-e06.tptp.smt2 | 8317405 | SLEEK | 20564 | default | 304221 | complete | 0.072948 | 0.0682901 | 113176.0 | sat | sat |
430495254 | qf_shls_entl/bolognesa-18-e07.tptp.smt2 | 8317413 | SLEEK | 20564 | default | 304221 | complete | 0.07553 | 0.0707569 | 113176.0 | sat | sat |
430495207 | qf_shls_entl/bolognesa-18-e08.tptp.smt2 | 8317366 | SLEEK | 20564 | default | 304221 | complete | 0.079715 | 0.0748269 | 113176.0 | sat | sat |
430495198 | qf_shls_entl/bolognesa-18-e09.tptp.smt2 | 8317357 | SLEEK | 20564 | default | 304221 | complete | 0.076456 | 0.071795 | 113176.0 | sat | sat |
430495012 | qf_shls_entl/bolognesa-18-e10.tptp.smt2 | 8317171 | SLEEK | 20564 | default | 304221 | complete | 0.073462 | 0.068736 | 113176.0 | unsat | unsat |
430495038 | qf_shls_entl/bolognesa-19-e01.tptp.smt2 | 8317197 | SLEEK | 20564 | default | 304221 | complete | 0.078776 | 0.074029 | 113176.0 | sat | sat |
430495005 | qf_shls_entl/bolognesa-19-e02.tptp.smt2 | 8317164 | SLEEK | 20564 | default | 304221 | complete | 0.075933 | 0.071371 | 113176.0 | sat | sat |
430495017 | qf_shls_entl/bolognesa-19-e03.tptp.smt2 | 8317176 | SLEEK | 20564 | default | 304221 | complete | 0.079757 | 0.074833 | 113176.0 | sat | sat |
430495061 | qf_shls_entl/bolognesa-19-e04.tptp.smt2 | 8317220 | SLEEK | 20564 | default | 304221 | complete | 0.071647 | 0.0671581 | 113176.0 | sat | sat |
430495074 | qf_shls_entl/bolognesa-19-e05.tptp.smt2 | 8317233 | SLEEK | 20564 | default | 304221 | complete | 0.076047 | 0.0713841 | 113176.0 | unsat | unsat |
430495046 | qf_shls_entl/bolognesa-19-e06.tptp.smt2 | 8317205 | SLEEK | 20564 | default | 304221 | complete | 0.075808 | 0.070968 | 113176.0 | unsat | unsat |
430495055 | qf_shls_entl/bolognesa-19-e07.tptp.smt2 | 8317214 | SLEEK | 20564 | default | 304221 | complete | 0.079092 | 0.074241 | 113176.0 | sat | sat |
430495118 | qf_shls_entl/bolognesa-19-e08.tptp.smt2 | 8317277 | SLEEK | 20564 | default | 304221 | complete | 0.080692 | 0.075647 | 113176.0 | unsat | unsat |
430495109 | qf_shls_entl/bolognesa-19-e09.tptp.smt2 | 8317268 | SLEEK | 20564 | default | 304221 | complete | 0.077231 | 0.0724289 | 113176.0 | sat | sat |
430495287 | qf_shls_entl/bolognesa-19-e10.tptp.smt2 | 8317446 | SLEEK | 20564 | default | 304221 | complete | 0.074306 | 0.0697321 | 113176.0 | unsat | unsat |
430495007 | qf_shls_entl/bolognesa-20-e01.tptp.smt2 | 8317166 | SLEEK | 20564 | default | 304221 | complete | 0.079604 | 0.0748529 | 113176.0 | sat | sat |
430495035 | qf_shls_entl/bolognesa-20-e02.tptp.smt2 | 8317194 | SLEEK | 20564 | default | 304221 | complete | 0.075297 | 0.0706301 | 113176.0 | sat | sat |
430495026 | qf_shls_entl/bolognesa-20-e03.tptp.smt2 | 8317185 | SLEEK | 20564 | default | 304221 | complete | 0.079796 | 0.0749721 | 113176.0 | sat | sat |
430495054 | qf_shls_entl/bolognesa-20-e04.tptp.smt2 | 8317213 | SLEEK | 20564 | default | 304221 | complete | 0.078611 | 0.073599 | 113176.0 | sat | sat |
430495041 | qf_shls_entl/bolognesa-20-e05.tptp.smt2 | 8317200 | SLEEK | 20564 | default | 304221 | complete | 0.076885 | 0.0723019 | 113176.0 | sat | sat |
430495076 | qf_shls_entl/bolognesa-20-e06.tptp.smt2 | 8317235 | SLEEK | 20564 | default | 304221 | complete | 0.076762 | 0.0721399 | 113176.0 | unsat | unsat |
430495064 | qf_shls_entl/bolognesa-20-e07.tptp.smt2 | 8317223 | SLEEK | 20564 | default | 304221 | complete | 0.0728 | 0.0681189 | 113176.0 | unsat | unsat |
430495084 | qf_shls_entl/bolognesa-20-e08.tptp.smt2 | 8317243 | SLEEK | 20564 | default | 304221 | complete | 0.079565 | 0.0753431 | 113176.0 | unsat | unsat |
430495097 | qf_shls_entl/bolognesa-20-e09.tptp.smt2 | 8317256 | SLEEK | 20564 | default | 304221 | complete | 0.078875 | 0.0739759 | 113176.0 | sat | sat |
430495259 | qf_shls_entl/bolognesa-20-e10.tptp.smt2 | 8317418 | SLEEK | 20564 | default | 304221 | complete | 0.074079 | 0.0694259 | 113176.0 | unsat | unsat |
430495013 | qf_shls_entl/clones-01-e01.tptp.smt2 | 8317172 | SLEEK | 20564 | default | 304221 | complete | 0.066793 | 0.062335 | 113176.0 | unsat | unsat |
430495021 | qf_shls_entl/clones-01-e02.tptp.smt2 | 8317180 | SLEEK | 20564 | default | 304221 | complete | 0.066806 | 0.0626739 | 113176.0 | unsat | unsat |
430495030 | qf_shls_entl/clones-01-e03.tptp.smt2 | 8317189 | SLEEK | 20564 | default | 304221 | complete | 0.065916 | 0.061928 | 113176.0 | unsat | unsat |
430495048 | qf_shls_entl/clones-01-e04.tptp.smt2 | 8317207 | SLEEK | 20564 | default | 304221 | complete | 0.067307 | 0.062817 | 113176.0 | unsat | unsat |
430495057 | qf_shls_entl/clones-01-e05.tptp.smt2 | 8317216 | SLEEK | 20564 | default | 304221 | complete | 0.070129 | 0.065699 | 113176.0 | unsat | unsat |
430495071 | qf_shls_entl/clones-01-e06.tptp.smt2 | 8317230 | SLEEK | 20564 | default | 304221 | complete | 0.06638 | 0.0620581 | 113176.0 | unsat | unsat |
430495081 | qf_shls_entl/clones-01-e07.tptp.smt2 | 8317240 | SLEEK | 20564 | default | 304221 | complete | 0.087492 | 0.0826509 | 113176.0 | sat | sat |
430495102 | qf_shls_entl/clones-01-e08.tptp.smt2 | 8317261 | SLEEK | 20564 | default | 304221 | complete | 0.074894 | 0.0700161 | 113176.0 | sat | sat |
430495094 | qf_shls_entl/clones-01-e09.tptp.smt2 | 8317253 | SLEEK | 20564 | default | 304221 | complete | 0.085803 | 0.0807439 | 113176.0 | sat | sat |
430495274 | qf_shls_entl/clones-01-e10.tptp.smt2 | 8317433 | SLEEK | 20564 | default | 304221 | complete | 0.080988 | 0.0763629 | 113176.0 | sat | sat |
430495166 | qf_shls_entl/clones-02-e01.tptp.smt2 | 8317325 | SLEEK | 20564 | default | 304221 | complete | 0.067619 | 0.0635881 | 113176.0 | unsat | unsat |
430495174 | qf_shls_entl/clones-02-e02.tptp.smt2 | 8317333 | SLEEK | 20564 | default | 304221 | complete | 0.066876 | 0.062994 | 113176.0 | unsat | unsat |
430495185 | qf_shls_entl/clones-02-e03.tptp.smt2 | 8317344 | SLEEK | 20564 | default | 304221 | complete | 0.070053 | 0.0659781 | 113176.0 | unsat | unsat |
430495202 | qf_shls_entl/clones-02-e04.tptp.smt2 | 8317361 | SLEEK | 20564 | default | 304221 | complete | 0.066915 | 0.0629689 | 113176.0 | unsat | unsat |
430495208 | qf_shls_entl/clones-02-e05.tptp.smt2 | 8317367 | SLEEK | 20564 | default | 304221 | complete | 0.067083 | 0.062643 | 113176.0 | unsat | unsat |
430495217 | qf_shls_entl/clones-02-e06.tptp.smt2 | 8317376 | SLEEK | 20564 | default | 304221 | complete | 0.065355 | 0.0610061 | 113176.0 | unsat | unsat |
430495225 | qf_shls_entl/clones-02-e07.tptp.smt2 | 8317384 | SLEEK | 20564 | default | 304221 | complete | 0.07062 | 0.0672789 | 113176.0 | sat | sat |
430495239 | qf_shls_entl/clones-02-e08.tptp.smt2 | 8317398 | SLEEK | 20564 | default | 304221 | complete | 0.069343 | 0.064735 | 113176.0 | sat | sat |
430495232 | qf_shls_entl/clones-02-e09.tptp.smt2 | 8317391 | SLEEK | 20564 | default | 304221 | complete | 0.069525 | 0.0651809 | 113176.0 | sat | sat |
430495135 | qf_shls_entl/clones-02-e10.tptp.smt2 | 8317294 | SLEEK | 20564 | default | 304221 | complete | 0.067603 | 0.0634881 | 113176.0 | sat | sat |
430495147 | qf_shls_entl/clones-03-e01.tptp.smt2 | 8317306 | SLEEK | 20564 | default | 304221 | complete | 0.067234 | 0.063133 | 113176.0 | unsat | unsat |
430495124 | qf_shls_entl/clones-03-e02.tptp.smt2 | 8317283 | SLEEK | 20564 | default | 304221 | complete | 0.067003 | 0.063007 | 113176.0 | unsat | unsat |
430495132 | qf_shls_entl/clones-03-e03.tptp.smt2 | 8317291 | SLEEK | 20564 | default | 304221 | complete | 0.06884 | 0.0647891 | 113176.0 | unsat | unsat |
430495112 | qf_shls_entl/clones-03-e04.tptp.smt2 | 8317271 | SLEEK | 20564 | default | 304221 | complete | 0.067668 | 0.063809 | 113176.0 | unsat | unsat |
430495119 | qf_shls_entl/clones-03-e05.tptp.smt2 | 8317278 | SLEEK | 20564 | default | 304221 | complete | 0.067414 | 0.063523 | 113176.0 | unsat | unsat |
430495089 | qf_shls_entl/clones-03-e06.tptp.smt2 | 8317248 | SLEEK | 20564 | default | 304221 | complete | 0.066971 | 0.062508 | 113176.0 | unsat | unsat |
430495101 | qf_shls_entl/clones-03-e07.tptp.smt2 | 8317260 | SLEEK | 20564 | default | 304221 | complete | 0.0708 | 0.066144 | 113176.0 | sat | sat |
430495079 | qf_shls_entl/clones-03-e08.tptp.smt2 | 8317238 | SLEEK | 20564 | default | 304221 | complete | 0.073727 | 0.069583 | 113176.0 | sat | sat |
430495069 | qf_shls_entl/clones-03-e09.tptp.smt2 | 8317228 | SLEEK | 20564 | default | 304221 | complete | 0.07278 | 0.0680481 | 113176.0 | sat | sat |
430495189 | qf_shls_entl/clones-03-e10.tptp.smt2 | 8317348 | SLEEK | 20564 | default | 304221 | complete | 0.070695 | 0.066122 | 113176.0 | sat | sat |
430495037 | qf_shls_entl/clones-04-e01.tptp.smt2 | 8317196 | SLEEK | 20564 | default | 304221 | complete | 0.07033 | 0.0664799 | 113176.0 | unsat | unsat |
430495003 | qf_shls_entl/clones-04-e02.tptp.smt2 | 8317162 | SLEEK | 20564 | default | 304221 | complete | 0.068282 | 0.064244 | 113176.0 | unsat | unsat |
430495018 | qf_shls_entl/clones-04-e03.tptp.smt2 | 8317177 | SLEEK | 20564 | default | 304221 | complete | 0.06757 | 0.063622 | 113176.0 | unsat | unsat |
430495063 | qf_shls_entl/clones-04-e04.tptp.smt2 | 8317222 | SLEEK | 20564 | default | 304221 | complete | 0.06687 | 0.0627859 | 113176.0 | unsat | unsat |
430495073 | qf_shls_entl/clones-04-e05.tptp.smt2 | 8317232 | SLEEK | 20564 | default | 304221 | complete | 0.069025 | 0.0648849 | 113176.0 | unsat | unsat |
430495044 | qf_shls_entl/clones-04-e06.tptp.smt2 | 8317203 | SLEEK | 20564 | default | 304221 | complete | 0.067059 | 0.062978 | 113176.0 | unsat | unsat |
430495056 | qf_shls_entl/clones-04-e07.tptp.smt2 | 8317215 | SLEEK | 20564 | default | 304221 | complete | 0.07181 | 0.067155 | 113176.0 | sat | sat |
430495117 | qf_shls_entl/clones-04-e08.tptp.smt2 | 8317276 | SLEEK | 20564 | default | 304221 | complete | 0.077706 | 0.072896 | 113176.0 | sat | sat |
430495110 | qf_shls_entl/clones-04-e09.tptp.smt2 | 8317269 | SLEEK | 20564 | default | 304221 | complete | 0.07661 | 0.0720041 | 113176.0 | sat | sat |
430495288 | qf_shls_entl/clones-04-e10.tptp.smt2 | 8317447 | SLEEK | 20564 | default | 304221 | complete | 0.075905 | 0.071089 | 113176.0 | sat | sat |
430495273 | qf_shls_entl/clones-05-e01.tptp.smt2 | 8317432 | SLEEK | 20564 | default | 304221 | complete | 0.071277 | 0.0669601 | 113176.0 | unsat | unsat |
430495281 | qf_shls_entl/clones-05-e02.tptp.smt2 | 8317440 | SLEEK | 20564 | default | 304221 | complete | 0.071714 | 0.067539 | 113176.0 | unsat | unsat |
430495292 | qf_shls_entl/clones-05-e03.tptp.smt2 | 8317451 | SLEEK | 20564 | default | 304221 | complete | 0.069074 | 0.0655881 | 113176.0 | unsat | unsat |
430495229 | qf_shls_entl/clones-05-e04.tptp.smt2 | 8317388 | SLEEK | 20564 | default | 304221 | complete | 0.067402 | 0.0633291 | 113176.0 | unsat | unsat |
430495235 | qf_shls_entl/clones-05-e05.tptp.smt2 | 8317394 | SLEEK | 20564 | default | 304221 | complete | 0.071923 | 0.0673271 | 113176.0 | unsat | unsat |
430495245 | qf_shls_entl/clones-05-e06.tptp.smt2 | 8317404 | SLEEK | 20564 | default | 304221 | complete | 0.066076 | 0.061791 | 113176.0 | unsat | unsat |
430495255 | qf_shls_entl/clones-05-e07.tptp.smt2 | 8317414 | SLEEK | 20564 | default | 304221 | complete | 0.074938 | 0.0701769 | 113176.0 | sat | sat |
430495206 | qf_shls_entl/clones-05-e08.tptp.smt2 | 8317365 | SLEEK | 20564 | default | 304221 | complete | 0.083273 | 0.0782539 | 113176.0 | sat | sat |
430495199 | qf_shls_entl/clones-05-e09.tptp.smt2 | 8317358 | SLEEK | 20564 | default | 304221 | complete | 0.081362 | 0.0763819 | 113176.0 | sat | sat |
430495014 | qf_shls_entl/clones-05-e10.tptp.smt2 | 8317173 | SLEEK | 20564 | default | 304221 | complete | 0.073969 | 0.0692369 | 113176.0 | sat | sat |
430495133 | qf_shls_entl/clones-06-e01.tptp.smt2 | 8317292 | SLEEK | 20564 | default | 304221 | complete | 0.066493 | 0.062563 | 113176.0 | unsat | unsat |
430495143 | qf_shls_entl/clones-06-e02.tptp.smt2 | 8317302 | SLEEK | 20564 | default | 304221 | complete | 0.069634 | 0.065118 | 113176.0 | unsat | unsat |
430495156 | qf_shls_entl/clones-06-e03.tptp.smt2 | 8317315 | SLEEK | 20564 | default | 304221 | complete | 0.068861 | 0.064344 | 113176.0 | unsat | unsat |
430495085 | qf_shls_entl/clones-06-e04.tptp.smt2 | 8317244 | SLEEK | 20564 | default | 304221 | complete | 0.066579 | 0.0626181 | 113176.0 | unsat | unsat |
430495095 | qf_shls_entl/clones-06-e05.tptp.smt2 | 8317254 | SLEEK | 20564 | default | 304221 | complete | 0.072285 | 0.0677819 | 113176.0 | unsat | unsat |
430495105 | qf_shls_entl/clones-06-e06.tptp.smt2 | 8317264 | SLEEK | 20564 | default | 304221 | complete | 0.06685 | 0.0629549 | 113176.0 | unsat | unsat |
430495116 | qf_shls_entl/clones-06-e07.tptp.smt2 | 8317275 | SLEEK | 20564 | default | 304221 | complete | 0.077847 | 0.072971 | 113176.0 | sat | sat |
430495052 | qf_shls_entl/clones-06-e08.tptp.smt2 | 8317211 | SLEEK | 20564 | default | 304221 | complete | 0.094129 | 0.0887651 | 113176.0 | sat | sat |
430495042 | qf_shls_entl/clones-06-e09.tptp.smt2 | 8317201 | SLEEK | 20564 | default | 304221 | complete | 0.088877 | 0.0835969 | 113176.0 | sat | sat |
430495167 | qf_shls_entl/clones-06-e10.tptp.smt2 | 8317326 | SLEEK | 20564 | default | 304221 | complete | 0.081353 | 0.076457 | 113176.0 | sat | sat |
430495187 | qf_shls_entl/clones-07-e01.tptp.smt2 | 8317346 | SLEEK | 20564 | default | 304221 | complete | 0.067588 | 0.0635649 | 113176.0 | unsat | unsat |
430495161 | qf_shls_entl/clones-07-e02.tptp.smt2 | 8317320 | SLEEK | 20564 | default | 304221 | complete | 0.069639 | 0.065132 | 113176.0 | unsat | unsat |
430495172 | qf_shls_entl/clones-07-e03.tptp.smt2 | 8317331 | SLEEK | 20564 | default | 304221 | complete | 0.073165 | 0.0686409 | 113176.0 | unsat | unsat |
430495214 | qf_shls_entl/clones-07-e04.tptp.smt2 | 8317373 | SLEEK | 20564 | default | 304221 | complete | 0.064945 | 0.060619 | 113176.0 | unsat | unsat |
430495222 | qf_shls_entl/clones-07-e05.tptp.smt2 | 8317381 | SLEEK | 20564 | default | 304221 | complete | 0.073131 | 0.06859 | 113176.0 | unsat | unsat |
430495194 | qf_shls_entl/clones-07-e06.tptp.smt2 | 8317353 | SLEEK | 20564 | default | 304221 | complete | 0.065858 | 0.0619099 | 113176.0 | unsat | unsat |
430495204 | qf_shls_entl/clones-07-e07.tptp.smt2 | 8317363 | SLEEK | 20564 | default | 304221 | complete | 0.081019 | 0.0761011 | 113176.0 | sat | sat |
430495251 | qf_shls_entl/clones-07-e08.tptp.smt2 | 8317410 | SLEEK | 20564 | default | 304221 | complete | 0.10109 | 0.0961131 | 113176.0 | sat | sat |
430495242 | qf_shls_entl/clones-07-e09.tptp.smt2 | 8317401 | SLEEK | 20564 | default | 304221 | complete | 0.096626 | 0.0911801 | 113176.0 | sat | sat |
430495149 | qf_shls_entl/clones-07-e10.tptp.smt2 | 8317308 | SLEEK | 20564 | default | 304221 | complete | 0.080565 | 0.0757141 | 113176.0 | sat | sat |
430495195 | qf_shls_entl/clones-08-e01.tptp.smt2 | 8317354 | SLEEK | 20564 | default | 304221 | complete | 0.067182 | 0.0631129 | 113176.0 | unsat | unsat |
430495221 | qf_shls_entl/clones-08-e02.tptp.smt2 | 8317380 | SLEEK | 20564 | default | 304221 | complete | 0.068185 | 0.063716 | 113176.0 | unsat | unsat |
430495213 | qf_shls_entl/clones-08-e03.tptp.smt2 | 8317372 | SLEEK | 20564 | default | 304221 | complete | 0.069153 | 0.06484 | 113176.0 | unsat | unsat |
430495173 | qf_shls_entl/clones-08-e04.tptp.smt2 | 8317332 | SLEEK | 20564 | default | 304221 | complete | 0.069956 | 0.065379 | 113176.0 | unsat | unsat |
430495162 | qf_shls_entl/clones-08-e05.tptp.smt2 | 8317321 | SLEEK | 20564 | default | 304221 | complete | 0.075612 | 0.0710901 | 113176.0 | unsat | unsat |
430495186 | qf_shls_entl/clones-08-e06.tptp.smt2 | 8317345 | SLEEK | 20564 | default | 304221 | complete | 0.065721 | 0.061371 | 113176.0 | unsat | unsat |
430495180 | qf_shls_entl/clones-08-e07.tptp.smt2 | 8317339 | SLEEK | 20564 | default | 304221 | complete | 0.083634 | 0.078596 | 113176.0 | sat | sat |
430495262 | qf_shls_entl/clones-08-e08.tptp.smt2 | 8317421 | SLEEK | 20564 | default | 304221 | complete | 0.110284 | 0.104979 | 113176.0 | sat | sat |
430495271 | qf_shls_entl/clones-08-e09.tptp.smt2 | 8317430 | SLEEK | 20564 | default | 304221 | complete | 0.104469 | 0.0987931 | 113176.0 | sat | sat |
430495091 | qf_shls_entl/clones-08-e10.tptp.smt2 | 8317250 | SLEEK | 20564 | default | 304221 | complete | 0.084656 | 0.0797129 | 113176.0 | sat | sat |
430495104 | qf_shls_entl/clones-09-e01.tptp.smt2 | 8317263 | SLEEK | 20564 | default | 304221 | complete | 0.067923 | 0.0637081 | 113176.0 | unsat | unsat |
430495096 | qf_shls_entl/clones-09-e02.tptp.smt2 | 8317255 | SLEEK | 20564 | default | 304221 | complete | 0.070461 | 0.065984 | 113176.0 | unsat | unsat |
430495086 | qf_shls_entl/clones-09-e03.tptp.smt2 | 8317245 | SLEEK | 20564 | default | 304221 | complete | 0.069811 | 0.0652331 | 113176.0 | unsat | unsat |
430495155 | qf_shls_entl/clones-09-e04.tptp.smt2 | 8317314 | SLEEK | 20564 | default | 304221 | complete | 0.06507 | 0.0612871 | 113176.0 | unsat | unsat |
430495142 | qf_shls_entl/clones-09-e05.tptp.smt2 | 8317301 | SLEEK | 20564 | default | 304221 | complete | 0.078611 | 0.074196 | 113176.0 | unsat | unsat |
430495134 | qf_shls_entl/clones-09-e06.tptp.smt2 | 8317293 | SLEEK | 20564 | default | 304221 | complete | 0.06781 | 0.063874 | 113176.0 | unsat | unsat |
430495128 | qf_shls_entl/clones-09-e07.tptp.smt2 | 8317287 | SLEEK | 20564 | default | 304221 | complete | 0.087866 | 0.0828091 | 113176.0 | sat | sat |
430495024 | qf_shls_entl/clones-09-e08.tptp.smt2 | 8317183 | SLEEK | 20564 | default | 304221 | complete | 0.121007 | 0.115027 | 113176.0 | sat | sat |
430495036 | qf_shls_entl/clones-09-e09.tptp.smt2 | 8317195 | SLEEK | 20564 | default | 304221 | complete | 0.117035 | 0.111072 | 113176.0 | sat | sat |
430495218 | qf_shls_entl/clones-09-e10.tptp.smt2 | 8317377 | SLEEK | 20564 | default | 304221 | complete | 0.088678 | 0.0836619 | 113176.0 | sat | sat |
430495031 | qf_shls_entl/clones-10-e01.tptp.smt2 | 8317190 | SLEEK | 20564 | default | 304221 | complete | 0.06803 | 0.0636119 | 113176.0 | unsat | unsat |
430494999 | qf_shls_entl/clones-10-e02.tptp.smt2 | 8317158 | SLEEK | 20564 | default | 304221 | complete | 0.069464 | 0.0649491 | 113176.0 | unsat | unsat |
430495011 | qf_shls_entl/clones-10-e03.tptp.smt2 | 8317170 | SLEEK | 20564 | default | 304221 | complete | 0.071299 | 0.067158 | 113176.0 | unsat | unsat |
430495068 | qf_shls_entl/clones-10-e04.tptp.smt2 | 8317227 | SLEEK | 20564 | default | 304221 | complete | 0.067749 | 0.063688 | 113176.0 | unsat | unsat |
430495078 | qf_shls_entl/clones-10-e05.tptp.smt2 | 8317237 | SLEEK | 20564 | default | 304221 | complete | 0.0844 | 0.079812 | 113176.0 | unsat | unsat |
430495049 | qf_shls_entl/clones-10-e06.tptp.smt2 | 8317208 | SLEEK | 20564 | default | 304221 | complete | 0.07087 | 0.066863 | 113176.0 | unsat | unsat |
430495060 | qf_shls_entl/clones-10-e07.tptp.smt2 | 8317219 | SLEEK | 20564 | default | 304221 | complete | 0.093516 | 0.0882071 | 113176.0 | sat | sat |
430495121 | qf_shls_entl/clones-10-e08.tptp.smt2 | 8317280 | SLEEK | 20564 | default | 304221 | complete | 0.134408 | 0.128643 | 113176.0 | sat | sat |
430495114 | qf_shls_entl/clones-10-e09.tptp.smt2 | 8317273 | SLEEK | 20564 | default | 304221 | complete | 0.129329 | 0.123749 | 113176.0 | sat | sat |
430495294 | qf_shls_entl/clones-10-e10.tptp.smt2 | 8317453 | SLEEK | 20564 | default | 304221 | complete | 0.093019 | 0.0878431 | 113176.0 | sat | sat |
430495277 | qf_shls_entl/ls-vc01.smt2 | 8317436 | SLEEK | 20564 | default | 304221 | complete | 0.091035 | 0.0855119 | 113176.0 | sat | sat |
430495108 | qf_shls_entl/ls-vc02.smt2 | 8317267 | SLEEK | 20564 | default | 304221 | complete | 0.13873 | 0.132057 | 113176.0 | sat | sat |
430495066 | qf_shls_entl/ls-vc03.smt2 | 8317225 | SLEEK | 20564 | default | 304221 | complete | 0.366813 | 0.353962 | 113176.0 | sat | sat |
430495160 | qf_shls_entl/ls-vc04.smt2 | 8317319 | SLEEK | 20564 | default | 304221 | complete | 0.076112 | 0.071632 | 113176.0 | sat | sat |
430495264 | qf_shls_entl/ls-vc05.smt2 | 8317423 | SLEEK | 20564 | default | 304221 | complete | 0.065104 | 0.0611539 | 113176.0 | unsat | unsat |
430495093 | qf_shls_entl/ls-vc06.smt2 | 8317252 | SLEEK | 20564 | default | 304221 | complete | 0.115373 | 0.109125 | 113176.0 | sat | sat |
430495051 | qf_shls_entl/ls-vc07.smt2 | 8317210 | SLEEK | 20564 | default | 304221 | complete | 0.065515 | 0.0617091 | 113176.0 | sat | sat |
430495220 | qf_shls_entl/ls-vc08.smt2 | 8317379 | SLEEK | 20564 | default | 304221 | complete | 0.116592 | 0.110401 | 113176.0 | sat | unsat |
430495252 | qf_shls_entl/ls-vc09.smt2 | 8317411 | SLEEK | 20564 | default | 304221 | complete | 0.117525 | 0.110571 | 113176.0 | sat | unsat |
430495082 | qf_shls_entl/smallfoot-vc01.tptp.smt2 | 8317241 | SLEEK | 20564 | default | 304221 | complete | 0.066875 | 0.0623389 | 113176.0 | unsat | unsat |
430495115 | qf_shls_entl/smallfoot-vc02.tptp.smt2 | 8317274 | SLEEK | 20564 | default | 304221 | complete | 0.065709 | 0.0618789 | 113176.0 | unsat | unsat |
430495107 | qf_shls_entl/smallfoot-vc03.tptp.smt2 | 8317266 | SLEEK | 20564 | default | 304221 | complete | 0.065821 | 0.061926 | 113176.0 | unsat | unsat |
430495136 | qf_shls_entl/smallfoot-vc04.tptp.smt2 | 8317295 | SLEEK | 20564 | default | 304221 | complete | 0.066257 | 0.062366 | 113176.0 | unsat | unsat |
430495126 | qf_shls_entl/smallfoot-vc05.tptp.smt2 | 8317285 | SLEEK | 20564 | default | 304221 | complete | 0.066122 | 0.0617781 | 113176.0 | unsat | unsat |
430495153 | qf_shls_entl/smallfoot-vc06.tptp.smt2 | 8317312 | SLEEK | 20564 | default | 304221 | complete | 0.069386 | 0.065249 | 113176.0 | unsat | unsat |
430495146 | qf_shls_entl/smallfoot-vc07.tptp.smt2 | 8317305 | SLEEK | 20564 | default | 304221 | complete | 0.066843 | 0.0628641 | 113176.0 | unsat | unsat |
430495006 | qf_shls_entl/smallfoot-vc08.tptp.smt2 | 8317165 | SLEEK | 20564 | default | 304221 | complete | 0.067032 | 0.0629771 | 113176.0 | unsat | unsat |
430495020 | qf_shls_entl/smallfoot-vc09.tptp.smt2 | 8317179 | SLEEK | 20564 | default | 304221 | complete | 0.071098 | 0.066991 | 113176.0 | unsat | unsat |
430495201 | qf_shls_entl/smallfoot-vc10.tptp.smt2 | 8317360 | SLEEK | 20564 | default | 304221 | complete | 0.101516 | 0.095891 | 113176.0 | unsat | unsat |
430495209 | qf_shls_entl/smallfoot-vc11.tptp.smt2 | 8317368 | SLEEK | 20564 | default | 304221 | complete | 0.085591 | 0.080356 | 113176.0 | unsat | unsat |
430495215 | qf_shls_entl/smallfoot-vc12.tptp.smt2 | 8317374 | SLEEK | 20564 | default | 304221 | complete | 0.068027 | 0.063981 | 113176.0 | unsat | unsat |
430495226 | qf_shls_entl/smallfoot-vc13.tptp.smt2 | 8317385 | SLEEK | 20564 | default | 304221 | complete | 0.066063 | 0.062091 | 113176.0 | unsat | unsat |
430495158 | qf_shls_entl/smallfoot-vc14.tptp.smt2 | 8317317 | SLEEK | 20564 | default | 304221 | complete | 0.065961 | 0.0614731 | 113176.0 | unsat | unsat |
430495165 | qf_shls_entl/smallfoot-vc15.tptp.smt2 | 8317324 | SLEEK | 20564 | default | 304221 | complete | 0.066415 | 0.0624471 | 113176.0 | unsat | unsat |
430495175 | qf_shls_entl/smallfoot-vc16.tptp.smt2 | 8317334 | SLEEK | 20564 | default | 304221 | complete | 0.068372 | 0.0637621 | 113176.0 | unsat | unsat |
430495184 | qf_shls_entl/smallfoot-vc17.tptp.smt2 | 8317343 | SLEEK | 20564 | default | 304221 | complete | 0.065986 | 0.061583 | 113176.0 | unsat | unsat |
430495268 | qf_shls_entl/smallfoot-vc18.tptp.smt2 | 8317427 | SLEEK | 20564 | default | 304221 | complete | 0.068535 | 0.0643889 | 113176.0 | unsat | unsat |
430495261 | qf_shls_entl/smallfoot-vc19.tptp.smt2 | 8317420 | SLEEK | 20564 | default | 304221 | complete | 0.067973 | 0.0633441 | 113176.0 | unsat | unsat |
430495001 | qf_shls_entl/smallfoot-vc20.tptp.smt2 | 8317160 | SLEEK | 20564 | default | 304221 | complete | 0.068145 | 0.0642311 | 113176.0 | unsat | unsat |
430495009 | qf_shls_entl/smallfoot-vc21.tptp.smt2 | 8317168 | SLEEK | 20564 | default | 304221 | complete | 0.067387 | 0.06322 | 113176.0 | unsat | unsat |
430495023 | qf_shls_entl/smallfoot-vc22.tptp.smt2 | 8317182 | SLEEK | 20564 | default | 304221 | complete | 0.072815 | 0.068519 | 113176.0 | unsat | sat |
430495032 | qf_shls_entl/smallfoot-vc23.tptp.smt2 | 8317191 | SLEEK | 20564 | default | 304221 | complete | 0.065906 | 0.061471 | 113176.0 | unsat | sat |
430495050 | qf_shls_entl/smallfoot-vc24.tptp.smt2 | 8317209 | SLEEK | 20564 | default | 304221 | complete | 0.074838 | 0.070519 | 113176.0 | unsat | unsat |
430495059 | qf_shls_entl/smallfoot-vc25.tptp.smt2 | 8317218 | SLEEK | 20564 | default | 304221 | complete | 0.073766 | 0.069536 | 113176.0 | unsat | unsat |
430495067 | qf_shls_entl/smallfoot-vc26.tptp.smt2 | 8317226 | SLEEK | 20564 | default | 304221 | complete | 0.068284 | 0.064193 | 113176.0 | unsat | unsat |
430495080 | qf_shls_entl/smallfoot-vc27.tptp.smt2 | 8317239 | SLEEK | 20564 | default | 304221 | complete | 0.066919 | 0.0628211 | 113176.0 | unsat | unsat |
430495099 | qf_shls_entl/smallfoot-vc28.tptp.smt2 | 8317258 | SLEEK | 20564 | default | 304221 | complete | 0.094668 | 0.0895451 | 113176.0 | sat | unsat |
430495090 | qf_shls_entl/smallfoot-vc29.tptp.smt2 | 8317249 | SLEEK | 20564 | default | 304221 | complete | 0.079787 | 0.0750009 | 113176.0 | sat | sat |
430495272 | qf_shls_entl/smallfoot-vc30.tptp.smt2 | 8317431 | SLEEK | 20564 | default | 304221 | complete | 0.089363 | 0.083783 | 113176.0 | sat | sat |
430495263 | qf_shls_entl/smallfoot-vc31.tptp.smt2 | 8317422 | SLEEK | 20564 | default | 304221 | complete | 0.085065 | 0.080175 | 113176.0 | sat | sat |
430495293 | qf_shls_entl/smallfoot-vc32.tptp.smt2 | 8317452 | SLEEK | 20564 | default | 304221 | complete | 0.089525 | 0.084444 | 113176.0 | sat | sat |
430495284 | qf_shls_entl/smallfoot-vc33.tptp.smt2 | 8317443 | SLEEK | 20564 | default | 304221 | complete | 0.08025 | 0.075516 | 113176.0 | sat | sat |
430495238 | qf_shls_entl/smallfoot-vc34.tptp.smt2 | 8317397 | SLEEK | 20564 | default | 304221 | complete | 0.462603 | 0.447222 | 113176.0 | unsat | unsat |
430495230 | qf_shls_entl/smallfoot-vc35.tptp.smt2 | 8317389 | SLEEK | 20564 | default | 304221 | complete | 0.09096 | 0.0857461 | 113176.0 | sat | sat |
430495250 | qf_shls_entl/smallfoot-vc36.tptp.smt2 | 8317409 | SLEEK | 20564 | default | 304221 | complete | 0.094737 | 0.0888451 | 113176.0 | unsat | unsat |
430495243 | qf_shls_entl/smallfoot-vc37.tptp.smt2 | 8317402 | SLEEK | 20564 | default | 304221 | complete | 0.075007 | 0.0708109 | 113176.0 | sat | sat |
430495193 | qf_shls_entl/smallfoot-vc38.tptp.smt2 | 8317352 | SLEEK | 20564 | default | 304221 | complete | 0.743848 | 0.720928 | 253188.0 | unsat | unsat |
430495205 | qf_shls_entl/smallfoot-vc39.tptp.smt2 | 8317364 | SLEEK | 20564 | default | 304221 | complete | 0.068221 | 0.0636881 | 113176.0 | unsat | sat |
430495257 | qf_shls_entl/smallfoot-vc40.tptp.smt2 | 8317416 | SLEEK | 20564 | default | 304221 | complete | 0.069649 | 0.0656529 | 113176.0 | unsat | sat |
430495249 | qf_shls_entl/smallfoot-vc41.tptp.smt2 | 8317408 | SLEEK | 20564 | default | 304221 | complete | 0.069136 | 0.064991 | 113176.0 | unsat | unsat |
430495240 | qf_shls_entl/smallfoot-vc42.tptp.smt2 | 8317399 | SLEEK | 20564 | default | 304221 | complete | 0.06959 | 0.0654691 | 113176.0 | unsat | unsat |
430495231 | qf_shls_entl/smallfoot-vc43.tptp.smt2 | 8317390 | SLEEK | 20564 | default | 304221 | complete | 0.071377 | 0.0673709 | 113176.0 | unsat | sat |
430495285 | qf_shls_entl/smallfoot-vc44.tptp.smt2 | 8317444 | SLEEK | 20564 | default | 304221 | complete | 0.070757 | 0.066154 | 113176.0 | unsat | unsat |
430495279 | qf_shls_entl/smallfoot-vc45.tptp.smt2 | 8317438 | SLEEK | 20564 | default | 304221 | complete | 0.07364 | 0.069557 | 113176.0 | unsat | unsat |
430495269 | qf_shls_entl/smallfoot-vc46.tptp.smt2 | 8317428 | SLEEK | 20564 | default | 304221 | complete | 0.070166 | 0.0661599 | 113176.0 | unsat | unsat |
430495260 | qf_shls_entl/smallfoot-vc47.tptp.smt2 | 8317419 | SLEEK | 20564 | default | 304221 | complete | 0.067064 | 0.0628941 | 113176.0 | unsat | unsat |
430495176 | qf_shls_entl/smallfoot-vc48.tptp.smt2 | 8317335 | SLEEK | 20564 | default | 304221 | complete | 0.07125 | 0.0671699 | 113176.0 | unsat | unsat |
430495183 | qf_shls_entl/smallfoot-vc49.tptp.smt2 | 8317342 | SLEEK | 20564 | default | 304221 | complete | 0.070501 | 0.0657851 | 113176.0 | unsat | sat |
430495065 | qf_shls_entl/smallfoot-vc50.tptp.smt2 | 8317224 | SLEEK | 20564 | default | 304221 | complete | 0.067859 | 0.063786 | 113176.0 | unsat | unsat |
430495077 | qf_shls_entl/smallfoot-vc51.tptp.smt2 | 8317236 | SLEEK | 20564 | default | 304221 | complete | 0.067777 | 0.0636769 | 113176.0 | unsat | unsat |
430495040 | qf_shls_entl/smallfoot-vc52.tptp.smt2 | 8317199 | SLEEK | 20564 | default | 304221 | complete | 0.069917 | 0.0659191 | 113176.0 | unsat | unsat |
430495053 | qf_shls_entl/smallfoot-vc53.tptp.smt2 | 8317212 | SLEEK | 20564 | default | 304221 | complete | 0.068543 | 0.0646071 | 113176.0 | unsat | unsat |
430495025 | qf_shls_entl/smallfoot-vc54.tptp.smt2 | 8317184 | SLEEK | 20564 | default | 304221 | complete | 0.071074 | 0.066827 | 113176.0 | unsat | sat |
430495034 | qf_shls_entl/smallfoot-vc55.tptp.smt2 | 8317193 | SLEEK | 20564 | default | 304221 | complete | 0.067372 | 0.0628961 | 113176.0 | unsat | unsat |
430495008 | qf_shls_entl/smallfoot-vc56.tptp.smt2 | 8317167 | SLEEK | 20564 | default | 304221 | complete | 0.071289 | 0.0672129 | 113176.0 | unsat | sat |
430495019 | qf_shls_entl/smallfoot-vc57.tptp.smt2 | 8317178 | SLEEK | 20564 | default | 304221 | complete | 0.075114 | 0.07078 | 113176.0 | unsat | sat |
430495154 | qf_shls_entl/smallfoot-vc58.tptp.smt2 | 8317313 | SLEEK | 20564 | default | 304221 | complete | 0.069028 | 0.064884 | 113176.0 | unsat | unsat |
430495144 | qf_shls_entl/smallfoot-vc59.tptp.smt2 | 8317303 | SLEEK | 20564 | default | 304221 | complete | 0.066586 | 0.062682 | 113176.0 | unsat | unsat |
430495179 | qf_shls_entl/smallfoot-vc60.tptp.smt2 | 8317338 | SLEEK | 20564 | default | 304221 | complete | 0.068946 | 0.0649849 | 113176.0 | unsat | unsat |
430495188 | qf_shls_entl/smallfoot-vc61.tptp.smt2 | 8317347 | SLEEK | 20564 | default | 304221 | complete | 0.06904 | 0.0650031 | 113176.0 | unsat | sat |
430495164 | qf_shls_entl/smallfoot-vc62.tptp.smt2 | 8317323 | SLEEK | 20564 | default | 304221 | complete | 0.066458 | 0.062429 | 113176.0 | unsat | unsat |
430495170 | qf_shls_entl/smallfoot-vc63.tptp.smt2 | 8317329 | SLEEK | 20564 | default | 304221 | complete | 0.071139 | 0.0666011 | 164844.0 | unsat | unsat |
430495211 | qf_shls_entl/smallfoot-vc64.tptp.smt2 | 8317370 | SLEEK | 20564 | default | 304221 | complete | 0.068071 | 0.064059 | 113176.0 | unsat | unsat |
430495224 | qf_shls_entl/smallfoot-vc65.tptp.smt2 | 8317383 | SLEEK | 20564 | default | 304221 | complete | 0.067876 | 0.0639399 | 113176.0 | unsat | unsat |
430495196 | qf_shls_entl/smallfoot-vc66.tptp.smt2 | 8317355 | SLEEK | 20564 | default | 304221 | complete | 0.072457 | 0.0684729 | 113176.0 | unsat | unsat |
430495203 | qf_shls_entl/smallfoot-vc67.tptp.smt2 | 8317362 | SLEEK | 20564 | default | 304221 | complete | 0.067615 | 0.063608 | 113176.0 | unsat | unsat |
430495253 | qf_shls_entl/smallfoot-vc68.tptp.smt2 | 8317412 | SLEEK | 20564 | default | 304221 | complete | 0.067345 | 0.063209 | 113176.0 | unsat | sat |
430495241 | qf_shls_entl/smallfoot-vc69.tptp.smt2 | 8317400 | SLEEK | 20564 | default | 304221 | complete | 0.071632 | 0.067291 | 113176.0 | unsat | sat |
430495148 | qf_shls_entl/smallfoot-vc70.tptp.smt2 | 8317307 | SLEEK | 20564 | default | 304221 | complete | 0.14806 | 0.140849 | 113176.0 | unsat | sat |
430495140 | qf_shls_entl/smallfoot-vc71.tptp.smt2 | 8317299 | SLEEK | 20564 | default | 304221 | complete | 0.088917 | 0.084149 | 113176.0 | unsat | unsat |
430495131 | qf_shls_entl/smallfoot-vc72.tptp.smt2 | 8317290 | SLEEK | 20564 | default | 304221 | complete | 0.069967 | 0.0659231 | 113176.0 | unsat | sat |
430495123 | qf_shls_entl/smallfoot-vc73.tptp.smt2 | 8317282 | SLEEK | 20564 | default | 304221 | complete | 0.068529 | 0.0645041 | 113176.0 | unsat | sat |
430495120 | qf_shls_entl/smallfoot-vc74.tptp.smt2 | 8317279 | SLEEK | 20564 | default | 304221 | complete | 0.069902 | 0.0652619 | 113176.0 | unsat | unsat |
430495113 | qf_shls_entl/smallfoot-vc75.tptp.smt2 | 8317272 | SLEEK | 20564 | default | 304221 | complete | 0.071002 | 0.0663289 | 113176.0 | unsat | unsat |
430495100 | qf_shls_entl/smallfoot-vc76.tptp.smt2 | 8317259 | SLEEK | 20564 | default | 304221 | complete | 0.06866 | 0.0645671 | 113176.0 | unsat | sat |
430495088 | qf_shls_entl/smallfoot-vc77.tptp.smt2 | 8317247 | SLEEK | 20564 | default | 304221 | complete | 0.067072 | 0.0630679 | 113176.0 | unsat | unsat |