equal
deleted
inserted
replaced
163 |
163 |
164 (* remote prover invocation via SystemOnTPTP *) |
164 (* remote prover invocation via SystemOnTPTP *) |
165 |
165 |
166 fun remote_prover_opts max_new theory_const args timeout = |
166 fun remote_prover_opts max_new theory_const args timeout = |
167 tptp_prover_opts max_new theory_const |
167 tptp_prover_opts max_new theory_const |
168 (Path.explode "$ISABELLE_HOME/contrib/SystemOnTPTP/remote", args ^ " -t " ^ string_of_int timeout) |
168 (Path.explode "$ISABELLE_HOME/contrib/SystemOnTPTP/remote", args ^ " -t " ^ string_of_int (timeout - 10)) |
169 timeout; |
169 timeout; |
170 |
170 |
171 val remote_prover = remote_prover_opts 60 false; |
171 val remote_prover = remote_prover_opts 60 false; |
172 |
172 |
173 end; |
173 end; |