430495515 | qf_shls_entl/bolognesa-10-e01.tptp.smt2 | 8317378 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.503872 | 0.500071 | 113176.0 | starexec-unknown | sat |
430495506 | qf_shls_entl/bolognesa-10-e02.tptp.smt2 | 8317369 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.588122 | 0.578905 | 414288.0 | starexec-unknown | unsat |
430495496 | qf_shls_entl/bolognesa-10-e03.tptp.smt2 | 8317359 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.533208 | 0.524074 | 113176.0 | starexec-unknown | unsat |
430495478 | qf_shls_entl/bolognesa-10-e04.tptp.smt2 | 8317341 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.377535 | 0.369282 | 113176.0 | starexec-unknown | sat |
430495473 | qf_shls_entl/bolognesa-10-e05.tptp.smt2 | 8317336 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.533602 | 0.524577 | 113176.0 | starexec-unknown | sat |
430495464 | qf_shls_entl/bolognesa-10-e06.tptp.smt2 | 8317327 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.352029 | 0.343971 | 113176.0 | starexec-unknown | sat |
430495453 | qf_shls_entl/bolognesa-10-e07.tptp.smt2 | 8317316 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.653037 | 0.644852 | 414288.0 | starexec-unknown | sat |
430495574 | qf_shls_entl/bolognesa-10-e08.tptp.smt2 | 8317437 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.582408 | 0.604328 | 414552.0 | starexec-unknown | sat |
430495582 | qf_shls_entl/bolognesa-10-e09.tptp.smt2 | 8317445 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.61907 | 0.64603 | 414756.0 | starexec-unknown | sat |
430495399 | qf_shls_entl/bolognesa-10-e10.tptp.smt2 | 8317262 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.467199 | 0.458541 | 113176.0 | starexec-unknown | unsat |
430495388 | qf_shls_entl/bolognesa-11-e01.tptp.smt2 | 8317251 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.603028 | 0.594175 | 414520.0 | starexec-unknown | unsat |
430495418 | qf_shls_entl/bolognesa-11-e02.tptp.smt2 | 8317281 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.648906 | 0.639931 | 414544.0 | starexec-unknown | unsat |
430495407 | qf_shls_entl/bolognesa-11-e03.tptp.smt2 | 8317270 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.298572 | 0.289951 | 113176.0 | starexec-unknown | unsat |
430495426 | qf_shls_entl/bolognesa-11-e04.tptp.smt2 | 8317289 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.6403 | 0.631621 | 414552.0 | starexec-unknown | unsat |
430495421 | qf_shls_entl/bolognesa-11-e05.tptp.smt2 | 8317284 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.301124 | 0.292021 | 113176.0 | starexec-unknown | sat |
430495446 | qf_shls_entl/bolognesa-11-e06.tptp.smt2 | 8317309 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.536925 | 0.528158 | 113176.0 | starexec-unknown | sat |
430495435 | qf_shls_entl/bolognesa-11-e07.tptp.smt2 | 8317298 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.640047 | 0.630912 | 414620.0 | starexec-unknown | unsat |
430495296 | qf_shls_entl/bolognesa-11-e08.tptp.smt2 | 8317159 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 2.14205 | 2.16931 | 414620.0 | starexec-unknown | unsat |
430495306 | qf_shls_entl/bolognesa-11-e09.tptp.smt2 | 8317169 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.67464 | 0.666046 | 414520.0 | starexec-unknown | unsat |
430495488 | qf_shls_entl/bolognesa-11-e10.tptp.smt2 | 8317351 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.66172 | 0.652767 | 414544.0 | starexec-unknown | sat |
430495530 | qf_shls_entl/bolognesa-12-e01.tptp.smt2 | 8317393 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.480267 | 0.471243 | 113176.0 | starexec-unknown | unsat |
430495552 | qf_shls_entl/bolognesa-12-e02.tptp.smt2 | 8317415 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 4.56596 | 4.55663 | 414620.0 | starexec-unknown | sat |
430495544 | qf_shls_entl/bolognesa-12-e03.tptp.smt2 | 8317407 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.772679 | 0.764266 | 414620.0 | starexec-unknown | sat |
430495563 | qf_shls_entl/bolognesa-12-e04.tptp.smt2 | 8317426 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.602044 | 0.594851 | 414620.0 | starexec-unknown | sat |
430495554 | qf_shls_entl/bolognesa-12-e05.tptp.smt2 | 8317417 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.715853 | 0.707575 | 414544.0 | starexec-unknown | unsat |
430495585 | qf_shls_entl/bolognesa-12-e06.tptp.smt2 | 8317448 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.416013 | 0.407511 | 113176.0 | starexec-unknown | unsat |
430495576 | qf_shls_entl/bolognesa-12-e07.tptp.smt2 | 8317439 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.451346 | 0.442022 | 113176.0 | starexec-unknown | sat |
430495455 | qf_shls_entl/bolognesa-12-e08.tptp.smt2 | 8317318 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.606633 | 0.597851 | 414612.0 | starexec-unknown | unsat |
430495465 | qf_shls_entl/bolognesa-12-e09.tptp.smt2 | 8317328 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.588191 | 0.579169 | 414544.0 | starexec-unknown | unsat |
430495339 | qf_shls_entl/bolognesa-12-e10.tptp.smt2 | 8317202 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 1.12047 | 1.14381 | 414612.0 | starexec-unknown | unsat |
430495368 | qf_shls_entl/bolognesa-13-e01.tptp.smt2 | 8317231 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.5974 | 0.588203 | 414520.0 | starexec-unknown | unsat |
430495354 | qf_shls_entl/bolognesa-13-e02.tptp.smt2 | 8317217 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.642129 | 0.633334 | 414756.0 | starexec-unknown | sat |
430495343 | qf_shls_entl/bolognesa-13-e03.tptp.smt2 | 8317206 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.505993 | 0.497008 | 113176.0 | starexec-unknown | unsat |
430495325 | qf_shls_entl/bolognesa-13-e04.tptp.smt2 | 8317188 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.298112 | 0.288906 | 113176.0 | starexec-unknown | sat |
430495318 | qf_shls_entl/bolognesa-13-e05.tptp.smt2 | 8317181 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.723931 | 0.751826 | 414544.0 | starexec-unknown | sat |
430495311 | qf_shls_entl/bolognesa-13-e06.tptp.smt2 | 8317174 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 1.87073 | 1.86162 | 414500.0 | starexec-unknown | sat |
430495298 | qf_shls_entl/bolognesa-13-e07.tptp.smt2 | 8317161 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.756483 | 0.749556 | 414876.0 | starexec-unknown | unsat |
430495437 | qf_shls_entl/bolognesa-13-e08.tptp.smt2 | 8317300 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 1.64683 | 1.63769 | 414520.0 | starexec-unknown | unsat |
430495447 | qf_shls_entl/bolognesa-13-e09.tptp.smt2 | 8317310 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.563778 | 0.554637 | 113176.0 | starexec-unknown | sat |
430495540 | qf_shls_entl/bolognesa-13-e10.tptp.smt2 | 8317403 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.598666 | 0.589625 | 414520.0 | starexec-unknown | sat |
430495402 | qf_shls_entl/bolognesa-14-e01.tptp.smt2 | 8317265 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 1.16734 | 1.15889 | 414868.0 | starexec-unknown | unsat |
430495394 | qf_shls_entl/bolognesa-14-e02.tptp.smt2 | 8317257 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.35172 | 0.344184 | 113176.0 | starexec-unknown | unsat |
430495379 | qf_shls_entl/bolognesa-14-e03.tptp.smt2 | 8317242 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.670021 | 0.661635 | 414520.0 | starexec-unknown | unsat |
430495448 | qf_shls_entl/bolognesa-14-e04.tptp.smt2 | 8317311 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.504137 | 0.495011 | 113176.0 | starexec-unknown | unsat |
430495441 | qf_shls_entl/bolognesa-14-e05.tptp.smt2 | 8317304 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.541811 | 0.582957 | 113176.0 | starexec-unknown | sat |
430495433 | qf_shls_entl/bolognesa-14-e06.tptp.smt2 | 8317296 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.794928 | 0.785837 | 414756.0 | starexec-unknown | unsat |
430495423 | qf_shls_entl/bolognesa-14-e07.tptp.smt2 | 8317286 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.589885 | 0.581191 | 113176.0 | starexec-unknown | unsat |
430495323 | qf_shls_entl/bolognesa-14-e08.tptp.smt2 | 8317186 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 1.49705 | 1.48791 | 414544.0 | starexec-unknown | unsat |
430495329 | qf_shls_entl/bolognesa-14-e09.tptp.smt2 | 8317192 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.56375 | 0.554952 | 113176.0 | starexec-unknown | unsat |
430495512 | qf_shls_entl/bolognesa-14-e10.tptp.smt2 | 8317375 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.94116 | 0.932442 | 414620.0 | starexec-unknown | sat |
430495493 | qf_shls_entl/bolognesa-15-e01.tptp.smt2 | 8317356 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.30359 | 0.348849 | 113176.0 | starexec-unknown | unsat |
430495519 | qf_shls_entl/bolognesa-15-e02.tptp.smt2 | 8317382 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.6481 | 0.638798 | 414544.0 | starexec-unknown | unsat |
430495508 | qf_shls_entl/bolognesa-15-e03.tptp.smt2 | 8317371 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.762237 | 0.753281 | 414500.0 | starexec-unknown | sat |
430495467 | qf_shls_entl/bolognesa-15-e04.tptp.smt2 | 8317330 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 2.80813 | 2.83099 | 414520.0 | starexec-unknown | unsat |
430495459 | qf_shls_entl/bolognesa-15-e05.tptp.smt2 | 8317322 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.766295 | 0.757818 | 414756.0 | starexec-unknown | unsat |
430495486 | qf_shls_entl/bolognesa-15-e06.tptp.smt2 | 8317349 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.980038 | 1.06463 | 414552.0 | starexec-unknown | unsat |
430495474 | qf_shls_entl/bolognesa-15-e07.tptp.smt2 | 8317337 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.580094 | 0.57159 | 414612.0 | starexec-unknown | unsat |
430495561 | qf_shls_entl/bolognesa-15-e08.tptp.smt2 | 8317424 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.296008 | 0.286936 | 113176.0 | starexec-unknown | sat |
430495566 | qf_shls_entl/bolognesa-15-e09.tptp.smt2 | 8317429 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.614308 | 0.605453 | 414520.0 | starexec-unknown | sat |
430495383 | qf_shls_entl/bolognesa-15-e10.tptp.smt2 | 8317246 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.666906 | 0.657622 | 414288.0 | starexec-unknown | unsat |
430495341 | qf_shls_entl/bolognesa-16-e01.tptp.smt2 | 8317204 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.74952 | 0.741086 | 414756.0 | starexec-unknown | unsat |
430495371 | qf_shls_entl/bolognesa-16-e02.tptp.smt2 | 8317234 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.344103 | 0.335801 | 113176.0 | starexec-unknown | sat |
430495358 | qf_shls_entl/bolognesa-16-e03.tptp.smt2 | 8317221 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.763813 | 0.755417 | 414544.0 | starexec-unknown | sat |
430495312 | qf_shls_entl/bolognesa-16-e04.tptp.smt2 | 8317175 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.303508 | 0.294775 | 113176.0 | starexec-unknown | sat |
430495300 | qf_shls_entl/bolognesa-16-e05.tptp.smt2 | 8317163 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.681253 | 0.672101 | 414756.0 | starexec-unknown | unsat |
430495335 | qf_shls_entl/bolognesa-16-e06.tptp.smt2 | 8317198 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.773976 | 0.764854 | 414756.0 | starexec-unknown | sat |
430495324 | qf_shls_entl/bolognesa-16-e07.tptp.smt2 | 8317187 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.883297 | 0.874109 | 414612.0 | starexec-unknown | unsat |
430495425 | qf_shls_entl/bolognesa-16-e08.tptp.smt2 | 8317288 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.791281 | 0.782079 | 414756.0 | starexec-unknown | unsat |
430495434 | qf_shls_entl/bolognesa-16-e09.tptp.smt2 | 8317297 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.610729 | 0.601641 | 414544.0 | starexec-unknown | unsat |
430495529 | qf_shls_entl/bolognesa-16-e10.tptp.smt2 | 8317392 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.810448 | 0.801791 | 414612.0 | starexec-unknown | sat |
430495543 | qf_shls_entl/bolognesa-17-e01.tptp.smt2 | 8317406 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.897725 | 0.888231 | 414620.0 | starexec-unknown | unsat |
430495532 | qf_shls_entl/bolognesa-17-e02.tptp.smt2 | 8317395 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.583141 | 0.573828 | 414520.0 | starexec-unknown | sat |
430495523 | qf_shls_entl/bolognesa-17-e03.tptp.smt2 | 8317386 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.53128 | 0.52272 | 113176.0 | starexec-unknown | sat |
430495587 | qf_shls_entl/bolognesa-17-e04.tptp.smt2 | 8317450 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.797129 | 0.788048 | 414620.0 | starexec-unknown | unsat |
430495579 | qf_shls_entl/bolognesa-17-e05.tptp.smt2 | 8317442 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.857712 | 0.848948 | 414544.0 | starexec-unknown | unsat |
430495571 | qf_shls_entl/bolognesa-17-e06.tptp.smt2 | 8317434 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.778942 | 0.774664 | 414544.0 | starexec-unknown | unsat |
430495562 | qf_shls_entl/bolognesa-17-e07.tptp.smt2 | 8317425 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 6.60053 | 6.59435 | 414756.0 | starexec-unknown | unsat |
430495477 | qf_shls_entl/bolognesa-17-e08.tptp.smt2 | 8317340 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.360719 | 0.384099 | 113176.0 | starexec-unknown | sat |
430495487 | qf_shls_entl/bolognesa-17-e09.tptp.smt2 | 8317350 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.311077 | 0.34259 | 113176.0 | starexec-unknown | unsat |
430495366 | qf_shls_entl/bolognesa-17-e10.tptp.smt2 | 8317229 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.743754 | 0.734873 | 414520.0 | starexec-unknown | unsat |
430495572 | qf_shls_entl/bolognesa-18-e01.tptp.smt2 | 8317435 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 1.60001 | 1.5913 | 414544.0 | starexec-unknown | unsat |
430495578 | qf_shls_entl/bolognesa-18-e02.tptp.smt2 | 8317441 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 1.27289 | 1.26388 | 414520.0 | starexec-unknown | sat |
430495586 | qf_shls_entl/bolognesa-18-e03.tptp.smt2 | 8317449 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.415389 | 0.406335 | 113176.0 | starexec-unknown | sat |
430495524 | qf_shls_entl/bolognesa-18-e04.tptp.smt2 | 8317387 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 3.44985 | 3.44099 | 414612.0 | starexec-unknown | sat |
430495533 | qf_shls_entl/bolognesa-18-e05.tptp.smt2 | 8317396 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 2.62494 | 2.65626 | 414756.0 | starexec-unknown | sat |
430495542 | qf_shls_entl/bolognesa-18-e06.tptp.smt2 | 8317405 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 1.1987 | 1.18934 | 414756.0 | starexec-unknown | sat |
430495550 | qf_shls_entl/bolognesa-18-e07.tptp.smt2 | 8317413 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.758974 | 0.749764 | 414288.0 | starexec-unknown | sat |
430495503 | qf_shls_entl/bolognesa-18-e08.tptp.smt2 | 8317366 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.51752 | 0.508958 | 113176.0 | starexec-unknown | sat |
430495494 | qf_shls_entl/bolognesa-18-e09.tptp.smt2 | 8317357 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.757322 | 0.784493 | 414544.0 | starexec-unknown | sat |
430495308 | qf_shls_entl/bolognesa-18-e10.tptp.smt2 | 8317171 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.833324 | 0.824119 | 414500.0 | starexec-unknown | unsat |
430495334 | qf_shls_entl/bolognesa-19-e01.tptp.smt2 | 8317197 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 5.45217 | 5.44323 | 414520.0 | starexec-unknown | sat |
430495301 | qf_shls_entl/bolognesa-19-e02.tptp.smt2 | 8317164 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.858362 | 0.84966 | 414620.0 | starexec-unknown | sat |
430495313 | qf_shls_entl/bolognesa-19-e03.tptp.smt2 | 8317176 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.777612 | 0.768232 | 414756.0 | starexec-unknown | sat |
430495357 | qf_shls_entl/bolognesa-19-e04.tptp.smt2 | 8317220 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 1.27799 | 1.26928 | 414288.0 | starexec-unknown | sat |
430495370 | qf_shls_entl/bolognesa-19-e05.tptp.smt2 | 8317233 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.940042 | 0.931237 | 414544.0 | starexec-unknown | unsat |
430495342 | qf_shls_entl/bolognesa-19-e06.tptp.smt2 | 8317205 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.900894 | 0.892165 | 414288.0 | starexec-unknown | unsat |
430495351 | qf_shls_entl/bolognesa-19-e07.tptp.smt2 | 8317214 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.841643 | 0.833419 | 414288.0 | starexec-unknown | sat |
430495414 | qf_shls_entl/bolognesa-19-e08.tptp.smt2 | 8317277 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.679336 | 0.670124 | 414544.0 | starexec-unknown | unsat |
430495405 | qf_shls_entl/bolognesa-19-e09.tptp.smt2 | 8317268 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.555702 | 0.548225 | 113176.0 | starexec-unknown | sat |
430495583 | qf_shls_entl/bolognesa-19-e10.tptp.smt2 | 8317446 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.969534 | 0.960679 | 414756.0 | starexec-unknown | unsat |
430495303 | qf_shls_entl/bolognesa-20-e01.tptp.smt2 | 8317166 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.499571 | 0.490945 | 113176.0 | starexec-unknown | sat |
430495331 | qf_shls_entl/bolognesa-20-e02.tptp.smt2 | 8317194 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 8.67781 | 8.66922 | 414544.0 | starexec-unknown | sat |
430495322 | qf_shls_entl/bolognesa-20-e03.tptp.smt2 | 8317185 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.843342 | 0.834859 | 414544.0 | starexec-unknown | sat |
430495350 | qf_shls_entl/bolognesa-20-e04.tptp.smt2 | 8317213 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.617125 | 0.608165 | 414756.0 | starexec-unknown | sat |
430495337 | qf_shls_entl/bolognesa-20-e05.tptp.smt2 | 8317200 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.73422 | 0.725569 | 414520.0 | starexec-unknown | sat |
430495372 | qf_shls_entl/bolognesa-20-e06.tptp.smt2 | 8317235 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.830898 | 0.821737 | 414620.0 | starexec-unknown | unsat |
430495360 | qf_shls_entl/bolognesa-20-e07.tptp.smt2 | 8317223 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.806111 | 0.796929 | 414620.0 | starexec-unknown | unsat |
430495380 | qf_shls_entl/bolognesa-20-e08.tptp.smt2 | 8317243 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.702814 | 0.693838 | 414612.0 | starexec-unknown | unsat |
430495393 | qf_shls_entl/bolognesa-20-e09.tptp.smt2 | 8317256 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.634282 | 0.625305 | 414620.0 | starexec-unknown | sat |
430495555 | qf_shls_entl/bolognesa-20-e10.tptp.smt2 | 8317418 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.804235 | 0.802112 | 414544.0 | starexec-unknown | unsat |
430495309 | qf_shls_entl/clones-01-e01.tptp.smt2 | 8317172 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011459 | 0.0111269 | 113176.0 | starexec-unknown | unsat |
430495317 | qf_shls_entl/clones-01-e02.tptp.smt2 | 8317180 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011768 | 0.0114209 | 113176.0 | starexec-unknown | unsat |
430495326 | qf_shls_entl/clones-01-e03.tptp.smt2 | 8317189 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.012076 | 0.011837 | 113176.0 | starexec-unknown | unsat |
430495344 | qf_shls_entl/clones-01-e04.tptp.smt2 | 8317207 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011524 | 0.0111891 | 113176.0 | starexec-unknown | unsat |
430495353 | qf_shls_entl/clones-01-e05.tptp.smt2 | 8317216 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.287455 | 0.281516 | 113176.0 | starexec-unknown | unsat |
430495367 | qf_shls_entl/clones-01-e06.tptp.smt2 | 8317230 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.01165 | 0.0113429 | 113176.0 | starexec-unknown | unsat |
430495377 | qf_shls_entl/clones-01-e07.tptp.smt2 | 8317240 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.286861 | 0.280967 | 113176.0 | starexec-unknown | sat |
430495398 | qf_shls_entl/clones-01-e08.tptp.smt2 | 8317261 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.74976 | 0.740549 | 414620.0 | starexec-unknown | sat |
430495390 | qf_shls_entl/clones-01-e09.tptp.smt2 | 8317253 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.290665 | 0.284548 | 113176.0 | starexec-unknown | sat |
430495570 | qf_shls_entl/clones-01-e10.tptp.smt2 | 8317433 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.28656 | 0.280698 | 113176.0 | starexec-unknown | sat |
430495462 | qf_shls_entl/clones-02-e01.tptp.smt2 | 8317325 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011406 | 0.0169959 | 0.0 | starexec-unknown | unsat |
430495470 | qf_shls_entl/clones-02-e02.tptp.smt2 | 8317333 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011837 | 0.0115169 | 113176.0 | starexec-unknown | unsat |
430495481 | qf_shls_entl/clones-02-e03.tptp.smt2 | 8317344 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011526 | 0.011196 | 113176.0 | starexec-unknown | unsat |
430495498 | qf_shls_entl/clones-02-e04.tptp.smt2 | 8317361 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011367 | 0.0111369 | 113176.0 | starexec-unknown | unsat |
430495504 | qf_shls_entl/clones-02-e05.tptp.smt2 | 8317367 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.292622 | 0.283519 | 113176.0 | starexec-unknown | unsat |
430495513 | qf_shls_entl/clones-02-e06.tptp.smt2 | 8317376 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011704 | 0.0114559 | 113176.0 | starexec-unknown | unsat |
430495521 | qf_shls_entl/clones-02-e07.tptp.smt2 | 8317384 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.30263 | 0.293485 | 113176.0 | starexec-unknown | sat |
430495535 | qf_shls_entl/clones-02-e08.tptp.smt2 | 8317398 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 1.7399 | 1.73082 | 414756.0 | starexec-unknown | sat |
430495528 | qf_shls_entl/clones-02-e09.tptp.smt2 | 8317391 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.303702 | 0.294751 | 113176.0 | starexec-unknown | sat |
430495431 | qf_shls_entl/clones-02-e10.tptp.smt2 | 8317294 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.303994 | 0.294932 | 113176.0 | starexec-unknown | sat |
430495443 | qf_shls_entl/clones-03-e01.tptp.smt2 | 8317306 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011686 | 0.011367 | 113176.0 | starexec-unknown | unsat |
430495420 | qf_shls_entl/clones-03-e02.tptp.smt2 | 8317283 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.012173 | 0.0118649 | 113176.0 | starexec-unknown | unsat |
430495428 | qf_shls_entl/clones-03-e03.tptp.smt2 | 8317291 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.01199 | 0.0116611 | 113176.0 | starexec-unknown | unsat |
430495408 | qf_shls_entl/clones-03-e04.tptp.smt2 | 8317271 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.01167 | 0.0113611 | 113176.0 | starexec-unknown | unsat |
430495415 | qf_shls_entl/clones-03-e05.tptp.smt2 | 8317278 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.291213 | 0.282145 | 113176.0 | starexec-unknown | unsat |
430495385 | qf_shls_entl/clones-03-e06.tptp.smt2 | 8317248 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011609 | 0.01125 | 113176.0 | starexec-unknown | unsat |
430495397 | qf_shls_entl/clones-03-e07.tptp.smt2 | 8317260 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.309672 | 0.300773 | 113176.0 | starexec-unknown | sat |
430495375 | qf_shls_entl/clones-03-e08.tptp.smt2 | 8317238 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 1.55937 | 1.55029 | 414620.0 | starexec-unknown | sat |
430495365 | qf_shls_entl/clones-03-e09.tptp.smt2 | 8317228 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.31271 | 0.303727 | 113176.0 | starexec-unknown | sat |
430495485 | qf_shls_entl/clones-03-e10.tptp.smt2 | 8317348 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.312038 | 0.337665 | 113176.0 | starexec-unknown | sat |
430495333 | qf_shls_entl/clones-04-e01.tptp.smt2 | 8317196 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011596 | 0.011336 | 113176.0 | starexec-unknown | unsat |
430495299 | qf_shls_entl/clones-04-e02.tptp.smt2 | 8317162 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011747 | 0.011456 | 113176.0 | starexec-unknown | unsat |
430495314 | qf_shls_entl/clones-04-e03.tptp.smt2 | 8317177 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011777 | 0.0114571 | 113176.0 | starexec-unknown | unsat |
430495359 | qf_shls_entl/clones-04-e04.tptp.smt2 | 8317222 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011896 | 0.0115751 | 113176.0 | starexec-unknown | unsat |
430495369 | qf_shls_entl/clones-04-e05.tptp.smt2 | 8317232 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.291496 | 0.282357 | 113176.0 | starexec-unknown | unsat |
430495340 | qf_shls_entl/clones-04-e06.tptp.smt2 | 8317203 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011687 | 0.01135 | 113176.0 | starexec-unknown | unsat |
430495352 | qf_shls_entl/clones-04-e07.tptp.smt2 | 8317215 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.319985 | 0.320684 | 113176.0 | starexec-unknown | sat |
430495413 | qf_shls_entl/clones-04-e08.tptp.smt2 | 8317276 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.709998 | 0.701172 | 414620.0 | starexec-unknown | sat |
430495406 | qf_shls_entl/clones-04-e09.tptp.smt2 | 8317269 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.323778 | 0.314425 | 113176.0 | starexec-unknown | sat |
430495584 | qf_shls_entl/clones-04-e10.tptp.smt2 | 8317447 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.319901 | 0.310747 | 113176.0 | starexec-unknown | sat |
430495569 | qf_shls_entl/clones-05-e01.tptp.smt2 | 8317432 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.01184 | 0.0115371 | 113176.0 | starexec-unknown | unsat |
430495577 | qf_shls_entl/clones-05-e02.tptp.smt2 | 8317440 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011379 | 0.0110371 | 113176.0 | starexec-unknown | unsat |
430495588 | qf_shls_entl/clones-05-e03.tptp.smt2 | 8317451 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011633 | 0.0113171 | 113176.0 | starexec-unknown | unsat |
430495525 | qf_shls_entl/clones-05-e04.tptp.smt2 | 8317388 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011415 | 0.0111071 | 113176.0 | starexec-unknown | unsat |
430495531 | qf_shls_entl/clones-05-e05.tptp.smt2 | 8317394 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.291554 | 0.282197 | 113176.0 | starexec-unknown | unsat |
430495541 | qf_shls_entl/clones-05-e06.tptp.smt2 | 8317404 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011656 | 0.0113609 | 113176.0 | starexec-unknown | unsat |
430495551 | qf_shls_entl/clones-05-e07.tptp.smt2 | 8317414 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.334406 | 0.360853 | 113176.0 | starexec-unknown | sat |
430495502 | qf_shls_entl/clones-05-e08.tptp.smt2 | 8317365 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.570721 | 0.561774 | 414552.0 | starexec-unknown | sat |
430495495 | qf_shls_entl/clones-05-e09.tptp.smt2 | 8317358 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.337721 | 0.328386 | 113176.0 | starexec-unknown | sat |
430495310 | qf_shls_entl/clones-05-e10.tptp.smt2 | 8317173 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.332748 | 0.324217 | 113176.0 | starexec-unknown | sat |
430495429 | qf_shls_entl/clones-06-e01.tptp.smt2 | 8317292 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.012418 | 0.0121101 | 113176.0 | starexec-unknown | unsat |
430495439 | qf_shls_entl/clones-06-e02.tptp.smt2 | 8317302 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011441 | 0.0111609 | 113176.0 | starexec-unknown | unsat |
430495452 | qf_shls_entl/clones-06-e03.tptp.smt2 | 8317315 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.012136 | 0.0117819 | 113176.0 | starexec-unknown | unsat |
430495381 | qf_shls_entl/clones-06-e04.tptp.smt2 | 8317244 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011757 | 0.011404 | 113176.0 | starexec-unknown | unsat |
430495391 | qf_shls_entl/clones-06-e05.tptp.smt2 | 8317254 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.294006 | 0.284603 | 113176.0 | starexec-unknown | unsat |
430495401 | qf_shls_entl/clones-06-e06.tptp.smt2 | 8317264 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011871 | 0.0115201 | 113176.0 | starexec-unknown | unsat |
430495412 | qf_shls_entl/clones-06-e07.tptp.smt2 | 8317275 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.348737 | 0.339531 | 113176.0 | starexec-unknown | sat |
430495348 | qf_shls_entl/clones-06-e08.tptp.smt2 | 8317211 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.636232 | 0.650755 | 414520.0 | starexec-unknown | sat |
430495338 | qf_shls_entl/clones-06-e09.tptp.smt2 | 8317201 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.348891 | 0.339837 | 113176.0 | starexec-unknown | sat |
430495463 | qf_shls_entl/clones-06-e10.tptp.smt2 | 8317326 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.352312 | 0.343476 | 113176.0 | starexec-unknown | sat |
430495483 | qf_shls_entl/clones-07-e01.tptp.smt2 | 8317346 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011225 | 0.010973 | 113176.0 | starexec-unknown | unsat |
430495457 | qf_shls_entl/clones-07-e02.tptp.smt2 | 8317320 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011227 | 0.010946 | 113176.0 | starexec-unknown | unsat |
430495468 | qf_shls_entl/clones-07-e03.tptp.smt2 | 8317331 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.012099 | 0.011757 | 113176.0 | starexec-unknown | unsat |
430495510 | qf_shls_entl/clones-07-e04.tptp.smt2 | 8317373 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011586 | 0.011278 | 113176.0 | starexec-unknown | unsat |
430495518 | qf_shls_entl/clones-07-e05.tptp.smt2 | 8317381 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.292804 | 0.283976 | 113176.0 | starexec-unknown | unsat |
430495490 | qf_shls_entl/clones-07-e06.tptp.smt2 | 8317353 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011472 | 0.011116 | 113176.0 | starexec-unknown | unsat |
430495500 | qf_shls_entl/clones-07-e07.tptp.smt2 | 8317363 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.371789 | 0.362746 | 113176.0 | starexec-unknown | sat |
430495547 | qf_shls_entl/clones-07-e08.tptp.smt2 | 8317410 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.71567 | 0.706487 | 414288.0 | starexec-unknown | sat |
430495538 | qf_shls_entl/clones-07-e09.tptp.smt2 | 8317401 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.369603 | 0.360494 | 113176.0 | starexec-unknown | sat |
430495445 | qf_shls_entl/clones-07-e10.tptp.smt2 | 8317308 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.369262 | 0.360137 | 113176.0 | starexec-unknown | sat |
430495491 | qf_shls_entl/clones-08-e01.tptp.smt2 | 8317354 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011635 | 0.0113189 | 113176.0 | starexec-unknown | unsat |
430495517 | qf_shls_entl/clones-08-e02.tptp.smt2 | 8317380 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011507 | 0.011193 | 113176.0 | starexec-unknown | unsat |
430495509 | qf_shls_entl/clones-08-e03.tptp.smt2 | 8317372 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011322 | 0.0110981 | 113176.0 | starexec-unknown | unsat |
430495469 | qf_shls_entl/clones-08-e04.tptp.smt2 | 8317332 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011993 | 0.0122291 | 0.0 | starexec-unknown | unsat |
430495458 | qf_shls_entl/clones-08-e05.tptp.smt2 | 8317321 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.291668 | 0.282123 | 113176.0 | starexec-unknown | unsat |
430495482 | qf_shls_entl/clones-08-e06.tptp.smt2 | 8317345 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011489 | 0.011178 | 113176.0 | starexec-unknown | unsat |
430495476 | qf_shls_entl/clones-08-e07.tptp.smt2 | 8317339 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.391422 | 0.381983 | 113176.0 | starexec-unknown | sat |
430495558 | qf_shls_entl/clones-08-e08.tptp.smt2 | 8317421 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.804591 | 0.79537 | 414756.0 | starexec-unknown | sat |
430495567 | qf_shls_entl/clones-08-e09.tptp.smt2 | 8317430 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.396209 | 0.387037 | 113176.0 | starexec-unknown | sat |
430495387 | qf_shls_entl/clones-08-e10.tptp.smt2 | 8317250 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.394748 | 0.385762 | 113176.0 | starexec-unknown | sat |
430495400 | qf_shls_entl/clones-09-e01.tptp.smt2 | 8317263 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011277 | 0.01105 | 113176.0 | starexec-unknown | unsat |
430495392 | qf_shls_entl/clones-09-e02.tptp.smt2 | 8317255 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011923 | 0.0116609 | 113176.0 | starexec-unknown | unsat |
430495382 | qf_shls_entl/clones-09-e03.tptp.smt2 | 8317245 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011248 | 0.0109429 | 0.0 | starexec-unknown | unsat |
430495451 | qf_shls_entl/clones-09-e04.tptp.smt2 | 8317314 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.012029 | 0.0117699 | 113176.0 | starexec-unknown | unsat |
430495438 | qf_shls_entl/clones-09-e05.tptp.smt2 | 8317301 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.292455 | 0.283373 | 113176.0 | starexec-unknown | unsat |
430495430 | qf_shls_entl/clones-09-e06.tptp.smt2 | 8317293 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011734 | 0.0114509 | 113176.0 | starexec-unknown | unsat |
430495424 | qf_shls_entl/clones-09-e07.tptp.smt2 | 8317287 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.414198 | 0.405456 | 113176.0 | starexec-unknown | sat |
430495320 | qf_shls_entl/clones-09-e08.tptp.smt2 | 8317183 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.910732 | 0.901702 | 414620.0 | starexec-unknown | sat |
430495332 | qf_shls_entl/clones-09-e09.tptp.smt2 | 8317195 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.41526 | 0.406439 | 113176.0 | starexec-unknown | sat |
430495514 | qf_shls_entl/clones-09-e10.tptp.smt2 | 8317377 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.418295 | 0.409109 | 113176.0 | starexec-unknown | sat |
430495327 | qf_shls_entl/clones-10-e01.tptp.smt2 | 8317190 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011562 | 0.0112621 | 113176.0 | starexec-unknown | unsat |
430495295 | qf_shls_entl/clones-10-e02.tptp.smt2 | 8317158 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011414 | 0.011057 | 113176.0 | starexec-unknown | unsat |
430495307 | qf_shls_entl/clones-10-e03.tptp.smt2 | 8317170 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011393 | 0.0110899 | 113176.0 | starexec-unknown | unsat |
430495364 | qf_shls_entl/clones-10-e04.tptp.smt2 | 8317227 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011756 | 0.01145 | 113176.0 | starexec-unknown | unsat |
430495374 | qf_shls_entl/clones-10-e05.tptp.smt2 | 8317237 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.294642 | 0.310348 | 113176.0 | starexec-unknown | unsat |
430495345 | qf_shls_entl/clones-10-e06.tptp.smt2 | 8317208 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011629 | 0.0113301 | 113176.0 | starexec-unknown | unsat |
430495356 | qf_shls_entl/clones-10-e07.tptp.smt2 | 8317219 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.449448 | 0.440227 | 113176.0 | starexec-unknown | sat |
430495417 | qf_shls_entl/clones-10-e08.tptp.smt2 | 8317280 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 1.01087 | 1.00212 | 414544.0 | starexec-unknown | sat |
430495410 | qf_shls_entl/clones-10-e09.tptp.smt2 | 8317273 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.455257 | 0.44626 | 113176.0 | starexec-unknown | sat |
430495590 | qf_shls_entl/clones-10-e10.tptp.smt2 | 8317453 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.452651 | 0.506579 | 113176.0 | starexec-unknown | sat |
430495573 | qf_shls_entl/ls-vc01.smt2 | 8317436 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.288493 | 0.279996 | 113176.0 | starexec-unknown | sat |
430495404 | qf_shls_entl/ls-vc02.smt2 | 8317267 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.726751 | 0.718314 | 414756.0 | starexec-unknown | sat |
430495362 | qf_shls_entl/ls-vc03.smt2 | 8317225 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 1.37339 | 1.36429 | 414520.0 | starexec-unknown | sat |
430495456 | qf_shls_entl/ls-vc04.smt2 | 8317319 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.288574 | 0.286181 | 113176.0 | starexec-unknown | sat |
430495560 | qf_shls_entl/ls-vc05.smt2 | 8317423 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.286085 | 0.277015 | 113176.0 | unsat | unsat |
430495389 | qf_shls_entl/ls-vc06.smt2 | 8317252 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.447562 | 0.439262 | 113176.0 | starexec-unknown | sat |
430495347 | qf_shls_entl/ls-vc07.smt2 | 8317210 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.450631 | 0.441445 | 113176.0 | starexec-unknown | sat |
430495516 | qf_shls_entl/ls-vc08.smt2 | 8317379 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.287178 | 0.278261 | 113176.0 | starexec-unknown | unsat |
430495548 | qf_shls_entl/ls-vc09.smt2 | 8317411 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.286529 | 0.280609 | 113176.0 | starexec-unknown | unsat |
430495378 | qf_shls_entl/smallfoot-vc01.tptp.smt2 | 8317241 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011399 | 0.011188 | 113176.0 | starexec-unknown | unsat |
430495411 | qf_shls_entl/smallfoot-vc02.tptp.smt2 | 8317274 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011733 | 0.0114329 | 113176.0 | starexec-unknown | unsat |
430495403 | qf_shls_entl/smallfoot-vc03.tptp.smt2 | 8317266 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.01195 | 0.0116119 | 113176.0 | starexec-unknown | unsat |
430495432 | qf_shls_entl/smallfoot-vc04.tptp.smt2 | 8317295 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011582 | 0.0112479 | 113176.0 | starexec-unknown | unsat |
430495422 | qf_shls_entl/smallfoot-vc05.tptp.smt2 | 8317285 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011322 | 0.0111059 | 113176.0 | starexec-unknown | unsat |
430495449 | qf_shls_entl/smallfoot-vc06.tptp.smt2 | 8317312 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.012051 | 0.0117669 | 113176.0 | starexec-unknown | unsat |
430495442 | qf_shls_entl/smallfoot-vc07.tptp.smt2 | 8317305 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011802 | 0.0115191 | 113176.0 | starexec-unknown | unsat |
430495302 | qf_shls_entl/smallfoot-vc08.tptp.smt2 | 8317165 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.012242 | 0.0118501 | 113176.0 | starexec-unknown | unsat |
430495316 | qf_shls_entl/smallfoot-vc09.tptp.smt2 | 8317179 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.289221 | 0.279961 | 113176.0 | starexec-unknown | unsat |
430495497 | qf_shls_entl/smallfoot-vc10.tptp.smt2 | 8317360 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.290724 | 0.281761 | 113176.0 | starexec-unknown | unsat |
430495505 | qf_shls_entl/smallfoot-vc11.tptp.smt2 | 8317368 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.290015 | 0.281057 | 113176.0 | starexec-unknown | unsat |
430495511 | qf_shls_entl/smallfoot-vc12.tptp.smt2 | 8317374 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.287576 | 0.278203 | 113176.0 | starexec-unknown | unsat |
430495522 | qf_shls_entl/smallfoot-vc13.tptp.smt2 | 8317385 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.287909 | 0.278837 | 113176.0 | starexec-unknown | unsat |
430495454 | qf_shls_entl/smallfoot-vc14.tptp.smt2 | 8317317 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011255 | 0.0110039 | 113176.0 | starexec-unknown | unsat |
430495461 | qf_shls_entl/smallfoot-vc15.tptp.smt2 | 8317324 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011975 | 0.036802 | 0.0 | starexec-unknown | unsat |
430495471 | qf_shls_entl/smallfoot-vc16.tptp.smt2 | 8317334 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.29147 | 0.327512 | 113176.0 | starexec-unknown | unsat |
430495480 | qf_shls_entl/smallfoot-vc17.tptp.smt2 | 8317343 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011712 | 0.011482 | 113176.0 | starexec-unknown | unsat |
430495564 | qf_shls_entl/smallfoot-vc18.tptp.smt2 | 8317427 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.287389 | 0.278447 | 113176.0 | starexec-unknown | unsat |
430495557 | qf_shls_entl/smallfoot-vc19.tptp.smt2 | 8317420 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.012042 | 0.011729 | 113176.0 | starexec-unknown | unsat |
430495297 | qf_shls_entl/smallfoot-vc20.tptp.smt2 | 8317160 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011945 | 0.011627 | 113176.0 | starexec-unknown | unsat |
430495305 | qf_shls_entl/smallfoot-vc21.tptp.smt2 | 8317168 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.287472 | 0.278616 | 113176.0 | starexec-unknown | unsat |
430495319 | qf_shls_entl/smallfoot-vc22.tptp.smt2 | 8317182 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.023648 | 0.018818 | 113176.0 | starexec-unknown | sat |
430495328 | qf_shls_entl/smallfoot-vc23.tptp.smt2 | 8317191 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.28637 | 0.279413 | 113176.0 | starexec-unknown | sat |
430495346 | qf_shls_entl/smallfoot-vc24.tptp.smt2 | 8317209 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.288999 | 0.281488 | 113176.0 | starexec-unknown | unsat |
430495355 | qf_shls_entl/smallfoot-vc25.tptp.smt2 | 8317218 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.286101 | 0.278175 | 113176.0 | starexec-unknown | unsat |
430495363 | qf_shls_entl/smallfoot-vc26.tptp.smt2 | 8317226 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.284075 | 0.278545 | 113176.0 | starexec-unknown | unsat |
430495376 | qf_shls_entl/smallfoot-vc27.tptp.smt2 | 8317239 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011899 | 0.011567 | 113176.0 | starexec-unknown | unsat |
430495395 | qf_shls_entl/smallfoot-vc28.tptp.smt2 | 8317258 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.289686 | 0.282268 | 113176.0 | starexec-unknown | unsat |
430495386 | qf_shls_entl/smallfoot-vc29.tptp.smt2 | 8317249 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.289582 | 0.283523 | 113176.0 | starexec-unknown | sat |
430495568 | qf_shls_entl/smallfoot-vc30.tptp.smt2 | 8317431 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.28603 | 0.28012 | 113176.0 | starexec-unknown | sat |
430495559 | qf_shls_entl/smallfoot-vc31.tptp.smt2 | 8317422 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.294668 | 0.314545 | 113176.0 | starexec-unknown | sat |
430495589 | qf_shls_entl/smallfoot-vc32.tptp.smt2 | 8317452 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.290961 | 0.285035 | 113176.0 | starexec-unknown | sat |
430495580 | qf_shls_entl/smallfoot-vc33.tptp.smt2 | 8317443 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.29017 | 0.282608 | 113176.0 | starexec-unknown | sat |
430495534 | qf_shls_entl/smallfoot-vc34.tptp.smt2 | 8317397 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.311511 | 0.298647 | 113176.0 | starexec-unknown | unsat |
430495526 | qf_shls_entl/smallfoot-vc35.tptp.smt2 | 8317389 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.285354 | 0.279134 | 113176.0 | starexec-unknown | sat |
430495546 | qf_shls_entl/smallfoot-vc36.tptp.smt2 | 8317409 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.284779 | 0.278922 | 113176.0 | starexec-unknown | unsat |
430495539 | qf_shls_entl/smallfoot-vc37.tptp.smt2 | 8317402 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.746974 | 0.737708 | 414756.0 | starexec-unknown | sat |
430495489 | qf_shls_entl/smallfoot-vc38.tptp.smt2 | 8317352 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.305613 | 0.295003 | 113176.0 | starexec-unknown | unsat |
430495501 | qf_shls_entl/smallfoot-vc39.tptp.smt2 | 8317364 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.290714 | 0.324041 | 113176.0 | starexec-unknown | sat |
430495553 | qf_shls_entl/smallfoot-vc40.tptp.smt2 | 8317416 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.308326 | 0.313503 | 113176.0 | starexec-unknown | sat |
430495545 | qf_shls_entl/smallfoot-vc41.tptp.smt2 | 8317408 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.299599 | 0.288531 | 113176.0 | starexec-unknown | unsat |
430495536 | qf_shls_entl/smallfoot-vc42.tptp.smt2 | 8317399 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.29821 | 0.287407 | 113176.0 | starexec-unknown | unsat |
430495527 | qf_shls_entl/smallfoot-vc43.tptp.smt2 | 8317390 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.306853 | 0.311045 | 113176.0 | starexec-unknown | sat |
430495581 | qf_shls_entl/smallfoot-vc44.tptp.smt2 | 8317444 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.290472 | 0.28136 | 113176.0 | starexec-unknown | unsat |
430495575 | qf_shls_entl/smallfoot-vc45.tptp.smt2 | 8317438 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.302612 | 0.291374 | 113176.0 | starexec-unknown | unsat |
430495565 | qf_shls_entl/smallfoot-vc46.tptp.smt2 | 8317428 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.298997 | 0.287925 | 113176.0 | starexec-unknown | unsat |
430495556 | qf_shls_entl/smallfoot-vc47.tptp.smt2 | 8317419 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011536 | 0.0112409 | 113176.0 | starexec-unknown | unsat |
430495472 | qf_shls_entl/smallfoot-vc48.tptp.smt2 | 8317335 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.290067 | 0.280804 | 113176.0 | starexec-unknown | unsat |
430495479 | qf_shls_entl/smallfoot-vc49.tptp.smt2 | 8317342 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.290227 | 0.281133 | 113176.0 | starexec-unknown | sat |
430495361 | qf_shls_entl/smallfoot-vc50.tptp.smt2 | 8317224 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.297243 | 0.287095 | 113176.0 | starexec-unknown | unsat |
430495373 | qf_shls_entl/smallfoot-vc51.tptp.smt2 | 8317236 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.290245 | 0.281172 | 113176.0 | starexec-unknown | unsat |
430495336 | qf_shls_entl/smallfoot-vc52.tptp.smt2 | 8317199 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.286846 | 0.277927 | 113176.0 | starexec-unknown | unsat |
430495349 | qf_shls_entl/smallfoot-vc53.tptp.smt2 | 8317212 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.291026 | 0.282524 | 113176.0 | starexec-unknown | unsat |
430495321 | qf_shls_entl/smallfoot-vc54.tptp.smt2 | 8317184 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.023191 | 0.0183711 | 113176.0 | starexec-unknown | sat |
430495330 | qf_shls_entl/smallfoot-vc55.tptp.smt2 | 8317193 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.299802 | 0.289728 | 113176.0 | starexec-unknown | unsat |
430495304 | qf_shls_entl/smallfoot-vc56.tptp.smt2 | 8317167 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.300372 | 0.289445 | 113176.0 | starexec-unknown | sat |
430495315 | qf_shls_entl/smallfoot-vc57.tptp.smt2 | 8317178 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.287441 | 0.278569 | 113176.0 | starexec-unknown | sat |
430495450 | qf_shls_entl/smallfoot-vc58.tptp.smt2 | 8317313 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.28813 | 0.279763 | 113176.0 | starexec-unknown | unsat |
430495440 | qf_shls_entl/smallfoot-vc59.tptp.smt2 | 8317303 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.287138 | 0.2781 | 113176.0 | starexec-unknown | unsat |
430495475 | qf_shls_entl/smallfoot-vc60.tptp.smt2 | 8317338 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.2962 | 0.285797 | 113176.0 | starexec-unknown | unsat |
430495484 | qf_shls_entl/smallfoot-vc61.tptp.smt2 | 8317347 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.301909 | 0.292017 | 113176.0 | starexec-unknown | sat |
430495460 | qf_shls_entl/smallfoot-vc62.tptp.smt2 | 8317323 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.012014 | 0.0192789 | 113176.0 | starexec-unknown | unsat |
430495466 | qf_shls_entl/smallfoot-vc63.tptp.smt2 | 8317329 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.298723 | 0.325774 | 113176.0 | starexec-unknown | unsat |
430495507 | qf_shls_entl/smallfoot-vc64.tptp.smt2 | 8317370 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.01199 | 0.011642 | 113176.0 | starexec-unknown | unsat |
430495520 | qf_shls_entl/smallfoot-vc65.tptp.smt2 | 8317383 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.300256 | 0.289397 | 113176.0 | starexec-unknown | unsat |
430495492 | qf_shls_entl/smallfoot-vc66.tptp.smt2 | 8317355 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.28912 | 0.280238 | 113176.0 | starexec-unknown | unsat |
430495499 | qf_shls_entl/smallfoot-vc67.tptp.smt2 | 8317362 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.297755 | 0.28696 | 113176.0 | starexec-unknown | unsat |
430495549 | qf_shls_entl/smallfoot-vc68.tptp.smt2 | 8317412 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.297423 | 0.286825 | 113176.0 | starexec-unknown | sat |
430495537 | qf_shls_entl/smallfoot-vc69.tptp.smt2 | 8317400 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.035706 | 0.0288319 | 113176.0 | starexec-unknown | sat |
430495444 | qf_shls_entl/smallfoot-vc70.tptp.smt2 | 8317307 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.324149 | 0.367269 | 113176.0 | starexec-unknown | sat |
430495436 | qf_shls_entl/smallfoot-vc71.tptp.smt2 | 8317299 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.285797 | 0.278303 | 113176.0 | starexec-unknown | unsat |
430495427 | qf_shls_entl/smallfoot-vc72.tptp.smt2 | 8317290 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.286428 | 0.279191 | 113176.0 | starexec-unknown | sat |
430495419 | qf_shls_entl/smallfoot-vc73.tptp.smt2 | 8317282 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.286271 | 0.278945 | 113176.0 | starexec-unknown | sat |
430495416 | qf_shls_entl/smallfoot-vc74.tptp.smt2 | 8317279 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.30591 | 0.318127 | 113176.0 | starexec-unknown | unsat |
430495409 | qf_shls_entl/smallfoot-vc75.tptp.smt2 | 8317272 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.284845 | 0.278994 | 113176.0 | starexec-unknown | unsat |
430495396 | qf_shls_entl/smallfoot-vc76.tptp.smt2 | 8317259 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.301751 | 0.290888 | 113176.0 | starexec-unknown | sat |
430495384 | qf_shls_entl/smallfoot-vc77.tptp.smt2 | 8317247 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.011628 | 0.011429 | 113176.0 | starexec-unknown | unsat |