sKizzo-0.10-std results solving families - 2007

Family# Total# Sat# UnsatTime
NuSMV_diam273521244510.34