Commit 2317bf8f authored by François Bobot's avatar François Bobot

Update tagset session

parent 6187ed56
......@@ -16,3 +16,4 @@ toy_compiler
vstte10_max_sum
warshall_algorithm
zeros
stdlib/tagset
......@@ -34,9 +34,7 @@
<proof prover="1"><result status="valid" time="0.11"/></proof>
</goal>
<goal name="VC max_tags" expl="VC for max_tags" proved="true">
<proof prover="0" obsolete="true"><result status="timeout" time="1.00"/></proof>
<proof prover="1"><result status="valid" time="0.09"/></proof>
<proof prover="2" obsolete="true"><result status="timeout" time="1.00"/></proof>
</goal>
<goal name="VC resize" expl="VC for resize" proved="true">
<transf name="split_vc" proved="true" >
......
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