QBF Solver Evaluation Portal
qbflib.orgUnique instances for Rareqs_2018
QBFEVAL'18 - Prenex CNF Track
| Instance | Time | Result |
|---|---|---|
| ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.asp | 224.69 | SAT |
| ActivityService2 | 320.88 | UNSAT |
| IterationService | 352.93 | UNSAT |
| ActivityService | 319.45 | UNSAT |
| PhaseService | 353.7 | UNSAT |