QBF Solver Evaluation Portal
qbflib.orgSota solver results for family hwmcc
QBFEVAL'17 - Prenex non-CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| beemldelec4b1_c0to127.unsat | cqesto | UNSAT | 1.3 |  |
| oski3ub5i_c0to255.unsat | cqesto | UNSAT | 0.84 | |