Sota solver details
QBFEVAL'06

Instance: ncf_16_32_8_euad.3
Best Solver: semprop Time: 8.59 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ssolve-ut 10.6 - - qube4.0 234.38
- - sSolve 17.62 - - qube5.0 236.06
- - ssolve+ut 18.27 - - qube3.0 311.63
- - WalkQSAT 31.33 - - - -
semprop(8.59)
ssolve-ut(10.6)
sSolve(17.62)
ssolve+ut(18.27)
WalkQSAT(31.33)
qube4.0(234.38)
qube5.0(236.06)
qube3.0(311.63)
openQbf(5516.44)