xb-qsts_xbqsts1.0 results solving families - 2017

Family# Total# Sat# UnsatTime
amba421963.39
arithmetic54900.76
cycle-sched44176.48
disjunctive_decomposition531800.27
driver444.52
genbuf43600
HardwareFixpoint86272629791.08
hwmcc43600
irqlkeapclte110390046.09
ltl2aig-comp412716.29
LTL2DBA412702.62
mult-matrix421823.7
RankingFunctions4236941.27
Reduction-finding116272649113.53
Selection-hard20116215.54
sketch944749.7
Sorting_networks12571518845.95
terminator1052579225.7
toy4433.63
wgrowing119900
wmiforward1243.81