changeset 29588 | 6cccea7c94d4 |
parent 29587 | 96599d8d8268 |
child 29590 | 479a2fce65e6 |
--- a/contrib/SystemOnTPTP/remote Mon Jan 12 16:16:05 2009 +0100 +++ b/contrib/SystemOnTPTP/remote Wed Jan 14 20:19:47 2009 +0100 @@ -10,10 +10,6 @@ # # ./remote Vampire---9.0 timelimit file # ./remote SPASS---3.01 timelimit file -# ./remote Metis---2.1 timelimit file -# ./remote SNARK---20080805r005 timelimit file -# ./remote Otter---3.3 timelimit file -# ./remote SOS---2.0 timelimit file # ./remote EP---1.0 timelimit file use warnings;