QBF Solver Evaluation Portal
qbflib.orgInstances of family k_path_n solved by iprover-QBF
QBFEVAL'16 - Prenex CNF Track.
| Instance | Result | Time | |
|---|---|---|---|
| k_path_n-3 | SAT | 2.22 | |
| k_path_n-6 | SAT | 11.27 | |
| k_path_n-4 | SAT | 14.49 | |
| k_path_n-5 | SAT | 20.73 | |
| k_path_n-9 | FAIL | 247.35 | |
| k_path_n-12 | FAIL | 259.76 | |
| k_path_n-13 | FAIL | 269.44 | |
| k_path_n-14 | FAIL | 277.44 | |
| k_path_n-16 | FAIL | 303.3 | |
| k_path_n-19 | FAIL | 395.1 |