Details of experiments in our paper in FSCD 2017

255 problems from CoCo 2016 Demo GCR Category

• Problems(format has been changed to the Cops MSTRS format)
• link to the result of AGCP and FORT (CoCo 2016)
• summary (ALL)
• logs (All)
• analysis (Table 2)

55 new problems

• problems(format has been changed to the Cops MSTRS format, a bug in seteq3.trs has been corrected.)
• summary (ACP)
• logs (ACP)
• summary (AGCP)
• logs (AGCP)
• summary (ALL)
• logs (All)