|
org.sat4j.minisat.constraints.AbstractCardinalityDataStructure
org.sat4j.minisat.constraints.AbstractCardinalityDataStructure
|
0.0
|
0.68292683
68,3%
|
|
|
org.sat4j.reader.Reader
org.sat4j.reader.Reader
|
0.0
|
0.5555556
55,6%
|
|
|
org.sat4j.reader.GoodOPBReader
org.sat4j.reader.GoodOPBReader
|
0.0
|
0.5419355
54,2%
|
|
|
org.sat4j.specs.ContradictionException
org.sat4j.specs.ContradictionException
|
0.0
|
0.5
50%
|
|
|
org.sat4j.minisat.constraints.cnf.Lits
org.sat4j.minisat.constraints.cnf.Lits
|
0.0
|
0.43442622
43,4%
|
|
|
org.sat4j.minisat.constraints.pb.WatchPb
org.sat4j.minisat.constraints.pb.WatchPb
|
0.0
|
0.40069687
40,1%
|
|
|
org.sat4j.minisat.constraints.pb.MapPb
org.sat4j.minisat.constraints.pb.MapPb
|
0.0
|
0.39455783
39,5%
|
|
|
org.sat4j.minisat.core.SolverStats
org.sat4j.minisat.core.SolverStats
|
0.0
|
0.3888889
38,9%
|
|
|
org.sat4j.minisat.constraints.PBMaxDataStructure
org.sat4j.minisat.constraints.PBMaxDataStructure
|
0.0
|
0.25
25%
|
|
|
org.sat4j.minisat.constraints.PBMinDataStructure
org.sat4j.minisat.constraints.PBMinDataStructure
|
0.0
|
0.25
25%
|
|
|
org.sat4j.minisat.constraints.PuebloPBMinDataStructure
org.sat4j.minisat.constraints.PuebloPBMinDataStructure
|
0.0
|
0.25
25%
|
|
|
org.sat4j.minisat.AbstractAcceptanceTestCase
org.sat4j.minisat.AbstractAcceptanceTestCase
|
0.0
|
0.23529412
23,5%
|
|
|
org.sat4j.reader.InstanceReader
org.sat4j.reader.InstanceReader
|
0.0
|
0.23484848
23,5%
|
|
|
org.sat4j.minisat.constraints.pb.MaxWatchPb
org.sat4j.minisat.constraints.pb.MaxWatchPb
|
0.0
|
0.21830986
21,8%
|
|
|
org.sat4j.minisat.constraints.pb.PuebloMinWatchPb
org.sat4j.minisat.constraints.pb.PuebloMinWatchPb
|
0.0
|
0.20689656
20,7%
|
|
|
org.sat4j.core.Vec
org.sat4j.core.Vec
|
0.0
|
0.18032786
18%
|
|
|
org.sat4j.core.VecInt
org.sat4j.core.VecInt
|
0.0
|
0.1525974
15,3%
|
|
|
org.sat4j.minisat.constraints.pb.MinWatchPb
org.sat4j.minisat.constraints.pb.MinWatchPb
|
0.0
|
0.13919415
13,9%
|
|
|
org.sat4j.minisat.constraints.AbstractDataStructureFactory
org.sat4j.minisat.constraints.AbstractDataStructureFactory
|
0.0
|
0.115384616
11,5%
|
|
|
org.sat4j.minisat.constraints.AbstractPBDataStructureFactory
org.sat4j.minisat.constraints.AbstractPBDataStructureFactory
|
0.0
|
0.0952381
9,5%
|
|
|
org.sat4j.minisat.constraints.card.AtLeast
org.sat4j.minisat.constraints.card.AtLeast
|
0.0
|
0.048387095
4,8%
|
|
|
org.sat4j.minisat.core.Solver
org.sat4j.minisat.core.Solver
|
0.0
|
0.04608295
4,6%
|
|
|
org.sat4j.minisat.orders.VarOrder
org.sat4j.minisat.orders.VarOrder
|
0.0
|
0.025210084
2,5%
|
|
