| category | ranking |
|---|---|
| TRS Standard 30034 |
1. AProVE
YES:1011, NO:272, TIME:03:49:15
2. NaTT YES:851, NO:167, TIME:00:42:26 3. ttt2-1.17+nonreach YES:804, NO:194, TIME:06:08:35 4. muterm 5.18 YES:699, NO:133, TIME:11:06:02 5. Wanda YES:559, NO:60, TIME:02:35:42 |
| TRS Standard Certified 30038 |
1. AProVE
YES:930, NO:270, TIME:23:58:10, Certification:00:00:21
2. ttt2-1.17+nonreach YES:738, NO:187, TIME:04:56:45, Certification:00:00:07 |
| SRS Standard 30035 |
1. MultumNonMulta3.12_29June2018A
YES:802, NO:174, TIME:1d 16:01:49
2. AProVE YES:855, NO:116, TIME:14:04:10 3. ttt2-1.17+nonreach YES:707, NO:37, TIME:12:24:27 4. NaTT YES:202, NO:1, TIME:01:44:41 5. muterm 5.18 YES:135, NO:1, TIME:07:35:06 |
| SRS Standard Certified 30039 |
1. AProVE
YES:725, NO:113, TIME:2d 10:39:29, Certification:00:01:53
2. ttt2-1.17+nonreach YES:570, NO:22, TIME:18:49:02, Certification:00:40:30 |
| TRS Relative 30036 |
1. NaTT
YES:57, NO:5, TIME:00:00:40
2. AProVE YES:43, NO:13, TIME:02:13:14 3. ttt2-1.17+nonreach YES:33, NO:6, TIME:00:41:15 |
| TRS Relative Certified 30040 |
1. AProVE
YES:39, NO:11, TIME:03:56:30, Certification:00:00:00
2. ttt2-1.17+nonreach YES:35, NO:7, TIME:00:38:46, Certification:00:00:00 |
| SRS Relative 30037 |
1. MultumNonMulta3.12_29June2018A
YES:141, NO:1, TIME:06:25:34
2. AProVE YES:89, NO:1, TIME:00:49:37 3. ttt2-1.17+nonreach YES:23, NO:1, TIME:02:09:41 4. NaTT YES:7, TIME:00:00:29 |
| SRS Relative Certified 30041 |
1. AProVE
YES:89, NO:1, TIME:08:53:29, Certification:00:00:56
2. ttt2-1.17+nonreach YES:27, NO:1, TIME:03:10:09 |
| TRS Equational 30042 |
1. AProVE
YES:62, NO:2, TIME:00:12:57
2. muterm 5.18 YES:63, TIME:00:19:04 3. NaTT YES:45, NO:1, TIME:00:00:57 |
| TRS Equational Certified 30043 |
1. AProVE
YES:63, TIME:00:24:48, Certification:00:00:01
2. NaTT YES:25, TIME:00:00:35 |
| TRS Conditional 30044 |
1. muterm 5.18
YES:86, NO:15, TIME:00:29:46
2. AProVE YES:84, TIME:00:05:17 |
| TRS Context Sensitive 30045 |
1. muterm 5.18
YES:97, NO:4, TIME:00:06:30
2. AProVE YES:93, NO:4, TIME:00:18:55 |
| TRS Innermost 30046 |
1. AProVE
YES:289, NO:7, TIME:01:02:13
2. muterm 5.18 YES:208, TIME:03:26:35 |
| HRS (union beta) 30047 |
1. sol 37957
YES:199, NO:20, TIME:00:19:25
2. Wanda YES:151, NO:14, TIME:00:21:38 3. SizeChangeTool YES:93, TIME:00:10:15 |
Progress: 2533825338, CPU Time: 31d 18:29:29, Node Time: 10d 02:54:17
| category | ranking |
|---|---|
| C 30048 |
1. AProVE
YES:270, NO:22, TIME:01:50:41
2. UltimateAutomizer TIME:00:37:02 |
| C Integer 30049 |
1. AProVE
YES:216, NO:100, TIME:00:32:26
2. VeryMax-termCOMP17 YES:213, NO:102, TIME:00:37:38 3. UltimateAutomizer TIME:00:23:13 |
| Integer Transition Systems 30050 |
1. VeryMax-termCOMP17
YES:616, NO:409, TIME:05:01:53
2. irankfinder v1 YES:524, TIME:04:23:35 3. Ctrl YES:450, TIME:08:58:31 |
| Integer TRS Innermost 30051 |
1. AProVE
YES:102, TIME:00:16:35
2. Ctrl YES:85, TIME:00:01:17 |
Progress: 58415841, CPU Time: 1d 13:13:26, Node Time: 22:42:56
| category | ranking |
|---|---|
| Complexity: ITS 30054 |
1. AProVE
UP:862, LOW:1072, TIME:03:42:14
2. CoFloCo 2018 UP:883, LOW:0, TIME:01:10:00 |
| Complexity: C Integer 30055 |
1. CoFloCo 2018
UP:560, LOW:0, TIME:00:08:30
2. AProVE UP:524, LOW:0, TIME:00:50:49 |
| Runtime Complexity: TRS 30091 |
1. AProVE
UP:619, LOW:1698, TIME:1d 05:50:07
2. tct 2018-07-13 UP:376, LOW:947, TIME:1d 20:14:22 |
| Runtime Complexity: TRS Innermost 30092 |
1. AProVE
UP:651, LOW:1188, TIME:1d 02:39:54
2. tct 2018-07-13 UP:416, LOW:608, TIME:1d 05:50:08 |
| Runtime Complexity: TRS Innermost Certified 30094 |
1. tct 2018-07-13
UP:407, LOW:0, TIME:23:04:34, Certification:00:00:07
2. AProVE UP:388, LOW:0, TIME:17:14:09, Certification:00:00:10 |
Progress: 70547054, CPU Time: 19d 21:05:32, Node Time: 7d 08:44:52
| category | ranking | |
|---|---|---|
| TRS Outermost 30096 |
1. AProVE
YES:31, NO:172, TIME:02:21:21
| |
| TRS Outermost Certified 30098 |
1. AProVE
NO:169, TIME:03:49:40
| |
| TRS Innermost Certified 30097 |
1. AProVE
YES:254, NO:7, TIME:08:20:05, Certification:00:00:11
| |
| HRS 30099 |
1. sol 37957
YES:164, NO:11, TIME:00:16:05
| |
| Java Bytecode 30100 |
1. AProVE
YES:272, NO:111, TIME:00:32:44
,17 | 426/443 |
| Prolog 30101 |
1. AProVE
YES:443, TIME:02:03:32
,42 | 591/633 |
| Haskell 30102 |
1. AProVE
YES:632, NO:8, TIME:04:25:55
,856 | 815/1671 |
| Derivational Complexity: TRS 30103 |
1. tct 2018-07-13
UP:229, LOW:0, TIME:1d 09:06:49
,967 | 842/1809 |
| Derivational Complexity: TRS Certified 30104 |
1. tct 2018-07-13
UP:228, LOW:0, TIME:1d 16:28:48, Certification:00:11:15
,956 | 853/1809 |
| Runtime Complexity: TRS Certified 30105 |
1. tct 2018-07-13
UP:126, LOW:0, TIME:18:05:59, Certification:00:00:02
,164 | 795/959 |
Progress: 55078509, CPU Time: 12d 21:48:34, Node Time: 4d 17:31:00