xb-qsts_bqsts2.0 results solving families - 2017

Family# Total# Sat# UnsatTime
amba421960.66
arithmetic54900.77
cycle-sched44141.38
disjunctive_decomposition531800.27
driver444.5
genbuf43600
HardwareFixpoint86272629788.9
hwmcc43600
irqlkeapclte110390047.2
ltl2aig-comp412711.98
LTL2DBA412702.79
mult-matrix421823.28
RankingFunctions4236938.38
Reduction-finding116272649024.14
Selection-hard20116212.7
sketch962858.03
Sorting_networks12571516621.96
terminator1052481867.43
toy4433.38
wgrowing119900
wmiforward1243.72