Sota solver details
QBFEVAL'06

Instance: eijk.S208o.S-f2
Best Solver: ssolve-ut Time: 14.5 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sSolve 20.4 - - semprop 398.6
- - ssolve+ut 22.39 - - qube5.0 474.28
- - - - - - sKizzo-0.9-grn 694.29
ssolve-ut(14.5)
sSolve(20.4)
ssolve+ut(22.39)
semprop(398.6)
qube5.0(474.28)
sKizzo-0.9-grn(694.29)
preQuantor(1921.33)
sKizzo-0.9-abs(2336.32)
sKizzo-0.9-std(2470.27)
QUANTOR(3217.11)