Sota solver details
QBFEVAL'06

Instance: ncf_16_32_8_d.7
Best Solver: WalkQSAT Time: 0.55 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
WalkQSAT(0.55)
sSolve(2506.5)
ssolve+ut(2509.26)