"Model","Inputs","Latches","AndGates","Vars","Locations","Edges","Assigns","Assumes","Havocs"
"../models/cfa/eca/Problem01_label15_false-unreach-call.c_0.cfa","","","","10","317","393","236","156","1"
"../models/cfa/eca/Problem01_label19_true-unreach-call.c_0.cfa","","","","10","322","403","236","166","1"
"../models/cfa/eca/Problem02_label57_true-unreach-call.c_0.cfa","","","","9","312","408","211","196","1"
"../models/cfa/eca/Problem03_label03_true-unreach-call.c_0.cfa","","","","30","1261","1436","1081","354","1"
"../models/cfa/eca/Problem03_label48_true-unreach-call.c_0.cfa","","","","30","1280","1474","1081","392","1"
"../models/sts/hwmcc/139444p22.aag","244","322","5549","","","","","",""
"../models/sts/hwmcc/6s282b01.aag","44","637","3185","","","","","",""
"../models/sts/hwmcc/beemadd3b1.aag","60","56","876","","","","","",""
"../models/sts/hwmcc/bj08amba4g5.aag","11","33","13585","","","","","",""
"../models/sts/hwmcc/bobtuint12neg.aag","212","207","1937","","","","","",""
"../models/sts/hwmcc/intel001.aag","31","23","240","","","","","",""
"../models/sts/hwmcc/mentorbm1p04.aag","100","2373","17508","","","","","",""
"../models/sts/hwmcc/oski15a14b16s.aag","1023","3451","33367","","","","","",""
"../models/sts/hwmcc/pdtvistwoall1.aag","6","31","725","","","","","",""
"../models/sts/hwmcc/texaspimainp08.aag","14","42","1955","","","","","",""
"../models/cfa/locks/locks_10_true.c_2.cfa","","","","18","26","36","10","24","2"
"../models/cfa/locks/locks_11_true.c_8.cfa","","","","8","16","21","5","14","2"
"../models/cfa/locks/locks_14_false.c_1.cfa","","","","4","9","10","2","6","2"
"../models/cfa/locks/locks_15_false.c_0.cfa","","","","4","9","10","2","6","2"
"../models/cfa/locks/locks_5_true.c_4.cfa","","","","5","13","16","4","10","2"
"../models/cfa/plc/plc1.cfa","","","","24","66","70","51","11","8"
"../models/cfa/plc/plc2.cfa","","","","71","175","196","135","40","21"
"../models/cfa/plc/plc3.cfa","","","","71","175","196","135","40","21"
"../models/cfa/plc/plc4a.cfa","","","","71","175","196","135","40","21"
"../models/cfa/plc/plc4b.cfa","","","","71","175","196","135","40","21"
"../models/cfa/ssh/s3_clnt_1_true.c_0.cfa","","","","64","187","262","79","154","29"
"../models/cfa/ssh/s3_clnt_3_false.c_0.cfa","","","","70","193","268","85","154","29"
"../models/cfa/ssh/s3_srvr_1_false.c_0.cfa","","","","78","233","323","102","184","37"
"../models/cfa/ssh/s3_srvr_3_true.c_0.cfa","","","","77","230","320","100","184","36"
"../models/cfa/ssh/s3_srvr_4_true.c_0.cfa","","","","77","230","320","100","184","36"