QBF Solver Evaluation Portal
qbflib.orgUnique instances for Rareqs_2018
Prenex CNF Track
| Instance | Time | Result |
|---|---|---|
| IterationService | 316.83 | UNSAT |
| PhaseService | 319.27 | UNSAT |
| Instance | Time | Result |
|---|---|---|
| IterationService | 316.83 | UNSAT |
| PhaseService | 319.27 | UNSAT |