Benchmarks

Historical Results on the Termination Competition

(Links redirect to external webpages)

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)

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

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