CADET_2017 results solving families - 2017

Family# Total# Sat# UnsatTime
amba109000
arithmetic1334260.57
cycle-sched1210800
disjunctive_decomposition1535433.87
driver1244503.57
genbuf87200
HardwareFixpoint198294339753.01
hwmcc1210800
irqlkeapclte14535577.88
ltl2aig-comp98100
LTL2DBA915561.28
mult-matrix1126960.93
RankingFunctions73377.07
Reduction-finding20617158072.87
Selection-hard4338700
sketch34223401.2
Sorting_networks15971146299.89
terminator1445347287.84
toy14470.58
wgrowing2118900
wmiforward2240.68