rareqs results solving families - 2017

Family# Total# Sat# UnsatTime
amba1024234.38
arithmetic1342700.13
cycle-sched12472.51
disjunctive_decomposition1542700.6
driver1241.14
genbuf87200
HardwareFixpoint198272292748.04
hwmcc1210800
irqlkeapclte145130500
ltl2aig-comp915431.35
LTL2DBA915401.29
mult-matrix1124502.4
RankingFunctions73361811.31
Reduction-finding206362954964.4
Selection-hard43230518.5
sketch34516403.16
Sorting_networks15961246886.05
terminator1442265277.15
toy144435.62
wgrowing21215480.46
wmiforward2240.86