| ID | 1036 | |||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Title | Better estimate merging for duplicate vars in clausesel.c | |||||||||||||||||||||||||||||||||
| CI (CFBot) | Not processed | |||||||||||||||||||||||||||||||||
| Stats (from CFBot) | Unknown | |||||||||||||||||||||||||||||||||
| Topic | Performance | |||||||||||||||||||||||||||||||||
| Tags | ||||||||||||||||||||||||||||||||||
| Created | 2017-02-26 20:12:33 | |||||||||||||||||||||||||||||||||
| Last modified | 2017-10-02 09:59:15 (8 years ago) | |||||||||||||||||||||||||||||||||
| Latest email | 2017-10-02 09:58:53 (8 years ago) | |||||||||||||||||||||||||||||||||
| Status |
2017-09 (2017-09-01 – 2017-09-30): Returned with feedback
2017-03 (2017-03-01 – 2017-03-31): Moved to different CF
|
|||||||||||||||||||||||||||||||||
| Target version | ||||||||||||||||||||||||||||||||||
| Authors | David Rowley (davidrowley) | |||||||||||||||||||||||||||||||||
| Reviewers | Claudio Freire (klaussfreire)Become reviewer | |||||||||||||||||||||||||||||||||
| Committer | ||||||||||||||||||||||||||||||||||
| Links | ||||||||||||||||||||||||||||||||||
| Emails |
|
|||||||||||||||||||||||||||||||||
| History |
|