QBF Solver Evaluation Portal
qbflib.orgInstances of family k_path_p solved by ncQuBE1.0
QBFEVAL'07
| Instance | Result | Time | |
|---|---|---|---|
| k_path_p-8 | UNSAT | 175.14 | |
| k_path_p-20 | FAIL | 346.8 | |
| k_path_p-12 | FAIL | 425.25 | |
| k_path_p-21 | FAIL | 442.26 | |
| k_path_p-16 | FAIL | 600 |
| Instance | Result | Time | |
|---|---|---|---|
| k_path_p-8 | UNSAT | 175.14 | |
| k_path_p-20 | FAIL | 346.8 | |
| k_path_p-12 | FAIL | 425.25 | |
| k_path_p-21 | FAIL | 442.26 | |
| k_path_p-16 | FAIL | 600 |