QBF Solver Evaluation Portal
qbflib.orgInstances of family k_path_n solved by Qbfl
QBFEVAL'06
| Instance | Result | Time | |
|---|---|---|---|
| k_path_n-8 | FAIL | 595.77 | |
| k_path_n-12 | FAIL | 596.35 | |
| k_path_n-16 | FAIL | 596.75 | |
| k_path_n-20 | FAIL | 597.27 | |
| k_path_n-21 | FAIL | 597.38 |
| Instance | Result | Time | |
|---|---|---|---|
| k_path_n-8 | FAIL | 595.77 | |
| k_path_n-12 | FAIL | 596.35 | |
| k_path_n-16 | FAIL | 596.75 | |
| k_path_n-20 | FAIL | 597.27 | |
| k_path_n-21 | FAIL | 597.38 |