Note: For technical reasons, two instances from the category SRS Relative got stuck, and they were excluded from the scoring.
Note: Due to technical problems with the execution environment (not with iRankFinder!), iRankFinder crashed on several instances in the category Integer Transition Systems. Without these issues, iRankFinder's score would have been (roughly) as follows: 635 YES, 393 NO, 2nd place