add SV-COMP 2024 medals and publication to index.md #206

Job	Run time
Ubuntu 64-bit (ubuntu-20.04, 6.0, gcc)	23m 24s
Ubuntu 64-bit (ubuntu-20.04, 7, gcc)	23m 25s
Ubuntu 64-bit (ubuntu-20.04, 8, gcc)	23m 54s
Ubuntu 64-bit (ubuntu-20.04, 9, gcc)	23m 42s
Ubuntu 64-bit (ubuntu-20.04, 10, gcc)	23m 55s
Ubuntu 64-bit (ubuntu-20.04, 10, gcc, Debug)	4m 38s
Ubuntu 64-bit (ubuntu-20.04, 11, gcc, no-klee)	16m 56s
Ubuntu 64-bit (ubuntu-20.04, 12, gcc, no-klee)	17m 6s
Ubuntu 64-bit (ubuntu-22.04, 13, gcc, no-klee)	4m 50s
Ubuntu 64-bit (ubuntu-20.04, 6.0, clang)	4m 41s
Ubuntu 64-bit (ubuntu-20.04, 7, clang)	4m 17s
Ubuntu 64-bit (ubuntu-20.04, 8, clang)	13m 5s
Ubuntu 64-bit (ubuntu-20.04, 9, clang)	4m 23s
Ubuntu 64-bit (ubuntu-20.04, 10, clang)	11m 28s
Ubuntu 64-bit (ubuntu-20.04, 10, clang, Debug)	4m 44s
Ubuntu 64-bit (ubuntu-20.04, 11, clang, no-klee)	3m 5s
Ubuntu 64-bit (ubuntu-20.04, 12, clang, no-klee)	3m 6s
Ubuntu 64-bit (ubuntu-22.04, 13, clang, no-klee)	2m 59s
	3h 33m 38s

Provide feedback