Sota solver details
QBFEVAL'06

Instance: ncf_8_16_8_edau.9
Best Solver: qube4.0 Time: 0.31 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube5.0 0.37 - - sSolve 8.24
- - ssolve-ut 1.24 - - ssolve+ut 9.49
- - - - - - qube3.0 11.91
qube4.0(0.31)
qube5.0(0.37)
ssolve-ut(1.24)
sSolve(8.24)
ssolve+ut(9.49)
qube3.0(11.91)
semprop(41.97)
WalkQSAT(44.61)
sKizzo-0.9-abs(1509.06)
sKizzo-0.9-std(1520.58)
2clsQ(2052.14)
openQbf(2138.37)