]>
2018-06-15 | Claudio Sacerdoti... | Diverging problem + variation that steps on irrelevant arg | blob | commitdiff | raw |
2018-06-15 | Claudio Sacerdoti... | Two problems where the measure does not decrease :-( | blob | commitdiff | raw | diff to current |
2018-06-15 | acondolu | More evil problems | blob | commitdiff | raw |
2018-06-11 | acondolu | Real evil problem found! | blob | commitdiff | raw | diff to current |