numOracleCalls

The cumulative total number of times the simulation oracle has been invoked by the solver up to this point.