Termination Competition 2014 (Demonstration)
General Information wc = 300 a = 100 b = 1000 c = 1.0 ( 2014-07-21 08:00:05.917226 UTC ) 6032 pairs, 470162.3 / 204433.7 s finished in 54m 31s
Termination of Term Rewriting (and Transition Systems)
finished in 20m 10s, 924 pairs, 131603.0 / 62655.2 s
Combined Ranking (Rules):
- 1. AProVE_JRE2 (0)
| category | post-proc | rankings | statistics |
|---|---|---|---|
| TRS Outermost | Login | AProVE_JRE2 (205), | 279 pairs, 36372.6 / 18341.6 s |
| TRS Innermost certified | Login | AProVE_JRE2 (270), | 366 pairs, 78252.1 / 30104.1 s |
| TRS Outermost certified | Login | AProVE_JRE2 (174), | 279 pairs, 16978.4 / 14209.5 s |
Complexity Analysis of Term Rewriting
finished in 52m 37s, 3098 pairs, 249728.8 / 81635.6 s
Combined Ranking (Rules):
- 1. CaT (0)
| category | post-proc | rankings | statistics |
|---|---|---|---|
| Derivational Complexity - Full Rewriting certified | Login | CaT (462), | 1809 pairs, 231526.1 / 72737.4 s |
| Runtime Complexity - Full Rewriting certified | Login | CaT (320), | 1289 pairs, 18202.7 / 8898.2 s |
Termination of Programming Languages
finished in 54m 31s, 2010 pairs, 88830.4 / 60142.9 s
Combined Ranking (Rules):
- 1. AProVE_JRE2 (0)
| category | post-proc | rankings | statistics |
|---|---|---|---|
| Java | Login | AProVE_JRE2 (135), | 143 pairs, 7589.1 / 2931.4 s |
| Logic Programming | Login | AProVE_JRE2 (360), | 477 pairs, 17145.7 / 5548.8 s |
| Functional Programming | Login | AProVE_JRE2 (1171), | 1390 pairs, 64095.6 / 51662.6 s |