idq results solving families - 2018

Family# Total# Sat# UnsatTime
Balabanov_dqbf10281047184.84
Bloem_dqbf147104110758.94
Scholl_dqbf18320135934.48
Tentrup_dqbf227518164909.03