default Macro Format
fun defaultMacroFormat(outerSnapshot: SolverStateSnapshot, context: TrackingContext): String(source)
Provides the default console formatting for an outer (macro) solver's state snapshot. Now includes the experiment name and run number so users can distinguish between runs in the console.