search

dependable-ai / nn-dependability-kit

Toolbox for software dependability engineering of artificial neural networks
GNU Affero General Public License v3.0
34 stars 9 forks source link

Figure out why I get SolverError on the VM #9

Closed georg-nuehrenberg closed 6 years ago

georg-nuehrenberg commented 6 years ago

grafik

chengchihhong commented 6 years ago

Sounds like you have solved some MILP problems as the indicator is making progress.

Georg Nührenberg notifications@github.com 於 2018年11月8日 週四 15:40寫道：

[image: grafik] https://user-images.githubusercontent.com/6159245/48205483-9aed0d80-e36c-11e8-9dfc-4404aab70a29.png

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/dependable-ai/nn-dependability-kit/issues/9, or mute the thread https://github.com/notifications/unsubscribe-auth/AThxx9g02SGsn1t0Asona8NGYnpvtrPzks5utEJcgaJpZM4YUzX3 .

georg-nuehrenberg commented 6 years ago

Okay, good to know. But very strange that then suddenly an error happens.

chengchihhong commented 6 years ago

Maybe again out of memory?

2018年11月8日 16:07，"Georg Nührenberg" notifications@github.com寫道：

Okay, good to know. But very strange that then suddenly an error happens.

— You are receiving this because you commented.

Reply to this email directly, view it on GitHub https://github.com/dependable-ai/nn-dependability-kit/issues/9#issuecomment-437028242, or mute the thread https://github.com/notifications/unsubscribe-auth/AThxxwTUMUmV09VVAv1UKYlSD0DSfsAZks5utEiUgaJpZM4YUzX3 .

georg-nuehrenberg commented 6 years ago

I will check it. My VM has 6gb of RAM

On Thu, Nov 8, 2018, 16:30 chengchihhong <notifications@github.com wrote:

Maybe again out of memory?

2018年11月8日 16:07，"Georg Nührenberg" notifications@github.com寫道：

Okay, good to know. But very strange that then suddenly an error happens.

— You are receiving this because you commented.

Reply to this email directly, view it on GitHub < https://github.com/dependable-ai/nn-dependability-kit/issues/9#issuecomment-437028242

, or mute the thread < https://github.com/notifications/unsubscribe-auth/AThxxwTUMUmV09VVAv1UKYlSD0DSfsAZks5utEiUgaJpZM4YUzX3

.

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/dependable-ai/nn-dependability-kit/issues/9#issuecomment-437037169, or mute the thread https://github.com/notifications/unsubscribe-auth/AF37jSP_NywTVBiO8AG2I2-Ril7opsmuks5utE4mgaJpZM4YUzX3 .

chengchihhong commented 6 years ago

Use two solvers GLPK and CBC in a pipiline fashion, such that if one solver crashes, the other continues.