CoCoWeb

Home Web Interface

Tools

Select which tools you want to run by 'year'/'category'/'tool'

2023
- TRS
  - ACP
  - ACP+CeTA
  - CoLL
  - FORT-h
  - FORTify
2022
- TRS
  - ACP
  - CoLL
  - FORT-h
  - FORTify
2021
- TRS
  - ACP
  - CoLL
  - FORT-h
  - FORTify
2020
- TRS
  - ACP
  - CoLL
  - FORT-h
2019
- TRS
  - ACP
  - CoLL
  - FORT

2023
- CSRS
  - CONFident
  - ConfCSR
- CTRS
  - ACP
  - CO3
  - CONFident
- SRS
  - ACP
  - ACP+CeTA
  - CONFident
  - CSI
  - CSI+CeTA
  - Hakusan
  - Hakusan+CeTA
- TRS
  - ACP
  - ACP+CeTA
  - CONFident
  - CSI
  - CSI+CeTA
  - FORT-h
  - FORTify
  - Hakusan
  - Hakusan+CeTA
2022
- CSRS
  - CONFident
- CTRS
  - ACP
  - CO3
  - CONFident
- SRS
  - ACP
  - CONFident
  - CSI
  - Hakusan
- TRS
  - ACP
  - ACP+CeTA
  - CONFident
  - CSI
  - CSI+CeTA
  - FORTify
  - Hakusan
2021
- CTRS
  - ACP
  - CO3
  - CONFident
- SRS
  - ACP
  - CONFident
  - CSI
  - CoLL-Saigawa
- TRS
  - ACP
  - ACP+CeTA
  - CONFident
  - CSI
  - CSI+CeTA
  - CoLL-Saigawa
  - FORTify
2020
- CTRS
  - ACP
  - CO3
  - ConCon
  - ConCon+CeTA
- HRS
  - CSI^ho
  - SOL
- SRS
  - ACP
  - CSI
  - CoLL-Saigawa
- TRS
  - ACP
  - ACP+CeTA
  - CSI
  - CSI+CeTA
  - CoLL-Saigawa
2019
- CTRS
  - ACP
  - CO3
  - ConCon
  - ConCon+CeTA
- HRS
  - CSI^ho
- SRS
  - ACP
  - CSI
  - CoLL-Saigawa
  - noko-leipzig
- TRS
  - ACP
  - ACP+CeTA
  - CSI
  - CSI+CeTA
  - CoLL-Saigawa
2018
- CTRS
  - ACP
  - CO3
  - ConCon
  - ConCon+CeTA
- HRS
  - CSI^ho
  - SOL
- TRS
  - ACP
  - ACP+CeTA
  - CSI
  - CSI+CeTA
  - CoLL-Saigawa
2017
- CTRS
  - CO3
  - ConCon
  - ConCon+CeTA
- HRS
  - ACPH
  - CSI^ho
  - SOL
- TRS
  - ACP
  - ACP+CeTA
  - CSI
  - CSI+CeTA
  - CoLL-Saigawa
2016
- CTRS
  - CO3
  - CoScart
  - ConCon
  - ConCon+CeTA
- HRS
  - ACPH
  - CSI^ho
- TRS
  - ACP
  - ACP+CeTA
  - CSI
  - CSI+CeTA
  - CoLL-Saigawa
2015
- CTRS
  - CO3
  - CoScart
  - ConCon
  - ConCon+CeTA
- HRS
  - ACPH
  - CSI^ho
- TRS
  - ACP
  - ACP+CeTA
  - CSI
  - CSI+CeTA
  - CoLL-Saigawa
2014
- CTRS
  - CO3
  - ConCon
- TRS
  - ACP
  - CSI
  - CoLL
  - Saigawa
2013
- TRS
  - ACP
  - CSI
  - Saigawa
2012
- TRS
  - ACP
  - CSI
  - Saigawa

2023
- MSTRS
  - AGCP
  - FORT-h
  - FORTify
- TRS
  - AGCP
  - FORT-h
  - FORTify
2022
- MSTRS
  - AGCP
  - FORT-h
  - FORTify
- TRS
  - AGCP
  - FORT-h
  - FORTify
2021
- MSTRS
  - AGCP
  - FORT-h
  - FORTify
- TRS
  - AGCP
  - FORT-h
  - FORTify
2020
- MSTRS
  - AGCP
  - FORT-h
- TRS
  - AGCP
  - FORT-h
2019
- MSTRS
  - AGCP
  - FORT
- TRS
  - AGCP
  - FORT
2018
- MSTRS
  - AGCP
  - FORT
- TRS
  - AGCP
  - FORT
2017
- MSTRS
  - AGCP
  - FORT
- TRS
  - AGCP
  - FORT

2023
- (C)TRS
  - CO3
  - NaTT
  - Toma
  - infChecker
  - nonreach
  - nonreach+CeTA
2022
- (C)TRS
  - CO3
  - NaTT
  - Toma
  - infChecker
2021
- (C)TRS
  - CO3
  - NaTT
  - infChecker
2020
- (C)TRS
  - CO3
  - ConCon
  - Moca
  - infChecker
  - nonreach
2019
- (C)TRS
  - CO3
  - ConCon
  - Moca
  - infChecker
  - maedmax
  - nonreach

2023
- TRS
  - CSI
  - FORT-h
  - FORTify
2022
- TRS
  - CSI
  - FORT-h
  - FORTify
2021
- TRS
  - CSI
  - FORT-h
2020
- TRS
  - CSI
  - FORT-h
2019
- TRS
  - CSI
  - FORT
2018
- TRS
  - CSI
  - FORT
2017
- TRS
  - CSI
  - FORT

2023
- TRS
  - ACP
  - CSI
  - FORT-h
  - FORTify
2022
- TRS
  - ACP
  - CSI
  - FORT-h
  - FORTify
2021
- TRS
  - ACP
  - CSI
  - FORT-h
  - FORTify
2020
- TRS
  - ACP
  - CSI
  - FORT-h
2019
- TRS
  - ACP
  - CSI
  - FORT
2018
- TRS
  - ACP
  - CSI
  - FORT
2017
- TRS
  - CSI
  - FORT

2023
- TRS
  - ACP
  - CSI
  - FORT-h
  - FORTify
2022
- TRS
  - CSI
  - FORT-h
  - FORTify
2021
- TRS
  - CSI
  - FORT-h
  - FORTify
2020
- TRS
  - CSI
  - FORT-h
2019
- TRS
  - CSI
  - FORT
2018
- TRS
  - CSI
  - FORT
2017
- TRS
  - CSI
  - FORT

Enter a rewrite system, upload a file or import a Cop:
(FUN f : a -> a ) (VAR x : a ) (RULES )
property:	COM CR GCR INF	timeout:
	NFP UNC UNR	submit this problem to