Sota solver details
QBFEVAL'06

Instance: ncf_4_8_8_edau.6
Best Solver: qube4.0 Time: 0.35 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube5.0 0.36 Qbfl 3.06 semprop 7.98
- - qube3.0 0.41 ssolve-ut 3.26 sSolve 10.34
- - - - - - ssolve+ut 13.39
- - - - - - 2clsQ 21.71
qube4.0(0.35)
qube5.0(0.36)
qube3.0(0.41)
Qbfl(3.06)
ssolve-ut(3.26)
semprop(7.98)
sSolve(10.34)
ssolve+ut(13.39)
2clsQ(21.71)