<p>Sir!<br />    Some problems TPTP<br />http://alex-dorin.at.ua/_ld/0/16_tptp_problems.zip<br />require more time to prove using Metis for Ubuntu 12.04 x64<br />constructed from source texts than<br />http://www.cs.miami.edu/~tptp/cgi-bin/SystemOnTPTP<br />    Perhaps using a different version of the Metis?<br />Kind regards<br />Alexander A. Dorin<br />city of Poltava</p>
<p><br /><br /> </p>