Sota solver details
QBFEVAL'06

Instance: ncf_8_16_8_edau.5
Best Solver: qube4.0 Time: 11.42 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube5.0 11.66 ssolve-ut 83.71 semprop 370.29
- - - - sSolve 90.12 - -
- - - - ssolve+ut 91.43 - -
qube4.0(11.42)
qube5.0(11.66)
ssolve-ut(83.71)
sSolve(90.12)
ssolve+ut(91.43)
semprop(370.29)