start_severs_medium_release.ps1

$num_servers = 5
$threshold = 3
$num_clients = 4
$num_channels = 25

# all time units are in ms
$electionRange = '350..850'
$heartbeatInterval = 50

# length of share/recover phase (so round length is 2*phaseLength)
$phaseLength = 500

# grpc transport timeout for both client and server
$timeoutMs = 1000

$cur_dir = $PSScriptRoot

$start_cmds = @()

$exe = ".\target\release\runner.exe"

. .\set_logging.ps1
. .\start_servers.ps1