# HG changeset patch
# User immler@in.tum.de
# Date 1246194088 -7200
# Node ID b7f1e86d9f043f3074f979a5e5a07cff37a2950d
# Parent  9ab1326ed98da4dc1d4765fc90891c2155d6a70d
relevance filter with the same parameters for remote-versions

diff -r 9ab1326ed98d -r b7f1e86d9f04 src/HOL/ATP_Linkup.thy
--- a/src/HOL/ATP_Linkup.thy	Sun Jun 28 15:01:28 2009 +0200
+++ b/src/HOL/ATP_Linkup.thy	Sun Jun 28 15:01:28 2009 +0200
@@ -115,11 +115,11 @@
 
 text {* remote provers via SystemOnTPTP *}
 setup {* AtpManager.add_prover "remote_vampire"
-  (AtpWrapper.remote_prover "-s Vampire---9.0") *}
+  (AtpWrapper.remote_prover_opts 60 false "-s Vampire---9.0") *}
 setup {* AtpManager.add_prover "remote_spass"
-  (AtpWrapper.remote_prover "-xs SPASS---3.01") *}
+  (AtpWrapper.remote_prover_opts 40 true "-xs SPASS---3.01") *}
 setup {* AtpManager.add_prover "remote_e"
-  (AtpWrapper.remote_prover "-s EP---1.0") *}
+  (AtpWrapper.remote_prover_opts 100 false "-s EP---1.0") *}