predyndep results solving families - 2018

Family# Total# Sat# UnsatTime
amba1933231.8
arithmetic368258.71
cycle-sched34413919.5
disjunctive_decomposition4078112.77
driver34649.63
genbuf54500.35
HardwareFixpoint300183478200.94
hwmcc26119751.04
irqlkeapclte266449815.95
ltl2aig-comp5173.65
LTL2DBA12224.8
LTL2DPA7131.01
Model_instances4742302.13
mult-matrix2951127.07
Q_2_3981527075.87
RankingFunctions663182.5
Reduction-finding22538178537.23
Selection-hard42132445.32
sketch4742302.27
Sorting_networks175310103586.27
terminator21763340287.55
toy305750.71
wgrowing1219015.26
wmiforward741176.55