no-prefix-opt-depqbf results solving families - 2017

Family# Total# Sat# UnsatTime
amba43600
arithmetic531800.04
cycle-sched43600
disjunctive_decomposition522700.03
driver43600
genbuf43600
HardwareFixpoint8561162061.21
hwmcc43600
irqlkeapclte11099000
ltl2aig-comp43600
LTL2DBA43600
mult-matrix43600
RankingFunctions42332400.12
Reduction-finding11621887360.08
Selection-hard2018000
sketch98100
Sorting_networks12522101466.01
terminator1052440525.86
toy412874.76
wgrowing119900
wmiforward1210800