Commit 4ed13c88 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Fix session.

parent 0ddf15a5
......@@ -36,7 +36,7 @@
<proof prover="8"><result status="timeout" time="1.00"/></proof>
<proof prover="9"><result status="valid" time="0.48"/></proof>
<proof prover="10"><result status="timeout" time="1.00"/></proof>
<proof prover="11"><result status="valid" time="15.12" steps="969"/></proof>
<proof prover="11"><result status="timeout" time="1.00"/></proof>
<proof prover="13"><result status="unknown" time="0.06"/></proof>
<proof prover="14"><result status="valid" time="1.50"/></proof>
<proof prover="16"><result status="timeout" time="1.00"/></proof>
......
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