new experimental results for f4, f5

results/bench_rsc_F4_mem.log

@@ -1,101 +1,201 @@
-(1,2,29.171875)
+(1,2,28.78125)
-(10,2,29.51953125)
+(1,2,30.77734375)
-(20,2,29.640625)
+(2,2,29.84765625)
-(30,2,30.32421875)
+(3,2,29.76953125)
-(40,2,31.03125)
+(4,2,27.96484375)
-(50,2,31.33984375)
+(5,2,30.02734375)
-(60,2,30.82421875)
+(6,2,30.36328125)
-(70,2,32.00390625)
+(7,2,29.421875)
-(80,2,33.30078125)
+(8,2,29.9921875)
-(90,2,32.5546875)
+(9,2,28.05859375)
-(100,2,32.6328125)
+(10,2,28.015625)
-(110,2,32.8984375)
+(11,2,28.09375)
-(120,2,35.62109375)
+(12,2,29.2265625)
-(130,2,34.2421875)
+(13,2,28.46484375)
-(140,2,34.5390625)
+(14,2,30.3984375)
-(150,2,34.92578125)
+(15,2,30.515625)
-(160,2,34.9453125)
+(16,2,29.30078125)
-(170,2,35.90234375)
+(17,2,28.41796875)
-(180,2,36.2578125)
+(18,2,30.59765625)
-(190,2,36.73828125)
+(19,2,30.28515625)
-(200,2,36.60546875)
+(20,2,29.76953125)
-(210,2,37.24609375)
+(21,2,29.375)
-(220,2,37.92578125)
+(22,2,30.26953125)
-(230,2,39.37890625)
+(23,2,28.84765625)
-(240,2,38.03515625)
+(24,2,31.015625)
-(250,2,41.296875)
+(25,2,29.58984375)
-(260,2,41.3125)
+(26,2,28.73046875)
-(270,2,42.4609375)
+(27,2,30.56640625)
-(280,2,41.46484375)
+(28,2,30.25390625)
-(290,2,41.72265625)
+(29,2,31.1015625)
-(300,2,43.84765625)
+(30,2,32.171875)
-(310,2,42.984375)
+(31,2,28.98828125)
-(320,2,44.21875)
+(32,2,29.28515625)
-(330,2,42.60546875)
+(33,2,30.92578125)
-(340,2,42.88671875)
+(34,2,30.16015625)
-(350,2,44.4765625)
+(35,2,31.12890625)
-(360,2,44.58984375)
+(36,2,31.1875)
-(370,2,44.875)
+(37,2,30.87890625)
-(380,2,44.85546875)
+(38,2,31.51171875)
-(390,2,45.72265625)
+(39,2,29.3984375)
-(400,2,45.5546875)
+(40,2,29.76171875)
-(410,2,46.421875)
+(41,2,29.3671875)
-(420,2,47.08203125)
+(42,2,30.68359375)
-(430,2,46.62890625)
+(43,2,31.3984375)
-(440,2,47.8203125)
+(44,2,31.03515625)
-(450,2,47.625)
+(45,2,32.38671875)
-(460,2,46.11328125)
+(46,2,33.1796875)
-(470,2,46.62890625)
+(47,2,31.890625)
-(480,2,48.87109375)
+(48,2,30.125)
-(490,2,50.171875)
+(49,2,31.0859375)
-(500,2,51.3203125)
+(50,2,31.2734375)
-(510,2,51.796875)
+(51,2,31.1015625)
-(520,2,52.953125)
+(52,2,32.296875)
-(530,2,52.7578125)
+(53,2,33.61328125)
-(540,2,53.86328125)
+(54,2,30.08984375)
-(550,2,53.07421875)
+(55,2,32.125)
-(560,2,54.1484375)
+(56,2,33.42578125)
-(570,2,53.51953125)
+(57,2,32.05078125)
-(580,2,53.81640625)
+(58,2,30.37109375)
-(590,2,54.7578125)
+(59,2,30.30078125)
-(600,2,56.7265625)
+(60,2,32.7578125)
-(610,2,55.265625)
+(61,2,30.5546875)
-(620,2,55.84375)
+(62,2,30.765625)
-(630,2,58.1640625)
+(63,2,30.484375)
-(640,2,57.05859375)
+(64,2,31.94921875)
-(650,2,57.56640625)
+(65,2,31.921875)
-(660,2,58.50390625)
+(66,2,31.0234375)
-(670,2,57.78515625)
+(67,2,30.73046875)
-(680,2,59.69921875)
+(68,2,32.1640625)
-(690,2,59.7734375)
+(69,2,30.91015625)
-(700,2,59.84765625)
+(70,2,30.8046875)
-(710,2,59.9296875)
+(71,2,30.8046875)
-(720,2,60.8671875)
+(72,2,32.66015625)
-(730,2,61.27734375)
+(73,2,32.40625)
-(740,2,59.73046875)
+(74,2,33.4921875)
-(750,2,61.46875)
+(75,2,32.2578125)
-(760,2,61.3203125)
+(76,2,31.3515625)
-(770,2,61.16015625)
+(77,2,31.94921875)
-(780,2,62.82421875)
+(78,2,33.3125)
-(790,2,62.4921875)
+(79,2,32.6640625)
-(800,2,62.9609375)
+(80,2,31.91015625)
-(810,2,62.55859375)
+(81,2,31.72265625)
-(820,2,64.734375)
+(82,2,33.3359375)
-(830,2,63.41796875)
+(83,2,32.265625)
-(840,2,65.76171875)
+(84,2,32.5625)
-(850,2,65.1015625)
+(85,2,31.625)
-(860,2,64.16796875)
+(86,2,33.80078125)
-(870,2,65.46875)
+(87,2,31.76171875)
-(880,2,65.9453125)
+(88,2,31.83984375)
-(890,2,65.71875)
+(89,2,31.88671875)
-(900,2,64.9296875)
+(90,2,33.28125)
-(910,2,66.1875)
+(91,2,32.21875)
-(920,2,65.4609375)
+(92,2,31.7109375)
-(930,2,65.0625)
+(93,2,33.640625)
-(940,2,67.38671875)
+(94,2,34.12109375)
-(950,2,68.4296875)
+(95,2,33.484375)
-(960,2,70.0078125)
+(96,2,31.97265625)
-(970,2,69.671875)
+(97,2,31.91796875)
-(980,2,74.140625)
+(98,2,32.0234375)
-(990,2,74.68359375)
+(99,2,33.203125)
-(1000,2,74.4765625)
+(100,2,32.3515625)
+(101,2,32.14453125)
+(102,2,33.4765625)
+(103,2,33.0234375)
+(104,2,34.62890625)
+(105,2,32.92578125)
+(106,2,34.29296875)
+(107,2,32.60546875)
+(108,2,35.85546875)
+(109,2,32.84375)
+(110,2,32.45703125)
+(111,2,32.6015625)
+(112,2,32.84375)
+(113,2,32.47265625)
+(114,2,32.83203125)
+(115,2,33.3203125)
+(116,2,34.1640625)
+(117,2,33.45703125)
+(118,2,34.3515625)
+(119,2,33.53125)
+(120,2,34.19921875)
+(121,2,33.87109375)
+(122,2,35.51953125)
+(123,2,33.9765625)
+(124,2,34.2265625)
+(125,2,34.5625)
+(126,2,34.00390625)
+(127,2,34.05859375)
+(128,2,34.35546875)
+(129,2,35.546875)
+(130,2,35.59375)
+(131,2,35.49609375)
+(132,2,34.7421875)
+(133,2,34.35546875)
+(134,2,34.91796875)
+(135,2,34.5625)
+(136,2,36.1875)
+(137,2,34.6328125)
+(138,2,35.12109375)
+(139,2,34.09765625)
+(140,2,34.0859375)
+(141,2,35.88671875)
+(142,2,34.46484375)
+(143,2,34.4375)
+(144,2,35.5625)
+(145,2,34.21484375)
+(146,2,36.30859375)
+(147,2,35.66015625)
+(148,2,34.81640625)
+(149,2,35.26171875)
+(150,2,34.89453125)
+(151,2,34.57421875)
+(152,2,35.3046875)
+(153,2,35.765625)
+(154,2,34.94921875)
+(155,2,35.04296875)
+(156,2,34.84375)
+(157,2,35.9921875)
+(158,2,36.43359375)
+(159,2,35.88671875)
+(160,2,35.9375)
+(161,2,36.33984375)
+(162,2,35.62890625)
+(163,2,36.30859375)
+(164,2,36.39453125)
+(165,2,36.2578125)
+(166,2,35.37109375)
+(167,2,35.40625)
+(168,2,36.26953125)
+(169,2,37.171875)
+(170,2,37.2109375)
+(171,2,36.14453125)
+(172,2,36.2890625)
+(173,2,36.3828125)
+(174,2,36.2109375)
+(175,2,36.48046875)
+(176,2,36.2265625)
+(177,2,36.203125)
+(178,2,36.890625)
+(179,2,36.73046875)
+(180,2,35.72265625)
+(181,2,36.390625)
+(182,2,36.00390625)
+(183,2,37.703125)
+(184,2,36.12109375)
+(185,2,36.49609375)
+(186,2,37.28125)
+(187,2,37.42578125)
+(188,2,36.50390625)
+(189,2,36.94921875)
+(190,2,36.66796875)
+(191,2,37.03125)
+(192,2,36.375)
+(193,2,38.5546875)
+(194,2,37.58984375)
+(195,2,37.0234375)
+(196,2,37.1484375)
+(197,2,37.0234375)
+(198,2,38.015625)
+(199,2,37.1328125)
+(200,2,36.80859375)

