Qedeq2UnicodeTextExecutor
Qedeq2UnicodeTextExecutor
|
6.0
6
|
1.8333334
1.83
|
0.35897437
35.9%
|
0.35897437
|
Qedeq2Utf8Executor
Qedeq2Utf8Executor
|
6.0
6
|
3.8333333
3.83
|
0.3809524
38.1%
|
0.3809524
|
Latex2UnicodeSpecials
Latex2UnicodeSpecials
|
6.0
6
|
20.5
20.5
|
0.5131086
51.3%
|
0.5131086
|
Qedeq2UnicodeTextPlugin
Qedeq2UnicodeTextPlugin
|
6.0
6
|
1.0
1
|
0.5714286
57.1%
|
0.5714286
|
Qedeq2Utf8Plugin
Qedeq2Utf8Plugin
|
6.0
6
|
1.0
1
|
0.5714286
57.1%
|
0.5714286
|
ProofLineData
ProofLineData
|
12.0
12
|
1.0
1
|
0.6875
68.8%
|
0.6875
|
Qedeq2UnicodeVisitor
Qedeq2UnicodeVisitor
|
70.0
70
|
3.8428571
3.84
|
0.8148148
81.5%
|
0.8148148
|
Latex2UnicodeParser
Latex2UnicodeParser
|
29.0
29
|
9.034483
9.03
|
0.83908045
83.9%
|
0.83908045
|
UnicodeException
UnicodeException
|
1.0
1
|
1.0
1
|
1.0
100%
|
1.0
|