Instances of family mult-matrix solved by quabs___caqe-bloqqer
QBFEVAL'18 - Prenex non-CNF Track

InstanceResultTime
mult_bool_matrix_4_5_5.satSAT0
mult_bool_matrix_2_3_30.satSAT0
mult_bool_matrix_2_3_30.unsatFAIL900.01
mult_bool_matrix_4_5_5.unsatFAIL900.04