./normallogs/1x1b/142: 142
./normallogs/3x3water/142: 142
./normallogs/5x5/142: 142
./normallogs/bridge/142: 1
./normallogs/maze/142: 1
./normallogs/push1/142: 142 vs 666
./normallogs/push2/142: 142 vs 666
./normallogs/sokoban/142: 142 vs 666
./normallogs/sym_8_1/16/run: 22 vs 65 vs 142 vs 148 vs 168 vs 246 vs 249 vs 271
./normallogs/sym_8_2/7/run: 74 vs 84 vs 98 vs 138 vs 142 vs 210 vs 227 vs 249
./normallogs/sym_8_3/16/run: 22 vs 65 vs 142 vs 148 vs 168 vs 246 vs 249 vs 271
./normallogs/sym_8_4/7/run: 74 vs 84 vs 98 vs 138 vs 142 vs 210 vs 227 vs 249
./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/142: 1
./normallogs/undeliver/142: 142