Previous Up Next

Tests given in submission

Those are the tests shown in the submission.

 KindOperationalAxiomSatT0T1T2PowerG5Power6Power7
MPAllow======Ok, 10M/4.9GOk, 6.5M/29GOk, 1.9G/179G
PPOCAAllow======Ok, 1.1k/3.4GNo, 0/49GOk, 204k/170G
         Allow unseen 
WRC+data+addrAllow======No, 0/3.6GOk, 705k/13GOk, 200k/113G
        Allow unseen  
IRIW+addrsAllow======No, 0/3.5GOk, 1.2M/14GOk, 358k/113G
        Allow unseen  
2+2W+lwsyncsForbid======Ok, 0/6.2GOk, 0/43GOk, 0/923G
Z6.3+lwsync+lwsync+addrAllow====No, 0/658MOk, 4.7k/1.8GOk, 69k/12G
        Allow unseen  

Cycles and kinds.

Running times (cpu user time) for all those tests and all our simulators.

 OperationalAxiomSAT
MP0.130.020.29
PPOCA10.5818.091.08
WRC+data+addr1.050.130.43
IRIW+addrs148.500.240.68
2+2W+lwsyncs7.160.051.06
Z6.3+lwsync+lwsync+addr18843.660.461.58

Previous Up Next