Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs

Table 6

Parameters of used networks.

Type	𝑀𝑘	𝐿𝑘 (𝜇s)	𝑝𝑘	𝜏𝑘 (𝜇s)	No. instances
Link	2	6.25	0	0	3
Bus	16	8.00	0.0625	16	3