QBF Solver Evaluation Portal
qbflib.orgInstances of family k_path_n solved by skizzo_v0.5
QBFEVAL'05
| Instance | Result | Time | |
|---|---|---|---|
| k_path_n-4 | SAT | 0.25 | |
| k_path_n-12 | SAT | 9.78 | |
| k_path_n-21 | SAT | 11.31 | |
| k_path_n-20 | SAT | 14.12 | |
| k_path_n-16 | SAT | 14.81 | |
| k_path_n-8 | FAIL | 790.48 |