search

jonaprieto / online-atps

Run ATPs from SystemOnTPTP
MIT License
6 stars 1 forks source link

Broken `--with-all` option #44

Open asr opened 7 years ago

asr commented 7 years ago 
$ cat refl.fof
fof(refl, conjecture, ! [X] : X = X).
$ online-atps --with-all refl.fof
online-atps: missing --atp=NAME (try --help)
jonaprieto commented 7 years ago

In the past, this feature --with-all works with your problem? If so, how long it takes.

I am working on this in the issue44 branch, but it seems to never ending the process (test32 when you run make tests). And, maybe is because I continue sending one request per ATP.

asr commented 7 years ago

In the past, this feature --with-all works with your problem?

I don't remember.

On the issue44 branch, did you get some information when you run

online-atps --with-all --quiet-mode=-q0 refl.fof

? I didn't.

asr commented 7 years ago

Any news on this issue?

asr commented 6 years ago

Great! Thanks!

jonaprieto commented 6 years ago

Sorry, it's not solved yet. :(