Instances of family amba solved by caqe_2017_v3
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
amba2c7n.satSAT29.38
amba3b5y.satFAIL900
amba4c7n.satFAIL900
amba5b5n.satFAIL900