QBF Solver Evaluation Portal
qbflib.orgSota solver results for family k_d4_n
QBFEVAL'07
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| k_d4_n-12 | preQuel_sKizzo-0.10 | SAT | 1.05 |  |
| k_d4_n-16 | preQuel_sKizzo-0.10 | SAT | 1.73 | |
| k_d4_n-20 | preQuel_sKizzo-0.10 | SAT | 2.46 | |
| k_d4_n-21 | preQuel_sKizzo-0.10 | SAT | 2.94 | |
| k_d4_n-8 | preQuel_sKizzo-0.10 | SAT | 0.54 | |