From afd6780ab947c17b173f041aa95b17712f8ce95a Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hpd@hpdeifel.de>
Date: Mon, 27 Aug 2018 18:16:31 +0200
Subject: [PATCH] Update embedded benchmark with new metrics

---
 prism/benchmark.org | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/prism/benchmark.org b/prism/benchmark.org
index 9b40b3d..31f5a32 100644
--- a/prism/benchmark.org
+++ b/prism/benchmark.org
@@ -505,11 +505,11 @@
    #+CALL: bench(embedded_benchmarks)
 
    #+RESULTS:
-   | Model    | Constants        | Partition |     Time(s) |
-   |----------+------------------+-----------+-------------|
-   | embedded | MAX_COUNT=2,T=12 | i,a,m     | 0.176668889 |
-   | embedded | MAX_COUNT=2,T=14 | i,a,m     | 0.175296999 |
-   | embedded | MAX_COUNT=2,T=0  | i,a,m     | 0.181132037 |
+   | Model    | Consts           | Partition | States | Edges | Sort 0 |  I |   Q |         t(s) |       t_p(s) |       t_r(s) |
+   |----------+------------------+-----------+--------+-------+--------+----+-----+--------------+--------------+--------------|
+   | embedded | MAX_COUNT=2,T=12 | i,a,m     |   6956 | 18117 |   3478 | 86 | 252 | 0.1597876630 | 0.0882146950 | 0.0666840940 |
+   | embedded | MAX_COUNT=2,T=14 | i,a,m     |   6956 | 18117 |   3478 | 86 | 252 | 0.1467784660 | 0.0768221550 | 0.0649901140 |
+   | embedded | MAX_COUNT=2,T=0  | i,a,m     |   6956 | 18117 |   3478 | 86 | 252 | 0.1478352640 | 0.0783775910 | 0.0642371660 |
 
 ** Firewire
 
-- 
GitLab