def METHOD_NAME(log_file, input_path, env):
    env = dict(env) # Make a copy.
    prusti_rustc_exe = get_prusti_rustc_path_for_benchmark()
    if input_path.startswith('prusti-tests/tests/verify/pass'):
        env['PRUSTI_CHECK_OVERFLOWS'] = 'false'
    elif input_path.startswith('prusti-tests/tests/verify_overflow/pass'):
        env['PRUSTI_CHECK_OVERFLOWS'] = 'true'
    else:
        error('file in an unsupported directory: {}', input_path)
    start_time = time.perf_counter()
    flags = extract_test_compile_flags(input_path)
    command = [prusti_rustc_exe,"--edition=2018", input_path] + flags
    run_command(command, env=env)
    end_time = time.perf_counter()
    elapsed = end_time - start_time
    log_file.write(f"command={command}\n")
    log_file.write(f"env={env}\n")
    log_file.write(f"start_time={start_time}\n")
    log_file.write(f"end_time={end_time}\n")
    log_file.write(f"elapsed={elapsed}\n\n")
    log_file.flush()
    return elapsed