|
org.sat4j
org.sat4j
|
14.0
14
|
2.419753
2,42
|
0.0
0%
|
0.0
|
|
org.sat4j.opt
org.sat4j.opt
|
6.0
6
|
1.4489796
1,45
|
0.0
0%
|
0.0
|
|
org.sat4j.reader.csp
org.sat4j.reader.csp
|
20.0
20
|
1.6125
1,61
|
0.047738694
4,8%
|
0.047738694
|
|
org.sat4j.tools
org.sat4j.tools
|
13.0
13
|
1.6967213
1,7
|
0.15458937
15,5%
|
0.15458937
|
|
org.sat4j.reader
org.sat4j.reader
|
18.0
18
|
2.6276596
2,63
|
0.15924658
15,9%
|
0.15924658
|
|
org.sat4j.specs
org.sat4j.specs
|
8.0
8
|
1.0
1
|
0.375
37,5%
|
0.375
|
|
org.sat4j.minisat.reader
org.sat4j.minisat.reader
|
1.0
1
|
1.0
1
|
0.5
50%
|
0.5
|
|
org.sat4j.minisat.constraints.card
org.sat4j.minisat.constraints.card
|
3.0
3
|
2.590909
2,59
|
0.59322035
59,3%
|
0.59322035
|
|
org.sat4j.minisat.core
org.sat4j.minisat.core
|
29.0
29
|
1.5963856
1,6
|
0.64994776
65%
|
0.64994776
|
|
org.sat4j.core
org.sat4j.core
|
4.0
4
|
1.6538461
1,65
|
0.66898954
66,9%
|
0.66898954
|
|
org.sat4j.minisat.orders
org.sat4j.minisat.orders
|
8.0
8
|
1.7333333
1,73
|
0.6893733
68,9%
|
0.6893733
|
|
org.sat4j.minisat.uip
org.sat4j.minisat.uip
|
2.0
2
|
1.0
1
|
0.71428573
71,4%
|
0.71428573
|
|
org.sat4j.minisat.learning
org.sat4j.minisat.learning
|
7.0
7
|
1.1142857
1,11
|
0.71875
71,9%
|
0.71875
|
|
org.sat4j.minisat.constraints.pb
org.sat4j.minisat.constraints.pb
|
21.0
21
|
2.4521277
2,45
|
0.73221517
73,2%
|
0.73221517
|
|
org.sat4j.minisat.constraints.cnf
org.sat4j.minisat.constraints.cnf
|
12.0
12
|
1.6466166
1,65
|
0.73457676
73,5%
|
0.73457676
|
|
org.sat4j.minisat.constraints
org.sat4j.minisat.constraints
|
25.0
25
|
1.3052632
1,31
|
0.75706214
75,7%
|
0.75706214
|
|
org.sat4j.minisat.restarts
org.sat4j.minisat.restarts
|
3.0
3
|
1.1875
1,19
|
0.84210527
84,2%
|
0.84210527
|
|
org.sat4j.minisat
org.sat4j.minisat
|
4.0
4
|
1.0625
1,06
|
0.9166667
91,7%
|
0.9166667
|
