QBF Solver Evaluation Portal
qbflib.orgUnique instances for CMS_Solver
QBFEVAL'08 - non-prenex non-cnf track.
| Instance | Time | Result |
|---|---|---|
| ring6_16-bin | 3.23 | UNSAT |
| ring5_16-bin | 0.18 | UNSAT |
| ring6_32-bin | 3.53 | UNSAT |
| ring6_64-bin | 4.61 | UNSAT |
| ring5_32-bin | 0.44 | UNSAT |
| ring6_8-bin | 2.6 | SAT |
| ring6_65-bin | 4.65 | UNSAT |
| ring5_33-bin | 0.46 | UNSAT |
| ring5_8-bin | 0.1 | UNSAT |
| ring4_8-bin | 0.05 | UNSAT |
| ring4_7-bin | 0.04 | UNSAT |