src/HOL/Tools/ATP/atp_systems.ML
changeset 38281 601b7972eef2
parent 38096 488b38cd3e06
child 38433 1e28e2e1c2fb
equal deleted inserted replaced
38280:577f138af235 38281:601b7972eef2
   138       (TimedOut, "time limit exceeded"),
   138       (TimedOut, "time limit exceeded"),
   139       (OutOfResources,
   139       (OutOfResources,
   140        "# Cannot determine problem status within resource limit"),
   140        "# Cannot determine problem status within resource limit"),
   141       (OutOfResources, "SZS status: ResourceOut"),
   141       (OutOfResources, "SZS status: ResourceOut"),
   142       (OutOfResources, "SZS status ResourceOut")],
   142       (OutOfResources, "SZS status ResourceOut")],
   143    max_new_relevant_facts_per_iter = 90 (* FIXME *),
   143    max_new_relevant_facts_per_iter = 60 (* FIXME *),
   144    prefers_theory_relevant = false,
   144    prefers_theory_relevant = false,
   145    explicit_forall = false}
   145    explicit_forall = false}
   146 val e = ("e", e_config)
   146 val e = ("e", e_config)
   147 
   147 
   148 
   148