Sota solver details
QBFEVAL'05

Instance: vonNeumann-ripple-carry-15-c
Best Solver: QbflHR Time: 1.87 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sSolve 6.18 openQbf 9.59 qbfbdd 32.15
- - QUANTOR 6.87 yQuaffle 11.09 - -
- - skizzo_v0.5 7.96 semprop 13.35 - -
- - skizzo_v0.4 8.1 - - - -
- - GRL 8.4 - - - -
QbflHR(1.87)
sSolve(6.18)
QUANTOR(6.87)
skizzo_v0.5(7.96)
skizzo_v0.4(8.1)
GRL(8.4)
openQbf(9.59)
yQuaffle(11.09)
semprop(13.35)
qbfbdd(32.15)