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

InstanceResultTime
amba2f9n.unsatUNSAT465.94
amba2f9n.satFAIL900
amba4b9y.satFAIL900
amba4b9y.unsatFAIL900