{"id":82,"date":"2015-02-06T12:59:44","date_gmt":"2015-02-06T12:59:44","guid":{"rendered":"http:\/\/zenon.dsic.upv.es\/muterm-testing\/?page_id=82"},"modified":"2022-09-01T09:52:38","modified_gmt":"2022-09-01T09:52:38","slug":"benchmarks","status":"publish","type":"page","link":"http:\/\/zenon.dsic.upv.es\/muterm\/index.php\/benchmarks\/","title":{"rendered":"Benchmarks"},"content":{"rendered":"<p>Historical Results on the Termination Competition<\/p>\n<h4>(Links redirect to external webpages)<\/h4>\n<h3>2022 Termination Competition (MU-TERM 6.1)<\/h3>\n<ul>\n<li>FLoC Olympic Games:<br \/>\n<table>\n<tbody>\n<tr>\n<td style=\"vertical-align: middle;\">2022:<\/td>\n<td><img decoding=\"async\" src=\"http:\/\/zenon.dsic.upv.es\/muterm\/wp-content\/uploads\/2022\/09\/silver_floc.png\" alt=\"Silver\" width=\"25px\" height=\"25px\"><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/li>\n<\/ul>\n<table border=\"0\" cellspacing=\"1\" cellpadding=\"1\" align=\"center\">\n<tbody>\n<tr>\n<td class=\"cell-header\" width=\"400\">Category<\/td>\n<td class=\"cell-header\">Results<\/td>\n<td class=\"cell-header\">Position<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Standard<\/td>\n<td class=\"cell-data\"><a title=\"TRS Standard\" href=\"https:\/\/termcomp.herokuapp.com\/Y2022\/TRS_Standard.html\">link<\/a><\/td>\n<td class=\"cell-data\">4th<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">SRS Standard<\/td>\n<td class=\"cell-data\"><a title=\"SRS Standard\" href=\"https:\/\/termcomp.herokuapp.com\/Y2022\/SRS_Standard.html\">link<\/a><\/td>\n<td class=\"cell-data\">6th<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Equational<\/td>\n<td class=\"cell-data\"><a title=\"TRS Equational\" href=\"https:\/\/termcomp.herokuapp.com\/Y2022\/TRS_Equational.html\">link<\/a><\/td>\n<td class=\"cell-data\">2nd<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Conditional (Operational Termination)<\/td>\n<td class=\"cell-data\"><a title=\"TRS Conditional\" href=\"https:\/\/termcomp.herokuapp.com\/Y2022\/TRS_Conditional_-_Operational_Termination.html\">link<\/a><\/td>\n<td class=\"cell-data\">1st<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Context Sensitive<\/td>\n<td class=\"cell-data\"><a title=\"TRS Context Sensitive\" href=\"https:\/\/termcomp.herokuapp.com\/Y2022\/TRS_Context_Sensitive.html\">link<\/a><\/td>\n<td class=\"cell-data\">1st<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Innermost<\/td>\n<td class=\"cell-data\"><a title=\"TRS Innermost\" href=\"https:\/\/termcomp.herokuapp.com\/Y2022\/TRS_Innermost.html\">link<\/a><\/td>\n<td class=\"cell-data\">2nd<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Conditional (Termination)<\/td>\n<td class=\"cell-data\"><a title=\"TRS Innermost\" href=\"https:\/\/termcomp.herokuapp.com\/Y2022\/TRS_Conditional_-_Termination.html\">link<\/a><\/td>\n<td class=\"cell-data\">Demostration<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h3>2021 Termination Competition (MU-TERM 6.03)<\/h3>\n<table border=\"0\" cellspacing=\"1\" cellpadding=\"1\" align=\"center\">\n<tbody>\n<tr>\n<td class=\"cell-header\" width=\"400\">Category<\/td>\n<td class=\"cell-header\">Results<\/td>\n<td class=\"cell-header\">Position<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Standard<\/td>\n<td class=\"cell-data\"><a title=\"TRS Standard\" href=\"https:\/\/termcomp.github.io\/Y2021\/job_47877_47875.html\">854\/1507<\/a><\/td>\n<td class=\"cell-data\">4th<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">SRS Standard<\/td>\n<td class=\"cell-data\"><a title=\"SRS Standard\" href=\"https:\/\/termcomp.github.io\/Y2021\/job_47878_47876.html\">178\/1541<\/a><\/td>\n<td class=\"cell-data\">6th<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Equational<\/td>\n<td class=\"cell-data\"><a title=\"TRS Equational\" href=\"https:\/\/termcomp.github.io\/Y2021\/job_47879_47953.html\">64\/76<\/a><\/td>\n<td class=\"cell-data\">2nd<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Conditional<\/td>\n<td class=\"cell-data\"><a title=\"TRS Conditional\" href=\"https:\/\/termcomp.github.io\/Y2021\/job_47881.html\">104\/117<\/a><\/td>\n<td class=\"cell-data\">1st<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Context Sensitive<\/td>\n<td class=\"cell-data\"><a title=\"TRS Context Sensitive\" href=\"https:\/\/termcomp.github.io\/Y2021\/job_47882.html\">101\/108<\/a><\/td>\n<td class=\"cell-data\">1st<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Innermost<\/td>\n<td class=\"cell-data\"><a title=\"TRS Innermost\" href=\"https:\/\/termcomp.github.io\/Y2021\/job_47883_47884.html\">213\/366<\/a><\/td>\n<td class=\"cell-data\">2nd<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h3>2020 Termination Competition (MU-TERM 6.03)<\/h3>\n<table border=\"0\" cellspacing=\"1\" cellpadding=\"1\" align=\"center\">\n<tbody>\n<tr>\n<td class=\"cell-header\" width=\"400\">Category<\/td>\n<td class=\"cell-header\">Results<\/td>\n<td class=\"cell-header\">Position<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Standard<\/td>\n<td class=\"cell-data\"><a title=\"TRS Standard\" href=\"https:\/\/termcomp.github.io\/Y2020-1\/\">854\/1507<\/a><\/td>\n<td class=\"cell-data\">4th<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">SRS Standard<\/td>\n<td class=\"cell-data\"><a title=\"SRS Standard\" href=\"https:\/\/termcomp.github.io\/Y2020-1\/\">135\/1541<\/a><\/td>\n<td class=\"cell-data\">6th<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Equational<\/td>\n<td class=\"cell-data\"><a title=\"TRS Equational\" href=\"https:\/\/termcomp.github.io\/Y2020-1\/\">64\/76<\/a><\/td>\n<td class=\"cell-data\">2nd<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Conditional<\/td>\n<td class=\"cell-data\"><a title=\"TRS Conditional\" href=\"https:\/\/termcomp.github.io\/Y2020-1\/\">104\/117<\/a><\/td>\n<td class=\"cell-data\">1st<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Context Sensitive<\/td>\n<td class=\"cell-data\"><a title=\"TRS Context Sensitive\" href=\"https:\/\/termcomp.github.io\/Y2020-1\/\">101\/108<\/a><\/td>\n<td class=\"cell-data\">1st<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Innermost<\/td>\n<td class=\"cell-data\"><a title=\"TRS Innermost\" href=\"https:\/\/termcomp.github.io\/Y2020-1\/\">213\/366<\/a><\/td>\n<td class=\"cell-data\">2nd<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h3>2019 Termination Competition (MU-TERM 6.03)<\/h3>\n<table border=\"0\" cellspacing=\"1\" cellpadding=\"1\" align=\"center\">\n<tbody>\n<tr>\n<td class=\"cell-header\" width=\"400\">Category<\/td>\n<td class=\"cell-header\">Results<\/td>\n<td class=\"cell-header\">Position<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Standard<\/td>\n<td class=\"cell-data\"><a title=\"TRS Standard\" href=\"http:\/\/group-mmm.org\/termination\/competitions\/Y2019\/caches\/termination_33457.html\">857\/1506<\/a><\/td>\n<td class=\"cell-data\">4th<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">SRS Standard<\/td>\n<td class=\"cell-data\"><a title=\"SRS Standard\" href=\"http:\/\/group-mmm.org\/termination\/competitions\/Y2019\/caches\/termination_33458.html\">179\/1642<\/a><\/td>\n<td class=\"cell-data\">6th<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Equational<\/td>\n<td class=\"cell-data\"><a title=\"TRS Equational\" href=\"http:\/\/group-mmm.org\/termination\/competitions\/Y2019\/caches\/termination_33020.html\">64\/76<\/a><\/td>\n<td class=\"cell-data\">2nd<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Conditional<\/td>\n<td class=\"cell-data\"><a title=\"TRS Conditional\" href=\"http:\/\/group-mmm.org\/termination\/competitions\/Y2019\/caches\/termination_33455.html\">104\/117<\/a><\/td>\n<td class=\"cell-data\">1st<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Context Sensitive<\/td>\n<td class=\"cell-data\"><a title=\"TRS Context Sensitive\" href=\"http:\/\/group-mmm.org\/termination\/competitions\/Y2019\/caches\/termination_33019.html\">101\/108<\/a><\/td>\n<td class=\"cell-data\">1st<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Innermost<\/td>\n<td class=\"cell-data\"><a title=\"TRS Innermost\" href=\"http:\/\/group-mmm.org\/termination\/competitions\/Y2019\/caches\/termination_33453.html\">213\/366<\/a><\/td>\n<td class=\"cell-data\">2nd<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h3>2018 Termination Competition (MU-TERM 5.18)<\/h3>\n<table border=\"0\" cellspacing=\"1\" cellpadding=\"1\" align=\"center\">\n<tbody>\n<tr>\n<td class=\"cell-header\" width=\"400\">Category<\/td>\n<td class=\"cell-header\">Results<\/td>\n<td class=\"cell-header\">Position<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Standard<\/td>\n<td class=\"cell-data\"><a title=\"TRS Standard\" href=\"\nhttp:\/\/group-mmm.org\/termination\/competitions\/Y2018\/caches\/termination_30034.html\">832\/1498<\/a><\/td>\n<td class=\"cell-data\">4th<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">SRS Standard<\/td>\n<td class=\"cell-data\"><a title=\"SRS Standard\" href=\"http:\/\/group-mmm.org\/termination\/competitions\/Y2018\/caches\/termination_30035.html\">136\/1541<\/a><\/td>\n<td class=\"cell-data\">5th<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Equational<\/td>\n<td class=\"cell-data\"><a title=\"TRS Equational\" href=\"http:\/\/group-mmm.org\/termination\/competitions\/Y2018\/caches\/termination_30042.html\">63\/76<\/a><\/td>\n<td class=\"cell-data\">2nd<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Conditional<\/td>\n<td class=\"cell-data\"><a title=\"TRS Conditional\" href=\"http:\/\/group-mmm.org\/termination\/competitions\/Y2018\/caches\/termination_30044.html\">101\/117<\/a><\/td>\n<td class=\"cell-data\">1st<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Context Sensitive<\/td>\n<td class=\"cell-data\"><a title=\"TRS Context Sensitive\" href=\"http:\/\/group-mmm.org\/termination\/competitions\/Y2018\/caches\/termination_30045.html\">101\/108<\/a><\/td>\n<td class=\"cell-data\">1st<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Innermost<\/td>\n<td class=\"cell-data\"><a title=\"TRS Innermost\" href=\"http:\/\/group-mmm.org\/termination\/competitions\/Y2018\/caches\/termination_30046.html\">208\/366<\/a><\/td>\n<td class=\"cell-data\">2nd<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h3>2017 Termination Competition (MU-TERM 5.18)<\/h3>\n<table border=\"0\" cellspacing=\"1\" cellpadding=\"1\" align=\"center\">\n<tbody>\n<tr>\n<td class=\"cell-header\" width=\"400\">Category<\/td>\n<td class=\"cell-header\">Results<\/td>\n<td class=\"cell-header\">Position<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Standard<\/td>\n<td class=\"cell-data\"><a title=\"TRS Standard\" href=\"https:\/\/termcomp.imn.htwk-leipzig.de\/results\/standard\/noquery\/24388\">858\/1498<\/a><\/td>\n<td class=\"cell-data\">3th<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">SRS Standard<\/td>\n<td class=\"cell-data\"><a title=\"SRS Standard\" href=\"https:\/\/termcomp.imn.htwk-leipzig.de\/results\/standard\/noquery\/24389\">140\/1541<\/a><\/td>\n<td class=\"cell-data\">5th<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Equational<\/td>\n<td class=\"cell-data\"><a title=\"TRS Equational\" href=\"https:\/\/termcomp.imn.htwk-leipzig.de\/results\/standard\/noquery\/24393\">64\/76<\/a><\/td>\n<td class=\"cell-data\">2nd<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Conditional<\/td>\n<td class=\"cell-data\"><a title=\"TRS Conditional\" href=\"https:\/\/termcomp.imn.htwk-leipzig.de\/results\/standard\/noquery\/24395\">103\/117<\/a><\/td>\n<td class=\"cell-data\">1st<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Context Sensitive<\/td>\n<td class=\"cell-data\"><a title=\"TRS Context Sensitive\" href=\"https:\/\/termcomp.imn.htwk-leipzig.de\/results\/standard\/noquery\/24396\">101\/108<\/a><\/td>\n<td class=\"cell-data\">1st<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Innermost<\/td>\n<td class=\"cell-data\"><a title=\"TRS Innermost\" href=\"https:\/\/termcomp.imn.htwk-leipzig.de\/results\/standard\/noquery\/24397\">211\/366<\/a><\/td>\n<td class=\"cell-data\">2nd<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h3>2016 Termination Competition (MU-TERM 5.18)<\/h3>\n<table border=\"0\" cellspacing=\"1\" cellpadding=\"1\" align=\"center\">\n<tbody>\n<tr>\n<td class=\"cell-header\" width=\"400\">Category<\/td>\n<td class=\"cell-header\">Results<\/td>\n<td class=\"cell-header\">Position<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Standard<\/td>\n<td class=\"cell-data\"><a title=\"TRS Standard\" href=\"http:\/\/termcomp.imn.htwk-leipzig.de\/results\/standard\/noquery\/18368\">827\/1498<\/a><\/td>\n<td class=\"cell-data\">4th<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">SRS Standard<\/td>\n<td class=\"cell-data\"><a title=\"SRS Standard\" href=\"http:\/\/termcomp.imn.htwk-leipzig.de\/results\/standard\/noquery\/18369\">154\/1569<\/a><\/td>\n<td class=\"cell-data\">6th<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Equational<\/td>\n<td class=\"cell-data\"><a title=\"TRS Equational\" href=\"http:\/\/termcomp.imn.htwk-leipzig.de\/results\/standard\/noquery\/18377\">61\/76<\/a><\/td>\n<td class=\"cell-data\">2nd<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Conditional<\/td>\n<td class=\"cell-data\"><a title=\"TRS Conditional\" href=\"http:\/\/termcomp.imn.htwk-leipzig.de\/results\/standard\/noquery\/18379\">102\/117<\/a><\/td>\n<td class=\"cell-data\">1st<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Context Sensitive<\/td>\n<td class=\"cell-data\"><a title=\"TRS Context Sensitive\" href=\"http:\/\/termcomp.imn.htwk-leipzig.de\/results\/standard\/noquery\/18380\">101\/108<\/a><\/td>\n<td class=\"cell-data\">1st<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Innermost<\/td>\n<td class=\"cell-data\"><a title=\"TRS Innermost\" href=\"http:\/\/termcomp.imn.htwk-leipzig.de\/results\/standard\/noquery\/18381\">198\/366<\/a><\/td>\n<td class=\"cell-data\">2nd<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h3>2015 Termination Competition (MU-TERM 5.17)<\/h3>\n<table border=\"0\" cellspacing=\"1\" cellpadding=\"1\" align=\"center\">\n<tbody>\n<tr>\n<td class=\"cell-header\" width=\"400\">Category<\/td>\n<td class=\"cell-header\">Results<\/td>\n<td class=\"cell-header\">Position<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Standard<\/td>\n<td class=\"cell-data\"><a title=\"TRS Standard\" href=\"http:\/\/nfa.imn.htwk-leipzig.de\/termcomp-2015\/results\/standard\/noquery\/10257\">834\/1498<\/a><\/td>\n<td class=\"cell-data\">4th<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">SRS Standard<\/td>\n<td class=\"cell-data\"><a title=\"SRS Standard\" href=\"http:\/\/nfa.imn.htwk-leipzig.de\/termcomp-2015\/results\/standard\/noquery\/10296\">135\/1315<\/a><\/td>\n<td class=\"cell-data\">5th<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Equational<\/td>\n<td class=\"cell-data\"><a title=\"TRS Equational\" href=\"http:\/\/nfa.imn.htwk-leipzig.de\/termcomp-2015\/results\/standard\/noquery\/10304\">63\/76<\/a><\/td>\n<td class=\"cell-data\">2nd<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Conditional<\/td>\n<td class=\"cell-data\"><a title=\"TRS Conditional\" href=\"http:\/\/nfa.imn.htwk-leipzig.de\/termcomp-2015\/results\/standard\/noquery\/10305\">101\/117<\/a><\/td>\n<td class=\"cell-data\">1st<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Context Sensitive<\/td>\n<td class=\"cell-data\"><a title=\"TRS Context Sensitive\" href=\"http:\/\/nfa.imn.htwk-leipzig.de\/termcomp-2015\/results\/standard\/noquery\/10306\">98\/108<\/a><\/td>\n<td class=\"cell-data\">1st<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Innermost<\/td>\n<td class=\"cell-data\"><a title=\"TRS Innermost\" href=\"http:\/\/nfa.imn.htwk-leipzig.de\/termcomp-2015\/results\/standard\/noquery\/10307\">203\/366<\/a><\/td>\n<td class=\"cell-data\">2nd<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h3>2014 Termination Competition (MU-TERM 5.13)<\/h3>\n<ul>\n<li>FLoC Olympic Games:<br \/>\n<table>\n<tbody>\n<tr>\n<td style=\"vertical-align: middle;\">2014:<\/td>\n<td><img decoding=\"async\" src=\"http:\/\/zenon.dsic.upv.es\/muterm\/wp-content\/uploads\/2022\/09\/gold_floc.png\" alt=\"Gold\" width=\"25px\" height=\"25px\"><\/td>\n<td><a href=\"http:\/\/zenon.dsic.upv.es\/muterm\/wp-content\/uploads\/2022\/09\/2014-07-FLoC-OlympicGames-TermComp-CSR.pdf\" alt=\"Diploma\">Certificate<\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/li>\n<\/ul>\n<table border=\"0\" cellspacing=\"1\" cellpadding=\"1\" align=\"center\">\n<tbody>\n<tr>\n<td class=\"cell-header\" width=\"400\">Category<\/td>\n<td class=\"cell-header\">Results<\/td>\n<td class=\"cell-header\">Position<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Standard<\/td>\n<td class=\"cell-data\"><a title=\"TRS Standard\" href=\"http:\/\/nfa.imn.htwk-leipzig.de\/termcomp\/show_job_results\/5373\">856\/1481<\/a><\/td>\n<td class=\"cell-data\">4th<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">SRS Standard<\/td>\n<td class=\"cell-data\"><a title=\"SRS Standard\" href=\"http:\/\/nfa.imn.htwk-leipzig.de\/termcomp\/show_job_results\/5374\">139\/1315<\/a><\/td>\n<td class=\"cell-data\">4th<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Equational<\/td>\n<td class=\"cell-data\"><a title=\"TRS Equational\" href=\"http:\/\/nfa.imn.htwk-leipzig.de\/termcomp\/show_job_results\/5381\">59\/71<\/a><\/td>\n<td class=\"cell-data\">2nd<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Conditional<\/td>\n<td class=\"cell-data\"><a title=\"TRS Conditional\" href=\"http:\/\/nfa.imn.htwk-leipzig.de\/termcomp\/show_job_results\/5382\">25\/32<\/a><\/td>\n<td class=\"cell-data\">1st<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Context Sensitive<\/td>\n<td class=\"cell-data\"><a title=\"TRS Context Sensitive\" href=\"http:\/\/nfa.imn.htwk-leipzig.de\/termcomp\/show_job_results\/5383\">101\/108<\/a><\/td>\n<td class=\"cell-data\">1st<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Innermost<\/td>\n<td class=\"cell-data\"><a title=\"TRS Innermost\" href=\"http:\/\/nfa.imn.htwk-leipzig.de\/termcomp\/show_job_results\/5384\">211\/366<\/a><\/td>\n<td class=\"cell-data\">2nd<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h3>2013 Termination Competition (MU-TERM 5.08)<\/h3>\n<table border=\"0\" cellspacing=\"1\" cellpadding=\"1\" align=\"center\">\n<tbody>\n<tr>\n<td class=\"cell-header\" width=\"400\">Category<\/td>\n<td class=\"cell-header\">Results<\/td>\n<td class=\"cell-header\">Position<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Equational<\/td>\n<td class=\"cell-data\"><a title=\"TRS Equational\" href=\"http:\/\/termcomp.uibk.ac.at\/termcomp\/competition\/categoryResults.seam?cat=10232&amp;comp=437763&amp;cid=338301\">23\/31<\/a><\/td>\n<td class=\"cell-data\">2nd<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h3>2012 Termination Competition (MU-TERM 5.08)<\/h3>\n<table border=\"0\" cellspacing=\"1\" cellpadding=\"1\" align=\"center\">\n<tbody>\n<tr>\n<td class=\"cell-header\" width=\"400\">Category<\/td>\n<td class=\"cell-header\">Results<\/td>\n<td class=\"cell-header\">Position<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Equational<\/td>\n<td class=\"cell-data\"><a title=\"TRS Equational\" href=\"http:\/\/termcomp.uibk.ac.at\/termcomp\/competition\/categoryResults.seam?cat=10232&amp;comp=362062&amp;cid=338304\">27\/37<\/a><\/td>\n<td class=\"cell-data\">2nd<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h3>2011 Termination Competition (MU-TERM 5.08)<\/h3>\n<table border=\"0\" cellspacing=\"1\" cellpadding=\"1\" align=\"center\">\n<tbody>\n<tr>\n<td class=\"cell-header\" width=\"400\">Category<\/td>\n<td class=\"cell-header\">Results<\/td>\n<td class=\"cell-header\">Position<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Equational<\/td>\n<td class=\"cell-data\"><a title=\"TRS Equational\" href=\"http:\/\/termcomp.uibk.ac.at\/termcomp\/competition\/categoryResults.seam?cat=10232&amp;comp=230715&amp;cid=338306\">28\/37<\/a><\/td>\n<td class=\"cell-data\">2nd<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h3>2010 Termination Competition (MU-TERM 5.07)<\/h3>\n<table border=\"0\" cellspacing=\"1\" cellpadding=\"1\" align=\"center\">\n<tbody>\n<tr>\n<td class=\"cell-header\" width=\"400\">Category<\/td>\n<td class=\"cell-header\">Results<\/td>\n<td class=\"cell-header\">Position<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Standard<\/td>\n<td class=\"cell-data\"><a title=\"TRS Standard\" href=\"http:\/\/termcomp.uibk.ac.at\/termcomp\/competition\/categoryResults.seam?cat=10234&amp;comp=185404&amp;cid=338308\">229\/423<\/a><\/td>\n<td class=\"cell-data\">3th<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">SRS Standard<\/td>\n<td class=\"cell-data\"><a title=\"SRS Standard\" href=\"http:\/\/termcomp.uibk.ac.at\/termcomp\/competition\/categoryResults.seam?cat=9894&amp;comp=185404&amp;cid=338308\">36\/289<\/a><\/td>\n<td class=\"cell-data\">6th<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Equational<\/td>\n<td class=\"cell-data\"><a title=\"TRS Equational\" href=\"http:\/\/termcomp.uibk.ac.at\/termcomp\/competition\/categoryResults.seam?cat=10232&amp;comp=185404&amp;cid=338308\">16\/34<\/a><\/td>\n<td class=\"cell-data\">2nd<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Context Sensitive<\/td>\n<td class=\"cell-data\"><a title=\"TRS Context Sensitive\" href=\"http:\/\/termcomp.uibk.ac.at\/termcomp\/competition\/categoryResults.seam?cat=10230&amp;comp=185404&amp;cid=338308\">34\/37<\/a><\/td>\n<td class=\"cell-data\">1st<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Innermost<\/td>\n<td class=\"cell-data\"><a title=\"TRS Innermost\" href=\"http:\/\/termcomp.uibk.ac.at\/termcomp\/competition\/categoryResults.seam?cat=10231&amp;comp=185404&amp;cid=338308\">51\/105<\/a><\/td>\n<td class=\"cell-data\">2nd<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h3>2009 Termination Competition (MU-TERM 5.05)<\/h3>\n<table border=\"0\" cellspacing=\"1\" cellpadding=\"1\" align=\"center\">\n<tbody>\n<tr>\n<td class=\"cell-header\" width=\"400\">Category<\/td>\n<td class=\"cell-header\">Results<\/td>\n<td class=\"cell-header\">Position<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Standard<\/td>\n<td class=\"cell-data\"><a title=\"TRS Standard\" href=\"http:\/\/termcomp.uibk.ac.at\/termcomp\/competition\/categoryResults.seam?cat=10234&amp;comp=185404&amp;cid=338308\">229\/423<\/a><\/td>\n<td class=\"cell-data\">3th<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">SRS Standard<\/td>\n<td class=\"cell-data\"><a title=\"SRS Standard\" href=\"http:\/\/termcomp.uibk.ac.at\/termcomp\/competition\/categoryResults.seam?cat=9894&amp;comp=101722&amp;cid=338319\">26\/214<\/a><\/td>\n<td class=\"cell-data\">4th<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Context Sensitive<\/td>\n<td class=\"cell-data\"><a title=\"TRS Context Sensitive\" href=\"http:\/\/termcomp.uibk.ac.at\/termcomp\/competition\/categoryResults.seam?cat=10230&amp;comp=101722&amp;cid=338319\">34\/37<\/a><\/td>\n<td class=\"cell-data\">1st<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Innermost<\/td>\n<td class=\"cell-data\"><a title=\"TRS Innermost\" href=\"http:\/\/termcomp.uibk.ac.at\/termcomp\/competition\/categoryResults.seam?cat=10231&amp;comp=101722&amp;cid=338319\">56\/105<\/a><\/td>\n<td class=\"cell-data\">2nd<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h3>2007 Termination Competition (MU-TERM 4.4)<\/h3>\n<table border=\"0\" cellspacing=\"1\" cellpadding=\"1\" align=\"center\">\n<tbody>\n<tr>\n<td class=\"cell-header\" width=\"400\">Category<\/td>\n<td class=\"cell-header\">Results<\/td>\n<td class=\"cell-header\">Position<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\">TRS Context Sensitive<\/td>\n<td class=\"cell-data\"><a title=\"TRS Context Sensitive\" href=\"http:\/\/zenon.dsic.upv.es\/muterm\/wp-content\/uploads\/2015\/02\/tc2007.pdf\">68\/90<\/a><\/td>\n<td class=\"cell-data\">1st<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>More Results<\/h2>\n<h3 id=\"OTvsTSection\">CTRSs: Operational termination vs. Termination (2022)<\/h3>\n<table>\n<tbody>\n<tr>\n<td class=\"cell-header\"><strong>Benchmarks<\/strong><\/td>\n<td class=\"cell-header\"><strong>MU-TERM 6 (Operational Termination)<\/strong><\/td>\n<td class=\"cell-header\"><strong>MU-TERM 6 (Termination)<\/strong><\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\"><a href=\"http:\/\/zenon.dsic.upv.es\/muterm\/benchmarks\/ot-vs-t-20220721\/benchmarks.html\">TRS_Conditional<\/a><\/td>\n<td class=\"cell-data-total\">102\/117<\/td>\n<td class=\"cell-data-total\">101\/117<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\"><a href=\"http:\/\/zenon.dsic.upv.es\/muterm\/benchmarks\/ot-vs-t-20220721\/benchmarks.html\">COPS<\/a><\/td>\n<td class=\"cell-data-total\">124\/156<\/td>\n<td class=\"cell-data-total\">129\/156<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h3>MU-TERM 5.07 (2010) vs. MU-TERM 6.03 (2020)<\/h3>\n<table>\n<tbody>\n<tr>\n<td class=\"cell-data-blank\" width=\"150\"><\/td>\n<td class=\"cell-header\" colspan=\"2\" width=\"200\"><strong>Results (Solved\/Total)<\/strong><\/td>\n<td class=\"cell-header\" colspan=\"2\" width=\"300\"><strong>Average Time<\/strong><\/td>\n<\/tr>\n<tr>\n<td class=\"cell-header\"><strong>Benchmarks*<\/strong><\/td>\n<td class=\"cell-header\"><strong>MU-TERM 5.07<\/strong><\/td>\n<td class=\"cell-header\"><strong>MU-TERM 6.03<\/strong><\/td>\n<td class=\"cell-header\"><strong>MU-TERM 5.07<\/strong><\/td>\n<td class=\"cell-header\"><strong>MU-TERM 6.03<\/strong><\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\"><a href=\"benchmarks\/ijcar20\/TRS_Conditional\/benchmarks.html\">Termination of Conditional Rewriting<\/a><\/td>\n<td class=\"cell-data-total\">Not Implemented<\/td>\n<td class=\"cell-data-total\">105\/117<\/td>\n<td class=\"cell-data\">Not Implemented<\/td>\n<td class=\"cell-data\">2.84s<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\"><a href=\"benchmarks\/ijcar20\/TRS_OS\/benchmarks.html\">Termination of Order-Sorted Rewriting<\/a><\/td>\n<td class=\"cell-data-total\">17\/22<\/td>\n<td class=\"cell-data-total\">21\/22<\/td>\n<td class=\"cell-data\">0.01s<\/td>\n<td class=\"cell-data\">3.91s<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\"><a href=\"benchmarks\/ijcar20\/TRS_Contextsensitive\/benchmarks.html\">Termination of Context-Sensitive Rewriting<\/a><\/td>\n<td class=\"cell-data-total\">98\/108<\/td>\n<td class=\"cell-data-total\">101\/108<\/td>\n<td class=\"cell-data\">0.79s<\/td>\n<td class=\"cell-data\">0.76s<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-blank\" colspan=\"5\">* Click on the name of the termination problems to see the details of the results<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h3>MU-TERM 4.3 (2006) vs. MU-TERM 5.07 (2010)<\/h3>\n<table>\n<tbody>\n<tr>\n<td class=\"cell-data-blank\" width=\"150\"><\/td>\n<td class=\"cell-header\" colspan=\"2\" width=\"200\"><strong>Results (Solved\/Total)<\/strong><\/td>\n<td class=\"cell-header\" colspan=\"2\" width=\"300\"><strong>Average Time<\/strong><\/td>\n<\/tr>\n<tr>\n<td class=\"cell-header\"><strong>Benchmarks*<\/strong><\/td>\n<td class=\"cell-header\"><strong>MU-TERM 4.3<\/strong><\/td>\n<td class=\"cell-header\"><strong>MU-TERM 5.07<\/strong><\/td>\n<td class=\"cell-header\"><strong>MU-TERM 4.3<\/strong><\/td>\n<td class=\"cell-header\"><strong>MU-TERM 5.07<\/strong><\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\"><a href=\"benchmarks\/benchmarks-trs\/benchmarks.html\">Termination of Rewriting**<\/a><\/td>\n<td class=\"cell-data-total\">503\/1374<\/td>\n<td class=\"cell-data-total\">835\/1374<\/td>\n<td class=\"cell-data\">0.66s<\/td>\n<td class=\"cell-data\">1.35s<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\"><a href=\"benchmarks\/benchmarks-csr\/benchmarks.html\">Termination of Context-Sensitive Rewriting***<\/a><\/td>\n<td class=\"cell-data-total\">64\/109<\/td>\n<td class=\"cell-data-total\">99\/109<\/td>\n<td class=\"cell-data\">3.44s<\/td>\n<td class=\"cell-data\">0.95s<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\"><a href=\"http:\/\/www.dsic.upv.es\/~balarcon\/iCSR\/benchmarks.html\">Termination of Innermost Context-Sensitive Rewriting<\/a><\/td>\n<td class=\"cell-data-total\">Not Implemented<\/td>\n<td class=\"cell-data-total\">95\/109<\/td>\n<td class=\"cell-data\">Not Implemented<\/td>\n<td class=\"cell-data\">0.77s<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\"><a href=\"benchmarks\/benchmarks-ostrs\/benchmarks.html\">Termination of Order-Sorted Rewriting<\/a><\/td>\n<td class=\"cell-data-total\">Not Implemented<\/td>\n<td class=\"cell-data-total\">17\/22<\/td>\n<td class=\"cell-data\">Not Implemented<\/td>\n<td class=\"cell-data\">0.05s<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\"><a href=\"benchmarks\/benchmarks-avc\/benchmarks.html\">Termination of AvC Rewriting<\/a><\/td>\n<td class=\"cell-data-total\">Not Implemented<\/td>\n<td class=\"cell-data-total\">59\/71<\/td>\n<td class=\"cell-data\">Not Implemented<\/td>\n<td class=\"cell-data\">6.83s<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-blank\" colspan=\"5\">* Click on the name of the termination problems to see the details of the results<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-blank\" colspan=\"5\">** MU-TERM 5.07 was third in the <a href=\"http:\/\/termcomp.uibk.ac.at\/\">2010 termination competition<\/a> TRS category<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-blank\" colspan=\"5\">*** MU-TERM 5.07 won the <a href=\"http:\/\/termcomp.uibk.ac.at\/\">2010 termination competition<\/a> CSR category<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h3>MU-TERM 4.4 (2007) vs. MU-TERM 5.05 (2009)<\/h3>\n<table border=\"0\" cellspacing=\"1\" cellpadding=\"1\" align=\"center\">\n<tbody>\n<tr>\n<td class=\"cell-data-blank\" width=\"150\"><\/td>\n<td class=\"cell-header\" colspan=\"2\" width=\"200\">Results (Solved\/Total)<\/td>\n<td class=\"cell-header\" colspan=\"2\" width=\"300\">Average Time<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-header\" width=\"150\">Benchmarks*<\/td>\n<td class=\"cell-header\" width=\"100\">MU-TERM 4.4<\/td>\n<td class=\"cell-header\" width=\"100\">MU-TERM 5.05<\/td>\n<td class=\"cell-header\" width=\"150\">MU-TERM 4.4<\/td>\n<td class=\"cell-header\" width=\"150\">MU-TERM 5.05<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-examples\"><a href=\"benchmarks\/wrla10\/benchmarks.html\">Termination of Context-Sensitive Rewriting***<\/a><\/td>\n<td class=\"cell-data-total\">80\/109<\/td>\n<td class=\"cell-data-total\">95\/109<\/td>\n<td class=\"cell-data\">1.07s<\/td>\n<td class=\"cell-data\">1.18s<\/td>\n<\/tr>\n<tr>\n<td class=\"cell-data-blank\" colspan=\"5\">*** MU-TERM 4.4 won the 2007 termination competition <a href=\"https:\/\/www.lri.fr\/~marche\/termination-competition\/2007\/\">CSR category<\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n","protected":false},"excerpt":{"rendered":"<p>\t\t\t\t<![CDATA[]]>\t\t<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":3,"comment_status":"closed","ping_status":"open","template":"page-templates\/full-width.php","meta":{"footnotes":""},"class_list":["post-82","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"http:\/\/zenon.dsic.upv.es\/muterm\/index.php\/wp-json\/wp\/v2\/pages\/82","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/zenon.dsic.upv.es\/muterm\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/zenon.dsic.upv.es\/muterm\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/zenon.dsic.upv.es\/muterm\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/zenon.dsic.upv.es\/muterm\/index.php\/wp-json\/wp\/v2\/comments?post=82"}],"version-history":[{"count":14,"href":"http:\/\/zenon.dsic.upv.es\/muterm\/index.php\/wp-json\/wp\/v2\/pages\/82\/revisions"}],"predecessor-version":[{"id":533,"href":"http:\/\/zenon.dsic.upv.es\/muterm\/index.php\/wp-json\/wp\/v2\/pages\/82\/revisions\/533"}],"wp:attachment":[{"href":"http:\/\/zenon.dsic.upv.es\/muterm\/index.php\/wp-json\/wp\/v2\/media?parent=82"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}