{{message}}
Time Elapsed: {{time}}
{{#stats}}
Processed Nodes: {{processedNodes}}
Total Nodes: {{totalNodes}}
Total Transitions: {{totalTransitions}}
{{/stats}}
{{#hasNodeStats}} {{#nodeStats}} {{/nodeStats}}

Node Stats

Status# of Nodes
{{name}}{{value}}
{{/hasNodeStats}} {{#hasTransStats}} {{#transStats}} {{/transStats}}

Transitions Stats

Transition Name# of Transitions
{{name}}{{value}}
{{/hasTransStats}} {{#hasTrace}}
{{/hasTrace}}