Sota solver results for family mqm
QBFEVAL'17 - Prenex non-CNF Track


InstanceSolverResultTime
Core1108_tbm_02.tex.moduleQ3.2S.000015cqestoUNSAT0.05
Umbrella_tbm_05.tex.module.000039QuAbS_2017SAT469.89