sKizzo-0.10-qck results solving families - 2007

Family# Total# Sat# UnsatTime
Abduction711668342209.23