Diferencia de ejecucion de Coq en Maquinas de Facultad.