QBF Solver Evaluation Portal
qbflib.orgUnique instances for Qute_default
Prenex non-CNF Track
| Instance | Time | Result |
|---|---|---|
| ci.e#1.a#3.E#40.A#60.c#400.w#2.s#4.asp | 92.92 | UNSAT |
| ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.asp | 1.97 | UNSAT |
| add20y.sat | 636.38 | SAT |