# Debug mode for StateReducer
debug_state_transition=true
+activate_state_reduction=false
# Timeout in minutes (default is 0 which means no timeout)
timeout=30
#search.class = gov.nasa.jpf.search.heuristic.RandomHeuristic
+#choice.seed = 3
#search.class = gov.nasa.jpf.search.heuristic.UserHeuristic
#search.class = gov.nasa.jpf.search.heuristic.BFSHeuristic
#search.class = gov.nasa.jpf.search.heuristic.DFSHeuristic