Package evaluation of BinaryDecisionDiagrams on Julia 1.13.0-DEV.449 (8d6b63c3a6*) started at 2025-04-28T23:05:30.571


################################################################################
# Set-up
#

Installing PkgEval dependencies (TestEnv)...

Set-up completed after 7.72s


################################################################################
# Installation
#

Installing BinaryDecisionDiagrams...
   Resolving package versions...
    Updating `~/.julia/environments/v1.13/Project.toml`
  [cd45f48d] + BinaryDecisionDiagrams v0.1.8
    Updating `~/.julia/environments/v1.13/Manifest.toml`
  [cd45f48d] + BinaryDecisionDiagrams v0.1.8
  [2a0f44e3] + Base64 v1.11.0
  [b77e0a4c] + InteractiveUtils v1.11.0
  [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0
  [56ddb016] + Logging v1.11.0
  [d6f4376e] + Markdown v1.11.0
  [9a3f8284] + Random v1.11.0
  [ea8e919c] + SHA v0.7.0
  [9e88b42a] + Serialization v1.11.0
  [f489334b] + StyledStrings v1.11.0
  [8dfed614] + Test v1.11.0

Installation completed after 0.81s


################################################################################
# Precompilation
#

Precompiling PkgEval dependencies...

Precompiling package dependencies...

Precompilation completed after 13.18s


################################################################################
# Testing
#

     Testing BinaryDecisionDiagrams
      Status `/tmp/jl_yjfliS/Project.toml`
  [cd45f48d] BinaryDecisionDiagrams v0.1.8
  [9a3f8284] Random v1.11.0
  [8dfed614] Test v1.11.0
      Status `/tmp/jl_yjfliS/Manifest.toml`
  [cd45f48d] BinaryDecisionDiagrams v0.1.8
  [2a0f44e3] Base64 v1.11.0
  [b77e0a4c] InteractiveUtils v1.11.0
  [ac6e5ff7] JuliaSyntaxHighlighting v1.12.0
  [56ddb016] Logging v1.11.0
  [d6f4376e] Markdown v1.11.0
  [9a3f8284] Random v1.11.0
  [ea8e919c] SHA v0.7.0
  [9e88b42a] Serialization v1.11.0
  [f489334b] StyledStrings v1.11.0
  [8dfed614] Test v1.11.0
     Testing Running tests...
Test Summary: | Pass  Total  Time
Valuations    | 6576   6576  3.4s
Test Summary: | Pass  Total  Time
Conjunctions  |   72     72  4.0s
Test Summary: | Pass  Total  Time
Convals       |   96     96  0.7s
Test Summary: | Pass  Total  Time
Terminal ⊤    |   14     14  0.3s
Test Summary: | Pass  Total  Time
Terminal ⊥    |   14     14  0.0s
Test Summary: | Pass  Total  Time
Variable      |   63     63  0.2s
Test Summary:       | Pass  Total  Time
Forced construction |   98     98  0.0s
Test Summary: | Pass  Total  Time
Reduce        |   10     10  0.3s
Test Summary: | Pass  Total  Time
Restrict      | 7524   7524  1.8s
Test Summary: | Pass  Total  Time
Evaluation    |  124    124  1.4s
Test Summary: | Pass  Total  Time
Negate        |   22     22  0.3s
Test Summary: | Pass  Total  Time
Conjunction   |   68     68  0.2s
Test Summary: | Pass  Total  Time
Disjunction   |   68     68  0.1s
Test Summary: | Pass  Total  Time
XOR           |   38     38  0.1s
Test Summary: | Pass  Total  Time
Implication   |  207    207  0.1s
Test Summary:           | Pass  Total  Time
Equality and inequality |   16     16  0.1s
Test Summary: | Pass  Total  Time
Iterators     |   12     12  0.4s
Test Summary: | Pass  Total  Time
Hash function |   36     36  0.7s
Test Summary:         | Pass  Total  Time
Shannon decomposition |   37     37  0.5s
Test Summary:      | Pass  Total  Time
Copy and deep copy |   12     12  0.0s
Test Summary:         | Pass  Total  Time
String representation |    6      6  0.1s
Test Summary: | Pass  Total  Time
Elimination   |  305    305  2.2s
Test Summary:   | Pass  Total  Time
Marginalization |  105    105  0.4s
Test Summary: | Pass  Total  Time
Scope         |   30     30  0.0s
Test Summary: | Pass  Total  Time
Mentions      |  576    576  1.1s
Test Summary:  | Pass  Total  Time
Literal vector |   10     10  0.5s
Test Summary:      | Pass  Total  Time
Literal conversion |  100    100  0.1s
Test Summary: | Pass  Total  Time
At least      |   44     44  0.4s
Test Summary: | Pass  Total  Time
At most       |   44     44  0.2s
Test Summary: | Pass  Total  Time
Exactly       |   88     88  0.7s
Test Summary: | Pass  Total  Time
Size          |   14     14  0.1s
Test Summary:          | Pass  Total  Time
Valuations as a Matrix | 2192   2192  0.3s
Test Summary:                   | Pass  Total  Time
Value of literal in conjunction | 1078   1078  0.3s
Test Summary:             | Pass  Total  Time
Pretty print conjunctions |    5      5  0.1s
Test Summary: | Pass  Total  Time
Parallelism   |  578    578  1.9s
Test Summary: | Pass  Total  Time
Post-order    |  271    271  0.3s
Test Summary:     | Pass  Total  Time
Load and save CNF |   40     40  2.5s
Test Summary:     | Pass  Total  Time
Load and save DNF |   40     40  1.2s
Test Summary:     | Pass  Total  Time
Save and load BDD |   11     11  0.4s
Test Summary: | Pass  Total  Time
Forget        |  134    134  0.0s
Test Summary:        | Pass  Total  Time
Variable frequencies |    8      8  1.1s
     Testing BinaryDecisionDiagrams tests passed 

Testing completed after 41.28s

PkgEval succeeded after 76.28s