From alex_dorin at rambler.ru Tue Apr 14 05:38:31 2015 From: alex_dorin at rambler.ru (dorin alex) Date: Tue, 14 Apr 2015 08:38:31 +0300 Subject: [metis-users] About Metis x64 Message-ID: <1428989911.942612.10894.53875@mail.rambler.ru> Sir! Some problems TPTP http://alex-dorin.at.ua/_ld/0/16_tptp_problems.zip require more time to prove using Metis for Ubuntu 12.04 x64 constructed from source texts than http://www.cs.miami.edu/~tptp/cgi-bin/SystemOnTPTP Perhaps using a different version of the Metis? Kind regards Alexander A. Dorin city of Poltava -------------- next part -------------- An HTML attachment was scrubbed... URL: