Instances of family VonNeumann solved by aqme-10
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
vonNeumann-ripple-carry-5-cUNSAT0.98
vonNeumann-ripple-carry-6-cUNSAT1.26
vonNeumann-ripple-carry-7-cUNSAT1.49
vonNeumann-ripple-carry-8-cUNSAT1.97
vonNeumann-ripple-carry-9-cUNSAT2.97
vonNeumann-ripple-carry-10-cUNSAT3.69
vonNeumann-ripple-carry-11-cUNSAT5.2
vonNeumann-ripple-carry-12-cUNSAT6
vonNeumann-ripple-carry-13-cUNSAT8.52
vonNeumann-ripple-carry-15-cUNSAT13.51