Instances of family VonNeumann solved by hiqqer1
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
vonNeumann-ripple-carry-5-cUNSAT0.12
vonNeumann-ripple-carry-6-cUNSAT0.19
vonNeumann-ripple-carry-7-cUNSAT0.32
vonNeumann-ripple-carry-8-cUNSAT0.5
vonNeumann-ripple-carry-9-cUNSAT0.78
vonNeumann-ripple-carry-10-cUNSAT1.13
vonNeumann-ripple-carry-11-cUNSAT1.59
vonNeumann-ripple-carry-12-cUNSAT2.21
vonNeumann-ripple-carry-13-cUNSAT2.98
vonNeumann-ripple-carry-15-cUNSAT5.16