now printing at the end also the time for solving without the multiplicities

This commit is contained in:
Menelaos Karavelas 2007-09-26 12:36:08 +00:00
parent aa08830151
commit 62c178cb43
1 changed files with 2 additions and 1 deletions

View File

@ -86,7 +86,8 @@ struct Benchmark_result {
std::ostream& operator<<( std::ostream& os, const Benchmark_result& br ) {
os << br.number_of_polys << "\t" << br.bits << "\t" << br.number_of_real_roots_found
<< "\t" << br.degree_of_polynomials << "\t" << br.solve_time << "\t" << br.sort_time
<< "\t" << br.degree_of_polynomials << "\t" << br.solve_time
<< "\t" << br.solve_time_no_mult << "\t" << br.sort_time
<< "\t" << br.to_double_time << "\t" << br.total_time;
return os;
}