• Competition_2013_Derivational_Complexity___Full_Rewriting
  • Competition_2013_Higher_Order_Rewriting___Union_Beta
  • Competition_2013_Java_Bytecode
  • Competition_2013_Java_Bytecode_Recursive
  • Competition_2013_Logic_Programming
  • Competition_2013_Runtime_Complexity___Full_Rewriting
  • Competition_2013_Runtime_Complexity___Innermost_Rewriting
  • Competition_2013_SRS_Relative
  • Competition_2013_SRS_Standard
  • Competition_2013_TRS_Equational
  • Competition_2013_TRS_Relative
  • Competition_2013_TRS_Standard
  • Full_run_December_2013_Derivational_Complexity___Full_Rewriting
  • Full_run_December_2013_Derivational_Complexity___Innermost_Rewriting
  • Full_run_December_2013_Haskell
  • Full_run_December_2013_Higher_Order_Rewriting___Union_Beta
  • Full_run_December_2013_Java_Bytecode
  • Full_run_December_2013_Java_Bytecode_Recursive
  • Full_run_December_2013_Logic_Programming
  • Full_run_December_2013_Logic_Programming_with_Cut
  • Full_run_December_2013_Prolog
  • Full_run_December_2013_Runtime_Complexity___Full_Rewriting
  • Full_run_December_2013_Runtime_Complexity___Innermost_Rewriting
  • Full_run_December_2013_SRS_Relative
  • Full_run_December_2013_SRS_Standard
  • Full_run_December_2013_TRS_Conditional
  • Full_run_December_2013_TRS_Contextsensitive
  • Full_run_December_2013_TRS_Equational
  • Full_run_December_2013_TRS_Innermost
  • Full_run_December_2013_TRS_Outermost
  • Full_run_December_2013_TRS_Relative
  • Full_run_December_2013_TRS_Standard