Instances of family amba solved by caqe-pre
Prenex CNF Track

InstanceResultTime
amba2c7n.satSAT12.47
amba2f9n.satSAT33.31
amba4b9y.unsatUNSAT585.17
amba3b5y.satSAT624.01