433165910 | qf_shls_entl/bolognesa-10-e01.tptp.smt2 | 8317378 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 3.28226 | 3.28264 | 161072.0 | sat | sat |
433165901 | qf_shls_entl/bolognesa-10-e02.tptp.smt2 | 8317369 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 2.98479 | 2.98489 | 160988.0 | unsat | unsat |
433165891 | qf_shls_entl/bolognesa-10-e03.tptp.smt2 | 8317359 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 3.47783 | 3.47805 | 161068.0 | unsat | unsat |
433165873 | qf_shls_entl/bolognesa-10-e04.tptp.smt2 | 8317341 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 3.56881 | 3.56886 | 161160.0 | sat | sat |
433165868 | qf_shls_entl/bolognesa-10-e05.tptp.smt2 | 8317336 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 3.22568 | 3.22589 | 161160.0 | sat | sat |
433165859 | qf_shls_entl/bolognesa-10-e06.tptp.smt2 | 8317327 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 3.01073 | 3.01103 | 161140.0 | sat | sat |
433165848 | qf_shls_entl/bolognesa-10-e07.tptp.smt2 | 8317316 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 3.00499 | 3.00548 | 161044.0 | sat | sat |
433165969 | qf_shls_entl/bolognesa-10-e08.tptp.smt2 | 8317437 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 3.1545 | 3.15465 | 161044.0 | sat | sat |
433165977 | qf_shls_entl/bolognesa-10-e09.tptp.smt2 | 8317445 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 3.57332 | 3.57356 | 161072.0 | sat | sat |
433165794 | qf_shls_entl/bolognesa-10-e10.tptp.smt2 | 8317262 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 3.49995 | 3.5002 | 161080.0 | unsat | unsat |
433165783 | qf_shls_entl/bolognesa-11-e01.tptp.smt2 | 8317251 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 3.91783 | 3.92027 | 161196.0 | unsat | unsat |
433165813 | qf_shls_entl/bolognesa-11-e02.tptp.smt2 | 8317281 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 3.77708 | 3.7774 | 161196.0 | unsat | unsat |
433165802 | qf_shls_entl/bolognesa-11-e03.tptp.smt2 | 8317270 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 4.39658 | 4.39731 | 161228.0 | unsat | unsat |
433165821 | qf_shls_entl/bolognesa-11-e04.tptp.smt2 | 8317289 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 4.01946 | 4.01975 | 161204.0 | unsat | unsat |
433165816 | qf_shls_entl/bolognesa-11-e05.tptp.smt2 | 8317284 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 7.59168 | 3.81237 | 161080.0 | sat | sat |
433165841 | qf_shls_entl/bolognesa-11-e06.tptp.smt2 | 8317309 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 4.16287 | 4.16566 | 161196.0 | sat | sat |
433165830 | qf_shls_entl/bolognesa-11-e07.tptp.smt2 | 8317298 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 3.94175 | 3.94321 | 161184.0 | unsat | unsat |
433165691 | qf_shls_entl/bolognesa-11-e08.tptp.smt2 | 8317159 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 3.66062 | 3.66079 | 161184.0 | unsat | unsat |
433165701 | qf_shls_entl/bolognesa-11-e09.tptp.smt2 | 8317169 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 7.65087 | 3.87107 | 161172.0 | unsat | unsat |
433165883 | qf_shls_entl/bolognesa-11-e10.tptp.smt2 | 8317351 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 4.01996 | 4.02014 | 161080.0 | sat | sat |
433165925 | qf_shls_entl/bolognesa-12-e01.tptp.smt2 | 8317393 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 4.60748 | 4.60758 | 161208.0 | unsat | unsat |
433165947 | qf_shls_entl/bolognesa-12-e02.tptp.smt2 | 8317415 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 4.82002 | 4.81992 | 161204.0 | sat | sat |
433165939 | qf_shls_entl/bolognesa-12-e03.tptp.smt2 | 8317407 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 5.21906 | 5.21986 | 161264.0 | sat | sat |
433165958 | qf_shls_entl/bolognesa-12-e04.tptp.smt2 | 8317426 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 5.1214 | 5.12165 | 161200.0 | sat | sat |
433165949 | qf_shls_entl/bolognesa-12-e05.tptp.smt2 | 8317417 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 4.53215 | 4.5324 | 161176.0 | unsat | unsat |
433165980 | qf_shls_entl/bolognesa-12-e06.tptp.smt2 | 8317448 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 4.04609 | 4.0462 | 161180.0 | unsat | unsat |
433165971 | qf_shls_entl/bolognesa-12-e07.tptp.smt2 | 8317439 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 4.40332 | 4.4039 | 161200.0 | sat | sat |
433165850 | qf_shls_entl/bolognesa-12-e08.tptp.smt2 | 8317318 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 4.84599 | 4.84634 | 161204.0 | unsat | unsat |
433165860 | qf_shls_entl/bolognesa-12-e09.tptp.smt2 | 8317328 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 4.7027 | 4.70343 | 161232.0 | unsat | unsat |
433165734 | qf_shls_entl/bolognesa-12-e10.tptp.smt2 | 8317202 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 4.70097 | 4.70099 | 161208.0 | unsat | unsat |
433165763 | qf_shls_entl/bolognesa-13-e01.tptp.smt2 | 8317231 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 5.95174 | 5.95206 | 161256.0 | unsat | unsat |
433165749 | qf_shls_entl/bolognesa-13-e02.tptp.smt2 | 8317217 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 5.81594 | 5.81644 | 161248.0 | sat | sat |
433165738 | qf_shls_entl/bolognesa-13-e03.tptp.smt2 | 8317206 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 5.3284 | 5.3291 | 161300.0 | unsat | unsat |
433165720 | qf_shls_entl/bolognesa-13-e04.tptp.smt2 | 8317188 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 5.56932 | 5.57196 | 161252.0 | sat | sat |
433165713 | qf_shls_entl/bolognesa-13-e05.tptp.smt2 | 8317181 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 5.63617 | 5.63641 | 161244.0 | sat | sat |
433165706 | qf_shls_entl/bolognesa-13-e06.tptp.smt2 | 8317174 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 5.41178 | 5.41245 | 161260.0 | sat | sat |
433165693 | qf_shls_entl/bolognesa-13-e07.tptp.smt2 | 8317161 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 6.03773 | 6.03814 | 161292.0 | unsat | unsat |
433165832 | qf_shls_entl/bolognesa-13-e08.tptp.smt2 | 8317300 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 5.04337 | 5.04394 | 161228.0 | unsat | unsat |
433165842 | qf_shls_entl/bolognesa-13-e09.tptp.smt2 | 8317310 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 5.23495 | 5.23526 | 161208.0 | sat | sat |
433165935 | qf_shls_entl/bolognesa-13-e10.tptp.smt2 | 8317403 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 6.03556 | 6.03594 | 161416.0 | sat | sat |
433165797 | qf_shls_entl/bolognesa-14-e01.tptp.smt2 | 8317265 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 5.92233 | 5.92268 | 161336.0 | unsat | unsat |
433165789 | qf_shls_entl/bolognesa-14-e02.tptp.smt2 | 8317257 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 6.07395 | 6.07407 | 161268.0 | unsat | unsat |
433165774 | qf_shls_entl/bolognesa-14-e03.tptp.smt2 | 8317242 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 6.55802 | 6.55799 | 161412.0 | unsat | unsat |
433165843 | qf_shls_entl/bolognesa-14-e04.tptp.smt2 | 8317311 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 6.13543 | 6.13903 | 161376.0 | unsat | unsat |
433165836 | qf_shls_entl/bolognesa-14-e05.tptp.smt2 | 8317304 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 7.32773 | 7.32819 | 161436.0 | sat | sat |
433165828 | qf_shls_entl/bolognesa-14-e06.tptp.smt2 | 8317296 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 6.24282 | 6.24359 | 161292.0 | unsat | unsat |
433165818 | qf_shls_entl/bolognesa-14-e07.tptp.smt2 | 8317286 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 6.61181 | 6.61323 | 161408.0 | unsat | unsat |
433165718 | qf_shls_entl/bolognesa-14-e08.tptp.smt2 | 8317186 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 6.70719 | 6.70771 | 161412.0 | unsat | unsat |
433165724 | qf_shls_entl/bolognesa-14-e09.tptp.smt2 | 8317192 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 6.97656 | 6.97687 | 161412.0 | unsat | unsat |
433165907 | qf_shls_entl/bolognesa-14-e10.tptp.smt2 | 8317375 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 6.89785 | 6.8979 | 161384.0 | sat | sat |
433165888 | qf_shls_entl/bolognesa-15-e01.tptp.smt2 | 8317356 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 7.35594 | 7.35957 | 161400.0 | unsat | unsat |
433165914 | qf_shls_entl/bolognesa-15-e02.tptp.smt2 | 8317382 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 12.119 | 12.1205 | 161616.0 | unsat | unsat |
433165903 | qf_shls_entl/bolognesa-15-e03.tptp.smt2 | 8317371 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 7.97868 | 7.97839 | 161516.0 | sat | sat |
433165862 | qf_shls_entl/bolognesa-15-e04.tptp.smt2 | 8317330 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 7.63368 | 7.6341 | 161416.0 | unsat | unsat |
433165854 | qf_shls_entl/bolognesa-15-e05.tptp.smt2 | 8317322 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 8.0485 | 8.04878 | 161524.0 | unsat | unsat |
433165881 | qf_shls_entl/bolognesa-15-e06.tptp.smt2 | 8317349 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 8.79985 | 8.79977 | 161532.0 | unsat | unsat |
433165869 | qf_shls_entl/bolognesa-15-e07.tptp.smt2 | 8317337 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 7.55379 | 7.55474 | 161424.0 | unsat | unsat |
433165956 | qf_shls_entl/bolognesa-15-e08.tptp.smt2 | 8317424 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 7.39145 | 7.39159 | 161504.0 | sat | sat |
433165961 | qf_shls_entl/bolognesa-15-e09.tptp.smt2 | 8317429 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 9.29303 | 9.29304 | 161560.0 | sat | sat |
433165778 | qf_shls_entl/bolognesa-15-e10.tptp.smt2 | 8317246 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 7.19519 | 7.19806 | 161500.0 | unsat | unsat |
433165736 | qf_shls_entl/bolognesa-16-e01.tptp.smt2 | 8317204 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 8.66542 | 8.66566 | 161544.0 | unsat | unsat |
433165766 | qf_shls_entl/bolognesa-16-e02.tptp.smt2 | 8317234 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 9.14357 | 9.14467 | 161548.0 | sat | sat |
433165753 | qf_shls_entl/bolognesa-16-e03.tptp.smt2 | 8317221 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 9.21903 | 9.22037 | 161544.0 | sat | sat |
433165707 | qf_shls_entl/bolognesa-16-e04.tptp.smt2 | 8317175 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 9.08561 | 9.08653 | 161540.0 | sat | sat |
433165695 | qf_shls_entl/bolognesa-16-e05.tptp.smt2 | 8317163 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 8.50279 | 8.50319 | 161648.0 | unsat | unsat |
433165730 | qf_shls_entl/bolognesa-16-e06.tptp.smt2 | 8317198 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 8.53826 | 8.53871 | 161524.0 | sat | sat |
433165719 | qf_shls_entl/bolognesa-16-e07.tptp.smt2 | 8317187 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 8.77593 | 8.77626 | 161652.0 | unsat | unsat |
433165820 | qf_shls_entl/bolognesa-16-e08.tptp.smt2 | 8317288 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 8.88946 | 8.88959 | 161648.0 | unsat | unsat |
433165829 | qf_shls_entl/bolognesa-16-e09.tptp.smt2 | 8317297 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 8.42408 | 8.42497 | 161624.0 | unsat | unsat |
433165924 | qf_shls_entl/bolognesa-16-e10.tptp.smt2 | 8317392 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 9.71018 | 9.7132 | 161656.0 | sat | sat |
433165938 | qf_shls_entl/bolognesa-17-e01.tptp.smt2 | 8317406 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 10.2381 | 10.239 | 161688.0 | unsat | unsat |
433165927 | qf_shls_entl/bolognesa-17-e02.tptp.smt2 | 8317395 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 10.8555 | 10.8555 | 161688.0 | sat | sat |
433165918 | qf_shls_entl/bolognesa-17-e03.tptp.smt2 | 8317386 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 9.98908 | 9.99059 | 161660.0 | sat | sat |
433165982 | qf_shls_entl/bolognesa-17-e04.tptp.smt2 | 8317450 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 10.8101 | 10.8145 | 161812.0 | unsat | unsat |
433165974 | qf_shls_entl/bolognesa-17-e05.tptp.smt2 | 8317442 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 9.35852 | 9.35863 | 161664.0 | unsat | unsat |
433165966 | qf_shls_entl/bolognesa-17-e06.tptp.smt2 | 8317434 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 10.5099 | 10.5112 | 161692.0 | unsat | unsat |
433165957 | qf_shls_entl/bolognesa-17-e07.tptp.smt2 | 8317425 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 9.68129 | 9.68155 | 161688.0 | unsat | unsat |
433165872 | qf_shls_entl/bolognesa-17-e08.tptp.smt2 | 8317340 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 9.94925 | 9.94992 | 161672.0 | sat | sat |
433165882 | qf_shls_entl/bolognesa-17-e09.tptp.smt2 | 8317350 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 10.6812 | 10.6815 | 161684.0 | unsat | unsat |
433165761 | qf_shls_entl/bolognesa-17-e10.tptp.smt2 | 8317229 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 10.3859 | 10.387 | 161712.0 | unsat | unsat |
433165967 | qf_shls_entl/bolognesa-18-e01.tptp.smt2 | 8317435 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 11.6424 | 11.6435 | 161748.0 | unsat | unsat |
433165973 | qf_shls_entl/bolognesa-18-e02.tptp.smt2 | 8317441 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 11.9245 | 11.9245 | 161744.0 | sat | sat |
433165981 | qf_shls_entl/bolognesa-18-e03.tptp.smt2 | 8317449 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 13.0805 | 13.0817 | 161820.0 | sat | sat |
433165919 | qf_shls_entl/bolognesa-18-e04.tptp.smt2 | 8317387 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 11.7507 | 11.7506 | 161748.0 | sat | sat |
433165928 | qf_shls_entl/bolognesa-18-e05.tptp.smt2 | 8317396 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 12.2052 | 12.2057 | 161816.0 | sat | sat |
433165937 | qf_shls_entl/bolognesa-18-e06.tptp.smt2 | 8317405 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 11.6841 | 11.6866 | 161740.0 | sat | sat |
433165945 | qf_shls_entl/bolognesa-18-e07.tptp.smt2 | 8317413 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 11.0119 | 11.0157 | 161696.0 | sat | sat |
433165898 | qf_shls_entl/bolognesa-18-e08.tptp.smt2 | 8317366 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 13.4306 | 13.4314 | 161832.0 | sat | sat |
433165889 | qf_shls_entl/bolognesa-18-e09.tptp.smt2 | 8317357 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 12.5034 | 12.5042 | 161760.0 | sat | sat |
433165703 | qf_shls_entl/bolognesa-18-e10.tptp.smt2 | 8317171 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 11.4037 | 11.4042 | 161712.0 | unsat | unsat |
433165729 | qf_shls_entl/bolognesa-19-e01.tptp.smt2 | 8317197 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 13.4513 | 13.4518 | 161940.0 | sat | sat |
433165696 | qf_shls_entl/bolognesa-19-e02.tptp.smt2 | 8317164 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 13.8392 | 13.8396 | 161936.0 | sat | sat |
433165708 | qf_shls_entl/bolognesa-19-e03.tptp.smt2 | 8317176 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 13.9047 | 13.9048 | 161944.0 | sat | sat |
433165752 | qf_shls_entl/bolognesa-19-e04.tptp.smt2 | 8317220 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 12.4611 | 12.4618 | 161932.0 | sat | sat |
433165765 | qf_shls_entl/bolognesa-19-e05.tptp.smt2 | 8317233 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 12.7656 | 12.7668 | 161944.0 | unsat | unsat |
433165737 | qf_shls_entl/bolognesa-19-e06.tptp.smt2 | 8317205 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 13.3923 | 13.3922 | 161940.0 | unsat | unsat |
433165746 | qf_shls_entl/bolognesa-19-e07.tptp.smt2 | 8317214 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 14.5509 | 14.5512 | 161964.0 | sat | sat |
433165809 | qf_shls_entl/bolognesa-19-e08.tptp.smt2 | 8317277 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 14.1239 | 14.1238 | 161984.0 | unsat | unsat |
433165800 | qf_shls_entl/bolognesa-19-e09.tptp.smt2 | 8317268 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 14.5161 | 14.5169 | 161996.0 | sat | sat |
433165978 | qf_shls_entl/bolognesa-19-e10.tptp.smt2 | 8317446 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 13.4093 | 13.4108 | 161860.0 | unsat | unsat |
433165698 | qf_shls_entl/bolognesa-20-e01.tptp.smt2 | 8317166 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 15.386 | 15.3862 | 161856.0 | sat | sat |
433165726 | qf_shls_entl/bolognesa-20-e02.tptp.smt2 | 8317194 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 14.2698 | 14.2702 | 161976.0 | sat | sat |
433165717 | qf_shls_entl/bolognesa-20-e03.tptp.smt2 | 8317185 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 14.8411 | 14.8444 | 162008.0 | sat | sat |
433165745 | qf_shls_entl/bolognesa-20-e04.tptp.smt2 | 8317213 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 14.5077 | 14.5083 | 162008.0 | sat | sat |
433165732 | qf_shls_entl/bolognesa-20-e05.tptp.smt2 | 8317200 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 16.3542 | 16.3545 | 162072.0 | sat | sat |
433165767 | qf_shls_entl/bolognesa-20-e06.tptp.smt2 | 8317235 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 15.0849 | 15.0862 | 161992.0 | unsat | unsat |
433165755 | qf_shls_entl/bolognesa-20-e07.tptp.smt2 | 8317223 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 13.5864 | 13.5867 | 161884.0 | unsat | unsat |
433165775 | qf_shls_entl/bolognesa-20-e08.tptp.smt2 | 8317243 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 16.6473 | 16.6475 | 162024.0 | unsat | unsat |
433165788 | qf_shls_entl/bolognesa-20-e09.tptp.smt2 | 8317256 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 14.7439 | 14.7447 | 161992.0 | sat | sat |
433165950 | qf_shls_entl/bolognesa-20-e10.tptp.smt2 | 8317418 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 14.3194 | 14.3197 | 161980.0 | unsat | unsat |
433165704 | qf_shls_entl/clones-01-e01.tptp.smt2 | 8317172 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.046921 | 0.0470029 | 113176.0 | unsat | unsat |
433165712 | qf_shls_entl/clones-01-e02.tptp.smt2 | 8317180 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.048491 | 0.048567 | 113176.0 | unsat | unsat |
433165721 | qf_shls_entl/clones-01-e03.tptp.smt2 | 8317189 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.048398 | 0.048471 | 113176.0 | unsat | unsat |
433165739 | qf_shls_entl/clones-01-e04.tptp.smt2 | 8317207 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.046021 | 0.046104 | 113176.0 | unsat | unsat |
433165748 | qf_shls_entl/clones-01-e05.tptp.smt2 | 8317216 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.205929 | 0.205992 | 113176.0 | unsat | unsat |
433165762 | qf_shls_entl/clones-01-e06.tptp.smt2 | 8317230 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.045904 | 0.0651459 | 113176.0 | unsat | unsat |
433165772 | qf_shls_entl/clones-01-e07.tptp.smt2 | 8317240 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.052598 | 0.0526711 | 113176.0 | sat | sat |
433165793 | qf_shls_entl/clones-01-e08.tptp.smt2 | 8317261 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.055349 | 0.0554321 | 113176.0 | sat | sat |
433165785 | qf_shls_entl/clones-01-e09.tptp.smt2 | 8317253 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.054674 | 0.054745 | 113176.0 | sat | sat |
433165965 | qf_shls_entl/clones-01-e10.tptp.smt2 | 8317433 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.052675 | 0.0527989 | 113176.0 | sat | sat |
433165857 | qf_shls_entl/clones-02-e01.tptp.smt2 | 8317325 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.047171 | 0.04724 | 113176.0 | unsat | unsat |
433165865 | qf_shls_entl/clones-02-e02.tptp.smt2 | 8317333 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.049265 | 0.0493171 | 113176.0 | unsat | unsat |
433165876 | qf_shls_entl/clones-02-e03.tptp.smt2 | 8317344 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.050221 | 0.050269 | 113176.0 | unsat | unsat |
433165893 | qf_shls_entl/clones-02-e04.tptp.smt2 | 8317361 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.046292 | 0.0463771 | 113176.0 | unsat | unsat |
433165899 | qf_shls_entl/clones-02-e05.tptp.smt2 | 8317367 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.49096 | 0.493522 | 113176.0 | unsat | unsat |
433165908 | qf_shls_entl/clones-02-e06.tptp.smt2 | 8317376 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.046952 | 0.0470441 | 113176.0 | unsat | unsat |
433165916 | qf_shls_entl/clones-02-e07.tptp.smt2 | 8317384 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.05869 | 0.0587389 | 113176.0 | sat | sat |
433165930 | qf_shls_entl/clones-02-e08.tptp.smt2 | 8317398 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.06599 | 0.0660549 | 113176.0 | sat | sat |
433165923 | qf_shls_entl/clones-02-e09.tptp.smt2 | 8317391 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.061727 | 0.061765 | 113176.0 | sat | sat |
433165826 | qf_shls_entl/clones-02-e10.tptp.smt2 | 8317294 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.058308 | 0.0583591 | 113176.0 | sat | sat |
433165838 | qf_shls_entl/clones-03-e01.tptp.smt2 | 8317306 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.048652 | 0.0488321 | 113176.0 | unsat | unsat |
433165815 | qf_shls_entl/clones-03-e02.tptp.smt2 | 8317283 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.051677 | 0.0517639 | 113176.0 | unsat | unsat |
433165823 | qf_shls_entl/clones-03-e03.tptp.smt2 | 8317291 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.051656 | 0.0517071 | 113176.0 | unsat | unsat |
433165803 | qf_shls_entl/clones-03-e04.tptp.smt2 | 8317271 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.046103 | 0.0461409 | 113176.0 | unsat | unsat |
433165810 | qf_shls_entl/clones-03-e05.tptp.smt2 | 8317278 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.928563 | 0.928665 | 158584.0 | unsat | unsat |
433165780 | qf_shls_entl/clones-03-e06.tptp.smt2 | 8317248 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.045883 | 0.045949 | 113176.0 | unsat | unsat |
433165792 | qf_shls_entl/clones-03-e07.tptp.smt2 | 8317260 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.0656 | 0.065669 | 113176.0 | sat | sat |
433165770 | qf_shls_entl/clones-03-e08.tptp.smt2 | 8317238 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.080489 | 0.080672 | 113176.0 | sat | sat |
433165760 | qf_shls_entl/clones-03-e09.tptp.smt2 | 8317228 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.071669 | 0.071714 | 113176.0 | sat | sat |
433165880 | qf_shls_entl/clones-03-e10.tptp.smt2 | 8317348 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.065819 | 0.0658579 | 113176.0 | sat | sat |
433165728 | qf_shls_entl/clones-04-e01.tptp.smt2 | 8317196 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.048852 | 0.0489409 | 113176.0 | unsat | unsat |
433165694 | qf_shls_entl/clones-04-e02.tptp.smt2 | 8317162 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.052462 | 0.0525 | 113176.0 | unsat | unsat |
433165709 | qf_shls_entl/clones-04-e03.tptp.smt2 | 8317177 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.053256 | 0.0533361 | 113176.0 | unsat | unsat |
433165754 | qf_shls_entl/clones-04-e04.tptp.smt2 | 8317222 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.045946 | 0.0460041 | 113176.0 | unsat | unsat |
433165764 | qf_shls_entl/clones-04-e05.tptp.smt2 | 8317232 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 1.49098 | 1.49123 | 158608.0 | unsat | unsat |
433165735 | qf_shls_entl/clones-04-e06.tptp.smt2 | 8317203 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.046192 | 0.0462731 | 113176.0 | unsat | unsat |
433165747 | qf_shls_entl/clones-04-e07.tptp.smt2 | 8317215 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.075092 | 0.075143 | 113176.0 | sat | sat |
433165808 | qf_shls_entl/clones-04-e08.tptp.smt2 | 8317276 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.098275 | 0.098349 | 113176.0 | sat | sat |
433165801 | qf_shls_entl/clones-04-e09.tptp.smt2 | 8317269 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.084792 | 0.084866 | 113176.0 | sat | sat |
433165979 | qf_shls_entl/clones-04-e10.tptp.smt2 | 8317447 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.075112 | 0.0751811 | 113176.0 | sat | sat |
433165964 | qf_shls_entl/clones-05-e01.tptp.smt2 | 8317432 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.05084 | 0.050918 | 113176.0 | unsat | unsat |
433165972 | qf_shls_entl/clones-05-e02.tptp.smt2 | 8317440 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.055116 | 0.0551449 | 113176.0 | unsat | unsat |
433165983 | qf_shls_entl/clones-05-e03.tptp.smt2 | 8317451 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.056494 | 0.0565729 | 113176.0 | unsat | unsat |
433165920 | qf_shls_entl/clones-05-e04.tptp.smt2 | 8317388 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.046136 | 0.046195 | 113176.0 | unsat | unsat |
433165926 | qf_shls_entl/clones-05-e05.tptp.smt2 | 8317394 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 2.31421 | 2.31433 | 158664.0 | unsat | unsat |
433165936 | qf_shls_entl/clones-05-e06.tptp.smt2 | 8317404 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.046525 | 0.046589 | 113176.0 | unsat | unsat |
433165946 | qf_shls_entl/clones-05-e07.tptp.smt2 | 8317414 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.086995 | 0.0870641 | 113176.0 | sat | sat |
433165897 | qf_shls_entl/clones-05-e08.tptp.smt2 | 8317365 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.120872 | 0.120959 | 113176.0 | sat | sat |
433165890 | qf_shls_entl/clones-05-e09.tptp.smt2 | 8317358 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.099613 | 0.0997069 | 113176.0 | sat | sat |
433165705 | qf_shls_entl/clones-05-e10.tptp.smt2 | 8317173 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.086641 | 0.0866811 | 113176.0 | sat | sat |
433165824 | qf_shls_entl/clones-06-e01.tptp.smt2 | 8317292 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.050338 | 0.0504161 | 113176.0 | unsat | unsat |
433165834 | qf_shls_entl/clones-06-e02.tptp.smt2 | 8317302 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.056873 | 0.056922 | 113176.0 | unsat | unsat |
433165847 | qf_shls_entl/clones-06-e03.tptp.smt2 | 8317315 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.056968 | 0.0570559 | 113176.0 | unsat | unsat |
433165776 | qf_shls_entl/clones-06-e04.tptp.smt2 | 8317244 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.046797 | 0.0468719 | 113176.0 | unsat | unsat |
433165786 | qf_shls_entl/clones-06-e05.tptp.smt2 | 8317254 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 3.18063 | 3.18096 | 158692.0 | unsat | unsat |
433165796 | qf_shls_entl/clones-06-e06.tptp.smt2 | 8317264 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.045871 | 0.0459271 | 113176.0 | unsat | unsat |
433165807 | qf_shls_entl/clones-06-e07.tptp.smt2 | 8317275 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.099566 | 0.0996129 | 113176.0 | sat | sat |
433165743 | qf_shls_entl/clones-06-e08.tptp.smt2 | 8317211 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.146745 | 0.146804 | 113176.0 | sat | sat |
433165733 | qf_shls_entl/clones-06-e09.tptp.smt2 | 8317201 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.117726 | 0.117767 | 113176.0 | sat | sat |
433165858 | qf_shls_entl/clones-06-e10.tptp.smt2 | 8317326 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.098685 | 0.0987159 | 113176.0 | sat | sat |
433165878 | qf_shls_entl/clones-07-e01.tptp.smt2 | 8317346 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.051701 | 0.051791 | 113176.0 | unsat | unsat |
433165852 | qf_shls_entl/clones-07-e02.tptp.smt2 | 8317320 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.059231 | 0.0592899 | 113176.0 | unsat | unsat |
433165863 | qf_shls_entl/clones-07-e03.tptp.smt2 | 8317331 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.059436 | 0.0595229 | 113176.0 | unsat | unsat |
433165905 | qf_shls_entl/clones-07-e04.tptp.smt2 | 8317373 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.045944 | 0.0460139 | 113176.0 | unsat | unsat |
433165913 | qf_shls_entl/clones-07-e05.tptp.smt2 | 8317381 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 4.38109 | 4.38135 | 158784.0 | unsat | unsat |
433165885 | qf_shls_entl/clones-07-e06.tptp.smt2 | 8317353 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.046595 | 0.0466619 | 113176.0 | unsat | unsat |
433165895 | qf_shls_entl/clones-07-e07.tptp.smt2 | 8317363 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.113646 | 0.113708 | 113176.0 | sat | sat |
433165942 | qf_shls_entl/clones-07-e08.tptp.smt2 | 8317410 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.174816 | 0.174872 | 113176.0 | sat | sat |
433165933 | qf_shls_entl/clones-07-e09.tptp.smt2 | 8317401 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.139217 | 0.139308 | 113176.0 | sat | sat |
433165840 | qf_shls_entl/clones-07-e10.tptp.smt2 | 8317308 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.114283 | 0.114345 | 113176.0 | sat | sat |
433165886 | qf_shls_entl/clones-08-e01.tptp.smt2 | 8317354 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.052067 | 0.052138 | 113176.0 | unsat | unsat |
433165912 | qf_shls_entl/clones-08-e02.tptp.smt2 | 8317380 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.061636 | 0.0617391 | 113176.0 | unsat | unsat |
433165904 | qf_shls_entl/clones-08-e03.tptp.smt2 | 8317372 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.061947 | 0.062014 | 113176.0 | unsat | unsat |
433165864 | qf_shls_entl/clones-08-e04.tptp.smt2 | 8317332 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.04634 | 0.0464209 | 113176.0 | unsat | unsat |
433165853 | qf_shls_entl/clones-08-e05.tptp.smt2 | 8317321 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 5.7565 | 5.75653 | 158832.0 | unsat | unsat |
433165877 | qf_shls_entl/clones-08-e06.tptp.smt2 | 8317345 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.046213 | 0.046266 | 113176.0 | unsat | unsat |
433165871 | qf_shls_entl/clones-08-e07.tptp.smt2 | 8317339 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.131175 | 0.131229 | 113176.0 | sat | sat |
433165953 | qf_shls_entl/clones-08-e08.tptp.smt2 | 8317421 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.207693 | 0.207758 | 113176.0 | sat | sat |
433165962 | qf_shls_entl/clones-08-e09.tptp.smt2 | 8317430 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.160659 | 0.160704 | 113176.0 | sat | sat |
433165782 | qf_shls_entl/clones-08-e10.tptp.smt2 | 8317250 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.131863 | 0.13192 | 113176.0 | sat | sat |
433165795 | qf_shls_entl/clones-09-e01.tptp.smt2 | 8317263 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.053477 | 0.0535389 | 113176.0 | unsat | unsat |
433165787 | qf_shls_entl/clones-09-e02.tptp.smt2 | 8317255 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.066061 | 0.0661389 | 113176.0 | unsat | unsat |
433165777 | qf_shls_entl/clones-09-e03.tptp.smt2 | 8317245 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.065674 | 0.0657431 | 113176.0 | unsat | unsat |
433165846 | qf_shls_entl/clones-09-e04.tptp.smt2 | 8317314 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.047106 | 0.0471941 | 113176.0 | unsat | unsat |
433165833 | qf_shls_entl/clones-09-e05.tptp.smt2 | 8317301 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 7.47923 | 7.48156 | 158852.0 | unsat | unsat |
433165825 | qf_shls_entl/clones-09-e06.tptp.smt2 | 8317293 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.046201 | 0.0462341 | 113176.0 | unsat | unsat |
433165819 | qf_shls_entl/clones-09-e07.tptp.smt2 | 8317287 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.150352 | 0.150404 | 113176.0 | sat | sat |
433165715 | qf_shls_entl/clones-09-e08.tptp.smt2 | 8317183 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.24166 | 0.241783 | 113176.0 | sat | sat |
433165727 | qf_shls_entl/clones-09-e09.tptp.smt2 | 8317195 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.184941 | 0.185006 | 113176.0 | sat | sat |
433165909 | qf_shls_entl/clones-09-e10.tptp.smt2 | 8317377 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.15022 | 0.150278 | 113176.0 | sat | sat |
433165722 | qf_shls_entl/clones-10-e01.tptp.smt2 | 8317190 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.054405 | 0.054461 | 113176.0 | unsat | unsat |
433165690 | qf_shls_entl/clones-10-e02.tptp.smt2 | 8317158 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.06764 | 0.0676861 | 113176.0 | unsat | unsat |
433165702 | qf_shls_entl/clones-10-e03.tptp.smt2 | 8317170 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.067541 | 0.067607 | 113176.0 | unsat | unsat |
433165759 | qf_shls_entl/clones-10-e04.tptp.smt2 | 8317227 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.046533 | 0.0466301 | 113176.0 | unsat | unsat |
433165769 | qf_shls_entl/clones-10-e05.tptp.smt2 | 8317237 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 9.26288 | 9.26338 | 158968.0 | unsat | unsat |
433165740 | qf_shls_entl/clones-10-e06.tptp.smt2 | 8317208 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.045976 | 0.046195 | 113176.0 | unsat | unsat |
433165751 | qf_shls_entl/clones-10-e07.tptp.smt2 | 8317219 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.171535 | 0.171579 | 113176.0 | sat | sat |
433165812 | qf_shls_entl/clones-10-e08.tptp.smt2 | 8317280 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.272732 | 0.272798 | 113176.0 | sat | sat |
433165805 | qf_shls_entl/clones-10-e09.tptp.smt2 | 8317273 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.215932 | 0.215995 | 113176.0 | sat | sat |
433165985 | qf_shls_entl/clones-10-e10.tptp.smt2 | 8317453 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.171026 | 0.171086 | 113176.0 | sat | sat |
433165968 | qf_shls_entl/ls-vc01.smt2 | 8317436 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.31313 | 0.313208 | 113176.0 | sat | sat |
433165799 | qf_shls_entl/ls-vc02.smt2 | 8317267 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.446917 | 0.446973 | 113176.0 | sat | sat |
433165757 | qf_shls_entl/ls-vc03.smt2 | 8317225 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 1.24747 | 1.24756 | 158744.0 | sat | sat |
433165851 | qf_shls_entl/ls-vc04.smt2 | 8317319 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.226466 | 0.226663 | 113176.0 | sat | sat |
433165955 | qf_shls_entl/ls-vc05.smt2 | 8317423 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.254113 | 0.254161 | 113176.0 | unsat | unsat |
433165784 | qf_shls_entl/ls-vc06.smt2 | 8317252 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.359391 | 0.359651 | 113176.0 | sat | sat |
433165742 | qf_shls_entl/ls-vc07.smt2 | 8317210 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.545709 | 0.545805 | 113176.0 | sat | sat |
433165911 | qf_shls_entl/ls-vc08.smt2 | 8317379 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.3081 | 0.308183 | 113176.0 | unsat | unsat |
433165943 | qf_shls_entl/ls-vc09.smt2 | 8317411 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.482448 | 0.482523 | 113176.0 | unsat | unsat |
433165773 | qf_shls_entl/smallfoot-vc01.tptp.smt2 | 8317241 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.046881 | 0.046964 | 113176.0 | unsat | unsat |
433165806 | qf_shls_entl/smallfoot-vc02.tptp.smt2 | 8317274 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.047991 | 0.0480641 | 113176.0 | unsat | unsat |
433165798 | qf_shls_entl/smallfoot-vc03.tptp.smt2 | 8317266 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.045868 | 0.0459221 | 113176.0 | unsat | unsat |
433165827 | qf_shls_entl/smallfoot-vc04.tptp.smt2 | 8317295 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.0477 | 0.0477661 | 113176.0 | unsat | unsat |
433165817 | qf_shls_entl/smallfoot-vc05.tptp.smt2 | 8317285 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.046975 | 0.0470521 | 113176.0 | unsat | unsat |
433165844 | qf_shls_entl/smallfoot-vc06.tptp.smt2 | 8317312 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.047019 | 0.047061 | 113176.0 | unsat | unsat |
433165837 | qf_shls_entl/smallfoot-vc07.tptp.smt2 | 8317305 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.047301 | 0.047383 | 113176.0 | unsat | unsat |
433165697 | qf_shls_entl/smallfoot-vc08.tptp.smt2 | 8317165 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.046673 | 0.046718 | 113176.0 | unsat | unsat |
433165711 | qf_shls_entl/smallfoot-vc09.tptp.smt2 | 8317179 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.289871 | 0.28993 | 113176.0 | unsat | unsat |
433165892 | qf_shls_entl/smallfoot-vc10.tptp.smt2 | 8317360 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.196812 | 0.196868 | 113176.0 | unsat | unsat |
433165900 | qf_shls_entl/smallfoot-vc11.tptp.smt2 | 8317368 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.183953 | 0.184024 | 113176.0 | unsat | unsat |
433165906 | qf_shls_entl/smallfoot-vc12.tptp.smt2 | 8317374 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.171579 | 0.171699 | 113176.0 | unsat | unsat |
433165917 | qf_shls_entl/smallfoot-vc13.tptp.smt2 | 8317385 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.1853 | 0.185386 | 113176.0 | unsat | unsat |
433165849 | qf_shls_entl/smallfoot-vc14.tptp.smt2 | 8317317 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.047946 | 0.0480341 | 113176.0 | unsat | unsat |
433165856 | qf_shls_entl/smallfoot-vc15.tptp.smt2 | 8317324 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.048442 | 0.0485401 | 113176.0 | unsat | unsat |
433165866 | qf_shls_entl/smallfoot-vc16.tptp.smt2 | 8317334 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.318859 | 0.318936 | 113176.0 | unsat | unsat |
433165875 | qf_shls_entl/smallfoot-vc17.tptp.smt2 | 8317343 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.047934 | 0.0480061 | 113176.0 | unsat | unsat |
433165959 | qf_shls_entl/smallfoot-vc18.tptp.smt2 | 8317427 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.432317 | 0.433705 | 113176.0 | unsat | unsat |
433165952 | qf_shls_entl/smallfoot-vc19.tptp.smt2 | 8317420 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.047046 | 0.0471339 | 113176.0 | unsat | unsat |
433165692 | qf_shls_entl/smallfoot-vc20.tptp.smt2 | 8317160 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.047559 | 0.0476881 | 113176.0 | unsat | unsat |
433165700 | qf_shls_entl/smallfoot-vc21.tptp.smt2 | 8317168 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.169027 | 0.169095 | 113176.0 | unsat | unsat |
433165714 | qf_shls_entl/smallfoot-vc22.tptp.smt2 | 8317182 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.06222 | 0.0622671 | 113176.0 | sat | sat |
433165723 | qf_shls_entl/smallfoot-vc23.tptp.smt2 | 8317191 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.048383 | 0.0484329 | 113176.0 | sat | sat |
433165741 | qf_shls_entl/smallfoot-vc24.tptp.smt2 | 8317209 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.158063 | 0.158111 | 113176.0 | unsat | unsat |
433165750 | qf_shls_entl/smallfoot-vc25.tptp.smt2 | 8317218 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.144723 | 0.144934 | 113176.0 | unsat | unsat |
433165758 | qf_shls_entl/smallfoot-vc26.tptp.smt2 | 8317226 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.205972 | 0.206004 | 113176.0 | unsat | unsat |
433165771 | qf_shls_entl/smallfoot-vc27.tptp.smt2 | 8317239 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.047028 | 0.0470609 | 113176.0 | unsat | unsat |
433165790 | qf_shls_entl/smallfoot-vc28.tptp.smt2 | 8317258 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.221015 | 0.221073 | 113176.0 | unsat | unsat |
433165781 | qf_shls_entl/smallfoot-vc29.tptp.smt2 | 8317249 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.052559 | 0.052618 | 113176.0 | sat | sat |
433165963 | qf_shls_entl/smallfoot-vc30.tptp.smt2 | 8317431 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.057485 | 0.0575431 | 113176.0 | sat | sat |
433165954 | qf_shls_entl/smallfoot-vc31.tptp.smt2 | 8317422 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.058278 | 0.058354 | 113176.0 | sat | sat |
433165984 | qf_shls_entl/smallfoot-vc32.tptp.smt2 | 8317452 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.054093 | 0.054139 | 113176.0 | sat | sat |
433165975 | qf_shls_entl/smallfoot-vc33.tptp.smt2 | 8317443 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.054955 | 0.0550449 | 113176.0 | sat | sat |
433165929 | qf_shls_entl/smallfoot-vc34.tptp.smt2 | 8317397 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.506571 | 0.506649 | 113176.0 | unsat | unsat |
433165921 | qf_shls_entl/smallfoot-vc35.tptp.smt2 | 8317389 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.053664 | 0.0537639 | 113176.0 | sat | sat |
433165941 | qf_shls_entl/smallfoot-vc36.tptp.smt2 | 8317409 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.316744 | 0.316818 | 113176.0 | unsat | unsat |
433165934 | qf_shls_entl/smallfoot-vc37.tptp.smt2 | 8317402 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.055268 | 0.0553201 | 113176.0 | sat | sat |
433165884 | qf_shls_entl/smallfoot-vc38.tptp.smt2 | 8317352 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.502167 | 0.50223 | 113176.0 | unsat | unsat |
433165896 | qf_shls_entl/smallfoot-vc39.tptp.smt2 | 8317364 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.31023 | 0.310283 | 113176.0 | sat | sat |
433165948 | qf_shls_entl/smallfoot-vc40.tptp.smt2 | 8317416 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.366375 | 0.366463 | 113176.0 | sat | sat |
433165940 | qf_shls_entl/smallfoot-vc41.tptp.smt2 | 8317408 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.322433 | 0.322519 | 113176.0 | unsat | unsat |
433165931 | qf_shls_entl/smallfoot-vc42.tptp.smt2 | 8317399 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.364041 | 0.364112 | 113176.0 | unsat | unsat |
433165922 | qf_shls_entl/smallfoot-vc43.tptp.smt2 | 8317390 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.366208 | 0.366333 | 113176.0 | sat | sat |
433165976 | qf_shls_entl/smallfoot-vc44.tptp.smt2 | 8317444 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.480176 | 0.480291 | 113176.0 | unsat | unsat |
433165970 | qf_shls_entl/smallfoot-vc45.tptp.smt2 | 8317438 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.418708 | 0.418788 | 113176.0 | unsat | unsat |
433165960 | qf_shls_entl/smallfoot-vc46.tptp.smt2 | 8317428 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.419399 | 0.419446 | 113176.0 | unsat | unsat |
433165951 | qf_shls_entl/smallfoot-vc47.tptp.smt2 | 8317419 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.048017 | 0.048114 | 113176.0 | unsat | unsat |
433165867 | qf_shls_entl/smallfoot-vc48.tptp.smt2 | 8317335 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.29147 | 0.291728 | 113176.0 | unsat | unsat |
433165874 | qf_shls_entl/smallfoot-vc49.tptp.smt2 | 8317342 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.248215 | 0.24826 | 113176.0 | sat | sat |
433165756 | qf_shls_entl/smallfoot-vc50.tptp.smt2 | 8317224 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.222619 | 0.222684 | 113176.0 | unsat | unsat |
433165768 | qf_shls_entl/smallfoot-vc51.tptp.smt2 | 8317236 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.23291 | 0.233013 | 113176.0 | unsat | unsat |
433165731 | qf_shls_entl/smallfoot-vc52.tptp.smt2 | 8317199 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.488364 | 0.488437 | 113176.0 | unsat | unsat |
433165744 | qf_shls_entl/smallfoot-vc53.tptp.smt2 | 8317212 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.315705 | 0.315789 | 113176.0 | unsat | unsat |
433165716 | qf_shls_entl/smallfoot-vc54.tptp.smt2 | 8317184 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.062933 | 0.0629879 | 113176.0 | sat | sat |
433165725 | qf_shls_entl/smallfoot-vc55.tptp.smt2 | 8317193 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.223927 | 0.223972 | 113176.0 | unsat | unsat |
433165699 | qf_shls_entl/smallfoot-vc56.tptp.smt2 | 8317167 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.220344 | 0.220386 | 113176.0 | sat | sat |
433165710 | qf_shls_entl/smallfoot-vc57.tptp.smt2 | 8317178 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.33712 | 0.337195 | 113176.0 | sat | sat |
433165845 | qf_shls_entl/smallfoot-vc58.tptp.smt2 | 8317313 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.4905 | 0.490757 | 113176.0 | unsat | unsat |
433165835 | qf_shls_entl/smallfoot-vc59.tptp.smt2 | 8317303 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.426799 | 0.42699 | 113176.0 | unsat | unsat |
433165870 | qf_shls_entl/smallfoot-vc60.tptp.smt2 | 8317338 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.306217 | 0.306276 | 113176.0 | unsat | unsat |
433165879 | qf_shls_entl/smallfoot-vc61.tptp.smt2 | 8317347 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.309846 | 0.309901 | 113176.0 | sat | sat |
433165855 | qf_shls_entl/smallfoot-vc62.tptp.smt2 | 8317323 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.049129 | 0.0492971 | 113176.0 | unsat | unsat |
433165861 | qf_shls_entl/smallfoot-vc63.tptp.smt2 | 8317329 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.306104 | 0.306194 | 113176.0 | unsat | unsat |
433165902 | qf_shls_entl/smallfoot-vc64.tptp.smt2 | 8317370 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.047888 | 0.047986 | 113176.0 | unsat | unsat |
433165915 | qf_shls_entl/smallfoot-vc65.tptp.smt2 | 8317383 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.308398 | 0.309125 | 113176.0 | unsat | unsat |
433165887 | qf_shls_entl/smallfoot-vc66.tptp.smt2 | 8317355 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.233286 | 0.233308 | 113176.0 | unsat | unsat |
433165894 | qf_shls_entl/smallfoot-vc67.tptp.smt2 | 8317362 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.222714 | 0.222787 | 113176.0 | unsat | unsat |
433165944 | qf_shls_entl/smallfoot-vc68.tptp.smt2 | 8317412 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.221031 | 0.221127 | 113176.0 | sat | sat |
433165932 | qf_shls_entl/smallfoot-vc69.tptp.smt2 | 8317400 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.051465 | 0.0515319 | 113176.0 | sat | sat |
433165839 | qf_shls_entl/smallfoot-vc70.tptp.smt2 | 8317307 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.354068 | 0.354136 | 113176.0 | sat | sat |
433165831 | qf_shls_entl/smallfoot-vc71.tptp.smt2 | 8317299 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.333341 | 0.333379 | 113176.0 | unsat | unsat |
433165822 | qf_shls_entl/smallfoot-vc72.tptp.smt2 | 8317290 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.334619 | 0.334915 | 113176.0 | sat | sat |
433165814 | qf_shls_entl/smallfoot-vc73.tptp.smt2 | 8317282 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.333744 | 0.333831 | 113176.0 | sat | sat |
433165811 | qf_shls_entl/smallfoot-vc74.tptp.smt2 | 8317279 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.364455 | 0.364495 | 113176.0 | unsat | unsat |
433165804 | qf_shls_entl/smallfoot-vc75.tptp.smt2 | 8317272 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.288736 | 0.288828 | 113176.0 | unsat | unsat |
433165791 | qf_shls_entl/smallfoot-vc76.tptp.smt2 | 8317259 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.308057 | 0.308148 | 113176.0 | sat | sat |
433165779 | qf_shls_entl/smallfoot-vc77.tptp.smt2 | 8317247 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.047577 | 0.047645 | 113176.0 | unsat | unsat |