Skip to content
Snippets Groups Projects
Commit ed7d6364 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[wp/tests] remove old/unused sessions

parent 329e84d0
No related branches found
No related tags found
No related merge requests found
Showing
with 0 additions and 431 deletions
[ { "header": "Range", "tactic": "Wp.range",
"params": { "inf": 0, "sup": 16 },
"select": { "select": "inside-goal", "occur": 0, "target": "i_147",
"pattern": "$i" },
"children": { "Lower 0": [ { "prover": "qed", "verdict": "valid" } ],
"Value 0": [ { "prover": "qed", "verdict": "valid" } ],
"Value 1": [ { "prover": "qed", "verdict": "valid" } ],
"Value 2": [ { "prover": "qed", "verdict": "valid" } ],
"Value 3": [ { "prover": "qed", "verdict": "valid" } ],
"Value 4": [ { "prover": "qed", "verdict": "valid" } ],
"Value 5": [ { "prover": "qed", "verdict": "valid" } ],
"Value 6": [ { "prover": "qed", "verdict": "valid" } ],
"Value 7": [ { "prover": "qed", "verdict": "valid" } ],
"Value 8": [ { "prover": "qed", "verdict": "valid" } ],
"Value 9": [ { "prover": "qed", "verdict": "valid" } ],
"Value 10": [ { "prover": "qed", "verdict": "valid" } ],
"Value 11": [ { "prover": "qed", "verdict": "valid" } ],
"Value 12": [ { "prover": "qed", "verdict": "valid" } ],
"Value 13": [ { "prover": "qed", "verdict": "valid" } ],
"Value 14": [ { "prover": "qed", "verdict": "valid" } ],
"Value 15": [ { "prover": "qed", "verdict": "valid" } ],
"Value 16": [ { "prover": "qed", "verdict": "valid" } ],
"Upper 16": [ { "prover": "qed", "verdict": "valid" } ] } } ]
[ { "prover": "script", "verdict": "valid", "time": 0.0549, "steps": 117 },
{ "header": "Induction", "tactic": "Wp.induction",
"params": { "base": 0, "hsup": true, "hinf": true },
"select": { "select": "inside-goal", "occur": 0, "target": "(L_f x_0)",
"pattern": "L_f$x" },
"children": { "Base": [ { "prover": "Alt-Ergo:2.2.0", "verdict": "valid",
"time": 0.0083, "steps": 6 } ],
"Induction (sup)": [ { "prover": "Alt-Ergo:2.2.0",
"verdict": "valid", "time": 0.0549,
"steps": 117 } ],
"Induction (inf)": [ { "prover": "Alt-Ergo:2.2.0",
"verdict": "valid", "time": 0.0274,
"steps": 86 } ] } } ]
[ { "prover": "Alt-Ergo:2.0.0", "verdict": "timeout", "time": 10. },
{ "prover": "script", "verdict": "timeout", "time": 10. },
{ "header": "Range", "tactic": "Wp.range",
"params": { "inf": 0, "sup": 9 },
"select": { "select": "inside-goal", "occur": 0, "target": "i_108",
"pattern": "$i" },
"children": { "Lower 0": [ { "prover": "qed", "verdict": "valid" } ],
"Value 0": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "timeout", "time": 10. } ],
"Value 1": [], "Value 2": [], "Value 3": [], "Value 4": [],
"Value 5": [], "Value 6": [], "Value 7": [], "Value 8": [],
"Value 9": [],
"Upper 9": [ { "prover": "qed", "verdict": "valid" } ] } } ]
[ { "prover": "Alt-Ergo:2.0.0", "verdict": "timeout", "time": 10. },
{ "prover": "script", "verdict": "timeout", "time": 10. },
{ "header": "Range", "tactic": "Wp.range",
"params": { "inf": 0, "sup": 9 },
"select": { "select": "inside-goal", "occur": 0, "target": "i_108",
"pattern": "$i" },
"children": { "Lower 0": [ { "prover": "qed", "verdict": "valid" } ],
"Value 0": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "timeout", "time": 10. } ],
"Value 1": [], "Value 2": [], "Value 3": [], "Value 4": [],
"Value 5": [], "Value 6": [], "Value 7": [], "Value 8": [],
"Value 9": [],
"Upper 9": [ { "prover": "qed", "verdict": "valid" } ] } } ]
[ { "prover": "Alt-Ergo:2.0.0", "verdict": "timeout", "time": 10. },
{ "prover": "script", "verdict": "timeout", "time": 10. },
{ "header": "Range", "tactic": "Wp.range",
"params": { "inf": 0, "sup": 9 },
"select": { "select": "inside-goal", "occur": 0, "target": "i_15",
"pattern": "$i" },
"children": { "Lower 0": [ { "prover": "qed", "verdict": "valid" } ],
"Value 0": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "timeout", "time": 10. } ],
"Value 1": [], "Value 2": [], "Value 3": [], "Value 4": [],
"Value 5": [], "Value 6": [], "Value 7": [], "Value 8": [],
"Value 9": [],
"Upper 9": [ { "prover": "qed", "verdict": "valid" } ] } } ]
[ { "prover": "Alt-Ergo:2.0.0", "verdict": "timeout", "time": 10. },
{ "prover": "script", "verdict": "timeout", "time": 10. },
{ "header": "Range", "tactic": "Wp.range",
"params": { "inf": 0, "sup": 9 },
"select": { "select": "inside-goal", "occur": 0, "target": "i_4",
"pattern": "$i" },
"children": { "Lower 0": [ { "prover": "qed", "verdict": "valid" } ],
"Value 0": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "timeout", "time": 10. } ],
"Value 1": [], "Value 2": [], "Value 3": [], "Value 4": [],
"Value 5": [], "Value 6": [], "Value 7": [], "Value 8": [],
"Value 9": [],
"Upper 9": [ { "prover": "qed", "verdict": "valid" } ] } } ]
[ { "header": "Range", "tactic": "Wp.range",
"params": { "inf": 0, "sup": 9 },
"select": { "select": "inside-goal", "occur": 0, "target": "i_107",
"pattern": "$i" },
"children": { "Lower 0": [ { "prover": "qed", "verdict": "valid" } ],
"Value 0": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.11,
"steps": 47 } ],
"Value 1": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.1033,
"steps": 47 } ],
"Value 2": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.0879,
"steps": 47 } ],
"Value 3": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.1018,
"steps": 47 } ],
"Value 4": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.107,
"steps": 47 } ],
"Value 5": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.0761,
"steps": 47 } ],
"Value 6": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.0982,
"steps": 47 } ],
"Value 7": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.0885,
"steps": 47 } ],
"Value 8": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.0754,
"steps": 47 } ],
"Value 9": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.1044,
"steps": 47 } ],
"Upper 9": [ { "prover": "qed", "verdict": "valid" } ] } } ]
[ { "header": "Range", "tactic": "Wp.range",
"params": { "inf": 0, "sup": 9 },
"select": { "select": "inside-goal", "occur": 0, "target": "i_107",
"pattern": "$i" },
"children": { "Lower 0": [ { "prover": "qed", "verdict": "valid" } ],
"Value 0": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.1042,
"steps": 47 } ],
"Value 1": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.1018,
"steps": 47 } ],
"Value 2": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.0916,
"steps": 47 } ],
"Value 3": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.091,
"steps": 47 } ],
"Value 4": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.0978,
"steps": 47 } ],
"Value 5": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.1066,
"steps": 47 } ],
"Value 6": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.0893,
"steps": 47 } ],
"Value 7": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.0847,
"steps": 47 } ],
"Value 8": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.1061,
"steps": 47 } ],
"Value 9": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.101,
"steps": 47 } ],
"Upper 9": [ { "prover": "qed", "verdict": "valid" } ] } } ]
[ { "header": "Range", "tactic": "Wp.range",
"params": { "inf": 0, "sup": 9 },
"select": { "select": "inside-goal", "occur": 0, "target": "i_14",
"pattern": "$i" },
"children": { "Lower 0": [ { "prover": "qed", "verdict": "valid" } ],
"Value 0": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.7322,
"steps": 71 } ],
"Value 1": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.7011,
"steps": 71 } ],
"Value 2": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.7025,
"steps": 71 } ],
"Value 3": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.6781,
"steps": 71 } ],
"Value 4": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.6647,
"steps": 71 } ],
"Value 5": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.8582,
"steps": 71 } ],
"Value 6": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.8677,
"steps": 71 } ],
"Value 7": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.8604,
"steps": 71 } ],
"Value 8": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.8716,
"steps": 71 } ],
"Value 9": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.8618,
"steps": 71 } ],
"Upper 9": [ { "prover": "qed", "verdict": "valid" } ] } } ]
[ { "prover": "Alt-Ergo:2.0.0", "verdict": "timeout", "time": 10. },
{ "prover": "script", "verdict": "timeout", "time": 10. },
{ "header": "Range", "tactic": "Wp.range",
"params": { "inf": 0, "sup": 9 },
"select": { "select": "inside-goal", "occur": 0, "target": "i_4",
"pattern": "$i" },
"children": { "Lower 0": [ { "prover": "qed", "verdict": "valid" } ],
"Value 0": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "timeout", "time": 10. } ],
"Value 1": [], "Value 2": [], "Value 3": [], "Value 4": [],
"Value 5": [], "Value 6": [], "Value 7": [], "Value 8": [],
"Value 9": [],
"Upper 9": [ { "prover": "qed", "verdict": "valid" } ] } } ]
[ { "prover": "Alt-Ergo:2.0.0", "verdict": "timeout", "time": 10. },
{ "prover": "script", "verdict": "timeout", "time": 10. },
{ "header": "Range", "tactic": "Wp.range",
"params": { "inf": 0, "sup": 9 },
"select": { "select": "inside-goal", "occur": 0, "target": "i_128",
"pattern": "$i" },
"children": { "Lower 0": [ { "prover": "qed", "verdict": "valid" } ],
"Value 0": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "timeout", "time": 10. } ],
"Value 1": [], "Value 2": [], "Value 3": [], "Value 4": [],
"Value 5": [], "Value 6": [], "Value 7": [], "Value 8": [],
"Value 9": [],
"Upper 9": [ { "prover": "qed", "verdict": "valid" } ] } } ]
[ { "prover": "Alt-Ergo:2.0.0", "verdict": "timeout", "time": 10. },
{ "prover": "script", "verdict": "timeout", "time": 10. },
{ "header": "Range", "tactic": "Wp.range",
"params": { "inf": 0, "sup": 9 },
"select": { "select": "inside-goal", "occur": 0, "target": "i_21",
"pattern": "$i" },
"children": { "Lower 0": [ { "prover": "qed", "verdict": "valid" } ],
"Value 0": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "timeout", "time": 10. } ],
"Value 1": [], "Value 2": [], "Value 3": [], "Value 4": [],
"Value 5": [], "Value 6": [], "Value 7": [], "Value 8": [],
"Value 9": [],
"Upper 9": [ { "prover": "qed", "verdict": "valid" } ] } } ]
[ { "prover": "Alt-Ergo:2.0.0", "verdict": "timeout", "time": 10. },
{ "prover": "script", "verdict": "timeout", "time": 10. },
{ "header": "Range", "tactic": "Wp.range",
"params": { "inf": 0, "sup": 9 },
"select": { "select": "inside-goal", "occur": 0, "target": "i_0",
"pattern": "$i" },
"children": { "Lower 0": [ { "prover": "qed", "verdict": "valid" } ],
"Value 0": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "timeout", "time": 10. } ],
"Value 1": [], "Value 2": [], "Value 3": [], "Value 4": [],
"Value 5": [], "Value 6": [], "Value 7": [], "Value 8": [],
"Value 9": [],
"Upper 9": [ { "prover": "qed", "verdict": "valid" } ] } } ]
[ { "prover": "Alt-Ergo:2.0.0", "verdict": "timeout", "time": 10. },
{ "prover": "script", "verdict": "timeout", "time": 10. },
{ "header": "Range", "tactic": "Wp.range",
"params": { "inf": 0, "sup": 9 },
"select": { "select": "inside-goal", "occur": 0, "target": "i_35",
"pattern": "$i" },
"children": { "Lower 0": [ { "prover": "qed", "verdict": "valid" } ],
"Value 0": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "timeout", "time": 10. } ],
"Value 1": [], "Value 2": [], "Value 3": [], "Value 4": [],
"Value 5": [], "Value 6": [], "Value 7": [], "Value 8": [],
"Value 9": [],
"Upper 9": [ { "prover": "qed", "verdict": "valid" } ] } } ]
[ { "prover": "Alt-Ergo:2.0.0", "verdict": "timeout", "time": 10. },
{ "prover": "script", "verdict": "timeout", "time": 10. },
{ "header": "Range", "tactic": "Wp.range",
"params": { "inf": 0, "sup": 9 },
"select": { "select": "inside-goal", "occur": 0, "target": "i_15",
"pattern": "$i" },
"children": { "Lower 0": [ { "prover": "qed", "verdict": "valid" } ],
"Value 0": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "timeout", "time": 10. } ],
"Value 1": [], "Value 2": [], "Value 3": [], "Value 4": [],
"Value 5": [], "Value 6": [], "Value 7": [], "Value 8": [],
"Value 9": [],
"Upper 9": [ { "prover": "qed", "verdict": "valid" } ] } } ]
[ { "header": "Range", "tactic": "Wp.range",
"params": { "inf": 0, "sup": 9 },
"select": { "select": "inside-goal", "occur": 0, "target": "i_167",
"pattern": "$i" },
"children": { "Lower 0": [ { "prover": "qed", "verdict": "valid" } ],
"Value 0": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.0512,
"steps": 35 } ],
"Value 1": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.0528,
"steps": 35 } ],
"Value 2": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.0513,
"steps": 35 } ],
"Value 3": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.0521,
"steps": 35 } ],
"Value 4": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.0529,
"steps": 35 } ],
"Value 5": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.0489,
"steps": 35 } ],
"Value 6": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.0508,
"steps": 35 } ],
"Value 7": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.0509,
"steps": 35 } ],
"Value 8": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.0493,
"steps": 35 } ],
"Value 9": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.0517,
"steps": 35 } ],
"Upper 9": [ { "prover": "qed", "verdict": "valid" } ] } } ]
[ { "header": "Range", "tactic": "Wp.range",
"params": { "inf": 0, "sup": 9 },
"select": { "select": "inside-goal", "occur": 0, "target": "i_19",
"pattern": "$i" },
"children": { "Lower 0": [ { "prover": "qed", "verdict": "valid" } ],
"Value 0": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.6133,
"steps": 61 } ],
"Value 1": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.6011,
"steps": 61 } ],
"Value 2": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.6246,
"steps": 61 } ],
"Value 3": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.6211,
"steps": 61 } ],
"Value 4": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.6069,
"steps": 61 } ],
"Value 5": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.5578,
"steps": 61 } ],
"Value 6": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.6946,
"steps": 61 } ],
"Value 7": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.6906,
"steps": 61 } ],
"Value 8": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.6571,
"steps": 61 } ],
"Value 9": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.5331,
"steps": 61 } ],
"Upper 9": [ { "prover": "qed", "verdict": "valid" } ] } } ]
[ { "prover": "Alt-Ergo:2.0.0", "verdict": "timeout", "time": 10. },
{ "prover": "script", "verdict": "timeout", "time": 10. },
{ "header": "Range", "tactic": "Wp.range",
"params": { "inf": 0, "sup": 9 },
"select": { "select": "inside-goal", "occur": 0, "target": "i_0",
"pattern": "$i" },
"children": { "Lower 0": [ { "prover": "qed", "verdict": "valid" } ],
"Value 0": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "timeout", "time": 10. } ],
"Value 1": [], "Value 2": [], "Value 3": [], "Value 4": [],
"Value 5": [], "Value 6": [], "Value 7": [], "Value 8": [],
"Value 9": [],
"Upper 9": [ { "prover": "qed", "verdict": "valid" } ] } } ]
[ { "header": "Range", "tactic": "Wp.range",
"params": { "inf": 0, "sup": 9 },
"select": { "select": "inside-goal", "occur": 0, "target": "i_32",
"pattern": "$i" },
"children": { "Lower 0": [ { "prover": "qed", "verdict": "valid" } ],
"Value 0": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.6311,
"steps": 53 } ],
"Value 1": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.6374,
"steps": 53 } ],
"Value 2": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.6393,
"steps": 53 } ],
"Value 3": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.5517,
"steps": 53 } ],
"Value 4": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.6064,
"steps": 53 } ],
"Value 5": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.6106,
"steps": 53 } ],
"Value 6": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.564,
"steps": 53 } ],
"Value 7": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.5933,
"steps": 53 } ],
"Value 8": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.5774,
"steps": 53 } ],
"Value 9": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.5444,
"steps": 53 } ],
"Upper 9": [ { "prover": "qed", "verdict": "valid" } ] } } ]
[ { "header": "Range", "tactic": "Wp.range",
"params": { "inf": 0, "sup": 9 },
"select": { "select": "inside-goal", "occur": 0, "target": "i_14",
"pattern": "$i" },
"children": { "Lower 0": [ { "prover": "qed", "verdict": "valid" } ],
"Value 0": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.6148,
"steps": 53 } ],
"Value 1": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.612,
"steps": 53 } ],
"Value 2": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.6102,
"steps": 53 } ],
"Value 3": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.5953,
"steps": 53 } ],
"Value 4": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.5773,
"steps": 53 } ],
"Value 5": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.5457,
"steps": 53 } ],
"Value 6": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.5134,
"steps": 53 } ],
"Value 7": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.6069,
"steps": 53 } ],
"Value 8": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.6142,
"steps": 53 } ],
"Value 9": [ { "prover": "Alt-Ergo:2.0.0",
"verdict": "valid", "time": 0.6253,
"steps": 53 } ],
"Upper 9": [ { "prover": "qed", "verdict": "valid" } ] } } ]
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment