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

InstanceResultTime
amba2c7n.satFAIL900
amba3b5y.satFAIL900
amba4c7n.satFAIL900
amba5b5n.satFAIL900