Sistema
PropaLTL
Año
2023
Partición resultados
test
Metrica Oficial para Ranking
ICM
Fuente
Publicación
ICM
0.86
