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

InstanceResultTime
vonNeumann-ripple-carry-12-cUNSAT383.1