From 9ab0ca903e00033d2b31e9005d84be7e2a309b45 Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hpd@hpdeifel.de>
Date: Mon, 27 Aug 2018 16:52:23 +0200
Subject: [PATCH] Update cluster benchmark 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 0c0dfa5..6e3251a 100644
--- a/prism/benchmark.org
+++ b/prism/benchmark.org
@@ -354,12 +354,12 @@
#+CALL: bench(cluster_benchmarks)
#+RESULTS:
- | Model | Constants | Partition | Time(s) |
- |---------+-----------+-----------+-------------|
- | cluster | N=4,T=10 | | 0.020462726 |
- | cluster | N=8,T=10 | | 0.071380037 |
- | cluster | N=16,T=10 | | 0.308729407 |
- | cluster | N=32,T=10 | | 1.336109986 |
+ | Model | Consts | Partition | States | Edges | Sort 0 | I | Q | t(s) | t_p(s) | t_r(s) |
+ |---------+-----------+-----------+--------+--------+--------+------+-------+--------------+--------------+--------------|
+ | cluster | N=4,T=10 | | 820 | 3616 | 820 | 183 | 565 | 0.0499498580 | 0.0331475400 | 0.0154226440 |
+ | cluster | N=8,T=10 | | 2772 | 12832 | 2772 | 359 | 1917 | 0.0850969190 | 0.0322718170 | 0.0496747730 |
+ | cluster | N=16,T=10 | | 10132 | 48160 | 10132 | 711 | 7021 | 0.3757195390 | 0.1296913940 | 0.2300525730 |
+ | cluster | N=32,T=10 | | 38676 | 186400 | 38676 | 1415 | 26829 | 1.6010803120 | 0.4972381480 | 0.9998446220 |
** Shared coin protocol
--
GitLab