Sota solver details
QBFEVAL'05

Instance: ncf_4_16_8_edau.4
Best Solver: WalkQSAT Time: 110.5 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - semprop 160.3 - - - -
- - sSolve 457.04 - - - -
WalkQSAT(110.5)
semprop(160.3)
sSolve(457.04)