diff --git a/results/archive/humaneval-rustbench-invariants/001/tries.json b/results/archive/humaneval-rustbench-invariants/001/tries.json
new file mode 100644
index 0000000..38f33e4
--- /dev/null
+++ b/results/archive/humaneval-rustbench-invariants/001/tries.json
@@ -0,0 +1,34 @@
+{
+  "014-all_prefixes.rs": 4,
+  "023-strlen.rs": 0,
+  "035-max-element.rs": 1,
+  "052-below-threshold.rs": 2,
+  "053-add.rs": 0,
+  "057-monotonic.rs": 1,
+  "062-derivative.rs": 2,
+  "abs.rs": 0,
+  "arithmetic_weird.rs": 1,
+  "array_concat.rs": 1,
+  "array_copy.rs": 2,
+  "array_product.rs": 1,
+  "barrier.rs": 6,
+  "binary_search_recursive.rs": 0,
+  "has_close_elements.rs": 2,
+  "has_only_one_distinct_element.rs": 6,
+  "integer_square_root.rs": 8,
+  "intersperse.rs": 1,
+  "is_non_prime.rs": 2,
+  "is_sorted.rs": 6,
+  "largest_prime_factor.rs": 6,
+  "last_position.rs": 5,
+  "max_array.rs": 1,
+  "max_dafny_lsp.rs": 4,
+  "remove_element.rs": 1,
+  "remove_elements.rs": 9,
+  "replace.rs": 1,
+  "reverse.rs": 2,
+  "smallest_list_length.rs": 2,
+  "two_way_sort.rs": 1,
+  "unique.rs": 3,
+  "unique_better.rs": 3
+}