Sota solver details
QBFEVAL'06

Instance: ncf_4_16_2_d.1
Best Solver: qube5.0 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.07 ssolve+ut 0.26 - -
- - qube3.0 0.08 sSolve 0.32 - -
- - WalkQSAT 0.08 sKizzo-0.9-grn 0.44 - -
- - - - sKizzo-0.9-abs 0.46 - -
- - - - sKizzo-0.9-std 0.47 - -
qube5.0(0.05)
qube4.0(0.07)
qube3.0(0.08)
WalkQSAT(0.08)
ssolve+ut(0.26)
sSolve(0.32)
sKizzo-0.9-grn(0.44)
sKizzo-0.9-abs(0.46)
sKizzo-0.9-std(0.47)
ssolve-ut(7)
2clsQ(33.29)
openQbf(50.19)
Qbfl(118.42)
SQBF(231.17)