430494035 | qf_shls_entl/bolognesa-10-e01.tptp.smt2 | 8317378 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 3.2766 | 3.2768 | 161064.0 | sat | sat |
430494026 | qf_shls_entl/bolognesa-10-e02.tptp.smt2 | 8317369 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 2.98475 | 2.98607 | 160988.0 | unsat | unsat |
430494016 | qf_shls_entl/bolognesa-10-e03.tptp.smt2 | 8317359 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 3.48288 | 3.48306 | 161068.0 | unsat | unsat |
430493998 | qf_shls_entl/bolognesa-10-e04.tptp.smt2 | 8317341 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 3.56709 | 3.56719 | 161160.0 | sat | sat |
430493993 | qf_shls_entl/bolognesa-10-e05.tptp.smt2 | 8317336 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 3.22664 | 3.22707 | 161168.0 | sat | sat |
430493984 | qf_shls_entl/bolognesa-10-e06.tptp.smt2 | 8317327 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 3.01735 | 3.01751 | 161112.0 | sat | sat |
430493973 | qf_shls_entl/bolognesa-10-e07.tptp.smt2 | 8317316 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 3.00358 | 3.00379 | 161044.0 | sat | sat |
430494094 | qf_shls_entl/bolognesa-10-e08.tptp.smt2 | 8317437 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 3.16557 | 3.16606 | 161044.0 | sat | sat |
430494102 | qf_shls_entl/bolognesa-10-e09.tptp.smt2 | 8317445 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 3.57147 | 3.57191 | 161072.0 | sat | sat |
430493919 | qf_shls_entl/bolognesa-10-e10.tptp.smt2 | 8317262 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 3.5012 | 3.50145 | 161080.0 | unsat | unsat |
430493908 | qf_shls_entl/bolognesa-11-e01.tptp.smt2 | 8317251 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 3.89962 | 3.90044 | 161200.0 | unsat | unsat |
430493938 | qf_shls_entl/bolognesa-11-e02.tptp.smt2 | 8317281 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 3.77606 | 3.77661 | 161192.0 | unsat | unsat |
430493927 | qf_shls_entl/bolognesa-11-e03.tptp.smt2 | 8317270 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 4.39725 | 4.39764 | 161232.0 | unsat | unsat |
430493946 | qf_shls_entl/bolognesa-11-e04.tptp.smt2 | 8317289 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 4.02678 | 4.02703 | 161200.0 | unsat | unsat |
430493941 | qf_shls_entl/bolognesa-11-e05.tptp.smt2 | 8317284 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 3.80201 | 3.8023 | 161080.0 | sat | sat |
430493966 | qf_shls_entl/bolognesa-11-e06.tptp.smt2 | 8317309 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 4.15682 | 4.15689 | 161192.0 | sat | sat |
430493955 | qf_shls_entl/bolognesa-11-e07.tptp.smt2 | 8317298 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 3.9429 | 3.94316 | 161184.0 | unsat | unsat |
430493816 | qf_shls_entl/bolognesa-11-e08.tptp.smt2 | 8317159 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 3.65203 | 3.65221 | 161184.0 | unsat | unsat |
430493826 | qf_shls_entl/bolognesa-11-e09.tptp.smt2 | 8317169 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 3.87731 | 3.87754 | 161172.0 | unsat | unsat |
430494008 | qf_shls_entl/bolognesa-11-e10.tptp.smt2 | 8317351 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 4.02252 | 4.02258 | 161148.0 | sat | sat |
430494050 | qf_shls_entl/bolognesa-12-e01.tptp.smt2 | 8317393 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 4.6012 | 4.60205 | 161208.0 | unsat | unsat |
430494072 | qf_shls_entl/bolognesa-12-e02.tptp.smt2 | 8317415 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 4.81153 | 4.81167 | 161204.0 | sat | sat |
430494064 | qf_shls_entl/bolognesa-12-e03.tptp.smt2 | 8317407 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 5.23301 | 5.2333 | 161272.0 | sat | sat |
430494083 | qf_shls_entl/bolognesa-12-e04.tptp.smt2 | 8317426 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 5.12304 | 5.12339 | 161200.0 | sat | sat |
430494074 | qf_shls_entl/bolognesa-12-e05.tptp.smt2 | 8317417 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 4.53818 | 4.5386 | 161200.0 | unsat | unsat |
430494105 | qf_shls_entl/bolognesa-12-e06.tptp.smt2 | 8317448 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 4.05181 | 4.05232 | 161168.0 | unsat | unsat |
430494096 | qf_shls_entl/bolognesa-12-e07.tptp.smt2 | 8317439 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 4.40688 | 4.40701 | 161200.0 | sat | sat |
430493975 | qf_shls_entl/bolognesa-12-e08.tptp.smt2 | 8317318 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 4.82909 | 4.82939 | 161208.0 | unsat | unsat |
430493985 | qf_shls_entl/bolognesa-12-e09.tptp.smt2 | 8317328 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 4.69519 | 4.69531 | 161224.0 | unsat | unsat |
430493859 | qf_shls_entl/bolognesa-12-e10.tptp.smt2 | 8317202 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 4.69061 | 4.69092 | 161208.0 | unsat | unsat |
430493888 | qf_shls_entl/bolognesa-13-e01.tptp.smt2 | 8317231 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 5.95011 | 5.95095 | 161256.0 | unsat | unsat |
430493874 | qf_shls_entl/bolognesa-13-e02.tptp.smt2 | 8317217 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 5.80303 | 5.80325 | 161244.0 | sat | sat |
430493863 | qf_shls_entl/bolognesa-13-e03.tptp.smt2 | 8317206 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 5.3336 | 5.33378 | 161300.0 | unsat | unsat |
430493845 | qf_shls_entl/bolognesa-13-e04.tptp.smt2 | 8317188 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 5.55131 | 5.55161 | 161252.0 | sat | sat |
430493838 | qf_shls_entl/bolognesa-13-e05.tptp.smt2 | 8317181 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 5.64527 | 5.64529 | 161244.0 | sat | sat |
430493831 | qf_shls_entl/bolognesa-13-e06.tptp.smt2 | 8317174 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 5.41504 | 5.41532 | 161260.0 | sat | sat |
430493818 | qf_shls_entl/bolognesa-13-e07.tptp.smt2 | 8317161 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 6.02533 | 6.02548 | 161292.0 | unsat | unsat |
430493957 | qf_shls_entl/bolognesa-13-e08.tptp.smt2 | 8317300 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 5.03806 | 5.03841 | 161228.0 | unsat | unsat |
430493967 | qf_shls_entl/bolognesa-13-e09.tptp.smt2 | 8317310 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 5.22296 | 5.223 | 161208.0 | sat | sat |
430494060 | qf_shls_entl/bolognesa-13-e10.tptp.smt2 | 8317403 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 6.03181 | 6.03198 | 161420.0 | sat | sat |
430493922 | qf_shls_entl/bolognesa-14-e01.tptp.smt2 | 8317265 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 5.90919 | 5.90972 | 161360.0 | unsat | unsat |
430493914 | qf_shls_entl/bolognesa-14-e02.tptp.smt2 | 8317257 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 6.07487 | 6.07819 | 161236.0 | unsat | unsat |
430493899 | qf_shls_entl/bolognesa-14-e03.tptp.smt2 | 8317242 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 6.57172 | 6.57207 | 161396.0 | unsat | unsat |
430493968 | qf_shls_entl/bolognesa-14-e04.tptp.smt2 | 8317311 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 6.13126 | 6.13149 | 161332.0 | unsat | unsat |
430493961 | qf_shls_entl/bolognesa-14-e05.tptp.smt2 | 8317304 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 7.33322 | 7.33343 | 161428.0 | sat | sat |
430493953 | qf_shls_entl/bolognesa-14-e06.tptp.smt2 | 8317296 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 6.2378 | 6.23787 | 161348.0 | unsat | unsat |
430493943 | qf_shls_entl/bolognesa-14-e07.tptp.smt2 | 8317286 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 6.60435 | 6.60634 | 161404.0 | unsat | unsat |
430493843 | qf_shls_entl/bolognesa-14-e08.tptp.smt2 | 8317186 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 6.70478 | 6.70496 | 161412.0 | unsat | unsat |
430493849 | qf_shls_entl/bolognesa-14-e09.tptp.smt2 | 8317192 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 13.9843 | 7.00455 | 161400.0 | unsat | unsat |
430494032 | qf_shls_entl/bolognesa-14-e10.tptp.smt2 | 8317375 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 6.89514 | 6.89491 | 161384.0 | sat | sat |
430494013 | qf_shls_entl/bolognesa-15-e01.tptp.smt2 | 8317356 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 7.34738 | 7.34811 | 161400.0 | unsat | unsat |
430494039 | qf_shls_entl/bolognesa-15-e02.tptp.smt2 | 8317382 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 12.1134 | 12.1184 | 161556.0 | unsat | unsat |
430494028 | qf_shls_entl/bolognesa-15-e03.tptp.smt2 | 8317371 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 7.95749 | 7.95769 | 161520.0 | sat | sat |
430493987 | qf_shls_entl/bolognesa-15-e04.tptp.smt2 | 8317330 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 7.5996 | 7.60035 | 161416.0 | unsat | unsat |
430493979 | qf_shls_entl/bolognesa-15-e05.tptp.smt2 | 8317322 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 8.04976 | 8.05044 | 161524.0 | unsat | unsat |
430494006 | qf_shls_entl/bolognesa-15-e06.tptp.smt2 | 8317349 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 8.79408 | 8.79446 | 161532.0 | unsat | unsat |
430493994 | qf_shls_entl/bolognesa-15-e07.tptp.smt2 | 8317337 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 7.54186 | 7.54224 | 161420.0 | unsat | unsat |
430494081 | qf_shls_entl/bolognesa-15-e08.tptp.smt2 | 8317424 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 7.40693 | 7.4069 | 161508.0 | sat | sat |
430494086 | qf_shls_entl/bolognesa-15-e09.tptp.smt2 | 8317429 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 18.5339 | 9.30428 | 161628.0 | sat | sat |
430493903 | qf_shls_entl/bolognesa-15-e10.tptp.smt2 | 8317246 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 7.17679 | 7.17694 | 161500.0 | unsat | unsat |
430493861 | qf_shls_entl/bolognesa-16-e01.tptp.smt2 | 8317204 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 8.6752 | 8.67569 | 161544.0 | unsat | unsat |
430493891 | qf_shls_entl/bolognesa-16-e02.tptp.smt2 | 8317234 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 9.13645 | 9.13646 | 161544.0 | sat | sat |
430493878 | qf_shls_entl/bolognesa-16-e03.tptp.smt2 | 8317221 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 9.24752 | 9.24784 | 161544.0 | sat | sat |
430493832 | qf_shls_entl/bolognesa-16-e04.tptp.smt2 | 8317175 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 9.07942 | 9.07981 | 161540.0 | sat | sat |
430493820 | qf_shls_entl/bolognesa-16-e05.tptp.smt2 | 8317163 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 8.49571 | 8.49606 | 161652.0 | unsat | unsat |
430493855 | qf_shls_entl/bolognesa-16-e06.tptp.smt2 | 8317198 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 8.56159 | 8.5617 | 161524.0 | sat | sat |
430493844 | qf_shls_entl/bolognesa-16-e07.tptp.smt2 | 8317187 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 8.77995 | 8.78049 | 161652.0 | unsat | unsat |
430493945 | qf_shls_entl/bolognesa-16-e08.tptp.smt2 | 8317288 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 8.90609 | 8.90717 | 161648.0 | unsat | unsat |
430493954 | qf_shls_entl/bolognesa-16-e09.tptp.smt2 | 8317297 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 8.42998 | 8.43102 | 161624.0 | unsat | unsat |
430494049 | qf_shls_entl/bolognesa-16-e10.tptp.smt2 | 8317392 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 9.72033 | 9.72096 | 161656.0 | sat | sat |
430494063 | qf_shls_entl/bolognesa-17-e01.tptp.smt2 | 8317406 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 10.2392 | 10.2396 | 161712.0 | unsat | unsat |
430494052 | qf_shls_entl/bolognesa-17-e02.tptp.smt2 | 8317395 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 10.8233 | 10.8238 | 161688.0 | sat | sat |
430494043 | qf_shls_entl/bolognesa-17-e03.tptp.smt2 | 8317386 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 9.99552 | 9.9961 | 161660.0 | sat | sat |
430494107 | qf_shls_entl/bolognesa-17-e04.tptp.smt2 | 8317450 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 10.7821 | 10.7833 | 161816.0 | unsat | unsat |
430494099 | qf_shls_entl/bolognesa-17-e05.tptp.smt2 | 8317442 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 9.36367 | 9.36389 | 161660.0 | unsat | unsat |
430494091 | qf_shls_entl/bolognesa-17-e06.tptp.smt2 | 8317434 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 10.5151 | 10.5157 | 161692.0 | unsat | unsat |
430494082 | qf_shls_entl/bolognesa-17-e07.tptp.smt2 | 8317425 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 9.68154 | 9.68204 | 161688.0 | unsat | unsat |
430493997 | qf_shls_entl/bolognesa-17-e08.tptp.smt2 | 8317340 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 9.92882 | 9.93044 | 161672.0 | sat | sat |
430494007 | qf_shls_entl/bolognesa-17-e09.tptp.smt2 | 8317350 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 10.6661 | 10.6666 | 161696.0 | unsat | unsat |
430493886 | qf_shls_entl/bolognesa-17-e10.tptp.smt2 | 8317229 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 10.3869 | 10.3871 | 161712.0 | unsat | unsat |
430494092 | qf_shls_entl/bolognesa-18-e01.tptp.smt2 | 8317435 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 11.6157 | 11.6156 | 161748.0 | unsat | unsat |
430494098 | qf_shls_entl/bolognesa-18-e02.tptp.smt2 | 8317441 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 11.943 | 11.9436 | 161752.0 | sat | sat |
430494106 | qf_shls_entl/bolognesa-18-e03.tptp.smt2 | 8317449 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 13.0733 | 13.0732 | 161856.0 | sat | sat |
430494044 | qf_shls_entl/bolognesa-18-e04.tptp.smt2 | 8317387 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 11.7731 | 11.773 | 161748.0 | sat | sat |
430494053 | qf_shls_entl/bolognesa-18-e05.tptp.smt2 | 8317396 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 12.2108 | 12.2121 | 161820.0 | sat | sat |
430494062 | qf_shls_entl/bolognesa-18-e06.tptp.smt2 | 8317405 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 11.6796 | 11.6802 | 161748.0 | sat | sat |
430494070 | qf_shls_entl/bolognesa-18-e07.tptp.smt2 | 8317413 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 11.0113 | 11.0202 | 161696.0 | sat | sat |
430494023 | qf_shls_entl/bolognesa-18-e08.tptp.smt2 | 8317366 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 13.4187 | 13.4192 | 161832.0 | sat | sat |
430494014 | qf_shls_entl/bolognesa-18-e09.tptp.smt2 | 8317357 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 12.4886 | 12.4885 | 161768.0 | sat | sat |
430493828 | qf_shls_entl/bolognesa-18-e10.tptp.smt2 | 8317171 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 11.4166 | 11.4169 | 161716.0 | unsat | unsat |
430493854 | qf_shls_entl/bolognesa-19-e01.tptp.smt2 | 8317197 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 13.4139 | 13.416 | 161940.0 | sat | sat |
430493821 | qf_shls_entl/bolognesa-19-e02.tptp.smt2 | 8317164 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 13.8448 | 13.8447 | 161944.0 | sat | sat |
430493833 | qf_shls_entl/bolognesa-19-e03.tptp.smt2 | 8317176 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 13.9203 | 13.9235 | 161936.0 | sat | sat |
430493877 | qf_shls_entl/bolognesa-19-e04.tptp.smt2 | 8317220 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 12.4679 | 12.4683 | 161912.0 | sat | sat |
430493890 | qf_shls_entl/bolognesa-19-e05.tptp.smt2 | 8317233 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 12.7214 | 12.7263 | 161936.0 | unsat | unsat |
430493862 | qf_shls_entl/bolognesa-19-e06.tptp.smt2 | 8317205 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 13.4333 | 13.4343 | 161940.0 | unsat | unsat |
430493871 | qf_shls_entl/bolognesa-19-e07.tptp.smt2 | 8317214 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 14.5597 | 14.5601 | 161972.0 | sat | sat |
430493934 | qf_shls_entl/bolognesa-19-e08.tptp.smt2 | 8317277 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 14.1263 | 14.1271 | 161992.0 | unsat | unsat |
430493925 | qf_shls_entl/bolognesa-19-e09.tptp.smt2 | 8317268 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 14.5097 | 14.5103 | 162000.0 | sat | sat |
430494103 | qf_shls_entl/bolognesa-19-e10.tptp.smt2 | 8317446 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 13.4383 | 13.4387 | 161860.0 | unsat | unsat |
430493823 | qf_shls_entl/bolognesa-20-e01.tptp.smt2 | 8317166 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 15.4142 | 15.4161 | 161856.0 | sat | sat |
430493851 | qf_shls_entl/bolognesa-20-e02.tptp.smt2 | 8317194 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 28.5211 | 14.2846 | 161976.0 | sat | sat |
430493842 | qf_shls_entl/bolognesa-20-e03.tptp.smt2 | 8317185 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 14.8368 | 14.8367 | 162000.0 | sat | sat |
430493870 | qf_shls_entl/bolognesa-20-e04.tptp.smt2 | 8317213 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 14.5211 | 14.5225 | 162016.0 | sat | sat |
430493857 | qf_shls_entl/bolognesa-20-e05.tptp.smt2 | 8317200 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 16.3731 | 16.3739 | 162072.0 | sat | sat |
430493892 | qf_shls_entl/bolognesa-20-e06.tptp.smt2 | 8317235 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 15.086 | 15.0898 | 161988.0 | unsat | unsat |
430493880 | qf_shls_entl/bolognesa-20-e07.tptp.smt2 | 8317223 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 13.5686 | 13.5684 | 161884.0 | unsat | unsat |
430493900 | qf_shls_entl/bolognesa-20-e08.tptp.smt2 | 8317243 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 16.6287 | 16.6313 | 162032.0 | unsat | unsat |
430493913 | qf_shls_entl/bolognesa-20-e09.tptp.smt2 | 8317256 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 14.7353 | 14.7358 | 161984.0 | sat | sat |
430494075 | qf_shls_entl/bolognesa-20-e10.tptp.smt2 | 8317418 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 14.3289 | 14.3296 | 161984.0 | unsat | unsat |
430493829 | qf_shls_entl/clones-01-e01.tptp.smt2 | 8317172 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.046974 | 0.0470731 | 113176.0 | unsat | unsat |
430493837 | qf_shls_entl/clones-01-e02.tptp.smt2 | 8317180 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.049136 | 0.0492939 | 113176.0 | unsat | unsat |
430493846 | qf_shls_entl/clones-01-e03.tptp.smt2 | 8317189 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.048268 | 0.0483059 | 113176.0 | unsat | unsat |
430493864 | qf_shls_entl/clones-01-e04.tptp.smt2 | 8317207 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.047021 | 0.0471071 | 113176.0 | unsat | unsat |
430493873 | qf_shls_entl/clones-01-e05.tptp.smt2 | 8317216 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.20671 | 0.206747 | 113176.0 | unsat | unsat |
430493887 | qf_shls_entl/clones-01-e06.tptp.smt2 | 8317230 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.046355 | 0.0464399 | 113176.0 | unsat | unsat |
430493897 | qf_shls_entl/clones-01-e07.tptp.smt2 | 8317240 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.053244 | 0.0533089 | 113176.0 | sat | sat |
430493918 | qf_shls_entl/clones-01-e08.tptp.smt2 | 8317261 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.055689 | 0.0558629 | 113176.0 | sat | sat |
430493910 | qf_shls_entl/clones-01-e09.tptp.smt2 | 8317253 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.053811 | 0.053868 | 113176.0 | sat | sat |
430494090 | qf_shls_entl/clones-01-e10.tptp.smt2 | 8317433 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.054042 | 0.054071 | 113176.0 | sat | sat |
430493982 | qf_shls_entl/clones-02-e01.tptp.smt2 | 8317325 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.047314 | 0.0473709 | 113176.0 | unsat | unsat |
430493990 | qf_shls_entl/clones-02-e02.tptp.smt2 | 8317333 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.049244 | 0.0492901 | 113176.0 | unsat | unsat |
430494001 | qf_shls_entl/clones-02-e03.tptp.smt2 | 8317344 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.049182 | 0.0492261 | 113176.0 | unsat | unsat |
430494018 | qf_shls_entl/clones-02-e04.tptp.smt2 | 8317361 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.046774 | 0.046947 | 113176.0 | unsat | unsat |
430494024 | qf_shls_entl/clones-02-e05.tptp.smt2 | 8317367 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.486037 | 0.486106 | 113176.0 | unsat | unsat |
430494033 | qf_shls_entl/clones-02-e06.tptp.smt2 | 8317376 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.046344 | 0.046413 | 113176.0 | unsat | unsat |
430494041 | qf_shls_entl/clones-02-e07.tptp.smt2 | 8317384 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.059359 | 0.0594089 | 113176.0 | sat | sat |
430494055 | qf_shls_entl/clones-02-e08.tptp.smt2 | 8317398 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.066367 | 0.0664091 | 113176.0 | sat | sat |
430494048 | qf_shls_entl/clones-02-e09.tptp.smt2 | 8317391 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.061496 | 0.0615639 | 113176.0 | sat | sat |
430493951 | qf_shls_entl/clones-02-e10.tptp.smt2 | 8317294 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.058098 | 0.058187 | 113176.0 | sat | sat |
430493963 | qf_shls_entl/clones-03-e01.tptp.smt2 | 8317306 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.048479 | 0.048584 | 113176.0 | unsat | unsat |
430493940 | qf_shls_entl/clones-03-e02.tptp.smt2 | 8317283 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.051102 | 0.051161 | 113176.0 | unsat | unsat |
430493948 | qf_shls_entl/clones-03-e03.tptp.smt2 | 8317291 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.051754 | 0.0518391 | 113176.0 | unsat | unsat |
430493928 | qf_shls_entl/clones-03-e04.tptp.smt2 | 8317271 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.046394 | 0.046512 | 113176.0 | unsat | unsat |
430493935 | qf_shls_entl/clones-03-e05.tptp.smt2 | 8317278 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.930694 | 0.930838 | 158584.0 | unsat | unsat |
430493905 | qf_shls_entl/clones-03-e06.tptp.smt2 | 8317248 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.04625 | 0.046291 | 113176.0 | unsat | unsat |
430493917 | qf_shls_entl/clones-03-e07.tptp.smt2 | 8317260 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.065283 | 0.065338 | 113176.0 | sat | sat |
430493895 | qf_shls_entl/clones-03-e08.tptp.smt2 | 8317238 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.080449 | 0.0805091 | 113176.0 | sat | sat |
430493885 | qf_shls_entl/clones-03-e09.tptp.smt2 | 8317228 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.072536 | 0.0725831 | 113176.0 | sat | sat |
430494005 | qf_shls_entl/clones-03-e10.tptp.smt2 | 8317348 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.065538 | 0.0656171 | 113176.0 | sat | sat |
430493853 | qf_shls_entl/clones-04-e01.tptp.smt2 | 8317196 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.04818 | 0.0482319 | 113176.0 | unsat | unsat |
430493819 | qf_shls_entl/clones-04-e02.tptp.smt2 | 8317162 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.052572 | 0.0526021 | 113176.0 | unsat | unsat |
430493834 | qf_shls_entl/clones-04-e03.tptp.smt2 | 8317177 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.05243 | 0.0524821 | 113176.0 | unsat | unsat |
430493879 | qf_shls_entl/clones-04-e04.tptp.smt2 | 8317222 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.046028 | 0.0461211 | 113176.0 | unsat | unsat |
430493889 | qf_shls_entl/clones-04-e05.tptp.smt2 | 8317232 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 1.4944 | 1.49504 | 158608.0 | unsat | unsat |
430493860 | qf_shls_entl/clones-04-e06.tptp.smt2 | 8317203 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.04591 | 0.046 | 113176.0 | unsat | unsat |
430493872 | qf_shls_entl/clones-04-e07.tptp.smt2 | 8317215 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.075628 | 0.07569 | 113176.0 | sat | sat |
430493933 | qf_shls_entl/clones-04-e08.tptp.smt2 | 8317276 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.098099 | 0.098331 | 113176.0 | sat | sat |
430493926 | qf_shls_entl/clones-04-e09.tptp.smt2 | 8317269 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.086199 | 0.0862889 | 113176.0 | sat | sat |
430494104 | qf_shls_entl/clones-04-e10.tptp.smt2 | 8317447 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.07536 | 0.075454 | 113176.0 | sat | sat |
430494089 | qf_shls_entl/clones-05-e01.tptp.smt2 | 8317432 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.049015 | 0.049079 | 113176.0 | unsat | unsat |
430494097 | qf_shls_entl/clones-05-e02.tptp.smt2 | 8317440 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.055493 | 0.055597 | 113176.0 | unsat | unsat |
430494108 | qf_shls_entl/clones-05-e03.tptp.smt2 | 8317451 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.056009 | 0.0561049 | 113176.0 | unsat | unsat |
430494045 | qf_shls_entl/clones-05-e04.tptp.smt2 | 8317388 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.046068 | 0.0461351 | 113176.0 | unsat | unsat |
430494051 | qf_shls_entl/clones-05-e05.tptp.smt2 | 8317394 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 2.31363 | 2.31372 | 158764.0 | unsat | unsat |
430494061 | qf_shls_entl/clones-05-e06.tptp.smt2 | 8317404 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.046725 | 0.0468081 | 113176.0 | unsat | unsat |
430494071 | qf_shls_entl/clones-05-e07.tptp.smt2 | 8317414 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.08734 | 0.0874181 | 113176.0 | sat | sat |
430494022 | qf_shls_entl/clones-05-e08.tptp.smt2 | 8317365 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.119671 | 0.119714 | 113176.0 | sat | sat |
430494015 | qf_shls_entl/clones-05-e09.tptp.smt2 | 8317358 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.099715 | 0.099779 | 113176.0 | sat | sat |
430493830 | qf_shls_entl/clones-05-e10.tptp.smt2 | 8317173 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.086692 | 0.0867849 | 113176.0 | sat | sat |
430493949 | qf_shls_entl/clones-06-e01.tptp.smt2 | 8317292 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.049997 | 0.0500529 | 113176.0 | unsat | unsat |
430493959 | qf_shls_entl/clones-06-e02.tptp.smt2 | 8317302 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.057137 | 0.057187 | 113176.0 | unsat | unsat |
430493972 | qf_shls_entl/clones-06-e03.tptp.smt2 | 8317315 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.056704 | 0.0567691 | 113176.0 | unsat | unsat |
430493901 | qf_shls_entl/clones-06-e04.tptp.smt2 | 8317244 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.045977 | 0.0460469 | 113176.0 | unsat | unsat |
430493911 | qf_shls_entl/clones-06-e05.tptp.smt2 | 8317254 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 3.17217 | 3.17262 | 158692.0 | unsat | unsat |
430493921 | qf_shls_entl/clones-06-e06.tptp.smt2 | 8317264 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.04592 | 0.0459739 | 113176.0 | unsat | unsat |
430493932 | qf_shls_entl/clones-06-e07.tptp.smt2 | 8317275 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.098982 | 0.0990391 | 113176.0 | sat | sat |
430493868 | qf_shls_entl/clones-06-e08.tptp.smt2 | 8317211 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.148029 | 0.148104 | 113176.0 | sat | sat |
430493858 | qf_shls_entl/clones-06-e09.tptp.smt2 | 8317201 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.118348 | 0.118433 | 113176.0 | sat | sat |
430493983 | qf_shls_entl/clones-06-e10.tptp.smt2 | 8317326 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.099214 | 0.099253 | 113176.0 | sat | sat |
430494003 | qf_shls_entl/clones-07-e01.tptp.smt2 | 8317346 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.051086 | 0.051149 | 113176.0 | unsat | unsat |
430493977 | qf_shls_entl/clones-07-e02.tptp.smt2 | 8317320 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.059599 | 0.059643 | 113176.0 | unsat | unsat |
430493988 | qf_shls_entl/clones-07-e03.tptp.smt2 | 8317331 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.059352 | 0.0594099 | 113176.0 | unsat | unsat |
430494030 | qf_shls_entl/clones-07-e04.tptp.smt2 | 8317373 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.046725 | 0.046889 | 113176.0 | unsat | unsat |
430494038 | qf_shls_entl/clones-07-e05.tptp.smt2 | 8317381 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 4.38355 | 4.38452 | 158784.0 | unsat | unsat |
430494010 | qf_shls_entl/clones-07-e06.tptp.smt2 | 8317353 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.045705 | 0.0457689 | 113176.0 | unsat | unsat |
430494020 | qf_shls_entl/clones-07-e07.tptp.smt2 | 8317363 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.114156 | 0.114245 | 113176.0 | sat | sat |
430494067 | qf_shls_entl/clones-07-e08.tptp.smt2 | 8317410 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.174766 | 0.174822 | 113176.0 | sat | sat |
430494058 | qf_shls_entl/clones-07-e09.tptp.smt2 | 8317401 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.137589 | 0.137644 | 113176.0 | sat | sat |
430493965 | qf_shls_entl/clones-07-e10.tptp.smt2 | 8317308 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.113969 | 0.114026 | 113176.0 | sat | sat |
430494011 | qf_shls_entl/clones-08-e01.tptp.smt2 | 8317354 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.052735 | 0.0527901 | 113176.0 | unsat | unsat |
430494037 | qf_shls_entl/clones-08-e02.tptp.smt2 | 8317380 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.062377 | 0.0624361 | 113176.0 | unsat | unsat |
430494029 | qf_shls_entl/clones-08-e03.tptp.smt2 | 8317372 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.062087 | 0.0621699 | 113176.0 | unsat | unsat |
430493989 | qf_shls_entl/clones-08-e04.tptp.smt2 | 8317332 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.046104 | 0.0461419 | 113176.0 | unsat | unsat |
430493978 | qf_shls_entl/clones-08-e05.tptp.smt2 | 8317321 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 5.756 | 5.75681 | 158832.0 | unsat | unsat |
430494002 | qf_shls_entl/clones-08-e06.tptp.smt2 | 8317345 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.046308 | 0.0463851 | 113176.0 | unsat | unsat |
430493996 | qf_shls_entl/clones-08-e07.tptp.smt2 | 8317339 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.132114 | 0.132158 | 113176.0 | sat | sat |
430494078 | qf_shls_entl/clones-08-e08.tptp.smt2 | 8317421 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.209748 | 0.209798 | 113176.0 | sat | sat |
430494087 | qf_shls_entl/clones-08-e09.tptp.smt2 | 8317430 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.161947 | 0.162033 | 113176.0 | sat | sat |
430493907 | qf_shls_entl/clones-08-e10.tptp.smt2 | 8317250 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.129374 | 0.129437 | 113176.0 | sat | sat |
430493920 | qf_shls_entl/clones-09-e01.tptp.smt2 | 8317263 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.054291 | 0.054373 | 113176.0 | unsat | unsat |
430493912 | qf_shls_entl/clones-09-e02.tptp.smt2 | 8317255 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.065083 | 0.065163 | 113176.0 | unsat | unsat |
430493902 | qf_shls_entl/clones-09-e03.tptp.smt2 | 8317245 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.065875 | 0.0659289 | 113176.0 | unsat | unsat |
430493971 | qf_shls_entl/clones-09-e04.tptp.smt2 | 8317314 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.04614 | 0.046188 | 113176.0 | unsat | unsat |
430493958 | qf_shls_entl/clones-09-e05.tptp.smt2 | 8317301 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 7.49218 | 7.49252 | 158852.0 | unsat | unsat |
430493950 | qf_shls_entl/clones-09-e06.tptp.smt2 | 8317293 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.045908 | 0.0459621 | 113176.0 | unsat | unsat |
430493944 | qf_shls_entl/clones-09-e07.tptp.smt2 | 8317287 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.149321 | 0.149398 | 113176.0 | sat | sat |
430493840 | qf_shls_entl/clones-09-e08.tptp.smt2 | 8317183 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.2422 | 0.242292 | 113176.0 | sat | sat |
430493852 | qf_shls_entl/clones-09-e09.tptp.smt2 | 8317195 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.186855 | 0.186904 | 113176.0 | sat | sat |
430494034 | qf_shls_entl/clones-09-e10.tptp.smt2 | 8317377 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.153623 | 0.153698 | 113176.0 | sat | sat |
430493847 | qf_shls_entl/clones-10-e01.tptp.smt2 | 8317190 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.053974 | 0.0540041 | 113176.0 | unsat | unsat |
430493815 | qf_shls_entl/clones-10-e02.tptp.smt2 | 8317158 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.068249 | 0.0683049 | 113176.0 | unsat | unsat |
430493827 | qf_shls_entl/clones-10-e03.tptp.smt2 | 8317170 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.067054 | 0.0671049 | 113176.0 | unsat | unsat |
430493884 | qf_shls_entl/clones-10-e04.tptp.smt2 | 8317227 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.046372 | 0.046421 | 113176.0 | unsat | unsat |
430493894 | qf_shls_entl/clones-10-e05.tptp.smt2 | 8317237 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 9.30766 | 9.30845 | 158920.0 | unsat | unsat |
430493865 | qf_shls_entl/clones-10-e06.tptp.smt2 | 8317208 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.046691 | 0.0467759 | 113176.0 | unsat | unsat |
430493876 | qf_shls_entl/clones-10-e07.tptp.smt2 | 8317219 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.172688 | 0.172736 | 113176.0 | sat | sat |
430493937 | qf_shls_entl/clones-10-e08.tptp.smt2 | 8317280 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.272963 | 0.273016 | 113176.0 | sat | sat |
430493930 | qf_shls_entl/clones-10-e09.tptp.smt2 | 8317273 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.215384 | 0.215435 | 113176.0 | sat | sat |
430494110 | qf_shls_entl/clones-10-e10.tptp.smt2 | 8317453 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.170286 | 0.170328 | 113176.0 | sat | sat |
430494093 | qf_shls_entl/ls-vc01.smt2 | 8317436 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.313913 | 0.313991 | 113176.0 | sat | sat |
430493924 | qf_shls_entl/ls-vc02.smt2 | 8317267 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.446742 | 0.446929 | 113176.0 | sat | sat |
430493882 | qf_shls_entl/ls-vc03.smt2 | 8317225 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 1.24453 | 1.24467 | 158744.0 | sat | sat |
430493976 | qf_shls_entl/ls-vc04.smt2 | 8317319 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.224629 | 0.224701 | 113176.0 | sat | sat |
430494080 | qf_shls_entl/ls-vc05.smt2 | 8317423 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.255297 | 0.255372 | 113176.0 | unsat | unsat |
430493909 | qf_shls_entl/ls-vc06.smt2 | 8317252 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.358263 | 0.35846 | 113176.0 | sat | sat |
430493867 | qf_shls_entl/ls-vc07.smt2 | 8317210 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.546735 | 0.54693 | 158588.0 | sat | sat |
430494036 | qf_shls_entl/ls-vc08.smt2 | 8317379 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.308896 | 0.308968 | 113176.0 | unsat | unsat |
430494068 | qf_shls_entl/ls-vc09.smt2 | 8317411 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.482283 | 0.48235 | 113176.0 | unsat | unsat |
430493898 | qf_shls_entl/smallfoot-vc01.tptp.smt2 | 8317241 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.04786 | 0.047952 | 113176.0 | unsat | unsat |
430493931 | qf_shls_entl/smallfoot-vc02.tptp.smt2 | 8317274 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.048366 | 0.048428 | 113176.0 | unsat | unsat |
430493923 | qf_shls_entl/smallfoot-vc03.tptp.smt2 | 8317266 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.045653 | 0.0457139 | 113176.0 | unsat | unsat |
430493952 | qf_shls_entl/smallfoot-vc04.tptp.smt2 | 8317295 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.048666 | 0.0488011 | 113176.0 | unsat | unsat |
430493942 | qf_shls_entl/smallfoot-vc05.tptp.smt2 | 8317285 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.047589 | 0.0476729 | 113176.0 | unsat | unsat |
430493969 | qf_shls_entl/smallfoot-vc06.tptp.smt2 | 8317312 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.047589 | 0.0477491 | 113176.0 | unsat | unsat |
430493962 | qf_shls_entl/smallfoot-vc07.tptp.smt2 | 8317305 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.047816 | 0.0478901 | 113176.0 | unsat | unsat |
430493822 | qf_shls_entl/smallfoot-vc08.tptp.smt2 | 8317165 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.046843 | 0.0468991 | 113176.0 | unsat | unsat |
430493836 | qf_shls_entl/smallfoot-vc09.tptp.smt2 | 8317179 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.290664 | 0.290739 | 113176.0 | unsat | unsat |
430494017 | qf_shls_entl/smallfoot-vc10.tptp.smt2 | 8317360 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.198547 | 0.198636 | 113176.0 | unsat | unsat |
430494025 | qf_shls_entl/smallfoot-vc11.tptp.smt2 | 8317368 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.184637 | 0.184719 | 113176.0 | unsat | unsat |
430494031 | qf_shls_entl/smallfoot-vc12.tptp.smt2 | 8317374 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.171373 | 0.171535 | 113176.0 | unsat | unsat |
430494042 | qf_shls_entl/smallfoot-vc13.tptp.smt2 | 8317385 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.183772 | 0.183856 | 113176.0 | unsat | unsat |
430493974 | qf_shls_entl/smallfoot-vc14.tptp.smt2 | 8317317 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.046877 | 0.0469481 | 113176.0 | unsat | unsat |
430493981 | qf_shls_entl/smallfoot-vc15.tptp.smt2 | 8317324 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.048364 | 0.0484381 | 113176.0 | unsat | unsat |
430493991 | qf_shls_entl/smallfoot-vc16.tptp.smt2 | 8317334 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.318707 | 0.318729 | 113176.0 | unsat | unsat |
430494000 | qf_shls_entl/smallfoot-vc17.tptp.smt2 | 8317343 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.048114 | 0.048169 | 113176.0 | unsat | unsat |
430494084 | qf_shls_entl/smallfoot-vc18.tptp.smt2 | 8317427 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.429103 | 0.429184 | 113176.0 | unsat | unsat |
430494077 | qf_shls_entl/smallfoot-vc19.tptp.smt2 | 8317420 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.046892 | 0.046954 | 113176.0 | unsat | unsat |
430493817 | qf_shls_entl/smallfoot-vc20.tptp.smt2 | 8317160 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.046853 | 0.0469379 | 113176.0 | unsat | unsat |
430493825 | qf_shls_entl/smallfoot-vc21.tptp.smt2 | 8317168 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.169108 | 0.169166 | 113176.0 | unsat | unsat |
430493839 | qf_shls_entl/smallfoot-vc22.tptp.smt2 | 8317182 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.062329 | 0.0624199 | 113176.0 | sat | sat |
430493848 | qf_shls_entl/smallfoot-vc23.tptp.smt2 | 8317191 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.048298 | 0.048351 | 113176.0 | sat | sat |
430493866 | qf_shls_entl/smallfoot-vc24.tptp.smt2 | 8317209 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.159142 | 0.159421 | 113176.0 | unsat | unsat |
430493875 | qf_shls_entl/smallfoot-vc25.tptp.smt2 | 8317218 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.144338 | 0.144402 | 113176.0 | unsat | unsat |
430493883 | qf_shls_entl/smallfoot-vc26.tptp.smt2 | 8317226 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.205692 | 0.20574 | 113176.0 | unsat | unsat |
430493896 | qf_shls_entl/smallfoot-vc27.tptp.smt2 | 8317239 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.048326 | 0.0483899 | 113176.0 | unsat | unsat |
430493915 | qf_shls_entl/smallfoot-vc28.tptp.smt2 | 8317258 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.223872 | 0.224086 | 113176.0 | unsat | unsat |
430493906 | qf_shls_entl/smallfoot-vc29.tptp.smt2 | 8317249 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.053742 | 0.053902 | 113176.0 | sat | sat |
430494088 | qf_shls_entl/smallfoot-vc30.tptp.smt2 | 8317431 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.057889 | 0.0579269 | 113176.0 | sat | sat |
430494079 | qf_shls_entl/smallfoot-vc31.tptp.smt2 | 8317422 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.058501 | 0.0585571 | 113176.0 | sat | sat |
430494109 | qf_shls_entl/smallfoot-vc32.tptp.smt2 | 8317452 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.054919 | 0.054995 | 113176.0 | sat | sat |
430494100 | qf_shls_entl/smallfoot-vc33.tptp.smt2 | 8317443 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.054853 | 0.054923 | 113176.0 | sat | sat |
430494054 | qf_shls_entl/smallfoot-vc34.tptp.smt2 | 8317397 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.506975 | 0.507047 | 113176.0 | unsat | unsat |
430494046 | qf_shls_entl/smallfoot-vc35.tptp.smt2 | 8317389 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.054392 | 0.054463 | 113176.0 | sat | sat |
430494066 | qf_shls_entl/smallfoot-vc36.tptp.smt2 | 8317409 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.317034 | 0.317075 | 113176.0 | unsat | unsat |
430494059 | qf_shls_entl/smallfoot-vc37.tptp.smt2 | 8317402 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.055878 | 0.0559591 | 113176.0 | sat | sat |
430494009 | qf_shls_entl/smallfoot-vc38.tptp.smt2 | 8317352 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.504045 | 0.50414 | 113176.0 | unsat | unsat |
430494021 | qf_shls_entl/smallfoot-vc39.tptp.smt2 | 8317364 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.309735 | 0.309778 | 113176.0 | sat | sat |
430494073 | qf_shls_entl/smallfoot-vc40.tptp.smt2 | 8317416 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.368725 | 0.368804 | 113176.0 | sat | sat |
430494065 | qf_shls_entl/smallfoot-vc41.tptp.smt2 | 8317408 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.322519 | 0.322609 | 113176.0 | unsat | unsat |
430494056 | qf_shls_entl/smallfoot-vc42.tptp.smt2 | 8317399 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.364488 | 0.364529 | 113176.0 | unsat | unsat |
430494047 | qf_shls_entl/smallfoot-vc43.tptp.smt2 | 8317390 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.366922 | 0.366995 | 113176.0 | sat | sat |
430494101 | qf_shls_entl/smallfoot-vc44.tptp.smt2 | 8317444 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.480745 | 0.480811 | 113176.0 | unsat | unsat |
430494095 | qf_shls_entl/smallfoot-vc45.tptp.smt2 | 8317438 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.417195 | 0.417264 | 113176.0 | unsat | unsat |
430494085 | qf_shls_entl/smallfoot-vc46.tptp.smt2 | 8317428 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.418893 | 0.418968 | 113176.0 | unsat | unsat |
430494076 | qf_shls_entl/smallfoot-vc47.tptp.smt2 | 8317419 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.046956 | 0.047026 | 113176.0 | unsat | unsat |
430493992 | qf_shls_entl/smallfoot-vc48.tptp.smt2 | 8317335 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.288757 | 0.288796 | 113176.0 | unsat | unsat |
430493999 | qf_shls_entl/smallfoot-vc49.tptp.smt2 | 8317342 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.249146 | 0.249211 | 113176.0 | sat | sat |
430493881 | qf_shls_entl/smallfoot-vc50.tptp.smt2 | 8317224 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.221425 | 0.221508 | 113176.0 | unsat | unsat |
430493893 | qf_shls_entl/smallfoot-vc51.tptp.smt2 | 8317236 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.234244 | 0.234322 | 113176.0 | unsat | unsat |
430493856 | qf_shls_entl/smallfoot-vc52.tptp.smt2 | 8317199 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.489737 | 0.48983 | 113176.0 | unsat | unsat |
430493869 | qf_shls_entl/smallfoot-vc53.tptp.smt2 | 8317212 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.317029 | 0.317081 | 113176.0 | unsat | unsat |
430493841 | qf_shls_entl/smallfoot-vc54.tptp.smt2 | 8317184 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.063784 | 0.064259 | 113176.0 | sat | sat |
430493850 | qf_shls_entl/smallfoot-vc55.tptp.smt2 | 8317193 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.222107 | 0.222163 | 113176.0 | unsat | unsat |
430493824 | qf_shls_entl/smallfoot-vc56.tptp.smt2 | 8317167 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.219932 | 0.219976 | 113176.0 | sat | sat |
430493835 | qf_shls_entl/smallfoot-vc57.tptp.smt2 | 8317178 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.338016 | 0.338091 | 113176.0 | sat | sat |
430493970 | qf_shls_entl/smallfoot-vc58.tptp.smt2 | 8317313 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.489068 | 0.489133 | 113176.0 | unsat | unsat |
430493960 | qf_shls_entl/smallfoot-vc59.tptp.smt2 | 8317303 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.426335 | 0.426436 | 113176.0 | unsat | unsat |
430493995 | qf_shls_entl/smallfoot-vc60.tptp.smt2 | 8317338 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.306417 | 0.306499 | 113176.0 | unsat | unsat |
430494004 | qf_shls_entl/smallfoot-vc61.tptp.smt2 | 8317347 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.310336 | 0.310393 | 113176.0 | sat | sat |
430493980 | qf_shls_entl/smallfoot-vc62.tptp.smt2 | 8317323 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.048113 | 0.0481769 | 113176.0 | unsat | unsat |
430493986 | qf_shls_entl/smallfoot-vc63.tptp.smt2 | 8317329 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.30649 | 0.306594 | 113176.0 | unsat | unsat |
430494027 | qf_shls_entl/smallfoot-vc64.tptp.smt2 | 8317370 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.047608 | 0.0476699 | 113176.0 | unsat | unsat |
430494040 | qf_shls_entl/smallfoot-vc65.tptp.smt2 | 8317383 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.306862 | 0.306934 | 113176.0 | unsat | unsat |
430494012 | qf_shls_entl/smallfoot-vc66.tptp.smt2 | 8317355 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.233031 | 0.233106 | 113176.0 | unsat | unsat |
430494019 | qf_shls_entl/smallfoot-vc67.tptp.smt2 | 8317362 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.223492 | 0.223558 | 113176.0 | unsat | unsat |
430494069 | qf_shls_entl/smallfoot-vc68.tptp.smt2 | 8317412 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.219788 | 0.219829 | 113176.0 | sat | sat |
430494057 | qf_shls_entl/smallfoot-vc69.tptp.smt2 | 8317400 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.051087 | 0.05112 | 113176.0 | sat | sat |
430493964 | qf_shls_entl/smallfoot-vc70.tptp.smt2 | 8317307 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.354826 | 0.354911 | 113176.0 | sat | sat |
430493956 | qf_shls_entl/smallfoot-vc71.tptp.smt2 | 8317299 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.331465 | 0.331555 | 113176.0 | unsat | unsat |
430493947 | qf_shls_entl/smallfoot-vc72.tptp.smt2 | 8317290 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.333164 | 0.333236 | 113176.0 | sat | sat |
430493939 | qf_shls_entl/smallfoot-vc73.tptp.smt2 | 8317282 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.333404 | 0.333494 | 113176.0 | sat | sat |
430493936 | qf_shls_entl/smallfoot-vc74.tptp.smt2 | 8317279 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.363943 | 0.364037 | 113176.0 | unsat | unsat |
430493929 | qf_shls_entl/smallfoot-vc75.tptp.smt2 | 8317272 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.288839 | 0.288922 | 113176.0 | unsat | unsat |
430493916 | qf_shls_entl/smallfoot-vc76.tptp.smt2 | 8317259 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.307518 | 0.307603 | 113176.0 | sat | sat |
430493904 | qf_shls_entl/smallfoot-vc77.tptp.smt2 | 8317247 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.048112 | 0.048196 | 113176.0 | unsat | unsat |