| 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 NO:224, TIME:3d 23:02:22 |
| TRS Standard Certified 33116 |
1. AProVE
YES:953, NO:271, TIME:1d 00:49:12, Certification:00:03:10
2. ttt2-1.19 YES:750, NO:193, TIME:1d 07:05:30, Certification:00:02:11 |
| 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, Certification:00:15:10
2. ttt2-1.19 YES:670, NO:24, TIME:3d 04:19:28, Certification:02:01:02 |
| 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, Certification:00:00:04
2. ttt2-1.19 YES:37, NO:7, TIME:04:30:04, Certification:00:00:02 |
| SRS Relative 33461 |
1. matchbox-2019-03-17
YES:225, 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, TIME:12:57:11 |
| SRS Relative Certified 33127 |
1. AProVE
YES:161, NO:2, TIME:11:44:07, Certification:00:07:19
2. ttt2-1.19 YES:80, NO:1, TIME:17:39:36, Certification:00:00:04 |
| TRS Equational 33020 |
1. AProVE
YES:64, NO:2, TIME:00:25:30
2. muterm 5.18 YES:64, TIME:00:25:12 3. NaTT YES:47, NO:1, TIME:00:00:59 |
| TRS Equational Certified 33128 |
1. AProVE
YES:64, TIME:00:25:36, Certification:00:00:12
2. NaTT YES:26, TIME:00:00:35, Certification:00:00:03 |
| TRS Conditional 33455 |
1. muterm 6.0.3
YES:87, NO:17, TIME:01:33:24
2. AProVE YES:85, 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, 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, TIME:00:16:15 |
Progress: 2989329893, CPU Time: 87d 06:59:45, Node Time: 34d 23:12:46
| 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, TIME:00:46:27
2. NTI 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, TIME:19:46:12 3. Ctrl YES:445, TIME:1d 04:14:38 |
| Integer TRS Innermost 33016 |
1. AProVE
YES:102, TIME:01:22:10
2. Ctrl YES:85, TIME:00:16:32 |
Progress: 64416441, CPU Time: 5d 15:40:54, Node Time: 4d 07:06:52
| category | ranking |
|---|---|
| Complexity: ITS 33014 |
1. AProVE
UP:900, LOW:1108, TIME:03:48:42
2. CoFloCo 2018 UP:899, LOW:0, TIME:04:37:41 |
| Complexity: C Integer 33013 |
1. CoFloCo 2018
UP:576, LOW:0, TIME:00:23:17
2. AProVE UP:529, LOW:0, TIME:00:52:46 |
Progress: 24842484, CPU Time: 13:09:32, Node Time: 09:42:28
| category | ranking |
|---|---|
| TRS Outermost 33568 |
1. AProVE
YES:31, NO:175, TIME:04:33:18
|
| TRS Outermost Certified 33569 |
1. AProVE
NO:174, TIME:03:55:30, Certification:00:00:00
|
| TRS Innermost Certified 33570 |
1. AProVE
YES:262, NO:7, TIME:08:19:40, Certification:00:01:24
|
| 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:331, LOW:894, TIME:1d 07:39:17
|
| Runtime Complexity: TRS Innermost 33566 |
1. AProVE
UP:338, LOW:616, TIME:1d 03:46:20
|
| Runtime Complexity: TRS Innermost Certified 33567 |
1. AProVE
UP:210, LOW:0, TIME:18:40:33, Certification:00:01:07
|
Progress: 51805180, CPU Time: 10d 21:30:15, Node Time: 4d 16:31:31