Dec 05 15:20:16.407 INFO testing martin-t/sokoban-solver against try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468 for pr-56514 Dec 05 15:20:16.407 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-0/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/pr-56514/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/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 +6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-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:17.277 INFO [stdout] eae4bb8c61fba39e066bed4aa76681e865d415739643b164cbda3198c4254a5b Dec 05 15:20:17.279 INFO running `"docker" "start" "-a" "eae4bb8c61fba39e066bed4aa76681e865d415739643b164cbda3198c4254a5b"` Dec 05 15:20:18.772 INFO [stderr] usermod: no changes Dec 05 15:20:18.985 INFO [stderr] Compiling cfg-if v0.1.6 Dec 05 15:20:18.986 INFO [stderr] Compiling libc v0.2.43 Dec 05 15:20:18.988 INFO [stderr] Compiling ucd-util v0.1.3 Dec 05 15:20:19.019 INFO [stderr] Compiling lazy_static v1.2.0 Dec 05 15:20:19.021 INFO [stderr] Compiling unicode-width v0.1.5 Dec 05 15:20:19.021 INFO [stderr] Compiling byteorder v1.2.7 Dec 05 15:20:19.023 INFO [stderr] Compiling quick-error v1.2.2 Dec 05 15:20:19.023 INFO [stderr] Compiling utf8-ranges v1.0.2 Dec 05 15:20:19.597 INFO [stderr] Compiling rustc-serialize v0.3.24 Dec 05 15:20:20.332 INFO [stderr] Compiling encode_unicode v0.3.5 Dec 05 15:20:20.733 INFO [stderr] Compiling vec_map v0.8.1 Dec 05 15:20:20.868 INFO [stderr] Compiling termcolor v1.0.4 Dec 05 15:20:23.936 INFO [stderr] Compiling ansi_term v0.11.0 Dec 05 15:20:24.016 INFO [stderr] Compiling strsim v0.7.0 Dec 05 15:20:24.109 INFO [stderr] Compiling separator v0.3.1 Dec 05 15:20:30.080 INFO [stderr] Compiling typed-arena v1.4.1 Dec 05 15:20:30.080 INFO [stderr] Compiling fnv v1.0.6 Dec 05 15:20:30.142 INFO [stderr] Compiling log v0.4.6 Dec 05 15:20:31.165 INFO [stderr] Compiling textwrap v0.10.0 Dec 05 15:20:31.190 INFO [stderr] Compiling thread_local v0.3.6 Dec 05 15:20:31.332 INFO [stderr] Compiling humantime v1.1.1 Dec 05 15:20:31.469 INFO [stderr] Compiling regex-syntax v0.6.3 Dec 05 15:20:32.362 INFO [stderr] Compiling term v0.5.1 Dec 05 15:20:32.608 INFO [stderr] Compiling memchr v1.0.2 Dec 05 15:20:37.241 INFO [stderr] Compiling atty v0.2.11 Dec 05 15:20:37.596 INFO [stderr] Compiling memchr v2.1.1 Dec 05 15:20:38.560 INFO [stderr] Compiling clap v2.32.0 Dec 05 15:20:44.053 INFO [stderr] Compiling aho-corasick v0.6.9 Dec 05 15:20:50.718 INFO [stderr] Compiling csv v0.15.0 Dec 05 15:20:54.270 INFO [stderr] Compiling prettytable-rs v0.7.0 Dec 05 15:21:04.246 INFO [stderr] Compiling regex v1.0.6 Dec 05 15:21:27.574 INFO [stderr] Compiling env_logger v0.6.0 Dec 05 15:21:29.407 INFO [stderr] Compiling sokoban-solver v0.1.0 (/source) Dec 05 15:21:38.330 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1m 19s Dec 05 15:21:38.361 INFO [stderr] su: No module specific data is present Dec 05 15:21:41.614 INFO running `"docker" "inspect" "eae4bb8c61fba39e066bed4aa76681e865d415739643b164cbda3198c4254a5b"` Dec 05 15:21:41.846 INFO running `"docker" "rm" "-f" "eae4bb8c61fba39e066bed4aa76681e865d415739643b164cbda3198c4254a5b"` Dec 05 15:21:44.315 INFO [stdout] eae4bb8c61fba39e066bed4aa76681e865d415739643b164cbda3198c4254a5b Dec 05 15:21:44.322 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-0/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/pr-56514/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/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 +6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-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.620 INFO [stdout] c6e8ac253657a3c94536ff9b8ab1b085abc7876a89434c095862f4a36bb639be Dec 05 15:21:44.626 INFO running `"docker" "start" "-a" "c6e8ac253657a3c94536ff9b8ab1b085abc7876a89434c095862f4a36bb639be"` Dec 05 15:21:45.304 INFO [stderr] usermod: no changes Dec 05 15:21:45.666 INFO [stderr] Compiling escargot v0.3.1 Dec 05 15:21:45.675 INFO [stderr] Compiling encode_unicode v0.3.5 Dec 05 15:21:45.675 INFO [stderr] Compiling predicates-core v1.0.0 Dec 05 15:21:45.721 INFO [stderr] Compiling separator v0.3.1 Dec 05 15:21:45.731 INFO [stderr] Compiling log v0.4.6 Dec 05 15:21:45.734 INFO [stderr] Compiling itertools v0.7.9 Dec 05 15:21:45.737 INFO [stderr] Compiling csv v0.15.0 Dec 05 15:21:45.739 INFO [stderr] Compiling itertools-num v0.1.2 Dec 05 15:21:47.656 INFO [stderr] Compiling criterion-stats v0.2.5 Dec 05 15:21:48.152 INFO [stderr] Compiling csv-core v0.1.4 Dec 05 15:21:52.214 INFO [stderr] Compiling predicates v1.0.0 Dec 05 15:21:52.219 INFO [stderr] Compiling predicates-tree v1.0.0 Dec 05 15:21:52.221 INFO [stderr] Compiling simplelog v0.5.3 Dec 05 15:21:52.222 INFO [stderr] Compiling serde v1.0.80 Dec 05 15:21:52.265 INFO [stderr] Compiling env_logger v0.6.0 Dec 05 15:21:52.305 INFO [stderr] Compiling prettytable-rs v0.7.0 Dec 05 15:21:56.369 INFO [stderr] Compiling criterion-plot v0.2.5 Dec 05 15:22:00.506 INFO [stderr] Compiling sokoban-solver v0.1.0 (/source) Dec 05 15:22:11.836 INFO [stderr] Compiling serde_json v1.0.33 Dec 05 15:22:11.836 INFO [stderr] Compiling csv v1.0.2 Dec 05 15:22:16.684 INFO [stderr] Compiling handlebars v0.32.4 Dec 05 15:22:18.915 INFO [stderr] Compiling assert_cmd v0.10.1 Dec 05 15:22:25.339 INFO [stderr] Compiling criterion v0.2.5 Dec 05 15:22:40.139 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 54.80s Dec 05 15:22:40.149 INFO [stderr] su: No module specific data is present Dec 05 15:22:40.365 INFO running `"docker" "inspect" "c6e8ac253657a3c94536ff9b8ab1b085abc7876a89434c095862f4a36bb639be"` Dec 05 15:22:40.448 INFO running `"docker" "rm" "-f" "c6e8ac253657a3c94536ff9b8ab1b085abc7876a89434c095862f4a36bb639be"` Dec 05 15:22:40.549 INFO [stdout] c6e8ac253657a3c94536ff9b8ab1b085abc7876a89434c095862f4a36bb639be Dec 05 15:22:40.552 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-0/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/pr-56514/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/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 +6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-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:40.774 INFO [stdout] d263b95b026b1a83007f23a47ccf760e79925eb0390cb6a6fe7802b4492ad072 Dec 05 15:22:40.776 INFO running `"docker" "start" "-a" "d263b95b026b1a83007f23a47ccf760e79925eb0390cb6a6fe7802b4492ad072"` Dec 05 15:22:41.123 INFO [stderr] usermod: no changes Dec 05 15:22:41.269 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.13s Dec 05 15:22:41.286 INFO [stderr] Running /target/debug/deps/sokoban_solver-b8504c69528a6f13 Dec 05 15:22:41.290 INFO [stdout] Dec 05 15:22:41.290 INFO [stdout] running 44 tests Dec 05 15:22:41.292 INFO [stdout] test level::tests::formatting_solution ... ok Dec 05 15:22:41.292 INFO [stdout] test moves::tests::extending_and_counting ... ok Dec 05 15:22:41.292 INFO [stdout] test parser::tests::custom_fail_box_on_remover ... ok Dec 05 15:22:41.292 INFO [stdout] test parser::tests::custom_fail_empty ... ok Dec 05 15:22:41.292 INFO [stdout] test parser::tests::custom_fail_remover_and_goals ... ok Dec 05 15:22:41.292 INFO [stdout] test parser::tests::custom_fail_no_player ... ok Dec 05 15:22:41.292 INFO [stdout] test parser::tests::custom_goals ... ok Dec 05 15:22:41.292 INFO [stdout] test parser::tests::custom_player ... ok Dec 05 15:22:41.292 INFO [stdout] test parser::tests::custom_remover ... ok Dec 05 15:22:41.292 INFO [stdout] test parser::tests::xsb_corner_boxes ... ok Dec 05 15:22:41.292 INFO [stdout] test parser::tests::xsb_simplest ... ok Dec 05 15:22:41.292 INFO [stdout] test parser::tests::xsb_fail_pos ... ok Dec 05 15:22:41.300 INFO [stdout] test level::tests::formatting_level ... ok Dec 05 15:22:41.300 INFO [stdout] test solver::backtracking::tests::backtracking ... ok Dec 05 15:22:41.300 INFO [stdout] test moves::tests::formatting_moves ... ok Dec 05 15:22:41.300 INFO [stdout] test solver::preprocessing::tests::push_distances ... ignored Dec 05 15:22:41.308 INFO [stdout] test map::tests::formatting_map ... ok Dec 05 15:22:41.308 INFO [stdout] test solver::preprocessing::tests::one_box_reachability ... ok Dec 05 15:22:41.310 INFO [stdout] test solver::preprocessing::tests::closest_distances_one_goal_1 ... ok Dec 05 15:22:41.310 INFO [stdout] test parser::tests::xsb_original_1 ... ok Dec 05 15:22:41.310 INFO [stdout] test moves::tests::iterating ... ok Dec 05 15:22:41.310 INFO [stdout] test solver::tests::diff_boxes_or_goals ... ok Dec 05 15:22:41.312 INFO [stdout] test solver::tests::processing ... ok Dec 05 15:22:41.312 INFO [stdout] test solver::tests::pos_normalization ... ok Dec 05 15:22:41.312 INFO [stdout] test solver::tests::unreachable_boxes_goals ... ok Dec 05 15:22:41.317 INFO [stdout] test solver::tests::too_many ... ok Dec 05 15:22:41.317 INFO [stdout] test solver::tests::incomplete_border ... ok Dec 05 15:22:41.319 INFO [stdout] test solver::tests::expand_move2 ... ok Dec 05 15:22:41.319 INFO [stdout] test tests::bench_boxxle1_001 ... ignored Dec 05 15:22:41.319 INFO [stdout] test tests::bench_boxxle1_001_moves ... ignored Dec 05 15:22:41.319 INFO [stdout] test tests::bench_boxxle1_005 ... ignored Dec 05 15:22:41.319 INFO [stdout] test tests::bench_boxxle1_018 ... ignored Dec 05 15:22:41.319 INFO [stdout] test tests::bench_boxxle1_108 ... ignored Dec 05 15:22:41.324 INFO [stdout] test solver::tests::unreachable_goals ... ok Dec 05 15:22:41.324 INFO [stdout] test tests::test_more_levels ... ignored Dec 05 15:22:41.324 INFO [stdout] test solver::tests::unreachable_remover ... ok Dec 05 15:22:41.324 INFO [stdout] test solver::tests::unreachable_boxes_remover ... ok Dec 05 15:22:41.326 INFO [stdout] test solver::preprocessing::tests::closest_distances_one_goal_2 ... ok Dec 05 15:22:41.327 INFO [stdout] test solver::tests::expand_move1 ... ok Dec 05 15:22:41.328 INFO [stdout] test vec2d::tests::formatting_vec2d ... ok Dec 05 15:22:41.328 INFO [stdout] test vec2d::tests::positions ... ok Dec 05 15:22:41.336 INFO [stdout] test solver::tests::expand_push1 ... ok Dec 05 15:22:41.353 INFO [stdout] test solver::preprocessing::tests::closest_distances_many_goals ... ok Dec 05 15:23:01.558 INFO [stdout] test tests::test_levels ... FAILED Dec 05 15:23:01.558 INFO [stdout] Dec 05 15:23:01.558 INFO [stdout] failures: Dec 05 15:23:01.560 INFO [stdout] Dec 05 15:23:01.560 INFO [stdout] ---- tests::test_levels stdout ---- Dec 05 15:23:01.560 INFO [stdout] Solving level levels/custom/00-empty.txt using method moves-pushes Dec 05 15:23:01.560 INFO [stdout] Finished in approximately 0 ms Dec 05 15:23:01.560 INFO [stdout] Solving level levels/custom/00-empty.txt using method moves Dec 05 15:23:01.560 INFO [stdout] Finished in approximately 0 ms Dec 05 15:23:01.560 INFO [stdout] Solving level levels/custom/00-empty.txt using method pushes-moves Dec 05 15:23:01.560 INFO [stdout] Finished in approximately 0 ms Dec 05 15:23:01.560 INFO [stdout] Solving level levels/custom/00-empty.txt using method pushes Dec 05 15:23:01.560 INFO [stdout] Finished in approximately 0 ms Dec 05 15:23:01.560 INFO [stdout] Solving level levels/custom/00-solved.txt using method moves-pushes Dec 05 15:23:01.560 INFO [stdout] Finished in approximately 1 ms Dec 05 15:23:01.560 INFO [stdout] Solving level levels/custom/00-solved.txt using method moves Dec 05 15:23:01.560 INFO [stdout] Finished in approximately 6 ms Dec 05 15:23:01.560 INFO [stdout] Solving level levels/custom/00-solved.txt using method pushes-moves Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 2 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/00-solved.txt using method pushes Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 1 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/01-simplest-custom.txt using method moves-pushes Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 0 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/01-simplest-custom.txt using method moves Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 0 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/01-simplest-custom.txt using method pushes-moves Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 0 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/01-simplest-custom.txt using method pushes Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 0 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/01-simplest-xsb.txt using method moves-pushes Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 3 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/01-simplest-xsb.txt using method moves Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 0 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/01-simplest-xsb.txt using method pushes-moves Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 0 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/01-simplest-xsb.txt using method pushes Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 0 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/02-one-way-xsb.txt using method moves-pushes Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 0 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/02-one-way-xsb.txt using method moves Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 0 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/02-one-way-xsb.txt using method pushes-moves Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 0 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/02-one-way-xsb.txt using method pushes Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 0 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/02-one-way.txt using method moves-pushes Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 0 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/02-one-way.txt using method moves Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 0 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/02-one-way.txt using method pushes-moves Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 0 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/02-one-way.txt using method pushes Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 2 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/03-long-way.txt using method moves-pushes Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 4 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/03-long-way.txt using method moves Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 4 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/03-long-way.txt using method pushes-moves Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 4 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/03-long-way.txt using method pushes Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 6 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/03-two-ways.txt using method moves-pushes Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 1 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/03-two-ways.txt using method moves Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 1 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/03-two-ways.txt using method pushes-moves Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 1 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/03-two-ways.txt using method pushes Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 1 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/04-two-boxes-no-packing.txt using method moves-pushes Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 2 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/04-two-boxes-no-packing.txt using method moves Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 2 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/04-two-boxes-no-packing.txt using method pushes-moves Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 2 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/04-two-boxes-no-packing.txt using method pushes Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 3 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/04-two-boxes.txt using method moves-pushes Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 22 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/04-two-boxes.txt using method moves Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 20 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/04-two-boxes.txt using method pushes-moves Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 21 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/04-two-boxes.txt using method pushes Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 27 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/05-same-moves-diff-pushes.txt using method moves-pushes Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 29 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/05-same-moves-diff-pushes.txt using method moves Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 25 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/05-same-moves-diff-pushes.txt using method pushes-moves Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 19 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/05-same-moves-diff-pushes.txt using method pushes Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 20 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/05-same-pushes-diff-moves.txt using method moves-pushes Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 1 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/05-same-pushes-diff-moves.txt using method moves Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 1 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/05-same-pushes-diff-moves.txt using method pushes-moves Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 1 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/05-same-pushes-diff-moves.txt using method pushes Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 1 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/deadlock-cell-on-dead-end.txt using method moves-pushes Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 184 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/deadlock-cell-on-dead-end.txt using method moves Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 189 ms Dec 05 15:23:01.561 INFO [stdout] Solving level levels/custom/deadlock-cell-on-dead-end.txt using method pushes-moves Dec 05 15:23:01.561 INFO [stdout] Finished in approximately 201 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/custom/deadlock-cell-on-dead-end.txt using method pushes Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 191 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/custom/no-solution-parking.txt using method moves-pushes Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 5 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/custom/no-solution-parking.txt using method moves Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 5 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/custom/no-solution-parking.txt using method pushes-moves Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 5 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/custom/no-solution-parking.txt using method pushes Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 5 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/custom/remover-00-solved.txt using method moves-pushes Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 2 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/custom/remover-00-solved.txt using method moves Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 2 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/custom/remover-00-solved.txt using method pushes-moves Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 2 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/custom/remover-00-solved.txt using method pushes Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 2 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/custom/remover-01-simplest-custom.txt using method moves-pushes Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 0 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/custom/remover-01-simplest-custom.txt using method moves Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 0 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/custom/remover-01-simplest-custom.txt using method pushes-moves Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 0 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/custom/remover-01-simplest-custom.txt using method pushes Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 0 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/custom/remover-01-simplest-xsb.txt using method moves-pushes Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 0 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/custom/remover-01-simplest-xsb.txt using method moves Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 0 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/custom/remover-01-simplest-xsb.txt using method pushes-moves Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 0 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/custom/remover-01-simplest-xsb.txt using method pushes Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 0 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/custom/remover-02-one-way-xsb.txt using method moves-pushes Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 0 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/custom/remover-02-one-way-xsb.txt using method moves Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 0 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/custom/remover-02-one-way-xsb.txt using method pushes-moves Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 0 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/custom/remover-02-one-way-xsb.txt using method pushes Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 1 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/custom/remover-02-one-way.txt using method moves-pushes Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 0 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/custom/remover-02-one-way.txt using method moves Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 0 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/custom/remover-02-one-way.txt using method pushes-moves Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 0 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/custom/remover-02-one-way.txt using method pushes Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 0 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/custom/remover-03-long-way.txt using method moves-pushes Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 8 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/custom/remover-03-long-way.txt using method moves Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 4 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/custom/remover-03-long-way.txt using method pushes-moves Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 11 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/custom/remover-03-long-way.txt using method pushes Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 8 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/custom/remover-04-two-boxes.txt using method moves-pushes Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 25 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/custom/remover-04-two-boxes.txt using method moves Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 24 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/custom/remover-04-two-boxes.txt using method pushes-moves Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 22 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/custom/remover-04-two-boxes.txt using method pushes Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 22 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/custom/remover-original-01.txt using method pushes Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 9,587 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/696/1.txt using method moves-pushes Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 9 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/696/1.txt using method moves Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 8 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/696/1.txt using method pushes-moves Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 9 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/696/1.txt using method pushes Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 10 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/696/2.txt using method moves-pushes Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 16 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/696/2.txt using method moves Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 16 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/696/2.txt using method pushes-moves Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 15 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/696/2.txt using method pushes Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 18 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/696/3.txt using method moves-pushes Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 25 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/696/3.txt using method moves Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 25 ms Dec 05 15:23:01.562 INFO [stdout] Solving level levels/696/3.txt using method pushes-moves Dec 05 15:23:01.562 INFO [stdout] Finished in approximately 25 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/696/3.txt using method pushes Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 26 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/696/4.txt using method moves-pushes Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 31 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/696/4.txt using method moves Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 32 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/696/4.txt using method pushes-moves Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 44 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/696/4.txt using method pushes Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 30 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/696/5.txt using method moves-pushes Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 27 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/696/5.txt using method moves Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 24 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/696/5.txt using method pushes-moves Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 22 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/696/5.txt using method pushes Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 27 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/696/6.txt using method moves-pushes Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 38 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/696/6.txt using method moves Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 37 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/696/6.txt using method pushes-moves Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 39 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/696/6.txt using method pushes Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 37 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/696/7.txt using method moves-pushes Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 19 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/696/7.txt using method moves Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 19 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/696/7.txt using method pushes-moves Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 16 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/696/7.txt using method pushes Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 17 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/696/8.txt using method moves-pushes Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 41 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/696/8.txt using method moves Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 39 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/696/8.txt using method pushes-moves Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 35 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/696/8.txt using method pushes Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 42 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/696/9.txt using method moves-pushes Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 44 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/696/9.txt using method moves Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 35 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/696/9.txt using method pushes-moves Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 34 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/696/9.txt using method pushes Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 31 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/696/10.txt using method moves-pushes Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 27 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/696/10.txt using method moves Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 31 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/696/10.txt using method pushes-moves Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 25 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/696/10.txt using method pushes Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 23 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/boxxle1/1.txt using method moves-pushes Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 37 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/boxxle1/1.txt using method moves Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 36 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/boxxle1/1.txt using method pushes-moves Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 31 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/boxxle1/1.txt using method pushes Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 38 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/boxxle1/2.txt using method pushes-moves Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 864 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/boxxle1/2.txt using method pushes Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 1,322 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/boxxle1/3.txt using method moves-pushes Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 10 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/boxxle1/3.txt using method moves Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 10 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/boxxle1/3.txt using method pushes-moves Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 9 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/boxxle1/3.txt using method pushes Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 13 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/boxxle1/4.txt using method moves-pushes Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 13 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/boxxle1/4.txt using method moves Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 19 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/boxxle1/4.txt using method pushes-moves Dec 05 15:23:01.563 INFO [stdout] Finished in approximately 10 ms Dec 05 15:23:01.563 INFO [stdout] Solving level levels/boxxle1/4.txt using method pushes Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 12 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle1/5.txt using method moves-pushes Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 377 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle1/5.txt using method moves Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 377 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle1/5.txt using method pushes-moves Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 132 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle1/5.txt using method pushes Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 149 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle1/7.txt using method pushes-moves Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 229 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle1/7.txt using method pushes Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 226 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle1/8.txt using method moves-pushes Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 389 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle1/8.txt using method moves Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 392 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle1/8.txt using method pushes-moves Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 209 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle1/8.txt using method pushes Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 209 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle1/10.txt using method moves-pushes Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 45 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle1/10.txt using method moves Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 40 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle1/10.txt using method pushes-moves Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 85 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle1/10.txt using method pushes Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 36 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle1/11.txt using method moves-pushes Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 78 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle1/11.txt using method moves Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 79 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle1/11.txt using method pushes-moves Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 76 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle1/11.txt using method pushes Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 70 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle1/13.txt using method moves-pushes Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 41 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle1/13.txt using method moves Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 53 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle1/13.txt using method pushes-moves Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 13 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle1/13.txt using method pushes Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 17 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle1/15.txt using method moves-pushes Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 21 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle1/15.txt using method moves Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 21 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle1/15.txt using method pushes-moves Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 21 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle1/15.txt using method pushes Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 22 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle1/19.txt using method moves-pushes Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 62 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle1/19.txt using method moves Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 70 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle1/19.txt using method pushes-moves Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 46 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle1/19.txt using method pushes Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 46 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle1/20.txt using method moves-pushes Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 103 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle1/20.txt using method moves Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 121 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle1/20.txt using method pushes-moves Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 90 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle1/20.txt using method pushes Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 93 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle2/1.txt using method moves-pushes Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 42 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle2/1.txt using method moves Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 41 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle2/1.txt using method pushes-moves Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 32 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle2/1.txt using method pushes Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 37 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle2/2.txt using method moves-pushes Dec 05 15:23:01.564 INFO [stdout] Finished in approximately 141 ms Dec 05 15:23:01.564 INFO [stdout] Solving level levels/boxxle2/2.txt using method moves Dec 05 15:23:01.565 INFO [stdout] Finished in approximately 136 ms Dec 05 15:23:01.565 INFO [stdout] Solving level levels/boxxle2/2.txt using method pushes-moves Dec 05 15:23:01.565 INFO [stdout] Finished in approximately 77 ms Dec 05 15:23:01.565 INFO [stdout] Solving level levels/boxxle2/2.txt using method pushes Dec 05 15:23:01.565 INFO [stdout] Finished in approximately 73 ms Dec 05 15:23:01.565 INFO [stdout] Solving level levels/boxxle2/3.txt using method pushes-moves Dec 05 15:23:01.565 INFO [stdout] Finished in approximately 579 ms Dec 05 15:23:01.565 INFO [stdout] Solving level levels/boxxle2/3.txt using method pushes Dec 05 15:23:01.565 INFO [stdout] Finished in approximately 294 ms Dec 05 15:23:01.565 INFO [stdout] Tested 48 levels using on average 3.81 methods per level in 20,164 ms Dec 05 15:23:01.565 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:23:01.565 INFO [stdout] stack backtrace: Dec 05 15:23:01.565 INFO [stdout] 0: 0x5594e0de5a13 - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::h82c998a0e635a5c4 Dec 05 15:23:01.565 INFO [stdout] at src/libstd/sys/unix/backtrace/tracing/gcc_s.rs:49 Dec 05 15:23:01.565 INFO [stdout] 1: 0x5594e0de00c8 - std::sys_common::backtrace::_print::h5fbc0bc3cf12d9bf Dec 05 15:23:01.565 INFO [stdout] at src/libstd/sys_common/backtrace.rs:71 Dec 05 15:23:01.565 INFO [stdout] 2: 0x5594e0de4982 - std::panicking::default_hook::{{closure}}::h42b81c3dd1a50e32 Dec 05 15:23:01.565 INFO [stdout] at src/libstd/sys_common/backtrace.rs:59 Dec 05 15:23:01.565 INFO [stdout] at src/libstd/panicking.rs:211 Dec 05 15:23:01.565 INFO [stdout] 3: 0x5594e0de466c - std::panicking::default_hook::h6c8d8e1c12a669e5 Dec 05 15:23:01.565 INFO [stdout] at src/libstd/panicking.rs:221 Dec 05 15:23:01.565 INFO [stdout] 4: 0x5594e0de5090 - std::panicking::rust_panic_with_hook::hce93a56e38c2b0aa Dec 05 15:23:01.565 INFO [stdout] at src/libstd/panicking.rs:491 Dec 05 15:23:01.565 INFO [stdout] 5: 0x5594e0de4c11 - std::panicking::continue_panic_fmt::hf3c774aec6124caa Dec 05 15:23:01.565 INFO [stdout] at src/libstd/panicking.rs:398 Dec 05 15:23:01.565 INFO [stdout] 6: 0x5594e0de4af5 - rust_begin_unwind Dec 05 15:23:01.565 INFO [stdout] at src/libstd/panicking.rs:325 Dec 05 15:23:01.565 INFO [stdout] 7: 0x5594e0df86ec - core::panicking::panic_fmt::haf17319257746a90 Dec 05 15:23:01.565 INFO [stdout] at src/libcore/panicking.rs:95 Dec 05 15:23:01.565 INFO [stdout] 8: 0x5594e0d19acf - core::result::unwrap_failed::hf99319d5b61f63fd Dec 05 15:23:01.565 INFO [stdout] at /rustc/6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468/src/libcore/macros.rs:26 Dec 05 15:23:01.565 INFO [stdout] 9: 0x5594e0d1553b - >::unwrap::h699c479ac3d042a9 Dec 05 15:23:01.565 INFO [stdout] at /rustc/6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468/src/libcore/result.rs:808 Dec 05 15:23:01.565 INFO [stdout] 10: 0x5594e0c5ade3 - sokoban_solver::tests::test_and_time_levels::hee3d862b3a2e3c0d Dec 05 15:23:01.565 INFO [stdout] at src/lib.rs:545 Dec 05 15:23:01.565 INFO [stdout] 11: 0x5594e0c663c6 - sokoban_solver::tests::test_levels::h25d683c023d7ae40 Dec 05 15:23:01.565 INFO [stdout] at src/lib.rs:286 Dec 05 15:23:01.565 INFO [stdout] 12: 0x5594e0c60bf9 - sokoban_solver::tests::test_levels::{{closure}}::h9af0ad9e2ffad72d Dec 05 15:23:01.565 INFO [stdout] at src/lib.rs:81 Dec 05 15:23:01.565 INFO [stdout] 13: 0x5594e0c789ed - core::ops::function::FnOnce::call_once::hff8079cb296112ee Dec 05 15:23:01.565 INFO [stdout] at /rustc/6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468/src/libcore/ops/function.rs:238 Dec 05 15:23:01.565 INFO [stdout] 14: 0x5594e0da13ce - >::call_box::h9ed1658cdce7f33f Dec 05 15:23:01.565 INFO [stdout] at src/libtest/lib.rs:1471 Dec 05 15:23:01.565 INFO [stdout] at /rustc/6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468/src/libcore/ops/function.rs:238 Dec 05 15:23:01.565 INFO [stdout] at /rustc/6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468/src/liballoc/boxed.rs:673 Dec 05 15:23:01.565 INFO [stdout] 15: 0x5594e0df3729 - __rust_maybe_catch_panic Dec 05 15:23:01.565 INFO [stdout] at src/libpanic_unwind/lib.rs:102 Dec 05 15:23:01.565 INFO [stdout] 16: 0x5594e0d992a3 - std::sys_common::backtrace::__rust_begin_short_backtrace::h018d03d6681412f5 Dec 05 15:23:01.565 INFO [stdout] at /rustc/6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468/src/libstd/panicking.rs:289 Dec 05 15:23:01.565 INFO [stdout] at /rustc/6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468/src/libstd/panic.rs:398 Dec 05 15:23:01.565 INFO [stdout] at src/libtest/lib.rs:1426 Dec 05 15:23:01.565 INFO [stdout] at /rustc/6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468/src/libstd/sys_common/backtrace.rs:136 Dec 05 15:23:01.565 INFO [stdout] 17: 0x5594e0d9a234 - std::panicking::try::do_call::hf8ab3f21dcfaa7a6 Dec 05 15:23:01.565 INFO [stdout] at /rustc/6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468/src/libstd/thread/mod.rs:477 Dec 05 15:23:01.565 INFO [stdout] at /rustc/6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468/src/libstd/panic.rs:319 Dec 05 15:23:01.565 INFO [stdout] at /rustc/6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468/src/libstd/panicking.rs:310 Dec 05 15:23:01.565 INFO [stdout] 18: 0x5594e0df3729 - __rust_maybe_catch_panic Dec 05 15:23:01.565 INFO [stdout] at src/libpanic_unwind/lib.rs:102 Dec 05 15:23:01.565 INFO [stdout] 19: 0x5594e0da12ac - >::call_box::h6465cc998309e287 Dec 05 15:23:01.565 INFO [stdout] at /rustc/6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468/src/libstd/panicking.rs:289 Dec 05 15:23:01.565 INFO [stdout] at /rustc/6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468/src/libstd/panic.rs:398 Dec 05 15:23:01.565 INFO [stdout] at /rustc/6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468/src/libstd/thread/mod.rs:476 Dec 05 15:23:01.565 INFO [stdout] at /rustc/6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468/src/liballoc/boxed.rs:673 Dec 05 15:23:01.565 INFO [stdout] 20: 0x5594e0de76ed - std::sys::unix::thread::Thread::new::thread_start::h0fe9c527147fd5f5 Dec 05 15:23:01.565 INFO [stdout] at /rustc/6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468/src/liballoc/boxed.rs:683 Dec 05 15:23:01.565 INFO [stdout] at src/libstd/sys_common/thread.rs:24 Dec 05 15:23:01.565 INFO [stdout] at src/libstd/sys/unix/thread.rs:90 Dec 05 15:23:01.565 INFO [stdout] 21: 0x7f21b5a7a6b9 - start_thread Dec 05 15:23:01.565 INFO [stdout] 22: 0x7f21b559a41c - clone Dec 05 15:23:01.565 INFO [stdout] 23: 0x0 - Dec 05 15:23:01.565 INFO [stdout] Dec 05 15:23:01.565 INFO [stdout] Dec 05 15:23:01.565 INFO [stdout] failures: Dec 05 15:23:01.565 INFO [stdout] tests::test_levels Dec 05 15:23:01.565 INFO [stdout] Dec 05 15:23:01.565 INFO [stdout] test result: FAILED. 36 passed; 1 failed; 7 ignored; 0 measured; 0 filtered out Dec 05 15:23:01.565 INFO [stdout] Dec 05 15:23:01.568 INFO [stderr] error: test failed, to rerun pass '--lib' Dec 05 15:23:01.572 INFO [stderr] su: No module specific data is present Dec 05 15:23:02.873 INFO running `"docker" "inspect" "d263b95b026b1a83007f23a47ccf760e79925eb0390cb6a6fe7802b4492ad072"` Dec 05 15:23:03.210 INFO running `"docker" "rm" "-f" "d263b95b026b1a83007f23a47ccf760e79925eb0390cb6a6fe7802b4492ad072"` Dec 05 15:23:03.580 INFO [stdout] d263b95b026b1a83007f23a47ccf760e79925eb0390cb6a6fe7802b4492ad072