diff --git a/results/bench_mutex_nonparam_mem.dat b/results/bench_mutex_nonparam_mem.dat
new file mode 100644
index 0000000..7d58a6f
--- /dev/null
+++ b/results/bench_mutex_nonparam_mem.dat
@@ -0,0 +1,51 @@
+2 30.484375
+3 31.753906
+4 34.082031
+5 36.308594
+6 38.011719
+7 40.453125
+8 43.902344
+9 46.292969
+10 48.105469
+11 50.855469
+12 53.417969
+13 59.988281
+14 61.843750
+15 65.789062
+16 70.093750
+17 75.070312
+18 77.968750
+19 87.488281
+20 94.015625
+21 98.765625
+22 103.378906
+23 108.386719
+24 117.503906
+25 120.000000
+26 125.730469
+27 132.234375
+28 151.410156
+29 159.039062
+30 165.347656
+31 172.976562
+32 181.984375
+33 187.093750
+34 198.621094
+35 214.531250
+36 222.589844
+37 230.621094
+38 238.515625
+39 246.179688
+40 255.140625
+41 272.875000
+42 290.199219
+43 297.531250
+44 312.546875
+45 335.839844
+46 343.492188
+47 354.707031
+48 370.406250
+49 392.820312
+50 396.250000
+51 421.503906
+52 428.769531
diff --git a/results/bench_mutex_nonparam_time.dat b/results/bench_mutex_nonparam_time.dat
new file mode 100644
index 0000000..9318e48
--- /dev/null
+++ b/results/bench_mutex_nonparam_time.dat
@@ -0,0 +1,51 @@
+2 0.535528
+3 0.918321
+4 1.332534
+5 2.454444
+6 2.788893
+7 3.565736
+8 5.064996
+9 5.948090
+10 7.293088
+11 9.121148
+12 11.236298
+13 13.605077
+14 16.736082
+15 19.599603
+16 22.612613
+17 26.656344
+18 31.615893
+19 35.767130
+20 42.091611
+21 48.583472
+22 54.511507
+23 63.297788
+24 72.462634
+25 79.195952
+26 84.735854
+27 98.649087
+28 109.389575
+29 122.403147
+30 143.595119
+31 151.836028
+32 170.272280
+33 205.402018
+34 219.737764
+35 245.595331
+36 280.783363
+37 308.503320
+38 354.451537
+39 374.283519
+40 426.517950
+41 455.768572
+42 478.262844
+43 529.621029
+44 566.634838
+45 623.914662
+46 699.952804
+47 740.116565
+48 862.349382
+49 892.275654
+50 948.671194
+51 1009.506063
+52 1066.429238
diff --git a/results/bench_mutex_param_OPT_mem.dat b/results/bench_mutex_param_OPT_mem.dat
new file mode 100644
index 0000000..20b192f
--- /dev/null
+++ b/results/bench_mutex_param_OPT_mem.dat
@@ -0,0 +1,52 @@
+2 33.546875
+3 34.429688
+4 38.492188
+5 41.125000
+6 41.687500
+7 46.242188
+8 50.726562
+9 56.558594
+10 61.003906
+11 71.902344
+12 74.562500
+13 82.460938
+14 86.210938
+15 105.289062
+16 118.019531
+17 125.773438
+18 142.675781
+19 154.468750
+20 185.046875
+21 197.828125
+22 210.203125
+23 231.847656
+24 240.656250
+25 256.101562
+26 280.058594
+27 344.527344
+28 375.691406
+29 408.355469
+30 419.125000
+31 456.789062
+32 481.304688
+33 510.855469
+34 540.761719
+35 579.242188
+36 723.539062
+37 775.582031
+38 819.039062
+39 844.941406
+40 905.066406
+41 957.019531
+42 978.632812
+43 1025.652344
+44 1074.476562
+45 1129.644531
+46 1386.648438
+47 1484.835938
+48 1561.433594
+49 1618.781250
+50 1659.792969
+51 1730.484375
+52 1840.707031
+53 1931.390625
diff --git a/results/bench_mutex_param_OPT_time.dat b/results/bench_mutex_param_OPT_time.dat
new file mode 100644
index 0000000..389e479
--- /dev/null
+++ b/results/bench_mutex_param_OPT_time.dat
@@ -0,0 +1,52 @@
+2 1.026527
+3 1.629757
+4 2.198833
+5 2.832976
+6 3.825161
+7 5.474144
+8 6.149186
+9 7.657653
+10 9.046185
+11 10.307654
+12 13.219714
+13 16.401634
+14 19.152999
+15 23.790949
+16 26.106450
+17 30.103785
+18 33.938641
+19 39.909578
+20 45.632917
+21 52.536054
+22 58.218939
+23 65.765313
+24 72.370183
+25 88.433721
+26 91.726869
+27 105.458775
+28 115.878952
+29 135.267375
+30 147.192963
+31 152.392071
+32 170.138393
+33 193.193992
+34 190.954883
+35 227.647592
+36 253.721523
+37 260.149048
+38 314.284824
+39 315.880225
+40 341.101166
+41 371.260267
+42 412.882265
+43 448.273024
+44 459.084511
+45 474.663140
+46 680.182641
+47 615.638022
+48 712.062689
+49 767.840679
+50 733.993100
+51 752.156282
+52 791.012164
+53 1044.383767
diff --git a/results/bench_mutex_param_mem.dat b/results/bench_mutex_param_mem.dat
new file mode 100644
index 0000000..afc5054
--- /dev/null
+++ b/results/bench_mutex_param_mem.dat
@@ -0,0 +1,52 @@
+2 34.578125
+3 34.460938
+4 36.824219
+5 38.402344
+6 41.230469
+7 43.953125
+8 45.511719
+9 49.867188
+10 52.378906
+11 59.105469
+12 60.996094
+13 65.199219
+14 68.316406
+15 72.406250
+16 79.449219
+17 85.824219
+18 90.769531
+19 95.984375
+20 102.437500
+21 107.707031
+22 115.195312
+23 122.562500
+24 128.496094
+25 131.949219
+26 151.875000
+27 156.621094
+28 165.906250
+29 170.121094
+30 180.785156
+31 184.773438
+32 194.718750
+33 216.484375
+34 221.074219
+35 225.058594
+36 238.589844
+37 246.296875
+38 254.558594
+39 282.468750
+40 291.015625
+41 302.984375
+42 318.277344
+43 338.496094
+44 345.199219
+45 360.218750
+46 366.687500
+47 382.582031
+48 408.714844
+49 413.820312
+50 431.730469
+51 451.050781
+52 461.742188
+53 470.632812
diff --git a/results/bench_mutex_param_time.dat b/results/bench_mutex_param_time.dat
new file mode 100644
index 0000000..876b989
--- /dev/null
+++ b/results/bench_mutex_param_time.dat
@@ -0,0 +1,52 @@
+2 0.877561
+3 1.409699
+4 2.234272
+5 2.858616
+6 3.784222
+7 5.060092
+8 6.499341
+9 7.939724
+10 9.602503
+11 11.618706
+12 14.656514
+13 17.755535
+14 21.554828
+15 24.022745
+16 29.354653
+17 32.771995
+18 36.019222
+19 43.817527
+20 54.115438
+21 58.966577
+22 72.598680
+23 77.834412
+24 89.407605
+25 94.941334
+26 111.672501
+27 113.178554
+28 140.031717
+29 146.185166
+30 182.337540
+31 191.610323
+32 222.690690
+33 256.611021
+34 276.708126
+35 286.025474
+36 302.863165
+37 366.563173
+38 404.203617
+39 442.147766
+40 472.692781
+41 503.354349
+42 592.247609
+43 679.567183
+44 697.117402
+45 773.237407
+46 861.799169
+47 889.908410
+48 915.630206
+49 1026.645227
+50 1052.331938
+51 1129.048907
+52 1408.106547
+53 1281.974399