Sota solver details
QBFEVAL'05

Instance: ncf_4_16_4_euad.3
Best Solver: WalkQSAT Time: 11.61 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - semprop 90.09 sSolve 310.49
WalkQSAT(11.61)
semprop(90.09)
sSolve(310.49)