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


InstanceSolverResultTime
amba2f9n.satQute_opt617SAT384.93
amba2f9n.unsatqfun0.1UNSAT15.21