# Timeout in minutes (default is 0 which means no timeout)
timeout=0
+#search.class = gov.nasa.jpf.search.heuristic.RandomHeuristic
#search.class = gov.nasa.jpf.search.heuristic.UserHeuristic
+#search.class = gov.nasa.jpf.search.heuristic.BFSHeuristic
+#search.class = gov.nasa.jpf.search.heuristic.DFSHeuristic