Re: [isabelle] Isabelle2021-1-RC1 (veriT): Abnormal termination with exit code 14



On 07/11/2021 13:04, Eugene W. Stark wrote:
> Running Isabelle2021-1-RC1 on Ubuntu 20.04, when using Sledgehammer I now frequently see output like
> the following:
> 
>> "cvc4": Timed out 
>> "verit": Prover error:
>> Abnormal termination with exit code 14 
>> "z3": Timed out 
>> "e": Timed out 
>> "spass": Timed out 
>> "vampire": Timed out 
>> "zipperposition": Timed out
> 
> The "Abnormal termination" message for verit seems to be new with recent Isabelle release candidates.

The veriT guys have done something about it for Isabelle2021-1-RC2. Maybe that
is already sufficient, and covers all your very detailed observations.


	Makarius




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.