Sota solver details
QBFEVAL'06

Instance: ncf_4_16_8_u.6
Best Solver: ssolve-ut Time: 173.98 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sSolve 176.9 - - - -
- - ssolve+ut 180.21 - - - -
- - qube5.0 599.66 - - - -
- - qube4.0 600.6 - - - -
ssolve-ut(173.98)
sSolve(176.9)
ssolve+ut(180.21)
qube5.0(599.66)
qube4.0(600.6)