QBF Solver Evaluation Portal
qbflib.orgSota solver results for family Chain
QBFEVAL'07
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| CHAIN22v.23 | QUANTOR_2.15 | SAT | 0.06 |  |
| CHAIN23v.24 | QUANTOR_2.15 | SAT | 0.07 | |
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| CHAIN22v.23 | QUANTOR_2.15 | SAT | 0.06 | |
| CHAIN23v.24 | QUANTOR_2.15 | SAT | 0.07 | |