QBF Solver Evaluation Portal
qbflib.orgSota solver results for family mult-matrix
QBFEVAL'17 - Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| mult_bool_matrix_10_9_11.sat | qesto | SAT | 0.25 |  |
| mult_bool_matrix_10_9_11.unsat | AIGSolve | UNSAT | 18.3 | |
| mult_bool_matrix_17_17_17.sat | HQSpre_solver | SAT | 2.42 | |
| mult_bool_matrix_17_17_17.unsat | AIGSolve | UNSAT | 20.5 | |