Reasoners should be able to export their statistics in a semi-structured way. Use case: - more legible statistics agreagation - automatique performance metric export