Wikunia / ConstraintSolver.jl

ConstraintSolver in Julia: Blog posts ->
https://opensourc.es/blog/constraint-solver-1
MIT License
136 stars 13 forks source link

Activate bool constraint #258

Closed Wikunia closed 3 years ago

Wikunia commented 3 years ago
codecov[bot] commented 3 years ago

Codecov Report

Merging #258 (9415028) into master (5949f1c) will increase coverage by 0.16%. The diff coverage is 97.22%.

Impacted file tree graph

@@            Coverage Diff             @@
##           master     #258      +/-   ##
==========================================
+ Coverage   96.50%   96.66%   +0.16%     
==========================================
  Files          49       49              
  Lines        3806     3842      +36     
==========================================
+ Hits         3673     3714      +41     
+ Misses        133      128       -5     
Impacted Files Coverage Δ
src/util.jl 97.50% <90.00%> (-1.08%) :arrow_down:
src/constraints/and.jl 100.00% <100.00%> (ø)
src/constraints/boolset.jl 100.00% <100.00%> (ø)
src/constraints/or.jl 97.82% <100.00%> (+0.09%) :arrow_up:
src/type_inits.jl 95.23% <100.00%> (+0.36%) :arrow_up:
src/types.jl 81.08% <100.00%> (+0.17%) :arrow_up:
src/constraints/table.jl 100.00% <0.00%> (+0.76%) :arrow_up:
src/traversing.jl 96.55% <0.00%> (+1.14%) :arrow_up:
src/Variable.jl 100.00% <0.00%> (+2.08%) :arrow_up:
src/constraints/not_equal.jl 100.00% <0.00%> (+2.22%) :arrow_up:

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 5949f1c...388cd2d. Read the comment docs.

Wikunia commented 3 years ago

Benchmark Report for ConstraintSolver

Job Properties

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
["killer_sudoku", "niall_5501_ABS"] 1.00 (5%) 1.01 (1%) :x:
["scheduling", "all_different_except_0_len10"] 1.01 (5%) 1.03 (1%) :x:
["scheduling", "all_different_except_0_len12"] 1.06 (5%) :x: 1.04 (1%) :x:
["scheduling", "furniture_moving"] 1.05 (5%) :x: 1.03 (1%) :x:

Benchmark Group List

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

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.14-arch1-1 #1 SMP PREEMPT Sat, 12 Dec 2020 14:37:12 +0000 x86_64 unknown
  CPU: Intel(R) Xeon(R) CPU E5-1650 0 @ 3.20GHz: 
                 speed         user         nice          sys         idle          irq
       #1-12  3694 MHz    8300584 s     514385 s    4414627 s  6359111358 s     724664 s

  Memory: 46.9886360168457 GB (1119.74609375 MB free)
  Uptime: 5.312775e6 sec
  Load Avg:  1.126953125  1.09326171875  0.72021484375
  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.14-arch1-1 #1 SMP PREEMPT Sat, 12 Dec 2020 14:37:12 +0000 x86_64 unknown
  CPU: Intel(R) Xeon(R) CPU E5-1650 0 @ 3.20GHz: 
                 speed         user         nice          sys         idle          irq
       #1-12  1463 MHz    8381897 s     514385 s    4417065 s  6360021655 s     724852 s

  Memory: 46.9886360168457 GB (991.30078125 MB free)
  Uptime: 5.313604e6 sec
  Load Avg:  1.4208984375  1.14404296875  0.9765625
  WORD_SIZE: 64
  LIBM: libopenlibm
  LLVM: libLLVM-9.0.1 (ORCJIT, sandybridge)