Advances, Systems and Applications
From: MapReduce for parallel trace validation of LTL properties
Tool | P1 | P2 | P3 | P4 |
---|---|---|---|---|
BeepBeep | 15,788 | 6,332 | 0.2 | 31 |
MrSim (sequential) | 1.9 | 3.6 | 10.4 | 335 |
Hadoop cluster | 44 | 96 | 243 | 4,694 |
MrSim (multi-thread) | 73 | 138 | 433 | 5,734 |
MrSim (predicted) | 1.9 | 3.3 | 2.0 | 10 |