Tests | Errors | Failures | Skipped | Success Rate | Time |
---|---|---|---|---|---|
5 | 0 | 0 | 0 | 100% | 0.097 |
Package | Tests | Errors | Failures | Skipped | Success Rate | Time |
---|---|---|---|---|---|---|
org.sat4j.maxsat | 5 | 0 | 0 | 0 | 100% | 0.097 |
Class | Tests | Errors | Failures | Skipped | Success Rate | Time | |
---|---|---|---|---|---|---|---|
TestDavid | 5 | 0 | 0 | 0 | 100% | 0.097 |
testMaxsat | 0.053 | |
testMaxsatBis | 0.009 | |
testPartialWeightedMaxsat | 0.011 | |
testWeightedMinimization | 0.002 | |
testExampleDavid | 0.004 |