diff --git a/prism/benchmark.org b/prism/benchmark.org
index e815a0f52c95fbb9554e16ce4c749aba266f53f3..4c4dbdead6fd28b81936ef7e4f6077477a9f4bd4 100644
--- a/prism/benchmark.org
+++ b/prism/benchmark.org
@@ -1152,16 +1152,16 @@
    #+CALL: bench(wlan_benchmarks)
 
    #+RESULTS:
-   | Model             | Constants                          | Partition |      Time(s) |
-   |-------------------+------------------------------------+-----------+--------------|
-   | wlan              | TRANS_TIME_MAX=10,k=2,K=0          | c1,c2     |  2.454806027 |
-   | wlan              | TRANS_TIME_MAX=10,k=2,K=1          | c1,c2     |  2.501042125 |
-   | wlan              | TRANS_TIME_MAX=10,k=2,K=2          | c1,c2     |  2.495283789 |
-   | wlan_collide      | COL=2,TRANS_TIME_MAX=10,k=2,K=0    | c1,c2     |  2.523926107 |
-   | wlan_collide      | COL=2,TRANS_TIME_MAX=10,k=2,K=2    | c1,c2     |  2.534154258 |
-   | wlan_collide      | COL=2,TRANS_TIME_MAX=10,k=2,K=3    | c1,c2     |  2.611946316 |
-   | wlan_time_bounded | TRANS_TIME_MAX=10,DEADLINE=100,K=0 | c1,c2     | 25.584948198 |
-   | wlan_time_bounded | TRANS_TIME_MAX=10,DEADLINE=100,K=1 | c1,c2     | 67.281157195 |
+   | Model             | Consts                             | Partition |  States |   Edges | Sort 0 | I |      Q |          t(s) |        t_p(s) |        t_r(s) |
+   |-------------------+------------------------------------+-----------+---------+---------+--------+---+--------+---------------+---------------+---------------|
+   | wlan              | TRANS_TIME_MAX=10,k=2,K=0          | c1,c2     |   93942 |  122626 |  28480 | 8 |  66245 |  2.3616887090 |  0.6532304660 |  1.5749287060 |
+   | wlan              | TRANS_TIME_MAX=10,k=2,K=1          | c1,c2     |   93942 |  122626 |  28480 | 8 |  66245 |  2.3845750970 |  0.6343216450 |  1.6096372230 |
+   | wlan              | TRANS_TIME_MAX=10,k=2,K=2          | c1,c2     |   93942 |  122626 |  28480 | 8 |  66245 |  2.3624566260 |  0.6360737690 |  1.5927722160 |
+   | wlan_collide      | COL=2,TRANS_TIME_MAX=10,k=2,K=0    | c1,c2     |   94316 |  123050 |  28598 | 8 |  66245 |  2.3886041070 |  0.6456538030 |  1.6059087230 |
+   | wlan_collide      | COL=2,TRANS_TIME_MAX=10,k=2,K=2    | c1,c2     |   94316 |  123050 |  28598 | 8 |  66245 |  2.3952365570 |  0.6337526500 |  1.6244512510 |
+   | wlan_collide      | COL=2,TRANS_TIME_MAX=10,k=2,K=3    | c1,c2     |   94316 |  123050 |  28598 | 8 |  66245 |  2.4018029590 |  0.6363316650 |  1.6288217890 |
+   | wlan_time_bounded | TRANS_TIME_MAX=10,DEADLINE=100,K=0 | c1,c2     |  830830 | 1019591 | 248503 | 8 | 321139 | 24.0904198460 |  6.4635876440 | 16.3805907560 |
+   | wlan_time_bounded | TRANS_TIME_MAX=10,DEADLINE=100,K=1 | c1,c2     | 2016403 | 2571249 | 607727 | 8 | 727209 | 62.7162602700 | 16.6871851070 | 41.1353833420 |
 
 ** Zeroconf