iprover_dqbf18 results solving families - 2018

Family# Total# Sat# UnsatTime
Balabanov_dqbf688932210.14
Bloem_dqbf12622473705.2
Scholl_dqbf15023087755.45
Tentrup_dqbf175822112485.72