\documentclass[a4paper,10pt]{article}
\usepackage{a4wide}
\usepackage{longtable}
\usepackage{xcolor}
\begin{document}
\textbf{Coverage Report (All Tests, generated 30.9.2017 23:19, commit 2215a919ffbb058ee6faad8635653add2b5c7fac)} \\\\
analysis
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{839} & \textbf{0} & \textbf{0} & \textbf{0.0} & \textbf{326} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{b\_machine\_hierarchy.pl} & \textcolor[HTML]{FF0000}{163} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{90} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{bvisual2.pl} & \textcolor[HTML]{FF0000}{317} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{107} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{interval\_calc.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}{predicate\_analysis.pl} & \textcolor[HTML]{FF0000}{351} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{123} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\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{952} & \textbf{0} & \textbf{10} & \textbf{0.0} & \textbf{450} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{b\_operation\_cache.pl} & \textcolor[HTML]{FF0000}{19} & \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}{coverage\_statistics.pl} & \textcolor[HTML]{FF0000}{65} & \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}{evalstores.pl} & \textcolor[HTML]{FF0000}{49} & \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
\textcolor[HTML]{FF0000}{hashing.pl} & \textcolor[HTML]{FF0000}{3} & \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}{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}{124} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \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}{specfile.pl} & \textcolor[HTML]{FF0000}{250} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \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}{state\_packing.pl} & \textcolor[HTML]{FF0000}{78} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{5} & \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\_space.pl} & \textcolor[HTML]{FF0000}{142} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{112} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\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
\textcolor[HTML]{FF0000}{state\_space\_open\_nodes\_c.pl} & \textcolor[HTML]{FF0000}{29} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3} & \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}{xtl\_interface.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
\end{longtable}
cbc
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{375} & \textbf{0} & \textbf{3} & \textbf{0.0} & \textbf{189} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{random\_permutations.pl} & \textcolor[HTML]{FF0000}{7} & \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}{b\_state\_model\_check.pl} & \textcolor[HTML]{FF0000}{129} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{63} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{cbc\_refinement\_checks.pl} & \textcolor[HTML]{FF0000}{34} & \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}{22} & \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}{disprover\_test\_runner.pl} & \textcolor[HTML]{FF0000}{90} & \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
\textcolor[HTML]{FF0000}{solver\_interface.pl} & \textcolor[HTML]{FF0000}{43} & \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}{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{148} & \textbf{0} & \textbf{0} & \textbf{0.0} & \textbf{120} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{eclipse\_interface.pl} & \textcolor[HTML]{FF0000}{148} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{120} & \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{161} & \textbf{0} & \textbf{0} & \textbf{0.0} & \textbf{90} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{coverage\_term\_expander.pl} & \textcolor[HTML]{FF0000}{36} & \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}{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}{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}
csp
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{1608} & \textbf{0} & \textbf{55} & \textbf{0.0} & \textbf{591} & \textbf{0} & \textbf{1} & \textbf{0.0} \\
\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}{726} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{27} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{242} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{haskell\_csp\_analyzer.pl} & \textcolor[HTML]{FF0000}{289} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{94} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{refinement\_checker.pl} & \textcolor[HTML]{FF0000}{168} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{93} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\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{526} & \textbf{0} & \textbf{1} & \textbf{0.0} & \textbf{292} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{bvisual.pl} & \textcolor[HTML]{FF0000}{134} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{61} & \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}{0} & \textcolor[HTML]{FF0000}{0} & \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}{state\_custom\_dot\_graph.pl} & \textcolor[HTML]{FF0000}{17} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{12} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{visualize\_graph.pl} & \textcolor[HTML]{FF0000}{123} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{67} & \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{463} & \textbf{0} & \textbf{1} & \textbf{0.0} & \textbf{226} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{cvc4interface.pl} & \textcolor[HTML]{FF0000}{29} & \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}{171} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \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}{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}{31} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{master.pl} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{worker.pl} & \textcolor[HTML]{FF0000}{23} & \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}{zmq.pl} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{flow.pl} & \textcolor[HTML]{FF0000}{155} & \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
\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{28} & \textbf{0} & \textbf{0} & \textbf{0.0} & \textbf{10} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{xml2b.pl} & \textcolor[HTML]{FF0000}{28} & \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}
gui
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{139} & \textbf{0} & \textbf{0} & \textbf{0.0} & \textbf{80} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{state\_viewer\_images.pl} & \textcolor[HTML]{FF0000}{139} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{80} & \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{6362} & \textbf{0} & \textbf{39} & \textbf{0.0} & \textbf{1679} & \textbf{0} & \textbf{6} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{probhash.pl} & \textcolor[HTML]{FF0000}{21} & \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}{user\_signal.pl} & \textcolor[HTML]{FF0000}{12} & \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}{ast\_inspector.pl} & \textcolor[HTML]{FF0000}{24} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{7} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{atelierb\_provers\_interface.pl} & \textcolor[HTML]{FF0000}{16} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{13} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{bmachine.pl} & \textcolor[HTML]{FF0000}{431} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{236} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{debug.pl} & \textcolor[HTML]{FF0000}{70} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \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}{debugging\_calls.pl} & \textcolor[HTML]{FF0000}{15} & \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}{debugging\_calls\_te.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}{error\_manager.pl} & \textcolor[HTML]{FF0000}{203} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{8} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{132} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{6} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{eventhandling.pl} & \textcolor[HTML]{FF0000}{24} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \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}{junit\_tests.pl} & \textcolor[HTML]{FF0000}{18} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2} & \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}{logger.pl} & \textcolor[HTML]{FF0000}{66} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \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}{module\_information.pl} & \textcolor[HTML]{FF0000}{6} & \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}{pathes.pl} & \textcolor[HTML]{FF0000}{16} & \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}{plugins.pl} & \textcolor[HTML]{FF0000}{108} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \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}{preferences.pl} & \textcolor[HTML]{FF0000}{1263} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{89} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{prob\_cli.pl} & \textcolor[HTML]{FF0000}{944} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{8} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{342} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{self\_check.pl} & \textcolor[HTML]{FF0000}{86} & \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
\textcolor[HTML]{FF0000}{state\_space\_exploration\_modes.pl} & \textcolor[HTML]{FF0000}{57} & \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}{succeed\_max.pl} & \textcolor[HTML]{FF0000}{12} & \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}{tcltk\_interface.pl} & \textcolor[HTML]{FF0000}{430} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{286} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{testcases.pl} & \textcolor[HTML]{FF0000}{2035} & \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}{tools.pl} & \textcolor[HTML]{FF0000}{330} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{12} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{140} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{tools\_files.pl} & \textcolor[HTML]{FF0000}{7} & \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}{tools\_io.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}{tools\_lists.pl} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{tools\_meta.pl} & \textcolor[HTML]{FF0000}{18} & \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}{tools\_printing.pl} & \textcolor[HTML]{FF0000}{88} & \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}{tools\_strings.pl} & \textcolor[HTML]{FF0000}{33} & \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}{tools\_timeout.pl} & \textcolor[HTML]{FF0000}{6} & \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}{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
\textcolor[HTML]{FF0000}{version.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
\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{2664} & \textbf{0} & \textbf{37} & \textbf{0.0} & \textbf{1167} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{b\_compiler.pl} & \textcolor[HTML]{FF0000}{235} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{58} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{b\_enumerate.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}{b\_interpreter.pl} & \textcolor[HTML]{FF0000}{614} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{16} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{295} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{b\_interpreter\_check.pl} & \textcolor[HTML]{FF0000}{381} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{106} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{b\_interpreter\_components.pl} & \textcolor[HTML]{FF0000}{70} & \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}{b\_interpreter\_eventb.pl} & \textcolor[HTML]{FF0000}{75} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2} & \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}{external\_functions.pl} & \textcolor[HTML]{FF0000}{833} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{379} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{store.pl} & \textcolor[HTML]{FF0000}{164} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{67} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{value\_persistance.pl} & \textcolor[HTML]{FF0000}{181} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{113} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.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{5001} & \textbf{0} & \textbf{89} & \textbf{0.0} & \textbf{2189} & \textbf{0} & \textbf{2} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{b\_global\_sets.pl} & \textcolor[HTML]{FF0000}{197} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2} & \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}{bool\_pred.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}{bsets\_clp.pl} & \textcolor[HTML]{FF0000}{661} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{6} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{344} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{closures.pl} & \textcolor[HTML]{FF0000}{98} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \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}{clpfd\_interface.pl} & \textcolor[HTML]{FF0000}{161} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{92} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{clpfd\_lists.pl} & \textcolor[HTML]{FF0000}{113} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{8} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{33} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{clpfd\_tables.pl} & \textcolor[HTML]{FF0000}{46} & \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}{custom\_explicit\_sets.pl} & \textcolor[HTML]{FF0000}{1304} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{33} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{537} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{delay.pl} & \textcolor[HTML]{FF0000}{32} & \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}{fd\_utils\_clpfd.pl} & \textcolor[HTML]{FF0000}{11} & \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}{inf\_arith.pl} & \textcolor[HTML]{FF0000}{51} & \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}{kernel\_dif.pl} & \textcolor[HTML]{FF0000}{16} & \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}{kernel\_equality.pl} & \textcolor[HTML]{FF0000}{166} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{74} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{kernel\_frozen\_info.pl} & \textcolor[HTML]{FF0000}{17} & \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}{kernel\_mappings.pl} & \textcolor[HTML]{FF0000}{401} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{91} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{kernel\_objects.pl} & \textcolor[HTML]{FF0000}{1094} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{10} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{518} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{kernel\_ordering.pl} & \textcolor[HTML]{FF0000}{41} & \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}{kernel\_propagation.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}{kernel\_records.pl} & \textcolor[HTML]{FF0000}{23} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2} & \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}{kernel\_strings.pl} & \textcolor[HTML]{FF0000}{101} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{63} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{kernel\_tools.pl} & \textcolor[HTML]{FF0000}{234} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{4} & \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}{kernel\_waitflags.pl} & \textcolor[HTML]{FF0000}{201} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{20} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{122} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.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{709} & \textbf{0} & \textbf{2} & \textbf{0.0} & \textbf{320} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{kodkod.pl} & \textcolor[HTML]{FF0000}{91} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{48} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{kodkod2.pl} & \textcolor[HTML]{FF0000}{67} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{38} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{kodkod\_integer\_recalc.pl} & \textcolor[HTML]{FF0000}{23} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{8} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{kodkod\_printer.pl} & \textcolor[HTML]{FF0000}{121} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{43} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{kodkod\_process.pl} & \textcolor[HTML]{FF0000}{65} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{44} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{kodkod\_rewrite.pl} & \textcolor[HTML]{FF0000}{26} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{kodkod\_test.pl} & \textcolor[HTML]{FF0000}{50} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{39} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{kodkod\_tools.pl} & \textcolor[HTML]{FF0000}{27} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{18} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{kodkod\_translate.pl} & \textcolor[HTML]{FF0000}{154} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{46} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{kodkod\_typing.pl} & \textcolor[HTML]{FF0000}{85} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{25} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\end{longtable}
ltl
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{873} & \textbf{0} & \textbf{22} & \textbf{0.0} & \textbf{373} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\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}{69} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{29} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{ltl.pl} & \textcolor[HTML]{FF0000}{146} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{81} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\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}{32} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{ltl\_propositions.pl} & \textcolor[HTML]{FF0000}{63} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \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}{151} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3} & \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}{ltl\_translate.pl} & \textcolor[HTML]{FF0000}{62} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{12} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{ltl\_verification.pl} & \textcolor[HTML]{FF0000}{70} & \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}{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{340} & \textbf{0} & \textbf{3} & \textbf{0.0} & \textbf{182} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\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}{predicate\_debugger.pl} & \textcolor[HTML]{FF0000}{117} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \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}{predicate\_evaluator.pl} & \textcolor[HTML]{FF0000}{87} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \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}{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{359} & \textbf{0} & \textbf{2} & \textbf{0.0} & \textbf{218} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{model\_checker.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
\textcolor[HTML]{FF0000}{pge\_algo.pl} & \textcolor[HTML]{FF0000}{62} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{41} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{ample\_sets.pl} & \textcolor[HTML]{FF0000}{84} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{64} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{b\_simplifier.pl} & \textcolor[HTML]{FF0000}{53} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{20} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{dot\_graphs\_static\_analysis.pl} & \textcolor[HTML]{FF0000}{9} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{9} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{enable\_graph.pl} & \textcolor[HTML]{FF0000}{35} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{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{2453} & \textbf{0} & \textbf{20} & \textbf{0.0} & \textbf{1026} & \textbf{0} & \textbf{1} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{M0\_AOO\_mch.pl} & \textcolor[HTML]{FF0000}{31} & \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}{Farmer\_temp.pl} & \textcolor[HTML]{FF0000}{36} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{LOCKR1\_mch.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}{train\_ctx5\_ctx.pl} & \textcolor[HTML]{FF0000}{3} & \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}{counter.pl} & \textcolor[HTML]{FF0000}{8} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{ltsmin\_c\_interface.pl} & \textcolor[HTML]{FF0000}{12} & \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}{myheap.pl} & \textcolor[HTML]{FF0000}{33} & \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}{plspec.pl} & \textcolor[HTML]{FF0000}{122} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{57} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{b\_to\_cnf.pl} & \textcolor[HTML]{FF0000}{22} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2} & \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}{avl\_tools.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}{avl\_ugraphs.pl} & \textcolor[HTML]{FF0000}{10} & \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}{b\_arithmetic\_expressions.pl} & \textcolor[HTML]{FF0000}{8} & \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}{b\_expression\_sharing.pl} & \textcolor[HTML]{FF0000}{334} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{7} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{126} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{chr\_integer\_inequality.pl} & \textcolor[HTML]{FF0000}{31} & \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}{chr\_set\_membership.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
\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}{enabling\_analysis.pl} & \textcolor[HTML]{FF0000}{134} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2} & \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}{hit\_profiler.pl} & \textcolor[HTML]{FF0000}{30} & \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}{input\_syntax\_tree.pl} & \textcolor[HTML]{FF0000}{54} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{20} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{partition\_detection.pl} & \textcolor[HTML]{FF0000}{22} & \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}{performance\_messages.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
\textcolor[HTML]{FF0000}{prob2\_interface.pl} & \textcolor[HTML]{FF0000}{278} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{180} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{prob\_socketserver.pl} & \textcolor[HTML]{FF0000}{45} & \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}{b\_ast\_cleanup\_rewrite\_rules.pl} & \textcolor[HTML]{FF0000}{15} & \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}{rewrite\_rules\_db.pl} & \textcolor[HTML]{FF0000}{29} & \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}{runtime\_profiler.pl} & \textcolor[HTML]{FF0000}{7} & \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}{state\_space\_reduction.pl} & \textcolor[HTML]{FF0000}{79} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{57} & \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}{logging.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}{symmetry\_reduction.pl} & \textcolor[HTML]{FF0000}{21} & \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}{synthesis\_util.pl} & \textcolor[HTML]{FF0000}{255} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{127} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{table\_tools.pl} & \textcolor[HTML]{FF0000}{70} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{30} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\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
\textcolor[HTML]{FF0000}{tools\_commands.pl} & \textcolor[HTML]{FF0000}{24} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \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}{typing\_tools.pl} & \textcolor[HTML]{FF0000}{57} & \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}{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}
pltables
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{84} & \textbf{0} & \textbf{0} & \textbf{0.0} & \textbf{60} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{pltables.pl} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{pltables\_export.pl} & \textcolor[HTML]{FF0000}{20} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{16} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{pltables\_export\_csv.pl} & \textcolor[HTML]{FF0000}{13} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{10} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{pltables\_export\_html.pl} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{8} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{pltables\_export\_latex.pl} & \textcolor[HTML]{FF0000}{21} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{pltables\_export\_tools.pl} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{pltables\_export\_xml.pl} & \textcolor[HTML]{FF0000}{13} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{10} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\end{longtable}
plugin
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{6} & \textbf{0} & \textbf{0} & \textbf{0.0} & \textbf{6} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{testaddon.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
\end{longtable}
plugin\_absint
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{175} & \textbf{0} & \textbf{7} & \textbf{0.0} & \textbf{92} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{absint.pl} & \textcolor[HTML]{FF0000}{16} & \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}{b\_abstract\_interpreter.pl} & \textcolor[HTML]{FF0000}{34} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{13} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{b\_abstract\_interpreter\_helpers.pl} & \textcolor[HTML]{FF0000}{32} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{20} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{b\_abstract\_mappings.pl} & \textcolor[HTML]{FF0000}{19} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3} & \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}{interval.pl} & \textcolor[HTML]{FF0000}{74} & \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
\end{longtable}
plugin\_units
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{458} & \textbf{0} & \textbf{14} & \textbf{0.0} & \textbf{132} & \textbf{0} & \textbf{2} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{unit\_parser.pl} & \textcolor[HTML]{FF0000}{22} & \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}{units.pl} & \textcolor[HTML]{FF0000}{41} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{7} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{25} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{units\_alias.pl} & \textcolor[HTML]{FF0000}{18} & \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}{units\_conversions.pl} & \textcolor[HTML]{FF0000}{6} & \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}{units\_domain.pl} & \textcolor[HTML]{FF0000}{79} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \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}{units\_interpreter.pl} & \textcolor[HTML]{FF0000}{159} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3} & \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}{units\_interpreter\_helpers.pl} & \textcolor[HTML]{FF0000}{68} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3} & \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}{units\_prettyprint.pl} & \textcolor[HTML]{FF0000}{38} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \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}{units\_tools.pl} & \textcolor[HTML]{FF0000}{27} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\end{longtable}
plugin\_xtl
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{14} & \textbf{0} & \textbf{0} & \textbf{0.0} & \textbf{12} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{xtl.pl} & \textcolor[HTML]{FF0000}{13} & \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}{xtl\_program.pl} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\end{longtable}
promela
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{247} & \textbf{0} & \textbf{0} & \textbf{0.0} & \textbf{87} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{h\_int.pl} & \textcolor[HTML]{FF0000}{213} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \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}{promela\_ncprinter.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}{promela\_tools.pl} & \textcolor[HTML]{FF0000}{14} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\end{longtable}
proz
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{1345} & \textbf{0} & \textbf{0} & \textbf{0.0} & \textbf{461} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{kernel\_freetypes.pl} & \textcolor[HTML]{FF0000}{62} & \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}{kernel\_z.pl} & \textcolor[HTML]{FF0000}{15} & \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}{consistencycheck.pl} & \textcolor[HTML]{FF0000}{125} & \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}{dependence.pl} & \textcolor[HTML]{FF0000}{31} & \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}{fuzzfile.pl} & \textcolor[HTML]{FF0000}{44} & \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}{proz.pl} & \textcolor[HTML]{FF0000}{293} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{113} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{schemaexpansion.pl} & \textcolor[HTML]{FF0000}{92} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{40} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{schemavars.pl} & \textcolor[HTML]{FF0000}{23} & \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}{subexpressions.pl} & \textcolor[HTML]{FF0000}{186} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{48} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{z\_tools.pl} & \textcolor[HTML]{FF0000}{34} & \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}{z\_typechecker.pl} & \textcolor[HTML]{FF0000}{264} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{64} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{zenvironment.pl} & \textcolor[HTML]{FF0000}{11} & \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}{zparameters.pl} & \textcolor[HTML]{FF0000}{9} & \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}{ztransformations.pl} & \textcolor[HTML]{FF0000}{156} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{65} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\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{279} & \textbf{0} & \textbf{0} & \textbf{0.0} & \textbf{127} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{eval\_strings.pl} & \textcolor[HTML]{FF0000}{279} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{127} & \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{414} & \textbf{0} & \textbf{4} & \textbf{0.0} & \textbf{121} & \textbf{0} & \textbf{0} & \textbf{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}{188} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3} & \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}{solver\_dispatcher.pl} & \textcolor[HTML]{FF0000}{6} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\end{longtable}
smtlib
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{271} & \textbf{0} & \textbf{0} & \textbf{0.0} & \textbf{91} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{smtlib2\_cli.pl} & \textcolor[HTML]{FF0000}{6} & \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}{smtlib2\_environment.pl} & \textcolor[HTML]{FF0000}{17} & \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}{42} & \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}{smtlib2\_parser.pl} & \textcolor[HTML]{FF0000}{98} & \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}{smtlib2\_translation.pl} & \textcolor[HTML]{FF0000}{108} & \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{275} & \textbf{0} & \textbf{1} & \textbf{0.0} & \textbf{171} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{bmc.pl} & \textcolor[HTML]{FF0000}{23} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{14} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{cbc\_ba.pl} & \textcolor[HTML]{FF0000}{8} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{ctigar.pl} & \textcolor[HTML]{FF0000}{49} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{32} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{ic3.pl} & \textcolor[HTML]{FF0000}{52} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{34} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{kinduction.pl} & \textcolor[HTML]{FF0000}{32} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{19} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{mic\_generation.pl} & \textcolor[HTML]{FF0000}{20} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{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{283} & \textbf{0} & \textbf{1} & \textbf{0.0} & \textbf{116} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{graphiso.pl} & \textcolor[HTML]{FF0000}{11} & \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}{graph\_canon.pl} & \textcolor[HTML]{FF0000}{86} & \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}{graph\_iso\_nauty.pl} & \textcolor[HTML]{FF0000}{62} & \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}{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
\textcolor[HTML]{FF0000}{symmetry\_marker.pl} & \textcolor[HTML]{FF0000}{92} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \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}
synthesis
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{413} & \textbf{0} & \textbf{0} & \textbf{0.0} & \textbf{163} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{b\_synthesis.pl} & \textcolor[HTML]{FF0000}{80} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{41} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{constraints.pl} & \textcolor[HTML]{FF0000}{203} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{87} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{library\_setup.pl} & \textcolor[HTML]{FF0000}{106} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \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}{location\_vars\_to\_program.pl} & \textcolor[HTML]{FF0000}{24} & \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
\end{longtable}
tcltk
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{42} & \textbf{0} & \textbf{0} & \textbf{0.0} & \textbf{18} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{prologTasks.pl} & \textcolor[HTML]{FF0000}{15} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{7} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{tcltk\_tree\_inspector.pl} & \textcolor[HTML]{FF0000}{27} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\end{longtable}
test\_generation
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{378} & \textbf{0} & \textbf{3} & \textbf{0.0} & \textbf{240} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{mcdc\_coverage.pl} & \textcolor[HTML]{FF0000}{59} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{22} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{sap.pl} & \textcolor[HTML]{FF0000}{319} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{218} & \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{450} & \textbf{0} & \textbf{0} & \textbf{0.0} & \textbf{170} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{b\_trace\_checking.pl} & \textcolor[HTML]{FF0000}{94} & \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}{test\_runner.pl} & \textcolor[HTML]{FF0000}{241} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{106} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{typechecker.pl} & \textcolor[HTML]{FF0000}{115} & \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}
tools
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{1723} & \textbf{0} & \textbf{6} & \textbf{0.0} & \textbf{495} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{fdr\_csp\_generator.pl} & \textcolor[HTML]{FF0000}{72} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{39} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{gensym.pl} & \textcolor[HTML]{FF0000}{11} & \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}{pref\_definitions.pl} & \textcolor[HTML]{FF0000}{22} & \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}{static\_ordering.pl} & \textcolor[HTML]{FF0000}{12} & \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}{system\_call.pl} & \textcolor[HTML]{FF0000}{13} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{12} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{translate.pl} & \textcolor[HTML]{FF0000}{1455} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{411} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{translate\_keywords.pl} & \textcolor[HTML]{FF0000}{138} & \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
\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{3271} & \textbf{0} & \textbf{39} & \textbf{0.0} & \textbf{1466} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{b\_ast\_cleanup.pl} & \textcolor[HTML]{FF0000}{569} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{194} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{b\_read\_write\_info.pl} & \textcolor[HTML]{FF0000}{135} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{67} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{bmachine\_construction.pl} & \textcolor[HTML]{FF0000}{450} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{6} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{284} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{bmachine\_eventb.pl} & \textcolor[HTML]{FF0000}{455} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{273} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{bmachine\_static\_checks.pl} & \textcolor[HTML]{FF0000}{35} & \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}{bmachine\_structure.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
\textcolor[HTML]{FF0000}{bsyntaxtree.pl} & \textcolor[HTML]{FF0000}{803} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{17} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{254} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{btypechecker.pl} & \textcolor[HTML]{FF0000}{534} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{192} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{parsercall.pl} & \textcolor[HTML]{FF0000}{160} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{8} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{91} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{pragmas.pl} & \textcolor[HTML]{FF0000}{11} & \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}{record\_detection.pl} & \textcolor[HTML]{FF0000}{96} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \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}
\end{document}