An efficient computational implementation of ISAT in a network of PSRs is presented. A series of PSR calculations is carried out using the DI and ISAT approaches. Validation of DI is performed through comparisons with previous experiments. ISAT is assessed through direct comparisons with DI calculations. Analysis of accessed composition space, sensitivity and speedup is conducted.