TIME	%.2f (%.2f)	[arithmetic_mean [plus [measure USER] [measure SYS]]]	[standard_deviation [plus [measure USER] [measure SYS]]]
DEPTH	%d	[measure_const MAXRECLEVEL]
CHOICEPOINTS	%d	[measure_const CHOICEPOINTS]
CHOICES	%d	[measure_const CONSCHOICES]
BADCHOICES	%d	[measure_const INCONSCHOICES]
