Sota solver details
QBFEVAL'06

Instance: ncf_4_16_2_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
- - - - qube4.0 0.34 sKizzo-0.9-grn 2.44
- - - - qube5.0 0.37 openQbf 4.36
- - - - - - ssolve-ut 4.63
WalkQSAT(0.05)
qube4.0(0.34)
qube5.0(0.37)
sKizzo-0.9-grn(2.44)
openQbf(4.36)
ssolve-ut(4.63)
sKizzo-0.9-abs(6.09)
sSolve(6.23)
ssolve+ut(6.25)
sKizzo-0.9-std(6.48)
qube3.0(12.69)
Qbfl(17.74)
2clsQ(39.04)
SQBF(380.61)