DynQBF-bloqqer-hqspre-it results solving families - 2017

Family# Total# Sat# UnsatTime
amba1412600
arithmetic1853361.48
cycle-sched2029064.25
disjunctive_decomposition2043604.28
driver20422.7
genbuf87200
HardwareFixpoint236302784410.45
hwmcc1412600
irqlkeapclte145352079.59
ltl2aig-comp1115634.3
LTL2DBA1115412.9
mult-matrix1732379.55
RankingFunctions733775.61
Reduction-finding22028183924.25
Selection-hard48137846.08
sketch4237800
Sorting_networks163146700
terminator14553320092.54
toy22492.86
wgrowing21117111.94
wmiforward2548.18