Web Interface Please enter your program here in TPDB format or OBJ/Maude format: or upload a file: or load an existing example: Example 1 – IJCAR20Example 4 – IJCAR20Example 6 – IJCAR20Example 7 – IJCAR20 Basic usage using a timeout of seconds. Proof settings linearsimple-mixed polynomials, rationalno rational coefficients, coefficients dimension , coefficients maximum value , and timeout of seconds. Proof techniques Proof with (only (CS-)TRSs in TPDB format): Result