|
org.sat4j.opt
org.sat4j.opt
|
1.0
1
|
1.4489796
1,45
|
0.0
0%
|
0.0
|
|
org.sat4j.reader.csp
org.sat4j.reader.csp
|
1.0
1
|
1.6125
1,61
|
0.047738694
4,8%
|
0.047738694
|
|
org.sat4j.reader
org.sat4j.reader
|
2.0
2
|
2.324627
2,32
|
0.13860466
13,9%
|
0.13860466
|
|
org.sat4j.tools
org.sat4j.tools
|
1.0
1
|
1.6967213
1,7
|
0.15458937
15,5%
|
0.15458937
|
|
org.sat4j.specs
org.sat4j.specs
|
1.0
1
|
1.0
1
|
0.375
37,5%
|
0.375
|
|
org
org
|
18.0
18
|
1.8730588
1,87
|
0.46718863
46,7%
|
0.46718863
|
|
org.sat4j
org.sat4j
|
18.0
18
|
1.8730588
1,87
|
0.46718863
46,7%
|
0.46718863
|
|
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
|
1.0
1
|
2.590909
2,59
|
0.59322035
59,3%
|
0.59322035
|
|
org.sat4j.minisat.core
org.sat4j.minisat.core
|
1.0
1
|
1.5963856
1,6
|
0.64994776
65%
|
0.64994776
|
|
org.sat4j.core
org.sat4j.core
|
1.0
1
|
1.6538461
1,65
|
0.66898954
66,9%
|
0.66898954
|
|
org.sat4j.minisat.orders
org.sat4j.minisat.orders
|
1.0
1
|
1.7333333
1,73
|
0.6893733
68,9%
|
0.6893733
|
|
org.sat4j.minisat.constraints
org.sat4j.minisat.constraints
|
4.0
4
|
2.0228217
2,02
|
0.7109792
71,1%
|
0.7109792
|
|
org.sat4j.minisat
org.sat4j.minisat
|
11.0
11
|
1.7632508
1,76
|
0.71340877
71,3%
|
0.71340877
|
|
org.sat4j.minisat.uip
org.sat4j.minisat.uip
|
1.0
1
|
1.0
1
|
0.71428573
71,4%
|
0.71428573
|
|
org.sat4j.minisat.learning
org.sat4j.minisat.learning
|
1.0
1
|
1.1142857
1,11
|
0.71875
71,9%
|
0.71875
|
|
org.sat4j.minisat.constraints.pb
org.sat4j.minisat.constraints.pb
|
1.0
1
|
2.4521277
2,45
|
0.73221517
73,2%
|
0.73221517
|
|
org.sat4j.minisat.constraints.cnf
org.sat4j.minisat.constraints.cnf
|
1.0
1
|
1.6466166
1,65
|
0.73457676
73,5%
|
0.73457676
|
|
org.sat4j.minisat.restarts
org.sat4j.minisat.restarts
|
1.0
1
|
1.1875
1,19
|
0.84210527
84,2%
|
0.84210527
|
