QBF Solver Evaluation Portal
qbflib.orgUnique instances for Rareqs_2018
Crafted Instances Track
| Instance | Time | Result |
|---|---|---|
| ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.asp | 222.98 | SAT |
| Instance | Time | Result |
|---|---|---|
| ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.asp | 222.98 | SAT |