QBF Solver Evaluation Portal
qbflib.orgInstances of family k_t4p_p solved by aigqbf_s
QBFEVAL'07
| Instance | Result | Time | |
|---|---|---|---|
| k_t4p_p-4 | UNSAT | 4.43 | |
| k_t4p_p-8 | UNSAT | 9.38 | |
| k_t4p_p-12 | UNSAT | 16.03 | |
| k_t4p_p-16 | UNSAT | 23.42 | |
| k_t4p_p-20 | UNSAT | 34.39 | |
| k_t4p_p-21 | UNSAT | 37.42 |