Metis time out - Githubissues

asr / apia

Haskell program for proving first-order theorems written in Agda using automatic theorem provers for first-order logic

MIT License

6 stars 0 forks source link

Closed asr closed 8 years ago

asr commented 8 years ago

From @asr on February 24, 2013 22:3

From http://www.gilith.com/pipermail/metis-users/2010-September/000001.html, Metis could continue running even if we use the --time-limitcommand-line option.

Tested with

$ metis --version
metis 2.3 (release 20120927)

asr commented 8 years ago

Workaround: For example, to use Metis with a time out of 240 seconds, you can run the following commands:

$ ulimit -S -t 240
$ apia --atp=metis ...
$ ulimit -S -t unlimited

asr commented 8 years ago

This is a Metis issue, so I'm closing the issue.