diff --git a/prism/benchmark.org b/prism/benchmark.org index 0c0dfa557af74feb71bdf8e7ff9b194aea135209..6e3251a6a94d4a7810936d432773a1a670c07271 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