Commit 06a4e0f0 authored by POLLIEN Baptiste's avatar POLLIEN Baptiste
Browse files

Update cache last

parent 589e07c1
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "valid", "time": 0.08 }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "valid", "time": 0.08 }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "valid", "time": 2.37 }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "valid", "time": 0.0221,
"steps": 120 }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "valid", "time": 0.016,
"steps": 99 }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "valid", "time": 0.14 }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "valid", "time": 0.07 }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "valid", "time": 0.11 }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "valid", "time": 0.0186,
"steps": 84 }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "valid", "time": 0.05 }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "valid", "time": 0.0213,
"steps": 109 }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "valid", "time": 0.0089,
"steps": 12 }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "valid", "time": 0.05 }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "valid", "time": 0.15 }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "valid", "time": 0.0099,
"steps": 12 }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "valid", "time": 0.02, "steps": 97 }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "valid", "time": 0.0397,
"steps": 185 }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "valid", "time": 0.0329,
"steps": 184 }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "valid", "time": 0.06 }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "valid", "time": 0.05 }
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