QBF Solver Evaluation Portal
qbflib.orgSota solver results for family VonNeumann
QBFEVAL'17 - Prenex non-CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| vonNeumann-ripple-carry-12-c | cqesto | UNSAT | 13.63 |  |
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| vonNeumann-ripple-carry-12-c | cqesto | UNSAT | 13.63 | |