A simple progress formatter
Pass ouputs: .
Failure outputs: F
Future fact outputs: P

A summary of all errors are shown at the end.