Sota solver details
QBFEVAL'06

Instance: ncf_4_16_8_euad.1
Best Solver: qube4.0 Time: 911.38 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube5.0 922.72 ssolve-ut 4690.83 - -
- - - - sSolve 4696.35 - -
- - - - ssolve+ut 5048.1 - -
qube4.0(911.38)
qube5.0(922.72)
ssolve-ut(4690.83)
sSolve(4696.35)
ssolve+ut(5048.1)