pruning in EqualSet

[Wikunia]

Fixes #153

[codecov[bot]]

Codecov Report

Merging #160 into master will decrease coverage by 0.22%. The diff coverage is 90.00%.

@@            Coverage Diff             @@
##           master     #160      +/-   ##
==========================================
- Coverage   98.93%   98.71%   -0.23%     
==========================================
  Files          31       31              
  Lines        2433     2482      +49     
==========================================
+ Hits         2407     2450      +43     
- Misses         26       32       +6     

Flag	Coverage Δ
#unittests	98.71% <90.00%> (-0.23%)	:arrow_down:

Impacted Files	Coverage Δ
src/hashes.jl	100.00% <ø> (ø)
src/constraints/not_equal.jl	96.15% <80.00%> (-0.15%)	:arrow_down:
src/constraints/equal.jl	90.69% <86.84%> (-5.31%)	:arrow_down:
src/MOI_wrapper/constraints.jl	100.00% <100.00%> (ø)
src/Variable.jl	97.82% <100.00%> (+0.09%)	:arrow_up:
src/types.jl	100.00% <100.00%> (ø)

---

Continue to review full report at Codecov.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update cb5a566...24dd34c. Read the comment docs.

[Wikunia]

Benchmark Report for ConstraintSolver

Job Properties

• Time of benchmarks:
  • Target: 10 May 2020 - 21:55
  • Baseline: 10 May 2020 - 22:00
• Package commits:
  • Target: 94275e
  • Baseline: cb5a56
• Julia commits:
  • Target: b8e9a9
  • Baseline: b8e9a9
• Julia command flags:
  • Target: -O3
  • Baseline: -O3
• Environment variables:
  • Target: None
  • Baseline: None

Results

A ratio greater than 1.0 denotes a possible regression (marked with :x:), while a ratio less than 1.0 denotes a possible improvement (marked with :white_check_mark:). Only significant results - results that indicate possible regressions or improvements - are shown below (thus, an empty table means that all benchmark results remained invariant between builds).

ID	time ratio	memory ratio
["eternity", "5x5_all"]	0.73 (5%) :white_check_mark:	0.71 (1%) :white_check_mark:
["eternity", "6x5"]	0.92 (5%) :white_check_mark:	0.88 (1%) :white_check_mark:
["graph_coloring", "US_50colors"]	0.89 (5%) :white_check_mark:	0.98 (1%) :white_check_mark:
["graph_coloring", "US_50colors+equal"]	0.87 (5%) :white_check_mark:	1.02 (1%) :x:
["graph_coloring", "US_8+equal"]	0.87 (5%) :white_check_mark:	0.99 (1%) :white_check_mark:

Benchmark Group List

Here's a list of all the benchmark groups executed by this job:

• ["eternity"]
• ["graph_coloring"]
• ["killer_sudoku"]
• ["lp"]
• ["sudoku"]

Julia versioninfo

Target

Julia Version 1.4.0
Commit b8e9a9ecc6 (2020-03-21 16:36 UTC)
Platform Info:
  OS: Linux (x86_64-pc-linux-gnu)
  uname: Linux 5.5.13-arch2-1 #1 SMP PREEMPT Mon, 30 Mar 2020 20:42:41 +0000 x86_64 unknown
  CPU: Intel(R) Xeon(R) CPU E5-1650 0 @ 3.20GHz: 
                 speed         user         nice          sys         idle          irq
       #1-12  2088 MHz     415480 s        123 s      49418 s   17652938 s       7067 s

  Memory: 46.993896484375 GB (41306.13671875 MB free)
  Uptime: 15121.0 sec
  Load Avg:  1.310546875  1.04931640625  0.740234375
  WORD_SIZE: 64
  LIBM: libopenlibm
  LLVM: libLLVM-8.0.1 (ORCJIT, sandybridge)

Baseline

Julia Version 1.4.0
Commit b8e9a9ecc6 (2020-03-21 16:36 UTC)
Platform Info:
  OS: Linux (x86_64-pc-linux-gnu)
  uname: Linux 5.5.13-arch2-1 #1 SMP PREEMPT Mon, 30 Mar 2020 20:42:41 +0000 x86_64 unknown
  CPU: Intel(R) Xeon(R) CPU E5-1650 0 @ 3.20GHz: 
                 speed         user         nice          sys         idle          irq
       #1-12  1748 MHz     447238 s        123 s      50423 s   17990451 s       7176 s

  Memory: 46.993896484375 GB (41322.43359375 MB free)
  Uptime: 15430.0 sec
  Load Avg:  1.83349609375  1.41943359375  0.98486328125
  WORD_SIZE: 64
  LIBM: libopenlibm
  LLVM: libLLVM-8.0.1 (ORCJIT, sandybridge)