Sota solver details
QBFEVAL'06

Instance: ncf_4_16_2_u.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.33 semprop 1.38
- - - - qube5.0 0.34 qube3.0 1.94
- - - - - - sKizzo-0.9-grn 2.33
- - - - - - ssolve-ut 2.38
- - - - - - ssolve+ut 2.95
- - - - - - sSolve 3.04
WalkQSAT(0.05)
qube4.0(0.33)
qube5.0(0.34)
semprop(1.38)
qube3.0(1.94)
sKizzo-0.9-grn(2.33)
ssolve-ut(2.38)
ssolve+ut(2.95)
sSolve(3.04)
sKizzo-0.9-abs(5.37)
sKizzo-0.9-std(5.48)
Qbfl(30.93)
openQbf(34.47)
2clsQ(35.68)
SQBF(440.08)