Sota solver details
QBFEVAL'06

Instance: ncf_4_8_8_edau.2
Best Solver: qube4.0 Time: 0.13 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube5.0 0.15 - - qube3.0 3.51
- - - - - - ssolve-ut 5.56
- - - - - - sSolve 12.45
qube4.0(0.13)
qube5.0(0.15)
qube3.0(3.51)
ssolve-ut(5.56)
sSolve(12.45)
ssolve+ut(13.58)
2clsQ(63.04)
sKizzo-0.9-abs(121.14)
sKizzo-0.9-grn(140.08)
sKizzo-0.9-std(151.45)
semprop(163.47)
openQbf(363.29)