Commit e3ada618 authored by POLLIEN Baptiste's avatar POLLIEN Baptiste
Browse files

Update cache

parent 98f69811
This diff is collapsed.
{ "prover": "Alt-Ergo:2.3.3", "verdict": "timeout", "time": 10. }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "timeout", "time": 10. }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "valid", "time": 2.23 }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "valid", "time": 1.62 }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "timeout", "time": 10. }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "valid", "time": 0.1 }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "valid", "time": 0.0513,
"steps": 138 }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "timeout", "time": 10. }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "timeout", "time": 10. }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "valid", "time": 0.064,
"steps": 132 }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "timeout", "time": 10. }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "valid", "time": 2.64 }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "timeout", "time": 10. }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "timeout", "time": 10. }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "timeout", "time": 10. }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "timeout", "time": 10. }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "valid", "time": 0.31 }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "timeout", "time": 10. }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "timeout", "time": 10. }
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment