qesto results solving families - 2017

Family# Total# Sat# UnsatTime
amba422416.91
arithmetic54900.07
cycle-sched4449.08
disjunctive_decomposition54900.21
driver440.38
genbuf43600
HardwareFixpoint86272035265.84
hwmcc43600
irqlkeapclte11099000
ltl2aig-comp412728.83
LTL2DBA412700.43
mult-matrix421800.87
RankingFunctions4236907.3
Reduction-finding116322346481.87
Selection-hard20116329.62
sketch98100
Sorting_networks1256947116.75
terminator1052440695.65
toy44342
wgrowing119900
wmiforward1240.45