Comments (1)
According to the tests on Yin-yang puzzle (of the edge test case), the former method can achieve a much better performance.
[Former]
Models : 0
Calls : 1
Time : 36.029s (Solving: 36.01s 1st Model: 0.00s Unsat: 36.01s)
CPU Time : 35.984s
Choices : 1069923
Conflicts : 835664 (Analyzed: 835663)
Restarts : 2045 (Average: 408.64 Last: 22398)
Problems : 1 (Average Length: 1.00 Splits: 0)
Lemmas : 969747 (Deleted: 942197)
Binary : 1182 (Ratio: 0.12%)
Ternary : 1756 (Ratio: 0.18%)
Conflict : 835663 (Average Length: 39.9 Ratio: 86.17%)
Loop : 134084 (Average Length: 38.6 Ratio: 13.83%)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Backjumps : 835663 (Average: 1.27 Max: 26 Sum: 1060207)
Executed : 835598 (Average: 1.27 Max: 26 Sum: 1060142 Ratio: 99.99%)
Bounded : 65 (Average: 1.00 Max: 1 Sum: 65 Ratio: 0.01%)
Rules : 10047
Choice : 91
Atoms : 5039
Bodies : 1265
Equivalences : 8277 (Atom=Atom: 4022 Body=Body: 18 Other: 4237)
Tight : No (SCCs: 2 Non-Hcfs: 0 Nodes: 790 Gammas: 0)
Variables : 921 (Eliminated: 0 Frozen: 921)
Constraints : 2689 (Binary: 69.9% Ternary: 20.8% Other: 9.3%)
[New]
Models : 0
Calls : 1
Time : 44.203s (Solving: 44.17s 1st Model: 0.00s Unsat: 44.17s)
CPU Time : 43.969s
Choices : 1224537
Conflicts : 937426 (Analyzed: 937425)
Restarts : 2092 (Average: 448.10 Last: 228)
Problems : 1 (Average Length: 1.00 Splits: 0)
Lemmas : 1095932 (Deleted: 1073908)
Binary : 805 (Ratio: 0.07%)
Ternary : 1046 (Ratio: 0.10%)
Conflict : 937425 (Average Length: 41.7 Ratio: 85.54%)
Loop : 158507 (Average Length: 38.8 Ratio: 14.46%)
Other : 0 (Average Length: 0.0 Ratio: 0.00%)
Backjumps : 937425 (Average: 1.29 Max: 14 Sum: 1213834)
Executed : 937363 (Average: 1.29 Max: 14 Sum: 1213772 Ratio: 99.99%)
Bounded : 62 (Average: 1.00 Max: 1 Sum: 62 Ratio: 0.01%)
Choice : 91
Atoms : 5345
Bodies : 1575
Equivalences : 9204 (Atom=Atom: 4344 Body=Body: 43 Other: 4817)
Tight : No (SCCs: 2 Non-Hcfs: 0 Nodes: 762 Gammas: 0)
Variables : 1191 (Eliminated: 0 Frozen: 1177)
Constraints : 3408 (Binary: 69.6% Ternary: 23.3% Other: 7.0%)
from noqx.
Related Issues (20)
- [refactor] 重构black white至统一颜色接口 HOT 1
- [Feature] Add initial condition for hitori and kuromasu HOT 1
- [Feature] make adjacent rule more flexible HOT 1
- [Refactor] separate puzzle-specific rules/constraints to their own workspaces HOT 1
- [Refactor] Create a uniform constructor for all connectivity structures HOT 2
- [Bug] Nonogram initial value conflicts with unsetting the last value
- [Feature] Conform to pzprv3 format HOT 2
- Performance is not good enough on large fillomino problems HOT 9
- [Enhancement?] Reduce the searching size of shading-relevant puzzles HOT 2
- [Bug] Onsen solver does not consider the empty circle case HOT 1
- [Feature/Bug] Slitherlink missing wolves and sheep separation
- The Nonogram UI and Yajikazu UI should be fixed HOT 1
- [Feature/Bug] Support near number hashi puzzles
- [Dev/Bug] Fivecells/Fourcells diverge HOT 1
- [Bug] Shikaku optimization doesn't consider all rectangles has only one number HOT 1
- [Refactor] parameter change for count-relevant functions
- [Refactor/Feature] Support solver inheritance HOT 1
- [Deps] Change to FastAPI/starlette backend
- [Refactor] refactor on the javascript loading process HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from noqx.