iteration;machineStates;compositionStates;localControllerStates;controlablePathStates;countTransitions;controllablePathms;findPathMS;minimizedStates;totalTimeMS;wsoeTimeMS;localControllerMS;heuristicRunningTimeMS 1;[7];7;7;7;7;1;0;5;-1;2;55;1 2;[2];2;2;2;4;0;0;2;-1;1;0;0 3;[7];7;7;7;7;0;0;5;-1;1;14;0 4;[2];2;2;2;4;0;0;2;-1;0;0;0 5;[2, 5];10;10;10;22;0;1;10;-1;4;17;3 6;[2, 5];10;10;10;22;0;0;10;-1;1;16;1 7;[10, 10];12;-1;-1;-1;-1;-1;-1;237;-1;-1;0