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

InstanceResultTime
vonNeumann-ripple-carry-12-cUNSAT22.92