diff --git a/fuzzers/FRET/benchmark/Snakefile b/fuzzers/FRET/benchmark/Snakefile
index ec38482aaa..d0cd8a8bd9 100644
--- a/fuzzers/FRET/benchmark/Snakefile
+++ b/fuzzers/FRET/benchmark/Snakefile
@@ -86,7 +86,8 @@ rule run_showmap:
         "bins/target_showmap",
         "timedump/{fuzzer}/{target}.{num}.case"
     output:
-        "timedump/{fuzzer}/{target}.{num}.trace.ron"
+        "timedump/{fuzzer}/{target}.{num}.trace.ron",
+        "timedump/{fuzzer}/{target}.{num}.case.time",
     run:
         with open('target_symbols.csv') as csvfile:
             reader = csv.DictReader(csvfile)
@@ -105,9 +106,10 @@ rule run_showmap:
                 export FUZZ_INPUT={fuzz_input}
                 export FUZZ_INPUT_LEN={fuzz_len}
                 export BREAKPOINT={bkp}
-                export TRACE_DUMP=$(pwd)/{output}
+                export TRACE_DUMP=$(pwd)/{output[0]}
                 export FUZZER=$(pwd)/{input[1]}/debug/fret
                 export DO_SHOWMAP=$(pwd)/{input[2]}
+                export TIME_DUMP=$(pwd)/{output[1]}
                 set +e
                 ../fuzzer.sh
                 exit 0