@RELATION algorithm_runs_premarshalling_astar_2013 @ATTRIBUTE instance_id STRING @ATTRIBUTE repetition NUMERIC @ATTRIBUTE algorithm STRING @ATTRIBUTE runtime NUMERIC @ATTRIBUTE runstatus {ok, timeout, memout, not_applicable, crash, other} @DATA BF10_cpmp_16_8_77_16_58_13,1,astar-symmulgt-transmul,3600,memout BF10_cpmp_16_8_77_16_58_13,1,astar-symmullt-transmul,3600,memout BF10_cpmp_16_8_77_16_58_13,1,idastar-symmulgt-transmul,311.863,ok BF10_cpmp_16_8_77_16_58_13,1,idastar-symmullt-transmul,3600,timeout BF10_cpmp_16_8_77_16_58_3,1,astar-symmulgt-transmul,3600,memout BF10_cpmp_16_8_77_16_58_3,1,astar-symmullt-transmul,3600,memout BF10_cpmp_16_8_77_16_58_3,1,idastar-symmulgt-transmul,78.121,ok BF10_cpmp_16_8_77_16_58_3,1,idastar-symmullt-transmul,600.402,ok BF10_cpmp_16_8_77_16_58_8,1,astar-symmulgt-transmul,3600,memout BF10_cpmp_16_8_77_16_58_8,1,astar-symmullt-transmul,3600,memout BF10_cpmp_16_8_77_16_58_8,1,idastar-symmulgt-transmul,0.012,ok BF10_cpmp_16_8_77_16_58_8,1,idastar-symmullt-transmul,60.72,ok BF11_cpmp_16_8_77_31_47_10,1,astar-symmulgt-transmul,3600,memout BF11_cpmp_16_8_77_31_47_10,1,astar-symmullt-transmul,92.986,ok BF11_cpmp_16_8_77_31_47_10,1,idastar-symmulgt-transmul,2031.039,ok BF11_cpmp_16_8_77_31_47_10,1,idastar-symmullt-transmul,141.857,ok BF11_cpmp_16_8_77_31_47_11,1,astar-symmulgt-transmul,3600,memout BF11_cpmp_16_8_77_31_47_11,1,astar-symmullt-transmul,3600,memout BF11_cpmp_16_8_77_31_47_11,1,idastar-symmulgt-transmul,422.53,ok BF11_cpmp_16_8_77_31_47_11,1,idastar-symmullt-transmul,3600,timeout BF11_cpmp_16_8_77_31_47_16,1,astar-symmulgt-transmul,182.019,ok BF11_cpmp_16_8_77_31_47_16,1,astar-symmullt-transmul,3600,memout BF11_cpmp_16_8_77_31_47_16,1,idastar-symmulgt-transmul,66.988,ok BF11_cpmp_16_8_77_31_47_16,1,idastar-symmullt-transmul,249.488,ok BF11_cpmp_16_8_77_31_47_6,1,astar-symmulgt-transmul,3600,memout BF11_cpmp_16_8_77_31_47_6,1,astar-symmullt-transmul,3600,memout BF11_cpmp_16_8_77_31_47_6,1,idastar-symmulgt-transmul,3600,timeout BF11_cpmp_16_8_77_31_47_6,1,idastar-symmullt-transmul,1121.786,ok BF11_cpmp_16_8_77_31_47_7,1,astar-symmulgt-transmul,2.28,ok BF11_cpmp_16_8_77_31_47_7,1,astar-symmullt-transmul,3600,memout BF11_cpmp_16_8_77_31_47_7,1,idastar-symmulgt-transmul,14.481,ok BF11_cpmp_16_8_77_31_47_7,1,idastar-symmullt-transmul,758.815,ok BF12_cpmp_16_8_77_31_58_14,1,astar-symmulgt-transmul,3600,memout BF12_cpmp_16_8_77_31_58_14,1,astar-symmullt-transmul,3600,memout BF12_cpmp_16_8_77_31_58_14,1,idastar-symmulgt-transmul,2816.652,ok BF12_cpmp_16_8_77_31_58_14,1,idastar-symmullt-transmul,1246.814,ok BF17_cpmp_20_5_60_12_36_1,1,astar-symmulgt-transmul,0.052,ok BF17_cpmp_20_5_60_12_36_1,1,astar-symmullt-transmul,0.332,ok BF17_cpmp_20_5_60_12_36_1,1,idastar-symmulgt-transmul,0.004,ok BF17_cpmp_20_5_60_12_36_1,1,idastar-symmullt-transmul,0.076,ok BF17_cpmp_20_5_60_12_36_10,1,astar-symmulgt-transmul,3600,memout BF17_cpmp_20_5_60_12_36_10,1,astar-symmullt-transmul,3600,memout BF17_cpmp_20_5_60_12_36_10,1,idastar-symmulgt-transmul,0.004,ok BF17_cpmp_20_5_60_12_36_10,1,idastar-symmullt-transmul,0.032,ok BF17_cpmp_20_5_60_12_36_11,1,astar-symmulgt-transmul,1.096,ok BF17_cpmp_20_5_60_12_36_11,1,astar-symmullt-transmul,3600,memout BF17_cpmp_20_5_60_12_36_11,1,idastar-symmulgt-transmul,3600,timeout BF17_cpmp_20_5_60_12_36_11,1,idastar-symmullt-transmul,3600,timeout BF17_cpmp_20_5_60_12_36_12,1,astar-symmulgt-transmul,10.053,ok BF17_cpmp_20_5_60_12_36_12,1,astar-symmullt-transmul,0.024,ok BF17_cpmp_20_5_60_12_36_12,1,idastar-symmulgt-transmul,3600,timeout BF17_cpmp_20_5_60_12_36_12,1,idastar-symmullt-transmul,3600,timeout BF17_cpmp_20_5_60_12_36_15,1,astar-symmulgt-transmul,0.024,ok BF17_cpmp_20_5_60_12_36_15,1,astar-symmullt-transmul,0.616,ok BF17_cpmp_20_5_60_12_36_15,1,idastar-symmulgt-transmul,0.004,ok BF17_cpmp_20_5_60_12_36_15,1,idastar-symmullt-transmul,0.004,ok BF17_cpmp_20_5_60_12_36_16,1,astar-symmulgt-transmul,1.008,ok BF17_cpmp_20_5_60_12_36_16,1,astar-symmullt-transmul,106.643,ok BF17_cpmp_20_5_60_12_36_16,1,idastar-symmulgt-transmul,2602.087,ok BF17_cpmp_20_5_60_12_36_16,1,idastar-symmullt-transmul,38.226,ok BF17_cpmp_20_5_60_12_36_17,1,astar-symmulgt-transmul,33.774,ok BF17_cpmp_20_5_60_12_36_17,1,astar-symmullt-transmul,22.953,ok BF17_cpmp_20_5_60_12_36_17,1,idastar-symmulgt-transmul,0.004,ok BF17_cpmp_20_5_60_12_36_17,1,idastar-symmullt-transmul,89.422,ok BF17_cpmp_20_5_60_12_36_2,1,astar-symmulgt-transmul,0.044,ok BF17_cpmp_20_5_60_12_36_2,1,astar-symmullt-transmul,0.08,ok BF17_cpmp_20_5_60_12_36_2,1,idastar-symmulgt-transmul,3600,timeout BF17_cpmp_20_5_60_12_36_2,1,idastar-symmullt-transmul,3600,timeout BF17_cpmp_20_5_60_12_36_20,1,astar-symmulgt-transmul,0.024,ok BF17_cpmp_20_5_60_12_36_20,1,astar-symmullt-transmul,0.1,ok BF17_cpmp_20_5_60_12_36_20,1,idastar-symmulgt-transmul,3600,timeout BF17_cpmp_20_5_60_12_36_20,1,idastar-symmullt-transmul,67.956,ok BF17_cpmp_20_5_60_12_36_3,1,astar-symmulgt-transmul,0.028,ok BF17_cpmp_20_5_60_12_36_3,1,astar-symmullt-transmul,0.092,ok BF17_cpmp_20_5_60_12_36_3,1,idastar-symmulgt-transmul,3600,timeout BF17_cpmp_20_5_60_12_36_3,1,idastar-symmullt-transmul,3600,timeout BF17_cpmp_20_5_60_12_36_4,1,astar-symmulgt-transmul,171.987,ok BF17_cpmp_20_5_60_12_36_4,1,astar-symmullt-transmul,0.032,ok BF17_cpmp_20_5_60_12_36_4,1,idastar-symmulgt-transmul,3600,timeout BF17_cpmp_20_5_60_12_36_4,1,idastar-symmullt-transmul,3600,timeout BF17_cpmp_20_5_60_12_36_5,1,astar-symmulgt-transmul,3600,memout BF17_cpmp_20_5_60_12_36_5,1,astar-symmullt-transmul,2.64,ok BF17_cpmp_20_5_60_12_36_5,1,idastar-symmulgt-transmul,3600,timeout BF17_cpmp_20_5_60_12_36_5,1,idastar-symmullt-transmul,3600,timeout BF17_cpmp_20_5_60_12_36_6,1,astar-symmulgt-transmul,0.028,ok BF17_cpmp_20_5_60_12_36_6,1,astar-symmullt-transmul,3600,memout BF17_cpmp_20_5_60_12_36_6,1,idastar-symmulgt-transmul,0.004,ok BF17_cpmp_20_5_60_12_36_6,1,idastar-symmullt-transmul,3600,timeout BF17_cpmp_20_5_60_12_36_7,1,astar-symmulgt-transmul,0.156,ok BF17_cpmp_20_5_60_12_36_7,1,astar-symmullt-transmul,3600,memout BF17_cpmp_20_5_60_12_36_7,1,idastar-symmulgt-transmul,3600,timeout BF17_cpmp_20_5_60_12_36_7,1,idastar-symmullt-transmul,3600,timeout BF17_cpmp_20_5_60_12_36_8,1,astar-symmulgt-transmul,1.46,ok BF17_cpmp_20_5_60_12_36_8,1,astar-symmullt-transmul,0.04,ok BF17_cpmp_20_5_60_12_36_8,1,idastar-symmulgt-transmul,3600,timeout BF17_cpmp_20_5_60_12_36_8,1,idastar-symmullt-transmul,1.9,ok BF18_cpmp_20_5_60_12_45_1,1,astar-symmulgt-transmul,0.06,ok BF18_cpmp_20_5_60_12_45_1,1,astar-symmullt-transmul,3600,memout BF18_cpmp_20_5_60_12_45_1,1,idastar-symmulgt-transmul,3600,timeout BF18_cpmp_20_5_60_12_45_1,1,idastar-symmullt-transmul,526.597,ok BF18_cpmp_20_5_60_12_45_12,1,astar-symmulgt-transmul,3600,memout BF18_cpmp_20_5_60_12_45_12,1,astar-symmullt-transmul,0.132,ok BF18_cpmp_20_5_60_12_45_12,1,idastar-symmulgt-transmul,0.004,ok BF18_cpmp_20_5_60_12_45_12,1,idastar-symmullt-transmul,36.754,ok BF18_cpmp_20_5_60_12_45_13,1,astar-symmulgt-transmul,0.032,ok BF18_cpmp_20_5_60_12_45_13,1,astar-symmullt-transmul,3600,memout BF18_cpmp_20_5_60_12_45_13,1,idastar-symmulgt-transmul,3600,timeout BF18_cpmp_20_5_60_12_45_13,1,idastar-symmullt-transmul,79.909,ok BF18_cpmp_20_5_60_12_45_14,1,astar-symmulgt-transmul,88.109,ok BF18_cpmp_20_5_60_12_45_14,1,astar-symmullt-transmul,162.306,ok BF18_cpmp_20_5_60_12_45_14,1,idastar-symmulgt-transmul,0.004,ok BF18_cpmp_20_5_60_12_45_14,1,idastar-symmullt-transmul,68.552,ok BF18_cpmp_20_5_60_12_45_15,1,astar-symmulgt-transmul,0.036,ok BF18_cpmp_20_5_60_12_45_15,1,astar-symmullt-transmul,87.281,ok BF18_cpmp_20_5_60_12_45_15,1,idastar-symmulgt-transmul,123.636,ok BF18_cpmp_20_5_60_12_45_15,1,idastar-symmullt-transmul,0.124,ok BF18_cpmp_20_5_60_12_45_16,1,astar-symmulgt-transmul,0.144,ok BF18_cpmp_20_5_60_12_45_16,1,astar-symmullt-transmul,0.032,ok BF18_cpmp_20_5_60_12_45_16,1,idastar-symmulgt-transmul,0.004,ok BF18_cpmp_20_5_60_12_45_16,1,idastar-symmullt-transmul,0.008,ok BF18_cpmp_20_5_60_12_45_17,1,astar-symmulgt-transmul,0.04,ok BF18_cpmp_20_5_60_12_45_17,1,astar-symmullt-transmul,0.056,ok BF18_cpmp_20_5_60_12_45_17,1,idastar-symmulgt-transmul,0.004,ok BF18_cpmp_20_5_60_12_45_17,1,idastar-symmullt-transmul,3600,timeout BF18_cpmp_20_5_60_12_45_18,1,astar-symmulgt-transmul,0.248,ok BF18_cpmp_20_5_60_12_45_18,1,astar-symmullt-transmul,3600,memout BF18_cpmp_20_5_60_12_45_18,1,idastar-symmulgt-transmul,0.004,ok BF18_cpmp_20_5_60_12_45_18,1,idastar-symmullt-transmul,3.552,ok BF18_cpmp_20_5_60_12_45_19,1,astar-symmulgt-transmul,3600,memout BF18_cpmp_20_5_60_12_45_19,1,astar-symmullt-transmul,3600,memout BF18_cpmp_20_5_60_12_45_19,1,idastar-symmulgt-transmul,0.004,ok BF18_cpmp_20_5_60_12_45_19,1,idastar-symmullt-transmul,0.008,ok BF18_cpmp_20_5_60_12_45_2,1,astar-symmulgt-transmul,0.352,ok BF18_cpmp_20_5_60_12_45_2,1,astar-symmullt-transmul,20.105,ok BF18_cpmp_20_5_60_12_45_2,1,idastar-symmulgt-transmul,0.004,ok BF18_cpmp_20_5_60_12_45_2,1,idastar-symmullt-transmul,6.752,ok BF18_cpmp_20_5_60_12_45_3,1,astar-symmulgt-transmul,5.912,ok BF18_cpmp_20_5_60_12_45_3,1,astar-symmullt-transmul,3600,memout BF18_cpmp_20_5_60_12_45_3,1,idastar-symmulgt-transmul,3600,timeout BF18_cpmp_20_5_60_12_45_3,1,idastar-symmullt-transmul,3600,timeout BF18_cpmp_20_5_60_12_45_4,1,astar-symmulgt-transmul,0.044,ok BF18_cpmp_20_5_60_12_45_4,1,astar-symmullt-transmul,3600,memout BF18_cpmp_20_5_60_12_45_4,1,idastar-symmulgt-transmul,0.06,ok BF18_cpmp_20_5_60_12_45_4,1,idastar-symmullt-transmul,3600,timeout BF18_cpmp_20_5_60_12_45_5,1,astar-symmulgt-transmul,3600,memout BF18_cpmp_20_5_60_12_45_5,1,astar-symmullt-transmul,0.032,ok BF18_cpmp_20_5_60_12_45_5,1,idastar-symmulgt-transmul,0.116,ok BF18_cpmp_20_5_60_12_45_5,1,idastar-symmullt-transmul,3600,timeout BF18_cpmp_20_5_60_12_45_6,1,astar-symmulgt-transmul,3600,memout BF18_cpmp_20_5_60_12_45_6,1,astar-symmullt-transmul,3600,memout BF18_cpmp_20_5_60_12_45_6,1,idastar-symmulgt-transmul,0.004,ok BF18_cpmp_20_5_60_12_45_6,1,idastar-symmullt-transmul,3600,timeout BF18_cpmp_20_5_60_12_45_7,1,astar-symmulgt-transmul,1.256,ok BF18_cpmp_20_5_60_12_45_7,1,astar-symmullt-transmul,3600,memout BF18_cpmp_20_5_60_12_45_7,1,idastar-symmulgt-transmul,0.004,ok BF18_cpmp_20_5_60_12_45_7,1,idastar-symmullt-transmul,3600,timeout BF18_cpmp_20_5_60_12_45_8,1,astar-symmulgt-transmul,1.6,ok BF18_cpmp_20_5_60_12_45_8,1,astar-symmullt-transmul,167.146,ok BF18_cpmp_20_5_60_12_45_8,1,idastar-symmulgt-transmul,0.004,ok BF18_cpmp_20_5_60_12_45_8,1,idastar-symmullt-transmul,2.684,ok BF18_cpmp_20_5_60_12_45_9,1,astar-symmulgt-transmul,3600,memout BF18_cpmp_20_5_60_12_45_9,1,astar-symmullt-transmul,0.028,ok BF18_cpmp_20_5_60_12_45_9,1,idastar-symmulgt-transmul,0.004,ok BF18_cpmp_20_5_60_12_45_9,1,idastar-symmullt-transmul,0.004,ok BF19_cpmp_20_5_60_24_36_1,1,astar-symmulgt-transmul,3600,memout BF19_cpmp_20_5_60_24_36_1,1,astar-symmullt-transmul,3600,memout BF19_cpmp_20_5_60_24_36_1,1,idastar-symmulgt-transmul,1.788,ok BF19_cpmp_20_5_60_24_36_1,1,idastar-symmullt-transmul,3600,timeout BF19_cpmp_20_5_60_24_36_10,1,astar-symmulgt-transmul,3600,memout BF19_cpmp_20_5_60_24_36_10,1,astar-symmullt-transmul,321.764,ok BF19_cpmp_20_5_60_24_36_10,1,idastar-symmulgt-transmul,1.528,ok BF19_cpmp_20_5_60_24_36_10,1,idastar-symmullt-transmul,37.138,ok BF19_cpmp_20_5_60_24_36_11,1,astar-symmulgt-transmul,3600,memout BF19_cpmp_20_5_60_24_36_11,1,astar-symmullt-transmul,1.392,ok BF19_cpmp_20_5_60_24_36_11,1,idastar-symmulgt-transmul,0.004,ok BF19_cpmp_20_5_60_24_36_11,1,idastar-symmullt-transmul,1.036,ok BF19_cpmp_20_5_60_24_36_14,1,astar-symmulgt-transmul,0.036,ok BF19_cpmp_20_5_60_24_36_14,1,astar-symmullt-transmul,3600,memout BF19_cpmp_20_5_60_24_36_14,1,idastar-symmulgt-transmul,0.004,ok BF19_cpmp_20_5_60_24_36_14,1,idastar-symmullt-transmul,1490.277,ok BF19_cpmp_20_5_60_24_36_15,1,astar-symmulgt-transmul,3600,memout BF19_cpmp_20_5_60_24_36_15,1,astar-symmullt-transmul,247.087,ok BF19_cpmp_20_5_60_24_36_15,1,idastar-symmulgt-transmul,3600,timeout BF19_cpmp_20_5_60_24_36_15,1,idastar-symmullt-transmul,3600,timeout BF19_cpmp_20_5_60_24_36_16,1,astar-symmulgt-transmul,6.66,ok BF19_cpmp_20_5_60_24_36_16,1,astar-symmullt-transmul,0.18,ok BF19_cpmp_20_5_60_24_36_16,1,idastar-symmulgt-transmul,3600,timeout BF19_cpmp_20_5_60_24_36_16,1,idastar-symmullt-transmul,3600,timeout BF19_cpmp_20_5_60_24_36_17,1,astar-symmulgt-transmul,0.036,ok BF19_cpmp_20_5_60_24_36_17,1,astar-symmullt-transmul,3600,memout BF19_cpmp_20_5_60_24_36_17,1,idastar-symmulgt-transmul,7.768,ok BF19_cpmp_20_5_60_24_36_17,1,idastar-symmullt-transmul,3600,timeout BF19_cpmp_20_5_60_24_36_18,1,astar-symmulgt-transmul,188.192,ok BF19_cpmp_20_5_60_24_36_18,1,astar-symmullt-transmul,14.485,ok BF19_cpmp_20_5_60_24_36_18,1,idastar-symmulgt-transmul,0.016,ok BF19_cpmp_20_5_60_24_36_18,1,idastar-symmullt-transmul,2.704,ok BF19_cpmp_20_5_60_24_36_2,1,astar-symmulgt-transmul,1.948,ok BF19_cpmp_20_5_60_24_36_2,1,astar-symmullt-transmul,3600,memout BF19_cpmp_20_5_60_24_36_2,1,idastar-symmulgt-transmul,0.472,ok BF19_cpmp_20_5_60_24_36_2,1,idastar-symmullt-transmul,3.312,ok BF19_cpmp_20_5_60_24_36_20,1,astar-symmulgt-transmul,22.129,ok BF19_cpmp_20_5_60_24_36_20,1,astar-symmullt-transmul,3600,memout BF19_cpmp_20_5_60_24_36_20,1,idastar-symmulgt-transmul,0.004,ok BF19_cpmp_20_5_60_24_36_20,1,idastar-symmullt-transmul,263.444,ok BF19_cpmp_20_5_60_24_36_3,1,astar-symmulgt-transmul,3600,memout BF19_cpmp_20_5_60_24_36_3,1,astar-symmullt-transmul,3600,memout BF19_cpmp_20_5_60_24_36_3,1,idastar-symmulgt-transmul,0.004,ok BF19_cpmp_20_5_60_24_36_3,1,idastar-symmullt-transmul,3600,timeout BF19_cpmp_20_5_60_24_36_5,1,astar-symmulgt-transmul,3.572,ok BF19_cpmp_20_5_60_24_36_5,1,astar-symmullt-transmul,0.124,ok BF19_cpmp_20_5_60_24_36_5,1,idastar-symmulgt-transmul,0.004,ok BF19_cpmp_20_5_60_24_36_5,1,idastar-symmullt-transmul,0.008,ok BF19_cpmp_20_5_60_24_36_6,1,astar-symmulgt-transmul,0.036,ok BF19_cpmp_20_5_60_24_36_6,1,astar-symmullt-transmul,0.036,ok BF19_cpmp_20_5_60_24_36_6,1,idastar-symmulgt-transmul,3600,timeout BF19_cpmp_20_5_60_24_36_6,1,idastar-symmullt-transmul,3600,timeout BF19_cpmp_20_5_60_24_36_7,1,astar-symmulgt-transmul,5.156,ok BF19_cpmp_20_5_60_24_36_7,1,astar-symmullt-transmul,69.512,ok BF19_cpmp_20_5_60_24_36_7,1,idastar-symmulgt-transmul,0.004,ok BF19_cpmp_20_5_60_24_36_7,1,idastar-symmullt-transmul,2569.305,ok BF19_cpmp_20_5_60_24_36_8,1,astar-symmulgt-transmul,0.072,ok BF19_cpmp_20_5_60_24_36_8,1,astar-symmullt-transmul,3600,memout BF19_cpmp_20_5_60_24_36_8,1,idastar-symmulgt-transmul,3600,timeout BF19_cpmp_20_5_60_24_36_8,1,idastar-symmullt-transmul,3600,timeout BF19_cpmp_20_5_60_24_36_9,1,astar-symmulgt-transmul,0.048,ok BF19_cpmp_20_5_60_24_36_9,1,astar-symmullt-transmul,2.748,ok BF19_cpmp_20_5_60_24_36_9,1,idastar-symmulgt-transmul,3600,timeout BF19_cpmp_20_5_60_24_36_9,1,idastar-symmullt-transmul,3600,timeout BF1_cpmp_16_5_48_10_29_1,1,astar-symmulgt-transmul,0.028,ok BF1_cpmp_16_5_48_10_29_1,1,astar-symmullt-transmul,0.804,ok BF1_cpmp_16_5_48_10_29_1,1,idastar-symmulgt-transmul,0.004,ok BF1_cpmp_16_5_48_10_29_1,1,idastar-symmullt-transmul,3600,timeout BF1_cpmp_16_5_48_10_29_12,1,astar-symmulgt-transmul,3600,memout BF1_cpmp_16_5_48_10_29_12,1,astar-symmullt-transmul,0.572,ok BF1_cpmp_16_5_48_10_29_12,1,idastar-symmulgt-transmul,3600,timeout BF1_cpmp_16_5_48_10_29_12,1,idastar-symmullt-transmul,128.756,ok BF1_cpmp_16_5_48_10_29_14,1,astar-symmulgt-transmul,3600,memout BF1_cpmp_16_5_48_10_29_14,1,astar-symmullt-transmul,19.085,ok BF1_cpmp_16_5_48_10_29_14,1,idastar-symmulgt-transmul,0.764,ok BF1_cpmp_16_5_48_10_29_14,1,idastar-symmullt-transmul,3600,timeout BF1_cpmp_16_5_48_10_29_15,1,astar-symmulgt-transmul,3600,memout BF1_cpmp_16_5_48_10_29_15,1,astar-symmullt-transmul,3600,memout BF1_cpmp_16_5_48_10_29_15,1,idastar-symmulgt-transmul,106.755,ok BF1_cpmp_16_5_48_10_29_15,1,idastar-symmullt-transmul,3588.976,ok BF1_cpmp_16_5_48_10_29_17,1,astar-symmulgt-transmul,3600,memout BF1_cpmp_16_5_48_10_29_17,1,astar-symmullt-transmul,0.552,ok BF1_cpmp_16_5_48_10_29_17,1,idastar-symmulgt-transmul,0.008,ok BF1_cpmp_16_5_48_10_29_17,1,idastar-symmullt-transmul,0.008,ok BF1_cpmp_16_5_48_10_29_18,1,astar-symmulgt-transmul,0.032,ok BF1_cpmp_16_5_48_10_29_18,1,astar-symmullt-transmul,0.048,ok BF1_cpmp_16_5_48_10_29_18,1,idastar-symmulgt-transmul,0.096,ok BF1_cpmp_16_5_48_10_29_18,1,idastar-symmullt-transmul,50.831,ok BF1_cpmp_16_5_48_10_29_19,1,astar-symmulgt-transmul,0.024,ok BF1_cpmp_16_5_48_10_29_19,1,astar-symmullt-transmul,0.504,ok BF1_cpmp_16_5_48_10_29_19,1,idastar-symmulgt-transmul,0.004,ok BF1_cpmp_16_5_48_10_29_19,1,idastar-symmullt-transmul,0.568,ok BF1_cpmp_16_5_48_10_29_20,1,astar-symmulgt-transmul,3600,memout BF1_cpmp_16_5_48_10_29_20,1,astar-symmullt-transmul,3600,memout BF1_cpmp_16_5_48_10_29_20,1,idastar-symmulgt-transmul,220.526,ok BF1_cpmp_16_5_48_10_29_20,1,idastar-symmullt-transmul,509.552,ok BF1_cpmp_16_5_48_10_29_3,1,astar-symmulgt-transmul,3600,memout BF1_cpmp_16_5_48_10_29_3,1,astar-symmullt-transmul,0.1,ok BF1_cpmp_16_5_48_10_29_3,1,idastar-symmulgt-transmul,127.056,ok BF1_cpmp_16_5_48_10_29_3,1,idastar-symmullt-transmul,134.024,ok BF1_cpmp_16_5_48_10_29_4,1,astar-symmulgt-transmul,7.936,ok BF1_cpmp_16_5_48_10_29_4,1,astar-symmullt-transmul,6.476,ok BF1_cpmp_16_5_48_10_29_4,1,idastar-symmulgt-transmul,84.661,ok BF1_cpmp_16_5_48_10_29_4,1,idastar-symmullt-transmul,15.057,ok BF1_cpmp_16_5_48_10_29_5,1,astar-symmulgt-transmul,3600,memout BF1_cpmp_16_5_48_10_29_5,1,astar-symmullt-transmul,3600,memout BF1_cpmp_16_5_48_10_29_5,1,idastar-symmulgt-transmul,0.9,ok BF1_cpmp_16_5_48_10_29_5,1,idastar-symmullt-transmul,3600,timeout BF1_cpmp_16_5_48_10_29_6,1,astar-symmulgt-transmul,0.024,ok BF1_cpmp_16_5_48_10_29_6,1,astar-symmullt-transmul,3600,memout BF1_cpmp_16_5_48_10_29_6,1,idastar-symmulgt-transmul,344.342,ok BF1_cpmp_16_5_48_10_29_6,1,idastar-symmullt-transmul,1055.966,ok BF1_cpmp_16_5_48_10_29_7,1,astar-symmulgt-transmul,0.248,ok BF1_cpmp_16_5_48_10_29_7,1,astar-symmullt-transmul,8.537,ok BF1_cpmp_16_5_48_10_29_7,1,idastar-symmulgt-transmul,0.004,ok BF1_cpmp_16_5_48_10_29_7,1,idastar-symmullt-transmul,1.256,ok BF1_cpmp_16_5_48_10_29_8,1,astar-symmulgt-transmul,0.144,ok BF1_cpmp_16_5_48_10_29_8,1,astar-symmullt-transmul,0.032,ok BF1_cpmp_16_5_48_10_29_8,1,idastar-symmulgt-transmul,0.004,ok BF1_cpmp_16_5_48_10_29_8,1,idastar-symmullt-transmul,0.008,ok BF1_cpmp_16_5_48_10_29_9,1,astar-symmulgt-transmul,0.132,ok BF1_cpmp_16_5_48_10_29_9,1,astar-symmullt-transmul,3600,memout BF1_cpmp_16_5_48_10_29_9,1,idastar-symmulgt-transmul,0.004,ok BF1_cpmp_16_5_48_10_29_9,1,idastar-symmullt-transmul,3600,timeout BF20_cpmp_20_5_60_24_45_1,1,astar-symmulgt-transmul,0.048,ok BF20_cpmp_20_5_60_24_45_1,1,astar-symmullt-transmul,3600,memout BF20_cpmp_20_5_60_24_45_1,1,idastar-symmulgt-transmul,0.004,ok BF20_cpmp_20_5_60_24_45_1,1,idastar-symmullt-transmul,3600,timeout BF20_cpmp_20_5_60_24_45_10,1,astar-symmulgt-transmul,1.956,ok BF20_cpmp_20_5_60_24_45_10,1,astar-symmullt-transmul,3.096,ok BF20_cpmp_20_5_60_24_45_10,1,idastar-symmulgt-transmul,6.34,ok BF20_cpmp_20_5_60_24_45_10,1,idastar-symmullt-transmul,12.757,ok BF20_cpmp_20_5_60_24_45_11,1,astar-symmulgt-transmul,11.177,ok BF20_cpmp_20_5_60_24_45_11,1,astar-symmullt-transmul,376.04,ok BF20_cpmp_20_5_60_24_45_11,1,idastar-symmulgt-transmul,112.059,ok BF20_cpmp_20_5_60_24_45_11,1,idastar-symmullt-transmul,3600,timeout BF20_cpmp_20_5_60_24_45_12,1,astar-symmulgt-transmul,3600,memout BF20_cpmp_20_5_60_24_45_12,1,astar-symmullt-transmul,65.732,ok BF20_cpmp_20_5_60_24_45_12,1,idastar-symmulgt-transmul,3600,timeout BF20_cpmp_20_5_60_24_45_12,1,idastar-symmullt-transmul,3600,timeout BF20_cpmp_20_5_60_24_45_13,1,astar-symmulgt-transmul,3600,memout BF20_cpmp_20_5_60_24_45_13,1,astar-symmullt-transmul,0.08,ok BF20_cpmp_20_5_60_24_45_13,1,idastar-symmulgt-transmul,0.004,ok BF20_cpmp_20_5_60_24_45_13,1,idastar-symmullt-transmul,0.036,ok BF20_cpmp_20_5_60_24_45_14,1,astar-symmulgt-transmul,40.315,ok BF20_cpmp_20_5_60_24_45_14,1,astar-symmullt-transmul,0.208,ok BF20_cpmp_20_5_60_24_45_14,1,idastar-symmulgt-transmul,0.004,ok BF20_cpmp_20_5_60_24_45_14,1,idastar-symmullt-transmul,234.759,ok BF20_cpmp_20_5_60_24_45_15,1,astar-symmulgt-transmul,3600,memout BF20_cpmp_20_5_60_24_45_15,1,astar-symmullt-transmul,3600,memout BF20_cpmp_20_5_60_24_45_15,1,idastar-symmulgt-transmul,0.004,ok BF20_cpmp_20_5_60_24_45_15,1,idastar-symmullt-transmul,3600,timeout BF20_cpmp_20_5_60_24_45_17,1,astar-symmulgt-transmul,3600,memout BF20_cpmp_20_5_60_24_45_17,1,astar-symmullt-transmul,0.032,ok BF20_cpmp_20_5_60_24_45_17,1,idastar-symmulgt-transmul,0.004,ok BF20_cpmp_20_5_60_24_45_17,1,idastar-symmullt-transmul,1.204,ok BF20_cpmp_20_5_60_24_45_2,1,astar-symmulgt-transmul,0.036,ok BF20_cpmp_20_5_60_24_45_2,1,astar-symmullt-transmul,3600,memout BF20_cpmp_20_5_60_24_45_2,1,idastar-symmulgt-transmul,3600,timeout BF20_cpmp_20_5_60_24_45_2,1,idastar-symmullt-transmul,1165.425,ok BF20_cpmp_20_5_60_24_45_20,1,astar-symmulgt-transmul,3600,memout BF20_cpmp_20_5_60_24_45_20,1,astar-symmullt-transmul,3600,memout BF20_cpmp_20_5_60_24_45_20,1,idastar-symmulgt-transmul,0.004,ok BF20_cpmp_20_5_60_24_45_20,1,idastar-symmullt-transmul,7.856,ok BF20_cpmp_20_5_60_24_45_3,1,astar-symmulgt-transmul,0.192,ok BF20_cpmp_20_5_60_24_45_3,1,astar-symmullt-transmul,1.768,ok BF20_cpmp_20_5_60_24_45_3,1,idastar-symmulgt-transmul,0.004,ok BF20_cpmp_20_5_60_24_45_3,1,idastar-symmullt-transmul,0.18,ok BF20_cpmp_20_5_60_24_45_5,1,astar-symmulgt-transmul,3600,memout BF20_cpmp_20_5_60_24_45_5,1,astar-symmullt-transmul,0.032,ok BF20_cpmp_20_5_60_24_45_5,1,idastar-symmulgt-transmul,0.004,ok BF20_cpmp_20_5_60_24_45_5,1,idastar-symmullt-transmul,0.008,ok BF20_cpmp_20_5_60_24_45_6,1,astar-symmulgt-transmul,0.036,ok BF20_cpmp_20_5_60_24_45_6,1,astar-symmullt-transmul,182.735,ok BF20_cpmp_20_5_60_24_45_6,1,idastar-symmulgt-transmul,0.004,ok BF20_cpmp_20_5_60_24_45_6,1,idastar-symmullt-transmul,3.256,ok BF20_cpmp_20_5_60_24_45_7,1,astar-symmulgt-transmul,3600,memout BF20_cpmp_20_5_60_24_45_7,1,astar-symmullt-transmul,18.845,ok BF20_cpmp_20_5_60_24_45_7,1,idastar-symmulgt-transmul,3600,timeout BF20_cpmp_20_5_60_24_45_7,1,idastar-symmullt-transmul,81.685,ok BF20_cpmp_20_5_60_24_45_8,1,astar-symmulgt-transmul,3600,memout BF20_cpmp_20_5_60_24_45_8,1,astar-symmullt-transmul,0.456,ok BF20_cpmp_20_5_60_24_45_8,1,idastar-symmulgt-transmul,0.004,ok BF20_cpmp_20_5_60_24_45_8,1,idastar-symmullt-transmul,3600,timeout BF20_cpmp_20_5_60_24_45_9,1,astar-symmulgt-transmul,3600,memout BF20_cpmp_20_5_60_24_45_9,1,astar-symmullt-transmul,3600,memout BF20_cpmp_20_5_60_24_45_9,1,idastar-symmulgt-transmul,2.844,ok BF20_cpmp_20_5_60_24_45_9,1,idastar-symmullt-transmul,319.476,ok BF21_cpmp_20_5_80_16_48_11,1,astar-symmulgt-transmul,1.036,ok BF21_cpmp_20_5_80_16_48_11,1,astar-symmullt-transmul,3600,memout BF21_cpmp_20_5_80_16_48_11,1,idastar-symmulgt-transmul,3600,timeout BF21_cpmp_20_5_80_16_48_11,1,idastar-symmullt-transmul,7.244,ok BF21_cpmp_20_5_80_16_48_14,1,astar-symmulgt-transmul,8.625,ok BF21_cpmp_20_5_80_16_48_14,1,astar-symmullt-transmul,13.969,ok BF21_cpmp_20_5_80_16_48_14,1,idastar-symmulgt-transmul,5.416,ok BF21_cpmp_20_5_80_16_48_14,1,idastar-symmullt-transmul,6.64,ok BF21_cpmp_20_5_80_16_48_16,1,astar-symmulgt-transmul,1.096,ok BF21_cpmp_20_5_80_16_48_16,1,astar-symmullt-transmul,311.187,ok BF21_cpmp_20_5_80_16_48_16,1,idastar-symmulgt-transmul,0.488,ok BF21_cpmp_20_5_80_16_48_16,1,idastar-symmullt-transmul,3600,timeout BF21_cpmp_20_5_80_16_48_18,1,astar-symmulgt-transmul,3600,memout BF21_cpmp_20_5_80_16_48_18,1,astar-symmullt-transmul,3600,memout BF21_cpmp_20_5_80_16_48_18,1,idastar-symmulgt-transmul,1182.126,ok BF21_cpmp_20_5_80_16_48_18,1,idastar-symmullt-transmul,967.624,ok BF21_cpmp_20_5_80_16_48_19,1,astar-symmulgt-transmul,35.778,ok BF21_cpmp_20_5_80_16_48_19,1,astar-symmullt-transmul,3600,memout BF21_cpmp_20_5_80_16_48_19,1,idastar-symmulgt-transmul,108.587,ok BF21_cpmp_20_5_80_16_48_19,1,idastar-symmullt-transmul,3600,timeout BF21_cpmp_20_5_80_16_48_2,1,astar-symmulgt-transmul,3.604,ok BF21_cpmp_20_5_80_16_48_2,1,astar-symmullt-transmul,2.696,ok BF21_cpmp_20_5_80_16_48_2,1,idastar-symmulgt-transmul,3600,timeout BF21_cpmp_20_5_80_16_48_2,1,idastar-symmullt-transmul,3600,timeout BF21_cpmp_20_5_80_16_48_3,1,astar-symmulgt-transmul,3600,memout BF21_cpmp_20_5_80_16_48_3,1,astar-symmullt-transmul,8.865,ok BF21_cpmp_20_5_80_16_48_3,1,idastar-symmulgt-transmul,2814.224,ok BF21_cpmp_20_5_80_16_48_3,1,idastar-symmullt-transmul,56.112,ok BF21_cpmp_20_5_80_16_48_4,1,astar-symmulgt-transmul,5.576,ok BF21_cpmp_20_5_80_16_48_4,1,astar-symmullt-transmul,3600,memout BF21_cpmp_20_5_80_16_48_4,1,idastar-symmulgt-transmul,765.884,ok BF21_cpmp_20_5_80_16_48_4,1,idastar-symmullt-transmul,846.193,ok BF21_cpmp_20_5_80_16_48_5,1,astar-symmulgt-transmul,101.554,ok BF21_cpmp_20_5_80_16_48_5,1,astar-symmullt-transmul,3.548,ok BF21_cpmp_20_5_80_16_48_5,1,idastar-symmulgt-transmul,3600,timeout BF21_cpmp_20_5_80_16_48_5,1,idastar-symmullt-transmul,3600,timeout BF21_cpmp_20_5_80_16_48_7,1,astar-symmulgt-transmul,3600,memout BF21_cpmp_20_5_80_16_48_7,1,astar-symmullt-transmul,27.286,ok BF21_cpmp_20_5_80_16_48_7,1,idastar-symmulgt-transmul,3600,timeout BF21_cpmp_20_5_80_16_48_7,1,idastar-symmullt-transmul,3600,timeout BF21_cpmp_20_5_80_16_48_8,1,astar-symmulgt-transmul,3600,memout BF21_cpmp_20_5_80_16_48_8,1,astar-symmullt-transmul,17.933,ok BF21_cpmp_20_5_80_16_48_8,1,idastar-symmulgt-transmul,3600,timeout BF21_cpmp_20_5_80_16_48_8,1,idastar-symmullt-transmul,3600,timeout BF21_cpmp_20_5_80_16_48_9,1,astar-symmulgt-transmul,15.261,ok BF21_cpmp_20_5_80_16_48_9,1,astar-symmullt-transmul,47.395,ok BF21_cpmp_20_5_80_16_48_9,1,idastar-symmulgt-transmul,35.526,ok BF21_cpmp_20_5_80_16_48_9,1,idastar-symmullt-transmul,3600,timeout BF22_cpmp_20_5_80_16_60_11,1,astar-symmulgt-transmul,3600,memout BF22_cpmp_20_5_80_16_60_11,1,astar-symmullt-transmul,3600,memout BF22_cpmp_20_5_80_16_60_11,1,idastar-symmulgt-transmul,3600,timeout BF22_cpmp_20_5_80_16_60_11,1,idastar-symmullt-transmul,2811.512,ok BF22_cpmp_20_5_80_16_60_16,1,astar-symmulgt-transmul,3600,memout BF22_cpmp_20_5_80_16_60_16,1,astar-symmullt-transmul,53.339,ok BF22_cpmp_20_5_80_16_60_16,1,idastar-symmulgt-transmul,3600,timeout BF22_cpmp_20_5_80_16_60_16,1,idastar-symmullt-transmul,3600,timeout BF22_cpmp_20_5_80_16_60_4,1,astar-symmulgt-transmul,4.724,ok BF22_cpmp_20_5_80_16_60_4,1,astar-symmullt-transmul,3600,memout BF22_cpmp_20_5_80_16_60_4,1,idastar-symmulgt-transmul,3600,timeout BF22_cpmp_20_5_80_16_60_4,1,idastar-symmullt-transmul,3600,timeout BF22_cpmp_20_5_80_16_60_6,1,astar-symmulgt-transmul,0.052,ok BF22_cpmp_20_5_80_16_60_6,1,astar-symmullt-transmul,137.485,ok BF22_cpmp_20_5_80_16_60_6,1,idastar-symmulgt-transmul,3600,timeout BF22_cpmp_20_5_80_16_60_6,1,idastar-symmullt-transmul,3600,timeout BF22_cpmp_20_5_80_16_60_7,1,astar-symmulgt-transmul,47.947,ok BF22_cpmp_20_5_80_16_60_7,1,astar-symmullt-transmul,3600,memout BF22_cpmp_20_5_80_16_60_7,1,idastar-symmulgt-transmul,3600,timeout BF22_cpmp_20_5_80_16_60_7,1,idastar-symmullt-transmul,3600,timeout BF22_cpmp_20_5_80_16_60_9,1,astar-symmulgt-transmul,3600,memout BF22_cpmp_20_5_80_16_60_9,1,astar-symmullt-transmul,1.608,ok BF22_cpmp_20_5_80_16_60_9,1,idastar-symmulgt-transmul,3600,timeout BF22_cpmp_20_5_80_16_60_9,1,idastar-symmullt-transmul,3600,timeout BF23_cpmp_20_5_80_32_48_10,1,astar-symmulgt-transmul,1.66,ok BF23_cpmp_20_5_80_32_48_10,1,astar-symmullt-transmul,18.621,ok BF23_cpmp_20_5_80_32_48_10,1,idastar-symmulgt-transmul,3600,timeout BF23_cpmp_20_5_80_32_48_10,1,idastar-symmullt-transmul,3600,timeout BF23_cpmp_20_5_80_32_48_11,1,astar-symmulgt-transmul,12.141,ok BF23_cpmp_20_5_80_32_48_11,1,astar-symmullt-transmul,338.729,ok BF23_cpmp_20_5_80_32_48_11,1,idastar-symmulgt-transmul,3600,timeout BF23_cpmp_20_5_80_32_48_11,1,idastar-symmullt-transmul,3600,timeout BF23_cpmp_20_5_80_32_48_12,1,astar-symmulgt-transmul,3600,memout BF23_cpmp_20_5_80_32_48_12,1,astar-symmullt-transmul,478.102,ok BF23_cpmp_20_5_80_32_48_12,1,idastar-symmulgt-transmul,3600,timeout BF23_cpmp_20_5_80_32_48_12,1,idastar-symmullt-transmul,3600,timeout BF23_cpmp_20_5_80_32_48_15,1,astar-symmulgt-transmul,139.557,ok BF23_cpmp_20_5_80_32_48_15,1,astar-symmullt-transmul,3600,memout BF23_cpmp_20_5_80_32_48_15,1,idastar-symmulgt-transmul,0.18,ok BF23_cpmp_20_5_80_32_48_15,1,idastar-symmullt-transmul,3600,timeout BF23_cpmp_20_5_80_32_48_16,1,astar-symmulgt-transmul,3600,memout BF23_cpmp_20_5_80_32_48_16,1,astar-symmullt-transmul,166.602,ok BF23_cpmp_20_5_80_32_48_16,1,idastar-symmulgt-transmul,4.424,ok BF23_cpmp_20_5_80_32_48_16,1,idastar-symmullt-transmul,1365.913,ok BF23_cpmp_20_5_80_32_48_18,1,astar-symmulgt-transmul,0.164,ok BF23_cpmp_20_5_80_32_48_18,1,astar-symmullt-transmul,4.66,ok BF23_cpmp_20_5_80_32_48_18,1,idastar-symmulgt-transmul,3600,timeout BF23_cpmp_20_5_80_32_48_18,1,idastar-symmullt-transmul,3600,timeout BF23_cpmp_20_5_80_32_48_3,1,astar-symmulgt-transmul,7.836,ok BF23_cpmp_20_5_80_32_48_3,1,astar-symmullt-transmul,213.633,ok BF23_cpmp_20_5_80_32_48_3,1,idastar-symmulgt-transmul,3600,timeout BF23_cpmp_20_5_80_32_48_3,1,idastar-symmullt-transmul,3113.451,ok BF23_cpmp_20_5_80_32_48_4,1,astar-symmulgt-transmul,2.768,ok BF23_cpmp_20_5_80_32_48_4,1,astar-symmullt-transmul,123.932,ok BF23_cpmp_20_5_80_32_48_4,1,idastar-symmulgt-transmul,63.008,ok BF23_cpmp_20_5_80_32_48_4,1,idastar-symmullt-transmul,690.687,ok BF23_cpmp_20_5_80_32_48_6,1,astar-symmulgt-transmul,2.856,ok BF23_cpmp_20_5_80_32_48_6,1,astar-symmullt-transmul,1.268,ok BF23_cpmp_20_5_80_32_48_6,1,idastar-symmulgt-transmul,3600,timeout BF23_cpmp_20_5_80_32_48_6,1,idastar-symmullt-transmul,3600,timeout BF23_cpmp_20_5_80_32_48_7,1,astar-symmulgt-transmul,21.673,ok BF23_cpmp_20_5_80_32_48_7,1,astar-symmullt-transmul,3600,memout BF23_cpmp_20_5_80_32_48_7,1,idastar-symmulgt-transmul,3600,timeout BF23_cpmp_20_5_80_32_48_7,1,idastar-symmullt-transmul,3600,timeout BF24_cpmp_20_5_80_32_60_13,1,astar-symmulgt-transmul,296.083,ok BF24_cpmp_20_5_80_32_60_13,1,astar-symmullt-transmul,21.981,ok BF24_cpmp_20_5_80_32_60_13,1,idastar-symmulgt-transmul,3600,timeout BF24_cpmp_20_5_80_32_60_13,1,idastar-symmullt-transmul,3600,timeout BF24_cpmp_20_5_80_32_60_17,1,astar-symmulgt-transmul,3600,memout BF24_cpmp_20_5_80_32_60_17,1,astar-symmullt-transmul,280.966,ok BF24_cpmp_20_5_80_32_60_17,1,idastar-symmulgt-transmul,3600,timeout BF24_cpmp_20_5_80_32_60_17,1,idastar-symmullt-transmul,3600,timeout BF24_cpmp_20_5_80_32_60_2,1,astar-symmulgt-transmul,51.007,ok BF24_cpmp_20_5_80_32_60_2,1,astar-symmullt-transmul,3600,memout BF24_cpmp_20_5_80_32_60_2,1,idastar-symmulgt-transmul,3600,timeout BF24_cpmp_20_5_80_32_60_2,1,idastar-symmullt-transmul,3600,timeout BF24_cpmp_20_5_80_32_60_8,1,astar-symmulgt-transmul,3600,memout BF24_cpmp_20_5_80_32_60_8,1,astar-symmullt-transmul,20.565,ok BF24_cpmp_20_5_80_32_60_8,1,idastar-symmulgt-transmul,3600,timeout BF24_cpmp_20_5_80_32_60_8,1,idastar-symmullt-transmul,3600,timeout BF25_cpmp_20_8_96_20_58_20,1,astar-symmulgt-transmul,109.611,ok BF25_cpmp_20_8_96_20_58_20,1,astar-symmullt-transmul,3600,memout BF25_cpmp_20_8_96_20_58_20,1,idastar-symmulgt-transmul,3600,timeout BF25_cpmp_20_8_96_20_58_20,1,idastar-symmullt-transmul,922.238,ok BF26_cpmp_20_8_96_20_72_5,1,astar-symmulgt-transmul,482.286,ok BF26_cpmp_20_8_96_20_72_5,1,astar-symmullt-transmul,3600,memout BF26_cpmp_20_8_96_20_72_5,1,idastar-symmulgt-transmul,3600,timeout BF26_cpmp_20_8_96_20_72_5,1,idastar-symmullt-transmul,3600,timeout BF27_cpmp_20_8_96_39_58_12,1,astar-symmulgt-transmul,3600,memout BF27_cpmp_20_8_96_39_58_12,1,astar-symmullt-transmul,3600,memout BF27_cpmp_20_8_96_39_58_12,1,idastar-symmulgt-transmul,359.054,ok BF27_cpmp_20_8_96_39_58_12,1,idastar-symmullt-transmul,3600,timeout BF27_cpmp_20_8_96_39_58_6,1,astar-symmulgt-transmul,3600,memout BF27_cpmp_20_8_96_39_58_6,1,astar-symmullt-transmul,3600,memout BF27_cpmp_20_8_96_39_58_6,1,idastar-symmulgt-transmul,178.767,ok BF27_cpmp_20_8_96_39_58_6,1,idastar-symmullt-transmul,1104.137,ok BF27_cpmp_20_8_96_39_58_9,1,astar-symmulgt-transmul,70.236,ok BF27_cpmp_20_8_96_39_58_9,1,astar-symmullt-transmul,3600,memout BF27_cpmp_20_8_96_39_58_9,1,idastar-symmulgt-transmul,3600,timeout BF27_cpmp_20_8_96_39_58_9,1,idastar-symmullt-transmul,3600,timeout BF28_cpmp_20_8_96_39_72_19,1,astar-symmulgt-transmul,3600,memout BF28_cpmp_20_8_96_39_72_19,1,astar-symmullt-transmul,3600,memout BF28_cpmp_20_8_96_39_72_19,1,idastar-symmulgt-transmul,220.91,ok BF28_cpmp_20_8_96_39_72_19,1,idastar-symmullt-transmul,1868.773,ok BF2_cpmp_16_5_48_10_36_1,1,astar-symmulgt-transmul,0.016,ok BF2_cpmp_16_5_48_10_36_1,1,astar-symmullt-transmul,1.276,ok BF2_cpmp_16_5_48_10_36_1,1,idastar-symmulgt-transmul,165.582,ok BF2_cpmp_16_5_48_10_36_1,1,idastar-symmullt-transmul,183.243,ok BF2_cpmp_16_5_48_10_36_11,1,astar-symmulgt-transmul,0.772,ok BF2_cpmp_16_5_48_10_36_11,1,astar-symmullt-transmul,1.136,ok BF2_cpmp_16_5_48_10_36_11,1,idastar-symmulgt-transmul,3600,timeout BF2_cpmp_16_5_48_10_36_11,1,idastar-symmullt-transmul,3600,timeout BF2_cpmp_16_5_48_10_36_12,1,astar-symmulgt-transmul,3600,memout BF2_cpmp_16_5_48_10_36_12,1,astar-symmullt-transmul,3600,memout BF2_cpmp_16_5_48_10_36_12,1,idastar-symmulgt-transmul,0.004,ok BF2_cpmp_16_5_48_10_36_12,1,idastar-symmullt-transmul,3600,timeout BF2_cpmp_16_5_48_10_36_13,1,astar-symmulgt-transmul,48.127,ok BF2_cpmp_16_5_48_10_36_13,1,astar-symmullt-transmul,7.476,ok BF2_cpmp_16_5_48_10_36_13,1,idastar-symmulgt-transmul,3600,timeout BF2_cpmp_16_5_48_10_36_13,1,idastar-symmullt-transmul,3600,timeout BF2_cpmp_16_5_48_10_36_14,1,astar-symmulgt-transmul,0.056,ok BF2_cpmp_16_5_48_10_36_14,1,astar-symmullt-transmul,0.016,ok BF2_cpmp_16_5_48_10_36_14,1,idastar-symmulgt-transmul,3600,timeout BF2_cpmp_16_5_48_10_36_14,1,idastar-symmullt-transmul,3600,timeout BF2_cpmp_16_5_48_10_36_15,1,astar-symmulgt-transmul,0.06,ok BF2_cpmp_16_5_48_10_36_15,1,astar-symmullt-transmul,0.484,ok BF2_cpmp_16_5_48_10_36_15,1,idastar-symmulgt-transmul,0.004,ok BF2_cpmp_16_5_48_10_36_15,1,idastar-symmullt-transmul,0.004,ok BF2_cpmp_16_5_48_10_36_17,1,astar-symmulgt-transmul,0.048,ok BF2_cpmp_16_5_48_10_36_17,1,astar-symmullt-transmul,0.968,ok BF2_cpmp_16_5_48_10_36_17,1,idastar-symmulgt-transmul,0.004,ok BF2_cpmp_16_5_48_10_36_17,1,idastar-symmullt-transmul,0.008,ok BF2_cpmp_16_5_48_10_36_18,1,astar-symmulgt-transmul,0.024,ok BF2_cpmp_16_5_48_10_36_18,1,astar-symmullt-transmul,0.016,ok BF2_cpmp_16_5_48_10_36_18,1,idastar-symmulgt-transmul,0.004,ok BF2_cpmp_16_5_48_10_36_18,1,idastar-symmullt-transmul,3600,timeout BF2_cpmp_16_5_48_10_36_19,1,astar-symmulgt-transmul,0.284,ok BF2_cpmp_16_5_48_10_36_19,1,astar-symmullt-transmul,3600,memout BF2_cpmp_16_5_48_10_36_19,1,idastar-symmulgt-transmul,3600,timeout BF2_cpmp_16_5_48_10_36_19,1,idastar-symmullt-transmul,3600,timeout BF2_cpmp_16_5_48_10_36_2,1,astar-symmulgt-transmul,3600,memout BF2_cpmp_16_5_48_10_36_2,1,astar-symmullt-transmul,0.184,ok BF2_cpmp_16_5_48_10_36_2,1,idastar-symmulgt-transmul,3600,timeout BF2_cpmp_16_5_48_10_36_2,1,idastar-symmullt-transmul,3600,timeout BF2_cpmp_16_5_48_10_36_20,1,astar-symmulgt-transmul,4.004,ok BF2_cpmp_16_5_48_10_36_20,1,astar-symmullt-transmul,0.016,ok BF2_cpmp_16_5_48_10_36_20,1,idastar-symmulgt-transmul,0.004,ok BF2_cpmp_16_5_48_10_36_20,1,idastar-symmullt-transmul,0.004,ok BF2_cpmp_16_5_48_10_36_3,1,astar-symmulgt-transmul,0.108,ok BF2_cpmp_16_5_48_10_36_3,1,astar-symmullt-transmul,14.797,ok BF2_cpmp_16_5_48_10_36_3,1,idastar-symmulgt-transmul,0.004,ok BF2_cpmp_16_5_48_10_36_3,1,idastar-symmullt-transmul,0.004,ok BF2_cpmp_16_5_48_10_36_4,1,astar-symmulgt-transmul,7.212,ok BF2_cpmp_16_5_48_10_36_4,1,astar-symmullt-transmul,1.284,ok BF2_cpmp_16_5_48_10_36_4,1,idastar-symmulgt-transmul,0.004,ok BF2_cpmp_16_5_48_10_36_4,1,idastar-symmullt-transmul,3600,timeout BF2_cpmp_16_5_48_10_36_5,1,astar-symmulgt-transmul,0.556,ok BF2_cpmp_16_5_48_10_36_5,1,astar-symmullt-transmul,0.028,ok BF2_cpmp_16_5_48_10_36_5,1,idastar-symmulgt-transmul,0.0,ok BF2_cpmp_16_5_48_10_36_5,1,idastar-symmullt-transmul,0.004,ok BF2_cpmp_16_5_48_10_36_6,1,astar-symmulgt-transmul,3600,memout BF2_cpmp_16_5_48_10_36_6,1,astar-symmullt-transmul,3600,memout BF2_cpmp_16_5_48_10_36_6,1,idastar-symmulgt-transmul,1323.091,ok BF2_cpmp_16_5_48_10_36_6,1,idastar-symmullt-transmul,3600,timeout BF2_cpmp_16_5_48_10_36_7,1,astar-symmulgt-transmul,0.808,ok BF2_cpmp_16_5_48_10_36_7,1,astar-symmullt-transmul,3600,memout BF2_cpmp_16_5_48_10_36_7,1,idastar-symmulgt-transmul,0.0,ok BF2_cpmp_16_5_48_10_36_7,1,idastar-symmullt-transmul,3600,timeout BF2_cpmp_16_5_48_10_36_8,1,astar-symmulgt-transmul,0.052,ok BF2_cpmp_16_5_48_10_36_8,1,astar-symmullt-transmul,3600,memout BF2_cpmp_16_5_48_10_36_8,1,idastar-symmulgt-transmul,0.004,ok BF2_cpmp_16_5_48_10_36_8,1,idastar-symmullt-transmul,2933.159,ok BF2_cpmp_16_5_48_10_36_9,1,astar-symmulgt-transmul,0.512,ok BF2_cpmp_16_5_48_10_36_9,1,astar-symmullt-transmul,0.54,ok BF2_cpmp_16_5_48_10_36_9,1,idastar-symmulgt-transmul,0.096,ok BF2_cpmp_16_5_48_10_36_9,1,idastar-symmullt-transmul,0.088,ok BF3_cpmp_16_5_48_20_29_1,1,astar-symmulgt-transmul,3600,memout BF3_cpmp_16_5_48_20_29_1,1,astar-symmullt-transmul,3600,memout BF3_cpmp_16_5_48_20_29_1,1,idastar-symmulgt-transmul,108.943,ok BF3_cpmp_16_5_48_20_29_1,1,idastar-symmullt-transmul,3600,timeout BF3_cpmp_16_5_48_20_29_11,1,astar-symmulgt-transmul,0.016,ok BF3_cpmp_16_5_48_20_29_11,1,astar-symmullt-transmul,3600,memout BF3_cpmp_16_5_48_20_29_11,1,idastar-symmulgt-transmul,0.0,ok BF3_cpmp_16_5_48_20_29_11,1,idastar-symmullt-transmul,184.984,ok BF3_cpmp_16_5_48_20_29_13,1,astar-symmulgt-transmul,24.049,ok BF3_cpmp_16_5_48_20_29_13,1,astar-symmullt-transmul,3600,memout BF3_cpmp_16_5_48_20_29_13,1,idastar-symmulgt-transmul,0.0,ok BF3_cpmp_16_5_48_20_29_13,1,idastar-symmullt-transmul,3600,timeout BF3_cpmp_16_5_48_20_29_14,1,astar-symmulgt-transmul,3600,memout BF3_cpmp_16_5_48_20_29_14,1,astar-symmullt-transmul,0.052,ok BF3_cpmp_16_5_48_20_29_14,1,idastar-symmulgt-transmul,3600,timeout BF3_cpmp_16_5_48_20_29_14,1,idastar-symmullt-transmul,3600,timeout BF3_cpmp_16_5_48_20_29_16,1,astar-symmulgt-transmul,13.061,ok BF3_cpmp_16_5_48_20_29_16,1,astar-symmullt-transmul,1.032,ok BF3_cpmp_16_5_48_20_29_16,1,idastar-symmulgt-transmul,5.628,ok BF3_cpmp_16_5_48_20_29_16,1,idastar-symmullt-transmul,859.542,ok BF3_cpmp_16_5_48_20_29_19,1,astar-symmulgt-transmul,3600,memout BF3_cpmp_16_5_48_20_29_19,1,astar-symmullt-transmul,19.833,ok BF3_cpmp_16_5_48_20_29_19,1,idastar-symmulgt-transmul,155.03,ok BF3_cpmp_16_5_48_20_29_19,1,idastar-symmullt-transmul,5.208,ok BF3_cpmp_16_5_48_20_29_20,1,astar-symmulgt-transmul,61.472,ok BF3_cpmp_16_5_48_20_29_20,1,astar-symmullt-transmul,3600,memout BF3_cpmp_16_5_48_20_29_20,1,idastar-symmulgt-transmul,3446.571,ok BF3_cpmp_16_5_48_20_29_20,1,idastar-symmullt-transmul,3600,timeout BF3_cpmp_16_5_48_20_29_3,1,astar-symmulgt-transmul,3.072,ok BF3_cpmp_16_5_48_20_29_3,1,astar-symmullt-transmul,306.691,ok BF3_cpmp_16_5_48_20_29_3,1,idastar-symmulgt-transmul,3600,timeout BF3_cpmp_16_5_48_20_29_3,1,idastar-symmullt-transmul,3600,timeout BF3_cpmp_16_5_48_20_29_5,1,astar-symmulgt-transmul,3600,memout BF3_cpmp_16_5_48_20_29_5,1,astar-symmullt-transmul,3600,memout BF3_cpmp_16_5_48_20_29_5,1,idastar-symmulgt-transmul,665.154,ok BF3_cpmp_16_5_48_20_29_5,1,idastar-symmullt-transmul,228.986,ok BF3_cpmp_16_5_48_20_29_6,1,astar-symmulgt-transmul,0.1,ok BF3_cpmp_16_5_48_20_29_6,1,astar-symmullt-transmul,6.948,ok BF3_cpmp_16_5_48_20_29_6,1,idastar-symmulgt-transmul,0.004,ok BF3_cpmp_16_5_48_20_29_6,1,idastar-symmullt-transmul,3.604,ok BF3_cpmp_16_5_48_20_29_8,1,astar-symmulgt-transmul,0.02,ok BF3_cpmp_16_5_48_20_29_8,1,astar-symmullt-transmul,3600,memout BF3_cpmp_16_5_48_20_29_8,1,idastar-symmulgt-transmul,0.004,ok BF3_cpmp_16_5_48_20_29_8,1,idastar-symmullt-transmul,3600,timeout BF3_cpmp_16_5_48_20_29_9,1,astar-symmulgt-transmul,0.016,ok BF3_cpmp_16_5_48_20_29_9,1,astar-symmullt-transmul,3600,memout BF3_cpmp_16_5_48_20_29_9,1,idastar-symmulgt-transmul,0.0,ok BF3_cpmp_16_5_48_20_29_9,1,idastar-symmullt-transmul,3600,timeout BF4_cpmp_16_5_48_20_36_1,1,astar-symmulgt-transmul,0.012,ok BF4_cpmp_16_5_48_20_36_1,1,astar-symmullt-transmul,0.132,ok BF4_cpmp_16_5_48_20_36_1,1,idastar-symmulgt-transmul,0.004,ok BF4_cpmp_16_5_48_20_36_1,1,idastar-symmullt-transmul,0.012,ok BF4_cpmp_16_5_48_20_36_10,1,astar-symmulgt-transmul,3600,memout BF4_cpmp_16_5_48_20_36_10,1,astar-symmullt-transmul,3600,memout BF4_cpmp_16_5_48_20_36_10,1,idastar-symmulgt-transmul,0.004,ok BF4_cpmp_16_5_48_20_36_10,1,idastar-symmullt-transmul,0.036,ok BF4_cpmp_16_5_48_20_36_11,1,astar-symmulgt-transmul,3600,memout BF4_cpmp_16_5_48_20_36_11,1,astar-symmullt-transmul,107.599,ok BF4_cpmp_16_5_48_20_36_11,1,idastar-symmulgt-transmul,3600,timeout BF4_cpmp_16_5_48_20_36_11,1,idastar-symmullt-transmul,3600,timeout BF4_cpmp_16_5_48_20_36_13,1,astar-symmulgt-transmul,0.052,ok BF4_cpmp_16_5_48_20_36_13,1,astar-symmullt-transmul,0.024,ok BF4_cpmp_16_5_48_20_36_13,1,idastar-symmulgt-transmul,0.004,ok BF4_cpmp_16_5_48_20_36_13,1,idastar-symmullt-transmul,0.244,ok BF4_cpmp_16_5_48_20_36_14,1,astar-symmulgt-transmul,2.264,ok BF4_cpmp_16_5_48_20_36_14,1,astar-symmullt-transmul,1.748,ok BF4_cpmp_16_5_48_20_36_14,1,idastar-symmulgt-transmul,0.332,ok BF4_cpmp_16_5_48_20_36_14,1,idastar-symmullt-transmul,0.376,ok BF4_cpmp_16_5_48_20_36_15,1,astar-symmulgt-transmul,3600,memout BF4_cpmp_16_5_48_20_36_15,1,astar-symmullt-transmul,3600,memout BF4_cpmp_16_5_48_20_36_15,1,idastar-symmulgt-transmul,0.004,ok BF4_cpmp_16_5_48_20_36_15,1,idastar-symmullt-transmul,3600,timeout BF4_cpmp_16_5_48_20_36_16,1,astar-symmulgt-transmul,0.02,ok BF4_cpmp_16_5_48_20_36_16,1,astar-symmullt-transmul,0.428,ok BF4_cpmp_16_5_48_20_36_16,1,idastar-symmulgt-transmul,0.004,ok BF4_cpmp_16_5_48_20_36_16,1,idastar-symmullt-transmul,0.004,ok BF4_cpmp_16_5_48_20_36_17,1,astar-symmulgt-transmul,82.681,ok BF4_cpmp_16_5_48_20_36_17,1,astar-symmullt-transmul,2.356,ok BF4_cpmp_16_5_48_20_36_17,1,idastar-symmulgt-transmul,8.893,ok BF4_cpmp_16_5_48_20_36_17,1,idastar-symmullt-transmul,0.44,ok BF4_cpmp_16_5_48_20_36_18,1,astar-symmulgt-transmul,0.16,ok BF4_cpmp_16_5_48_20_36_18,1,astar-symmullt-transmul,5.616,ok BF4_cpmp_16_5_48_20_36_18,1,idastar-symmulgt-transmul,0.424,ok BF4_cpmp_16_5_48_20_36_18,1,idastar-symmullt-transmul,3600,timeout BF4_cpmp_16_5_48_20_36_19,1,astar-symmulgt-transmul,234.887,ok BF4_cpmp_16_5_48_20_36_19,1,astar-symmullt-transmul,3600,memout BF4_cpmp_16_5_48_20_36_19,1,idastar-symmulgt-transmul,0.004,ok BF4_cpmp_16_5_48_20_36_19,1,idastar-symmullt-transmul,0.004,ok BF4_cpmp_16_5_48_20_36_2,1,astar-symmulgt-transmul,3600,memout BF4_cpmp_16_5_48_20_36_2,1,astar-symmullt-transmul,3600,memout BF4_cpmp_16_5_48_20_36_2,1,idastar-symmulgt-transmul,121.056,ok BF4_cpmp_16_5_48_20_36_2,1,idastar-symmullt-transmul,165.59,ok BF4_cpmp_16_5_48_20_36_20,1,astar-symmulgt-transmul,5.376,ok BF4_cpmp_16_5_48_20_36_20,1,astar-symmullt-transmul,0.056,ok BF4_cpmp_16_5_48_20_36_20,1,idastar-symmulgt-transmul,18.581,ok BF4_cpmp_16_5_48_20_36_20,1,idastar-symmullt-transmul,0.656,ok BF4_cpmp_16_5_48_20_36_3,1,astar-symmulgt-transmul,0.152,ok BF4_cpmp_16_5_48_20_36_3,1,astar-symmullt-transmul,3600,memout BF4_cpmp_16_5_48_20_36_3,1,idastar-symmulgt-transmul,0.004,ok BF4_cpmp_16_5_48_20_36_3,1,idastar-symmullt-transmul,3600,timeout BF4_cpmp_16_5_48_20_36_5,1,astar-symmulgt-transmul,0.216,ok BF4_cpmp_16_5_48_20_36_5,1,astar-symmullt-transmul,1.312,ok BF4_cpmp_16_5_48_20_36_5,1,idastar-symmulgt-transmul,0.048,ok BF4_cpmp_16_5_48_20_36_5,1,idastar-symmullt-transmul,3.232,ok BF4_cpmp_16_5_48_20_36_6,1,astar-symmulgt-transmul,1.668,ok BF4_cpmp_16_5_48_20_36_6,1,astar-symmullt-transmul,0.088,ok BF4_cpmp_16_5_48_20_36_6,1,idastar-symmulgt-transmul,0.0,ok BF4_cpmp_16_5_48_20_36_6,1,idastar-symmullt-transmul,3600,timeout BF4_cpmp_16_5_48_20_36_7,1,astar-symmulgt-transmul,11.393,ok BF4_cpmp_16_5_48_20_36_7,1,astar-symmullt-transmul,0.52,ok BF4_cpmp_16_5_48_20_36_7,1,idastar-symmulgt-transmul,93.89,ok BF4_cpmp_16_5_48_20_36_7,1,idastar-symmullt-transmul,1.192,ok BF4_cpmp_16_5_48_20_36_8,1,astar-symmulgt-transmul,0.02,ok BF4_cpmp_16_5_48_20_36_8,1,astar-symmullt-transmul,267.681,ok BF4_cpmp_16_5_48_20_36_8,1,idastar-symmulgt-transmul,0.004,ok BF4_cpmp_16_5_48_20_36_8,1,idastar-symmullt-transmul,68.28,ok BF4_cpmp_16_5_48_20_36_9,1,astar-symmulgt-transmul,2.828,ok BF4_cpmp_16_5_48_20_36_9,1,astar-symmullt-transmul,6.94,ok BF4_cpmp_16_5_48_20_36_9,1,idastar-symmulgt-transmul,0.0,ok BF4_cpmp_16_5_48_20_36_9,1,idastar-symmullt-transmul,0.012,ok BF5_cpmp_16_5_64_13_39_1,1,astar-symmulgt-transmul,228.59,ok BF5_cpmp_16_5_64_13_39_1,1,astar-symmullt-transmul,7.68,ok BF5_cpmp_16_5_64_13_39_1,1,idastar-symmulgt-transmul,485.89,ok BF5_cpmp_16_5_64_13_39_1,1,idastar-symmullt-transmul,4.94,ok BF5_cpmp_16_5_64_13_39_10,1,astar-symmulgt-transmul,3600,memout BF5_cpmp_16_5_64_13_39_10,1,astar-symmullt-transmul,337.773,ok BF5_cpmp_16_5_64_13_39_10,1,idastar-symmulgt-transmul,3600,timeout BF5_cpmp_16_5_64_13_39_10,1,idastar-symmullt-transmul,3600,timeout BF5_cpmp_16_5_64_13_39_11,1,astar-symmulgt-transmul,3600,memout BF5_cpmp_16_5_64_13_39_11,1,astar-symmullt-transmul,3600,memout BF5_cpmp_16_5_64_13_39_11,1,idastar-symmulgt-transmul,3600,timeout BF5_cpmp_16_5_64_13_39_11,1,idastar-symmullt-transmul,238.703,ok BF5_cpmp_16_5_64_13_39_12,1,astar-symmulgt-transmul,0.064,ok BF5_cpmp_16_5_64_13_39_12,1,astar-symmullt-transmul,5.068,ok BF5_cpmp_16_5_64_13_39_12,1,idastar-symmulgt-transmul,0.788,ok BF5_cpmp_16_5_64_13_39_12,1,idastar-symmullt-transmul,299.575,ok BF5_cpmp_16_5_64_13_39_14,1,astar-symmulgt-transmul,0.26,ok BF5_cpmp_16_5_64_13_39_14,1,astar-symmullt-transmul,2.836,ok BF5_cpmp_16_5_64_13_39_14,1,idastar-symmulgt-transmul,1.192,ok BF5_cpmp_16_5_64_13_39_14,1,idastar-symmullt-transmul,0.92,ok BF5_cpmp_16_5_64_13_39_15,1,astar-symmulgt-transmul,3600,memout BF5_cpmp_16_5_64_13_39_15,1,astar-symmullt-transmul,237.703,ok BF5_cpmp_16_5_64_13_39_15,1,idastar-symmulgt-transmul,3600,timeout BF5_cpmp_16_5_64_13_39_15,1,idastar-symmullt-transmul,12.665,ok BF5_cpmp_16_5_64_13_39_17,1,astar-symmulgt-transmul,1.284,ok BF5_cpmp_16_5_64_13_39_17,1,astar-symmullt-transmul,38.662,ok BF5_cpmp_16_5_64_13_39_17,1,idastar-symmulgt-transmul,0.516,ok BF5_cpmp_16_5_64_13_39_17,1,idastar-symmullt-transmul,0.256,ok BF5_cpmp_16_5_64_13_39_2,1,astar-symmulgt-transmul,95.354,ok BF5_cpmp_16_5_64_13_39_2,1,astar-symmullt-transmul,0.04,ok BF5_cpmp_16_5_64_13_39_2,1,idastar-symmulgt-transmul,1583.931,ok BF5_cpmp_16_5_64_13_39_2,1,idastar-symmullt-transmul,2516.925,ok BF5_cpmp_16_5_64_13_39_20,1,astar-symmulgt-transmul,3600,memout BF5_cpmp_16_5_64_13_39_20,1,astar-symmullt-transmul,3600,memout BF5_cpmp_16_5_64_13_39_20,1,idastar-symmulgt-transmul,3600,timeout BF5_cpmp_16_5_64_13_39_20,1,idastar-symmullt-transmul,1500.394,ok BF5_cpmp_16_5_64_13_39_3,1,astar-symmulgt-transmul,0.352,ok BF5_cpmp_16_5_64_13_39_3,1,astar-symmullt-transmul,3600,memout BF5_cpmp_16_5_64_13_39_3,1,idastar-symmulgt-transmul,3600,timeout BF5_cpmp_16_5_64_13_39_3,1,idastar-symmullt-transmul,3600,timeout BF5_cpmp_16_5_64_13_39_4,1,astar-symmulgt-transmul,5.6,ok BF5_cpmp_16_5_64_13_39_4,1,astar-symmullt-transmul,1.556,ok BF5_cpmp_16_5_64_13_39_4,1,idastar-symmulgt-transmul,3600,timeout BF5_cpmp_16_5_64_13_39_4,1,idastar-symmullt-transmul,3600,timeout BF5_cpmp_16_5_64_13_39_5,1,astar-symmulgt-transmul,7.056,ok BF5_cpmp_16_5_64_13_39_5,1,astar-symmullt-transmul,2.452,ok BF5_cpmp_16_5_64_13_39_5,1,idastar-symmulgt-transmul,0.892,ok BF5_cpmp_16_5_64_13_39_5,1,idastar-symmullt-transmul,0.352,ok BF5_cpmp_16_5_64_13_39_8,1,astar-symmulgt-transmul,6.72,ok BF5_cpmp_16_5_64_13_39_8,1,astar-symmullt-transmul,138.617,ok BF5_cpmp_16_5_64_13_39_8,1,idastar-symmulgt-transmul,14.333,ok BF5_cpmp_16_5_64_13_39_8,1,idastar-symmullt-transmul,0.296,ok BF5_cpmp_16_5_64_13_39_9,1,astar-symmulgt-transmul,0.832,ok BF5_cpmp_16_5_64_13_39_9,1,astar-symmullt-transmul,0.34,ok BF5_cpmp_16_5_64_13_39_9,1,idastar-symmulgt-transmul,29.366,ok BF5_cpmp_16_5_64_13_39_9,1,idastar-symmullt-transmul,81.745,ok BF6_cpmp_16_5_64_13_48_1,1,astar-symmulgt-transmul,11.389,ok BF6_cpmp_16_5_64_13_48_1,1,astar-symmullt-transmul,11.861,ok BF6_cpmp_16_5_64_13_48_1,1,idastar-symmulgt-transmul,3600,timeout BF6_cpmp_16_5_64_13_48_1,1,idastar-symmullt-transmul,3600,timeout BF6_cpmp_16_5_64_13_48_11,1,astar-symmulgt-transmul,3.016,ok BF6_cpmp_16_5_64_13_48_11,1,astar-symmullt-transmul,1.588,ok BF6_cpmp_16_5_64_13_48_11,1,idastar-symmulgt-transmul,3600,timeout BF6_cpmp_16_5_64_13_48_11,1,idastar-symmullt-transmul,3600,timeout BF6_cpmp_16_5_64_13_48_12,1,astar-symmulgt-transmul,78.477,ok BF6_cpmp_16_5_64_13_48_12,1,astar-symmullt-transmul,0.852,ok BF6_cpmp_16_5_64_13_48_12,1,idastar-symmulgt-transmul,3600,timeout BF6_cpmp_16_5_64_13_48_12,1,idastar-symmullt-transmul,3600,timeout BF6_cpmp_16_5_64_13_48_13,1,astar-symmulgt-transmul,114.211,ok BF6_cpmp_16_5_64_13_48_13,1,astar-symmullt-transmul,1.536,ok BF6_cpmp_16_5_64_13_48_13,1,idastar-symmulgt-transmul,3600,timeout BF6_cpmp_16_5_64_13_48_13,1,idastar-symmullt-transmul,3600,timeout BF6_cpmp_16_5_64_13_48_15,1,astar-symmulgt-transmul,3600,memout BF6_cpmp_16_5_64_13_48_15,1,astar-symmullt-transmul,133.524,ok BF6_cpmp_16_5_64_13_48_15,1,idastar-symmulgt-transmul,3600,timeout BF6_cpmp_16_5_64_13_48_15,1,idastar-symmullt-transmul,3600,timeout BF6_cpmp_16_5_64_13_48_16,1,astar-symmulgt-transmul,1.072,ok BF6_cpmp_16_5_64_13_48_16,1,astar-symmullt-transmul,3.036,ok BF6_cpmp_16_5_64_13_48_16,1,idastar-symmulgt-transmul,3600,timeout BF6_cpmp_16_5_64_13_48_16,1,idastar-symmullt-transmul,3600,timeout BF6_cpmp_16_5_64_13_48_17,1,astar-symmulgt-transmul,1.904,ok BF6_cpmp_16_5_64_13_48_17,1,astar-symmullt-transmul,2.112,ok BF6_cpmp_16_5_64_13_48_17,1,idastar-symmulgt-transmul,3600,timeout BF6_cpmp_16_5_64_13_48_17,1,idastar-symmullt-transmul,3600,timeout BF6_cpmp_16_5_64_13_48_18,1,astar-symmulgt-transmul,12.225,ok BF6_cpmp_16_5_64_13_48_18,1,astar-symmullt-transmul,3600,memout BF6_cpmp_16_5_64_13_48_18,1,idastar-symmulgt-transmul,3600,timeout BF6_cpmp_16_5_64_13_48_18,1,idastar-symmullt-transmul,3600,timeout BF6_cpmp_16_5_64_13_48_19,1,astar-symmulgt-transmul,3600,memout BF6_cpmp_16_5_64_13_48_19,1,astar-symmullt-transmul,28.89,ok BF6_cpmp_16_5_64_13_48_19,1,idastar-symmulgt-transmul,3600,timeout BF6_cpmp_16_5_64_13_48_19,1,idastar-symmullt-transmul,3600,timeout BF6_cpmp_16_5_64_13_48_2,1,astar-symmulgt-transmul,1.72,ok BF6_cpmp_16_5_64_13_48_2,1,astar-symmullt-transmul,8.465,ok BF6_cpmp_16_5_64_13_48_2,1,idastar-symmulgt-transmul,3600,timeout BF6_cpmp_16_5_64_13_48_2,1,idastar-symmullt-transmul,3600,timeout BF6_cpmp_16_5_64_13_48_3,1,astar-symmulgt-transmul,1.972,ok BF6_cpmp_16_5_64_13_48_3,1,astar-symmullt-transmul,3600,memout BF6_cpmp_16_5_64_13_48_3,1,idastar-symmulgt-transmul,3600,timeout BF6_cpmp_16_5_64_13_48_3,1,idastar-symmullt-transmul,3600,timeout BF6_cpmp_16_5_64_13_48_4,1,astar-symmulgt-transmul,3600,memout BF6_cpmp_16_5_64_13_48_4,1,astar-symmullt-transmul,125.576,ok BF6_cpmp_16_5_64_13_48_4,1,idastar-symmulgt-transmul,3600,timeout BF6_cpmp_16_5_64_13_48_4,1,idastar-symmullt-transmul,3600,timeout BF6_cpmp_16_5_64_13_48_6,1,astar-symmulgt-transmul,156.334,ok BF6_cpmp_16_5_64_13_48_6,1,astar-symmullt-transmul,3600,memout BF6_cpmp_16_5_64_13_48_6,1,idastar-symmulgt-transmul,3600,timeout BF6_cpmp_16_5_64_13_48_6,1,idastar-symmullt-transmul,3600,timeout BF6_cpmp_16_5_64_13_48_7,1,astar-symmulgt-transmul,9.729,ok BF6_cpmp_16_5_64_13_48_7,1,astar-symmullt-transmul,14.477,ok BF6_cpmp_16_5_64_13_48_7,1,idastar-symmulgt-transmul,3600,timeout BF6_cpmp_16_5_64_13_48_7,1,idastar-symmullt-transmul,3600,timeout BF6_cpmp_16_5_64_13_48_8,1,astar-symmulgt-transmul,76.481,ok BF6_cpmp_16_5_64_13_48_8,1,astar-symmullt-transmul,3600,memout BF6_cpmp_16_5_64_13_48_8,1,idastar-symmulgt-transmul,311.359,ok BF6_cpmp_16_5_64_13_48_8,1,idastar-symmullt-transmul,3600,timeout BF6_cpmp_16_5_64_13_48_9,1,astar-symmulgt-transmul,8.917,ok BF6_cpmp_16_5_64_13_48_9,1,astar-symmullt-transmul,59.656,ok BF6_cpmp_16_5_64_13_48_9,1,idastar-symmulgt-transmul,3600,timeout BF6_cpmp_16_5_64_13_48_9,1,idastar-symmullt-transmul,3600,timeout BF7_cpmp_16_5_64_26_39_1,1,astar-symmulgt-transmul,23.57,ok BF7_cpmp_16_5_64_26_39_1,1,astar-symmullt-transmul,3600,memout BF7_cpmp_16_5_64_26_39_1,1,idastar-symmulgt-transmul,3600,timeout BF7_cpmp_16_5_64_26_39_1,1,idastar-symmullt-transmul,3600,timeout BF7_cpmp_16_5_64_26_39_10,1,astar-symmulgt-transmul,353.126,ok BF7_cpmp_16_5_64_26_39_10,1,astar-symmullt-transmul,2.216,ok BF7_cpmp_16_5_64_26_39_10,1,idastar-symmulgt-transmul,66.108,ok BF7_cpmp_16_5_64_26_39_10,1,idastar-symmullt-transmul,2.032,ok BF7_cpmp_16_5_64_26_39_11,1,astar-symmulgt-transmul,25.254,ok BF7_cpmp_16_5_64_26_39_11,1,astar-symmullt-transmul,13.929,ok BF7_cpmp_16_5_64_26_39_11,1,idastar-symmulgt-transmul,345.646,ok BF7_cpmp_16_5_64_26_39_11,1,idastar-symmullt-transmul,2782.858,ok BF7_cpmp_16_5_64_26_39_12,1,astar-symmulgt-transmul,3600,memout BF7_cpmp_16_5_64_26_39_12,1,astar-symmullt-transmul,3600,memout BF7_cpmp_16_5_64_26_39_12,1,idastar-symmulgt-transmul,2387.621,ok BF7_cpmp_16_5_64_26_39_12,1,idastar-symmullt-transmul,3143.292,ok BF7_cpmp_16_5_64_26_39_13,1,astar-symmulgt-transmul,5.54,ok BF7_cpmp_16_5_64_26_39_13,1,astar-symmullt-transmul,3600,memout BF7_cpmp_16_5_64_26_39_13,1,idastar-symmulgt-transmul,33.922,ok BF7_cpmp_16_5_64_26_39_13,1,idastar-symmullt-transmul,33.098,ok BF7_cpmp_16_5_64_26_39_14,1,astar-symmulgt-transmul,3600,memout BF7_cpmp_16_5_64_26_39_14,1,astar-symmullt-transmul,3600,memout BF7_cpmp_16_5_64_26_39_14,1,idastar-symmulgt-transmul,3600,timeout BF7_cpmp_16_5_64_26_39_14,1,idastar-symmullt-transmul,657.537,ok BF7_cpmp_16_5_64_26_39_15,1,astar-symmulgt-transmul,3600,memout BF7_cpmp_16_5_64_26_39_15,1,astar-symmullt-transmul,8.097,ok BF7_cpmp_16_5_64_26_39_15,1,idastar-symmulgt-transmul,1.688,ok BF7_cpmp_16_5_64_26_39_15,1,idastar-symmullt-transmul,3.228,ok BF7_cpmp_16_5_64_26_39_16,1,astar-symmulgt-transmul,4.304,ok BF7_cpmp_16_5_64_26_39_16,1,astar-symmullt-transmul,14.337,ok BF7_cpmp_16_5_64_26_39_16,1,idastar-symmulgt-transmul,0.772,ok BF7_cpmp_16_5_64_26_39_16,1,idastar-symmullt-transmul,55.947,ok BF7_cpmp_16_5_64_26_39_17,1,astar-symmulgt-transmul,3600,memout BF7_cpmp_16_5_64_26_39_17,1,astar-symmullt-transmul,300.859,ok BF7_cpmp_16_5_64_26_39_17,1,idastar-symmulgt-transmul,3.472,ok BF7_cpmp_16_5_64_26_39_17,1,idastar-symmullt-transmul,589.277,ok BF7_cpmp_16_5_64_26_39_19,1,astar-symmulgt-transmul,3600,memout BF7_cpmp_16_5_64_26_39_19,1,astar-symmullt-transmul,391.176,ok BF7_cpmp_16_5_64_26_39_19,1,idastar-symmulgt-transmul,200.645,ok BF7_cpmp_16_5_64_26_39_19,1,idastar-symmullt-transmul,945.447,ok BF7_cpmp_16_5_64_26_39_2,1,astar-symmulgt-transmul,3600,memout BF7_cpmp_16_5_64_26_39_2,1,astar-symmullt-transmul,3600,memout BF7_cpmp_16_5_64_26_39_2,1,idastar-symmulgt-transmul,2288.879,ok BF7_cpmp_16_5_64_26_39_2,1,idastar-symmullt-transmul,699.408,ok BF7_cpmp_16_5_64_26_39_20,1,astar-symmulgt-transmul,3600,memout BF7_cpmp_16_5_64_26_39_20,1,astar-symmullt-transmul,3600,memout BF7_cpmp_16_5_64_26_39_20,1,idastar-symmulgt-transmul,3600,timeout BF7_cpmp_16_5_64_26_39_20,1,idastar-symmullt-transmul,2240.424,ok BF7_cpmp_16_5_64_26_39_3,1,astar-symmulgt-transmul,3600,memout BF7_cpmp_16_5_64_26_39_3,1,astar-symmullt-transmul,3600,memout BF7_cpmp_16_5_64_26_39_3,1,idastar-symmulgt-transmul,3600,timeout BF7_cpmp_16_5_64_26_39_3,1,idastar-symmullt-transmul,3387.188,ok BF7_cpmp_16_5_64_26_39_6,1,astar-symmulgt-transmul,2.832,ok BF7_cpmp_16_5_64_26_39_6,1,astar-symmullt-transmul,1.124,ok BF7_cpmp_16_5_64_26_39_6,1,idastar-symmulgt-transmul,8.953,ok BF7_cpmp_16_5_64_26_39_6,1,idastar-symmullt-transmul,1.136,ok BF7_cpmp_16_5_64_26_39_7,1,astar-symmulgt-transmul,3600,memout BF7_cpmp_16_5_64_26_39_7,1,astar-symmullt-transmul,3600,memout BF7_cpmp_16_5_64_26_39_7,1,idastar-symmulgt-transmul,76.673,ok BF7_cpmp_16_5_64_26_39_7,1,idastar-symmullt-transmul,407.793,ok BF7_cpmp_16_5_64_26_39_8,1,astar-symmulgt-transmul,12.325,ok BF7_cpmp_16_5_64_26_39_8,1,astar-symmullt-transmul,3600,memout BF7_cpmp_16_5_64_26_39_8,1,idastar-symmulgt-transmul,226.442,ok BF7_cpmp_16_5_64_26_39_8,1,idastar-symmullt-transmul,6.344,ok BF8_cpmp_16_5_64_26_48_1,1,astar-symmulgt-transmul,0.128,ok BF8_cpmp_16_5_64_26_48_1,1,astar-symmullt-transmul,24.645,ok BF8_cpmp_16_5_64_26_48_1,1,idastar-symmulgt-transmul,3600,timeout BF8_cpmp_16_5_64_26_48_1,1,idastar-symmullt-transmul,3600,timeout BF8_cpmp_16_5_64_26_48_11,1,astar-symmulgt-transmul,196.648,ok BF8_cpmp_16_5_64_26_48_11,1,astar-symmullt-transmul,81.437,ok BF8_cpmp_16_5_64_26_48_11,1,idastar-symmulgt-transmul,3600,timeout BF8_cpmp_16_5_64_26_48_11,1,idastar-symmullt-transmul,3600,timeout BF8_cpmp_16_5_64_26_48_12,1,astar-symmulgt-transmul,12.009,ok BF8_cpmp_16_5_64_26_48_12,1,astar-symmullt-transmul,22.061,ok BF8_cpmp_16_5_64_26_48_12,1,idastar-symmulgt-transmul,3600,timeout BF8_cpmp_16_5_64_26_48_12,1,idastar-symmullt-transmul,3600,timeout BF8_cpmp_16_5_64_26_48_17,1,astar-symmulgt-transmul,3600,memout BF8_cpmp_16_5_64_26_48_17,1,astar-symmullt-transmul,127.268,ok BF8_cpmp_16_5_64_26_48_17,1,idastar-symmulgt-transmul,3600,timeout BF8_cpmp_16_5_64_26_48_17,1,idastar-symmullt-transmul,3600,timeout BF8_cpmp_16_5_64_26_48_20,1,astar-symmulgt-transmul,3600,memout BF8_cpmp_16_5_64_26_48_20,1,astar-symmullt-transmul,3600,memout BF8_cpmp_16_5_64_26_48_20,1,idastar-symmulgt-transmul,284.538,ok BF8_cpmp_16_5_64_26_48_20,1,idastar-symmullt-transmul,15.101,ok BF8_cpmp_16_5_64_26_48_4,1,astar-symmulgt-transmul,3600,memout BF8_cpmp_16_5_64_26_48_4,1,astar-symmullt-transmul,3600,memout BF8_cpmp_16_5_64_26_48_4,1,idastar-symmulgt-transmul,3600,timeout BF8_cpmp_16_5_64_26_48_4,1,idastar-symmullt-transmul,1433.006,ok BF8_cpmp_16_5_64_26_48_5,1,astar-symmulgt-transmul,15.465,ok BF8_cpmp_16_5_64_26_48_5,1,astar-symmullt-transmul,32.898,ok BF8_cpmp_16_5_64_26_48_5,1,idastar-symmulgt-transmul,7.288,ok BF8_cpmp_16_5_64_26_48_5,1,idastar-symmullt-transmul,3600,timeout BF8_cpmp_16_5_64_26_48_6,1,astar-symmulgt-transmul,3600,memout BF8_cpmp_16_5_64_26_48_6,1,astar-symmullt-transmul,3600,memout BF8_cpmp_16_5_64_26_48_6,1,idastar-symmulgt-transmul,148.953,ok BF8_cpmp_16_5_64_26_48_6,1,idastar-symmullt-transmul,1452.071,ok BF8_cpmp_16_5_64_26_48_7,1,astar-symmulgt-transmul,2.72,ok BF8_cpmp_16_5_64_26_48_7,1,astar-symmullt-transmul,3600,memout BF8_cpmp_16_5_64_26_48_7,1,idastar-symmulgt-transmul,3600,timeout BF8_cpmp_16_5_64_26_48_7,1,idastar-symmullt-transmul,3600,timeout BF9_cpmp_16_8_77_16_47_1,1,astar-symmulgt-transmul,3600,memout BF9_cpmp_16_8_77_16_47_1,1,astar-symmullt-transmul,3600,memout BF9_cpmp_16_8_77_16_47_1,1,idastar-symmulgt-transmul,1468.668,ok BF9_cpmp_16_8_77_16_47_1,1,idastar-symmullt-transmul,3600,timeout BF9_cpmp_16_8_77_16_47_10,1,astar-symmulgt-transmul,60.852,ok BF9_cpmp_16_8_77_16_47_10,1,astar-symmullt-transmul,3600,memout BF9_cpmp_16_8_77_16_47_10,1,idastar-symmulgt-transmul,300.563,ok BF9_cpmp_16_8_77_16_47_10,1,idastar-symmullt-transmul,37.682,ok BF9_cpmp_16_8_77_16_47_12,1,astar-symmulgt-transmul,3600,memout BF9_cpmp_16_8_77_16_47_12,1,astar-symmullt-transmul,3600,memout BF9_cpmp_16_8_77_16_47_12,1,idastar-symmulgt-transmul,705.936,ok BF9_cpmp_16_8_77_16_47_12,1,idastar-symmullt-transmul,406.801,ok BF9_cpmp_16_8_77_16_47_3,1,astar-symmulgt-transmul,3600,memout BF9_cpmp_16_8_77_16_47_3,1,astar-symmullt-transmul,3600,memout BF9_cpmp_16_8_77_16_47_3,1,idastar-symmulgt-transmul,1137.839,ok BF9_cpmp_16_8_77_16_47_3,1,idastar-symmullt-transmul,1.932,ok BF9_cpmp_16_8_77_16_47_4,1,astar-symmulgt-transmul,3600,memout BF9_cpmp_16_8_77_16_47_4,1,astar-symmullt-transmul,6.1,ok BF9_cpmp_16_8_77_16_47_4,1,idastar-symmulgt-transmul,1010.091,ok BF9_cpmp_16_8_77_16_47_4,1,idastar-symmullt-transmul,7.836,ok BF9_cpmp_16_8_77_16_47_6,1,astar-symmulgt-transmul,3600,memout BF9_cpmp_16_8_77_16_47_6,1,astar-symmullt-transmul,3600,memout BF9_cpmp_16_8_77_16_47_6,1,idastar-symmulgt-transmul,444.748,ok BF9_cpmp_16_8_77_16_47_6,1,idastar-symmullt-transmul,1096.493,ok BF9_cpmp_16_8_77_16_47_7,1,astar-symmulgt-transmul,3600,memout BF9_cpmp_16_8_77_16_47_7,1,astar-symmullt-transmul,3600,memout BF9_cpmp_16_8_77_16_47_7,1,idastar-symmulgt-transmul,1246.822,ok BF9_cpmp_16_8_77_16_47_7,1,idastar-symmullt-transmul,2556.336,ok BF9_cpmp_16_8_77_16_47_8,1,astar-symmulgt-transmul,3600,memout BF9_cpmp_16_8_77_16_47_8,1,astar-symmullt-transmul,2.728,ok BF9_cpmp_16_8_77_16_47_8,1,idastar-symmulgt-transmul,3600,timeout BF9_cpmp_16_8_77_16_47_8,1,idastar-symmullt-transmul,3600,timeout LC2a_lc2a_1,1,astar-symmulgt-transmul,0.024,ok LC2a_lc2a_1,1,astar-symmullt-transmul,14.857,ok LC2a_lc2a_1,1,idastar-symmulgt-transmul,0.02,ok LC2a_lc2a_1,1,idastar-symmullt-transmul,0.764,ok LC2a_lc2a_10,1,astar-symmulgt-transmul,0.484,ok LC2a_lc2a_10,1,astar-symmullt-transmul,0.02,ok LC2a_lc2a_10,1,idastar-symmulgt-transmul,0.392,ok LC2a_lc2a_10,1,idastar-symmullt-transmul,0.008,ok LC2a_lc2a_2,1,astar-symmulgt-transmul,792.29,ok LC2a_lc2a_2,1,astar-symmullt-transmul,5.28,ok LC2a_lc2a_2,1,idastar-symmulgt-transmul,613.682,ok LC2a_lc2a_2,1,idastar-symmullt-transmul,160.234,ok LC2a_lc2a_3,1,astar-symmulgt-transmul,31.086,ok LC2a_lc2a_3,1,astar-symmullt-transmul,1.636,ok LC2a_lc2a_3,1,idastar-symmulgt-transmul,25.442,ok LC2a_lc2a_3,1,idastar-symmullt-transmul,30.694,ok LC2a_lc2a_4,1,astar-symmulgt-transmul,0.648,ok LC2a_lc2a_4,1,astar-symmullt-transmul,3600,memout LC2a_lc2a_4,1,idastar-symmulgt-transmul,0.52,ok LC2a_lc2a_4,1,idastar-symmullt-transmul,0.112,ok LC2a_lc2a_5,1,astar-symmulgt-transmul,2.476,ok LC2a_lc2a_5,1,astar-symmullt-transmul,13.665,ok LC2a_lc2a_5,1,idastar-symmulgt-transmul,1.92,ok LC2a_lc2a_5,1,idastar-symmullt-transmul,1.804,ok LC2a_lc2a_7,1,astar-symmulgt-transmul,11.417,ok LC2a_lc2a_7,1,astar-symmullt-transmul,231.046,ok LC2a_lc2a_7,1,idastar-symmulgt-transmul,9.253,ok LC2a_lc2a_7,1,idastar-symmullt-transmul,6.796,ok LC2b_lc2b_1,1,astar-symmulgt-transmul,21.005,ok LC2b_lc2b_1,1,astar-symmullt-transmul,3600,memout LC2b_lc2b_1,1,idastar-symmulgt-transmul,17.401,ok LC2b_lc2b_1,1,idastar-symmullt-transmul,652.297,ok LC2b_lc2b_2,1,astar-symmulgt-transmul,3039.914,ok LC2b_lc2b_2,1,astar-symmullt-transmul,3600,memout LC2b_lc2b_2,1,idastar-symmulgt-transmul,1806.705,ok LC2b_lc2b_2,1,idastar-symmullt-transmul,3600,timeout LC2b_lc2b_3,1,astar-symmulgt-transmul,0.752,ok LC2b_lc2b_3,1,astar-symmullt-transmul,3600,memout LC2b_lc2b_3,1,idastar-symmulgt-transmul,0.468,ok LC2b_lc2b_3,1,idastar-symmullt-transmul,0.516,ok LC2b_lc2b_4,1,astar-symmulgt-transmul,60.796,ok LC2b_lc2b_4,1,astar-symmullt-transmul,0.232,ok LC2b_lc2b_4,1,idastar-symmulgt-transmul,50.051,ok LC2b_lc2b_4,1,idastar-symmullt-transmul,23.045,ok LC2b_lc2b_5,1,astar-symmulgt-transmul,3600,memout LC2b_lc2b_5,1,astar-symmullt-transmul,3600,memout LC2b_lc2b_5,1,idastar-symmulgt-transmul,3600,timeout LC2b_lc2b_5,1,idastar-symmullt-transmul,10.729,ok LC2b_lc2b_6,1,astar-symmulgt-transmul,0.38,ok LC2b_lc2b_6,1,astar-symmullt-transmul,2.676,ok LC2b_lc2b_6,1,idastar-symmulgt-transmul,0.308,ok LC2b_lc2b_6,1,idastar-symmullt-transmul,1.156,ok LC2b_lc2b_7,1,astar-symmulgt-transmul,1056.57,ok LC2b_lc2b_7,1,astar-symmullt-transmul,7.856,ok LC2b_lc2b_7,1,idastar-symmulgt-transmul,779.805,ok LC2b_lc2b_7,1,idastar-symmullt-transmul,528.325,ok LC2b_lc2b_9,1,astar-symmulgt-transmul,82.761,ok LC2b_lc2b_9,1,astar-symmullt-transmul,3600,memout LC2b_lc2b_9,1,idastar-symmulgt-transmul,67.752,ok LC2b_lc2b_9,1,idastar-symmullt-transmul,74.373,ok LC3a_lc3a_1,1,astar-symmulgt-transmul,70.404,ok LC3a_lc3a_1,1,astar-symmullt-transmul,0.572,ok LC3a_lc3a_1,1,idastar-symmulgt-transmul,56.104,ok LC3a_lc3a_1,1,idastar-symmullt-transmul,29.318,ok LC3a_lc3a_10,1,astar-symmulgt-transmul,1.176,ok LC3a_lc3a_10,1,astar-symmullt-transmul,3.996,ok LC3a_lc3a_10,1,idastar-symmulgt-transmul,0.976,ok LC3a_lc3a_10,1,idastar-symmullt-transmul,0.048,ok LC3a_lc3a_3,1,astar-symmulgt-transmul,170.859,ok LC3a_lc3a_3,1,astar-symmullt-transmul,3600,memout LC3a_lc3a_3,1,idastar-symmulgt-transmul,142.593,ok LC3a_lc3a_3,1,idastar-symmullt-transmul,114.671,ok LC3a_lc3a_4,1,astar-symmulgt-transmul,3600,memout LC3a_lc3a_4,1,astar-symmullt-transmul,81.537,ok LC3a_lc3a_4,1,idastar-symmulgt-transmul,3600,timeout LC3a_lc3a_4,1,idastar-symmullt-transmul,2436.808,ok LC3a_lc3a_6,1,astar-symmulgt-transmul,28.546,ok LC3a_lc3a_6,1,astar-symmullt-transmul,0.648,ok LC3a_lc3a_6,1,idastar-symmulgt-transmul,23.149,ok LC3a_lc3a_6,1,idastar-symmullt-transmul,2.08,ok LC3a_lc3a_7,1,astar-symmulgt-transmul,111.835,ok LC3a_lc3a_7,1,astar-symmullt-transmul,0.144,ok LC3a_lc3a_7,1,idastar-symmulgt-transmul,80.653,ok LC3a_lc3a_7,1,idastar-symmullt-transmul,89.89,ok LC3a_lc3a_8,1,astar-symmulgt-transmul,1320.567,ok LC3a_lc3a_8,1,astar-symmullt-transmul,229.57,ok LC3a_lc3a_8,1,idastar-symmulgt-transmul,1009.243,ok LC3a_lc3a_8,1,idastar-symmullt-transmul,569.048,ok LC3a_lc3a_9,1,astar-symmulgt-transmul,3600,memout LC3a_lc3a_9,1,astar-symmullt-transmul,55.592,ok LC3a_lc3a_9,1,idastar-symmulgt-transmul,3600,timeout LC3a_lc3a_9,1,idastar-symmullt-transmul,2312.845,ok LC3b_lc3b_1,1,astar-symmulgt-transmul,1054.294,ok LC3b_lc3b_1,1,astar-symmullt-transmul,214.365,ok LC3b_lc3b_1,1,idastar-symmulgt-transmul,857.706,ok LC3b_lc3b_1,1,idastar-symmullt-transmul,359.93,ok LC3b_lc3b_10,1,astar-symmulgt-transmul,1053.806,ok LC3b_lc3b_10,1,astar-symmullt-transmul,3600,memout LC3b_lc3b_10,1,idastar-symmulgt-transmul,822.027,ok LC3b_lc3b_10,1,idastar-symmullt-transmul,1984.696,ok LC3b_lc3b_4,1,astar-symmulgt-transmul,338.281,ok LC3b_lc3b_4,1,astar-symmullt-transmul,759.055,ok LC3b_lc3b_4,1,idastar-symmulgt-transmul,275.901,ok LC3b_lc3b_4,1,idastar-symmullt-transmul,12.305,ok LC3b_lc3b_5,1,astar-symmulgt-transmul,0.476,ok LC3b_lc3b_5,1,astar-symmullt-transmul,0.14,ok LC3b_lc3b_5,1,idastar-symmulgt-transmul,0.408,ok LC3b_lc3b_5,1,idastar-symmullt-transmul,0.228,ok LC3b_lc3b_6,1,astar-symmulgt-transmul,1.732,ok LC3b_lc3b_6,1,astar-symmullt-transmul,0.752,ok LC3b_lc3b_6,1,idastar-symmulgt-transmul,1.46,ok LC3b_lc3b_6,1,idastar-symmullt-transmul,0.484,ok LC3b_lc3b_8,1,astar-symmulgt-transmul,43.835,ok LC3b_lc3b_8,1,astar-symmullt-transmul,23.433,ok LC3b_lc3b_8,1,idastar-symmulgt-transmul,42.227,ok LC3b_lc3b_8,1,idastar-symmullt-transmul,399.973,ok LC3b_lc3b_9,1,astar-symmulgt-transmul,94.622,ok LC3b_lc3b_9,1,astar-symmullt-transmul,3600,memout LC3b_lc3b_9,1,idastar-symmulgt-transmul,75.209,ok LC3b_lc3b_9,1,idastar-symmullt-transmul,74.453,ok cv_data3-5-13,1,astar-symmulgt-transmul,0.18,ok cv_data3-5-13,1,astar-symmullt-transmul,0.196,ok cv_data3-5-13,1,idastar-symmulgt-transmul,0.072,ok cv_data3-5-13,1,idastar-symmullt-transmul,0.076,ok cv_data3-5-8,1,astar-symmulgt-transmul,0.26,ok cv_data3-5-8,1,astar-symmullt-transmul,0.268,ok cv_data3-5-8,1,idastar-symmulgt-transmul,0.084,ok cv_data3-5-8,1,idastar-symmullt-transmul,0.084,ok cv_data3-6-24,1,astar-symmulgt-transmul,0.064,ok cv_data3-6-24,1,astar-symmullt-transmul,0.072,ok cv_data3-6-24,1,idastar-symmulgt-transmul,0.188,ok cv_data3-6-24,1,idastar-symmullt-transmul,0.092,ok cv_data3-6-26,1,astar-symmulgt-transmul,0.528,ok cv_data3-6-26,1,astar-symmullt-transmul,0.652,ok cv_data3-6-26,1,idastar-symmulgt-transmul,0.244,ok cv_data3-6-26,1,idastar-symmullt-transmul,0.264,ok cv_data3-7-12,1,astar-symmulgt-transmul,0.344,ok cv_data3-7-12,1,astar-symmullt-transmul,0.484,ok cv_data3-7-12,1,idastar-symmulgt-transmul,0.436,ok cv_data3-7-12,1,idastar-symmullt-transmul,0.228,ok cv_data3-7-17,1,astar-symmulgt-transmul,0.268,ok cv_data3-7-17,1,astar-symmullt-transmul,0.252,ok cv_data3-7-17,1,idastar-symmulgt-transmul,0.14,ok cv_data3-7-17,1,idastar-symmullt-transmul,0.128,ok cv_data3-7-18,1,astar-symmulgt-transmul,0.052,ok cv_data3-7-18,1,astar-symmullt-transmul,0.06,ok cv_data3-7-18,1,idastar-symmulgt-transmul,0.06,ok cv_data3-7-18,1,idastar-symmullt-transmul,0.216,ok cv_data3-7-22,1,astar-symmulgt-transmul,0.44,ok cv_data3-7-22,1,astar-symmullt-transmul,0.536,ok cv_data3-7-22,1,idastar-symmulgt-transmul,0.032,ok cv_data3-7-22,1,idastar-symmullt-transmul,0.024,ok cv_data3-7-27,1,astar-symmulgt-transmul,0.096,ok cv_data3-7-27,1,astar-symmullt-transmul,0.116,ok cv_data3-7-27,1,idastar-symmulgt-transmul,0.2,ok cv_data3-7-27,1,idastar-symmullt-transmul,0.104,ok cv_data3-7-30,1,astar-symmulgt-transmul,0.316,ok cv_data3-7-30,1,astar-symmullt-transmul,0.384,ok cv_data3-7-30,1,idastar-symmulgt-transmul,0.004,ok cv_data3-7-30,1,idastar-symmullt-transmul,0.004,ok cv_data3-7-5,1,astar-symmulgt-transmul,0.292,ok cv_data3-7-5,1,astar-symmullt-transmul,0.26,ok cv_data3-7-5,1,idastar-symmulgt-transmul,0.004,ok cv_data3-7-5,1,idastar-symmullt-transmul,0.004,ok cv_data3-8-17,1,astar-symmulgt-transmul,0.116,ok cv_data3-8-17,1,astar-symmullt-transmul,0.168,ok cv_data3-8-17,1,idastar-symmulgt-transmul,0.008,ok cv_data3-8-17,1,idastar-symmullt-transmul,0.008,ok cv_data3-8-2,1,astar-symmulgt-transmul,0.016,ok cv_data3-8-2,1,astar-symmullt-transmul,0.016,ok cv_data3-8-2,1,idastar-symmulgt-transmul,0.08,ok cv_data3-8-2,1,idastar-symmullt-transmul,0.272,ok cv_data3-8-24,1,astar-symmulgt-transmul,0.764,ok cv_data3-8-24,1,astar-symmullt-transmul,0.62,ok cv_data3-8-24,1,idastar-symmulgt-transmul,0.54,ok cv_data3-8-24,1,idastar-symmullt-transmul,0.248,ok cv_data3-8-25,1,astar-symmulgt-transmul,0.156,ok cv_data3-8-25,1,astar-symmullt-transmul,0.152,ok cv_data3-8-25,1,idastar-symmulgt-transmul,0.012,ok cv_data3-8-25,1,idastar-symmullt-transmul,0.008,ok cv_data3-8-28,1,astar-symmulgt-transmul,0.308,ok cv_data3-8-28,1,astar-symmullt-transmul,0.252,ok cv_data3-8-28,1,idastar-symmulgt-transmul,0.168,ok cv_data3-8-28,1,idastar-symmullt-transmul,0.104,ok cv_data3-8-37,1,astar-symmulgt-transmul,0.144,ok cv_data3-8-37,1,astar-symmullt-transmul,0.104,ok cv_data3-8-37,1,idastar-symmulgt-transmul,0.48,ok cv_data3-8-37,1,idastar-symmullt-transmul,0.112,ok cv_data3-8-38,1,astar-symmulgt-transmul,0.416,ok cv_data3-8-38,1,astar-symmullt-transmul,0.532,ok cv_data3-8-38,1,idastar-symmulgt-transmul,0.536,ok cv_data3-8-38,1,idastar-symmullt-transmul,0.208,ok cv_data3-8-7,1,astar-symmulgt-transmul,1.088,ok cv_data3-8-7,1,astar-symmullt-transmul,1.876,ok cv_data3-8-7,1,idastar-symmulgt-transmul,1.928,ok cv_data3-8-7,1,idastar-symmullt-transmul,1.064,ok cv_data4-4-10,1,astar-symmulgt-transmul,0.38,ok cv_data4-4-10,1,astar-symmullt-transmul,0.368,ok cv_data4-4-10,1,idastar-symmulgt-transmul,0.16,ok cv_data4-4-10,1,idastar-symmullt-transmul,0.152,ok cv_data4-4-12,1,astar-symmulgt-transmul,0.872,ok cv_data4-4-12,1,astar-symmullt-transmul,0.868,ok cv_data4-4-12,1,idastar-symmulgt-transmul,0.656,ok cv_data4-4-12,1,idastar-symmullt-transmul,0.576,ok cv_data4-4-13,1,astar-symmulgt-transmul,0.188,ok cv_data4-4-13,1,astar-symmullt-transmul,0.192,ok cv_data4-4-13,1,idastar-symmulgt-transmul,0.068,ok cv_data4-4-13,1,idastar-symmullt-transmul,0.064,ok cv_data4-4-14,1,astar-symmulgt-transmul,0.332,ok cv_data4-4-14,1,astar-symmullt-transmul,0.316,ok cv_data4-4-14,1,idastar-symmulgt-transmul,0.472,ok cv_data4-4-14,1,idastar-symmullt-transmul,0.432,ok cv_data4-4-15,1,astar-symmulgt-transmul,0.532,ok cv_data4-4-15,1,astar-symmullt-transmul,0.396,ok cv_data4-4-15,1,idastar-symmulgt-transmul,0.272,ok cv_data4-4-15,1,idastar-symmullt-transmul,0.256,ok cv_data4-4-16,1,astar-symmulgt-transmul,17.353,ok cv_data4-4-16,1,astar-symmullt-transmul,16.273,ok cv_data4-4-16,1,idastar-symmulgt-transmul,6.432,ok cv_data4-4-16,1,idastar-symmullt-transmul,6.104,ok cv_data4-4-19,1,astar-symmulgt-transmul,0.512,ok cv_data4-4-19,1,astar-symmullt-transmul,0.688,ok cv_data4-4-19,1,idastar-symmulgt-transmul,0.216,ok cv_data4-4-19,1,idastar-symmullt-transmul,0.204,ok cv_data4-4-2,1,astar-symmulgt-transmul,0.148,ok cv_data4-4-2,1,astar-symmullt-transmul,0.148,ok cv_data4-4-2,1,idastar-symmulgt-transmul,0.04,ok cv_data4-4-2,1,idastar-symmullt-transmul,0.036,ok cv_data4-4-20,1,astar-symmulgt-transmul,1.716,ok cv_data4-4-20,1,astar-symmullt-transmul,1.748,ok cv_data4-4-20,1,idastar-symmulgt-transmul,2.316,ok cv_data4-4-20,1,idastar-symmullt-transmul,2.068,ok cv_data4-4-21,1,astar-symmulgt-transmul,0.62,ok cv_data4-4-21,1,astar-symmullt-transmul,0.508,ok cv_data4-4-21,1,idastar-symmulgt-transmul,0.172,ok cv_data4-4-21,1,idastar-symmullt-transmul,0.236,ok cv_data4-4-23,1,astar-symmulgt-transmul,152.046,ok cv_data4-4-23,1,astar-symmullt-transmul,180.103,ok cv_data4-4-23,1,idastar-symmulgt-transmul,8.893,ok cv_data4-4-23,1,idastar-symmullt-transmul,9.349,ok cv_data4-4-24,1,astar-symmulgt-transmul,12.105,ok cv_data4-4-24,1,astar-symmullt-transmul,11.865,ok cv_data4-4-24,1,idastar-symmulgt-transmul,2.08,ok cv_data4-4-24,1,idastar-symmullt-transmul,2.056,ok cv_data4-4-25,1,astar-symmulgt-transmul,46.347,ok cv_data4-4-25,1,astar-symmullt-transmul,40.486,ok cv_data4-4-25,1,idastar-symmulgt-transmul,12.009,ok cv_data4-4-25,1,idastar-symmullt-transmul,11.057,ok cv_data4-4-27,1,astar-symmulgt-transmul,17.881,ok cv_data4-4-27,1,astar-symmullt-transmul,15.337,ok cv_data4-4-27,1,idastar-symmulgt-transmul,5.064,ok cv_data4-4-27,1,idastar-symmullt-transmul,6.004,ok cv_data4-4-28,1,astar-symmulgt-transmul,0.112,ok cv_data4-4-28,1,astar-symmullt-transmul,0.1,ok cv_data4-4-28,1,idastar-symmulgt-transmul,0.584,ok cv_data4-4-28,1,idastar-symmullt-transmul,0.484,ok cv_data4-4-29,1,astar-symmulgt-transmul,0.612,ok cv_data4-4-29,1,astar-symmullt-transmul,0.44,ok cv_data4-4-29,1,idastar-symmulgt-transmul,0.372,ok cv_data4-4-29,1,idastar-symmullt-transmul,0.328,ok cv_data4-4-3,1,astar-symmulgt-transmul,0.636,ok cv_data4-4-3,1,astar-symmullt-transmul,0.544,ok cv_data4-4-3,1,idastar-symmulgt-transmul,0.488,ok cv_data4-4-3,1,idastar-symmullt-transmul,0.4,ok cv_data4-4-30,1,astar-symmulgt-transmul,2.744,ok cv_data4-4-30,1,astar-symmullt-transmul,2.964,ok cv_data4-4-30,1,idastar-symmulgt-transmul,1.8,ok cv_data4-4-30,1,idastar-symmullt-transmul,1.824,ok cv_data4-4-33,1,astar-symmulgt-transmul,34.154,ok cv_data4-4-33,1,astar-symmullt-transmul,42.479,ok cv_data4-4-33,1,idastar-symmulgt-transmul,2.12,ok cv_data4-4-33,1,idastar-symmullt-transmul,1.848,ok cv_data4-4-34,1,astar-symmulgt-transmul,0.804,ok cv_data4-4-34,1,astar-symmullt-transmul,0.68,ok cv_data4-4-34,1,idastar-symmulgt-transmul,0.832,ok cv_data4-4-34,1,idastar-symmullt-transmul,0.516,ok cv_data4-4-35,1,astar-symmulgt-transmul,2.156,ok cv_data4-4-35,1,astar-symmullt-transmul,1.88,ok cv_data4-4-35,1,idastar-symmulgt-transmul,1.9,ok cv_data4-4-35,1,idastar-symmullt-transmul,1.676,ok cv_data4-4-7,1,astar-symmulgt-transmul,2.512,ok cv_data4-4-7,1,astar-symmullt-transmul,2.204,ok cv_data4-4-7,1,idastar-symmulgt-transmul,0.552,ok cv_data4-4-7,1,idastar-symmullt-transmul,0.536,ok cv_data4-5-1,1,astar-symmulgt-transmul,3.432,ok cv_data4-5-1,1,astar-symmullt-transmul,3.472,ok cv_data4-5-1,1,idastar-symmulgt-transmul,0.516,ok cv_data4-5-1,1,idastar-symmullt-transmul,0.408,ok cv_data4-5-12,1,astar-symmulgt-transmul,0.188,ok cv_data4-5-12,1,astar-symmullt-transmul,0.176,ok cv_data4-5-12,1,idastar-symmulgt-transmul,0.772,ok cv_data4-5-12,1,idastar-symmullt-transmul,0.78,ok cv_data4-5-14,1,astar-symmulgt-transmul,4.804,ok cv_data4-5-14,1,astar-symmullt-transmul,5.048,ok cv_data4-5-14,1,idastar-symmulgt-transmul,4.892,ok cv_data4-5-14,1,idastar-symmullt-transmul,3.864,ok cv_data4-5-15,1,astar-symmulgt-transmul,6.28,ok cv_data4-5-15,1,astar-symmullt-transmul,5.312,ok cv_data4-5-15,1,idastar-symmulgt-transmul,6.936,ok cv_data4-5-15,1,idastar-symmullt-transmul,5.968,ok cv_data4-5-17,1,astar-symmulgt-transmul,197.196,ok cv_data4-5-17,1,astar-symmullt-transmul,142.161,ok cv_data4-5-17,1,idastar-symmulgt-transmul,82.777,ok cv_data4-5-17,1,idastar-symmullt-transmul,66.976,ok cv_data4-5-19,1,astar-symmulgt-transmul,2.144,ok cv_data4-5-19,1,astar-symmullt-transmul,1.92,ok cv_data4-5-19,1,idastar-symmulgt-transmul,0.804,ok cv_data4-5-19,1,idastar-symmullt-transmul,0.56,ok cv_data4-5-2,1,astar-symmulgt-transmul,0.324,ok cv_data4-5-2,1,astar-symmullt-transmul,0.296,ok cv_data4-5-2,1,idastar-symmulgt-transmul,1.312,ok cv_data4-5-2,1,idastar-symmullt-transmul,0.788,ok cv_data4-5-20,1,astar-symmulgt-transmul,0.332,ok cv_data4-5-20,1,astar-symmullt-transmul,0.7,ok cv_data4-5-20,1,idastar-symmulgt-transmul,0.508,ok cv_data4-5-20,1,idastar-symmullt-transmul,0.336,ok cv_data4-5-21,1,astar-symmulgt-transmul,589.337,ok cv_data4-5-21,1,astar-symmullt-transmul,624.091,ok cv_data4-5-21,1,idastar-symmulgt-transmul,3.956,ok cv_data4-5-21,1,idastar-symmullt-transmul,3.816,ok cv_data4-5-22,1,astar-symmulgt-transmul,2.244,ok cv_data4-5-22,1,astar-symmullt-transmul,2.692,ok cv_data4-5-22,1,idastar-symmulgt-transmul,0.48,ok cv_data4-5-22,1,idastar-symmullt-transmul,0.472,ok cv_data4-5-23,1,astar-symmulgt-transmul,1.516,ok cv_data4-5-23,1,astar-symmullt-transmul,1.688,ok cv_data4-5-23,1,idastar-symmulgt-transmul,1.78,ok cv_data4-5-23,1,idastar-symmullt-transmul,1.56,ok cv_data4-5-24,1,astar-symmulgt-transmul,0.276,ok cv_data4-5-24,1,astar-symmullt-transmul,0.268,ok cv_data4-5-24,1,idastar-symmulgt-transmul,0.016,ok cv_data4-5-24,1,idastar-symmullt-transmul,0.016,ok cv_data4-5-25,1,astar-symmulgt-transmul,2.884,ok cv_data4-5-25,1,astar-symmullt-transmul,2.788,ok cv_data4-5-25,1,idastar-symmulgt-transmul,0.836,ok cv_data4-5-25,1,idastar-symmullt-transmul,0.764,ok cv_data4-5-26,1,astar-symmulgt-transmul,5.028,ok cv_data4-5-26,1,astar-symmullt-transmul,5.9,ok cv_data4-5-26,1,idastar-symmulgt-transmul,12.525,ok cv_data4-5-26,1,idastar-symmullt-transmul,11.317,ok cv_data4-5-27,1,astar-symmulgt-transmul,2.308,ok cv_data4-5-27,1,astar-symmullt-transmul,2.416,ok cv_data4-5-27,1,idastar-symmulgt-transmul,2.304,ok cv_data4-5-27,1,idastar-symmullt-transmul,1.604,ok cv_data4-5-28,1,astar-symmulgt-transmul,0.26,ok cv_data4-5-28,1,astar-symmullt-transmul,0.272,ok cv_data4-5-28,1,idastar-symmulgt-transmul,0.084,ok cv_data4-5-28,1,idastar-symmullt-transmul,0.084,ok cv_data4-5-29,1,astar-symmulgt-transmul,10.721,ok cv_data4-5-29,1,astar-symmullt-transmul,11.181,ok cv_data4-5-29,1,idastar-symmulgt-transmul,5.036,ok cv_data4-5-29,1,idastar-symmullt-transmul,3.204,ok cv_data4-5-3,1,astar-symmulgt-transmul,0.464,ok cv_data4-5-3,1,astar-symmullt-transmul,0.8,ok cv_data4-5-3,1,idastar-symmulgt-transmul,0.048,ok cv_data4-5-3,1,idastar-symmullt-transmul,0.08,ok cv_data4-5-30,1,astar-symmulgt-transmul,19.449,ok cv_data4-5-30,1,astar-symmullt-transmul,14.937,ok cv_data4-5-30,1,idastar-symmulgt-transmul,2.94,ok cv_data4-5-30,1,idastar-symmullt-transmul,2.928,ok cv_data4-5-31,1,astar-symmulgt-transmul,0.1,ok cv_data4-5-31,1,astar-symmullt-transmul,0.096,ok cv_data4-5-31,1,idastar-symmulgt-transmul,0.368,ok cv_data4-5-31,1,idastar-symmullt-transmul,0.268,ok cv_data4-5-32,1,astar-symmulgt-transmul,3.484,ok cv_data4-5-32,1,astar-symmullt-transmul,2.972,ok cv_data4-5-32,1,idastar-symmulgt-transmul,1.552,ok cv_data4-5-32,1,idastar-symmullt-transmul,1.424,ok cv_data4-5-34,1,astar-symmulgt-transmul,21.013,ok cv_data4-5-34,1,astar-symmullt-transmul,17.137,ok cv_data4-5-34,1,idastar-symmulgt-transmul,6.148,ok cv_data4-5-34,1,idastar-symmullt-transmul,13.081,ok cv_data4-5-35,1,astar-symmulgt-transmul,2.136,ok cv_data4-5-35,1,astar-symmullt-transmul,1.692,ok cv_data4-5-35,1,idastar-symmulgt-transmul,3.664,ok cv_data4-5-35,1,idastar-symmullt-transmul,2.88,ok cv_data4-5-39,1,astar-symmulgt-transmul,2.1,ok cv_data4-5-39,1,astar-symmullt-transmul,1.928,ok cv_data4-5-39,1,idastar-symmulgt-transmul,7.292,ok cv_data4-5-39,1,idastar-symmullt-transmul,5.504,ok cv_data4-5-5,1,astar-symmulgt-transmul,1.448,ok cv_data4-5-5,1,astar-symmullt-transmul,0.66,ok cv_data4-5-5,1,idastar-symmulgt-transmul,0.136,ok cv_data4-5-5,1,idastar-symmullt-transmul,0.116,ok cv_data4-5-9,1,astar-symmulgt-transmul,1.484,ok cv_data4-5-9,1,astar-symmullt-transmul,1.46,ok cv_data4-5-9,1,idastar-symmulgt-transmul,1.256,ok cv_data4-5-9,1,idastar-symmullt-transmul,0.736,ok cv_data4-6-1,1,astar-symmulgt-transmul,471.613,ok cv_data4-6-1,1,astar-symmullt-transmul,413.73,ok cv_data4-6-1,1,idastar-symmulgt-transmul,377.572,ok cv_data4-6-1,1,idastar-symmullt-transmul,236.251,ok cv_data4-6-10,1,astar-symmulgt-transmul,0.86,ok cv_data4-6-10,1,astar-symmullt-transmul,0.712,ok cv_data4-6-10,1,idastar-symmulgt-transmul,0.26,ok cv_data4-6-10,1,idastar-symmullt-transmul,0.248,ok cv_data4-6-11,1,astar-symmulgt-transmul,0.48,ok cv_data4-6-11,1,astar-symmullt-transmul,0.388,ok cv_data4-6-11,1,idastar-symmulgt-transmul,0.76,ok cv_data4-6-11,1,idastar-symmullt-transmul,0.42,ok cv_data4-6-12,1,astar-symmulgt-transmul,47.367,ok cv_data4-6-12,1,astar-symmullt-transmul,44.011,ok cv_data4-6-12,1,idastar-symmulgt-transmul,5.664,ok cv_data4-6-12,1,idastar-symmullt-transmul,4.856,ok cv_data4-6-13,1,astar-symmulgt-transmul,5.82,ok cv_data4-6-13,1,astar-symmullt-transmul,5.708,ok cv_data4-6-13,1,idastar-symmulgt-transmul,3.632,ok cv_data4-6-13,1,idastar-symmullt-transmul,2.04,ok cv_data4-6-14,1,astar-symmulgt-transmul,0.408,ok cv_data4-6-14,1,astar-symmullt-transmul,0.336,ok cv_data4-6-14,1,idastar-symmulgt-transmul,0.104,ok cv_data4-6-14,1,idastar-symmullt-transmul,0.052,ok cv_data4-6-15,1,astar-symmulgt-transmul,1.604,ok cv_data4-6-15,1,astar-symmullt-transmul,1.292,ok cv_data4-6-15,1,idastar-symmulgt-transmul,3.716,ok cv_data4-6-15,1,idastar-symmullt-transmul,2.808,ok cv_data4-6-16,1,astar-symmulgt-transmul,3.812,ok cv_data4-6-16,1,astar-symmullt-transmul,4.108,ok cv_data4-6-16,1,idastar-symmulgt-transmul,9.345,ok cv_data4-6-16,1,idastar-symmullt-transmul,12.165,ok cv_data4-6-18,1,astar-symmulgt-transmul,209.581,ok cv_data4-6-18,1,astar-symmullt-transmul,200.317,ok cv_data4-6-18,1,idastar-symmulgt-transmul,49.899,ok cv_data4-6-18,1,idastar-symmullt-transmul,31.87,ok cv_data4-6-19,1,astar-symmulgt-transmul,35.094,ok cv_data4-6-19,1,astar-symmullt-transmul,41.263,ok cv_data4-6-19,1,idastar-symmulgt-transmul,11.369,ok cv_data4-6-19,1,idastar-symmullt-transmul,7.944,ok cv_data4-6-2,1,astar-symmulgt-transmul,0.128,ok cv_data4-6-2,1,astar-symmullt-transmul,0.12,ok cv_data4-6-2,1,idastar-symmulgt-transmul,0.46,ok cv_data4-6-2,1,idastar-symmullt-transmul,0.312,ok cv_data4-6-20,1,astar-symmulgt-transmul,1.92,ok cv_data4-6-20,1,astar-symmullt-transmul,1.972,ok cv_data4-6-20,1,idastar-symmulgt-transmul,17.581,ok cv_data4-6-20,1,idastar-symmullt-transmul,14.749,ok cv_data4-6-21,1,astar-symmulgt-transmul,72.617,ok cv_data4-6-21,1,astar-symmullt-transmul,74.905,ok cv_data4-6-21,1,idastar-symmulgt-transmul,6.868,ok cv_data4-6-21,1,idastar-symmullt-transmul,6.24,ok cv_data4-6-24,1,astar-symmulgt-transmul,3600,memout cv_data4-6-24,1,astar-symmullt-transmul,3600,memout cv_data4-6-24,1,idastar-symmulgt-transmul,57.016,ok cv_data4-6-24,1,idastar-symmullt-transmul,38.75,ok cv_data4-6-25,1,astar-symmulgt-transmul,1.096,ok cv_data4-6-25,1,astar-symmullt-transmul,1.096,ok cv_data4-6-25,1,idastar-symmulgt-transmul,0.528,ok cv_data4-6-25,1,idastar-symmullt-transmul,0.72,ok cv_data4-6-27,1,astar-symmulgt-transmul,2.304,ok cv_data4-6-27,1,astar-symmullt-transmul,2.252,ok cv_data4-6-27,1,idastar-symmulgt-transmul,2.128,ok cv_data4-6-27,1,idastar-symmullt-transmul,1.328,ok cv_data4-6-28,1,astar-symmulgt-transmul,632.216,ok cv_data4-6-28,1,astar-symmullt-transmul,831.544,ok cv_data4-6-28,1,idastar-symmulgt-transmul,166.166,ok cv_data4-6-28,1,idastar-symmullt-transmul,87.113,ok cv_data4-6-29,1,astar-symmulgt-transmul,9.033,ok cv_data4-6-29,1,astar-symmullt-transmul,8.221,ok cv_data4-6-29,1,idastar-symmulgt-transmul,1.64,ok cv_data4-6-29,1,idastar-symmullt-transmul,1.42,ok cv_data4-6-3,1,astar-symmulgt-transmul,53.983,ok cv_data4-6-3,1,astar-symmullt-transmul,71.597,ok cv_data4-6-3,1,idastar-symmulgt-transmul,61.412,ok cv_data4-6-3,1,idastar-symmullt-transmul,47.743,ok cv_data4-6-30,1,astar-symmulgt-transmul,5.232,ok cv_data4-6-30,1,astar-symmullt-transmul,4.676,ok cv_data4-6-30,1,idastar-symmulgt-transmul,2.12,ok cv_data4-6-30,1,idastar-symmullt-transmul,1.932,ok cv_data4-6-32,1,astar-symmulgt-transmul,205.333,ok cv_data4-6-32,1,astar-symmullt-transmul,228.702,ok cv_data4-6-32,1,idastar-symmulgt-transmul,9.957,ok cv_data4-6-32,1,idastar-symmullt-transmul,10.213,ok cv_data4-6-33,1,astar-symmulgt-transmul,7.04,ok cv_data4-6-33,1,astar-symmullt-transmul,6.008,ok cv_data4-6-33,1,idastar-symmulgt-transmul,2.58,ok cv_data4-6-33,1,idastar-symmullt-transmul,31.722,ok cv_data4-6-34,1,astar-symmulgt-transmul,65.304,ok cv_data4-6-34,1,astar-symmullt-transmul,60.68,ok cv_data4-6-34,1,idastar-symmulgt-transmul,26.746,ok cv_data4-6-34,1,idastar-symmullt-transmul,20.633,ok cv_data4-6-35,1,astar-symmulgt-transmul,20.281,ok cv_data4-6-35,1,astar-symmullt-transmul,22.957,ok cv_data4-6-35,1,idastar-symmulgt-transmul,2.484,ok cv_data4-6-35,1,idastar-symmullt-transmul,2.684,ok cv_data4-6-36,1,astar-symmulgt-transmul,635.312,ok cv_data4-6-36,1,astar-symmullt-transmul,813.615,ok cv_data4-6-36,1,idastar-symmulgt-transmul,18.949,ok cv_data4-6-36,1,idastar-symmullt-transmul,12.849,ok cv_data4-6-37,1,astar-symmulgt-transmul,40.55,ok cv_data4-6-37,1,astar-symmullt-transmul,47.559,ok cv_data4-6-37,1,idastar-symmulgt-transmul,30.566,ok cv_data4-6-37,1,idastar-symmullt-transmul,15.421,ok cv_data4-6-39,1,astar-symmulgt-transmul,1.176,ok cv_data4-6-39,1,astar-symmullt-transmul,1.224,ok cv_data4-6-39,1,idastar-symmulgt-transmul,0.612,ok cv_data4-6-39,1,idastar-symmullt-transmul,0.372,ok cv_data4-6-4,1,astar-symmulgt-transmul,174.419,ok cv_data4-6-4,1,astar-symmullt-transmul,146.437,ok cv_data4-6-4,1,idastar-symmulgt-transmul,2.516,ok cv_data4-6-4,1,idastar-symmullt-transmul,1.432,ok cv_data4-6-40,1,astar-symmulgt-transmul,30.45,ok cv_data4-6-40,1,astar-symmullt-transmul,27.162,ok cv_data4-6-40,1,idastar-symmulgt-transmul,10.117,ok cv_data4-6-40,1,idastar-symmullt-transmul,11.849,ok cv_data4-6-5,1,astar-symmulgt-transmul,2.14,ok cv_data4-6-5,1,astar-symmullt-transmul,1.788,ok cv_data4-6-5,1,idastar-symmulgt-transmul,1.936,ok cv_data4-6-5,1,idastar-symmullt-transmul,0.788,ok cv_data4-6-7,1,astar-symmulgt-transmul,3600,memout cv_data4-6-7,1,astar-symmullt-transmul,3600,memout cv_data4-6-7,1,idastar-symmulgt-transmul,84.385,ok cv_data4-6-7,1,idastar-symmullt-transmul,80.585,ok cv_data4-6-8,1,astar-symmulgt-transmul,0.104,ok cv_data4-6-8,1,astar-symmullt-transmul,0.092,ok cv_data4-6-8,1,idastar-symmulgt-transmul,0.22,ok cv_data4-6-8,1,idastar-symmullt-transmul,0.088,ok cv_data4-6-9,1,astar-symmulgt-transmul,3.552,ok cv_data4-6-9,1,astar-symmullt-transmul,3.28,ok cv_data4-6-9,1,idastar-symmulgt-transmul,1.004,ok cv_data4-6-9,1,idastar-symmullt-transmul,0.76,ok cv_data4-7-1,1,astar-symmulgt-transmul,86.009,ok cv_data4-7-1,1,astar-symmullt-transmul,56.924,ok cv_data4-7-1,1,idastar-symmulgt-transmul,2.644,ok cv_data4-7-1,1,idastar-symmullt-transmul,2.336,ok cv_data4-7-10,1,astar-symmulgt-transmul,3600,memout cv_data4-7-10,1,astar-symmullt-transmul,3600,memout cv_data4-7-10,1,idastar-symmulgt-transmul,96.27,ok cv_data4-7-10,1,idastar-symmullt-transmul,96.41,ok cv_data4-7-11,1,astar-symmulgt-transmul,1.432,ok cv_data4-7-11,1,astar-symmullt-transmul,0.76,ok cv_data4-7-11,1,idastar-symmulgt-transmul,0.3,ok cv_data4-7-11,1,idastar-symmullt-transmul,0.112,ok cv_data4-7-12,1,astar-symmulgt-transmul,3600,memout cv_data4-7-12,1,astar-symmullt-transmul,3600,memout cv_data4-7-12,1,idastar-symmulgt-transmul,247.307,ok cv_data4-7-12,1,idastar-symmullt-transmul,275.873,ok cv_data4-7-13,1,astar-symmulgt-transmul,395.429,ok cv_data4-7-13,1,astar-symmullt-transmul,332.793,ok cv_data4-7-13,1,idastar-symmulgt-transmul,0.62,ok cv_data4-7-13,1,idastar-symmullt-transmul,0.396,ok cv_data4-7-14,1,astar-symmulgt-transmul,11.865,ok cv_data4-7-14,1,astar-symmullt-transmul,11.733,ok cv_data4-7-14,1,idastar-symmulgt-transmul,11.353,ok cv_data4-7-14,1,idastar-symmullt-transmul,4.988,ok cv_data4-7-15,1,astar-symmulgt-transmul,893.188,ok cv_data4-7-15,1,astar-symmullt-transmul,944.267,ok cv_data4-7-15,1,idastar-symmulgt-transmul,126.544,ok cv_data4-7-15,1,idastar-symmullt-transmul,58.7,ok cv_data4-7-16,1,astar-symmulgt-transmul,0.2,ok cv_data4-7-16,1,astar-symmullt-transmul,0.288,ok cv_data4-7-16,1,idastar-symmulgt-transmul,18.001,ok cv_data4-7-16,1,idastar-symmullt-transmul,9.033,ok cv_data4-7-17,1,astar-symmulgt-transmul,0.264,ok cv_data4-7-17,1,astar-symmullt-transmul,0.34,ok cv_data4-7-17,1,idastar-symmulgt-transmul,1.464,ok cv_data4-7-17,1,idastar-symmullt-transmul,1.164,ok cv_data4-7-19,1,astar-symmulgt-transmul,30.118,ok cv_data4-7-19,1,astar-symmullt-transmul,30.686,ok cv_data4-7-19,1,idastar-symmulgt-transmul,12.541,ok cv_data4-7-19,1,idastar-symmullt-transmul,5.98,ok cv_data4-7-2,1,astar-symmulgt-transmul,8.741,ok cv_data4-7-2,1,astar-symmullt-transmul,9.149,ok cv_data4-7-2,1,idastar-symmulgt-transmul,49.971,ok cv_data4-7-2,1,idastar-symmullt-transmul,26.998,ok cv_data4-7-20,1,astar-symmulgt-transmul,2.372,ok cv_data4-7-20,1,astar-symmullt-transmul,3.352,ok cv_data4-7-20,1,idastar-symmulgt-transmul,0.192,ok cv_data4-7-20,1,idastar-symmullt-transmul,1.008,ok cv_data4-7-21,1,astar-symmulgt-transmul,11.193,ok cv_data4-7-21,1,astar-symmullt-transmul,10.981,ok cv_data4-7-21,1,idastar-symmulgt-transmul,17.837,ok cv_data4-7-21,1,idastar-symmullt-transmul,17.009,ok cv_data4-7-22,1,astar-symmulgt-transmul,3600,memout cv_data4-7-22,1,astar-symmullt-transmul,3600,memout cv_data4-7-22,1,idastar-symmulgt-transmul,432.431,ok cv_data4-7-22,1,idastar-symmullt-transmul,179.491,ok cv_data4-7-23,1,astar-symmulgt-transmul,1.232,ok cv_data4-7-23,1,astar-symmullt-transmul,1.16,ok cv_data4-7-23,1,idastar-symmulgt-transmul,5.684,ok cv_data4-7-23,1,idastar-symmullt-transmul,3.168,ok cv_data4-7-24,1,astar-symmulgt-transmul,0.488,ok cv_data4-7-24,1,astar-symmullt-transmul,0.332,ok cv_data4-7-24,1,idastar-symmulgt-transmul,0.26,ok cv_data4-7-24,1,idastar-symmullt-transmul,0.124,ok cv_data4-7-25,1,astar-symmulgt-transmul,3600,memout cv_data4-7-25,1,astar-symmullt-transmul,3600,memout cv_data4-7-25,1,idastar-symmulgt-transmul,108.619,ok cv_data4-7-25,1,idastar-symmullt-transmul,55.319,ok cv_data4-7-26,1,astar-symmulgt-transmul,5.748,ok cv_data4-7-26,1,astar-symmullt-transmul,5.26,ok cv_data4-7-26,1,idastar-symmulgt-transmul,40.315,ok cv_data4-7-26,1,idastar-symmullt-transmul,32.738,ok cv_data4-7-27,1,astar-symmulgt-transmul,3600,memout cv_data4-7-27,1,astar-symmullt-transmul,3600,memout cv_data4-7-27,1,idastar-symmulgt-transmul,134.6,ok cv_data4-7-27,1,idastar-symmullt-transmul,106.611,ok cv_data4-7-28,1,astar-symmulgt-transmul,0.936,ok cv_data4-7-28,1,astar-symmullt-transmul,0.688,ok cv_data4-7-28,1,idastar-symmulgt-transmul,0.344,ok cv_data4-7-28,1,idastar-symmullt-transmul,0.364,ok cv_data4-7-29,1,astar-symmulgt-transmul,14.301,ok cv_data4-7-29,1,astar-symmullt-transmul,12.857,ok cv_data4-7-29,1,idastar-symmulgt-transmul,4.224,ok cv_data4-7-29,1,idastar-symmullt-transmul,3.12,ok cv_data4-7-3,1,astar-symmulgt-transmul,1.02,ok cv_data4-7-3,1,astar-symmullt-transmul,1.22,ok cv_data4-7-3,1,idastar-symmulgt-transmul,0.888,ok cv_data4-7-3,1,idastar-symmullt-transmul,0.628,ok cv_data4-7-30,1,astar-symmulgt-transmul,4.6,ok cv_data4-7-30,1,astar-symmullt-transmul,1.408,ok cv_data4-7-30,1,idastar-symmulgt-transmul,0.432,ok cv_data4-7-30,1,idastar-symmullt-transmul,0.352,ok cv_data4-7-31,1,astar-symmulgt-transmul,3600,memout cv_data4-7-31,1,astar-symmullt-transmul,3600,memout cv_data4-7-31,1,idastar-symmulgt-transmul,25.406,ok cv_data4-7-31,1,idastar-symmullt-transmul,15.453,ok cv_data4-7-32,1,astar-symmulgt-transmul,3600,memout cv_data4-7-32,1,astar-symmullt-transmul,3600,memout cv_data4-7-32,1,idastar-symmulgt-transmul,83.561,ok cv_data4-7-32,1,idastar-symmullt-transmul,57.224,ok cv_data4-7-33,1,astar-symmulgt-transmul,934.406,ok cv_data4-7-33,1,astar-symmullt-transmul,1203.52,ok cv_data4-7-33,1,idastar-symmulgt-transmul,32.114,ok cv_data4-7-33,1,idastar-symmullt-transmul,33.666,ok cv_data4-7-34,1,astar-symmulgt-transmul,0.096,ok cv_data4-7-34,1,astar-symmullt-transmul,0.092,ok cv_data4-7-34,1,idastar-symmulgt-transmul,0.296,ok cv_data4-7-34,1,idastar-symmullt-transmul,0.128,ok cv_data4-7-35,1,astar-symmulgt-transmul,26.122,ok cv_data4-7-35,1,astar-symmullt-transmul,28.178,ok cv_data4-7-35,1,idastar-symmulgt-transmul,7.176,ok cv_data4-7-35,1,idastar-symmullt-transmul,6.564,ok cv_data4-7-36,1,astar-symmulgt-transmul,0.192,ok cv_data4-7-36,1,astar-symmullt-transmul,0.684,ok cv_data4-7-36,1,idastar-symmulgt-transmul,0.936,ok cv_data4-7-36,1,idastar-symmullt-transmul,1.308,ok cv_data4-7-37,1,astar-symmulgt-transmul,201.793,ok cv_data4-7-37,1,astar-symmullt-transmul,259.488,ok cv_data4-7-37,1,idastar-symmulgt-transmul,21.665,ok cv_data4-7-37,1,idastar-symmullt-transmul,35.174,ok cv_data4-7-38,1,astar-symmulgt-transmul,2.088,ok cv_data4-7-38,1,astar-symmullt-transmul,2.16,ok cv_data4-7-38,1,idastar-symmulgt-transmul,0.548,ok cv_data4-7-38,1,idastar-symmullt-transmul,0.488,ok cv_data4-7-39,1,astar-symmulgt-transmul,604.022,ok cv_data4-7-39,1,astar-symmullt-transmul,702.224,ok cv_data4-7-39,1,idastar-symmulgt-transmul,129.468,ok cv_data4-7-39,1,idastar-symmullt-transmul,50.035,ok cv_data4-7-4,1,astar-symmulgt-transmul,3.68,ok cv_data4-7-4,1,astar-symmullt-transmul,14.881,ok cv_data4-7-4,1,idastar-symmulgt-transmul,2.924,ok cv_data4-7-4,1,idastar-symmullt-transmul,1.304,ok cv_data4-7-40,1,astar-symmulgt-transmul,0.54,ok cv_data4-7-40,1,astar-symmullt-transmul,0.484,ok cv_data4-7-40,1,idastar-symmulgt-transmul,0.256,ok cv_data4-7-40,1,idastar-symmullt-transmul,0.124,ok cv_data4-7-5,1,astar-symmulgt-transmul,46.455,ok cv_data4-7-5,1,astar-symmullt-transmul,44.535,ok cv_data4-7-5,1,idastar-symmulgt-transmul,76.485,ok cv_data4-7-5,1,idastar-symmullt-transmul,29.214,ok cv_data4-7-6,1,astar-symmulgt-transmul,2.244,ok cv_data4-7-6,1,astar-symmullt-transmul,4.272,ok cv_data4-7-6,1,idastar-symmulgt-transmul,11.713,ok cv_data4-7-6,1,idastar-symmullt-transmul,8.173,ok cv_data4-7-7,1,astar-symmulgt-transmul,864.594,ok cv_data4-7-7,1,astar-symmullt-transmul,667.686,ok cv_data4-7-7,1,idastar-symmulgt-transmul,121.948,ok cv_data4-7-7,1,idastar-symmullt-transmul,62.636,ok cv_data4-7-8,1,astar-symmulgt-transmul,1.912,ok cv_data4-7-8,1,astar-symmullt-transmul,2.408,ok cv_data4-7-8,1,idastar-symmulgt-transmul,0.78,ok cv_data4-7-8,1,idastar-symmullt-transmul,0.596,ok cv_data4-7-9,1,astar-symmulgt-transmul,0.456,ok cv_data4-7-9,1,astar-symmullt-transmul,0.408,ok cv_data4-7-9,1,idastar-symmulgt-transmul,0.94,ok cv_data4-7-9,1,idastar-symmullt-transmul,0.552,ok cv_data5-10-19,1,astar-symmulgt-transmul,3600,memout cv_data5-10-19,1,astar-symmullt-transmul,3600,memout cv_data5-10-19,1,idastar-symmulgt-transmul,1236.317,ok cv_data5-10-19,1,idastar-symmullt-transmul,1059.75,ok cv_data5-10-23,1,astar-symmulgt-transmul,3600,memout cv_data5-10-23,1,astar-symmullt-transmul,3600,memout cv_data5-10-23,1,idastar-symmulgt-transmul,2579.769,ok cv_data5-10-23,1,idastar-symmullt-transmul,556.423,ok cv_data5-10-32,1,astar-symmulgt-transmul,3600,memout cv_data5-10-32,1,astar-symmullt-transmul,3600,memout cv_data5-10-32,1,idastar-symmulgt-transmul,2967.681,ok cv_data5-10-32,1,idastar-symmullt-transmul,3600,timeout cv_data5-10-33,1,astar-symmulgt-transmul,3600,memout cv_data5-10-33,1,astar-symmullt-transmul,3600,memout cv_data5-10-33,1,idastar-symmulgt-transmul,3600,timeout cv_data5-10-33,1,idastar-symmullt-transmul,3050.235,ok cv_data5-4-1,1,astar-symmulgt-transmul,564.919,ok cv_data5-4-1,1,astar-symmullt-transmul,590.937,ok cv_data5-4-1,1,idastar-symmulgt-transmul,68.6,ok cv_data5-4-1,1,idastar-symmullt-transmul,64.056,ok cv_data5-4-10,1,astar-symmulgt-transmul,0.564,ok cv_data5-4-10,1,astar-symmullt-transmul,0.588,ok cv_data5-4-10,1,idastar-symmulgt-transmul,0.308,ok cv_data5-4-10,1,idastar-symmullt-transmul,0.296,ok cv_data5-4-12,1,astar-symmulgt-transmul,46.627,ok cv_data5-4-12,1,astar-symmullt-transmul,42.235,ok cv_data5-4-12,1,idastar-symmulgt-transmul,61.76,ok cv_data5-4-12,1,idastar-symmullt-transmul,57.784,ok cv_data5-4-13,1,astar-symmulgt-transmul,3600,memout cv_data5-4-13,1,astar-symmullt-transmul,3600,memout cv_data5-4-13,1,idastar-symmulgt-transmul,320.532,ok cv_data5-4-13,1,idastar-symmullt-transmul,242.255,ok cv_data5-4-14,1,astar-symmulgt-transmul,3600,memout cv_data5-4-14,1,astar-symmullt-transmul,3600,memout cv_data5-4-14,1,idastar-symmulgt-transmul,1264.015,ok cv_data5-4-14,1,idastar-symmullt-transmul,1259.867,ok cv_data5-4-15,1,astar-symmulgt-transmul,3600,memout cv_data5-4-15,1,astar-symmullt-transmul,3600,memout cv_data5-4-15,1,idastar-symmulgt-transmul,60.304,ok cv_data5-4-15,1,idastar-symmullt-transmul,60.66,ok cv_data5-4-16,1,astar-symmulgt-transmul,338.085,ok cv_data5-4-16,1,astar-symmullt-transmul,289.334,ok cv_data5-4-16,1,idastar-symmulgt-transmul,28.646,ok cv_data5-4-16,1,idastar-symmullt-transmul,35.018,ok cv_data5-4-17,1,astar-symmulgt-transmul,3600,memout cv_data5-4-17,1,astar-symmullt-transmul,3600,memout cv_data5-4-17,1,idastar-symmulgt-transmul,1124.37,ok cv_data5-4-17,1,idastar-symmullt-transmul,1010.499,ok cv_data5-4-18,1,astar-symmulgt-transmul,0.388,ok cv_data5-4-18,1,astar-symmullt-transmul,0.34,ok cv_data5-4-18,1,idastar-symmulgt-transmul,1.372,ok cv_data5-4-18,1,idastar-symmullt-transmul,1.876,ok cv_data5-4-20,1,astar-symmulgt-transmul,417.706,ok cv_data5-4-20,1,astar-symmullt-transmul,541.146,ok cv_data5-4-20,1,idastar-symmulgt-transmul,7.048,ok cv_data5-4-20,1,idastar-symmullt-transmul,21.585,ok cv_data5-4-21,1,astar-symmulgt-transmul,3600,memout cv_data5-4-21,1,astar-symmullt-transmul,3600,memout cv_data5-4-21,1,idastar-symmulgt-transmul,2854.162,ok cv_data5-4-21,1,idastar-symmullt-transmul,2822.916,ok cv_data5-4-22,1,astar-symmulgt-transmul,314.556,ok cv_data5-4-22,1,astar-symmullt-transmul,317.788,ok cv_data5-4-22,1,idastar-symmulgt-transmul,43.935,ok cv_data5-4-22,1,idastar-symmullt-transmul,38.822,ok cv_data5-4-23,1,astar-symmulgt-transmul,0.5,ok cv_data5-4-23,1,astar-symmullt-transmul,0.472,ok cv_data5-4-23,1,idastar-symmulgt-transmul,0.2,ok cv_data5-4-23,1,idastar-symmullt-transmul,0.196,ok cv_data5-4-24,1,astar-symmulgt-transmul,3600,memout cv_data5-4-24,1,astar-symmullt-transmul,3600,memout cv_data5-4-24,1,idastar-symmulgt-transmul,282.866,ok cv_data5-4-24,1,idastar-symmullt-transmul,265.525,ok cv_data5-4-25,1,astar-symmulgt-transmul,3600,memout cv_data5-4-25,1,astar-symmullt-transmul,3600,memout cv_data5-4-25,1,idastar-symmulgt-transmul,233.355,ok cv_data5-4-25,1,idastar-symmullt-transmul,201.601,ok cv_data5-4-27,1,astar-symmulgt-transmul,73.965,ok cv_data5-4-27,1,astar-symmullt-transmul,85.521,ok cv_data5-4-27,1,idastar-symmulgt-transmul,6.58,ok cv_data5-4-27,1,idastar-symmullt-transmul,5.9,ok cv_data5-4-29,1,astar-symmulgt-transmul,3600,memout cv_data5-4-29,1,astar-symmullt-transmul,3600,memout cv_data5-4-29,1,idastar-symmulgt-transmul,123.768,ok cv_data5-4-29,1,idastar-symmullt-transmul,150.445,ok cv_data5-4-3,1,astar-symmulgt-transmul,3600,memout cv_data5-4-3,1,astar-symmullt-transmul,3600,memout cv_data5-4-3,1,idastar-symmulgt-transmul,202.321,ok cv_data5-4-3,1,idastar-symmullt-transmul,187.94,ok cv_data5-4-30,1,astar-symmulgt-transmul,2.472,ok cv_data5-4-30,1,astar-symmullt-transmul,2.82,ok cv_data5-4-30,1,idastar-symmulgt-transmul,2.3,ok cv_data5-4-30,1,idastar-symmullt-transmul,2.04,ok cv_data5-4-31,1,astar-symmulgt-transmul,2086.65,ok cv_data5-4-31,1,astar-symmullt-transmul,1950.48,ok cv_data5-4-31,1,idastar-symmulgt-transmul,298.295,ok cv_data5-4-31,1,idastar-symmullt-transmul,276.989,ok cv_data5-4-32,1,astar-symmulgt-transmul,21.645,ok cv_data5-4-32,1,astar-symmullt-transmul,24.758,ok cv_data5-4-32,1,idastar-symmulgt-transmul,16.553,ok cv_data5-4-32,1,idastar-symmullt-transmul,15.669,ok cv_data5-4-33,1,astar-symmulgt-transmul,41.851,ok cv_data5-4-33,1,astar-symmullt-transmul,47.363,ok cv_data5-4-33,1,idastar-symmulgt-transmul,13.501,ok cv_data5-4-33,1,idastar-symmullt-transmul,29.734,ok cv_data5-4-34,1,astar-symmulgt-transmul,3600,memout cv_data5-4-34,1,astar-symmullt-transmul,3600,memout cv_data5-4-34,1,idastar-symmulgt-transmul,969.093,ok cv_data5-4-34,1,idastar-symmullt-transmul,976.633,ok cv_data5-4-35,1,astar-symmulgt-transmul,618.047,ok cv_data5-4-35,1,astar-symmullt-transmul,528.217,ok cv_data5-4-35,1,idastar-symmulgt-transmul,68.704,ok cv_data5-4-35,1,idastar-symmullt-transmul,128.564,ok cv_data5-4-36,1,astar-symmulgt-transmul,783.105,ok cv_data5-4-36,1,astar-symmullt-transmul,1015.33,ok cv_data5-4-36,1,idastar-symmulgt-transmul,175.423,ok cv_data5-4-36,1,idastar-symmullt-transmul,162.726,ok cv_data5-4-37,1,astar-symmulgt-transmul,1.056,ok cv_data5-4-37,1,astar-symmullt-transmul,1.048,ok cv_data5-4-37,1,idastar-symmulgt-transmul,1.732,ok cv_data5-4-37,1,idastar-symmullt-transmul,1.504,ok cv_data5-4-38,1,astar-symmulgt-transmul,772.792,ok cv_data5-4-38,1,astar-symmullt-transmul,676.198,ok cv_data5-4-38,1,idastar-symmulgt-transmul,28.33,ok cv_data5-4-38,1,idastar-symmullt-transmul,28.162,ok cv_data5-4-4,1,astar-symmulgt-transmul,3600,memout cv_data5-4-4,1,astar-symmullt-transmul,3600,memout cv_data5-4-4,1,idastar-symmulgt-transmul,322.9,ok cv_data5-4-4,1,idastar-symmullt-transmul,297.275,ok cv_data5-4-6,1,astar-symmulgt-transmul,6.54,ok cv_data5-4-6,1,astar-symmullt-transmul,6.448,ok cv_data5-4-6,1,idastar-symmulgt-transmul,2.588,ok cv_data5-4-6,1,idastar-symmullt-transmul,2.432,ok cv_data5-4-7,1,astar-symmulgt-transmul,5.904,ok cv_data5-4-7,1,astar-symmullt-transmul,5.772,ok cv_data5-4-7,1,idastar-symmulgt-transmul,32.91,ok cv_data5-4-7,1,idastar-symmullt-transmul,28.43,ok cv_data5-4-9,1,astar-symmulgt-transmul,234.323,ok cv_data5-4-9,1,astar-symmullt-transmul,258.888,ok cv_data5-4-9,1,idastar-symmulgt-transmul,42.911,ok cv_data5-4-9,1,idastar-symmullt-transmul,43.839,ok cv_data5-5-10,1,astar-symmulgt-transmul,3600,memout cv_data5-5-10,1,astar-symmullt-transmul,3600,memout cv_data5-5-10,1,idastar-symmulgt-transmul,92.846,ok cv_data5-5-10,1,idastar-symmullt-transmul,62.912,ok cv_data5-5-11,1,astar-symmulgt-transmul,3600,memout cv_data5-5-11,1,astar-symmullt-transmul,3600,memout cv_data5-5-11,1,idastar-symmulgt-transmul,3600,timeout cv_data5-5-11,1,idastar-symmullt-transmul,2891.773,ok cv_data5-5-12,1,astar-symmulgt-transmul,3600,memout cv_data5-5-12,1,astar-symmullt-transmul,3600,memout cv_data5-5-12,1,idastar-symmulgt-transmul,224.286,ok cv_data5-5-12,1,idastar-symmullt-transmul,213.965,ok cv_data5-5-13,1,astar-symmulgt-transmul,3600,memout cv_data5-5-13,1,astar-symmullt-transmul,3600,memout cv_data5-5-13,1,idastar-symmulgt-transmul,1303.693,ok cv_data5-5-13,1,idastar-symmullt-transmul,913.593,ok cv_data5-5-14,1,astar-symmulgt-transmul,3600,memout cv_data5-5-14,1,astar-symmullt-transmul,3600,memout cv_data5-5-14,1,idastar-symmulgt-transmul,364.819,ok cv_data5-5-14,1,idastar-symmullt-transmul,290.018,ok cv_data5-5-15,1,astar-symmulgt-transmul,3600,memout cv_data5-5-15,1,astar-symmullt-transmul,3600,memout cv_data5-5-15,1,idastar-symmulgt-transmul,1089.456,ok cv_data5-5-15,1,idastar-symmullt-transmul,802.942,ok cv_data5-5-16,1,astar-symmulgt-transmul,3600,memout cv_data5-5-16,1,astar-symmullt-transmul,3600,memout cv_data5-5-16,1,idastar-symmulgt-transmul,371.783,ok cv_data5-5-16,1,idastar-symmullt-transmul,250.328,ok cv_data5-5-17,1,astar-symmulgt-transmul,3600,memout cv_data5-5-17,1,astar-symmullt-transmul,3600,memout cv_data5-5-17,1,idastar-symmulgt-transmul,33.714,ok cv_data5-5-17,1,idastar-symmullt-transmul,28.894,ok cv_data5-5-18,1,astar-symmulgt-transmul,358.538,ok cv_data5-5-18,1,astar-symmullt-transmul,453.3,ok cv_data5-5-18,1,idastar-symmulgt-transmul,147.785,ok cv_data5-5-18,1,idastar-symmullt-transmul,299.363,ok cv_data5-5-19,1,astar-symmulgt-transmul,1861.84,ok cv_data5-5-19,1,astar-symmullt-transmul,1449.08,ok cv_data5-5-19,1,idastar-symmulgt-transmul,11.777,ok cv_data5-5-19,1,idastar-symmullt-transmul,7.856,ok cv_data5-5-20,1,astar-symmulgt-transmul,735.558,ok cv_data5-5-20,1,astar-symmullt-transmul,642.92,ok cv_data5-5-20,1,idastar-symmulgt-transmul,116.039,ok cv_data5-5-20,1,idastar-symmullt-transmul,84.897,ok cv_data5-5-21,1,astar-symmulgt-transmul,3600,memout cv_data5-5-21,1,astar-symmullt-transmul,3600,memout cv_data5-5-21,1,idastar-symmulgt-transmul,244.363,ok cv_data5-5-21,1,idastar-symmullt-transmul,205.309,ok cv_data5-5-22,1,astar-symmulgt-transmul,3600,memout cv_data5-5-22,1,astar-symmullt-transmul,3600,memout cv_data5-5-22,1,idastar-symmulgt-transmul,95.806,ok cv_data5-5-22,1,idastar-symmullt-transmul,79.885,ok cv_data5-5-23,1,astar-symmulgt-transmul,70.788,ok cv_data5-5-23,1,astar-symmullt-transmul,69.408,ok cv_data5-5-23,1,idastar-symmulgt-transmul,7.152,ok cv_data5-5-23,1,idastar-symmullt-transmul,6.016,ok cv_data5-5-24,1,astar-symmulgt-transmul,0.632,ok cv_data5-5-24,1,astar-symmullt-transmul,0.468,ok cv_data5-5-24,1,idastar-symmulgt-transmul,0.792,ok cv_data5-5-24,1,idastar-symmullt-transmul,0.788,ok cv_data5-5-25,1,astar-symmulgt-transmul,3600,memout cv_data5-5-25,1,astar-symmullt-transmul,3600,memout cv_data5-5-25,1,idastar-symmulgt-transmul,506.316,ok cv_data5-5-25,1,idastar-symmullt-transmul,573.432,ok cv_data5-5-27,1,astar-symmulgt-transmul,3600,memout cv_data5-5-27,1,astar-symmullt-transmul,3600,memout cv_data5-5-27,1,idastar-symmulgt-transmul,2993.091,ok cv_data5-5-27,1,idastar-symmullt-transmul,2180.444,ok cv_data5-5-28,1,astar-symmulgt-transmul,3600,memout cv_data5-5-28,1,astar-symmullt-transmul,3600,memout cv_data5-5-28,1,idastar-symmulgt-transmul,2240.964,ok cv_data5-5-28,1,idastar-symmullt-transmul,3600,timeout cv_data5-5-29,1,astar-symmulgt-transmul,3600,memout cv_data5-5-29,1,astar-symmullt-transmul,3600,memout cv_data5-5-29,1,idastar-symmulgt-transmul,1960.979,ok cv_data5-5-29,1,idastar-symmullt-transmul,1565.862,ok cv_data5-5-3,1,astar-symmulgt-transmul,33.914,ok cv_data5-5-3,1,astar-symmullt-transmul,22.693,ok cv_data5-5-3,1,idastar-symmulgt-transmul,1.492,ok cv_data5-5-3,1,idastar-symmullt-transmul,1.396,ok cv_data5-5-30,1,astar-symmulgt-transmul,3600,memout cv_data5-5-30,1,astar-symmullt-transmul,3600,memout cv_data5-5-30,1,idastar-symmulgt-transmul,1173.737,ok cv_data5-5-30,1,idastar-symmullt-transmul,1168.273,ok cv_data5-5-31,1,astar-symmulgt-transmul,3600,memout cv_data5-5-31,1,astar-symmullt-transmul,3600,memout cv_data5-5-31,1,idastar-symmulgt-transmul,967.488,ok cv_data5-5-31,1,idastar-symmullt-transmul,761.496,ok cv_data5-5-32,1,astar-symmulgt-transmul,3600,memout cv_data5-5-32,1,astar-symmullt-transmul,3600,memout cv_data5-5-32,1,idastar-symmulgt-transmul,744.599,ok cv_data5-5-32,1,idastar-symmullt-transmul,667.818,ok cv_data5-5-33,1,astar-symmulgt-transmul,3600,memout cv_data5-5-33,1,astar-symmullt-transmul,3600,memout cv_data5-5-33,1,idastar-symmulgt-transmul,442.524,ok cv_data5-5-33,1,idastar-symmullt-transmul,404.633,ok cv_data5-5-36,1,astar-symmulgt-transmul,3600,memout cv_data5-5-36,1,astar-symmullt-transmul,3600,memout cv_data5-5-36,1,idastar-symmulgt-transmul,922.322,ok cv_data5-5-36,1,idastar-symmullt-transmul,638.1,ok cv_data5-5-37,1,astar-symmulgt-transmul,3600,memout cv_data5-5-37,1,astar-symmullt-transmul,3600,memout cv_data5-5-37,1,idastar-symmulgt-transmul,176.123,ok cv_data5-5-37,1,idastar-symmullt-transmul,145.557,ok cv_data5-5-38,1,astar-symmulgt-transmul,380.444,ok cv_data5-5-38,1,astar-symmullt-transmul,349.482,ok cv_data5-5-38,1,idastar-symmulgt-transmul,44.291,ok cv_data5-5-38,1,idastar-symmullt-transmul,29.462,ok cv_data5-5-39,1,astar-symmulgt-transmul,2184.39,ok cv_data5-5-39,1,astar-symmullt-transmul,1915.32,ok cv_data5-5-39,1,idastar-symmulgt-transmul,275.541,ok cv_data5-5-39,1,idastar-symmullt-transmul,189.14,ok cv_data5-5-4,1,astar-symmulgt-transmul,2020.47,ok cv_data5-5-4,1,astar-symmullt-transmul,1755.28,ok cv_data5-5-4,1,idastar-symmulgt-transmul,86.217,ok cv_data5-5-4,1,idastar-symmullt-transmul,63.828,ok cv_data5-5-40,1,astar-symmulgt-transmul,1629.71,ok cv_data5-5-40,1,astar-symmullt-transmul,1423.57,ok cv_data5-5-40,1,idastar-symmulgt-transmul,33.094,ok cv_data5-5-40,1,idastar-symmullt-transmul,34.242,ok cv_data5-5-5,1,astar-symmulgt-transmul,3600,memout cv_data5-5-5,1,astar-symmullt-transmul,3600,memout cv_data5-5-5,1,idastar-symmulgt-transmul,503.075,ok cv_data5-5-5,1,idastar-symmullt-transmul,332.769,ok cv_data5-5-6,1,astar-symmulgt-transmul,3600,memout cv_data5-5-6,1,astar-symmullt-transmul,3600,memout cv_data5-5-6,1,idastar-symmulgt-transmul,431.859,ok cv_data5-5-6,1,idastar-symmullt-transmul,340.801,ok cv_data5-5-7,1,astar-symmulgt-transmul,1469.89,ok cv_data5-5-7,1,astar-symmullt-transmul,1034.31,ok cv_data5-5-7,1,idastar-symmulgt-transmul,83.229,ok cv_data5-5-7,1,idastar-symmullt-transmul,61.068,ok cv_data5-5-8,1,astar-symmulgt-transmul,3600,memout cv_data5-5-8,1,astar-symmullt-transmul,3600,memout cv_data5-5-8,1,idastar-symmulgt-transmul,333.969,ok cv_data5-5-8,1,idastar-symmullt-transmul,251.252,ok cv_data5-5-9,1,astar-symmulgt-transmul,0.584,ok cv_data5-5-9,1,astar-symmullt-transmul,0.484,ok cv_data5-5-9,1,idastar-symmulgt-transmul,0.296,ok cv_data5-5-9,1,idastar-symmullt-transmul,1.208,ok cv_data5-6-11,1,astar-symmulgt-transmul,22.521,ok cv_data5-6-11,1,astar-symmullt-transmul,24.926,ok cv_data5-6-11,1,idastar-symmulgt-transmul,32.982,ok cv_data5-6-11,1,idastar-symmullt-transmul,19.305,ok cv_data5-6-19,1,astar-symmulgt-transmul,3600,memout cv_data5-6-19,1,astar-symmullt-transmul,3600,memout cv_data5-6-19,1,idastar-symmulgt-transmul,3121.263,ok cv_data5-6-19,1,idastar-symmullt-transmul,3253.375,ok cv_data5-6-2,1,astar-symmulgt-transmul,3600,memout cv_data5-6-2,1,astar-symmullt-transmul,3600,memout cv_data5-6-2,1,idastar-symmulgt-transmul,142.021,ok cv_data5-6-2,1,idastar-symmullt-transmul,80.553,ok cv_data5-6-20,1,astar-symmulgt-transmul,3600,memout cv_data5-6-20,1,astar-symmullt-transmul,3600,memout cv_data5-6-20,1,idastar-symmulgt-transmul,1852.048,ok cv_data5-6-20,1,idastar-symmullt-transmul,1032.337,ok cv_data5-6-22,1,astar-symmulgt-transmul,3600,memout cv_data5-6-22,1,astar-symmullt-transmul,3600,memout cv_data5-6-22,1,idastar-symmulgt-transmul,135.804,ok cv_data5-6-22,1,idastar-symmullt-transmul,102.822,ok cv_data5-6-25,1,astar-symmulgt-transmul,3600,memout cv_data5-6-25,1,astar-symmullt-transmul,3600,memout cv_data5-6-25,1,idastar-symmulgt-transmul,686.015,ok cv_data5-6-25,1,idastar-symmullt-transmul,299.055,ok cv_data5-6-26,1,astar-symmulgt-transmul,3600,memout cv_data5-6-26,1,astar-symmullt-transmul,3600,memout cv_data5-6-26,1,idastar-symmulgt-transmul,1242.33,ok cv_data5-6-26,1,idastar-symmullt-transmul,1144.932,ok cv_data5-6-28,1,astar-symmulgt-transmul,502.687,ok cv_data5-6-28,1,astar-symmullt-transmul,532.821,ok cv_data5-6-28,1,idastar-symmulgt-transmul,148.685,ok cv_data5-6-28,1,idastar-symmullt-transmul,94.706,ok cv_data5-6-30,1,astar-symmulgt-transmul,3600,memout cv_data5-6-30,1,astar-symmullt-transmul,3600,memout cv_data5-6-30,1,idastar-symmulgt-transmul,1011.107,ok cv_data5-6-30,1,idastar-symmullt-transmul,696.028,ok cv_data5-6-31,1,astar-symmulgt-transmul,3600,memout cv_data5-6-31,1,astar-symmullt-transmul,3600,memout cv_data5-6-31,1,idastar-symmulgt-transmul,2419.015,ok cv_data5-6-31,1,idastar-symmullt-transmul,1421.457,ok cv_data5-6-33,1,astar-symmulgt-transmul,3600,memout cv_data5-6-33,1,astar-symmullt-transmul,3600,memout cv_data5-6-33,1,idastar-symmulgt-transmul,3046.198,ok cv_data5-6-33,1,idastar-symmullt-transmul,2126.257,ok cv_data5-6-35,1,astar-symmulgt-transmul,3600,memout cv_data5-6-35,1,astar-symmullt-transmul,3600,memout cv_data5-6-35,1,idastar-symmulgt-transmul,2532.15,ok cv_data5-6-35,1,idastar-symmullt-transmul,2689.408,ok cv_data5-6-37,1,astar-symmulgt-transmul,3600,memout cv_data5-6-37,1,astar-symmullt-transmul,3600,memout cv_data5-6-37,1,idastar-symmulgt-transmul,3600,timeout cv_data5-6-37,1,idastar-symmullt-transmul,3195.648,ok cv_data5-6-5,1,astar-symmulgt-transmul,3600,memout cv_data5-6-5,1,astar-symmullt-transmul,3600,memout cv_data5-6-5,1,idastar-symmulgt-transmul,1595.128,ok cv_data5-6-5,1,idastar-symmullt-transmul,941.507,ok cv_data5-6-6,1,astar-symmulgt-transmul,1341.13,ok cv_data5-6-6,1,astar-symmullt-transmul,1294.58,ok cv_data5-6-6,1,idastar-symmulgt-transmul,9.777,ok cv_data5-6-6,1,idastar-symmullt-transmul,4.708,ok cv_data5-6-7,1,astar-symmulgt-transmul,3600,memout cv_data5-6-7,1,astar-symmullt-transmul,3600,memout cv_data5-6-7,1,idastar-symmulgt-transmul,159.95,ok cv_data5-6-7,1,idastar-symmullt-transmul,169.227,ok cv_data5-6-8,1,astar-symmulgt-transmul,3600,memout cv_data5-6-8,1,astar-symmullt-transmul,3600,memout cv_data5-6-8,1,idastar-symmulgt-transmul,245.599,ok cv_data5-6-8,1,idastar-symmullt-transmul,189.796,ok cv_data5-7-1,1,astar-symmulgt-transmul,9.765,ok cv_data5-7-1,1,astar-symmullt-transmul,13.801,ok cv_data5-7-1,1,idastar-symmulgt-transmul,7.016,ok cv_data5-7-1,1,idastar-symmullt-transmul,6.524,ok cv_data5-7-11,1,astar-symmulgt-transmul,3600,memout cv_data5-7-11,1,astar-symmullt-transmul,3600,memout cv_data5-7-11,1,idastar-symmulgt-transmul,74.173,ok cv_data5-7-11,1,idastar-symmullt-transmul,50.827,ok cv_data5-7-12,1,astar-symmulgt-transmul,3600,memout cv_data5-7-12,1,astar-symmullt-transmul,3600,memout cv_data5-7-12,1,idastar-symmulgt-transmul,798.354,ok cv_data5-7-12,1,idastar-symmullt-transmul,1146.04,ok cv_data5-7-13,1,astar-symmulgt-transmul,3600,memout cv_data5-7-13,1,astar-symmullt-transmul,3600,memout cv_data5-7-13,1,idastar-symmulgt-transmul,794.39,ok cv_data5-7-13,1,idastar-symmullt-transmul,851.317,ok cv_data5-7-15,1,astar-symmulgt-transmul,293.238,ok cv_data5-7-15,1,astar-symmullt-transmul,312.476,ok cv_data5-7-15,1,idastar-symmulgt-transmul,135.993,ok cv_data5-7-15,1,idastar-symmullt-transmul,78.257,ok cv_data5-7-16,1,astar-symmulgt-transmul,55.755,ok cv_data5-7-16,1,astar-symmullt-transmul,72.869,ok cv_data5-7-16,1,idastar-symmulgt-transmul,120.464,ok cv_data5-7-16,1,idastar-symmullt-transmul,88.306,ok cv_data5-7-18,1,astar-symmulgt-transmul,3600,memout cv_data5-7-18,1,astar-symmullt-transmul,3600,memout cv_data5-7-18,1,idastar-symmulgt-transmul,85.773,ok cv_data5-7-18,1,idastar-symmullt-transmul,110.471,ok cv_data5-7-19,1,astar-symmulgt-transmul,3600,memout cv_data5-7-19,1,astar-symmullt-transmul,3600,memout cv_data5-7-19,1,idastar-symmulgt-transmul,314.256,ok cv_data5-7-19,1,idastar-symmullt-transmul,169.831,ok cv_data5-7-22,1,astar-symmulgt-transmul,71.172,ok cv_data5-7-22,1,astar-symmullt-transmul,65.408,ok cv_data5-7-22,1,idastar-symmulgt-transmul,7.788,ok cv_data5-7-22,1,idastar-symmullt-transmul,15.089,ok cv_data5-7-31,1,astar-symmulgt-transmul,3600,memout cv_data5-7-31,1,astar-symmullt-transmul,3600,memout cv_data5-7-31,1,idastar-symmulgt-transmul,1194.343,ok cv_data5-7-31,1,idastar-symmullt-transmul,632.019,ok cv_data5-7-32,1,astar-symmulgt-transmul,3600,memout cv_data5-7-32,1,astar-symmullt-transmul,3600,memout cv_data5-7-32,1,idastar-symmulgt-transmul,3600,timeout cv_data5-7-32,1,idastar-symmullt-transmul,2907.326,ok cv_data5-7-33,1,astar-symmulgt-transmul,3600,memout cv_data5-7-33,1,astar-symmullt-transmul,3600,memout cv_data5-7-33,1,idastar-symmulgt-transmul,668.422,ok cv_data5-7-33,1,idastar-symmullt-transmul,1496.738,ok cv_data5-7-36,1,astar-symmulgt-transmul,3600,memout cv_data5-7-36,1,astar-symmullt-transmul,3600,memout cv_data5-7-36,1,idastar-symmulgt-transmul,907.445,ok cv_data5-7-36,1,idastar-symmullt-transmul,675.686,ok cv_data5-7-37,1,astar-symmulgt-transmul,156.866,ok cv_data5-7-37,1,astar-symmullt-transmul,137.417,ok cv_data5-7-37,1,idastar-symmulgt-transmul,75.369,ok cv_data5-7-37,1,idastar-symmullt-transmul,96.022,ok cv_data5-7-4,1,astar-symmulgt-transmul,964.04,ok cv_data5-7-4,1,astar-symmullt-transmul,808.547,ok cv_data5-7-4,1,idastar-symmulgt-transmul,599.933,ok cv_data5-7-4,1,idastar-symmullt-transmul,368.859,ok cv_data5-7-40,1,astar-symmulgt-transmul,3600,memout cv_data5-7-40,1,astar-symmullt-transmul,3600,memout cv_data5-7-40,1,idastar-symmulgt-transmul,3600,timeout cv_data5-7-40,1,idastar-symmullt-transmul,1961.883,ok cv_data5-7-7,1,astar-symmulgt-transmul,3600,memout cv_data5-7-7,1,astar-symmullt-transmul,3600,memout cv_data5-7-7,1,idastar-symmulgt-transmul,577.132,ok cv_data5-7-7,1,idastar-symmullt-transmul,524.621,ok cv_data5-8-19,1,astar-symmulgt-transmul,3600,memout cv_data5-8-19,1,astar-symmullt-transmul,3600,memout cv_data5-8-19,1,idastar-symmulgt-transmul,3600,timeout cv_data5-8-19,1,idastar-symmullt-transmul,2413.111,ok cv_data5-8-2,1,astar-symmulgt-transmul,3600,memout cv_data5-8-2,1,astar-symmullt-transmul,3600,memout cv_data5-8-2,1,idastar-symmulgt-transmul,936.483,ok cv_data5-8-2,1,idastar-symmullt-transmul,391.54,ok cv_data5-8-25,1,astar-symmulgt-transmul,3600,memout cv_data5-8-25,1,astar-symmullt-transmul,3600,memout cv_data5-8-25,1,idastar-symmulgt-transmul,3512.672,ok cv_data5-8-25,1,idastar-symmullt-transmul,3370.827,ok cv_data5-8-29,1,astar-symmulgt-transmul,126.476,ok cv_data5-8-29,1,astar-symmullt-transmul,281.102,ok cv_data5-8-29,1,idastar-symmulgt-transmul,68.272,ok cv_data5-8-29,1,idastar-symmullt-transmul,49.343,ok cv_data5-8-3,1,astar-symmulgt-transmul,3600,memout cv_data5-8-3,1,astar-symmullt-transmul,3600,memout cv_data5-8-3,1,idastar-symmulgt-transmul,1574.23,ok cv_data5-8-3,1,idastar-symmullt-transmul,508.596,ok cv_data5-8-36,1,astar-symmulgt-transmul,3600,memout cv_data5-8-36,1,astar-symmullt-transmul,3600,memout cv_data5-8-36,1,idastar-symmulgt-transmul,2910.83,ok cv_data5-8-36,1,idastar-symmullt-transmul,1556.549,ok cv_data5-8-38,1,astar-symmulgt-transmul,3600,memout cv_data5-8-38,1,astar-symmullt-transmul,3600,memout cv_data5-8-38,1,idastar-symmulgt-transmul,2471.762,ok cv_data5-8-38,1,idastar-symmullt-transmul,1874.097,ok cv_data5-8-39,1,astar-symmulgt-transmul,3600,memout cv_data5-8-39,1,astar-symmullt-transmul,3600,memout cv_data5-8-39,1,idastar-symmulgt-transmul,2529.79,ok cv_data5-8-39,1,idastar-symmullt-transmul,1526.903,ok cv_data5-8-4,1,astar-symmulgt-transmul,3600,memout cv_data5-8-4,1,astar-symmullt-transmul,3600,memout cv_data5-8-4,1,idastar-symmulgt-transmul,1656.592,ok cv_data5-8-4,1,idastar-symmullt-transmul,1792.312,ok cv_data5-8-6,1,astar-symmulgt-transmul,3600,memout cv_data5-8-6,1,astar-symmullt-transmul,3600,memout cv_data5-8-6,1,idastar-symmulgt-transmul,1610.869,ok cv_data5-8-6,1,idastar-symmullt-transmul,1532.88,ok cv_data5-8-8,1,astar-symmulgt-transmul,3600,memout cv_data5-8-8,1,astar-symmullt-transmul,3600,memout cv_data5-8-8,1,idastar-symmulgt-transmul,348.75,ok cv_data5-8-8,1,idastar-symmullt-transmul,359.362,ok cv_data5-9-10,1,astar-symmulgt-transmul,3600,memout cv_data5-9-10,1,astar-symmullt-transmul,3600,memout cv_data5-9-10,1,idastar-symmulgt-transmul,675.93,ok cv_data5-9-10,1,idastar-symmullt-transmul,514.58,ok cv_data5-9-21,1,astar-symmulgt-transmul,3600,memout cv_data5-9-21,1,astar-symmullt-transmul,3600,memout cv_data5-9-21,1,idastar-symmulgt-transmul,848.305,ok cv_data5-9-21,1,idastar-symmullt-transmul,608.694,ok cv_data5-9-3,1,astar-symmulgt-transmul,3600,memout cv_data5-9-3,1,astar-symmullt-transmul,3600,memout cv_data5-9-3,1,idastar-symmulgt-transmul,3600,timeout cv_data5-9-3,1,idastar-symmullt-transmul,3576.584,ok cv_data5-9-32,1,astar-symmulgt-transmul,3600,memout cv_data5-9-32,1,astar-symmullt-transmul,3600,memout cv_data5-9-32,1,idastar-symmulgt-transmul,3600,timeout cv_data5-9-32,1,idastar-symmullt-transmul,1377.438,ok cv_data5-9-38,1,astar-symmulgt-transmul,3600,memout cv_data5-9-38,1,astar-symmullt-transmul,3600,memout cv_data5-9-38,1,idastar-symmulgt-transmul,3600,timeout cv_data5-9-38,1,idastar-symmullt-transmul,1108.917,ok cv_data5-9-4,1,astar-symmulgt-transmul,3600,memout cv_data5-9-4,1,astar-symmullt-transmul,3600,memout cv_data5-9-4,1,idastar-symmulgt-transmul,3253.151,ok cv_data5-9-4,1,idastar-symmullt-transmul,1466.84,ok