QBF Solver Evaluation Portal
qbflib.orgUnique instances for depqbf_pre_QxQBH
QBFEVAL'19 - Prenex CNF Track
| Instance | Time | Result |
|---|---|---|
| ken.flash^05.C-d3 | 641.3 | UNSAT |
| ken.flash^08.C-d4 | 436.32 | UNSAT |
| ttt_5x5-shape-1-GTTT-1-2-torus-1 | 148.77 | SAT |
| ttt_5x5-shape-1-GTTT-2-2-torus-0 | 260.79 | SAT |