Update coin benchmarks with new metrics

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