QBF Solver Evaluation Portal
qbflib.orgUnique instances for Qute_hybrid
QBFEVAL'17 - Prenex non-CNF Track
| Instance | Time | Result |
|---|---|---|
| C6288.blif_0.10_0.20_0_1_out_exact | 196.18 | SAT |
| assertion10_0_9 | 522.57 | SAT |
| assertion9_0_3 | 154.87 | SAT |
| ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.asp | 20.27 | UNSAT |