org.qedeq.kernel.bo.logic.work
org.qedeq.kernel.bo.logic.work
|
3.0
3
|
2.2
2.2
|
0.0
0%
|
0.0
|
org.qedeq.kernel.bo.test
org.qedeq.kernel.bo.test
|
9.0
9
|
1.7
1.7
|
0.23239437
23.2%
|
0.23239437
|
org.qedeq.kernel.bo.module
org.qedeq.kernel.bo.module
|
1.0
1
|
1.0636364
1.06
|
0.604
60.4%
|
0.604
|
org.qedeq.kernel.bo.common
org.qedeq.kernel.bo.common
|
2.0
2
|
1.1647059
1.16
|
0.6468647
64.7%
|
0.6468647
|
org.qedeq.kernel.bo.service.heuristic
org.qedeq.kernel.bo.service.heuristic
|
4.0
4
|
2.0
2
|
0.656
65.6%
|
0.656
|
org.qedeq.kernel.bo.logic
org.qedeq.kernel.bo.logic
|
2.0
2
|
1.0
1
|
0.75
75%
|
0.75
|
org.qedeq.kernel.bo.log
org.qedeq.kernel.bo.log
|
5.0
5
|
1.0
1
|
0.7529138
75.3%
|
0.7529138
|
org.qedeq.kernel.bo.service.basis
org.qedeq.kernel.bo.service.basis
|
6.0
6
|
1.8072289
1.81
|
0.8235294
82.4%
|
0.8235294
|
org.qedeq.kernel.bo
org.qedeq.kernel.bo
|
1.0
1
|
2.2432432
2.24
|
0.83391005
83.4%
|
0.83391005
|
org.qedeq.kernel.bo.logic.wf
org.qedeq.kernel.bo.logic.wf
|
15.0
15
|
1.1442007
1.14
|
0.85846865
85.8%
|
0.85846865
|
org.qedeq.kernel.bo.service.unicode
org.qedeq.kernel.bo.service.unicode
|
3.0
3
|
1.8181819
1.82
|
0.875
87.5%
|
0.875
|
org.qedeq.kernel.bo.logic.common
org.qedeq.kernel.bo.logic.common
|
3.0
3
|
1.0
1
|
0.88095236
88.1%
|
0.88095236
|
org.qedeq.kernel.bo.logic.model
org.qedeq.kernel.bo.logic.model
|
17.0
17
|
1.5761589
1.58
|
0.8844221
88.4%
|
0.8844221
|
org.qedeq.kernel.bo.parser
org.qedeq.kernel.bo.parser
|
5.0
5
|
1.0555556
1.06
|
0.9331683
93.3%
|
0.9331683
|
org.qedeq.kernel.bo.service.latex
org.qedeq.kernel.bo.service.latex
|
3.0
3
|
1.8333334
1.83
|
0.93877554
93.9%
|
0.93877554
|
org.qedeq.kernel.bo.service.logic
org.qedeq.kernel.bo.service.logic
|
4.0
4
|
1.3103448
1.31
|
0.94298244
94.3%
|
0.94298244
|
org.qedeq.kernel.bo.logic.proof.checker
org.qedeq.kernel.bo.logic.proof.checker
|
1.0
1
|
1.8181819
1.82
|
0.95522386
95.5%
|
0.95522386
|
org.qedeq.kernel.bo.logic.proof.finder
org.qedeq.kernel.bo.logic.proof.finder
|
1.0
1
|
2.1666667
2.17
|
0.9607843
96.1%
|
0.9607843
|
org.qedeq.kernel.bo.service.internal
org.qedeq.kernel.bo.service.internal
|
1.0
1
|
1.0
1
|
1.0
100%
|
1.0
|