Instances of family hwmcc solved by GhostQ___cegar_pcnf_2019
Prenex CNF Track

InstanceResultTime
beemldelec4b1_c0to127.satFAIL900
beemskbn1f1_c0to7.satFAIL900