diff --git a/prism/benchmark.org b/prism/benchmark.org index 3b0358f29159cd8c8f2a9ba8383db155a5e3c22a..a5b3a6bef68c63778a934284c3d8304c670d2910 100644 --- a/prism/benchmark.org +++ b/prism/benchmark.org @@ -866,7 +866,7 @@ philosopher. Although the ~auto~ file goes to ~N=9~, the memory usage of MA on ~N=6~ is - already over 10 GB. + already over the limit of my system (16GB). #+NAME: phil_original_benchmarks | Model | Constants | Partition | @@ -874,19 +874,17 @@ | phil_original | N=3 | p1 | | phil_original | N=4 | p1 | | phil_original | N=5 | p1 | - | phil_original | N=6 | p1 | Results: #+CALL: bench(phil_original_benchmarks) #+RESULTS: - | Model | Constants | Partition | Time(s) | - |---------------+-----------+-----------+---------------| - | phil_original | N=3 | p1 | 0.099521039 | - | phil_original | N=4 | p1 | 1.648332511 | - | phil_original | N=5 | p1 | 29.939534718 | - | phil_original | N=6 | p1 | 121.580048551 | + | Model | Consts | Partition | States | Edges | Sort 0 | I | Q | t(s) | t_p(s) | t_r(s) | + |---------------+--------+-----------+--------+---------+--------+----+--------+---------------+--------------+---------------| + | phil_original | N=3 | p1 | 5254 | 7994 | 956 | 14 | 3196 | 0.1064149270 | 0.0308160840 | 0.0690485640 | + | phil_original | N=4 | p1 | 62880 | 102096 | 9440 | 14 | 32900 | 1.6731439970 | 0.3460310980 | 1.2664375260 | + | phil_original | N=5 | p1 | 728366 | 1234898 | 93068 | 14 | 336352 | 30.8762339240 | 4.5663775890 | 25.1685231070 | *** No Fair @@ -915,10 +913,10 @@ #+CALL: bench(phil_nofair_benchmarks) #+RESULTS: - | Model | Constants | Partition | Time(s) | - |-------------+-----------+-----------+-------------| - | phil_nofair | N=3,K=1 | p1 | 0.175134905 | - | phil_nofair | N=4,K=1 | p1 | 1.458617409 | + | Model | Consts | Partition | States | Edges | Sort 0 | I | Q | t(s) | t_p(s) | t_r(s) | + |-------------+---------+-----------+--------+-------+--------+----+-------+--------------+--------------+--------------| + | phil_nofair | N=3,K=1 | p1 | 4606 | 6698 | 956 | 14 | 3178 | 0.0932602170 | 0.0355597460 | 0.0546810820 | + | phil_nofair | N=4,K=1 | p1 | 54344 | 85024 | 9440 | 14 | 32808 | 1.4521071360 | 0.3227025450 | 1.0796627360 | ** Cyclic Server Polling