Sota solver details
QBFEVAL'06

Instance: ncf_8_16_8_d.5
Best Solver: qube4.0 Time: 4 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube5.0 4.09 - - semprop 354.06
qube4.0(4)
qube5.0(4.09)
semprop(354.06)
ssolve-ut(2294)
sSolve(2304.2)
ssolve+ut(2305.83)