QBF Solver Evaluation Portal
qbflib.orgSota solver results for family k_branch_p
QBFEVAL'08
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| k_branch_p-1 | quantor3.0 | UNSAT | 0 |  |
| k_branch_p-10 | AQME-1NN | UNSAT | 3.64 | |
| k_branch_p-11 | AQME-1NN | UNSAT | 35.39 | |
| k_branch_p-12 | AQME-1NN | UNSAT | 5.13 | |
| k_branch_p-13 | AQME-1NN | UNSAT | 9.26 | |
| k_branch_p-14 | AQME-1NN | UNSAT | 51.72 | |
| k_branch_p-15 | AQME-1NN | UNSAT | 62.83 | |
| k_branch_p-16 | AQME-1NN | UNSAT | 71.37 | |
| k_branch_p-2 | quantor3.0 | UNSAT | 0.03 | |
| k_branch_p-3 | QuBE6.1 | UNSAT | 0.09 | |
| k_branch_p-4 | QuBE6.1 | UNSAT | 0.62 | |
| k_branch_p-5 | AQME-1NN | UNSAT | 1.33 | |
| k_branch_p-6 | AQME-1NN | UNSAT | 41.3 | |
| k_branch_p-7 | AQME-1NN | UNSAT | 2.71 | |
| k_branch_p-8 | AQME-1NN | UNSAT | 3.14 | |
| k_branch_p-9 | AQME-1NN | UNSAT | 3.37 | |