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”.)
Here is an example from SV-COMP 2020.
Papers related to Cactus plot / Survival plot
- Leveraging Rust types for modular specification and verification [astrauskas:oopsla:2019]