Skip to main content

Advances, Systems and Applications

Journal of Cloud Computing Cover Image

Table 1 The total number of tuples produced for the validation of each properties on traces of increasing sizes

From: MapReduce for parallel trace validation of LTL properties

Trace size P1 P2 P3 P4
11 14 17 20 221
180,035 180,062 346,642 815,449 8,194,477
1,770,922 1,770,938 3,409,468 8,010,419 80,552,405
3,523,211 3,523,218 6,782,937 15,938,586 > 54 M
9,025,596 9,025,603 17,375,057 40,830,370
Ratio 1 1.9 4.5 45