Historical Results on the Termination Competition
(Links redirect to external webpages)
2022 Termination Competition (MU-TERM 6.1)
- FLoC Olympic Games:
2022: 
| Category | Results | Position |
| TRS Standard | link | 4th |
| SRS Standard | link | 6th |
| TRS Equational | link | 2nd |
| TRS Conditional (Operational Termination) | link | 1st |
| TRS Context Sensitive | link | 1st |
| TRS Innermost | link | 2nd |
| TRS Conditional (Termination) | link | Demostration |
2021 Termination Competition (MU-TERM 6.03)
| Category | Results | Position |
| TRS Standard | 854/1507 | 4th |
| SRS Standard | 178/1541 | 6th |
| TRS Equational | 64/76 | 2nd |
| TRS Conditional | 104/117 | 1st |
| TRS Context Sensitive | 101/108 | 1st |
| TRS Innermost | 213/366 | 2nd |
2020 Termination Competition (MU-TERM 6.03)
| Category | Results | Position |
| TRS Standard | 854/1507 | 4th |
| SRS Standard | 135/1541 | 6th |
| TRS Equational | 64/76 | 2nd |
| TRS Conditional | 104/117 | 1st |
| TRS Context Sensitive | 101/108 | 1st |
| TRS Innermost | 213/366 | 2nd |
2019 Termination Competition (MU-TERM 6.03)
| Category | Results | Position |
| TRS Standard | 857/1506 | 4th |
| SRS Standard | 179/1642 | 6th |
| TRS Equational | 64/76 | 2nd |
| TRS Conditional | 104/117 | 1st |
| TRS Context Sensitive | 101/108 | 1st |
| TRS Innermost | 213/366 | 2nd |
2018 Termination Competition (MU-TERM 5.18)
| Category | Results | Position |
| TRS Standard | 832/1498 | 4th |
| SRS Standard | 136/1541 | 5th |
| TRS Equational | 63/76 | 2nd |
| TRS Conditional | 101/117 | 1st |
| TRS Context Sensitive | 101/108 | 1st |
| TRS Innermost | 208/366 | 2nd |
2017 Termination Competition (MU-TERM 5.18)
| Category | Results | Position |
| TRS Standard | 858/1498 | 3th |
| SRS Standard | 140/1541 | 5th |
| TRS Equational | 64/76 | 2nd |
| TRS Conditional | 103/117 | 1st |
| TRS Context Sensitive | 101/108 | 1st |
| TRS Innermost | 211/366 | 2nd |
2016 Termination Competition (MU-TERM 5.18)
| Category | Results | Position |
| TRS Standard | 827/1498 | 4th |
| SRS Standard | 154/1569 | 6th |
| TRS Equational | 61/76 | 2nd |
| TRS Conditional | 102/117 | 1st |
| TRS Context Sensitive | 101/108 | 1st |
| TRS Innermost | 198/366 | 2nd |
2015 Termination Competition (MU-TERM 5.17)
| Category | Results | Position |
| TRS Standard | 834/1498 | 4th |
| SRS Standard | 135/1315 | 5th |
| TRS Equational | 63/76 | 2nd |
| TRS Conditional | 101/117 | 1st |
| TRS Context Sensitive | 98/108 | 1st |
| TRS Innermost | 203/366 | 2nd |
2014 Termination Competition (MU-TERM 5.13)
- FLoC Olympic Games:
2014: 
Certificate
| Category | Results | Position |
| TRS Standard | 856/1481 | 4th |
| SRS Standard | 139/1315 | 4th |
| TRS Equational | 59/71 | 2nd |
| TRS Conditional | 25/32 | 1st |
| TRS Context Sensitive | 101/108 | 1st |
| TRS Innermost | 211/366 | 2nd |
2013 Termination Competition (MU-TERM 5.08)
| Category | Results | Position |
| TRS Equational | 23/31 | 2nd |
2012 Termination Competition (MU-TERM 5.08)
| Category | Results | Position |
| TRS Equational | 27/37 | 2nd |
2011 Termination Competition (MU-TERM 5.08)
| Category | Results | Position |
| TRS Equational | 28/37 | 2nd |
2010 Termination Competition (MU-TERM 5.07)
| Category | Results | Position |
| TRS Standard | 229/423 | 3th |
| SRS Standard | 36/289 | 6th |
| TRS Equational | 16/34 | 2nd |
| TRS Context Sensitive | 34/37 | 1st |
| TRS Innermost | 51/105 | 2nd |
2009 Termination Competition (MU-TERM 5.05)
| Category | Results | Position |
| TRS Standard | 229/423 | 3th |
| SRS Standard | 26/214 | 4th |
| TRS Context Sensitive | 34/37 | 1st |
| TRS Innermost | 56/105 | 2nd |
2007 Termination Competition (MU-TERM 4.4)
| Category | Results | Position |
| TRS Context Sensitive | 68/90 | 1st |
More Results
CTRSs: Operational termination vs. Termination (2022)
| Benchmarks | MU-TERM 6 (Operational Termination) | MU-TERM 6 (Termination) |
| TRS_Conditional | 102/117 | 101/117 |
| COPS | 124/156 | 129/156 |
MU-TERM 5.07 (2010) vs. MU-TERM 6.03 (2020)
| Results (Solved/Total) | Average Time | |||
| Benchmarks* | MU-TERM 5.07 | MU-TERM 6.03 | MU-TERM 5.07 | MU-TERM 6.03 |
| Termination of Conditional Rewriting | Not Implemented | 105/117 | Not Implemented | 2.84s |
| Termination of Order-Sorted Rewriting | 17/22 | 21/22 | 0.01s | 3.91s |
| Termination of Context-Sensitive Rewriting | 98/108 | 101/108 | 0.79s | 0.76s |
| * Click on the name of the termination problems to see the details of the results | ||||
MU-TERM 4.3 (2006) vs. MU-TERM 5.07 (2010)
| Results (Solved/Total) | Average Time | |||
| Benchmarks* | MU-TERM 4.3 | MU-TERM 5.07 | MU-TERM 4.3 | MU-TERM 5.07 |
| Termination of Rewriting** | 503/1374 | 835/1374 | 0.66s | 1.35s |
| Termination of Context-Sensitive Rewriting*** | 64/109 | 99/109 | 3.44s | 0.95s |
| Termination of Innermost Context-Sensitive Rewriting | Not Implemented | 95/109 | Not Implemented | 0.77s |
| Termination of Order-Sorted Rewriting | Not Implemented | 17/22 | Not Implemented | 0.05s |
| Termination of AvC Rewriting | Not Implemented | 59/71 | Not Implemented | 6.83s |
| * Click on the name of the termination problems to see the details of the results | ||||
| ** MU-TERM 5.07 was third in the 2010 termination competition TRS category | ||||
| *** MU-TERM 5.07 won the 2010 termination competition CSR category | ||||
MU-TERM 4.4 (2007) vs. MU-TERM 5.05 (2009)
| Results (Solved/Total) | Average Time | |||
| Benchmarks* | MU-TERM 4.4 | MU-TERM 5.05 | MU-TERM 4.4 | MU-TERM 5.05 |
| Termination of Context-Sensitive Rewriting*** | 80/109 | 95/109 | 1.07s | 1.18s |
| *** MU-TERM 4.4 won the 2007 termination competition CSR category | ||||