MIP with efficient provers
It sounds like this class would be exactly MA.  The witness could be the results of pre-processing (which is of polynomial size).  The probabilistic verification procedure would then be to simulate the protocol, including the multiple provers (who are polynomial-time given the results of pre-processing).  

Russell Impagliazzo