heretiq results solving families - 2017

Family# Total# Sat# UnsatTime
amba1426496.8
arithmetic1843600.28
cycle-sched204439.25
disjunctive_decomposition2043600.88
driver2041.9
genbuf87200
HardwareFixpoint2362621117264.87
hwmcc1412600
irqlkeapclte145130500
ltl2aig-comp119900
LTL2DBA1115402.2
mult-matrix1726455.15
RankingFunctions73361812.1
Reduction-finding220619148326.58
Selection-hard4843200
sketch42136095.45
Sorting_networks16361628776.28
terminator1453224886.69
toy224464.05
wgrowing2118900
wmiforward2540.99