From c953c4907779b02e7f96865781f7764d4fe4d7a4 Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hpd@hpdeifel.de>
Date: Tue, 28 Aug 2018 08:24:47 +0200
Subject: [PATCH] Update dining philosophers benchmarks
---
prism/benchmark.org | 22 ++++++++++------------
1 file changed, 10 insertions(+), 12 deletions(-)
diff --git a/prism/benchmark.org b/prism/benchmark.org
index 3b0358f..a5b3a6b 100644
--- a/prism/benchmark.org
+++ b/prism/benchmark.org
@@ -866,7 +866,7 @@
philosopher.
Although the ~auto~ file goes to ~N=9~, the memory usage of MA on ~N=6~ is
- already over 10 GB.
+ already over the limit of my system (16GB).
#+NAME: phil_original_benchmarks
| Model | Constants | Partition |
@@ -874,19 +874,17 @@
| phil_original | N=3 | p1 |
| phil_original | N=4 | p1 |
| phil_original | N=5 | p1 |
- | phil_original | N=6 | p1 |
Results:
#+CALL: bench(phil_original_benchmarks)
#+RESULTS:
- | Model | Constants | Partition | Time(s) |
- |---------------+-----------+-----------+---------------|
- | phil_original | N=3 | p1 | 0.099521039 |
- | phil_original | N=4 | p1 | 1.648332511 |
- | phil_original | N=5 | p1 | 29.939534718 |
- | phil_original | N=6 | p1 | 121.580048551 |
+ | Model | Consts | Partition | States | Edges | Sort 0 | I | Q | t(s) | t_p(s) | t_r(s) |
+ |---------------+--------+-----------+--------+---------+--------+----+--------+---------------+--------------+---------------|
+ | phil_original | N=3 | p1 | 5254 | 7994 | 956 | 14 | 3196 | 0.1064149270 | 0.0308160840 | 0.0690485640 |
+ | phil_original | N=4 | p1 | 62880 | 102096 | 9440 | 14 | 32900 | 1.6731439970 | 0.3460310980 | 1.2664375260 |
+ | phil_original | N=5 | p1 | 728366 | 1234898 | 93068 | 14 | 336352 | 30.8762339240 | 4.5663775890 | 25.1685231070 |
*** No Fair
@@ -915,10 +913,10 @@
#+CALL: bench(phil_nofair_benchmarks)
#+RESULTS:
- | Model | Constants | Partition | Time(s) |
- |-------------+-----------+-----------+-------------|
- | phil_nofair | N=3,K=1 | p1 | 0.175134905 |
- | phil_nofair | N=4,K=1 | p1 | 1.458617409 |
+ | Model | Consts | Partition | States | Edges | Sort 0 | I | Q | t(s) | t_p(s) | t_r(s) |
+ |-------------+---------+-----------+--------+-------+--------+----+-------+--------------+--------------+--------------|
+ | phil_nofair | N=3,K=1 | p1 | 4606 | 6698 | 956 | 14 | 3178 | 0.0932602170 | 0.0355597460 | 0.0546810820 |
+ | phil_nofair | N=4,K=1 | p1 | 54344 | 85024 | 9440 | 14 | 32808 | 1.4521071360 | 0.3227025450 | 1.0796627360 |
** Cyclic Server Polling
--
GitLab