| org.sat4j.minisat.constraintsorg.sat4j.minisat.constraints |
833
833
|
70
70
|
0
0
|
22706.87722706,877 |
0.915966491,6% |
0.9159664
|
| org.sat4j.minisatorg.sat4j.minisat |
1633
1633
|
11
11
|
0
0
|
4622.16654622,167 |
0.9932639699,3% |
0.99326396
|
| org.sat4j.minisat.coreorg.sat4j.minisat.core |
24
24
|
0
0
|
0
0
|
0.2060,206 |
1.0100% |
1.0
|
| org.sat4j.minisat.constraints.pborg.sat4j.minisat.constraints.pb |
1
1
|
0
0
|
0
0
|
0.0850,085 |
1.0100% |
1.0
|
| org.sat4j.minisat.readerorg.sat4j.minisat.reader |
17
17
|
0
0
|
0
0
|
0.348999980,349 |
1.0100% |
1.0
|
| org.sat4j.coreorg.sat4j.core |
24
24
|
0
0
|
0
0
|
0.069999990,07 |
1.0100% |
1.0
|
| org.sat4jorg.sat4j |
6
6
|
0
0
|
0
0
|
0.3160,316 |
1.0100% |
1.0
|
| org.sat4j.minisat.datatypeorg.sat4j.minisat.datatype |
3
3
|
0
0
|
0
0
|
0.0240,024 |
1.0100% |
1.0
|
