CMS_Solver results solving families - 2008

Family# Total# Sat# UnsatTime
NCFS_bin150291773426.32
NuSMV_diam_bin92521117568.56
QLTL_safety500301097.41