21d803410dbbfd70cdb668492467b60e.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. }