Instances of family amba solved by ijtihad
QBFEVAL'18 - Prenex 2QBF Track

InstanceResultTime
amba2c7n.satSAT426.86
amba3b5y.satFAIL900.04
amba2f9n.satFAIL900.07