Using one GPU to run multiple Cysic Provers