Instances of family mult-matrix solved by caqe_2017_v1
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
mult_bool_matrix_dyn_9_5.satSAT0.23
mult_bool_matrix_12_13_11.satSAT0.63
mult_bool_matrix_18_18_18.satSAT3.36
mult_bool_matrix_dyn_7_7.satFAIL900