diff --git a/Algebraic_kernel_d/benchmark/Algebraic_kernel_d/Algebraic_kernel_d_1.cpp b/Algebraic_kernel_d/benchmark/Algebraic_kernel_d/Algebraic_kernel_d_1.cpp
index 83a0d4cea27..375abcf07a6 100644
--- a/Algebraic_kernel_d/benchmark/Algebraic_kernel_d/Algebraic_kernel_d_1.cpp
+++ b/Algebraic_kernel_d/benchmark/Algebraic_kernel_d/Algebraic_kernel_d_1.cpp
@@ -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;
 }