Dec 13 11:34:52.311 INFO testing martin-t/sokoban-solver against try#aa49d8ef14939ddec0e34b346b60174a5673d48f for pr-56550 Dec 13 11:34:52.311 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-0/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/pr-56550/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/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 +aa49d8ef14939ddec0e34b346b60174a5673d48f-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 13 11:34:53.336 INFO [stdout] 3a6e849b9453015e2e4d7c64c4e6a0077239bcc3bfd75e37ae0e6d0e98b8c91e Dec 13 11:34:53.338 INFO running `"docker" "start" "-a" "3a6e849b9453015e2e4d7c64c4e6a0077239bcc3bfd75e37ae0e6d0e98b8c91e"` Dec 13 11:34:55.092 INFO [stderr] usermod: no changes Dec 13 11:34:55.270 INFO [stderr] Compiling cfg-if v0.1.6 Dec 13 11:34:55.270 INFO [stderr] Compiling lazy_static v1.2.0 Dec 13 11:34:55.275 INFO [stderr] Compiling ucd-util v0.1.3 Dec 13 11:34:55.343 INFO [stderr] Compiling utf8-ranges v1.0.2 Dec 13 11:34:55.343 INFO [stderr] Compiling byteorder v1.2.7 Dec 13 11:34:55.343 INFO [stderr] Compiling rustc-serialize v0.3.24 Dec 13 11:34:55.343 INFO [stderr] Compiling vec_map v0.8.1 Dec 13 11:34:55.343 INFO [stderr] Compiling strsim v0.7.0 Dec 13 11:34:56.051 INFO [stderr] Compiling termcolor v1.0.4 Dec 13 11:34:56.979 INFO [stderr] Compiling ansi_term v0.11.0 Dec 13 11:35:01.074 INFO [stderr] Compiling encode_unicode v0.3.5 Dec 13 11:35:01.775 INFO [stderr] Compiling separator v0.3.1 Dec 13 11:35:01.775 INFO [stderr] Compiling typed-arena v1.4.1 Dec 13 11:35:01.801 INFO [stderr] Compiling memchr v1.0.2 Dec 13 11:35:01.801 INFO [stderr] Compiling textwrap v0.10.0 Dec 13 11:35:01.879 INFO [stderr] Compiling log v0.4.6 Dec 13 11:35:01.963 INFO [stderr] Compiling thread_local v0.3.6 Dec 13 11:35:03.927 INFO [stderr] Compiling regex-syntax v0.6.3 Dec 13 11:35:06.700 INFO [stderr] Compiling term v0.5.1 Dec 13 11:35:07.184 INFO [stderr] Compiling memchr v2.1.1 Dec 13 11:35:07.283 INFO [stderr] Compiling clap v2.32.0 Dec 13 11:35:12.475 INFO [stderr] Compiling aho-corasick v0.6.9 Dec 13 11:35:21.864 INFO [stderr] Compiling csv v0.15.0 Dec 13 11:35:25.503 INFO [stderr] Compiling prettytable-rs v0.7.0 Dec 13 11:35:36.079 INFO [stderr] Compiling regex v1.0.6 Dec 13 11:35:54.517 INFO [stderr] Compiling env_logger v0.6.0 Dec 13 11:35:56.763 INFO [stderr] Compiling sokoban-solver v0.1.0 (/source) Dec 13 11:36:06.572 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1m 11s Dec 13 11:36:06.583 INFO [stderr] su: No module specific data is present Dec 13 11:36:07.989 INFO running `"docker" "inspect" "3a6e849b9453015e2e4d7c64c4e6a0077239bcc3bfd75e37ae0e6d0e98b8c91e"` Dec 13 11:36:08.335 INFO running `"docker" "rm" "-f" "3a6e849b9453015e2e4d7c64c4e6a0077239bcc3bfd75e37ae0e6d0e98b8c91e"` Dec 13 11:36:08.771 INFO [stdout] 3a6e849b9453015e2e4d7c64c4e6a0077239bcc3bfd75e37ae0e6d0e98b8c91e Dec 13 11:36:08.773 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-0/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/pr-56550/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/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 +aa49d8ef14939ddec0e34b346b60174a5673d48f-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 13 11:36:09.156 INFO [stdout] 30ad837ac812a6ca042ad94f34de9c4c97afefc2ab7a349ffb66624d2011643d Dec 13 11:36:09.160 INFO running `"docker" "start" "-a" "30ad837ac812a6ca042ad94f34de9c4c97afefc2ab7a349ffb66624d2011643d"` Dec 13 11:36:10.522 INFO [stderr] usermod: no changes Dec 13 11:36:10.879 INFO [stderr] Compiling separator v0.3.1 Dec 13 11:36:10.891 INFO [stderr] Compiling log v0.4.6 Dec 13 11:36:10.891 INFO [stderr] Compiling itertools v0.7.9 Dec 13 11:36:10.891 INFO [stderr] Compiling csv v0.15.0 Dec 13 11:36:10.891 INFO [stderr] Compiling itertools-num v0.1.2 Dec 13 11:36:10.891 INFO [stderr] Compiling criterion-stats v0.2.5 Dec 13 11:36:10.891 INFO [stderr] Compiling serde_derive v1.0.80 Dec 13 11:36:14.324 INFO [stderr] Compiling env_logger v0.6.0 Dec 13 11:36:14.324 INFO [stderr] Compiling simplelog v0.5.3 Dec 13 11:36:17.511 INFO [stderr] Compiling prettytable-rs v0.7.0 Dec 13 11:36:23.765 INFO [stderr] Compiling criterion-plot v0.2.5 Dec 13 11:36:24.559 INFO [stderr] Compiling sokoban-solver v0.1.0 (/source) Dec 13 11:36:40.079 INFO [stderr] Compiling serde v1.0.80 Dec 13 11:36:50.601 INFO [stderr] Compiling serde_json v1.0.33 Dec 13 11:36:50.601 INFO [stderr] Compiling csv v1.0.2 Dec 13 11:36:55.898 INFO [stderr] Compiling handlebars v0.32.4 Dec 13 11:36:55.898 INFO [stderr] Compiling escargot v0.3.1 Dec 13 11:36:57.875 INFO [stderr] Compiling assert_cmd v0.10.1 Dec 13 11:37:03.667 INFO [stderr] Compiling criterion v0.2.5 Dec 13 11:37:16.643 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1m 06s Dec 13 11:37:16.660 INFO [stderr] su: No module specific data is present Dec 13 11:37:16.909 INFO running `"docker" "inspect" "30ad837ac812a6ca042ad94f34de9c4c97afefc2ab7a349ffb66624d2011643d"` Dec 13 11:37:16.974 INFO running `"docker" "rm" "-f" "30ad837ac812a6ca042ad94f34de9c4c97afefc2ab7a349ffb66624d2011643d"` Dec 13 11:37:17.049 INFO [stdout] 30ad837ac812a6ca042ad94f34de9c4c97afefc2ab7a349ffb66624d2011643d Dec 13 11:37:17.050 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-0/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/pr-56550/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/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 +aa49d8ef14939ddec0e34b346b60174a5673d48f-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 13 11:37:17.193 INFO [stdout] 9885a98a9f2a625d7b033f3c76f459aef5cdc497cd5274fd24435405cdb7415e Dec 13 11:37:17.195 INFO running `"docker" "start" "-a" "9885a98a9f2a625d7b033f3c76f459aef5cdc497cd5274fd24435405cdb7415e"` Dec 13 11:37:17.694 INFO [stderr] usermod: no changes Dec 13 11:37:17.815 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.11s Dec 13 11:37:17.831 INFO [stderr] Running /target/debug/deps/sokoban_solver-9acf6374125bcd80 Dec 13 11:37:17.834 INFO [stdout] Dec 13 11:37:17.834 INFO [stdout] running 44 tests Dec 13 11:37:17.835 INFO [stdout] test moves::tests::extending_and_counting ... ok Dec 13 11:37:17.835 INFO [stdout] test moves::tests::formatting_moves ... ok Dec 13 11:37:17.835 INFO [stdout] test moves::tests::iterating ... ok Dec 13 11:37:17.835 INFO [stdout] test parser::tests::custom_fail_empty ... ok Dec 13 11:37:17.836 INFO [stdout] test parser::tests::custom_fail_box_on_remover ... ok Dec 13 11:37:17.837 INFO [stdout] test parser::tests::custom_fail_remover_and_goals ... ok Dec 13 11:37:17.837 INFO [stdout] test map::tests::formatting_map ... ok Dec 13 11:37:17.837 INFO [stdout] test level::tests::formatting_level ... ok Dec 13 11:37:17.837 INFO [stdout] test parser::tests::custom_fail_no_player ... ok Dec 13 11:37:17.837 INFO [stdout] test parser::tests::custom_goals ... ok Dec 13 11:37:17.837 INFO [stdout] test parser::tests::custom_player ... ok Dec 13 11:37:17.837 INFO [stdout] test level::tests::formatting_solution ... ok Dec 13 11:37:17.837 INFO [stdout] test parser::tests::custom_remover ... ok Dec 13 11:37:17.837 INFO [stdout] test parser::tests::xsb_corner_boxes ... ok Dec 13 11:37:17.837 INFO [stdout] test parser::tests::xsb_fail_pos ... ok Dec 13 11:37:17.837 INFO [stdout] test solver::preprocessing::tests::push_distances ... ignored Dec 13 11:37:17.837 INFO [stdout] test parser::tests::xsb_original_1 ... ok Dec 13 11:37:17.837 INFO [stdout] test parser::tests::xsb_simplest ... ok Dec 13 11:37:17.839 INFO [stdout] test solver::backtracking::tests::backtracking ... ok Dec 13 11:37:17.841 INFO [stdout] test solver::preprocessing::tests::closest_distances_one_goal_1 ... ok Dec 13 11:37:17.848 INFO [stdout] test solver::tests::incomplete_border ... ok Dec 13 11:37:17.848 INFO [stdout] test solver::preprocessing::tests::closest_distances_one_goal_2 ... ok Dec 13 11:37:17.848 INFO [stdout] test solver::tests::diff_boxes_or_goals ... ok Dec 13 11:37:17.848 INFO [stdout] test solver::tests::expand_push1 ... ok Dec 13 11:37:17.848 INFO [stdout] test solver::preprocessing::tests::one_box_reachability ... ok Dec 13 11:37:17.848 INFO [stdout] test solver::tests::expand_move1 ... ok Dec 13 11:37:17.848 INFO [stdout] test solver::tests::pos_normalization ... ok Dec 13 11:37:17.848 INFO [stdout] test solver::tests::unreachable_boxes_goals ... ok Dec 13 11:37:17.848 INFO [stdout] test tests::bench_boxxle1_001 ... ignored Dec 13 11:37:17.848 INFO [stdout] test tests::bench_boxxle1_001_moves ... ignored Dec 13 11:37:17.848 INFO [stdout] test tests::bench_boxxle1_005 ... ignored Dec 13 11:37:17.848 INFO [stdout] test tests::bench_boxxle1_018 ... ignored Dec 13 11:37:17.848 INFO [stdout] test tests::bench_boxxle1_108 ... ignored Dec 13 11:37:17.848 INFO [stdout] test solver::tests::unreachable_boxes_remover ... ok Dec 13 11:37:17.848 INFO [stdout] test tests::test_more_levels ... ignored Dec 13 11:37:17.848 INFO [stdout] test solver::tests::unreachable_remover ... ok Dec 13 11:37:17.848 INFO [stdout] test solver::tests::unreachable_goals ... ok Dec 13 11:37:17.848 INFO [stdout] test solver::tests::expand_move2 ... ok Dec 13 11:37:17.849 INFO [stdout] test solver::tests::processing ... ok Dec 13 11:37:17.851 INFO [stdout] test vec2d::tests::formatting_vec2d ... ok Dec 13 11:37:17.851 INFO [stdout] test vec2d::tests::positions ... ok Dec 13 11:37:17.856 INFO [stdout] test solver::tests::too_many ... ok Dec 13 11:37:17.860 INFO [stdout] test solver::preprocessing::tests::closest_distances_many_goals ... ok Dec 13 11:37:37.236 INFO [stdout] test tests::test_levels ... FAILED Dec 13 11:37:37.236 INFO [stdout] Dec 13 11:37:37.236 INFO [stdout] failures: Dec 13 11:37:37.236 INFO [stdout] Dec 13 11:37:37.236 INFO [stdout] ---- tests::test_levels stdout ---- Dec 13 11:37:37.236 INFO [stdout] Solving level levels/custom/00-empty.txt using method moves-pushes Dec 13 11:37:37.236 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.236 INFO [stdout] Solving level levels/custom/00-empty.txt using method moves Dec 13 11:37:37.236 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.236 INFO [stdout] Solving level levels/custom/00-empty.txt using method pushes-moves Dec 13 11:37:37.236 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.236 INFO [stdout] Solving level levels/custom/00-empty.txt using method pushes Dec 13 11:37:37.236 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.236 INFO [stdout] Solving level levels/custom/00-solved.txt using method moves-pushes Dec 13 11:37:37.236 INFO [stdout] Finished in approximately 2 ms Dec 13 11:37:37.236 INFO [stdout] Solving level levels/custom/00-solved.txt using method moves Dec 13 11:37:37.236 INFO [stdout] Finished in approximately 2 ms Dec 13 11:37:37.236 INFO [stdout] Solving level levels/custom/00-solved.txt using method pushes-moves Dec 13 11:37:37.236 INFO [stdout] Finished in approximately 2 ms Dec 13 11:37:37.236 INFO [stdout] Solving level levels/custom/00-solved.txt using method pushes Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 2 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/01-simplest-custom.txt using method moves-pushes Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/01-simplest-custom.txt using method moves Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/01-simplest-custom.txt using method pushes-moves Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/01-simplest-custom.txt using method pushes Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/01-simplest-xsb.txt using method moves-pushes Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/01-simplest-xsb.txt using method moves Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/01-simplest-xsb.txt using method pushes-moves Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/01-simplest-xsb.txt using method pushes Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/02-one-way-xsb.txt using method moves-pushes Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/02-one-way-xsb.txt using method moves Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 2 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/02-one-way-xsb.txt using method pushes-moves Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/02-one-way-xsb.txt using method pushes Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/02-one-way.txt using method moves-pushes Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/02-one-way.txt using method moves Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/02-one-way.txt using method pushes-moves Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/02-one-way.txt using method pushes Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/03-long-way.txt using method moves-pushes Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 3 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/03-long-way.txt using method moves Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 3 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/03-long-way.txt using method pushes-moves Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 4 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/03-long-way.txt using method pushes Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 4 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/03-two-ways.txt using method moves-pushes Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/03-two-ways.txt using method moves Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/03-two-ways.txt using method pushes-moves Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 1 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/03-two-ways.txt using method pushes Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/04-two-boxes-no-packing.txt using method moves-pushes Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 2 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/04-two-boxes-no-packing.txt using method moves Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 2 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/04-two-boxes-no-packing.txt using method pushes-moves Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 2 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/04-two-boxes-no-packing.txt using method pushes Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 2 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/04-two-boxes.txt using method moves-pushes Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 20 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/04-two-boxes.txt using method moves Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 23 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/04-two-boxes.txt using method pushes-moves Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 22 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/04-two-boxes.txt using method pushes Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 24 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/05-same-moves-diff-pushes.txt using method moves-pushes Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 27 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/05-same-moves-diff-pushes.txt using method moves Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 28 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/05-same-moves-diff-pushes.txt using method pushes-moves Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 20 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/05-same-moves-diff-pushes.txt using method pushes Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 23 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/05-same-pushes-diff-moves.txt using method moves-pushes Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 1 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/05-same-pushes-diff-moves.txt using method moves Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 1 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/05-same-pushes-diff-moves.txt using method pushes-moves Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 1 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/05-same-pushes-diff-moves.txt using method pushes Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 1 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/deadlock-cell-on-dead-end.txt using method moves-pushes Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 179 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/deadlock-cell-on-dead-end.txt using method moves Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 201 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/deadlock-cell-on-dead-end.txt using method pushes-moves Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 203 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/deadlock-cell-on-dead-end.txt using method pushes Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 197 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/no-solution-parking.txt using method moves-pushes Dec 13 11:37:37.237 INFO [stdout] Finished in approximately 4 ms Dec 13 11:37:37.237 INFO [stdout] Solving level levels/custom/no-solution-parking.txt using method moves Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 4 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/custom/no-solution-parking.txt using method pushes-moves Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 5 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/custom/no-solution-parking.txt using method pushes Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 5 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/custom/remover-00-solved.txt using method moves-pushes Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 2 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/custom/remover-00-solved.txt using method moves Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 2 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/custom/remover-00-solved.txt using method pushes-moves Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 2 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/custom/remover-00-solved.txt using method pushes Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 2 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/custom/remover-01-simplest-custom.txt using method moves-pushes Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/custom/remover-01-simplest-custom.txt using method moves Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/custom/remover-01-simplest-custom.txt using method pushes-moves Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/custom/remover-01-simplest-custom.txt using method pushes Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/custom/remover-01-simplest-xsb.txt using method moves-pushes Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/custom/remover-01-simplest-xsb.txt using method moves Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/custom/remover-01-simplest-xsb.txt using method pushes-moves Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/custom/remover-01-simplest-xsb.txt using method pushes Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/custom/remover-02-one-way-xsb.txt using method moves-pushes Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/custom/remover-02-one-way-xsb.txt using method moves Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/custom/remover-02-one-way-xsb.txt using method pushes-moves Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/custom/remover-02-one-way-xsb.txt using method pushes Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/custom/remover-02-one-way.txt using method moves-pushes Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/custom/remover-02-one-way.txt using method moves Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/custom/remover-02-one-way.txt using method pushes-moves Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/custom/remover-02-one-way.txt using method pushes Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/custom/remover-03-long-way.txt using method moves-pushes Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 4 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/custom/remover-03-long-way.txt using method moves Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 4 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/custom/remover-03-long-way.txt using method pushes-moves Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 8 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/custom/remover-03-long-way.txt using method pushes Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 4 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/custom/remover-04-two-boxes.txt using method moves-pushes Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 24 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/custom/remover-04-two-boxes.txt using method moves Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 23 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/custom/remover-04-two-boxes.txt using method pushes-moves Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 21 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/custom/remover-04-two-boxes.txt using method pushes Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 22 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/custom/remover-original-01.txt using method pushes Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 8,963 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/696/1.txt using method moves-pushes Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 9 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/696/1.txt using method moves Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 9 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/696/1.txt using method pushes-moves Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 9 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/696/1.txt using method pushes Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 10 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/696/2.txt using method moves-pushes Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 16 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/696/2.txt using method moves Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 16 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/696/2.txt using method pushes-moves Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 16 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/696/2.txt using method pushes Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 17 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/696/3.txt using method moves-pushes Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 27 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/696/3.txt using method moves Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 27 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/696/3.txt using method pushes-moves Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 27 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/696/3.txt using method pushes Dec 13 11:37:37.238 INFO [stdout] Finished in approximately 26 ms Dec 13 11:37:37.238 INFO [stdout] Solving level levels/696/4.txt using method moves-pushes Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 34 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/696/4.txt using method moves Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 33 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/696/4.txt using method pushes-moves Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 32 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/696/4.txt using method pushes Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 32 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/696/5.txt using method moves-pushes Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 26 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/696/5.txt using method moves Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 26 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/696/5.txt using method pushes-moves Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 25 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/696/5.txt using method pushes Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 28 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/696/6.txt using method moves-pushes Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 41 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/696/6.txt using method moves Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 40 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/696/6.txt using method pushes-moves Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 41 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/696/6.txt using method pushes Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 39 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/696/7.txt using method moves-pushes Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 20 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/696/7.txt using method moves Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 20 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/696/7.txt using method pushes-moves Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 17 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/696/7.txt using method pushes Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 18 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/696/8.txt using method moves-pushes Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 42 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/696/8.txt using method moves Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 42 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/696/8.txt using method pushes-moves Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 38 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/696/8.txt using method pushes Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 37 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/696/9.txt using method moves-pushes Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 39 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/696/9.txt using method moves Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 38 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/696/9.txt using method pushes-moves Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 36 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/696/9.txt using method pushes Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 33 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/696/10.txt using method moves-pushes Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 29 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/696/10.txt using method moves Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 29 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/696/10.txt using method pushes-moves Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 23 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/696/10.txt using method pushes Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 25 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/boxxle1/1.txt using method moves-pushes Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 39 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/boxxle1/1.txt using method moves Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 43 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/boxxle1/1.txt using method pushes-moves Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 33 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/boxxle1/1.txt using method pushes Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 40 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/boxxle1/2.txt using method pushes-moves Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 893 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/boxxle1/2.txt using method pushes Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 1,227 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/boxxle1/3.txt using method moves-pushes Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 9 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/boxxle1/3.txt using method moves Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 10 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/boxxle1/3.txt using method pushes-moves Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 7 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/boxxle1/3.txt using method pushes Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 8 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/boxxle1/4.txt using method moves-pushes Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 13 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/boxxle1/4.txt using method moves Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 13 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/boxxle1/4.txt using method pushes-moves Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 9 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/boxxle1/4.txt using method pushes Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 11 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/boxxle1/5.txt using method moves-pushes Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 370 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/boxxle1/5.txt using method moves Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 421 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/boxxle1/5.txt using method pushes-moves Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 129 ms Dec 13 11:37:37.239 INFO [stdout] Solving level levels/boxxle1/5.txt using method pushes Dec 13 11:37:37.239 INFO [stdout] Finished in approximately 138 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle1/7.txt using method pushes-moves Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 200 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle1/7.txt using method pushes Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 234 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle1/8.txt using method moves-pushes Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 385 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle1/8.txt using method moves Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 415 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle1/8.txt using method pushes-moves Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 197 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle1/8.txt using method pushes Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 178 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle1/10.txt using method moves-pushes Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 32 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle1/10.txt using method moves Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 32 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle1/10.txt using method pushes-moves Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 32 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle1/10.txt using method pushes Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 32 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle1/11.txt using method moves-pushes Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 75 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle1/11.txt using method moves Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 73 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle1/11.txt using method pushes-moves Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 70 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle1/11.txt using method pushes Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 69 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle1/13.txt using method moves-pushes Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 42 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle1/13.txt using method moves Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 43 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle1/13.txt using method pushes-moves Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 12 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle1/13.txt using method pushes Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 17 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle1/15.txt using method moves-pushes Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 21 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle1/15.txt using method moves Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 21 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle1/15.txt using method pushes-moves Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 21 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle1/15.txt using method pushes Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 21 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle1/19.txt using method moves-pushes Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 66 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle1/19.txt using method moves Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 66 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle1/19.txt using method pushes-moves Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 48 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle1/19.txt using method pushes Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 47 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle1/20.txt using method moves-pushes Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 106 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle1/20.txt using method moves Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 104 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle1/20.txt using method pushes-moves Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 82 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle1/20.txt using method pushes Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 85 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle2/1.txt using method moves-pushes Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 36 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle2/1.txt using method moves Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 38 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle2/1.txt using method pushes-moves Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 31 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle2/1.txt using method pushes Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 37 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle2/2.txt using method moves-pushes Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 135 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle2/2.txt using method moves Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 135 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle2/2.txt using method pushes-moves Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 73 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle2/2.txt using method pushes Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 80 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle2/3.txt using method pushes-moves Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 575 ms Dec 13 11:37:37.240 INFO [stdout] Solving level levels/boxxle2/3.txt using method pushes Dec 13 11:37:37.240 INFO [stdout] Finished in approximately 310 ms Dec 13 11:37:37.240 INFO [stdout] Tested 48 levels using on average 3.81 methods per level in 19,321 ms Dec 13 11:37:37.240 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 13 11:37:37.240 INFO [stdout] stack backtrace: Dec 13 11:37:37.240 INFO [stdout] 0: 0x55e70ae021a3 - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::h2c40bdfb30f25bdd Dec 13 11:37:37.240 INFO [stdout] at src/libstd/sys/unix/backtrace/tracing/gcc_s.rs:49 Dec 13 11:37:37.240 INFO [stdout] 1: 0x55e70adfc938 - std::sys_common::backtrace::_print::he11ceebc70626ac9 Dec 13 11:37:37.240 INFO [stdout] at src/libstd/sys_common/backtrace.rs:71 Dec 13 11:37:37.240 INFO [stdout] 2: 0x55e70ae01112 - std::panicking::default_hook::{{closure}}::h4fde3ffb19c01413 Dec 13 11:37:37.240 INFO [stdout] at src/libstd/sys_common/backtrace.rs:59 Dec 13 11:37:37.240 INFO [stdout] at src/libstd/panicking.rs:210 Dec 13 11:37:37.240 INFO [stdout] 3: 0x55e70ae00e07 - std::panicking::default_hook::hf0c15a583008ed0d Dec 13 11:37:37.240 INFO [stdout] at src/libstd/panicking.rs:218 Dec 13 11:37:37.241 INFO [stdout] 4: 0x55e70ae01820 - std::panicking::rust_panic_with_hook::hc1663f6bc7813185 Dec 13 11:37:37.241 INFO [stdout] at src/libstd/panicking.rs:487 Dec 13 11:37:37.241 INFO [stdout] 5: 0x55e70ae013a1 - std::panicking::continue_panic_fmt::h42bc2d03ddf03b3e Dec 13 11:37:37.241 INFO [stdout] at src/libstd/panicking.rs:394 Dec 13 11:37:37.241 INFO [stdout] 6: 0x55e70ae01285 - rust_begin_unwind Dec 13 11:37:37.241 INFO [stdout] at src/libstd/panicking.rs:321 Dec 13 11:37:37.241 INFO [stdout] 7: 0x55e70ae14e7c - core::panicking::panic_fmt::h44df04385fc0c5a6 Dec 13 11:37:37.241 INFO [stdout] at src/libcore/panicking.rs:95 Dec 13 11:37:37.241 INFO [stdout] 8: 0x55e70ad36a2f - core::result::unwrap_failed::h7240febed5996dbe Dec 13 11:37:37.241 INFO [stdout] at /rustc/aa49d8ef14939ddec0e34b346b60174a5673d48f/src/libcore/macros.rs:26 Dec 13 11:37:37.241 INFO [stdout] 9: 0x55e70ad32adb - >::unwrap::h8b5b4f010abd4025 Dec 13 11:37:37.241 INFO [stdout] at /rustc/aa49d8ef14939ddec0e34b346b60174a5673d48f/src/libcore/result.rs:808 Dec 13 11:37:37.241 INFO [stdout] 10: 0x55e70ac70c43 - sokoban_solver::tests::test_and_time_levels::hb544641d06b281c7 Dec 13 11:37:37.241 INFO [stdout] at src/lib.rs:545 Dec 13 11:37:37.241 INFO [stdout] 11: 0x55e70ac838c6 - sokoban_solver::tests::test_levels::h84658132b4ecb231 Dec 13 11:37:37.241 INFO [stdout] at src/lib.rs:286 Dec 13 11:37:37.241 INFO [stdout] 12: 0x55e70ac7e0f9 - sokoban_solver::tests::test_levels::{{closure}}::hcdc1a7d305b7ca35 Dec 13 11:37:37.241 INFO [stdout] at src/lib.rs:81 Dec 13 11:37:37.241 INFO [stdout] 13: 0x55e70ac95b4d - core::ops::function::FnOnce::call_once::hb678fa9762c45b30 Dec 13 11:37:37.241 INFO [stdout] at /rustc/aa49d8ef14939ddec0e34b346b60174a5673d48f/src/libcore/ops/function.rs:238 Dec 13 11:37:37.241 INFO [stdout] 14: 0x55e70adbd25e - >::call_box::hac337ba1af72dc2b Dec 13 11:37:37.241 INFO [stdout] at src/libtest/lib.rs:1483 Dec 13 11:37:37.241 INFO [stdout] at /rustc/aa49d8ef14939ddec0e34b346b60174a5673d48f/src/libcore/ops/function.rs:238 Dec 13 11:37:37.241 INFO [stdout] at /rustc/aa49d8ef14939ddec0e34b346b60174a5673d48f/src/liballoc/boxed.rs:673 Dec 13 11:37:37.241 INFO [stdout] 15: 0x55e70ae0feb9 - __rust_maybe_catch_panic Dec 13 11:37:37.241 INFO [stdout] at src/libpanic_unwind/lib.rs:102 Dec 13 11:37:37.241 INFO [stdout] 16: 0x55e70addac07 - test::run_test::run_test_inner::{{closure}}::hfbfe4a58c0ebb01b Dec 13 11:37:37.241 INFO [stdout] at /rustc/aa49d8ef14939ddec0e34b346b60174a5673d48f/src/libstd/panicking.rs:285 Dec 13 11:37:37.241 INFO [stdout] at /rustc/aa49d8ef14939ddec0e34b346b60174a5673d48f/src/libstd/panic.rs:398 Dec 13 11:37:37.241 INFO [stdout] at src/libtest/lib.rs:1438 Dec 13 11:37:37.241 INFO [stdout] 17: 0x55e70adb5974 - std::sys_common::backtrace::__rust_begin_short_backtrace::hd1f0cf202092f8d7 Dec 13 11:37:37.241 INFO [stdout] at /rustc/aa49d8ef14939ddec0e34b346b60174a5673d48f/src/libstd/sys_common/backtrace.rs:136 Dec 13 11:37:37.241 INFO [stdout] 18: 0x55e70adb5f64 - std::panicking::try::do_call::h5e99f92fbf448cf6 Dec 13 11:37:37.241 INFO [stdout] at /rustc/aa49d8ef14939ddec0e34b346b60174a5673d48f/src/libstd/thread/mod.rs:479 Dec 13 11:37:37.241 INFO [stdout] at /rustc/aa49d8ef14939ddec0e34b346b60174a5673d48f/src/libstd/panic.rs:319 Dec 13 11:37:37.241 INFO [stdout] at /rustc/aa49d8ef14939ddec0e34b346b60174a5673d48f/src/libstd/panicking.rs:306 Dec 13 11:37:37.241 INFO [stdout] 19: 0x55e70ae0feb9 - __rust_maybe_catch_panic Dec 13 11:37:37.241 INFO [stdout] at src/libpanic_unwind/lib.rs:102 Dec 13 11:37:37.241 INFO [stdout] 20: 0x55e70adbd13c - >::call_box::h8ae063aff93ccdb6 Dec 13 11:37:37.241 INFO [stdout] at /rustc/aa49d8ef14939ddec0e34b346b60174a5673d48f/src/libstd/panicking.rs:285 Dec 13 11:37:37.241 INFO [stdout] at /rustc/aa49d8ef14939ddec0e34b346b60174a5673d48f/src/libstd/panic.rs:398 Dec 13 11:37:37.241 INFO [stdout] at /rustc/aa49d8ef14939ddec0e34b346b60174a5673d48f/src/libstd/thread/mod.rs:478 Dec 13 11:37:37.241 INFO [stdout] at /rustc/aa49d8ef14939ddec0e34b346b60174a5673d48f/src/liballoc/boxed.rs:673 Dec 13 11:37:37.241 INFO [stdout] 21: 0x55e70ae03e7d - std::sys::unix::thread::Thread::new::thread_start::h42c32b292fdd228f Dec 13 11:37:37.241 INFO [stdout] at /rustc/aa49d8ef14939ddec0e34b346b60174a5673d48f/src/liballoc/boxed.rs:683 Dec 13 11:37:37.241 INFO [stdout] at src/libstd/sys_common/thread.rs:24 Dec 13 11:37:37.241 INFO [stdout] at src/libstd/sys/unix/thread.rs:91 Dec 13 11:37:37.241 INFO [stdout] 22: 0x7f28d42b46b9 - start_thread Dec 13 11:37:37.241 INFO [stdout] 23: 0x7f28d3dd441c - clone Dec 13 11:37:37.241 INFO [stdout] 24: 0x0 - Dec 13 11:37:37.241 INFO [stdout] Dec 13 11:37:37.241 INFO [stdout] Dec 13 11:37:37.241 INFO [stdout] failures: Dec 13 11:37:37.241 INFO [stdout] tests::test_levels Dec 13 11:37:37.241 INFO [stdout] Dec 13 11:37:37.241 INFO [stdout] test result: FAILED. 36 passed; 1 failed; 7 ignored; 0 measured; 0 filtered out Dec 13 11:37:37.241 INFO [stdout] Dec 13 11:37:37.241 INFO [stderr] error: test failed, to rerun pass '--lib' Dec 13 11:37:37.241 INFO [stderr] su: No module specific data is present Dec 13 11:37:37.900 INFO running `"docker" "inspect" "9885a98a9f2a625d7b033f3c76f459aef5cdc497cd5274fd24435405cdb7415e"` Dec 13 11:37:38.129 INFO running `"docker" "rm" "-f" "9885a98a9f2a625d7b033f3c76f459aef5cdc497cd5274fd24435405cdb7415e"` Dec 13 11:37:38.423 INFO [stdout] 9885a98a9f2a625d7b033f3c76f459aef5cdc497cd5274fd24435405cdb7415e