QBF Solver Evaluation Portal
qbflib.orgUnique instances for predyndep
QBFEVAL'18 - Prenex CNF Track
| Instance | Time | Result |
|---|---|---|
| k_ph_p-12 | 201.15 | UNSAT |
| ken.oop^2.C-d3 | 293.39 | UNSAT |
| intermediate128 | 12.69 | SAT |
| Instance | Time | Result |
|---|---|---|
| k_ph_p-12 | 201.15 | UNSAT |
| ken.oop^2.C-d3 | 293.39 | UNSAT |
| intermediate128 | 12.69 | SAT |