Sota solver details
QBFEVAL'06

Instance: ncf_8_16_4_edau.9
Best Solver: qube5.0 Time: 0.5 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube4.0 0.51 - - openQbf 26.63
- - sSolve 1.23 - - semprop 36.26
- - ssolve+ut 1.84 - - - -
qube5.0(0.5)
qube4.0(0.51)
sSolve(1.23)
ssolve+ut(1.84)
openQbf(26.63)
semprop(36.26)
ssolve-ut(147.97)
qube3.0(854.11)
2clsQ(1764.55)
sKizzo-0.9-std(2146.97)
sKizzo-0.9-abs(3082.76)