Sota solver details
QBFEVAL'06

Instance: ncf_8_16_8_d.6
Best Solver: WalkQSAT Time: 0.04 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ssolve+ut 0.12 sSolve 0.2 openQbf 0.43
- - qube4.0 0.16 yQuaffle 0.37 - -
- - qube5.0 0.19 - - - -
WalkQSAT(0.04)
ssolve+ut(0.12)
qube4.0(0.16)
qube5.0(0.19)
sSolve(0.2)
yQuaffle(0.37)
openQbf(0.43)
qube3.0(5.25)
ssolve-ut(5.49)
semprop(125.67)
sKizzo-0.9-grn(2540.4)
sKizzo-0.9-abs(5279.67)
sKizzo-0.9-std(5313.89)