\documentclass[a4paper,10pt]{article}
\usepackage{a4wide}
\usepackage{longtable}
\usepackage{xcolor}
\begin{document}
\textbf{Coverage Report (Data Validation Tests, generated 27.8.2017 4:0, commit 6bdf47edd48cb479a5bce616fc5feefe612c7664)} \\\\
analysis
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{820} & \textbf{73} & \textbf{0} & \textbf{8.9} & \textbf{318} & \textbf{39} & \textbf{0} & \textbf{12.3} \\
\hline
b\_machine\_hierarchy.pl & 161 & 29 & 4 & 18.5 & 89 & 25 & 0 & 28.1 \\
\hline
bvisual2.pl & 300 & 44 & 0 & 14.7 & 100 & 14 & 0 & 14.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{946} & \textbf{142} & \textbf{8} & \textbf{15.1} & \textbf{444} & \textbf{101} & \textbf{0} & \textbf{22.7} \\
\hline
b\_operation\_cache.pl & 19 & 2 & 0 & 10.5 & 11 & 2 & 0 & 18.2 \\
\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}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{4.1} & \textcolor[HTML]{FF0000}{34} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{5.9} \\
\hline
hashing.pl & 3 & 2 & 0 & 66.7 & 3 & 2 & 0 & 66.7 \\
\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
specfile.pl & 250 & 47 & 1 & 18.9 & 100 & 34 & 0 & 34.0 \\
\hline
state\_packing.pl & 77 & 40 & 3 & 54.1 & 27 & 16 & 0 & 59.3 \\
\hline
state\_space.pl & 138 & 40 & 0 & 29.0 & 108 & 38 & 0 & 35.2 \\
\hline
\textcolor[HTML]{FF0000}{state\_space\_dijkstra.pl} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{8} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
state\_space\_open\_nodes\_c.pl & 29 & 6 & 3 & 23.1 & 20 & 4 & 0 & 20.0 \\
\hline
\textcolor[HTML]{FF0000}{xtl\_interface.pl} & \textcolor[HTML]{FF0000}{70} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{4.3} & \textcolor[HTML]{FF0000}{30} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{10.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{4} & \textbf{3} & \textbf{1.1} & \textbf{189} & \textbf{3} & \textbf{0} & \textbf{1.6} \\
\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}{4} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{3.1} & \textcolor[HTML]{FF0000}{63} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{4.8} \\
\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{8} & \textbf{0} & \textbf{5.4} & \textbf{120} & \textbf{8} & \textbf{0} & \textbf{6.7} \\
\hline
\textcolor[HTML]{FF0000}{eclipse\_interface.pl} & \textcolor[HTML]{FF0000}{148} & \textcolor[HTML]{FF0000}{8} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{5.4} & \textcolor[HTML]{FF0000}{120} & \textcolor[HTML]{FF0000}{8} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{6.7} \\
\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{37} & \textbf{0} & \textbf{23.0} & \textbf{90} & \textbf{14} & \textbf{0} & \textbf{15.6} \\
\hline
coverage\_term\_expander.pl & 36 & 36 & 0 & 100.0 & 13 & 13 & 0 & 100.0 \\
\hline
\textcolor[HTML]{FF0000}{coverage\_tools.pl} & \textcolor[HTML]{FF0000}{84} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{54} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{prob\_cov.pl} & \textcolor[HTML]{FF0000}{41} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2.4} & \textcolor[HTML]{FF0000}{23} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{4.3} \\
\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{1605} & \textbf{3} & \textbf{55} & \textbf{0.2} & \textbf{588} & \textbf{3} & \textbf{1} & \textbf{0.5} \\
\hline
\textcolor[HTML]{FF0000}{csp\_basic.pl} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{csp\_sequences.pl} & \textcolor[HTML]{FF0000}{58} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{21} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{csp\_sets.pl} & \textcolor[HTML]{FF0000}{268} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{15} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{99} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{csp\_tuples.pl} & \textcolor[HTML]{FF0000}{94} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{37} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{haskell\_csp.pl} & \textcolor[HTML]{FF0000}{726} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{27} & \textcolor[HTML]{FF0000}{0.1} & \textcolor[HTML]{FF0000}{242} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.4} \\
\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}{165} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{1.2} & \textcolor[HTML]{FF0000}{90} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2.2} \\
\hline
\end{longtable}
dot
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{523} & \textbf{12} & \textbf{1} & \textbf{2.3} & \textbf{290} & \textbf{9} & \textbf{0} & \textbf{3.1} \\
\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}{12} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{7.9} & \textcolor[HTML]{FF0000}{99} & \textcolor[HTML]{FF0000}{9} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{9.1} \\
\hline
\textcolor[HTML]{FF0000}{state\_custom\_dot\_graph.pl} & \textcolor[HTML]{FF0000}{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}{120} & \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}
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{1} & \textbf{1} & \textbf{0.2} & \textbf{226} & \textbf{1} & \textbf{0} & \textbf{0.4} \\
\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}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.6} & \textcolor[HTML]{FF0000}{73} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1.4} \\
\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{1} & \textbf{0} & \textbf{3.6} & \textbf{10} & \textbf{1} & \textbf{0} & \textbf{10.0} \\
\hline
\textcolor[HTML]{FF0000}{xml2b.pl} & \textcolor[HTML]{FF0000}{28} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3.6} & \textcolor[HTML]{FF0000}{10} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{10.0} \\
\hline
\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{108} & \textbf{0} & \textbf{0} & \textbf{0.0} & \textbf{58} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{state\_viewer\_images.pl} & \textcolor[HTML]{FF0000}{108} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{58} & \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{6330} & \textbf{3546} & \textbf{31} & \textbf{56.3} & \textbf{1677} & \textbf{629} & \textbf{6} & \textbf{37.6} \\
\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
user\_signal.pl & 12 & 7 & 0 & 58.3 & 9 & 4 & 0 & 44.4 \\
\hline
\textcolor[HTML]{FF0000}{ast\_inspector.pl} & \textcolor[HTML]{FF0000}{24} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{7} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{atelierb\_provers\_interface.pl} & \textcolor[HTML]{FF0000}{16} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{13} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
bmachine.pl & 428 & 240 & 3 & 56.5 & 235 & 147 & 0 & 62.6 \\
\hline
debug.pl & 77 & 23 & 0 & 29.9 & 65 & 19 & 0 & 29.2 \\
\hline
debugging\_calls.pl & 15 & 10 & 0 & 66.7 & 9 & 5 & 0 & 55.6 \\
\hline
debugging\_calls\_te.pl & 4 & 1 & 0 & 25.0 & 4 & 1 & 0 & 25.0 \\
\hline
error\_manager.pl & 202 & 88 & 8 & 45.4 & 131 & 68 & 6 & 54.4 \\
\hline
eventhandling.pl & 24 & 18 & 1 & 78.3 & 9 & 7 & 0 & 77.8 \\
\hline
junit\_tests.pl & 18 & 12 & 1 & 70.6 & 11 & 10 & 0 & 90.9 \\
\hline
logger.pl & 65 & 12 & 1 & 18.8 & 37 & 10 & 0 & 27.0 \\
\hline
module\_information.pl & 6 & 2 & 0 & 33.3 & 5 & 2 & 0 & 40.0 \\
\hline
pathes.pl & 16 & 15 & 0 & 93.8 & 14 & 13 & 0 & 92.9 \\
\hline
plugins.pl & 108 & 58 & 0 & 53.7 & 62 & 27 & 0 & 43.5 \\
\hline
preferences.pl & 1252 & 727 & 0 & 58.1 & 88 & 36 & 0 & 40.9 \\
\hline
prob\_cli.pl & 939 & 200 & 8 & 21.5 & 341 & 117 & 0 & 34.3 \\
\hline
self\_check.pl & 86 & 9 & 0 & 10.5 & 69 & 9 & 0 & 13.0 \\
\hline
state\_space\_exploration\_modes.pl & 57 & 12 & 0 & 21.1 & 25 & 11 & 0 & 44.0 \\
\hline
succeed\_max.pl & 12 & 11 & 0 & 91.7 & 8 & 7 & 0 & 87.5 \\
\hline
tcltk\_interface.pl & 430 & 43 & 4 & 10.1 & 286 & 34 & 0 & 11.9 \\
\hline
testcases.pl & 2030 & 1893 & 0 & 93.3 & 7 & 5 & 0 & 71.4 \\
\hline
tools.pl & 317 & 96 & 5 & 30.8 & 138 & 58 & 0 & 42.0 \\
\hline
tools\_files.pl & 7 & 2 & 0 & 28.6 & 5 & 1 & 0 & 20.0 \\
\hline
tools\_io.pl & 1 & 1 & 0 & 100.0 & 1 & 1 & 0 & 100.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
tools\_meta.pl & 18 & 6 & 0 & 33.3 & 14 & 5 & 0 & 35.7 \\
\hline
tools\_printing.pl & 88 & 27 & 0 & 30.7 & 30 & 9 & 0 & 30.0 \\
\hline
tools\_strings.pl & 33 & 25 & 0 & 75.8 & 16 & 15 & 0 & 93.8 \\
\hline
tools\_timeout.pl & 6 & 4 & 0 & 66.7 & 5 & 4 & 0 & 80.0 \\
\hline
\textcolor[HTML]{FF0000}{user\_interrupts.pl} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
version.pl & 11 & 4 & 0 & 36.4 & 8 & 4 & 0 & 50.0 \\
\hline
\end{longtable}
\textbf{interpreter
}\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{2638} & \textbf{1128} & \textbf{35} & \textbf{43.3} & \textbf{1156} & \textbf{527} & \textbf{0} & \textbf{45.6} \\
\hline
b\_compiler.pl & 235 & 155 & 1 & 66.2 & 58 & 49 & 0 & 84.5 \\
\hline
b\_enumerate.pl & 111 & 86 & 0 & 77.5 & 49 & 42 & 0 & 85.7 \\
\hline
b\_interpreter.pl & 613 & 424 & 16 & 71.0 & 295 & 234 & 0 & 79.3 \\
\hline
b\_interpreter\_check.pl & 377 & 255 & 5 & 68.5 & 104 & 86 & 0 & 82.7 \\
\hline
b\_interpreter\_components.pl & 70 & 54 & 0 & 77.1 & 51 & 40 & 0 & 78.4 \\
\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}{812} & \textcolor[HTML]{FF0000}{34} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{4.2} & \textcolor[HTML]{FF0000}{370} & \textcolor[HTML]{FF0000}{17} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{4.6} \\
\hline
store.pl & 164 & 103 & 1 & 63.2 & 67 & 48 & 0 & 71.6 \\
\hline
\textcolor[HTML]{FF0000}{value\_persistance.pl} & \textcolor[HTML]{FF0000}{181} & \textcolor[HTML]{FF0000}{17} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{9.4} & \textcolor[HTML]{FF0000}{113} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{9.7} \\
\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{4980} & \textbf{2780} & \textbf{78} & \textbf{56.7} & \textbf{2176} & \textbf{1400} & \textbf{2} & \textbf{64.4} \\
\hline
b\_global\_sets.pl & 197 & 99 & 2 & 50.8 & 95 & 57 & 0 & 60.0 \\
\hline
bool\_pred.pl & 29 & 22 & 0 & 75.9 & 20 & 15 & 0 & 75.0 \\
\hline
bsets\_clp.pl & 661 & 332 & 6 & 50.7 & 344 & 191 & 0 & 55.5 \\
\hline
closures.pl & 98 & 49 & 1 & 50.5 & 37 & 32 & 0 & 86.5 \\
\hline
clpfd\_interface.pl & 158 & 79 & 0 & 50.0 & 91 & 52 & 0 & 57.1 \\
\hline
clpfd\_lists.pl & 113 & 53 & 7 & 50.0 & 33 & 22 & 0 & 66.7 \\
\hline
clpfd\_tables.pl & 46 & 31 & 0 & 67.4 & 24 & 19 & 0 & 79.2 \\
\hline
custom\_explicit\_sets.pl & 1303 & 847 & 25 & 66.3 & 536 & 424 & 0 & 79.1 \\
\hline
delay.pl & 32 & 23 & 0 & 71.9 & 23 & 21 & 0 & 91.3 \\
\hline
fd\_utils\_clpfd.pl & 11 & 7 & 0 & 63.6 & 9 & 7 & 0 & 77.8 \\
\hline
inf\_arith.pl & 51 & 7 & 0 & 13.7 & 21 & 5 & 0 & 23.8 \\
\hline
kernel\_dif.pl & 15 & 9 & 0 & 60.0 & 8 & 4 & 0 & 50.0 \\
\hline
kernel\_equality.pl & 166 & 114 & 4 & 70.4 & 74 & 57 & 0 & 77.0 \\
\hline
kernel\_frozen\_info.pl & 17 & 6 & 0 & 35.3 & 6 & 4 & 0 & 66.7 \\
\hline
kernel\_mappings.pl & 401 & 281 & 0 & 70.1 & 91 & 81 & 0 & 89.0 \\
\hline
kernel\_objects.pl & 1091 & 552 & 9 & 51.0 & 516 & 297 & 1 & 57.7 \\
\hline
kernel\_ordering.pl & 41 & 9 & 0 & 22.0 & 15 & 7 & 0 & 46.7 \\
\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}{2} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{2.0} & \textcolor[HTML]{FF0000}{63} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3.2} \\
\hline
kernel\_tools.pl & 234 & 163 & 4 & 70.9 & 36 & 27 & 0 & 75.0 \\
\hline
kernel\_waitflags.pl & 192 & 95 & 19 & 54.9 & 117 & 76 & 1 & 65.5 \\
\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{2} & \textbf{2} & \textbf{0.3} & \textbf{320} & \textbf{1} & \textbf{0} & \textbf{0.3} \\
\hline
\textcolor[HTML]{FF0000}{kodkod.pl} & \textcolor[HTML]{FF0000}{91} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2.2} & \textcolor[HTML]{FF0000}{48} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2.1} \\
\hline
\textcolor[HTML]{FF0000}{kodkod2.pl} & \textcolor[HTML]{FF0000}{67} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{38} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{kodkod\_integer\_recalc.pl} & \textcolor[HTML]{FF0000}{23} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{8} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{kodkod\_printer.pl} & \textcolor[HTML]{FF0000}{121} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{43} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{kodkod\_process.pl} & \textcolor[HTML]{FF0000}{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{24} & \textbf{22} & \textbf{2.8} & \textbf{373} & \textbf{11} & \textbf{0} & \textbf{2.9} \\
\hline
\textcolor[HTML]{FF0000}{ltl2ba.pl} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{ltlc.pl} & \textcolor[HTML]{FF0000}{92} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{31} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{ctl.pl} & \textcolor[HTML]{FF0000}{69} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{1.5} & \textcolor[HTML]{FF0000}{29} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3.4} \\
\hline
\textcolor[HTML]{FF0000}{ltl.pl} & \textcolor[HTML]{FF0000}{146} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0.7} & \textcolor[HTML]{FF0000}{81} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1.2} \\
\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
ltl\_verification.pl & 70 & 22 & 0 & 31.4 & 32 & 9 & 0 & 28.1 \\
\hline
\textcolor[HTML]{FF0000}{safety\_mc.pl} & \textcolor[HTML]{FF0000}{61} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{35} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{state\_space\_explorer.pl} & \textcolor[HTML]{FF0000}{10} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{6} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\end{longtable}
misc
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{339} & \textbf{91} & \textbf{2} & \textbf{27.0} & \textbf{181} & \textbf{57} & \textbf{0} & \textbf{31.5} \\
\hline
b\_show\_history.pl & 39 & 19 & 1 & 50.0 & 24 & 15 & 0 & 62.5 \\
\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
predicate\_debugger.pl & 116 & 24 & 0 & 20.7 & 59 & 11 & 0 & 18.6 \\
\hline
predicate\_evaluator.pl & 86 & 48 & 0 & 55.8 & 48 & 31 & 0 & 64.6 \\
\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{4} & \textbf{2} & \textbf{1.1} & \textbf{218} & \textbf{4} & \textbf{0} & \textbf{1.8} \\
\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}{1} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{1.6} & \textcolor[HTML]{FF0000}{41} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2.4} \\
\hline
\textcolor[HTML]{FF0000}{ample\_sets.pl} & \textcolor[HTML]{FF0000}{84} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3.6} & \textcolor[HTML]{FF0000}{64} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{4.7} \\
\hline
\textcolor[HTML]{FF0000}{b\_simplifier.pl} & \textcolor[HTML]{FF0000}{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{2311} & \textbf{410} & \textbf{15} & \textbf{17.9} & \textbf{976} & \textbf{194} & \textbf{1} & \textbf{19.9} \\
\hline
counter.pl & 8 & 8 & 0 & 100.0 & 4 & 4 & 0 & 100.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
myheap.pl & 33 & 19 & 0 & 57.6 & 14 & 4 & 0 & 28.6 \\
\hline
plspec.pl & 122 & 25 & 0 & 20.5 & 57 & 14 & 0 & 24.6 \\
\hline
b\_to\_cnf.pl & 22 & 2 & 2 & 10.0 & 6 & 1 & 0 & 16.7 \\
\hline
avl\_tools.pl & 23 & 22 & 0 & 95.7 & 14 & 13 & 0 & 92.9 \\
\hline
b\_arithmetic\_expressions.pl & 8 & 7 & 0 & 87.5 & 3 & 3 & 0 & 100.0 \\
\hline
b\_expression\_sharing.pl & 334 & 222 & 2 & 66.9 & 126 & 96 & 0 & 76.2 \\
\hline
\textcolor[HTML]{FF0000}{chr\_integer\_inequality.pl} & \textcolor[HTML]{FF0000}{31} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{6.5} & \textcolor[HTML]{FF0000}{24} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{4.2} \\
\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}{1} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0.8} & \textcolor[HTML]{FF0000}{59} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1.7} \\
\hline
hit\_profiler.pl & 30 & 8 & 0 & 26.7 & 14 & 7 & 0 & 50.0 \\
\hline
input\_syntax\_tree.pl & 54 & 27 & 1 & 50.9 & 20 & 13 & 0 & 65.0 \\
\hline
partition\_detection.pl & 22 & 20 & 0 & 90.9 & 15 & 14 & 0 & 93.3 \\
\hline
\textcolor[HTML]{FF0000}{prob2\_interface.pl} & \textcolor[HTML]{FF0000}{272} & \textcolor[HTML]{FF0000}{10} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{3.7} & \textcolor[HTML]{FF0000}{177} & \textcolor[HTML]{FF0000}{8} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{4.5} \\
\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
b\_ast\_cleanup\_rewrite\_rules.pl & 15 & 9 & 0 & 60.0 & 12 & 6 & 0 & 50.0 \\
\hline
\textcolor[HTML]{FF0000}{rewrite\_rules\_db.pl} & \textcolor[HTML]{FF0000}{29} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{6.9} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{50.0} \\
\hline
runtime\_profiler.pl & 7 & 2 & 0 & 28.6 & 7 & 2 & 0 & 28.6 \\
\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}{20} & \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}{231} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{114} & \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
typing\_tools.pl & 55 & 24 & 0 & 43.6 & 11 & 6 & 0 & 54.5 \\
\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{1} & \textbf{0} & \textbf{16.7} & \textbf{6} & \textbf{1} & \textbf{0} & \textbf{16.7} \\
\hline
testaddon.pl & 6 & 1 & 0 & 16.7 & 6 & 1 & 0 & 16.7 \\
\hline
\end{longtable}
plugin\_absint
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{175} & \textbf{7} & \textbf{7} & \textbf{4.2} & \textbf{92} & \textbf{6} & \textbf{0} & \textbf{6.5} \\
\hline
absint.pl & 16 & 2 & 0 & 12.5 & 12 & 2 & 0 & 16.7 \\
\hline
\textcolor[HTML]{FF0000}{b\_abstract\_interpreter.pl} & \textcolor[HTML]{FF0000}{34} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{13} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{b\_abstract\_interpreter\_helpers.pl} & \textcolor[HTML]{FF0000}{32} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{20} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
b\_abstract\_mappings.pl & 19 & 5 & 3 & 31.3 & 12 & 4 & 0 & 33.3 \\
\hline
\textcolor[HTML]{FF0000}{interval.pl} & \textcolor[HTML]{FF0000}{74} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{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{9} & \textbf{14} & \textbf{2.0} & \textbf{132} & \textbf{3} & \textbf{2} & \textbf{2.3} \\
\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}{4} & \textcolor[HTML]{FF0000}{7} & \textcolor[HTML]{FF0000}{11.8} & \textcolor[HTML]{FF0000}{25} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{8.7} \\
\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}{5} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{6.3} & \textcolor[HTML]{FF0000}{27} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3.7} \\
\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{1} & \textbf{0} & \textbf{7.1} & \textbf{12} & \textbf{1} & \textbf{0} & \textbf{8.3} \\
\hline
\textcolor[HTML]{FF0000}{xtl.pl} & \textcolor[HTML]{FF0000}{13} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{7.7} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{9.1} \\
\hline
\textcolor[HTML]{FF0000}{xtl\_program.pl} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\end{longtable}
promela
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{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{1342} & \textbf{8} & \textbf{0} & \textbf{0.6} & \textbf{459} & \textbf{4} & \textbf{0} & \textbf{0.9} \\
\hline
\textcolor[HTML]{FF0000}{kernel\_freetypes.pl} & \textcolor[HTML]{FF0000}{62} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3.2} & \textcolor[HTML]{FF0000}{35} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{5.7} \\
\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}{6} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{13.6} & \textcolor[HTML]{FF0000}{25} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{8.0} \\
\hline
\textcolor[HTML]{FF0000}{proz.pl} & \textcolor[HTML]{FF0000}{290} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{111} & \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{280} & \textbf{67} & \textbf{0} & \textbf{23.9} & \textbf{127} & \textbf{42} & \textbf{0} & \textbf{33.1} \\
\hline
eval\_strings.pl & 280 & 67 & 1 & 24.0 & 127 & 42 & 0 & 33.1 \\
\hline
\end{longtable}
smt\_solvers
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{413} & \textbf{2} & \textbf{4} & \textbf{0.5} & \textbf{121} & \textbf{1} & \textbf{0} & \textbf{0.8} \\
\hline
\textcolor[HTML]{FF0000}{ast\_cleanup\_for\_smt.pl} & \textcolor[HTML]{FF0000}{91} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{25} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{model\_translation.pl} & \textcolor[HTML]{FF0000}{77} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{27} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{prob\_state\_predicates.pl} & \textcolor[HTML]{FF0000}{16} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{seq\_rewriter.pl} & \textcolor[HTML]{FF0000}{35} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{12} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{smt\_common\_predicates.pl} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{smt\_solvers\_interface.pl} & \textcolor[HTML]{FF0000}{187} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{1.1} & \textcolor[HTML]{FF0000}{49} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2.0} \\
\hline
\textcolor[HTML]{FF0000}{solver\_dispatcher.pl} & \textcolor[HTML]{FF0000}{6} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\end{longtable}
smtlib
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{271} & \textbf{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{282} & \textbf{12} & \textbf{1} & \textbf{4.3} & \textbf{115} & \textbf{5} & \textbf{0} & \textbf{4.3} \\
\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}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1.2} & \textcolor[HTML]{FF0000}{38} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2.6} \\
\hline
\textcolor[HTML]{FF0000}{graph\_iso\_nauty.pl} & \textcolor[HTML]{FF0000}{61} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1.6} & \textcolor[HTML]{FF0000}{31} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3.2} \\
\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}{10} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{11.0} & \textcolor[HTML]{FF0000}{31} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{9.7} \\
\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{332} & \textbf{0} & \textbf{0} & \textbf{0.0} & \textbf{136} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{b\_synthesis.pl} & \textcolor[HTML]{FF0000}{66} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \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}{constraints.pl} & \textcolor[HTML]{FF0000}{181} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{78} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{library\_setup.pl} & \textcolor[HTML]{FF0000}{61} & \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}{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{1} & \textbf{3} & \textbf{0.3} & \textbf{240} & \textbf{1} & \textbf{0} & \textbf{0.4} \\
\hline
\textcolor[HTML]{FF0000}{mcdc\_coverage.pl} & \textcolor[HTML]{FF0000}{59} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{22} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{sap.pl} & \textcolor[HTML]{FF0000}{319} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0.3} & \textcolor[HTML]{FF0000}{218} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.5} \\
\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{442} & \textbf{88} & \textbf{0} & \textbf{19.9} & \textbf{167} & \textbf{50} & \textbf{0} & \textbf{29.9} \\
\hline
b\_trace\_checking.pl & 94 & 39 & 0 & 41.5 & 38 & 22 & 0 & 57.9 \\
\hline
test\_runner.pl & 233 & 31 & 0 & 13.3 & 103 & 23 & 0 & 22.3 \\
\hline
typechecker.pl & 115 & 18 & 0 & 15.7 & 26 & 5 & 0 & 19.2 \\
\hline
\end{longtable}
tools
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{1721} & \textbf{393} & \textbf{6} & \textbf{22.9} & \textbf{493} & \textbf{161} & \textbf{0} & \textbf{32.7} \\
\hline
\textcolor[HTML]{FF0000}{fdr\_csp\_generator.pl} & \textcolor[HTML]{FF0000}{72} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{39} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
gensym.pl & 10 & 8 & 0 & 80.0 & 8 & 6 & 0 & 75.0 \\
\hline
pref\_definitions.pl & 22 & 15 & 0 & 68.2 & 10 & 8 & 0 & 80.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
system\_call.pl & 12 & 5 & 1 & 45.5 & 11 & 5 & 0 & 45.5 \\
\hline
translate.pl & 1455 & 364 & 5 & 25.1 & 411 & 141 & 0 & 34.3 \\
\hline
\textcolor[HTML]{FF0000}{translate\_keywords.pl} & \textcolor[HTML]{FF0000}{138} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.7} & \textcolor[HTML]{FF0000}{7} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{14.3} \\
\hline
\end{longtable}
typechecker
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{3258} & \textbf{1589} & \textbf{33} & \textbf{49.3} & \textbf{1461} & \textbf{760} & \textbf{0} & \textbf{52.0} \\
\hline
b\_ast\_cleanup.pl & 568 & 372 & 2 & 65.7 & 193 & 143 & 0 & 74.1 \\
\hline
b\_read\_write\_info.pl & 135 & 55 & 2 & 41.4 & 67 & 36 & 0 & 53.7 \\
\hline
bmachine\_construction.pl & 441 & 287 & 6 & 66.0 & 281 & 207 & 0 & 73.7 \\
\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
bmachine\_static\_checks.pl & 35 & 24 & 0 & 68.6 & 21 & 17 & 0 & 81.0 \\
\hline
bmachine\_structure.pl & 23 & 23 & 0 & 100.0 & 17 & 17 & 0 & 100.0 \\
\hline
bsyntaxtree.pl & 803 & 484 & 11 & 61.1 & 254 & 178 & 0 & 70.1 \\
\hline
btypechecker.pl & 531 & 285 & 2 & 53.9 & 191 & 117 & 0 & 61.3 \\
\hline
parsercall.pl & 160 & 53 & 8 & 34.9 & 91 & 40 & 0 & 44.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}{6} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{6.3} & \textcolor[HTML]{FF0000}{68} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{7.4} \\
\hline
\end{longtable}
\end{document}