Sota solver results for family VonNeumann
QBFEVAL'10 - Competitive Track.


InstanceSolverResultTime
vonNeumann-ripple-carry-13-cqmaigaUNSAT1.7
vonNeumann-ripple-carry-15-cstruqs-10UNSAT4.22