QBF Solver Evaluation Portal
qbflib.orgUnique instances for openQbf
QBFEVAL'05
| Instance | Time | Result |
|---|---|---|
| ncf_8_32_2_euad.7 | 361.85 | UNSAT |
| ncf_16_32_8_edau.2 | 819.14 | UNSAT |
| Instance | Time | Result |
|---|---|---|
| ncf_8_32_2_euad.7 | 361.85 | UNSAT |
| ncf_16_32_8_edau.2 | 819.14 | UNSAT |