QBF Solver Evaluation Portal
qbflib.orgUnique instances for Qute_rrs
QBFEVAL'19 - Prenex CNF Track
| Instance | Time | Result |
|---|---|---|
| Q_2-3_v-80-100_r-11.9 | 83.26 | UNSAT |
| mult_bool_matrix_10_9_11.unsat | 9.19 | UNSAT |
| Instance | Time | Result |
|---|---|---|
| Q_2-3_v-80-100_r-11.9 | 83.26 | UNSAT |
| mult_bool_matrix_10_9_11.unsat | 9.19 | UNSAT |