Sota solver details
QBFEVAL'06

Instance: ncf_8_16_8_edau.6
Best Solver: WalkQSAT Time: 0.03 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - ssolve+ut 0.16 openQbf 0.54
- - - - qube4.0 0.17 yQuaffle 0.78
- - - - sSolve 0.17 ssolve-ut 1.02
- - - - qube5.0 0.2 semprop 1.56
WalkQSAT(0.03)
ssolve+ut(0.16)
qube4.0(0.17)
sSolve(0.17)
qube5.0(0.2)
openQbf(0.54)
yQuaffle(0.78)
ssolve-ut(1.02)
semprop(1.56)
preQuantor(3.54)
SQBF(3.62)
2clsQ(3.64)
qube3.0(6.77)
QUANTOR(7.7)
QUANTOR_hc(7.76)
sKizzo-0.9-abs(526.05)
sKizzo-0.9-std(532.26)
sKizzo-0.9-grn(4105.96)