Termination Competition 2019 [list view]

Termination of Rewriting

category ranking
TRS Standard 33457 1. AProVE (YES:1032, NO:277, TIME:18:15:57)
2. NaTT (YES:864, NO:169, TIME:02:14:33)
3. ttt2-1.19 (YES:829, NO:200, TIME:14:02:07)
4. muterm 6.0.3 (YES:721, NO:136, TIME:2d 03:19:42)
5. Wanda 2.1c (YES:563, NO:60, TIME:07:22:53)
6. NTI (YES:0, NO:224, TIME:3d 23:02:22)
TRS Standard Certified 33116 1. AProVE (YES:953, NO:271, TIME:1d 00:49:12)
2. ttt2-1.19 (YES:750, NO:193, TIME:1d 07:05:30)
SRS Standard 33458 1. matchbox-2019-03-17 (YES:1133, NO:128, TIME:1d 16:49:38)
2. MultumNonMulta 3.12 2019 20G (YES:893, NO:181, TIME:2d 03:59:37)
3. AProVE (YES:925, NO:116, TIME:2d 02:24:08)
4. ttt2-1.19 (YES:733, NO:43, TIME:16:35:04)
5. NaTT (YES:245, NO:1, TIME:1d 19:59:20)
6. muterm 6.0.3 (YES:178, NO:1, TIME:4d 21:49:11)
SRS Standard Certified 33117 1. AProVE (YES:784, NO:110, TIME:2d 12:21:09)
2. ttt2-1.19 (YES:670, NO:24, TIME:3d 04:19:28)
TRS Relative 33012 1. NaTT (YES:58, NO:5, TIME:00:00:46)
2. AProVE (YES:43, NO:12, TIME:03:32:48)
3. ttt2-1.19 (YES:35, NO:8, TIME:04:34:21)
TRS Relative Certified 33126 1. AProVE (YES:40, NO:11, TIME:03:56:09)
2. ttt2-1.19 (YES:37, NO:7, TIME:04:30:04)
SRS Relative 33461 1. matchbox-2019-03-17 (YES:225, NO:0, TIME:09:42:02)
2. MultumNonMulta 3.12 2019 20G (YES:192, NO:8, TIME:11:29:19)
3. AProVE (YES:163, NO:2, TIME:11:41:14)
4. ttt2-1.19 (YES:89, NO:2, TIME:18:05:49)
5. NaTT (YES:56, NO:0, TIME:12:57:11)
SRS Relative Certified 33127 1. AProVE (YES:161, NO:2, TIME:11:44:07)
2. ttt2-1.19 (YES:80, NO:1, TIME:17:39:36)
TRS Equational 33020 1. AProVE (YES:64, NO:2, TIME:00:25:30)
2. muterm 5.18 (YES:64, NO:0, TIME:00:25:12)
3. NaTT (YES:47, NO:1, TIME:00:00:59)
TRS Equational Certified 33128 1. AProVE (YES:64, NO:0, TIME:00:25:36)
2. NaTT (YES:26, NO:0, TIME:00:00:35)
TRS Conditional 33455 1. muterm 6.0.3 (YES:87, NO:17, TIME:01:33:24)
2. AProVE (YES:85, NO:0, TIME:00:30:33)
TRS Context Sensitive 33019 1. muterm 5.18 (YES:97, NO:4, TIME:00:21:31)
2. AProVE (YES:94, NO:4, TIME:00:54:08)
TRS Innermost 33453 1. AProVE (YES:293, NO:7, TIME:05:58:44)
2. muterm 6.0.3 (YES:213, NO:0, TIME:13:11:24)
HRS (union beta) 33452 1. Wanda 2.1c (YES:188, NO:16, TIME:02:45:15)
2. SizeChangeTool_v2019 (YES:104, NO:0, TIME:00:16:15)

Progress: 29893/29893, CPU Time: 87d 06:59:45, Node Time: 34d 23:12:46

Termination of Programs

category ranking
C 33437 1. UltimateAutomizer2019 (YES:258, NO:56, TIME:11:04:43)
2. AProVE (YES:263, NO:20, TIME:07:33:46)
C Integer 33454 1. VeryMax-termCOMP17 (YES:213, NO:102, TIME:00:38:01)
2. AProVE (YES:214, NO:99, TIME:01:16:22)
3. UltimateAutomizer2019 (YES:209, NO:100, TIME:01:28:14)
Logic Programming 33595 1. AProVE (YES:238, NO:0, TIME:00:46:27)
2. NTI (YES:0, NO:42, TIME:20:30:23)
Integer Transition Systems 33456 1. VeryMax-termCOMP17 (YES:628, NO:418, TIME:10:09:20)
2. irankfinder (YES:631, NO:0, TIME:19:46:12)
3. Ctrl (YES:445, NO:0, TIME:1d 04:14:38)
Integer TRS Innermost 33016 1. AProVE (YES:102, NO:0, TIME:01:22:10)
2. Ctrl (YES:85, NO:0, TIME:00:16:32)

Progress: 6441/6441, CPU Time: 5d 15:40:54, Node Time: 4d 07:06:52

Complexity Analysis

category ranking
Complexity: ITS 33014 1. AProVE (UP:642, LOW:1108, TIME:03:48:42)
2. CoFloCo 2018 (UP:654, LOW:0, TIME:04:37:41)
Complexity: C Integer 33013 1. CoFloCo 2018 (UP:532, LOW:0, TIME:00:23:17)
2. AProVE (UP:479, LOW:0, TIME:00:52:46)

Progress: 2484/2484, CPU Time: 13:09:32, Node Time: 09:42:28

Demonstrations

category ranking
TRS Outermost 33568 1. AProVE (YES:31, NO:175, TIME:04:33:18)
TRS Outermost Certified 33569 1. AProVE (YES:0, NO:174, TIME:03:55:30)
TRS Innermost Certified 33570 1. AProVE (YES:262, NO:7, TIME:08:19:40)
Java Bytecode 33571 1. AProVE (YES:197, NO:80, TIME:01:43:44)
Haskell 33572 1. AProVE (YES:1389, NO:16, TIME:15:53:05)
Runtime Complexity: TRS 33563 1. AProVE (UP:275, LOW:894, TIME:1d 07:39:17)
Runtime Complexity: TRS Innermost 33566 1. AProVE (UP:312, LOW:616, TIME:1d 03:46:20)
Runtime Complexity: TRS Innermost Certified 33567 1. AProVE (UP:210, LOW:0, TIME:18:40:33)

Progress: 5180/5180, CPU Time: 10d 21:30:15, Node Time: 4d 16:31:31