Sota solver details
QBFEVAL'06

Instance: ncf_8_16_4_edau.4
Best Solver: sKizzo-0.9-abs Time: 0.01 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - qube4.0 0.05 ssolve-ut 0.59
- - - - WalkQSAT 0.08 - -
- - - - qube5.0 0.09 - -
sKizzo-0.9-abs(0.01)
sKizzo-0.9-grn(0.01)
sKizzo-0.9-std(0.01)
qube4.0(0.05)
WalkQSAT(0.08)
qube5.0(0.09)
ssolve-ut(0.59)
sSolve(7.62)
ssolve+ut(10.67)
SQBF(30.09)
yQuaffle(49.82)
semprop(126.95)
qube3.0(467.74)
2clsQ(519.35)