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

Update cache

parent 7963a679
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "valid", "time": 0.08 }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "valid", "time": 0.0236,
"steps": 120 }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "valid", "time": 0.08 }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "valid", "time": 0.0284,
"steps": 99 }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "valid", "time": 0.08 }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "valid", "time": 0.12 }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "valid", "time": 0.0113,
"steps": 84 }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "valid", "time": 0.06 }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "valid", "time": 0.0214,
"steps": 109 }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "valid", "time": 0.0077,
"steps": 12 }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "valid", "time": 0.07 }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "valid", "time": 0.012,
"steps": 12 }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "valid", "time": 0.016,
"steps": 97 }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "valid", "time": 0.07 }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "valid", "time": 0.052,
"steps": 185 }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "valid", "time": 0.034,
"steps": 184 }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "valid", "time": 0.09 }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "valid", "time": 0.07 }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "valid", "time": 0.06 }
{ "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