[INFO] cloning repository https://github.com/menezesd/CDCL-Rust
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/menezesd/CDCL-Rust" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmenezesd%2FCDCL-Rust", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmenezesd%2FCDCL-Rust'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 0a13c26f11b91cd1b3d5027b52fed9080a21d440
[INFO] testing menezesd/CDCL-Rust against try#33835004928d3bf65db4d4712e1330766263b0bd for pr-155739
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmenezesd%2FCDCL-Rust" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/menezesd/CDCL-Rust
[INFO] finished tweaking git repo https://github.com/menezesd/CDCL-Rust
[INFO] tweaked toml for git repo https://github.com/menezesd/CDCL-Rust written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/menezesd/CDCL-Rust on toolchain 33835004928d3bf65db4d4712e1330766263b0bd
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/menezesd/CDCL-Rust already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] c49f7a6b849492191a0d666ffd203d3698328755249574aa2560de2b266040e8
[INFO] running `Command { std: "docker" "start" "-a" "c49f7a6b849492191a0d666ffd203d3698328755249574aa2560de2b266040e8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c49f7a6b849492191a0d666ffd203d3698328755249574aa2560de2b266040e8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c49f7a6b849492191a0d666ffd203d3698328755249574aa2560de2b266040e8", kill_on_drop: false }`
[INFO] [stdout] c49f7a6b849492191a0d666ffd203d3698328755249574aa2560de2b266040e8
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] d46a5b9b1d1e8d61b9213c4f449732f5184ff593296f6b4c4a896e3ee92664e1
[INFO] running `Command { std: "docker" "start" "-a" "d46a5b9b1d1e8d61b9213c4f449732f5184ff593296f6b4c4a896e3ee92664e1", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.178
[INFO] [stderr]    Compiling zerocopy v0.8.31
[INFO] [stderr]    Compiling getrandom v0.2.17
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling cdcl_sat v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 8.36s
[INFO] running `Command { std: "docker" "inspect" "d46a5b9b1d1e8d61b9213c4f449732f5184ff593296f6b4c4a896e3ee92664e1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d46a5b9b1d1e8d61b9213c4f449732f5184ff593296f6b4c4a896e3ee92664e1", kill_on_drop: false }`
[INFO] [stdout] d46a5b9b1d1e8d61b9213c4f449732f5184ff593296f6b4c4a896e3ee92664e1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 7aaa45104a12afa1c1540b8d854170a50da8275613258b4c2f36de7268f8ee1e
[INFO] running `Command { std: "docker" "start" "-a" "7aaa45104a12afa1c1540b8d854170a50da8275613258b4c2f36de7268f8ee1e", kill_on_drop: false }`
[INFO] [stderr]    Compiling getrandom v0.2.17
[INFO] [stderr]    Compiling rustix v1.1.3
[INFO] [stderr]    Compiling linux-raw-sys v0.11.0
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling fastrand v2.3.0
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling fnv v1.0.7
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling regex-syntax v0.8.8
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling rand_core v0.9.3
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling cdcl_sat v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling tempfile v3.24.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling proptest v1.9.0
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 20.35s
[INFO] running `Command { std: "docker" "inspect" "7aaa45104a12afa1c1540b8d854170a50da8275613258b4c2f36de7268f8ee1e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7aaa45104a12afa1c1540b8d854170a50da8275613258b4c2f36de7268f8ee1e", kill_on_drop: false }`
[INFO] [stdout] 7aaa45104a12afa1c1540b8d854170a50da8275613258b4c2f36de7268f8ee1e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 0a206ee971c0bede4ffed1dcdf4f51d793654de0651f53d455e1a47c3d332c07
[INFO] running `Command { std: "docker" "start" "-a" "0a206ee971c0bede4ffed1dcdf4f51d793654de0651f53d455e1a47c3d332c07", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.10s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/cdcl_sat-57afa30581dbd0d0)
[INFO] [stdout] 
[INFO] [stdout] running 99 tests
[INFO] [stdout] test cnf::tests::test_extract_clause_literals ... ok
[INFO] [stdout] test cnf::tests::test_extract_cnf_clauses ... ok
[INFO] [stdout] test cnf::tests::test_is_clause_and_not_clause ... ok
[INFO] [stdout] test cnf::tests::test_is_clause_double_negation_not_clause ... ok
[INFO] [stdout] test cnf::tests::test_is_clause_negated_var ... ok
[INFO] [stdout] test cnf::tests::test_is_clause_or_of_literals ... ok
[INFO] [stdout] test cnf::tests::test_is_clause_single_var ... ok
[INFO] [stdout] test cnf::tests::test_is_cnf_and_of_clauses ... ok
[INFO] [stdout] test cnf::tests::test_is_cnf_single_clause ... ok
[INFO] [stdout] test cnf::tests::test_is_cnf_nested_and ... ok
[INFO] [stdout] test expr::tests::test_expr_to_string ... ok
[INFO] [stdout] test expr::tests::test_find_max_var ... ok
[INFO] [stdout] test cnf::tests::test_is_clause_nested_or ... ok
[INFO] [stdout] test integration_tests::test_all_operators_combined ... ok
[INFO] [stdout] test integration_tests::test_chain_implication_sat ... ok
[INFO] [stdout] test integration_tests::test_chain_implication_unsat ... ok
[INFO] [stdout] test integration_tests::test_cnf_direct_extraction ... ok
[INFO] [stdout] test integration_tests::test_ex1_single_var ... ok
[INFO] [stdout] test cnf::tests::test_is_cnf_impl_not_cnf ... ok
[INFO] [stdout] test integration_tests::test_equiv_chain_unsat ... ok
[INFO] [stdout] test integration_tests::test_solve_error_display ... ok
[INFO] [stdout] test integration_tests::test_equiv_chain_sat ... ok
[INFO] [stdout] test integration_tests::test_unsat_3_clauses ... ok
[INFO] [stdout] test integration_tests::test_equiv_sat ... ok
[INFO] [stdout] test integration_tests::test_solve_error_from_parse_error ... ok
[INFO] [stdout] test literal::tests::test_literal_equality ... ok
[INFO] [stdout] test integration_tests::test_ex2_contradiction ... ok
[INFO] [stdout] test integration_tests::test_solve_error_source ... ok
[INFO] [stdout] test integration_tests::test_parse_error_handling ... ok
[INFO] [stdout] test literal::tests::test_clause_creation ... ok
[INFO] [stdout] test literal::tests::test_positive_literal ... ok
[INFO] [stdout] test integration_tests::test_tautology_sat ... ok
[INFO] [stdout] test literal::tests::test_negative_literal ... ok
[INFO] [stdout] test integration_tests::test_solve_error_from_solver_error ... ok
[INFO] [stdout] test literal::tests::test_unit_clause ... ok
[INFO] [stdout] test parser::tests::test_parse_and ... ok
[INFO] [stdout] test parser::tests::test_parse_equiv ... ok
[INFO] [stdout] test parser::tests::test_parse_deeply_nested ... ok
[INFO] [stdout] test integration_tests::test_ex3_nested_or ... ok
[INFO] [stdout] test integration_tests::test_larger_cnf ... ok
[INFO] [stdout] test integration_tests::test_impl_sat ... ok
[INFO] [stdout] test parser::tests::test_parse_error_invalid_variable ... ok
[INFO] [stdout] test parser::tests::test_parse_error_unexpected_token ... ok
[INFO] [stdout] test parser::tests::test_parse_error_unknown_operator ... ok
[INFO] [stdout] test parser::tests::test_parse_impl ... ok
[INFO] [stdout] test parser::tests::test_parse_large_variable_number ... ok
[INFO] [stdout] test parser::tests::test_parse_nested ... ok
[INFO] [stdout] test parser::tests::test_parse_not ... ok
[INFO] [stdout] test parser::tests::test_parse_or ... ok
[INFO] [stdout] test parser::tests::test_parse_whitespace_handling ... ok
[INFO] [stdout] test parser::tests::test_parse_variable_with_parens ... ok
[INFO] [stdout] test solver::tests::test_activity_decay ... ok
[INFO] [stdout] test solver::tests::test_all_negative_clause ... ok
[INFO] [stdout] test solver::tests::test_binary_clauses_unsat ... ok
[INFO] [stdout] test solver::tests::test_binary_clauses_sat ... ok
[INFO] [stdout] test solver::tests::test_contradiction_unsat ... ok
[INFO] [stdout] test solver::tests::test_duplicate_clauses ... ok
[INFO] [stdout] test solver::tests::test_empty_clause_set ... ok
[INFO] [stdout] test parser::tests::test_parse_single_variable ... ok
[INFO] [stdout] test solver::tests::test_get_value_unassigned ... ok
[INFO] [stdout] test solver::tests::test_get_value_out_of_bounds ... ok
[INFO] [stdout] test solver::tests::test_horn_clauses_sat ... ok
[INFO] [stdout] test solver::tests::test_get_model ... ok
[INFO] [stdout] test solver::tests::test_long_implication_chain ... ok
[INFO] [stdout] test solver::tests::test_luby_powers_of_two ... ok
[INFO] [stdout] test solver::tests::test_long_implication_chain_unsat ... ok
[INFO] [stdout] test solver::tests::test_luby_sequence_values ... ok
[INFO] [stdout] test solver::tests::test_many_variables_sparse ... ok
[INFO] [stdout] test solver::tests::test_multiple_backtrack_levels ... ok
[INFO] [stdout] test solver::tests::test_multiple_unit_clauses_consistent ... ok
[INFO] [stdout] test solver::tests::test_large_variable_numbers ... ok
[INFO] [stdout] test solver::tests::test_multiple_unit_clauses_conflict ... ok
[INFO] [stdout] test solver::tests::test_pigeonhole_2_1 ... ok
[INFO] [stdout] test solver::tests::test_restart_initialization ... ok
[INFO] [stdout] test solver::tests::test_should_restart ... ok
[INFO] [stdout] test solver::tests::test_single_negative_unit_clause ... ok
[INFO] [stdout] test solver::tests::test_mixed_polarity_unit_propagation ... ok
[INFO] [stdout] test solver::tests::test_conflict_learning ... ok
[INFO] [stdout] test solver::tests::test_single_unit_clause ... ok
[INFO] [stdout] test solver::tests::test_phase_saving_initialization ... ok
[INFO] [stdout] test solver::tests::test_phase_saving_updates ... ok
[INFO] [stdout] test solver::tests::test_pigeonhole_3_2 ... ok
[INFO] [stdout] test solver::tests::test_three_literal_clauses ... ok
[INFO] [stdout] test solver::tests::test_solver_error_display ... ok
[INFO] [stdout] test solver::tests::test_unit_propagation ... ok
[INFO] [stdout] test solver::tests::test_initial_conflict_detection ... ok
[INFO] [stdout] test test_helpers::tests::test_solve_formula_sat ... ok
[INFO] [stdout] test solver::tests::test_watched_literal_maintenance ... ok
[INFO] [stdout] test solver::tests::test_simple_sat ... ok
[INFO] [stdout] test test_helpers::tests::test_solve_formula_unsat ... ok
[INFO] [stdout] test solver::tests::test_restart_updates_schedule ... ok
[INFO] [stdout] test solver::tests::test_single_variable_sat ... ok
[INFO] [stdout] test tseitin::tests::test_tseitin_equiv ... ok
[INFO] [stdout] test tseitin::tests::test_tseitin_into_clauses_adds_unit ... ok
[INFO] [stdout] test tseitin::tests::test_tseitin_not ... ok
[INFO] [stdout] test tseitin::tests::test_tseitin_or ... ok
[INFO] [stdout] test tseitin::tests::test_tseitin_impl ... ok
[INFO] [stdout] test tseitin::tests::test_tseitin_single_var ... ok
[INFO] [stdout] test tseitin::tests::test_tseitin_and ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 99 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/cdcl_sat-9af0dc9ddbe19806)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/cryptarithmetic.rs (/opt/rustwide/target/debug/deps/cryptarithmetic-1b7601eae84a58a0)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/dimacs_sat.rs (/opt/rustwide/target/debug/deps/dimacs_sat-8c7bd6dd0e8b7a67)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test tests::test_contradictory_unit_clauses ... ok
[INFO] [stdout] test tests::test_3sat_instance ... ok
[INFO] [stdout] test tests::test_simple_sat ... ok
[INFO] [stdout] test tests::test_simple_unsat ... ok
[INFO] [stderr]      Running unittests src/bin/exact_cover.rs (/opt/rustwide/target/debug/deps/exact_cover-1c21b204197c7952)
[INFO] [stdout] test tests::test_unit_propagation ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/graph_coloring.rs (/opt/rustwide/target/debug/deps/graph_coloring-bee40e8c87f604e5)
[INFO] [stdout] running 5 tests
[INFO] [stdout] test tests::test_multiple_options ... ok
[INFO] [stdout] test tests::test_no_valid_cover ... ok
[INFO] [stdout] test tests::test_pentomino_style ... ok
[INFO] [stdout] test tests::test_simple_exact_cover ... ok
[INFO] [stdout] test tests::test_overlapping_no_solution ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test tests::test_bipartite_2_colors ... ok
[INFO] [stdout] test tests::test_k4_needs_4_colors ... ok
[INFO] [stdout] test tests::test_triangle_2_colors ... ok
[INFO] [stdout] test tests::test_triangle_3_colors ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/hamiltonian.rs (/opt/rustwide/target/debug/deps/hamiltonian-48f96de24b9975c8)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stderr]      Running unittests src/bin/lights_out.rs (/opt/rustwide/target/debug/deps/lights_out-b9326d67b054348c)
[INFO] [stdout] test tests::test_disconnected ... ok
[INFO] [stdout] test tests::test_path_graph ... ok
[INFO] [stdout] test tests::test_complete_k4 ... ok
[INFO] [stdout] test tests::test_triangle_cycle ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test tests::test_2x2_center_pattern ... ok
[INFO] [stdout] test tests::test_single_light ... ok
[INFO] [stdout] test tests::test_all_off ... ok
[INFO] [stdout] test tests::test_xor_encoding ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/magic_square.rs (/opt/rustwide/target/debug/deps/magic_square-9adacaffc78dba12)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/minesweeper.rs (/opt/rustwide/target/debug/deps/minesweeper-8258521578439984)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test tests::test_corner_with_1 ... ok
[INFO] [stdout] test tests::test_encode_exactly_1_of_3 ... ok
[INFO] [stdout] test tests::test_simple_minesweeper ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/nonogram_solver.rs (/opt/rustwide/target/debug/deps/nonogram_solver-a741e0753c1f14d9)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test tests::test_generate_patterns_empty ... ok
[INFO] [stdout] test tests::test_generate_patterns_full ... ok
[INFO] [stdout] test tests::test_generate_patterns_simple ... ok
[INFO] [stdout] test tests::test_simple_nonogram ... ok
[INFO] [stdout] test tests::test_generate_patterns_two_runs ... ok
[INFO] [stdout] test tests::test_generate_patterns_impossible ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/nqueens_solver.rs (/opt/rustwide/target/debug/deps/nqueens_solver-b4e1ede4b9954073)
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test tests::test_2_queens_unsolvable ... ok
[INFO] [stdout] test tests::test_3_queens_unsolvable ... ok
[INFO] [stdout] test tests::test_4_queens_solvable ... ok
[INFO] [stdout] test tests::test_var_encoding ... ok
[INFO] [stdout] test tests::test_count_4_queens ... ok
[INFO] [stdout] test tests::test_8_queens_solvable ... ok
[INFO] [stdout] test tests::test_count_5_queens ... ok
[INFO] [stdout] test tests::test_1_queen_solvable ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.11s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/sudoku_generator.rs (/opt/rustwide/target/debug/deps/sudoku_generator-aa6ab5009a559e95)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test tests::test_var_decode_roundtrip ... ok
[INFO] [stdout] test tests::test_generate_complete_grid ... ok
[INFO] [stderr]      Running unittests src/bin/sudoku_solver.rs (/opt/rustwide/target/debug/deps/sudoku_solver-afbf13e878c144db)
[INFO] [stdout] test tests::test_unique_solution_check ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.08s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test tests::test_parse_puzzle_with_dots ... ok
[INFO] [stdout] test tests::test_var_encoding ... ok
[INFO] [stdout] test tests::test_var_decode_roundtrip ... ok
[INFO] [stdout] test tests::test_parse_puzzle ... ok
[INFO] [stdout] test tests::test_clause_count ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/external_tests.rs (/opt/rustwide/target/debug/deps/external_tests-4abb1b8ff20eb39b)
[INFO] [stdout] 
[INFO] [stdout] running 53 tests
[INFO] [stdout] test test_sample_ex1_sat ... ok
[INFO] [stdout] test test_sample_ex2_unsat ... ok
[INFO] [stdout] test test_sample_ex3_sat ... ok
[INFO] [stdout] test test_sample_ex5_sat ... ok
[INFO] [stdout] test test_sample_ex4_sat ... ok
[INFO] [stdout] test test_sample_ex7_sat ... ok
[INFO] [stdout] test test_sample_ex6_sat ... ok
[INFO] [stdout] test test_public_5sec_sat_ex3 ... ok
[INFO] [stdout] test test_sat_161678400 ... ok
[INFO] [stdout] test test_sat_2105154 ... ok
[INFO] [stdout] test test_public_5sec_sat_ex4 ... ok
[INFO] [stdout] test test_sat_3136956 ... ok
[INFO] [stdout] test test_sat_1990051459 ... ok
[INFO] [stdout] test test_sat_2056035330 ... ok
[INFO] [stdout] test test_sat_2060917304 ... ok
[INFO] [stdout] test test_public_3sec_unsat_ex2 ... ok
[INFO] [stdout] test test_sat_2061276186 ... ok
[INFO] [stdout] test test_sat_2028613191 ... ok
[INFO] [stdout] test test_sat_250236 ... ok
[INFO] [stdout] test test_sat_68956062 ... ok
[INFO] [stdout] test test_sat_6987928 ... ok
[INFO] [stdout] test test_sat_6992766 ... ok
[INFO] [stdout] test test_sat_8872514 ... ok
[INFO] [stdout] test test_public_3sec_sat_ex1 ... ok
[INFO] [stdout] test test_sat_6129729 ... ok
[INFO] [stdout] test test_sat_2079676545 ... ok
[INFO] [stdout] test test_sat_1313911416 ... ok
[INFO] [stdout] test test_sat_356453600 ... ok
[INFO] [stdout] test test_sat_439348863 ... ok
[INFO] [stdout] test test_sat_66191232 ... ok
[INFO] [stdout] test test_sat_1987677209 ... ok
[INFO] [stdout] test test_sat_n692091829 ... ok
[INFO] [stdout] test test_sat_n1539415788 ... ok
[INFO] [stdout] test test_unsat_1455428640 ... ok
[INFO] [stdout] test test_sat_n2143000951 ... ok
[INFO] [stdout] test test_sat_1009197172 ... ok
[INFO] [stdout] test test_unsat_2116025441 ... ok
[INFO] [stdout] test test_unsat_68350854 ... ok
[INFO] [stdout] test test_unsat_436446176 ... ok
[INFO] [stdout] test test_unsat_n1985629568 ... ok
[INFO] [stdout] test test_unsat_n387486151 ... ok
[INFO] [stdout] test test_sat_n1355462854 ... ok
[INFO] [stdout] test test_unsat_66061280 ... ok
[INFO] [stdout] test test_sat_1110631217 ... ok
[INFO] [stdout] test test_unsat_192117696 ... ok
[INFO] [stdout] test test_sat_617723004 ... ok
[INFO] [stdout] test test_unsat_n1551300520 ... ok
[INFO] [stdout] test test_unsat_1437267936 ... ok
[INFO] [stdout] test test_unsat_1692978230 ... ok
[INFO] [stdout] test test_unsat_n1801562976 ... ok
[INFO] [stdout] test test_unsat_n2017382368 ... ok
[INFO] [stdout] test test_public_10sec_unsat_ex6 ... ok
[INFO] [stderr] 
[INFO] [stderr] thread 'test_public_10sec_unsat_ex5' (177) has overflowed its stack
[INFO] [stderr] fatal runtime error: stack overflow, aborting
[INFO] [stderr] error: test failed, to rerun pass `--test external_tests`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/target/debug/deps/external_tests-4abb1b8ff20eb39b` (signal: 6, SIGABRT: process abort signal)
[INFO] running `Command { std: "docker" "inspect" "0a206ee971c0bede4ffed1dcdf4f51d793654de0651f53d455e1a47c3d332c07", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0a206ee971c0bede4ffed1dcdf4f51d793654de0651f53d455e1a47c3d332c07", kill_on_drop: false }`
[INFO] [stdout] 0a206ee971c0bede4ffed1dcdf4f51d793654de0651f53d455e1a47c3d332c07
