[metis-users] About Metis x64

dorin alex alex_dorin at rambler.ru
Tue Apr 14 05:38:31 UTC 2015


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: <http://www.gilith.com/metis/mailing-list/attachments/20150414/6a1f9d7e/attachment.html>


More information about the metis-users mailing list