Sota solver details
QBFEVAL'05

Instance: ncf_4_8_8_d.2
Best Solver: semprop Time: 4.32 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - skizzo_v0.4 29.41 skizzo_v0.5 52.88
- - - - openQbf 40.02 WalkQSAT 174.84
semprop(4.32)
skizzo_v0.4(29.41)
openQbf(40.02)
skizzo_v0.5(52.88)
WalkQSAT(174.84)
QbflHR(772.77)