\documentclass[a4paper,10pt]{article} \usepackage{a4wide} \usepackage{longtable} \usepackage{xcolor} \begin{document} \textbf{Coverage Report (Regression Tests, generated 13.2.2022 0:56, 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{469} & \textbf{348} & \textbf{1} & \textbf{74.4} & \textbf{202} & \textbf{177} & \textbf{0} & \textbf{87.6} \\ \hline b\_operation\_cache.pl & 67 & 61 & 2 & 93.8 & 35 & 34 & 0 & 97.1 \\ \hline specfile.pl & 317 & 232 & 1 & 73.4 & 125 & 113 & 0 & 90.4 \\ \hline state\_space\_dijkstra.pl & 13 & 9 & 0 & 69.2 & 10 & 7 & 0 & 70.0 \\ \hline xtl\_interface.pl & 72 & 46 & 0 & 63.9 & 32 & 23 & 0 & 71.9 \\ \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{1210} & \textbf{719} & \textbf{5} & \textbf{59.7} & \textbf{581} & \textbf{401} & \textbf{0} & \textbf{69.0} \\ \hline b\_machine\_hierarchy.pl & 213 & 140 & 4 & 67.0 & 106 & 81 & 0 & 76.4 \\ \hline b\_operation\_guards.pl & 64 & 52 & 0 & 81.3 & 26 & 21 & 0 & 80.8 \\ \hline bmachine.pl & 560 & 432 & 5 & 77.8 & 310 & 254 & 0 & 81.9 \\ \hline bvisual2.pl & 373 & 95 & 0 & 25.5 & 139 & 45 & 0 & 32.4 \\ \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{878} & \textbf{500} & \textbf{13} & \textbf{57.8} & \textbf{424} & \textbf{293} & \textbf{0} & \textbf{69.1} \\ \hline random\_permutations.pl & 10 & 10 & 0 & 100.0 & 8 & 8 & 0 & 100.0 \\ \hline \textcolor[HTML]{FF0000}{softfloat.pl} & \textcolor[HTML]{FF0000}{34} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline b\_state\_model\_check.pl & 155 & 112 & 2 & 73.2 & 82 & 59 & 0 & 72.0 \\ \hline cbc\_path\_solver.pl & 32 & 29 & 1 & 93.5 & 21 & 21 & 0 & 100.0 \\ \hline enabling\_analysis.pl & 133 & 66 & 3 & 50.8 & 58 & 38 & 0 & 65.5 \\ \hline disprover.pl & 38 & 24 & 1 & 64.9 & 22 & 15 & 0 & 68.2 \\ \hline disprover\_test\_runner.pl & 114 & 33 & 0 & 28.9 & 51 & 23 & 0 & 45.1 \\ \hline before\_after\_predicates.pl & 58 & 31 & 2 & 55.4 & 30 & 19 & 0 & 63.3 \\ \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 & 102 & 60 & 1 & 59.4 & 52 & 36 & 0 & 69.2 \\ \hline weakest\_preconditions.pl & 50 & 36 & 1 & 73.5 & 21 & 18 & 0 & 85.7 \\ \hline solver\_interface.pl & 83 & 58 & 2 & 71.6 & 35 & 29 & 0 & 82.9 \\ \hline static\_enabling\_analysis.pl & 7 & 6 & 0 & 85.7 & 4 & 4 & 0 & 100.0 \\ \hline cbc\_refinement\_checks.pl & 36 & 35 & 0 & 97.2 & 23 & 23 & 0 & 100.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{1912} & \textbf{672} & \textbf{18} & \textbf{35.5} & \textbf{865} & \textbf{327} & \textbf{3} & \textbf{37.9} \\ \hline eclipse\_interface.pl & 155 & 20 & 3 & 13.2 & 122 & 20 & 2 & 16.7 \\ \hline \textcolor[HTML]{FF0000}{prob2\_interface.pl} & \textcolor[HTML]{FF0000}{470} & \textcolor[HTML]{FF0000}{21} & \textcolor[HTML]{FF0000}{8} & \textcolor[HTML]{FF0000}{4.5} & \textcolor[HTML]{FF0000}{286} & \textcolor[HTML]{FF0000}{17} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{6.0} \\ \hline prob\_cli.pl & 1227 & 630 & 10 & 51.8 & 424 & 289 & 0 & 68.2 \\ \hline \textcolor[HTML]{FF0000}{prob\_socketserver.pl} & \textcolor[HTML]{FF0000}{60} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1.7} & \textcolor[HTML]{FF0000}{33} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3.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{0} & \textbf{0} & \textbf{0.0} & \textbf{54} & \textbf{0} & \textbf{0} & \textbf{0.0} \\ \hline \textcolor[HTML]{FF0000}{coverage\_tools.pl} & \textcolor[HTML]{FF0000}{84} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{54} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \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{1636} & \textbf{1295} & \textbf{54} & \textbf{81.9} & \textbf{608} & \textbf{527} & \textbf{1} & \textbf{86.8} \\ \hline csp\_basic.pl & 5 & 5 & 0 & 100.0 & 5 & 5 & 0 & 100.0 \\ \hline csp\_sequences.pl & 58 & 37 & 3 & 67.3 & 21 & 20 & 0 & 95.2 \\ \hline csp\_sets.pl & 268 & 211 & 15 & 83.4 & 99 & 92 & 0 & 92.9 \\ \hline csp\_tuples.pl & 94 & 80 & 3 & 87.9 & 37 & 33 & 0 & 89.2 \\ \hline haskell\_csp.pl & 725 & 552 & 26 & 79.0 & 246 & 203 & 1 & 82.9 \\ \hline haskell\_csp\_analyzer.pl & 302 & 254 & 5 & 85.5 & 96 & 88 & 0 & 91.7 \\ \hline refinement\_checker.pl & 184 & 156 & 2 & 85.7 & 104 & 86 & 0 & 82.7 \\ \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{712} & \textbf{307} & \textbf{1} & \textbf{43.2} & \textbf{390} & \textbf{189} & \textbf{0} & \textbf{48.5} \\ \hline bvisual.pl & 143 & 105 & 0 & 73.4 & 66 & 63 & 0 & 95.5 \\ \hline \textcolor[HTML]{FF0000}{bvisual\_any\_maxsolver.pl} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline dot\_graph\_generator.pl & 58 & 23 & 0 & 39.7 & 26 & 16 & 0 & 61.5 \\ \hline \textcolor[HTML]{FF0000}{maxsolver.pl} & \textcolor[HTML]{FF0000}{38} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{24} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline reduce\_graph\_state\_space.pl & 151 & 65 & 0 & 43.0 & 99 & 42 & 0 & 42.4 \\ \hline state\_as\_dot\_graph.pl & 56 & 31 & 0 & 55.4 & 22 & 14 & 0 & 63.6 \\ \hline \textcolor[HTML]{FF0000}{state\_custom\_dot\_graph.pl} & \textcolor[HTML]{FF0000}{58} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{25} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline state\_space\_reduction.pl & 74 & 38 & 0 & 51.4 & 55 & 31 & 0 & 56.4 \\ \hline visualize\_graph.pl & 129 & 45 & 0 & 34.9 & 70 & 23 & 0 & 32.9 \\ \hline \end{longtable} dpllt \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{593} & \textbf{373} & \textbf{6} & \textbf{63.5} & \textbf{282} & \textbf{205} & \textbf{0} & \textbf{72.7} \\ \hline dpllt\_pred\_to\_sat.pl & 61 & 47 & 0 & 77.0 & 21 & 19 & 0 & 90.5 \\ \hline dpllt\_preprocessing.pl & 169 & 119 & 1 & 70.8 & 43 & 41 & 0 & 95.3 \\ \hline dpllt\_sat\_solver.pl & 243 & 175 & 5 & 73.5 & 150 & 118 & 0 & 78.7 \\ \hline dpllt\_settings.pl & 16 & 11 & 0 & 68.8 & 16 & 11 & 0 & 68.8 \\ \hline dpllt\_solver.pl & 104 & 21 & 0 & 20.2 & 52 & 16 & 0 & 30.8 \\ \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{2087} & \textbf{1148} & \textbf{12} & \textbf{55.3} & \textbf{677} & \textbf{394} & \textbf{0} & \textbf{58.2} \\ \hline hit\_profiler.pl & 31 & 8 & 0 & 25.8 & 15 & 8 & 0 & 53.3 \\ \hline external\_function\_declarations.pl & 186 & 168 & 1 & 90.8 & 13 & 10 & 0 & 76.9 \\ \hline external\_functions.pl & 1277 & 685 & 11 & 54.1 & 500 & 288 & 0 & 57.6 \\ \hline avl\_ugraphs.pl & 6 & 5 & 0 & 83.3 & 6 & 5 & 0 & 83.3 \\ \hline xml2b.pl & 28 & 20 & 0 & 71.4 & 10 & 10 & 0 & 100.0 \\ \hline xml\_prob.pl & 559 & 262 & 0 & 46.9 & 133 & 73 & 0 & 54.9 \\ \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{3678} & \textbf{2510} & \textbf{24} & \textbf{68.7} & \textbf{899} & \textbf{567} & \textbf{7} & \textbf{63.6} \\ \hline probhash.pl & 12 & 6 & 0 & 50.0 & 10 & 5 & 0 & 50.0 \\ \hline user\_signal.pl & 13 & 10 & 0 & 76.9 & 10 & 7 & 0 & 70.0 \\ \hline compile\_time\_flags.pl & 8 & 2 & 0 & 25.0 & 4 & 2 & 0 & 50.0 \\ \hline debug.pl & 79 & 25 & 0 & 31.6 & 69 & 23 & 0 & 33.3 \\ \hline \textcolor[HTML]{FF0000}{debugging\_calls.pl} & \textcolor[HTML]{FF0000}{23} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{8.7} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{9.1} \\ \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 & 322 & 212 & 5 & 66.9 & 187 & 141 & 6 & 77.9 \\ \hline eventhandling.pl & 26 & 24 & 1 & 96.0 & 9 & 8 & 0 & 88.9 \\ \hline logger.pl & 90 & 40 & 4 & 46.5 & 44 & 27 & 0 & 61.4 \\ \hline module\_information.pl & 7 & 2 & 0 & 28.6 & 6 & 2 & 0 & 33.3 \\ \hline pathes.pl & 22 & 19 & 0 & 86.4 & 17 & 16 & 0 & 94.1 \\ \hline preferences.pl & 1900 & 1495 & 0 & 78.7 & 104 & 51 & 0 & 49.0 \\ \hline prob\_startup.pl & 1 & 1 & 0 & 100.0 & 1 & 1 & 0 & 100.0 \\ \hline succeed\_max.pl & 12 & 11 & 0 & 91.7 & 8 & 8 & 0 & 100.0 \\ \hline tools.pl & 416 & 258 & 13 & 64.0 & 185 & 135 & 1 & 73.4 \\ \hline \textcolor[HTML]{FF0000}{tools\_commands.pl} & \textcolor[HTML]{FF0000}{36} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{16} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline tools\_fastread.pl & 117 & 43 & 0 & 36.8 & 38 & 21 & 0 & 55.3 \\ \hline tools\_files.pl & 9 & 8 & 0 & 88.9 & 6 & 6 & 0 & 100.0 \\ \hline tools\_io.pl & 7 & 1 & 0 & 14.3 & 3 & 1 & 0 & 33.3 \\ \hline tools\_lists.pl & 15 & 13 & 0 & 86.7 & 10 & 8 & 0 & 80.0 \\ \hline tools\_matching.pl & 177 & 165 & 0 & 93.2 & 16 & 15 & 0 & 93.8 \\ \hline tools\_meta.pl & 22 & 12 & 0 & 54.5 & 15 & 7 & 0 & 46.7 \\ \hline tools\_portability.pl & 14 & 4 & 0 & 28.6 & 10 & 4 & 0 & 40.0 \\ \hline tools\_positions.pl & 19 & 10 & 0 & 52.6 & 5 & 4 & 0 & 80.0 \\ \hline tools\_printing.pl & 189 & 70 & 0 & 37.0 & 54 & 29 & 0 & 53.7 \\ \hline tools\_strings.pl & 88 & 65 & 0 & 73.9 & 38 & 34 & 0 & 89.5 \\ \hline tools\_timeout.pl & 6 & 5 & 0 & 83.3 & 5 & 4 & 0 & 80.0 \\ \hline user\_interrupts.pl & 4 & 1 & 0 & 25.0 & 4 & 1 & 0 & 25.0 \\ \hline version.pl & 11 & 6 & 0 & 54.5 & 8 & 6 & 0 & 75.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{2076} & \textbf{1831} & \textbf{35} & \textbf{89.7} & \textbf{868} & \textbf{818} & \textbf{0} & \textbf{94.2} \\ \hline b\_compiler.pl & 247 & 218 & 3 & 89.3 & 67 & 60 & 0 & 89.6 \\ \hline b\_enumerate.pl & 115 & 106 & 3 & 94.6 & 50 & 49 & 0 & 98.0 \\ \hline b\_interpreter.pl & 682 & 594 & 15 & 89.1 & 327 & 304 & 0 & 93.0 \\ \hline b\_interpreter\_check.pl & 440 & 400 & 8 & 92.6 & 117 & 115 & 0 & 98.3 \\ \hline b\_interpreter\_components.pl & 83 & 81 & 0 & 97.6 & 62 & 61 & 0 & 98.4 \\ \hline b\_interpreter\_eventb.pl & 79 & 77 & 2 & 100.0 & 52 & 52 & 0 & 100.0 \\ \hline store.pl & 202 & 154 & 7 & 79.0 & 77 & 70 & 0 & 90.9 \\ \hline value\_persistance.pl & 228 & 201 & 0 & 88.2 & 116 & 107 & 0 & 92.2 \\ \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{6040} & \textbf{4971} & \textbf{111} & \textbf{83.8} & \textbf{2627} & \textbf{2354} & \textbf{2} & \textbf{89.7} \\ \hline avl\_tools.pl & 45 & 39 & 4 & 95.1 & 25 & 23 & 0 & 92.0 \\ \hline b\_global\_sets.pl & 245 & 206 & 4 & 85.5 & 119 & 112 & 0 & 94.1 \\ \hline bool\_pred.pl & 27 & 20 & 0 & 74.1 & 19 & 14 & 0 & 73.7 \\ \hline bsets\_clp.pl & 754 & 650 & 7 & 87.0 & 381 & 343 & 0 & 90.0 \\ \hline chr\_integer\_inequality.pl & 33 & 29 & 0 & 87.9 & 25 & 23 & 0 & 92.0 \\ \hline chr\_set\_membership.pl & 6 & 1 & 0 & 16.7 & 6 & 1 & 0 & 16.7 \\ \hline closures.pl & 118 & 84 & 2 & 72.4 & 53 & 48 & 0 & 90.6 \\ \hline clpfd\_interface.pl & 176 & 151 & 1 & 86.3 & 97 & 88 & 0 & 90.7 \\ \hline clpfd\_lists.pl & 124 & 93 & 8 & 80.2 & 37 & 33 & 0 & 89.2 \\ \hline clpfd\_tables.pl & 47 & 47 & 0 & 100.0 & 24 & 24 & 0 & 100.0 \\ \hline custom\_explicit\_sets.pl & 1490 & 1263 & 37 & 86.9 & 593 & 562 & 0 & 94.8 \\ \hline delay.pl & 28 & 25 & 0 & 89.3 & 18 & 16 & 0 & 88.9 \\ \hline fd\_utils\_clpfd.pl & 9 & 7 & 0 & 77.8 & 7 & 7 & 0 & 100.0 \\ \hline inf\_arith.pl & 51 & 40 & 0 & 78.4 & 21 & 17 & 0 & 81.0 \\ \hline kernel\_cardinality\_attr.pl & 47 & 40 & 0 & 85.1 & 23 & 19 & 0 & 82.6 \\ \hline kernel\_dif.pl & 11 & 10 & 0 & 90.9 & 5 & 5 & 0 & 100.0 \\ \hline kernel\_equality.pl & 197 & 180 & 6 & 94.2 & 88 & 84 & 0 & 95.5 \\ \hline kernel\_frozen\_info.pl & 17 & 8 & 0 & 47.1 & 6 & 6 & 0 & 100.0 \\ \hline kernel\_lists.pl & 4 & 3 & 1 & 100.0 & 2 & 2 & 0 & 100.0 \\ \hline kernel\_mappings.pl & 451 & 396 & 0 & 87.8 & 101 & 95 & 0 & 94.1 \\ \hline kernel\_non\_empty\_attr.pl & 7 & 5 & 0 & 71.4 & 4 & 3 & 0 & 75.0 \\ \hline kernel\_objects.pl & 1196 & 965 & 11 & 81.4 & 551 & 474 & 1 & 86.2 \\ \hline kernel\_ordering.pl & 41 & 16 & 0 & 39.0 & 15 & 9 & 0 & 60.0 \\ \hline kernel\_propagation.pl & 4 & 4 & 0 & 100.0 & 3 & 3 & 0 & 100.0 \\ \hline kernel\_reals.pl & 38 & 30 & 0 & 78.9 & 37 & 30 & 0 & 81.1 \\ \hline kernel\_records.pl & 25 & 21 & 3 & 95.5 & 18 & 17 & 0 & 94.4 \\ \hline kernel\_strings.pl & 191 & 139 & 2 & 73.5 & 94 & 87 & 0 & 92.6 \\ \hline kernel\_tools.pl & 293 & 266 & 6 & 92.7 & 49 & 47 & 0 & 95.9 \\ \hline kernel\_waitflags.pl & 256 & 150 & 23 & 64.4 & 148 & 112 & 1 & 76.2 \\ \hline memoization.pl & 86 & 62 & 0 & 72.1 & 46 & 38 & 0 & 82.6 \\ \hline static\_symmetry\_reduction.pl & 23 & 21 & 0 & 91.3 & 12 & 12 & 0 & 100.0 \\ \hline \end{longtable} kodkod \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{1092} & \textbf{850} & \textbf{2} & \textbf{78.0} & \textbf{446} & \textbf{385} & \textbf{0} & \textbf{86.3} \\ \hline interval\_calc.pl & 8 & 7 & 0 & 87.5 & 6 & 5 & 0 & 83.3 \\ \hline kodkod.pl & 73 & 53 & 0 & 72.6 & 35 & 32 & 0 & 91.4 \\ \hline kodkod2.pl & 67 & 65 & 0 & 97.0 & 38 & 38 & 0 & 100.0 \\ \hline \textcolor[HTML]{FF0000}{kodkod\_annotator.pl} & \textcolor[HTML]{FF0000}{31} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{8} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline kodkod\_integer\_recalc.pl & 23 & 17 & 0 & 73.9 & 8 & 8 & 0 & 100.0 \\ \hline kodkod\_printer.pl & 121 & 105 & 0 & 86.8 & 43 & 42 & 0 & 97.7 \\ \hline kodkod\_process.pl & 69 & 55 & 2 & 82.1 & 45 & 39 & 0 & 86.7 \\ \hline kodkod\_rewrite.pl & 28 & 22 & 0 & 78.6 & 11 & 11 & 0 & 100.0 \\ \hline kodkod\_test.pl & 50 & 11 & 0 & 22.0 & 39 & 11 & 0 & 28.2 \\ \hline kodkod\_tools.pl & 27 & 26 & 0 & 96.3 & 18 & 18 & 0 & 100.0 \\ \hline kodkod\_translate.pl & 160 & 134 & 0 & 83.8 & 47 & 46 & 0 & 97.9 \\ \hline kodkod\_typing.pl & 83 & 69 & 0 & 83.1 & 25 & 25 & 0 & 100.0 \\ \hline predicate\_analysis.pl & 352 & 286 & 0 & 81.3 & 123 & 110 & 0 & 89.4 \\ \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{899} & \textbf{630} & \textbf{24} & \textbf{72.0} & \textbf{372} & \textbf{306} & \textbf{0} & \textbf{82.3} \\ \hline ltl2ba.pl & 5 & 5 & 0 & 100.0 & 5 & 5 & 0 & 100.0 \\ \hline ltlc.pl & 93 & 84 & 0 & 90.3 & 31 & 30 & 0 & 96.8 \\ \hline ctl.pl & 72 & 53 & 3 & 76.8 & 30 & 24 & 0 & 80.0 \\ \hline ltl.pl & 131 & 88 & 5 & 69.8 & 73 & 58 & 0 & 79.5 \\ \hline ltl\_fairness.pl & 56 & 39 & 3 & 73.6 & 31 & 25 & 0 & 80.6 \\ \hline ltl\_propositions.pl & 65 & 29 & 3 & 46.8 & 26 & 15 & 0 & 57.7 \\ \hline ltl\_safety.pl & 115 & 80 & 2 & 70.8 & 29 & 25 & 0 & 86.2 \\ \hline ltl\_tools.pl & 149 & 123 & 3 & 84.2 & 60 & 53 & 0 & 88.3 \\ \hline ltl\_translate.pl & 65 & 7 & 0 & 10.8 & 12 & 3 & 0 & 25.0 \\ \hline ltl\_verification.pl & 75 & 70 & 0 & 93.3 & 33 & 33 & 0 & 100.0 \\ \hline safety\_mc.pl & 63 & 43 & 5 & 74.1 & 36 & 29 & 0 & 80.6 \\ \hline state\_space\_explorer.pl & 10 & 9 & 0 & 90.0 & 6 & 6 & 0 & 100.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{423} & \textbf{139} & \textbf{1} & \textbf{32.9} & \textbf{170} & \textbf{81} & \textbf{0} & \textbf{47.6} \\ \hline b\_show\_history.pl & 40 & 30 & 1 & 76.9 & 23 & 19 & 0 & 82.6 \\ \hline coverage\_statistics.pl & 71 & 46 & 0 & 64.8 & 38 & 22 & 0 & 57.9 \\ \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 predicate\_evaluator.pl & 93 & 63 & 1 & 68.5 & 52 & 40 & 0 & 76.9 \\ \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{396} & \textbf{174} & \textbf{2} & \textbf{44.2} & \textbf{222} & \textbf{124} & \textbf{0} & \textbf{55.9} \\ \hline model\_checker.pl & 47 & 46 & 0 & 97.9 & 20 & 20 & 0 & 100.0 \\ \hline pge\_algo.pl & 62 & 43 & 1 & 70.5 & 41 & 34 & 0 & 82.9 \\ \hline ample\_sets.pl & 79 & 55 & 0 & 69.6 & 61 & 45 & 0 & 73.8 \\ \hline \textcolor[HTML]{FF0000}{b\_simplifier.pl} & \textcolor[HTML]{FF0000}{90} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{24} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline dot\_graphs\_static\_analysis.pl & 9 & 2 & 0 & 22.2 & 9 & 2 & 0 & 22.2 \\ \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 static\_analysis.pl & 43 & 28 & 1 & 66.7 & 29 & 23 & 0 & 79.3 \\ \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{3049} & \textbf{694} & \textbf{7} & \textbf{22.8} & \textbf{1133} & \textbf{303} & \textbf{1} & \textbf{26.8} \\ \hline \textcolor[HTML]{FF0000}{brp\_3\_true.pl} & \textcolor[HTML]{FF0000}{63} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{LOCKR1\_mch.pl} & \textcolor[HTML]{FF0000}{14} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{BitFunctions\_ctx.pl} & \textcolor[HTML]{FF0000}{7} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{DisproverDefSetTest4\_ctx.pl} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{bliss\_interface.pl} & \textcolor[HTML]{FF0000}{28} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{7.1} & \textcolor[HTML]{FF0000}{19} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{10.5} \\ \hline counter.pl & 11 & 9 & 0 & 81.8 & 6 & 5 & 0 & 83.3 \\ \hline \textcolor[HTML]{FF0000}{ltsmin\_c\_interface.pl} & \textcolor[HTML]{FF0000}{15} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{ltsmin\_trace.pl} & \textcolor[HTML]{FF0000}{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}{44} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{18} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline myheap.pl & 32 & 18 & 0 & 56.3 & 15 & 5 & 0 & 33.3 \\ \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}{59} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{6.8} & \textcolor[HTML]{FF0000}{27} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3.7} \\ \hline \textcolor[HTML]{FF0000}{fuzzing.pl} & \textcolor[HTML]{FF0000}{42} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{7.1} & \textcolor[HTML]{FF0000}{21} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{14.3} \\ \hline \textcolor[HTML]{FF0000}{any.pl} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{atom.pl} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{avl\_tree.pl} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{mutation\_prob\_ast\_int\_expr.pl} & \textcolor[HTML]{FF0000}{21} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{7} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{mutation\_prob\_ast\_pred.pl} & \textcolor[HTML]{FF0000}{25} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{7} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{mutation\_prob\_ast\_seq\_expr.pl} & \textcolor[HTML]{FF0000}{18} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{mutation\_prob\_ast\_set\_expr.pl} & \textcolor[HTML]{FF0000}{20} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{7} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{prob\_ast\_any.pl} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{prob\_ast\_boolean.pl} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{prob\_ast\_couple.pl} & \textcolor[HTML]{FF0000}{7} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{prob\_ast\_eval\_int\_expr.pl} & \textcolor[HTML]{FF0000}{26} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{prob\_ast\_eval\_pred.pl} & \textcolor[HTML]{FF0000}{41} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{prob\_ast\_eval\_seq\_expr.pl} & \textcolor[HTML]{FF0000}{20} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{prob\_ast\_eval\_set\_expr.pl} & \textcolor[HTML]{FF0000}{30} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{prob\_ast\_expr.pl} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{prob\_ast\_identifier.pl} & \textcolor[HTML]{FF0000}{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}{prob\_ast\_int\_expr.pl} & \textcolor[HTML]{FF0000}{17} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{prob\_ast\_integer.pl} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{prob\_ast\_minimize\_int\_expr.pl} & \textcolor[HTML]{FF0000}{9} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{prob\_ast\_minimize\_pred.pl} & \textcolor[HTML]{FF0000}{24} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{prob\_ast\_minimize\_seq\_expr.pl} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{prob\_ast\_minimize\_set\_expr.pl} & \textcolor[HTML]{FF0000}{9} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{prob\_ast\_pred.pl} & \textcolor[HTML]{FF0000}{16} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{prob\_ast\_record.pl} & \textcolor[HTML]{FF0000}{9} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{6} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{prob\_ast\_sat.pl} & \textcolor[HTML]{FF0000}{18} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{9} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{prob\_ast\_seq.pl} & \textcolor[HTML]{FF0000}{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}{prob\_ast\_seq\_expr.pl} & \textcolor[HTML]{FF0000}{12} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{prob\_ast\_set.pl} & \textcolor[HTML]{FF0000}{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}{prob\_ast\_set\_expr.pl} & \textcolor[HTML]{FF0000}{10} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{prob\_ast\_string.pl} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{prob\_type.pl} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{prob\_value\_any.pl} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{prob\_value\_boolean.pl} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{prob\_value\_integer.pl} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{prob\_value\_record.pl} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{prob\_value\_seq.pl} & \textcolor[HTML]{FF0000}{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}{prob\_value\_set.pl} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{prob\_value\_string.pl} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{between.pl} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{boolean.pl} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{fixed\_value.pl} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{float.pl} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{integer.pl} & \textcolor[HTML]{FF0000}{13} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{list.pl} & \textcolor[HTML]{FF0000}{10} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{member\_of.pl} & \textcolor[HTML]{FF0000}{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}{mutation.pl} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{6} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{number.pl} & \textcolor[HTML]{FF0000}{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}{rational.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}{snippets.pl} & \textcolor[HTML]{FF0000}{81} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{15} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{tree.pl} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{variable.pl} & \textcolor[HTML]{FF0000}{2} & \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 regexp.pl & 21 & 14 & 0 & 66.7 & 11 & 10 & 0 & 90.9 \\ \hline b\_to\_cnf.pl & 20 & 2 & 2 & 11.1 & 5 & 1 & 0 & 20.0 \\ \hline alloy2b.pl & 531 & 391 & 2 & 73.9 & 173 & 163 & 0 & 94.2 \\ \hline b\_arithmetic\_expressions.pl & 8 & 7 & 0 & 87.5 & 3 & 3 & 0 & 100.0 \\ \hline \textcolor[HTML]{FF0000}{coverage\_tools\_annotations.pl} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{ast\_to\_difference\_logic.pl} & \textcolor[HTML]{FF0000}{64} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{7.8} & \textcolor[HTML]{FF0000}{14} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{7.1} \\ \hline \textcolor[HTML]{FF0000}{difference\_logic\_solver.pl} & \textcolor[HTML]{FF0000}{121} & \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}{dpllt\_solver\_benchmarks.pl} & \textcolor[HTML]{FF0000}{53} & \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}{sat\_symmetry\_breaking.pl} & \textcolor[HTML]{FF0000}{50} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{25} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline smt\_symmetry\_breaking.pl & 127 & 13 & 0 & 10.2 & 47 & 10 & 0 & 21.3 \\ \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 external\_functions\_reals.pl & 72 & 21 & 0 & 29.2 & 72 & 21 & 0 & 29.2 \\ \hline external\_functions\_svg.pl & 20 & 17 & 0 & 85.0 & 13 & 11 & 0 & 84.6 \\ \hline json\_parser.pl & 108 & 53 & 0 & 49.1 & 41 & 30 & 0 & 73.2 \\ \hline pathes\_extensions\_db.pl & 226 & 85 & 0 & 37.6 & 9 & 5 & 0 & 55.6 \\ \hline prob\_cov\_runner.pl & 2 & 1 & 0 & 50.0 & 2 & 1 & 0 & 50.0 \\ \hline \textcolor[HTML]{FF0000}{smt\_solver\_benchmarks.pl} & \textcolor[HTML]{FF0000}{35} & \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}{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 \end{longtable} pltables \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{172} & \textbf{43} & \textbf{0} & \textbf{25.0} & \textbf{99} & \textbf{29} & \textbf{0} & \textbf{29.3} \\ \hline table\_tools.pl & 88 & 43 & 2 & 50.0 & 39 & 29 & 0 & 74.4 \\ \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} 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{29} & \textbf{0} & \textbf{59.2} & \textbf{37} & \textbf{19} & \textbf{0} & \textbf{51.4} \\ \hline performance\_messages.pl & 24 & 20 & 0 & 83.3 & 14 & 11 & 0 & 78.6 \\ \hline runtime\_profiler.pl & 19 & 7 & 0 & 36.8 & 17 & 6 & 0 & 35.3 \\ \hline source\_profiler.pl & 6 & 2 & 0 & 33.3 & 6 & 2 & 0 & 33.3 \\ \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{1346} & \textbf{1168} & \textbf{0} & \textbf{86.8} & \textbf{461} & \textbf{412} & \textbf{0} & \textbf{89.4} \\ \hline kernel\_freetypes.pl & 63 & 46 & 0 & 73.0 & 36 & 28 & 0 & 77.8 \\ \hline kernel\_z.pl & 15 & 14 & 0 & 93.3 & 11 & 11 & 0 & 100.0 \\ \hline consistencycheck.pl & 125 & 110 & 0 & 88.0 & 16 & 14 & 0 & 87.5 \\ \hline dependence.pl & 31 & 22 & 0 & 71.0 & 6 & 6 & 0 & 100.0 \\ \hline fuzzfile.pl & 45 & 45 & 0 & 100.0 & 25 & 25 & 0 & 100.0 \\ \hline proz.pl & 293 & 268 & 0 & 91.5 & 113 & 98 & 0 & 86.7 \\ \hline schemaexpansion.pl & 92 & 77 & 0 & 83.7 & 40 & 37 & 0 & 92.5 \\ \hline schemavars.pl & 23 & 8 & 0 & 34.8 & 6 & 4 & 0 & 66.7 \\ \hline subexpressions.pl & 186 & 171 & 0 & 91.9 & 48 & 47 & 0 & 97.9 \\ \hline z\_tools.pl & 33 & 29 & 0 & 87.9 & 21 & 18 & 0 & 85.7 \\ \hline z\_typechecker.pl & 264 & 218 & 0 & 82.6 & 64 & 53 & 0 & 82.8 \\ \hline zenvironment.pl & 11 & 10 & 0 & 90.9 & 7 & 7 & 0 & 100.0 \\ \hline zparameters.pl & 9 & 1 & 0 & 11.1 & 3 & 1 & 0 & 33.3 \\ \hline ztransformations.pl & 156 & 149 & 0 & 95.5 & 65 & 63 & 0 & 96.9 \\ \hline \end{longtable} repl \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{425} & \textbf{260} & \textbf{2} & \textbf{61.5} & \textbf{182} & \textbf{131} & \textbf{0} & \textbf{72.0} \\ \hline eval\_interface.pl & 6 & 5 & 0 & 83.3 & 4 & 4 & 0 & 100.0 \\ \hline eval\_strings.pl & 419 & 255 & 2 & 61.2 & 178 & 127 & 0 & 71.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{887} & \textbf{633} & \textbf{15} & \textbf{72.6} & \textbf{273} & \textbf{207} & \textbf{0} & \textbf{75.8} \\ \hline \textcolor[HTML]{FF0000}{cvc4interface.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 z3interface.pl & 64 & 63 & 0 & 98.4 & 5 & 5 & 0 & 100.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 ast\_cleanup\_for\_smt.pl & 112 & 94 & 0 & 83.9 & 33 & 27 & 0 & 81.8 \\ \hline ast\_optimizer\_for\_smt.pl & 113 & 81 & 2 & 73.0 & 36 & 33 & 0 & 91.7 \\ \hline model\_translation.pl & 209 & 161 & 3 & 78.2 & 73 & 60 & 0 & 82.2 \\ \hline prob\_state\_predicates.pl & 19 & 14 & 0 & 73.7 & 5 & 5 & 0 & 100.0 \\ \hline seq\_rewriter.pl & 35 & 12 & 0 & 34.3 & 12 & 10 & 0 & 83.3 \\ \hline smt\_common\_predicates.pl & 1 & 1 & 0 & 100.0 & 1 & 1 & 0 & 100.0 \\ \hline smt\_solvers\_interface.pl & 256 & 202 & 10 & 82.1 & 68 & 61 & 0 & 89.7 \\ \hline solver\_dispatcher.pl & 14 & 5 & 0 & 35.7 & 7 & 5 & 0 & 71.4 \\ \hline \end{longtable} smtlib \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{305} & \textbf{200} & \textbf{0} & \textbf{65.6} & \textbf{104} & \textbf{71} & \textbf{0} & \textbf{68.3} \\ \hline smtlib2\_cli.pl & 8 & 4 & 0 & 50.0 & 6 & 3 & 0 & 50.0 \\ \hline smtlib2\_environment.pl & 19 & 9 & 0 & 47.4 & 14 & 8 & 0 & 57.1 \\ \hline smtlib2\_interpreter.pl & 51 & 22 & 0 & 43.1 & 14 & 9 & 0 & 64.3 \\ \hline smtlib2\_parser.pl & 118 & 94 & 0 & 79.7 & 45 & 40 & 0 & 88.9 \\ \hline smtlib2\_translation.pl & 109 & 71 & 0 & 65.1 & 25 & 11 & 0 & 44.0 \\ \hline \end{longtable} state\_space \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{441} & \textbf{318} & \textbf{9} & \textbf{73.6} & \textbf{257} & \textbf{204} & \textbf{0} & \textbf{79.4} \\ \hline hashing.pl & 4 & 3 & 0 & 75.0 & 4 & 3 & 0 & 75.0 \\ \hline state\_packing.pl & 143 & 118 & 6 & 86.1 & 54 & 49 & 0 & 90.7 \\ \hline state\_space.pl & 191 & 137 & 0 & 71.7 & 144 & 110 & 0 & 76.4 \\ \hline state\_space\_exploration\_modes.pl & 72 & 40 & 0 & 55.6 & 33 & 25 & 0 & 75.8 \\ \hline state\_space\_open\_nodes\_c.pl & 31 & 20 & 3 & 71.4 & 22 & 17 & 0 & 77.3 \\ \hline \end{longtable} symbolic\_model\_checker \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{277} & \textbf{152} & \textbf{1} & \textbf{55.1} & \textbf{173} & \textbf{106} & \textbf{0} & \textbf{61.3} \\ \hline bmc.pl & 23 & 17 & 0 & 73.9 & 14 & 11 & 0 & 78.6 \\ \hline ce\_replay.pl & 5 & 4 & 0 & 80.0 & 3 & 3 & 0 & 100.0 \\ \hline \textcolor[HTML]{FF0000}{ctigar.pl} & \textcolor[HTML]{FF0000}{52} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{34} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline ic3.pl & 55 & 41 & 1 & 75.9 & 36 & 29 & 0 & 80.6 \\ \hline kinduction.pl & 32 & 21 & 0 & 65.6 & 19 & 13 & 0 & 68.4 \\ \hline mic\_generation.pl & 20 & 5 & 0 & 25.0 & 10 & 3 & 0 & 30.0 \\ \hline \textcolor[HTML]{FF0000}{predicate\_abstraction.pl} & \textcolor[HTML]{FF0000}{15} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{8} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline predicate\_handling.pl & 46 & 43 & 0 & 93.5 & 30 & 30 & 0 & 100.0 \\ \hline solver\_handling.pl & 26 & 19 & 0 & 73.1 & 17 & 15 & 0 & 88.2 \\ \hline unsat\_core\_generalization.pl & 3 & 2 & 0 & 66.7 & 2 & 2 & 0 & 100.0 \\ \hline \end{longtable} symmetry \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{228} & \textbf{179} & \textbf{1} & \textbf{78.9} & \textbf{91} & \textbf{85} & \textbf{0} & \textbf{93.4} \\ \hline graphiso.pl & 12 & 12 & 0 & 100.0 & 6 & 6 & 0 & 100.0 \\ \hline state\_graph\_canon.pl & 36 & 32 & 0 & 88.9 & 18 & 18 & 0 & 100.0 \\ \hline graph\_iso\_nauty.pl & 50 & 42 & 0 & 84.0 & 26 & 24 & 0 & 92.3 \\ \hline state\_permuter.pl & 32 & 21 & 0 & 65.6 & 10 & 9 & 0 & 90.0 \\ \hline symmetry\_marker.pl & 98 & 72 & 1 & 74.2 & 31 & 28 & 0 & 90.3 \\ \hline \end{longtable} synthesis \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{854} & \textbf{0} & \textbf{0} & \textbf{0.0} & \textbf{282} & \textbf{0} & \textbf{0} & \textbf{0.0} \\ \hline \textcolor[HTML]{FF0000}{b\_synthesis.pl} & \textcolor[HTML]{FF0000}{118} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{59} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{constraints.pl} & \textcolor[HTML]{FF0000}{239} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{100} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{b\_machine\_identifier\_normalization.pl} & \textcolor[HTML]{FF0000}{257} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{38} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{operation\_data\_generator.pl} & \textcolor[HTML]{FF0000}{42} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{22} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{library\_setup.pl} & \textcolor[HTML]{FF0000}{130} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{31} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{location\_vars\_to\_program.pl} & \textcolor[HTML]{FF0000}{27} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{9} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{symmetry\_reduction.pl} & \textcolor[HTML]{FF0000}{41} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{23} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \end{longtable} tcltk \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{530} & \textbf{170} & \textbf{0} & \textbf{32.1} & \textbf{336} & \textbf{121} & \textbf{1} & \textbf{36.1} \\ \hline tcltk\_interface.pl & 530 & 170 & 5 & 32.4 & 336 & 121 & 1 & 36.1 \\ \hline \end{longtable} test\_generation \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{376} & \textbf{226} & \textbf{2} & \textbf{60.4} & \textbf{234} & \textbf{161} & \textbf{0} & \textbf{68.8} \\ \hline sap.pl & 305 & 226 & 4 & 75.1 & 207 & 161 & 0 & 77.8 \\ \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{3344} & \textbf{2700} & \textbf{4} & \textbf{80.8} & \textbf{458} & \textbf{197} & \textbf{0} & \textbf{43.0} \\ \hline b\_intelligent\_trace\_replay.pl & 153 & 75 & 2 & 49.7 & 91 & 56 & 0 & 61.5 \\ \hline b\_trace\_checking.pl & 158 & 100 & 2 & 64.1 & 73 & 51 & 0 & 69.9 \\ \hline junit\_tests.pl & 29 & 23 & 2 & 85.2 & 17 & 17 & 0 & 100.0 \\ \hline \textcolor[HTML]{FF0000}{self\_check.pl} & \textcolor[HTML]{FF0000}{94} & \textcolor[HTML]{FF0000}{9} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{9.6} & \textcolor[HTML]{FF0000}{73} & \textcolor[HTML]{FF0000}{9} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{12.3} \\ \hline test\_runner.pl & 375 & 81 & 0 & 21.6 & 169 & 51 & 0 & 30.2 \\ \hline testcases.pl & 2411 & 2393 & 0 & 99.3 & 9 & 8 & 0 & 88.9 \\ \hline typechecker.pl & 124 & 19 & 0 & 15.3 & 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{1998} & \textbf{1000} & \textbf{16} & \textbf{50.5} & \textbf{563} & \textbf{398} & \textbf{0} & \textbf{70.7} \\ \hline gensym.pl & 11 & 8 & 0 & 72.7 & 9 & 6 & 0 & 66.7 \\ \hline pref\_definitions.pl & 31 & 19 & 0 & 61.3 & 15 & 11 & 0 & 73.3 \\ \hline static\_ordering.pl & 15 & 13 & 1 & 92.9 & 8 & 7 & 0 & 87.5 \\ \hline system\_call.pl & 15 & 11 & 1 & 78.6 & 14 & 11 & 0 & 78.6 \\ \hline translate.pl & 1781 & 935 & 14 & 52.9 & 510 & 360 & 0 & 70.6 \\ \hline \textcolor[HTML]{FF0000}{translate\_keywords.pl} & \textcolor[HTML]{FF0000}{145} & \textcolor[HTML]{FF0000}{14} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{9.7} & \textcolor[HTML]{FF0000}{7} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{42.9} \\ \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{4837} & \textbf{3970} & \textbf{70} & \textbf{83.3} & \textbf{2035} & \textbf{1848} & \textbf{0} & \textbf{90.8} \\ \hline b\_ast\_cleanup.pl & 851 & 736 & 3 & 86.8 & 274 & 255 & 0 & 93.1 \\ \hline b\_enumeration\_order\_analysis.pl & 66 & 51 & 1 & 78.5 & 22 & 22 & 0 & 100.0 \\ \hline b\_read\_write\_info.pl & 198 & 140 & 2 & 71.4 & 97 & 77 & 0 & 79.4 \\ \hline bmachine\_construction.pl & 535 & 481 & 10 & 91.6 & 320 & 307 & 0 & 95.9 \\ \hline bmachine\_eventb.pl & 457 & 386 & 4 & 85.2 & 270 & 265 & 0 & 98.1 \\ \hline bmachine\_static\_checks.pl & 81 & 60 & 0 & 74.1 & 45 & 38 & 0 & 84.4 \\ \hline bmachine\_structure.pl & 25 & 23 & 2 & 100.0 & 17 & 17 & 0 & 100.0 \\ \hline bsyntaxtree.pl & 970 & 800 & 29 & 85.0 & 340 & 306 & 0 & 90.0 \\ \hline bsyntaxtree\_quantifiers.pl & 9 & 9 & 0 & 100.0 & 8 & 8 & 0 & 100.0 \\ \hline btypechecker.pl & 715 & 597 & 5 & 84.1 & 237 & 214 & 0 & 90.3 \\ \hline b\_expression\_sharing.pl & 346 & 262 & 5 & 76.8 & 126 & 105 & 0 & 83.3 \\ \hline input\_syntax\_tree.pl & 54 & 42 & 1 & 79.2 & 20 & 17 & 0 & 85.0 \\ \hline parsercall.pl & 222 & 128 & 9 & 60.1 & 128 & 91 & 0 & 71.1 \\ \hline partition\_detection.pl & 28 & 28 & 0 & 100.0 & 17 & 17 & 0 & 100.0 \\ \hline pragmas.pl & 10 & 4 & 0 & 40.0 & 5 & 4 & 0 & 80.0 \\ \hline record\_detection.pl & 98 & 95 & 1 & 97.9 & 69 & 69 & 0 & 100.0 \\ \hline b\_ast\_cleanup\_rewrite\_rules.pl & 29 & 18 & 0 & 62.1 & 13 & 13 & 0 & 100.0 \\ \hline rewrite\_rules\_db.pl & 27 & 19 & 0 & 70.4 & 2 & 1 & 0 & 50.0 \\ \hline typing\_tools.pl & 116 & 91 & 1 & 79.1 & 25 & 22 & 0 & 88.0 \\ \hline \end{longtable} visualization \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{732} & \textbf{216} & \textbf{1} & \textbf{29.5} & \textbf{262} & \textbf{109} & \textbf{0} & \textbf{41.6} \\ \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 latex\_processor.pl & 111 & 86 & 0 & 77.5 & 49 & 39 & 0 & 79.6 \\ \hline meta\_interface.pl & 314 & 54 & 1 & 17.3 & 28 & 12 & 0 & 42.9 \\ \hline visb\_visualiser.pl & 159 & 76 & 0 & 47.8 & 102 & 58 & 0 & 56.9 \\ \hline \end{longtable} well\_def\_prover \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{1576} & \textbf{1068} & \textbf{14} & \textbf{68.4} & \textbf{314} & \textbf{265} & \textbf{0} & \textbf{84.4} \\ \hline well\_def\_analyser.pl & 311 & 203 & 1 & 65.5 & 80 & 52 & 0 & 65.0 \\ \hline well\_def\_hyps.pl & 196 & 136 & 13 & 74.3 & 61 & 50 & 0 & 82.0 \\ \hline well\_def\_prover.pl & 909 & 680 & 1 & 74.9 & 162 & 154 & 0 & 95.1 \\ \hline well\_def\_tools.pl & 160 & 49 & 0 & 30.6 & 11 & 9 & 0 & 81.8 \\ \hline \end{longtable} zmq \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{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}