Translation of the BEEM Benchmark to Simple DiVinE, a translation of DiVinE to a simple guard/effect list. A simple script to extract stats from the benchmark is made available. This script keeps a record of:
- Name of the experiment
- Number of
transientvariable declarations - Number of non-
transientvariable declarations - Number of
processes - Maximum number of operations per
guard - Maximum number of operations per
effect - Maximum number of simultaneous alive variables in a
guard - Mean number of operations per
guard - Mean number of operations per
effect - Maximum number of simultaneous alive variables in an
effect
The whole csv file can be regenerated by calling:
$ python stats.py