430512152 | qf_shls_entl/bolognesa-10-e01.tptp.smt2 | 8317378 | SPEN | 22607 | qf_shls | 326476 | complete | 0.055854 | 0.0544889 | 113176.0 | sat | sat |
430512143 | qf_shls_entl/bolognesa-10-e02.tptp.smt2 | 8317369 | SPEN | 22607 | qf_shls | 326476 | complete | 0.042272 | 0.040993 | 113176.0 | unsat | unsat |
430512133 | qf_shls_entl/bolognesa-10-e03.tptp.smt2 | 8317359 | SPEN | 22607 | qf_shls | 326476 | complete | 0.053074 | 0.0518979 | 113176.0 | unsat | unsat |
430512115 | qf_shls_entl/bolognesa-10-e04.tptp.smt2 | 8317341 | SPEN | 22607 | qf_shls | 326476 | complete | 0.053379 | 0.0521001 | 113176.0 | sat | sat |
430512110 | qf_shls_entl/bolognesa-10-e05.tptp.smt2 | 8317336 | SPEN | 22607 | qf_shls | 326476 | complete | 0.045798 | 0.0444911 | 113176.0 | sat | sat |
430512101 | qf_shls_entl/bolognesa-10-e06.tptp.smt2 | 8317327 | SPEN | 22607 | qf_shls | 326476 | complete | 0.042448 | 0.041178 | 113176.0 | sat | sat |
430512090 | qf_shls_entl/bolognesa-10-e07.tptp.smt2 | 8317316 | SPEN | 22607 | qf_shls | 326476 | complete | 0.049673 | 0.0483811 | 113176.0 | sat | sat |
430512211 | qf_shls_entl/bolognesa-10-e08.tptp.smt2 | 8317437 | SPEN | 22607 | qf_shls | 326476 | complete | 0.046416 | 0.0450869 | 113176.0 | sat | sat |
430512219 | qf_shls_entl/bolognesa-10-e09.tptp.smt2 | 8317445 | SPEN | 22607 | qf_shls | 326476 | complete | 0.054818 | 0.053514 | 113176.0 | sat | sat |
430512036 | qf_shls_entl/bolognesa-10-e10.tptp.smt2 | 8317262 | SPEN | 22607 | qf_shls | 326476 | complete | 0.053402 | 0.052249 | 113176.0 | unsat | unsat |
430512025 | qf_shls_entl/bolognesa-11-e01.tptp.smt2 | 8317251 | SPEN | 22607 | qf_shls | 326476 | complete | 0.054037 | 0.052724 | 113176.0 | unsat | unsat |
430512055 | qf_shls_entl/bolognesa-11-e02.tptp.smt2 | 8317281 | SPEN | 22607 | qf_shls | 326476 | complete | 0.046575 | 0.0453011 | 113176.0 | unsat | unsat |
430512044 | qf_shls_entl/bolognesa-11-e03.tptp.smt2 | 8317270 | SPEN | 22607 | qf_shls | 326476 | complete | 0.065363 | 0.0641479 | 113176.0 | unsat | unsat |
430512063 | qf_shls_entl/bolognesa-11-e04.tptp.smt2 | 8317289 | SPEN | 22607 | qf_shls | 326476 | complete | 0.05872 | 0.057509 | 113176.0 | unsat | unsat |
430512058 | qf_shls_entl/bolognesa-11-e05.tptp.smt2 | 8317284 | SPEN | 22607 | qf_shls | 326476 | complete | 0.05428 | 0.0530201 | 113176.0 | sat | sat |
430512083 | qf_shls_entl/bolognesa-11-e06.tptp.smt2 | 8317309 | SPEN | 22607 | qf_shls | 326476 | complete | 0.055866 | 0.05451 | 113176.0 | sat | sat |
430512072 | qf_shls_entl/bolognesa-11-e07.tptp.smt2 | 8317298 | SPEN | 22607 | qf_shls | 326476 | complete | 0.052272 | 0.051055 | 113176.0 | unsat | unsat |
430511933 | qf_shls_entl/bolognesa-11-e08.tptp.smt2 | 8317159 | SPEN | 22607 | qf_shls | 326476 | complete | 0.044852 | 0.0435461 | 113176.0 | unsat | unsat |
430511943 | qf_shls_entl/bolognesa-11-e09.tptp.smt2 | 8317169 | SPEN | 22607 | qf_shls | 326476 | complete | 0.049161 | 0.048004 | 113176.0 | unsat | unsat |
430512125 | qf_shls_entl/bolognesa-11-e10.tptp.smt2 | 8317351 | SPEN | 22607 | qf_shls | 326476 | complete | 0.056667 | 0.0554259 | 113176.0 | sat | sat |
430512167 | qf_shls_entl/bolognesa-12-e01.tptp.smt2 | 8317393 | SPEN | 22607 | qf_shls | 326476 | complete | 0.055404 | 0.0543241 | 113176.0 | unsat | unsat |
430512189 | qf_shls_entl/bolognesa-12-e02.tptp.smt2 | 8317415 | SPEN | 22607 | qf_shls | 326476 | complete | 0.058233 | 0.0569901 | 113176.0 | sat | sat |
430512181 | qf_shls_entl/bolognesa-12-e03.tptp.smt2 | 8317407 | SPEN | 22607 | qf_shls | 326476 | complete | 0.070472 | 0.0692611 | 113176.0 | sat | sat |
430512200 | qf_shls_entl/bolognesa-12-e04.tptp.smt2 | 8317426 | SPEN | 22607 | qf_shls | 326476 | complete | 0.068314 | 0.0671121 | 113176.0 | sat | sat |
430512191 | qf_shls_entl/bolognesa-12-e05.tptp.smt2 | 8317417 | SPEN | 22607 | qf_shls | 326476 | complete | 0.052842 | 0.0515939 | 113176.0 | unsat | unsat |
430512222 | qf_shls_entl/bolognesa-12-e06.tptp.smt2 | 8317448 | SPEN | 22607 | qf_shls | 326476 | complete | 0.044323 | 0.0430599 | 113176.0 | unsat | unsat |
430512213 | qf_shls_entl/bolognesa-12-e07.tptp.smt2 | 8317439 | SPEN | 22607 | qf_shls | 326476 | complete | 0.051268 | 0.049987 | 113176.0 | sat | sat |
430512092 | qf_shls_entl/bolognesa-12-e08.tptp.smt2 | 8317318 | SPEN | 22607 | qf_shls | 326476 | complete | 0.058351 | 0.0572141 | 113176.0 | unsat | unsat |
430512102 | qf_shls_entl/bolognesa-12-e09.tptp.smt2 | 8317328 | SPEN | 22607 | qf_shls | 326476 | complete | 0.055282 | 0.054023 | 113176.0 | unsat | unsat |
430511976 | qf_shls_entl/bolognesa-12-e10.tptp.smt2 | 8317202 | SPEN | 22607 | qf_shls | 326476 | complete | 0.055136 | 0.0539171 | 113176.0 | unsat | unsat |
430512005 | qf_shls_entl/bolognesa-13-e01.tptp.smt2 | 8317231 | SPEN | 22607 | qf_shls | 326476 | complete | 0.074455 | 0.073191 | 113176.0 | unsat | unsat |
430511991 | qf_shls_entl/bolognesa-13-e02.tptp.smt2 | 8317217 | SPEN | 22607 | qf_shls | 326476 | complete | 0.073776 | 0.083185 | 113176.0 | sat | sat |
430511980 | qf_shls_entl/bolognesa-13-e03.tptp.smt2 | 8317206 | SPEN | 22607 | qf_shls | 326476 | complete | 0.056153 | 0.0549429 | 113176.0 | unsat | unsat |
430511962 | qf_shls_entl/bolognesa-13-e04.tptp.smt2 | 8317188 | SPEN | 22607 | qf_shls | 326476 | complete | 0.064751 | 0.063467 | 113176.0 | sat | sat |
430511955 | qf_shls_entl/bolognesa-13-e05.tptp.smt2 | 8317181 | SPEN | 22607 | qf_shls | 326476 | complete | 0.066356 | 0.0651219 | 113176.0 | sat | sat |
430511948 | qf_shls_entl/bolognesa-13-e06.tptp.smt2 | 8317174 | SPEN | 22607 | qf_shls | 326476 | complete | 0.058977 | 0.057751 | 113176.0 | sat | sat |
430511935 | qf_shls_entl/bolognesa-13-e07.tptp.smt2 | 8317161 | SPEN | 22607 | qf_shls | 326476 | complete | 0.080278 | 0.0790231 | 113176.0 | unsat | unsat |
430512074 | qf_shls_entl/bolognesa-13-e08.tptp.smt2 | 8317300 | SPEN | 22607 | qf_shls | 326476 | complete | 0.051407 | 0.050189 | 113176.0 | unsat | unsat |
430512084 | qf_shls_entl/bolognesa-13-e09.tptp.smt2 | 8317310 | SPEN | 22607 | qf_shls | 326476 | complete | 0.053022 | 0.0517751 | 113176.0 | sat | sat |
430512177 | qf_shls_entl/bolognesa-13-e10.tptp.smt2 | 8317403 | SPEN | 22607 | qf_shls | 326476 | complete | 0.078838 | 0.0775911 | 113176.0 | sat | sat |
430512039 | qf_shls_entl/bolognesa-14-e01.tptp.smt2 | 8317265 | SPEN | 22607 | qf_shls | 326476 | complete | 0.052788 | 0.0515261 | 113176.0 | unsat | unsat |
430512031 | qf_shls_entl/bolognesa-14-e02.tptp.smt2 | 8317257 | SPEN | 22607 | qf_shls | 326476 | complete | 0.060036 | 0.0587881 | 113176.0 | unsat | unsat |
430512016 | qf_shls_entl/bolognesa-14-e03.tptp.smt2 | 8317242 | SPEN | 22607 | qf_shls | 326476 | complete | 0.071668 | 0.070438 | 113176.0 | unsat | unsat |
430512085 | qf_shls_entl/bolognesa-14-e04.tptp.smt2 | 8317311 | SPEN | 22607 | qf_shls | 326476 | complete | 0.062218 | 0.061015 | 113176.0 | unsat | unsat |
430512078 | qf_shls_entl/bolognesa-14-e05.tptp.smt2 | 8317304 | SPEN | 22607 | qf_shls | 326476 | complete | 0.094481 | 0.0932621 | 113176.0 | sat | sat |
430512070 | qf_shls_entl/bolognesa-14-e06.tptp.smt2 | 8317296 | SPEN | 22607 | qf_shls | 326476 | complete | 0.067164 | 0.065951 | 113176.0 | unsat | unsat |
430512060 | qf_shls_entl/bolognesa-14-e07.tptp.smt2 | 8317286 | SPEN | 22607 | qf_shls | 326476 | complete | 0.071602 | 0.0703241 | 113176.0 | unsat | unsat |
430511960 | qf_shls_entl/bolognesa-14-e08.tptp.smt2 | 8317186 | SPEN | 22607 | qf_shls | 326476 | complete | 0.075473 | 0.0741561 | 113176.0 | unsat | unsat |
430511966 | qf_shls_entl/bolognesa-14-e09.tptp.smt2 | 8317192 | SPEN | 22607 | qf_shls | 326476 | complete | 0.082369 | 0.081038 | 113176.0 | unsat | unsat |
430512149 | qf_shls_entl/bolognesa-14-e10.tptp.smt2 | 8317375 | SPEN | 22607 | qf_shls | 326476 | complete | 0.093588 | 0.092363 | 113176.0 | sat | sat |
430512130 | qf_shls_entl/bolognesa-15-e01.tptp.smt2 | 8317356 | SPEN | 22607 | qf_shls | 326476 | complete | 0.071318 | 0.0700371 | 113176.0 | unsat | unsat |
430512156 | qf_shls_entl/bolognesa-15-e02.tptp.smt2 | 8317382 | SPEN | 22607 | qf_shls | 326476 | complete | 0.128051 | 0.126675 | 113176.0 | unsat | unsat |
430512145 | qf_shls_entl/bolognesa-15-e03.tptp.smt2 | 8317371 | SPEN | 22607 | qf_shls | 326476 | complete | 0.088632 | 0.0873451 | 113176.0 | sat | sat |
430512104 | qf_shls_entl/bolognesa-15-e04.tptp.smt2 | 8317330 | SPEN | 22607 | qf_shls | 326476 | complete | 0.082133 | 0.080791 | 113176.0 | unsat | unsat |
430512096 | qf_shls_entl/bolognesa-15-e05.tptp.smt2 | 8317322 | SPEN | 22607 | qf_shls | 326476 | complete | 0.099558 | 0.0984301 | 113176.0 | unsat | unsat |
430512123 | qf_shls_entl/bolognesa-15-e06.tptp.smt2 | 8317349 | SPEN | 22607 | qf_shls | 326476 | complete | 0.12352 | 0.122242 | 113176.0 | unsat | unsat |
430512111 | qf_shls_entl/bolognesa-15-e07.tptp.smt2 | 8317337 | SPEN | 22607 | qf_shls | 326476 | complete | 0.082587 | 0.081302 | 113176.0 | unsat | unsat |
430512198 | qf_shls_entl/bolognesa-15-e08.tptp.smt2 | 8317424 | SPEN | 22607 | qf_shls | 326476 | complete | 0.08901 | 0.0880869 | 113176.0 | sat | sat |
430512203 | qf_shls_entl/bolognesa-15-e09.tptp.smt2 | 8317429 | SPEN | 22607 | qf_shls | 326476 | complete | 0.159504 | 0.158289 | 113176.0 | sat | sat |
430512020 | qf_shls_entl/bolognesa-15-e10.tptp.smt2 | 8317246 | SPEN | 22607 | qf_shls | 326476 | complete | 0.083379 | 0.082034 | 113176.0 | unsat | unsat |
430511978 | qf_shls_entl/bolognesa-16-e01.tptp.smt2 | 8317204 | SPEN | 22607 | qf_shls | 326476 | complete | 0.094054 | 0.092712 | 113176.0 | unsat | unsat |
430512008 | qf_shls_entl/bolognesa-16-e02.tptp.smt2 | 8317234 | SPEN | 22607 | qf_shls | 326476 | complete | 0.111141 | 0.10998 | 113176.0 | sat | sat |
430511995 | qf_shls_entl/bolognesa-16-e03.tptp.smt2 | 8317221 | SPEN | 22607 | qf_shls | 326476 | complete | 0.118348 | 0.117091 | 113176.0 | sat | sat |
430511949 | qf_shls_entl/bolognesa-16-e04.tptp.smt2 | 8317175 | SPEN | 22607 | qf_shls | 326476 | complete | 0.101885 | 0.121513 | 113176.0 | sat | sat |
430511937 | qf_shls_entl/bolognesa-16-e05.tptp.smt2 | 8317163 | SPEN | 22607 | qf_shls | 326476 | complete | 0.079813 | 0.078588 | 113176.0 | unsat | unsat |
430511972 | qf_shls_entl/bolognesa-16-e06.tptp.smt2 | 8317198 | SPEN | 22607 | qf_shls | 326476 | complete | 0.082748 | 0.0815131 | 113176.0 | sat | sat |
430511961 | qf_shls_entl/bolognesa-16-e07.tptp.smt2 | 8317187 | SPEN | 22607 | qf_shls | 326476 | complete | 0.091527 | 0.0902759 | 113176.0 | unsat | unsat |
430512062 | qf_shls_entl/bolognesa-16-e08.tptp.smt2 | 8317288 | SPEN | 22607 | qf_shls | 326476 | complete | 0.09273 | 0.091494 | 113176.0 | unsat | unsat |
430512071 | qf_shls_entl/bolognesa-16-e09.tptp.smt2 | 8317297 | SPEN | 22607 | qf_shls | 326476 | complete | 0.076937 | 0.0758279 | 113176.0 | unsat | unsat |
430512166 | qf_shls_entl/bolognesa-16-e10.tptp.smt2 | 8317392 | SPEN | 22607 | qf_shls | 326476 | complete | 0.133523 | 0.132319 | 113176.0 | sat | sat |
430512180 | qf_shls_entl/bolognesa-17-e01.tptp.smt2 | 8317406 | SPEN | 22607 | qf_shls | 326476 | complete | 0.126035 | 0.124731 | 113176.0 | unsat | unsat |
430512169 | qf_shls_entl/bolognesa-17-e02.tptp.smt2 | 8317395 | SPEN | 22607 | qf_shls | 326476 | complete | 0.137259 | 0.136103 | 113176.0 | sat | sat |
430512160 | qf_shls_entl/bolognesa-17-e03.tptp.smt2 | 8317386 | SPEN | 22607 | qf_shls | 326476 | complete | 0.095921 | 0.0947269 | 113176.0 | sat | sat |
430512224 | qf_shls_entl/bolognesa-17-e04.tptp.smt2 | 8317450 | SPEN | 22607 | qf_shls | 326476 | complete | 0.132356 | 0.131093 | 113176.0 | unsat | unsat |
430512216 | qf_shls_entl/bolognesa-17-e05.tptp.smt2 | 8317442 | SPEN | 22607 | qf_shls | 326476 | complete | 0.076903 | 0.0756749 | 113176.0 | unsat | unsat |
430512208 | qf_shls_entl/bolognesa-17-e06.tptp.smt2 | 8317434 | SPEN | 22607 | qf_shls | 326476 | complete | 0.126718 | 0.125742 | 113176.0 | unsat | unsat |
430512199 | qf_shls_entl/bolognesa-17-e07.tptp.smt2 | 8317425 | SPEN | 22607 | qf_shls | 326476 | complete | 0.089719 | 0.088438 | 113176.0 | unsat | unsat |
430512114 | qf_shls_entl/bolognesa-17-e08.tptp.smt2 | 8317340 | SPEN | 22607 | qf_shls | 326476 | complete | 0.103587 | 0.102388 | 113176.0 | sat | sat |
430512124 | qf_shls_entl/bolognesa-17-e09.tptp.smt2 | 8317350 | SPEN | 22607 | qf_shls | 326476 | complete | 0.142955 | 0.141765 | 113176.0 | unsat | unsat |
430512003 | qf_shls_entl/bolognesa-17-e10.tptp.smt2 | 8317229 | SPEN | 22607 | qf_shls | 326476 | complete | 0.120345 | 0.119108 | 113176.0 | unsat | unsat |
430512209 | qf_shls_entl/bolognesa-18-e01.tptp.smt2 | 8317435 | SPEN | 22607 | qf_shls | 326476 | complete | 0.119534 | 0.118333 | 113176.0 | unsat | unsat |
430512215 | qf_shls_entl/bolognesa-18-e02.tptp.smt2 | 8317441 | SPEN | 22607 | qf_shls | 326476 | complete | 0.124638 | 0.123364 | 113176.0 | sat | sat |
430512223 | qf_shls_entl/bolognesa-18-e03.tptp.smt2 | 8317449 | SPEN | 22607 | qf_shls | 326476 | complete | 0.185818 | 0.184651 | 113176.0 | sat | sat |
430512161 | qf_shls_entl/bolognesa-18-e04.tptp.smt2 | 8317387 | SPEN | 22607 | qf_shls | 326476 | complete | 0.122016 | 0.120767 | 113176.0 | sat | sat |
430512170 | qf_shls_entl/bolognesa-18-e05.tptp.smt2 | 8317396 | SPEN | 22607 | qf_shls | 326476 | complete | 0.136478 | 0.135187 | 113176.0 | sat | sat |
430512179 | qf_shls_entl/bolognesa-18-e06.tptp.smt2 | 8317405 | SPEN | 22607 | qf_shls | 326476 | complete | 0.130868 | 0.129528 | 113176.0 | sat | sat |
430512187 | qf_shls_entl/bolognesa-18-e07.tptp.smt2 | 8317413 | SPEN | 22607 | qf_shls | 326476 | complete | 0.118954 | 0.117288 | 113176.0 | sat | sat |
430512140 | qf_shls_entl/bolognesa-18-e08.tptp.smt2 | 8317366 | SPEN | 22607 | qf_shls | 326476 | complete | 0.196777 | 0.195463 | 113176.0 | sat | sat |
430512131 | qf_shls_entl/bolognesa-18-e09.tptp.smt2 | 8317357 | SPEN | 22607 | qf_shls | 326476 | complete | 0.164006 | 0.162776 | 113176.0 | sat | sat |
430511945 | qf_shls_entl/bolognesa-18-e10.tptp.smt2 | 8317171 | SPEN | 22607 | qf_shls | 326476 | complete | 0.113619 | 0.112405 | 113176.0 | unsat | unsat |
430511971 | qf_shls_entl/bolognesa-19-e01.tptp.smt2 | 8317197 | SPEN | 22607 | qf_shls | 326476 | complete | 0.138533 | 0.137307 | 113176.0 | sat | sat |
430511938 | qf_shls_entl/bolognesa-19-e02.tptp.smt2 | 8317164 | SPEN | 22607 | qf_shls | 326476 | complete | 0.173087 | 0.172224 | 113176.0 | sat | sat |
430511950 | qf_shls_entl/bolognesa-19-e03.tptp.smt2 | 8317176 | SPEN | 22607 | qf_shls | 326476 | complete | 0.144281 | 0.143024 | 113176.0 | sat | sat |
430511994 | qf_shls_entl/bolognesa-19-e04.tptp.smt2 | 8317220 | SPEN | 22607 | qf_shls | 326476 | complete | 0.100704 | 0.099452 | 113176.0 | sat | sat |
430512007 | qf_shls_entl/bolognesa-19-e05.tptp.smt2 | 8317233 | SPEN | 22607 | qf_shls | 326476 | complete | 0.117643 | 0.116321 | 113176.0 | unsat | unsat |
430511979 | qf_shls_entl/bolognesa-19-e06.tptp.smt2 | 8317205 | SPEN | 22607 | qf_shls | 326476 | complete | 0.140136 | 0.13887 | 113176.0 | unsat | unsat |
430511988 | qf_shls_entl/bolognesa-19-e07.tptp.smt2 | 8317214 | SPEN | 22607 | qf_shls | 326476 | complete | 0.184142 | 0.182919 | 113176.0 | sat | sat |
430512051 | qf_shls_entl/bolognesa-19-e08.tptp.smt2 | 8317277 | SPEN | 22607 | qf_shls | 326476 | complete | 0.159272 | 0.158025 | 113176.0 | unsat | unsat |
430512042 | qf_shls_entl/bolognesa-19-e09.tptp.smt2 | 8317268 | SPEN | 22607 | qf_shls | 326476 | complete | 0.178024 | 0.17678 | 113176.0 | sat | sat |
430512220 | qf_shls_entl/bolognesa-19-e10.tptp.smt2 | 8317446 | SPEN | 22607 | qf_shls | 326476 | complete | 0.187751 | 0.186563 | 113176.0 | unsat | unsat |
430511940 | qf_shls_entl/bolognesa-20-e01.tptp.smt2 | 8317166 | SPEN | 22607 | qf_shls | 326476 | complete | 0.227143 | 0.22588 | 113176.0 | sat | sat |
430511968 | qf_shls_entl/bolognesa-20-e02.tptp.smt2 | 8317194 | SPEN | 22607 | qf_shls | 326476 | complete | 0.116453 | 0.115242 | 113176.0 | sat | sat |
430511959 | qf_shls_entl/bolognesa-20-e03.tptp.smt2 | 8317185 | SPEN | 22607 | qf_shls | 326476 | complete | 0.138644 | 0.137384 | 113176.0 | sat | sat |
430511987 | qf_shls_entl/bolognesa-20-e04.tptp.smt2 | 8317213 | SPEN | 22607 | qf_shls | 326476 | complete | 0.133119 | 0.131921 | 113176.0 | sat | sat |
430511974 | qf_shls_entl/bolognesa-20-e05.tptp.smt2 | 8317200 | SPEN | 22607 | qf_shls | 326476 | complete | 0.215214 | 0.213912 | 113176.0 | sat | sat |
430512009 | qf_shls_entl/bolognesa-20-e06.tptp.smt2 | 8317235 | SPEN | 22607 | qf_shls | 326476 | complete | 0.173411 | 0.172146 | 113176.0 | unsat | unsat |
430511997 | qf_shls_entl/bolognesa-20-e07.tptp.smt2 | 8317223 | SPEN | 22607 | qf_shls | 326476 | complete | 0.110558 | 0.109288 | 113176.0 | unsat | unsat |
430512017 | qf_shls_entl/bolognesa-20-e08.tptp.smt2 | 8317243 | SPEN | 22607 | qf_shls | 326476 | complete | 0.251518 | 0.250435 | 113176.0 | unsat | unsat |
430512030 | qf_shls_entl/bolognesa-20-e09.tptp.smt2 | 8317256 | SPEN | 22607 | qf_shls | 326476 | complete | 0.132574 | 0.13132 | 113176.0 | sat | sat |
430512192 | qf_shls_entl/bolognesa-20-e10.tptp.smt2 | 8317418 | SPEN | 22607 | qf_shls | 326476 | complete | 0.131173 | 0.129908 | 113176.0 | unsat | unsat |
430511946 | qf_shls_entl/clones-01-e01.tptp.smt2 | 8317172 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032245 | 0.0309849 | 113176.0 | unsat | unsat |
430511954 | qf_shls_entl/clones-01-e02.tptp.smt2 | 8317180 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032196 | 0.030955 | 113176.0 | unsat | unsat |
430511963 | qf_shls_entl/clones-01-e03.tptp.smt2 | 8317189 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032696 | 0.0313869 | 113176.0 | unsat | unsat |
430511981 | qf_shls_entl/clones-01-e04.tptp.smt2 | 8317207 | SPEN | 22607 | qf_shls | 326476 | complete | 0.034314 | 0.03311 | 113176.0 | unsat | unsat |
430511990 | qf_shls_entl/clones-01-e05.tptp.smt2 | 8317216 | SPEN | 22607 | qf_shls | 326476 | complete | 0.03304 | 0.0318339 | 113176.0 | unsat | unsat |
430512004 | qf_shls_entl/clones-01-e06.tptp.smt2 | 8317230 | SPEN | 22607 | qf_shls | 326476 | complete | 0.03424 | 0.0329941 | 113176.0 | unsat | unsat |
430512014 | qf_shls_entl/clones-01-e07.tptp.smt2 | 8317240 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032735 | 0.0314979 | 113176.0 | sat | sat |
430512035 | qf_shls_entl/clones-01-e08.tptp.smt2 | 8317261 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032899 | 0.0316049 | 113176.0 | sat | sat |
430512027 | qf_shls_entl/clones-01-e09.tptp.smt2 | 8317253 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033146 | 0.031848 | 113176.0 | sat | sat |
430512207 | qf_shls_entl/clones-01-e10.tptp.smt2 | 8317433 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032794 | 0.0315949 | 127512.0 | sat | sat |
430512099 | qf_shls_entl/clones-02-e01.tptp.smt2 | 8317325 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032586 | 0.031305 | 113176.0 | unsat | unsat |
430512107 | qf_shls_entl/clones-02-e02.tptp.smt2 | 8317333 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032568 | 0.0313271 | 113176.0 | unsat | unsat |
430512118 | qf_shls_entl/clones-02-e03.tptp.smt2 | 8317344 | SPEN | 22607 | qf_shls | 326476 | complete | 0.034408 | 0.0331849 | 113176.0 | unsat | unsat |
430512135 | qf_shls_entl/clones-02-e04.tptp.smt2 | 8317361 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032513 | 0.031231 | 113176.0 | unsat | unsat |
430512141 | qf_shls_entl/clones-02-e05.tptp.smt2 | 8317367 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032894 | 0.0316639 | 113176.0 | unsat | unsat |
430512150 | qf_shls_entl/clones-02-e06.tptp.smt2 | 8317376 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033809 | 0.032513 | 113176.0 | unsat | unsat |
430512158 | qf_shls_entl/clones-02-e07.tptp.smt2 | 8317384 | SPEN | 22607 | qf_shls | 326476 | complete | 0.035448 | 0.0341981 | 113176.0 | sat | sat |
430512172 | qf_shls_entl/clones-02-e08.tptp.smt2 | 8317398 | SPEN | 22607 | qf_shls | 326476 | complete | 0.036784 | 0.035497 | 113176.0 | sat | sat |
430512165 | qf_shls_entl/clones-02-e09.tptp.smt2 | 8317391 | SPEN | 22607 | qf_shls | 326476 | complete | 0.036666 | 0.0353701 | 113176.0 | sat | sat |
430512068 | qf_shls_entl/clones-02-e10.tptp.smt2 | 8317294 | SPEN | 22607 | qf_shls | 326476 | complete | 0.034144 | 0.032867 | 113176.0 | sat | sat |
430512080 | qf_shls_entl/clones-03-e01.tptp.smt2 | 8317306 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033337 | 0.0321719 | 113176.0 | unsat | unsat |
430512057 | qf_shls_entl/clones-03-e02.tptp.smt2 | 8317283 | SPEN | 22607 | qf_shls | 326476 | complete | 0.034854 | 0.033618 | 113176.0 | unsat | unsat |
430512065 | qf_shls_entl/clones-03-e03.tptp.smt2 | 8317291 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032656 | 0.031373 | 113176.0 | unsat | unsat |
430512045 | qf_shls_entl/clones-03-e04.tptp.smt2 | 8317271 | SPEN | 22607 | qf_shls | 326476 | complete | 0.034243 | 0.032922 | 113176.0 | unsat | unsat |
430512052 | qf_shls_entl/clones-03-e05.tptp.smt2 | 8317278 | SPEN | 22607 | qf_shls | 326476 | complete | 0.034056 | 0.032797 | 113176.0 | unsat | unsat |
430512022 | qf_shls_entl/clones-03-e06.tptp.smt2 | 8317248 | SPEN | 22607 | qf_shls | 326476 | complete | 0.031738 | 0.0305419 | 113176.0 | unsat | unsat |
430512034 | qf_shls_entl/clones-03-e07.tptp.smt2 | 8317260 | SPEN | 22607 | qf_shls | 326476 | complete | 0.035178 | 0.033957 | 113176.0 | sat | sat |
430512012 | qf_shls_entl/clones-03-e08.tptp.smt2 | 8317238 | SPEN | 22607 | qf_shls | 326476 | complete | 0.040564 | 0.0392889 | 113176.0 | sat | sat |
430512002 | qf_shls_entl/clones-03-e09.tptp.smt2 | 8317228 | SPEN | 22607 | qf_shls | 326476 | complete | 0.038623 | 0.0373671 | 113176.0 | sat | sat |
430512122 | qf_shls_entl/clones-03-e10.tptp.smt2 | 8317348 | SPEN | 22607 | qf_shls | 326476 | complete | 0.036236 | 0.0349219 | 113176.0 | sat | sat |
430511970 | qf_shls_entl/clones-04-e01.tptp.smt2 | 8317196 | SPEN | 22607 | qf_shls | 326476 | complete | 0.034707 | 0.0334749 | 113176.0 | unsat | unsat |
430511936 | qf_shls_entl/clones-04-e02.tptp.smt2 | 8317162 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033067 | 0.031849 | 113176.0 | unsat | unsat |
430511951 | qf_shls_entl/clones-04-e03.tptp.smt2 | 8317177 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033727 | 0.032459 | 113176.0 | unsat | unsat |
430511996 | qf_shls_entl/clones-04-e04.tptp.smt2 | 8317222 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033889 | 0.0326181 | 113176.0 | unsat | unsat |
430512006 | qf_shls_entl/clones-04-e05.tptp.smt2 | 8317232 | SPEN | 22607 | qf_shls | 326476 | complete | 0.037276 | 0.0359279 | 113176.0 | unsat | unsat |
430511977 | qf_shls_entl/clones-04-e06.tptp.smt2 | 8317203 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032104 | 0.0308279 | 113176.0 | unsat | unsat |
430511989 | qf_shls_entl/clones-04-e07.tptp.smt2 | 8317215 | SPEN | 22607 | qf_shls | 326476 | complete | 0.041298 | 0.0400319 | 113176.0 | sat | sat |
430512050 | qf_shls_entl/clones-04-e08.tptp.smt2 | 8317276 | SPEN | 22607 | qf_shls | 326476 | complete | 0.051816 | 0.0504939 | 113176.0 | sat | sat |
430512043 | qf_shls_entl/clones-04-e09.tptp.smt2 | 8317269 | SPEN | 22607 | qf_shls | 326476 | complete | 0.049039 | 0.0477121 | 113176.0 | sat | sat |
430512221 | qf_shls_entl/clones-04-e10.tptp.smt2 | 8317447 | SPEN | 22607 | qf_shls | 326476 | complete | 0.039572 | 0.0383671 | 113176.0 | sat | sat |
430512206 | qf_shls_entl/clones-05-e01.tptp.smt2 | 8317432 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033062 | 0.031915 | 113176.0 | unsat | unsat |
430512214 | qf_shls_entl/clones-05-e02.tptp.smt2 | 8317440 | SPEN | 22607 | qf_shls | 326476 | complete | 0.03634 | 0.035162 | 113176.0 | unsat | unsat |
430512225 | qf_shls_entl/clones-05-e03.tptp.smt2 | 8317451 | SPEN | 22607 | qf_shls | 326476 | complete | 0.036514 | 0.035281 | 113176.0 | unsat | unsat |
430512162 | qf_shls_entl/clones-05-e04.tptp.smt2 | 8317388 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032112 | 0.0308029 | 113176.0 | unsat | unsat |
430512168 | qf_shls_entl/clones-05-e05.tptp.smt2 | 8317394 | SPEN | 22607 | qf_shls | 326476 | complete | 0.039812 | 0.0385511 | 113176.0 | unsat | unsat |
430512178 | qf_shls_entl/clones-05-e06.tptp.smt2 | 8317404 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032998 | 0.0316849 | 113176.0 | unsat | unsat |
430512188 | qf_shls_entl/clones-05-e07.tptp.smt2 | 8317414 | SPEN | 22607 | qf_shls | 326476 | complete | 0.048514 | 0.04724 | 113176.0 | sat | sat |
430512139 | qf_shls_entl/clones-05-e08.tptp.smt2 | 8317365 | SPEN | 22607 | qf_shls | 326476 | complete | 0.075487 | 0.0741871 | 113176.0 | sat | sat |
430512132 | qf_shls_entl/clones-05-e09.tptp.smt2 | 8317358 | SPEN | 22607 | qf_shls | 326476 | complete | 0.066347 | 0.0650461 | 113176.0 | sat | sat |
430511947 | qf_shls_entl/clones-05-e10.tptp.smt2 | 8317173 | SPEN | 22607 | qf_shls | 326476 | complete | 0.049256 | 0.048008 | 113176.0 | sat | sat |
430512066 | qf_shls_entl/clones-06-e01.tptp.smt2 | 8317292 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033676 | 0.032455 | 113176.0 | unsat | unsat |
430512076 | qf_shls_entl/clones-06-e02.tptp.smt2 | 8317302 | SPEN | 22607 | qf_shls | 326476 | complete | 0.0375 | 0.036224 | 113176.0 | unsat | unsat |
430512089 | qf_shls_entl/clones-06-e03.tptp.smt2 | 8317315 | SPEN | 22607 | qf_shls | 326476 | complete | 0.039293 | 0.0380209 | 113176.0 | unsat | unsat |
430512018 | qf_shls_entl/clones-06-e04.tptp.smt2 | 8317244 | SPEN | 22607 | qf_shls | 326476 | complete | 0.031742 | 0.03049 | 113176.0 | unsat | unsat |
430512028 | qf_shls_entl/clones-06-e05.tptp.smt2 | 8317254 | SPEN | 22607 | qf_shls | 326476 | complete | 0.045901 | 0.044667 | 113176.0 | unsat | unsat |
430512038 | qf_shls_entl/clones-06-e06.tptp.smt2 | 8317264 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032944 | 0.031647 | 113176.0 | unsat | unsat |
430512049 | qf_shls_entl/clones-06-e07.tptp.smt2 | 8317275 | SPEN | 22607 | qf_shls | 326476 | complete | 0.061694 | 0.0604749 | 113176.0 | sat | sat |
430511985 | qf_shls_entl/clones-06-e08.tptp.smt2 | 8317211 | SPEN | 22607 | qf_shls | 326476 | complete | 0.113266 | 0.112 | 113176.0 | sat | sat |
430511975 | qf_shls_entl/clones-06-e09.tptp.smt2 | 8317201 | SPEN | 22607 | qf_shls | 326476 | complete | 0.096263 | 0.095039 | 113176.0 | sat | sat |
430512100 | qf_shls_entl/clones-06-e10.tptp.smt2 | 8317326 | SPEN | 22607 | qf_shls | 326476 | complete | 0.063357 | 0.062065 | 113176.0 | sat | sat |
430512120 | qf_shls_entl/clones-07-e01.tptp.smt2 | 8317346 | SPEN | 22607 | qf_shls | 326476 | complete | 0.034022 | 0.0321781 | 113176.0 | unsat | unsat |
430512094 | qf_shls_entl/clones-07-e02.tptp.smt2 | 8317320 | SPEN | 22607 | qf_shls | 326476 | complete | 0.041523 | 0.040287 | 113176.0 | unsat | unsat |
430512105 | qf_shls_entl/clones-07-e03.tptp.smt2 | 8317331 | SPEN | 22607 | qf_shls | 326476 | complete | 0.042117 | 0.0408409 | 113176.0 | unsat | unsat |
430512147 | qf_shls_entl/clones-07-e04.tptp.smt2 | 8317373 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032609 | 0.0313999 | 113176.0 | unsat | unsat |
430512155 | qf_shls_entl/clones-07-e05.tptp.smt2 | 8317381 | SPEN | 22607 | qf_shls | 326476 | complete | 0.05453 | 0.0533029 | 113176.0 | unsat | unsat |
430512127 | qf_shls_entl/clones-07-e06.tptp.smt2 | 8317353 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032321 | 0.0310919 | 113176.0 | unsat | unsat |
430512137 | qf_shls_entl/clones-07-e07.tptp.smt2 | 8317363 | SPEN | 22607 | qf_shls | 326476 | complete | 0.084182 | 0.0828919 | 113176.0 | sat | sat |
430512184 | qf_shls_entl/clones-07-e08.tptp.smt2 | 8317410 | SPEN | 22607 | qf_shls | 326476 | complete | 0.1763 | 0.174971 | 113176.0 | sat | sat |
430512175 | qf_shls_entl/clones-07-e09.tptp.smt2 | 8317401 | SPEN | 22607 | qf_shls | 326476 | complete | 0.146584 | 0.145552 | 113176.0 | sat | sat |
430512082 | qf_shls_entl/clones-07-e10.tptp.smt2 | 8317308 | SPEN | 22607 | qf_shls | 326476 | complete | 0.085674 | 0.0843779 | 113176.0 | sat | sat |
430512128 | qf_shls_entl/clones-08-e01.tptp.smt2 | 8317354 | SPEN | 22607 | qf_shls | 326476 | complete | 0.034758 | 0.033517 | 113176.0 | unsat | unsat |
430512154 | qf_shls_entl/clones-08-e02.tptp.smt2 | 8317380 | SPEN | 22607 | qf_shls | 326476 | complete | 0.04833 | 0.047674 | 113176.0 | unsat | unsat |
430512146 | qf_shls_entl/clones-08-e03.tptp.smt2 | 8317372 | SPEN | 22607 | qf_shls | 326476 | complete | 0.047771 | 0.04653 | 113176.0 | unsat | unsat |
430512106 | qf_shls_entl/clones-08-e04.tptp.smt2 | 8317332 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032936 | 0.032205 | 127512.0 | unsat | unsat |
430512095 | qf_shls_entl/clones-08-e05.tptp.smt2 | 8317321 | SPEN | 22607 | qf_shls | 326476 | complete | 0.064463 | 0.0632389 | 113176.0 | unsat | unsat |
430512119 | qf_shls_entl/clones-08-e06.tptp.smt2 | 8317345 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033067 | 0.0318269 | 113176.0 | unsat | unsat |
430512113 | qf_shls_entl/clones-08-e07.tptp.smt2 | 8317339 | SPEN | 22607 | qf_shls | 326476 | complete | 0.114614 | 0.113372 | 113176.0 | sat | sat |
430512195 | qf_shls_entl/clones-08-e08.tptp.smt2 | 8317421 | SPEN | 22607 | qf_shls | 326476 | complete | 0.262249 | 0.260983 | 113176.0 | sat | sat |
430512204 | qf_shls_entl/clones-08-e09.tptp.smt2 | 8317430 | SPEN | 22607 | qf_shls | 326476 | complete | 0.221684 | 0.2204 | 113176.0 | sat | sat |
430512024 | qf_shls_entl/clones-08-e10.tptp.smt2 | 8317250 | SPEN | 22607 | qf_shls | 326476 | complete | 0.11587 | 0.114709 | 113176.0 | sat | sat |
430512037 | qf_shls_entl/clones-09-e01.tptp.smt2 | 8317263 | SPEN | 22607 | qf_shls | 326476 | complete | 0.036581 | 0.0352791 | 113176.0 | unsat | unsat |
430512029 | qf_shls_entl/clones-09-e02.tptp.smt2 | 8317255 | SPEN | 22607 | qf_shls | 326476 | complete | 0.055546 | 0.0543579 | 113176.0 | unsat | unsat |
430512019 | qf_shls_entl/clones-09-e03.tptp.smt2 | 8317245 | SPEN | 22607 | qf_shls | 326476 | complete | 0.057276 | 0.0560321 | 113176.0 | unsat | unsat |
430512088 | qf_shls_entl/clones-09-e04.tptp.smt2 | 8317314 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033497 | 0.0322591 | 113176.0 | unsat | unsat |
430512075 | qf_shls_entl/clones-09-e05.tptp.smt2 | 8317301 | SPEN | 22607 | qf_shls | 326476 | complete | 0.081185 | 0.079886 | 113176.0 | unsat | unsat |
430512067 | qf_shls_entl/clones-09-e06.tptp.smt2 | 8317293 | SPEN | 22607 | qf_shls | 326476 | complete | 0.031786 | 0.0305679 | 113176.0 | unsat | unsat |
430512061 | qf_shls_entl/clones-09-e07.tptp.smt2 | 8317287 | SPEN | 22607 | qf_shls | 326476 | complete | 0.159016 | 0.157723 | 113176.0 | sat | sat |
430511957 | qf_shls_entl/clones-09-e08.tptp.smt2 | 8317183 | SPEN | 22607 | qf_shls | 326476 | complete | 0.388227 | 0.386909 | 113176.0 | sat | sat |
430511969 | qf_shls_entl/clones-09-e09.tptp.smt2 | 8317195 | SPEN | 22607 | qf_shls | 326476 | complete | 0.329119 | 0.327827 | 113176.0 | sat | sat |
430512151 | qf_shls_entl/clones-09-e10.tptp.smt2 | 8317377 | SPEN | 22607 | qf_shls | 326476 | complete | 0.162453 | 0.161178 | 113176.0 | sat | sat |
430511964 | qf_shls_entl/clones-10-e01.tptp.smt2 | 8317190 | SPEN | 22607 | qf_shls | 326476 | complete | 0.035756 | 0.0344721 | 113176.0 | unsat | unsat |
430511932 | qf_shls_entl/clones-10-e02.tptp.smt2 | 8317158 | SPEN | 22607 | qf_shls | 326476 | complete | 0.066954 | 0.065899 | 113176.0 | unsat | unsat |
430511944 | qf_shls_entl/clones-10-e03.tptp.smt2 | 8317170 | SPEN | 22607 | qf_shls | 326476 | complete | 0.067461 | 0.0756389 | 113176.0 | unsat | unsat |
430512001 | qf_shls_entl/clones-10-e04.tptp.smt2 | 8317227 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032859 | 0.0315501 | 113176.0 | unsat | unsat |
430512011 | qf_shls_entl/clones-10-e05.tptp.smt2 | 8317237 | SPEN | 22607 | qf_shls | 326476 | complete | 0.103949 | 0.102661 | 113176.0 | unsat | unsat |
430511982 | qf_shls_entl/clones-10-e06.tptp.smt2 | 8317208 | SPEN | 22607 | qf_shls | 326476 | complete | 0.03238 | 0.0311661 | 113176.0 | unsat | unsat |
430511993 | qf_shls_entl/clones-10-e07.tptp.smt2 | 8317219 | SPEN | 22607 | qf_shls | 326476 | complete | 0.222351 | 0.221079 | 113176.0 | sat | sat |
430512054 | qf_shls_entl/clones-10-e08.tptp.smt2 | 8317280 | SPEN | 22607 | qf_shls | 326476 | complete | 0.56063 | 0.637315 | 258444.0 | sat | sat |
430512047 | qf_shls_entl/clones-10-e09.tptp.smt2 | 8317273 | SPEN | 22607 | qf_shls | 326476 | complete | 0.482858 | 0.481591 | 113176.0 | sat | sat |
430512227 | qf_shls_entl/clones-10-e10.tptp.smt2 | 8317453 | SPEN | 22607 | qf_shls | 326476 | complete | 0.221093 | 0.219952 | 113176.0 | sat | sat |
430512210 | qf_shls_entl/ls-vc01.smt2 | 8317436 | SPEN | 22607 | qf_shls | 326476 | complete | 0.034263 | 0.032948 | 113176.0 | sat | sat |
430512041 | qf_shls_entl/ls-vc02.smt2 | 8317267 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032614 | 0.031398 | 113176.0 | sat | sat |
430511999 | qf_shls_entl/ls-vc03.smt2 | 8317225 | SPEN | 22607 | qf_shls | 326476 | complete | 0.036285 | 0.0349711 | 113176.0 | sat | sat |
430512093 | qf_shls_entl/ls-vc04.smt2 | 8317319 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032924 | 0.0316119 | 113176.0 | sat | sat |
430512197 | qf_shls_entl/ls-vc05.smt2 | 8317423 | SPEN | 22607 | qf_shls | 326476 | complete | 0.035178 | 0.0339181 | 113176.0 | unsat | unsat |
430512026 | qf_shls_entl/ls-vc06.smt2 | 8317252 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033162 | 0.0318831 | 113176.0 | sat | sat |
430511984 | qf_shls_entl/ls-vc07.smt2 | 8317210 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033379 | 0.0321591 | 113176.0 | unsat | sat |
430512153 | qf_shls_entl/ls-vc08.smt2 | 8317379 | SPEN | 22607 | qf_shls | 326476 | complete | 0.034856 | 0.033858 | 113176.0 | unsat | unsat |
430512185 | qf_shls_entl/ls-vc09.smt2 | 8317411 | SPEN | 22607 | qf_shls | 326476 | complete | 0.03428 | 0.033141 | 113176.0 | unsat | unsat |
430512015 | qf_shls_entl/smallfoot-vc01.tptp.smt2 | 8317241 | SPEN | 22607 | qf_shls | 326476 | complete | 0.035243 | 0.034018 | 113176.0 | unsat | unsat |
430512048 | qf_shls_entl/smallfoot-vc02.tptp.smt2 | 8317274 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033541 | 0.0322389 | 113176.0 | unsat | unsat |
430512040 | qf_shls_entl/smallfoot-vc03.tptp.smt2 | 8317266 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032465 | 0.0311451 | 113176.0 | unsat | unsat |
430512069 | qf_shls_entl/smallfoot-vc04.tptp.smt2 | 8317295 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032634 | 0.0313059 | 113176.0 | unsat | unsat |
430512059 | qf_shls_entl/smallfoot-vc05.tptp.smt2 | 8317285 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033612 | 0.0323239 | 113176.0 | unsat | unsat |
430512086 | qf_shls_entl/smallfoot-vc06.tptp.smt2 | 8317312 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033891 | 0.0326249 | 113176.0 | unsat | unsat |
430512079 | qf_shls_entl/smallfoot-vc07.tptp.smt2 | 8317305 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033706 | 0.0324269 | 113176.0 | unsat | unsat |
430511939 | qf_shls_entl/smallfoot-vc08.tptp.smt2 | 8317165 | SPEN | 22607 | qf_shls | 326476 | complete | 0.034603 | 0.0333441 | 113176.0 | unsat | unsat |
430511953 | qf_shls_entl/smallfoot-vc09.tptp.smt2 | 8317179 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033478 | 0.032194 | 113176.0 | unsat | unsat |
430512134 | qf_shls_entl/smallfoot-vc10.tptp.smt2 | 8317360 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032682 | 0.031443 | 113176.0 | unsat | unsat |
430512142 | qf_shls_entl/smallfoot-vc11.tptp.smt2 | 8317368 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033145 | 0.0318921 | 113176.0 | unsat | unsat |
430512148 | qf_shls_entl/smallfoot-vc12.tptp.smt2 | 8317374 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033987 | 0.0331141 | 113176.0 | unsat | unsat |
430512159 | qf_shls_entl/smallfoot-vc13.tptp.smt2 | 8317385 | SPEN | 22607 | qf_shls | 326476 | complete | 0.03351 | 0.032315 | 113176.0 | unsat | unsat |
430512091 | qf_shls_entl/smallfoot-vc14.tptp.smt2 | 8317317 | SPEN | 22607 | qf_shls | 326476 | complete | 0.035823 | 0.0364839 | 113176.0 | unsat | unsat |
430512098 | qf_shls_entl/smallfoot-vc15.tptp.smt2 | 8317324 | SPEN | 22607 | qf_shls | 326476 | complete | 0.034563 | 0.0332809 | 113176.0 | unsat | unsat |
430512108 | qf_shls_entl/smallfoot-vc16.tptp.smt2 | 8317334 | SPEN | 22607 | qf_shls | 326476 | complete | 0.035664 | 0.0344761 | 113176.0 | unsat | unsat |
430512117 | qf_shls_entl/smallfoot-vc17.tptp.smt2 | 8317343 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032231 | 0.0310571 | 113176.0 | unsat | unsat |
430512201 | qf_shls_entl/smallfoot-vc18.tptp.smt2 | 8317427 | SPEN | 22607 | qf_shls | 326476 | complete | 0.034582 | 0.0333919 | 113176.0 | unsat | unsat |
430512194 | qf_shls_entl/smallfoot-vc19.tptp.smt2 | 8317420 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032846 | 0.0315309 | 113176.0 | unsat | unsat |
430511934 | qf_shls_entl/smallfoot-vc20.tptp.smt2 | 8317160 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032715 | 0.031502 | 113176.0 | unsat | unsat |
430511942 | qf_shls_entl/smallfoot-vc21.tptp.smt2 | 8317168 | SPEN | 22607 | qf_shls | 326476 | complete | 0.035162 | 0.0339329 | 113176.0 | unsat | unsat |
430511956 | qf_shls_entl/smallfoot-vc22.tptp.smt2 | 8317182 | SPEN | 22607 | qf_shls | 326476 | complete | 0.034466 | 0.0322319 | 113176.0 | sat | sat |
430511965 | qf_shls_entl/smallfoot-vc23.tptp.smt2 | 8317191 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033536 | 0.0322759 | 113176.0 | sat | sat |
430511983 | qf_shls_entl/smallfoot-vc24.tptp.smt2 | 8317209 | SPEN | 22607 | qf_shls | 326476 | complete | 0.034623 | 0.0333481 | 113176.0 | unsat | unsat |
430511992 | qf_shls_entl/smallfoot-vc25.tptp.smt2 | 8317218 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032979 | 0.0317789 | 113176.0 | unsat | unsat |
430512000 | qf_shls_entl/smallfoot-vc26.tptp.smt2 | 8317226 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033014 | 0.031686 | 113176.0 | unsat | unsat |
430512013 | qf_shls_entl/smallfoot-vc27.tptp.smt2 | 8317239 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032797 | 0.0315149 | 113176.0 | unsat | unsat |
430512032 | qf_shls_entl/smallfoot-vc28.tptp.smt2 | 8317258 | SPEN | 22607 | qf_shls | 326476 | complete | 0.034101 | 0.032795 | 113176.0 | unsat | unsat |
430512023 | qf_shls_entl/smallfoot-vc29.tptp.smt2 | 8317249 | SPEN | 22607 | qf_shls | 326476 | complete | 0.035506 | 0.034171 | 113176.0 | sat | sat |
430512205 | qf_shls_entl/smallfoot-vc30.tptp.smt2 | 8317431 | SPEN | 22607 | qf_shls | 326476 | complete | 0.03629 | 0.0350621 | 113176.0 | sat | sat |
430512196 | qf_shls_entl/smallfoot-vc31.tptp.smt2 | 8317422 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033614 | 0.0323771 | 113176.0 | sat | sat |
430512226 | qf_shls_entl/smallfoot-vc32.tptp.smt2 | 8317452 | SPEN | 22607 | qf_shls | 326476 | complete | 0.034288 | 0.033083 | 113176.0 | sat | sat |
430512217 | qf_shls_entl/smallfoot-vc33.tptp.smt2 | 8317443 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033324 | 0.0320339 | 113176.0 | sat | sat |
430512171 | qf_shls_entl/smallfoot-vc34.tptp.smt2 | 8317397 | SPEN | 22607 | qf_shls | 326476 | complete | 0.035853 | 0.0346561 | 113176.0 | unsat | unsat |
430512163 | qf_shls_entl/smallfoot-vc35.tptp.smt2 | 8317389 | SPEN | 22607 | qf_shls | 326476 | complete | 0.03477 | 0.0334529 | 113176.0 | sat | sat |
430512183 | qf_shls_entl/smallfoot-vc36.tptp.smt2 | 8317409 | SPEN | 22607 | qf_shls | 326476 | complete | 0.035402 | 0.0341249 | 113176.0 | unsat | unsat |
430512176 | qf_shls_entl/smallfoot-vc37.tptp.smt2 | 8317402 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032607 | 0.031358 | 113176.0 | sat | sat |
430512126 | qf_shls_entl/smallfoot-vc38.tptp.smt2 | 8317352 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033078 | 0.0318019 | 113176.0 | unsat | unsat |
430512138 | qf_shls_entl/smallfoot-vc39.tptp.smt2 | 8317364 | SPEN | 22607 | qf_shls | 326476 | complete | 0.035102 | 0.0340751 | 113176.0 | sat | sat |
430512190 | qf_shls_entl/smallfoot-vc40.tptp.smt2 | 8317416 | SPEN | 22607 | qf_shls | 326476 | complete | 0.034555 | 0.0332461 | 113176.0 | sat | sat |
430512182 | qf_shls_entl/smallfoot-vc41.tptp.smt2 | 8317408 | SPEN | 22607 | qf_shls | 326476 | complete | 0.034879 | 0.0335421 | 113176.0 | unsat | unsat |
430512173 | qf_shls_entl/smallfoot-vc42.tptp.smt2 | 8317399 | SPEN | 22607 | qf_shls | 326476 | complete | 0.036014 | 0.034666 | 113176.0 | unsat | unsat |
430512164 | qf_shls_entl/smallfoot-vc43.tptp.smt2 | 8317390 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032887 | 0.031648 | 113176.0 | sat | sat |
430512218 | qf_shls_entl/smallfoot-vc44.tptp.smt2 | 8317444 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033018 | 0.031751 | 113176.0 | unsat | unsat |
430512212 | qf_shls_entl/smallfoot-vc45.tptp.smt2 | 8317438 | SPEN | 22607 | qf_shls | 326476 | complete | 0.034019 | 0.0327321 | 113176.0 | unsat | unsat |
430512202 | qf_shls_entl/smallfoot-vc46.tptp.smt2 | 8317428 | SPEN | 22607 | qf_shls | 326476 | complete | 0.035432 | 0.0341819 | 113176.0 | unsat | unsat |
430512193 | qf_shls_entl/smallfoot-vc47.tptp.smt2 | 8317419 | SPEN | 22607 | qf_shls | 326476 | complete | 0.034225 | 0.033014 | 113176.0 | unsat | unsat |
430512109 | qf_shls_entl/smallfoot-vc48.tptp.smt2 | 8317335 | SPEN | 22607 | qf_shls | 326476 | complete | 0.034755 | 0.033561 | 113176.0 | unsat | unsat |
430512116 | qf_shls_entl/smallfoot-vc49.tptp.smt2 | 8317342 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032352 | 0.031104 | 113176.0 | sat | sat |
430511998 | qf_shls_entl/smallfoot-vc50.tptp.smt2 | 8317224 | SPEN | 22607 | qf_shls | 326476 | complete | 0.035072 | 0.033772 | 113176.0 | unsat | unsat |
430512010 | qf_shls_entl/smallfoot-vc51.tptp.smt2 | 8317236 | SPEN | 22607 | qf_shls | 326476 | complete | 0.034481 | 0.033136 | 113176.0 | unsat | unsat |
430511973 | qf_shls_entl/smallfoot-vc52.tptp.smt2 | 8317199 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033903 | 0.03261 | 113176.0 | unsat | unsat |
430511986 | qf_shls_entl/smallfoot-vc53.tptp.smt2 | 8317212 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032687 | 0.0314809 | 113176.0 | unsat | unsat |
430511958 | qf_shls_entl/smallfoot-vc54.tptp.smt2 | 8317184 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033161 | 0.031932 | 113176.0 | sat | sat |
430511967 | qf_shls_entl/smallfoot-vc55.tptp.smt2 | 8317193 | SPEN | 22607 | qf_shls | 326476 | complete | 0.034059 | 0.0328681 | 113176.0 | unsat | unsat |
430511941 | qf_shls_entl/smallfoot-vc56.tptp.smt2 | 8317167 | SPEN | 22607 | qf_shls | 326476 | complete | 0.034284 | 0.032943 | 113176.0 | sat | sat |
430511952 | qf_shls_entl/smallfoot-vc57.tptp.smt2 | 8317178 | SPEN | 22607 | qf_shls | 326476 | complete | 0.034461 | 0.0331751 | 113176.0 | sat | sat |
430512087 | qf_shls_entl/smallfoot-vc58.tptp.smt2 | 8317313 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032831 | 0.031576 | 113176.0 | unsat | unsat |
430512077 | qf_shls_entl/smallfoot-vc59.tptp.smt2 | 8317303 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033417 | 0.032187 | 113176.0 | unsat | unsat |
430512112 | qf_shls_entl/smallfoot-vc60.tptp.smt2 | 8317338 | SPEN | 22607 | qf_shls | 326476 | complete | 0.035054 | 0.033777 | 113176.0 | unsat | unsat |
430512121 | qf_shls_entl/smallfoot-vc61.tptp.smt2 | 8317347 | SPEN | 22607 | qf_shls | 326476 | complete | 0.034535 | 0.0333711 | 113176.0 | sat | sat |
430512097 | qf_shls_entl/smallfoot-vc62.tptp.smt2 | 8317323 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032187 | 0.0309629 | 113176.0 | unsat | unsat |
430512103 | qf_shls_entl/smallfoot-vc63.tptp.smt2 | 8317329 | SPEN | 22607 | qf_shls | 326476 | complete | 0.035783 | 0.0344659 | 113176.0 | unsat | unsat |
430512144 | qf_shls_entl/smallfoot-vc64.tptp.smt2 | 8317370 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033881 | 0.0325931 | 113176.0 | unsat | unsat |
430512157 | qf_shls_entl/smallfoot-vc65.tptp.smt2 | 8317383 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032827 | 0.031554 | 113176.0 | unsat | unsat |
430512129 | qf_shls_entl/smallfoot-vc66.tptp.smt2 | 8317355 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033444 | 0.032102 | 113176.0 | unsat | unsat |
430512136 | qf_shls_entl/smallfoot-vc67.tptp.smt2 | 8317362 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033135 | 0.0318401 | 113176.0 | unsat | unsat |
430512186 | qf_shls_entl/smallfoot-vc68.tptp.smt2 | 8317412 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033078 | 0.0318581 | 113176.0 | sat | sat |
430512174 | qf_shls_entl/smallfoot-vc69.tptp.smt2 | 8317400 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033594 | 0.032286 | 113176.0 | sat | sat |
430512081 | qf_shls_entl/smallfoot-vc70.tptp.smt2 | 8317307 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033999 | 0.0327549 | 113176.0 | sat | sat |
430512073 | qf_shls_entl/smallfoot-vc71.tptp.smt2 | 8317299 | SPEN | 22607 | qf_shls | 326476 | complete | 0.034485 | 0.0331511 | 113176.0 | unsat | unsat |
430512064 | qf_shls_entl/smallfoot-vc72.tptp.smt2 | 8317290 | SPEN | 22607 | qf_shls | 326476 | complete | 0.03263 | 0.0313709 | 113176.0 | sat | sat |
430512056 | qf_shls_entl/smallfoot-vc73.tptp.smt2 | 8317282 | SPEN | 22607 | qf_shls | 326476 | complete | 0.032528 | 0.0312469 | 113176.0 | sat | sat |
430512053 | qf_shls_entl/smallfoot-vc74.tptp.smt2 | 8317279 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033713 | 0.0324339 | 113176.0 | unsat | unsat |
430512046 | qf_shls_entl/smallfoot-vc75.tptp.smt2 | 8317272 | SPEN | 22607 | qf_shls | 326476 | complete | 0.034499 | 0.0332009 | 113176.0 | unsat | unsat |
430512033 | qf_shls_entl/smallfoot-vc76.tptp.smt2 | 8317259 | SPEN | 22607 | qf_shls | 326476 | complete | 0.034456 | 0.033176 | 113176.0 | sat | sat |
430512021 | qf_shls_entl/smallfoot-vc77.tptp.smt2 | 8317247 | SPEN | 22607 | qf_shls | 326476 | complete | 0.03417 | 0.032913 | 113176.0 | unsat | unsat |