heretiq results solving families - 2017

Family# Total# Sat# UnsatTime
amba422379.36
arithmetic54900.08
cycle-sched4487.85
disjunctive_decomposition54900.22
driver440.38
genbuf43600
HardwareFixpoint86262135418.91
hwmcc43600
irqlkeapclte11099000
ltl2aig-comp43600
LTL2DBA412700.44
mult-matrix421831.03
RankingFunctions4236907.69
Reduction-finding11661978595.02
Selection-hard2018000
sketch917759.09
Sorting_networks12561620677.4
terminator1053217687.94
toy4492.75
wgrowing119900
wmiforward1240.45