Cactus plot / Survival plot

[Google Scholar] [Wikipedia]

Notes: SV competition

A cactus plot or “survival plot” is used to summarize the performance of an automated verification tool in verification tool competitions such as SMT-COMP and SV-COMP. The graph plots how many problems can be solved in a given time.

(I think that a “cactus plot” is the transpose of a “survival plot”.)

A paper about the use of cactus plots in competitions.

Here is an example from SV-COMP 2020.

cactus plot for SV-COMP overflow verification results

Papers related to Cactus plot / Survival plot