dqbdd results solving families - 2020

Family# Total# Sat# UnsatTime
(D)-QBF_Autarkies50491631.08
Balabanov_dqbf1024855940.01
Bloem_dqbf192312102179.58
Scholl_dqbf187245612600.45
Tentrup_dqbf19897417286.85