Module | Algorithm-SAT-Backtracking | |||
Version | 0.13 | |||
Database: | /.cpan/build/Algorithm-SAT-Backtracking-0.13-pti4Vk/cover_db | |||
Report date: | 2015-02-06 14:59:39 | |||
Perl version: | v5.20.0 | |||
OS: | linux | |||
Thresholds: | < 75% | < 90% | < 100% | = 100% |
file | stmt | bran | cond | sub | pod | time | total |
---|---|---|---|---|---|---|---|
Total | 95.3 | 78.4 | 50.7 | 96.7 | 82.3 | 100.0 | 86.2 |
blib/lib/Algorithm/SAT/Backtracking.pm | 100.0 | 89.2 | 70.5 | 100.0 | 80.0 | 47.8 | 91.4 |
blib/lib/Algorithm/SAT/Backtracking/DPLL.pm | 93.4 | 73.8 | 54.2 | 94.1 | 100.0 | 15.4 | 81.7 |
blib/lib/Algorithm/SAT/Backtracking/DPLLProb.pm | 100.0 | 100.0 | n/a | 100.0 | n/a | 0.8 | 100.0 |
blib/lib/Algorithm/SAT/Backtracking/Ordered.pm | 100.0 | 100.0 | 50.0 | 100.0 | 100.0 | 17.9 | 98.1 |
blib/lib/Algorithm/SAT/Backtracking/Ordered/DPLL.pm | 84.6 | 57.1 | 9.0 | 88.8 | 100.0 | 0.9 | 68.9 |
blib/lib/Algorithm/SAT/Expression.pm | 97.9 | 66.6 | n/a | 100.0 | 71.4 | 16.9 | 93.2 |