numOracleCalls

Parameters

numOracleCalls

the member solver's cumulative oracle-call count