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

InstanceResultTime
amba2f9n.unsatUNSAT26.95
amba2f9n.satFAIL900
amba4b9y.satFAIL900
amba4b9y.unsatFAIL900