depqbf_pre_QxQBH results solving families - 2018

Family# Total# Sat# UnsatTime
amba1935051.69
arithmetic3668106.22
cycle-sched3467443.93
disjunctive_decomposition4078137.38
driver34639.73
genbuf54500.2
HardwareFixpoint300153199943.08
hwmcc26118936.3
irqlkeapclte2664430004.37
ltl2aig-comp5158.7
LTL2DBA12210.15
LTL2DPA7113.58
Model_instances47331450.31
mult-matrix29568.24
Q_2_3981527416.07
RankingFunctions663115.47
Reduction-finding225211171575.76
Selection-hard42132411.86
sketch4742301.73
Sorting_networks17579103848.72
terminator21763617370.5
toy30549.85
wgrowing1219003.48
wmiforward74111366.1