Heuristics for checking Liveness Properties with Partial
Order Reduction (Benchmark Analysis)
Description
This page summarizes the results provided in the paper. A full
description of the benchmark can be found [here].
Tools
Inputs
Cumulative Summary
Each column shows a sum over all inputs processed by one tool. The second column shows the count of inputs processed.
Green and red highlight minimum and maximum values per column.