Instances of family hwmcc solved by Cqesto_2018
QBFEVAL'18 - Prenex non-CNF Track

InstanceResultTime
6s318r_c0to15.unsatUNSAT0
beemldelec4b1_c0to15.unsatUNSAT0.65
oski3ub1i_c0to63.unsatUNSAT0.91
beemldelec4b1_c0to15.satFAIL900.01
oski3ub1i_c0to63.satFAIL900.05
6s318r_c0to31.satFAIL900.07