aleat_300_1275_28.cnf

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


zChaff minisat SatELite
6462.81 76.8793 365.316

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

zChaff minisat SatELite
6462.81 76.8793 365.316

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

zChaff minisat SatELite
6462.81 76.8793 365.316

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

zChaff minisat SatELite
6462.81 76.8793 365.316

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

zChaff minisat SatELite
6462.81 76.8793 365.316

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

zChaff minisat SatELite
6462.81 76.8793 365.316

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

zChaff minisat SatELite
6462.81 76.8793 365.316

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

zChaff minisat SatELite
6462.81 76.8793 365.316

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

zChaff minisat SatELite
6462.81 76.8793 365.316