hgen5-v175-s704839520.cnf

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


zChaff minisat SatELite
TimeOut 1933.04 2590.89

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc35.1936.710.008.218.2900 00 047440.010998UNKNOWN

zChaff minisat SatELite
TimeOut 1933.04 2590.89

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn35.1936.710.008.218.2900 00 030570.006998UNKNOWN

zChaff minisat SatELite
TimeOut 1933.04 2590.89

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb35.1936.710.008.218.2900 00 047440.011998UNKNOWN

zChaff minisat SatELite
TimeOut 1933.04 2590.89

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb35.1936.710.008.218.2900 00 030570.006998UNKNOWN

zChaff minisat SatELite
TimeOut 1933.04 2590.89

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

zChaff minisat SatELite
TimeOut 1933.04 2590.89

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

zChaff minisat SatELite
TimeOut 1933.04 2590.89

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

zChaff minisat SatELite
TimeOut 1933.04 2590.89

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

zChaff minisat SatELite
TimeOut 1933.04 2590.89