Adaptive2clsQ results solving families - 2007

Family# Total# Sat# UnsatTime
Abduction714116107152319.02