lustrec / bench / distrib / large / ccp02 / summaries / ccp02.summary @ 50d06a28
History | View | Annotate | Download (10.3 KB)
| 1 |
Summary for file ccp02.lus |
|---|---|
| 2 |
# tests: 197 ./tests/ccp02.test_suite |
| 3 |
198 mutant(s) unkilled |
| 4 |
|
| 5 |
mutants/ccp02/ccp02.mutant.n100_top_mutant unkilled |
| 6 |
mutants/ccp02/ccp02.mutant.n101_top_mutant unkilled |
| 7 |
mutants/ccp02/ccp02.mutant.n102_top_mutant unkilled |
| 8 |
mutants/ccp02/ccp02.mutant.n103_top_mutant unkilled |
| 9 |
mutants/ccp02/ccp02.mutant.n104_top_mutant unkilled |
| 10 |
mutants/ccp02/ccp02.mutant.n105_top_mutant unkilled |
| 11 |
mutants/ccp02/ccp02.mutant.n106_top_mutant unkilled |
| 12 |
mutants/ccp02/ccp02.mutant.n107_top_mutant unkilled |
| 13 |
mutants/ccp02/ccp02.mutant.n108_top_mutant unkilled |
| 14 |
mutants/ccp02/ccp02.mutant.n109_top_mutant unkilled |
| 15 |
mutants/ccp02/ccp02.mutant.n10_top_mutant unkilled |
| 16 |
mutants/ccp02/ccp02.mutant.n110_top_mutant unkilled |
| 17 |
mutants/ccp02/ccp02.mutant.n111_top_mutant unkilled |
| 18 |
mutants/ccp02/ccp02.mutant.n112_top_mutant unkilled |
| 19 |
mutants/ccp02/ccp02.mutant.n113_top_mutant unkilled |
| 20 |
mutants/ccp02/ccp02.mutant.n114_top_mutant unkilled |
| 21 |
mutants/ccp02/ccp02.mutant.n115_top_mutant unkilled |
| 22 |
mutants/ccp02/ccp02.mutant.n116_top_mutant unkilled |
| 23 |
mutants/ccp02/ccp02.mutant.n117_top_mutant unkilled |
| 24 |
mutants/ccp02/ccp02.mutant.n118_top_mutant unkilled |
| 25 |
mutants/ccp02/ccp02.mutant.n119_top_mutant unkilled |
| 26 |
mutants/ccp02/ccp02.mutant.n11_top_mutant unkilled |
| 27 |
mutants/ccp02/ccp02.mutant.n120_top_mutant unkilled |
| 28 |
mutants/ccp02/ccp02.mutant.n121_top_mutant unkilled |
| 29 |
mutants/ccp02/ccp02.mutant.n122_top_mutant unkilled |
| 30 |
mutants/ccp02/ccp02.mutant.n123_top_mutant unkilled |
| 31 |
mutants/ccp02/ccp02.mutant.n124_top_mutant unkilled |
| 32 |
mutants/ccp02/ccp02.mutant.n125_top_mutant unkilled |
| 33 |
mutants/ccp02/ccp02.mutant.n126_top_mutant unkilled |
| 34 |
mutants/ccp02/ccp02.mutant.n127_top_mutant unkilled |
| 35 |
mutants/ccp02/ccp02.mutant.n128_top_mutant unkilled |
| 36 |
mutants/ccp02/ccp02.mutant.n129_top_mutant unkilled |
| 37 |
mutants/ccp02/ccp02.mutant.n12_top_mutant unkilled |
| 38 |
mutants/ccp02/ccp02.mutant.n130_top_mutant unkilled |
| 39 |
mutants/ccp02/ccp02.mutant.n131_top_mutant unkilled |
| 40 |
mutants/ccp02/ccp02.mutant.n132_top_mutant unkilled |
| 41 |
mutants/ccp02/ccp02.mutant.n133_top_mutant unkilled |
| 42 |
mutants/ccp02/ccp02.mutant.n134_top_mutant unkilled |
| 43 |
mutants/ccp02/ccp02.mutant.n135_top_mutant unkilled |
| 44 |
mutants/ccp02/ccp02.mutant.n136_top_mutant unkilled |
| 45 |
mutants/ccp02/ccp02.mutant.n137_top_mutant unkilled |
| 46 |
mutants/ccp02/ccp02.mutant.n138_top_mutant unkilled |
| 47 |
mutants/ccp02/ccp02.mutant.n139_top_mutant unkilled |
| 48 |
mutants/ccp02/ccp02.mutant.n13_top_mutant unkilled |
| 49 |
mutants/ccp02/ccp02.mutant.n140_top_mutant unkilled |
| 50 |
mutants/ccp02/ccp02.mutant.n141_top_mutant unkilled |
| 51 |
mutants/ccp02/ccp02.mutant.n142_top_mutant unkilled |
| 52 |
mutants/ccp02/ccp02.mutant.n143_top_mutant unkilled |
| 53 |
mutants/ccp02/ccp02.mutant.n144_top_mutant unkilled |
| 54 |
mutants/ccp02/ccp02.mutant.n145_top_mutant unkilled |
| 55 |
mutants/ccp02/ccp02.mutant.n146_top_mutant unkilled |
| 56 |
mutants/ccp02/ccp02.mutant.n147_top_mutant unkilled |
| 57 |
mutants/ccp02/ccp02.mutant.n148_top_mutant unkilled |
| 58 |
mutants/ccp02/ccp02.mutant.n149_top_mutant unkilled |
| 59 |
mutants/ccp02/ccp02.mutant.n14_top_mutant unkilled |
| 60 |
mutants/ccp02/ccp02.mutant.n150_top_mutant unkilled |
| 61 |
mutants/ccp02/ccp02.mutant.n151_top_mutant unkilled |
| 62 |
mutants/ccp02/ccp02.mutant.n152_top_mutant unkilled |
| 63 |
mutants/ccp02/ccp02.mutant.n153_top_mutant unkilled |
| 64 |
mutants/ccp02/ccp02.mutant.n154_top_mutant unkilled |
| 65 |
mutants/ccp02/ccp02.mutant.n155_top_mutant unkilled |
| 66 |
mutants/ccp02/ccp02.mutant.n156_top_mutant unkilled |
| 67 |
mutants/ccp02/ccp02.mutant.n157_top_mutant unkilled |
| 68 |
mutants/ccp02/ccp02.mutant.n158_top_mutant unkilled |
| 69 |
mutants/ccp02/ccp02.mutant.n159_top_mutant unkilled |
| 70 |
mutants/ccp02/ccp02.mutant.n15_top_mutant unkilled |
| 71 |
mutants/ccp02/ccp02.mutant.n160_top_mutant unkilled |
| 72 |
mutants/ccp02/ccp02.mutant.n161_top_mutant unkilled |
| 73 |
mutants/ccp02/ccp02.mutant.n162_top_mutant unkilled |
| 74 |
mutants/ccp02/ccp02.mutant.n163_top_mutant unkilled |
| 75 |
mutants/ccp02/ccp02.mutant.n164_top_mutant unkilled |
| 76 |
mutants/ccp02/ccp02.mutant.n165_top_mutant unkilled |
| 77 |
mutants/ccp02/ccp02.mutant.n166_top_mutant unkilled |
| 78 |
mutants/ccp02/ccp02.mutant.n167_top_mutant unkilled |
| 79 |
mutants/ccp02/ccp02.mutant.n168_top_mutant unkilled |
| 80 |
mutants/ccp02/ccp02.mutant.n169_top_mutant unkilled |
| 81 |
mutants/ccp02/ccp02.mutant.n16_top_mutant unkilled |
| 82 |
mutants/ccp02/ccp02.mutant.n170_top_mutant unkilled |
| 83 |
mutants/ccp02/ccp02.mutant.n171_top_mutant unkilled |
| 84 |
mutants/ccp02/ccp02.mutant.n172_top_mutant unkilled |
| 85 |
mutants/ccp02/ccp02.mutant.n173_top_mutant unkilled |
| 86 |
mutants/ccp02/ccp02.mutant.n174_top_mutant unkilled |
| 87 |
mutants/ccp02/ccp02.mutant.n175_top_mutant unkilled |
| 88 |
mutants/ccp02/ccp02.mutant.n176_top_mutant unkilled |
| 89 |
mutants/ccp02/ccp02.mutant.n177_top_mutant unkilled |
| 90 |
mutants/ccp02/ccp02.mutant.n178_top_mutant unkilled |
| 91 |
mutants/ccp02/ccp02.mutant.n179_top_mutant unkilled |
| 92 |
mutants/ccp02/ccp02.mutant.n17_top_mutant unkilled |
| 93 |
mutants/ccp02/ccp02.mutant.n180_top_mutant unkilled |
| 94 |
mutants/ccp02/ccp02.mutant.n181_top_mutant unkilled |
| 95 |
mutants/ccp02/ccp02.mutant.n182_top_mutant unkilled |
| 96 |
mutants/ccp02/ccp02.mutant.n183_top_mutant unkilled |
| 97 |
mutants/ccp02/ccp02.mutant.n184_top_mutant unkilled |
| 98 |
mutants/ccp02/ccp02.mutant.n185_top_mutant unkilled |
| 99 |
mutants/ccp02/ccp02.mutant.n186_top_mutant unkilled |
| 100 |
mutants/ccp02/ccp02.mutant.n187_top_mutant unkilled |
| 101 |
mutants/ccp02/ccp02.mutant.n188_top_mutant unkilled |
| 102 |
mutants/ccp02/ccp02.mutant.n189_top_mutant unkilled |
| 103 |
mutants/ccp02/ccp02.mutant.n18_top_mutant unkilled |
| 104 |
mutants/ccp02/ccp02.mutant.n190_top_mutant unkilled |
| 105 |
mutants/ccp02/ccp02.mutant.n191_top_mutant unkilled |
| 106 |
mutants/ccp02/ccp02.mutant.n192_top_mutant unkilled |
| 107 |
mutants/ccp02/ccp02.mutant.n193_top_mutant unkilled |
| 108 |
mutants/ccp02/ccp02.mutant.n194_top_mutant unkilled |
| 109 |
mutants/ccp02/ccp02.mutant.n195_top_mutant unkilled |
| 110 |
mutants/ccp02/ccp02.mutant.n196_top_mutant unkilled |
| 111 |
mutants/ccp02/ccp02.mutant.n197_top_mutant unkilled |
| 112 |
mutants/ccp02/ccp02.mutant.n198_top_mutant unkilled |
| 113 |
mutants/ccp02/ccp02.mutant.n199_top_mutant unkilled |
| 114 |
mutants/ccp02/ccp02.mutant.n19_top_mutant unkilled |
| 115 |
mutants/ccp02/ccp02.mutant.n1_top_mutant unkilled |
| 116 |
mutants/ccp02/ccp02.mutant.n200_top_mutant unkilled |
| 117 |
mutants/ccp02/ccp02.mutant.n20_top_mutant unkilled |
| 118 |
mutants/ccp02/ccp02.mutant.n21_top_mutant unkilled |
| 119 |
mutants/ccp02/ccp02.mutant.n22_top_mutant unkilled |
| 120 |
mutants/ccp02/ccp02.mutant.n23_top_mutant unkilled |
| 121 |
mutants/ccp02/ccp02.mutant.n24_top_mutant unkilled |
| 122 |
mutants/ccp02/ccp02.mutant.n25_top_mutant unkilled |
| 123 |
mutants/ccp02/ccp02.mutant.n26_top_mutant unkilled |
| 124 |
mutants/ccp02/ccp02.mutant.n27_top_mutant unkilled |
| 125 |
mutants/ccp02/ccp02.mutant.n28_top_mutant unkilled |
| 126 |
mutants/ccp02/ccp02.mutant.n29_top_mutant unkilled |
| 127 |
mutants/ccp02/ccp02.mutant.n2_top_mutant unkilled |
| 128 |
mutants/ccp02/ccp02.mutant.n30_top_mutant unkilled |
| 129 |
mutants/ccp02/ccp02.mutant.n31_top_mutant unkilled |
| 130 |
mutants/ccp02/ccp02.mutant.n32_top_mutant unkilled |
| 131 |
mutants/ccp02/ccp02.mutant.n33_top_mutant unkilled |
| 132 |
mutants/ccp02/ccp02.mutant.n34_top_mutant unkilled |
| 133 |
mutants/ccp02/ccp02.mutant.n35_top_mutant unkilled |
| 134 |
mutants/ccp02/ccp02.mutant.n36_top_mutant unkilled |
| 135 |
mutants/ccp02/ccp02.mutant.n37_top_mutant unkilled |
| 136 |
mutants/ccp02/ccp02.mutant.n38_top_mutant unkilled |
| 137 |
mutants/ccp02/ccp02.mutant.n39_top_mutant unkilled |
| 138 |
mutants/ccp02/ccp02.mutant.n3_top_mutant unkilled |
| 139 |
mutants/ccp02/ccp02.mutant.n40_top_mutant unkilled |
| 140 |
mutants/ccp02/ccp02.mutant.n41_top_mutant unkilled |
| 141 |
mutants/ccp02/ccp02.mutant.n42_top_mutant unkilled |
| 142 |
mutants/ccp02/ccp02.mutant.n43_top_mutant unkilled |
| 143 |
mutants/ccp02/ccp02.mutant.n44_top_mutant unkilled |
| 144 |
mutants/ccp02/ccp02.mutant.n45_top_mutant unkilled |
| 145 |
mutants/ccp02/ccp02.mutant.n46_top_mutant unkilled |
| 146 |
mutants/ccp02/ccp02.mutant.n47_top_mutant unkilled |
| 147 |
mutants/ccp02/ccp02.mutant.n48_top_mutant unkilled |
| 148 |
mutants/ccp02/ccp02.mutant.n49_top_mutant unkilled |
| 149 |
mutants/ccp02/ccp02.mutant.n4_top_mutant unkilled |
| 150 |
mutants/ccp02/ccp02.mutant.n50_top_mutant unkilled |
| 151 |
mutants/ccp02/ccp02.mutant.n51_top_mutant unkilled |
| 152 |
mutants/ccp02/ccp02.mutant.n52_top_mutant unkilled |
| 153 |
mutants/ccp02/ccp02.mutant.n53_top_mutant unkilled |
| 154 |
mutants/ccp02/ccp02.mutant.n54_top_mutant unkilled |
| 155 |
mutants/ccp02/ccp02.mutant.n55_top_mutant unkilled |
| 156 |
mutants/ccp02/ccp02.mutant.n56_top_mutant unkilled |
| 157 |
mutants/ccp02/ccp02.mutant.n57_top_mutant unkilled |
| 158 |
mutants/ccp02/ccp02.mutant.n58_top_mutant unkilled |
| 159 |
mutants/ccp02/ccp02.mutant.n59_top_mutant unkilled |
| 160 |
mutants/ccp02/ccp02.mutant.n5_top_mutant unkilled |
| 161 |
mutants/ccp02/ccp02.mutant.n60_top_mutant unkilled |
| 162 |
mutants/ccp02/ccp02.mutant.n61_top_mutant unkilled |
| 163 |
mutants/ccp02/ccp02.mutant.n62_top_mutant unkilled |
| 164 |
mutants/ccp02/ccp02.mutant.n63_top_mutant unkilled |
| 165 |
mutants/ccp02/ccp02.mutant.n64_top_mutant unkilled |
| 166 |
mutants/ccp02/ccp02.mutant.n65_top_mutant unkilled |
| 167 |
mutants/ccp02/ccp02.mutant.n66_top_mutant unkilled |
| 168 |
mutants/ccp02/ccp02.mutant.n67_top_mutant unkilled |
| 169 |
mutants/ccp02/ccp02.mutant.n68_top_mutant unkilled |
| 170 |
mutants/ccp02/ccp02.mutant.n69_top_mutant unkilled |
| 171 |
mutants/ccp02/ccp02.mutant.n6_top_mutant unkilled |
| 172 |
mutants/ccp02/ccp02.mutant.n70_top_mutant unkilled |
| 173 |
mutants/ccp02/ccp02.mutant.n71_top_mutant unkilled |
| 174 |
mutants/ccp02/ccp02.mutant.n72_top_mutant unkilled |
| 175 |
mutants/ccp02/ccp02.mutant.n73_top_mutant unkilled |
| 176 |
mutants/ccp02/ccp02.mutant.n74_top_mutant unkilled |
| 177 |
mutants/ccp02/ccp02.mutant.n75_top_mutant unkilled |
| 178 |
mutants/ccp02/ccp02.mutant.n76_top_mutant killed by test 0 0 1 0 0 2 14 0 1 0 1 0 0 2 14 0 1 1 0 0 0 3 15 1 1 0 0 0 0 2 14 0 1 1 0 0 0 3 15 1 |
| 179 |
mutants/ccp02/ccp02.mutant.n77_top_mutant killed by test 0 0 1 0 0 2 14 0 1 0 1 0 0 2 14 0 1 1 0 0 0 3 15 1 1 0 0 0 0 2 14 0 1 1 0 0 0 3 15 1 |
| 180 |
mutants/ccp02/ccp02.mutant.n78_top_mutant unkilled |
| 181 |
mutants/ccp02/ccp02.mutant.n79_top_mutant unkilled |
| 182 |
mutants/ccp02/ccp02.mutant.n7_top_mutant unkilled |
| 183 |
mutants/ccp02/ccp02.mutant.n80_top_mutant unkilled |
| 184 |
mutants/ccp02/ccp02.mutant.n81_top_mutant unkilled |
| 185 |
mutants/ccp02/ccp02.mutant.n82_top_mutant unkilled |
| 186 |
mutants/ccp02/ccp02.mutant.n83_top_mutant unkilled |
| 187 |
mutants/ccp02/ccp02.mutant.n84_top_mutant unkilled |
| 188 |
mutants/ccp02/ccp02.mutant.n85_top_mutant unkilled |
| 189 |
mutants/ccp02/ccp02.mutant.n86_top_mutant unkilled |
| 190 |
mutants/ccp02/ccp02.mutant.n87_top_mutant unkilled |
| 191 |
mutants/ccp02/ccp02.mutant.n88_top_mutant unkilled |
| 192 |
mutants/ccp02/ccp02.mutant.n89_top_mutant unkilled |
| 193 |
mutants/ccp02/ccp02.mutant.n8_top_mutant unkilled |
| 194 |
mutants/ccp02/ccp02.mutant.n90_top_mutant unkilled |
| 195 |
mutants/ccp02/ccp02.mutant.n91_top_mutant unkilled |
| 196 |
mutants/ccp02/ccp02.mutant.n92_top_mutant unkilled |
| 197 |
mutants/ccp02/ccp02.mutant.n93_top_mutant unkilled |
| 198 |
mutants/ccp02/ccp02.mutant.n94_top_mutant unkilled |
| 199 |
mutants/ccp02/ccp02.mutant.n95_top_mutant unkilled |
| 200 |
mutants/ccp02/ccp02.mutant.n96_top_mutant unkilled |
| 201 |
mutants/ccp02/ccp02.mutant.n97_top_mutant unkilled |
| 202 |
mutants/ccp02/ccp02.mutant.n98_top_mutant unkilled |
| 203 |
mutants/ccp02/ccp02.mutant.n99_top_mutant unkilled |
| 204 |
mutants/ccp02/ccp02.mutant.n9_top_mutant unkilled |