Sota solver details
QBFEVAL'05

Instance: vonNeumann-ripple-carry-9-c
Best Solver: QbflHR Time: 0.27 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sSolve 0.87 yQuaffle 1.62 qbfbdd 3.81
- - skizzo_v0.4 0.95 semprop 1.82 - -
- - QUANTOR 0.97 openQbf 1.98 - -
- - skizzo_v0.5 0.97 - - - -
- - GRL 1.16 - - - -
QbflHR(0.27)
sSolve(0.87)
skizzo_v0.4(0.95)
QUANTOR(0.97)
skizzo_v0.5(0.97)
GRL(1.16)
yQuaffle(1.62)
semprop(1.82)
openQbf(1.98)
qbfbdd(3.81)