Instances of family VonNeumann solved by AQME-1NN
QBFEVAL'08

InstanceResultTime
vonNeumann-ripple-carry-5-cUNSAT3.34
vonNeumann-ripple-carry-6-cUNSAT4.34
vonNeumann-ripple-carry-7-cUNSAT6.26
vonNeumann-ripple-carry-8-cUNSAT8.33
vonNeumann-ripple-carry-9-cUNSAT12.43
vonNeumann-ripple-carry-10-cUNSAT20.51
vonNeumann-ripple-carry-11-cUNSAT23.41
vonNeumann-ripple-carry-12-cUNSAT29.14
vonNeumann-ripple-carry-13-cUNSAT45.71
vonNeumann-ripple-carry-15-cFAIL169.31