QBF Solver Evaluation Portal
qbflib.orgSota solver results for family k_lin_n
QBFEVAL'07
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| k_lin_n-16 | AQME-1NN | SAT | 2.95 |  |
| k_lin_n-20 | AQME-1NN | SAT | 5.18 | |
| k_lin_n-21 | AQME-1NN | SAT | 6.01 | |
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| k_lin_n-16 | AQME-1NN | SAT | 2.95 | |
| k_lin_n-20 | AQME-1NN | SAT | 5.18 | |
| k_lin_n-21 | AQME-1NN | SAT | 6.01 | |