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

InstanceResultTime
vonNeumann-ripple-carry-12-cUNSAT611.26