Sota solver results for family amba
QBFEVAL'19 - Prenex non-CNF Track


InstanceSolverResultTime
amba2b9y.unsatGhostQ___cegar_qcir_2019UNSAT16.38
amba2f9n.satquabs___caqe-hqspreSAT33.78
amba2f9n.unsatquabs___caqe-hqspreUNSAT20.98