numOracleCalls

Parameters

numOracleCalls

the solver's cumulative oracle-call count