name | class, % | method, % | block, % | line, % |
---|
org.sat4j.minisat.constraints.pb | 0% (0/4) | 0% (0/15) | 0% (0/351) | 0% (0/63) |
org.sat4j.specs | 0% (0/2) | 0% (0/8) | 0% (0/32) | 0% (0/16) |
org.sat4j.minisat | 100% (1/1) | 14% (8/59) | 6% (55/946) | 9% (16/180) |
org.sat4j.minisat.uip | 100% (1/1) | 25% (1/4) | 12% (3/26) | 17% (1/6) |
org.sat4j.reader | 30% (3/10) | 20% (15/74) | 14% (394/2751) | 18% (99.9/571) |
org.sat4j.core | 100% (5/5) | 27% (29/108) | 17% (319/1891) | 18% (71.5/391) |
org.apache.commons.cli | 56% (5/9) | 50% (41/82) | 30% (468/1545) | 37% (126.3/341) |
org.sat4j.minisat.constraints.cnf | 100% (2/2) | 41% (20/49) | 35% (389/1102) | 40% (76.4/192) |
org.sat4j.minisat.orders | 100% (1/1) | 44% (8/18) | 38% (114/300) | 40% (25.3/64) |
org.sat4j | 80% (4/5) | 46% (22/48) | 41% (665/1605) | 36% (121.8/343) |
org.sat4j.minisat.core | 100% (12/12) | 47% (60/128) | 43% (1253/2903) | 44% (250.2/564) |
org.sat4j.minisat.constraints | 100% (3/3) | 56% (9/16) | 48% (55/115) | 61% (17/28) |
org.sat4j.minisat.learning | 80% (4/5) | 59% (13/22) | 52% (96/183) | 54% (26.9/50) |