| |
|
Project
|
54,8% |
54,1% |
56,4% |
54,6% |
|
| |
|
org.sat4j
|
0% |
0% |
0% |
0% |
|
|
org.sat4j.opt
|
0% |
0% |
0% |
0% |
|
|
org.sat4j.reader.csp
|
0% |
0% |
0% |
0% |
|
|
org.sat4j.reader
|
24,2% |
21,3% |
16,7% |
21,7% |
|
|
org.sat4j.specs
|
- |
37,5% |
37,5% |
37,5% |
|
|
org.sat4j.tools
|
46,7% |
58,8% |
59,1% |
57,1% |
|
|
org.sat4j.minisat.constraints.card
|
63,5% |
61,1% |
47% |
60,2% |
|
|
org.sat4j.minisat.constraints.pb
|
65,1% |
65,7% |
67,8% |
65,8% |
|
|
org.sat4j.minisat.core
|
79,5% |
73,8% |
65,8% |
73,2% |
|
|
org.sat4j.core
|
78,7% |
75,2% |
61,2% |
73,3% |
|
|
org.sat4j.minisat.orders
|
75% |
78,6% |
71,2% |
76,5% |
|
|
org.sat4j.minisat.constraints.cnf
|
80,4% |
81,3% |
73,4% |
79,5% |
|
|
org.sat4j.minisat.constraints
|
94,4% |
88,1% |
82,3% |
87,7% |
|
|
org.sat4j.minisat.learning
|
100% |
92,1% |
83,3% |
90% |
|
|
org.sat4j.minisat
|
50% |
98,9% |
96,6% |
97,9% |
|
|
org.sat4j.minisat.uip
|
- |
100% |
100% |
100% |
|
| |
