xb-qsts_xbqsts2.0 results solving families - 2017

Family# Total# Sat# UnsatTime
amba421964.33
arithmetic54900.79
cycle-sched44176.65
disjunctive_decomposition531800.27
driver444.46
genbuf43600
HardwareFixpoint86272629791.66
hwmcc43600
irqlkeapclte110390047.17
ltl2aig-comp412716.27
LTL2DBA412702.57
mult-matrix421823.58
RankingFunctions4236941.78
Reduction-finding116272649115.55
Selection-hard20116215.38
sketch944749.88
Sorting_networks12571518839.73
terminator1052579201.11
toy4433.47
wgrowing119900
wmiforward1243.87