% dp_check('model_dp1_dp3_4PEperT_100t_25p').

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