Str
Predict
PrArg
Thm%
CoS%
Uniq
ST⌀
STΣ
Thm
CoS
Maybe
Empty
Err
Found
e
18
43.569
0.000
1714
1.000
1714.00
1714
0
0
2220
3934
any
any
43.558
0.000
1714
0
3935
Greedy sequence
Prover
Sum%
Sum
G+2
G1+2
G-1+2
G+2M
Alt
e-18
43.558
1714