unif-c2925-v450-s1948799962.cnf

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


zChaff minisat SatELite
339.86 14.9867 87.9186

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

zChaff minisat SatELite
339.86 14.9867 87.9186

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

zChaff minisat SatELite
339.86 14.9867 87.9186

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

zChaff minisat SatELite
339.86 14.9867 87.9186

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

zChaff minisat SatELite
339.86 14.9867 87.9186

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

zChaff minisat SatELite
339.86 14.9867 87.9186

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

zChaff minisat SatELite
339.86 14.9867 87.9186

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

zChaff minisat SatELite
339.86 14.9867 87.9186

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

zChaff minisat SatELite
339.86 14.9867 87.9186