Olá,
o juiz não é do Pravda, é do Spoj. No site deve ter a informação dos parâmetros.
De forma geral, nunca tive problemas com os judges compilando com
"gcc -pedantic -Wall -ansi prog.c"
Fórum