CADET_2017 results solving families - 2018

Family# Total# Sat# UnsatTime
amba1311700.69
arithmetic28510597.25
cycle-sched2219801.04
disjunctive_decomposition31519041.29
driver2259777.93
genbuf54500
HardwareFixpoint247174629308.24
hwmcc2219800.67
irqlkeapclte256451038.97
ltl2aig-comp32700.12
LTL2DBA82247.14
LTL2DPA54500.45
Model_instances3834200.92
mult-matrix1939879.81
Q_2_398857930.22
RankingFunctions66310
Reduction-finding21111168169.21
Selection-hard3733301.59
sketch40228801.28
Sorting_networks17071333903.03
terminator2076409745.4
toy205402.28
wgrowing1210800.54
wmiforward64113.06