Commit 472a7e9b authored by François Bobot's avatar François Bobot
Browse files

correct the version for z3-3 and z3-2

parent ab31cb93
......@@ -17,11 +17,11 @@
<prover
id="3"
prover_id="z3-2" name="Z3"
version="2.13"/>
version="2.19"/>
<prover
id="4"
prover_id="z3-3" name="Z3"
version="2.13"/>
version="3.2"/>
<file
name="../max_matrix.mlw"
verified="false"
......
......@@ -33,11 +33,11 @@
<prover
id="z3-2"
name="Z3"
version="2.13"/>
version="2.19"/>
<prover
id="z3-3"
name="Z3"
version="2.13"/>
version="3.2"/>
<file
name="../mjrty.mlw"
verified="true"
......
......@@ -33,11 +33,11 @@
<prover
id="z3-2"
name="Z3"
version="2.13"/>
version="2.19"/>
<prover
id="z3-3"
name="Z3"
version="2.13"/>
version="3.2"/>
<file
name="../unraveling_a_card_trick.mlw"
verified="true"
......
......@@ -33,11 +33,11 @@
<prover
id="z3-2"
name="Z3"
version="2.13"/>
version="2.19"/>
<prover
id="z3-3"
name="Z3"
version="2.13"/>
version="3.2"/>
<file
name="../vacid_0_red_black_trees.mlw"
verified="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