Sota solver details
QBFEVAL'05

Instance: ncf_4_16_4_u.10
Best Solver: semprop Time: 6.29 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - WalkQSAT 37.47 skizzo_v0.5 91.84
- - - - sSolve 39.82 skizzo_v0.4 164.29
semprop(6.29)
WalkQSAT(37.47)
sSolve(39.82)
skizzo_v0.5(91.84)
skizzo_v0.4(164.29)
openQbf(740.45)