QELL_default results solving families - 2017

Family# Total# Sat# UnsatTime
amba1412600
arithmetic18114400.06
cycle-sched2018000
disjunctive_decomposition20114408.72
driver2018000
genbuf87200
HardwareFixpoint2361719151276.66
hwmcc1412600
irqlkeapclte145130500
ltl2aig-comp119900
LTL2DBA119900
mult-matrix1715300
RankingFunctions73263900.04
Reduction-finding2201621122804.54
Selection-hard4843200
sketch4237800
Sorting_networks16351079079.69
terminator14511102955.52
toy2219800
wgrowing2118900
wmiforward2522500