Sota solver results for family mult-matrix
QBFEVAL'17 - Prenex 2QBF Track


InstanceSolverResultTime
mult_bool_matrix_12_13_11.satqestoSAT0.62
mult_bool_matrix_18_18_18.satcaqe_2017_v1SAT3.36
mult_bool_matrix_dyn_9_5.satrareqsSAT0.18