test-suite/success/Nsatz.v | 2 2 + 0 - 0 !
1 file changed, 2 insertions(+)

 test-suite/success/nsatz.v: comment out ceva

This lemma uses too much memory for many buildds...

test-suite/bugs/closed/4366.v | 15 0 + 15 - 0 !
1 file changed, 15 deletions(-)

 remove test 4366 (too picky on the timeout)

test-suite/bugs/closed/4429.v | 31 0 + 31 - 0 !
1 file changed, 31 deletions(-)

 remove test 4429

test-suite/bugs/closed/3441.v | 23 0 + 23 - 0 !
test-suite/bugs/closed/4811.v | 1685 0 + 1685 - 0 !
2 files changed, 1708 deletions(-)

 remove 3441.v and 4811.v due to timeout on small platforms

test-suite/bugs/closed/5127.v | 15 0 + 15 - 0 !
1 file changed, 15 deletions(-)

 5127 fails on mips