Sota solver details
QBFEVAL'06

Instance: ncf_16_32_4_euad.5
Best Solver: WalkQSAT Time: 0.05 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ssolve+ut 0.23 sSolve 0.27 yQuaffle 0.62
WalkQSAT(0.05)
ssolve+ut(0.23)
sSolve(0.27)
yQuaffle(0.62)
openQbf(7.2)
qube4.0(88.3)
qube5.0(89.22)
qube3.0(93.13)
ssolve-ut(125.9)