My Neuvation FC100 Carbon Frame, Rival components Road Bike, has Michelin Pro3 23 Race tires.

I just bought a trainer (travel trac fluid + adjustable) , and of course, will not use those tires with it.

I happen to have 3 Maxxis Xephyr M202 25c tires here, so I am planning on using those, both for my current outdoor rides (60s here in philly right now.. ) and to start using the trainer.

Could someone advise if that's a good plan, and explain a little about the tires as I have no clue? Are these maxxis training tires? Also, how many miles should my michelins pro3s last on the road?

Thanks.