Clover Coverage Report

Coverage timestamp: mer. juin 27 2007 07:27:16 CEST

FRAMES NO FRAMES SHOW HELP

Statistics for package org.sat4j.minisat.constraints.cnf:
Stmts:	354	LOC:	1 870	Total cmp:	87	Stmts/Method:	2,66
Branches:	210	NCLOC:	853	Cmp density:	0,62	Methods/Class:	11,08
Methods:	133	Files:	12	Avg method cmp:	1,65
Classes:	12

Package

Files

Average Method Complexity

TOTAL Coverage

org.sat4j.minisat.constraints.cnf org.sat4j.minisat.constraints.cnf

12.0 12

1.6466166 1,65

0.73457676 73,5%

0.73457676

Class

Methods

Average Method Complexity

TOTAL Coverage

BinaryClauses BinaryClauses

17.0 17

1.3529412 1,35

0.48333332 48,3%

0.48333332

Lits Lits

25.0 25

1.36 1,36

0.647541 64,8%

0.647541

WLClause WLClause

18.0 18

2.0 2

0.66412216 66,4%

0.66412216

CBClause CBClause

19.0 19

1.7894737 1,79

0.6831683 68,3%

0.6831683

TernaryClauses TernaryClauses

17.0 17

1.7058823 1,71

0.6933333 69,3%

0.6933333

MixableCBClause MixableCBClause

4.0 4

1.0 1

0.8181818 81,8%

0.8181818

OriginalWLClause OriginalWLClause

5.0 5

1.0 1

0.85714287 85,7%

0.85714287

Lits23 Lits23

4.0 4

2.0 2

0.90909094 90,9%

0.90909094

LearntWLClause LearntWLClause

4.0 4

1.5 1,5

0.9583333 95,8%

0.9583333

MarkableLits MarkableLits

12.0 12

2.0833333 2,08

0.9583333 95,8%

0.9583333

DefaultWLClause DefaultWLClause

4.0 4

1.75 1,75

0.96428573 96,4%

0.96428573

Lits2 Lits2

4.0 4

2.0 2

1.0 100%

1.0