Sota solver details
QBFEVAL'06

Instance: ncf_4_16_8_u.8
Best Solver: WalkQSAT Time: 57.44 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - ssolve-ut 2123.66
- - - - - - sSolve 2124.96
- - - - - - ssolve+ut 2137.8
- - - - - - 2clsQ 2669.77
WalkQSAT(57.44)
ssolve-ut(2123.66)
sSolve(2124.96)
ssolve+ut(2137.8)
2clsQ(2669.77)