use view_values for faster rm!

[codecov[bot]]

Codecov Report

Merging #214 (db67876) into master (7055b7d) will not change coverage. The diff coverage is 100.00%.

@@           Coverage Diff           @@
##           master     #214   +/-   ##
=======================================
  Coverage   96.64%   96.64%           
=======================================
  Files          36       36           
  Lines        3163     3163           
=======================================
  Hits         3057     3057           
  Misses        106      106           

Impacted Files	Coverage Δ
src/Variable.jl	95.83% <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 7055b7d...db67876. Read the comment docs.

[Wikunia]

Benchmark Report for ConstraintSolver

Job Properties

• Time of benchmarks:
  • Target: 10 Dec 2020 - 22:40
  • Baseline: 10 Dec 2020 - 22:51
• Package commits:
  • Target: db6787
  • Baseline: 7055b7
• Julia commits:
  • Target: 96786e
  • Baseline: 96786e
• 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.99 (5%)	0.95 (1%) :white_check_mark:
["eternity", "6x5"]	0.97 (5%)	0.93 (1%) :white_check_mark:
["killer_sudoku", "niall_5500"]	0.99 (5%)	0.98 (1%) :white_check_mark:
["killer_sudoku", "niall_5500_special"]	0.98 (5%)	0.98 (1%) :white_check_mark:
["killer_sudoku", "niall_5501"]	0.99 (5%)	0.98 (1%) :white_check_mark:
["killer_sudoku", "niall_5501_special"]	0.98 (5%)	0.98 (1%) :white_check_mark:
["sudoku", "top95_1"]	0.99 (5%)	0.94 (1%) :white_check_mark:
["sudoku", "top95_11"]	0.99 (5%)	0.96 (1%) :white_check_mark:
["sudoku", "top95_16"]	0.99 (5%)	0.96 (1%) :white_check_mark:
["sudoku", "top95_21"]	0.99 (5%)	0.94 (1%) :white_check_mark:
["sudoku", "top95_26"]	0.99 (5%)	0.94 (1%) :white_check_mark:
["sudoku", "top95_31"]	0.99 (5%)	0.96 (1%) :white_check_mark:
["sudoku", "top95_36"]	0.99 (5%)	0.94 (1%) :white_check_mark:
["sudoku", "top95_41"]	0.99 (5%)	0.95 (1%) :white_check_mark:
["sudoku", "top95_46"]	0.99 (5%)	0.95 (1%) :white_check_mark:
["sudoku", "top95_51"]	0.99 (5%)	0.96 (1%) :white_check_mark:
["sudoku", "top95_56"]	0.99 (5%)	0.96 (1%) :white_check_mark:
["sudoku", "top95_6"]	0.99 (5%)	0.94 (1%) :white_check_mark:
["sudoku", "top95_61"]	0.99 (5%)	0.95 (1%) :white_check_mark:
["sudoku", "top95_66"]	0.99 (5%)	0.97 (1%) :white_check_mark:
["sudoku", "top95_71"]	0.99 (5%)	0.95 (1%) :white_check_mark:
["sudoku", "top95_76"]	0.99 (5%)	0.95 (1%) :white_check_mark:
["sudoku", "top95_81"]	0.99 (5%)	0.96 (1%) :white_check_mark:
["sudoku", "top95_86"]	0.99 (5%)	0.96 (1%) :white_check_mark:
["sudoku", "top95_91"]	0.99 (5%)	0.96 (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.5.0
Commit 96786e22cc (2020-08-01 23:44 UTC)
Platform Info:
  OS: Linux (x86_64-pc-linux-gnu)
      "Arch Linux"
  uname: Linux 5.9.12-arch1-1 #1 SMP PREEMPT Wed, 02 Dec 2020 16:14:56 +0000 x86_64 unknown
  CPU: Intel(R) Xeon(R) CPU E5-1650 0 @ 3.20GHz: 
                 speed         user         nice          sys         idle          irq
       #1-12  2393 MHz      72933 s          0 s       3459 s    1241990 s        290 s

  Memory: 46.98862838745117 GB (45020.2265625 MB free)
  Uptime: 1100.0 sec
  Load Avg:  1.02978515625  1.0  0.64013671875
  WORD_SIZE: 64
  LIBM: libopenlibm
  LLVM: libLLVM-9.0.1 (ORCJIT, sandybridge)

Baseline

Julia Version 1.5.0
Commit 96786e22cc (2020-08-01 23:44 UTC)
Platform Info:
  OS: Linux (x86_64-pc-linux-gnu)
      "Arch Linux"
  uname: Linux 5.9.12-arch1-1 #1 SMP PREEMPT Wed, 02 Dec 2020 16:14:56 +0000 x86_64 unknown
  CPU: Intel(R) Xeon(R) CPU E5-1650 0 @ 3.20GHz: 
                 speed         user         nice          sys         idle          irq
       #1-12  1963 MHz     140157 s          0 s       5765 s    1996286 s        470 s

  Memory: 46.98862838745117 GB (46047.921875 MB free)
  Uptime: 1786.0 sec
  Load Avg:  1.06494140625  1.09033203125  0.91455078125
  WORD_SIZE: 64
  LIBM: libopenlibm
  LLVM: libLLVM-9.0.1 (ORCJIT, sandybridge)