Discrepancies tables for VonNeumann
QBFEVAL'16 - Prenex CNF Track.


Instance # Sat # Unsat Minority Solver
vonNeumann-ripple-carry-10-c 1 21 squeezebf+struqs
vonNeumann-ripple-carry-11-c 1 21 squeezebf+struqs
vonNeumann-ripple-carry-12-c 1 19 squeezebf+struqs
vonNeumann-ripple-carry-13-c 1 19 squeezebf+struqs
vonNeumann-ripple-carry-15-c 1 19 squeezebf+struqs
vonNeumann-ripple-carry-5-c 1 22 squeezebf+struqs
vonNeumann-ripple-carry-6-c 1 22 squeezebf+struqs
vonNeumann-ripple-carry-7-c 1 22 squeezebf+struqs
vonNeumann-ripple-carry-8-c 1 22 squeezebf+struqs
vonNeumann-ripple-carry-9-c 1 21 squeezebf+struqs
Download table[csv, latex]