Termination Competition 2020 (Final)

The initial result is here.

Termination of Rewriting

TRS Standard 41483
1. AProVE YES:1033, NO:278, TIME:18:27:33
2. ttt2-1.20 YES:835, NO:203, TIME:14:10:28
3. NaTT v.1.6c YES:864, NO:169, TIME:02:44:08
4. muterm 6.0.3 YES:716, NO:134, TIME:2d 03:46:37
5. NTI YES:221, NO:236, TIME:3d 11:29:59
TRS Standard Certified 41501
1. AProVE YES:953, NO:270, TIME:1d 01:05:35, Certification:00:02:36
2. ttt2-1.20 YES:755, NO:194, TIME:1d 10:15:34, Certification:00:02:16
3. NaTT 1.6.1 YES:752, TIME:02:37:58, Certification:00:09:24
SRS Standard 41485
1. matchbox-2020-06-25 YES:1163, NO:173, TIME:1d 08:59:04
2. MultumNonMulta 3.16 29 June 2020 60G YES:922, NO:181, TIME:1d 23:18:31
3. AProVE YES:960, NO:118, TIME:2d 02:57:09
4. ttt2-1.20 YES:740, NO:45, TIME:16:16:59
5. NaTT v.1.6c YES:253, NO:1, TIME:1d 19:35:42
6. muterm 6.0.3 YES:177, NO:1, TIME:4d 22:13:21
SRS Standard Certified 41502
1. AProVE YES:832, NO:117, TIME:2d 13:15:21, Certification:00:11:44
2. ttt2-1.20 YES:663, NO:24, TIME:3d 03:50:54, Certification:01:31:09
3. NaTT 1.6.1 YES:212, TIME:1d 20:20:07, Certification:00:02:23
TRS Relative 41486
1. NaTT v.1.6c YES:58, NO:5, TIME:00:01:24
2. AProVE YES:43, NO:13, TIME:03:33:15
3. ttt2-1.20 YES:37, NO:8, TIME:04:24:12
TRS Relative Certified 41503
1. AProVE YES:40, NO:11, TIME:03:56:39, Certification:00:00:03
2. ttt2-1.20 YES:38, NO:7, TIME:04:25:09, Certification:00:00:02
SRS Relative 41488
1. matchbox-2020-06-25 YES:218, NO:5, TIME:08:23:08
2. MultumNonMulta 3.16 29 June 2020 60G YES:202, NO:8, TIME:08:39:01
3. AProVE YES:163, NO:2, TIME:11:43:23
4. ttt2-1.20 YES:91, NO:2, TIME:17:53:03
5. NaTT v.1.6c YES:59, TIME:13:20:39
SRS Relative Certified 41504
1. AProVE YES:163, NO:2, TIME:11:44:45, Certification:00:05:58
2. ttt2-1.20 YES:74, NO:1, TIME:17:48:11, Certification:00:00:04
TRS Equational 41490
1. AProVE YES:64, NO:2, TIME:00:25:17
2. muterm 5.18 YES:64, TIME:00:28:44
3. NaTT v.1.6c YES:47, NO:1, TIME:00:02:20
TRS Equational Certified 41505
1. AProVE YES:64, TIME:00:24:48, Certification:00:00:09
2. NaTT 1.6.1 YES:22, TIME:00:03:56, Certification:00:00:06
TRS Conditional 41511
1. muterm 6.0.3 YES:87, NO:17, TIME:01:33:41
2. AProVE YES:85, TIME:00:30:50
TRS Context Sensitive 41493
1. muterm 5.18 YES:97, NO:4, TIME:00:21:49
2. AProVE YES:94, NO:4, TIME:00:54:13
TRS Innermost 41494
1. AProVE YES:293, NO:7, TIME:05:59:08
2. muterm 6.0.3 YES:214, TIME:13:14:21
HRS (union beta) 41495
1. Wanda 2.2a YES:202, NO:17, TIME:01:26:07
2. SizeChangeTool_v2019 YES:104, TIME:00:16:25

Progress: 3154331543, CPU Time: 85d 16:36:24, Node Time: 35d 14:59:48

Termination of Programs

C 41518
1. AProVE YES:274, NO:22, TIME:08:14:10
2. Ultimate Automizer YES:149, NO:33, TIME:07:13:28
C Integer 41519
1. AProVE YES:216, NO:100, TIME:01:44:33
2. irankfinder v1.3.2 YES:208, NO:93, TIME:02:30:49
3. Ultimate Automizer YES:180, NO:83, TIME:01:10:46
Integer Transition Systems 41496
1. irankfinder v1.3.2 YES:637, NO:398, TIME:16:14:10
2. LoAT NO:496, TIME:04:25:19
3. Ctrl YES:441, TIME:1d 04:24:01
Integer TRS Innermost 41497
1. AProVE YES:102, TIME:01:22:25
2. Ctrl YES:85, TIME:00:16:46
Logic Programming 41498
1. AProVE YES:238, TIME:00:47:17
2. NTI NO:42, TIME:20:34:26

Progress: 64636463, CPU Time: 5d 04:44:28, Node Time: 3d 20:58:14

Complexity Analysis

Derivational_Complexity: TRS 41499
1. AProVE UP:768, LOW:918, TIME:5d 14:51:28
2. tct-trs_v3.2.0_2020-06-28 UP:645, LOW:0, TIME:3d 23:25:46
Derivational_Complexity: TRS Innermost 41500
1. AProVE UP:1568, LOW:2084, TIME:8d 10:19:16
2. tct-trs_v3.2.0_2020-06-28 UP:636, LOW:0, TIME:6d 01:37:44
Runtime_Complexity: TRS 41508
1. AProVE UP:665, LOW:1784, TIME:1d 07:43:25
2. tct-trs_v3.2.0_2020-06-28 UP:380, LOW:1103, TIME:2d 00:28:55
Runtime_Complexity: TRS Innermost 41507
1. AProVE UP:672, LOW:1242, TIME:1d 03:51:23
2. tct-trs_v3.2.0_2020-06-28 UP:444, LOW:778, TIME:1d 08:04:34
Runtime_Complexity: TRS Innermost Certified 41509
1. tct-trs_v3.2.0_2020-06-28 UP:419, LOW:0, TIME:1d 01:02:42, Certification:00:00:39
2. AProVE UP:400, LOW:0, TIME:18:40:07, Certification:00:00:57

Progress: 1363613636, CPU Time: 90d 06:33:02, Node Time: 31d 18:05:24

Demonstrations

Haskell 41564
1. AProVE YES:1389, NO:16, TIME:16:17:42
Java_Bytecode 41524
1. AProVE YES:197, NO:80, TIME:01:40:38
Complexity: C_Integer 41565
1. AProVE UP:280, LOW:0, TIME:00:49:25
Complexity: ITS 41566
1. AProVE UP:484, LOW:525, TIME:04:27:44
Derivational_Complexity: TRS Certified 41527
1. tct-trs_v3.2.0_2020-06-28 UP:367, LOW:0, TIME:4d 18:53:34, Certification:01:22:49
Derivational_Complexity: TRS Innermost Certified 41528
1. tct-trs_v3.2.0_2020-06-28 UP:619, LOW:0, TIME:5d 01:00:19, Certification:00:48:39
Runtime_Complexity: TRS Certified 41529
1. tct-trs_v3.2.0_2020-06-28 UP:160, LOW:0, TIME:1d 03:38:53, Certification:00:00:14

Progress: 87288728, CPU Time: 35d 18:15:39, Node Time: 11d 22:48:18