| |
|
Project
|
50,9% |
48,7% |
48,9% |
49,2% |
|
| |
|
org.sat4j
|
0% |
0% |
0% |
0% |
|
|
org.sat4j.opt
|
0% |
0% |
0% |
0% |
|
|
org.sat4j.reader.csp
|
1,2% |
4,5% |
8,9% |
4,7% |
|
|
org.sat4j.reader
|
19,6% |
16% |
9,7% |
16,2% |
|
|
org.sat4j.tools
|
14,6% |
18% |
25,5% |
18,8% |
|
|
org.sat4j.specs
|
- |
37,5% |
37,5% |
37,5% |
|
|
org.sat4j.minisat.constraints.card
|
63,5% |
60,2% |
45,5% |
59,5% |
|
|
org.sat4j.minisat.learning
|
100% |
72,9% |
60,6% |
70,8% |
|
|
org.sat4j.minisat.core
|
78,3% |
72,6% |
63,5% |
72% |
|
|
org.sat4j.core
|
80,7% |
77,4% |
62,5% |
75,2% |
|
|
org.sat4j.minisat.orders
|
73,1% |
77,8% |
70,4% |
75,4% |
|
|
org.sat4j.minisat.constraints.pb
|
79,1% |
81,1% |
76,5% |
80% |
|
|
org.sat4j.minisat.constraints.cnf
|
82,6% |
83,6% |
74,4% |
81,4% |
|
|
org.sat4j.minisat.constraints
|
94,4% |
88,1% |
82,3% |
87,7% |
|
|
org.sat4j.minisat
|
50% |
98,9% |
96,8% |
97,7% |
|
|
org.sat4j.minisat.uip
|
- |
100% |
100% |
100% |
|
| |
