Instances of family amba solved by GhostQ-PG_plain
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
amba2f9n.unsatUNSAT372.93
amba2f9n.satFAIL900
amba4b9y.satFAIL900
amba4b9y.unsatFAIL900