Instances of family amba solved by GhostQ-PG_plain
QBFEVAL'18 - Prenex 2QBF Track

InstanceResultTime
amba2f9n.satFAIL900.03
amba3b5y.satFAIL900.03
amba2c7n.satFAIL900.11