unif-c1750-v350-s1060627842.cnf

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


zChaff minisat SatELite
1123.78 22.9635 247.029

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc47.8352.170.0013.0912.1100 00 053610.008998UNKNOWN

zChaff minisat SatELite
1123.78 22.9635 247.029

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn47.8352.170.0013.0912.1100 00 025600.004999UNKNOWN

zChaff minisat SatELite
1123.78 22.9635 247.029

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb47.8352.170.0013.0912.1100 00 053610.007998UNKNOWN

zChaff minisat SatELite
1123.78 22.9635 247.029

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb47.8352.170.0013.0912.1100 00 025600.004999UNKNOWN

zChaff minisat SatELite
1123.78 22.9635 247.029

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

zChaff minisat SatELite
1123.78 22.9635 247.029

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

zChaff minisat SatELite
1123.78 22.9635 247.029

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

zChaff minisat SatELite
1123.78 22.9635 247.029

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

zChaff minisat SatELite
1123.78 22.9635 247.029