TIME	%.3f (%.3f)	[arithmetic_mean [measure TIME]]	[standard_deviation [measure TIME]]
CHOICEPOINTS	%d	[measure_const CHOICEPOINTS]
