Instances of family amba solved by PortfolioGhostQQfunQuAbSQute___pf2
QBFEVAL'19 - Prenex non-CNF Track

InstanceResultTime
amba2b9y.unsatFAIL7.04
amba3f9n.satFAIL7.07
amba2f9n.satFAIL7.08
amba7c5y.unsatFAIL7.1
amba2f9n.unsatFAIL7.15