Sota solver details
QBFEVAL'05

Instance: ncf_4_16_4_d.7
Best Solver: semprop Time: 2.79 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - WalkQSAT 16.35 skizzo_v0.5 36.3
- - - - - - sSolve 230.16
semprop(2.79)
WalkQSAT(16.35)
skizzo_v0.5(36.3)
sSolve(230.16)
QbflHR(448)