f87-b2-s2-20.cnf

variables clauses Horn % ReverseHorn % Binaire % Pos % Neg %
7018651.0848.921.0813.4412.37


zChaff minisat SatELite
2.12268 0.577912 4.38233

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc51.0848.921.0813.4412.3700 00 05720UNKNOWN

zChaff minisat SatELite
2.12268 0.577912 4.38233

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn51.0848.921.0813.4412.3700 00 02780.001999UNKNOWN

zChaff minisat SatELite
2.12268 0.577912 4.38233

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb51.0848.921.0813.4412.3700 00 05680.001999UNKNOWN

zChaff minisat SatELite
2.12268 0.577912 4.38233

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb51.0848.921.0813.4412.3700 00 02760.000999UNKNOWN

zChaff minisat SatELite
2.12268 0.577912 4.38233

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw51.0848.921.0813.4412.3700 00 0360.000999UNKNOWN

zChaff minisat SatELite
2.12268 0.577912 4.38233

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn51.0848.921.0813.4412.3700 00 0180.000999UNKNOWN

zChaff minisat SatELite
2.12268 0.577912 4.38233

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb51.0848.921.0813.4412.3700 00 0320.001999UNKNOWN

zChaff minisat SatELite
2.12268 0.577912 4.38233

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb51.0848.921.0813.4412.3700 00 0160UNKNOWN

zChaff minisat SatELite
2.12268 0.577912 4.38233