# The measurement records of the benchmark: one schema (schema.py), the checker that refuses a comparison that mixes states (check.py) and the reports generated from the records (report.py).