Instances of family amba solved by iprover_bloqqer_single
Prenex CNF Track

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