Sota solver details
QBFEVAL'06

Instance: ncf_4_16_4_d.3
Best Solver: qube4.0 Time: 5.27 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube5.0 5.28 - - sKizzo-0.9-abs 272.97
- - semprop 21.27 - - sKizzo-0.9-std 278.29
- - - - - - ssolve-ut 375.06
- - - - - - sSolve 381.55
- - - - - - 2clsQ 450.96
- - - - - - qube3.0 460.63
- - - - - - ssolve+ut 474.71
qube4.0(5.27)
qube5.0(5.28)
semprop(21.27)
sKizzo-0.9-abs(272.97)
sKizzo-0.9-std(278.29)
ssolve-ut(375.06)
sSolve(381.55)
2clsQ(450.96)
qube3.0(460.63)
ssolve+ut(474.71)