-
MARCHE Claude authored
Hopefully this solves the problem of unreliable answers from some provers like Vampire: there is no such answer "unknown" just 0.01 seconds before the time limit anymore
0a02cfc9
Hopefully this solves the problem of unreliable answers from some provers like Vampire: there is no such answer "unknown" just 0.01 seconds before the time limit anymore