Those are the tests shown in the submission.
Kind | Operational | Axiom | Sat | T0 | T1 | T2 | PowerG5 | Power6 | Power7 | |
MP | Allow | = | = | = | = | = | = | Ok, 10M/4.9G | Ok, 6.5M/29G | Ok, 1.9G/179G |
PPOCA | Allow | = | = | = | = | = | = | Ok, 1.1k/3.4G | No, 0/49G | Ok, 204k/170G |
Allow unseen | ||||||||||
WRC+data+addr | Allow | = | = | = | = | = | = | No, 0/3.6G | Ok, 705k/13G | Ok, 200k/113G |
Allow unseen | ||||||||||
IRIW+addrs | Allow | = | = | = | = | = | = | No, 0/3.5G | Ok, 1.2M/14G | Ok, 358k/113G |
Allow unseen | ||||||||||
2+2W+lwsyncs | Forbid | = | = | = | = | = | = | Ok, 0/6.2G | Ok, 0/43G | Ok, 0/923G |
Z6.3+lwsync+lwsync+addr | Allow | = | = | = | — | — | = | No, 0/658M | Ok, 4.7k/1.8G | Ok, 69k/12G |
Allow unseen |
Running times (cpu user time) for all those tests and all our simulators.
Operational | Axiom | SAT | |
MP | 0.13 | 0.02 | 0.29 |
PPOCA | 10.58 | 18.09 | 1.08 |
WRC+data+addr | 1.05 | 0.13 | 0.43 |
IRIW+addrs | 148.50 | 0.24 | 0.68 |
2+2W+lwsyncs | 7.16 | 0.05 | 1.06 |
Z6.3+lwsync+lwsync+addr | 18843.66 | 0.46 | 1.58 |