aim-50-3_4-yes1-4.cnf

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


zChaff minisat SatELite
0.001 0.001999 0.003999

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc50.3149.691.2414.9115.5309 59 56590.000999UNKNOWN

zChaff minisat SatELite
0.001 0.000999 0.001999

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn48.5051.501.2014.3714.9703 23 23320.001999UNKNOWN

zChaff minisat SatELite
0.001 0.001999 0.001999

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb50.3149.691.2414.9115.5309 59 56550.001999UNKNOWN

zChaff minisat SatELite
0 0.001999 0.002999

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb48.5051.501.2014.3714.9703 23 23280.000999UNKNOWN

zChaff minisat SatELite
0.001 0.001999 0.002999

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw50.0050.001.1914.2915.4802 12 1840UNKNOWN

zChaff minisat SatELite
0 0.002999 0.003999

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn49.4150.591.1814.1215.2900 00 0140.000999UNKNOWN

zChaff minisat SatELite
0.001 0.001999 0.003999

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb50.0050.001.1914.2915.4802 12 1840.000999UNKNOWN

zChaff minisat SatELite
0 0.000999 0.003999

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb49.4150.591.1814.1215.2900 00 0140UNKNOWN

zChaff minisat SatELite
0.001 0.001999 0.003999