\documentclass[a4paper,10pt]{article}
\usepackage{a4wide}
\usepackage{longtable}
\usepackage{xcolor}
\begin{document}
\textbf{Coverage Report (Regression Tests, generated 22.1.2017 0:55, commit 610588f182fedade0887bad7b124b8f1e8f117cb)} \\\\
analysis
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{778} & \textbf{342} & \textbf{0} & \textbf{44.0} & \textbf{310} & \textbf{178} & \textbf{0} & \textbf{57.4} \\
\hline
b\_machine\_hierarchy.pl & 161 & 84 & 3 & 53.2 & 90 & 56 & 0 & 62.2 \\
\hline
bvisual2.pl & 258 & 27 & 0 & 10.5 & 91 & 11 & 0 & 12.1 \\
\hline
interval\_calc.pl & 8 & 8 & 0 & 100.0 & 6 & 6 & 0 & 100.0 \\
\hline
predicate\_analysis.pl & 351 & 223 & 0 & 63.5 & 123 & 105 & 0 & 85.4 \\
\hline
\end{longtable}
animator
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{924} & \textbf{440} & \textbf{5} & \textbf{47.9} & \textbf{432} & \textbf{249} & \textbf{0} & \textbf{57.6} \\
\hline
b\_operation\_cache.pl & 18 & 11 & 0 & 61.1 & 12 & 8 & 0 & 66.7 \\
\hline
coverage\_statistics.pl & 65 & 19 & 0 & 29.2 & 36 & 14 & 0 & 38.9 \\
\hline
\textcolor[HTML]{FF0000}{evalstores.pl} & \textcolor[HTML]{FF0000}{49} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{4.1} & \textcolor[HTML]{FF0000}{34} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{5.9} \\
\hline
\textcolor[HTML]{FF0000}{hashing.pl} & \textcolor[HTML]{FF0000}{30} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{6.7} & \textcolor[HTML]{FF0000}{7} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{28.6} \\
\hline
\textcolor[HTML]{FF0000}{latex\_processor.pl} & \textcolor[HTML]{FF0000}{84} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{35} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
meta\_interface.pl & 109 & 29 & 1 & 26.9 & 16 & 10 & 0 & 62.5 \\
\hline
specfile.pl & 244 & 174 & 1 & 71.6 & 99 & 86 & 0 & 86.9 \\
\hline
state\_packing.pl & 77 & 56 & 3 & 75.7 & 27 & 21 & 0 & 77.8 \\
\hline
state\_space.pl & 138 & 77 & 0 & 55.8 & 108 & 68 & 0 & 63.0 \\
\hline
state\_space\_dijkstra.pl & 11 & 8 & 0 & 72.7 & 8 & 6 & 0 & 75.0 \\
\hline
state\_space\_open\_nodes\_c.pl & 29 & 15 & 0 & 51.7 & 20 & 9 & 0 & 45.0 \\
\hline
xtl\_interface.pl & 70 & 47 & 0 & 67.1 & 30 & 23 & 0 & 76.7 \\
\hline
\end{longtable}
cbc
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{375} & \textbf{225} & \textbf{3} & \textbf{60.5} & \textbf{189} & \textbf{125} & \textbf{0} & \textbf{66.1} \\
\hline
\textcolor[HTML]{FF0000}{random\_permutations.pl} & \textcolor[HTML]{FF0000}{10} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{7} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
b\_state\_model\_check.pl & 125 & 92 & 2 & 74.8 & 59 & 41 & 0 & 69.5 \\
\hline
cbc\_refinement\_checks.pl & 34 & 34 & 0 & 100.0 & 23 & 23 & 0 & 100.0 \\
\hline
disprover.pl & 22 & 16 & 0 & 72.7 & 14 & 9 & 0 & 64.3 \\
\hline
disprover\_test\_runner.pl & 89 & 20 & 0 & 22.5 & 42 & 16 & 0 & 38.1 \\
\hline
solver\_interface.pl & 44 & 27 & 0 & 61.4 & 22 & 18 & 0 & 81.8 \\
\hline
weakest\_preconditions.pl & 51 & 36 & 1 & 72.0 & 22 & 18 & 0 & 81.8 \\
\hline
\end{longtable}
cli
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{151} & \textbf{16} & \textbf{0} & \textbf{10.6} & \textbf{123} & \textbf{16} & \textbf{0} & \textbf{13.0} \\
\hline
eclipse\_interface.pl & 151 & 16 & 1 & 10.7 & 123 & 16 & 0 & 13.0 \\
\hline
\end{longtable}
coverage\_analysis
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{172} & \textbf{37} & \textbf{0} & \textbf{21.5} & \textbf{98} & \textbf{14} & \textbf{0} & \textbf{14.3} \\
\hline
coverage\_term\_expander.pl & 36 & 36 & 0 & 100.0 & 13 & 13 & 0 & 100.0 \\
\hline
\textcolor[HTML]{FF0000}{coverage\_tools.pl} & \textcolor[HTML]{FF0000}{84} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{54} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{prob\_cov.pl} & \textcolor[HTML]{FF0000}{52} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1.9} & \textcolor[HTML]{FF0000}{31} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3.2} \\
\hline
\end{longtable}
csp
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{1613} & \textbf{1017} & \textbf{49} & \textbf{65.0} & \textbf{590} & \textbf{460} & \textbf{1} & \textbf{78.1} \\
\hline
csp\_basic.pl & 5 & 5 & 0 & 100.0 & 5 & 5 & 0 & 100.0 \\
\hline
csp\_sequences.pl & 58 & 26 & 3 & 47.3 & 21 & 18 & 0 & 85.7 \\
\hline
csp\_sets.pl & 268 & 131 & 15 & 51.8 & 99 & 73 & 0 & 73.7 \\
\hline
csp\_tuples.pl & 94 & 60 & 3 & 65.9 & 37 & 27 & 0 & 73.0 \\
\hline
haskell\_csp.pl & 734 & 425 & 22 & 59.7 & 244 & 172 & 1 & 70.8 \\
\hline
haskell\_csp\_analyzer.pl & 289 & 221 & 4 & 77.5 & 94 & 83 & 0 & 88.3 \\
\hline
refinement\_checker.pl & 165 & 149 & 2 & 91.4 & 90 & 82 & 0 & 91.1 \\
\hline
\end{longtable}
dot
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{545} & \textbf{203} & \textbf{1} & \textbf{37.3} & \textbf{311} & \textbf{122} & \textbf{0} & \textbf{39.2} \\
\hline
bvisual.pl & 131 & 79 & 0 & 60.3 & 61 & 47 & 0 & 77.0 \\
\hline
\textcolor[HTML]{FF0000}{bvisual\_any\_maxsolver.pl} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
dot\_graph\_generator.pl & 58 & 23 & 0 & 39.7 & 26 & 16 & 0 & 61.5 \\
\hline
\textcolor[HTML]{FF0000}{maxsolver.pl} & \textcolor[HTML]{FF0000}{38} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{24} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
reduce\_graph\_state\_space.pl & 176 & 62 & 0 & 35.2 & 120 & 40 & 0 & 33.3 \\
\hline
\textcolor[HTML]{FF0000}{state\_custom\_dot\_graph.pl} & \textcolor[HTML]{FF0000}{17} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{12} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
visualize\_graph.pl & 120 & 39 & 0 & 32.5 & 65 & 19 & 0 & 29.2 \\
\hline
\end{longtable}
experimental
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{430} & \textbf{1} & \textbf{1} & \textbf{0.2} & \textbf{209} & \textbf{1} & \textbf{0} & \textbf{0.5} \\
\hline
\textcolor[HTML]{FF0000}{cvc4interface.pl} & \textcolor[HTML]{FF0000}{28} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{ltsmin.pl} & \textcolor[HTML]{FF0000}{152} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{87} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{z3interface.pl} & \textcolor[HTML]{FF0000}{31} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{master.pl} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{worker.pl} & \textcolor[HTML]{FF0000}{26} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{19} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{zmq.pl} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{flow.pl} & \textcolor[HTML]{FF0000}{179} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.6} & \textcolor[HTML]{FF0000}{87} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1.1} \\
\hline
\end{longtable}
external\_functions
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{22} & \textbf{1} & \textbf{0} & \textbf{4.5} & \textbf{10} & \textbf{1} & \textbf{0} & \textbf{10.0} \\
\hline
\textcolor[HTML]{FF0000}{xml2b.pl} & \textcolor[HTML]{FF0000}{22} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{4.5} & \textcolor[HTML]{FF0000}{10} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{10.0} \\
\hline
\end{longtable}
infrastructure
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{6148} & \textbf{4141} & \textbf{27} & \textbf{67.7} & \textbf{1652} & \textbf{882} & \textbf{6} & \textbf{53.6} \\
\hline
probhash.pl & 21 & 5 & 0 & 23.8 & 19 & 4 & 0 & 21.1 \\
\hline
user\_signal.pl & 12 & 9 & 0 & 75.0 & 9 & 6 & 0 & 66.7 \\
\hline
\textcolor[HTML]{FF0000}{ast\_inspector.pl} & \textcolor[HTML]{FF0000}{24} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{7} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{atelierb\_provers\_interface.pl} & \textcolor[HTML]{FF0000}{16} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{13} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
bmachine.pl & 424 & 338 & 3 & 80.3 & 234 & 193 & 0 & 82.5 \\
\hline
debug.pl & 73 & 27 & 0 & 37.0 & 63 & 23 & 0 & 36.5 \\
\hline
debugging\_calls.pl & 19 & 10 & 0 & 52.6 & 10 & 5 & 0 & 50.0 \\
\hline
debugging\_calls\_te.pl & 4 & 1 & 0 & 25.0 & 4 & 1 & 0 & 25.0 \\
\hline
error\_manager.pl & 205 & 123 & 6 & 61.8 & 132 & 87 & 6 & 69.0 \\
\hline
eventhandling.pl & 24 & 18 & 1 & 78.3 & 9 & 7 & 0 & 77.8 \\
\hline
junit\_tests.pl & 18 & 14 & 1 & 82.4 & 11 & 11 & 0 & 100.0 \\
\hline
logger.pl & 68 & 33 & 1 & 49.3 & 39 & 20 & 0 & 51.3 \\
\hline
module\_information.pl & 6 & 2 & 0 & 33.3 & 5 & 2 & 0 & 40.0 \\
\hline
pathes.pl & 16 & 15 & 0 & 93.8 & 14 & 13 & 0 & 92.9 \\
\hline
plugins.pl & 108 & 64 & 0 & 59.3 & 62 & 32 & 0 & 51.6 \\
\hline
preferences.pl & 1184 & 740 & 0 & 62.5 & 89 & 35 & 0 & 39.3 \\
\hline
prob\_cli.pl & 927 & 369 & 8 & 40.2 & 339 & 176 & 0 & 51.9 \\
\hline
self\_check.pl & 79 & 12 & 0 & 15.2 & 63 & 12 & 0 & 19.0 \\
\hline
state\_space\_exploration\_modes.pl & 61 & 29 & 0 & 47.5 & 26 & 17 & 0 & 65.4 \\
\hline
succeed\_max.pl & 12 & 11 & 0 & 91.7 & 8 & 7 & 0 & 87.5 \\
\hline
tcltk\_interface.pl & 421 & 132 & 4 & 31.7 & 281 & 92 & 0 & 32.7 \\
\hline
testcases.pl & 1973 & 1930 & 0 & 97.8 & 7 & 6 & 0 & 85.7 \\
\hline
tools.pl & 316 & 180 & 3 & 57.5 & 145 & 93 & 0 & 64.1 \\
\hline
tools\_io.pl & 1 & 1 & 0 & 100.0 & 1 & 1 & 0 & 100.0 \\
\hline
tools\_lists.pl & 3 & 3 & 0 & 100.0 & 2 & 2 & 0 & 100.0 \\
\hline
tools\_meta.pl & 6 & 5 & 0 & 83.3 & 5 & 4 & 0 & 80.0 \\
\hline
tools\_printing.pl & 79 & 34 & 0 & 43.0 & 25 & 9 & 0 & 36.0 \\
\hline
tools\_strings.pl & 33 & 28 & 0 & 84.8 & 16 & 16 & 0 & 100.0 \\
\hline
tools\_timeout.pl & 5 & 3 & 0 & 60.0 & 4 & 3 & 0 & 75.0 \\
\hline
\textcolor[HTML]{FF0000}{user\_interrupts.pl} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
version.pl & 6 & 5 & 0 & 83.3 & 6 & 5 & 0 & 83.3 \\
\hline
\end{longtable}
\textbf{interpreter
}\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{2608} & \textbf{1615} & \textbf{33} & \textbf{62.7} & \textbf{1143} & \textbf{737} & \textbf{0} & \textbf{64.5} \\
\hline
b\_compiler.pl & 237 & 204 & 1 & 86.4 & 58 & 53 & 0 & 91.4 \\
\hline
b\_enumerate.pl & 111 & 98 & 0 & 88.3 & 49 & 45 & 0 & 91.8 \\
\hline
b\_interpreter.pl & 609 & 506 & 15 & 85.2 & 291 & 269 & 0 & 92.4 \\
\hline
b\_interpreter\_check.pl & 377 & 331 & 5 & 89.0 & 104 & 97 & 0 & 93.3 \\
\hline
b\_interpreter\_components.pl & 73 & 69 & 0 & 94.5 & 53 & 50 & 0 & 94.3 \\
\hline
b\_interpreter\_eventb.pl & 76 & 58 & 1 & 77.3 & 50 & 44 & 0 & 88.0 \\
\hline
external\_functions.pl & 777 & 87 & 11 & 11.4 & 356 & 36 & 0 & 10.1 \\
\hline
store.pl & 167 & 132 & 1 & 79.5 & 69 & 61 & 0 & 88.4 \\
\hline
value\_persistance.pl & 181 & 130 & 0 & 71.8 & 113 & 82 & 0 & 72.6 \\
\hline
\end{longtable}
\textbf{kernel
}\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{4991} & \textbf{3945} & \textbf{70} & \textbf{80.2} & \textbf{2176} & \textbf{1849} & \textbf{2} & \textbf{85.1} \\
\hline
b\_global\_sets.pl & 196 & 163 & 2 & 84.0 & 95 & 90 & 0 & 94.7 \\
\hline
bool\_pred.pl & 29 & 22 & 0 & 75.9 & 20 & 15 & 0 & 75.0 \\
\hline
bsets\_clp.pl & 661 & 557 & 4 & 84.8 & 344 & 301 & 0 & 87.5 \\
\hline
closures.pl & 98 & 59 & 1 & 60.8 & 37 & 33 & 0 & 89.2 \\
\hline
clpfd\_interface.pl & 162 & 106 & 1 & 65.8 & 94 & 66 & 0 & 70.2 \\
\hline
clpfd\_lists.pl & 113 & 89 & 7 & 84.0 & 33 & 32 & 0 & 97.0 \\
\hline
clpfd\_tables.pl & 46 & 40 & 0 & 87.0 & 24 & 22 & 0 & 91.7 \\
\hline
custom\_explicit\_sets.pl & 1301 & 1087 & 23 & 85.1 & 535 & 490 & 0 & 91.6 \\
\hline
delay.pl & 32 & 31 & 0 & 96.9 & 23 & 22 & 0 & 95.7 \\
\hline
fd\_utils\_clpfd.pl & 11 & 7 & 0 & 63.6 & 9 & 7 & 0 & 77.8 \\
\hline
inf\_arith.pl & 51 & 35 & 0 & 68.6 & 21 & 15 & 0 & 71.4 \\
\hline
kernel\_dif.pl & 15 & 9 & 0 & 60.0 & 8 & 4 & 0 & 50.0 \\
\hline
kernel\_equality.pl & 170 & 156 & 4 & 94.0 & 77 & 71 & 0 & 92.2 \\
\hline
kernel\_frozen\_info.pl & 17 & 7 & 0 & 41.2 & 6 & 5 & 0 & 83.3 \\
\hline
kernel\_mappings.pl & 400 & 343 & 0 & 85.8 & 91 & 84 & 0 & 92.3 \\
\hline
kernel\_objects.pl & 1096 & 887 & 6 & 81.4 & 517 & 447 & 1 & 86.6 \\
\hline
kernel\_ordering.pl & 36 & 21 & 0 & 58.3 & 15 & 10 & 0 & 66.7 \\
\hline
kernel\_records.pl & 23 & 17 & 0 & 73.9 & 17 & 14 & 0 & 82.4 \\
\hline
\textcolor[HTML]{FF0000}{kernel\_strings.pl} & \textcolor[HTML]{FF0000}{97} & \textcolor[HTML]{FF0000}{9} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{9.4} & \textcolor[HTML]{FF0000}{60} & \textcolor[HTML]{FF0000}{7} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{11.7} \\
\hline
kernel\_tools.pl & 251 & 199 & 4 & 80.6 & 38 & 33 & 0 & 86.8 \\
\hline
kernel\_waitflags.pl & 186 & 101 & 19 & 60.5 & 112 & 81 & 1 & 73.0 \\
\hline
\end{longtable}
kodkod
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{713} & \textbf{2} & \textbf{2} & \textbf{0.3} & \textbf{323} & \textbf{1} & \textbf{0} & \textbf{0.3} \\
\hline
\textcolor[HTML]{FF0000}{kodkod.pl} & \textcolor[HTML]{FF0000}{91} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2.2} & \textcolor[HTML]{FF0000}{48} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2.1} \\
\hline
\textcolor[HTML]{FF0000}{kodkod2.pl} & \textcolor[HTML]{FF0000}{67} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{38} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{kodkod\_integer\_recalc.pl} & \textcolor[HTML]{FF0000}{23} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{8} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{kodkod\_printer.pl} & \textcolor[HTML]{FF0000}{121} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{43} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{kodkod\_process.pl} & \textcolor[HTML]{FF0000}{69} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{47} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{kodkod\_rewrite.pl} & \textcolor[HTML]{FF0000}{26} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{kodkod\_test.pl} & \textcolor[HTML]{FF0000}{50} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{39} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{kodkod\_tools.pl} & \textcolor[HTML]{FF0000}{27} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{18} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{kodkod\_translate.pl} & \textcolor[HTML]{FF0000}{154} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{46} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{kodkod\_typing.pl} & \textcolor[HTML]{FF0000}{85} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{25} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\end{longtable}
ltl
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{885} & \textbf{350} & \textbf{20} & \textbf{40.5} & \textbf{384} & \textbf{192} & \textbf{1} & \textbf{50.1} \\
\hline
\textcolor[HTML]{FF0000}{ltl2ba.pl} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
ltlc.pl & 92 & 82 & 0 & 89.1 & 31 & 30 & 0 & 96.8 \\
\hline
\textcolor[HTML]{FF0000}{ctl.pl} & \textcolor[HTML]{FF0000}{69} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{3.0} & \textcolor[HTML]{FF0000}{29} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{6.9} \\
\hline
ltl.pl & 148 & 79 & 4 & 54.9 & 83 & 54 & 0 & 65.1 \\
\hline
ltl\_fairness.pl & 56 & 40 & 3 & 75.5 & 32 & 27 & 0 & 84.4 \\
\hline
ltl\_propositions.pl & 62 & 15 & 1 & 24.6 & 25 & 10 & 0 & 40.0 \\
\hline
\textcolor[HTML]{FF0000}{ltl\_safety.pl} & \textcolor[HTML]{FF0000}{97} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{4.2} & \textcolor[HTML]{FF0000}{32} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{12.5} \\
\hline
ltl\_tools.pl & 151 & 73 & 2 & 49.0 & 59 & 35 & 0 & 59.3 \\
\hline
\textcolor[HTML]{FF0000}{ltl\_translate.pl} & \textcolor[HTML]{FF0000}{62} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{12} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
ltl\_verification.pl & 70 & 55 & 0 & 78.6 & 32 & 30 & 0 & 93.8 \\
\hline
\textcolor[HTML]{FF0000}{safety\_mc.pl} & \textcolor[HTML]{FF0000}{63} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{38} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{state\_space\_explorer.pl} & \textcolor[HTML]{FF0000}{10} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{6} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\end{longtable}
misc
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{446} & \textbf{160} & \textbf{2} & \textbf{36.0} & \textbf{241} & \textbf{95} & \textbf{0} & \textbf{39.4} \\
\hline
b\_show\_history.pl & 63 & 31 & 1 & 50.0 & 39 & 19 & 0 & 48.7 \\
\hline
before\_after\_predicates.pl & 54 & 14 & 2 & 26.9 & 26 & 11 & 0 & 42.3 \\
\hline
\textcolor[HTML]{FF0000}{log\_analyser.pl} & \textcolor[HTML]{FF0000}{81} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{44} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
predicate\_debugger.pl & 117 & 47 & 0 & 40.2 & 59 & 19 & 0 & 32.2 \\
\hline
predicate\_evaluator.pl & 87 & 55 & 0 & 63.2 & 49 & 35 & 0 & 71.4 \\
\hline
unsat\_cores.pl & 44 & 13 & 0 & 29.5 & 24 & 11 & 0 & 45.8 \\
\hline
\end{longtable}
model\_checker
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{357} & \textbf{89} & \textbf{2} & \textbf{25.1} & \textbf{221} & \textbf{58} & \textbf{0} & \textbf{26.2} \\
\hline
model\_checker.pl & 44 & 41 & 0 & 93.2 & 19 & 18 & 0 & 94.7 \\
\hline
pge\_algo.pl & 62 & 42 & 1 & 68.9 & 41 & 34 & 0 & 82.9 \\
\hline
\textcolor[HTML]{FF0000}{ample\_sets.pl} & \textcolor[HTML]{FF0000}{86} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3.5} & \textcolor[HTML]{FF0000}{66} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{4.5} \\
\hline
\textcolor[HTML]{FF0000}{b\_simplifier.pl} & \textcolor[HTML]{FF0000}{53} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{20} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{dot\_graphs\_static\_analysis.pl} & \textcolor[HTML]{FF0000}{9} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{9} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{enable\_graph.pl} & \textcolor[HTML]{FF0000}{35} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{23} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{enabling\_predicates.pl} & \textcolor[HTML]{FF0000}{30} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{15} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{static\_analysis.pl} & \textcolor[HTML]{FF0000}{38} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{8.1} & \textcolor[HTML]{FF0000}{28} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{10.7} \\
\hline
\end{longtable}
other
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{1406} & \textbf{597} & \textbf{9} & \textbf{42.7} & \textbf{681} & \textbf{286} & \textbf{1} & \textbf{42.1} \\
\hline
M0\_AOO\_mch.pl & 31 & 31 & 0 & 100.0 & 4 & 4 & 0 & 100.0 \\
\hline
Traffic\_Context2\_prob\_ctx.pl & 4 & 4 & 0 & 100.0 & 4 & 4 & 0 & 100.0 \\
\hline
\textcolor[HTML]{FF0000}{Farmer\_temp.pl} & \textcolor[HTML]{FF0000}{36} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
train\_ctx5\_ctx.pl & 3 & 3 & 0 & 100.0 & 3 & 3 & 0 & 100.0 \\
\hline
counter.pl & 8 & 8 & 0 & 100.0 & 4 & 4 & 0 & 100.0 \\
\hline
myheap.pl & 33 & 19 & 0 & 57.6 & 14 & 4 & 0 & 28.6 \\
\hline
avl\_tools.pl & 23 & 22 & 0 & 95.7 & 14 & 13 & 0 & 92.9 \\
\hline
b\_arithmetic\_expressions.pl & 8 & 7 & 0 & 87.5 & 3 & 3 & 0 & 100.0 \\
\hline
b\_expression\_sharing.pl & 339 & 240 & 2 & 71.2 & 130 & 99 & 0 & 76.2 \\
\hline
chr\_integer\_inequality.pl & 29 & 26 & 0 & 89.7 & 23 & 21 & 0 & 91.3 \\
\hline
chr\_set\_membership.pl & 6 & 1 & 0 & 16.7 & 6 & 1 & 0 & 16.7 \\
\hline
\textcolor[HTML]{FF0000}{coverage\_tools\_annotations.pl} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
enabling\_analysis.pl & 131 & 14 & 2 & 10.9 & 58 & 11 & 0 & 19.0 \\
\hline
hit\_profiler.pl & 30 & 8 & 0 & 26.7 & 14 & 7 & 0 & 50.0 \\
\hline
input\_syntax\_tree.pl & 55 & 41 & 1 & 75.9 & 21 & 17 & 0 & 81.0 \\
\hline
partition\_detection.pl & 22 & 22 & 0 & 100.0 & 15 & 15 & 0 & 100.0 \\
\hline
\textcolor[HTML]{FF0000}{prob2\_interface.pl} & \textcolor[HTML]{FF0000}{213} & \textcolor[HTML]{FF0000}{16} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{7.6} & \textcolor[HTML]{FF0000}{143} & \textcolor[HTML]{FF0000}{12} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{8.4} \\
\hline
\textcolor[HTML]{FF0000}{prob\_socketserver.pl} & \textcolor[HTML]{FF0000}{47} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{26} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
b\_ast\_cleanup\_rewrite\_rules.pl & 15 & 14 & 0 & 93.3 & 12 & 11 & 0 & 91.7 \\
\hline
rewrite\_rules\_db.pl & 29 & 21 & 0 & 72.4 & 2 & 1 & 0 & 50.0 \\
\hline
runtime\_profiler.pl & 7 & 2 & 0 & 28.6 & 7 & 2 & 0 & 28.6 \\
\hline
state\_space\_reduction.pl & 77 & 37 & 0 & 48.1 & 56 & 31 & 0 & 55.4 \\
\hline
\textcolor[HTML]{FF0000}{state\_viewer\_images.pl} & \textcolor[HTML]{FF0000}{90} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{48} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{ce\_replay.pl} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{table\_tools.pl} & \textcolor[HTML]{FF0000}{70} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{30} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
test\_typechecker.pl & 25 & 24 & 0 & 96.0 & 16 & 15 & 0 & 93.8 \\
\hline
\textcolor[HTML]{FF0000}{tools\_commands.pl} & \textcolor[HTML]{FF0000}{14} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{9} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
typing\_tools.pl & 55 & 37 & 0 & 67.3 & 11 & 8 & 0 & 72.7 \\
\hline
\end{longtable}
pltables
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{84} & \textbf{0} & \textbf{0} & \textbf{0.0} & \textbf{60} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{pltables.pl} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{pltables\_export.pl} & \textcolor[HTML]{FF0000}{20} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{16} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{pltables\_export\_csv.pl} & \textcolor[HTML]{FF0000}{13} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{10} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{pltables\_export\_html.pl} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{8} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{pltables\_export\_latex.pl} & \textcolor[HTML]{FF0000}{21} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{pltables\_export\_tools.pl} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{pltables\_export\_xml.pl} & \textcolor[HTML]{FF0000}{13} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{10} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\end{longtable}
plugin
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{6} & \textbf{1} & \textbf{0} & \textbf{16.7} & \textbf{6} & \textbf{1} & \textbf{0} & \textbf{16.7} \\
\hline
testaddon.pl & 6 & 1 & 0 & 16.7 & 6 & 1 & 0 & 16.7 \\
\hline
\end{longtable}
plugin\_absint
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{173} & \textbf{7} & \textbf{7} & \textbf{4.2} & \textbf{92} & \textbf{6} & \textbf{0} & \textbf{6.5} \\
\hline
absint.pl & 14 & 2 & 0 & 14.3 & 11 & 2 & 0 & 18.2 \\
\hline
\textcolor[HTML]{FF0000}{b\_abstract\_interpreter.pl} & \textcolor[HTML]{FF0000}{34} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{13} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{b\_abstract\_interpreter\_helpers.pl} & \textcolor[HTML]{FF0000}{32} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{20} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
b\_abstract\_mappings.pl & 19 & 5 & 3 & 31.3 & 12 & 4 & 0 & 33.3 \\
\hline
\textcolor[HTML]{FF0000}{interval.pl} & \textcolor[HTML]{FF0000}{74} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{36} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\end{longtable}
plugin\_units
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{457} & \textbf{319} & \textbf{14} & \textbf{72.0} & \textbf{133} & \textbf{113} & \textbf{3} & \textbf{86.9} \\
\hline
unit\_parser.pl & 22 & 15 & 0 & 68.2 & 7 & 6 & 0 & 85.7 \\
\hline
units.pl & 41 & 29 & 7 & 85.3 & 25 & 19 & 2 & 82.6 \\
\hline
units\_alias.pl & 18 & 18 & 0 & 100.0 & 3 & 3 & 0 & 100.0 \\
\hline
units\_conversions.pl & 6 & 6 & 0 & 100.0 & 2 & 2 & 0 & 100.0 \\
\hline
units\_domain.pl & 79 & 68 & 0 & 86.1 & 27 & 25 & 0 & 92.6 \\
\hline
units\_interpreter.pl & 159 & 81 & 3 & 51.9 & 18 & 17 & 1 & 100.0 \\
\hline
units\_interpreter\_helpers.pl & 68 & 57 & 3 & 87.7 & 30 & 27 & 0 & 90.0 \\
\hline
units\_prettyprint.pl & 37 & 19 & 1 & 52.8 & 10 & 4 & 0 & 40.0 \\
\hline
units\_tools.pl & 27 & 26 & 0 & 96.3 & 11 & 10 & 0 & 90.9 \\
\hline
\end{longtable}
plugin\_xtl
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{14} & \textbf{1} & \textbf{0} & \textbf{7.1} & \textbf{12} & \textbf{1} & \textbf{0} & \textbf{8.3} \\
\hline
\textcolor[HTML]{FF0000}{xtl.pl} & \textcolor[HTML]{FF0000}{13} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{7.7} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{9.1} \\
\hline
\textcolor[HTML]{FF0000}{xtl\_program.pl} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\end{longtable}
promela
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{249} & \textbf{75} & \textbf{0} & \textbf{30.1} & \textbf{90} & \textbf{38} & \textbf{0} & \textbf{42.2} \\
\hline
h\_int.pl & 214 & 75 & 0 & 35.0 & 62 & 38 & 0 & 61.3 \\
\hline
\textcolor[HTML]{FF0000}{promela\_ncprinter.pl} & \textcolor[HTML]{FF0000}{21} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{17} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{promela\_tools.pl} & \textcolor[HTML]{FF0000}{14} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\end{longtable}
proz
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{1339} & \textbf{1145} & \textbf{0} & \textbf{85.5} & \textbf{458} & \textbf{402} & \textbf{0} & \textbf{87.8} \\
\hline
kernel\_freetypes.pl & 62 & 45 & 0 & 72.6 & 35 & 27 & 0 & 77.1 \\
\hline
kernel\_z.pl & 15 & 14 & 0 & 93.3 & 11 & 11 & 0 & 100.0 \\
\hline
consistencycheck.pl & 125 & 109 & 0 & 87.2 & 16 & 14 & 0 & 87.5 \\
\hline
dependence.pl & 31 & 21 & 0 & 67.7 & 6 & 6 & 0 & 100.0 \\
\hline
fuzzfile.pl & 44 & 44 & 0 & 100.0 & 25 & 25 & 0 & 100.0 \\
\hline
proz.pl & 287 & 258 & 0 & 89.9 & 110 & 93 & 0 & 84.5 \\
\hline
schemaexpansion.pl & 92 & 70 & 0 & 76.1 & 40 & 33 & 0 & 82.5 \\
\hline
schemavars.pl & 23 & 7 & 0 & 30.4 & 6 & 4 & 0 & 66.7 \\
\hline
subexpressions.pl & 186 & 170 & 0 & 91.4 & 48 & 47 & 0 & 97.9 \\
\hline
z\_tools.pl & 34 & 29 & 0 & 85.3 & 22 & 18 & 0 & 81.8 \\
\hline
z\_typechecker.pl & 264 & 218 & 0 & 82.6 & 64 & 53 & 0 & 82.8 \\
\hline
zenvironment.pl & 11 & 10 & 0 & 90.9 & 7 & 7 & 0 & 100.0 \\
\hline
zparameters.pl & 9 & 1 & 0 & 11.1 & 3 & 1 & 0 & 33.3 \\
\hline
ztransformations.pl & 156 & 149 & 0 & 95.5 & 65 & 63 & 0 & 96.9 \\
\hline
\end{longtable}
repl
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{283} & \textbf{98} & \textbf{0} & \textbf{34.6} & \textbf{129} & \textbf{56} & \textbf{0} & \textbf{43.4} \\
\hline
eval\_strings.pl & 283 & 98 & 1 & 34.8 & 129 & 56 & 0 & 43.4 \\
\hline
\end{longtable}
smt\_solvers
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{412} & \textbf{2} & \textbf{4} & \textbf{0.5} & \textbf{121} & \textbf{1} & \textbf{0} & \textbf{0.8} \\
\hline
\textcolor[HTML]{FF0000}{ast\_cleanup\_for\_smt.pl} & \textcolor[HTML]{FF0000}{91} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{25} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{model\_translation.pl} & \textcolor[HTML]{FF0000}{77} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{27} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{prob\_state\_predicates.pl} & \textcolor[HTML]{FF0000}{16} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{seq\_rewriter.pl} & \textcolor[HTML]{FF0000}{35} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{12} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{smt\_common\_predicates.pl} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{smt\_solvers\_interface.pl} & \textcolor[HTML]{FF0000}{186} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{1.1} & \textcolor[HTML]{FF0000}{49} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2.0} \\
\hline
\textcolor[HTML]{FF0000}{solver\_dispatcher.pl} & \textcolor[HTML]{FF0000}{6} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\end{longtable}
smtlib
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{271} & \textbf{171} & \textbf{0} & \textbf{63.1} & \textbf{91} & \textbf{58} & \textbf{0} & \textbf{63.7} \\
\hline
smtlib2\_cli.pl & 6 & 4 & 0 & 66.7 & 4 & 3 & 0 & 75.0 \\
\hline
smtlib2\_environment.pl & 17 & 9 & 0 & 52.9 & 14 & 8 & 0 & 57.1 \\
\hline
smtlib2\_interpreter.pl & 42 & 17 & 0 & 40.5 & 10 & 6 & 0 & 60.0 \\
\hline
smtlib2\_parser.pl & 98 & 83 & 0 & 84.7 & 38 & 32 & 0 & 84.2 \\
\hline
smtlib2\_translation.pl & 108 & 58 & 0 & 53.7 & 25 & 9 & 0 & 36.0 \\
\hline
\end{longtable}
symbolic\_model\_checker
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{271} & \textbf{0} & \textbf{1} & \textbf{0.0} & \textbf{171} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{bmc.pl} & \textcolor[HTML]{FF0000}{23} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{14} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{cbc\_ba.pl} & \textcolor[HTML]{FF0000}{8} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{ctigar.pl} & \textcolor[HTML]{FF0000}{49} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{32} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{ic3.pl} & \textcolor[HTML]{FF0000}{52} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{34} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{kinduction.pl} & \textcolor[HTML]{FF0000}{32} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{19} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{mic\_generation.pl} & \textcolor[HTML]{FF0000}{20} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{predicate\_abstraction.pl} & \textcolor[HTML]{FF0000}{13} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{8} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{predicate\_handling.pl} & \textcolor[HTML]{FF0000}{47} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{31} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{solver\_handling.pl} & \textcolor[HTML]{FF0000}{24} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{16} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{unsat\_core\_generalization.pl} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\end{longtable}
symmetry
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{278} & \textbf{199} & \textbf{1} & \textbf{71.8} & \textbf{114} & \textbf{95} & \textbf{0} & \textbf{83.3} \\
\hline
graphiso.pl & 11 & 11 & 0 & 100.0 & 5 & 5 & 0 & 100.0 \\
\hline
graph\_canon.pl & 82 & 56 & 0 & 68.3 & 37 & 32 & 0 & 86.5 \\
\hline
graph\_iso\_nauty.pl & 61 & 39 & 0 & 63.9 & 31 & 21 & 0 & 67.7 \\
\hline
state\_permuter.pl & 32 & 21 & 0 & 65.6 & 10 & 9 & 0 & 90.0 \\
\hline
symmetry\_marker.pl & 92 & 72 & 1 & 79.1 & 31 & 28 & 0 & 90.3 \\
\hline
\end{longtable}
tcltk
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{42} & \textbf{0} & \textbf{0} & \textbf{0.0} & \textbf{18} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{prologTasks.pl} & \textcolor[HTML]{FF0000}{15} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{7} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{tcltk\_tree\_inspector.pl} & \textcolor[HTML]{FF0000}{27} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\end{longtable}
test\_generation
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{380} & \textbf{220} & \textbf{3} & \textbf{58.4} & \textbf{243} & \textbf{159} & \textbf{0} & \textbf{65.4} \\
\hline
\textcolor[HTML]{FF0000}{mcdc\_coverage.pl} & \textcolor[HTML]{FF0000}{59} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{22} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
sap.pl & 321 & 220 & 3 & 69.2 & 221 & 159 & 0 & 71.9 \\
\hline
\end{longtable}
testing
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{438} & \textbf{124} & \textbf{0} & \textbf{28.3} & \textbf{164} & \textbf{62} & \textbf{0} & \textbf{37.8} \\
\hline
b\_trace\_checking.pl & 97 & 69 & 0 & 71.1 & 39 & 29 & 0 & 74.4 \\
\hline
test\_runner.pl & 227 & 37 & 0 & 16.3 & 99 & 28 & 0 & 28.3 \\
\hline
typechecker.pl & 114 & 18 & 0 & 15.8 & 26 & 5 & 0 & 19.2 \\
\hline
\end{longtable}
tools
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{1622} & \textbf{744} & \textbf{6} & \textbf{46.0} & \textbf{480} & \textbf{287} & \textbf{0} & \textbf{59.8} \\
\hline
\textcolor[HTML]{FF0000}{fdr\_csp\_generator.pl} & \textcolor[HTML]{FF0000}{72} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{39} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
gensym.pl & 10 & 8 & 0 & 80.0 & 8 & 6 & 0 & 75.0 \\
\hline
pref\_definitions.pl & 21 & 14 & 0 & 66.7 & 9 & 7 & 0 & 77.8 \\
\hline
static\_ordering.pl & 12 & 12 & 0 & 100.0 & 7 & 7 & 0 & 100.0 \\
\hline
system\_call.pl & 10 & 8 & 1 & 88.9 & 9 & 8 & 0 & 88.9 \\
\hline
translate.pl & 1359 & 701 & 5 & 51.8 & 401 & 258 & 0 & 64.3 \\
\hline
\textcolor[HTML]{FF0000}{translate\_keywords.pl} & \textcolor[HTML]{FF0000}{138} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.7} & \textcolor[HTML]{FF0000}{7} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{14.3} \\
\hline
\end{longtable}
typechecker
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{3186} & \textbf{2519} & \textbf{30} & \textbf{79.8} & \textbf{1429} & \textbf{1236} & \textbf{0} & \textbf{86.5} \\
\hline
b\_ast\_cleanup.pl & 527 & 443 & 3 & 84.5 & 175 & 163 & 0 & 93.1 \\
\hline
b\_read\_write\_info.pl & 129 & 70 & 2 & 55.1 & 61 & 44 & 0 & 72.1 \\
\hline
bmachine\_construction.pl & 439 & 379 & 6 & 87.5 & 281 & 256 & 0 & 91.1 \\
\hline
bmachine\_eventb.pl & 460 & 380 & 3 & 83.2 & 277 & 265 & 0 & 95.7 \\
\hline
bmachine\_static\_checks.pl & 35 & 26 & 0 & 74.3 & 21 & 18 & 0 & 85.7 \\
\hline
bmachine\_structure.pl & 23 & 23 & 0 & 100.0 & 17 & 17 & 0 & 100.0 \\
\hline
bsyntaxtree.pl & 793 & 626 & 10 & 79.9 & 250 & 209 & 0 & 83.6 \\
\hline
btypechecker.pl & 522 & 440 & 1 & 84.5 & 186 & 164 & 0 & 88.2 \\
\hline
parsercall.pl & 150 & 74 & 7 & 51.7 & 87 & 57 & 0 & 65.5 \\
\hline
pragmas.pl & 12 & 3 & 0 & 25.0 & 6 & 3 & 0 & 50.0 \\
\hline
record\_detection.pl & 96 & 55 & 1 & 57.9 & 68 & 40 & 0 & 58.8 \\
\hline
\end{longtable}
\end{document}