with Floating_Point_Numbers;      use Floating_Point_Numbers;

procedure Pruning_Statistics
              ( file : in file_type;
                nbsucc,nbfail : in Float_Vectors.Vector ) is

  use Floating_Point_Numbers.double_float_io;

  totsucc,totfail : double_float := 0.0;

begin
  new_line(file);
  put_line(file,"STATISTICS OF #FACE-FACE COMBINATIONS :");
  new_line(file);
  put_line(file,"           #Success      #Fail       Ratio ");
  new_line(file);
  for i in nbsucc'range loop
    put(file,"          ");
    put(file,nbsucc(i),2,3,3); put(file,"   ");
    put(file,nbfail(i),2,3,3); put(file,"   ");
    if nbsucc(i) + 1.0 /= 1.0
     then put(file,nbfail(i)/nbsucc(i),2,3,3);
     else put(file,"1/0");
    end if;
    new_line(file);
    totsucc := totsucc + nbsucc(i);
    totfail := totfail + nbfail(i);
  end loop;
  put_line(file," ----------------------------------------------");
  put(file,"  Total : "); 
    put(file,totsucc,2,3,3); put(file," + ");
    put(file,totfail,2,3,3); put(file," = ");
    put(file,totsucc+totfail,2,3,3); new_line(file);
  new_line(file);
  put_line(file,"  Success = successful face-face combinations");
  put_line(file,"  Fail    = unsuccessful face-face combinations");
  put_line(file,"  Ratio   = #Fail / #Success");
  put_line(file,"  Total   = total number of Linear-Programming problems");
end Pruning_Statistics;
