Sota solver details
QBFEVAL'06

Instance: ncf_8_16_4_d.7
Best Solver: qube4.0 Time: 1.24 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube5.0 1.27 sSolve 9.33 ssolve+ut 13.31
- - ssolve-ut 2.39 - - semprop 13.53
- - qube3.0 3.47 - - - -
qube4.0(1.24)
qube5.0(1.27)
ssolve-ut(2.39)
qube3.0(3.47)
sSolve(9.33)
ssolve+ut(13.31)
semprop(13.53)
2clsQ(349.85)