|  |  | Mut. | Mut. | Mut. |  | Equiv. | Equiv. |  |  | Killed by | Added |
---|---|---|---|---|---|---|---|---|---|---|---|---|
Application | #C a | #A | G1 | G2 | G3 | Total | Aut. | Man.l | Anom. | Alive | original | TCs |
 |  |  |  |  |  |  |  |  |  |  | TCs |  |
1. BankingSystem | 9 | 6 | 108 | 2 | 26 | 136 | 68 | – | 18 | 50 | 50 | – |
2. Telecom | 6 | 3 | 82 | 2 | 27 | 111 | 46 | 10 | 12 | 53 | 31 | 4 |
3. ProdLine | 8 | 8 | 158 | 0 | 41 | 199 | 125 | – | 16 | 58 | 58 | – |
4. FactorialOptimiser | 1 | 1 | 14 | 0 | 15 | 29 | 8 | 1 | 6 | 15 | 14 | – |
5. MusicOnline | 7 | 2 | 47 | 0 | 10 | 57 | 25 | 2 | 5 | 27 | 22 | 2 |
6. VendingMachine | 1 | 3 | 82 | 2 | 29 | 113 | 58 | 13 | 8 | 47 | 23 | 5 |
7. PointBoundsChecker | 1 | 1 | 46 | 0 | 24 | 70 | 32 | – | 10 | 28 | 28 | – |
8. StackManager | 4 | 3 | 34 | 0 | 11 | 45 | 24 | – | 0 | 21 | 21 | – |
9. PointShadowManager | 2 | 1 | 38 | 0 | 12 | 50 | 25 | 5 | 4 | 21 | 13 | 2 |
10. Math | 1 | 1 | 16 | 0 | 4 | 20 | 13 | 2 | 0 | 7 | 4 | 1 |
11. AuthSystem | 3 | 2 | 45 | 0 | 7 | 52 | 28 | 1 | 3 | 21 | 17 | 2 |
12. SeqGen | 8 | 4 | 33 | 0 | 7 | 40 | 19 | 8 | 3 | 18 | 4 | 3 |
Total | 51 | 35 | 703 | 6 | 213 | 922 | 471 | 42 | 85 | 366 | 285 | 19 |