Sota solver details
QBFEVAL'06

Instance: ncf_4_16_2_edau.8
Best Solver: qube4.0 Time: 0.11 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube5.0 0.12 qube3.0 1.03 sSolve 1.68
- - sKizzo-0.9-abs 0.47 ssolve-ut 1.06 ssolve+ut 1.72
- - sKizzo-0.9-std 0.5 - - WalkQSAT 7.69
- - semprop 0.54 - - - -
qube4.0(0.11)
qube5.0(0.12)
sKizzo-0.9-abs(0.47)
sKizzo-0.9-std(0.5)
semprop(0.54)
qube3.0(1.03)
ssolve-ut(1.06)
sSolve(1.68)
ssolve+ut(1.72)
WalkQSAT(7.69)
2clsQ(152.89)
SQBF(173.25)
openQbf(187.05)
Qbfl(250.51)
preQuantor(341.2)