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

InstanceResultTime
amba2f9n.unsatUNSAT3.69
amba4b9y.unsatUNSAT320.1
amba2f9n.satFAIL900
amba4b9y.satFAIL900