In the attached files are the results recorded after running the benchmark with the 2022 version of modest ("results-interleaved-given.txt") and the latest version of the modest toolset from the master branch ("results-interleaved-compiled.txt"). The current version fails to pass most of the tests. The attached "run-p-test.json" contains the configuration of the benchmark. [results-interleaved-given.txt](/uploads/b4d08bd439b884c1461c0e3af553cbf1/results-interleaved-given.txt) [results-interleaved-compiled.txt](/uploads/eb3207e759a35136480cb85cf12d167f/results-interleaved-compiled.txt) [run-p-test.json](/uploads/14aee3d558681cd6b3f833c6ef52104b/run-p-test.json)