[isabelle] prover remote_vampire not responding



Dear Isabelle users,

I've noticed that the prover remote_vampire never responds when I run sledgehammer.
In the box I can see all 5 provers (cvc4 z3 spass e remote_vampire)
but every time I run sledgehammer only the first 4  respond.
Two of my colleagues have also noticed the same.
Any ideas about why this is happening?

Many thanks,
kind regards,
Angeliki






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