ip50.shuffled.cnf

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


zChaff minisat SatELite
869.564 82.5125 131.946

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc67.2467.2677.4221.7221.5701825 11825 13853117863.6393UNKNOWN

zChaff minisat SatELite
607.696 143.857 110.083

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn67.2067.4777.5121.8021.430504 0504 01281633321.1488UNKNOWN

zChaff minisat SatELite
259.763 66.5159 104.941

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb67.2967.3377.5921.7621.590194 0194 0812671813.466UNKNOWN

zChaff minisat SatELite
1047.8 85.0771 57.8222

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb67.2667.3477.5621.7621.58092 092 051935858.70568UNKNOWN

zChaff minisat SatELite
780.579 73.5268 97.5382

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw67.2467.2677.4221.7221.5701825 11825 13194662952.585UNKNOWN

zChaff minisat SatELite
601.243 154.373 104.509

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn67.2067.4777.5121.8021.430504 0504 01119388518.5282UNKNOWN

zChaff minisat SatELite
290.013 60.7148 104.755

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb67.2967.3377.5921.7621.590194 0194 0812671813.6749UNKNOWN

zChaff minisat SatELite
1084.04 79.169 56.1765

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb67.2667.3477.5621.7621.58092 092 051935858.72567UNKNOWN

zChaff minisat SatELite
773.633 68.7425 95.9984