benchmark-json-prettify.txt

> time cat dict-revised.json > /dev/null
cat dict-revised.json > /dev/null  0.00s user 0.04s system 41% cpu 0.116 total

> cat dict-revised.json | time json_reformat > /dev/null
json_reformat > /dev/null  0.77s user 0.01s system 99% cpu 0.787 total

> cat dict-revised.json | time json-print > /dev/null
json-print > /dev/null  50.82s user 0.50s system 99% cpu 51.736 total

> cat dict-revised.json | time json-print2 > /dev/null
json-print2 > /dev/null  28.15s user 0.16s system 98% cpu 28.669 total

> cat dict-revised.json | time json_pp > /dev/null
json_pp > /dev/null  112.98s user 1.21s system 99% cpu 1:54.98 total

> cat dict-revised.json | time json_xs > /dev/null
json_xs > /dev/null  1.80s user 0.40s system 98% cpu 2.237 total