Sat, 11 Sep 2010 10:22:52 +0200 |
blanchet |
change order of default ATPs;
|
file |
diff |
annotate
|
Thu, 09 Sep 2010 16:27:36 +0200 |
blanchet |
more precise error messages when Vampire is interrupted or SPASS runs into an internal bug
|
file |
diff |
annotate
|
Thu, 09 Sep 2010 16:06:11 +0200 |
blanchet |
better error reporting when the Sledgehammer minimizer is interrupted
|
file |
diff |
annotate
|
Wed, 08 Sep 2010 19:20:52 +0200 |
blanchet |
improve SInE-E failure message
|
file |
diff |
annotate
|
Thu, 02 Sep 2010 00:17:56 +0200 |
blanchet |
SNARK doesn't like facts
|
file |
diff |
annotate
|
Thu, 02 Sep 2010 00:15:53 +0200 |
blanchet |
show real CPU time
|
file |
diff |
annotate
|
Wed, 01 Sep 2010 22:31:45 +0200 |
blanchet |
add dependency of "spass" script
|
file |
diff |
annotate
|
Wed, 01 Sep 2010 18:42:31 +0200 |
blanchet |
lower number of facts given to SInE
|
file |
diff |
annotate
|
Wed, 01 Sep 2010 17:27:10 +0200 |
blanchet |
got rid of the "theory_relevant" option;
|
file |
diff |
annotate
|
Thu, 26 Aug 2010 13:55:30 +0200 |
blanchet |
fix Vampire version numbers
|
file |
diff |
annotate
|
Wed, 25 Aug 2010 17:49:52 +0200 |
blanchet |
make relevance filter work in term of a "max_relevant" option + use Vampire SOS;
|
file |
diff |
annotate
|
Wed, 25 Aug 2010 09:05:22 +0200 |
blanchet |
make SML/NJ happy
|
file |
diff |
annotate
|
Tue, 24 Aug 2010 21:40:03 +0200 |
blanchet |
better workaround for E's off-by-one-second issue
|
file |
diff |
annotate
|
Tue, 24 Aug 2010 15:06:47 +0200 |
blanchet |
use a soft time limit for E
|
file |
diff |
annotate
|
Tue, 24 Aug 2010 14:36:29 +0200 |
blanchet |
make remote ATP versions more robust, by starting with "preferred" version numbers and falling back on any version
|
file |
diff |
annotate
|
Mon, 23 Aug 2010 21:11:30 +0200 |
blanchet |
adjust fudge factors in the light of experiments
|
file |
diff |
annotate
|
Mon, 23 Aug 2010 17:53:49 +0200 |
blanchet |
revert unintended change
|
file |
diff |
annotate
|
Mon, 23 Aug 2010 16:12:41 +0200 |
blanchet |
prevent double inclusion of the fact "True_or_False" in TPTP problems
|
file |
diff |
annotate
|
Mon, 23 Aug 2010 09:04:37 +0200 |
blanchet |
play with fudge factor + parse one more Vampire error
|
file |
diff |
annotate
|
Mon, 23 Aug 2010 00:09:25 +0200 |
blanchet |
fiddle a bit with the SPASS fudge number
|
file |
diff |
annotate
|
Sun, 22 Aug 2010 22:47:03 +0200 |
blanchet |
be more generous towards SPASS's -SOS mode
|
file |
diff |
annotate
|
Sun, 22 Aug 2010 09:43:10 +0200 |
blanchet |
prefer TPTP "conjecture" tag to "hypothesis" on ATPs where this is possible;
|
file |
diff |
annotate
|
Thu, 19 Aug 2010 13:04:37 +0200 |
blanchet |
fix SInE's error handling + run "vampire" locally if either SPASS or E is missing
|
file |
diff |
annotate
|
Thu, 19 Aug 2010 11:29:53 +0200 |
blanchet |
added remote SInE and remote SNARK
|
file |
diff |
annotate
|
Wed, 18 Aug 2010 20:53:55 +0200 |
blanchet |
don't get confused by wrong slice
|
file |
diff |
annotate
|
Wed, 18 Aug 2010 17:09:05 +0200 |
blanchet |
added "max_relevant_per_iter" option to Sledgehammer
|
file |
diff |
annotate
|
Wed, 18 Aug 2010 16:42:37 +0200 |
blanchet |
thank Andrei instead of Tanya
|
file |
diff |
annotate
|
Wed, 18 Aug 2010 12:04:00 +0200 |
blanchet |
rename enum values
|
file |
diff |
annotate
|
Tue, 17 Aug 2010 18:14:50 +0200 |
blanchet |
tweaking
|
file |
diff |
annotate
|
Tue, 17 Aug 2010 17:01:31 +0200 |
blanchet |
merged
|
file |
diff |
annotate
|