Solver Stopped At Users Request New Mibridges