Sota solver details
QBFEVAL'05

Instance: vonNeumann-ripple-carry-10-c
Best Solver: QbflHR Time: 0.41 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sSolve 1.3 yQuaffle 2.38 qbfbdd 7.92
- - skizzo_v0.4 1.44 semprop 2.6 - -
- - skizzo_v0.5 1.44 openQbf 2.65 - -
- - QUANTOR 1.51 - - - -
- - GRL 1.68 - - - -
QbflHR(0.41)
sSolve(1.3)
skizzo_v0.4(1.44)
skizzo_v0.5(1.44)
QUANTOR(1.51)
GRL(1.68)
yQuaffle(2.38)
semprop(2.6)
openQbf(2.65)
qbfbdd(7.92)