faf120d58a951fa6145839b46c1df0a7.json 71 Bytes
Newer Older
Loïc Correnson's avatar
Loïc Correnson committed
1
{ "prover": "why3:Alt-Ergo,2.0.0", "verdict": "timeout", "time": 10. }