Dec 05 15:20:18.157 INFO testing martin-t/sokoban-solver against master#906deae0790bd18681b937fe9a141a3c26cf1855 for pr-56514 Dec 05 15:20:18.157 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-3/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-3/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +906deae0790bd18681b937fe9a141a3c26cf1855-alt build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"` Dec 05 15:20:18.784 INFO [stdout] 0a295a7fc94f0d2abd9350961c6afd89e3539388c7e604fa718bed205c0c5989 Dec 05 15:20:18.786 INFO running `"docker" "start" "-a" "0a295a7fc94f0d2abd9350961c6afd89e3539388c7e604fa718bed205c0c5989"` Dec 05 15:20:20.460 INFO [stderr] usermod: no changes Dec 05 15:20:20.685 INFO [stderr] Compiling cfg-if v0.1.6 Dec 05 15:20:20.685 INFO [stderr] Compiling libc v0.2.43 Dec 05 15:20:20.685 INFO [stderr] Compiling ucd-util v0.1.3 Dec 05 15:20:20.692 INFO [stderr] Compiling lazy_static v1.2.0 Dec 05 15:20:20.702 INFO [stderr] Compiling utf8-ranges v1.0.2 Dec 05 15:20:20.703 INFO [stderr] Compiling unicode-width v0.1.5 Dec 05 15:20:20.704 INFO [stderr] Compiling byteorder v1.2.7 Dec 05 15:20:20.705 INFO [stderr] Compiling quick-error v1.2.2 Dec 05 15:20:21.372 INFO [stderr] Compiling rustc-serialize v0.3.24 Dec 05 15:20:22.040 INFO [stderr] Compiling vec_map v0.8.1 Dec 05 15:20:22.548 INFO [stderr] Compiling strsim v0.7.0 Dec 05 15:20:22.772 INFO [stderr] Compiling encode_unicode v0.3.5 Dec 05 15:20:25.372 INFO [stderr] Compiling ansi_term v0.11.0 Dec 05 15:20:25.373 INFO [stderr] Compiling bitflags v1.0.4 Dec 05 15:20:25.383 INFO [stderr] Compiling termcolor v1.0.4 Dec 05 15:20:27.760 INFO [stderr] Compiling typed-arena v1.4.1 Dec 05 15:20:27.840 INFO [stderr] Compiling separator v0.3.1 Dec 05 15:20:27.857 INFO [stderr] Compiling log v0.4.6 Dec 05 15:20:27.969 INFO [stderr] Compiling textwrap v0.10.0 Dec 05 15:20:30.332 INFO [stderr] Compiling thread_local v0.3.6 Dec 05 15:20:30.440 INFO [stderr] Compiling humantime v1.1.1 Dec 05 15:20:36.132 INFO [stderr] Compiling regex-syntax v0.6.3 Dec 05 15:20:36.154 INFO [stderr] Compiling term v0.5.1 Dec 05 15:20:36.155 INFO [stderr] Compiling memchr v1.0.2 Dec 05 15:20:36.165 INFO [stderr] Compiling atty v0.2.11 Dec 05 15:20:36.188 INFO [stderr] Compiling memchr v2.1.1 Dec 05 15:20:37.586 INFO [stderr] Compiling clap v2.32.0 Dec 05 15:20:41.316 INFO [stderr] Compiling aho-corasick v0.6.9 Dec 05 15:20:51.618 INFO [stderr] Compiling csv v0.15.0 Dec 05 15:20:54.994 INFO [stderr] Compiling prettytable-rs v0.7.0 Dec 05 15:21:05.754 INFO [stderr] Compiling regex v1.0.6 Dec 05 15:21:28.582 INFO [stderr] Compiling env_logger v0.6.0 Dec 05 15:21:30.577 INFO [stderr] Compiling sokoban-solver v0.1.0 (/source) Dec 05 15:21:39.356 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1m 18s Dec 05 15:21:39.367 INFO [stderr] su: No module specific data is present Dec 05 15:21:41.614 INFO running `"docker" "inspect" "0a295a7fc94f0d2abd9350961c6afd89e3539388c7e604fa718bed205c0c5989"` Dec 05 15:21:41.858 INFO running `"docker" "rm" "-f" "0a295a7fc94f0d2abd9350961c6afd89e3539388c7e604fa718bed205c0c5989"` Dec 05 15:21:44.313 INFO [stdout] 0a295a7fc94f0d2abd9350961c6afd89e3539388c7e604fa718bed205c0c5989 Dec 05 15:21:44.315 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-3/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-3/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +906deae0790bd18681b937fe9a141a3c26cf1855-alt test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"` Dec 05 15:21:44.584 INFO [stdout] 6174a262203d3fdf8f883dea3643e94925362727c43db117e56788a2738fb143 Dec 05 15:21:44.586 INFO running `"docker" "start" "-a" "6174a262203d3fdf8f883dea3643e94925362727c43db117e56788a2738fb143"` Dec 05 15:21:45.276 INFO [stderr] usermod: no changes Dec 05 15:21:45.616 INFO [stderr] Compiling log v0.4.6 Dec 05 15:21:45.617 INFO [stderr] Compiling itertools v0.7.9 Dec 05 15:21:45.622 INFO [stderr] Compiling csv v0.15.0 Dec 05 15:21:45.633 INFO [stderr] Compiling criterion-stats v0.2.5 Dec 05 15:21:45.637 INFO [stderr] Compiling serde v1.0.80 Dec 05 15:21:45.637 INFO [stderr] Compiling failure v0.1.3 Dec 05 15:21:48.904 INFO [stderr] Compiling simplelog v0.5.3 Dec 05 15:21:48.904 INFO [stderr] Compiling env_logger v0.6.0 Dec 05 15:21:50.856 INFO [stderr] Compiling prettytable-rs v0.7.0 Dec 05 15:21:54.120 INFO [stderr] Compiling criterion-plot v0.2.5 Dec 05 15:21:56.532 INFO [stderr] Compiling sokoban-solver v0.1.0 (/source) Dec 05 15:22:06.245 INFO [stderr] Compiling serde_json v1.0.33 Dec 05 15:22:06.248 INFO [stderr] Compiling csv v1.0.2 Dec 05 15:22:12.116 INFO [stderr] Compiling handlebars v0.32.4 Dec 05 15:22:12.116 INFO [stderr] Compiling escargot v0.3.1 Dec 05 15:22:14.014 INFO [stderr] Compiling assert_cmd v0.10.1 Dec 05 15:22:20.600 INFO [stderr] Compiling criterion v0.2.5 Dec 05 15:22:36.972 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 51.66s Dec 05 15:22:36.984 INFO [stderr] su: No module specific data is present Dec 05 15:22:37.520 INFO running `"docker" "inspect" "6174a262203d3fdf8f883dea3643e94925362727c43db117e56788a2738fb143"` Dec 05 15:22:37.658 INFO running `"docker" "rm" "-f" "6174a262203d3fdf8f883dea3643e94925362727c43db117e56788a2738fb143"` Dec 05 15:22:37.830 INFO [stdout] 6174a262203d3fdf8f883dea3643e94925362727c43db117e56788a2738fb143 Dec 05 15:22:37.834 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-3/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-3/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +906deae0790bd18681b937fe9a141a3c26cf1855-alt test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"` Dec 05 15:22:38.048 INFO [stdout] c4d43a08c247e7fb0a8d2ccfb369bceeb76905ae9a8cba44da5a8b316664c527 Dec 05 15:22:38.050 INFO running `"docker" "start" "-a" "c4d43a08c247e7fb0a8d2ccfb369bceeb76905ae9a8cba44da5a8b316664c527"` Dec 05 15:22:38.800 INFO [stderr] usermod: no changes Dec 05 15:22:38.967 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.15s Dec 05 15:22:38.989 INFO [stderr] Running /target/debug/deps/sokoban_solver-a7f975da2d63a19d Dec 05 15:22:38.992 INFO [stdout] Dec 05 15:22:38.992 INFO [stdout] running 44 tests Dec 05 15:22:38.992 INFO [stdout] test level::tests::formatting_solution ... ok Dec 05 15:22:38.998 INFO [stdout] test map::tests::formatting_map ... ok Dec 05 15:22:39.004 INFO [stdout] test moves::tests::formatting_moves ... ok Dec 05 15:22:39.004 INFO [stdout] test parser::tests::custom_fail_no_player ... ok Dec 05 15:22:39.004 INFO [stdout] test parser::tests::custom_fail_box_on_remover ... ok Dec 05 15:22:39.004 INFO [stdout] test moves::tests::extending_and_counting ... ok Dec 05 15:22:39.004 INFO [stdout] test parser::tests::custom_fail_empty ... ok Dec 05 15:22:39.019 INFO [stdout] test moves::tests::iterating ... ok Dec 05 15:22:39.019 INFO [stdout] test level::tests::formatting_level ... ok Dec 05 15:22:39.019 INFO [stdout] test parser::tests::custom_remover ... ok Dec 05 15:22:39.019 INFO [stdout] test parser::tests::custom_player ... ok Dec 05 15:22:39.019 INFO [stdout] test parser::tests::custom_fail_remover_and_goals ... ok Dec 05 15:22:39.019 INFO [stdout] test parser::tests::custom_goals ... ok Dec 05 15:22:39.019 INFO [stdout] test parser::tests::xsb_corner_boxes ... ok Dec 05 15:22:39.021 INFO [stdout] test parser::tests::xsb_original_1 ... ok Dec 05 15:22:39.021 INFO [stdout] test parser::tests::xsb_fail_pos ... ok Dec 05 15:22:39.021 INFO [stdout] test solver::preprocessing::tests::push_distances ... ignored Dec 05 15:22:39.021 INFO [stdout] test parser::tests::xsb_simplest ... ok Dec 05 15:22:39.024 INFO [stdout] test solver::backtracking::tests::backtracking ... ok Dec 05 15:22:39.024 INFO [stdout] test solver::tests::expand_move2 ... ok Dec 05 15:22:39.024 INFO [stdout] test solver::tests::diff_boxes_or_goals ... ok Dec 05 15:22:39.028 INFO [stdout] test solver::tests::expand_move1 ... ok Dec 05 15:22:39.028 INFO [stdout] test solver::tests::processing ... ok Dec 05 15:22:39.028 INFO [stdout] test solver::preprocessing::tests::one_box_reachability ... ok Dec 05 15:22:39.028 INFO [stdout] test solver::tests::pos_normalization ... ok Dec 05 15:22:39.028 INFO [stdout] test solver::tests::unreachable_boxes_goals ... ok Dec 05 15:22:39.028 INFO [stdout] test solver::tests::incomplete_border ... ok Dec 05 15:22:39.028 INFO [stdout] test solver::tests::unreachable_boxes_remover ... ok Dec 05 15:22:39.028 INFO [stdout] test tests::bench_boxxle1_001 ... ignored Dec 05 15:22:39.028 INFO [stdout] test tests::bench_boxxle1_001_moves ... ignored Dec 05 15:22:39.028 INFO [stdout] test tests::bench_boxxle1_005 ... ignored Dec 05 15:22:39.028 INFO [stdout] test tests::bench_boxxle1_018 ... ignored Dec 05 15:22:39.028 INFO [stdout] test tests::bench_boxxle1_108 ... ignored Dec 05 15:22:39.036 INFO [stdout] test solver::tests::too_many ... ok Dec 05 15:22:39.036 INFO [stdout] test tests::test_more_levels ... ignored Dec 05 15:22:39.036 INFO [stdout] test vec2d::tests::formatting_vec2d ... ok Dec 05 15:22:39.036 INFO [stdout] test solver::tests::expand_push1 ... ok Dec 05 15:22:39.036 INFO [stdout] test vec2d::tests::positions ... ok Dec 05 15:22:39.036 INFO [stdout] test solver::tests::unreachable_remover ... ok Dec 05 15:22:39.036 INFO [stdout] test solver::tests::unreachable_goals ... ok Dec 05 15:22:39.038 INFO [stdout] test solver::preprocessing::tests::closest_distances_one_goal_1 ... ok Dec 05 15:22:39.039 INFO [stdout] test solver::preprocessing::tests::closest_distances_one_goal_2 ... ok Dec 05 15:22:39.104 INFO [stdout] test solver::preprocessing::tests::closest_distances_many_goals ... ok Dec 05 15:22:59.189 INFO [stdout] test tests::test_levels ... FAILED Dec 05 15:22:59.189 INFO [stdout] Dec 05 15:22:59.189 INFO [stdout] failures: Dec 05 15:22:59.189 INFO [stdout] Dec 05 15:22:59.189 INFO [stdout] ---- tests::test_levels stdout ---- Dec 05 15:22:59.189 INFO [stdout] Solving level levels/custom/00-empty.txt using method moves-pushes Dec 05 15:22:59.189 INFO [stdout] Finished in approximately 0 ms Dec 05 15:22:59.189 INFO [stdout] Solving level levels/custom/00-empty.txt using method moves Dec 05 15:22:59.189 INFO [stdout] Finished in approximately 0 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/00-empty.txt using method pushes-moves Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 0 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/00-empty.txt using method pushes Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 0 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/00-solved.txt using method moves-pushes Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 2 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/00-solved.txt using method moves Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 14 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/00-solved.txt using method pushes-moves Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 2 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/00-solved.txt using method pushes Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 2 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/01-simplest-custom.txt using method moves-pushes Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 0 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/01-simplest-custom.txt using method moves Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 0 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/01-simplest-custom.txt using method pushes-moves Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 0 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/01-simplest-custom.txt using method pushes Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 0 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/01-simplest-xsb.txt using method moves-pushes Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 0 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/01-simplest-xsb.txt using method moves Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 0 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/01-simplest-xsb.txt using method pushes-moves Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 0 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/01-simplest-xsb.txt using method pushes Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 0 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/02-one-way-xsb.txt using method moves-pushes Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 0 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/02-one-way-xsb.txt using method moves Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 0 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/02-one-way-xsb.txt using method pushes-moves Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 0 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/02-one-way-xsb.txt using method pushes Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 0 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/02-one-way.txt using method moves-pushes Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 0 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/02-one-way.txt using method moves Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 0 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/02-one-way.txt using method pushes-moves Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 0 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/02-one-way.txt using method pushes Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 0 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/03-long-way.txt using method moves-pushes Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 4 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/03-long-way.txt using method moves Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 4 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/03-long-way.txt using method pushes-moves Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 4 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/03-long-way.txt using method pushes Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 4 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/03-two-ways.txt using method moves-pushes Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 1 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/03-two-ways.txt using method moves Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 1 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/03-two-ways.txt using method pushes-moves Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 1 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/03-two-ways.txt using method pushes Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 1 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/04-two-boxes-no-packing.txt using method moves-pushes Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 2 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/04-two-boxes-no-packing.txt using method moves Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 2 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/04-two-boxes-no-packing.txt using method pushes-moves Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 2 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/04-two-boxes-no-packing.txt using method pushes Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 3 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/04-two-boxes.txt using method moves-pushes Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 24 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/04-two-boxes.txt using method moves Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 24 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/04-two-boxes.txt using method pushes-moves Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 20 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/04-two-boxes.txt using method pushes Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 26 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/05-same-moves-diff-pushes.txt using method moves-pushes Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 28 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/05-same-moves-diff-pushes.txt using method moves Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 27 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/05-same-moves-diff-pushes.txt using method pushes-moves Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 26 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/05-same-moves-diff-pushes.txt using method pushes Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 26 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/05-same-pushes-diff-moves.txt using method moves-pushes Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 1 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/05-same-pushes-diff-moves.txt using method moves Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 1 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/05-same-pushes-diff-moves.txt using method pushes-moves Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 1 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/05-same-pushes-diff-moves.txt using method pushes Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 1 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/deadlock-cell-on-dead-end.txt using method moves-pushes Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 189 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/deadlock-cell-on-dead-end.txt using method moves Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 194 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/deadlock-cell-on-dead-end.txt using method pushes-moves Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 176 ms Dec 05 15:22:59.190 INFO [stdout] Solving level levels/custom/deadlock-cell-on-dead-end.txt using method pushes Dec 05 15:22:59.190 INFO [stdout] Finished in approximately 169 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/custom/no-solution-parking.txt using method moves-pushes Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 3 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/custom/no-solution-parking.txt using method moves Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 3 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/custom/no-solution-parking.txt using method pushes-moves Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 3 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/custom/no-solution-parking.txt using method pushes Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 4 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/custom/remover-00-solved.txt using method moves-pushes Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 1 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/custom/remover-00-solved.txt using method moves Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 1 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/custom/remover-00-solved.txt using method pushes-moves Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 2 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/custom/remover-00-solved.txt using method pushes Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 2 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/custom/remover-01-simplest-custom.txt using method moves-pushes Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 0 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/custom/remover-01-simplest-custom.txt using method moves Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 0 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/custom/remover-01-simplest-custom.txt using method pushes-moves Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 0 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/custom/remover-01-simplest-custom.txt using method pushes Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 0 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/custom/remover-01-simplest-xsb.txt using method moves-pushes Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 0 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/custom/remover-01-simplest-xsb.txt using method moves Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 0 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/custom/remover-01-simplest-xsb.txt using method pushes-moves Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 0 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/custom/remover-01-simplest-xsb.txt using method pushes Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 0 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/custom/remover-02-one-way-xsb.txt using method moves-pushes Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 0 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/custom/remover-02-one-way-xsb.txt using method moves Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 0 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/custom/remover-02-one-way-xsb.txt using method pushes-moves Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 0 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/custom/remover-02-one-way-xsb.txt using method pushes Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 0 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/custom/remover-02-one-way.txt using method moves-pushes Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 0 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/custom/remover-02-one-way.txt using method moves Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 0 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/custom/remover-02-one-way.txt using method pushes-moves Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 0 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/custom/remover-02-one-way.txt using method pushes Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 0 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/custom/remover-03-long-way.txt using method moves-pushes Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 5 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/custom/remover-03-long-way.txt using method moves Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 4 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/custom/remover-03-long-way.txt using method pushes-moves Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 3 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/custom/remover-03-long-way.txt using method pushes Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 4 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/custom/remover-04-two-boxes.txt using method moves-pushes Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 20 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/custom/remover-04-two-boxes.txt using method moves Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 20 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/custom/remover-04-two-boxes.txt using method pushes-moves Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 18 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/custom/remover-04-two-boxes.txt using method pushes Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 18 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/custom/remover-original-01.txt using method pushes Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 9,198 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/696/1.txt using method moves-pushes Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 13 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/696/1.txt using method moves Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 8 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/696/1.txt using method pushes-moves Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 8 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/696/1.txt using method pushes Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 9 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/696/2.txt using method moves-pushes Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 23 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/696/2.txt using method moves Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 19 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/696/2.txt using method pushes-moves Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 15 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/696/2.txt using method pushes Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 17 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/696/3.txt using method moves-pushes Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 26 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/696/3.txt using method moves Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 26 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/696/3.txt using method pushes-moves Dec 05 15:22:59.191 INFO [stdout] Finished in approximately 26 ms Dec 05 15:22:59.191 INFO [stdout] Solving level levels/696/3.txt using method pushes Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 25 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/696/4.txt using method moves-pushes Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 32 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/696/4.txt using method moves Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 32 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/696/4.txt using method pushes-moves Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 31 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/696/4.txt using method pushes Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 30 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/696/5.txt using method moves-pushes Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 24 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/696/5.txt using method moves Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 25 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/696/5.txt using method pushes-moves Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 23 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/696/5.txt using method pushes Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 29 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/696/6.txt using method moves-pushes Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 39 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/696/6.txt using method moves Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 42 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/696/6.txt using method pushes-moves Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 48 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/696/6.txt using method pushes Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 45 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/696/7.txt using method moves-pushes Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 22 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/696/7.txt using method moves Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 19 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/696/7.txt using method pushes-moves Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 17 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/696/7.txt using method pushes Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 17 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/696/8.txt using method moves-pushes Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 39 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/696/8.txt using method moves Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 44 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/696/8.txt using method pushes-moves Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 58 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/696/8.txt using method pushes Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 39 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/696/9.txt using method moves-pushes Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 52 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/696/9.txt using method moves Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 40 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/696/9.txt using method pushes-moves Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 41 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/696/9.txt using method pushes Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 32 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/696/10.txt using method moves-pushes Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 26 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/696/10.txt using method moves Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 27 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/696/10.txt using method pushes-moves Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 29 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/696/10.txt using method pushes Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 27 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/boxxle1/1.txt using method moves-pushes Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 41 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/boxxle1/1.txt using method moves Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 37 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/boxxle1/1.txt using method pushes-moves Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 45 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/boxxle1/1.txt using method pushes Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 40 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/boxxle1/2.txt using method pushes-moves Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 922 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/boxxle1/2.txt using method pushes Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 1,347 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/boxxle1/3.txt using method moves-pushes Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 10 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/boxxle1/3.txt using method moves Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 10 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/boxxle1/3.txt using method pushes-moves Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 8 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/boxxle1/3.txt using method pushes Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 8 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/boxxle1/4.txt using method moves-pushes Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 14 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/boxxle1/4.txt using method moves Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 14 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/boxxle1/4.txt using method pushes-moves Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 10 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/boxxle1/4.txt using method pushes Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 12 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/boxxle1/5.txt using method moves-pushes Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 369 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/boxxle1/5.txt using method moves Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 368 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/boxxle1/5.txt using method pushes-moves Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 148 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/boxxle1/5.txt using method pushes Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 151 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/boxxle1/7.txt using method pushes-moves Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 216 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/boxxle1/7.txt using method pushes Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 223 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/boxxle1/8.txt using method moves-pushes Dec 05 15:22:59.192 INFO [stdout] Finished in approximately 341 ms Dec 05 15:22:59.192 INFO [stdout] Solving level levels/boxxle1/8.txt using method moves Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 418 ms Dec 05 15:22:59.193 INFO [stdout] Solving level levels/boxxle1/8.txt using method pushes-moves Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 197 ms Dec 05 15:22:59.193 INFO [stdout] Solving level levels/boxxle1/8.txt using method pushes Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 199 ms Dec 05 15:22:59.193 INFO [stdout] Solving level levels/boxxle1/10.txt using method moves-pushes Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 37 ms Dec 05 15:22:59.193 INFO [stdout] Solving level levels/boxxle1/10.txt using method moves Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 36 ms Dec 05 15:22:59.193 INFO [stdout] Solving level levels/boxxle1/10.txt using method pushes-moves Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 32 ms Dec 05 15:22:59.193 INFO [stdout] Solving level levels/boxxle1/10.txt using method pushes Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 31 ms Dec 05 15:22:59.193 INFO [stdout] Solving level levels/boxxle1/11.txt using method moves-pushes Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 74 ms Dec 05 15:22:59.193 INFO [stdout] Solving level levels/boxxle1/11.txt using method moves Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 71 ms Dec 05 15:22:59.193 INFO [stdout] Solving level levels/boxxle1/11.txt using method pushes-moves Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 73 ms Dec 05 15:22:59.193 INFO [stdout] Solving level levels/boxxle1/11.txt using method pushes Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 71 ms Dec 05 15:22:59.193 INFO [stdout] Solving level levels/boxxle1/13.txt using method moves-pushes Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 42 ms Dec 05 15:22:59.193 INFO [stdout] Solving level levels/boxxle1/13.txt using method moves Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 43 ms Dec 05 15:22:59.193 INFO [stdout] Solving level levels/boxxle1/13.txt using method pushes-moves Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 12 ms Dec 05 15:22:59.193 INFO [stdout] Solving level levels/boxxle1/13.txt using method pushes Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 17 ms Dec 05 15:22:59.193 INFO [stdout] Solving level levels/boxxle1/15.txt using method moves-pushes Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 21 ms Dec 05 15:22:59.193 INFO [stdout] Solving level levels/boxxle1/15.txt using method moves Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 21 ms Dec 05 15:22:59.193 INFO [stdout] Solving level levels/boxxle1/15.txt using method pushes-moves Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 20 ms Dec 05 15:22:59.193 INFO [stdout] Solving level levels/boxxle1/15.txt using method pushes Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 22 ms Dec 05 15:22:59.193 INFO [stdout] Solving level levels/boxxle1/19.txt using method moves-pushes Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 64 ms Dec 05 15:22:59.193 INFO [stdout] Solving level levels/boxxle1/19.txt using method moves Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 62 ms Dec 05 15:22:59.193 INFO [stdout] Solving level levels/boxxle1/19.txt using method pushes-moves Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 49 ms Dec 05 15:22:59.193 INFO [stdout] Solving level levels/boxxle1/19.txt using method pushes Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 54 ms Dec 05 15:22:59.193 INFO [stdout] Solving level levels/boxxle1/20.txt using method moves-pushes Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 108 ms Dec 05 15:22:59.193 INFO [stdout] Solving level levels/boxxle1/20.txt using method moves Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 112 ms Dec 05 15:22:59.193 INFO [stdout] Solving level levels/boxxle1/20.txt using method pushes-moves Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 107 ms Dec 05 15:22:59.193 INFO [stdout] Solving level levels/boxxle1/20.txt using method pushes Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 98 ms Dec 05 15:22:59.193 INFO [stdout] Solving level levels/boxxle2/1.txt using method moves-pushes Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 44 ms Dec 05 15:22:59.193 INFO [stdout] Solving level levels/boxxle2/1.txt using method moves Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 49 ms Dec 05 15:22:59.193 INFO [stdout] Solving level levels/boxxle2/1.txt using method pushes-moves Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 38 ms Dec 05 15:22:59.193 INFO [stdout] Solving level levels/boxxle2/1.txt using method pushes Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 44 ms Dec 05 15:22:59.193 INFO [stdout] Solving level levels/boxxle2/2.txt using method moves-pushes Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 160 ms Dec 05 15:22:59.193 INFO [stdout] Solving level levels/boxxle2/2.txt using method moves Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 187 ms Dec 05 15:22:59.193 INFO [stdout] Solving level levels/boxxle2/2.txt using method pushes-moves Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 119 ms Dec 05 15:22:59.193 INFO [stdout] Solving level levels/boxxle2/2.txt using method pushes Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 107 ms Dec 05 15:22:59.193 INFO [stdout] Solving level levels/boxxle2/3.txt using method pushes-moves Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 702 ms Dec 05 15:22:59.193 INFO [stdout] Solving level levels/boxxle2/3.txt using method pushes Dec 05 15:22:59.193 INFO [stdout] Finished in approximately 306 ms Dec 05 15:22:59.193 INFO [stdout] Tested 48 levels using on average 3.81 methods per level in 20,069 ms Dec 05 15:22:59.193 INFO [stdout] thread 'tests::test_levels' panicked at 'called `Result::unwrap()` on an `Err` value: Os { code: 30, kind: Other, message: "Read-only file system" }', src/libcore/result.rs:1009:5 Dec 05 15:22:59.193 INFO [stdout] stack backtrace: Dec 05 15:22:59.193 INFO [stdout] 0: 0x55bd1e80a6d3 - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::h3c2ada0a2db8c5e7 Dec 05 15:22:59.193 INFO [stdout] at src/libstd/sys/unix/backtrace/tracing/gcc_s.rs:49 Dec 05 15:22:59.193 INFO [stdout] 1: 0x55bd1e804d88 - std::sys_common::backtrace::_print::h95865c77318e98b7 Dec 05 15:22:59.193 INFO [stdout] at src/libstd/sys_common/backtrace.rs:71 Dec 05 15:22:59.193 INFO [stdout] 2: 0x55bd1e809642 - std::panicking::default_hook::{{closure}}::hb3d1f299fcea42e5 Dec 05 15:22:59.193 INFO [stdout] at src/libstd/sys_common/backtrace.rs:59 Dec 05 15:22:59.193 INFO [stdout] at src/libstd/panicking.rs:211 Dec 05 15:22:59.193 INFO [stdout] 3: 0x55bd1e80932c - std::panicking::default_hook::h4eae6f26f73244c8 Dec 05 15:22:59.193 INFO [stdout] at src/libstd/panicking.rs:221 Dec 05 15:22:59.193 INFO [stdout] 4: 0x55bd1e809d50 - std::panicking::rust_panic_with_hook::h368d37fd53b59464 Dec 05 15:22:59.193 INFO [stdout] at src/libstd/panicking.rs:491 Dec 05 15:22:59.193 INFO [stdout] 5: 0x55bd1e8098d1 - std::panicking::continue_panic_fmt::h1599d634b3be4304 Dec 05 15:22:59.193 INFO [stdout] at src/libstd/panicking.rs:398 Dec 05 15:22:59.193 INFO [stdout] 6: 0x55bd1e8097b5 - rust_begin_unwind Dec 05 15:22:59.193 INFO [stdout] at src/libstd/panicking.rs:325 Dec 05 15:22:59.193 INFO [stdout] 7: 0x55bd1e81d3ac - core::panicking::panic_fmt::hdc202e6077c95723 Dec 05 15:22:59.193 INFO [stdout] at src/libcore/panicking.rs:95 Dec 05 15:22:59.193 INFO [stdout] 8: 0x55bd1e73e62f - core::result::unwrap_failed::h851d93431a3a61df Dec 05 15:22:59.193 INFO [stdout] at /rustc/906deae0790bd18681b937fe9a141a3c26cf1855/src/libcore/macros.rs:26 Dec 05 15:22:59.193 INFO [stdout] 9: 0x55bd1e73aa8b - >::unwrap::hd44add1c53174490 Dec 05 15:22:59.193 INFO [stdout] at /rustc/906deae0790bd18681b937fe9a141a3c26cf1855/src/libcore/result.rs:808 Dec 05 15:22:59.193 INFO [stdout] 10: 0x55bd1e67feb3 - sokoban_solver::tests::test_and_time_levels::hcc8e23674849b4af Dec 05 15:22:59.193 INFO [stdout] at src/lib.rs:545 Dec 05 15:22:59.194 INFO [stdout] 11: 0x55bd1e68b496 - sokoban_solver::tests::test_levels::h667e308b82d46d1d Dec 05 15:22:59.194 INFO [stdout] at src/lib.rs:286 Dec 05 15:22:59.194 INFO [stdout] 12: 0x55bd1e685cc9 - sokoban_solver::tests::test_levels::{{closure}}::hd228883851bab2d1 Dec 05 15:22:59.194 INFO [stdout] at src/lib.rs:81 Dec 05 15:22:59.194 INFO [stdout] 13: 0x55bd1e69d3fd - core::ops::function::FnOnce::call_once::h70c189fad3d191b5 Dec 05 15:22:59.194 INFO [stdout] at /rustc/906deae0790bd18681b937fe9a141a3c26cf1855/src/libcore/ops/function.rs:238 Dec 05 15:22:59.194 INFO [stdout] 14: 0x55bd1e7c605e - >::call_box::h994167e0fc25f327 Dec 05 15:22:59.194 INFO [stdout] at src/libtest/lib.rs:1471 Dec 05 15:22:59.194 INFO [stdout] at /rustc/906deae0790bd18681b937fe9a141a3c26cf1855/src/libcore/ops/function.rs:238 Dec 05 15:22:59.194 INFO [stdout] at /rustc/906deae0790bd18681b937fe9a141a3c26cf1855/src/liballoc/boxed.rs:673 Dec 05 15:22:59.194 INFO [stdout] 15: 0x55bd1e8183e9 - __rust_maybe_catch_panic Dec 05 15:22:59.194 INFO [stdout] at src/libpanic_unwind/lib.rs:102 Dec 05 15:22:59.194 INFO [stdout] 16: 0x55bd1e7bdf63 - std::sys_common::backtrace::__rust_begin_short_backtrace::h5d34cfb78512c8c3 Dec 05 15:22:59.194 INFO [stdout] at /rustc/906deae0790bd18681b937fe9a141a3c26cf1855/src/libstd/panicking.rs:289 Dec 05 15:22:59.194 INFO [stdout] at /rustc/906deae0790bd18681b937fe9a141a3c26cf1855/src/libstd/panic.rs:398 Dec 05 15:22:59.194 INFO [stdout] at src/libtest/lib.rs:1426 Dec 05 15:22:59.194 INFO [stdout] at /rustc/906deae0790bd18681b937fe9a141a3c26cf1855/src/libstd/sys_common/backtrace.rs:136 Dec 05 15:22:59.194 INFO [stdout] 17: 0x55bd1e7bee84 - std::panicking::try::do_call::h7a86b6211ebb5e72 Dec 05 15:22:59.194 INFO [stdout] at /rustc/906deae0790bd18681b937fe9a141a3c26cf1855/src/libstd/thread/mod.rs:477 Dec 05 15:22:59.194 INFO [stdout] at /rustc/906deae0790bd18681b937fe9a141a3c26cf1855/src/libstd/panic.rs:319 Dec 05 15:22:59.194 INFO [stdout] at /rustc/906deae0790bd18681b937fe9a141a3c26cf1855/src/libstd/panicking.rs:310 Dec 05 15:22:59.194 INFO [stdout] 18: 0x55bd1e8183e9 - __rust_maybe_catch_panic Dec 05 15:22:59.194 INFO [stdout] at src/libpanic_unwind/lib.rs:102 Dec 05 15:22:59.194 INFO [stdout] 19: 0x55bd1e7c5f3c - >::call_box::h877dbe22cb3997f4 Dec 05 15:22:59.194 INFO [stdout] at /rustc/906deae0790bd18681b937fe9a141a3c26cf1855/src/libstd/panicking.rs:289 Dec 05 15:22:59.194 INFO [stdout] at /rustc/906deae0790bd18681b937fe9a141a3c26cf1855/src/libstd/panic.rs:398 Dec 05 15:22:59.194 INFO [stdout] at /rustc/906deae0790bd18681b937fe9a141a3c26cf1855/src/libstd/thread/mod.rs:476 Dec 05 15:22:59.194 INFO [stdout] at /rustc/906deae0790bd18681b937fe9a141a3c26cf1855/src/liballoc/boxed.rs:673 Dec 05 15:22:59.194 INFO [stdout] 20: 0x55bd1e80c3ad - std::sys::unix::thread::Thread::new::thread_start::hea5f7f9c570dc4cd Dec 05 15:22:59.194 INFO [stdout] at /rustc/906deae0790bd18681b937fe9a141a3c26cf1855/src/liballoc/boxed.rs:683 Dec 05 15:22:59.194 INFO [stdout] at src/libstd/sys_common/thread.rs:24 Dec 05 15:22:59.194 INFO [stdout] at src/libstd/sys/unix/thread.rs:90 Dec 05 15:22:59.194 INFO [stdout] 21: 0x7f7fef1636b9 - start_thread Dec 05 15:22:59.194 INFO [stdout] 22: 0x7f7feec8341c - clone Dec 05 15:22:59.194 INFO [stdout] 23: 0x0 - Dec 05 15:22:59.194 INFO [stdout] Dec 05 15:22:59.194 INFO [stdout] Dec 05 15:22:59.194 INFO [stdout] failures: Dec 05 15:22:59.194 INFO [stdout] tests::test_levels Dec 05 15:22:59.194 INFO [stdout] Dec 05 15:22:59.194 INFO [stdout] test result: FAILED. 36 passed; 1 failed; 7 ignored; 0 measured; 0 filtered out Dec 05 15:22:59.194 INFO [stdout] Dec 05 15:22:59.194 INFO [stderr] error: test failed, to rerun pass '--lib' Dec 05 15:22:59.194 INFO [stderr] su: No module specific data is present Dec 05 15:23:00.156 INFO running `"docker" "inspect" "c4d43a08c247e7fb0a8d2ccfb369bceeb76905ae9a8cba44da5a8b316664c527"` Dec 05 15:23:00.450 INFO running `"docker" "rm" "-f" "c4d43a08c247e7fb0a8d2ccfb369bceeb76905ae9a8cba44da5a8b316664c527"` Dec 05 15:23:00.664 INFO [stdout] c4d43a08c247e7fb0a8d2ccfb369bceeb76905ae9a8cba44da5a8b316664c527