QBF Solver Evaluation Portal
qbflib.orgInstances of family terminator solved by dynQBF-bloqqer-hqspre
QBFEVAL'17 - Prenex 2QBF Track
| Instance | Result | Time | |
|---|---|---|---|
| stmt21_84_215 | UNSAT | 1.67 | |
| stmt21_181_218 | UNSAT | 2.22 | |
| stmt53_208_245 | UNSAT | 2.44 | |
| stmt22_320_370 | SAT | 4.1 | |
| stmt21_354_403 | SAT | 4.94 | |
| stmt19_180_352 | UNSAT | 5.19 | |
| stmt19_368_417 | SAT | 7.23 | |
| stmt22_311_370 | UNSAT | 7.31 | |
| stmt19_137_408 | UNSAT | 11.14 | |
| stmt27_149_224 | UNSAT | 11.58 | |
| stmt21_178_258 | UNSAT | 11.76 | |
| stmt31_190_227 | UNSAT | 12.57 | |
| stmt46_111_238 | UNSAT | 13.13 | |
| stmt44_40_387 | UNSAT | 20.52 | |
| stmt19_133_217 | UNSAT | 21.08 | |
| stmt47_340_389 | UNSAT | 29.06 | |
| stmt21_70_369 | UNSAT | 29.11 | |
| stmt19_302_352 | SAT | 30.49 | |
| stmt21_84_364 | UNSAT | 30.9 | |
| stmt21_71_354 | UNSAT | 35.32 | |
| stmt46_289_388 | UNSAT | 46.65 | |
| stmt85_300_399 | SAT | 48.9 | |
| stmt19_90_408 | UNSAT | 51.17 | |
| stmt53_296_346 | UNSAT | 52.93 | |
| stmt41_286_385 | UNSAT | 55.05 | |
| stmt31_276_328 | UNSAT | 55.65 | |
| stmt19_66_214 | UNSAT | 57.69 | |
| stmt19_3_401 | UNSAT | 87.39 | |
| stmt27_16_224 | UNSAT | 92.14 | |
| stmt21_143_403 | UNSAT | 101.28 | |
| stmt47_290_340 | UNSAT | 113.98 | |
| stmt31_22_328 | UNSAT | 122.67 | |
| stmt41_336_385 | UNSAT | 310.44 | |
| stmt19_352_359 | UNSAT | 528.4 | |
| stmt22_6_414 | UNSAT | 552.47 | |
| stmt21_71_413 | UNSAT | 646.34 | |
| stmt50_343_392 | UNSAT | 709.64 | |
| stmt29_275_376 | FAIL | 900 | |
| stmt52_295_394 | FAIL | 900 |