A new clause criterion - Githubissues

introduce a new clause criterion: NDD #76
use average decision level #76
use Vec Int instead of Vec [Int] for keyVector in ClauseManager #77
reduce the expansion factor for growable vectors #77
newWatcherList ditched M.replicate #77
set the initial size of watcher list to 1 instead of 8 #77
implement growBy for Vec Int #77
use ByteString.uncons instead of a pair of head and tail #78
reimplement a literal checker in causeNew #78
stop checking polarity of literals during clause injection #78
absorb rank into lits to reduce the number of object allocation #78
use gitrev for help message #78

$ sat-benchmark -3 250 -L 225 -s mios-74 mios-74-ema mios-74-lbd mios-74-horizon mios-74-horizon-opt mios-74-altitude
solver, num, target, time
# sat-benchmark 0.14.1, j=1, t=510, p='' on xingu @ 2018-02-26T11:23:58+09:00
# 2018-02-11T00:21 mios-74; # mios-1.6.1WIP#72#73#74 -- https://github.com/shnarazk/mios
"mios-74", 1, 225,       54.74
"mios-74", 2, 250,       145.21
"mios-74", 3, "itox",    24.16
"mios-74", 4, "m283",    81.88
"mios-74", 5, "38b",     33.93
"mios-74", 6, "44b",     212.68
# 2018-02-10T00:27 mios-74-ema; # mios-1.6.1WIP#72#73#74 -- https://github.com/shnarazk/mios
"mios-74-ema", 1, 225,   66.29
"mios-74-ema", 2, 250,   167.50
"mios-74-ema", 3, "itox",        24.17
"mios-74-ema", 4, "m283",        90.35
"mios-74-ema", 5, "38b",         21.16
"mios-74-ema", 6, "44b",         505.53
# 2018-02-09T16:38 mios-74-lbd; # mios-1.6.1WIP#72#73#74 -- https://github.com/shnarazk/mios
"mios-74-lbd", 1, 225,   68.70
"mios-74-lbd", 2, 250,   166.85
"mios-74-lbd", 3, "itox",        23.04
"mios-74-lbd", 4, "m283",        92.38
"mios-74-lbd", 5, "38b",         20.78
"mios-74-lbd", 6, "44b",         507.36
# 2018-02-15T18:56 mios-74-horizon; # mios-1.6.1WIP#72#73#74 -- https://github.com/shnarazk/mios
"mios-74-horizon", 1, 225,       65.03
"mios-74-horizon", 2, 250,       176.38
"mios-74-horizon", 3, "itox",    24.67
"mios-74-horizon", 4, "m283",    95.67
"mios-74-horizon", 5, "38b",     11.80
"mios-74-horizon", 6, "44b",     92.98
# 2018-02-12T14:31 mios-74-horizon-opt; # mios-1.6.1WIP#72#73#74 -- https://github.com/shnarazk/mios
"mios-74-horizon-opt", 1, 225,   58.97
"mios-74-horizon-opt", 2, 250,   166.18
"mios-74-horizon-opt", 3, "itox",        21.24
"mios-74-horizon-opt", 4, "m283",        124.50
"mios-74-horizon-opt", 5, "38b",         191.12
"mios-74-horizon-opt", 6, "44b",         506.42
# 2018-02-25T14:44 mios-74-altitude; # mios-1.6.1WIP#72#73#74 -- https://github.com/shnarazk/mios
"mios-74-altitude", 1, 225,      66.11
"mios-74-altitude", 2, 250,      174.27
"mios-74-altitude", 3, "itox",   22.68
"mios-74-altitude", 4, "m283",   7.43
"mios-74-altitude", 5, "38b",    40.74
"mios-74-altitude", 6, "44b",    33.81

shnarazk / mios

A new clause criterion #76