Sota solver details
QBFEVAL'06

Instance: ncf_4_32_2_edau.8
Best Solver: semprop Time: 0.31 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube4.0 0.66 - - - -
- - qube5.0 0.7 - - - -
semprop(0.31)
qube4.0(0.66)
qube5.0(0.7)
qube3.0(42.38)
ssolve+ut(134.79)
ssolve-ut(135.14)
sSolve(135.55)
2clsQ(4440.54)