Skip to content

Instantly share code, notes, and snippets.

@Lysxia

Lysxia/lts-11.22-ghc-8.2.2

Created June 23, 2019 23:59
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save Lysxia/a8c1825f6a946f2196677082f02582e1 to your computer and use it in GitHub Desktop.
Save Lysxia/a8c1825f6a946f2196677082f02582e1 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
lts-11.22-ghc-8.2.2
json-data/twitter1.json :: 60000 times json-data/twitter1.json :: 60000 times
1.152 seconds, 52086 parses/sec, 42.471 MB/sec 1.152 seconds, 52104 parses/sec, 42.485 MB/sec
json-data/twitter1.json :: 60000 times json-data/twitter1.json :: 60000 times
1.160 seconds, 51706 parses/sec, 42.161 MB/sec 1.149 seconds, 52233 parses/sec, 42.591 MB/sec
json-data/twitter1.json :: 60000 times json-data/twitter1.json :: 60000 times
1.155 seconds, 51930 parses/sec, 42.344 MB/sec 1.150 seconds, 52168 parses/sec, 42.538 MB/sec
0.8 KB: 52086 msg\/sec (42.5 MB\/sec) 0.8 KB: 52234 msg\/sec (42.6 MB\/sec)
json-data/twitter10.json :: 13000 times json-data/twitter10.json :: 13000 times
1.314 seconds, 9890 parses/sec, 62.198 MB/sec 1.299 seconds, 10003 parses/sec, 62.910 MB/sec
json-data/twitter10.json :: 13000 times json-data/twitter10.json :: 13000 times
1.308 seconds, 9938 parses/sec, 62.499 MB/sec 1.309 seconds, 9934 parses/sec, 62.474 MB/sec
json-data/twitter10.json :: 13000 times json-data/twitter10.json :: 13000 times
1.314 seconds, 9893 parses/sec, 62.214 MB/sec 1.303 seconds, 9977 parses/sec, 62.746 MB/sec
6.4 KB: 9939 msg\/sec (62.5 MB\/sec) 6.4 KB: 10004 msg\/sec (62.9 MB\/sec)
json-data/twitter20.json :: 7500 times json-data/twitter20.json :: 7500 times
1.493 seconds, 5022 parses/sec, 57.799 MB/sec 1.486 seconds, 5046 parses/sec, 58.085 MB/sec
json-data/twitter20.json :: 7500 times json-data/twitter20.json :: 7500 times
1.492 seconds, 5026 parses/sec, 57.849 MB/sec 1.477 seconds, 5077 parses/sec, 58.438 MB/sec
json-data/twitter20.json :: 7500 times json-data/twitter20.json :: 7500 times
1.498 seconds, 5007 parses/sec, 57.629 MB/sec 1.479 seconds, 5072 parses/sec, 58.378 MB/sec
11.8 KB: 5026 msg\/sec (57.8 MB\/sec) 11.8 KB: 5078 msg\/sec (58.4 MB\/sec)
json-data/twitter50.json :: 2500 times json-data/twitter50.json :: 2500 times
1.377 seconds, 1815 parses/sec, 55.304 MB/sec 1.369 seconds, 1826 parses/sec, 55.640 MB/sec
json-data/twitter50.json :: 2500 times json-data/twitter50.json :: 2500 times
1.372 seconds, 1822 parses/sec, 55.523 MB/sec 1.359 seconds, 1839 parses/sec, 56.056 MB/sec
json-data/twitter50.json :: 2500 times json-data/twitter50.json :: 2500 times
1.372 seconds, 1821 parses/sec, 55.511 MB/sec 1.368 seconds, 1827 parses/sec, 55.675 MB/sec
31.2 KB: 1822 msg\/sec (55.5 MB\/sec) 31.2 KB: 1840 msg\/sec (56.1 MB\/sec)
json-data/twitter100.json :: 1000 times json-data/twitter100.json :: 1000 times
1.215 seconds, 822 parses/sec, 49.441 MB/sec 1.206 seconds, 829 parses/sec, 49.826 MB/sec
json-data/twitter100.json :: 1000 times json-data/twitter100.json :: 1000 times
1.213 seconds, 824 parses/sec, 49.541 MB/sec 1.203 seconds, 831 parses/sec, 49.944 MB/sec
json-data/twitter100.json :: 1000 times json-data/twitter100.json :: 1000 times
1.214 seconds, 823 parses/sec, 49.502 MB/sec 1.206 seconds, 829 parses/sec, 49.832 MB/sec
61.5 KB: 825 msg\/sec (49.5 MB\/sec) 61.5 KB: 831 msg\/sec (49.9 MB\/sec)
json-data/jp10.json :: 4000 times json-data/jp10.json :: 4000 times
1.112 seconds, 3598 parses/sec, 51.421 MB/sec 1.117 seconds, 3580 parses/sec, 51.162 MB/sec
json-data/jp10.json :: 4000 times json-data/jp10.json :: 4000 times
1.122 seconds, 3564 parses/sec, 50.928 MB/sec 1.109 seconds, 3606 parses/sec, 51.540 MB/sec
json-data/jp10.json :: 4000 times json-data/jp10.json :: 4000 times
1.115 seconds, 3588 parses/sec, 51.282 MB/sec 1.117 seconds, 3579 parses/sec, 51.152 MB/sec
14.6 KB: 3599 msg\/sec (51.4 MB\/sec) 14.6 KB: 3607 msg\/sec (51.5 MB\/sec)
json-data/jp50.json :: 1200 times json-data/jp50.json :: 1200 times
1.131 seconds, 1061 parses/sec, 45.686 MB/sec 1.123 seconds, 1068 parses/sec, 46.005 MB/sec
json-data/jp50.json :: 1200 times json-data/jp50.json :: 1200 times
1.131 seconds, 1060 parses/sec, 45.670 MB/sec 1.124 seconds, 1067 parses/sec, 45.972 MB/sec
json-data/jp50.json :: 1200 times json-data/jp50.json :: 1200 times
1.127 seconds, 1064 parses/sec, 45.822 MB/sec 1.129 seconds, 1062 parses/sec, 45.746 MB/sec
44.1 KB: 1064 msg\/sec (45.8 MB\/sec) 44.1 KB: 1069 msg\/sec (46.0 MB\/sec)
json-data/jp100.json :: 700 times json-data/jp100.json :: 700 times
1.318 seconds, 530 parses/sec, 42.977 MB/sec 1.317 seconds, 531 parses/sec, 43.029 MB/sec
json-data/jp100.json :: 700 times json-data/jp100.json :: 700 times
1.329 seconds, 526 parses/sec, 42.640 MB/sec 1.319 seconds, 530 parses/sec, 42.959 MB/sec
json-data/jp100.json :: 700 times json-data/jp100.json :: 700 times
1.329 seconds, 526 parses/sec, 42.620 MB/sec 1.309 seconds, 534 parses/sec, 43.275 MB/sec
82.9 KB: 531 msg\/sec (43.0 MB\/sec) 82.9 KB: 535 msg\/sec (43.3 MB\/sec)
Raw
lts-12.26-ghc-8.4.4
json-data/twitter1.json :: 60000 times json-data/twitter1.json :: 60000 times
1.013 seconds, 59218 parses/sec, 48.287 MB/sec 1.096 seconds, 54760 parses/sec, 44.651 MB/sec
json-data/twitter1.json :: 60000 times json-data/twitter1.json :: 60000 times
1.018 seconds, 58952 parses/sec, 48.069 MB/sec 1.005 seconds, 59720 parses/sec, 48.695 MB/sec
json-data/twitter1.json :: 60000 times json-data/twitter1.json :: 60000 times
1.008 seconds, 59517 parses/sec, 48.530 MB/sec 1.002 seconds, 59854 parses/sec, 48.805 MB/sec
0.8 KB: 59517 msg\/sec (48.5 MB\/sec) 0.8 KB: 59855 msg\/sec (48.8 MB\/sec)
json-data/twitter10.json :: 13000 times json-data/twitter10.json :: 13000 times
1.048 seconds, 12409 parses/sec, 78.036 MB/sec 1.062 seconds, 12236 parses/sec, 76.947 MB/sec
json-data/twitter10.json :: 13000 times json-data/twitter10.json :: 13000 times
1.052 seconds, 12355 parses/sec, 77.701 MB/sec 1.054 seconds, 12332 parses/sec, 77.553 MB/sec
json-data/twitter10.json :: 13000 times json-data/twitter10.json :: 13000 times
1.061 seconds, 12255 parses/sec, 77.069 MB/sec 1.055 seconds, 12318 parses/sec, 77.468 MB/sec
6.4 KB: 12409 msg\/sec (78.0 MB\/sec) 6.4 KB: 12333 msg\/sec (77.6 MB\/sec)
json-data/twitter20.json :: 7500 times json-data/twitter20.json :: 7500 times
1.210 seconds, 6200 parses/sec, 71.364 MB/sec 1.221 seconds, 6141 parses/sec, 70.686 MB/sec
json-data/twitter20.json :: 7500 times json-data/twitter20.json :: 7500 times
1.208 seconds, 6211 parses/sec, 71.484 MB/sec 1.224 seconds, 6126 parses/sec, 70.505 MB/sec
json-data/twitter20.json :: 7500 times json-data/twitter20.json :: 7500 times
1.217 seconds, 6162 parses/sec, 70.920 MB/sec 1.214 seconds, 6176 parses/sec, 71.088 MB/sec
11.8 KB: 6211 msg\/sec (71.5 MB\/sec) 11.8 KB: 6177 msg\/sec (71.1 MB\/sec)
json-data/twitter50.json :: 2500 times json-data/twitter50.json :: 2500 times
1.132 seconds, 2208 parses/sec, 67.288 MB/sec 1.124 seconds, 2224 parses/sec, 67.786 MB/sec
json-data/twitter50.json :: 2500 times json-data/twitter50.json :: 2500 times
1.131 seconds, 2210 parses/sec, 67.352 MB/sec 1.130 seconds, 2212 parses/sec, 67.415 MB/sec
json-data/twitter50.json :: 2500 times json-data/twitter50.json :: 2500 times
1.136 seconds, 2199 parses/sec, 67.031 MB/sec 1.134 seconds, 2204 parses/sec, 67.161 MB/sec
31.2 KB: 2211 msg\/sec (67.4 MB\/sec) 31.2 KB: 2225 msg\/sec (67.8 MB\/sec)
json-data/twitter100.json :: 1000 times json-data/twitter100.json :: 1000 times
1.022 seconds, 978 parses/sec, 58.789 MB/sec 1.030 seconds, 970 parses/sec, 58.322 MB/sec
json-data/twitter100.json :: 1000 times json-data/twitter100.json :: 1000 times
1.020 seconds, 980 parses/sec, 58.925 MB/sec 1.024 seconds, 976 parses/sec, 58.686 MB/sec
json-data/twitter100.json :: 1000 times json-data/twitter100.json :: 1000 times
1.022 seconds, 978 parses/sec, 58.793 MB/sec 1.028 seconds, 972 parses/sec, 58.455 MB/sec
61.5 KB: 981 msg\/sec (58.9 MB\/sec) 61.5 KB: 977 msg\/sec (58.7 MB\/sec)
json-data/jp10.json :: 4000 times json-data/jp10.json :: 4000 times
0.965 seconds, 4145 parses/sec, 59.235 MB/sec 0.927 seconds, 4312 parses/sec, 61.626 MB/sec
json-data/jp10.json :: 4000 times json-data/jp10.json :: 4000 times
0.963 seconds, 4153 parses/sec, 59.353 MB/sec 0.922 seconds, 4336 parses/sec, 61.965 MB/sec
json-data/jp10.json :: 4000 times json-data/jp10.json :: 4000 times
0.967 seconds, 4136 parses/sec, 59.099 MB/sec 0.930 seconds, 4300 parses/sec, 61.444 MB/sec
14.6 KB: 4154 msg\/sec (59.4 MB\/sec) 14.6 KB: 4337 msg\/sec (62.0 MB\/sec)
json-data/jp50.json :: 1200 times json-data/jp50.json :: 1200 times
0.998 seconds, 1202 parses/sec, 51.754 MB/sec 0.957 seconds, 1254 parses/sec, 53.986 MB/sec
json-data/jp50.json :: 1200 times json-data/jp50.json :: 1200 times
0.998 seconds, 1202 parses/sec, 51.789 MB/sec 0.957 seconds, 1253 parses/sec, 53.971 MB/sec
json-data/jp50.json :: 1200 times json-data/jp50.json :: 1200 times
0.988 seconds, 1214 parses/sec, 52.269 MB/sec 0.960 seconds, 1249 parses/sec, 53.792 MB/sec
44.1 KB: 1214 msg\/sec (52.3 MB\/sec) 44.1 KB: 1254 msg\/sec (54.0 MB\/sec)
json-data/jp100.json :: 700 times json-data/jp100.json :: 700 times
1.176 seconds, 595 parses/sec, 48.165 MB/sec 1.132 seconds, 618 parses/sec, 50.072 MB/sec
json-data/jp100.json :: 700 times json-data/jp100.json :: 700 times
1.163 seconds, 602 parses/sec, 48.732 MB/sec 1.148 seconds, 609 parses/sec, 49.345 MB/sec
json-data/jp100.json :: 700 times json-data/jp100.json :: 700 times
1.175 seconds, 595 parses/sec, 48.203 MB/sec 1.139 seconds, 614 parses/sec, 49.765 MB/sec
82.9 KB: 602 msg\/sec (48.7 MB\/sec) 82.9 KB: 619 msg\/sec (50.1 MB\/sec)
Raw
lts-13.26-ghc-8.6.5
json-data/twitter1.json :: 60000 times json-data/twitter1.json :: 60000 times
1.085 seconds, 55310 parses/sec, 45.099 MB/sec 1.146 seconds, 52352 parses/sec, 42.688 MB/sec
json-data/twitter1.json :: 60000 times json-data/twitter1.json :: 60000 times
1.074 seconds, 55856 parses/sec, 45.545 MB/sec 1.079 seconds, 55608 parses/sec, 45.343 MB/sec
json-data/twitter1.json :: 60000 times json-data/twitter1.json :: 60000 times
1.074 seconds, 55862 parses/sec, 45.550 MB/sec 1.080 seconds, 55577 parses/sec, 45.318 MB/sec
0.8 KB: 55863 msg\/sec (45.5 MB\/sec) 0.8 KB: 55609 msg\/sec (45.3 MB\/sec)
json-data/twitter10.json :: 13000 times json-data/twitter10.json :: 13000 times
1.134 seconds, 11467 parses/sec, 72.116 MB/sec 1.132 seconds, 11482 parses/sec, 72.209 MB/sec
json-data/twitter10.json :: 13000 times json-data/twitter10.json :: 13000 times
1.138 seconds, 11422 parses/sec, 71.828 MB/sec 1.128 seconds, 11522 parses/sec, 72.461 MB/sec
json-data/twitter10.json :: 13000 times json-data/twitter10.json :: 13000 times
1.137 seconds, 11435 parses/sec, 71.911 MB/sec 1.139 seconds, 11412 parses/sec, 71.771 MB/sec
6.4 KB: 11468 msg\/sec (72.1 MB\/sec) 6.4 KB: 11523 msg\/sec (72.5 MB\/sec)
json-data/twitter20.json :: 7500 times json-data/twitter20.json :: 7500 times
1.289 seconds, 5818 parses/sec, 66.960 MB/sec 1.291 seconds, 5808 parses/sec, 66.854 MB/sec
json-data/twitter20.json :: 7500 times json-data/twitter20.json :: 7500 times
1.294 seconds, 5796 parses/sec, 66.709 MB/sec 1.289 seconds, 5819 parses/sec, 66.975 MB/sec
json-data/twitter20.json :: 7500 times json-data/twitter20.json :: 7500 times
1.291 seconds, 5808 parses/sec, 66.853 MB/sec 1.281 seconds, 5854 parses/sec, 67.380 MB/sec
11.8 KB: 5818 msg\/sec (67.0 MB\/sec) 11.8 KB: 5855 msg\/sec (67.4 MB\/sec)
json-data/twitter50.json :: 2500 times json-data/twitter50.json :: 2500 times
1.184 seconds, 2111 parses/sec, 64.329 MB/sec 1.182 seconds, 2115 parses/sec, 64.463 MB/sec
json-data/twitter50.json :: 2500 times json-data/twitter50.json :: 2500 times
1.187 seconds, 2105 parses/sec, 64.162 MB/sec 1.194 seconds, 2093 parses/sec, 63.779 MB/sec
json-data/twitter50.json :: 2500 times json-data/twitter50.json :: 2500 times
1.190 seconds, 2101 parses/sec, 64.035 MB/sec 1.186 seconds, 2107 parses/sec, 64.209 MB/sec
31.2 KB: 2111 msg\/sec (64.3 MB\/sec) 31.2 KB: 2116 msg\/sec (64.5 MB\/sec)
json-data/twitter100.json :: 1000 times json-data/twitter100.json :: 1000 times
1.061 seconds, 942 parses/sec, 56.614 MB/sec 1.067 seconds, 937 parses/sec, 56.301 MB/sec
json-data/twitter100.json :: 1000 times json-data/twitter100.json :: 1000 times
1.067 seconds, 937 parses/sec, 56.331 MB/sec 1.061 seconds, 942 parses/sec, 56.643 MB/sec
json-data/twitter100.json :: 1000 times json-data/twitter100.json :: 1000 times
1.063 seconds, 941 parses/sec, 56.535 MB/sec 1.066 seconds, 938 parses/sec, 56.374 MB/sec
61.5 KB: 942 msg\/sec (56.6 MB\/sec) 61.5 KB: 943 msg\/sec (56.6 MB\/sec)
json-data/jp10.json :: 4000 times json-data/jp10.json :: 4000 times
1.006 seconds, 3975 parses/sec, 56.801 MB/sec 1.002 seconds, 3990 parses/sec, 57.020 MB/sec
json-data/jp10.json :: 4000 times json-data/jp10.json :: 4000 times
1.009 seconds, 3965 parses/sec, 56.660 MB/sec 1.000 seconds, 3999 parses/sec, 57.145 MB/sec
json-data/jp10.json :: 4000 times json-data/jp10.json :: 4000 times
1.011 seconds, 3954 parses/sec, 56.512 MB/sec 1.000 seconds, 4000 parses/sec, 57.169 MB/sec
14.6 KB: 3975 msg\/sec (56.8 MB\/sec) 14.6 KB: 4001 msg\/sec (57.2 MB\/sec)
json-data/jp50.json :: 1200 times json-data/jp50.json :: 1200 times
1.025 seconds, 1170 parses/sec, 50.398 MB/sec 1.016 seconds, 1181 parses/sec, 50.855 MB/sec
json-data/jp50.json :: 1200 times json-data/jp50.json :: 1200 times
1.028 seconds, 1167 parses/sec, 50.245 MB/sec 1.026 seconds, 1169 parses/sec, 50.333 MB/sec
json-data/jp50.json :: 1200 times json-data/jp50.json :: 1200 times
1.031 seconds, 1164 parses/sec, 50.122 MB/sec 1.021 seconds, 1175 parses/sec, 50.615 MB/sec
44.1 KB: 1171 msg\/sec (50.4 MB\/sec) 44.1 KB: 1181 msg\/sec (50.9 MB\/sec)
json-data/jp100.json :: 700 times json-data/jp100.json :: 700 times
1.198 seconds, 584 parses/sec, 47.286 MB/sec 1.181 seconds, 592 parses/sec, 47.987 MB/sec
json-data/jp100.json :: 700 times json-data/jp100.json :: 700 times
1.192 seconds, 587 parses/sec, 47.553 MB/sec 1.188 seconds, 589 parses/sec, 47.704 MB/sec
json-data/jp100.json :: 700 times json-data/jp100.json :: 700 times
1.195 seconds, 585 parses/sec, 47.414 MB/sec 1.183 seconds, 591 parses/sec, 47.896 MB/sec
82.9 KB: 587 msg\/sec (47.6 MB\/sec) 82.9 KB: 593 msg\/sec (48.0 MB\/sec)
@Lysxia
Copy link
Author

Lysxia commented Jun 24, 2019

Pre-#714 left, Post #717 right.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment