Stroeder_15/2Nested_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/4NestedWith3Variables_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig2a_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig2b_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-complex_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-counterex1a_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-counterex1b_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-exmini_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-ndecr_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-rsd_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedFails4_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-terminate_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/AlternDiv.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/AlternDivWide.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/AlternDivWidening.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/AlternKonv.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Avery-FLOPS2006-Table1_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Bangalore_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Ben-Amram-LMCS2010-Ex2.3_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Benghazi_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/BradleyMannaSipma-CAV2005-Fig1_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/BradleyMannaSipma-ICALP2005-Fig1_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Cairo_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.01_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.02_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.03_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.04_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.05_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.01_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.07_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.08_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.09_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.10_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.13_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.16_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.18_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.19_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.21_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.22_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.03_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.04_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.05_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.07_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.08_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.09_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.10_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex4.01_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Fig1_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Choose.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ChooseLife.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ColonSipma-TACAS2001-Fig1_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ComplInterv.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ComplInterv2.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ComplInterv3.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ComplxStruc.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/ConvLower.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/CookSeeZuleger-TACAS2013-Fig1_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/CookSeeZuleger-TACAS2013-Fig7a_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/CookSeeZuleger-TACAS2013-Fig7b_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/CookSeeZuleger-TACAS2013-Fig8a_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/CookSeeZuleger-TACAS2013-Fig8b_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Copenhagen_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Cousot.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/DivMinus.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/DivMinus2.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/DivWithoutMinus.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/DoubleNeg.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Et1.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Et2.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Et4.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Even.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Ex01.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Ex02.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Ex03.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Ex04.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Ex05.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Ex06.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Ex07.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Ex08.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Factorial.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Fibonacci.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Flip.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Flip2.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/GCD.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/GCD2.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/GCD3.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/GCD4.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Gauss.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/GopanReps-CAV2006-Fig1a_true-termination.c.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Gothenburg_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/GulavaniGulwani-CAV2008-Fig1a_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/GulavaniGulwani-CAV2008-Fig1b_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/GulavaniGulwani-CAV2008-Fig1c_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/GulwaniJainKoskinen-PLDI2009-Fig1_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/IntPath.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Lcm.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/LeikeHeizmann-TACAS2014-Ex1_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/LeikeHeizmann-TACAS2014-Ex7_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/LeikeHeizmann-TACAS2014-Ex8_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/LeikeHeizmann-TACAS2014-Ex9_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/LeikeHeizmann-TACAS2014-Fig1_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/LeikeHeizmann-WST2014-Ex5_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/LeikeHeizmann-WST2014-Ex6_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Lobnya-Boolean-Reordered_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Log.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/LogAG.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/LogMult.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Loop.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Madrid_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Marbie1.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Marbie2.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Masse-VMCAI2014-Ex6_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Masse-VMCAI2014-Fig1a_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Masse-VMCAI2014-Fig1b_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/McCarthyIterative.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/MenloPark_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Middle.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/MinusBuiltIn.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/MinusMin.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/MinusUserDefined.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/MirrorInterv.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/MirrorIntervSim.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Mysore_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/NO_00.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/NO_01.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/NO_02.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/NO_03.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/NO_04.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/NO_10.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/NO_12.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/NO_13.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/NO_21.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/NO_22.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/NO_23.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/NO_24.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/NarrowKonv.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Narrowing.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Nested.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/NonTermination1_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/NonTermination2_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/NonTermination4_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/NonTerminationSimple2_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/NonTerminationSimple3_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/NonTerminationSimple4_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/NonTerminationSimple5_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/NonTerminationSimple6_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/NonTerminationSimple7_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/NonTerminationSimple8_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/NonTerminationSimple9_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/NoriSharma-FSE2013-Fig7_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/NoriSharma-FSE2013-Fig8_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Nyala-2lex_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Overflow.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Parallel_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/PastaA1.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/PastaA10.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/PastaA4.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/PastaA5.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/PastaA6.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/PastaA7.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/PastaA8.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/PastaA9.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/PastaB1.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/PastaB11.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/PastaB14.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/PastaB15.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/PastaB16.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/PastaB17.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/PastaB2.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/PastaB3.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/PastaB4.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/PastaB6.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/PastaB7.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/PastaC1.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/PastaC10.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/PastaC2.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/PastaC3.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/PastaC7.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/PastaC9.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Piecewise_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/PlusSwap.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/PodelskiRybalchenko-LICS2004-Fig1_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig1_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig2_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig4_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/PodelskiRybalchenko-VMCAI2004-Ex1_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/PodelskiRybalchenko-VMCAI2004-Ex2_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Pure2Phase_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Pure3Phase_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Rotation180_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Sequence.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Stockholm_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Sunset.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Swingers.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/TelAviv-Amir-Minimum_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Thun_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Toulouse-BranchesToLoop_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Toulouse-MultiBranchesToLoop_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/TrueDiv.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/TwoFloatInterv.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/UpAndDown.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/UpAndDownIneq.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Urban-WST2013-Fig1_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Urban-WST2013-Fig2-modified1000_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Urban-WST2013-Fig2_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/UrbanMine-ESOP2014-Fig3_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Velroyen_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/Waldkirch_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/WhileDecr.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/WhileFalse_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/WhileIncr.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/WhileIncrPart.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/WhileNested.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/WhileNestedOffset.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/WhilePart.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/WhileSingle.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/WhileTrue.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/WhileTrue_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/aaron2_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/aaron3_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/collatz.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/easy1_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/easy2_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/gcd1_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/genady_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/min_rf_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_a.04.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_a.05.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_a.06.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_a.07.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_a.08.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_a.09_assume.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_a.10.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_b.01.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_b.02.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_b.03-no-inv_assume.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_b.03_assume.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_b.04.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_b.05.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_b.06.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_b.07.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_b.09-no-inv_assume.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_b.09_assume.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_b.10.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_b.11.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_b.12.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_b.13.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_b.14.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_b.15.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_b.16.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_b.17.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_b.18.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_c.01-no-inv.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_c.01_assume.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_c.02.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_c.03.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_c.07.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_c.08.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_easySum.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_ex1.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_ex2.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_ex3a.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_ex3b.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_fermat.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_flag.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_java_AG313.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_java_Break.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_java_Continue1.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_java_Nested.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Stroeder_15/svcomp_java_Sequence.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Ton_Chanh_15/2Nested_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Ton_Chanh_15/Bangalore_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Ton_Chanh_15/Bangalore_v2_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Ton_Chanh_15/Bangalore_v3_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Ton_Chanh_15/Bangalore_v4_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Ton_Chanh_15/Benghazi_nondet_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Ton_Chanh_15/Cairo_nondet_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Ton_Chanh_15/Cairo_step2_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Ton_Chanh_15/Copenhagen_disj_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Ton_Chanh_15/Gothenburg_v2_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Ton_Chanh_15/Hanoi_2vars_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Ton_Chanh_15/Hanoi_3vars_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Ton_Chanh_15/Hanoi_plus_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Ton_Chanh_15/McCarthy91_Iteration_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Ton_Chanh_15/Mysore_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Ton_Chanh_15/Singapore_plus_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Ton_Chanh_15/Singapore_true-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Ton_Chanh_15/Singapore_v1_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)
Ton_Chanh_15/Singapore_v2_false-termination.c	.c	.llvm	.cpf (LTS)	AProVE Output (LTS)	CeTA Output (LTS)	.cpf (Full)	AProVE Output (Full)	CeTA Output (Full)