Map of exec-pins to a pair of execution times (holds timing info for the owning-node, paired with a time of execution for the linked node)... only one timing-pair per pin because exec outputs can only connect to one node