Bdd/relprod/quality of life #689
Conversation
…oads Often, one uses an interleaved variable ordering. For such cases, we may as well just write the lambda for you to ease-of-use.
…on, varcount)' overloads While maybe not as good in practice as the interleaved ordering, it is used in quite a few academic texts (see the referenced unit tests and also the paper on Knor by Tom van Dijk)
SSoelvsten
added
✨ feature
🟡 Regression Test (Picotrav 'arbiter')'ssoelvsten/adiar/bdd/relprod/quality_of_life' is a change in performance of -0.11% (stdev: 0.24%).
Number of samples: 3 |
🟡 Regression Test (QBF 'breakthrough_dual/3x6_10_bwnib')'ssoelvsten/adiar/bdd/relprod/quality_of_life' is a change in performance of 0.45% (stdev: 0.89%).
Number of samples: 5 |
🟡 Regression Test (Picotrav 'adder')'ssoelvsten/adiar/bdd/relprod/quality_of_life' is a change in performance of -0.08% (stdev: 0.61%).
Number of samples: 5 |
🟡 Regression Test (QBF 'ep/8x8_7_e-8-1_p-3-4_bwnib')'ssoelvsten/adiar/bdd/relprod/quality_of_life' is a change in performance of -0.69% (stdev: 0.47%).
Number of samples: 4 |
🟡 Regression Test (QBF 'httt/4x4_9_tippy_bwnib')'ssoelvsten/adiar/bdd/relprod/quality_of_life' is a change in performance of 0.08% (stdev: 3.49%).
Number of samples: 5 |
🟡 Regression Test (QBF 'ep_dual/8x8_6_e-8-1_p-2-3_bwnib')'ssoelvsten/adiar/bdd/relprod/quality_of_life' is a change in performance of -0.73% (stdev: 3.68%).
Number of samples: 5 |
🟡 Regression Test (12-Queens)'ssoelvsten/adiar/bdd/relprod/quality_of_life' is a change in performance of 1.05% (stdev: 1.37%).
Number of samples: 5 |
🟡 Regression Test (QBF 'connect4/6x6_11_connect4_bwnib')'ssoelvsten/adiar/bdd/relprod/quality_of_life' is a change in performance of 0.07% (stdev: 0.46%).
Number of samples: 5 |
🟡 Regression Test (QBF 'domineering/5x5_13_bwnib')'ssoelvsten/adiar/bdd/relprod/quality_of_life' is a change in performance of 0.01% (stdev: 0.57%).
Number of samples: 5 |
🟡 Regression Test (QBF 'breakthrough/3x4_19_bwnib')'ssoelvsten/adiar/bdd/relprod/quality_of_life' is a change in performance of 0.05% (stdev: 0.26%).
Number of samples: 5 |
🟡 Regression Test (QBF 'hex/hein_08_5x5-11_bwnib')'ssoelvsten/adiar/bdd/relprod/quality_of_life' is a change in performance of -0.44% (stdev: 0.50%).
Number of samples: 5 |
🟡 Regression Test (Picotrav 'mem_ctrl')'ssoelvsten/adiar/bdd/relprod/quality_of_life' is a change in performance of 0.26% (stdev: 0.31%).
Number of samples: 3 |
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## main #689 +/- ##
=============================================
+ Coverage 98.033% 98.040% +0.007%
=============================================
Files 93 93
Lines 7067 7093 +26
=============================================
+ Hits 6928 6954 +26
Misses 139 139 ☔ View full report in Codecov by Sentry. |
🟡 Regression Test (14-Queens)'ssoelvsten/adiar/bdd/relprod/quality_of_life' is a change in performance of -0.28% (stdev: 0.56%).
Number of samples: 3 |
Closes #682