ijtihad_v2 results solving families - 2017

Family# Total# Sat# UnsatTime
amba1017441.71
arithmetic1342700.2
cycle-sched124161.49
disjunctive_decomposition1542700.66
driver1241.14
genbuf87200
HardwareFixpoint1982620100335.92
hwmcc1210800
irqlkeapclte145130500
ltl2aig-comp917367.7
LTL2DBA915401.32
mult-matrix1124842.24
RankingFunctions73361811.83
Reduction-finding20637173999.38
Selection-hard4338700
sketch3430600
Sorting_networks1596781775.31
terminator1443126788.69
toy1432701.2
wgrowing2118900
wmiforward2240.86