Sota solver results for family VonNeumann
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.


InstanceSolverResultTime
vonNeumann-ripple-carry-10-chiqqerforkUNSAT0.39
vonNeumann-ripple-carry-11-chiqqerforkUNSAT0.54
vonNeumann-ripple-carry-12-chiqqerforkUNSAT0.76
vonNeumann-ripple-carry-13-chiqqerforkUNSAT1.05
vonNeumann-ripple-carry-15-chiqqerforkUNSAT2.02
vonNeumann-ripple-carry-5-chiqqerforkUNSAT0.05
vonNeumann-ripple-carry-6-chiqqerforkUNSAT0.08
vonNeumann-ripple-carry-7-chiqqerforkUNSAT0.11
vonNeumann-ripple-carry-8-chiqqerforkUNSAT0.18
vonNeumann-ripple-carry-9-chiqqerforkUNSAT0.27