Sota solver details
QBFEVAL'05

Instance: ncf_4_16_2_euad.10
Best Solver: openQbf Time: 1.65 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - WalkQSAT 1.66 - - sSolve 18.08
- - skizzo_v0.5 1.86 - - - -
openQbf(1.65)
WalkQSAT(1.66)
skizzo_v0.5(1.86)
sSolve(18.08)
QChaffLearn(180.16)
QbflHR(725.15)