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

Table 7

Synthesis results. Nonshaded rows for ILP, shaded rows for ASP.

	Cyclic						Preemptive
	Problem size		Run time (sec)		Obj.	gap	Problem size		Run time (sec)		Obj.	Gap
Appl.	No. cons.	No. var.	form.	solver	(sec)		No. cons.	No. var.	form.	solver	(sec)
WLAN	7089	3638	497	636	0.0001	0.0	5901	2538	552	1010	0.10	9.6
WCDMA	32261	13320	701	28811	18.25	7.8	25394	12792	704	19567	16.90	0.2
WLAN	7033	207412	1467	2.421	0.0002	—	7033	207412	1477	16.797	0.08	—
WCDMA	25631	21806	977	6.781	16.898	—	25631	21806	1125	10.219	16.90	—