Instances of family VonNeumann solved by cqesto
QBFEVAL'17 - Prenex non-CNF Track

InstanceResultTime
vonNeumann-ripple-carry-12-cUNSAT13.63