Instances of family amba solved by quabs___caqe-bloqqer
QBFEVAL'18 - Prenex non-CNF Track

InstanceResultTime
amba2f9n.unsatUNSAT2.88
amba2f9n.satSAT61.03