5 Jul
2021
5 Jul
'21
4:45 a.m.
Dear all, there seems no conflict this year :) But there are some errors. - Ulitmate: https://www.starexec.org/starexec/secure/details/pair.jsp?id=516407978 It seems to fail to write a file. I think it should not write to the current directory but to the output directory, $2. - AProVE certified: https://www.starexec.org/starexec/secure/details/pair.jsp?id=516304215 No idea, but time is almost up. Is there some pre-timeout process that doesn't write even "TIMEOUT"? - TTT2 certified: https://www.starexec.org/starexec/secure/details/pair.jsp?id=516330503 A garbage is present before CPF output. - NaTT certified: https://www.starexec.org/starexec/secure/details/pair.jsp?id=516331340 Hmm I must debug... Best, Akihisa