ijtihad_v1 results solving families - 2017

Family# Total# Sat# UnsatTime
amba413109.58
arithmetic54900.08
cycle-sched4458.61
disjunctive_decomposition54900.22
driver440.38
genbuf43600
HardwareFixpoint86262036160.34
hwmcc43600
irqlkeapclte11099000
ltl2aig-comp413367.47
LTL2DBA412700.44
mult-matrix421959.45
RankingFunctions4236907.39
Reduction-finding1161697214.1
Selection-hard2018000
sketch98100
Sorting_networks1255862281.37
terminator1053119287.72
toy43900.3
wgrowing119900
wmiforward1240.45