xb-qsts_bqsts2.0 results solving families - 2017

Family# Total# Sat# UnsatTime
amba1024081.98
arithmetic1342701.93
cycle-sched124424.14
disjunctive_decomposition1535400.81
driver12413.5
genbuf87200
HardwareFixpoint198272681246.78
hwmcc1210800
irqlkeapclte1453118861.53
ltl2aig-comp915435.94
LTL2DBA915408.37
mult-matrix1124569.84
RankingFunctions73361868.26
Reduction-finding206272689398.11
Selection-hard43134231.75
sketch3469632.12
Sorting_networks15971522769.32
terminator14424113380.99
toy144104.92
wgrowing2118900
wmiforward2247.06