Instances of family mult-matrix solved by caqe_2017_v2
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
mult_bool_matrix_10_9_11.satSAT3.5
mult_bool_matrix_17_17_17.satSAT64.22
mult_bool_matrix_10_9_11.unsatFAIL900
mult_bool_matrix_17_17_17.unsatFAIL900