aleat_200_850_1.cnf

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


zChaff minisat SatELite
4.67429 0.631903 2.26865

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc47.2952.710.0013.5312.0000 00 026460.003999UNKNOWN

zChaff minisat SatELite
4.67429 0.631903 2.26865

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn47.2952.710.0013.5312.0000 00 012420.001999UNKNOWN

zChaff minisat SatELite
4.67429 0.631903 2.26865

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb47.2952.710.0013.5312.0000 00 026460.002999UNKNOWN

zChaff minisat SatELite
4.67429 0.631903 2.26865

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb47.2952.710.0013.5312.0000 00 012420.002999UNKNOWN

zChaff minisat SatELite
4.67429 0.631903 2.26865

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw47.2952.710.0013.5312.0000 00 000.001999UNKNOWN

zChaff minisat SatELite
4.67429 0.631903 2.26865

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn47.2952.710.0013.5312.0000 00 000.000999UNKNOWN

zChaff minisat SatELite
4.67429 0.631903 2.26865

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb47.2952.710.0013.5312.0000 00 000.001999UNKNOWN

zChaff minisat SatELite
4.67429 0.631903 2.26865

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb47.2952.710.0013.5312.0000 00 000.000999UNKNOWN

zChaff minisat SatELite
4.67429 0.631903 2.26865