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

InstanceResultTime
amba2f9n.unsatUNSAT551.81
amba4b9y.satFAIL900
amba4b9y.unsatFAIL900
amba2f9n.satFAIL900