AQME-C4.5 results solving families - 2007

Family# Total# Sat# UnsatTime
Abduction71114513343681.36