Commit b4324d3c authored by MARCHE Claude's avatar MARCHE Claude

doc: updated table genereted by why3replayer

parent e565e49f
\begin{tabular}{| l |c |c |c |c |c |}
\hline Proof obligations & \provername{Alt-Ergo 0.93} & \provername{Coq 8.2pl1} & \provername{Simplify 1.5.4} \\
\hline \multicolumn{2}{|c|}{Proof obligations } & \provername{Alt-Ergo 0.93} & \provername{Coq 8.2pl1} & \provername{Simplify 1.5.4} \\
\hline
\explanation{G1} & \noresult& \noresult& \valid{0.01} \\
\explanation{G1} & \explanation{ }& \noresult& \noresult& \valid{0.01} \\
\hline
\explanation{G2} & \noresult& \noresult& \unknown \\
\explanation{G2} & \explanation{ }& \noresult& \noresult& \unknown \\
\cline{2-5}
\explanation{ }& \explanation{ }\explanation{G2.1} & \unknown & \unknown & \unknown \\
\cline{2-5}
\explanation{ }& \explanation{ }\explanation{G2.2} & \valid{0.02} & \noresult& \valid{0.01} \\
\hline
\explanation{G3} & \valid{0.02} & \noresult& \unknown \\
\explanation{G3} & \explanation{ }& \valid{0.02} & \noresult& \unknown \\
\hline \end{tabular}
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