org.qedeq.kernel.bo.logic.proof.checkerorg.qedeq.kernel.bo.logic.proof.checker |
3
3
|
0
0
|
0
0
|
2.9832.983 |
1.0100% |
1.0
|
org.qedeq.kernel.bo.moduleorg.qedeq.kernel.bo.module |
1
1
|
0
0
|
0
0
|
1665.8661,665.866 |
1.0100% |
1.0
|
org.qedeq.kernel.bo.logic.proof.finderorg.qedeq.kernel.bo.logic.proof.finder |
3
3
|
0
0
|
0
0
|
66.61166.611 |
1.0100% |
1.0
|
org.qedeq.kernel.bo.logorg.qedeq.kernel.bo.log |
34
34
|
0
0
|
0
0
|
0.2860.286 |
1.0100% |
1.0
|
org.qedeq.kernel.bo.parserorg.qedeq.kernel.bo.parser |
104
104
|
0
0
|
0
0
|
4.0969994.097 |
1.0100% |
1.0
|
org.qedeq.kernel.bo.logic.commonorg.qedeq.kernel.bo.logic.common |
7
7
|
0
0
|
0
0
|
0.2350.235 |
1.0100% |
1.0
|
org.qedeq.kernel.bo.service.unicodeorg.qedeq.kernel.bo.service.unicode |
31
31
|
0
0
|
0
0
|
22.95600122.956 |
1.0100% |
1.0
|
org.qedeq.kernel.bo.service.internalorg.qedeq.kernel.bo.service.internal |
10
10
|
0
0
|
0
0
|
0.0320.032 |
1.0100% |
1.0
|
org.qedeq.kernel.bo.logicorg.qedeq.kernel.bo.logic |
2
2
|
0
0
|
0
0
|
0.050.05 |
1.0100% |
1.0
|
org.qedeq.kernel.bo.logic.wforg.qedeq.kernel.bo.logic.wf |
12
12
|
0
0
|
0
0
|
9.479.47 |
1.0100% |
1.0
|
org.qedeq.kernel.bo.service.basisorg.qedeq.kernel.bo.service.basis |
40
40
|
0
0
|
0
0
|
1829.8951,829.895 |
1.0100% |
1.0
|
org.qedeq.kernel.bo.service.latexorg.qedeq.kernel.bo.service.latex |
24
24
|
0
0
|
0
0
|
6386.44246,386.442 |
1.0100% |
1.0
|
org.qedeq.kernel.bo.commonorg.qedeq.kernel.bo.common |
23
23
|
0
0
|
0
0
|
0.0350000040.035 |
1.0100% |
1.0
|
org.qedeq.kernel.boorg.qedeq.kernel.bo |
34
34
|
0
0
|
0
0
|
0.150.15 |
1.0100% |
1.0
|
org.qedeq.kernel.bo.service.logicorg.qedeq.kernel.bo.service.logic |
14
14
|
0
0
|
0
0
|
166.20801166.208 |
1.0100% |
1.0
|
org.qedeq.kernel.bo.service.heuristicorg.qedeq.kernel.bo.service.heuristic |
5
5
|
0
0
|
0
0
|
10.90810.908 |
1.0100% |
1.0
|
org.qedeq.kernel.bo.logic.modelorg.qedeq.kernel.bo.logic.model |
310
310
|
0
0
|
0
0
|
104.691986104.692 |
1.0100% |
1.0
|