 	char *name;
 	Statistic rate;
 	Statistic passes;
-	Statistic extra_work;
+	Statistic redundant_work;
 	Statistic barrier_wait;
 	
-	Stats() : name(NULL), rate(), passes(), extra_work(), barrier_wait() {}
-	Stats(char *name) : name(name), rate(), passes(), extra_work(), barrier_wait() {}
+	Stats() : name(NULL), rate(), passes(), redundant_work(), barrier_wait() {}
+	Stats(char *name) : name(name), rate(), passes(), redundant_work(), barrier_wait() {}
 };
 
 

		if (g_verbose2) {
			DisplaySolution(reference_source_dist, csr_graph.nodes);
			printf("\n");
		}
	}
	

		if (avg_barrier_wait != 0) printf("\n\tavg cta waiting: %.3f ms (%.2f%%), avg g-barrier wait: %.4f ms", 
			avg_barrier_wait, avg_barrier_wait / elapsed * 100, avg_barrier_wait / passes);
		printf("\n\tsrc: %d, nodes visited: %d, edges visited: %d", src, nodes_visited, edges_visited);
		if (redundant_work != 0) printf(", redundant work: %.2f%%", redundant_work);
		printf("\n");

		// Display the aggregate sample statistics
		printf("\tSummary after %d test iterations (bias-corrected):\n", stats.rate.count + 1); 

		double passes_stddev = sqrt(stats.passes.Update((double) passes));
		if (passes != 0) printf(			"\t\t[Passes]:           u: %.1f, s: %.1f, cv: %.4f\n", 
			stats.passes.mean, passes_stddev, passes_stddev / stats.passes.mean);

		double redundant_work_stddev = sqrt(stats.redundant_work.Update(redundant_work));
		if (redundant_work != 0) printf(	"\t\t[redundant work %]: u: %.2f, s: %.2f, cv: %.4f\n", 
			stats.redundant_work.mean, redundant_work_stddev, redundant_work_stddev / stats.redundant_work.mean);

		double barrier_wait_stddev = sqrt(stats.barrier_wait.Update(avg_barrier_wait / elapsed * 100));
		if (avg_barrier_wait != 0) printf(	"\t\t[Waiting %]:        u: %.2f, s: %.2f, cv: %.4f\n", 
			stats.barrier_wait.mean, barrier_wait_stddev, barrier_wait_stddev / stats.barrier_wait.mean);

		double rate_stddev = sqrt(stats.rate.Update(m_teps));
		printf(								"\t\t[Rate MiEdges/s]:   u: %.3f, s: %.3f, cv: %.4f\n", 
			stats.rate.mean, rate_stddev, rate_stddev / stats.rate.mean);
	}
	
