./normallogs/1x1b/188: 188
./normallogs/3x3water/188: 188
./normallogs/5x5/188: 188
./normallogs/bridge/188: 1
./normallogs/maze/188: 1
./normallogs/push1/188: 188 vs 666
./normallogs/push2/188: 188 vs 666
./normallogs/sokoban/188: 188 vs 666
./normallogs/sym_8_1/9/run: 53 vs 54 vs 56 vs 119 vs 122 vs 188 vs 205 vs 248 vs 272
./normallogs/sym_8_2/6/run: 35 vs 81 vs 118 vs 119 vs 160 vs 163 vs 188 vs 223 vs 258
./normallogs/sym_8_3/9/run: 53 vs 54 vs 56 vs 119 vs 122 vs 188 vs 205 vs 248 vs 272
./normallogs/sym_8_4/6/run: 35 vs 81 vs 118 vs 119 vs 160 vs 163 vs 188 vs 223 vs 258
./normallogs/th4_1/run: 16 vs 30 vs 65 vs 68 vs 84 vs 94 vs 95 vs 107 vs 117 vs 121 vs 142 vs 161 vs 188 vs 193 vs 199 vs 207 vs 209 vs 246 vs 249 vs 290
./normallogs/th4_2/run: 16 vs 30 vs 65 vs 68 vs 84 vs 94 vs 95 vs 107 vs 117 vs 121 vs 142 vs 161 vs 188 vs 193 vs 199 vs 207 vs 209 vs 246 vs 249 vs 290
./normallogs/th4_3/run: 16 vs 30 vs 65 vs 68 vs 84 vs 94 vs 95 vs 107 vs 117 vs 121 vs 142 vs 161 vs 188 vs 193 vs 199 vs 207 vs 209 vs 246 vs 249 vs 290
./normallogs/th4_4/run: 16 vs 30 vs 65 vs 68 vs 84 vs 94 vs 95 vs 107 vs 117 vs 121 vs 142 vs 161 vs 188 vs 193 vs 199 vs 207 vs 209 vs 246 vs 249 vs 290
./normallogs/th5_1/run: 16 vs 30 vs 65 vs 68 vs 84 vs 94 vs 95 vs 107 vs 117 vs 121 vs 142 vs 161 vs 188 vs 193 vs 199 vs 207 vs 209 vs 246 vs 249 vs 290
./normallogs/th5_2/run: 16 vs 30 vs 65 vs 68 vs 84 vs 94 vs 95 vs 107 vs 117 vs 121 vs 142 vs 161 vs 188 vs 193 vs 199 vs 207 vs 209 vs 246 vs 249 vs 290
./normallogs/th5_3/run: 16 vs 30 vs 65 vs 68 vs 84 vs 94 vs 95 vs 107 vs 117 vs 121 vs 142 vs 161 vs 188 vs 193 vs 199 vs 207 vs 209 vs 246 vs 249 vs 290
./normallogs/travel/188: 188
./normallogs/undeliver/188: 188