Sota solver results for family mult-matrix
QBFEVAL'19 - Prenex non-CNF Track


InstanceSolverResultTime
mult_bool_matrix_2_3_2.satQute_defaultSAT0
mult_bool_matrix_8_10_6.satquabs___caqe-hqspreSAT0
mult_bool_matrix_dyn_3_2.satQute_defaultSAT0