A | B | C | D | E | F | G | |
---|---|---|---|---|---|---|---|
1 | ok | total | %correct | wrong | |||
2 | LTL | trace | 239 | 242 | 98.76% | 3 | |
3 | describe | 125 | 132 | 94.70% | 7 | ||
4 | write | 83 | 110 | 75.45% | 27 | ||
5 | LTLf | reject | 72 | 90 | 80.00% | 18 | |
6 | match | 106 | 108 | 98.15% | 2 | ||
7 | describe | 121 | 144 | 84.03% | 23 | ||
8 | id | 117 | 126 | 92.86% | 9 | ||
9 | write | 142 | 180 | 78.89% | 38 | ||
10 | |||||||
11 | LTL total | 447 | 484 | 92.36% | |||
12 | LTLf total | 558 | 648 | 86.11% | |||
13 | combined | 1005 | 1132 | 88.78% |