• Competition_2011_Derivational_Complexity___Full_Rewriting
  • Competition_2011_Derivational_Complexity___Innermost_Rewriting
  • Competition_2011_Haskell
  • Competition_2011_Higher_Order_Rewriting___Union_Beta
  • Competition_2011_Java_Bytecode
  • Competition_2011_Java_Bytecode_Recursive
  • Competition_2011_Logic_Programming
  • Competition_2011_Logic_Programming_with_Cut
  • Competition_2011_Prolog
  • Competition_2011_Runtime_Complexity___Full_Rewriting
  • Competition_2011_Runtime_Complexity___Innermost_Rewriting
  • Competition_2011_SRS_Relative
  • Competition_2011_SRS_Relative_Certifying
  • Competition_2011_SRS_Standard
  • Competition_2011_SRS_Standard_Certifying
  • Competition_2011_TRS_Conditional
  • Competition_2011_TRS_Contextsensitive
  • Competition_2011_TRS_Equational
  • Competition_2011_TRS_Innermost
  • Competition_2011_TRS_Outermost
  • Competition_2011_TRS_Relative
  • Competition_2011_TRS_Relative_Certifying
  • Competition_2011_TRS_Standard
  • Competition_2011_TRS_Standard_Certifying
  • Full_run_December_2011_Derivational_Complexity___Full_Rewriting
  • Full_run_December_2011_Derivational_Complexity___Innermost_Rewriting
  • Full_run_December_2011_Haskell
  • Full_run_December_2011_Higher_Order_Rewriting___Union_Beta
  • Full_run_December_2011_Java_Bytecode
  • Full_run_December_2011_Java_Bytecode_Recursive
  • Full_run_December_2011_Logic_Programming
  • Full_run_December_2011_Logic_Programming_with_Cut
  • Full_run_December_2011_LP_EMPTY
  • Full_run_December_2011_Prolog
  • Full_run_December_2011_Runtime_Complexity___Full_Rewriting
  • Full_run_December_2011_Runtime_Complexity___Innermost_Rewriting
  • Full_run_December_2011_SRS_Relative
  • Full_run_December_2011_SRS_Relative_Certifying
  • Full_run_December_2011_SRS_Standard
  • Full_run_December_2011_SRS_Standard_Certifying
  • Full_run_December_2011_TRS_Conditional
  • Full_run_December_2011_TRS_Contextsensitive
  • Full_run_December_2011_TRS_Equational
  • Full_run_December_2011_TRS_Innermost
  • Full_run_December_2011_TRS_Outermost
  • Full_run_December_2011_TRS_Relative
  • Full_run_December_2011_TRS_Relative_Certifying
  • Full_run_December_2011_TRS_Standard
  • Full_run_December_2011_TRS_Standard_Certifying