ABCDEFG
1
oktotal%correctwrong
2
LTLtrace23924298.76%3
3
describe12513294.70%7
4
write8311075.45%27
5
LTLfreject729080.00%18
6
match10610898.15%2
7
describe12114484.03%23
8
id11712692.86%9
9
write14218078.89%38
10
11
LTL total44748492.36%
12
LTLf total55864886.11%
13
combined1005113288.78%