hqs+ql results solving families - 2019

Family# Total# Sat# UnsatTime
Balabanov_dqbf10291049369.74
Bloem_dqbf20734219701.59
Scholl_dqbf214226419555.23
Tentrup_dqbf224126923491.76