aleat_200_850_47.cnf

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


zChaff minisat SatELite
0.003 0.289955 1.85972

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc48.4751.530.0011.4112.3500 00 026310.003999UNKNOWN

zChaff minisat SatELite
0.003 0.289955 1.85972

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn48.4751.530.0011.4112.3500 00 012610.002999UNKNOWN

zChaff minisat SatELite
0.003 0.289955 1.85972

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb48.4751.530.0011.4112.3500 00 026310.002999UNKNOWN

zChaff minisat SatELite
0.003 0.289955 1.85972

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb48.4751.530.0011.4112.3500 00 012610.001999UNKNOWN

zChaff minisat SatELite
0.003 0.289955 1.85972

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

zChaff minisat SatELite
0.003 0.289955 1.85972

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

zChaff minisat SatELite
0.003 0.289955 1.85972

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

zChaff minisat SatELite
0.003 0.289955 1.85972

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

zChaff minisat SatELite
0.003 0.289955 1.85972