Sota solver details
QBFEVAL'06

Instance: ncf_4_16_8_u.10
Best Solver: qube4.0 Time: 0.9 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube5.0 0.93 WalkQSAT 5.45 sSolve 11.46
- - ssolve-ut 4.42 - - ssolve+ut 17.06
qube4.0(0.9)
qube5.0(0.93)
ssolve-ut(4.42)
WalkQSAT(5.45)
sSolve(11.46)
ssolve+ut(17.06)
2clsQ(374.66)