results/bench_rsc_F4_time.log

@@ -1,101 +1,201 @@
-(1,2,0.031339000000000006)
+(1,2,0.031949000000000005)
-(10,2,0.167431)
+(1,2,0.032371999999999956)
-(20,2,0.32476)
+(2,2,0.042418999999999984)
-(30,2,0.5485329999999999)
+(3,2,0.05679299999999998)
-(40,2,0.7223409999999999)
+(4,2,0.07177)
-(50,2,0.8121459999999999)
+(5,2,0.08763399999999999)
-(60,2,0.9832810000000001)
+(6,2,0.10328700000000002)
-(70,2,1.154856)
+(7,2,0.11806499999999998)
-(80,2,1.316818)
+(8,2,0.131253)
-(90,2,1.5089679999999999)
+(9,2,0.14830100000000002)
-(100,2,1.6354380000000002)
+(10,2,0.16237800000000002)
-(110,2,1.8757229999999998)
+(11,2,0.182274)
-(120,2,2.0785180000000003)
+(12,2,0.19932)
-(130,2,2.196883)
+(13,2,0.20925900000000003)
-(140,2,2.537385)
+(14,2,0.228551)
-(150,2,2.592203)
+(15,2,0.24287299999999995)
-(160,2,2.7901860000000003)
+(16,2,0.261895)
-(170,2,2.9529479999999997)
+(17,2,0.27579499999999996)
-(180,2,3.216022)
+(18,2,0.29283800000000004)
-(190,2,3.4434340000000003)
+(19,2,0.299553)
-(200,2,3.539466)
+(20,2,0.32775600000000005)
-(210,2,3.7972889999999997)
+(21,2,0.335942)
-(220,2,3.9666559999999995)
+(22,2,0.353597)
-(230,2,4.219079)
+(23,2,0.37725899999999996)
-(240,2,4.351466)
+(24,2,0.38193)
-(250,2,4.668697)
+(25,2,0.403409)
-(260,2,4.7932)
+(26,2,0.408907)
-(270,2,5.0532140000000005)
+(27,2,0.44364999999999993)
-(280,2,5.245528999999999)
+(28,2,0.444983)
-(290,2,5.507549999999999)
+(29,2,0.461358)
-(300,2,5.689488)
+(30,2,0.471223)
-(310,2,5.919834000000001)
+(31,2,0.498863)
-(320,2,6.146713999999999)
+(32,2,0.5302009999999999)
-(330,2,6.294786)
+(33,2,0.525434)
-(340,2,6.6117799999999995)
+(34,2,0.547585)
-(350,2,6.912327)
+(35,2,0.57752)
-(360,2,7.202525)
+(36,2,0.573056)
-(370,2,7.289733)
+(37,2,0.593123)
-(380,2,7.57217)
+(38,2,0.596622)
-(390,2,7.835519)
+(39,2,0.622981)
-(400,2,8.075141)
+(40,2,0.6291880000000001)
-(410,2,8.255545)
+(41,2,0.645686)
-(420,2,8.561591)
+(42,2,0.67225)
-(430,2,8.858491)
+(43,2,0.704834)
-(440,2,9.348931)
+(44,2,0.730691)
-(450,2,9.386071000000001)
+(45,2,0.728046)
-(460,2,9.590392999999999)
+(46,2,0.730488)
-(470,2,10.038708)
+(47,2,0.762926)
-(480,2,10.31168)
+(48,2,0.786749)
-(490,2,10.363795)
+(49,2,0.7813759999999998)
-(500,2,10.851377000000001)
+(50,2,0.7983390000000001)
-(510,2,10.959685)
+(51,2,0.8055220000000001)
-(520,2,11.285992)
+(52,2,0.840663)
-(530,2,11.538215)
+(53,2,0.872603)
-(540,2,11.667814)
+(54,2,0.9370580000000001)
-(550,2,12.241501)
+(55,2,0.8752739999999999)
-(560,2,12.374320999999998)
+(56,2,0.886636)
-(570,2,12.586005)
+(57,2,0.902436)
-(580,2,12.796159)
+(58,2,0.938633)
-(590,2,13.117327)
+(59,2,0.955703)
-(600,2,13.634322)
+(60,2,0.9736879999999999)
-(610,2,13.627723)
+(61,2,0.99184)
-(620,2,14.204378)
+(62,2,0.9889009999999999)
-(630,2,14.726391)
+(63,2,1.0237589999999999)
-(640,2,14.706643000000001)
+(64,2,1.0313839999999999)
-(650,2,15.253428999999999)
+(65,2,1.051083)
-(660,2,15.226337)
+(66,2,1.066513)
-(670,2,15.839564)
+(67,2,1.0682989999999999)
-(680,2,15.929241999999999)
+(68,2,1.117143)
-(690,2,16.24747)
+(69,2,1.138098)
-(700,2,16.497282000000002)
+(70,2,1.129817)
-(710,2,16.859923)
+(71,2,1.136953)
-(720,2,17.448531000000003)
+(72,2,1.210315)
-(730,2,17.949126)
+(73,2,1.1773330000000002)
-(740,2,18.228772)
+(74,2,1.223935)
-(750,2,18.330467)
+(75,2,1.219277)
-(760,2,19.077368999999997)
+(76,2,1.2331050000000001)
-(770,2,18.857393000000002)
+(77,2,1.255507)
-(780,2,19.134698)
+(78,2,1.254042)
-(790,2,19.346546)
+(79,2,1.3109909999999998)
-(800,2,19.899245)
+(80,2,1.31335)
-(810,2,20.096031)
+(81,2,1.316358)
-(820,2,20.442881)
+(82,2,1.3471279999999999)
-(830,2,21.055594)
+(83,2,1.3412979999999999)
-(840,2,21.297496000000002)
+(84,2,1.380463)
-(850,2,21.521601999999998)
+(85,2,1.395926)
-(860,2,21.847417999999998)
+(86,2,1.372005)
-(870,2,22.585558)
+(87,2,1.398109)
-(880,2,22.623686)
+(88,2,1.428951)
-(890,2,22.914807)
+(89,2,1.4755530000000001)
-(900,2,23.072204)
+(90,2,1.482522)
-(910,2,23.792908999999998)
+(91,2,1.493392)
-(920,2,24.185031000000002)
+(92,2,1.520458)
-(930,2,24.562278000000003)
+(93,2,1.522135)
-(940,2,24.96753)
+(94,2,1.572234)
-(950,2,25.533048)
+(95,2,1.560136)
-(960,2,25.525367)
+(96,2,1.5959089999999998)
-(970,2,26.751138)
+(97,2,1.610426)
-(980,2,26.353122)
+(98,2,1.6158409999999999)
-(990,2,26.986158)
+(99,2,1.6338059999999999)
-(1000,2,27.628349)
+(100,2,1.683944)
+(101,2,1.6592669999999998)
+(102,2,1.7397109999999998)
+(103,2,1.710729)
+(104,2,1.6918609999999998)
+(105,2,1.725589)
+(106,2,1.801777)
+(107,2,1.825493)
+(108,2,1.7968009999999999)
+(109,2,1.81667)
+(110,2,1.817206)
+(111,2,1.8342449999999997)
+(112,2,1.895908)
+(113,2,1.8939930000000003)
+(114,2,1.8974820000000001)
+(115,2,1.9207159999999996)
+(116,2,1.9918359999999997)
+(117,2,1.9627220000000003)
+(118,2,1.994485)
+(119,2,1.996348)
+(120,2,1.986861)
+(121,2,2.0372899999999996)
+(122,2,2.1027329999999997)
+(123,2,2.0327970000000004)
+(124,2,2.0808980000000004)
+(125,2,2.088829)
+(126,2,2.1350309999999997)
+(127,2,2.155789)
+(128,2,2.1901669999999998)
+(129,2,2.1649380000000003)
+(130,2,2.250346)
+(131,2,2.172716)
+(132,2,2.302965)
+(133,2,2.274295)
+(134,2,2.279514)
+(135,2,2.27182)
+(136,2,2.289752)
+(137,2,2.3388079999999998)
+(138,2,2.3494379999999997)
+(139,2,2.391004)
+(140,2,2.362909)
+(141,2,2.440654)
+(142,2,2.398936)
+(143,2,2.474907)
+(144,2,2.459066)
+(145,2,2.4941839999999997)
+(146,2,2.50317)
+(147,2,2.58521)
+(148,2,2.5427500000000003)
+(149,2,2.5652749999999997)
+(150,2,2.5540450000000003)
+(151,2,2.6013390000000003)
+(152,2,2.604031)
+(153,2,2.609268)
+(154,2,2.6218030000000003)
+(155,2,2.637218)
+(156,2,2.64781)
+(157,2,2.700469)
+(158,2,2.719156)
+(159,2,2.6847909999999997)
+(160,2,2.817515)
+(161,2,2.7758879999999997)
+(162,2,2.827362)
+(163,2,2.796788)
+(164,2,2.888413)
+(165,2,2.877837)
+(166,2,2.853792)
+(167,2,2.905274)
+(168,2,2.854655)
+(169,2,2.9159420000000003)
+(170,2,2.901703)
+(171,2,2.9526760000000003)
+(172,2,3.199299)
+(173,2,3.1220480000000004)
+(174,2,3.242108)
+(175,2,3.046696)
+(176,2,3.075728)
+(177,2,3.151093)
+(178,2,3.1079019999999997)
+(179,2,3.116132)
+(180,2,3.14569)
+(181,2,3.194776)
+(182,2,3.200132)
+(183,2,3.170222)
+(184,2,3.195119)
+(185,2,3.232755)
+(186,2,3.255746)
+(187,2,3.2914060000000003)
+(188,2,3.30929)
+(189,2,3.3661049999999997)
+(190,2,3.3787200000000004)
+(191,2,3.3198459999999996)
+(192,2,3.367403)
+(193,2,3.3590540000000004)
+(194,2,3.394081)
+(195,2,3.490749)
+(196,2,3.465154)
+(197,2,3.583093)
+(198,2,3.4961)
+(199,2,3.533479)
+(200,2,3.4698119999999997)

