Termination Competition 2016
General Information wc_r = 30 wc_p = 300 a = 1 b = 1000 c = 1.0 ( 2016-09-05 22:36:25.176111 UTC ) 45112 of 45174 pairs, 1648726.1 / 678815.2 s
Termination of Term Rewriting (and Transition Systems)
34025 of 34083 pairs, 1196163.8 / 477503.2 s
Combined Ranking (Rules):
- 1. AProVE standard f065806 (22)
- 2. NaTT 1.6 (6)
- 3. MultumNonMulta 3.6 (5)
- ttt2-v1.16 (5)
- 5. pure-matchbox-2016-08-30.4 (4)
- muterm 5.18 (4)
- 7. VeryMax-termCOMP16 (2)
- 8. cycsrs-100816 (1)
- 9. CycNTA (0)
- Ctrl (0)
- Wanda (0)
Complexity Analysis of Term Rewriting
9036 of 9038 pairs, 267544.1 / 102879.0 s
Combined Ranking (Rules):
- 1. AProVE standard f065806 (5)
- 2. tct (2)
- CoFloCo+ ITS and C preprocessing final version (2)
- 4. Loopus (0)
category | post-proc | rankings | statistics |
---|---|---|---|
Runtime Complexity - Full Rewriting | plain.4 | AProVE standard f065806 (2157), tct (1747), | 1918 pairs, 63654.3 / 23924.6 s |
Runtime Complexity - Innermost Rewriting | plain.4 | AProVE standard f065806 (2549), tct (2163), | 2043 of 2044 pairs, 92266.1 / 32471.8 s |
Runtime Complexity - Innermost Rewriting certified | ceta-2.27.4 | tct (669), AProVE standard f065806 (467), | 2043 of 2044 pairs, 87941.8 / 31353.8 s |
Complexity - Integer Transition Systems | plain.4 | AProVE standard f065806 (3533), CoFloCo+ ITS and C preprocessing final version (1693), tct (1428), Loopus (1323), | 3032 pairs, 23681.9 / 15128.9 s |
Termination of Programming Languages
1947 of 1949 pairs, 183197.1 / 96695.7 s
Combined Ranking (Rules):
- 1. VeryMax-termCOMP16 (2)
- 2. UltimateBuchiAutomizer (1)
- AProVE llvm 5e5b89d (1)
category | post-proc | rankings | statistics |
---|---|---|---|
C | plain.4 | AProVE llvm 5e5b89d (283), UltimateBuchiAutomizer (272), | 943 of 944 pairs, 147983.3 / 82087.6 s |
C Integer Programs | plain.4 | VeryMax-termCOMP16 (315), UltimateBuchiAutomizer (306), AProVE llvm 5e5b89d (283), | 1004 of 1005 pairs, 35213.8 / 14608.1 s |
Complexity Analysis of Programming Languages
finished in 417469h 4m 39s, 104 pairs, 1821.0 / 1737.3 s
Combined Ranking (Rules):
- 1. Loopus (3)
- 2. CoFloCo+ ITS and C preprocessing final version (2)
- 3. AProVE c complexity (1)
- 4. tct (0)
category | post-proc | rankings | statistics |
---|---|---|---|
Complexity - C Integer Programs | plain.4 | Loopus (97), CoFloCo+ ITS and C preprocessing final version (81), AProVE c complexity (64), tct (13), | 104 pairs, 1821.0 / 1737.3 s |