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