Update embedded benchmark with new metrics

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