Advances, Systems and Applications
From: MapReduce for parallel trace validation of LTL properties
(a) | ||||
---|---|---|---|---|
Iteration | P1 | P2 | P3 | P4 |
1 | 8 | 8 | 9 | 11 |
2 | 3 | 3 | 4 | 43 |
3 | 3 | 3 | 4 | 42 |
4 | 3 | 3 | 59 | |
5 | 34 | |||
6 | 24 | |||
7 | 8 | |||
(b) | ||||
Iteration | P1 | P2 | P3 | P4 |
1 | 132,392 | 132,392 | 662,013 | 856,275 |
2 | 1,638,530 | 1,638,530 | 3,674,133 | 26,563,830 |
3 | 16 | 1,638,530 | 3,674,133 | 26,563,830 |
4 | 16 | 47 | 26,564,584 | |
5 | 31 | 1,508 | ||
6 | 31 | 1,022 | ||
7 | 31 | 750 | ||
8 | 336 | |||
9 | 28 | |||
10 | 28 | |||
11 | 54 | |||
12 | 80 | |||
13 | 80 |