qpro results solving families - 2010

Family# Total# Sat# UnsatTime
mqm4535229231388.63
NuSMV_diam27565194710.8
QLTL_safety5006585997.93