Instances of family amba solved by nanoqbf_bloqqer
Prenex CNF Track

InstanceResultTime
amba3b5y.satFAIL900
amba2f9n.satFAIL900
amba4b9y.unsatFAIL900
amba2c7n.satFAIL900