added dimetheus and probsat and results