[INFO] fetching crate logicng 0.1.0-alpha.3...
[INFO] testing logicng-0.1.0-alpha.3 against master#1871252fc8bb672d40787e67404e6eaae7059369 for pr-125151
[INFO] extracting crate logicng 0.1.0-alpha.3 into /workspace/builds/worker-2-tc1/source
[INFO] validating manifest of crates.io crate logicng 0.1.0-alpha.3 on toolchain 1871252fc8bb672d40787e67404e6eaae7059369
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate logicng 0.1.0-alpha.3
[INFO] removed 7 missing examples
[INFO] removed 2 missing tests
[INFO] finished tweaking crates.io crate logicng 0.1.0-alpha.3
[INFO] tweaked toml for crates.io crate logicng 0.1.0-alpha.3 written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] crate crates.io crate logicng 0.1.0-alpha.3 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" "+1871252fc8bb672d40787e67404e6eaae7059369" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded cxxbridge-flags v1.0.107
[INFO] [stderr]   Downloaded pest_generator v2.7.3
[INFO] [stderr]   Downloaded cxx v1.0.107
[INFO] [stderr]   Downloaded pest_derive v2.7.3
[INFO] [stderr]   Downloaded cxxbridge-macro v1.0.107
[INFO] [stderr]   Downloaded cxx-build v1.0.107
[INFO] [stderr]   Downloaded logicng-open-wbo-sys v0.1.0-alpha.3
[INFO] [stderr]   Downloaded pest v2.7.3
[INFO] [stderr]   Downloaded pest_meta v2.7.3
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] ce5a11057ac397e56c56aadc715b3925c19b4db427257d53f8ec40d4847cb68b
[INFO] running `Command { std: "docker" "start" "-a" "ce5a11057ac397e56c56aadc715b3925c19b4db427257d53f8ec40d4847cb68b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ce5a11057ac397e56c56aadc715b3925c19b4db427257d53f8ec40d4847cb68b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ce5a11057ac397e56c56aadc715b3925c19b4db427257d53f8ec40d4847cb68b", kill_on_drop: false }`
[INFO] [stdout] ce5a11057ac397e56c56aadc715b3925c19b4db427257d53f8ec40d4847cb68b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 6e7f65ef46f20d8b9233acfb3c8cf129740e1720445c6cd66486b39e43094bc0
[INFO] running `Command { std: "docker" "start" "-a" "6e7f65ef46f20d8b9233acfb3c8cf129740e1720445c6cd66486b39e43094bc0", kill_on_drop: false }`
[INFO] [stderr]    Compiling memchr v2.6.3
[INFO] [stderr]    Compiling thiserror v1.0.48
[INFO] [stderr]    Compiling num-traits v0.2.16
[INFO] [stderr]    Compiling ucd-trie v0.1.6
[INFO] [stderr]    Compiling lock_api v0.4.10
[INFO] [stderr]    Compiling num-integer v0.1.45
[INFO] [stderr]    Compiling radium v0.7.0
[INFO] [stderr]    Compiling parking_lot_core v0.9.8
[INFO] [stderr]    Compiling num-bigint v0.4.4
[INFO] [stderr]    Compiling smallvec v1.11.0
[INFO] [stderr]    Compiling proc-macro2 v1.0.66
[INFO] [stderr]    Compiling tap v1.0.1
[INFO] [stderr]    Compiling regex-syntax v0.7.5
[INFO] [stderr]    Compiling funty v2.0.0
[INFO] [stderr]    Compiling hashbrown v0.14.0
[INFO] [stderr]    Compiling either v1.9.0
[INFO] [stderr]    Compiling wyz v0.5.1
[INFO] [stderr]    Compiling itertools v0.11.0
[INFO] [stderr]    Compiling quote v1.0.33
[INFO] [stderr]    Compiling aho-corasick v1.0.5
[INFO] [stderr]    Compiling bitvec v1.0.1
[INFO] [stderr]    Compiling dashmap v5.5.3
[INFO] [stderr]    Compiling syn v2.0.32
[INFO] [stderr]    Compiling regex-automata v0.3.8
[INFO] [stderr]    Compiling thiserror-impl v1.0.48
[INFO] [stderr]    Compiling pest v2.7.3
[INFO] [stderr]    Compiling regex v1.9.5
[INFO] [stderr]    Compiling pest_meta v2.7.3
[INFO] [stderr]    Compiling pest_generator v2.7.3
[INFO] [stderr]    Compiling pest_derive v2.7.3
[INFO] [stderr]    Compiling logicng v0.1.0-alpha.3 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `formula_on_solver_function::*`
[INFO] [stdout]  --> src/solver/functions/mod.rs:8:9
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub use formula_on_solver_function::*;
[INFO] [stdout]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 10.19s
[INFO] running `Command { std: "docker" "inspect" "6e7f65ef46f20d8b9233acfb3c8cf129740e1720445c6cd66486b39e43094bc0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6e7f65ef46f20d8b9233acfb3c8cf129740e1720445c6cd66486b39e43094bc0", kill_on_drop: false }`
[INFO] [stdout] 6e7f65ef46f20d8b9233acfb3c8cf129740e1720445c6cd66486b39e43094bc0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] d1b3c7ee5b5bf5270f2a7b790905de0424133bf6c2ca520367ee192462c48584
[INFO] running `Command { std: "docker" "start" "-a" "d1b3c7ee5b5bf5270f2a7b790905de0424133bf6c2ca520367ee192462c48584", kill_on_drop: false }`
[INFO] [stdout] warning: unused import: `formula_on_solver_function::*`
[INFO] [stdout]  --> src/solver/functions/mod.rs:8:9
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub use formula_on_solver_function::*;
[INFO] [stdout]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling logicng v0.1.0-alpha.3 (/opt/rustwide/workdir)
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `formula_on_solver_function::*`
[INFO] [stdout]  --> src/solver/functions/mod.rs:8:9
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub use formula_on_solver_function::*;
[INFO] [stdout]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 9.22s
[INFO] running `Command { std: "docker" "inspect" "d1b3c7ee5b5bf5270f2a7b790905de0424133bf6c2ca520367ee192462c48584", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d1b3c7ee5b5bf5270f2a7b790905de0424133bf6c2ca520367ee192462c48584", kill_on_drop: false }`
[INFO] [stdout] d1b3c7ee5b5bf5270f2a7b790905de0424133bf6c2ca520367ee192462c48584
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] d18a16f4f9d16759d4a6b06685efd26ba74e818a98fc543f6e23d6a50ee6c502
[INFO] running `Command { std: "docker" "start" "-a" "d18a16f4f9d16759d4a6b06685efd26ba74e818a98fc543f6e23d6a50ee6c502", kill_on_drop: false }`
[INFO] [stderr] warning: unused import: `formula_on_solver_function::*`
[INFO] [stderr]  --> src/solver/functions/mod.rs:8:9
[INFO] [stderr]   |
[INFO] [stderr] 8 | pub use formula_on_solver_function::*;
[INFO] [stderr]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `logicng` (lib) generated 1 warning (run `cargo fix --lib -p logicng` to apply 1 suggestion)
[INFO] [stderr] warning: `logicng` (lib test) generated 1 warning (1 duplicate)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.08s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/logicng-487af87ed3270a07)
[INFO] [stdout] 
[INFO] [stdout] running 476 tests
[INFO] [stdout] test backbones::tests::test_unsat_backbone ... ok
[INFO] [stdout] test backbones::tests::test_is_empty ... ok
[INFO] [stdout] test backbones::tests::test_complete_backbone ... ok
[INFO] [stdout] test cardinality_constraints::tests::cc_incremental_formula_tests::test_large_lower_bound_alk ... ignored
[INFO] [stdout] test cardinality_constraints::tests::cc_incremental_formula_tests::test_large_upper_bound_amk ... ignored
[INFO] [stdout] test cardinality_constraints::tests::cc_incremental_formula_tests::test_very_large_modular_totalizer_amk ... ignored, Too large for MiniSat, requires Glucose
[INFO] [stdout] test cardinality_constraints::tests::cc_incremental_solver_tests::test_large_lower_bound_alk ... ignored
[INFO] [stdout] test cardinality_constraints::tests::cc_incremental_solver_tests::test_large_upper_bound_amk ... ignored
[INFO] [stdout] test cardinality_constraints::tests::cc_incremental_solver_tests::test_very_large_modular_totalizer_amk ... ignored, Too large for MiniSat, requires Glucose
[INFO] [stdout] test cardinality_constraints::tests::cc_performance_tests::test_amk_performance ... ignored
[INFO] [stdout] test cardinality_constraints::tests::amo_tests::test_amo_0 ... ok
[INFO] [stdout] test cardinality_constraints::tests::amo_tests::test_amo_1 ... ok
[INFO] [stdout] test cardinality_constraints::tests::exo_tests::test_exo_0 ... ok
[INFO] [stdout] test cardinality_constraints::tests::exo_tests::test_exo_1 ... ok
[INFO] [stdout] test collections::append_vec::test_indices ... ok
[INFO] [stdout] test cardinality_constraints::tests::cc_incremental_formula_tests::test_incremental_data ... ok
[INFO] [stdout] test datastructures::assignment::tests::test_constructor3 ... ok
[INFO] [stdout] test datastructures::assignment::tests::test_constructor2 ... ok
[INFO] [stdout] test backbones::tests::test_to_formula ... ok
[INFO] [stdout] test cardinality_constraints::tests::cc_incremental_solver_tests::test_simple_incremental_amk ... ok
[INFO] [stdout] test datastructures::assignment::tests::test_constructor4 ... ok
[INFO] [stdout] test datastructures::assignment::tests::test_blocking_clause ... ok
[INFO] [stdout] test collections::append_vec::test_pushing_and_indexing ... ok
[INFO] [stdout] test datastructures::assignment::tests::test_restrict_lit ... ok
[INFO] [stdout] test datastructures::assignment::tests::test_constructor1 ... ok
[INFO] [stdout] test datastructures::assignment::tests::test_evaluate_lit ... ok
[INFO] [stdout] test datastructures::assignment::tests::test_to_string ... ok
[INFO] [stdout] test datastructures::assignment::tests::test_is_empty ... ok
[INFO] [stdout] test datastructures::model::tests::test_constructor1 ... ok
[INFO] [stdout] test datastructures::model::tests::test_constructor3 ... ok
[INFO] [stdout] test datastructures::assignment::tests::test_contains ... ok
[INFO] [stdout] test datastructures::model::tests::test_is_empty ... ok
[INFO] [stdout] test datastructures::model::tests::test_to_string ... ok
[INFO] [stdout] test datastructures::model::tests::test_to_assignment ... ok
[INFO] [stdout] test datastructures::model::tests::test_literals ... ok
[INFO] [stdout] test datastructures::model::tests::test_constructor2 ... ok
[INFO] [stdout] test datastructures::ubtree::tests::test_empty_set ... ok
[INFO] [stdout] test datastructures::ubtree::tests::test_example_from_paper ... ok
[INFO] [stdout] test datastructures::ubtree::tests::test_single_set ... ok
[INFO] [stdout] test datastructures::ubtree::tests::test_contains_subset ... ok
[INFO] [stdout] test datastructures::model::tests::test_string_literals ... ok
[INFO] [stdout] test explanations::drup::tests::drup_tests::test_core_and_assumptions3 ... ok
[INFO] [stdout] test cardinality_constraints::tests::cc_incremental_solver_tests::test_simple_incremental_alk ... ok
[INFO] [stdout] test explanations::drup::tests::drup_tests::test_core_and_assumptions ... ok
[INFO] [stdout] test explanations::drup::tests::drup_tests::test_unsat_core_from_dimacs ... ignored
[INFO] [stdout] test explanations::drup::tests::drup_tests::test_unsat_cores_aim_testset ... ignored
[INFO] [stdout] test explanations::drup::tests::drup_tests::test_unsat_cores_from_large_testset ... ignored
[INFO] [stdout] test explanations::drup::tests::drup_tests::test_core_and_assumptions4 ... ok
[INFO] [stdout] test explanations::drup::tests::drup_tests::test_core_and_assumptions2 ... ok
[INFO] [stdout] test datastructures::ubtree::tests::test_all_sets ... ok
[INFO] [stdout] test explanations::drup::tests::drup_tests::test_trivial_cases_propositions ... ok
[INFO] [stdout] test explanations::drup::tests::drup_tests::test_proposition_handling ... ok
[INFO] [stdout] test explanations::drup::tests::drup_tests::test_with_special_unit_case_mini_sat ... ok
[INFO] [stdout] test formulas::formula::tests::test_from_string ... ok
[INFO] [stdout] test explanations::drup::tests::drup_tests::test_proposition_inc_dec ... ok
[INFO] [stdout] test cardinality_constraints::tests::cc_incremental_formula_tests::test_simple_incremental_alk ... ok
[INFO] [stdout] test explanations::drup::tests::drup_tests::test_with_cc_propositions ... ok
[INFO] [stdout] test formulas::formula::tests::test_formula_creation ... ok
[INFO] [stdout] test formulas::formula::tests::test_to_string ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::disable_cc_encoding ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::disable_backbone_simps ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::disable_contains_pbc ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::disable_is_nnf ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::disable_nnf ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::disable_is_cnf ... ok
[INFO] [stdout] test cardinality_constraints::tests::cc_incremental_formula_tests::test_simple_incremental_amk ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::disable_is_dnf ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::disable_dnf ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::disable_literals ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::disable_formula_depth ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::disable_factorization_cnf ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::disable_number_of_atoms ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::disable_sub_nodes ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::enable_contains_pbc ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::disable_sat ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::enable_dnf ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::enable_backbone_simps ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::enable_factorization_cnf ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::disable_number_of_nodes ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::disable_pbc_encoding ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::disable_variables ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::enable_cc_encoding ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::enable_is_dnf ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::enable_formula_depth ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::enable_is_cnf ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::enable_number_of_atoms ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::enable_number_of_nodes ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::enable_is_nnf ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::enable_pbc_encoding ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::enable_sub_nodes ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::enable_sat ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::enable_literals ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::enable_nnf ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::enable_variables ... ok
[INFO] [stdout] test formulas::pbc_cc::tests::test_normalization_simplifications ... ok
[INFO] [stdout] test formulas::pbc_cc::tests::test_evaluate_coeffs ... ok
[INFO] [stdout] test formulas::pbc_cc::tests::test_normalization ... ok
[INFO] [stdout] test formulas::pbc_cc::tests::test_normalization_trivial ... ok
[INFO] [stdout] test formulas::tests::and::and_test::test_contains ... ok
[INFO] [stdout] test formulas::tests::and::and_test::test_creation ... ok
[INFO] [stdout] test formulas::tests::and::and_test::test_equals ... ok
[INFO] [stdout] test formulas::tests::and::and_test::test_is_atomic ... ok
[INFO] [stdout] test formulas::tests::and::and_test::test_hash ... ok
[INFO] [stdout] test formulas::tests::and::and_test::test_complementary_check ... ok
[INFO] [stdout] test collections::append_vec::test_parallel_pushing ... ok
[INFO] [stdout] test formulas::tests::and::and_test::test_type ... ok
[INFO] [stdout] test formulas::tests::and::and_test::test_variables ... ok
[INFO] [stdout] test formulas::tests::and::and_test::test_num_atoms ... ok
[INFO] [stdout] test formulas::tests::constant_false::false_test::test_atomic_formula ... ok
[INFO] [stdout] test formulas::tests::constant_false::false_test::test_contains ... ok
[INFO] [stdout] test formulas::tests::and::and_test::test_num_operands ... ok
[INFO] [stdout] test formulas::tests::constant_false::false_test::test_equals ... ok
[INFO] [stdout] test formulas::tests::and::and_test::test_num_internal_nodes ... ok
[INFO] [stdout] test formulas::tests::and::and_test::test_num_nodes ... ok
[INFO] [stdout] test formulas::tests::and::and_test::test_literals ... ok
[INFO] [stdout] test formulas::tests::constant_false::false_test::test_hash ... ok
[INFO] [stdout] test formulas::tests::and::and_test::test_is_constant ... ok
[INFO] [stdout] test formulas::tests::and::and_test::test_to_string ... ok
[INFO] [stdout] test formulas::tests::constant_false::false_test::test_literals ... ok
[INFO] [stdout] test formulas::tests::constant_false::false_test::test_is_constant_formula ... ok
[INFO] [stdout] test formulas::tests::constant_false::false_test::test_to_string ... ok
[INFO] [stdout] test formulas::tests::constant_false::false_test::test_number_of_internal_nodes ... ok
[INFO] [stdout] test formulas::tests::constant_true::true_test::test_equals ... ok
[INFO] [stdout] test formulas::tests::constant_false::false_test::test_number_of_atoms ... ok
[INFO] [stdout] test formulas::tests::constant_true::true_test::test_hash ... ok
[INFO] [stdout] test formulas::tests::constant_true::true_test::test_contains ... ok
[INFO] [stdout] test formulas::tests::constant_false::false_test::test_type ... ok
[INFO] [stdout] test formulas::tests::constant_false::false_test::test_number_of_nodes ... ok
[INFO] [stdout] test formulas::tests::constant_false::false_test::test_number_of_operands ... ok
[INFO] [stdout] test formulas::tests::constant_false::false_test::test_variables ... ok
[INFO] [stdout] test formulas::tests::constant_false::false_test::test_negation ... ok
[INFO] [stdout] test formulas::tests::constant_true::true_test::test_atomic_formula ... ok
[INFO] [stdout] test formulas::tests::constant_true::true_test::test_literals ... ok
[INFO] [stdout] test formulas::tests::constant_true::true_test::test_negation ... ok
[INFO] [stdout] test formulas::tests::constant_true::true_test::test_number_of_operands ... ok
[INFO] [stdout] test formulas::tests::constant_true::true_test::test_number_of_nodes ... ok
[INFO] [stdout] test formulas::tests::constant_true::true_test::test_is_constant_formula ... ok
[INFO] [stdout] test formulas::tests::constant_true::true_test::test_number_of_internal_nodes ... ok
[INFO] [stdout] test formulas::tests::constant_true::true_test::test_number_of_atoms ... ok
[INFO] [stdout] test formulas::tests::equivalence::implication_test::test_contains ... ok
[INFO] [stdout] test formulas::tests::equivalence::implication_test::test_equals ... ok
[INFO] [stdout] test formulas::tests::constant_true::true_test::test_type ... ok
[INFO] [stdout] test formulas::tests::constant_true::true_test::test_to_string ... ok
[INFO] [stdout] test formulas::tests::constant_true::true_test::test_variables ... ok
[INFO] [stdout] test formulas::tests::equivalence::implication_test::test_atomic_formula ... ok
[INFO] [stdout] test formulas::tests::equivalence::implication_test::test_number_of_atoms ... ok
[INFO] [stdout] test formulas::tests::equivalence::implication_test::test_number_of_operands ... ok
[INFO] [stdout] test formulas::tests::equivalence::implication_test::test_to_string ... ok
[INFO] [stdout] test formulas::tests::equivalence::implication_test::test_number_of_internal_nodes ... ok
[INFO] [stdout] test formulas::tests::equivalence::implication_test::test_hash ... ok
[INFO] [stdout] test formulas::tests::equivalence::implication_test::test_number_of_nodes ... ok
[INFO] [stdout] test formulas::tests::equivalence::implication_test::test_creator ... ok
[INFO] [stdout] test formulas::tests::equivalence::implication_test::test_type ... ok
[INFO] [stdout] test formulas::tests::equivalence::implication_test::test_variables ... ok
[INFO] [stdout] test formulas::tests::equivalence::implication_test::test_getters ... ok
[INFO] [stdout] test formulas::tests::equivalence::implication_test::test_literals ... ok
[INFO] [stdout] test formulas::tests::evaluation::evaluation_tests::test_binary_eval ... ok
[INFO] [stdout] test formulas::tests::equivalence::implication_test::test_is_constant_formula ... ok
[INFO] [stdout] test formulas::tests::equivalence::implication_test::test_negation ... ok
[INFO] [stdout] test formulas::tests::evaluation::evaluation_tests::test_not_eval ... ok
[INFO] [stdout] test formulas::tests::evaluation::evaluation_tests::test_literal_eval ... ok
[INFO] [stdout] test formulas::tests::evaluation::evaluation_tests::test_constant_eval ... ok
[INFO] [stdout] test formulas::tests::formula_factory::formula_factory_tests::test ... ok
[INFO] [stdout] test formulas::tests::formula_factory::formula_factory_tests::test_formula_creation ... ok
[INFO] [stdout] test formulas::tests::formula_factory::formula_factory_tests::test_operands ... ok
[INFO] [stdout] test formulas::tests::formula_factory::formula_factory_tests::test_ordering ... ok
[INFO] [stdout] test formulas::tests::formula_factory::formula_factory_tests::test_simplification ... ok
[INFO] [stdout] test formulas::tests::evaluation::evaluation_tests::test_nary_eval ... ok
[INFO] [stdout] test formulas::tests::formula_factory::formula_factory_tests::test_variables ... ok
[INFO] [stdout] test formulas::tests::implication::implication_test::test_atomic_formula ... ok
[INFO] [stdout] test formulas::tests::implication::implication_test::test_literals ... ok
[INFO] [stdout] test formulas::tests::implication::implication_test::test_contains ... ok
[INFO] [stdout] test formulas::tests::implication::implication_test::test_hash ... ok
[INFO] [stdout] test formulas::tests::implication::implication_test::test_getters ... ok
[INFO] [stdout] test formulas::tests::implication::implication_test::test_number_of_operands ... ok
[INFO] [stdout] test formulas::tests::implication::implication_test::test_equals ... ok
[INFO] [stdout] test formulas::tests::implication::implication_test::test_to_string ... ok
[INFO] [stdout] test formulas::tests::implication::implication_test::test_creator ... ok
[INFO] [stdout] test formulas::tests::implication::implication_test::test_is_constant_formula ... ok
[INFO] [stdout] test formulas::tests::implication::implication_test::test_negation ... ok
[INFO] [stdout] test formulas::tests::implication::implication_test::test_number_of_internal_nodes ... ok
[INFO] [stdout] test cardinality_constraints::tests::alk_tests::test_alk ... ok
[INFO] [stdout] test formulas::tests::implication::implication_test::test_number_of_atoms ... ok
[INFO] [stdout] test formulas::tests::implication::implication_test::test_number_of_nodes ... ok
[INFO] [stdout] test formulas::tests::implication::implication_test::test_type ... ok
[INFO] [stdout] test formulas::tests::literals::literals_test::test_getters ... ok
[INFO] [stdout] test formulas::tests::literals::literals_test::test_contains ... ok
[INFO] [stdout] test formulas::tests::literals::literals_test::test_literals ... ok
[INFO] [stdout] test formulas::tests::literals::literals_test::test_is_constant_formula ... ok
[INFO] [stdout] test formulas::tests::implication::implication_test::test_variables ... ok
[INFO] [stdout] test formulas::tests::literals::literals_test::test_atomic_formula ... ok
[INFO] [stdout] test formulas::tests::literals::literals_test::test_number_of_atoms ... ok
[INFO] [stdout] test formulas::tests::literals::literals_test::test_creation ... ok
[INFO] [stdout] test formulas::tests::literals::literals_test::test_number_of_internal_nodes ... ok
[INFO] [stdout] test formulas::tests::literals::literals_test::test_equals ... ok
[INFO] [stdout] test formulas::tests::literals::literals_test::test_to_string ... ok
[INFO] [stdout] test formulas::tests::literals::literals_test::test_hash ... ok
[INFO] [stdout] test formulas::tests::not::not_test::test_contains ... ok
[INFO] [stdout] test formulas::tests::literals::literals_test::test_number_of_operands ... ok
[INFO] [stdout] test formulas::tests::literals::literals_test::test_variables ... ok
[INFO] [stdout] test formulas::tests::literals::literals_test::test_number_of_nodes ... ok
[INFO] [stdout] test formulas::tests::literals::literals_test::test_negation ... ok
[INFO] [stdout] test formulas::tests::not::not_test::test_equals ... ok
[INFO] [stdout] test formulas::tests::not::not_test::test_creator ... ok
[INFO] [stdout] test formulas::tests::literals::literals_test::test_type ... ok
[INFO] [stdout] test formulas::tests::not::not_test::test_getters ... ok
[INFO] [stdout] test formulas::tests::not::not_test::test_number_of_internal_nodes ... ok
[INFO] [stdout] test formulas::tests::not::not_test::test_number_of_atoms ... ok
[INFO] [stdout] test formulas::tests::not::not_test::test_literals ... ok
[INFO] [stdout] test formulas::tests::not::not_test::test_hash ... ok
[INFO] [stdout] test formulas::tests::not::not_test::test_number_of_nodes ... ok
[INFO] [stdout] test formulas::tests::not::not_test::test_atomic_formula ... ok
[INFO] [stdout] test formulas::tests::or::or_test::test_atomic_formula ... ok
[INFO] [stdout] test formulas::tests::not::not_test::test_variables ... ok
[INFO] [stdout] test formulas::tests::or::or_test::test_complementary_check ... ok
[INFO] [stdout] test formulas::tests::or::or_test::test_hash ... ok
[INFO] [stdout] test formulas::tests::or::or_test::test_contains ... ok
[INFO] [stdout] test formulas::tests::not::not_test::test_number_of_operands ... ok
[INFO] [stdout] test formulas::tests::or::or_test::test_is_constant_formula ... ok
[INFO] [stdout] test formulas::tests::or::or_test::test_literals ... ok
[INFO] [stdout] test formulas::tests::not::not_test::test_is_constant_formula ... ok
[INFO] [stdout] test formulas::tests::or::or_test::test_number_of_nodes ... ok
[INFO] [stdout] test formulas::tests::or::or_test::test_equals ... ok
[INFO] [stdout] test formulas::tests::or::or_test::test_number_of_internal_nodes ... ok
[INFO] [stdout] test formulas::tests::or::or_test::test_type ... ok
[INFO] [stdout] test formulas::tests::or::or_test::test_creator ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_contains ... ok
[INFO] [stdout] test formulas::tests::not::not_test::test_to_string ... ok
[INFO] [stdout] test formulas::tests::or::or_test::test_variables ... ok
[INFO] [stdout] test formulas::tests::or::or_test::test_number_of_atoms ... ok
[INFO] [stdout] test formulas::tests::not::not_test::test_type ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_contains_subformula ... ok
[INFO] [stdout] test formulas::tests::or::or_test::test_to_string ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_create_cc_instead_of_pbc ... ok
[INFO] [stdout] test formulas::tests::or::or_test::test_number_of_operands ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_is_dnf ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_is_exo ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_is_nnf ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_negation_cc ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_literals ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_is_amo ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_is_atomic ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_evaluate ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_is_cnf ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_is_constant ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_number_of_atoms ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_number_of_nodes ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_restrict_inequality ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_number_of_operands ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_simplified_to_string ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_negation_pbc ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_variables ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_nnf ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_type_and_getters ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_restrict ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_trivial_constant ... ok
[INFO] [stdout] test graphs::hypergraph::tests::test_center_of_gravity ... ok
[INFO] [stdout] test graphs::hypergraph::tests::test_hypergraph ... ok
[INFO] [stdout] test graphs::hypergraph_generator::tests::test_from_literals ... ok
[INFO] [stdout] test formulas::tests::restriction::restriction_tests::test_constant_restrict ... ok
[INFO] [stdout] test formulas::tests::restriction::restriction_tests::test_nary_restrict ... ok
[INFO] [stdout] test formulas::tests::restriction::restriction_tests::test_restrict_pbc_inequality ... ok
[INFO] [stdout] test formulas::tests::restriction::restriction_tests::test_binary_restrict ... ok
[INFO] [stdout] test formulas::tests::restriction::restriction_tests::test_literal_restrict ... ok
[INFO] [stdout] test graphs::hypergraph_generator::tests::test_from_constants ... ok
[INFO] [stdout] test graphs::hypergraph_generator::tests::test_from_clause ... ok
[INFO] [stdout] test knowledge_compilation::bdd::bdd_cache::tests::test_cache ... ok
[INFO] [stdout] test graphs::hypergraph_generator::tests::test_from_cnf ... ok
[INFO] [stdout] test formulas::tests::restriction::restriction_tests::test_restrict_pbc ... ok
[INFO] [stdout] test knowledge_compilation::bdd::bdd_construction::tests::test_simple_methods ... ok
[INFO] [stdout] test knowledge_compilation::bdd::bdd_prime::tests::test_is_prime ... ok
[INFO] [stdout] test knowledge_compilation::bdd::bdd_prime::tests::test_prime_gte ... ok
[INFO] [stdout] test knowledge_compilation::bdd::bdd_prime::tests::test_prime_lte ... ok
[INFO] [stdout] test knowledge_compilation::bdd::bdd_kernel::tests::create_kernel ... ok
[INFO] [stdout] test formulas::tests::restriction::restriction_tests::test_not_restrict ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_model_enumeration_test::tests::large_bdd_test ... ignored
[INFO] [stdout] test knowledge_compilation::bdd::orderings::occurrence_ordering::tests::test_complex_formula ... ok
[INFO] [stdout] test knowledge_compilation::bdd::orderings::bfs_ordering::tests::test_simple_formulas ... ok
[INFO] [stdout] test knowledge_compilation::bdd::orderings::dfs_ordering::tests::test_simple_formulas ... ok
[INFO] [stdout] test knowledge_compilation::bdd::orderings::bfs_ordering::tests::test_complex_formula ... ok
[INFO] [stdout] test knowledge_compilation::bdd::bdd_prime::tests::test_numb_of_bits ... ok
[INFO] [stdout] test knowledge_compilation::bdd::orderings::occurrence_ordering::tests::test_simple_formulas ... ok
[INFO] [stdout] test knowledge_compilation::bdd::orderings::force_ordering::tests::test_complex_formula ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_cnf ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_contradiction ... ok
[INFO] [stdout] test knowledge_compilation::bdd::orderings::dfs_ordering::tests::test_complex_formula ... ok
[INFO] [stdout] test knowledge_compilation::bdd::orderings::force_ordering::tests::test_simple_formulas ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_dnf ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_exists ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_forall ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_enumerate_all_models_projected ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_model ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_full_model ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_tautology ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_path_count ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_node_count ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_model_for_variables ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_restrict ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_enumerate_all_models ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_support ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_model_count ... ok
[INFO] [stdout] test knowledge_compilation::dnnf::dnnf_compiler::tests::test_all_small_formulas ... ignored
[INFO] [stdout] test knowledge_compilation::dnnf::dnnf_compiler::tests::test_large_formulas ... ignored
[INFO] [stdout] test knowledge_compilation::dnnf::dtree::dtree_generator::tests::test_dtree_generation ... ignored
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_variable_profile ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_to_formula ... ok
[INFO] [stdout] test operations::functions::formula_depth_function::test::test_cache ... ok
[INFO] [stdout] test operations::functions::formula_depth_function::test::test_deeper_formulas ... ok
[INFO] [stdout] test operations::functions::variable_profile_function::tests::test_variable_profile_complex ... ok
[INFO] [stdout] test operations::functions::formula_depth_function::test::test_atoms ... ok
[INFO] [stdout] test operations::functions::sub_node_function::tests::test ... ok
[INFO] [stdout] test operations::predicates::nnf::tests::test ... ok
[INFO] [stdout] test operations::functions::variable_profile_function::tests::test_variable_profile_simple ... ok
[INFO] [stdout] test operations::predicates::dnf::tests::test ... ok
[INFO] [stdout] test operations::predicates::cnf::tests::test ... ok
[INFO] [stdout] test operations::predicates::term::tests::test_minterm ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_with_handler ... ok
[INFO] [stdout] test operations::transformations::cnf::factorization::tests::test_constants ... ok
[INFO] [stdout] test operations::predicates::term::tests::test_maxterm ... ok
[INFO] [stdout] test operations::transformations::cnf::factorization::tests::test_binary_operators ... ok
[INFO] [stdout] test operations::predicates::term::tests::test_clause ... ok
[INFO] [stdout] test operations::functions::formula_depth_function::test::test_deep_formulas ... ok
[INFO] [stdout] test operations::transformations::cnf::factorization::tests::test_literals ... ok
[INFO] [stdout] test operations::transformations::cnf::factorization::tests::test_nary_operators ... ok
[INFO] [stdout] test operations::transformations::cnf::factorization::tests::test_with_handler ... ok
[INFO] [stdout] test operations::transformations::cnf::plaisted_greenbaum_on_formula::tests::test_binary_operators ... ok
[INFO] [stdout] test operations::transformations::cnf::plaisted_greenbaum_on_formula::tests::test_literals ... ok
[INFO] [stdout] test operations::transformations::cnf::factorization::tests::test_not ... ok
[INFO] [stdout] test operations::transformations::cnf::plaisted_greenbaum_on_formula::tests::test_constants ... ok
[INFO] [stdout] test operations::transformations::cnf::plaisted_greenbaum_on_formula::tests::test_factorization ... ok
[INFO] [stdout] test operations::transformations::cnf::plaisted_greenbaum_on_formula::tests::test_formulas ... ok
[INFO] [stdout] test operations::transformations::cnf::plaisted_greenbaum_on_formula::tests::test_cc ... ok
[INFO] [stdout] test operations::transformations::cnf::plaisted_greenbaum_on_formula::tests::test_not_binary ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_illegal_pb - should panic ... ok
[INFO] [stdout] test operations::transformations::cnf::plaisted_greenbaum_on_formula::tests::test_nary_operators ... ok
[INFO] [stdout] test operations::transformations::cnf::plaisted_greenbaum_on_solver::tests::test_binary_operators ... ok
[INFO] [stdout] test operations::transformations::cnf::plaisted_greenbaum_on_solver::tests::test_cc ... ok
[INFO] [stdout] test operations::transformations::cnf::plaisted_greenbaum_on_solver::tests::test_formulas ... ok
[INFO] [stdout] test operations::transformations::cnf::plaisted_greenbaum_on_solver::tests::test_not_binary ... ok
[INFO] [stdout] test operations::transformations::cnf::tests::test_advanced ... ok
[INFO] [stdout] test operations::transformations::cnf::plaisted_greenbaum_on_solver::tests::test_not_nary ... ok
[INFO] [stdout] test operations::transformations::cnf::plaisted_greenbaum_on_solver::tests::test_literals ... ok
[INFO] [stdout] test operations::transformations::cnf::factorization::tests::test_large_formula ... FAILED
[INFO] [stdout] test operations::transformations::cnf::tests::test_advanced_with_pg_fallback ... ok
[INFO] [stdout] test operations::transformations::cnf::plaisted_greenbaum_on_solver::tests::test_constants ... ok
[INFO] [stdout] test operations::transformations::cnf::tests::test_factorization ... ok
[INFO] [stdout] test operations::transformations::cnf::plaisted_greenbaum_on_formula::tests::test_not_nary ... ok
[INFO] [stdout] test operations::transformations::cnf::tests::test_tseitin ... ok
[INFO] [stdout] test operations::transformations::cnf::tests::test_cancellable_cnf ... ok
[INFO] [stdout] test operations::transformations::cnf::plaisted_greenbaum_on_solver::tests::test_nary_operators ... ok
[INFO] [stdout] test operations::transformations::dnf::factorization::tests::test_constants ... ok
[INFO] [stdout] test operations::transformations::cnf::tseitin::tests::test ... ok
[INFO] [stdout] test operations::transformations::dnf::factorization::tests::test_binary_operators ... ok
[INFO] [stdout] test operations::transformations::cnf::tseitin::tests::test_large_formula ... FAILED
[INFO] [stdout] test operations::transformations::dnf::factorization::tests::test_literals ... ok
[INFO] [stdout] test operations::transformations::nnf::tests::test_constants ... ok
[INFO] [stdout] test operations::transformations::dnf::factorization::tests::test_with_handler ... ok
[INFO] [stdout] test operations::transformations::cnf::tests::test_pg ... ok
[INFO] [stdout] test operations::transformations::dnf::factorization::tests::test_not ... ok
[INFO] [stdout] test operations::transformations::dnf::factorization::tests::test_nary_operators ... ok
[INFO] [stdout] test operations::transformations::nnf::tests::test_binary_operators ... ok
[INFO] [stdout] test operations::transformations::substitution::tests::test_cc ... ok
[INFO] [stdout] test operations::transformations::nnf::tests::test_literals ... ok
[INFO] [stdout] test operations::transformations::substitution::tests::test_binary ... ok
[INFO] [stdout] test operations::transformations::substitution::tests::test_constant ... ok
[INFO] [stdout] test operations::transformations::simplification::backbone_simplification::tests::test_real_backbones ... ok
[INFO] [stdout] test operations::transformations::nnf::tests::test_nary_operators ... ok
[INFO] [stdout] test operations::transformations::nnf::tests::test_not ... ok
[INFO] [stdout] test operations::transformations::substitution::tests::test_literal ... ok
[INFO] [stdout] test operations::transformations::substitution::tests::test_pbc ... ok
[INFO] [stdout] test parser::pseudo_boolean_parser_test::test_combination ... ok
[INFO] [stdout] test operations::transformations::substitution::tests::test_nary ... ok
[INFO] [stdout] test operations::transformations::simplification::backbone_simplification::tests::test_trivial_backbones ... ok
[INFO] [stdout] test operations::transformations::substitution::tests::test_substitute_var ... ok
[INFO] [stdout] test parser::pseudo_boolean_parser_test::test_parse_constants ... ok
[INFO] [stdout] test parser::pseudo_boolean_parser_test::test_parse_empty ... ok
[INFO] [stdout] test parser::pseudo_boolean_parser_test::test_parse_addition ... ok
[INFO] [stdout] test operations::transformations::substitution::tests::test_not ... ok
[INFO] [stdout] test parser::pseudo_boolean_parser_test::test_parse_operators ... ok
[INFO] [stdout] test parser::pseudo_boolean_parser_test::test_illegal_input ... ok
[INFO] [stdout] test parser::pseudo_boolean_parser_test::test_parse_precedences ... ok
[INFO] [stdout] test parser::pseudo_boolean_parser_test::test_parse_multiplication ... ok
[INFO] [stdout] test parser::pseudo_boolean_parser_test::test_parse_literals ... ok
[INFO] [stdout] test operations::transformations::cnf::tests::test_bdd ... ok
[INFO] [stdout] test solver::functions::model_enumeration::tests::test_model_enumeration_does_not_alter_solver ... ok
[INFO] [stdout] test solver::functions::model_enumeration::tests::test_model_enumeration_simple ... ok
[INFO] [stdout] test solver::functions::model_enumeration::tests::test_unknown_variable_not_occurring_in_model ... ok
[INFO] [stdout] test solver::functions::model_enumeration::tests::test_variables_removed_by_simplification_occurs_in_models ... ok
[INFO] [stdout] test solver::functions::tests::backbone_function_tests::test_real_formula_incremental1 ... ignored
[INFO] [stdout] test solver::functions::tests::backbone_function_tests::test_real_formula_incremental2 ... ignored
[INFO] [stdout] test solver::functions::tests::backbone_function_tests::test_real_formula_incremental_decremental1 ... ignored
[INFO] [stdout] test solver::functions::tests::backbone_function_tests::test_real_formula_incremental_decremental2 ... ignored
[INFO] [stdout] test parser::pseudo_boolean_parser_test::test_number_literals ... ok
[INFO] [stdout] test solver::functions::tests::backbone_function_tests::test_simple_backbones ... ok
[INFO] [stdout] test solver::functions::tests::formula_on_solver_tests::test_formula_on_solver_with_contradiction ... ok
[INFO] [stdout] test solver::functions::tests::backbone_function_tests::test_simple_formulas ... ok
[INFO] [stdout] test solver::functions::tests::backbone_function_tests::test_constant ... ok
[INFO] [stdout] test solver::functions::tests::optimization_function_tests::test_additional_variables ... ok
[INFO] [stdout] test solver::functions::tests::formula_on_solver_tests::test_formula_on_solver ... ok
[INFO] [stdout] test solver::functions::tests::optimization_function_tests::test_large_formula_maximize ... ignored
[INFO] [stdout] test solver::functions::tests::optimization_function_tests::test_large_formula_minimize ... ignored
[INFO] [stdout] test solver::functions::tests::optimization_function_tests::test_larger_formula_maximize ... ignored
[INFO] [stdout] test solver::functions::tests::optimization_function_tests::test_larger_formula_minimize ... ignored
[INFO] [stdout] test solver::functions::tests::optimization_function_tests::test_random_small ... ignored
[INFO] [stdout] test solver::functions::tests::optimization_function_tests::test_exo_model ... ok
[INFO] [stdout] test solver::functions::tests::optimization_function_tests::test_single_model ... ok
[INFO] [stdout] test solver::functions::tests::optimization_function_tests::test_unsat_formula ... ok
[INFO] [stdout] test solver::tests::assume_tests::test_assume ... ok
[INFO] [stdout] test solver::tests::inc_dec_tests::test_inc_dec_deep_1 - should panic ... ok
[INFO] [stdout] test solver::tests::inc_dec_tests::test_inc_dec_deep_2 - should panic ... ok
[INFO] [stdout] test solver::tests::inc_dec_tests::test_inc_dec_deep_3 - should panic ... ok
[INFO] [stdout] test solver::tests::inc_dec_tests::test_not_incremental_1 - should panic ... ok
[INFO] [stdout] test solver::tests::inc_dec_tests::test_not_incremental_2 - should panic ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_and1 ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_and2 ... ok
[INFO] [stdout] test solver::tests::inc_dec_tests::test_inc_dec ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_and3 ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_different_clause_minimizations ... ignored
[INFO] [stdout] test solver::tests::sat_tests::test_dimacs_files ... ignored
[INFO] [stdout] test solver::tests::sat_tests::test_dimacs_files_with_selection_order ... ignored
[INFO] [stdout] test solver::tests::sat_tests::test_empty_enumeration ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_false ... ok
[INFO] [stdout] test cardinality_constraints::tests::exk_tests::test_exk ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_formula2 ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_formula1 ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_known_variables ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_formula3 ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_model_before_solving - should panic ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_literals ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_model_enumeration_with_additional_variables ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_model_enumeration ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_partial_model ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_pbc ... ok
[INFO] [stdout] test solver::functions::tests::optimization_function_tests::test_incrementality_minimize_and_maximize ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_pigeon_hole_large ... ignored
[INFO] [stdout] test solver::tests::sat_tests::test_cc1 ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_selection_order_simple01 ... ok
[INFO] [stdout] test cardinality_constraints::tests::amo_tests::test_amo_k ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_true ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_unknown_variable_not_occurring_in_model ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_up_zero_literals ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_up_zero_literals_dimacs_files ... ignored
[INFO] [stdout] test solver::tests::sat_tests::test_up_zero_literals_for_undef_state - should panic ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_up_zero_literals_unsat ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_pigeon_hole_with_reset ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_selection_order_simple02 ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_variables_removed_by_simplification_occurs_in_models ... ok
[INFO] [stdout] test util::formula_randomizer::tests::test_amo ... ok
[INFO] [stdout] test pseudo_booleans::tests::pb_solver_test::test_pb_greater ... ok
[INFO] [stdout] test util::formula_randomizer::tests::test_constant ... ok
[INFO] [stdout] test util::formula_randomizer::tests::test_atom ... ok
[INFO] [stdout] test util::formula_randomizer::tests::test_determinism ... ok
[INFO] [stdout] test cardinality_constraints::tests::exo_tests::test_exo_k ... ok
[INFO] [stdout] test util::formula_randomizer::tests::test_exo ... ok
[INFO] [stdout] test util::formula_randomizer::tests::test_cc ... ok
[INFO] [stdout] test util::formula_randomizer::tests::test_and ... ok
[INFO] [stdout] test util::formula_randomizer::tests::test_literal ... ok
[INFO] [stdout] test util::formula_randomizer::tests::test_not ... ok
[INFO] [stdout] test util::formula_randomizer::tests::test_impl ... ok
[INFO] [stdout] test util::formula_randomizer::tests::test_equiv ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_number_of_models_handler ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_model_enumeration_test::tests::test_exo ... ok
[INFO] [stdout] test knowledge_compilation::dnnf::dnnf_compiler::tests::test_trivial_formulas ... ok
[INFO] [stdout] test util::formula_randomizer::tests::test_pbc ... ok
[INFO] [stdout] test util::formula_randomizer::tests::test_variable ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_pigeon_hole ... ok
[INFO] [stdout] test util::formula_randomizer::tests::test_or ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_model_enumeration_test::tests::test_amo ... ok
[INFO] [stdout] test pseudo_booleans::tests::pb_solver_test::test_pb_less ... ok
[INFO] [stdout] test pseudo_booleans::tests::pb_solver_test::test_pb_eq ... ok
[INFO] [stdout] test util::formula_randomizer::tests::test_formula ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_model_enumeration_test::tests::test_exk ... ok
[INFO] [stdout] test util::formula_randomizer::tests::test_formula_with_pbc ... ok
[INFO] [stdout] test cardinality_constraints::tests::amk_tests::test_amk ... ok
[INFO] [stdout] test pseudo_booleans::tests::pb_solver_test::test_pb_negative ... ok
[INFO] [stdout] test solver::functions::tests::optimization_function_tests::test_corner_cases ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- operations::transformations::cnf::factorization::tests::test_large_formula stdout ----
[INFO] [stdout] thread 'operations::transformations::cnf::factorization::tests::test_large_formula' panicked at src/operations/transformations/cnf/factorization.rs:211:59:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5598e1a51fd5 - std::backtrace_rs::backtrace::libunwind::trace::h59d96bdb08384354
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5
[INFO] [stdout]    1:     0x5598e1a51fd5 - std::backtrace_rs::backtrace::trace_unsynchronized::h9cf5becacfc93fba
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x5598e1a51fd5 - std::sys_common::backtrace::_print_fmt::h10b76d10405dbd48
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:68:5
[INFO] [stdout]    3:     0x5598e1a51fd5 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h6ed9e62a156d84e4
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:44:22
[INFO] [stdout]    4:     0x5598e1a798ab - core::fmt::rt::Argument::fmt::h645c680983f03c9f
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/fmt/rt.rs:165:63
[INFO] [stdout]    5:     0x5598e1a798ab - core::fmt::write::h8bcd80919a02be29
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/fmt/mod.rs:1169:21
[INFO] [stdout]    6:     0x5598e1a4f5cf - std::io::Write::write_fmt::h8d0c47c662cad79c
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/io/mod.rs:1835:15
[INFO] [stdout]    7:     0x5598e1a51dae - std::sys_common::backtrace::_print::h6306f131a28d62b0
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:47:5
[INFO] [stdout]    8:     0x5598e1a51dae - std::sys_common::backtrace::print::h7079288e0a26dfcc
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:34:9
[INFO] [stdout]    9:     0x5598e1a537d9 - std::panicking::default_hook::{{closure}}::hb063ecec81a736ba
[INFO] [stdout]   10:     0x5598e1a5349e - std::panicking::default_hook::hd56ee406bf547b5c
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:295:9
[INFO] [stdout]   11:     0x5598e17a06da - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::he5eacdef44c8728f
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/alloc/src/boxed.rs:2036:9
[INFO] [stdout]   12:     0x5598e17a06da - test::test_main::{{closure}}::h0ec9aed229e79095
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:137:21
[INFO] [stdout]   13:     0x5598e1a53ddb - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hcbd0d80e1ad4e4f9
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/alloc/src/boxed.rs:2036:9
[INFO] [stdout]   14:     0x5598e1a53ddb - std::panicking::rust_panic_with_hook::h624aa3ca42ebb8f2
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:799:13
[INFO] [stdout]   15:     0x5598e1a53b54 - std::panicking::begin_panic_handler::{{closure}}::hbc4e76194a5e287c
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:664:13
[INFO] [stdout]   16:     0x5598e1a52499 - std::sys_common::backtrace::__rust_end_short_backtrace::h847fedc9d1ff7b6d
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:171:18
[INFO] [stdout]   17:     0x5598e1a53887 - rust_begin_unwind
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:652:5
[INFO] [stdout]   18:     0x5598e132ae73 - core::panicking::panic_fmt::hec11a924b87ce965
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/panicking.rs:72:14
[INFO] [stdout]   19:     0x5598e132b3e6 - core::result::unwrap_failed::h382691b96ca8c13a
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/result.rs:1654:5
[INFO] [stdout]   20:     0x5598e1594adb - core::result::Result<T,E>::unwrap::h3f389728b744decb
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/result.rs:1077:23
[INFO] [stdout]   21:     0x5598e1594adb - logicng::operations::transformations::cnf::factorization::tests::test_large_formula::hc79381fc30fc40d5
[INFO] [stdout]                                at /opt/rustwide/workdir/src/operations/transformations/cnf/factorization.rs:211:37
[INFO] [stdout]   22:     0x5598e1594a17 - logicng::operations::transformations::cnf::factorization::tests::test_large_formula::{{closure}}::h7ef2cf5098b31e7f
[INFO] [stdout]                                at /opt/rustwide/workdir/src/operations/transformations/cnf/factorization.rs:209:28
[INFO] [stdout]   23:     0x5598e15da216 - core::ops::function::FnOnce::call_once::hde2c7414c612c666
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x5598e17a50bb - core::ops::function::FnOnce::call_once::h2e43a8f6f3d94b99
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x5598e17a50bb - test::__rust_begin_short_backtrace::h214c9f2d2d3fee90
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:625:18
[INFO] [stdout]   26:     0x5598e17a47c1 - test::run_test_in_process::{{closure}}::h510b7ba7990692a5
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:648:60
[INFO] [stdout]   27:     0x5598e17a47c1 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h4157186197a93871
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   28:     0x5598e17a47c1 - std::panicking::try::do_call::h1bf2463bccd4b28c
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:559:40
[INFO] [stdout]   29:     0x5598e17a47c1 - std::panicking::try::hd6d4808c9fab4fa5
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:523:19
[INFO] [stdout]   30:     0x5598e17a47c1 - std::panic::catch_unwind::hd5641d97d123f9f2
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panic.rs:149:14
[INFO] [stdout]   31:     0x5598e17a47c1 - test::run_test_in_process::hc273b71c8b878a4c
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:648:27
[INFO] [stdout]   32:     0x5598e17a47c1 - test::run_test::{{closure}}::h6838df834eb8467e
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:569:43
[INFO] [stdout]   33:     0x5598e176d184 - test::run_test::{{closure}}::h608b98ecff5665fb
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:599:41
[INFO] [stdout]   34:     0x5598e176d184 - std::sys_common::backtrace::__rust_begin_short_backtrace::hdc4182b97d1042e9
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:155:18
[INFO] [stdout]   35:     0x5598e1771bb2 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h571773fd21d674c8
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/thread/mod.rs:542:17
[INFO] [stdout]   36:     0x5598e1771bb2 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hdcd384cf2fa70ba3
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   37:     0x5598e1771bb2 - std::panicking::try::do_call::h4f1a44bd81423be1
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:559:40
[INFO] [stdout]   38:     0x5598e1771bb2 - std::panicking::try::h5e02afcb81dcd361
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:523:19
[INFO] [stdout]   39:     0x5598e1771bb2 - std::panic::catch_unwind::h022f75775bfd8c45
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panic.rs:149:14
[INFO] [stdout]   40:     0x5598e1771bb2 - std::thread::Builder::spawn_unchecked_::{{closure}}::hf5a62e9e4e6df1f8
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/thread/mod.rs:541:30
[INFO] [stdout]   41:     0x5598e1771bb2 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h6d56360aeb9509a7
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x5598e1a5853b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h7a343dc551c06baa
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/alloc/src/boxed.rs:2022:9
[INFO] [stdout]   43:     0x5598e1a5853b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h30b8111cbaa644f3
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/alloc/src/boxed.rs:2022:9
[INFO] [stdout]   44:     0x5598e1a5853b - std::sys::pal::unix::thread::Thread::new::thread_start::h7404e134e61e7a11
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys/pal/unix/thread.rs:108:17
[INFO] [stdout]   45:     0x7fdf41e82ac3 - <unknown>
[INFO] [stdout]   46:     0x7fdf41f13a04 - __clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- operations::transformations::cnf::tseitin::tests::test_large_formula stdout ----
[INFO] [stdout] thread 'operations::transformations::cnf::tseitin::tests::test_large_formula' panicked at src/operations/transformations/cnf/tseitin.rs:108:85:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5598e1a51fd5 - std::backtrace_rs::backtrace::libunwind::trace::h59d96bdb08384354
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5
[INFO] [stdout]    1:     0x5598e1a51fd5 - std::backtrace_rs::backtrace::trace_unsynchronized::h9cf5becacfc93fba
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x5598e1a51fd5 - std::sys_common::backtrace::_print_fmt::h10b76d10405dbd48
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:68:5
[INFO] [stdout]    3:     0x5598e1a51fd5 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h6ed9e62a156d84e4
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:44:22
[INFO] [stdout]    4:     0x5598e1a798ab - core::fmt::rt::Argument::fmt::h645c680983f03c9f
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/fmt/rt.rs:165:63
[INFO] [stdout]    5:     0x5598e1a798ab - core::fmt::write::h8bcd80919a02be29
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/fmt/mod.rs:1169:21
[INFO] [stdout]    6:     0x5598e1a4f5cf - std::io::Write::write_fmt::h8d0c47c662cad79c
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/io/mod.rs:1835:15
[INFO] [stdout]    7:     0x5598e1a51dae - std::sys_common::backtrace::_print::h6306f131a28d62b0
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:47:5
[INFO] [stdout]    8:     0x5598e1a51dae - std::sys_common::backtrace::print::h7079288e0a26dfcc
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:34:9
[INFO] [stdout]    9:     0x5598e1a537d9 - std::panicking::default_hook::{{closure}}::hb063ecec81a736ba
[INFO] [stdout]   10:     0x5598e1a5349e - std::panicking::default_hook::hd56ee406bf547b5c
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:295:9
[INFO] [stdout]   11:     0x5598e17a06da - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::he5eacdef44c8728f
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/alloc/src/boxed.rs:2036:9
[INFO] [stdout]   12:     0x5598e17a06da - test::test_main::{{closure}}::h0ec9aed229e79095
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:137:21
[INFO] [stdout]   13:     0x5598e1a53ddb - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hcbd0d80e1ad4e4f9
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/alloc/src/boxed.rs:2036:9
[INFO] [stdout]   14:     0x5598e1a53ddb - std::panicking::rust_panic_with_hook::h624aa3ca42ebb8f2
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:799:13
[INFO] [stdout]   15:     0x5598e1a53b54 - std::panicking::begin_panic_handler::{{closure}}::hbc4e76194a5e287c
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:664:13
[INFO] [stdout]   16:     0x5598e1a52499 - std::sys_common::backtrace::__rust_end_short_backtrace::h847fedc9d1ff7b6d
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:171:18
[INFO] [stdout]   17:     0x5598e1a53887 - rust_begin_unwind
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:652:5
[INFO] [stdout]   18:     0x5598e132ae73 - core::panicking::panic_fmt::hec11a924b87ce965
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/panicking.rs:72:14
[INFO] [stdout]   19:     0x5598e132b3e6 - core::result::unwrap_failed::h382691b96ca8c13a
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/result.rs:1654:5
[INFO] [stdout]   20:     0x5598e1595454 - core::result::Result<T,E>::unwrap::haf3cb9b17a9d4567
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/result.rs:1077:23
[INFO] [stdout]   21:     0x5598e1595454 - logicng::operations::transformations::cnf::tseitin::tests::test_large_formula::h90a864bab46f0037
[INFO] [stdout]                                at /opt/rustwide/workdir/src/operations/transformations/cnf/tseitin.rs:108:30
[INFO] [stdout]   22:     0x5598e15953b7 - logicng::operations::transformations::cnf::tseitin::tests::test_large_formula::{{closure}}::h3fbca7fbe090a907
[INFO] [stdout]                                at /opt/rustwide/workdir/src/operations/transformations/cnf/tseitin.rs:107:28
[INFO] [stdout]   23:     0x5598e15d4076 - core::ops::function::FnOnce::call_once::h4bc6d2bf7847efe3
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x5598e17a50bb - core::ops::function::FnOnce::call_once::h2e43a8f6f3d94b99
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x5598e17a50bb - test::__rust_begin_short_backtrace::h214c9f2d2d3fee90
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:625:18
[INFO] [stdout]   26:     0x5598e17a47c1 - test::run_test_in_process::{{closure}}::h510b7ba7990692a5
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:648:60
[INFO] [stdout]   27:     0x5598e17a47c1 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h4157186197a93871
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   28:     0x5598e17a47c1 - std::panicking::try::do_call::h1bf2463bccd4b28c
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:559:40
[INFO] [stdout]   29:     0x5598e17a47c1 - std::panicking::try::hd6d4808c9fab4fa5
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:523:19
[INFO] [stdout]   30:     0x5598e17a47c1 - std::panic::catch_unwind::hd5641d97d123f9f2
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panic.rs:149:14
[INFO] [stdout]   31:     0x5598e17a47c1 - test::run_test_in_process::hc273b71c8b878a4c
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:648:27
[INFO] [stdout]   32:     0x5598e17a47c1 - test::run_test::{{closure}}::h6838df834eb8467e
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:569:43
[INFO] [stdout]   33:     0x5598e176d184 - test::run_test::{{closure}}::h608b98ecff5665fb
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:599:41
[INFO] [stdout]   34:     0x5598e176d184 - std::sys_common::backtrace::__rust_begin_short_backtrace::hdc4182b97d1042e9
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:155:18
[INFO] [stdout]   35:     0x5598e1771bb2 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h571773fd21d674c8
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/thread/mod.rs:542:17
[INFO] [stdout]   36:     0x5598e1771bb2 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hdcd384cf2fa70ba3
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   37:     0x5598e1771bb2 - std::panicking::try::do_call::h4f1a44bd81423be1
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:559:40
[INFO] [stdout]   38:     0x5598e1771bb2 - std::panicking::try::h5e02afcb81dcd361
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:523:19
[INFO] [stdout]   39:     0x5598e1771bb2 - std::panic::catch_unwind::h022f75775bfd8c45
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panic.rs:149:14
[INFO] [stdout]   40:     0x5598e1771bb2 - std::thread::Builder::spawn_unchecked_::{{closure}}::hf5a62e9e4e6df1f8
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/thread/mod.rs:541:30
[INFO] [stdout]   41:     0x5598e1771bb2 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h6d56360aeb9509a7
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x5598e1a5853b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h7a343dc551c06baa
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/alloc/src/boxed.rs:2022:9
[INFO] [stdout]   43:     0x5598e1a5853b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h30b8111cbaa644f3
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/alloc/src/boxed.rs:2022:9
[INFO] [stdout]   44:     0x5598e1a5853b - std::sys::pal::unix::thread::Thread::new::thread_start::h7404e134e61e7a11
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys/pal/unix/thread.rs:108:17
[INFO] [stdout]   45:     0x7fdf41e82ac3 - <unknown>
[INFO] [stdout]   46:     0x7fdf41f13a04 - __clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     operations::transformations::cnf::factorization::tests::test_large_formula
[INFO] [stdout]     operations::transformations::cnf::tseitin::tests::test_large_formula
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 446 passed; 2 failed; 28 ignored; 0 measured; 0 filtered out; finished in 5.79s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--lib`
[INFO] running `Command { std: "docker" "inspect" "d18a16f4f9d16759d4a6b06685efd26ba74e818a98fc543f6e23d6a50ee6c502", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d18a16f4f9d16759d4a6b06685efd26ba74e818a98fc543f6e23d6a50ee6c502", kill_on_drop: false }`
[INFO] [stdout] d18a16f4f9d16759d4a6b06685efd26ba74e818a98fc543f6e23d6a50ee6c502
[INFO] testing logicng-0.1.0-alpha.3 against try#b642703cf9526da1e72c0b6755753b939a9c6b6d for pr-125151
[INFO] extracting crate logicng 0.1.0-alpha.3 into /workspace/builds/worker-2-tc2/source
[INFO] validating manifest of crates.io crate logicng 0.1.0-alpha.3 on toolchain b642703cf9526da1e72c0b6755753b939a9c6b6d
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate logicng 0.1.0-alpha.3
[INFO] removed 7 missing examples
[INFO] removed 2 missing tests
[INFO] finished tweaking crates.io crate logicng 0.1.0-alpha.3
[INFO] tweaked toml for crates.io crate logicng 0.1.0-alpha.3 written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] crate crates.io crate logicng 0.1.0-alpha.3 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" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] cfa7fdb52e7f8cea9572e1f97fd641e70a638b24c3eab2003e4a78cb518bb146
[INFO] running `Command { std: "docker" "start" "-a" "cfa7fdb52e7f8cea9572e1f97fd641e70a638b24c3eab2003e4a78cb518bb146", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "cfa7fdb52e7f8cea9572e1f97fd641e70a638b24c3eab2003e4a78cb518bb146", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cfa7fdb52e7f8cea9572e1f97fd641e70a638b24c3eab2003e4a78cb518bb146", kill_on_drop: false }`
[INFO] [stdout] cfa7fdb52e7f8cea9572e1f97fd641e70a638b24c3eab2003e4a78cb518bb146
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 6e441e7a20b5acd6f838e14da42152eecf6c458e3f7ef1b8eeabf6fe1c263968
[INFO] running `Command { std: "docker" "start" "-a" "6e441e7a20b5acd6f838e14da42152eecf6c458e3f7ef1b8eeabf6fe1c263968", kill_on_drop: false }`
[INFO] [stderr]    Compiling memchr v2.6.3
[INFO] [stderr]    Compiling thiserror v1.0.48
[INFO] [stderr]    Compiling num-traits v0.2.16
[INFO] [stderr]    Compiling ucd-trie v0.1.6
[INFO] [stderr]    Compiling num-integer v0.1.45
[INFO] [stderr]    Compiling lock_api v0.4.10
[INFO] [stderr]    Compiling radium v0.7.0
[INFO] [stderr]    Compiling parking_lot_core v0.9.8
[INFO] [stderr]    Compiling num-bigint v0.4.4
[INFO] [stderr]    Compiling tap v1.0.1
[INFO] [stderr]    Compiling smallvec v1.11.0
[INFO] [stderr]    Compiling regex-syntax v0.7.5
[INFO] [stderr]    Compiling funty v2.0.0
[INFO] [stderr]    Compiling proc-macro2 v1.0.66
[INFO] [stderr]    Compiling either v1.9.0
[INFO] [stderr]    Compiling hashbrown v0.14.0
[INFO] [stderr]    Compiling wyz v0.5.1
[INFO] [stderr]    Compiling itertools v0.11.0
[INFO] [stderr]    Compiling aho-corasick v1.0.5
[INFO] [stderr]    Compiling quote v1.0.33
[INFO] [stderr]    Compiling bitvec v1.0.1
[INFO] [stderr]    Compiling dashmap v5.5.3
[INFO] [stderr]    Compiling syn v2.0.32
[INFO] [stderr]    Compiling regex-automata v0.3.8
[INFO] [stderr]    Compiling thiserror-impl v1.0.48
[INFO] [stderr]    Compiling pest v2.7.3
[INFO] [stderr]    Compiling regex v1.9.5
[INFO] [stderr]    Compiling pest_meta v2.7.3
[INFO] [stderr]    Compiling pest_generator v2.7.3
[INFO] [stderr]    Compiling pest_derive v2.7.3
[INFO] [stderr]    Compiling logicng v0.1.0-alpha.3 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `formula_on_solver_function::*`
[INFO] [stdout]  --> src/solver/functions/mod.rs:8:9
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub use formula_on_solver_function::*;
[INFO] [stdout]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 10.77s
[INFO] running `Command { std: "docker" "inspect" "6e441e7a20b5acd6f838e14da42152eecf6c458e3f7ef1b8eeabf6fe1c263968", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6e441e7a20b5acd6f838e14da42152eecf6c458e3f7ef1b8eeabf6fe1c263968", kill_on_drop: false }`
[INFO] [stdout] 6e441e7a20b5acd6f838e14da42152eecf6c458e3f7ef1b8eeabf6fe1c263968
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c670678694524be6b5d50c7a25240acd819583e1de14f1c772db0093a903cbdf
[INFO] running `Command { std: "docker" "start" "-a" "c670678694524be6b5d50c7a25240acd819583e1de14f1c772db0093a903cbdf", kill_on_drop: false }`
[INFO] [stderr]    Compiling logicng v0.1.0-alpha.3 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `formula_on_solver_function::*`
[INFO] [stdout]  --> src/solver/functions/mod.rs:8:9
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub use formula_on_solver_function::*;
[INFO] [stdout]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `formula_on_solver_function::*`
[INFO] [stdout]  --> src/solver/functions/mod.rs:8:9
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub use formula_on_solver_function::*;
[INFO] [stdout]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 11.37s
[INFO] running `Command { std: "docker" "inspect" "c670678694524be6b5d50c7a25240acd819583e1de14f1c772db0093a903cbdf", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c670678694524be6b5d50c7a25240acd819583e1de14f1c772db0093a903cbdf", kill_on_drop: false }`
[INFO] [stdout] c670678694524be6b5d50c7a25240acd819583e1de14f1c772db0093a903cbdf
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] f95523a797cddb98b7d93f309de36ef49760a53438ce69a52bce11fcce7ca2da
[INFO] running `Command { std: "docker" "start" "-a" "f95523a797cddb98b7d93f309de36ef49760a53438ce69a52bce11fcce7ca2da", kill_on_drop: false }`
[INFO] [stderr] warning: unused import: `formula_on_solver_function::*`
[INFO] [stderr]  --> src/solver/functions/mod.rs:8:9
[INFO] [stderr]   |
[INFO] [stderr] 8 | pub use formula_on_solver_function::*;
[INFO] [stderr]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `logicng` (lib) generated 1 warning (run `cargo fix --lib -p logicng` to apply 1 suggestion)
[INFO] [stderr] warning: `logicng` (lib test) generated 1 warning (1 duplicate)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.07s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/logicng-487af87ed3270a07)
[INFO] [stdout] 
[INFO] [stdout] running 476 tests
[INFO] [stdout] test backbones::tests::test_unsat_backbone ... ok
[INFO] [stdout] test cardinality_constraints::tests::cc_incremental_formula_tests::test_large_lower_bound_alk ... ignored
[INFO] [stdout] test cardinality_constraints::tests::cc_incremental_formula_tests::test_large_upper_bound_amk ... ignored
[INFO] [stdout] test backbones::tests::test_is_empty ... ok
[INFO] [stdout] test backbones::tests::test_complete_backbone ... ok
[INFO] [stdout] test cardinality_constraints::tests::cc_incremental_formula_tests::test_very_large_modular_totalizer_amk ... ignored, Too large for MiniSat, requires Glucose
[INFO] [stdout] test cardinality_constraints::tests::cc_incremental_solver_tests::test_large_lower_bound_alk ... ignored
[INFO] [stdout] test cardinality_constraints::tests::cc_incremental_solver_tests::test_large_upper_bound_amk ... ignored
[INFO] [stdout] test cardinality_constraints::tests::cc_incremental_solver_tests::test_very_large_modular_totalizer_amk ... ignored, Too large for MiniSat, requires Glucose
[INFO] [stdout] test cardinality_constraints::tests::cc_performance_tests::test_amk_performance ... ignored
[INFO] [stdout] test collections::append_vec::test_indices ... ok
[INFO] [stdout] test cardinality_constraints::tests::amo_tests::test_amo_1 ... ok
[INFO] [stdout] test collections::append_vec::test_pushing_and_indexing ... ok
[INFO] [stdout] test cardinality_constraints::tests::exo_tests::test_exo_0 ... ok
[INFO] [stdout] test cardinality_constraints::tests::amo_tests::test_amo_0 ... ok
[INFO] [stdout] test cardinality_constraints::tests::exo_tests::test_exo_1 ... ok
[INFO] [stdout] test datastructures::assignment::tests::test_constructor3 ... ok
[INFO] [stdout] test cardinality_constraints::tests::cc_incremental_formula_tests::test_incremental_data ... ok
[INFO] [stdout] test datastructures::assignment::tests::test_constructor4 ... ok
[INFO] [stdout] test datastructures::assignment::tests::test_contains ... ok
[INFO] [stdout] test datastructures::assignment::tests::test_constructor1 ... ok
[INFO] [stdout] test datastructures::assignment::tests::test_is_empty ... ok
[INFO] [stdout] test datastructures::assignment::tests::test_constructor2 ... ok
[INFO] [stdout] test datastructures::assignment::tests::test_evaluate_lit ... ok
[INFO] [stdout] test datastructures::assignment::tests::test_blocking_clause ... ok
[INFO] [stdout] test backbones::tests::test_to_formula ... ok
[INFO] [stdout] test datastructures::model::tests::test_constructor1 ... ok
[INFO] [stdout] test datastructures::assignment::tests::test_to_string ... ok
[INFO] [stdout] test datastructures::model::tests::test_constructor3 ... ok
[INFO] [stdout] test datastructures::model::tests::test_is_empty ... ok
[INFO] [stdout] test datastructures::model::tests::test_constructor2 ... ok
[INFO] [stdout] test datastructures::assignment::tests::test_restrict_lit ... ok
[INFO] [stdout] test datastructures::ubtree::tests::test_contains_subset ... ok
[INFO] [stdout] test datastructures::model::tests::test_string_literals ... ok
[INFO] [stdout] test datastructures::model::tests::test_to_assignment ... ok
[INFO] [stdout] test datastructures::ubtree::tests::test_all_sets ... ok
[INFO] [stdout] test datastructures::ubtree::tests::test_empty_set ... ok
[INFO] [stdout] test datastructures::model::tests::test_literals ... ok
[INFO] [stdout] test datastructures::ubtree::tests::test_example_from_paper ... ok
[INFO] [stdout] test datastructures::ubtree::tests::test_single_set ... ok
[INFO] [stdout] test datastructures::model::tests::test_to_string ... ok
[INFO] [stdout] test explanations::drup::tests::drup_tests::test_core_and_assumptions ... ok
[INFO] [stdout] test explanations::drup::tests::drup_tests::test_core_and_assumptions2 ... ok
[INFO] [stdout] test explanations::drup::tests::drup_tests::test_core_and_assumptions3 ... ok
[INFO] [stdout] test cardinality_constraints::tests::cc_incremental_solver_tests::test_simple_incremental_alk ... ok
[INFO] [stdout] test explanations::drup::tests::drup_tests::test_unsat_core_from_dimacs ... ignored
[INFO] [stdout] test explanations::drup::tests::drup_tests::test_unsat_cores_aim_testset ... ignored
[INFO] [stdout] test explanations::drup::tests::drup_tests::test_unsat_cores_from_large_testset ... ignored
[INFO] [stdout] test explanations::drup::tests::drup_tests::test_trivial_cases_propositions ... ok
[INFO] [stdout] test explanations::drup::tests::drup_tests::test_with_cc_propositions ... ok
[INFO] [stdout] test formulas::formula::tests::test_formula_creation ... ok
[INFO] [stdout] test formulas::formula::tests::test_from_string ... ok
[INFO] [stdout] test formulas::formula::tests::test_to_string ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::disable_cc_encoding ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::disable_backbone_simps ... ok
[INFO] [stdout] test explanations::drup::tests::drup_tests::test_proposition_inc_dec ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::disable_factorization_cnf ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::disable_dnf ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::disable_contains_pbc ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::disable_formula_depth ... ok
[INFO] [stdout] test explanations::drup::tests::drup_tests::test_core_and_assumptions4 ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::disable_is_cnf ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::disable_is_dnf ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::disable_is_nnf ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::disable_number_of_atoms ... ok
[INFO] [stdout] test explanations::drup::tests::drup_tests::test_proposition_handling ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::disable_number_of_nodes ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::disable_nnf ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::disable_literals ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::disable_pbc_encoding ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::disable_sat ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::disable_variables ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::enable_cc_encoding ... ok
[INFO] [stdout] test explanations::drup::tests::drup_tests::test_with_special_unit_case_mini_sat ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::enable_backbone_simps ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::enable_factorization_cnf ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::disable_sub_nodes ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::enable_contains_pbc ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::enable_dnf ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::enable_formula_depth ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::enable_is_nnf ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::enable_literals ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::enable_nnf ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::enable_is_dnf ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::enable_number_of_atoms ... ok
[INFO] [stdout] test formulas::pbc_cc::tests::test_evaluate_coeffs ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::enable_is_cnf ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::enable_sub_nodes ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::enable_number_of_nodes ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::enable_variables ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::enable_pbc_encoding ... ok
[INFO] [stdout] test formulas::pbc_cc::tests::test_normalization_simplifications ... ok
[INFO] [stdout] test formulas::pbc_cc::tests::test_normalization ... ok
[INFO] [stdout] test formulas::formula_cache::formula_factory_caches::test::config::enable_sat ... ok
[INFO] [stdout] test formulas::pbc_cc::tests::test_normalization_trivial ... ok
[INFO] [stdout] test formulas::tests::and::and_test::test_complementary_check ... ok
[INFO] [stdout] test cardinality_constraints::tests::cc_incremental_solver_tests::test_simple_incremental_amk ... ok
[INFO] [stdout] test formulas::tests::and::and_test::test_contains ... ok
[INFO] [stdout] test formulas::tests::and::and_test::test_creation ... ok
[INFO] [stdout] test collections::append_vec::test_parallel_pushing ... ok
[INFO] [stdout] test formulas::tests::and::and_test::test_hash ... ok
[INFO] [stdout] test formulas::tests::and::and_test::test_equals ... ok
[INFO] [stdout] test formulas::tests::and::and_test::test_is_atomic ... ok
[INFO] [stdout] test formulas::tests::and::and_test::test_literals ... ok
[INFO] [stdout] test formulas::tests::and::and_test::test_num_atoms ... ok
[INFO] [stdout] test formulas::tests::and::and_test::test_num_nodes ... ok
[INFO] [stdout] test formulas::tests::and::and_test::test_is_constant ... ok
[INFO] [stdout] test formulas::tests::and::and_test::test_num_internal_nodes ... ok
[INFO] [stdout] test formulas::tests::and::and_test::test_to_string ... ok
[INFO] [stdout] test formulas::tests::and::and_test::test_variables ... ok
[INFO] [stdout] test formulas::tests::constant_false::false_test::test_contains ... ok
[INFO] [stdout] test formulas::tests::constant_false::false_test::test_atomic_formula ... ok
[INFO] [stdout] test formulas::tests::and::and_test::test_type ... ok
[INFO] [stdout] test formulas::tests::constant_false::false_test::test_hash ... ok
[INFO] [stdout] test formulas::tests::constant_false::false_test::test_is_constant_formula ... ok
[INFO] [stdout] test formulas::tests::and::and_test::test_num_operands ... ok
[INFO] [stdout] test formulas::tests::constant_false::false_test::test_number_of_nodes ... ok
[INFO] [stdout] test formulas::tests::constant_false::false_test::test_literals ... ok
[INFO] [stdout] test formulas::tests::constant_false::false_test::test_equals ... ok
[INFO] [stdout] test formulas::tests::constant_false::false_test::test_to_string ... ok
[INFO] [stdout] test formulas::tests::constant_false::false_test::test_type ... ok
[INFO] [stdout] test formulas::tests::constant_false::false_test::test_variables ... ok
[INFO] [stdout] test formulas::tests::constant_false::false_test::test_number_of_operands ... ok
[INFO] [stdout] test formulas::tests::constant_true::true_test::test_atomic_formula ... ok
[INFO] [stdout] test formulas::tests::constant_true::true_test::test_equals ... ok
[INFO] [stdout] test formulas::tests::constant_false::false_test::test_negation ... ok
[INFO] [stdout] test formulas::tests::constant_true::true_test::test_contains ... ok
[INFO] [stdout] test formulas::tests::constant_false::false_test::test_number_of_internal_nodes ... ok
[INFO] [stdout] test formulas::tests::constant_false::false_test::test_number_of_atoms ... ok
[INFO] [stdout] test formulas::tests::constant_true::true_test::test_is_constant_formula ... ok
[INFO] [stdout] test formulas::tests::constant_true::true_test::test_number_of_atoms ... ok
[INFO] [stdout] test formulas::tests::constant_true::true_test::test_negation ... ok
[INFO] [stdout] test formulas::tests::constant_true::true_test::test_number_of_nodes ... ok
[INFO] [stdout] test formulas::tests::constant_true::true_test::test_number_of_operands ... ok
[INFO] [stdout] test formulas::tests::constant_true::true_test::test_number_of_internal_nodes ... ok
[INFO] [stdout] test formulas::tests::constant_true::true_test::test_variables ... ok
[INFO] [stdout] test formulas::tests::constant_true::true_test::test_literals ... ok
[INFO] [stdout] test formulas::tests::constant_true::true_test::test_hash ... ok
[INFO] [stdout] test formulas::tests::constant_true::true_test::test_to_string ... ok
[INFO] [stdout] test formulas::tests::equivalence::implication_test::test_atomic_formula ... ok
[INFO] [stdout] test formulas::tests::constant_true::true_test::test_type ... ok
[INFO] [stdout] test formulas::tests::equivalence::implication_test::test_equals ... ok
[INFO] [stdout] test formulas::tests::equivalence::implication_test::test_getters ... ok
[INFO] [stdout] test formulas::tests::equivalence::implication_test::test_hash ... ok
[INFO] [stdout] test formulas::tests::equivalence::implication_test::test_is_constant_formula ... ok
[INFO] [stdout] test formulas::tests::equivalence::implication_test::test_creator ... ok
[INFO] [stdout] test formulas::tests::equivalence::implication_test::test_contains ... ok
[INFO] [stdout] test formulas::tests::equivalence::implication_test::test_negation ... ok
[INFO] [stdout] test formulas::tests::equivalence::implication_test::test_number_of_atoms ... ok
[INFO] [stdout] test formulas::tests::equivalence::implication_test::test_type ... ok
[INFO] [stdout] test formulas::tests::equivalence::implication_test::test_number_of_internal_nodes ... ok
[INFO] [stdout] test formulas::tests::equivalence::implication_test::test_variables ... ok
[INFO] [stdout] test formulas::tests::equivalence::implication_test::test_number_of_nodes ... ok
[INFO] [stdout] test formulas::tests::equivalence::implication_test::test_literals ... ok
[INFO] [stdout] test formulas::tests::equivalence::implication_test::test_number_of_operands ... ok
[INFO] [stdout] test formulas::tests::evaluation::evaluation_tests::test_binary_eval ... ok
[INFO] [stdout] test formulas::tests::evaluation::evaluation_tests::test_literal_eval ... ok
[INFO] [stdout] test formulas::tests::evaluation::evaluation_tests::test_not_eval ... ok
[INFO] [stdout] test formulas::tests::formula_factory::formula_factory_tests::test ... ok
[INFO] [stdout] test cardinality_constraints::tests::cc_incremental_formula_tests::test_simple_incremental_alk ... ok
[INFO] [stdout] test formulas::tests::evaluation::evaluation_tests::test_nary_eval ... ok
[INFO] [stdout] test formulas::tests::equivalence::implication_test::test_to_string ... ok
[INFO] [stdout] test formulas::tests::evaluation::evaluation_tests::test_constant_eval ... ok
[INFO] [stdout] test formulas::tests::formula_factory::formula_factory_tests::test_ordering ... ok
[INFO] [stdout] test formulas::tests::formula_factory::formula_factory_tests::test_simplification ... ok
[INFO] [stdout] test formulas::tests::formula_factory::formula_factory_tests::test_variables ... ok
[INFO] [stdout] test formulas::tests::formula_factory::formula_factory_tests::test_operands ... ok
[INFO] [stdout] test formulas::tests::implication::implication_test::test_atomic_formula ... ok
[INFO] [stdout] test formulas::tests::implication::implication_test::test_getters ... ok
[INFO] [stdout] test formulas::tests::implication::implication_test::test_hash ... ok
[INFO] [stdout] test formulas::tests::implication::implication_test::test_creator ... ok
[INFO] [stdout] test formulas::tests::implication::implication_test::test_is_constant_formula ... ok
[INFO] [stdout] test formulas::tests::formula_factory::formula_factory_tests::test_formula_creation ... ok
[INFO] [stdout] test formulas::tests::implication::implication_test::test_literals ... ok
[INFO] [stdout] test formulas::tests::implication::implication_test::test_negation ... ok
[INFO] [stdout] test formulas::tests::implication::implication_test::test_equals ... ok
[INFO] [stdout] test formulas::tests::implication::implication_test::test_contains ... ok
[INFO] [stdout] test formulas::tests::implication::implication_test::test_number_of_nodes ... ok
[INFO] [stdout] test formulas::tests::implication::implication_test::test_number_of_operands ... ok
[INFO] [stdout] test formulas::tests::implication::implication_test::test_type ... ok
[INFO] [stdout] test formulas::tests::implication::implication_test::test_number_of_atoms ... ok
[INFO] [stdout] test formulas::tests::implication::implication_test::test_to_string ... ok
[INFO] [stdout] test formulas::tests::literals::literals_test::test_contains ... ok
[INFO] [stdout] test formulas::tests::implication::implication_test::test_variables ... ok
[INFO] [stdout] test formulas::tests::implication::implication_test::test_number_of_internal_nodes ... ok
[INFO] [stdout] test formulas::tests::literals::literals_test::test_equals ... ok
[INFO] [stdout] test formulas::tests::literals::literals_test::test_creation ... ok
[INFO] [stdout] test formulas::tests::literals::literals_test::test_getters ... ok
[INFO] [stdout] test formulas::tests::literals::literals_test::test_is_constant_formula ... ok
[INFO] [stdout] test formulas::tests::literals::literals_test::test_atomic_formula ... ok
[INFO] [stdout] test formulas::tests::literals::literals_test::test_literals ... ok
[INFO] [stdout] test formulas::tests::literals::literals_test::test_hash ... ok
[INFO] [stdout] test formulas::tests::literals::literals_test::test_number_of_atoms ... ok
[INFO] [stdout] test formulas::tests::literals::literals_test::test_number_of_internal_nodes ... ok
[INFO] [stdout] test formulas::tests::literals::literals_test::test_negation ... ok
[INFO] [stdout] test formulas::tests::literals::literals_test::test_number_of_nodes ... ok
[INFO] [stdout] test formulas::tests::literals::literals_test::test_to_string ... ok
[INFO] [stdout] test formulas::tests::not::not_test::test_atomic_formula ... ok
[INFO] [stdout] test formulas::tests::literals::literals_test::test_type ... ok
[INFO] [stdout] test formulas::tests::literals::literals_test::test_variables ... ok
[INFO] [stdout] test formulas::tests::literals::literals_test::test_number_of_operands ... ok
[INFO] [stdout] test formulas::tests::not::not_test::test_creator ... ok
[INFO] [stdout] test formulas::tests::not::not_test::test_equals ... ok
[INFO] [stdout] test formulas::tests::not::not_test::test_number_of_atoms ... ok
[INFO] [stdout] test formulas::tests::not::not_test::test_hash ... ok
[INFO] [stdout] test formulas::tests::not::not_test::test_number_of_internal_nodes ... ok
[INFO] [stdout] test formulas::tests::not::not_test::test_getters ... ok
[INFO] [stdout] test formulas::tests::not::not_test::test_number_of_operands ... ok
[INFO] [stdout] test formulas::tests::not::not_test::test_number_of_nodes ... ok
[INFO] [stdout] test formulas::tests::not::not_test::test_to_string ... ok
[INFO] [stdout] test formulas::tests::not::not_test::test_literals ... ok
[INFO] [stdout] test formulas::tests::or::or_test::test_complementary_check ... ok
[INFO] [stdout] test formulas::tests::not::not_test::test_contains ... ok
[INFO] [stdout] test formulas::tests::not::not_test::test_variables ... ok
[INFO] [stdout] test formulas::tests::not::not_test::test_is_constant_formula ... ok
[INFO] [stdout] test formulas::tests::or::or_test::test_contains ... ok
[INFO] [stdout] test formulas::tests::or::or_test::test_atomic_formula ... ok
[INFO] [stdout] test formulas::tests::or::or_test::test_creator ... ok
[INFO] [stdout] test formulas::tests::or::or_test::test_hash ... ok
[INFO] [stdout] test formulas::tests::or::or_test::test_is_constant_formula ... ok
[INFO] [stdout] test formulas::tests::or::or_test::test_literals ... ok
[INFO] [stdout] test formulas::tests::or::or_test::test_equals ... ok
[INFO] [stdout] test formulas::tests::not::not_test::test_type ... ok
[INFO] [stdout] test formulas::tests::or::or_test::test_number_of_operands ... ok
[INFO] [stdout] test formulas::tests::or::or_test::test_number_of_internal_nodes ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_contains ... ok
[INFO] [stdout] test formulas::tests::or::or_test::test_to_string ... ok
[INFO] [stdout] test formulas::tests::or::or_test::test_number_of_nodes ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_is_amo ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_evaluate ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_create_cc_instead_of_pbc ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_is_constant ... ok
[INFO] [stdout] test formulas::tests::or::or_test::test_number_of_atoms ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_is_cnf ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_is_atomic ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_is_exo ... ok
[INFO] [stdout] test cardinality_constraints::tests::cc_incremental_formula_tests::test_simple_incremental_amk ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_is_dnf ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_negation_cc ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_literals ... ok
[INFO] [stdout] test formulas::tests::or::or_test::test_type ... ok
[INFO] [stdout] test formulas::tests::or::or_test::test_variables ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_is_nnf ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_contains_subformula ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_number_of_atoms ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_number_of_nodes ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_number_of_operands ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_restrict_inequality ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_simplified_to_string ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_negation_pbc ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_trivial_constant ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_variables ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_type_and_getters ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_restrict ... ok
[INFO] [stdout] test graphs::hypergraph::tests::test_center_of_gravity ... ok
[INFO] [stdout] test formulas::tests::restriction::restriction_tests::test_binary_restrict ... ok
[INFO] [stdout] test formulas::tests::restriction::restriction_tests::test_constant_restrict ... ok
[INFO] [stdout] test formulas::tests::restriction::restriction_tests::test_restrict_pbc_inequality ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_nnf ... ok
[INFO] [stdout] test formulas::tests::restriction::restriction_tests::test_restrict_pbc ... ok
[INFO] [stdout] test knowledge_compilation::bdd::bdd_cache::tests::test_cache ... ok
[INFO] [stdout] test formulas::tests::restriction::restriction_tests::test_literal_restrict ... ok
[INFO] [stdout] test formulas::tests::restriction::restriction_tests::test_not_restrict ... ok
[INFO] [stdout] test graphs::hypergraph_generator::tests::test_from_constants ... ok
[INFO] [stdout] test graphs::hypergraph_generator::tests::test_from_literals ... ok
[INFO] [stdout] test knowledge_compilation::bdd::bdd_prime::tests::test_is_prime ... ok
[INFO] [stdout] test graphs::hypergraph::tests::test_hypergraph ... ok
[INFO] [stdout] test formulas::tests::restriction::restriction_tests::test_nary_restrict ... ok
[INFO] [stdout] test knowledge_compilation::bdd::bdd_prime::tests::test_numb_of_bits ... ok
[INFO] [stdout] test knowledge_compilation::bdd::bdd_prime::tests::test_prime_gte ... ok
[INFO] [stdout] test knowledge_compilation::bdd::bdd_kernel::tests::create_kernel ... ok
[INFO] [stdout] test knowledge_compilation::bdd::bdd_construction::tests::test_simple_methods ... ok
[INFO] [stdout] test graphs::hypergraph_generator::tests::test_from_cnf ... ok
[INFO] [stdout] test knowledge_compilation::bdd::bdd_prime::tests::test_prime_lte ... ok
[INFO] [stdout] test cardinality_constraints::tests::alk_tests::test_alk ... ok
[INFO] [stdout] test graphs::hypergraph_generator::tests::test_from_clause ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_model_enumeration_test::tests::large_bdd_test ... ignored
[INFO] [stdout] test knowledge_compilation::bdd::orderings::bfs_ordering::tests::test_complex_formula ... ok
[INFO] [stdout] test knowledge_compilation::bdd::orderings::dfs_ordering::tests::test_complex_formula ... ok
[INFO] [stdout] test knowledge_compilation::bdd::orderings::bfs_ordering::tests::test_simple_formulas ... ok
[INFO] [stdout] test knowledge_compilation::bdd::orderings::dfs_ordering::tests::test_simple_formulas ... ok
[INFO] [stdout] test knowledge_compilation::bdd::orderings::force_ordering::tests::test_complex_formula ... ok
[INFO] [stdout] test knowledge_compilation::bdd::orderings::occurrence_ordering::tests::test_simple_formulas ... ok
[INFO] [stdout] test knowledge_compilation::bdd::orderings::occurrence_ordering::tests::test_complex_formula ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_contradiction ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_dnf ... ok
[INFO] [stdout] test knowledge_compilation::bdd::orderings::force_ordering::tests::test_simple_formulas ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_cnf ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_forall ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_enumerate_all_models ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_full_model ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_exists ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_enumerate_all_models_projected ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_model_for_variables ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_model ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_node_count ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_path_count ... ok
[INFO] [stdout] test knowledge_compilation::dnnf::dnnf_compiler::tests::test_all_small_formulas ... ignored
[INFO] [stdout] test knowledge_compilation::dnnf::dnnf_compiler::tests::test_large_formulas ... ignored
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_support ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_tautology ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_model_count ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_restrict ... ok
[INFO] [stdout] test knowledge_compilation::dnnf::dtree::dtree_generator::tests::test_dtree_generation ... ignored
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_variable_profile ... ok
[INFO] [stdout] test operations::functions::formula_depth_function::test::test_atoms ... ok
[INFO] [stdout] test operations::functions::formula_depth_function::test::test_cache ... ok
[INFO] [stdout] test operations::functions::formula_depth_function::test::test_deep_formulas ... ok
[INFO] [stdout] test operations::functions::formula_depth_function::test::test_deeper_formulas ... ok
[INFO] [stdout] test operations::functions::variable_profile_function::tests::test_variable_profile_simple ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_with_handler ... ok
[INFO] [stdout] test operations::functions::variable_profile_function::tests::test_variable_profile_complex ... ok
[INFO] [stdout] test operations::predicates::cnf::tests::test ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_operations_tests::tests::test_to_formula ... ok
[INFO] [stdout] test operations::functions::sub_node_function::tests::test ... ok
[INFO] [stdout] test operations::predicates::term::tests::test_maxterm ... ok
[INFO] [stdout] test operations::predicates::nnf::tests::test ... ok
[INFO] [stdout] test operations::predicates::dnf::tests::test ... ok
[INFO] [stdout] test operations::transformations::cnf::factorization::tests::test_constants ... ok
[INFO] [stdout] test operations::predicates::term::tests::test_clause ... ok
[INFO] [stdout] test operations::transformations::cnf::factorization::tests::test_with_handler ... ok
[INFO] [stdout] test operations::transformations::cnf::factorization::tests::test_binary_operators ... ok
[INFO] [stdout] test operations::predicates::term::tests::test_minterm ... ok
[INFO] [stdout] test operations::transformations::cnf::factorization::tests::test_literals ... ok
[INFO] [stdout] test operations::transformations::cnf::factorization::tests::test_not ... ok
[INFO] [stdout] test operations::transformations::cnf::factorization::tests::test_nary_operators ... ok
[INFO] [stdout] test operations::transformations::cnf::plaisted_greenbaum_on_formula::tests::test_constants ... ok
[INFO] [stdout] test operations::transformations::cnf::plaisted_greenbaum_on_formula::tests::test_binary_operators ... ok
[INFO] [stdout] test operations::transformations::cnf::plaisted_greenbaum_on_formula::tests::test_literals ... ok
[INFO] [stdout] test operations::transformations::cnf::plaisted_greenbaum_on_formula::tests::test_cc ... ok
[INFO] [stdout] test operations::transformations::cnf::plaisted_greenbaum_on_formula::tests::test_not_nary ... ok
[INFO] [stdout] test operations::transformations::cnf::plaisted_greenbaum_on_formula::tests::test_factorization ... ok
[INFO] [stdout] test operations::transformations::cnf::plaisted_greenbaum_on_formula::tests::test_formulas ... ok
[INFO] [stdout] test operations::transformations::cnf::plaisted_greenbaum_on_solver::tests::test_constants ... ok
[INFO] [stdout] test operations::transformations::cnf::plaisted_greenbaum_on_solver::tests::test_literals ... ok
[INFO] [stdout] test operations::transformations::cnf::plaisted_greenbaum_on_solver::tests::test_cc ... ok
[INFO] [stdout] test operations::transformations::cnf::plaisted_greenbaum_on_formula::tests::test_not_binary ... ok
[INFO] [stdout] test operations::transformations::cnf::plaisted_greenbaum_on_solver::tests::test_not_binary ... ok
[INFO] [stdout] test operations::transformations::cnf::plaisted_greenbaum_on_formula::tests::test_nary_operators ... ok
[INFO] [stdout] test operations::transformations::cnf::plaisted_greenbaum_on_solver::tests::test_formulas ... ok
[INFO] [stdout] test operations::transformations::cnf::plaisted_greenbaum_on_solver::tests::test_binary_operators ... ok
[INFO] [stdout] test operations::transformations::cnf::tests::test_advanced ... ok
[INFO] [stdout] test formulas::tests::pb_constraint::pb_constraint_tests::test_illegal_pb - should panic ... ok
[INFO] [stdout] test operations::transformations::cnf::tests::test_advanced_with_pg_fallback ... ok
[INFO] [stdout] test operations::transformations::cnf::factorization::tests::test_large_formula ... FAILED
[INFO] [stdout] test operations::transformations::cnf::tests::test_factorization ... ok
[INFO] [stdout] test operations::transformations::cnf::tseitin::tests::test_large_formula ... FAILED
[INFO] [stdout] test operations::transformations::cnf::tseitin::tests::test ... ok
[INFO] [stdout] test operations::transformations::cnf::plaisted_greenbaum_on_solver::tests::test_not_nary ... ok
[INFO] [stdout] test operations::transformations::cnf::plaisted_greenbaum_on_solver::tests::test_nary_operators ... ok
[INFO] [stdout] test operations::transformations::dnf::factorization::tests::test_constants ... ok
[INFO] [stdout] test operations::transformations::cnf::tests::test_cancellable_cnf ... ok
[INFO] [stdout] test operations::transformations::cnf::tests::test_pg ... ok
[INFO] [stdout] test operations::transformations::cnf::tests::test_tseitin ... ok
[INFO] [stdout] test operations::transformations::dnf::factorization::tests::test_not ... ok
[INFO] [stdout] test operations::transformations::dnf::factorization::tests::test_binary_operators ... ok
[INFO] [stdout] test operations::transformations::dnf::factorization::tests::test_nary_operators ... ok
[INFO] [stdout] test operations::transformations::nnf::tests::test_constants ... ok
[INFO] [stdout] test operations::transformations::dnf::factorization::tests::test_literals ... ok
[INFO] [stdout] test operations::transformations::dnf::factorization::tests::test_with_handler ... ok
[INFO] [stdout] test operations::transformations::nnf::tests::test_binary_operators ... ok
[INFO] [stdout] test operations::transformations::simplification::backbone_simplification::tests::test_real_backbones ... ok
[INFO] [stdout] test operations::transformations::substitution::tests::test_binary ... ok
[INFO] [stdout] test operations::transformations::nnf::tests::test_nary_operators ... ok
[INFO] [stdout] test operations::transformations::substitution::tests::test_literal ... ok
[INFO] [stdout] test operations::transformations::substitution::tests::test_constant ... ok
[INFO] [stdout] test operations::transformations::substitution::tests::test_cc ... ok
[INFO] [stdout] test operations::transformations::nnf::tests::test_literals ... ok
[INFO] [stdout] test operations::transformations::substitution::tests::test_nary ... ok
[INFO] [stdout] test operations::transformations::simplification::backbone_simplification::tests::test_trivial_backbones ... ok
[INFO] [stdout] test operations::transformations::substitution::tests::test_pbc ... ok
[INFO] [stdout] test operations::transformations::substitution::tests::test_not ... ok
[INFO] [stdout] test parser::pseudo_boolean_parser_test::test_number_literals ... ok
[INFO] [stdout] test parser::pseudo_boolean_parser_test::test_combination ... ok
[INFO] [stdout] test parser::pseudo_boolean_parser_test::test_parse_constants ... ok
[INFO] [stdout] test parser::pseudo_boolean_parser_test::test_parse_addition ... ok
[INFO] [stdout] test parser::pseudo_boolean_parser_test::test_parse_empty ... ok
[INFO] [stdout] test parser::pseudo_boolean_parser_test::test_parse_literals ... ok
[INFO] [stdout] test parser::pseudo_boolean_parser_test::test_parse_operators ... ok
[INFO] [stdout] test operations::transformations::substitution::tests::test_substitute_var ... ok
[INFO] [stdout] test operations::transformations::nnf::tests::test_not ... ok
[INFO] [stdout] test parser::pseudo_boolean_parser_test::test_parse_precedences ... ok
[INFO] [stdout] test parser::pseudo_boolean_parser_test::test_parse_multiplication ... ok
[INFO] [stdout] test solver::functions::model_enumeration::tests::test_model_enumeration_simple ... ok
[INFO] [stdout] test solver::functions::model_enumeration::tests::test_model_enumeration_does_not_alter_solver ... ok
[INFO] [stdout] test solver::functions::model_enumeration::tests::test_unknown_variable_not_occurring_in_model ... ok
[INFO] [stdout] test parser::pseudo_boolean_parser_test::test_illegal_input ... ok
[INFO] [stdout] test solver::functions::tests::backbone_function_tests::test_real_formula_incremental1 ... ignored
[INFO] [stdout] test solver::functions::tests::backbone_function_tests::test_real_formula_incremental2 ... ignored
[INFO] [stdout] test solver::functions::tests::backbone_function_tests::test_real_formula_incremental_decremental1 ... ignored
[INFO] [stdout] test solver::functions::tests::backbone_function_tests::test_real_formula_incremental_decremental2 ... ignored
[INFO] [stdout] test solver::functions::tests::backbone_function_tests::test_constant ... ok
[INFO] [stdout] test solver::functions::tests::backbone_function_tests::test_simple_backbones ... ok
[INFO] [stdout] test solver::functions::model_enumeration::tests::test_variables_removed_by_simplification_occurs_in_models ... ok
[INFO] [stdout] test solver::functions::tests::backbone_function_tests::test_simple_formulas ... ok
[INFO] [stdout] test operations::transformations::cnf::tests::test_bdd ... ok
[INFO] [stdout] test solver::functions::tests::formula_on_solver_tests::test_formula_on_solver_with_contradiction ... ok
[INFO] [stdout] test solver::functions::tests::optimization_function_tests::test_additional_variables ... ok
[INFO] [stdout] test solver::functions::tests::optimization_function_tests::test_exo_model ... ok
[INFO] [stdout] test solver::functions::tests::optimization_function_tests::test_large_formula_maximize ... ignored
[INFO] [stdout] test solver::functions::tests::optimization_function_tests::test_large_formula_minimize ... ignored
[INFO] [stdout] test solver::functions::tests::optimization_function_tests::test_larger_formula_maximize ... ignored
[INFO] [stdout] test solver::functions::tests::optimization_function_tests::test_larger_formula_minimize ... ignored
[INFO] [stdout] test solver::functions::tests::optimization_function_tests::test_random_small ... ignored
[INFO] [stdout] test solver::functions::tests::formula_on_solver_tests::test_formula_on_solver ... ok
[INFO] [stdout] test solver::functions::tests::optimization_function_tests::test_single_model ... ok
[INFO] [stdout] test solver::functions::tests::optimization_function_tests::test_unsat_formula ... ok
[INFO] [stdout] test solver::tests::assume_tests::test_assume ... ok
[INFO] [stdout] test solver::tests::inc_dec_tests::test_inc_dec_deep_1 - should panic ... ok
[INFO] [stdout] test solver::tests::inc_dec_tests::test_inc_dec_deep_2 - should panic ... ok
[INFO] [stdout] test solver::tests::inc_dec_tests::test_inc_dec_deep_3 - should panic ... ok
[INFO] [stdout] test solver::tests::inc_dec_tests::test_not_incremental_1 - should panic ... ok
[INFO] [stdout] test solver::tests::inc_dec_tests::test_not_incremental_2 - should panic ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_and1 ... ok
[INFO] [stdout] test solver::tests::inc_dec_tests::test_inc_dec ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_and2 ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_and3 ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_different_clause_minimizations ... ignored
[INFO] [stdout] test solver::tests::sat_tests::test_dimacs_files ... ignored
[INFO] [stdout] test solver::tests::sat_tests::test_dimacs_files_with_selection_order ... ignored
[INFO] [stdout] test solver::tests::sat_tests::test_empty_enumeration ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_false ... ok
[INFO] [stdout] test solver::functions::tests::optimization_function_tests::test_incrementality_minimize_and_maximize ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_formula1 ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_formula2 ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_formula3 ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_known_variables ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_literals ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_model_before_solving - should panic ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_model_enumeration ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_model_enumeration_with_additional_variables ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_partial_model ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_pbc ... ok
[INFO] [stdout] test cardinality_constraints::tests::exk_tests::test_exk ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_pigeon_hole_large ... ignored
[INFO] [stdout] test solver::tests::sat_tests::test_cc1 ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_selection_order_simple01 ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_selection_order_simple02 ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_true ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_pigeon_hole_with_reset ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_unknown_variable_not_occurring_in_model ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_up_zero_literals_dimacs_files ... ignored
[INFO] [stdout] test solver::tests::sat_tests::test_up_zero_literals_for_undef_state - should panic ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_up_zero_literals ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_up_zero_literals_unsat ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_variables_removed_by_simplification_occurs_in_models ... ok
[INFO] [stdout] test util::formula_randomizer::tests::test_amo ... ok
[INFO] [stdout] test cardinality_constraints::tests::amo_tests::test_amo_k ... ok
[INFO] [stdout] test pseudo_booleans::tests::pb_solver_test::test_pb_greater ... ok
[INFO] [stdout] test util::formula_randomizer::tests::test_constant ... ok
[INFO] [stdout] test util::formula_randomizer::tests::test_atom ... ok
[INFO] [stdout] test util::formula_randomizer::tests::test_determinism ... ok
[INFO] [stdout] test util::formula_randomizer::tests::test_exo ... ok
[INFO] [stdout] test cardinality_constraints::tests::exo_tests::test_exo_k ... ok
[INFO] [stdout] test util::formula_randomizer::tests::test_and ... ok
[INFO] [stdout] test util::formula_randomizer::tests::test_cc ... ok
[INFO] [stdout] test util::formula_randomizer::tests::test_literal ... ok
[INFO] [stdout] test knowledge_compilation::dnnf::dnnf_compiler::tests::test_trivial_formulas ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_number_of_models_handler ... ok
[INFO] [stdout] test util::formula_randomizer::tests::test_not ... ok
[INFO] [stdout] test util::formula_randomizer::tests::test_equiv ... ok
[INFO] [stdout] test util::formula_randomizer::tests::test_pbc ... ok
[INFO] [stdout] test util::formula_randomizer::tests::test_impl ... ok
[INFO] [stdout] test util::formula_randomizer::tests::test_or ... ok
[INFO] [stdout] test util::formula_randomizer::tests::test_variable ... ok
[INFO] [stdout] test solver::tests::sat_tests::test_pigeon_hole ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_model_enumeration_test::tests::test_amo ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_model_enumeration_test::tests::test_exo ... ok
[INFO] [stdout] test pseudo_booleans::tests::pb_solver_test::test_pb_eq ... ok
[INFO] [stdout] test pseudo_booleans::tests::pb_solver_test::test_pb_less ... ok
[INFO] [stdout] test knowledge_compilation::bdd::tests::bdd_model_enumeration_test::tests::test_exk ... ok
[INFO] [stdout] test util::formula_randomizer::tests::test_formula ... ok
[INFO] [stdout] test util::formula_randomizer::tests::test_formula_with_pbc ... ok
[INFO] [stdout] test cardinality_constraints::tests::amk_tests::test_amk ... ok
[INFO] [stdout] test pseudo_booleans::tests::pb_solver_test::test_pb_negative ... ok
[INFO] [stdout] test solver::functions::tests::optimization_function_tests::test_corner_cases ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- operations::transformations::cnf::factorization::tests::test_large_formula stdout ----
[INFO] [stdout] thread 'operations::transformations::cnf::factorization::tests::test_large_formula' panicked at src/operations/transformations/cnf/factorization.rs:211:59:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x560b5367bd85 - std::backtrace_rs::backtrace::libunwind::trace::he49dc9a9e3164223
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5
[INFO] [stdout]    1:     0x560b5367bd85 - std::backtrace_rs::backtrace::trace_unsynchronized::h3a3e77c68030aa6b
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x560b5367bd85 - std::sys_common::backtrace::_print_fmt::h9479ad2f99afd5d4
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:68:5
[INFO] [stdout]    3:     0x560b5367bd85 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::hfb01aa1fa3fb1821
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:44:22
[INFO] [stdout]    4:     0x560b536a35fb - core::fmt::rt::Argument::fmt::h125e56152abbc1c3
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/fmt/rt.rs:165:63
[INFO] [stdout]    5:     0x560b536a35fb - core::fmt::write::hb0ab4ff05ccfe741
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/fmt/mod.rs:1169:21
[INFO] [stdout]    6:     0x560b5367942f - std::io::Write::write_fmt::hea6336dbf2fa00b8
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/io/mod.rs:1835:15
[INFO] [stdout]    7:     0x560b5367bb5e - std::sys_common::backtrace::_print::h79ca548f3a2adf4b
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:47:5
[INFO] [stdout]    8:     0x560b5367bb5e - std::sys_common::backtrace::print::h9aebf997b2fea2d3
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:34:9
[INFO] [stdout]    9:     0x560b5367d4c9 - std::panicking::default_hook::{{closure}}::h68a0954af2694526
[INFO] [stdout]   10:     0x560b5367d21c - std::panicking::default_hook::h5be50cc6849ffb00
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:295:9
[INFO] [stdout]   11:     0x560b533c641f - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hd874405dcbd1d3ed
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/alloc/src/boxed.rs:2036:9
[INFO] [stdout]   12:     0x560b533c641f - test::test_main::{{closure}}::h4f26a9df34a84b94
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:137:21
[INFO] [stdout]   13:     0x560b5367dacb - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h00e96d9c62aa9a12
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/alloc/src/boxed.rs:2036:9
[INFO] [stdout]   14:     0x560b5367dacb - std::panicking::rust_panic_with_hook::h3c0df6036729334c
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:799:13
[INFO] [stdout]   15:     0x560b5367d844 - std::panicking::begin_panic_handler::{{closure}}::ha3a21e93c4cfd807
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:664:13
[INFO] [stdout]   16:     0x560b5367c249 - std::sys_common::backtrace::__rust_end_short_backtrace::h19508a8f8ae71dc9
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:171:18
[INFO] [stdout]   17:     0x560b5367d577 - rust_begin_unwind
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:652:5
[INFO] [stdout]   18:     0x560b52f50e53 - core::panicking::panic_fmt::h2ba8af99174d83ea
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/panicking.rs:72:14
[INFO] [stdout]   19:     0x560b52f513c6 - core::result::unwrap_failed::h52f3bbb78b59f71d
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/result.rs:1654:5
[INFO] [stdout]   20:     0x560b530e01fb - core::result::Result<T,E>::unwrap::h367e4339e287c259
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/result.rs:1077:23
[INFO] [stdout]   21:     0x560b530e01fb - logicng::operations::transformations::cnf::factorization::tests::test_large_formula::h938a5c4ef8f16cf9
[INFO] [stdout]                                at /opt/rustwide/workdir/src/operations/transformations/cnf/factorization.rs:211:37
[INFO] [stdout]   22:     0x560b530e0137 - logicng::operations::transformations::cnf::factorization::tests::test_large_formula::{{closure}}::h0a522e7b90662130
[INFO] [stdout]                                at /opt/rustwide/workdir/src/operations/transformations/cnf/factorization.rs:209:28
[INFO] [stdout]   23:     0x560b53127e96 - core::ops::function::FnOnce::call_once::hed0a4791cc9328fd
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x560b533cad3b - core::ops::function::FnOnce::call_once::h18c6bf92212b87a4
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x560b533cad3b - test::__rust_begin_short_backtrace::hdcf0edcfa9080086
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:625:18
[INFO] [stdout]   26:     0x560b533ca401 - test::run_test_in_process::{{closure}}::heac2c4eb375d2d10
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:648:60
[INFO] [stdout]   27:     0x560b533ca401 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h0289bafc8a1cc004
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   28:     0x560b533ca401 - std::panicking::try::do_call::h5e158f1ad8a5f983
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:559:40
[INFO] [stdout]   29:     0x560b533ca401 - std::panicking::try::hea3411d60321c4de
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:523:19
[INFO] [stdout]   30:     0x560b533ca401 - std::panic::catch_unwind::hafb7bb18bc47bbc7
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panic.rs:149:14
[INFO] [stdout]   31:     0x560b533ca401 - test::run_test_in_process::h74dd138dc7762d99
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:648:27
[INFO] [stdout]   32:     0x560b533ca401 - test::run_test::{{closure}}::h6b390822e63606cf
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:569:43
[INFO] [stdout]   33:     0x560b53392dd4 - test::run_test::{{closure}}::h6e11dba8131d354b
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:599:41
[INFO] [stdout]   34:     0x560b53392dd4 - std::sys_common::backtrace::__rust_begin_short_backtrace::ha71b3541b59bdbbb
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:155:18
[INFO] [stdout]   35:     0x560b533978a2 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hef92127c5ef9e53c
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/thread/mod.rs:542:17
[INFO] [stdout]   36:     0x560b533978a2 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h859c109f9d11c92b
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   37:     0x560b533978a2 - std::panicking::try::do_call::hbf534c458cd858f0
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:559:40
[INFO] [stdout]   38:     0x560b533978a2 - std::panicking::try::h65c18365a7b9ad90
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:523:19
[INFO] [stdout]   39:     0x560b533978a2 - std::panic::catch_unwind::h21b25d4c69478c39
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panic.rs:149:14
[INFO] [stdout]   40:     0x560b533978a2 - std::thread::Builder::spawn_unchecked_::{{closure}}::h23335f620275a9bf
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/thread/mod.rs:541:30
[INFO] [stdout]   41:     0x560b533978a2 - core::ops::function::FnOnce::call_once{{vtable.shim}}::hb491dc55513e9b7c
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x560b5368221b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h41b39260afcffdc9
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/alloc/src/boxed.rs:2022:9
[INFO] [stdout]   43:     0x560b5368221b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h6694c8dc6dd010c4
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/alloc/src/boxed.rs:2022:9
[INFO] [stdout]   44:     0x560b5368221b - std::sys::pal::unix::thread::Thread::new::thread_start::hf16038e1c8e19c99
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys/pal/unix/thread.rs:108:17
[INFO] [stdout]   45:     0x7f805e691ac3 - <unknown>
[INFO] [stdout]   46:     0x7f805e722a04 - __clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- operations::transformations::cnf::tseitin::tests::test_large_formula stdout ----
[INFO] [stdout] thread 'operations::transformations::cnf::tseitin::tests::test_large_formula' panicked at src/operations/transformations/cnf/tseitin.rs:108:85:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x560b5367bd85 - std::backtrace_rs::backtrace::libunwind::trace::he49dc9a9e3164223
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5
[INFO] [stdout]    1:     0x560b5367bd85 - std::backtrace_rs::backtrace::trace_unsynchronized::h3a3e77c68030aa6b
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x560b5367bd85 - std::sys_common::backtrace::_print_fmt::h9479ad2f99afd5d4
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:68:5
[INFO] [stdout]    3:     0x560b5367bd85 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::hfb01aa1fa3fb1821
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:44:22
[INFO] [stdout]    4:     0x560b536a35fb - core::fmt::rt::Argument::fmt::h125e56152abbc1c3
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/fmt/rt.rs:165:63
[INFO] [stdout]    5:     0x560b536a35fb - core::fmt::write::hb0ab4ff05ccfe741
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/fmt/mod.rs:1169:21
[INFO] [stdout]    6:     0x560b5367942f - std::io::Write::write_fmt::hea6336dbf2fa00b8
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/io/mod.rs:1835:15
[INFO] [stdout]    7:     0x560b5367bb5e - std::sys_common::backtrace::_print::h79ca548f3a2adf4b
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:47:5
[INFO] [stdout]    8:     0x560b5367bb5e - std::sys_common::backtrace::print::h9aebf997b2fea2d3
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:34:9
[INFO] [stdout]    9:     0x560b5367d4c9 - std::panicking::default_hook::{{closure}}::h68a0954af2694526
[INFO] [stdout]   10:     0x560b5367d21c - std::panicking::default_hook::h5be50cc6849ffb00
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:295:9
[INFO] [stdout]   11:     0x560b533c641f - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hd874405dcbd1d3ed
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/alloc/src/boxed.rs:2036:9
[INFO] [stdout]   12:     0x560b533c641f - test::test_main::{{closure}}::h4f26a9df34a84b94
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:137:21
[INFO] [stdout]   13:     0x560b5367dacb - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h00e96d9c62aa9a12
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/alloc/src/boxed.rs:2036:9
[INFO] [stdout]   14:     0x560b5367dacb - std::panicking::rust_panic_with_hook::h3c0df6036729334c
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:799:13
[INFO] [stdout]   15:     0x560b5367d844 - std::panicking::begin_panic_handler::{{closure}}::ha3a21e93c4cfd807
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:664:13
[INFO] [stdout]   16:     0x560b5367c249 - std::sys_common::backtrace::__rust_end_short_backtrace::h19508a8f8ae71dc9
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:171:18
[INFO] [stdout]   17:     0x560b5367d577 - rust_begin_unwind
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:652:5
[INFO] [stdout]   18:     0x560b52f50e53 - core::panicking::panic_fmt::h2ba8af99174d83ea
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/panicking.rs:72:14
[INFO] [stdout]   19:     0x560b52f513c6 - core::result::unwrap_failed::h52f3bbb78b59f71d
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/result.rs:1654:5
[INFO] [stdout]   20:     0x560b530e0b74 - core::result::Result<T,E>::unwrap::h3782bea0dd67410a
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/result.rs:1077:23
[INFO] [stdout]   21:     0x560b530e0b74 - logicng::operations::transformations::cnf::tseitin::tests::test_large_formula::h9266c1b3d79e93f6
[INFO] [stdout]                                at /opt/rustwide/workdir/src/operations/transformations/cnf/tseitin.rs:108:30
[INFO] [stdout]   22:     0x560b530e0ad7 - logicng::operations::transformations::cnf::tseitin::tests::test_large_formula::{{closure}}::hc26b99c17122929b
[INFO] [stdout]                                at /opt/rustwide/workdir/src/operations/transformations/cnf/tseitin.rs:107:28
[INFO] [stdout]   23:     0x560b53125016 - core::ops::function::FnOnce::call_once::ha298445e0ac52732
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x560b533cad3b - core::ops::function::FnOnce::call_once::h18c6bf92212b87a4
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x560b533cad3b - test::__rust_begin_short_backtrace::hdcf0edcfa9080086
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:625:18
[INFO] [stdout]   26:     0x560b533ca401 - test::run_test_in_process::{{closure}}::heac2c4eb375d2d10
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:648:60
[INFO] [stdout]   27:     0x560b533ca401 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h0289bafc8a1cc004
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   28:     0x560b533ca401 - std::panicking::try::do_call::h5e158f1ad8a5f983
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:559:40
[INFO] [stdout]   29:     0x560b533ca401 - std::panicking::try::hea3411d60321c4de
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:523:19
[INFO] [stdout]   30:     0x560b533ca401 - std::panic::catch_unwind::hafb7bb18bc47bbc7
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panic.rs:149:14
[INFO] [stdout]   31:     0x560b533ca401 - test::run_test_in_process::h74dd138dc7762d99
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:648:27
[INFO] [stdout]   32:     0x560b533ca401 - test::run_test::{{closure}}::h6b390822e63606cf
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:569:43
[INFO] [stdout]   33:     0x560b53392dd4 - test::run_test::{{closure}}::h6e11dba8131d354b
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:599:41
[INFO] [stdout]   34:     0x560b53392dd4 - std::sys_common::backtrace::__rust_begin_short_backtrace::ha71b3541b59bdbbb
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:155:18
[INFO] [stdout]   35:     0x560b533978a2 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hef92127c5ef9e53c
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/thread/mod.rs:542:17
[INFO] [stdout]   36:     0x560b533978a2 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h859c109f9d11c92b
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   37:     0x560b533978a2 - std::panicking::try::do_call::hbf534c458cd858f0
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:559:40
[INFO] [stdout]   38:     0x560b533978a2 - std::panicking::try::h65c18365a7b9ad90
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:523:19
[INFO] [stdout]   39:     0x560b533978a2 - std::panic::catch_unwind::h21b25d4c69478c39
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panic.rs:149:14
[INFO] [stdout]   40:     0x560b533978a2 - std::thread::Builder::spawn_unchecked_::{{closure}}::h23335f620275a9bf
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/thread/mod.rs:541:30
[INFO] [stdout]   41:     0x560b533978a2 - core::ops::function::FnOnce::call_once{{vtable.shim}}::hb491dc55513e9b7c
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x560b5368221b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h41b39260afcffdc9
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/alloc/src/boxed.rs:2022:9
[INFO] [stdout]   43:     0x560b5368221b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h6694c8dc6dd010c4
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/alloc/src/boxed.rs:2022:9
[INFO] [stdout]   44:     0x560b5368221b - std::sys::pal::unix::thread::Thread::new::thread_start::hf16038e1c8e19c99
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys/pal/unix/thread.rs:108:17
[INFO] [stdout]   45:     0x7f805e691ac3 - <unknown>
[INFO] [stdout]   46:     0x7f805e722a04 - __clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     operations::transformations::cnf::factorization::tests::test_large_formula
[INFO] [stdout]     operations::transformations::cnf::tseitin::tests::test_large_formula
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 446 passed; 2 failed; 28 ignored; 0 measured; 0 filtered out; finished in 3.16s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--lib`
[INFO] running `Command { std: "docker" "inspect" "f95523a797cddb98b7d93f309de36ef49760a53438ce69a52bce11fcce7ca2da", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f95523a797cddb98b7d93f309de36ef49760a53438ce69a52bce11fcce7ca2da", kill_on_drop: false }`
[INFO] [stdout] f95523a797cddb98b7d93f309de36ef49760a53438ce69a52bce11fcce7ca2da
