QBF Solver Evaluation Portal
qbflib.orgSota solver results for family mult-matrix
QBFEVAL'18 - Prenex non-CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| mult_bool_matrix_2_3_30.sat | quabs___caqe-bloqqer | SAT | 0 |  |
| mult_bool_matrix_4_5_5.sat | quabs___caqe-bloqqer | SAT | 0 | |