We consider an electricity market organized with two settlements: one for a pre-delivery (day-ahead) market and one for real time, where uncertainty regarding production from non-dispatchable energy sources as well as variable load is resolved in the latter stage. We formulate two models to...