diff --git a/dev/bench/data.js b/dev/bench/data.js
index cc8aeb81c..a934befd4 100644
--- a/dev/bench/data.js
+++ b/dev/bench/data.js
@@ -1,5 +1,5 @@
 window.BENCHMARK_DATA = {
-  "lastUpdate": 1739948992511,
+  "lastUpdate": 1739954365358,
   "repoUrl": "https://github.com/rems-project/cerberus",
   "entries": {
     "CN Benchmarks": [
@@ -249108,6 +249108,1724 @@ window.BENCHMARK_DATA = {
             }
           ]
         }
+      },
+      {
+        "commit": {
+          "author": {
+            "email": "vz231@cl.cam.ac.uk",
+            "name": "Vadim Zaliva",
+            "username": "vzaliva"
+          },
+          "committer": {
+            "email": "noreply@github.com",
+            "name": "GitHub",
+            "username": "web-flow"
+          },
+          "distinct": true,
+          "id": "fe137a7f9fd7b1fb530a48a9cdac9b1244fb3d93",
+          "message": "Resource inference logging (with Coq export) (#878)\n\n* first native implementation of resource inference logging\n\n* printing resouece inference types. attempt to print steps.\n\n* debugging resource inference logging\n\n* switching to non-monadic inference logging\n\n* command line flag to run with dune\n\n* Split MuCore into Cerberus and Cn. Coq types for proof logging (incomplete).\n\n* fixed non-dune test branch\n\n* more CN types needed for proof logging\n\n* cosmetics: removed type indirection\n\n* optional steps printing (disabled for now)\n\n* \"globals\" pretty printer\n\n* cn --coq-proof-log option. -p run-cn-coq.sh option.\n\n* debugging prooflog export (wip)\n\n* logging fixes\n\n* blacklist filed (because OOM) tests\n\n* verbose test output (debugging coq memory usage)\n\n* formatting fixes\n\n* optimistion to collect proof logging data only if needed.\n\n* formatting fix\n\n* restored accidentally deleted comment\n\n* post-rebase error fixed",
+          "timestamp": "2025-02-19T08:31:15Z",
+          "tree_id": "3ca10fa561f5a817493ed114414e21b98cc07abd",
+          "url": "https://github.com/rems-project/cerberus/commit/fe137a7f9fd7b1fb530a48a9cdac9b1244fb3d93"
+        },
+        "date": 1739954362379,
+        "tool": "customSmallerIsBetter",
+        "benches": {
+          "z3": [
+            {
+              "name": "Total benchmark time",
+              "value": 96.95,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/ownership_at_negative_index.c",
+              "value": 0.15,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/gnu_case_ranges.c",
+              "value": 0.15,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/fun_ptr_known.c",
+              "value": 0.69,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/fun_addrs_cn_stmt.c",
+              "value": 0.24,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/partial_init_bytes.error.c",
+              "value": 0.33,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/failing_precond.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/max_pipes.error.c",
+              "value": 4.6,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pred_def01.c",
+              "value": 0.13,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/unconstrained_ptr_eq2.error.c",
+              "value": 0.18,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/reverse.c",
+              "value": 1.36,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mergesort.c",
+              "value": 7.4,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mod_return_size.error.c",
+              "value": 2.72,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/division_precedence.c",
+              "value": 0.17,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/ptr_relop.c",
+              "value": 5.9,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/cnfunction_mismatched_args1.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/implies.c",
+              "value": 0.15,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/block_type.c",
+              "value": 0.18,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/implies2.error.c",
+              "value": 0.15,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mod.c",
+              "value": 0.2,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/null_to_int.c",
+              "value": 0.14,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/has_alloc_id_ptr_neq.c",
+              "value": 0.27,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/simple_loop.c",
+              "value": 0.14,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/alloc_create.c",
+              "value": 0.13,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/multifile/g.c",
+              "value": 1.71,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/multifile/f.c",
+              "value": 1.77,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/arrow_access.c",
+              "value": 0.31,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bad_record2.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/ptr_relop.error.c",
+              "value": 0.37,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/list_literal_type.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mod_by_0.error.c",
+              "value": 0.18,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/append.c",
+              "value": 2.57,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bad_recursion.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/ptr_diff.c",
+              "value": 12.79,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/b_xor.c",
+              "value": 0.13,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/division_with_constants.c",
+              "value": 0.19,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/max_min_consts.c",
+              "value": 0.12,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/get_from_arr.c",
+              "value": 0.22,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/split_case.c",
+              "value": 0.55,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/unary_negation.c",
+              "value": 0.1,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/implies3.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/unary_negation.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/swap_pair.c",
+              "value": 0.35,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/int_to_ptr.error.c",
+              "value": 0.21,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bad_constructor_user.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/get_from_array.c",
+              "value": 0.45,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/cnfunction_mismatched_args4.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/cnfunction_mismatched_args3.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/to_from_bytes_owned.c",
+              "value": 0.24,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/map_set.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/ptr_diff2.error.c",
+              "value": 0.21,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/ptr_diff.error.c",
+              "value": 0.34,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/cn_inline.c",
+              "value": 0.21,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mod_precedence.c",
+              "value": 0.17,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/has_alloc_id.c",
+              "value": 0.17,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mod_with_constants.c",
+              "value": 0.22,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/tag_defs.c",
+              "value": 0.13,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/gnu_ffs.c",
+              "value": 0.16,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/memcpy.c",
+              "value": 0.78,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/unsupported_flexible_array_member.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/simplify_array_shift.c",
+              "value": 0.53,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/left_shift_const.c",
+              "value": 0.18,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/tree_rev01.c",
+              "value": 0.54,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/ghost_pointer_to_bitvec_cast.c",
+              "value": 0.15,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/doubling.c",
+              "value": 0.18,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/incomplete_match.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bitwise_and.c",
+              "value": 0.13,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/missing_resource_indirect.error.c",
+              "value": 0.15,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bitwise_compl_precedence.c",
+              "value": 0.1,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/reverse.error.c",
+              "value": 1.17,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pointer_to_uintptr_t_cast.c",
+              "value": 0.12,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pred_def02.c",
+              "value": 0.12,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/use_enum.c",
+              "value": 0.11,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/increments.c",
+              "value": 1.07,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/from_bytes.error.c",
+              "value": 0.12,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/redundant_pattern.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/unsupported_union.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/lexer_hack_parse.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bitwise_and_type_right.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/cnfunction_mismatched_args2.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/list_rev01.c",
+              "value": 0.72,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/offsetof_int_const.c",
+              "value": 0.1,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/and_or_precedence.error.c",
+              "value": 0.18,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/missing_resource.error.c",
+              "value": 0.15,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/copy_alloc_id.c",
+              "value": 1.46,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/division.c",
+              "value": 0.16,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bad_function_call.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/has_alloc_id_ptr_eq2.error.c",
+              "value": 0.18,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/shift_diff_sz.c",
+              "value": 0.14,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/use_typedef.c",
+              "value": 0.11,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/has_alloc_id.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/forloop_with_decl.c",
+              "value": 0.19,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/arith_type.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/fun_ptr_extern.c",
+              "value": 0.84,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/has_alloc_id_shift.c",
+              "value": 0.32,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/before_to_bytes.error.c",
+              "value": 0.31,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/to_bytes.error.c",
+              "value": 0.12,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mutual_rec/mutual_rec2.c",
+              "value": 3.15,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mutual_rec/mutual_rec1.c",
+              "value": 0.66,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mutual_rec/mutual_rec3.c",
+              "value": 1.39,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/division_by_0.error.c",
+              "value": 0.18,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/match.c",
+              "value": 0.14,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mod_casting.c",
+              "value": 0.16,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/spec_null_shift.error.c",
+              "value": 0.15,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bitwise_and_type_left.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pointer_to_intptr_t_cast.c",
+              "value": 0.12,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pred_def03.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/builtin_ctz_val.c",
+              "value": 0.23,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/division_casting.c",
+              "value": 0.15,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/solver_crash.error.c",
+              "value": 0.18,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/duplicate_pattern_var.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/to_from_bytes_block.c",
+              "value": 0.3,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/struct_updates.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bitwise_compl_type.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/division_return_sign.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/before_from_bytes.error.c",
+              "value": 0.31,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bad_resource_var.error.c",
+              "value": 0.19,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/magic_comment_not_closed.c",
+              "value": 0.11,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pred_def04.c",
+              "value": 0.1,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mergesort_alt.c",
+              "value": 5.8,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/unconstrained_ptr_eq.error.c",
+              "value": 0.16,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/has_alloc_id_ptr_eq.error.c",
+              "value": 0.18,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/tree16/as_mutual_dt/tree16.c",
+              "value": 7.18,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/tree16/as_partial_map/tree16.c",
+              "value": 6.29,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/tree16/as_auto_mutual_dt/tree16.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/spec_after_curly_brace.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/implies_associativity.c",
+              "value": 0.1,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/alloc_token.c",
+              "value": 0.11,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mod_return_sign.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bad_record.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/type_synonym.c",
+              "value": 0.13,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/has_alloc_id_ptr_neq.error.c",
+              "value": 0.18,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bad_col.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/b_or.c",
+              "value": 0.13,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pointer_to_unsigned_int_cast.error.c",
+              "value": 0.13,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/inconsistent2.error.c",
+              "value": 0.05,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bitwise_compl.c",
+              "value": 0.13,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/failing_postcond.error.c",
+              "value": 0.13,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/implies_precedence.c",
+              "value": 0.13,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pointer_to_int_cast.error.c",
+              "value": 0.12,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/int_to_ptr.c",
+              "value": 0.15,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pointer_to_char_cast.error.c",
+              "value": 0.23,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pointer_to_char_cast.c",
+              "value": 0.18,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/merging_arrays.error.c",
+              "value": 0.31,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/gnu_choose.c",
+              "value": 0.17,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/copy_alloc_id.error.c",
+              "value": 0.28,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/disj_nonnull.c",
+              "value": 0.49,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/inconsistent.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/gnu_ctz.c",
+              "value": 0.14,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/duplicate_datatype_var.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/swap.c",
+              "value": 0.31,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/create_rdonly.c",
+              "value": 0.17,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/spec_null_shift.c",
+              "value": 0.13,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/previously_inconsistent_assumptions2.c",
+              "value": 0.16,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/extract_verbose.c",
+              "value": 0.19,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/simplify_add_0.c",
+              "value": 0.24,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/copy_alloc_id2.error.c",
+              "value": 0.3,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/struct_updates2.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/builtin_ctz.c",
+              "value": 0.51,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/inconsistent3.error.c",
+              "value": 0.05,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/fun_ptr_three_opts.c",
+              "value": 1.3,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/division_return_size.error.c",
+              "value": 0.4,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mask_ptr.c",
+              "value": 0.29,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/void_star_arg.c",
+              "value": 0.55,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/ptr_diff2.c",
+              "value": 1.01,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/gnu_types_compatible.c",
+              "value": 0.19,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/previously_inconsistent_assumptions1.c",
+              "value": 0.11,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/enum_and_and.c",
+              "value": 0.19,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/assert_on_toplevel.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            }
+          ],
+          "cvc5": [
+            {
+              "name": "Total benchmark time",
+              "value": 197.44,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/ownership_at_negative_index.c",
+              "value": 0.3,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/gnu_case_ranges.c",
+              "value": 0.12,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/fun_ptr_known.c",
+              "value": 1.88,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/fun_addrs_cn_stmt.c",
+              "value": 0.28,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/partial_init_bytes.error.c",
+              "value": 0.41,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/failing_precond.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/max_pipes.error.c",
+              "value": 7.45,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pred_def01.c",
+              "value": 0.09,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/unconstrained_ptr_eq2.error.c",
+              "value": 0.14,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/reverse.c",
+              "value": 3.05,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mergesort.c",
+              "value": 21.56,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mod_return_size.error.c",
+              "value": 6.68,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/division_precedence.c",
+              "value": 0.11,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/ptr_relop.c",
+              "value": 4,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/cnfunction_mismatched_args1.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/implies.c",
+              "value": 0.12,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/block_type.c",
+              "value": 0.41,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/implies2.error.c",
+              "value": 0.12,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mod.c",
+              "value": 0.24,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/null_to_int.c",
+              "value": 0.09,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/has_alloc_id_ptr_neq.c",
+              "value": 0.23,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/simple_loop.c",
+              "value": 0.1,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/alloc_create.c",
+              "value": 0.11,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/multifile/g.c",
+              "value": 7.63,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/multifile/f.c",
+              "value": 7.7,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/arrow_access.c",
+              "value": 0.98,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bad_record2.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/ptr_relop.error.c",
+              "value": 0.54,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/list_literal_type.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mod_by_0.error.c",
+              "value": 0.13,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/append.c",
+              "value": 10.89,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bad_recursion.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/ptr_diff.c",
+              "value": 5.09,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/b_xor.c",
+              "value": 0.11,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/division_with_constants.c",
+              "value": 0.25,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/max_min_consts.c",
+              "value": 0.07,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/get_from_arr.c",
+              "value": 0.28,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/split_case.c",
+              "value": 2.3,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/unary_negation.c",
+              "value": 0.06,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/implies3.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/unary_negation.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/swap_pair.c",
+              "value": 0.63,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/int_to_ptr.error.c",
+              "value": 0.18,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bad_constructor_user.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/get_from_array.c",
+              "value": 0.9,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/cnfunction_mismatched_args4.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/cnfunction_mismatched_args3.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/to_from_bytes_owned.c",
+              "value": 0.7,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/map_set.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/ptr_diff2.error.c",
+              "value": 0.15,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/ptr_diff.error.c",
+              "value": 0.54,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/cn_inline.c",
+              "value": 0.19,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mod_precedence.c",
+              "value": 0.11,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/has_alloc_id.c",
+              "value": 0.14,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mod_with_constants.c",
+              "value": 0.28,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/tag_defs.c",
+              "value": 0.23,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/gnu_ffs.c",
+              "value": 0.15,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/memcpy.c",
+              "value": 1.9,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/unsupported_flexible_array_member.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/simplify_array_shift.c",
+              "value": 1.87,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/left_shift_const.c",
+              "value": 0.16,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/tree_rev01.c",
+              "value": 1.33,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/ghost_pointer_to_bitvec_cast.c",
+              "value": 0.12,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/doubling.c",
+              "value": 0.17,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/incomplete_match.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bitwise_and.c",
+              "value": 0.11,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/missing_resource_indirect.error.c",
+              "value": 0.13,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bitwise_compl_precedence.c",
+              "value": 0.06,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/reverse.error.c",
+              "value": 3.75,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pointer_to_uintptr_t_cast.c",
+              "value": 0.08,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pred_def02.c",
+              "value": 0.07,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/use_enum.c",
+              "value": 0.06,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/increments.c",
+              "value": 1.88,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/from_bytes.error.c",
+              "value": 0.1,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/redundant_pattern.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/unsupported_union.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/lexer_hack_parse.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bitwise_and_type_right.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/cnfunction_mismatched_args2.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/list_rev01.c",
+              "value": 2.16,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/offsetof_int_const.c",
+              "value": 0.06,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/and_or_precedence.error.c",
+              "value": 0.15,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/missing_resource.error.c",
+              "value": 0.12,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/copy_alloc_id.c",
+              "value": 1.2,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/division.c",
+              "value": 0.23,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bad_function_call.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/has_alloc_id_ptr_eq2.error.c",
+              "value": 0.15,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/shift_diff_sz.c",
+              "value": 0.11,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/use_typedef.c",
+              "value": 0.07,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/has_alloc_id.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/forloop_with_decl.c",
+              "value": 0.27,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/arith_type.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/fun_ptr_extern.c",
+              "value": 0.98,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/has_alloc_id_shift.c",
+              "value": 0.27,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/before_to_bytes.error.c",
+              "value": 0.39,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/to_bytes.error.c",
+              "value": 0.09,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mutual_rec/mutual_rec2.c",
+              "value": 10.44,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mutual_rec/mutual_rec1.c",
+              "value": 2.04,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mutual_rec/mutual_rec3.c",
+              "value": 6.39,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/division_by_0.error.c",
+              "value": 0.13,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/match.c",
+              "value": 0.09,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mod_casting.c",
+              "value": 0.12,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/spec_null_shift.error.c",
+              "value": 0.12,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bitwise_and_type_left.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pointer_to_intptr_t_cast.c",
+              "value": 0.09,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pred_def03.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/builtin_ctz_val.c",
+              "value": 0.21,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/division_casting.c",
+              "value": 0.12,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/solver_crash.error.c",
+              "value": 0.13,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/duplicate_pattern_var.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/to_from_bytes_block.c",
+              "value": 0.63,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/struct_updates.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bitwise_compl_type.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/division_return_sign.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/before_from_bytes.error.c",
+              "value": 0.42,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bad_resource_var.error.c",
+              "value": 0.2,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/magic_comment_not_closed.c",
+              "value": 0.06,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pred_def04.c",
+              "value": 0.06,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mergesort_alt.c",
+              "value": 17.47,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/unconstrained_ptr_eq.error.c",
+              "value": 0.14,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/has_alloc_id_ptr_eq.error.c",
+              "value": 0.15,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/tree16/as_mutual_dt/tree16.c",
+              "value": 19.62,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/tree16/as_partial_map/tree16.c",
+              "value": 19.27,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/tree16/as_auto_mutual_dt/tree16.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/spec_after_curly_brace.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/implies_associativity.c",
+              "value": 0.06,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/alloc_token.c",
+              "value": 0.1,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mod_return_sign.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bad_record.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/type_synonym.c",
+              "value": 0.11,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/has_alloc_id_ptr_neq.error.c",
+              "value": 0.15,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bad_col.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/b_or.c",
+              "value": 0.11,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pointer_to_unsigned_int_cast.error.c",
+              "value": 0.09,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/inconsistent2.error.c",
+              "value": 0.04,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bitwise_compl.c",
+              "value": 0.11,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/failing_postcond.error.c",
+              "value": 0.09,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/implies_precedence.c",
+              "value": 0.12,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pointer_to_int_cast.error.c",
+              "value": 0.08,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/int_to_ptr.c",
+              "value": 0.14,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pointer_to_char_cast.error.c",
+              "value": 0.15,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pointer_to_char_cast.c",
+              "value": 0.11,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/merging_arrays.error.c",
+              "value": 0.21,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/gnu_choose.c",
+              "value": 0.14,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/copy_alloc_id.error.c",
+              "value": 0.22,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/disj_nonnull.c",
+              "value": 0.56,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/inconsistent.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/gnu_ctz.c",
+              "value": 0.09,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/duplicate_datatype_var.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/swap.c",
+              "value": 0.59,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/create_rdonly.c",
+              "value": 0.09,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/spec_null_shift.c",
+              "value": 0.09,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/previously_inconsistent_assumptions2.c",
+              "value": 0.1,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/extract_verbose.c",
+              "value": 0.88,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/simplify_add_0.c",
+              "value": 0.34,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/copy_alloc_id2.error.c",
+              "value": 0.26,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/struct_updates2.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/builtin_ctz.c",
+              "value": 0.74,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/inconsistent3.error.c",
+              "value": 0.04,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/fun_ptr_three_opts.c",
+              "value": 3.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/division_return_size.error.c",
+              "value": 0.41,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mask_ptr.c",
+              "value": 0.39,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/void_star_arg.c",
+              "value": 2.49,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/ptr_diff2.c",
+              "value": 0.48,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/gnu_types_compatible.c",
+              "value": 0.19,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/previously_inconsistent_assumptions1.c",
+              "value": 0.07,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/enum_and_and.c",
+              "value": 0.18,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/assert_on_toplevel.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            }
+          ]
+        }
       }
     ]
   }