Number of possible IOIO pulse inputs
The PIC24FJ256GB206 microcontroller used on the IOIO board does have 9 Input Capture modules, and the input pins for these modules are remappable using PPS, so unless there's some external limitation imposed by the way the board is constructed you should be able to use all 9 as 16-bit (single precision) inputs.