QELL_default results solving families - 2017

Family# Total# Sat# UnsatTime
amba43600
arithmetic513600.03
cycle-sched43600
disjunctive_decomposition513602.18
driver43600
genbuf43600
HardwareFixpoint86171945021.16
hwmcc43600
irqlkeapclte11099000
ltl2aig-comp43600
LTL2DBA43600
mult-matrix43600
RankingFunctions42236000.04
Reduction-finding116162164797.04
Selection-hard2018000
sketch98100
Sorting_networks12551056618.72
terminator1051173254.58
toy43600
wgrowing119900
wmiforward1210800