diff --git a/prism/benchmark.org b/prism/benchmark.org
index 2acb0ee2d5039b2f0b08a283d02c20a66d37ca4b..053af3ccddd0ca41ecd112e1ac0fa60872249726 100644
--- a/prism/benchmark.org
+++ b/prism/benchmark.org
@@ -65,11 +65,7 @@
| nacl | molecules/nacl.sm | ctmc | N1, N2, T, i |
| knacl | molecules/knacl.sm | ctmc | N1, N2, N3, T, i |
| mc | molecules/mc.sm | ctmc | N1, N2, T, i |
- | mutual3 | mutual/mutual3.nm | mdp | |
- | mutual4 | mutual/mutual4.nm | mdp | |
- | mutual5 | mutual/mutual5.nm | mdp | |
- | mutual8 | mutual/mutual8.nm | mdp | |
- | mutual10 | mutual/mutual10.nm | mdp | |
+ | mutual | mutual/mutualN.nm | mdp | N |
| peer2peer | peer2peer/peer2peerN_K.sm | ctmc | N, K, T |
| phil_original | phil/original/philN.nm | mdp | N |
| phil_nofair | phil/nofair/phil-nofairN.nm | mdp | K |
@@ -798,22 +794,22 @@
Benchmarks:
#+NAME: mutual_benchmarks
- | Model | Constants | Partition |
- |----------+-----------+-----------|
- | mutual3 | | p1 |
- | mutual4 | | p1 |
- | mutual5 | | p1 |
+ | Model | Constants | Partition |
+ |--------+-----------+-----------|
+ | mutual | N=3 | p1 |
+ | mutual | N=4 | p1 |
+ | mutual | N=5 | p1 |
Results:
#+CALL: bench(mutual_benchmarks)
#+RESULTS:
- | Model | Constants | Partition | Time(s) |
- |---------+-----------+-----------+--------------|
- | mutual3 | | p1 | 0.235467253 |
- | mutual4 | | p1 | 4.666425351 |
- | mutual5 | | p1 | 90.242007222 |
+ | Model | Consts | Partition | States | Edges | Sort 0 | I | Q | t(s) | t_p(s) | t_r(s) |
+ |--------+--------+-----------+---------+---------+--------+----+-------+---------------+---------------+---------------|
+ | mutual | N=3 | p1 | 13004 | 19360 | 2368 | 18 | 3779 | 0.2342249750 | 0.0737319720 | 0.1517310010 |
+ | mutual | N=4 | p1 | 184784 | 294176 | 27600 | 18 | 17606 | 4.7020056120 | 1.0120345470 | 3.4521555270 |
+ | mutual | N=5 | p1 | 2439040 | 4060400 | 308800 | 18 | 63189 | 91.0901674520 | 16.1996346390 | 71.5701971740 |
** Peer-to-Peer Protocol