| |
|
Project
|
63,2% |
61,3% |
61,2% |
61,7% |
|
| |
|
org.sat4j
|
0% |
0% |
0% |
0% |
|
|
org.sat4j.reader
|
21,7% |
19,1% |
16,1% |
19,5% |
|
|
org.sat4j.specs
|
- |
37,5% |
37,5% |
37,5% |
|
|
org.sat4j.tools
|
52,9% |
54% |
46,9% |
52,4% |
|
|
org.sat4j.minisat.constraints.card
|
67,4% |
65,7% |
44,6% |
64% |
|
|
org.sat4j.core
|
75,4% |
74,2% |
61% |
72% |
|
|
org.sat4j.minisat.constraints.cnf
|
84,6% |
81,6% |
71,7% |
80,3% |
|
|
org.sat4j.minisat.orders
|
82,9% |
82,7% |
70% |
80,5% |
|
|
org.sat4j.minisat.core
|
90,2% |
81,7% |
73,9% |
81,9% |
|
|
org.sat4j.minisat.learning
|
100% |
92,1% |
75% |
86,5% |
|
|
org.sat4j.minisat.constraints
|
94,7% |
87,6% |
80,8% |
87,2% |
|
|
org.sat4j.minisat.constraints.pb
|
86,7% |
87,5% |
87,8% |
87,3% |
|
|
org.sat4j.minisat
|
- |
98,1% |
95% |
97,2% |
|
|
org.sat4j.minisat.uip
|
- |
100% |
100% |
100% |
|
| |
