\documentclass[a4paper,10pt]{article}
\usepackage{a4wide}
\usepackage{longtable}
\usepackage{xcolor}
\begin{document}
\textbf{Coverage Report (Unit Tests, generated 22.4.2023 23:2, commit no revision found)} \\\\
animator
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{476} & \textbf{31} & \textbf{1} & \textbf{6.5} & \textbf{206} & \textbf{27} & \textbf{0} & \textbf{13.1} \\
\hline
b\_operation\_cache.pl & 70 & 7 & 2 & 10.3 & 37 & 5 & 0 & 13.5 \\
\hline
\textcolor[HTML]{FF0000}{specfile.pl} & \textcolor[HTML]{FF0000}{318} & \textcolor[HTML]{FF0000}{20} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{6.3} & \textcolor[HTML]{FF0000}{126} & \textcolor[HTML]{FF0000}{18} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{14.3} \\
\hline
\textcolor[HTML]{FF0000}{state\_space\_dijkstra.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}{xtl\_interface.pl} & \textcolor[HTML]{FF0000}{75} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{5.3} & \textcolor[HTML]{FF0000}{33} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{12.1} \\
\hline
\end{longtable}
ast
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{1300} & \textbf{369} & \textbf{7} & \textbf{28.5} & \textbf{616} & \textbf{221} & \textbf{0} & \textbf{35.9} \\
\hline
\textcolor[HTML]{FF0000}{b\_machine\_hierarchy.pl} & \textcolor[HTML]{FF0000}{232} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{6} & \textcolor[HTML]{FF0000}{0.9} & \textcolor[HTML]{FF0000}{113} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1.8} \\
\hline
b\_operation\_guards.pl & 65 & 10 & 0 & 15.4 & 26 & 7 & 0 & 26.9 \\
\hline
bmachine.pl & 588 & 271 & 7 & 46.6 & 326 & 173 & 0 & 53.1 \\
\hline
bvisual2.pl & 415 & 86 & 0 & 20.7 & 151 & 39 & 0 & 25.8 \\
\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{851} & \textbf{78} & \textbf{14} & \textbf{9.3} & \textbf{426} & \textbf{50} & \textbf{0} & \textbf{11.7} \\
\hline
\textcolor[HTML]{FF0000}{random\_permutations.pl} & \textcolor[HTML]{FF0000}{9} & \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}{softfloat.pl} & \textcolor[HTML]{FF0000}{34} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{b\_state\_model\_check.pl} & \textcolor[HTML]{FF0000}{157} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{83} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{cbc\_path\_solver.pl} & \textcolor[HTML]{FF0000}{40} & \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}{enabling\_analysis.pl} & \textcolor[HTML]{FF0000}{131} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0.8} & \textcolor[HTML]{FF0000}{56} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1.8} \\
\hline
\textcolor[HTML]{FF0000}{disprover.pl} & \textcolor[HTML]{FF0000}{39} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \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}{disprover\_test\_runner.pl} & \textcolor[HTML]{FF0000}{49} & \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}{before\_after\_predicates.pl} & \textcolor[HTML]{FF0000}{60} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2} & \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}{optimizing\_solver.pl} & \textcolor[HTML]{FF0000}{26} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{13} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
unsat\_cores.pl & 119 & 38 & 1 & 32.2 & 63 & 24 & 0 & 38.1 \\
\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
solver\_interface.pl & 94 & 38 & 2 & 41.3 & 38 & 24 & 0 & 63.2 \\
\hline
static\_enabling\_analysis.pl & 7 & 1 & 0 & 14.3 & 4 & 1 & 0 & 25.0 \\
\hline
\textcolor[HTML]{FF0000}{cbc\_refinement\_checks.pl} & \textcolor[HTML]{FF0000}{36} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{23} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\end{longtable}
cdclt
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{1072} & \textbf{0} & \textbf{12} & \textbf{0.0} & \textbf{411} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{cdclt\_pred\_to\_sat.pl} & \textcolor[HTML]{FF0000}{106} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3} & \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}{cdclt\_preprocessing.pl} & \textcolor[HTML]{FF0000}{175} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{48} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{cdclt\_sat\_solver.pl} & \textcolor[HTML]{FF0000}{261} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{10} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{160} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{cdclt\_settings.pl} & \textcolor[HTML]{FF0000}{18} & \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}{cdclt\_solver.pl} & \textcolor[HTML]{FF0000}{104} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \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}{smt\_solver\_benchmarks.pl} & \textcolor[HTML]{FF0000}{408} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{88} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\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{1970} & \textbf{181} & \textbf{18} & \textbf{9.3} & \textbf{872} & \textbf{116} & \textbf{1} & \textbf{13.3} \\
\hline
\textcolor[HTML]{FF0000}{eclipse\_interface.pl} & \textcolor[HTML]{FF0000}{102} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{76} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
prob2\_interface.pl & 491 & 59 & 7 & 12.2 & 308 & 47 & 1 & 15.3 \\
\hline
\textcolor[HTML]{FF0000}{prob\_cli.pl} & \textcolor[HTML]{FF0000}{1315} & \textcolor[HTML]{FF0000}{122} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{9.4} & \textcolor[HTML]{FF0000}{453} & \textcolor[HTML]{FF0000}{69} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{15.2} \\
\hline
\textcolor[HTML]{FF0000}{prob\_socketserver.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
\end{longtable}
coverage\_analysis
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{84} & \textbf{13} & \textbf{0} & \textbf{15.5} & \textbf{54} & \textbf{7} & \textbf{0} & \textbf{13.0} \\
\hline
coverage\_tools.pl & 84 & 13 & 0 & 15.5 & 54 & 7 & 0 & 13.0 \\
\hline
\end{longtable}
csp
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{1619} & \textbf{691} & \textbf{56} & \textbf{44.2} & \textbf{600} & \textbf{330} & \textbf{1} & \textbf{55.1} \\
\hline
csp\_basic.pl & 5 & 5 & 0 & 100.0 & 5 & 5 & 0 & 100.0 \\
\hline
csp\_sequences.pl & 58 & 46 & 3 & 83.6 & 21 & 21 & 0 & 100.0 \\
\hline
csp\_sets.pl & 268 & 173 & 15 & 68.4 & 99 & 82 & 0 & 82.8 \\
\hline
csp\_tuples.pl & 97 & 54 & 3 & 57.4 & 37 & 25 & 0 & 67.6 \\
\hline
haskell\_csp.pl & 724 & 292 & 28 & 42.0 & 244 & 132 & 1 & 54.3 \\
\hline
haskell\_csp\_analyzer.pl & 286 & 110 & 5 & 39.1 & 93 & 56 & 0 & 60.2 \\
\hline
\textcolor[HTML]{FF0000}{refinement\_checker.pl} & \textcolor[HTML]{FF0000}{181} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{6.1} & \textcolor[HTML]{FF0000}{101} & \textcolor[HTML]{FF0000}{9} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{8.9} \\
\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{732} & \textbf{12} & \textbf{1} & \textbf{1.6} & \textbf{401} & \textbf{9} & \textbf{0} & \textbf{2.2} \\
\hline
\textcolor[HTML]{FF0000}{bvisual.pl} & \textcolor[HTML]{FF0000}{152} & \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}{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}{61} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \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}{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\_as\_dot\_graph.pl} & \textcolor[HTML]{FF0000}{56} & \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}{state\_custom\_dot\_graph.pl} & \textcolor[HTML]{FF0000}{60} & \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}{state\_space\_reduction.pl} & \textcolor[HTML]{FF0000}{80} & \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}{visualize\_graph.pl} & \textcolor[HTML]{FF0000}{129} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{69} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\end{longtable}
experimental
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{212} & \textbf{0} & \textbf{0} & \textbf{0.0} & \textbf{130} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{ltsmin.pl} & \textcolor[HTML]{FF0000}{172} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{109} & \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
\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{2245} & \textbf{577} & \textbf{13} & \textbf{25.9} & \textbf{729} & \textbf{110} & \textbf{0} & \textbf{15.1} \\
\hline
\textcolor[HTML]{FF0000}{hit\_profiler.pl} & \textcolor[HTML]{FF0000}{31} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3.2} & \textcolor[HTML]{FF0000}{15} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{6.7} \\
\hline
external\_function\_declarations.pl & 212 & 194 & 1 & 91.9 & 14 & 11 & 0 & 78.6 \\
\hline
external\_functions.pl & 1394 & 254 & 12 & 18.4 & 545 & 73 & 0 & 13.4 \\
\hline
\textcolor[HTML]{FF0000}{avl\_ugraphs.pl} & \textcolor[HTML]{FF0000}{6} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{6} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\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
xml\_prob.pl & 574 & 127 & 0 & 22.1 & 139 & 24 & 0 & 17.3 \\
\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{3890} & \textbf{2148} & \textbf{28} & \textbf{55.6} & \textbf{959} & \textbf{419} & \textbf{6} & \textbf{44.0} \\
\hline
\textcolor[HTML]{FF0000}{probhash.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
user\_signal.pl & 13 & 8 & 0 & 61.5 & 10 & 5 & 0 & 50.0 \\
\hline
\textcolor[HTML]{FF0000}{compile\_time\_flags.pl} & \textcolor[HTML]{FF0000}{9} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
debug.pl & 75 & 9 & 0 & 12.0 & 65 & 7 & 0 & 10.8 \\
\hline
\textcolor[HTML]{FF0000}{debugging\_calls.pl} & \textcolor[HTML]{FF0000}{70} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{4.3} & \textcolor[HTML]{FF0000}{16} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{12.5} \\
\hline
\textcolor[HTML]{FF0000}{debugging\_calls\_te.pl} & \textcolor[HTML]{FF0000}{33} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{6} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
error\_manager.pl & 342 & 131 & 8 & 39.2 & 198 & 99 & 6 & 51.6 \\
\hline
eventhandling.pl & 26 & 25 & 1 & 100.0 & 9 & 9 & 0 & 100.0 \\
\hline
logger.pl & 89 & 17 & 4 & 20.0 & 43 & 14 & 0 & 32.6 \\
\hline
module\_information.pl & 6 & 2 & 0 & 33.3 & 6 & 2 & 0 & 33.3 \\
\hline
pathes.pl & 23 & 20 & 0 & 87.0 & 18 & 17 & 0 & 94.4 \\
\hline
preferences.pl & 1966 & 1563 & 0 & 79.5 & 103 & 47 & 0 & 45.6 \\
\hline
prob\_startup.pl & 1 & 1 & 0 & 100.0 & 1 & 1 & 0 & 100.0 \\
\hline
\textcolor[HTML]{FF0000}{succeed\_max.pl} & \textcolor[HTML]{FF0000}{13} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{7.7} & \textcolor[HTML]{FF0000}{9} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{11.1} \\
\hline
tools.pl & 432 & 171 & 14 & 40.9 & 196 & 108 & 0 & 55.1 \\
\hline
\textcolor[HTML]{FF0000}{tools\_commands.pl} & \textcolor[HTML]{FF0000}{39} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{19} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
tools\_fastread.pl & 118 & 39 & 0 & 33.1 & 39 & 22 & 0 & 56.4 \\
\hline
tools\_files.pl & 9 & 2 & 0 & 22.2 & 6 & 1 & 0 & 16.7 \\
\hline
\textcolor[HTML]{FF0000}{tools\_io.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
tools\_lists.pl & 28 & 14 & 0 & 50.0 & 17 & 8 & 0 & 47.1 \\
\hline
tools\_matching.pl & 180 & 25 & 0 & 13.9 & 19 & 6 & 0 & 31.6 \\
\hline
tools\_meta.pl & 23 & 8 & 0 & 34.8 & 16 & 6 & 0 & 37.5 \\
\hline
tools\_portability.pl & 14 & 4 & 0 & 28.6 & 10 & 4 & 0 & 40.0 \\
\hline
\textcolor[HTML]{FF0000}{tools\_positions.pl} & \textcolor[HTML]{FF0000}{23} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{4.3} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{20.0} \\
\hline
tools\_printing.pl & 214 & 45 & 0 & 21.0 & 65 & 21 & 0 & 32.3 \\
\hline
tools\_strings.pl & 98 & 48 & 0 & 49.0 & 45 & 27 & 0 & 60.0 \\
\hline
tools\_timeout.pl & 7 & 5 & 0 & 71.4 & 5 & 5 & 0 & 100.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 & 12 & 6 & 0 & 50.0 & 9 & 6 & 0 & 66.7 \\
\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{2180} & \textbf{611} & \textbf{32} & \textbf{28.4} & \textbf{912} & \textbf{329} & \textbf{0} & \textbf{36.1} \\
\hline
b\_compiler.pl & 261 & 62 & 0 & 23.8 & 72 & 27 & 0 & 37.5 \\
\hline
b\_enumerate.pl & 121 & 76 & 3 & 64.4 & 52 & 41 & 0 & 78.8 \\
\hline
b\_interpreter.pl & 694 & 167 & 13 & 24.5 & 333 & 87 & 0 & 26.1 \\
\hline
b\_interpreter\_check.pl & 473 & 183 & 8 & 39.4 & 131 & 87 & 0 & 66.4 \\
\hline
b\_interpreter\_components.pl & 95 & 49 & 0 & 51.6 & 69 & 37 & 0 & 53.6 \\
\hline
\textcolor[HTML]{FF0000}{b\_interpreter\_eventb.pl} & \textcolor[HTML]{FF0000}{79} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{52} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
store.pl & 210 & 64 & 6 & 31.4 & 81 & 43 & 0 & 53.1 \\
\hline
\textcolor[HTML]{FF0000}{value\_persistance.pl} & \textcolor[HTML]{FF0000}{247} & \textcolor[HTML]{FF0000}{10} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{4.0} & \textcolor[HTML]{FF0000}{122} & \textcolor[HTML]{FF0000}{7} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{5.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{6872} & \textbf{4367} & \textbf{113} & \textbf{64.6} & \textbf{3100} & \textbf{2241} & \textbf{3} & \textbf{72.4} \\
\hline
avl\_tools.pl & 47 & 41 & 4 & 95.3 & 27 & 27 & 0 & 100.0 \\
\hline
b\_global\_sets.pl & 270 & 92 & 5 & 34.7 & 136 & 71 & 0 & 52.2 \\
\hline
bool\_pred.pl & 28 & 26 & 0 & 92.9 & 20 & 19 & 0 & 95.0 \\
\hline
bsets\_clp.pl & 783 & 695 & 7 & 89.6 & 398 & 368 & 0 & 92.5 \\
\hline
chr\_integer\_inequality.pl & 460 & 127 & 0 & 27.6 & 257 & 80 & 0 & 31.1 \\
\hline
\textcolor[HTML]{FF0000}{chr\_set\_membership.pl} & \textcolor[HTML]{FF0000}{144} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.7} & \textcolor[HTML]{FF0000}{88} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1.1} \\
\hline
closures.pl & 121 & 57 & 2 & 47.9 & 55 & 41 & 0 & 74.5 \\
\hline
clpfd\_interface.pl & 187 & 111 & 2 & 60.0 & 102 & 69 & 0 & 67.6 \\
\hline
clpfd\_lists.pl & 124 & 77 & 8 & 66.4 & 37 & 33 & 0 & 89.2 \\
\hline
clpfd\_tables.pl & 47 & 43 & 0 & 91.5 & 24 & 24 & 0 & 100.0 \\
\hline
custom\_explicit\_sets.pl & 1515 & 988 & 38 & 66.9 & 609 & 486 & 0 & 79.8 \\
\hline
delay.pl & 29 & 12 & 0 & 41.4 & 19 & 11 & 0 & 57.9 \\
\hline
fd\_utils\_clpfd.pl & 12 & 7 & 0 & 58.3 & 9 & 7 & 0 & 77.8 \\
\hline
inf\_arith.pl & 51 & 49 & 0 & 96.1 & 21 & 20 & 0 & 95.2 \\
\hline
kernel\_cardinality\_attr.pl & 49 & 36 & 0 & 73.5 & 25 & 19 & 0 & 76.0 \\
\hline
kernel\_dif.pl & 11 & 10 & 0 & 90.9 & 5 & 5 & 0 & 100.0 \\
\hline
kernel\_equality.pl & 199 & 172 & 5 & 88.7 & 90 & 83 & 0 & 92.2 \\
\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\_lists.pl} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
kernel\_mappings.pl & 459 & 306 & 0 & 66.7 & 101 & 66 & 0 & 65.3 \\
\hline
kernel\_non\_empty\_attr.pl & 11 & 9 & 0 & 81.8 & 6 & 5 & 0 & 83.3 \\
\hline
kernel\_objects.pl & 1225 & 1000 & 11 & 82.4 & 573 & 510 & 1 & 89.2 \\
\hline
\textcolor[HTML]{FF0000}{kernel\_ordering.pl} & \textcolor[HTML]{FF0000}{41} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{7.3} & \textcolor[HTML]{FF0000}{15} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{13.3} \\
\hline
kernel\_propagation.pl & 4 & 2 & 0 & 50.0 & 3 & 2 & 0 & 66.7 \\
\hline
\textcolor[HTML]{FF0000}{kernel\_reals.pl} & \textcolor[HTML]{FF0000}{47} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2.1} & \textcolor[HTML]{FF0000}{43} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2.3} \\
\hline
kernel\_records.pl & 25 & 20 & 3 & 90.9 & 18 & 16 & 0 & 88.9 \\
\hline
kernel\_strings.pl & 195 & 140 & 2 & 72.5 & 97 & 97 & 0 & 100.0 \\
\hline
kernel\_tools.pl & 311 & 165 & 6 & 54.1 & 54 & 42 & 0 & 77.8 \\
\hline
kernel\_waitflags.pl & 338 & 170 & 23 & 54.0 & 193 & 130 & 2 & 68.1 \\
\hline
\textcolor[HTML]{FF0000}{memoization.pl} & \textcolor[HTML]{FF0000}{94} & \textcolor[HTML]{FF0000}{7} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{7.4} & \textcolor[HTML]{FF0000}{54} & \textcolor[HTML]{FF0000}{6} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{11.1} \\
\hline
\textcolor[HTML]{FF0000}{static\_symmetry\_reduction.pl} & \textcolor[HTML]{FF0000}{24} & \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
\end{longtable}
kodkod
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{1098} & \textbf{12} & \textbf{2} & \textbf{1.1} & \textbf{448} & \textbf{9} & \textbf{0} & \textbf{2.0} \\
\hline
interval\_calc.pl & 8 & 5 & 0 & 62.5 & 6 & 3 & 0 & 50.0 \\
\hline
\textcolor[HTML]{FF0000}{kodkod.pl} & \textcolor[HTML]{FF0000}{73} & \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}{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\_annotator.pl} & \textcolor[HTML]{FF0000}{31} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{8} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
kodkod\_integer\_recalc.pl & 23 & 4 & 0 & 17.4 & 8 & 4 & 0 & 50.0 \\
\hline
\textcolor[HTML]{FF0000}{kodkod\_printer.pl} & \textcolor[HTML]{FF0000}{121} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{43} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{kodkod\_process.pl} & \textcolor[HTML]{FF0000}{69} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{45} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{kodkod\_rewrite.pl} & \textcolor[HTML]{FF0000}{28} & \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}{163} & \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}{kodkod\_typing.pl} & \textcolor[HTML]{FF0000}{83} & \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}{predicate\_analysis.pl} & \textcolor[HTML]{FF0000}{355} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.8} & \textcolor[HTML]{FF0000}{124} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1.6} \\
\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{1021} & \textbf{161} & \textbf{28} & \textbf{16.2} & \textbf{407} & \textbf{48} & \textbf{0} & \textbf{11.8} \\
\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}{93} & \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}{82} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{1.3} & \textcolor[HTML]{FF0000}{36} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2.8} \\
\hline
\textcolor[HTML]{FF0000}{ltl.pl} & \textcolor[HTML]{FF0000}{132} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{3.1} & \textcolor[HTML]{FF0000}{74} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{5.4} \\
\hline
\textcolor[HTML]{FF0000}{ltl\_fairness.pl} & \textcolor[HTML]{FF0000}{56} & \textcolor[HTML]{FF0000}{7} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{13.2} & \textcolor[HTML]{FF0000}{31} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{9.7} \\
\hline
ltl\_propositions.pl & 105 & 12 & 3 & 11.8 & 36 & 8 & 0 & 22.2 \\
\hline
ltl\_safety.pl & 131 & 47 & 3 & 36.7 & 33 & 6 & 0 & 18.2 \\
\hline
ltl\_tools.pl & 165 & 28 & 7 & 17.7 & 65 & 9 & 0 & 13.8 \\
\hline
ltl\_translate.pl & 90 & 36 & 0 & 40.0 & 14 & 7 & 0 & 50.0 \\
\hline
ltl\_verification.pl & 75 & 26 & 0 & 34.7 & 33 & 10 & 0 & 30.3 \\
\hline
\textcolor[HTML]{FF0000}{safety\_mc.pl} & \textcolor[HTML]{FF0000}{64} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{4} & \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}{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
\textcolor[HTML]{FF0000}{trace\_generator.pl} & \textcolor[HTML]{FF0000}{13} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{9} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\end{longtable}
misc
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{461} & \textbf{0} & \textbf{1} & \textbf{0.0} & \textbf{180} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{b\_show\_history.pl} & \textcolor[HTML]{FF0000}{40} & \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}{coverage\_statistics.pl} & \textcolor[HTML]{FF0000}{109} & \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}{predicate\_debugger.pl} & \textcolor[HTML]{FF0000}{54} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{36} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{predicate\_evaluator.pl} & \textcolor[HTML]{FF0000}{93} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{52} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{subtree\_compare.pl} & \textcolor[HTML]{FF0000}{165} & \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
\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{395} & \textbf{17} & \textbf{2} & \textbf{4.3} & \textbf{220} & \textbf{9} & \textbf{0} & \textbf{4.1} \\
\hline
\textcolor[HTML]{FF0000}{model\_checker.pl} & \textcolor[HTML]{FF0000}{50} & \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}{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}{79} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3.8} & \textcolor[HTML]{FF0000}{61} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{4.9} \\
\hline
\textcolor[HTML]{FF0000}{b\_simplifier.pl} & \textcolor[HTML]{FF0000}{90} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{24} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\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
enable\_graph.pl & 31 & 13 & 0 & 41.9 & 19 & 5 & 0 & 26.3 \\
\hline
\textcolor[HTML]{FF0000}{enabling\_predicates.pl} & \textcolor[HTML]{FF0000}{31} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{16} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{static\_analysis.pl} & \textcolor[HTML]{FF0000}{43} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{29} & \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{2490} & \textbf{112} & \textbf{6} & \textbf{4.5} & \textbf{909} & \textbf{51} & \textbf{1} & \textbf{5.6} \\
\hline
\textcolor[HTML]{FF0000}{bliss\_interface.pl} & \textcolor[HTML]{FF0000}{28} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{19} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
counter.pl & 10 & 7 & 0 & 70.0 & 5 & 3 & 0 & 60.0 \\
\hline
\textcolor[HTML]{FF0000}{ltsmin\_c\_interface.pl} & \textcolor[HTML]{FF0000}{14} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{ltsmin\_trace.pl} & \textcolor[HTML]{FF0000}{16} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{12} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{msg\_interop.pl} & \textcolor[HTML]{FF0000}{42} & \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
myheap.pl & 30 & 17 & 0 & 56.7 & 13 & 4 & 0 & 30.8 \\
\hline
plspec.pl & 49 & 10 & 0 & 20.4 & 31 & 10 & 0 & 32.3 \\
\hline
plspec\_core.pl & 14 & 12 & 0 & 85.7 & 6 & 4 & 0 & 66.7 \\
\hline
plspec\_logger.pl & 18 & 3 & 0 & 16.7 & 8 & 2 & 0 & 25.0 \\
\hline
\textcolor[HTML]{FF0000}{prettyprinter.pl} & \textcolor[HTML]{FF0000}{31} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{9} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{validator.pl} & \textcolor[HTML]{FF0000}{58} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{6.9} & \textcolor[HTML]{FF0000}{26} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3.8} \\
\hline
\textcolor[HTML]{FF0000}{regexp.pl} & \textcolor[HTML]{FF0000}{36} & \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
b\_to\_cnf.pl & 22 & 2 & 2 & 10.0 & 6 & 1 & 0 & 16.7 \\
\hline
\textcolor[HTML]{FF0000}{alloy2b.pl} & \textcolor[HTML]{FF0000}{682} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{188} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
b\_arithmetic\_expressions.pl & 8 & 4 & 0 & 50.0 & 3 & 3 & 0 & 100.0 \\
\hline
\textcolor[HTML]{FF0000}{ast\_to\_difference\_logic.pl} & \textcolor[HTML]{FF0000}{64} & \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}{difference\_logic\_solver.pl} & \textcolor[HTML]{FF0000}{120} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{53} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{sat\_symmetry\_breaking.pl} & \textcolor[HTML]{FF0000}{50} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{25} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{smt\_symmetry\_breaking.pl} & \textcolor[HTML]{FF0000}{128} & \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}{unique\_quantified\_identifiers.pl} & \textcolor[HTML]{FF0000}{45} & \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}{code2vec.pl} & \textcolor[HTML]{FF0000}{28} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{14} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{coverage\_tools\_annotations.pl} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{100.0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{external\_functions\_reals.pl} & \textcolor[HTML]{FF0000}{78} & \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}{external\_functions\_svg.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}{json\_parser.pl} & \textcolor[HTML]{FF0000}{108} & \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}{pathes\_extensions\_db.pl} & \textcolor[HTML]{FF0000}{262} & \textcolor[HTML]{FF0000}{23} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{8.8} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{18.2} \\
\hline
\textcolor[HTML]{FF0000}{ground\_truth.pl} & \textcolor[HTML]{FF0000}{100} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{30} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{predicate\_data\_generator.pl} & \textcolor[HTML]{FF0000}{69} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{28} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{logging.pl} & \textcolor[HTML]{FF0000}{41} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{9} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{synthesis\_util.pl} & \textcolor[HTML]{FF0000}{280} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{139} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
test\_typechecker.pl & 25 & 24 & 0 & 96.0 & 16 & 15 & 0 & 93.8 \\
\hline
prob\_cov\_runner.pl & 2 & 1 & 0 & 50.0 & 2 & 1 & 0 & 50.0 \\
\hline
\textcolor[HTML]{FF0000}{alloy2b\_benchmarks.pl} & \textcolor[HTML]{FF0000}{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
test\_paths.pl & 5 & 4 & 0 & 80.0 & 5 & 4 & 0 & 80.0 \\
\hline
\end{longtable}
pltables
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{176} & \textbf{20} & \textbf{0} & \textbf{11.4} & \textbf{99} & \textbf{12} & \textbf{0} & \textbf{12.1} \\
\hline
table\_tools.pl & 92 & 16 & 2 & 17.8 & 39 & 9 & 0 & 23.1 \\
\hline
pltables.pl & 4 & 2 & 0 & 50.0 & 4 & 2 & 0 & 50.0 \\
\hline
\textcolor[HTML]{FF0000}{pltables\_export.pl} & \textcolor[HTML]{FF0000}{20} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{16} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{pltables\_export\_csv.pl} & \textcolor[HTML]{FF0000}{13} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{10} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{pltables\_export\_html.pl} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{8} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{pltables\_export\_latex.pl} & \textcolor[HTML]{FF0000}{21} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
pltables\_export\_tools.pl & 2 & 2 & 0 & 100.0 & 1 & 1 & 0 & 100.0 \\
\hline
\textcolor[HTML]{FF0000}{pltables\_export\_xml.pl} & \textcolor[HTML]{FF0000}{13} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{10} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\end{longtable}
profiling
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{49} & \textbf{9} & \textbf{0} & \textbf{18.4} & \textbf{37} & \textbf{5} & \textbf{0} & \textbf{13.5} \\
\hline
performance\_messages.pl & 24 & 7 & 0 & 29.2 & 14 & 4 & 0 & 28.6 \\
\hline
\textcolor[HTML]{FF0000}{runtime\_profiler.pl} & \textcolor[HTML]{FF0000}{19} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{10.5} & \textcolor[HTML]{FF0000}{17} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{5.9} \\
\hline
\textcolor[HTML]{FF0000}{source\_profiler.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}
proz
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{1356} & \textbf{66} & \textbf{0} & \textbf{4.9} & \textbf{467} & \textbf{39} & \textbf{0} & \textbf{8.4} \\
\hline
kernel\_freetypes.pl & 69 & 42 & 0 & 60.9 & 40 & 24 & 0 & 60.0 \\
\hline
kernel\_z.pl & 19 & 18 & 0 & 94.7 & 13 & 13 & 0 & 100.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}{45} & \textcolor[HTML]{FF0000}{6} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{13.3} & \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}{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}{33} & \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}{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{475} & \textbf{111} & \textbf{3} & \textbf{23.5} & \textbf{198} & \textbf{43} & \textbf{0} & \textbf{21.7} \\
\hline
\textcolor[HTML]{FF0000}{eval\_interface.pl} & \textcolor[HTML]{FF0000}{8} & \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
eval\_strings.pl & 467 & 111 & 3 & 23.9 & 193 & 43 & 0 & 22.3 \\
\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{936} & \textbf{2} & \textbf{18} & \textbf{0.2} & \textbf{291} & \textbf{2} & \textbf{0} & \textbf{0.7} \\
\hline
\textcolor[HTML]{FF0000}{cvc4interface.pl} & \textcolor[HTML]{FF0000}{44} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{19} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{z3interface.pl} & \textcolor[HTML]{FF0000}{64} & \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}{atelierb\_provers\_interface.pl} & \textcolor[HTML]{FF0000}{22} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{16} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{ast\_cleanup\_for\_smt.pl} & \textcolor[HTML]{FF0000}{115} & \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}{ast\_optimizer\_for\_smt.pl} & \textcolor[HTML]{FF0000}{113} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2} & \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}{model\_translation.pl} & \textcolor[HTML]{FF0000}{222} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{77} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{prob\_state\_predicates.pl} & \textcolor[HTML]{FF0000}{19} & \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}{seq\_rewriter.pl} & \textcolor[HTML]{FF0000}{37} & \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}{284} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{0.7} & \textcolor[HTML]{FF0000}{79} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2.5} \\
\hline
\textcolor[HTML]{FF0000}{solver\_dispatcher.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
\end{longtable}
smtlib
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{309} & \textbf{0} & \textbf{0} & \textbf{0.0} & \textbf{107} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{smtlib2\_cli.pl} & \textcolor[HTML]{FF0000}{8} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{6} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{smtlib2\_environment.pl} & \textcolor[HTML]{FF0000}{19} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{14} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{smtlib2\_interpreter.pl} & \textcolor[HTML]{FF0000}{55} & \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}{smtlib2\_parser.pl} & \textcolor[HTML]{FF0000}{118} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{45} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{smtlib2\_translation.pl} & \textcolor[HTML]{FF0000}{109} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{25} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\end{longtable}
state\_space
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{459} & \textbf{52} & \textbf{9} & \textbf{11.6} & \textbf{264} & \textbf{43} & \textbf{0} & \textbf{16.3} \\
\hline
hashing.pl & 4 & 4 & 0 & 100.0 & 4 & 4 & 0 & 100.0 \\
\hline
state\_packing.pl & 144 & 18 & 6 & 13.0 & 55 & 12 & 0 & 21.8 \\
\hline
state\_space.pl & 206 & 24 & 0 & 11.7 & 149 & 21 & 0 & 14.1 \\
\hline
\textcolor[HTML]{FF0000}{state\_space\_exploration\_modes.pl} & \textcolor[HTML]{FF0000}{74} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{5.4} & \textcolor[HTML]{FF0000}{34} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{11.8} \\
\hline
\textcolor[HTML]{FF0000}{state\_space\_open\_nodes\_c.pl} & \textcolor[HTML]{FF0000}{31} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{7.1} & \textcolor[HTML]{FF0000}{22} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{9.1} \\
\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{286} & \textbf{0} & \textbf{1} & \textbf{0.0} & \textbf{180} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{bmc.pl} & \textcolor[HTML]{FF0000}{23} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{14} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{ce\_replay.pl} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{ctigar.pl} & \textcolor[HTML]{FF0000}{52} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{34} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{ic3.pl} & \textcolor[HTML]{FF0000}{55} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \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}{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}{55} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{37} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{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{225} & \textbf{38} & \textbf{1} & \textbf{17.0} & \textbf{88} & \textbf{24} & \textbf{0} & \textbf{27.3} \\
\hline
\textcolor[HTML]{FF0000}{graphiso.pl} & \textcolor[HTML]{FF0000}{10} & \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}{state\_graph\_canon.pl} & \textcolor[HTML]{FF0000}{36} & \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}{graph\_iso\_nauty.pl} & \textcolor[HTML]{FF0000}{49} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{4.1} & \textcolor[HTML]{FF0000}{25} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{8.0} \\
\hline
state\_permuter.pl & 32 & 12 & 0 & 37.5 & 10 & 7 & 0 & 70.0 \\
\hline
symmetry\_marker.pl & 98 & 24 & 1 & 24.7 & 31 & 15 & 0 & 48.4 \\
\hline
\end{longtable}
synthesis
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{854} & \textbf{0} & \textbf{0} & \textbf{0.0} & \textbf{282} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{b\_synthesis.pl} & \textcolor[HTML]{FF0000}{118} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{59} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{constraints.pl} & \textcolor[HTML]{FF0000}{239} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{100} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{b\_machine\_identifier\_normalization.pl} & \textcolor[HTML]{FF0000}{257} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{38} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{operation\_data\_generator.pl} & \textcolor[HTML]{FF0000}{42} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{22} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{library\_setup.pl} & \textcolor[HTML]{FF0000}{130} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{31} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{location\_vars\_to\_program.pl} & \textcolor[HTML]{FF0000}{27} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{9} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{symmetry\_reduction.pl} & \textcolor[HTML]{FF0000}{41} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{23} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\end{longtable}
tcltk
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{578} & \textbf{3} & \textbf{0} & \textbf{0.5} & \textbf{371} & \textbf{2} & \textbf{1} & \textbf{0.5} \\
\hline
\textcolor[HTML]{FF0000}{tcltk\_interface.pl} & \textcolor[HTML]{FF0000}{578} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0.5} & \textcolor[HTML]{FF0000}{371} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.5} \\
\hline
\end{longtable}
test\_generation
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{379} & \textbf{1} & \textbf{2} & \textbf{0.3} & \textbf{235} & \textbf{1} & \textbf{0} & \textbf{0.4} \\
\hline
\textcolor[HTML]{FF0000}{sap.pl} & \textcolor[HTML]{FF0000}{308} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0.3} & \textcolor[HTML]{FF0000}{208} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.5} \\
\hline
\textcolor[HTML]{FF0000}{mcdc\_coverage.pl} & \textcolor[HTML]{FF0000}{71} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{27} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\end{longtable}
testing
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{3558} & \textbf{2602} & \textbf{4} & \textbf{73.2} & \textbf{480} & \textbf{105} & \textbf{0} & \textbf{21.9} \\
\hline
\textcolor[HTML]{FF0000}{b\_intelligent\_trace\_replay.pl} & \textcolor[HTML]{FF0000}{172} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{1.8} & \textcolor[HTML]{FF0000}{103} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1.9} \\
\hline
\textcolor[HTML]{FF0000}{b\_trace\_checking.pl} & \textcolor[HTML]{FF0000}{159} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{74} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
junit\_tests.pl & 29 & 21 & 2 & 77.8 & 17 & 16 & 0 & 94.1 \\
\hline
self\_check.pl & 102 & 40 & 0 & 39.2 & 79 & 34 & 0 & 43.0 \\
\hline
typechecker.pl & 124 & 65 & 0 & 52.4 & 26 & 11 & 0 & 42.3 \\
\hline
test\_runner.pl & 383 & 61 & 0 & 15.9 & 172 & 36 & 0 & 20.9 \\
\hline
testcases.pl & 2589 & 2412 & 0 & 93.2 & 9 & 6 & 0 & 66.7 \\
\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{2279} & \textbf{479} & \textbf{18} & \textbf{21.2} & \textbf{657} & \textbf{183} & \textbf{0} & \textbf{27.9} \\
\hline
gensym.pl & 10 & 8 & 0 & 80.0 & 8 & 6 & 0 & 75.0 \\
\hline
pref\_definitions.pl & 38 & 6 & 0 & 15.8 & 17 & 4 & 0 & 23.5 \\
\hline
\textcolor[HTML]{FF0000}{static\_ordering.pl} & \textcolor[HTML]{FF0000}{15} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{8} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
system\_call.pl & 15 & 2 & 1 & 14.3 & 14 & 2 & 0 & 14.3 \\
\hline
translate.pl & 2056 & 462 & 16 & 22.6 & 603 & 170 & 0 & 28.2 \\
\hline
\textcolor[HTML]{FF0000}{translate\_keywords.pl} & \textcolor[HTML]{FF0000}{145} & \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{5367} & \textbf{1852} & \textbf{80} & \textbf{35.0} & \textbf{2202} & \textbf{1017} & \textbf{0} & \textbf{46.2} \\
\hline
b\_ast\_cleanup.pl & 929 & 358 & 3 & 38.7 & 293 & 130 & 0 & 44.4 \\
\hline
b\_enumeration\_order\_analysis.pl & 68 & 29 & 1 & 43.3 & 22 & 18 & 0 & 81.8 \\
\hline
b\_read\_write\_info.pl & 198 & 56 & 2 & 28.6 & 97 & 37 & 0 & 38.1 \\
\hline
bmachine\_construction.pl & 563 & 424 & 11 & 76.8 & 328 & 283 & 0 & 86.3 \\
\hline
\textcolor[HTML]{FF0000}{bmachine\_eventb.pl} & \textcolor[HTML]{FF0000}{560} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0.7} & \textcolor[HTML]{FF0000}{292} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1.0} \\
\hline
bmachine\_static\_checks.pl & 83 & 30 & 0 & 36.1 & 46 & 22 & 0 & 47.8 \\
\hline
bmachine\_structure.pl & 34 & 26 & 2 & 81.3 & 22 & 19 & 0 & 86.4 \\
\hline
bsyntaxtree.pl & 1085 & 405 & 35 & 38.6 & 380 & 210 & 0 & 55.3 \\
\hline
\textcolor[HTML]{FF0000}{bsyntaxtree\_quantifiers.pl} & \textcolor[HTML]{FF0000}{9} & \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
btypechecker.pl & 811 & 282 & 6 & 35.0 & 264 & 141 & 0 & 53.4 \\
\hline
b\_expression\_sharing.pl & 346 & 57 & 7 & 16.8 & 126 & 37 & 0 & 29.4 \\
\hline
input\_syntax\_tree.pl & 55 & 26 & 1 & 48.1 & 21 & 14 & 0 & 66.7 \\
\hline
parsercall.pl & 275 & 111 & 9 & 41.7 & 153 & 77 & 0 & 50.3 \\
\hline
partition\_detection.pl & 28 & 8 & 0 & 28.6 & 17 & 6 & 0 & 35.3 \\
\hline
pathes\_lib.pl & 29 & 5 & 0 & 17.2 & 16 & 4 & 0 & 25.0 \\
\hline
pragmas.pl & 10 & 1 & 0 & 10.0 & 5 & 1 & 0 & 20.0 \\
\hline
\textcolor[HTML]{FF0000}{record\_detection.pl} & \textcolor[HTML]{FF0000}{98} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{5.2} & \textcolor[HTML]{FF0000}{69} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{5.8} \\
\hline
b\_ast\_cleanup\_rewrite\_rules.pl & 29 & 3 & 0 & 10.3 & 13 & 3 & 0 & 23.1 \\
\hline
\textcolor[HTML]{FF0000}{rewrite\_rules\_db.pl} & \textcolor[HTML]{FF0000}{27} & \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
typing\_tools.pl & 130 & 22 & 1 & 17.1 & 28 & 8 & 0 & 28.6 \\
\hline
\end{longtable}
visualization
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{977} & \textbf{32} & \textbf{4} & \textbf{3.3} & \textbf{360} & \textbf{8} & \textbf{0} & \textbf{2.2} \\
\hline
\textcolor[HTML]{FF0000}{graphical\_state\_viewer\_images.pl} & \textcolor[HTML]{FF0000}{148} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{83} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\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}{365} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3} & \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}{visb\_visualiser.pl} & \textcolor[HTML]{FF0000}{353} & \textcolor[HTML]{FF0000}{32} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{9.1} & \textcolor[HTML]{FF0000}{187} & \textcolor[HTML]{FF0000}{8} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{4.3} \\
\hline
\end{longtable}
well\_def\_prover
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{1692} & \textbf{0} & \textbf{15} & \textbf{0.0} & \textbf{338} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{well\_def\_analyser.pl} & \textcolor[HTML]{FF0000}{338} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3} & \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}{well\_def\_hyps.pl} & \textcolor[HTML]{FF0000}{215} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{14} & \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}{well\_def\_prover.pl} & \textcolor[HTML]{FF0000}{977} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{174} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{well\_def\_tools.pl} & \textcolor[HTML]{FF0000}{162} & \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}
zmq
\begin{longtable}{|l|r|r|r|r|r|r|r|r|}
\hline
module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\
\hline
\textbf{summary} & \textbf{49} & \textbf{0} & \textbf{0} & \textbf{0.0} & \textbf{27} & \textbf{0} & \textbf{0} & \textbf{0.0} \\
\hline
\textcolor[HTML]{FF0000}{master.pl} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{worker.pl} & \textcolor[HTML]{FF0000}{29} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{20} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\textcolor[HTML]{FF0000}{zmq.pl} & \textcolor[HTML]{FF0000}{16} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\
\hline
\end{longtable}
\end{document}