Tue, 23 Aug 2011 15:50:27 +0200 updated known failures for Z3 3.0 TPTP
blanchet [Tue, 23 Aug 2011 15:50:27 +0200] rev 44422
updated known failures for Z3 3.0 TPTP
Tue, 23 Aug 2011 15:18:46 +0200 updated Z3 docs
blanchet [Tue, 23 Aug 2011 15:18:46 +0200] rev 44421
updated Z3 docs
Tue, 23 Aug 2011 15:15:43 +0200 avoid TFF format with older Vampire versions
blanchet [Tue, 23 Aug 2011 15:15:43 +0200] rev 44420
avoid TFF format with older Vampire versions
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip