Sota solver details
QBFEVAL'05

Instance: ncf_8_16_4_u.9
Best Solver: WalkQSAT Time: 41.55 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - semprop 242.26 sSolve 721.42
WalkQSAT(41.55)
semprop(242.26)
sSolve(721.42)