CirQit2.1 results solving families - 2010

Family# Total# Sat# UnsatTime
mqm4532363255435.75
NuSMV_diam275721711971.23
QLTL_safety50014102398329.83