qesto results solving families - 2017

Family# Total# Sat# UnsatTime
amba1025450.73
arithmetic1342700.17
cycle-sched124147.24
disjunctive_decomposition1542700.63
driver1241.14
genbuf87200
HardwareFixpoint198272097594.7
hwmcc1210800
irqlkeapclte145130500
ltl2aig-comp915486.49
LTL2DBA915401.29
mult-matrix1124502.61
RankingFunctions73361811.55
Reduction-finding206322382351.32
Selection-hard43134524.05
sketch3430600
Sorting_networks1596963798.84
terminator1442458645.06
toy1441026.3
wgrowing2118900
wmiforward2240.86