Sota solver results for family hwmcc
QBFEVAL'18 - Prenex non-CNF Track


InstanceSolverResultTime
6s318r_c0to15.unsatQute_hybridUNSAT0
6s318r_c0to31.satquabs___caqe-bloqqerSAT0.01
beemldelec4b1_c0to15.satquabs___caqe-hqspreSAT200.17
beemldelec4b1_c0to15.unsatQFUNUNSAT0
oski3ub1i_c0to63.unsatQFUNUNSAT0