iprover_hqspre results solving families - 2018

Family# Total# Sat# UnsatTime
Balabanov_dqbf1026662741.73
Bloem_dqbf14728468413.68
Scholl_dqbf18363193033.24
Tentrup_dqbf2271225136705.77