Instances of family mult-matrix solved by ijtihad
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
mult_bool_matrix_10_9_11.satSAT0
mult_bool_matrix_17_17_17.unsatFAIL900
mult_bool_matrix_10_9_11.unsatFAIL900.01
mult_bool_matrix_17_17_17.satFAIL900.08