Sota solver details
QBFEVAL'06

Instance: ncf_4_32_2_edau.3
Best Solver: ssolve+ut Time: 0.18 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sSolve 0.2 - - qube4.0 2.84
- - - - - - qube5.0 2.86
ssolve+ut(0.18)
sSolve(0.2)
qube4.0(2.84)
qube5.0(2.86)
sKizzo-0.9-abs(405.09)
sKizzo-0.9-std(407.11)
sKizzo-0.9-grn(2051.55)