QBF Solver Evaluation Portal
qbflib.orgUnique instances for CADET_2017
QBFEVAL'18 - Prenex 2QBF Track
| Instance | Time | Result |
|---|---|---|
| AR-fixpoint-2 | 3.93 | UNSAT |
| AR-fixpoint-4 | 12.27 | UNSAT |
| AR-fixpoint-6 | 19.83 | UNSAT |
| AR-fixpoint-10 | 38.78 | UNSAT |
| AR-fixpoint-8 | 32.28 | UNSAT |