\documentclass[a4paper,10pt]{article}
\usepackage{a4wide}
\usepackage{longtable}
\usepackage{xcolor}
\begin{document}
\textbf{Coverage Report (All Tests, generated 29.11.2025 22:41, commit no revision found)} \\\\
animator
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{573} & \textbf{422} & \textbf{1} & \textbf{73.8} & \textbf{262} & \textbf{224} & \textbf{0} & \textbf{85.5} \\
\hline
b\_operation\_cache.pl & 85 & 78 & 2 & 94.0 & 49 & 47 & 0 & 95.9 \\
\hline
specfile.pl & 374 & 272 & 1 & 72.9 & 151 & 133 & 0 & 88.1 \\
\hline
state\_space\_dijkstra.pl & 13 & 9 & 0 & 69.2 & 10 & 7 & 0 & 70.0 \\
\hline
xtl\_interface.pl & 101 & 63 & 0 & 62.4 & 52 & 37 & 0 & 71.2 \\
\hline
\end{longtable}
ast
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{1514} & \textbf{901} & \textbf{7} & \textbf{59.8} & \textbf{712} & \textbf{495} & \textbf{0} & \textbf{69.5} \\
\hline
b\_machine\_hierarchy.pl & 267 & 154 & 6 & 59.0 & 138 & 89 & 0 & 64.5 \\
\hline
b\_operation\_guards.pl & 71 & 56 & 0 & 78.9 & 29 & 24 & 0 & 82.8 \\
\hline
bmachine.pl & 690 & 527 & 7 & 77.2 & 377 & 312 & 0 & 82.8 \\
\hline
bvisual2.pl & 486 & 164 & 0 & 33.7 & 168 & 70 & 0 & 41.7 \\
\hline
\end{longtable}
b2asp
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{643} & \textbf{3} & \textbf{5} & \textbf{0.5} & \textbf{200} & \textbf{3} & \textbf{0} & \textbf{1.5} \\
\hline
\textcolor[HTML]{FF0000}{b2asp.pl} & \textcolor[HTML]{FF0000}{366} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.8} & \textcolor[HTML]{FF0000}{90} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3.3} \\
\hline
\textcolor[HTML]{FF0000}{bounds\_analysis.pl} & \textcolor[HTML]{FF0000}{188} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{62} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{clingo\_interface.pl} & \textcolor[HTML]{FF0000}{89} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{48} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\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{920} & \textbf{554} & \textbf{15} & \textbf{61.2} & \textbf{449} & \textbf{315} & \textbf{0} & \textbf{70.2} \\
\hline
random\_permutations.pl & 9 & 9 & 0 & 100.0 & 7 & 7 & 0 & 100.0 \\
\hline
\textcolor[HTML]{FF0000}{softfloat.pl} & \textcolor[HTML]{FF0000}{34} & \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
b\_state\_model\_check.pl & 160 & 114 & 3 & 72.6 & 85 & 60 & 0 & 70.6 \\
\hline
cbc\_path\_solver.pl & 41 & 31 & 2 & 79.5 & 26 & 23 & 0 & 88.5 \\
\hline
enabling\_analysis.pl & 134 & 64 & 3 & 48.9 & 57 & 37 & 0 & 64.9 \\
\hline
disprover.pl & 47 & 34 & 1 & 73.9 & 25 & 21 & 0 & 84.0 \\
\hline
disprover\_test\_runner.pl & 49 & 35 & 0 & 71.4 & 35 & 23 & 0 & 65.7 \\
\hline
before\_after\_predicates.pl & 67 & 33 & 2 & 50.8 & 37 & 20 & 0 & 54.1 \\
\hline
\textcolor[HTML]{FF0000}{optimizing\_solver.pl} & \textcolor[HTML]{FF0000}{26} & \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
unsat\_cores.pl & 120 & 65 & 1 & 54.6 & 63 & 40 & 0 & 63.5 \\
\hline
weakest\_preconditions.pl & 50 & 36 & 1 & 73.5 & 21 & 18 & 0 & 85.7 \\
\hline
solver\_interface.pl & 95 & 66 & 2 & 71.0 & 38 & 32 & 0 & 84.2 \\
\hline
static\_enabling\_analysis.pl & 50 & 30 & 0 & 60.0 & 14 & 10 & 0 & 71.4 \\
\hline
cbc\_refinement\_checks.pl & 38 & 37 & 0 & 97.4 & 24 & 24 & 0 & 100.0 \\
\hline
\end{longtable}
cdclt
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{814} & \textbf{461} & \textbf{13} & \textbf{57.6} & \textbf{434} & \textbf{270} & \textbf{1} & \textbf{62.4} \\
\hline
cdclt\_pred\_to\_sat.pl & 63 & 49 & 1 & 79.0 & 25 & 23 & 0 & 92.0 \\
\hline
cdclt\_preprocessing.pl & 180 & 122 & 1 & 68.2 & 53 & 47 & 0 & 88.7 \\
\hline
cdclt\_sat\_solver.pl & 269 & 176 & 10 & 68.0 & 163 & 123 & 1 & 75.9 \\
\hline
cdclt\_settings.pl & 25 & 15 & 0 & 60.0 & 25 & 15 & 0 & 60.0 \\
\hline
cdclt\_solver.pl & 117 & 80 & 2 & 69.6 & 65 & 52 & 0 & 80.0 \\
\hline
cdclt\_stats.pl & 25 & 19 & 0 & 76.0 & 13 & 10 & 0 & 76.9 \\
\hline
\textcolor[HTML]{FF0000}{smt\_solver\_benchmarks.pl} & \textcolor[HTML]{FF0000}{135} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{90} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\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{2178} & \textbf{799} & \textbf{20} & \textbf{37.0} & \textbf{945} & \textbf{396} & \textbf{1} & \textbf{41.9} \\
\hline
eclipse\_interface.pl & 108 & 13 & 0 & 12.0 & 80 & 13 & 0 & 16.3 \\
\hline
prob2\_interface.pl & 552 & 74 & 9 & 13.6 & 343 & 60 & 1 & 17.5 \\
\hline
prob\_cli.pl & 1468 & 712 & 11 & 48.9 & 491 & 323 & 0 & 65.8 \\
\hline
\textcolor[HTML]{FF0000}{prob\_socketserver.pl} & \textcolor[HTML]{FF0000}{50} & \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
\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{84} & \textbf{13} & \textbf{0} & \textbf{15.5} & \textbf{54} & \textbf{7} & \textbf{0} & \textbf{13.0} \\
\hline
coverage\_tools.pl & 84 & 13 & 0 & 15.5 & 54 & 7 & 0 & 13.0 \\
\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{1674} & \textbf{1478} & \textbf{54} & \textbf{91.2} & \textbf{623} & \textbf{580} & \textbf{1} & \textbf{93.2} \\
\hline
csp\_basic.pl & 5 & 5 & 0 & 100.0 & 5 & 5 & 0 & 100.0 \\
\hline
csp\_sequences.pl & 58 & 55 & 3 & 100.0 & 21 & 21 & 0 & 100.0 \\
\hline
csp\_sets.pl & 268 & 246 & 15 & 97.2 & 99 & 99 & 0 & 100.0 \\
\hline
csp\_tuples.pl & 97 & 90 & 3 & 95.7 & 37 & 37 & 0 & 100.0 \\
\hline
haskell\_csp.pl & 730 & 648 & 26 & 92.0 & 249 & 234 & 1 & 94.4 \\
\hline
haskell\_csp\_analyzer.pl & 302 & 255 & 5 & 85.9 & 96 & 88 & 0 & 91.7 \\
\hline
refinement\_checker.pl & 214 & 179 & 2 & 84.4 & 116 & 96 & 0 & 82.8 \\
\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{930} & \textbf{404} & \textbf{2} & \textbf{43.5} & \textbf{477} & \textbf{253} & \textbf{0} & \textbf{53.0} \\
\hline
bvisual.pl & 174 & 119 & 0 & 68.4 & 77 & 72 & 0 & 93.5 \\
\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 & 95 & 47 & 1 & 50.0 & 48 & 34 & 0 & 70.8 \\
\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 & 151 & 65 & 0 & 43.0 & 99 & 42 & 0 & 42.4 \\
\hline
state\_as\_dot\_graph.pl & 56 & 31 & 0 & 55.4 & 22 & 14 & 0 & 63.6 \\
\hline
state\_custom\_dot\_graph.pl & 135 & 48 & 1 & 35.8 & 53 & 30 & 0 & 56.6 \\
\hline
state\_space\_reduction.pl & 81 & 42 & 0 & 51.9 & 61 & 34 & 0 & 55.7 \\
\hline
uml\_generator.pl & 66 & 7 & 0 & 10.6 & 21 & 4 & 0 & 19.0 \\
\hline
visualize\_graph.pl & 129 & 45 & 0 & 34.9 & 69 & 23 & 0 & 33.3 \\
\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{187} & \textbf{10} & \textbf{0} & \textbf{5.3} & \textbf{114} & \textbf{3} & \textbf{0} & \textbf{2.6} \\
\hline
\textcolor[HTML]{FF0000}{ltsmin.pl} & \textcolor[HTML]{FF0000}{177} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{111} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
satsolver.pl & 10 & 10 & 0 & 100.0 & 3 & 3 & 0 & 100.0 \\
\hline
\end{longtable}
extension
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{44} & \textbf{33} & \textbf{0} & \textbf{75.0} & \textbf{28} & \textbf{17} & \textbf{0} & \textbf{60.7} \\
\hline
fibonacci\_heap.pl & 44 & 33 & 0 & 75.0 & 28 & 17 & 0 & 60.7 \\
\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{2605} & \textbf{1520} & \textbf{13} & \textbf{58.6} & \textbf{821} & \textbf{490} & \textbf{0} & \textbf{59.7} \\
\hline
\textcolor[HTML]{FF0000}{hit\_profiler.pl} & \textcolor[HTML]{FF0000}{38} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{7.9} & \textcolor[HTML]{FF0000}{19} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{15.8} \\
\hline
external\_function\_declarations.pl & 261 & 243 & 1 & 93.5 & 15 & 13 & 0 & 86.7 \\
\hline
external\_functions.pl & 1674 & 928 & 12 & 55.8 & 622 & 366 & 0 & 58.8 \\
\hline
avl\_ugraphs.pl & 6 & 5 & 0 & 83.3 & 6 & 5 & 0 & 83.3 \\
\hline
xml2b.pl & 50 & 39 & 0 & 78.0 & 19 & 19 & 0 & 100.0 \\
\hline
xml\_prob.pl & 576 & 302 & 0 & 52.4 & 140 & 84 & 0 & 60.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{5102} & \textbf{3191} & \textbf{28} & \textbf{62.9} & \textbf{1090} & \textbf{711} & \textbf{6} & \textbf{65.6} \\
\hline
probhash.pl & 14 & 8 & 0 & 57.1 & 10 & 5 & 0 & 50.0 \\
\hline
user\_signal.pl & 12 & 9 & 0 & 75.0 & 9 & 6 & 0 & 66.7 \\
\hline
compile\_time\_flags.pl & 9 & 2 & 0 & 22.2 & 4 & 2 & 0 & 50.0 \\
\hline
debug.pl & 81 & 27 & 0 & 33.3 & 70 & 24 & 0 & 34.3 \\
\hline
\textcolor[HTML]{FF0000}{debugging\_calls.pl} & \textcolor[HTML]{FF0000}{81} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3.7} & \textcolor[HTML]{FF0000}{20} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{10.0} \\
\hline
\textcolor[HTML]{FF0000}{debugging\_calls\_te.pl} & \textcolor[HTML]{FF0000}{33} & \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
error\_manager.pl & 396 & 269 & 6 & 69.0 & 221 & 170 & 6 & 79.1 \\
\hline
eventhandling.pl & 26 & 25 & 1 & 100.0 & 9 & 9 & 0 & 100.0 \\
\hline
logger.pl & 90 & 40 & 4 & 46.5 & 44 & 27 & 0 & 61.4 \\
\hline
module\_information.pl & 6 & 2 & 0 & 33.3 & 6 & 2 & 0 & 33.3 \\
\hline
pathes.pl & 23 & 20 & 0 & 87.0 & 18 & 17 & 0 & 94.4 \\
\hline
preferences.pl & 2166 & 1799 & 0 & 83.1 & 111 & 61 & 0 & 55.0 \\
\hline
prob\_startup.pl & 1 & 1 & 0 & 100.0 & 1 & 1 & 0 & 100.0 \\
\hline
succeed\_max.pl & 13 & 12 & 0 & 92.3 & 9 & 9 & 0 & 100.0 \\
\hline
tools.pl & 475 & 334 & 15 & 72.6 & 212 & 176 & 0 & 83.0 \\
\hline
\textcolor[HTML]{FF0000}{tools\_commands.pl} & \textcolor[HTML]{FF0000}{48} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{23} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
tools\_fastread.pl & 118 & 49 & 0 & 41.5 & 39 & 23 & 0 & 59.0 \\
\hline
tools\_files.pl & 11 & 10 & 0 & 90.9 & 8 & 8 & 0 & 100.0 \\
\hline
tools\_io.pl & 20 & 8 & 0 & 40.0 & 10 & 6 & 0 & 60.0 \\
\hline
tools\_lists.pl & 40 & 26 & 0 & 65.0 & 23 & 15 & 0 & 65.2 \\
\hline
tools\_matching.pl & 949 & 306 & 1 & 32.3 & 46 & 24 & 0 & 52.2 \\
\hline
tools\_meta.pl & 28 & 17 & 0 & 60.7 & 19 & 11 & 0 & 57.9 \\
\hline
tools\_platform.pl & 17 & 16 & 0 & 94.1 & 10 & 9 & 0 & 90.0 \\
\hline
tools\_portability.pl & 14 & 4 & 0 & 28.6 & 10 & 4 & 0 & 40.0 \\
\hline
tools\_positions.pl & 47 & 16 & 0 & 34.0 & 8 & 7 & 0 & 87.5 \\
\hline
tools\_printing.pl & 250 & 89 & 0 & 35.6 & 74 & 36 & 0 & 48.6 \\
\hline
tools\_strings.pl & 106 & 77 & 0 & 72.6 & 48 & 38 & 0 & 79.2 \\
\hline
tools\_timeout.pl & 7 & 6 & 0 & 85.7 & 5 & 5 & 0 & 100.0 \\
\hline
user\_interrupts.pl & 4 & 1 & 0 & 25.0 & 4 & 1 & 0 & 25.0 \\
\hline
version.pl & 17 & 15 & 0 & 88.2 & 13 & 13 & 0 & 100.0 \\
\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{2409} & \textbf{2118} & \textbf{34} & \textbf{89.2} & \textbf{1003} & \textbf{942} & \textbf{0} & \textbf{93.9} \\
\hline
b\_compiler.pl & 288 & 256 & 0 & 88.9 & 81 & 73 & 0 & 90.1 \\
\hline
b\_enumerate.pl & 125 & 114 & 3 & 93.4 & 55 & 52 & 0 & 94.5 \\
\hline
b\_interpreter.pl & 738 & 647 & 13 & 89.2 & 355 & 332 & 0 & 93.5 \\
\hline
b\_interpreter\_check.pl & 498 & 445 & 8 & 90.8 & 141 & 137 & 0 & 97.2 \\
\hline
b\_interpreter\_components.pl & 103 & 92 & 0 & 89.3 & 76 & 68 & 0 & 89.5 \\
\hline
b\_interpreter\_eventb.pl & 79 & 76 & 2 & 98.7 & 52 & 52 & 0 & 100.0 \\
\hline
store.pl & 223 & 179 & 6 & 82.5 & 84 & 78 & 0 & 92.9 \\
\hline
value\_persistance.pl & 355 & 309 & 2 & 87.5 & 159 & 150 & 0 & 94.3 \\
\hline
\end{longtable}
json
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{27} & \textbf{8} & \textbf{0} & \textbf{29.6} & \textbf{6} & \textbf{3} & \textbf{0} & \textbf{50.0} \\
\hline
json\_freetype.pl & 27 & 8 & 0 & 29.6 & 6 & 3 & 0 & 50.0 \\
\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{7282} & \textbf{6274} & \textbf{116} & \textbf{87.6} & \textbf{3269} & \textbf{3046} & \textbf{3} & \textbf{93.3} \\
\hline
avl\_tools.pl & 66 & 60 & 4 & 96.8 & 34 & 34 & 0 & 100.0 \\
\hline
b\_global\_sets.pl & 295 & 254 & 5 & 87.6 & 150 & 143 & 0 & 95.3 \\
\hline
bit\_sets.pl & 27 & 10 & 0 & 37.0 & 15 & 6 & 0 & 40.0 \\
\hline
bool\_pred.pl & 29 & 26 & 0 & 89.7 & 21 & 19 & 0 & 90.5 \\
\hline
bsets\_clp.pl & 799 & 768 & 7 & 97.0 & 407 & 407 & 0 & 100.0 \\
\hline
chr\_integer\_inequality.pl & 460 & 408 & 0 & 88.7 & 257 & 246 & 0 & 95.7 \\
\hline
chr\_set\_membership.pl & 144 & 42 & 0 & 29.2 & 88 & 27 & 0 & 30.7 \\
\hline
closures.pl & 126 & 112 & 2 & 90.3 & 67 & 65 & 0 & 97.0 \\
\hline
clpfd\_interface.pl & 192 & 170 & 3 & 89.9 & 107 & 98 & 0 & 91.6 \\
\hline
clpfd\_lists.pl & 127 & 93 & 8 & 78.2 & 38 & 33 & 0 & 86.8 \\
\hline
clpfd\_tables.pl & 49 & 49 & 0 & 100.0 & 25 & 25 & 0 & 100.0 \\
\hline
custom\_explicit\_sets.pl & 1506 & 1311 & 37 & 89.2 & 603 & 584 & 0 & 96.8 \\
\hline
delay.pl & 30 & 27 & 0 & 90.0 & 20 & 17 & 0 & 85.0 \\
\hline
fd\_utils\_clpfd.pl & 10 & 10 & 0 & 100.0 & 8 & 8 & 0 & 100.0 \\
\hline
inf\_arith.pl & 56 & 52 & 0 & 92.9 & 21 & 20 & 0 & 95.2 \\
\hline
kernel\_card\_arithmetic.pl & 112 & 105 & 0 & 93.8 & 32 & 31 & 0 & 96.9 \\
\hline
kernel\_cardinality\_attr.pl & 51 & 45 & 0 & 88.2 & 25 & 21 & 0 & 84.0 \\
\hline
kernel\_dif.pl & 12 & 11 & 0 & 91.7 & 6 & 6 & 0 & 100.0 \\
\hline
kernel\_equality.pl & 206 & 189 & 5 & 94.0 & 90 & 88 & 0 & 97.8 \\
\hline
kernel\_frozen\_info.pl & 17 & 8 & 0 & 47.1 & 6 & 6 & 0 & 100.0 \\
\hline
kernel\_lists.pl & 4 & 3 & 1 & 100.0 & 2 & 2 & 0 & 100.0 \\
\hline
kernel\_mappings.pl & 460 & 444 & 0 & 96.5 & 101 & 101 & 0 & 100.0 \\
\hline
kernel\_non\_empty\_attr.pl & 11 & 9 & 0 & 81.8 & 6 & 5 & 0 & 83.3 \\
\hline
kernel\_objects.pl & 1269 & 1104 & 11 & 87.8 & 578 & 547 & 1 & 94.8 \\
\hline
kernel\_ordering.pl & 41 & 28 & 0 & 68.3 & 15 & 14 & 0 & 93.3 \\
\hline
kernel\_propagation.pl & 4 & 4 & 0 & 100.0 & 3 & 3 & 0 & 100.0 \\
\hline
kernel\_reals.pl & 101 & 86 & 0 & 85.1 & 71 & 65 & 0 & 91.5 \\
\hline
kernel\_records.pl & 34 & 30 & 3 & 96.8 & 20 & 20 & 0 & 100.0 \\
\hline
kernel\_strings.pl & 220 & 176 & 3 & 81.1 & 113 & 113 & 0 & 100.0 \\
\hline
kernel\_tools.pl & 328 & 302 & 6 & 93.8 & 60 & 59 & 0 & 98.3 \\
\hline
kernel\_waitflags.pl & 364 & 235 & 25 & 69.3 & 206 & 167 & 2 & 81.9 \\
\hline
memoization.pl & 108 & 81 & 0 & 75.0 & 61 & 53 & 0 & 86.9 \\
\hline
static\_symmetry\_reduction.pl & 24 & 22 & 0 & 91.7 & 13 & 13 & 0 & 100.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{1098} & \textbf{867} & \textbf{2} & \textbf{79.1} & \textbf{448} & \textbf{387} & \textbf{0} & \textbf{86.4} \\
\hline
interval\_calc.pl & 8 & 7 & 0 & 87.5 & 6 & 5 & 0 & 83.3 \\
\hline
kodkod.pl & 73 & 54 & 0 & 74.0 & 35 & 32 & 0 & 91.4 \\
\hline
kodkod2.pl & 67 & 65 & 0 & 97.0 & 38 & 38 & 0 & 100.0 \\
\hline
\textcolor[HTML]{FF0000}{kodkod\_annotator.pl} & \textcolor[HTML]{FF0000}{31} & \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
kodkod\_integer\_recalc.pl & 23 & 17 & 0 & 73.9 & 8 & 8 & 0 & 100.0 \\
\hline
kodkod\_printer.pl & 121 & 108 & 0 & 89.3 & 43 & 42 & 0 & 97.7 \\
\hline
kodkod\_process.pl & 69 & 55 & 2 & 82.1 & 45 & 39 & 0 & 86.7 \\
\hline
kodkod\_rewrite.pl & 28 & 22 & 0 & 78.6 & 11 & 11 & 0 & 100.0 \\
\hline
kodkod\_test.pl & 50 & 11 & 0 & 22.0 & 39 & 11 & 0 & 28.2 \\
\hline
kodkod\_tools.pl & 27 & 26 & 0 & 96.3 & 18 & 18 & 0 & 100.0 \\
\hline
kodkod\_translate.pl & 163 & 141 & 0 & 86.5 & 48 & 47 & 0 & 97.9 \\
\hline
kodkod\_typing.pl & 83 & 72 & 0 & 86.7 & 25 & 25 & 0 & 100.0 \\
\hline
predicate\_analysis.pl & 355 & 289 & 0 & 81.4 & 124 & 111 & 0 & 89.5 \\
\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{1048} & \textbf{729} & \textbf{27} & \textbf{71.4} & \textbf{412} & \textbf{332} & \textbf{0} & \textbf{80.6} \\
\hline
ltl2ba.pl & 5 & 5 & 0 & 100.0 & 5 & 5 & 0 & 100.0 \\
\hline
ltlc.pl & 93 & 84 & 0 & 90.3 & 31 & 30 & 0 & 96.8 \\
\hline
ctl.pl & 82 & 54 & 3 & 68.4 & 36 & 24 & 0 & 66.7 \\
\hline
ltl.pl & 130 & 88 & 5 & 70.4 & 73 & 59 & 0 & 80.8 \\
\hline
ltl\_fairness.pl & 56 & 40 & 3 & 75.5 & 31 & 25 & 0 & 80.6 \\
\hline
ltl\_propositions.pl & 121 & 57 & 3 & 48.3 & 38 & 27 & 0 & 71.1 \\
\hline
ltl\_safety.pl & 129 & 98 & 3 & 77.8 & 32 & 28 & 0 & 87.5 \\
\hline
ltl\_tools.pl & 166 & 134 & 6 & 83.8 & 64 & 56 & 0 & 87.5 \\
\hline
ltl\_translate.pl & 92 & 44 & 0 & 47.8 & 14 & 9 & 0 & 64.3 \\
\hline
ltl\_verification.pl & 85 & 70 & 0 & 82.4 & 36 & 33 & 0 & 91.7 \\
\hline
safety\_mc.pl & 66 & 46 & 4 & 74.2 & 37 & 30 & 0 & 81.1 \\
\hline
state\_space\_explorer.pl & 10 & 9 & 0 & 90.0 & 6 & 6 & 0 & 100.0 \\
\hline
\textcolor[HTML]{FF0000}{trace\_generator.pl} & \textcolor[HTML]{FF0000}{13} & \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
\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{492} & \textbf{154} & \textbf{2} & \textbf{31.4} & \textbf{248} & \textbf{88} & \textbf{0} & \textbf{35.5} \\
\hline
b\_show\_history.pl & 40 & 30 & 1 & 76.9 & 23 & 19 & 0 & 82.6 \\
\hline
coverage\_statistics.pl & 95 & 59 & 0 & 62.1 & 46 & 28 & 0 & 60.9 \\
\hline
\textcolor[HTML]{FF0000}{mcts\_game\_play.pl} & \textcolor[HTML]{FF0000}{94} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{1} & \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}{predicate\_debugger.pl} & \textcolor[HTML]{FF0000}{54} & \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
\textcolor[HTML]{FF0000}{source\_indenter.pl} & \textcolor[HTML]{FF0000}{114} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{42} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
predicate\_evaluator.pl & 95 & 64 & 1 & 68.1 & 52 & 40 & 0 & 76.9 \\
\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{340} & \textbf{148} & \textbf{1} & \textbf{43.7} & \textbf{182} & \textbf{97} & \textbf{0} & \textbf{53.3} \\
\hline
model\_checker.pl & 53 & 51 & 0 & 96.2 & 23 & 23 & 0 & 100.0 \\
\hline
ample\_sets.pl & 79 & 55 & 0 & 69.6 & 61 & 45 & 0 & 73.8 \\
\hline
\textcolor[HTML]{FF0000}{b\_simplifier.pl} & \textcolor[HTML]{FF0000}{90} & \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
dot\_graphs\_static\_analysis.pl & 13 & 2 & 0 & 15.4 & 10 & 2 & 0 & 20.0 \\
\hline
enable\_graph.pl & 31 & 13 & 0 & 41.9 & 19 & 5 & 0 & 26.3 \\
\hline
\textcolor[HTML]{FF0000}{enabling\_predicates.pl} & \textcolor[HTML]{FF0000}{31} & \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
static\_analysis.pl & 43 & 27 & 1 & 64.3 & 29 & 22 & 0 & 75.9 \\
\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{3144} & \textbf{1255} & \textbf{8} & \textbf{40.0} & \textbf{1147} & \textbf{550} & \textbf{3} & \textbf{48.1} \\
\hline
\textcolor[HTML]{FF0000}{BitFunctions\_ctx.pl} & \textcolor[HTML]{FF0000}{7} & \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}{TestWD\_Prover\_ctx.pl} & \textcolor[HTML]{FF0000}{14} & \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}{DisproverDefSetTest4\_ctx.pl} & \textcolor[HTML]{FF0000}{5} & \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}{TestPartialFunctionBuggyProofRule\_ctx.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}{fuzztypes.pl} & \textcolor[HTML]{FF0000}{159} & \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
welldef.pl & 61 & 57 & 0 & 93.4 & 26 & 23 & 0 & 88.5 \\
\hline
bliss\_interface.pl & 28 & 17 & 0 & 60.7 & 19 & 11 & 0 & 57.9 \\
\hline
counter.pl & 18 & 16 & 0 & 88.9 & 6 & 5 & 0 & 83.3 \\
\hline
dll\_path.pl & 1 & 1 & 0 & 100.0 & 1 & 1 & 0 & 100.0 \\
\hline
\textcolor[HTML]{FF0000}{ltsmin\_c\_interface.pl} & \textcolor[HTML]{FF0000}{14} & \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}{ltsmin\_trace.pl} & \textcolor[HTML]{FF0000}{16} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2} & \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}{msg\_interop.pl} & \textcolor[HTML]{FF0000}{43} & \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}{dtmc\_model\_checking.pl} & \textcolor[HTML]{FF0000}{77} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{28} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
myheap.pl & 30 & 17 & 0 & 56.7 & 13 & 4 & 0 & 30.8 \\
\hline
plspec.pl & 49 & 10 & 0 & 20.4 & 31 & 10 & 0 & 32.3 \\
\hline
plspec\_core.pl & 14 & 12 & 0 & 85.7 & 6 & 4 & 0 & 66.7 \\
\hline
plspec\_logger.pl & 18 & 3 & 0 & 16.7 & 8 & 2 & 0 & 25.0 \\
\hline
\textcolor[HTML]{FF0000}{prettyprinter.pl} & \textcolor[HTML]{FF0000}{31} & \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}{validator.pl} & \textcolor[HTML]{FF0000}{58} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{6.9} & \textcolor[HTML]{FF0000}{26} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3.8} \\
\hline
regexp.pl & 36 & 22 & 0 & 61.1 & 17 & 11 & 0 & 64.7 \\
\hline
b\_to\_cnf.pl & 149 & 105 & 3 & 71.9 & 61 & 51 & 2 & 86.4 \\
\hline
alloy2b.pl & 686 & 433 & 2 & 63.3 & 191 & 174 & 0 & 91.1 \\
\hline
b\_arithmetic\_expressions.pl & 10 & 9 & 0 & 90.0 & 4 & 4 & 0 & 100.0 \\
\hline
ast\_to\_difference\_logic.pl & 64 & 63 & 0 & 98.4 & 14 & 14 & 0 & 100.0 \\
\hline
difference\_logic\_solver.pl & 120 & 69 & 0 & 57.5 & 53 & 44 & 0 & 83.0 \\
\hline
\textcolor[HTML]{FF0000}{sat\_symmetry\_breaking.pl} & \textcolor[HTML]{FF0000}{50} & \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
smt\_symmetry\_breaking.pl & 146 & 98 & 0 & 67.1 & 58 & 50 & 0 & 86.2 \\
\hline
\textcolor[HTML]{FF0000}{code2vec.pl} & \textcolor[HTML]{FF0000}{28} & \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}{coverage\_tools\_annotations.pl} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{100.0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
eval\_let\_store.pl & 22 & 10 & 0 & 45.5 & 10 & 7 & 0 & 70.0 \\
\hline
external\_functions\_reals.pl & 86 & 32 & 0 & 37.2 & 86 & 32 & 0 & 37.2 \\
\hline
external\_functions\_svg.pl & 40 & 18 & 0 & 45.0 & 26 & 12 & 0 & 46.2 \\
\hline
json\_parser.pl & 177 & 81 & 0 & 45.8 & 80 & 37 & 0 & 46.3 \\
\hline
pathes\_extensions\_db.pl & 281 & 83 & 0 & 29.5 & 12 & 7 & 0 & 58.3 \\
\hline
set\_rewriter.pl & 71 & 65 & 0 & 91.5 & 28 & 25 & 0 & 89.3 \\
\hline
\textcolor[HTML]{FF0000}{ground\_truth.pl} & \textcolor[HTML]{FF0000}{100} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{30} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{predicate\_data\_generator.pl} & \textcolor[HTML]{FF0000}{69} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{28} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{logging.pl} & \textcolor[HTML]{FF0000}{41} & \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}{synthesis\_util.pl} & \textcolor[HTML]{FF0000}{280} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{139} & \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
prob\_cov\_runner.pl & 2 & 1 & 0 & 50.0 & 2 & 1 & 0 & 50.0 \\
\hline
\textcolor[HTML]{FF0000}{alloy2b\_benchmarks.pl} & \textcolor[HTML]{FF0000}{8} & \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
test\_paths.pl & 5 & 4 & 0 & 80.0 & 5 & 4 & 0 & 80.0 \\
\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{178} & \textbf{53} & \textbf{0} & \textbf{29.8} & \textbf{99} & \textbf{34} & \textbf{0} & \textbf{34.3} \\
\hline
table\_tools.pl & 94 & 49 & 2 & 53.3 & 39 & 31 & 0 & 79.5 \\
\hline
pltables.pl & 4 & 2 & 0 & 50.0 & 4 & 2 & 0 & 50.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
pltables\_export\_tools.pl & 2 & 2 & 0 & 100.0 & 1 & 1 & 0 & 100.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}
profiling
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{134} & \textbf{87} & \textbf{0} & \textbf{64.9} & \textbf{70} & \textbf{45} & \textbf{0} & \textbf{64.3} \\
\hline
performance\_messages.pl & 31 & 26 & 0 & 83.9 & 17 & 14 & 0 & 82.4 \\
\hline
runtime\_profiler.pl & 92 & 55 & 0 & 59.8 & 44 & 26 & 0 & 59.1 \\
\hline
source\_profiler.pl & 11 & 6 & 0 & 54.5 & 9 & 5 & 0 & 55.6 \\
\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{1366} & \textbf{1192} & \textbf{0} & \textbf{87.3} & \textbf{474} & \textbf{427} & \textbf{0} & \textbf{90.1} \\
\hline
kernel\_freetypes.pl & 79 & 66 & 2 & 85.7 & 47 & 41 & 0 & 87.2 \\
\hline
kernel\_z.pl & 19 & 18 & 0 & 94.7 & 13 & 13 & 0 & 100.0 \\
\hline
consistencycheck.pl & 125 & 110 & 0 & 88.0 & 16 & 14 & 0 & 87.5 \\
\hline
dependence.pl & 31 & 22 & 0 & 71.0 & 6 & 6 & 0 & 100.0 \\
\hline
fuzzfile.pl & 45 & 45 & 0 & 100.0 & 25 & 25 & 0 & 100.0 \\
\hline
proz.pl & 293 & 268 & 0 & 91.5 & 113 & 98 & 0 & 86.7 \\
\hline
schemaexpansion.pl & 92 & 77 & 0 & 83.7 & 40 & 37 & 0 & 92.5 \\
\hline
schemavars.pl & 23 & 8 & 0 & 34.8 & 6 & 4 & 0 & 66.7 \\
\hline
subexpressions.pl & 186 & 171 & 0 & 91.9 & 48 & 47 & 0 & 97.9 \\
\hline
z\_tools.pl & 33 & 29 & 0 & 87.9 & 21 & 18 & 0 & 85.7 \\
\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{564} & \textbf{409} & \textbf{3} & \textbf{72.9} & \textbf{217} & \textbf{160} & \textbf{0} & \textbf{73.7} \\
\hline
eval\_interface.pl & 8 & 5 & 0 & 62.5 & 5 & 4 & 0 & 80.0 \\
\hline
eval\_strings.pl & 556 & 404 & 3 & 73.1 & 212 & 156 & 0 & 73.6 \\
\hline
\end{longtable}
rules\_dsl
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{57} & \textbf{9} & \textbf{0} & \textbf{15.8} & \textbf{47} & \textbf{8} & \textbf{0} & \textbf{17.0} \\
\hline
rule\_validation.pl & 57 & 9 & 0 & 15.8 & 47 & 8 & 0 & 17.0 \\
\hline
\end{longtable}
satsolver
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{67} & \textbf{52} & \textbf{0} & \textbf{77.6} & \textbf{35} & \textbf{31} & \textbf{0} & \textbf{88.6} \\
\hline
b2sat.pl & 67 & 52 & 4 & 82.5 & 35 & 31 & 0 & 88.6 \\
\hline
\end{longtable}
setlog
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{261} & \textbf{0} & \textbf{0} & \textbf{0.0} & \textbf{68} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{b2setlog.pl} & \textcolor[HTML]{FF0000}{261} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{68} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\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{1038} & \textbf{789} & \textbf{19} & \textbf{77.4} & \textbf{340} & \textbf{265} & \textbf{0} & \textbf{77.9} \\
\hline
\textcolor[HTML]{FF0000}{cvc4interface.pl} & \textcolor[HTML]{FF0000}{44} & \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
z3interface.pl & 64 & 62 & 0 & 96.9 & 6 & 5 & 0 & 83.3 \\
\hline
\textcolor[HTML]{FF0000}{atelierb\_provers\_interface.pl} & \textcolor[HTML]{FF0000}{23} & \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
ast\_cleanup\_for\_smt.pl & 125 & 108 & 0 & 86.4 & 36 & 31 & 0 & 86.1 \\
\hline
ast\_optimizer\_for\_smt.pl & 105 & 76 & 2 & 73.8 & 31 & 28 & 0 & 90.3 \\
\hline
model\_translation.pl & 223 & 170 & 3 & 77.3 & 77 & 63 & 0 & 81.8 \\
\hline
prob\_state\_predicates.pl & 19 & 15 & 0 & 78.9 & 5 & 5 & 0 & 100.0 \\
\hline
quantifier\_instantiation.pl & 66 & 58 & 2 & 90.6 & 32 & 31 & 0 & 96.9 \\
\hline
seq\_rewriter.pl & 38 & 34 & 0 & 89.5 & 12 & 11 & 0 & 91.7 \\
\hline
smt\_common\_predicates.pl & 1 & 1 & 0 & 100.0 & 1 & 1 & 0 & 100.0 \\
\hline
smt\_solvers\_interface.pl & 315 & 260 & 12 & 85.8 & 97 & 85 & 0 & 87.6 \\
\hline
solver\_dispatcher.pl & 15 & 5 & 0 & 33.3 & 7 & 5 & 0 & 71.4 \\
\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{309} & \textbf{202} & \textbf{0} & \textbf{65.4} & \textbf{107} & \textbf{73} & \textbf{0} & \textbf{68.2} \\
\hline
smtlib2\_cli.pl & 8 & 4 & 0 & 50.0 & 6 & 3 & 0 & 50.0 \\
\hline
smtlib2\_environment.pl & 19 & 9 & 0 & 47.4 & 14 & 8 & 0 & 57.1 \\
\hline
smtlib2\_interpreter.pl & 55 & 24 & 0 & 43.6 & 17 & 11 & 0 & 64.7 \\
\hline
smtlib2\_parser.pl & 118 & 94 & 0 & 79.7 & 45 & 40 & 0 & 88.9 \\
\hline
smtlib2\_translation.pl & 109 & 71 & 0 & 65.1 & 25 & 11 & 0 & 44.0 \\
\hline
\end{longtable}
state\_space
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{524} & \textbf{378} & \textbf{9} & \textbf{73.4} & \textbf{298} & \textbf{236} & \textbf{0} & \textbf{79.2} \\
\hline
hashing.pl & 6 & 6 & 0 & 100.0 & 6 & 6 & 0 & 100.0 \\
\hline
state\_packing.pl & 180 & 145 & 6 & 83.3 & 68 & 58 & 0 & 85.3 \\
\hline
state\_space.pl & 230 & 164 & 0 & 71.3 & 166 & 128 & 0 & 77.1 \\
\hline
state\_space\_exploration\_modes.pl & 77 & 43 & 0 & 55.8 & 36 & 27 & 0 & 75.0 \\
\hline
state\_space\_open\_nodes\_c.pl & 31 & 20 & 3 & 71.4 & 22 & 17 & 0 & 77.3 \\
\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{288} & \textbf{160} & \textbf{1} & \textbf{55.7} & \textbf{182} & \textbf{111} & \textbf{0} & \textbf{61.0} \\
\hline
bmc.pl & 23 & 17 & 0 & 73.9 & 14 & 11 & 0 & 78.6 \\
\hline
ce\_replay.pl & 5 & 4 & 0 & 80.0 & 3 & 3 & 0 & 100.0 \\
\hline
\textcolor[HTML]{FF0000}{ctigar.pl} & \textcolor[HTML]{FF0000}{52} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{34} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
ic3.pl & 55 & 41 & 1 & 75.9 & 36 & 29 & 0 & 80.6 \\
\hline
kinduction.pl & 32 & 21 & 0 & 65.6 & 19 & 13 & 0 & 68.4 \\
\hline
mic\_generation.pl & 20 & 5 & 0 & 25.0 & 10 & 3 & 0 & 30.0 \\
\hline
\textcolor[HTML]{FF0000}{predicate\_abstraction.pl} & \textcolor[HTML]{FF0000}{15} & \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
predicate\_handling.pl & 57 & 49 & 0 & 86.0 & 39 & 35 & 0 & 89.7 \\
\hline
solver\_handling.pl & 26 & 21 & 0 & 80.8 & 17 & 15 & 0 & 88.2 \\
\hline
unsat\_core\_generalization.pl & 3 & 2 & 0 & 66.7 & 2 & 2 & 0 & 100.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{239} & \textbf{182} & \textbf{1} & \textbf{76.5} & \textbf{92} & \textbf{84} & \textbf{0} & \textbf{91.3} \\
\hline
graphiso.pl & 10 & 10 & 0 & 100.0 & 4 & 4 & 0 & 100.0 \\
\hline
state\_graph\_canon.pl & 36 & 32 & 0 & 88.9 & 18 & 18 & 0 & 100.0 \\
\hline
graph\_iso\_nauty.pl & 50 & 42 & 0 & 84.0 & 26 & 24 & 0 & 92.3 \\
\hline
state\_permuter.pl & 32 & 22 & 0 & 68.8 & 10 & 9 & 0 & 90.0 \\
\hline
symmetry\_marker.pl & 111 & 76 & 1 & 69.1 & 34 & 29 & 0 & 85.3 \\
\hline
\end{longtable}
synthesis
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{854} & \textbf{0} & \textbf{0} & \textbf{0.0} & \textbf{282} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{b\_synthesis.pl} & \textcolor[HTML]{FF0000}{118} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{59} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{constraints.pl} & \textcolor[HTML]{FF0000}{239} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{100} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{b\_machine\_identifier\_normalization.pl} & \textcolor[HTML]{FF0000}{257} & \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}{operation\_data\_generator.pl} & \textcolor[HTML]{FF0000}{42} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{22} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{library\_setup.pl} & \textcolor[HTML]{FF0000}{130} & \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}{location\_vars\_to\_program.pl} & \textcolor[HTML]{FF0000}{27} & \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}{symmetry\_reduction.pl} & \textcolor[HTML]{FF0000}{41} & \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
\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{592} & \textbf{199} & \textbf{0} & \textbf{33.6} & \textbf{392} & \textbf{141} & \textbf{1} & \textbf{36.1} \\
\hline
tcltk\_interface.pl & 592 & 199 & 5 & 33.9 & 392 & 141 & 1 & 36.1 \\
\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{379} & \textbf{226} & \textbf{2} & \textbf{59.9} & \textbf{235} & \textbf{161} & \textbf{0} & \textbf{68.5} \\
\hline
sap.pl & 308 & 226 & 4 & 74.3 & 208 & 161 & 0 & 77.4 \\
\hline
\textcolor[HTML]{FF0000}{mcdc\_coverage.pl} & \textcolor[HTML]{FF0000}{71} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{27} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\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{3929} & \textbf{3237} & \textbf{4} & \textbf{82.5} & \textbf{542} & \textbf{247} & \textbf{0} & \textbf{45.6} \\
\hline
b\_intelligent\_trace\_replay.pl & 244 & 124 & 2 & 51.2 & 138 & 79 & 0 & 57.2 \\
\hline
b\_trace\_checking.pl & 185 & 102 & 2 & 55.7 & 89 & 53 & 0 & 59.6 \\
\hline
junit\_tests.pl & 29 & 21 & 2 & 77.8 & 17 & 16 & 0 & 94.1 \\
\hline
self\_check.pl & 106 & 41 & 0 & 38.7 & 82 & 35 & 0 & 42.7 \\
\hline
typechecker.pl & 124 & 65 & 0 & 52.4 & 26 & 11 & 0 & 42.3 \\
\hline
test\_runner.pl & 409 & 71 & 0 & 17.4 & 178 & 43 & 0 & 24.2 \\
\hline
testcases.pl & 2832 & 2813 & 0 & 99.3 & 12 & 10 & 0 & 83.3 \\
\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{2633} & \textbf{1367} & \textbf{21} & \textbf{52.3} & \textbf{720} & \textbf{520} & \textbf{0} & \textbf{72.2} \\
\hline
gensym.pl & 11 & 8 & 0 & 72.7 & 9 & 6 & 0 & 66.7 \\
\hline
pref\_definitions.pl & 63 & 35 & 0 & 55.6 & 18 & 13 & 0 & 72.2 \\
\hline
static\_ordering.pl & 15 & 13 & 1 & 92.9 & 8 & 7 & 0 & 87.5 \\
\hline
system\_call.pl & 17 & 13 & 1 & 81.3 & 16 & 13 & 0 & 81.3 \\
\hline
translate.pl & 2388 & 1279 & 19 & 54.0 & 664 & 478 & 0 & 72.0 \\
\hline
translate\_keywords.pl & 139 & 19 & 0 & 13.7 & 5 & 3 & 0 & 60.0 \\
\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{6157} & \textbf{4853} & \textbf{83} & \textbf{79.9} & \textbf{2450} & \textbf{2189} & \textbf{0} & \textbf{89.3} \\
\hline
b\_ast\_cleanup.pl & 1040 & 893 & 5 & 86.3 & 315 & 300 & 0 & 95.2 \\
\hline
b\_enumeration\_order\_analysis.pl & 68 & 52 & 1 & 77.6 & 22 & 22 & 0 & 100.0 \\
\hline
b\_read\_write\_info.pl & 206 & 143 & 2 & 70.1 & 99 & 79 & 0 & 79.8 \\
\hline
bmachine\_construction.pl & 642 & 555 & 12 & 88.1 & 364 & 343 & 0 & 94.2 \\
\hline
bmachine\_eventb.pl & 632 & 462 & 4 & 73.6 & 320 & 297 & 0 & 92.8 \\
\hline
bmachine\_static\_checks.pl & 169 & 74 & 0 & 43.8 & 66 & 45 & 0 & 68.2 \\
\hline
bmachine\_structure.pl & 36 & 32 & 4 & 100.0 & 22 & 22 & 0 & 100.0 \\
\hline
bsyntaxtree.pl & 1245 & 1009 & 36 & 83.5 & 435 & 385 & 0 & 88.5 \\
\hline
bsyntaxtree\_quantifiers.pl & 9 & 9 & 0 & 100.0 & 8 & 8 & 0 & 100.0 \\
\hline
btypechecker.pl & 841 & 715 & 7 & 85.7 & 284 & 265 & 0 & 93.3 \\
\hline
b\_expression\_sharing.pl & 346 & 265 & 5 & 77.7 & 126 & 106 & 0 & 84.1 \\
\hline
input\_syntax\_tree.pl & 204 & 132 & 1 & 65.0 & 37 & 28 & 0 & 75.7 \\
\hline
parsercall.pl & 353 & 230 & 9 & 66.9 & 195 & 154 & 0 & 79.0 \\
\hline
partition\_detection.pl & 28 & 28 & 0 & 100.0 & 17 & 17 & 0 & 100.0 \\
\hline
pathes\_lib.pl & 34 & 9 & 0 & 26.5 & 20 & 7 & 0 & 35.0 \\
\hline
pragmas.pl & 10 & 4 & 0 & 40.0 & 5 & 4 & 0 & 80.0 \\
\hline
record\_detection.pl & 105 & 97 & 1 & 93.3 & 72 & 70 & 0 & 97.2 \\
\hline
b\_ast\_cleanup\_rewrite\_rules.pl & 29 & 19 & 0 & 65.5 & 13 & 13 & 0 & 100.0 \\
\hline
rewrite\_rules\_db.pl & 27 & 24 & 0 & 88.9 & 2 & 2 & 0 & 100.0 \\
\hline
typing\_tools.pl & 133 & 101 & 1 & 76.5 & 28 & 22 & 0 & 78.6 \\
\hline
\end{longtable}
visualization
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{1468} & \textbf{587} & \textbf{5} & \textbf{40.1} & \textbf{521} & \textbf{294} & \textbf{0} & \textbf{56.4} \\
\hline
\textcolor[HTML]{FF0000}{graphical\_state\_viewer\_images.pl} & \textcolor[HTML]{FF0000}{156} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{88} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
latex\_processor.pl & 111 & 86 & 0 & 77.5 & 49 & 39 & 0 & 79.6 \\
\hline
meta\_interface.pl & 504 & 97 & 3 & 19.4 & 49 & 21 & 0 & 42.9 \\
\hline
visb\_visualiser.pl & 697 & 404 & 2 & 58.1 & 335 & 234 & 0 & 69.9 \\
\hline
\end{longtable}
well\_def\_prover
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{1890} & \textbf{1377} & \textbf{14} & \textbf{73.4} & \textbf{393} & \textbf{335} & \textbf{0} & \textbf{85.2} \\
\hline
well\_def\_analyser.pl & 346 & 252 & 3 & 73.5 & 93 & 61 & 0 & 65.6 \\
\hline
well\_def\_hyps.pl & 287 & 214 & 13 & 78.1 & 88 & 73 & 0 & 83.0 \\
\hline
well\_def\_prover.pl & 1091 & 854 & 1 & 78.3 & 201 & 192 & 0 & 95.5 \\
\hline
well\_def\_tools.pl & 166 & 57 & 0 & 34.3 & 11 & 9 & 0 & 81.8 \\
\hline
\end{longtable}
zmq
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{96} & \textbf{1} & \textbf{1} & \textbf{1.1} & \textbf{55} & \textbf{1} & \textbf{0} & \textbf{1.8} \\
\hline
\textcolor[HTML]{FF0000}{master.pl} & \textcolor[HTML]{FF0000}{4} & \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}{worker.pl} & \textcolor[HTML]{FF0000}{29} & \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}{zmq.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}{zmq\_rpc.pl} & \textcolor[HTML]{FF0000}{47} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{2.2} & \textcolor[HTML]{FF0000}{28} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3.6} \\
\hline
\end{longtable}
\end{document}