Qedeq2UnicodeTextExecutor
Qedeq2UnicodeTextExecutor
|
6.0
6
|
1.8333334
1.83
|
0.0
0%
|
0.0
|
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.7777778
77.8%
|
0.7777778
|
Latex2UnicodeParser
Latex2UnicodeParser
|
29.0
29
|
8.931034
8.93
|
0.84108526
84.1%
|
0.84108526
|
UnicodeException
UnicodeException
|
1.0
1
|
1.0
1
|
1.0
100%
|
1.0
|