Sota solver details
QBFEVAL'06

Instance: ncf_16_32_8_u.3
Best Solver: ssolve-ut Time: 2.16 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sSolve 9.09 WalkQSAT 17.39 semprop 78.66
- - ssolve+ut 10.65 - - qube4.0 188.35
- - - - - - qube5.0 191.03
ssolve-ut(2.16)
sSolve(9.09)
ssolve+ut(10.65)
WalkQSAT(17.39)
semprop(78.66)
qube4.0(188.35)
qube5.0(191.03)
qube3.0(285.06)