ijtihad_v2 results solving families - 2017

Family# Total# Sat# UnsatTime
amba413080.57
arithmetic54900.08
cycle-sched4453.83
disjunctive_decomposition54900.22
driver440.38
genbuf43600
HardwareFixpoint86262036151.7
hwmcc43600
irqlkeapclte11099000
ltl2aig-comp413355.9
LTL2DBA412700.44
mult-matrix421914.08
RankingFunctions4236907.45
Reduction-finding1163795896.93
Selection-hard2018000
sketch98100
Sorting_networks1256760740.2
terminator1053119176.22
toy43900.3
wgrowing119900
wmiforward1240.45