QBF Solver Evaluation Portal
qbflib.orgUnique instances for qpro
QBFEVAL'08 - non-prenex non-cnf track.
| Instance | Time | Result |
|---|---|---|
| dme1_5-bin | 1.53 | SAT |
| dmeSmall_8-bin | 20.19 | SAT |
| dme1_8-bin | 394.62 | SAT |
| dme1_7-bin | 36.89 | SAT |
| assertion11_0_1-bin | 0.7 | UNSAT |
| assertion5_0_1-bin | 0.74 | UNSAT |
| possibility5_0_1-bin | 5.05 | UNSAT |
| possibility5_0_2-bin | 151.92 | UNSAT |
| possibility6_0_1-bin | 0.72 | UNSAT |
| assertion12_0_1-bin | 0.71 | UNSAT |