% dp_check('model_dp1_dp3_100t_20p').

archi_model_spec("model_dp1_dp3_100t_20p",L) :-
L = [ sw_archi(log_upg),
tasks([t0,t1,t2,t3,t4,t5,t6,t7,t8,t9,t10,t11,t12,t13,t14,t15,t16,t17,t18,t19,t20,t21,t22,t23,t24,t25,t26,t27,t28,t29,t30,t31,t32,t33,t34,t35,t36,t37,t38,t39,t40,t41,t42,t43,t44,t45,t46,t47,t48,t49,t50,t51,t52,t53,t54,t55,t56,t57,t58,t59,t60,t61,t62,t63,t64,t65,t66,t67,t68,t69,t70,t71,t72,t73,t74,t75,t76,t77,t78,t79,t80,t81,t82,t83,t84,t85,t86,t87,t88,t89,t90,t91,t92,t93,t94,t95,t96,t97,t98,t99]),
processing_elements([c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
a_type(c0,processing),
a_type(c1,processing),
a_type(c2,processing),
a_type(c3,processing),
a_type(c4,processing),
a_type(c5,processing),
a_type(c6,processing),
a_type(c7,processing),
a_type(c8,processing),
a_type(c9,processing),
a_type(c10,processing),
a_type(c11,processing),
a_type(c12,processing),
a_type(c13,processing),
a_type(c14,processing),
a_type(c15,processing),
a_type(c16,processing),
a_type(c17,processing),
a_type(c18,processing),
a_type(c19,processing),
am_PE_use(c0,[]),
am_PE_use(c1,[]),
am_PE_use(c2,[]),
am_PE_use(c3,[]),
am_PE_use(c4,[]),
am_PE_use(c5,[]),
am_PE_use(c6,[]),
am_PE_use(c7,[]),
am_PE_use(c8,[]),
am_PE_use(c9,[]),
am_PE_use(c10,[]),
am_PE_use(c11,[]),
am_PE_use(c12,[]),
am_PE_use(c13,[]),
am_PE_use(c14,[]),
am_PE_use(c15,[]),
am_PE_use(c16,[]),
am_PE_use(c17,[]),
am_PE_use(c18,[]),
am_PE_use(c19,[]),
ha_independent(c0),
ha_independent(c1),
ha_independent(c2),
ha_independent(c3),
ha_independent(c4),
ha_independent(c5),
ha_independent(c6),
ha_independent(c7),
ha_independent(c8),
ha_independent(c9),
ha_independent(c10),
ha_independent(c11),
ha_independent(c12),
ha_independent(c13),
ha_independent(c14),
ha_independent(c15),
ha_independent(c16),
ha_independent(c17),
ha_independent(c18),
ha_independent(c19),
dm_PE_allowed(t0,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t1,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t2,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t3,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t4,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t5,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t6,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t7,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t8,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t9,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t10,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t11,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t12,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t13,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t14,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t15,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t16,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t17,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t18,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t19,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t20,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t21,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t22,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t23,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t24,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t25,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t26,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t27,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t28,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t29,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t30,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t31,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t32,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t33,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t34,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t35,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t36,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t37,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t38,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t39,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t40,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t41,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t42,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t43,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t44,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t45,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t46,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t47,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t48,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t49,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t50,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t51,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t52,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t53,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t54,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t55,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t56,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t57,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t58,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t59,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t60,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t61,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t62,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t63,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t64,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t65,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t66,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t67,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t68,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t69,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t70,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t71,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t72,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t73,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t74,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t75,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t76,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t77,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t78,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t79,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t80,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t81,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t82,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t83,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t84,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t85,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t86,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t87,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t88,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t89,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t90,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t91,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t92,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t93,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t94,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t95,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t96,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t97,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t98,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_allowed(t99,[c0,c1,c2,c3,c4,c5,c6,c7,c8,c9,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19]),
dm_PE_scheduling(c0,t0, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t0, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t0, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t0, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t0, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t0, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t0, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t0, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t0, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t0, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t0, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t0, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t0, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t0, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t0, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t0, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t0, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t0, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t0, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t0, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t1, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t1, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t1, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t1, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t1, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t1, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t1, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t1, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t1, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t1, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t1, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t1, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t1, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t1, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t1, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t1, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t1, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t1, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t1, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t1, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t2, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t2, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t2, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t2, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t2, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t2, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t2, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t2, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t2, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t2, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t2, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t2, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t2, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t2, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t2, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t2, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t2, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t2, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t2, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t2, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t3, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t3, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t3, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t3, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t3, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t3, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t3, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t3, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t3, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t3, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t3, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t3, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t3, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t3, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t3, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t3, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t3, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t3, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t3, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t3, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t4, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t4, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t4, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t4, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t4, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t4, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t4, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t4, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t4, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t4, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t4, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t4, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t4, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t4, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t4, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t4, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t4, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t4, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t4, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t4, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t5, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t5, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t5, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t5, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t5, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t5, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t5, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t5, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t5, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t5, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t5, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t5, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t5, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t5, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t5, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t5, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t5, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t5, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t5, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t5, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t6, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t6, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t6, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t6, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t6, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t6, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t6, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t6, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t6, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t6, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t6, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t6, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t6, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t6, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t6, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t6, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t6, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t6, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t6, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t6, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t7, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t7, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t7, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t7, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t7, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t7, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t7, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t7, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t7, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t7, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t7, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t7, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t7, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t7, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t7, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t7, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t7, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t7, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t7, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t7, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t8, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t8, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t8, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t8, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t8, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t8, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t8, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t8, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t8, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t8, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t8, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t8, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t8, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t8, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t8, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t8, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t8, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t8, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t8, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t8, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t9, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t9, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t9, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t9, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t9, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t9, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t9, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t9, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t9, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t9, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t9, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t9, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t9, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t9, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t9, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t9, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t9, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t9, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t9, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t9, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t10, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t10, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t10, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t10, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t10, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t10, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t10, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t10, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t10, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t10, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t10, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t10, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t10, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t10, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t10, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t10, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t10, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t10, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t10, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t10, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t11, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t11, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t11, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t11, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t11, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t11, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t11, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t11, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t11, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t11, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t11, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t11, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t11, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t11, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t11, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t11, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t11, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t11, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t11, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t11, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t12, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t12, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t12, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t12, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t12, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t12, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t12, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t12, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t12, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t12, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t12, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t12, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t12, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t12, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t12, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t12, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t12, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t12, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t12, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t12, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t13, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t13, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t13, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t13, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t13, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t13, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t13, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t13, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t13, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t13, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t13, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t13, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t13, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t13, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t13, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t13, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t13, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t13, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t13, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t13, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t14, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t14, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t14, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t14, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t14, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t14, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t14, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t14, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t14, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t14, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t14, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t14, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t14, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t14, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t14, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t14, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t14, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t14, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t14, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t14, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t15, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t15, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t15, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t15, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t15, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t15, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t15, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t15, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t15, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t15, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t15, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t15, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t15, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t15, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t15, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t15, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t15, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t15, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t15, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t15, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t16, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t16, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t16, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t16, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t16, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t16, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t16, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t16, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t16, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t16, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t16, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t16, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t16, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t16, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t16, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t16, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t16, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t16, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t16, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t16, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t17, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t17, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t17, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t17, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t17, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t17, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t17, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t17, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t17, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t17, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t17, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t17, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t17, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t17, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t17, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t17, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t17, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t17, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t17, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t17, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t18, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t18, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t18, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t18, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t18, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t18, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t18, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t18, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t18, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t18, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t18, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t18, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t18, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t18, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t18, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t18, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t18, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t18, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t18, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t18, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t19, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t19, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t19, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t19, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t19, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t19, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t19, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t19, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t19, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t19, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t19, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t19, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t19, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t19, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t19, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t19, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t19, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t19, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t19, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t19, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t20, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t20, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t20, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t20, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t20, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t20, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t20, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t20, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t20, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t20, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t20, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t20, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t20, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t20, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t20, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t20, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t20, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t20, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t20, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t20, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t21, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t21, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t21, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t21, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t21, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t21, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t21, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t21, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t21, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t21, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t21, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t21, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t21, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t21, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t21, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t21, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t21, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t21, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t21, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t21, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t22, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t22, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t22, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t22, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t22, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t22, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t22, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t22, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t22, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t22, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t22, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t22, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t22, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t22, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t22, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t22, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t22, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t22, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t22, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t22, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t23, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t23, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t23, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t23, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t23, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t23, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t23, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t23, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t23, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t23, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t23, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t23, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t23, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t23, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t23, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t23, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t23, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t23, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t23, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t23, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t24, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t24, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t24, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t24, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t24, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t24, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t24, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t24, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t24, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t24, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t24, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t24, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t24, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t24, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t24, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t24, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t24, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t24, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t24, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t24, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t25, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t25, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t25, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t25, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t25, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t25, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t25, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t25, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t25, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t25, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t25, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t25, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t25, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t25, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t25, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t25, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t25, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t25, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t25, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t25, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t26, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t26, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t26, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t26, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t26, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t26, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t26, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t26, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t26, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t26, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t26, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t26, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t26, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t26, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t26, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t26, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t26, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t26, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t26, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t26, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t27, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t27, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t27, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t27, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t27, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t27, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t27, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t27, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t27, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t27, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t27, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t27, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t27, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t27, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t27, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t27, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t27, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t27, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t27, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t27, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t28, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t28, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t28, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t28, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t28, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t28, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t28, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t28, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t28, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t28, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t28, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t28, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t28, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t28, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t28, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t28, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t28, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t28, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t28, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t28, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t29, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t29, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t29, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t29, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t29, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t29, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t29, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t29, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t29, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t29, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t29, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t29, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t29, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t29, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t29, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t29, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t29, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t29, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t29, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t29, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t30, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t30, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t30, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t30, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t30, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t30, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t30, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t30, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t30, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t30, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t30, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t30, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t30, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t30, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t30, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t30, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t30, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t30, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t30, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t30, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t31, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t31, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t31, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t31, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t31, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t31, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t31, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t31, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t31, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t31, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t31, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t31, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t31, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t31, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t31, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t31, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t31, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t31, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t31, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t31, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t32, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t32, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t32, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t32, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t32, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t32, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t32, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t32, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t32, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t32, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t32, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t32, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t32, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t32, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t32, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t32, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t32, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t32, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t32, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t32, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t33, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t33, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t33, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t33, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t33, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t33, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t33, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t33, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t33, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t33, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t33, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t33, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t33, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t33, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t33, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t33, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t33, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t33, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t33, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t33, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t34, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t34, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t34, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t34, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t34, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t34, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t34, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t34, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t34, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t34, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t34, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t34, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t34, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t34, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t34, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t34, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t34, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t34, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t34, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t34, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t35, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t35, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t35, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t35, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t35, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t35, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t35, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t35, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t35, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t35, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t35, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t35, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t35, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t35, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t35, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t35, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t35, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t35, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t35, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t35, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t36, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t36, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t36, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t36, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t36, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t36, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t36, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t36, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t36, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t36, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t36, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t36, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t36, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t36, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t36, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t36, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t36, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t36, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t36, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t36, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t37, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t37, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t37, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t37, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t37, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t37, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t37, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t37, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t37, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t37, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t37, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t37, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t37, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t37, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t37, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t37, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t37, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t37, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t37, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t37, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t38, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t38, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t38, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t38, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t38, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t38, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t38, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t38, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t38, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t38, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t38, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t38, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t38, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t38, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t38, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t38, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t38, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t38, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t38, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t38, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t39, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t39, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t39, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t39, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t39, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t39, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t39, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t39, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t39, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t39, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t39, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t39, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t39, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t39, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t39, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t39, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t39, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t39, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t39, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t39, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t40, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t40, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t40, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t40, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t40, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t40, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t40, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t40, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t40, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t40, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t40, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t40, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t40, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t40, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t40, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t40, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t40, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t40, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t40, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t40, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t41, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t41, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t41, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t41, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t41, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t41, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t41, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t41, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t41, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t41, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t41, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t41, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t41, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t41, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t41, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t41, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t41, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t41, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t41, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t41, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t42, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t42, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t42, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t42, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t42, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t42, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t42, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t42, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t42, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t42, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t42, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t42, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t42, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t42, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t42, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t42, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t42, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t42, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t42, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t42, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t43, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t43, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t43, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t43, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t43, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t43, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t43, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t43, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t43, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t43, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t43, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t43, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t43, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t43, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t43, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t43, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t43, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t43, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t43, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t43, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t44, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t44, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t44, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t44, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t44, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t44, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t44, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t44, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t44, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t44, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t44, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t44, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t44, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t44, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t44, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t44, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t44, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t44, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t44, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t44, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t45, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t45, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t45, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t45, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t45, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t45, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t45, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t45, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t45, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t45, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t45, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t45, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t45, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t45, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t45, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t45, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t45, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t45, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t45, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t45, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t46, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t46, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t46, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t46, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t46, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t46, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t46, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t46, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t46, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t46, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t46, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t46, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t46, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t46, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t46, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t46, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t46, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t46, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t46, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t46, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t47, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t47, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t47, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t47, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t47, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t47, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t47, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t47, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t47, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t47, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t47, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t47, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t47, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t47, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t47, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t47, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t47, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t47, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t47, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t47, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t48, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t48, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t48, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t48, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t48, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t48, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t48, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t48, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t48, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t48, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t48, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t48, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t48, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t48, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t48, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t48, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t48, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t48, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t48, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t48, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t49, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t49, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t49, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t49, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t49, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t49, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t49, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t49, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t49, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t49, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t49, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t49, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t49, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t49, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t49, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t49, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t49, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t49, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t49, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t49, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t50, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t50, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t50, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t50, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t50, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t50, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t50, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t50, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t50, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t50, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t50, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t50, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t50, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t50, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t50, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t50, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t50, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t50, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t50, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t50, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t51, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t51, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t51, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t51, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t51, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t51, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t51, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t51, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t51, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t51, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t51, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t51, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t51, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t51, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t51, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t51, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t51, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t51, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t51, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t51, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t52, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t52, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t52, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t52, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t52, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t52, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t52, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t52, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t52, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t52, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t52, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t52, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t52, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t52, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t52, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t52, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t52, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t52, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t52, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t52, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t53, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t53, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t53, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t53, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t53, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t53, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t53, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t53, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t53, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t53, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t53, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t53, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t53, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t53, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t53, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t53, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t53, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t53, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t53, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t53, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t54, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t54, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t54, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t54, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t54, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t54, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t54, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t54, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t54, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t54, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t54, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t54, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t54, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t54, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t54, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t54, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t54, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t54, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t54, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t54, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t55, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t55, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t55, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t55, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t55, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t55, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t55, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t55, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t55, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t55, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t55, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t55, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t55, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t55, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t55, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t55, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t55, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t55, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t55, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t55, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t56, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t56, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t56, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t56, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t56, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t56, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t56, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t56, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t56, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t56, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t56, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t56, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t56, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t56, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t56, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t56, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t56, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t56, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t56, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t56, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t57, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t57, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t57, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t57, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t57, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t57, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t57, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t57, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t57, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t57, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t57, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t57, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t57, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t57, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t57, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t57, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t57, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t57, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t57, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t57, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t58, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t58, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t58, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t58, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t58, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t58, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t58, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t58, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t58, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t58, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t58, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t58, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t58, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t58, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t58, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t58, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t58, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t58, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t58, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t58, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t59, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t59, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t59, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t59, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t59, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t59, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t59, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t59, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t59, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t59, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t59, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t59, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t59, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t59, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t59, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t59, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t59, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t59, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t59, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t59, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t60, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t60, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t60, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t60, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t60, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t60, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t60, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t60, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t60, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t60, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t60, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t60, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t60, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t60, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t60, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t60, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t60, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t60, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t60, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t60, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t61, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t61, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t61, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t61, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t61, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t61, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t61, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t61, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t61, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t61, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t61, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t61, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t61, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t61, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t61, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t61, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t61, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t61, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t61, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t61, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t62, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t62, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t62, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t62, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t62, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t62, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t62, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t62, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t62, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t62, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t62, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t62, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t62, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t62, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t62, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t62, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t62, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t62, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t62, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t62, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t63, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t63, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t63, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t63, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t63, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t63, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t63, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t63, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t63, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t63, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t63, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t63, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t63, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t63, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t63, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t63, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t63, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t63, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t63, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t63, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t64, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t64, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t64, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t64, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t64, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t64, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t64, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t64, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t64, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t64, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t64, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t64, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t64, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t64, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t64, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t64, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t64, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t64, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t64, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t64, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t65, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t65, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t65, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t65, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t65, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t65, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t65, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t65, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t65, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t65, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t65, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t65, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t65, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t65, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t65, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t65, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t65, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t65, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t65, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t65, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t66, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t66, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t66, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t66, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t66, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t66, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t66, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t66, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t66, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t66, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t66, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t66, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t66, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t66, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t66, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t66, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t66, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t66, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t66, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t66, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t67, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t67, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t67, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t67, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t67, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t67, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t67, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t67, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t67, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t67, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t67, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t67, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t67, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t67, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t67, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t67, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t67, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t67, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t67, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t67, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t68, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t68, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t68, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t68, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t68, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t68, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t68, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t68, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t68, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t68, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t68, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t68, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t68, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t68, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t68, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t68, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t68, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t68, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t68, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t68, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t69, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t69, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t69, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t69, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t69, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t69, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t69, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t69, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t69, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t69, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t69, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t69, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t69, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t69, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t69, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t69, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t69, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t69, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t69, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t69, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t70, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t70, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t70, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t70, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t70, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t70, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t70, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t70, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t70, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t70, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t70, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t70, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t70, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t70, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t70, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t70, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t70, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t70, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t70, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t70, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t71, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t71, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t71, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t71, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t71, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t71, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t71, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t71, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t71, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t71, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t71, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t71, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t71, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t71, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t71, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t71, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t71, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t71, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t71, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t71, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t72, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t72, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t72, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t72, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t72, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t72, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t72, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t72, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t72, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t72, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t72, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t72, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t72, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t72, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t72, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t72, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t72, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t72, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t72, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t72, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t73, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t73, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t73, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t73, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t73, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t73, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t73, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t73, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t73, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t73, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t73, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t73, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t73, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t73, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t73, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t73, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t73, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t73, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t73, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t73, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t74, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t74, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t74, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t74, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t74, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t74, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t74, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t74, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t74, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t74, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t74, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t74, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t74, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t74, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t74, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t74, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t74, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t74, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t74, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t74, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t75, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t75, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t75, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t75, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t75, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t75, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t75, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t75, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t75, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t75, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t75, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t75, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t75, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t75, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t75, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t75, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t75, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t75, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t75, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t75, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t76, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t76, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t76, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t76, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t76, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t76, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t76, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t76, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t76, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t76, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t76, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t76, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t76, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t76, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t76, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t76, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t76, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t76, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t76, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t76, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t77, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t77, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t77, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t77, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t77, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t77, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t77, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t77, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t77, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t77, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t77, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t77, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t77, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t77, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t77, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t77, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t77, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t77, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t77, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t77, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t78, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t78, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t78, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t78, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t78, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t78, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t78, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t78, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t78, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t78, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t78, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t78, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t78, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t78, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t78, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t78, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t78, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t78, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t78, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t78, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t79, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t79, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t79, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t79, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t79, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t79, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t79, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t79, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t79, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t79, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t79, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t79, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t79, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t79, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t79, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t79, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t79, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t79, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t79, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t79, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t80, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t80, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t80, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t80, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t80, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t80, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t80, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t80, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t80, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t80, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t80, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t80, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t80, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t80, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t80, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t80, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t80, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t80, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t80, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t80, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t81, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t81, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t81, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t81, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t81, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t81, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t81, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t81, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t81, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t81, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t81, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t81, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t81, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t81, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t81, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t81, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t81, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t81, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t81, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t81, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t82, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t82, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t82, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t82, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t82, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t82, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t82, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t82, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t82, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t82, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t82, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t82, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t82, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t82, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t82, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t82, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t82, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t82, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t82, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t82, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t83, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t83, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t83, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t83, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t83, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t83, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t83, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t83, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t83, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t83, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t83, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t83, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t83, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t83, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t83, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t83, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t83, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t83, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t83, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t83, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t84, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t84, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t84, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t84, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t84, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t84, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t84, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t84, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t84, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t84, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t84, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t84, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t84, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t84, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t84, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t84, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t84, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t84, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t84, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t84, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t85, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t85, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t85, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t85, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t85, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t85, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t85, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t85, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t85, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t85, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t85, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t85, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t85, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t85, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t85, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t85, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t85, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t85, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t85, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t85, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t86, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t86, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t86, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t86, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t86, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t86, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t86, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t86, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t86, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t86, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t86, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t86, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t86, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t86, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t86, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t86, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t86, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t86, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t86, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t86, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t87, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t87, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t87, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t87, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t87, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t87, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t87, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t87, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t87, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t87, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t87, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t87, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t87, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t87, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t87, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t87, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t87, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t87, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t87, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t87, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t88, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t88, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t88, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t88, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t88, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t88, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t88, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t88, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t88, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t88, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t88, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t88, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t88, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t88, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t88, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t88, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t88, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t88, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t88, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t88, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t89, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t89, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t89, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t89, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t89, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t89, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t89, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t89, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t89, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t89, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t89, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t89, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t89, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t89, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t89, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t89, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t89, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t89, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t89, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t89, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t90, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t90, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t90, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t90, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t90, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t90, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t90, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t90, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t90, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t90, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t90, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t90, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t90, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t90, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t90, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t90, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t90, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t90, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t90, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t90, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t91, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t91, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t91, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t91, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t91, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t91, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t91, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t91, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t91, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t91, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t91, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t91, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t91, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t91, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t91, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t91, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t91, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t91, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t91, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t91, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t92, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t92, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t92, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t92, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t92, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t92, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t92, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t92, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t92, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t92, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t92, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t92, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t92, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t92, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t92, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t92, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t92, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t92, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t92, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t92, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t93, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t93, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t93, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t93, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t93, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t93, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t93, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t93, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t93, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t93, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t93, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t93, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t93, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t93, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t93, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t93, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t93, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t93, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t93, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t93, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t94, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t94, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t94, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t94, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t94, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t94, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t94, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t94, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t94, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t94, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t94, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t94, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t94, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t94, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t94, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t94, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t94, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t94, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t94, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t94, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t95, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t95, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t95, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t95, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t95, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t95, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t95, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t95, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t95, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t95, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t95, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t95, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t95, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t95, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t95, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t95, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t95, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t95, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t95, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t95, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t96, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t96, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t96, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t96, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t96, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t96, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t96, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t96, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t96, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t96, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t96, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t96, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t96, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t96, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t96, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t96, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t96, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t96, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t96, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t96, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t97, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t97, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t97, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t97, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t97, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t97, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t97, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t97, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t97, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t97, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t97, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t97, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t97, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t97, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t97, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t97, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t97, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t97, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t97, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t97, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t98, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t98, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t98, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t98, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t98, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t98, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t98, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t98, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t98, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t98, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t98, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t98, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t98, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t98, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t98, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t98, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t98, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t98, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t98, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t98, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c0,t99, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c1,t99, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c2,t99, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c3,t99, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c4,t99, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c5,t99, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c6,t99, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c7,t99, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c8,t99, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c9,t99, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c10,t99, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c11,t99, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c12,t99, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c13,t99, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c14,t99, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c15,t99, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c16,t99, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c17,t99, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c18,t99, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
dm_PE_scheduling(c19,t99, sched(proportionate_fair_pf_protocol,preemptive,time_unit_migration_type)),
a_proc_type(c0,processor),
a_proc_type(c1,processor),
a_proc_type(c2,processor),
a_proc_type(c3,processor),
a_proc_type(c4,processor),
a_proc_type(c5,processor),
a_proc_type(c6,processor),
a_proc_type(c7,processor),
a_proc_type(c8,processor),
a_proc_type(c9,processor),
a_proc_type(c10,processor),
a_proc_type(c11,processor),
a_proc_type(c12,processor),
a_proc_type(c13,processor),
a_proc_type(c14,processor),
a_proc_type(c15,processor),
a_proc_type(c16,processor),
a_proc_type(c17,processor),
a_proc_type(c18,processor),
a_proc_type(c19,processor),
a_proc_isa(c0,i386),
a_proc_isa(c1,i386),
a_proc_isa(c2,i386),
a_proc_isa(c3,i386),
a_proc_isa(c4,i386),
a_proc_isa(c5,i386),
a_proc_isa(c6,i386),
a_proc_isa(c7,i386),
a_proc_isa(c8,i386),
a_proc_isa(c9,i386),
a_proc_isa(c10,i386),
a_proc_isa(c11,i386),
a_proc_isa(c12,i386),
a_proc_isa(c13,i386),
a_proc_isa(c14,i386),
a_proc_isa(c15,i386),
a_proc_isa(c16,i386),
a_proc_isa(c17,i386),
a_proc_isa(c18,i386),
a_proc_isa(c19,i386),
a_proc_speed(c0, 100000000),
a_proc_speed(c1, 100000000),
a_proc_speed(c2, 100000000),
a_proc_speed(c3, 100000000),
a_proc_speed(c4, 100000000),
a_proc_speed(c5, 100000000),
a_proc_speed(c6, 100000000),
a_proc_speed(c7, 100000000),
a_proc_speed(c8, 100000000),
a_proc_speed(c9, 100000000),
a_proc_speed(c10, 100000000),
a_proc_speed(c11, 100000000),
a_proc_speed(c12, 100000000),
a_proc_speed(c13, 100000000),
a_proc_speed(c14, 100000000),
a_proc_speed(c15, 100000000),
a_proc_speed(c16, 100000000),
a_proc_speed(c17, 100000000),
a_proc_speed(c18, 100000000),
a_proc_speed(c19, 100000000),
end_with_success ].