433329851 | qf_shls_entl/bolognesa-10-e01.tptp.smt2 | 8317378 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.054187 | 0.052894 | 113176.0 | sat | sat |
433329842 | qf_shls_entl/bolognesa-10-e02.tptp.smt2 | 8317369 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.040801 | 0.039531 | 113176.0 | unsat | unsat |
433329832 | qf_shls_entl/bolognesa-10-e03.tptp.smt2 | 8317359 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.05537 | 0.054067 | 113176.0 | unsat | unsat |
433329814 | qf_shls_entl/bolognesa-10-e04.tptp.smt2 | 8317341 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.054169 | 0.0528661 | 113176.0 | sat | sat |
433329809 | qf_shls_entl/bolognesa-10-e05.tptp.smt2 | 8317336 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.048118 | 0.046877 | 113176.0 | sat | sat |
433329800 | qf_shls_entl/bolognesa-10-e06.tptp.smt2 | 8317327 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.041128 | 0.0399139 | 113176.0 | sat | sat |
433329789 | qf_shls_entl/bolognesa-10-e07.tptp.smt2 | 8317316 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.050088 | 0.0487231 | 113176.0 | sat | sat |
433329910 | qf_shls_entl/bolognesa-10-e08.tptp.smt2 | 8317437 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.04538 | 0.0441239 | 113176.0 | sat | sat |
433329918 | qf_shls_entl/bolognesa-10-e09.tptp.smt2 | 8317445 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.057467 | 0.056244 | 113176.0 | sat | sat |
433329735 | qf_shls_entl/bolognesa-10-e10.tptp.smt2 | 8317262 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.055904 | 0.054587 | 127516.0 | unsat | unsat |
433329724 | qf_shls_entl/bolognesa-11-e01.tptp.smt2 | 8317251 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.053407 | 0.052134 | 113176.0 | unsat | unsat |
433329754 | qf_shls_entl/bolognesa-11-e02.tptp.smt2 | 8317281 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.049843 | 0.0485659 | 113176.0 | unsat | unsat |
433329743 | qf_shls_entl/bolognesa-11-e03.tptp.smt2 | 8317270 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.069473 | 0.068236 | 113176.0 | unsat | unsat |
433329762 | qf_shls_entl/bolognesa-11-e04.tptp.smt2 | 8317289 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.061589 | 0.0603569 | 113176.0 | unsat | unsat |
433329757 | qf_shls_entl/bolognesa-11-e05.tptp.smt2 | 8317284 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.054061 | 0.0528069 | 113176.0 | sat | sat |
433329782 | qf_shls_entl/bolognesa-11-e06.tptp.smt2 | 8317309 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.058034 | 0.056793 | 113176.0 | sat | sat |
433329771 | qf_shls_entl/bolognesa-11-e07.tptp.smt2 | 8317298 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.055204 | 0.053954 | 113176.0 | unsat | unsat |
433329632 | qf_shls_entl/bolognesa-11-e08.tptp.smt2 | 8317159 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.047243 | 0.045936 | 113176.0 | unsat | unsat |
433329642 | qf_shls_entl/bolognesa-11-e09.tptp.smt2 | 8317169 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.050951 | 0.0496671 | 113176.0 | unsat | unsat |
433329824 | qf_shls_entl/bolognesa-11-e10.tptp.smt2 | 8317351 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.058519 | 0.05728 | 113176.0 | sat | sat |
433329866 | qf_shls_entl/bolognesa-12-e01.tptp.smt2 | 8317393 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.055973 | 0.054689 | 113176.0 | unsat | unsat |
433329888 | qf_shls_entl/bolognesa-12-e02.tptp.smt2 | 8317415 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.059398 | 0.058179 | 113176.0 | sat | sat |
433329880 | qf_shls_entl/bolognesa-12-e03.tptp.smt2 | 8317407 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.075818 | 0.074543 | 113176.0 | sat | sat |
433329899 | qf_shls_entl/bolognesa-12-e04.tptp.smt2 | 8317426 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.073917 | 0.0726181 | 113176.0 | sat | sat |
433329890 | qf_shls_entl/bolognesa-12-e05.tptp.smt2 | 8317417 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.054799 | 0.053475 | 113176.0 | unsat | unsat |
433329921 | qf_shls_entl/bolognesa-12-e06.tptp.smt2 | 8317448 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.044188 | 0.0429301 | 113176.0 | unsat | unsat |
433329912 | qf_shls_entl/bolognesa-12-e07.tptp.smt2 | 8317439 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.051796 | 0.0506011 | 113176.0 | sat | sat |
433329791 | qf_shls_entl/bolognesa-12-e08.tptp.smt2 | 8317318 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.060337 | 0.059067 | 113176.0 | unsat | unsat |
433329801 | qf_shls_entl/bolognesa-12-e09.tptp.smt2 | 8317328 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.056884 | 0.055691 | 113176.0 | unsat | unsat |
433329675 | qf_shls_entl/bolognesa-12-e10.tptp.smt2 | 8317202 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.058842 | 0.0575711 | 113176.0 | unsat | unsat |
433329704 | qf_shls_entl/bolognesa-13-e01.tptp.smt2 | 8317231 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.076085 | 0.074837 | 113176.0 | unsat | unsat |
433329690 | qf_shls_entl/bolognesa-13-e02.tptp.smt2 | 8317217 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.073519 | 0.072265 | 113176.0 | sat | sat |
433329679 | qf_shls_entl/bolognesa-13-e03.tptp.smt2 | 8317206 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.058095 | 0.0568059 | 113176.0 | unsat | unsat |
433329661 | qf_shls_entl/bolognesa-13-e04.tptp.smt2 | 8317188 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.065145 | 0.0638739 | 113176.0 | sat | sat |
433329654 | qf_shls_entl/bolognesa-13-e05.tptp.smt2 | 8317181 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.069061 | 0.0678361 | 113176.0 | sat | sat |
433329647 | qf_shls_entl/bolognesa-13-e06.tptp.smt2 | 8317174 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.057928 | 0.056734 | 113176.0 | sat | sat |
433329634 | qf_shls_entl/bolognesa-13-e07.tptp.smt2 | 8317161 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.083416 | 0.0822061 | 113176.0 | unsat | unsat |
433329773 | qf_shls_entl/bolognesa-13-e08.tptp.smt2 | 8317300 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.05262 | 0.051281 | 113176.0 | unsat | unsat |
433329783 | qf_shls_entl/bolognesa-13-e09.tptp.smt2 | 8317310 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.054945 | 0.0536611 | 113176.0 | sat | sat |
433329876 | qf_shls_entl/bolognesa-13-e10.tptp.smt2 | 8317403 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.082566 | 0.0813931 | 113176.0 | sat | sat |
433329738 | qf_shls_entl/bolognesa-14-e01.tptp.smt2 | 8317265 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.054468 | 0.0531599 | 113176.0 | unsat | unsat |
433329730 | qf_shls_entl/bolognesa-14-e02.tptp.smt2 | 8317257 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.059997 | 0.058846 | 113176.0 | unsat | unsat |
433329715 | qf_shls_entl/bolognesa-14-e03.tptp.smt2 | 8317242 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.074115 | 0.0728721 | 113176.0 | unsat | unsat |
433329784 | qf_shls_entl/bolognesa-14-e04.tptp.smt2 | 8317311 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.062846 | 0.061554 | 113176.0 | unsat | unsat |
433329777 | qf_shls_entl/bolognesa-14-e05.tptp.smt2 | 8317304 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.100867 | 0.09972 | 113176.0 | sat | sat |
433329769 | qf_shls_entl/bolognesa-14-e06.tptp.smt2 | 8317296 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.069925 | 0.068749 | 113176.0 | unsat | unsat |
433329759 | qf_shls_entl/bolognesa-14-e07.tptp.smt2 | 8317286 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.075873 | 0.0746 | 113176.0 | unsat | unsat |
433329659 | qf_shls_entl/bolognesa-14-e08.tptp.smt2 | 8317186 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.076506 | 0.0752111 | 113176.0 | unsat | unsat |
433329665 | qf_shls_entl/bolognesa-14-e09.tptp.smt2 | 8317192 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.087011 | 0.085732 | 113176.0 | unsat | unsat |
433329848 | qf_shls_entl/bolognesa-14-e10.tptp.smt2 | 8317375 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.099208 | 0.097997 | 113176.0 | sat | sat |
433329829 | qf_shls_entl/bolognesa-15-e01.tptp.smt2 | 8317356 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.073564 | 0.0722809 | 113176.0 | unsat | unsat |
433329855 | qf_shls_entl/bolognesa-15-e02.tptp.smt2 | 8317382 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.132835 | 0.131708 | 113176.0 | unsat | unsat |
433329844 | qf_shls_entl/bolognesa-15-e03.tptp.smt2 | 8317371 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.094721 | 0.093451 | 113176.0 | sat | sat |
433329803 | qf_shls_entl/bolognesa-15-e04.tptp.smt2 | 8317330 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.082636 | 0.0813141 | 113176.0 | unsat | unsat |
433329795 | qf_shls_entl/bolognesa-15-e05.tptp.smt2 | 8317322 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.10664 | 0.105415 | 113176.0 | unsat | unsat |
433329822 | qf_shls_entl/bolognesa-15-e06.tptp.smt2 | 8317349 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.130889 | 0.129577 | 113176.0 | unsat | unsat |
433329810 | qf_shls_entl/bolognesa-15-e07.tptp.smt2 | 8317337 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.08314 | 0.0819121 | 113176.0 | unsat | unsat |
433329897 | qf_shls_entl/bolognesa-15-e08.tptp.smt2 | 8317424 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.093225 | 0.0919719 | 113176.0 | sat | sat |
433329902 | qf_shls_entl/bolognesa-15-e09.tptp.smt2 | 8317429 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.169915 | 0.168642 | 113176.0 | sat | sat |
433329719 | qf_shls_entl/bolognesa-15-e10.tptp.smt2 | 8317246 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.072892 | 0.0716399 | 113176.0 | unsat | unsat |
433329677 | qf_shls_entl/bolognesa-16-e01.tptp.smt2 | 8317204 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.098427 | 0.0971301 | 113176.0 | unsat | unsat |
433329707 | qf_shls_entl/bolognesa-16-e02.tptp.smt2 | 8317234 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.115852 | 0.114565 | 113176.0 | sat | sat |
433329694 | qf_shls_entl/bolognesa-16-e03.tptp.smt2 | 8317221 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.121336 | 0.120058 | 113176.0 | sat | sat |
433329648 | qf_shls_entl/bolognesa-16-e04.tptp.smt2 | 8317175 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.105782 | 0.104599 | 113176.0 | sat | sat |
433329636 | qf_shls_entl/bolognesa-16-e05.tptp.smt2 | 8317163 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.084933 | 0.0835331 | 113176.0 | unsat | unsat |
433329671 | qf_shls_entl/bolognesa-16-e06.tptp.smt2 | 8317198 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.085774 | 0.084583 | 113176.0 | sat | sat |
433329660 | qf_shls_entl/bolognesa-16-e07.tptp.smt2 | 8317187 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.0929 | 0.0916341 | 113176.0 | unsat | unsat |
433329761 | qf_shls_entl/bolognesa-16-e08.tptp.smt2 | 8317288 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.097154 | 0.095946 | 113176.0 | unsat | unsat |
433329770 | qf_shls_entl/bolognesa-16-e09.tptp.smt2 | 8317297 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.078516 | 0.077301 | 113176.0 | unsat | unsat |
433329865 | qf_shls_entl/bolognesa-16-e10.tptp.smt2 | 8317392 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.137629 | 0.136499 | 113176.0 | sat | sat |
433329879 | qf_shls_entl/bolognesa-17-e01.tptp.smt2 | 8317406 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.131829 | 0.130619 | 113176.0 | unsat | unsat |
433329868 | qf_shls_entl/bolognesa-17-e02.tptp.smt2 | 8317395 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.144215 | 0.142939 | 113176.0 | sat | sat |
433329859 | qf_shls_entl/bolognesa-17-e03.tptp.smt2 | 8317386 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.099432 | 0.0980421 | 113176.0 | sat | sat |
433329923 | qf_shls_entl/bolognesa-17-e04.tptp.smt2 | 8317450 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.136378 | 0.135077 | 113176.0 | unsat | unsat |
433329915 | qf_shls_entl/bolognesa-17-e05.tptp.smt2 | 8317442 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.080929 | 0.0797131 | 113176.0 | unsat | unsat |
433329907 | qf_shls_entl/bolognesa-17-e06.tptp.smt2 | 8317434 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.131198 | 0.129908 | 113176.0 | unsat | unsat |
433329898 | qf_shls_entl/bolognesa-17-e07.tptp.smt2 | 8317425 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.090694 | 0.0894821 | 113176.0 | unsat | unsat |
433329813 | qf_shls_entl/bolognesa-17-e08.tptp.smt2 | 8317340 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.111297 | 0.110009 | 113176.0 | sat | sat |
433329823 | qf_shls_entl/bolognesa-17-e09.tptp.smt2 | 8317350 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.14753 | 0.146235 | 113176.0 | unsat | unsat |
433329702 | qf_shls_entl/bolognesa-17-e10.tptp.smt2 | 8317229 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.127039 | 0.12581 | 113176.0 | unsat | unsat |
433329908 | qf_shls_entl/bolognesa-18-e01.tptp.smt2 | 8317435 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.124872 | 0.123578 | 113176.0 | unsat | unsat |
433329914 | qf_shls_entl/bolognesa-18-e02.tptp.smt2 | 8317441 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.129507 | 0.128351 | 113176.0 | sat | sat |
433329922 | qf_shls_entl/bolognesa-18-e03.tptp.smt2 | 8317449 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.196188 | 0.194396 | 113176.0 | sat | sat |
433329860 | qf_shls_entl/bolognesa-18-e04.tptp.smt2 | 8317387 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.124907 | 0.123628 | 113176.0 | sat | sat |
433329869 | qf_shls_entl/bolognesa-18-e05.tptp.smt2 | 8317396 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.145408 | 0.144276 | 113176.0 | sat | sat |
433329878 | qf_shls_entl/bolognesa-18-e06.tptp.smt2 | 8317405 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.134172 | 0.133106 | 113176.0 | sat | sat |
433329886 | qf_shls_entl/bolognesa-18-e07.tptp.smt2 | 8317413 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.124489 | 0.12318 | 113176.0 | sat | sat |
433329839 | qf_shls_entl/bolognesa-18-e08.tptp.smt2 | 8317366 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.209648 | 0.208308 | 113176.0 | sat | sat |
433329830 | qf_shls_entl/bolognesa-18-e09.tptp.smt2 | 8317357 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.172208 | 0.170938 | 113176.0 | sat | sat |
433329644 | qf_shls_entl/bolognesa-18-e10.tptp.smt2 | 8317171 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.119171 | 0.117924 | 113176.0 | unsat | unsat |
433329670 | qf_shls_entl/bolognesa-19-e01.tptp.smt2 | 8317197 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.146027 | 0.144677 | 113176.0 | sat | sat |
433329637 | qf_shls_entl/bolognesa-19-e02.tptp.smt2 | 8317164 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.181723 | 0.180366 | 113176.0 | sat | sat |
433329649 | qf_shls_entl/bolognesa-19-e03.tptp.smt2 | 8317176 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.151483 | 0.150254 | 113176.0 | sat | sat |
433329693 | qf_shls_entl/bolognesa-19-e04.tptp.smt2 | 8317220 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.104546 | 0.103227 | 113176.0 | sat | sat |
433329706 | qf_shls_entl/bolognesa-19-e05.tptp.smt2 | 8317233 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.122183 | 0.120927 | 113176.0 | unsat | unsat |
433329678 | qf_shls_entl/bolognesa-19-e06.tptp.smt2 | 8317205 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.146563 | 0.145309 | 113176.0 | unsat | unsat |
433329687 | qf_shls_entl/bolognesa-19-e07.tptp.smt2 | 8317214 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.193622 | 0.192314 | 113176.0 | sat | sat |
433329750 | qf_shls_entl/bolognesa-19-e08.tptp.smt2 | 8317277 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.167102 | 0.165836 | 113176.0 | unsat | unsat |
433329741 | qf_shls_entl/bolognesa-19-e09.tptp.smt2 | 8317268 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.189437 | 0.188136 | 113176.0 | sat | sat |
433329919 | qf_shls_entl/bolognesa-19-e10.tptp.smt2 | 8317446 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.192243 | 0.190941 | 113176.0 | unsat | unsat |
433329639 | qf_shls_entl/bolognesa-20-e01.tptp.smt2 | 8317166 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.23963 | 0.238323 | 113176.0 | sat | sat |
433329667 | qf_shls_entl/bolognesa-20-e02.tptp.smt2 | 8317194 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.119878 | 0.118633 | 113176.0 | sat | sat |
433329658 | qf_shls_entl/bolognesa-20-e03.tptp.smt2 | 8317185 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.14247 | 0.141176 | 113176.0 | sat | sat |
433329686 | qf_shls_entl/bolognesa-20-e04.tptp.smt2 | 8317213 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.139822 | 0.138533 | 113176.0 | sat | sat |
433329673 | qf_shls_entl/bolognesa-20-e05.tptp.smt2 | 8317200 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.224115 | 0.222834 | 113176.0 | sat | sat |
433329708 | qf_shls_entl/bolognesa-20-e06.tptp.smt2 | 8317235 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.183339 | 0.182045 | 113176.0 | unsat | unsat |
433329696 | qf_shls_entl/bolognesa-20-e07.tptp.smt2 | 8317223 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.115103 | 0.113787 | 113176.0 | unsat | unsat |
433329716 | qf_shls_entl/bolognesa-20-e08.tptp.smt2 | 8317243 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.257988 | 0.256641 | 113176.0 | unsat | unsat |
433329729 | qf_shls_entl/bolognesa-20-e09.tptp.smt2 | 8317256 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.138269 | 0.137012 | 113176.0 | sat | sat |
433329891 | qf_shls_entl/bolognesa-20-e10.tptp.smt2 | 8317418 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.135586 | 0.13429 | 113176.0 | unsat | unsat |
433329645 | qf_shls_entl/clones-01-e01.tptp.smt2 | 8317172 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.034728 | 0.033455 | 113176.0 | unsat | unsat |
433329653 | qf_shls_entl/clones-01-e02.tptp.smt2 | 8317180 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.035639 | 0.0343361 | 113176.0 | unsat | unsat |
433329662 | qf_shls_entl/clones-01-e03.tptp.smt2 | 8317189 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.032894 | 0.0316541 | 113176.0 | unsat | unsat |
433329680 | qf_shls_entl/clones-01-e04.tptp.smt2 | 8317207 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.034272 | 0.032955 | 113176.0 | unsat | unsat |
433329689 | qf_shls_entl/clones-01-e05.tptp.smt2 | 8317216 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.031783 | 0.0305371 | 113176.0 | unsat | unsat |
433329703 | qf_shls_entl/clones-01-e06.tptp.smt2 | 8317230 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.035195 | 0.033895 | 113176.0 | unsat | unsat |
433329713 | qf_shls_entl/clones-01-e07.tptp.smt2 | 8317240 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.034335 | 0.0330539 | 113176.0 | sat | sat |
433329734 | qf_shls_entl/clones-01-e08.tptp.smt2 | 8317261 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.032733 | 0.0315269 | 113176.0 | sat | sat |
433329726 | qf_shls_entl/clones-01-e09.tptp.smt2 | 8317253 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033803 | 0.032554 | 113176.0 | sat | sat |
433329906 | qf_shls_entl/clones-01-e10.tptp.smt2 | 8317433 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.03302 | 0.0317819 | 113176.0 | sat | sat |
433329798 | qf_shls_entl/clones-02-e01.tptp.smt2 | 8317325 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.032978 | 0.0317401 | 113176.0 | unsat | unsat |
433329806 | qf_shls_entl/clones-02-e02.tptp.smt2 | 8317333 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033635 | 0.0323531 | 113176.0 | unsat | unsat |
433329817 | qf_shls_entl/clones-02-e03.tptp.smt2 | 8317344 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.034115 | 0.0327839 | 113176.0 | unsat | unsat |
433329834 | qf_shls_entl/clones-02-e04.tptp.smt2 | 8317361 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.034328 | 0.033061 | 113176.0 | unsat | unsat |
433329840 | qf_shls_entl/clones-02-e05.tptp.smt2 | 8317367 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.032746 | 0.0314301 | 113176.0 | unsat | unsat |
433329849 | qf_shls_entl/clones-02-e06.tptp.smt2 | 8317376 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.032551 | 0.031364 | 113176.0 | unsat | unsat |
433329857 | qf_shls_entl/clones-02-e07.tptp.smt2 | 8317384 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.034886 | 0.033589 | 113176.0 | sat | sat |
433329871 | qf_shls_entl/clones-02-e08.tptp.smt2 | 8317398 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.037557 | 0.0362289 | 113176.0 | sat | sat |
433329864 | qf_shls_entl/clones-02-e09.tptp.smt2 | 8317391 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.035866 | 0.0345999 | 113176.0 | sat | sat |
433329767 | qf_shls_entl/clones-02-e10.tptp.smt2 | 8317294 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.034958 | 0.033652 | 113176.0 | sat | sat |
433329779 | qf_shls_entl/clones-03-e01.tptp.smt2 | 8317306 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.032959 | 0.031737 | 113176.0 | unsat | unsat |
433329756 | qf_shls_entl/clones-03-e02.tptp.smt2 | 8317283 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.03391 | 0.0327101 | 113176.0 | unsat | unsat |
433329764 | qf_shls_entl/clones-03-e03.tptp.smt2 | 8317291 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033748 | 0.0324251 | 113176.0 | unsat | unsat |
433329744 | qf_shls_entl/clones-03-e04.tptp.smt2 | 8317271 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.03435 | 0.0330679 | 113176.0 | unsat | unsat |
433329751 | qf_shls_entl/clones-03-e05.tptp.smt2 | 8317278 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.036426 | 0.035105 | 113176.0 | unsat | unsat |
433329721 | qf_shls_entl/clones-03-e06.tptp.smt2 | 8317248 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.034038 | 0.0327139 | 113176.0 | unsat | unsat |
433329733 | qf_shls_entl/clones-03-e07.tptp.smt2 | 8317260 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.036172 | 0.0348979 | 113176.0 | sat | sat |
433329711 | qf_shls_entl/clones-03-e08.tptp.smt2 | 8317238 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.040949 | 0.0396369 | 113176.0 | sat | sat |
433329701 | qf_shls_entl/clones-03-e09.tptp.smt2 | 8317228 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.038792 | 0.037561 | 113176.0 | sat | sat |
433329821 | qf_shls_entl/clones-03-e10.tptp.smt2 | 8317348 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.037207 | 0.0359551 | 113176.0 | sat | sat |
433329669 | qf_shls_entl/clones-04-e01.tptp.smt2 | 8317196 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033141 | 0.031847 | 113176.0 | unsat | unsat |
433329635 | qf_shls_entl/clones-04-e02.tptp.smt2 | 8317162 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.036154 | 0.0348741 | 113176.0 | unsat | unsat |
433329650 | qf_shls_entl/clones-04-e03.tptp.smt2 | 8317177 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.035643 | 0.034368 | 113176.0 | unsat | unsat |
433329695 | qf_shls_entl/clones-04-e04.tptp.smt2 | 8317222 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.03541 | 0.0340629 | 113176.0 | unsat | unsat |
433329705 | qf_shls_entl/clones-04-e05.tptp.smt2 | 8317232 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.035886 | 0.034621 | 113176.0 | unsat | unsat |
433329676 | qf_shls_entl/clones-04-e06.tptp.smt2 | 8317203 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.032385 | 0.0310929 | 113176.0 | unsat | unsat |
433329688 | qf_shls_entl/clones-04-e07.tptp.smt2 | 8317215 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.043243 | 0.0419361 | 113176.0 | sat | sat |
433329749 | qf_shls_entl/clones-04-e08.tptp.smt2 | 8317276 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.053823 | 0.0558769 | 113176.0 | sat | sat |
433329742 | qf_shls_entl/clones-04-e09.tptp.smt2 | 8317269 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.050439 | 0.0491571 | 113176.0 | sat | sat |
433329920 | qf_shls_entl/clones-04-e10.tptp.smt2 | 8317447 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.039991 | 0.038819 | 113176.0 | sat | sat |
433329905 | qf_shls_entl/clones-05-e01.tptp.smt2 | 8317432 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.035049 | 0.0338529 | 113176.0 | unsat | unsat |
433329913 | qf_shls_entl/clones-05-e02.tptp.smt2 | 8317440 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.037252 | 0.0359649 | 113176.0 | unsat | unsat |
433329924 | qf_shls_entl/clones-05-e03.tptp.smt2 | 8317451 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.035301 | 0.0340481 | 113176.0 | unsat | unsat |
433329861 | qf_shls_entl/clones-05-e04.tptp.smt2 | 8317388 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.032701 | 0.0314781 | 113176.0 | unsat | unsat |
433329867 | qf_shls_entl/clones-05-e05.tptp.smt2 | 8317394 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.039031 | 0.037745 | 113176.0 | unsat | unsat |
433329877 | qf_shls_entl/clones-05-e06.tptp.smt2 | 8317404 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033131 | 0.0318821 | 113176.0 | unsat | unsat |
433329887 | qf_shls_entl/clones-05-e07.tptp.smt2 | 8317414 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.049535 | 0.048283 | 113176.0 | sat | sat |
433329838 | qf_shls_entl/clones-05-e08.tptp.smt2 | 8317365 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.076659 | 0.0753929 | 113176.0 | sat | sat |
433329831 | qf_shls_entl/clones-05-e09.tptp.smt2 | 8317358 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.06863 | 0.0673899 | 113176.0 | sat | sat |
433329646 | qf_shls_entl/clones-05-e10.tptp.smt2 | 8317173 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.05006 | 0.0487859 | 113176.0 | sat | sat |
433329765 | qf_shls_entl/clones-06-e01.tptp.smt2 | 8317292 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033334 | 0.0320619 | 113176.0 | unsat | unsat |
433329775 | qf_shls_entl/clones-06-e02.tptp.smt2 | 8317302 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.037833 | 0.0365161 | 113176.0 | unsat | unsat |
433329788 | qf_shls_entl/clones-06-e03.tptp.smt2 | 8317315 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.0394 | 0.038108 | 113176.0 | unsat | unsat |
433329717 | qf_shls_entl/clones-06-e04.tptp.smt2 | 8317244 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033269 | 0.032045 | 113176.0 | unsat | unsat |
433329727 | qf_shls_entl/clones-06-e05.tptp.smt2 | 8317254 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.046526 | 0.0451691 | 113176.0 | unsat | unsat |
433329737 | qf_shls_entl/clones-06-e06.tptp.smt2 | 8317264 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033221 | 0.0320139 | 113176.0 | unsat | unsat |
433329748 | qf_shls_entl/clones-06-e07.tptp.smt2 | 8317275 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.064228 | 0.0630261 | 113176.0 | sat | sat |
433329684 | qf_shls_entl/clones-06-e08.tptp.smt2 | 8317211 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.117929 | 0.116759 | 113176.0 | sat | sat |
433329674 | qf_shls_entl/clones-06-e09.tptp.smt2 | 8317201 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.100007 | 0.0987389 | 113176.0 | sat | sat |
433329799 | qf_shls_entl/clones-06-e10.tptp.smt2 | 8317326 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.06389 | 0.06262 | 113176.0 | sat | sat |
433329819 | qf_shls_entl/clones-07-e01.tptp.smt2 | 8317346 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.036026 | 0.034862 | 113176.0 | unsat | unsat |
433329793 | qf_shls_entl/clones-07-e02.tptp.smt2 | 8317320 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.043586 | 0.042276 | 113176.0 | unsat | unsat |
433329804 | qf_shls_entl/clones-07-e03.tptp.smt2 | 8317331 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.043595 | 0.042311 | 113176.0 | unsat | unsat |
433329846 | qf_shls_entl/clones-07-e04.tptp.smt2 | 8317373 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033083 | 0.031794 | 113176.0 | unsat | unsat |
433329854 | qf_shls_entl/clones-07-e05.tptp.smt2 | 8317381 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.051798 | 0.0505559 | 113176.0 | unsat | unsat |
433329826 | qf_shls_entl/clones-07-e06.tptp.smt2 | 8317353 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.0331 | 0.031813 | 113176.0 | unsat | unsat |
433329836 | qf_shls_entl/clones-07-e07.tptp.smt2 | 8317363 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.08983 | 0.0885139 | 113176.0 | sat | sat |
433329883 | qf_shls_entl/clones-07-e08.tptp.smt2 | 8317410 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.182173 | 0.18089 | 113176.0 | sat | sat |
433329874 | qf_shls_entl/clones-07-e09.tptp.smt2 | 8317401 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.154901 | 0.153996 | 113176.0 | sat | sat |
433329781 | qf_shls_entl/clones-07-e10.tptp.smt2 | 8317308 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.087367 | 0.0861329 | 113176.0 | sat | sat |
433329827 | qf_shls_entl/clones-08-e01.tptp.smt2 | 8317354 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.034708 | 0.033479 | 113176.0 | unsat | unsat |
433329853 | qf_shls_entl/clones-08-e02.tptp.smt2 | 8317380 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.049557 | 0.048266 | 113176.0 | unsat | unsat |
433329845 | qf_shls_entl/clones-08-e03.tptp.smt2 | 8317372 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.048536 | 0.0473641 | 113176.0 | unsat | unsat |
433329805 | qf_shls_entl/clones-08-e04.tptp.smt2 | 8317332 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033229 | 0.0319069 | 113176.0 | unsat | unsat |
433329794 | qf_shls_entl/clones-08-e05.tptp.smt2 | 8317321 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.064066 | 0.062747 | 113176.0 | unsat | unsat |
433329818 | qf_shls_entl/clones-08-e06.tptp.smt2 | 8317345 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033885 | 0.0325561 | 113176.0 | unsat | unsat |
433329812 | qf_shls_entl/clones-08-e07.tptp.smt2 | 8317339 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.120102 | 0.118884 | 113176.0 | sat | sat |
433329894 | qf_shls_entl/clones-08-e08.tptp.smt2 | 8317421 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.27449 | 0.273211 | 113176.0 | sat | sat |
433329903 | qf_shls_entl/clones-08-e09.tptp.smt2 | 8317430 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.232514 | 0.231195 | 113176.0 | sat | sat |
433329723 | qf_shls_entl/clones-08-e10.tptp.smt2 | 8317250 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.1221 | 0.120843 | 113176.0 | sat | sat |
433329736 | qf_shls_entl/clones-09-e01.tptp.smt2 | 8317263 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.035663 | 0.0343529 | 113176.0 | unsat | unsat |
433329728 | qf_shls_entl/clones-09-e02.tptp.smt2 | 8317255 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.057375 | 0.0561281 | 113176.0 | unsat | unsat |
433329718 | qf_shls_entl/clones-09-e03.tptp.smt2 | 8317245 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.057048 | 0.055754 | 113176.0 | unsat | unsat |
433329787 | qf_shls_entl/clones-09-e04.tptp.smt2 | 8317314 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.032481 | 0.031184 | 113176.0 | unsat | unsat |
433329774 | qf_shls_entl/clones-09-e05.tptp.smt2 | 8317301 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.082749 | 0.081411 | 113176.0 | unsat | unsat |
433329766 | qf_shls_entl/clones-09-e06.tptp.smt2 | 8317293 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.034036 | 0.0327601 | 113176.0 | unsat | unsat |
433329760 | qf_shls_entl/clones-09-e07.tptp.smt2 | 8317287 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.168625 | 0.167376 | 113176.0 | sat | sat |
433329656 | qf_shls_entl/clones-09-e08.tptp.smt2 | 8317183 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.404555 | 0.403286 | 113176.0 | sat | sat |
433329668 | qf_shls_entl/clones-09-e09.tptp.smt2 | 8317195 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.346563 | 0.345336 | 113176.0 | sat | sat |
433329850 | qf_shls_entl/clones-09-e10.tptp.smt2 | 8317377 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.169899 | 0.168541 | 113176.0 | sat | sat |
433329663 | qf_shls_entl/clones-10-e01.tptp.smt2 | 8317190 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.038017 | 0.038902 | 0.0 | unsat | unsat |
433329631 | qf_shls_entl/clones-10-e02.tptp.smt2 | 8317158 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.066019 | 0.0648159 | 113176.0 | unsat | unsat |
433329643 | qf_shls_entl/clones-10-e03.tptp.smt2 | 8317170 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.069108 | 0.0677169 | 113176.0 | unsat | unsat |
433329700 | qf_shls_entl/clones-10-e04.tptp.smt2 | 8317227 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.032438 | 0.0305801 | 113176.0 | unsat | unsat |
433329710 | qf_shls_entl/clones-10-e05.tptp.smt2 | 8317237 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.1024 | 0.101111 | 113176.0 | unsat | unsat |
433329681 | qf_shls_entl/clones-10-e06.tptp.smt2 | 8317208 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.03163 | 0.0303961 | 113176.0 | unsat | unsat |
433329692 | qf_shls_entl/clones-10-e07.tptp.smt2 | 8317219 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.232046 | 0.230825 | 113176.0 | sat | sat |
433329753 | qf_shls_entl/clones-10-e08.tptp.smt2 | 8317280 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.583803 | 0.582587 | 113176.0 | sat | sat |
433329746 | qf_shls_entl/clones-10-e09.tptp.smt2 | 8317273 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.504828 | 0.503529 | 113176.0 | sat | sat |
433329926 | qf_shls_entl/clones-10-e10.tptp.smt2 | 8317453 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.233573 | 0.232324 | 113176.0 | sat | sat |
433329909 | qf_shls_entl/ls-vc01.smt2 | 8317436 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.034683 | 0.033357 | 113176.0 | sat | sat |
433329740 | qf_shls_entl/ls-vc02.smt2 | 8317267 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033512 | 0.0322269 | 113176.0 | sat | sat |
433329698 | qf_shls_entl/ls-vc03.smt2 | 8317225 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.03701 | 0.0357941 | 113176.0 | sat | sat |
433329792 | qf_shls_entl/ls-vc04.smt2 | 8317319 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033616 | 0.0324069 | 113176.0 | sat | sat |
433329896 | qf_shls_entl/ls-vc05.smt2 | 8317423 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.03341 | 0.032171 | 113176.0 | unsat | unsat |
433329725 | qf_shls_entl/ls-vc06.smt2 | 8317252 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033494 | 0.032199 | 113176.0 | sat | sat |
433329683 | qf_shls_entl/ls-vc07.smt2 | 8317210 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.035304 | 0.0339931 | 113176.0 | sat | sat |
433329852 | qf_shls_entl/ls-vc08.smt2 | 8317379 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033355 | 0.0320761 | 113176.0 | unsat | unsat |
433329884 | qf_shls_entl/ls-vc09.smt2 | 8317411 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.034232 | 0.03305 | 113176.0 | unsat | unsat |
433329714 | qf_shls_entl/smallfoot-vc01.tptp.smt2 | 8317241 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.032901 | 0.031596 | 113176.0 | unsat | unsat |
433329747 | qf_shls_entl/smallfoot-vc02.tptp.smt2 | 8317274 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033941 | 0.0326409 | 113176.0 | unsat | unsat |
433329739 | qf_shls_entl/smallfoot-vc03.tptp.smt2 | 8317266 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033423 | 0.0321869 | 113176.0 | unsat | unsat |
433329768 | qf_shls_entl/smallfoot-vc04.tptp.smt2 | 8317295 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033236 | 0.0319241 | 113176.0 | unsat | unsat |
433329758 | qf_shls_entl/smallfoot-vc05.tptp.smt2 | 8317285 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033203 | 0.0319549 | 113176.0 | unsat | unsat |
433329785 | qf_shls_entl/smallfoot-vc06.tptp.smt2 | 8317312 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.032507 | 0.0312689 | 113176.0 | unsat | unsat |
433329778 | qf_shls_entl/smallfoot-vc07.tptp.smt2 | 8317305 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033222 | 0.031938 | 113176.0 | unsat | unsat |
433329638 | qf_shls_entl/smallfoot-vc08.tptp.smt2 | 8317165 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.032823 | 0.031622 | 113176.0 | unsat | unsat |
433329652 | qf_shls_entl/smallfoot-vc09.tptp.smt2 | 8317179 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033554 | 0.032303 | 113176.0 | unsat | unsat |
433329833 | qf_shls_entl/smallfoot-vc10.tptp.smt2 | 8317360 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.034949 | 0.0337019 | 113176.0 | unsat | unsat |
433329841 | qf_shls_entl/smallfoot-vc11.tptp.smt2 | 8317368 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.032655 | 0.0314001 | 113176.0 | unsat | unsat |
433329847 | qf_shls_entl/smallfoot-vc12.tptp.smt2 | 8317374 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.034195 | 0.032924 | 113176.0 | unsat | unsat |
433329858 | qf_shls_entl/smallfoot-vc13.tptp.smt2 | 8317385 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033579 | 0.032368 | 113176.0 | unsat | unsat |
433329790 | qf_shls_entl/smallfoot-vc14.tptp.smt2 | 8317317 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.034109 | 0.0327561 | 113176.0 | unsat | unsat |
433329797 | qf_shls_entl/smallfoot-vc15.tptp.smt2 | 8317324 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.034685 | 0.033438 | 113176.0 | unsat | unsat |
433329807 | qf_shls_entl/smallfoot-vc16.tptp.smt2 | 8317334 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033426 | 0.032145 | 113176.0 | unsat | unsat |
433329816 | qf_shls_entl/smallfoot-vc17.tptp.smt2 | 8317343 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033192 | 0.031924 | 113176.0 | unsat | unsat |
433329900 | qf_shls_entl/smallfoot-vc18.tptp.smt2 | 8317427 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033668 | 0.032356 | 113176.0 | unsat | unsat |
433329893 | qf_shls_entl/smallfoot-vc19.tptp.smt2 | 8317420 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033325 | 0.0319701 | 113176.0 | unsat | unsat |
433329633 | qf_shls_entl/smallfoot-vc20.tptp.smt2 | 8317160 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033338 | 0.0320511 | 113176.0 | unsat | unsat |
433329641 | qf_shls_entl/smallfoot-vc21.tptp.smt2 | 8317168 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.032927 | 0.031657 | 113176.0 | unsat | unsat |
433329655 | qf_shls_entl/smallfoot-vc22.tptp.smt2 | 8317182 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033164 | 0.032006 | 113176.0 | sat | sat |
433329664 | qf_shls_entl/smallfoot-vc23.tptp.smt2 | 8317191 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.03524 | 0.0340521 | 113176.0 | sat | sat |
433329682 | qf_shls_entl/smallfoot-vc24.tptp.smt2 | 8317209 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.032841 | 0.031545 | 113176.0 | unsat | unsat |
433329691 | qf_shls_entl/smallfoot-vc25.tptp.smt2 | 8317218 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.034893 | 0.0335961 | 113176.0 | unsat | unsat |
433329699 | qf_shls_entl/smallfoot-vc26.tptp.smt2 | 8317226 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.034894 | 0.0336441 | 113176.0 | unsat | unsat |
433329712 | qf_shls_entl/smallfoot-vc27.tptp.smt2 | 8317239 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.034703 | 0.033359 | 113176.0 | unsat | unsat |
433329731 | qf_shls_entl/smallfoot-vc28.tptp.smt2 | 8317258 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.034584 | 0.0333909 | 113176.0 | unsat | unsat |
433329722 | qf_shls_entl/smallfoot-vc29.tptp.smt2 | 8317249 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.035485 | 0.0342761 | 113176.0 | sat | sat |
433329904 | qf_shls_entl/smallfoot-vc30.tptp.smt2 | 8317431 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.035103 | 0.0340559 | 113176.0 | sat | sat |
433329895 | qf_shls_entl/smallfoot-vc31.tptp.smt2 | 8317422 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.034414 | 0.0331501 | 113176.0 | sat | sat |
433329925 | qf_shls_entl/smallfoot-vc32.tptp.smt2 | 8317452 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033939 | 0.0327009 | 113176.0 | sat | sat |
433329916 | qf_shls_entl/smallfoot-vc33.tptp.smt2 | 8317443 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.034098 | 0.032779 | 113176.0 | sat | sat |
433329870 | qf_shls_entl/smallfoot-vc34.tptp.smt2 | 8317397 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.034257 | 0.032967 | 113176.0 | unsat | unsat |
433329862 | qf_shls_entl/smallfoot-vc35.tptp.smt2 | 8317389 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.03382 | 0.032561 | 113176.0 | sat | sat |
433329882 | qf_shls_entl/smallfoot-vc36.tptp.smt2 | 8317409 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.035564 | 0.0343349 | 113176.0 | unsat | unsat |
433329875 | qf_shls_entl/smallfoot-vc37.tptp.smt2 | 8317402 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.035184 | 0.0334821 | 113176.0 | sat | sat |
433329825 | qf_shls_entl/smallfoot-vc38.tptp.smt2 | 8317352 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.034507 | 0.033232 | 113176.0 | unsat | unsat |
433329837 | qf_shls_entl/smallfoot-vc39.tptp.smt2 | 8317364 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.032746 | 0.031503 | 113176.0 | sat | sat |
433329889 | qf_shls_entl/smallfoot-vc40.tptp.smt2 | 8317416 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.035515 | 0.0342051 | 113176.0 | sat | sat |
433329881 | qf_shls_entl/smallfoot-vc41.tptp.smt2 | 8317408 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033391 | 0.0321019 | 113176.0 | unsat | unsat |
433329872 | qf_shls_entl/smallfoot-vc42.tptp.smt2 | 8317399 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033554 | 0.032328 | 113176.0 | unsat | unsat |
433329863 | qf_shls_entl/smallfoot-vc43.tptp.smt2 | 8317390 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.034692 | 0.033389 | 113176.0 | sat | sat |
433329917 | qf_shls_entl/smallfoot-vc44.tptp.smt2 | 8317444 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.034229 | 0.0329051 | 113176.0 | unsat | unsat |
433329911 | qf_shls_entl/smallfoot-vc45.tptp.smt2 | 8317438 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.035298 | 0.0340331 | 113176.0 | unsat | unsat |
433329901 | qf_shls_entl/smallfoot-vc46.tptp.smt2 | 8317428 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.03285 | 0.0316481 | 113176.0 | unsat | unsat |
433329892 | qf_shls_entl/smallfoot-vc47.tptp.smt2 | 8317419 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.034294 | 0.0329669 | 113176.0 | unsat | unsat |
433329808 | qf_shls_entl/smallfoot-vc48.tptp.smt2 | 8317335 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.035585 | 0.034263 | 113176.0 | unsat | unsat |
433329815 | qf_shls_entl/smallfoot-vc49.tptp.smt2 | 8317342 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033528 | 0.0322039 | 113176.0 | sat | sat |
433329697 | qf_shls_entl/smallfoot-vc50.tptp.smt2 | 8317224 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033275 | 0.0320341 | 113176.0 | unsat | unsat |
433329709 | qf_shls_entl/smallfoot-vc51.tptp.smt2 | 8317236 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.03315 | 0.0318781 | 113176.0 | unsat | unsat |
433329672 | qf_shls_entl/smallfoot-vc52.tptp.smt2 | 8317199 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.035371 | 0.0340539 | 113176.0 | unsat | unsat |
433329685 | qf_shls_entl/smallfoot-vc53.tptp.smt2 | 8317212 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.03385 | 0.032545 | 113176.0 | unsat | unsat |
433329657 | qf_shls_entl/smallfoot-vc54.tptp.smt2 | 8317184 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.034446 | 0.033163 | 113176.0 | sat | sat |
433329666 | qf_shls_entl/smallfoot-vc55.tptp.smt2 | 8317193 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033432 | 0.0321719 | 113176.0 | unsat | unsat |
433329640 | qf_shls_entl/smallfoot-vc56.tptp.smt2 | 8317167 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.035162 | 0.033977 | 113176.0 | sat | sat |
433329651 | qf_shls_entl/smallfoot-vc57.tptp.smt2 | 8317178 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033372 | 0.032064 | 113176.0 | sat | sat |
433329786 | qf_shls_entl/smallfoot-vc58.tptp.smt2 | 8317313 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.036122 | 0.0349001 | 113176.0 | unsat | unsat |
433329776 | qf_shls_entl/smallfoot-vc59.tptp.smt2 | 8317303 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033357 | 0.032161 | 113176.0 | unsat | unsat |
433329811 | qf_shls_entl/smallfoot-vc60.tptp.smt2 | 8317338 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033767 | 0.0326569 | 113176.0 | unsat | unsat |
433329820 | qf_shls_entl/smallfoot-vc61.tptp.smt2 | 8317347 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.0344 | 0.0331851 | 113176.0 | sat | sat |
433329796 | qf_shls_entl/smallfoot-vc62.tptp.smt2 | 8317323 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.032652 | 0.0314491 | 113176.0 | unsat | unsat |
433329802 | qf_shls_entl/smallfoot-vc63.tptp.smt2 | 8317329 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.032882 | 0.0315541 | 113176.0 | unsat | unsat |
433329843 | qf_shls_entl/smallfoot-vc64.tptp.smt2 | 8317370 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.03498 | 0.033686 | 113176.0 | unsat | unsat |
433329856 | qf_shls_entl/smallfoot-vc65.tptp.smt2 | 8317383 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033892 | 0.0326001 | 113176.0 | unsat | unsat |
433329828 | qf_shls_entl/smallfoot-vc66.tptp.smt2 | 8317355 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033206 | 0.031912 | 113176.0 | unsat | unsat |
433329835 | qf_shls_entl/smallfoot-vc67.tptp.smt2 | 8317362 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033684 | 0.0324189 | 113176.0 | unsat | unsat |
433329885 | qf_shls_entl/smallfoot-vc68.tptp.smt2 | 8317412 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.03354 | 0.032312 | 113176.0 | sat | sat |
433329873 | qf_shls_entl/smallfoot-vc69.tptp.smt2 | 8317400 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.036453 | 0.034332 | 113176.0 | sat | sat |
433329780 | qf_shls_entl/smallfoot-vc70.tptp.smt2 | 8317307 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.035607 | 0.034255 | 113176.0 | sat | sat |
433329772 | qf_shls_entl/smallfoot-vc71.tptp.smt2 | 8317299 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033949 | 0.032744 | 113176.0 | unsat | unsat |
433329763 | qf_shls_entl/smallfoot-vc72.tptp.smt2 | 8317290 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033897 | 0.0326569 | 113176.0 | sat | sat |
433329755 | qf_shls_entl/smallfoot-vc73.tptp.smt2 | 8317282 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.034785 | 0.0334471 | 113176.0 | sat | sat |
433329752 | qf_shls_entl/smallfoot-vc74.tptp.smt2 | 8317279 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.034108 | 0.0328611 | 113176.0 | unsat | unsat |
433329745 | qf_shls_entl/smallfoot-vc75.tptp.smt2 | 8317272 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.0353 | 0.034076 | 113176.0 | unsat | unsat |
433329732 | qf_shls_entl/smallfoot-vc76.tptp.smt2 | 8317259 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033576 | 0.0322841 | 113176.0 | sat | sat |
433329720 | qf_shls_entl/smallfoot-vc77.tptp.smt2 | 8317247 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033116 | 0.03188 | 113176.0 | unsat | unsat |