QBF Solver Evaluation Portal
qbflib.orgUnique instances for aqua-f3v
QBFEVAL'16 - Random QBFs Track.
| Instance | Time | Result |
|---|---|---|
| ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.asp | 22.47 | UNSAT |
| Instance | Time | Result |
|---|---|---|
| ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.asp | 22.47 | UNSAT |