Instances of family VonNeumann solved by skizzo_v0.4
QBFEVAL'05

InstanceResultTime
vonNeumann-ripple-carry-5-cUNSAT0.13
vonNeumann-ripple-carry-6-cUNSAT0.27
vonNeumann-ripple-carry-7-cUNSAT0.43
vonNeumann-ripple-carry-8-cUNSAT0.77
vonNeumann-ripple-carry-9-cUNSAT0.95
vonNeumann-ripple-carry-10-cUNSAT1.44
vonNeumann-ripple-carry-11-cUNSAT2.41
vonNeumann-ripple-carry-12-cUNSAT3.39
vonNeumann-ripple-carry-13-cUNSAT4
vonNeumann-ripple-carry-15-cUNSAT8.1