Instances of family VonNeumann solved by QSAT
QBFEVAL'04

InstanceResultTime
vonNeumann-ripple-carry-5-cUNSAT2.45
vonNeumann-ripple-carry-7-cUNSAT55.03
vonNeumann-ripple-carry-9-cUNSAT396.14
vonNeumann-ripple-carry-10-cUNSAT882.62
vonNeumann-ripple-carry-11-cFAIL901
vonNeumann-ripple-carry-13-cFAIL901.01
vonNeumann-ripple-carry-14-cFAIL901.01
vonNeumann-ripple-carry-12-cFAIL901.01