Non-Flowing operational model vs. herd model and hardware

This note gathers two sets of comparison tables:

Other models may appear in tables:

Notice that ppcmem does not always terminate in the allocated time and memory bounds, so that these comparisons do not cover all our test set. In effect, we have ppcmem output for 7465 tests out of 9763.


This document was translated from LATEX by HEVEA.