QBF Solver Evaluation Portal
qbflib.orgSota solver results for family k_ph_n
Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| k_ph_n-11 | Qute_default | SAT | 0 |  |
| k_ph_n-15 | Rareqs_2018 | SAT | 0 | |
| k_ph_n-18 | nanoqbf_hqspre | SAT | 2.89 | |
| k_ph_n-19 | nanoqbf_hqspre | SAT | 4.04 | |
| k_ph_n-20 | nanoqbf_hqspre | SAT | 5.58 | |