Instances of family VonNeumann solved by qfun0.1
QBFEVAL'17 - Prenex non-CNF Track

InstanceResultTime
vonNeumann-ripple-carry-12-cUNSAT247.06