Sota solver details
QBFEVAL'06

Instance: ncf_16_32_4_euad.2
Best Solver: WalkQSAT Time: 0.19 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - ssolve-ut 4.65
- - - - - - sSolve 11.71
- - - - - - ssolve+ut 12.71
WalkQSAT(0.19)
ssolve-ut(4.65)
sSolve(11.71)
ssolve+ut(12.71)