results/bench_rsc_F5_mem.log

@@ -0,0 +1,82 @@
+(2,2,31.734375)
+(3,2,30.12890625)
+(4,2,30.55859375)
+(5,2,28.20703125)
+(6,2,29.9375)
+(7,2,29.7265625)
+(8,2,28.57421875)
+(9,2,28.80859375)
+(10,2,30.89453125)
+(11,2,30.0390625)
+(12,2,32.03515625)
+(13,2,29.9375)
+(14,2,31.55078125)
+(15,2,30.6953125)
+(16,2,29.81640625)
+(17,2,28.94921875)
+(18,2,30.546875)
+(19,2,29.1875)
+(20,2,32.28515625)
+(21,2,29.453125)
+(22,2,31.375)
+(23,2,30.98046875)
+(24,2,31.83984375)
+(25,2,30.4453125)
+(26,2,30.98828125)
+(27,2,30.578125)
+(28,2,31.8828125)
+(29,2,30.3046875)
+(30,2,32.9765625)
+(31,2,31.63671875)
+(32,2,32.19921875)
+(33,2,31.234375)
+(34,2,32.23046875)
+(35,2,32.05859375)
+(36,2,30.95703125)
+(37,2,33.55078125)
+(38,2,31.26171875)
+(39,2,32.546875)
+(40,2,33.1875)
+(41,2,33.35546875)
+(42,2,33.49609375)
+(43,2,31.53515625)
+(44,2,33.13671875)
+(45,2,32.36328125)
+(46,2,32.1875)
+(47,2,34.01171875)
+(48,2,33.92578125)
+(49,2,32.4453125)
+(50,2,34.48828125)
+(51,2,33.75)
+(52,2,33.08203125)
+(53,2,33.484375)
+(54,2,33.83203125)
+(55,2,32.4296875)
+(56,2,32.6640625)
+(57,2,32.890625)
+(58,2,33.16796875)
+(59,2,34.43359375)
+(60,2,33.19140625)
+(61,2,32.96875)
+(62,2,33.1953125)
+(63,2,33.49609375)
+(64,2,34.25390625)
+(65,2,35.14453125)
+(66,2,34.59375)
+(67,2,33.671875)
+(68,2,33.80859375)
+(69,2,34.5078125)
+(70,2,35.08203125)
+(71,2,35.61328125)
+(72,2,34.6328125)
+(73,2,34.18359375)
+(74,2,34.5703125)
+(75,2,34.76953125)
+(76,2,36.1328125)
+(77,2,35.81640625)
+(78,2,34.70703125)
+(79,2,35.875)
+(80,2,35.5)
+(81,2,35.2421875)
+(82,2,35.42578125)
+(83,2,35.68359375)

