adding new type of solver: mcts

6 jobs for rc3.1-adding-new-solvers-types in 25 minutes and 35 seconds (queued for 8 seconds)
latest