Frågan är ju om man kommer kunna köra OpenCL på båda grafikkorten och CPUn. Det lär ju slakta batteriet och jag skulle gissa på att det kommer leda till en hel del värmeproblem också eftersom maskinerna bara är designade för ett grafikkort åt gången.
Du kan ju tänka dig hur sanslöst varm datorn kommer bli när CPUn och två GPUer ligger på en 80-90 grader, samt minnen och annat som också kommer värmas upp för att ta hand om all datan du tuggar igenom.
Min gissning är med andra ord att det bara blir ett grafikkort åt gången och då är ju 13" inte särskilt mycket långsammare än 15".
Är du ute efter att förbättra prestandan finns det komponenter som kommer göra mycket större skillnad än 0.2s i ett OpenCL benchmark.