For each proof assistant, if there is a red 'X' marker it indicates that the test case exceeded memory, and a blue 'X' marker indicates a time limit exceeded. A bright blue square marker indicates that there is an artificial zero (startup time is larger than type check time) at that point.
