Fixed bug in main file for recording schedulability results.