hqs results solving families - 2018

Family# Total# Sat# UnsatTime
Balabanov_dqbf1027856319.06
Bloem_dqbf14724478319.18
Scholl_dqbf183124642978.38
Tentrup_dqbf227135850968.53