LARA

• nslrack08
• 5 nodes

1 0

2 0

3 0

4 1

5 6

6 20

7 66

8 208

9 640

10 1955

11 6749

#Definitely set this one!

MACE_PRINT_HOSTNAME_ONLY = 1

#For more verbosity use higher numbers. But the default is very verbose on replay.

MACE_LOG_LEVEL = 10

#Control network and node errors

USE_UDP_REORDER = 1

USE_UDP_ERRORS = 1

USE_NET_ERRORS=1 # specifically TCP errors

SIM_NODE_FAILURE=1

#Whether the search should use best-first or not – turning on is less tested, but can be faster at the expense of more memory

USE_BEST_FIRST = 0

MACE_PORT=5377 #10201 #Just some random port number

max_num_steps=20000 #How many steps before the path is considered dead

search_print_mask=4095

PRINT_SEARCH_PREFIX=0

#Controls search features. Recommended to leave these on.

#USE_RANDOM_WALKS=1

USE_GUSTO=1

USE_STATE_HASHES=1

NUM_RANDOM_PATHS=60 # The number of paths to attempt at a prefix length before declaring a prefix dead.

MAX_PATHS=200000000

RUN_DIVERGENCE_MONITOR = 1

divergence_assert = 1 # causes a divergence to end the execution, as opposed to allowing it to continue to see if the transition will complete.

divergence_timeout = 30 # how long is considered too long to run a single transition

CHECKED_SERVICE=RandTree

num_nodes=5 #number of nodes to create

queue_size=100000 #commonly used to pass into the SimulatedTCP service for buffer size (in # messages) before dropping them.

Simulator SimulateEventEnd SimulateEventBegin NumberGen getReadyNodes SimNetwork SimScheduler SimApplication SimTransportApp

SEARCH_DEPTH=1 # controls the bounded search depth increment. Is both the starting depth and the depth increment

file=tmp.txt

MAX_DEAD_PATHS=1000

DONT_EXIT=1