rareqs results solving families - 2017

Family# Total# Sat# UnsatTime
amba422011.46
arithmetic54900.05
cycle-sched4424.17
disjunctive_decomposition54900.2
driver440.38
genbuf43600
HardwareFixpoint86272233621.37
hwmcc43600
irqlkeapclte11099000
ltl2aig-comp412710.45
LTL2DBA412700.43
mult-matrix421800.8
RankingFunctions4236907.14
Reduction-finding116362931200.94
Selection-hard20214727.4
sketch954550.79
Sorting_networks12561234783.32
terminator1052245314.48
toy44145.1
wgrowing1128190.23
wmiforward1240.45