| category | ranking |
|---|---|
| TRS Standard 41206 |
1. AProVE
YES:1032, NO:278, TIME:18:24:34
2. ttt2-1.20 YES:835, NO:203, TIME:14:09:54 3. NaTT v.1.6c YES:864, NO:169, TIME:02:42:46 4. muterm 6.0.3 YES:718, NO:136, TIME:2d 03:20:29 5. NTI YES:220, NO:236, TIME:3d 11:08:45 |
| TRS Standard Certified 41230 |
1. AProVE
CERTIFIED YES:952, CERTIFIED NO:271, TIME:1d 01:06:37, Certification:00:08:34
2. ttt2-1.20 CERTIFIED YES:754, CERTIFIED NO:194, TIME:1d 10:18:48, Certification:00:10:48 3. NaTT 1.6.1 CERTIFIED YES:751, TIME:02:32:51, Certification:00:13:48 |
| SRS Standard 41210 |
1. matchbox-2020-06-19b
YES:1070, NO:168, TIME:1d 08:18:10
2. AProVE YES:854, NO:115, TIME:2d 01:37:24 3. MultumNonMulta 20 June 2020 20G sparse YES:833, TIME:2d 12:29:59 4. ttt2-1.20 YES:670, NO:44, TIME:15:27:10 5. NaTT v.1.6c YES:208, NO:1, TIME:1d 19:30:12 6. muterm 6.0.3 YES:134, NO:1, TIME:4d 16:48:35 |
| SRS Standard Certified 41232 |
1. AProVE
CERTIFIED YES:734, CERTIFIED NO:114, TIME:2d 12:05:28, Certification:00:42:21
2. ttt2-1.20 CERTIFIED YES:572, CERTIFIED NO:24, TIME:3d 01:45:49, Certification:00:32:58 3. NaTT 1.6.1 CERTIFIED YES:169, TIME:1d 20:10:01, Certification:00:07:22 |
| TRS Relative 41208 |
1. NaTT v.1.6c
YES:58, NO:5, TIME:00:01:21
2. AProVE YES:43, NO:13, TIME:03:32:56 3. ttt2-1.20 YES:37, NO:8, TIME:04:24:16 |
| TRS Relative Certified 41231 |
1. AProVE
CERTIFIED YES:40, CERTIFIED NO:11, TIME:03:55:57, Certification:00:00:14
2. ttt2-1.20 CERTIFIED YES:38, CERTIFIED NO:7, TIME:04:25:07, Certification:00:00:09 |
| SRS Relative 41209 |
1. MultumNonMulta 20 June 2020 20G sparse
YES:150, TIME:05:05:40
2. matchbox-2020-06-19b YES:144, NO:1, TIME:05:46:06 3. AProVE YES:88, NO:1, TIME:09:27:06 4. ttt2-1.20 YES:23, NO:1, TIME:15:05:05 5. NaTT v.1.6c YES:10, TIME:13:15:52 |
| SRS Relative Certified 41233 |
1. AProVE
CERTIFIED YES:90, CERTIFIED NO:1, TIME:09:24:12, Certification:00:20:43
2. ttt2-1.20 CERTIFIED YES:26, CERTIFIED NO:1, TIME:13:38:44, Certification:00:00:07 |
| TRS Equational 41213 |
1. AProVE
YES:64, NO:2, TIME:00:25:30
2. muterm 5.18 YES:64, TIME:00:26:19 3. NaTT v.1.6c YES:47, NO:1, TIME:00:02:18 |
| TRS Equational Certified 41234 |
1. AProVE
CERTIFIED YES:64, TIME:00:23:46, Certification:00:00:36
2. NaTT 1.6.1 CERTIFIED YES:22, TIME:00:03:43, Certification:00:00:19 |
| TRS Conditional 41211 |
1. muterm 6.0.3
YES:87, NO:17, TIME:01:33:30
2. AProVE YES:85, TIME:00:30:23 |
| TRS Context Sensitive 41212 |
1. muterm 5.18
YES:97, NO:4, TIME:00:21:34
2. AProVE YES:94, NO:4, TIME:00:53:59 |
| TRS Innermost 41214 |
1. AProVE
YES:293, NO:7, TIME:05:57:52
2. muterm 6.0.3 YES:213, TIME:13:12:07 |
| HRS (union beta) 41215 |
1. Wanda 2.2a
YES:202, NO:17, TIME:01:25:32
2. SizeChangeTool_v2019 YES:104, TIME:00:16:14 |
Progress: 2993429934, CPU Time: 80d 14:21:52, Node Time: 34d 21:33:02
| category | ranking |
|---|---|
| C 41216 |
1. UltimateAutomizer2019
YES:257, NO:56, TIME:11:40:26
2. AProVE YES:274, NO:22, TIME:08:10:22 |
| C Integer 41217 conflict |
1. AProVE
YES:215, NO:99, TIME:01:25:30
2. UltimateAutomizer2019 YES:209, NO:99, TIME:01:24:02 3. irankfinder YES:173, NO:91, TIME:04:20:07 |
| Integer Transition Systems 41219 |
1. irankfinder
YES:522, NO:406, TIME:1d 01:22:54
2. LoAT NO:495, TIME:04:28:15 3. Ctrl YES:430, TIME:1d 04:31:07 |
| Integer TRS Innermost 41220 |
1. AProVE
YES:102, TIME:01:21:45
2. Ctrl YES:85, TIME:00:16:35 |
| Logic Programming 41218 |
1. AProVE
YES:238, TIME:00:45:53
2. NTI NO:42, TIME:20:30:23 |
Progress: 64636463, CPU Time: 5d 19:19:48, Node Time: 4d 12:17:25
| category | ranking |
|---|---|
| Derivational_Complexity: TRS 41221 |
1. AProVE
UP:754, LOW:906, TIME:5d 14:38:17
2. tct-trs_v3.2.0_2020-06-18 UP:0, LOW:0, TIME:00:00:48 |
| Derivational_Complexity: TRS Innermost 41222 |
1. AProVE
UP:1536, LOW:2046, TIME:8d 10:03:59
2. tct-trs_v3.2.0_2020-06-18 UP:0, LOW:0, TIME:00:01:04 |
| Runtime_Complexity: TRS 41223 |
1. AProVE
UP:664, LOW:1786, TIME:1d 07:37:43
2. tct-trs_v3.2.0_2020-06-18 UP:0, LOW:0, TIME:00:00:14 |
| Runtime_Complexity: TRS Innermost 41224 |
1. AProVE
UP:670, LOW:1216, TIME:1d 03:51:04
2. tct-trs_v3.2.0_2020-06-18 UP:0, LOW:0, TIME:00:00:09 |
Progress: 1231012310, CPU Time: 48d 21:11:03, Node Time: 16d 12:13:20
| category | ranking |
|---|
Progress: 00, CPU Time: 00:00:00, Node Time: 00:00:00