Abduction: More aggressive parallelism for simultaneous abduction.