Sota solver details
QBFEVAL'06

Instance: ncf_8_16_4_euad.3
Best Solver: semprop Time: 22.41 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube5.0 83.1 WalkQSAT 118.36 qube3.0 729.88
- - qube4.0 85.72 ssolve+ut 132.71 - -
- - ssolve-ut 94.67 - - - -
- - sSolve 101.08 - - - -
semprop(22.41)
qube5.0(83.1)
qube4.0(85.72)
ssolve-ut(94.67)
sSolve(101.08)
WalkQSAT(118.36)
ssolve+ut(132.71)
qube3.0(729.88)
openQbf(3092.77)