qesto results solving families - 2017

Family# Total# Sat# UnsatTime
amba1426684.55
arithmetic1843600.24
cycle-sched204245.4
disjunctive_decomposition2043600.84
driver2041.9
genbuf87200
HardwareFixpoint2362720114807.99
hwmcc1412600
irqlkeapclte145130500
ltl2aig-comp1115544.15
LTL2DBA1115402.15
mult-matrix1726304.35
RankingFunctions73361811.55
Reduction-finding220322388764.57
Selection-hard48138188.86
sketch4237800
Sorting_networks1636966560.76
terminator1452459545.06
toy2241710.3
wgrowing2118900
wmiforward2540.99