Sota solver details
QBFEVAL'06

Instance: ncf_8_16_8_euad.2
Best Solver: qube4.0 Time: 230.47 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube5.0 232.02 - - 2clsQ 2769.56
- - semprop 422.49 - - - -
- - ssolve-ut 552.62 - - - -
- - sSolve 559.2 - - - -
- - ssolve+ut 605.29 - - - -
qube4.0(230.47)
qube5.0(232.02)
semprop(422.49)
ssolve-ut(552.62)
sSolve(559.2)
ssolve+ut(605.29)
2clsQ(2769.56)