test the program minimulMUMCUT coverage