+# Debug mode for StateReducer
+#debug_state_transition=true
+#activate_state_reduction=true
+
+# Timeout in minutes (default is 0 which means no timeout)
+timeout=30
+
+search.class = gov.nasa.jpf.search.heuristic.RandomHeuristic
+#search.heuristic.beam_search=true