Instances of family hwmcc solved by Qute_rrs
Prenex CNF Track

InstanceResultTime
beemldelec4b1_c0to127.satSAT187.93
beemskbn1f1_c0to7.satFAIL900