A quantitative model measured the environmental effects of carbon trading.
Results confirm the hypothesis of divergent environmental effects of carbon trading.
Small/medium, not large facilities, generate the worst pollution.
Key facilities/sectors/regions are identified in terms of environment co-benefits.
Measuring/modeling environmental co-benefits is critical to perfect carbon trading.