EMMA Coverage Report (generated Fri May 21 08:45:31 CEST 2010)
[all classes]

COVERAGE SUMMARY FOR PACKAGE [org.opt4j.sat.sat4j]

nameclass, %method, %block, %
org.opt4j.sat.sat4j0%   (0/6)0%   (0/48)0%   (0/1007)

COVERAGE BREAKDOWN BY CLASS

nameclass, %method, %block, %
SAT4JInstance0%   (0/1)0%   (0/11)0%   (0/530)
SAT4JModule0%   (0/1)0%   (0/10)0%   (0/47)
SAT4JSolver0%   (0/1)0%   (0/7)0%   (0/73)
SAT4JSolver$Learning0%   (0/1)0%   (0/4)0%   (0/60)
SAT4JSolver$Restarts0%   (0/1)0%   (0/4)0%   (0/60)
VariableOrder0%   (0/1)0%   (0/12)0%   (0/237)

[all classes]
EMMA 2.0.9414 (unsupported private build) (C) Vladimir Roubtsov