% dp_check('model_dp1_dp3_20t_20p').

archi_model_spec("model_dp1_dp3_20t_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]),
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_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)),
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 ].