QBF Solver Evaluation Portal
qbflib.orgUnique instances for depqbf_pre_QxQBH
Prenex CNF Track
| Instance | Time | Result |
|---|---|---|
| ken.flash^05.C-d3 | 642.42 | UNSAT |
| ken.flash^08.C-d4 | 449.21 | UNSAT |
| beemskbn1f1_c0to7.sat | 8.35 | SAT |
| Instance | Time | Result |
|---|---|---|
| ken.flash^05.C-d3 | 642.42 | UNSAT |
| ken.flash^08.C-d4 | 449.21 | UNSAT |
| beemskbn1f1_c0to7.sat | 8.35 | SAT |