+ unsigned int ctr;
+ const char *platform_file;
+ const SD_workstation_t *workstations;
+ const char *name1;
+ const char *name2;
+ double computation_amount1;
+ double computation_amount2;
+ double communication_amount12;
+ double communication_amount21;
+ const SD_link_t *route;
+ int route_size;
+ SD_task_t task, taskA, taskB, taskC, taskD, checkB, checkD;
+ xbt_dynar_t changed_tasks;
+ xbt_ex_t ex;
+ const int workstation_number = 2;
+ SD_workstation_t workstation_list[2];
+ double computation_amount[2];
+ double communication_amount[4] = { 0 };
+ double rate = -1.0;
+ SD_workstation_t w1, w2;