Commit 9050931f authored by MARCHE Claude's avatar MARCHE Claude

timelimit changed

parent 2028bea2
......@@ -10,27 +10,27 @@
</theory>
<theory name="Goals" verified="false" expanded="true">
<goal name="G1" sum="0fe9a42b15af9d88af3552c07fd92112" proved="true" expanded="true">
<proof prover="z3" timelimit="10" edited="" obsolete="false">
<result status="valid" time="0.07"/>
<proof prover="z3" timelimit="2" edited="" obsolete="false">
<result status="valid" time="0.08"/>
</proof>
</goal>
<goal name="Wrong" sum="fd482c10b98c64766b7b7527eeaf36ee" proved="false" expanded="true">
<proof prover="simplify" timelimit="2" edited="" obsolete="false">
<result status="timeout" time="2.02"/>
</proof>
<proof prover="cvc3" timelimit="2" edited="" obsolete="false">
<result status="unknown" time="0.37"/>
<result status="timeout" time="2.08"/>
</proof>
<proof prover="alt-ergo" timelimit="2" edited="" obsolete="false">
<result status="unknown" time="0.75"/>
<result status="timeout" time="2.03"/>
</proof>
<proof prover="cvc3" timelimit="2" edited="" obsolete="false">
<result status="unknown" time="0.43"/>
</proof>
<proof prover="z3" timelimit="2" edited="" obsolete="false">
<result status="timeout" time="2.09"/>
<result status="timeout" time="2.08"/>
</proof>
</goal>
<goal name="G2" sum="a6cfd18d6312e82ecf666580fac7945e" proved="true" expanded="true">
<proof prover="z3" timelimit="10" edited="" obsolete="false">
<result status="valid" time="0.08"/>
<proof prover="z3" timelimit="2" edited="" obsolete="false">
<result status="valid" time="0.09"/>
</proof>
</goal>
</theory>
......
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