QUANTOR_2.15 results solving families - 2007

Family# Total# Sat# UnsatTime
Abduction7143340102380.22