ARIWeb
Input Format
CoCo
Input Problem
Import system from the
ARI database
:
Import
Property:
COM
CR
GCR
INF
NFP
UNC
UNR
(format TRS) (fun ack 2) (fun s 1) (fun 0 0) (rule (ack 0 x) (s x)) (rule (ack (s x) 0) (ack x (s 0))) (rule (ack (s x) (s y)) (ack x (ack (s x) y)))
Tools
Selected only
2024
CSRS
CONFident
CTRS
ACP
CO3
CONFident
LCTRS
CRaris
crest
SRS
ACP
ACP+CeTA
CONFident
CSI
CSI+CeTA
Hakusan+CeTA
TRS
ACP
ACP+CeTA
CONFident
CSI
CSI+CeTA
FORT-h
FORT-h+FORTify
Hakusan+CeTA
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
SRS
ACP
CSI
CoLL-Saigawa
TRS
ACP
ACP+CeTA
CSI
CSI+CeTA
CoLL-Saigawa
2019
CTRS
ACP
CO3
ConCon
ConCon+CeTA
SRS
ACP
CSI
CoLL-Saigawa
noko-leipzig
TRS
ACP
ACP+CeTA
CSI
CSI+CeTA
CoLL-Saigawa
2018
CTRS
ACP
CO3
ConCon
ConCon+CeTA
TRS
ACP
ACP+CeTA
CSI
CSI+CeTA
CoLL-Saigawa
2017
CTRS
CO3
ConCon
ConCon+CeTA
TRS
ACP
ACP+CeTA
CSI
CSI+CeTA
CoLL-Saigawa
2016
CTRS
CO3
CoScart
ConCon
ConCon+CeTA
TRS
ACP
ACP+CeTA
CSI
CSI+CeTA
CoLL-Saigawa
2015
CTRS
CO3
CoScart
ConCon
ConCon+CeTA
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
Timeout (s):
Submit
Running ...