results/bench_rsc_F5_time.log

@@ -0,0 +1,82 @@
+(2,2,0.07453399999999999)
+(3,2,0.10217900000000002)
+(4,2,0.132685)
+(5,2,0.16060999999999998)
+(6,2,0.189023)
+(7,2,0.222161)
+(8,2,0.24887399999999998)
+(9,2,0.28024699999999997)
+(10,2,0.319628)
+(11,2,0.34973899999999997)
+(12,2,0.374602)
+(13,2,0.413369)
+(14,2,0.43318799999999996)
+(15,2,0.460381)
+(16,2,0.47890699999999997)
+(17,2,0.508045)
+(18,2,0.551122)
+(19,2,0.576052)
+(20,2,0.60478)
+(21,2,0.6452579999999999)
+(22,2,0.6815329999999999)
+(23,2,0.698673)
+(24,2,0.743004)
+(25,2,0.7489830000000002)
+(26,2,0.7813570000000001)
+(27,2,0.8174480000000001)
+(28,2,0.8519140000000001)
+(29,2,0.8952090000000001)
+(30,2,0.9381570000000001)
+(31,2,0.948466)
+(32,2,0.995263)
+(33,2,0.9913479999999999)
+(34,2,1.0265179999999998)
+(35,2,1.060526)
+(36,2,1.0788349999999998)
+(37,2,1.117032)
+(38,2,1.140177)
+(39,2,1.1732399999999998)
+(40,2,1.222688)
+(41,2,1.2564350000000002)
+(42,2,1.304872)
+(43,2,1.3174929999999998)
+(44,2,1.3424699999999998)
+(45,2,1.355537)
+(46,2,1.3972639999999998)
+(47,2,1.407734)
+(48,2,1.5084089999999999)
+(49,2,1.542886)
+(50,2,1.541812)
+(51,2,1.553215)
+(52,2,1.566058)
+(53,2,1.619858)
+(54,2,1.625264)
+(55,2,1.6549049999999998)
+(56,2,1.755759)
+(57,2,1.7453239999999999)
+(58,2,1.778888)
+(59,2,1.797225)
+(60,2,1.871143)
+(61,2,1.9127429999999999)
+(62,2,1.896001)
+(63,2,1.925329)
+(64,2,1.980349)
+(65,2,2.003449)
+(66,2,2.007288)
+(67,2,2.069068)
+(68,2,2.093686)
+(69,2,2.1368050000000003)
+(70,2,2.160603)
+(71,2,2.222004)
+(72,2,2.226427)
+(73,2,2.295569)
+(74,2,2.300322)
+(75,2,2.316086)
+(76,2,2.37671)
+(77,2,2.4249549999999997)
+(78,2,2.4902729999999997)
+(79,2,2.4132999999999996)
+(80,2,2.483283)
+(81,2,2.5726679999999997)
+(82,2,2.582552)
+(83,2,2.569209)