QBF Solver Evaluation Portal
qbflib.orgSota solver results for family mult-matrix
QBFEVAL'18 - Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| mult_bool_matrix_10_9_11.sat | Caqe-bloqqer | SAT | 0 |  |
| mult_bool_matrix_17_17_17.sat | Caqe-hqspre | SAT | 1.82 | |