Instances of family VonNeumann solved by semprop
QBFEVAL'04

InstanceResultTime
vonNeumann-ripple-carry-5-cUNSAT0.13
vonNeumann-ripple-carry-7-cUNSAT0.65
vonNeumann-ripple-carry-9-cUNSAT1.92
vonNeumann-ripple-carry-10-cUNSAT2.8
vonNeumann-ripple-carry-11-cUNSAT4.36
vonNeumann-ripple-carry-12-cUNSAT5.75
vonNeumann-ripple-carry-13-cUNSAT8.18
vonNeumann-ripple-carry-14-cUNSAT11