Skip to main content

Advances, Systems and Applications

Journal of Cloud Computing Cover Image

Table 2 Number of tuples produced at each MapReduce iteration for the validation of properties P1–P4, for a trace of a few kilobytes (a) and a trace of around 100 megabytes (b)

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