Sota solver details
QBFEVAL'06

Instance: ncf_4_16_8_euad.9
Best Solver: qube4.0 Time: 6.27 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube5.0 6.47 semprop 40.04 ssolve-ut 575.98
- - - - - - sSolve 592.86
qube4.0(6.27)
qube5.0(6.47)
semprop(40.04)
ssolve-ut(575.98)
sSolve(592.86)
ssolve+ut(958.67)
openQbf(2171.87)