\documentclass[a4paper,10pt]{article}
\usepackage{a4wide}
\usepackage{longtable}
\usepackage{xcolor}
\begin{document}
\textbf{Coverage Report (Law Checking, generated 28.6.2020 4:27, commit no revision found)} \\\\
analysis
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{909} & \textbf{357} & \textbf{0} & \textbf{39.3} & \textbf{354} & \textbf{143} & \textbf{0} & \textbf{40.4} \\
\hline
b\_machine\_hierarchy.pl & 206 & 80 & 5 & 39.8 & 103 & 42 & 0 & 40.8 \\
\hline
bvisual2.pl & 343 & 49 & 0 & 14.3 & 122 & 17 & 0 & 13.9 \\
\hline
interval\_calc.pl & 8 & 7 & 0 & 87.5 & 6 & 5 & 0 & 83.3 \\
\hline
predicate\_analysis.pl & 352 & 221 & 0 & 62.8 & 123 & 79 & 0 & 64.2 \\
\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{739} & \textbf{217} & \textbf{5} & \textbf{29.6} & \textbf{374} & \textbf{140} & \textbf{0} & \textbf{37.4} \\
\hline
\textcolor[HTML]{FF0000}{b\_operation\_cache.pl} & \textcolor[HTML]{FF0000}{21} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{9.5} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{18.2} \\
\hline
coverage\_statistics.pl & 66 & 17 & 0 & 25.8 & 34 & 12 & 0 & 35.3 \\
\hline
hashing.pl & 3 & 2 & 0 & 66.7 & 3 & 2 & 0 & 66.7 \\
\hline
specfile.pl & 278 & 75 & 1 & 27.1 & 113 & 46 & 0 & 40.7 \\
\hline
state\_packing.pl & 116 & 55 & 4 & 49.1 & 41 & 21 & 0 & 51.2 \\
\hline
state\_space.pl & 144 & 48 & 0 & 33.3 & 113 & 45 & 0 & 39.8 \\
\hline
\textcolor[HTML]{FF0000}{state\_space\_dijkstra.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
state\_space\_open\_nodes\_c.pl & 29 & 15 & 0 & 51.7 & 20 & 9 & 0 & 45.0 \\
\hline
\textcolor[HTML]{FF0000}{xtl\_interface.pl} & \textcolor[HTML]{FF0000}{71} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{4.2} & \textcolor[HTML]{FF0000}{31} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{9.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{582} & \textbf{24} & \textbf{6} & \textbf{4.2} & \textbf{288} & \textbf{19} & \textbf{0} & \textbf{6.6} \\
\hline
random\_permutations.pl & 8 & 8 & 0 & 100.0 & 6 & 6 & 0 & 100.0 \\
\hline
\textcolor[HTML]{FF0000}{b\_state\_model\_check.pl} & \textcolor[HTML]{FF0000}{149} & \textcolor[HTML]{FF0000}{12} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{8.2} & \textcolor[HTML]{FF0000}{79} & \textcolor[HTML]{FF0000}{9} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{11.4} \\
\hline
\textcolor[HTML]{FF0000}{cbc\_refinement\_checks.pl} & \textcolor[HTML]{FF0000}{36} & \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}{disprover.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}{disprover\_test\_runner.pl} & \textcolor[HTML]{FF0000}{111} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{51} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{enabling\_analysis.pl} & \textcolor[HTML]{FF0000}{139} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0.7} & \textcolor[HTML]{FF0000}{62} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1.6} \\
\hline
\textcolor[HTML]{FF0000}{solver\_interface.pl} & \textcolor[HTML]{FF0000}{65} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{4.7} & \textcolor[HTML]{FF0000}{30} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{10.0} \\
\hline
\textcolor[HTML]{FF0000}{weakest\_preconditions.pl} & \textcolor[HTML]{FF0000}{50} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{21} & \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{595} & \textbf{24} & \textbf{11} & \textbf{4.1} & \textbf{401} & \textbf{22} & \textbf{3} & \textbf{5.5} \\
\hline
\textcolor[HTML]{FF0000}{eclipse\_interface.pl} & \textcolor[HTML]{FF0000}{155} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{7.1} & \textcolor[HTML]{FF0000}{123} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{8.9} \\
\hline
\textcolor[HTML]{FF0000}{prob2\_interface.pl} & \textcolor[HTML]{FF0000}{392} & \textcolor[HTML]{FF0000}{13} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{3.4} & \textcolor[HTML]{FF0000}{252} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{4.4} \\
\hline
\textcolor[HTML]{FF0000}{prob\_socketserver.pl} & \textcolor[HTML]{FF0000}{48} & \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
\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{162} & \textbf{37} & \textbf{0} & \textbf{22.8} & \textbf{89} & \textbf{14} & \textbf{0} & \textbf{15.7} \\
\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}{42} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2.4} & \textcolor[HTML]{FF0000}{22} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{4.5} \\
\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{1602} & \textbf{3} & \textbf{55} & \textbf{0.2} & \textbf{590} & \textbf{3} & \textbf{1} & \textbf{0.5} \\
\hline
\textcolor[HTML]{FF0000}{csp\_basic.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
\textcolor[HTML]{FF0000}{csp\_sequences.pl} & \textcolor[HTML]{FF0000}{58} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{21} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{csp\_sets.pl} & \textcolor[HTML]{FF0000}{268} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{15} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{99} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{csp\_tuples.pl} & \textcolor[HTML]{FF0000}{94} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{37} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{haskell\_csp.pl} & \textcolor[HTML]{FF0000}{722} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{27} & \textcolor[HTML]{FF0000}{0.1} & \textcolor[HTML]{FF0000}{243} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.4} \\
\hline
\textcolor[HTML]{FF0000}{haskell\_csp\_analyzer.pl} & \textcolor[HTML]{FF0000}{290} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{95} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{refinement\_checker.pl} & \textcolor[HTML]{FF0000}{165} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{1.2} & \textcolor[HTML]{FF0000}{90} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2.2} \\
\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{657} & \textbf{12} & \textbf{1} & \textbf{1.8} & \textbf{372} & \textbf{9} & \textbf{0} & \textbf{2.4} \\
\hline
\textcolor[HTML]{FF0000}{bvisual.pl} & \textcolor[HTML]{FF0000}{151} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{73} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.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
\textcolor[HTML]{FF0000}{dot\_graph\_generator.pl} & \textcolor[HTML]{FF0000}{58} & \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
\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
\textcolor[HTML]{FF0000}{reduce\_graph\_state\_space.pl} & \textcolor[HTML]{FF0000}{151} & \textcolor[HTML]{FF0000}{12} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{7.9} & \textcolor[HTML]{FF0000}{99} & \textcolor[HTML]{FF0000}{9} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{9.1} \\
\hline
\textcolor[HTML]{FF0000}{state\_custom\_dot\_graph.pl} & \textcolor[HTML]{FF0000}{53} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{24} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{state\_space\_reduction.pl} & \textcolor[HTML]{FF0000}{73} & \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}{visualize\_graph.pl} & \textcolor[HTML]{FF0000}{128} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{69} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\end{longtable}
dpllt
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{291} & \textbf{0} & \textbf{3} & \textbf{0.0} & \textbf{172} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{dpllt\_pred\_to\_sat.pl} & \textcolor[HTML]{FF0000}{25} & \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}{dpllt\_preprocessing.pl} & \textcolor[HTML]{FF0000}{71} & \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}{dpllt\_sat\_solver.pl} & \textcolor[HTML]{FF0000}{154} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{104} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{dpllt\_settings.pl} & \textcolor[HTML]{FF0000}{13} & \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
\textcolor[HTML]{FF0000}{dpllt\_solver.pl} & \textcolor[HTML]{FF0000}{28} & \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
\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{324} & \textbf{1} & \textbf{1} & \textbf{0.3} & \textbf{167} & \textbf{1} & \textbf{0} & \textbf{0.6} \\
\hline
\textcolor[HTML]{FF0000}{cvc4interface.pl} & \textcolor[HTML]{FF0000}{30} & \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}{166} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{104} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{satsolver.pl} & \textcolor[HTML]{FF0000}{40} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{21} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{z3interface.pl} & \textcolor[HTML]{FF0000}{34} & \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}{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}{28} & \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}{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
chr\_set\_membership.pl & 6 & 1 & 0 & 16.7 & 6 & 1 & 0 & 16.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{1675} & \textbf{181} & \textbf{11} & \textbf{10.9} & \textbf{630} & \textbf{90} & \textbf{0} & \textbf{14.3} \\
\hline
\textcolor[HTML]{FF0000}{avl\_ugraphs.pl} & \textcolor[HTML]{FF0000}{6} & \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
external\_functions.pl & 1050 & 171 & 11 & 16.5 & 466 & 81 & 0 & 17.4 \\
\hline
hit\_profiler.pl & 31 & 9 & 0 & 29.0 & 15 & 8 & 0 & 53.3 \\
\hline
\textcolor[HTML]{FF0000}{xml2b.pl} & \textcolor[HTML]{FF0000}{28} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3.6} & \textcolor[HTML]{FF0000}{10} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{10.0} \\
\hline
\textcolor[HTML]{FF0000}{xml\_prob.pl} & \textcolor[HTML]{FF0000}{560} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{133} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.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{7183} & \textbf{3934} & \textbf{30} & \textbf{55.0} & \textbf{1611} & \textbf{705} & \textbf{6} & \textbf{43.9} \\
\hline
probhash.pl & 22 & 6 & 0 & 27.3 & 20 & 5 & 0 & 25.0 \\
\hline
user\_signal.pl & 13 & 8 & 0 & 61.5 & 10 & 5 & 0 & 50.0 \\
\hline
bmachine.pl & 519 & 336 & 4 & 65.2 & 290 & 192 & 0 & 66.2 \\
\hline
\textcolor[HTML]{FF0000}{compile\_time\_flags.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
debug.pl & 74 & 21 & 0 & 28.4 & 64 & 19 & 0 & 29.7 \\
\hline
debugging\_calls.pl & 16 & 10 & 0 & 62.5 & 10 & 5 & 0 & 50.0 \\
\hline
debugging\_calls\_te.pl & 34 & 5 & 0 & 14.7 & 7 & 2 & 0 & 28.6 \\
\hline
error\_manager.pl & 290 & 117 & 8 & 41.5 & 171 & 88 & 6 & 53.3 \\
\hline
eventhandling.pl & 24 & 18 & 1 & 78.3 & 9 & 7 & 0 & 77.8 \\
\hline
junit\_tests.pl & 28 & 22 & 1 & 81.5 & 16 & 15 & 0 & 93.8 \\
\hline
logger.pl & 87 & 29 & 2 & 34.1 & 43 & 19 & 0 & 44.2 \\
\hline
module\_information.pl & 6 & 2 & 0 & 33.3 & 5 & 2 & 0 & 40.0 \\
\hline
pathes.pl & 22 & 19 & 0 & 86.4 & 17 & 16 & 0 & 94.1 \\
\hline
preferences.pl & 1744 & 813 & 0 & 46.6 & 98 & 37 & 0 & 37.8 \\
\hline
prob\_cli.pl & 1102 & 245 & 8 & 22.4 & 398 & 139 & 0 & 34.9 \\
\hline
prob\_startup.pl & 1 & 1 & 0 & 100.0 & 1 & 1 & 0 & 100.0 \\
\hline
self\_check.pl & 90 & 11 & 0 & 12.2 & 71 & 11 & 0 & 15.5 \\
\hline
state\_space\_exploration\_modes.pl & 57 & 16 & 0 & 28.1 & 25 & 12 & 0 & 48.0 \\
\hline
succeed\_max.pl & 12 & 11 & 0 & 91.7 & 8 & 7 & 0 & 87.5 \\
\hline
testcases.pl & 2169 & 2047 & 0 & 94.4 & 8 & 6 & 0 & 75.0 \\
\hline
tools.pl & 360 & 113 & 5 & 31.8 & 149 & 68 & 0 & 45.6 \\
\hline
\textcolor[HTML]{FF0000}{tools\_commands.pl} & \textcolor[HTML]{FF0000}{37} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \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}{tools\_fastread.pl} & \textcolor[HTML]{FF0000}{95} & \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
tools\_files.pl & 9 & 4 & 0 & 44.4 & 6 & 3 & 0 & 50.0 \\
\hline
\textcolor[HTML]{FF0000}{tools\_io.pl} & \textcolor[HTML]{FF0000}{7} & \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
tools\_lists.pl & 10 & 3 & 0 & 30.0 & 7 & 2 & 0 & 28.6 \\
\hline
\textcolor[HTML]{FF0000}{tools\_matching.pl} & \textcolor[HTML]{FF0000}{106} & \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
tools\_meta.pl & 19 & 8 & 0 & 42.1 & 15 & 6 & 0 & 40.0 \\
\hline
tools\_printing.pl & 150 & 32 & 0 & 21.3 & 47 & 14 & 0 & 29.8 \\
\hline
tools\_strings.pl & 51 & 29 & 0 & 56.9 & 24 & 16 & 0 & 66.7 \\
\hline
tools\_timeout.pl & 6 & 4 & 0 & 66.7 & 5 & 4 & 0 & 80.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 & 11 & 4 & 0 & 36.4 & 8 & 4 & 0 & 50.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{1992} & \textbf{1312} & \textbf{29} & \textbf{66.8} & \textbf{851} & \textbf{602} & \textbf{0} & \textbf{70.7} \\
\hline
b\_compiler.pl & 253 & 171 & 2 & 68.1 & 65 & 44 & 0 & 67.7 \\
\hline
b\_enumerate.pl & 107 & 92 & 0 & 86.0 & 48 & 45 & 0 & 93.8 \\
\hline
b\_interpreter.pl & 646 & 478 & 17 & 76.0 & 313 & 264 & 0 & 84.3 \\
\hline
b\_interpreter\_check.pl & 403 & 338 & 7 & 85.4 & 111 & 100 & 0 & 90.1 \\
\hline
b\_interpreter\_components.pl & 85 & 61 & 0 & 71.8 & 62 & 46 & 0 & 74.2 \\
\hline
b\_interpreter\_eventb.pl & 77 & 46 & 2 & 61.3 & 51 & 35 & 0 & 68.6 \\
\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}{12} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
store.pl & 190 & 109 & 3 & 58.3 & 75 & 57 & 0 & 76.0 \\
\hline
\textcolor[HTML]{FF0000}{value\_persistance.pl} & \textcolor[HTML]{FF0000}{205} & \textcolor[HTML]{FF0000}{17} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{8.3} & \textcolor[HTML]{FF0000}{114} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{9.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{5692} & \textbf{4245} & \textbf{86} & \textbf{75.7} & \textbf{2487} & \textbf{2059} & \textbf{2} & \textbf{82.9} \\
\hline
avl\_tools.pl & 45 & 33 & 3 & 78.6 & 25 & 19 & 0 & 76.0 \\
\hline
b\_global\_sets.pl & 224 & 148 & 4 & 67.3 & 109 & 87 & 0 & 79.8 \\
\hline
bool\_pred.pl & 29 & 22 & 0 & 75.9 & 20 & 15 & 0 & 75.0 \\
\hline
bsets\_clp.pl & 719 & 556 & 4 & 77.8 & 366 & 299 & 0 & 81.7 \\
\hline
chr\_integer\_inequality.pl & 33 & 21 & 0 & 63.6 & 25 & 14 & 0 & 56.0 \\
\hline
closures.pl & 105 & 60 & 1 & 57.7 & 42 & 35 & 0 & 83.3 \\
\hline
clpfd\_interface.pl & 170 & 103 & 0 & 60.6 & 95 & 67 & 0 & 70.5 \\
\hline
clpfd\_lists.pl & 123 & 65 & 7 & 56.0 & 36 & 25 & 0 & 69.4 \\
\hline
clpfd\_tables.pl & 47 & 39 & 0 & 83.0 & 24 & 22 & 0 & 91.7 \\
\hline
custom\_explicit\_sets.pl & 1419 & 1154 & 26 & 82.8 & 575 & 534 & 0 & 92.9 \\
\hline
delay.pl & 28 & 26 & 0 & 92.9 & 19 & 17 & 0 & 89.5 \\
\hline
fd\_utils\_clpfd.pl & 11 & 9 & 0 & 81.8 & 9 & 9 & 0 & 100.0 \\
\hline
inf\_arith.pl & 51 & 39 & 0 & 76.5 & 21 & 17 & 0 & 81.0 \\
\hline
kernel\_cardinality\_attr.pl & 47 & 37 & 0 & 78.7 & 23 & 18 & 0 & 78.3 \\
\hline
kernel\_dif.pl & 10 & 10 & 0 & 100.0 & 5 & 5 & 0 & 100.0 \\
\hline
kernel\_equality.pl & 171 & 155 & 5 & 93.4 & 76 & 72 & 0 & 94.7 \\
\hline
kernel\_frozen\_info.pl & 17 & 3 & 0 & 17.6 & 6 & 2 & 0 & 33.3 \\
\hline
kernel\_lists.pl & 8 & 2 & 1 & 28.6 & 4 & 2 & 0 & 50.0 \\
\hline
kernel\_mappings.pl & 416 & 363 & 0 & 87.3 & 95 & 88 & 0 & 92.6 \\
\hline
kernel\_objects.pl & 1146 & 848 & 8 & 74.5 & 537 & 439 & 1 & 81.9 \\
\hline
\textcolor[HTML]{FF0000}{kernel\_ordering.pl} & \textcolor[HTML]{FF0000}{41} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{4.9} & \textcolor[HTML]{FF0000}{15} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{13.3} \\
\hline
kernel\_propagation.pl & 4 & 4 & 0 & 100.0 & 3 & 3 & 0 & 100.0 \\
\hline
kernel\_records.pl & 25 & 12 & 2 & 52.2 & 18 & 8 & 0 & 44.4 \\
\hline
kernel\_strings.pl & 186 & 125 & 1 & 67.6 & 91 & 78 & 0 & 85.7 \\
\hline
kernel\_tools.pl & 253 & 205 & 6 & 83.0 & 43 & 38 & 0 & 88.4 \\
\hline
kernel\_waitflags.pl & 255 & 142 & 21 & 60.7 & 147 & 106 & 1 & 72.6 \\
\hline
memoization.pl & 86 & 57 & 0 & 66.3 & 46 & 35 & 0 & 76.1 \\
\hline
static\_symmetry\_reduction.pl & 23 & 5 & 0 & 21.7 & 12 & 3 & 0 & 25.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{728} & \textbf{478} & \textbf{2} & \textbf{65.8} & \textbf{318} & \textbf{241} & \textbf{0} & \textbf{75.8} \\
\hline
kodkod.pl & 78 & 42 & 0 & 53.8 & 38 & 30 & 0 & 78.9 \\
\hline
kodkod2.pl & 67 & 60 & 0 & 89.6 & 38 & 37 & 0 & 97.4 \\
\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 & 9 & 0 & 39.1 & 8 & 5 & 0 & 62.5 \\
\hline
kodkod\_printer.pl & 121 & 100 & 0 & 82.6 & 43 & 41 & 0 & 95.3 \\
\hline
kodkod\_process.pl & 64 & 40 & 2 & 64.5 & 43 & 34 & 0 & 79.1 \\
\hline
kodkod\_rewrite.pl & 26 & 14 & 0 & 53.8 & 11 & 8 & 0 & 72.7 \\
\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
kodkod\_tools.pl & 27 & 25 & 0 & 92.6 & 18 & 18 & 0 & 100.0 \\
\hline
kodkod\_translate.pl & 158 & 122 & 0 & 77.2 & 47 & 43 & 0 & 91.5 \\
\hline
kodkod\_typing.pl & 83 & 66 & 0 & 79.5 & 25 & 25 & 0 & 100.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{872} & \textbf{24} & \textbf{24} & \textbf{2.8} & \textbf{373} & \textbf{11} & \textbf{0} & \textbf{2.9} \\
\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
\textcolor[HTML]{FF0000}{ltlc.pl} & \textcolor[HTML]{FF0000}{92} & \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}{ctl.pl} & \textcolor[HTML]{FF0000}{71} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{1.5} & \textcolor[HTML]{FF0000}{30} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3.3} \\
\hline
\textcolor[HTML]{FF0000}{ltl.pl} & \textcolor[HTML]{FF0000}{143} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0.7} & \textcolor[HTML]{FF0000}{80} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1.3} \\
\hline
\textcolor[HTML]{FF0000}{ltl\_fairness.pl} & \textcolor[HTML]{FF0000}{56} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3} & \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}{ltl\_propositions.pl} & \textcolor[HTML]{FF0000}{64} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{26} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{ltl\_safety.pl} & \textcolor[HTML]{FF0000}{88} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2} & \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}{ltl\_tools.pl} & \textcolor[HTML]{FF0000}{148} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{60} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{ltl\_translate.pl} & \textcolor[HTML]{FF0000}{64} & \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 & 22 & 0 & 31.4 & 32 & 9 & 0 & 28.1 \\
\hline
\textcolor[HTML]{FF0000}{safety\_mc.pl} & \textcolor[HTML]{FF0000}{61} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{35} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \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{391} & \textbf{78} & \textbf{2} & \textbf{20.1} & \textbf{217} & \textbf{44} & \textbf{0} & \textbf{20.3} \\
\hline
\textcolor[HTML]{FF0000}{b\_show\_history.pl} & \textcolor[HTML]{FF0000}{38} & \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
\textcolor[HTML]{FF0000}{before\_after\_predicates.pl} & \textcolor[HTML]{FF0000}{54} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{26} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\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
predicate\_debugger.pl & 116 & 31 & 0 & 26.7 & 60 & 11 & 0 & 18.3 \\
\hline
predicate\_evaluator.pl & 90 & 45 & 0 & 50.0 & 50 & 31 & 0 & 62.0 \\
\hline
\textcolor[HTML]{FF0000}{unsat\_cores.pl} & \textcolor[HTML]{FF0000}{44} & \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
\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{375} & \textbf{33} & \textbf{2} & \textbf{8.8} & \textbf{219} & \textbf{19} & \textbf{0} & \textbf{8.7} \\
\hline
model\_checker.pl & 44 & 29 & 0 & 65.9 & 19 & 15 & 0 & 78.9 \\
\hline
\textcolor[HTML]{FF0000}{pge\_algo.pl} & \textcolor[HTML]{FF0000}{62} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{1.6} & \textcolor[HTML]{FF0000}{41} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2.4} \\
\hline
\textcolor[HTML]{FF0000}{ample\_sets.pl} & \textcolor[HTML]{FF0000}{84} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3.6} & \textcolor[HTML]{FF0000}{64} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{4.7} \\
\hline
\textcolor[HTML]{FF0000}{b\_simplifier.pl} & \textcolor[HTML]{FF0000}{69} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{21} & \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}{22} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\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
\textcolor[HTML]{FF0000}{static\_analysis.pl} & \textcolor[HTML]{FF0000}{41} & \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
\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{6052} & \textbf{70} & \textbf{5} & \textbf{1.2} & \textbf{769} & \textbf{34} & \textbf{1} & \textbf{4.4} \\
\hline
counter.pl & 11 & 9 & 0 & 81.8 & 6 & 5 & 0 & 83.3 \\
\hline
\textcolor[HTML]{FF0000}{ltsmin\_c\_interface.pl} & \textcolor[HTML]{FF0000}{15} & \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}{ltsmin\_trace.pl} & \textcolor[HTML]{FF0000}{14} & \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}{msg\_interop.pl} & \textcolor[HTML]{FF0000}{44} & \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
myheap.pl & 34 & 20 & 0 & 58.8 & 15 & 5 & 0 & 33.3 \\
\hline
plspec.pl & 48 & 10 & 0 & 20.8 & 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}{59} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{6.8} & \textcolor[HTML]{FF0000}{27} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3.7} \\
\hline
\textcolor[HTML]{FF0000}{fuzzing.pl} & \textcolor[HTML]{FF0000}{42} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{7.1} & \textcolor[HTML]{FF0000}{21} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{14.3} \\
\hline
\textcolor[HTML]{FF0000}{any.pl} & \textcolor[HTML]{FF0000}{4} & \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}{atom.pl} & \textcolor[HTML]{FF0000}{4} & \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}{avl\_tree.pl} & \textcolor[HTML]{FF0000}{9} & \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}{mutation\_prob\_ast\_int\_expr.pl} & \textcolor[HTML]{FF0000}{58} & \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}{mutation\_prob\_ast\_pred.pl} & \textcolor[HTML]{FF0000}{64} & \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}{mutation\_prob\_ast\_seq\_expr.pl} & \textcolor[HTML]{FF0000}{59} & \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}{mutation\_prob\_ast\_set\_expr.pl} & \textcolor[HTML]{FF0000}{67} & \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}{prob\_ast\_any.pl} & \textcolor[HTML]{FF0000}{55} & \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}{prob\_ast\_boolean.pl} & \textcolor[HTML]{FF0000}{77} & \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}{prob\_ast\_couple.pl} & \textcolor[HTML]{FF0000}{62} & \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}{prob\_ast\_eval\_int\_expr.pl} & \textcolor[HTML]{FF0000}{26} & \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}{prob\_ast\_eval\_pred.pl} & \textcolor[HTML]{FF0000}{41} & \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}{prob\_ast\_eval\_seq\_expr.pl} & \textcolor[HTML]{FF0000}{20} & \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}{prob\_ast\_eval\_set\_expr.pl} & \textcolor[HTML]{FF0000}{30} & \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}{prob\_ast\_expr.pl} & \textcolor[HTML]{FF0000}{88} & \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}{prob\_ast\_identifier.pl} & \textcolor[HTML]{FF0000}{115} & \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}{prob\_ast\_int\_expr.pl} & \textcolor[HTML]{FF0000}{117} & \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}{prob\_ast\_integer.pl} & \textcolor[HTML]{FF0000}{120} & \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}{prob\_ast\_minimize\_int\_expr.pl} & \textcolor[HTML]{FF0000}{9} & \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}{prob\_ast\_minimize\_pred.pl} & \textcolor[HTML]{FF0000}{24} & \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}{prob\_ast\_minimize\_seq\_expr.pl} & \textcolor[HTML]{FF0000}{11} & \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}{prob\_ast\_minimize\_set\_expr.pl} & \textcolor[HTML]{FF0000}{9} & \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}{prob\_ast\_pred.pl} & \textcolor[HTML]{FF0000}{136} & \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}{prob\_ast\_record.pl} & \textcolor[HTML]{FF0000}{145} & \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
\textcolor[HTML]{FF0000}{prob\_ast\_sat.pl} & \textcolor[HTML]{FF0000}{159} & \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}{prob\_ast\_seq.pl} & \textcolor[HTML]{FF0000}{149} & \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}{prob\_ast\_seq\_expr.pl} & \textcolor[HTML]{FF0000}{161} & \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}{prob\_ast\_set.pl} & \textcolor[HTML]{FF0000}{167} & \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}{prob\_ast\_set\_expr.pl} & \textcolor[HTML]{FF0000}{177} & \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}{prob\_ast\_string.pl} & \textcolor[HTML]{FF0000}{179} & \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}{prob\_state\_bindlist.pl} & \textcolor[HTML]{FF0000}{141} & \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}{prob\_type.pl} & \textcolor[HTML]{FF0000}{183} & \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}{prob\_value\_any.pl} & \textcolor[HTML]{FF0000}{188} & \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}{prob\_value\_boolean.pl} & \textcolor[HTML]{FF0000}{190} & \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}{prob\_value\_integer.pl} & \textcolor[HTML]{FF0000}{192} & \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}{prob\_value\_record.pl} & \textcolor[HTML]{FF0000}{197} & \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}{prob\_value\_seq.pl} & \textcolor[HTML]{FF0000}{205} & \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}{prob\_value\_set.pl} & \textcolor[HTML]{FF0000}{207} & \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}{prob\_value\_string.pl} & \textcolor[HTML]{FF0000}{209} & \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}{between.pl} & \textcolor[HTML]{FF0000}{11} & \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}{boolean.pl} & \textcolor[HTML]{FF0000}{13} & \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}{fixed\_value.pl} & \textcolor[HTML]{FF0000}{15} & \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}{float.pl} & \textcolor[HTML]{FF0000}{17} & \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}{integer.pl} & \textcolor[HTML]{FF0000}{30} & \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}{list.pl} & \textcolor[HTML]{FF0000}{40} & \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}{member\_of.pl} & \textcolor[HTML]{FF0000}{24} & \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}{mutation.pl} & \textcolor[HTML]{FF0000}{49} & \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
\textcolor[HTML]{FF0000}{number.pl} & \textcolor[HTML]{FF0000}{29} & \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}{rational.pl} & \textcolor[HTML]{FF0000}{53} & \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}{snippets.pl} & \textcolor[HTML]{FF0000}{113} & \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}{tree.pl} & \textcolor[HTML]{FF0000}{55} & \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}{variable.pl} & \textcolor[HTML]{FF0000}{57} & \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}{regexp.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
b\_to\_cnf.pl & 22 & 2 & 2 & 10.0 & 6 & 1 & 0 & 16.7 \\
\hline
\textcolor[HTML]{FF0000}{alloy2b.pl} & \textcolor[HTML]{FF0000}{493} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{167} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
b\_arithmetic\_expressions.pl & 8 & 7 & 0 & 87.5 & 3 & 3 & 0 & 100.0 \\
\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
\textcolor[HTML]{FF0000}{json\_parser.pl} & \textcolor[HTML]{FF0000}{102} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{37} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\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
\textcolor[HTML]{FF0000}{test\_typechecker.pl} & \textcolor[HTML]{FF0000}{25} & \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
\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{172} & \textbf{0} & \textbf{2} & \textbf{0.0} & \textbf{99} & \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
\textcolor[HTML]{FF0000}{table\_tools.pl} & \textcolor[HTML]{FF0000}{88} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{39} & \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{37} & \textbf{12} & \textbf{0} & \textbf{32.4} & \textbf{28} & \textbf{8} & \textbf{0} & \textbf{28.6} \\
\hline
performance\_messages.pl & 19 & 7 & 0 & 36.8 & 11 & 4 & 0 & 36.4 \\
\hline
runtime\_profiler.pl & 12 & 4 & 0 & 33.3 & 11 & 3 & 0 & 27.3 \\
\hline
source\_profiler.pl & 6 & 1 & 0 & 16.7 & 6 & 1 & 0 & 16.7 \\
\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{1353} & \textbf{972} & \textbf{0} & \textbf{71.8} & \textbf{467} & \textbf{355} & \textbf{0} & \textbf{76.0} \\
\hline
kernel\_freetypes.pl & 62 & 42 & 0 & 67.7 & 35 & 26 & 0 & 74.3 \\
\hline
kernel\_z.pl & 15 & 14 & 0 & 93.3 & 11 & 11 & 0 & 100.0 \\
\hline
consistencycheck.pl & 125 & 94 & 0 & 75.2 & 16 & 14 & 0 & 87.5 \\
\hline
dependence.pl & 31 & 18 & 0 & 58.1 & 6 & 6 & 0 & 100.0 \\
\hline
fuzzfile.pl & 45 & 44 & 0 & 97.8 & 25 & 24 & 0 & 96.0 \\
\hline
proz.pl & 293 & 209 & 0 & 71.3 & 113 & 82 & 0 & 72.6 \\
\hline
schemaexpansion.pl & 92 & 30 & 0 & 32.6 & 40 & 16 & 0 & 40.0 \\
\hline
\textcolor[HTML]{FF0000}{schemavars.pl} & \textcolor[HTML]{FF0000}{23} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{8.7} & \textcolor[HTML]{FF0000}{6} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{33.3} \\
\hline
subexpressions.pl & 186 & 141 & 0 & 75.8 & 48 & 39 & 0 & 81.3 \\
\hline
z\_tools.pl & 41 & 26 & 0 & 63.4 & 28 & 19 & 0 & 67.9 \\
\hline
z\_typechecker.pl & 264 & 200 & 0 & 75.8 & 64 & 47 & 0 & 73.4 \\
\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 & 141 & 0 & 90.4 & 65 & 61 & 0 & 93.8 \\
\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{325} & \textbf{103} & \textbf{0} & \textbf{31.7} & \textbf{144} & \textbf{52} & \textbf{0} & \textbf{36.1} \\
\hline
eval\_strings.pl & 325 & 103 & 1 & 31.8 & 144 & 52 & 0 & 36.1 \\
\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{443} & \textbf{2} & \textbf{4} & \textbf{0.5} & \textbf{139} & \textbf{1} & \textbf{0} & \textbf{0.7} \\
\hline
\textcolor[HTML]{FF0000}{atelierb\_provers\_interface.pl} & \textcolor[HTML]{FF0000}{22} & \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}{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}{191} & \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}{10} & \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
\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{297} & \textbf{0} & \textbf{0} & \textbf{0.0} & \textbf{102} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{smtlib2\_cli.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
\textcolor[HTML]{FF0000}{smtlib2\_environment.pl} & \textcolor[HTML]{FF0000}{19} & \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}{smtlib2\_interpreter.pl} & \textcolor[HTML]{FF0000}{51} & \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}{smtlib2\_parser.pl} & \textcolor[HTML]{FF0000}{110} & \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}{smtlib2\_translation.pl} & \textcolor[HTML]{FF0000}{109} & \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}
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{272} & \textbf{0} & \textbf{1} & \textbf{0.0} & \textbf{170} & \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}{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}{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}{10} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.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
\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}{26} & \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}{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{295} & \textbf{17} & \textbf{1} & \textbf{5.8} & \textbf{122} & \textbf{7} & \textbf{0} & \textbf{5.7} \\
\hline
\textcolor[HTML]{FF0000}{graphiso.pl} & \textcolor[HTML]{FF0000}{12} & \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
\textcolor[HTML]{FF0000}{graph\_canon.pl} & \textcolor[HTML]{FF0000}{94} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1.1} & \textcolor[HTML]{FF0000}{43} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2.3} \\
\hline
\textcolor[HTML]{FF0000}{graph\_iso\_nauty.pl} & \textcolor[HTML]{FF0000}{63} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1.6} & \textcolor[HTML]{FF0000}{32} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3.1} \\
\hline
\textcolor[HTML]{FF0000}{state\_permuter.pl} & \textcolor[HTML]{FF0000}{32} & \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
symmetry\_marker.pl & 94 & 15 & 1 & 16.1 & 31 & 5 & 0 & 16.1 \\
\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{848} & \textbf{0} & \textbf{0} & \textbf{0.0} & \textbf{279} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{b\_synthesis.pl} & \textcolor[HTML]{FF0000}{117} & \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}{238} & \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}{253} & \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
\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{481} & \textbf{61} & \textbf{6} & \textbf{12.8} & \textbf{315} & \textbf{45} & \textbf{1} & \textbf{14.3} \\
\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
tcltk\_interface.pl & 466 & 61 & 6 & 13.3 & 308 & 45 & 1 & 14.7 \\
\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{396} & \textbf{1} & \textbf{3} & \textbf{0.3} & \textbf{248} & \textbf{1} & \textbf{0} & \textbf{0.4} \\
\hline
\textcolor[HTML]{FF0000}{mcdc\_coverage.pl} & \textcolor[HTML]{FF0000}{67} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{24} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{sap.pl} & \textcolor[HTML]{FF0000}{329} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0.3} & \textcolor[HTML]{FF0000}{224} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.4} \\
\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{595} & \textbf{110} & \textbf{0} & \textbf{18.5} & \textbf{247} & \textbf{62} & \textbf{0} & \textbf{25.1} \\
\hline
b\_trace\_checking.pl & 151 & 48 & 2 & 32.2 & 71 & 29 & 0 & 40.8 \\
\hline
test\_runner.pl & 320 & 42 & 0 & 13.1 & 150 & 28 & 0 & 18.7 \\
\hline
typechecker.pl & 124 & 20 & 0 & 16.1 & 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{1870} & \textbf{610} & \textbf{12} & \textbf{32.8} & \textbf{528} & \textbf{258} & \textbf{0} & \textbf{48.9} \\
\hline
gensym.pl & 10 & 8 & 0 & 80.0 & 8 & 6 & 0 & 75.0 \\
\hline
pref\_definitions.pl & 31 & 15 & 0 & 48.4 & 15 & 10 & 0 & 66.7 \\
\hline
\textcolor[HTML]{FF0000}{static\_ordering.pl} & \textcolor[HTML]{FF0000}{15} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{8} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
system\_call.pl & 14 & 8 & 1 & 61.5 & 13 & 8 & 0 & 61.5 \\
\hline
translate.pl & 1662 & 578 & 10 & 35.0 & 477 & 233 & 0 & 48.8 \\
\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{5402} & \textbf{2582} & \textbf{59} & \textbf{48.3} & \textbf{2104} & \textbf{1258} & \textbf{2} & \textbf{59.8} \\
\hline
b\_ast\_cleanup.pl & 781 & 601 & 3 & 77.2 & 260 & 214 & 0 & 82.3 \\
\hline
b\_enumeration\_order\_analysis.pl & 32 & 17 & 0 & 53.1 & 13 & 12 & 0 & 92.3 \\
\hline
\textcolor[HTML]{FF0000}{b\_expression\_sharing.pl} & \textcolor[HTML]{FF0000}{335} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{7} & \textcolor[HTML]{FF0000}{0.6} & \textcolor[HTML]{FF0000}{126} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1.6} \\
\hline
b\_read\_write\_info.pl & 189 & 88 & 2 & 47.1 & 95 & 50 & 0 & 52.6 \\
\hline
bmachine\_construction.pl & 516 & 299 & 8 & 58.9 & 311 & 213 & 0 & 68.5 \\
\hline
bmachine\_eventb.pl & 451 & 292 & 3 & 65.2 & 269 & 215 & 0 & 79.9 \\
\hline
bmachine\_static\_checks.pl & 59 & 29 & 0 & 49.2 & 33 & 22 & 0 & 66.7 \\
\hline
bmachine\_structure.pl & 24 & 23 & 1 & 100.0 & 18 & 17 & 1 & 100.0 \\
\hline
bsyntaxtree.pl & 832 & 542 & 14 & 66.3 & 294 & 212 & 0 & 72.1 \\
\hline
btypechecker.pl & 651 & 448 & 2 & 69.0 & 222 & 153 & 0 & 68.9 \\
\hline
input\_syntax\_tree.pl & 54 & 26 & 1 & 49.1 & 20 & 13 & 0 & 65.0 \\
\hline
parsercall.pl & 189 & 70 & 7 & 38.5 & 109 & 54 & 0 & 49.5 \\
\hline
partition\_detection.pl & 27 & 25 & 0 & 92.6 & 17 & 17 & 0 & 100.0 \\
\hline
pragmas.pl & 10 & 4 & 0 & 40.0 & 5 & 4 & 0 & 80.0 \\
\hline
record\_detection.pl & 98 & 39 & 1 & 40.2 & 69 & 31 & 0 & 44.9 \\
\hline
b\_ast\_cleanup\_rewrite\_rules.pl & 27 & 17 & 0 & 63.0 & 13 & 13 & 0 & 100.0 \\
\hline
rewrite\_rules\_db.pl & 27 & 16 & 0 & 59.3 & 2 & 2 & 0 & 100.0 \\
\hline
typing\_tools.pl & 88 & 44 & 0 & 50.0 & 22 & 14 & 0 & 63.6 \\
\hline
\textcolor[HTML]{FF0000}{well\_def\_analyser.pl} & \textcolor[HTML]{FF0000}{270} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2} & \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}{well\_def\_hyps.pl} & \textcolor[HTML]{FF0000}{128} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{40} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{well\_def\_prover.pl} & \textcolor[HTML]{FF0000}{614} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{104} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\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{528} & \textbf{0} & \textbf{1} & \textbf{0.0} & \textbf{160} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{latex\_processor.pl} & \textcolor[HTML]{FF0000}{111} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{49} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{meta\_interface.pl} & \textcolor[HTML]{FF0000}{269} & \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
\textcolor[HTML]{FF0000}{state\_viewer\_images.pl} & \textcolor[HTML]{FF0000}{148} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{83} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\end{longtable}
\end{document}