Sota solver details
QBFEVAL'06

Instance: ncf_4_16_8_u.1
Best Solver: qube4.0 Time: 28.14 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube5.0 28.52 - - ssolve+ut 373.73
- - - - - - ssolve-ut 387.9
- - - - - - sSolve 393.7
qube4.0(28.14)
qube5.0(28.52)
ssolve+ut(373.73)
ssolve-ut(387.9)
sSolve(393.7)