
no contracts
trusted lexer
avg of 5 runs: 2111.2000
stdev: .0149
untrusted lexer
avg of 5 runs: 2111.2000
stdev: .0133
with contracts
trusted lexer
avg of 5 runs: 2495.2000
stdev: .0083
untrusted lexer
avg of 5 runs: 2505.6000
stdev: .0097
with options
trusted lexer
avg of 5 runs: 2109.6000
stdev: .0104
untrusted lexer
avg of 5 runs: 2395.2000
stdev: .0095
