Narazaki, Shuji
Narazaki, Shuji
Since `jumplist_picker` doesn't update screen, we need to do one action to get the correct view. So I added 'align_view' to the callback like `jump_backward`.
- [x] fix #188 - [x] merge #190 - [x] new rewarding system #187 - [x] `Certificate` handles empty clauses correctly #191 - [x] fix stage calculations #194 - [x]...
```rust struct LubyIterator { cycle_goal: usize, cycle_peak: usize, segment_goal: usize, segment_peak: usize, indices: (usize, usize, usize), } ``` It does not work. $O(n)$ should be enough. If you dislike it,...
baseline ``` # 0.14.2, timeout:2000 on demorgan @ 2022-11-06T08:50:17 # ~/.cargo/bin/splr (0.17.0-alpha.7) @ 2022-11-06T08:45:54 solver, num, target, time "splr", 1, "UF250(100)", 50.882 "splr", 2, "UUF250(100)", 171.649 "splr", 3, "3SAT/360 S722433227-030",...
1st attempt using last conflict time ``` 10pipe_k.cnf 67300,3601247 |time: 5159.23 #conflict: 1684303, #decision: 23335391, #propagate: 2897705536 Assignment|#rem: 42032, #fix: 10804, #elm: 14464, prg%: 37.5453 Clause|Remv: 73635, LBD2: 115, BinC:...
To weigh a hot spot. ___Same conclusion from other perspectives___. - reward literals only on _reason side_ - sort propagated but not propagating literals based on the time of the...
- [ ] read the relevant section of _The Art of Comp. Prog._ again - [x] read a paper - [x] read another paper - [ ] find some tutorial...
- [x] reason at 0.14 - [x] wacch list at 0.12 - [ ] cab