Advances, Systems and Applications
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 |