From df6cb51b8f24e6f72383c20a039ff9e944e8784a Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hpd@hpdeifel.de>
Date: Mon, 27 Aug 2018 16:53:41 +0200
Subject: [PATCH] Update coin benchmarks with new metrics
---
prism/benchmark.org | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/prism/benchmark.org b/prism/benchmark.org
index 6e3251a..f06548f 100644
--- a/prism/benchmark.org
+++ b/prism/benchmark.org
@@ -383,12 +383,12 @@
#+CALL: bench(consensus_benchmarks)
#+RESULTS:
- | Model | Constants | Partition | Time(s) |
- |-------+-----------+-----------------+-------------|
- | coin2 | K=2,k=10 | pc1,pc2 | 0.012778835 |
- | coin2 | K=4,k=10 | pc1,pc2 | 0.023923692 |
- | coin4 | K=2,k=10 | pc1,pc2,pc3,pc4 | 2.357192783 |
- | coin4 | K=4,k=10 | pc1,pc2,pc3,pc4 | 4.773695384 |
+ | Model | Consts | Partition | States | Edges | Sort 0 | I | Q | t(s) | t_p(s) | t_r(s) |
+ |-------+----------+-----------------+--------+--------+--------+-----+-------+--------------+--------------+--------------|
+ | coin2 | K=2,k=10 | pc1,pc2 | 944 | 1164 | 272 | 18 | 301 | 0.0276436080 | 0.0181838380 | 0.0085923660 |
+ | coin2 | K=4,k=10 | pc1,pc2 | 1840 | 2284 | 528 | 18 | 581 | 0.0266642330 | 0.0128224860 | 0.0125946440 |
+ | coin4 | K=2,k=10 | pc1,pc2,pc3,pc4 | 105856 | 158432 | 22656 | 258 | 19730 | 2.4430676610 | 0.6862726720 | 1.5878699540 |
+ | coin4 | K=4,k=10 | pc1,pc2,pc3,pc4 | 202112 | 303328 | 43136 | 258 | 38002 | 5.0643424720 | 1.4710012220 | 3.3194466160 |
** IEEE 802.3 CSMA/CD
--
GitLab