CADET_2017 results solving families - 2017

Family# Total# Sat# UnsatTime
amba43600
arithmetic532020.19
cycle-sched43600
disjunctive_decomposition531811.29
driver441501.19
genbuf43600
HardwareFixpoint86294315051.74
hwmcc43600
irqlkeapclte11035437.7
ltl2aig-comp43600
LTL2DBA412753.76
mult-matrix422620.31
RankingFunctions42373.75
Reduction-finding1161789328.16
Selection-hard2018000
sketch926300.3
Sorting_networks12571132634.59
terminator1055345112.27
toy4418.7
wgrowing119900
wmiforward1240.36