Instances of family mult-matrix solved by <a href='solver_detail.php?solver=350'>depqbf_hit18</a> <br> QBFEVAL'18

Instance	Result	Time
mult_bool_matrix_dyn_7_7.sat	FAIL	3600

QBF Solver Evaluation Portal