Sota solver details
QBFEVAL'05

Instance: ncf_4_16_2_edau.8
Best Solver: QChaffLearn Time: 0.49 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - semprop 0.53 - - WalkQSAT 8.05
- - skizzo_v0.5 0.66 - - - -
- - sSolve 0.77 - - - -
QChaffLearn(0.49)
semprop(0.53)
skizzo_v0.5(0.66)
sSolve(0.77)
WalkQSAT(8.05)
openQbf(167.99)
QbflHR(249.15)