Sota solver results for family amba
Prenex CNF Track


InstanceSolverResultTime
amba2c7n.satCaqe-bloqqer-qdoSAT10.96
amba2f9n.satCaqe-hqspreSAT33.17
amba3b5y.satRareqs_2018SAT180.9
amba4b9y.unsatRareqs_2018UNSAT138.48