Termination Competition 2018
: Runtime Complexity: TRS
30091
Job info CSV
AProVE
complexity
tct 2018-07-13
tct_rc
benchmark
UP
LOW
TIME
UP
LOW
TIME
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
08/
log.xml
5160428
∞
+0
n
1
+2
1124.77/292.76
∞
+0
n
1
+2
781.05/295.33
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
08/
round_
nonterm.xml
5160429
∞
+0
NonPoly
+2
3.19/1.53
∞
+0
n
1
+1
349.97/295.12
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
08/
parting05_
maxsort.xml
5160430
∞
+0
n
2
+2
309.04/291.89
∞
+0
n
1
+1
865.69/295.74
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
08/
parting03_
minsort.xml
5160431
∞
+0
n
2
+2
309.21/291.89
∞
+0
n
1
+1
807.14/295.30
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
08/
parting04_
maxsort_
h.xml
5160432
∞
+0
n
2
+2
310.50/291.99
∞
+0
n
1
+1
738.06/295.33
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
08/
thiemann40_
modified.xml
5160433
∞
+0
n
2
+2
306.96/291.43
∞
+0
n
1
+1
513.02/295.58
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
08/
parting01_
reverse.xml
5160434
∞
+0
n
2
+2
307.70/292.09
∞
+0
n
1
+1
865.98/295.52
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
08/
round.xml
5160435
n
1
+2
n
1
+2
890.21/291.49
∞
+0
n
1
+2
371.94/295.12
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
08/
id_
inc.xml
5160436
∞
+0
n
1
+2
335.18/292.03
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
08/
parting02_
doublelist.xml
5160437
∞
+0
n
1
+2
311.88/291.88
∞
+0
n
1
+2
864.88/296.16
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann14.xml
5160542
∞
+0
n
2
+2
322.82/291.96
∞
+0
n
1
+1
657.70/295.11
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
otto06.xml
5160543
∞
+0
n
1
+2
312.76/291.47
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann01.xml
5160544
∞
+0
n
1
+2
314.43/291.42
∞
+0
n
1
+2
373.62/295.02
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann31.xml
5160545
n
2
+2
n
1
+2
1154.06/291.49
∞
+0
n
1
+2
804.50/295.44
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann21.xml
5160546
∞
+0
n
1
+2
316.44/291.58
∞
+0
n
1
+2
595.89/295.23
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann25.xml
5160547
∞
+0
n
1
+2
312.35/291.46
∞
+0
n
1
+2
471.89/295.43
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann05.xml
5160548
∞
+0
n
1
+2
307.66/291.83
∞
+0
n
1
+2
514.18/295.54
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann03.xml
5160549
∞
+0
n
3
+2
314.07/291.46
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann34.xml
5160550
n
2
+2
n
1
+2
1112.95/291.58
∞
+0
1
+0
501.70/193.99
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann26.xml
5160551
∞
+0
n
1
+2
304.82/291.99
∞
+0
n
1
+2
522.54/295.54
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
wiehe03.xml
5160552
StarExec error
∞
+0
n
1
+2
796.14/295.27
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
otto03.xml
5160553
n
2
+2
n
1
+2
901.09/292.13
∞
+0
1
+0
249.69/151.56
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann10.xml
5160554
∞
+0
n
1
+2
316.98/291.92
∞
+0
n
1
+2
465.99/295.38
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann30.xml
5160555
∞
+0
n
1
+2
313.71/292.11
∞
+0
n
1
+2
842.74/295.34
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
otto04.xml
5160556
∞
+0
NonPoly
+2
3.25/1.52
∞
+0
NonPoly
+2
474.15/295.29
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
otto05.xml
5160557
∞
+0
n
1
+2
318.00/291.92
∞
+0
n
1
+2
468.85/295.49
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann40.xml
5160558
∞
+0
n
1
+2
311.54/292.03
∞
+0
n
1
+2
367.55/295.11
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann17.xml
5160559
∞
+0
n
2
+2
305.40/291.93
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
kabasci05.xml
5160560
∞
+0
n
1
+2
351.37/292.02
∞
+0
n
1
+2
796.92/295.29
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
otto08.xml
5160561
∞
+0
n
1
+2
319.03/292.13
∞
+0
n
1
+2
475.97/295.24
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann18.xml
5160562
∞
+0
n
1
+2
311.19/291.80
∞
+0
n
1
+2
562.17/295.19
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
wiehe01.xml
5160563
∞
+0
n
1
+2
309.70/291.92
∞
+0
n
1
+2
730.15/295.22
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
wiehe11.xml
5160564
∞
+0
n
1
+2
346.26/291.43
∞
+0
n
1
+2
803.92/295.31
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
kabasci02.xml
5160565
∞
+0
n
3
+2
344.11/291.47
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann36.xml
5160566
n
2
+2
n
1
+2
1153.02/292.78
∞
+0
n
1
+2
766.19/295.48
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann29.xml
5160567
∞
+0
n
2
+2
314.94/291.95
∞
+0
n
1
+1
474.43/295.35
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann37.xml
5160568
StarExec error
∞
+0
n
1
+2
748.79/295.49
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
wiehe08.xml
5160569
∞
+0
n
1
+2
303.35/291.94
∞
+0
n
1
+2
739.97/295.64
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann04.xml
5160570
∞
+0
n
1
+2
311.57/291.96
∞
+0
n
1
+2
747.59/295.26
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
otto02.xml
5160571
∞
+0
n
1
+2
313.74/291.48
∞
+0
n
1
+2
695.35/295.39
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann38.xml
5160572
∞
+0
n
1
+2
304.91/291.44
∞
+0
n
1
+2
497.36/295.54
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann41.xml
5160573
∞
+0
n
1
+2
1114.98/291.51
∞
+0
1
+0
598.44/232.05
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann27.xml
5160574
n
2
+2
n
1
+2
901.33/291.50
∞
+0
1
+0
184.13/108.87
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
otto07.xml
5160575
n
2
+2
n
1
+2
893.07/291.47
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
otto01.xml
5160576
n
1
+2
n
1
+2
1005.06/292.91
∞
+0
n
1
+2
713.32/295.27
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
kabasci03.xml
5160577
1
+2
1
+0
3.24/1.49
1
+2
1
+0
0.88/0.23
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann23.xml
5160578
n
1
+2
n
1
+2
915.51/291.50
∞
+0
n
1
+2
632.16/295.07
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann07.xml
5160579
∞
+0
n
2
+2
306.98/291.48
∞
+0
n
1
+1
528.20/295.33
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann32.xml
5160580
∞
+0
n
2
+2
1119.30/291.58
∞
+0
n
1
+1
542.33/295.39
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann19.xml
5160581
∞
+0
n
1
+2
1133.62/292.77
∞
+0
1
+0
526.92/257.01
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
otto12.xml
5160582
∞
+0
NonPoly
+2
3.69/1.65
∞
+0
n
1
+1
481.79/295.33
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann09.xml
5160583
∞
+0
n
1
+2
1124.43/292.70
∞
+0
n
1
+2
648.01/295.03
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
wiehe06.xml
5160584
∞
+0
n
1
+2
311.17/291.49
∞
+0
n
1
+2
731.45/295.45
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
otto11.xml
5160585
∞
+0
n
1
+2
1123.42/291.52
∞
+0
n
1
+2
497.42/295.45
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
kabasci01.xml
5160586
n
1
+2
n
1
+2
20.67/6.96
∞
+0
n
1
+2
669.94/295.13
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann16.xml
5160587
∞
+0
n
1
+2
315.81/291.59
∞
+0
n
1
+2
898.31/295.20
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann11.xml
5160588
∞
+0
n
1
+2
315.28/291.91
∞
+0
n
1
+2
493.35/295.39
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
wiehe02.xml
5160589
∞
+0
n
2
+2
332.77/291.98
∞
+0
n
1
+1
782.43/295.29
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann22.xml
5160590
∞
+0
n
1
+2
312.92/291.46
∞
+0
n
1
+2
473.08/295.47
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann20.xml
5160591
∞
+0
n
1
+2
310.18/291.41
∞
+0
n
1
+2
478.79/295.58
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann15.xml
5160592
∞
+0
n
1
+2
314.88/291.45
∞
+0
n
1
+2
463.15/295.49
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
wiehe09.xml
5160593
∞
+0
n
1
+2
320.84/291.44
∞
+0
n
1
+2
735.36/295.23
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
wiehe05.xml
5160594
∞
+0
n
1
+2
302.12/291.46
∞
+0
n
1
+2
740.84/295.42
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
wiehe12.xml
5160595
∞
+0
n
2
+2
307.91/291.48
∞
+0
n
1
+1
727.51/295.13
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann28.xml
5160596
∞
+0
n
1
+2
306.93/291.46
∞
+0
n
1
+2
788.25/295.32
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
kabasci04.xml
5160597
∞
+0
n
1
+2
318.72/291.45
∞
+0
n
1
+2
881.92/295.50
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann13.xml
5160598
∞
+0
n
1
+2
308.47/291.49
∞
+0
n
1
+2
484.05/295.36
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann06.xml
5160599
∞
+0
n
1
+2
306.15/291.49
∞
+0
n
1
+2
461.06/295.36
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
otto10.xml
5160600
∞
+0
n
1
+2
313.61/291.90
∞
+0
n
1
+2
501.45/295.43
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann12.xml
5160601
∞
+0
n
1
+2
316.74/292.03
∞
+0
n
1
+2
474.46/295.48
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
otto09.xml
5160602
∞
+0
n
1
+2
306.81/291.46
∞
+0
1
+0
142.21/85.14
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
otto13.xml
5160603
n
2
+2
n
1
+2
1059.21/291.79
∞
+0
n
1
+2
473.37/295.36
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann33.xml
5160604
∞
+0
n
1
+2
1104.19/292.69
∞
+0
n
1
+2
492.69/295.24
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
wiehe07.xml
5160605
∞
+0
n
1
+2
343.92/291.48
∞
+0
n
1
+2
732.78/295.21
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann24.xml
5160606
∞
+0
n
2
+2
1016.25/291.50
∞
+0
n
1
+1
497.86/295.40
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann02.xml
5160607
StarExec error
∞
+0
n
1
+2
744.51/295.11
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
07/
thiemann08.xml
5160608
∞
+0
NonPoly
+2
3.54/1.64
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Beerendonk_
07/
12.xml
5160502
∞
+0
n
1
+2
306.69/291.45
∞
+0
1
+0
93.04/53.46
Runtime_
Complexity_
Full_
Rewriting/
Beerendonk_
07/
10.xml
5160503
∞
+0
n
1
+2
304.92/291.93
∞
+0
1
+0
98.51/55.34
Runtime_
Complexity_
Full_
Rewriting/
Beerendonk_
07/
14.xml
5160504
n
2
+2
n
1
+2
932.73/291.46
∞
+0
1
+0
93.17/51.56
Runtime_
Complexity_
Full_
Rewriting/
Beerendonk_
07/
13.xml
5160505
StarExec error
∞
+0
1
+0
87.30/50.28
Runtime_
Complexity_
Full_
Rewriting/
Beerendonk_
07/
3.xml
5160506
∞
+0
n
1
+2
306.09/291.70
∞
+0
1
+0
136.43/82.67
Runtime_
Complexity_
Full_
Rewriting/
Beerendonk_
07/
20.xml
5160507
∞
+0
n
1
+2
307.05/291.89
∞
+0
1
+0
243.56/83.72
Runtime_
Complexity_
Full_
Rewriting/
Beerendonk_
07/
7.xml
5160508
∞
+0
n
1
+2
303.00/291.44
∞
+0
1
+0
116.33/47.11
Runtime_
Complexity_
Full_
Rewriting/
Beerendonk_
07/
1.xml
5160509
∞
+0
n
1
+2
304.33/291.94
∞
+0
1
+0
89.78/51.28
Runtime_
Complexity_
Full_
Rewriting/
Beerendonk_
07/
17.xml
5160510
∞
+0
n
1
+2
314.91/291.94
∞
+0
1
+0
624.52/211.56
Runtime_
Complexity_
Full_
Rewriting/
Beerendonk_
07/
23.xml
5160511
∞
+0
n
1
+2
307.07/291.45
∞
+0
1
+0
90.14/50.82
Runtime_
Complexity_
Full_
Rewriting/
Beerendonk_
07/
19.xml
5160512
∞
+0
n
1
+2
312.93/291.45
∞
+0
1
+0
135.95/54.88
Runtime_
Complexity_
Full_
Rewriting/
Beerendonk_
07/
16.xml
5160513
∞
+0
n
1
+2
303.75/291.48
∞
+0
1
+0
298.39/123.23
Runtime_
Complexity_
Full_
Rewriting/
Beerendonk_
07/
5.xml
5160514
∞
+0
n
1
+2
306.87/291.89
∞
+0
1
+0
116.71/57.37
Runtime_
Complexity_
Full_
Rewriting/
Beerendonk_
07/
11.xml
5160515
∞
+0
n
1
+2
303.05/291.44
∞
+0
1
+0
94.68/53.79
Runtime_
Complexity_
Full_
Rewriting/
Beerendonk_
07/
2.xml
5160516
StarExec error
∞
+0
1
+0
91.43/51.47
Runtime_
Complexity_
Full_
Rewriting/
Beerendonk_
07/
8.xml
5160517
∞
+0
n
1
+2
302.30/291.43
∞
+0
1
+0
215.31/74.57
Runtime_
Complexity_
Full_
Rewriting/
Beerendonk_
07/
18.xml
5160518
∞
+0
n
1
+2
304.76/291.94
∞
+0
1
+0
196.17/69.82
Runtime_
Complexity_
Full_
Rewriting/
Beerendonk_
07/
6.xml
5160519
∞
+0
n
1
+2
303.26/291.90
∞
+0
1
+0
83.24/47.77
Runtime_
Complexity_
Full_
Rewriting/
Beerendonk_
07/
21.xml
5160520
∞
+0
n
1
+2
310.49/291.98
∞
+0
1
+0
151.91/61.18
Runtime_
Complexity_
Full_
Rewriting/
Beerendonk_
07/
9.xml
5160521
∞
+0
n
1
+2
307.93/291.44
∞
+0
1
+0
138.76/56.12
Runtime_
Complexity_
Full_
Rewriting/
Beerendonk_
07/
4.xml
5160522
n
1
+2
n
1
+2
885.05/291.44
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Beerendonk_
07/
24.xml
5160523
∞
+0
n
1
+2
303.63/291.72
∞
+0
1
+0
264.86/87.27
Runtime_
Complexity_
Full_
Rewriting/
Beerendonk_
07/
15.xml
5160524
∞
+0
n
1
+2
303.44/291.44
∞
+0
1
+0
571.19/190.10
Runtime_
Complexity_
Full_
Rewriting/
Beerendonk_
07/
22.xml
5160525
∞
+0
n
1
+2
303.19/291.44
∞
+0
1
+0
85.54/48.90
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
09_
Inductive/
zerolist.xml
5160609
n
2
+2
n
1
+2
908.94/291.50
∞
+0
n
1
+2
530.40/295.65
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
09_
Inductive/
log.xml
5160610
∞
+0
n
1
+2
303.47/291.46
∞
+0
1
+0
96.90/55.06
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
09_
Inductive/
maxsort.xml
5160611
∞
+0
n
2
+2
308.86/291.90
∞
+0
n
1
+1
866.56/296.27
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
09_
Inductive/
qsortlast.xml
5160612
∞
+0
n
1
+2
308.86/292.08
∞
+0
n
1
+2
764.14/295.47
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
09_
Inductive/
qsort.xml
5160613
∞
+0
n
1
+2
305.61/291.53
∞
+0
n
1
+2
722.04/295.41
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
09_
Inductive/
qsortmiddle.xml
5160614
∞
+0
n
1
+2
315.72/291.47
∞
+0
n
1
+2
859.46/295.20
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
09_
Inductive/
minsort.xml
5160615
∞
+0
n
1
+2
306.62/291.57
∞
+0
n
1
+2
862.24/295.28
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
09_
Inductive/
gcd2.xml
5160616
∞
+0
n
1
+2
302.12/291.93
∞
+0
n
1
+2
485.75/295.28
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
09_
Inductive/
maxsortcondition.xml
5160617
∞
+0
n
2
+2
313.15/292.03
∞
+0
n
1
+1
496.33/295.31
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
09_
Inductive/
div.xml
5160618
∞
+0
n
1
+2
302.52/292.01
∞
+0
n
1
+2
550.93/295.19
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
09_
Inductive/
mod.xml
5160619
∞
+0
n
1
+2
303.66/291.49
∞
+0
1
+0
432.80/272.80
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
09_
Inductive/
divhard.xml
5160620
∞
+0
n
1
+2
304.14/292.14
∞
+0
1
+0
404.11/254.32
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
09_
Inductive/
gcd.xml
5160621
∞
+0
n
1
+2
303.30/291.49
∞
+0
n
1
+2
468.99/295.19
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
09_
Inductive/
gcdhard.xml
5160622
∞
+0
n
1
+2
306.72/291.43
∞
+0
n
1
+2
517.10/295.41
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.49.xml
5159669
∞
+0
n
1
+2
916.20/292.09
∞
+0
n
1
+2
233.27/187.69
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.19.xml
5159670
StarExec error
∞
+0
n
1
+2
502.55/295.51
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.56.xml
5159671
n
1
+2
n
1
+2
20.65/7.28
n
1
+2
n
1
+2
0.30/0.08
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.18.xml
5159672
∞
+0
n
1
+2
315.32/293.26
∞
+0
n
1
+2
482.53/295.67
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.6.xml
5159673
∞
+0
n
1
+2
309.86/291.48
∞
+0
n
1
+2
502.68/295.52
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.35.xml
5159674
n
1
+2
n
1
+2
17.27/5.82
n
1
+2
n
1
+2
0.17/0.06
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.53.xml
5159675
n
3
+2
n
3
+2
38.73/13.52
∞
+0
n
1
+1
575.00/295.43
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.55.xml
5159676
∞
+0
n
2
+2
311.95/291.46
∞
+0
n
1
+1
864.33/295.21
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.52.xml
5159677
n
1
+2
n
1
+2
17.95/5.34
n
1
+2
n
1
+2
1.01/0.13
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.47.xml
5159678
n
1
+2
n
1
+2
16.93/5.05
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.10.xml
5159679
∞
+0
n
1
+2
309.66/291.50
∞
+0
n
1
+2
838.70/295.38
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.4.xml
5159680
∞
+0
n
1
+2
818.50/291.45
∞
+0
n
1
+2
471.67/295.70
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.6b.xml
5159681
∞
+0
n
1
+2
303.15/291.95
∞
+0
n
1
+2
482.96/295.38
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.22.xml
5159682
n
2
+2
n
2
+2
19.42/6.25
∞
+0
n
1
+1
637.57/295.13
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.57.xml
5159683
∞
+0
n
1
+2
894.22/291.53
∞
+0
n
1
+2
788.17/295.75
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.53b.xml
5159684
n
1
+2
n
1
+2
17.73/6.11
n
1
+2
n
1
+2
5.23/1.25
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.53a.xml
5159685
1
+2
1
+0
3.29/1.58
1
+2
1
+0
0.64/0.17
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.12.xml
5159686
n
3
+2
n
3
+2
20.25/7.00
n
3
+2
n
1
+1
42.10/16.40
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.39.xml
5159687
n
1
+2
n
1
+2
21.89/10.37
n
1
+2
n
1
+2
4.09/1.04
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.23.xml
5159688
n
1
+2
n
1
+2
12.24/4.11
n
1
+2
n
1
+2
0.23/0.07
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.15.xml
5159689
StarExec error
n
1
+2
n
1
+2
0.86/0.22
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.40.xml
5159690
n
1
+2
n
1
+2
21.11/7.41
∞
+0
n
1
+2
508.12/295.46
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.5a.xml
5159691
∞
+0
n
1
+2
307.80/291.44
∞
+0
n
1
+2
489.31/295.56
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.13.xml
5159692
∞
+0
n
1
+2
316.02/291.46
∞
+0
n
1
+2
831.82/295.51
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.17.xml
5159693
n
2
+2
n
1
+2
321.65/291.46
∞
+0
n
1
+2
730.37/295.14
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.29.xml
5159694
1
+2
1
+0
3.20/1.50
1
+2
1
+0
0.28/0.09
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.41.xml
5159695
StarExec error
n
2
+2
n
1
+2
5.66/1.44
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.8a.xml
5159696
n
1
+2
n
1
+2
30.44/9.75
∞
+0
1
+0
314.89/196.71
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.2.xml
5159697
n
1
+2
n
1
+2
22.82/8.20
∞
+0
1
+0
230.77/143.66
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.51.xml
5159698
n
1
+2
n
1
+2
18.50/6.66
n
1
+2
n
1
+2
0.21/0.05
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.36.xml
5159699
StarExec error
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.48.xml
5159700
∞
+0
n
1
+2
309.27/291.97
∞
+0
1
+0
177.31/72.13
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.16.xml
5159701
n
3
+2
n
2
+2
325.02/291.46
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.1.xml
5159702
n
1
+2
n
1
+2
20.79/6.82
n
1
+2
n
1
+2
0.40/0.11
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.6a.xml
5159703
∞
+0
n
1
+2
304.67/291.48
n
2
+2
n
1
+2
7.52/2.16
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.26.xml
5159704
∞
+0
n
1
+2
710.66/292.22
∞
+0
n
1
+2
21.20/7.05
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.7.xml
5159705
n
1
+2
n
1
+2
22.88/8.27
n
1
+2
n
1
+2
1.65/0.42
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.5b.xml
5159706
∞
+0
n
1
+2
304.06/291.46
∞
+0
n
1
+2
469.81/295.40
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.5.xml
5159707
n
1
+2
n
1
+2
28.35/9.77
n
2
+1
n
1
+2
5.89/1.76
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.38.xml
5159708
∞
+0
NonPoly
+2
3.44/1.62
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.31.xml
5159709
∞
+0
NonPoly
+2
3.33/1.49
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.33.xml
5159710
1
+2
1
+0
3.49/1.55
1
+2
1
+0
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.24.xml
5159711
n
1
+2
n
1
+2
5.18/1.97
n
1
+2
n
1
+2
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.42.xml
5159712
∞
+0
n
1
+2
318.42/291.42
∞
+0
1
+0
137.64/83.21
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.37.xml
5159713
n
1
+2
n
1
+2
4.22/1.86
n
1
+2
n
1
+2
0.40/0.11
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#4.30c.xml
5159714
∞
+0
n
1
+2
310.71/291.92
∞
+0
n
1
+2
661.63/295.50
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.54.xml
5159715
∞
+0
n
1
+2
780.92/291.43
∞
+0
n
1
+2
338.08/295.13
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.17a.xml
5159716
n
2
+2
n
1
+2
335.69/291.47
∞
+0
n
1
+2
704.17/295.04
Runtime_
Complexity_
Full_
Rewriting/
AG01/
#3.8b.xml
5159717
∞
+0
n
1
+2
304.82/291.44
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
06/
nonterm.xml
5159821
∞
+0
NonPoly
+2
3.46/1.66
∞
+0
n
1
+1
983.56/295.22
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
06/
modulo.xml
5159822
StarExec error
∞
+0
n
1
+2
481.37/295.47
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
06/
div_
notTermin.xml
5159823
∞
+0
n
1
+2
310.13/291.71
∞
+0
1
+0
201.48/123.76
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
06/
tower.xml
5159824
∞
+0
NonPoly
+2
3.69/1.68
∞
+0
n
1
+1
547.11/295.39
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
06/
tower_
sizeChange.xml
5159825
∞
+0
n
1
+2
1109.33/291.45
∞
+0
n
1
+2
347.89/201.03
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
06/
identity.xml
5159826
∞
+0
n
1
+2
887.36/291.47
∞
+0
n
1
+2
271.86/155.35
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
06/
logarithm.xml
5159827
∞
+0
n
1
+2
308.35/291.58
∞
+0
n
1
+2
476.04/295.29
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
06/
factorial1.xml
5159828
∞
+0
n
4
+2
334.15/291.45
∞
+0
n
1
+1
549.98/295.33
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
06/
quot.xml
5159829
∞
+0
n
1
+2
304.63/291.45
∞
+0
1
+0
325.96/206.62
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
06/
factorial2.xml
5159830
∞
+0
n
3
+2
321.38/291.48
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
06/
div_
notCeTermin.xml
5159831
∞
+0
n
1
+2
313.15/291.46
∞
+0
1
+0
149.85/90.10
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
06/
quicksort.xml
5159832
∞
+0
n
2
+2
311.97/291.46
∞
+0
n
1
+1
553.93/295.28
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
06/
sizeChange.xml
5159833
StarExec error
∞
+0
n
1
+2
53.84/35.36
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
04/
Liveness_
WRS.xml
5159903
n
1
+2
n
1
+2
1163.08/293.38
n
1
+2
n
1
+2
0.51/0.14
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
04/
IJCAR_
1.xml
5159904
StarExec error
∞
+0
n
1
+2
162.22/99.61
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
04/
IJCAR_
18.xml
5159905
n
3
+2
n
2
+2
1120.42/291.52
∞
+0
n
1
+1
801.13/295.32
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
04/
AAECC-ring.xml
5159906
StarExec error
∞
+0
n
1
+2
763.70/295.94
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
04/
AAECC.xml
5159907
∞
+0
n
1
+2
317.92/291.49
∞
+0
n
1
+2
737.62/295.50
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
04/
JFP_
Ex51.xml
5159908
∞
+0
NonPoly
+2
4.12/1.75
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
04/
IJCAR_
12.xml
5159909
n
2
+2
n
2
+2
28.92/9.75
∞
+0
n
1
+1
501.68/295.57
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
04/
rta1.xml
5159910
∞
+0
NonPoly
+2
3.82/1.61
∞
+0
n
1
+1
898.09/295.12
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
04/
IJCAR_
26.xml
5159911
∞
+0
n
3
+2
1134.71/296.90
∞
+0
n
1
+1
807.27/295.35
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
04/
LPAR_
intlist.xml
5159912
∞
+0
n
1
+2
1013.83/291.49
∞
+0
n
1
+2
643.61/294.58
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
04/
IJCAR_
26a.xml
5159913
∞
+0
n
3
+2
1129.89/293.61
∞
+0
n
1
+1
806.87/295.28
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
04/
Liveness8.xml
5159914
n
1
+2
n
1
+2
1050.40/291.59
n
1
+2
n
1
+2
1.14/0.29
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
04/
Liveness6.3.xml
5159915
n
1
+2
n
1
+2
28.53/8.81
n
1
+2
n
1
+2
0.81/0.21
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
04/
fac.xml
5159916
∞
+0
n
2
+2
317.19/291.98
∞
+0
n
1
+1
473.22/295.45
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
04/
Liveness6.4.xml
5159917
∞
+0
n
1
+2
1098.14/293.85
∞
+0
1
+0
519.78/160.45
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
04/
Liveness6.1.xml
5159918
∞
+0
n
1
+2
1069.36/291.49
∞
+0
1
+0
332.35/127.42
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
04/
Liveness6.2.xml
5159919
timeout (wallclock)
n
2
+2
n
1
+2
141.90/53.70
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
04/
rta2.xml
5159920
StarExec error
∞
+0
n
1
+2
5.14/1.79
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
04/
JFP_
Ex31.xml
5159921
StarExec error
∞
+0
n
1
+2
353.30/295.09
Runtime_
Complexity_
Full_
Rewriting/
AProVE_
04/
rta3.xml
5159922
∞
+0
n
1
+2
983.42/292.14
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Mixed_
TRS/
jones1.xml
5159846
n
1
+2
n
1
+2
3.46/1.62
n
1
+2
n
1
+2
0.24/0.07
Runtime_
Complexity_
Full_
Rewriting/
Mixed_
TRS/
jones5.xml
5159847
timeout (wallclock)
∞
+0
n
1
+2
7.81/2.77
Runtime_
Complexity_
Full_
Rewriting/
Mixed_
TRS/
hydra.xml
5159848
n
1
+2
n
1
+2
6.67/2.41
n
2
+1
n
1
+2
1.77/0.53
Runtime_
Complexity_
Full_
Rewriting/
Mixed_
TRS/
minsort.xml
5159849
∞
+0
NonPoly
+2
3.27/1.58
∞
+0
n
1
+1
794.46/295.36
Runtime_
Complexity_
Full_
Rewriting/
Mixed_
TRS/
while.xml
5159850
n
2
+2
n
1
+2
885.90/291.47
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Mixed_
TRS/
jones4.xml
5159851
n
1
+2
n
1
+2
16.41/5.88
n
1
+2
n
1
+2
0.01/0.01
Runtime_
Complexity_
Full_
Rewriting/
Mixed_
TRS/
gcdMinMax.xml
5159852
∞
+0
n
1
+2
307.44/292.52
∞
+0
n
1
+2
863.10/295.89
Runtime_
Complexity_
Full_
Rewriting/
Mixed_
TRS/
Ex1_
Luc04b_
GM.xml
5159853
∞
+0
n
1
+2
1076.77/291.47
∞
+0
n
1
+2
67.24/25.70
Runtime_
Complexity_
Full_
Rewriting/
Mixed_
TRS/
hydra-Zantema06.xml
5159854
n
1
+2
n
1
+2
26.23/9.84
∞
+0
n
1
+2
651.92/295.14
Runtime_
Complexity_
Full_
Rewriting/
Mixed_
TRS/
jones2.xml
5159855
n
1
+2
n
1
+2
20.52/6.43
n
1
+2
n
1
+2
0.88/0.24
Runtime_
Complexity_
Full_
Rewriting/
Mixed_
TRS/
jones6.xml
5159856
n
1
+2
n
1
+2
3.61/1.66
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Mixed_
TRS/
test1.xml
5159857
∞
+0
n
1
+2
366.96/291.46
∞
+0
n
1
+2
5.27/1.71
Runtime_
Complexity_
Full_
Rewriting/
Mixed_
TRS/
fossacs.xml
5159858
∞
+0
n
1
+2
302.39/291.97
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Mixed_
TRS/
gcd.xml
5159859
∞
+0
n
1
+2
307.48/291.91
∞
+0
n
1
+2
880.94/295.53
Runtime_
Complexity_
Full_
Rewriting/
Mixed_
TRS/
perfect.xml
5159860
n
1
+2
n
1
+2
39.27/10.94
n
1
+2
n
1
+2
3.96/1.01
Runtime_
Complexity_
Full_
Rewriting/
Mixed_
TRS/
gcd_
triple.xml
5159861
∞
+0
n
1
+2
311.64/291.48
∞
+0
n
1
+2
798.15/295.31
Runtime_
Complexity_
Full_
Rewriting/
Mixed_
TRS/
perfect2.xml
5159862
∞
+0
NonPoly
+2
6.63/2.49
∞
+0
n
1
+1
805.69/295.42
Runtime_
Complexity_
Full_
Rewriting/
HirokawaMiddeldorp_
04/
t003.xml
5160364
∞
+0
n
1
+2
314.07/292.10
∞
+0
n
1
+2
805.26/295.39
Runtime_
Complexity_
Full_
Rewriting/
HirokawaMiddeldorp_
04/
t011.xml
5160365
n
1
+2
n
1
+2
9.45/3.22
n
1
+2
n
1
+2
0.70/0.19
Runtime_
Complexity_
Full_
Rewriting/
HirokawaMiddeldorp_
04/
n006.xml
5160366
∞
+0
NonPoly
+2
3.41/1.60
∞
+0
1
+0
21.66/7.03
Runtime_
Complexity_
Full_
Rewriting/
HirokawaMiddeldorp_
04/
n005.xml
5160367
∞
+0
NonPoly
+2
3.38/1.50
∞
+0
1
+0
25.98/7.02
Runtime_
Complexity_
Full_
Rewriting/
HirokawaMiddeldorp_
04/
t004.xml
5160368
∞
+0
NonPoly
+2
7.18/2.58
∞
+0
n
1
+1
45.66/25.60
Runtime_
Complexity_
Full_
Rewriting/
HirokawaMiddeldorp_
04/
n007.xml
5160369
∞
+0
NonPoly
+2
3.24/1.56
∞
+0
n
1
+1
3.90/1.38
Runtime_
Complexity_
Full_
Rewriting/
HirokawaMiddeldorp_
04/
t013.xml
5160370
∞
+0
n
1
+2
312.21/292.16
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
HirokawaMiddeldorp_
04/
t002.xml
5160371
n
2
+2
n
1
+2
320.37/291.46
∞
+0
n
1
+2
807.35/296.33
Runtime_
Complexity_
Full_
Rewriting/
HirokawaMiddeldorp_
04/
n002.xml
5160372
∞
+0
NonPoly
+2
3.13/1.46
∞
+0
1
+0
23.79/7.04
Runtime_
Complexity_
Full_
Rewriting/
HirokawaMiddeldorp_
04/
t001.xml
5160373
∞
+0
n
1
+2
321.30/291.96
∞
+0
n
1
+2
812.02/295.41
Runtime_
Complexity_
Full_
Rewriting/
HirokawaMiddeldorp_
04/
t014.xml
5160374
n
1
+2
n
1
+2
24.28/10.17
∞
+0
n
1
+2
791.82/295.46
Runtime_
Complexity_
Full_
Rewriting/
HirokawaMiddeldorp_
04/
n003.xml
5160375
∞
+0
NonPoly
+2
3.45/1.50
∞
+0
1
+0
22.24/7.03
Runtime_
Complexity_
Full_
Rewriting/
HirokawaMiddeldorp_
04/
t012.xml
5160376
∞
+0
n
1
+2
1065.15/291.59
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
HirokawaMiddeldorp_
04/
n004.xml
5160377
∞
+0
NonPoly
+2
3.24/1.55
∞
+0
1
+0
22.85/7.13
Runtime_
Complexity_
Full_
Rewriting/
HirokawaMiddeldorp_
04/
t009.xml
5160378
∞
+0
n
1
+2
1162.50/292.76
∞
+0
n
1
+2
664.16/295.07
Runtime_
Complexity_
Full_
Rewriting/
Secret_
05_
TRS/
tpa4.xml
5160349
∞
+0
n
2
+2
311.48/291.94
∞
+0
n
1
+1
645.70/295.04
Runtime_
Complexity_
Full_
Rewriting/
Secret_
05_
TRS/
tpa2.xml
5160350
∞
+0
n
1
+2
302.28/291.47
∞
+0
n
1
+2
648.26/295.02
Runtime_
Complexity_
Full_
Rewriting/
Secret_
05_
TRS/
aprove2.xml
5160351
∞
+0
n
1
+2
302.94/291.94
∞
+0
1
+0
411.84/267.35
Runtime_
Complexity_
Full_
Rewriting/
Secret_
05_
TRS/
cime2.xml
5160352
StarExec error
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Secret_
05_
TRS/
aprove3.xml
5160353
∞
+0
n
1
+2
304.72/291.48
∞
+0
n
1
+2
448.93/295.26
Runtime_
Complexity_
Full_
Rewriting/
Secret_
05_
TRS/
tpa5.xml
5160354
∞
+0
n
1
+2
313.47/292.01
∞
+0
1
+0
214.62/87.91
Runtime_
Complexity_
Full_
Rewriting/
Secret_
05_
TRS/
tpa3.xml
5160355
∞
+0
n
2
+2
313.89/292.51
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Secret_
05_
TRS/
cime5.xml
5160356
StarExec error
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Secret_
05_
TRS/
ttt1.xml
5160357
1
+2
1
+0
3.27/1.50
1
+2
1
+0
1.28/0.33
Runtime_
Complexity_
Full_
Rewriting/
Secret_
05_
TRS/
aprove4.xml
5160358
∞
+0
n
1
+2
309.67/291.50
∞
+0
1
+0
189.74/117.42
Runtime_
Complexity_
Full_
Rewriting/
Secret_
05_
TRS/
tpa1.xml
5160359
∞
+0
n
1
+2
309.19/291.90
∞
+0
n
1
+2
855.33/295.81
Runtime_
Complexity_
Full_
Rewriting/
Secret_
05_
TRS/
aprove5.xml
5160360
n
3
+2
n
1
+2
1112.17/291.51
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Secret_
05_
TRS/
ttt2.xml
5160361
∞
+0
NonPoly
+2
3.19/1.47
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Secret_
05_
TRS/
cime3.xml
5160362
∞
+0
NonPoly
+2
4.06/1.76
∞
+0
n
1
+1
575.28/295.13
Runtime_
Complexity_
Full_
Rewriting/
Secret_
05_
TRS/
cime4.xml
5160363
1
+2
1
+0
3.35/1.51
n
1
+1
1
+0
1.72/0.40
Runtime_
Complexity_
Full_
Rewriting/
Rubio_
04/
division.xml
5160438
∞
+0
n
1
+2
306.01/291.91
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Rubio_
04/
gmnp.xml
5160439
n
1
+2
n
1
+2
8.90/3.52
n
1
+2
n
1
+2
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
Rubio_
04/
gm.xml
5160440
n
1
+2
n
1
+2
21.82/7.23
n
1
+2
n
1
+2
2.30/0.49
Runtime_
Complexity_
Full_
Rewriting/
Rubio_
04/
selsort.xml
5160441
∞
+0
n
2
+2
308.03/291.47
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Rubio_
04/
enno.xml
5160442
∞
+0
n
1
+2
304.49/291.46
∞
+0
n
1
+2
1147.52/295.20
Runtime_
Complexity_
Full_
Rewriting/
Rubio_
04/
quotminus.xml
5160443
∞
+0
n
1
+2
930.67/291.45
∞
+0
n
1
+2
474.57/295.59
Runtime_
Complexity_
Full_
Rewriting/
Rubio_
04/
prov.xml
5160444
n
1
+2
n
1
+2
13.84/4.68
n
1
+2
n
1
+2
1.23/0.32
Runtime_
Complexity_
Full_
Rewriting/
Rubio_
04/
p266.xml
5160445
1
+2
1
+0
3.27/1.53
n
1
+1
1
+0
0.26/0.07
Runtime_
Complexity_
Full_
Rewriting/
Rubio_
04/
bintrees.xml
5160446
n
1
+2
n
1
+2
3.89/1.70
n
1
+2
n
1
+2
0.14/0.05
Runtime_
Complexity_
Full_
Rewriting/
Rubio_
04/
nestrec.xml
5160447
∞
+0
NonPoly
+2
8.91/2.97
∞
+0
n
1
+1
116.84/87.55
Runtime_
Complexity_
Full_
Rewriting/
Rubio_
04/
ma96.xml
5160448
∞
+0
NonPoly
+2
6.67/2.40
∞
+0
n
1
+1
812.37/295.23
Runtime_
Complexity_
Full_
Rewriting/
Rubio_
04/
logarquot.xml
5160449
n
1
+2
n
1
+2
27.94/11.25
n
3
+1
n
1
+2
7.89/2.15
Runtime_
Complexity_
Full_
Rewriting/
Rubio_
04/
test829.xml
5160450
n
1
+2
n
1
+2
3.54/1.52
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Rubio_
04/
elimdupl.xml
5160451
∞
+0
n
1
+2
307.08/291.42
n
3
+2
n
1
+2
31.69/9.19
Runtime_
Complexity_
Full_
Rewriting/
Rubio_
04/
koen.xml
5160452
1
+2
1
+0
3.28/1.57
1
+2
1
+0
2.00/0.40
Runtime_
Complexity_
Full_
Rewriting/
Rubio_
04/
polo2.xml
5160453
n
1
+2
n
1
+2
29.46/10.32
n
2
+1
n
1
+2
18.35/3.98
Runtime_
Complexity_
Full_
Rewriting/
Rubio_
04/
mfp95.xml
5160454
1
+2
1
+0
3.29/1.53
1
+2
1
+0
0.02/0.02
Runtime_
Complexity_
Full_
Rewriting/
Rubio_
04/
gcd.xml
5160455
StarExec error
∞
+0
1
+0
303.99/184.10
Runtime_
Complexity_
Full_
Rewriting/
Rubio_
04/
test4.xml
5160456
StarExec error
n
1
+2
n
1
+2
0.03/0.02
Runtime_
Complexity_
Full_
Rewriting/
Rubio_
04/
bn122.xml
5160457
n
1
+2
n
1
+2
16.92/5.79
n
1
+2
n
1
+2
1.40/0.28
Runtime_
Complexity_
Full_
Rewriting/
Rubio_
04/
revlist.xml
5160458
StarExec error
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Rubio_
04/
quick.xml
5160459
∞
+0
n
2
+2
309.66/291.46
∞
+0
n
1
+1
862.92/295.24
Runtime_
Complexity_
Full_
Rewriting/
Rubio_
04/
wst99.xml
5160460
∞
+0
n
1
+2
325.92/292.16
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Der95/
12.xml
5159924
∞
+0
n
1
+2
364.03/291.45
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Der95/
27.xml
5159925
n
1
+2
n
1
+2
3.40/1.52
n
1
+2
n
1
+2
0.14/0.04
Runtime_
Complexity_
Full_
Rewriting/
Der95/
06.xml
5159926
n
1
+2
n
1
+2
7.42/2.58
n
1
+2
n
1
+2
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
Der95/
20.xml
5159927
∞
+0
n
1
+2
1076.41/294.84
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Der95/
08.xml
5159928
n
1
+2
n
1
+2
17.00/7.67
n
1
+2
n
1
+2
7.16/1.31
Runtime_
Complexity_
Full_
Rewriting/
Der95/
33.xml
5159929
n
1
+2
n
1
+2
26.71/10.56
∞
+0
n
1
+2
775.44/295.31
Runtime_
Complexity_
Full_
Rewriting/
Der95/
11.xml
5159930
n
1
+2
n
1
+2
31.17/13.10
n
2
+1
n
1
+2
12.98/2.65
Runtime_
Complexity_
Full_
Rewriting/
Der95/
07.xml
5159931
n
1
+2
n
1
+2
8.66/3.41
n
1
+2
n
1
+2
0.19/0.05
Runtime_
Complexity_
Full_
Rewriting/
Der95/
18.xml
5159932
n
1
+2
n
1
+2
15.25/5.02
n
1
+2
n
1
+2
0.28/0.08
Runtime_
Complexity_
Full_
Rewriting/
Der95/
21.xml
5159933
∞
+0
NonPoly
+2
3.52/1.61
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Der95/
31.xml
5159934
n
1
+2
n
1
+2
101.12/42.61
n
2
+1
n
1
+2
2.67/0.94
Runtime_
Complexity_
Full_
Rewriting/
Der95/
32.xml
5159935
∞
+0
n
1
+2
314.31/291.93
∞
+0
n
1
+2
430.06/295.10
Runtime_
Complexity_
Full_
Rewriting/
CiME_
04/
filliatre2.xml
5160379
∞
+0
n
1
+2
1136.40/291.52
∞
+0
n
1
+2
61.79/28.65
Runtime_
Complexity_
Full_
Rewriting/
CiME_
04/
tree.xml
5160380
∞
+0
n
1
+2
1091.97/291.65
∞
+0
n
1
+2
848.86/295.37
Runtime_
Complexity_
Full_
Rewriting/
CiME_
04/
intersect.xml
5160381
n
2
+2
n
1
+2
396.05/291.45
∞
+0
n
1
+2
541.13/295.24
Runtime_
Complexity_
Full_
Rewriting/
CiME_
04/
append-hard.xml
5160382
∞
+0
n
1
+2
302.18/291.46
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
CiME_
04/
ack_
prolog.xml
5160383
∞
+0
n
1
+2
1083.80/293.17
∞
+0
n
1
+2
704.08/295.13
Runtime_
Complexity_
Full_
Rewriting/
CiME_
04/
ternary-hard.xml
5160384
∞
+0
n
1
+2
1109.66/291.51
∞
+0
n
1
+2
823.12/295.41
Runtime_
Complexity_
Full_
Rewriting/
CiME_
04/
filliatre.xml
5160385
∞
+0
n
1
+2
1139.21/292.25
∞
+0
n
1
+2
53.25/26.81
Runtime_
Complexity_
Full_
Rewriting/
CiME_
04/
append.xml
5160386
n
1
+2
n
1
+2
19.84/11.14
n
1
+2
n
1
+2
1.83/0.47
Runtime_
Complexity_
Full_
Rewriting/
CiME_
04/
fact-hard.xml
5160387
∞
+0
n
2
+2
314.07/291.52
∞
+0
n
1
+1
489.81/295.26
Runtime_
Complexity_
Full_
Rewriting/
CiME_
04/
list-sum-prod-bin-assoc.xml
5160388
∞
+0
NonPoly
+2
3.63/1.63
∞
+0
n
1
+1
818.15/295.19
Runtime_
Complexity_
Full_
Rewriting/
CiME_
04/
list-sum-prod-assoc-append.xml
5160389
∞
+0
n
2
+2
339.35/291.46
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
CiME_
04/
dpqs.xml
5160390
1
+2
1
+0
3.35/1.47
n
1
+1
1
+0
0.31/0.07
Runtime_
Complexity_
Full_
Rewriting/
CiME_
04/
ternary.xml
5160391
∞
+0
n
1
+2
1128.92/296.84
∞
+0
n
1
+2
827.32/295.22
Runtime_
Complexity_
Full_
Rewriting/
CiME_
04/
filliatre3.xml
5160392
∞
+0
n
1
+2
1130.67/291.52
∞
+0
n
1
+2
545.95/295.06
Runtime_
Complexity_
Full_
Rewriting/
CiME_
04/
list-sum-prod.xml
5160393
∞
+0
n
2
+2
327.18/291.94
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
CiME_
04/
lse.xml
5160394
n
2
+2
n
2
+2
58.42/23.75
n
2
+2
n
1
+1
32.33/8.01
Runtime_
Complexity_
Full_
Rewriting/
CiME_
04/
mucrl1.xml
5160395
∞
+0
n
1
+2
891.14/291.58
∞
+0
1
+0
858.63/266.03
Runtime_
Complexity_
Full_
Rewriting/
CiME_
04/
maude2.xml
5160396
∞
+0
n
1
+2
318.11/291.48
∞
+0
n
1
+2
808.49/295.27
Runtime_
Complexity_
Full_
Rewriting/
CiME_
04/
log2.xml
5160397
∞
+0
n
1
+2
1131.17/291.55
∞
+0
n
1
+2
819.60/295.25
Runtime_
Complexity_
Full_
Rewriting/
CiME_
04/
append-wrong.xml
5160398
∞
+0
NonPoly
+2
3.60/2.06
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
CiME_
04/
list-sum-prod-assoc.xml
5160399
∞
+0
n
2
+2
394.91/291.48
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
CiME_
04/
list-sum-prod-bin.xml
5160400
∞
+0
NonPoly
+2
3.62/1.63
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
CiME_
04/
big.xml
5160401
∞
+0
NonPoly
+2
4.17/1.86
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
CiME_
04/
list-sum-prod-bin-assoc-distr-app.xml
5160402
∞
+0
NonPoly
+2
3.60/1.59
∞
+0
n
1
+1
827.98/295.23
Runtime_
Complexity_
Full_
Rewriting/
GTSSK07/
cade01.xml
5160526
n
2
+2
n
1
+2
892.60/291.96
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
GTSSK07/
cade11.xml
5160527
n
2
+2
n
1
+2
879.50/291.52
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
GTSSK07/
cade14.xml
5160528
n
2
+2
n
1
+2
1134.34/291.50
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
GTSSK07/
cade16.xml
5160529
StarExec error
∞
+0
n
1
+2
499.63/295.32
Runtime_
Complexity_
Full_
Rewriting/
GTSSK07/
cade12t.xml
5160530
∞
+0
n
1
+2
310.83/293.01
∞
+0
1
+0
719.64/233.21
Runtime_
Complexity_
Full_
Rewriting/
GTSSK07/
cade09.xml
5160531
∞
+0
n
1
+2
304.04/291.44
∞
+0
n
1
+2
610.19/295.11
Runtime_
Complexity_
Full_
Rewriting/
GTSSK07/
cade10.xml
5160532
∞
+0
n
1
+2
307.57/292.58
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
GTSSK07/
cade06.xml
5160533
n
2
+2
n
1
+2
1021.38/292.75
∞
+0
1
+0
205.67/84.73
Runtime_
Complexity_
Full_
Rewriting/
GTSSK07/
cade03.xml
5160534
n
2
+2
n
1
+2
878.52/291.48
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
GTSSK07/
cade04t.xml
5160535
∞
+0
n
1
+2
318.21/291.42
∞
+0
n
1
+2
377.15/295.06
Runtime_
Complexity_
Full_
Rewriting/
GTSSK07/
cade13t.xml
5160536
∞
+0
n
1
+2
310.75/292.07
∞
+0
1
+0
421.86/273.63
Runtime_
Complexity_
Full_
Rewriting/
GTSSK07/
cade05t.xml
5160537
n
2
+2
n
1
+2
1136.63/293.27
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
GTSSK07/
cade17.xml
5160538
∞
+0
n
2
+2
316.27/291.50
∞
+0
1
+0
532.17/233.62
Runtime_
Complexity_
Full_
Rewriting/
GTSSK07/
cade08.xml
5160539
n
2
+2
n
1
+2
1123.94/291.48
∞
+0
1
+0
129.68/51.49
Runtime_
Complexity_
Full_
Rewriting/
GTSSK07/
cade07.xml
5160540
n
2
+2
n
1
+2
1156.98/292.56
∞
+0
n
1
+2
937.50/295.14
Runtime_
Complexity_
Full_
Rewriting/
GTSSK07/
cade15.xml
5160541
∞
+0
NonPoly
+2
3.46/1.57
∞
+0
NonPoly
+2
531.09/295.28
Runtime_
Complexity_
Full_
Rewriting/
Endrullis_
06/
direct.xml
5159923
n
1
+2
n
1
+2
4.52/1.91
n
1
+2
n
1
+2
3.63/0.22
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
mixed_
05/
ex3.xml
5160474
∞
+0
NonPoly
+2
3.44/1.60
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
mixed_
05/
test10.xml
5160475
n
1
+2
n
1
+2
15.70/6.01
∞
+0
n
1
+2
18.44/5.32
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
mixed_
05/
test77.xml
5160476
n
1
+2
n
1
+2
23.51/8.20
∞
+0
n
1
+2
358.64/295.12
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
mixed_
05/
ExSec11_
1_
Luc02a.xml
5160477
∞
+0
NonPoly
+2
3.25/1.51
∞
+0
n
1
+1
532.56/295.69
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
mixed_
05/
ex5.xml
5160478
∞
+0
NonPoly
+2
3.07/4.37
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
mixed_
05/
ex6.xml
5160479
∞
+0
1
+0
622.85/292.01
∞
+0
1
+0
14.84/4.74
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
mixed_
05/
ex1.xml
5160480
∞
+0
NonPoly
+2
3.18/2.56
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
mixed_
05/
muladd.xml
5160481
∞
+0
NonPoly
+2
3.30/1.49
∞
+0
1
+0
37.81/27.76
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
mixed_
05/
test830.xml
5160482
n
1
+2
n
1
+2
3.68/1.59
n
1
+2
n
1
+2
0.26/0.06
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
mixed_
05/
tricky1.xml
5160483
1
+2
1
+0
3.34/1.49
1
+2
1
+0
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
mixed_
05/
ex2.xml
5160484
∞
+0
NonPoly
+2
3.27/1.48
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
mixed_
05/
test76.xml
5160485
n
1
+2
n
1
+2
19.80/6.74
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
mixed_
05/
ex4.xml
5160486
∞
+0
NonPoly
+2
3.24/1.52
∞
+0
1
+0
31.68/10.24
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
Ex8_
BLR02.xml
5159863
∞
+0
NonPoly
+2
3.27/1.58
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
Ex4_
4_
Luc96b.xml
5159864
StarExec error
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
Ex4_
7_
77_
Bor03.xml
5159865
∞
+0
NonPoly
+2
3.19/1.49
∞
+0
1
+0
20.35/7.04
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
Ex6_
GM04.xml
5159866
∞
+0
NonPoly
+2
3.18/1.50
∞
+0
1
+0
20.59/7.04
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
Ex6_
9_
Luc02c.xml
5159867
∞
+0
NonPoly
+2
3.18/1.53
∞
+0
1
+0
11.81/5.09
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
Ex1_
Zan97.xml
5159868
∞
+0
NonPoly
+2
3.36/1.55
∞
+0
1
+0
34.18/9.94
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
Ex4_
7_
56_
Bor03.xml
5159869
∞
+0
NonPoly
+2
3.11/2.86
∞
+0
n
1
+1
9.67/2.90
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
Ex1_
GM03.xml
5159870
∞
+0
NonPoly
+2
3.44/1.64
∞
+0
1
+0
486.42/294.04
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
Ex7_
BLR02.xml
5159871
∞
+0
NonPoly
+2
3.14/1.53
∞
+0
n
1
+1
20.93/7.53
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
Ex6_
15_
AEL02.xml
5159872
∞
+0
NonPoly
+2
3.35/1.55
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
ExIntrod_
GM99.xml
5159873
∞
+0
NonPoly
+2
3.49/1.55
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
ExAppendixB_
AEL03.xml
5159874
∞
+0
NonPoly
+2
3.53/1.61
∞
+0
n
1
+1
446.83/295.16
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
Ex3_
2_
Luc97.xml
5159875
∞
+0
NonPoly
+2
3.28/1.50
∞
+0
1
+0
241.15/149.28
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
Ex15_
Luc98.xml
5159876
∞
+0
NonPoly
+2
3.42/1.51
∞
+0
n
1
+1
29.57/8.44
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
Ex4_
Zan97.xml
5159877
∞
+0
NonPoly
+2
3.23/1.48
∞
+0
1
+0
201.18/123.85
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
Ex3_
3_
25_
Bor03.xml
5159878
∞
+0
NonPoly
+2
3.27/1.59
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
Ex5_
7_
Luc97.xml
5159879
∞
+0
NonPoly
+2
3.52/1.65
∞
+0
n
1
+1
484.09/295.80
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
Ex14_
AEGL02.xml
5159880
∞
+0
NonPoly
+2
3.14/1.49
∞
+0
n
1
+1
7.24/2.93
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
Ex49_
GM04.xml
5159881
n
1
+2
n
1
+2
24.34/9.03
∞
+0
n
1
+2
786.54/295.38
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
Ex6_
Luc98.xml
5159882
∞
+0
NonPoly
+2
3.38/1.57
∞
+0
n
1
+1
8.67/2.82
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
ExConc_
Zan97.xml
5159883
∞
+0
NonPoly
+2
3.54/1.59
∞
+0
1
+0
20.97/7.02
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
ExIntrod_
GM01.xml
5159884
∞
+0
NonPoly
+2
3.46/1.57
∞
+0
n
1
+1
41.14/15.35
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
ExIntrod_
GM04.xml
5159885
∞
+0
NonPoly
+2
3.08/1.51
∞
+0
n
1
+1
41.19/16.36
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
Ex3_
12_
Luc96a.xml
5159886
∞
+0
NonPoly
+2
3.18/1.49
∞
+0
n
1
+1
11.49/4.24
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
Ex2_
Luc03b.xml
5159887
∞
+0
NonPoly
+2
3.25/1.53
∞
+0
n
1
+1
25.07/9.26
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
Ex1_
GL02a.xml
5159888
∞
+0
NonPoly
+2
3.35/1.57
∞
+0
n
1
+1
33.84/18.89
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
Ex26_
Luc03b.xml
5159889
∞
+0
NonPoly
+2
3.22/1.49
∞
+0
n
1
+1
497.88/295.61
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
Ex9_
BLR02.xml
5159890
∞
+0
NonPoly
+2
3.31/1.52
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
Ex5_
Zan97.xml
5159891
∞
+0
NonPoly
+2
3.19/1.48
∞
+0
1
+0
16.73/7.04
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
Ex4_
7_
15_
Bor03.xml
5159892
∞
+0
NonPoly
+2
3.29/1.54
∞
+0
1
+0
26.45/7.05
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
Ex1_
Luc02b.xml
5159893
∞
+0
NonPoly
+2
3.57/1.58
∞
+0
n
1
+1
17.30/7.38
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
Ex1_
2_
Luc02c.xml
5159894
∞
+0
NonPoly
+2
3.18/1.47
∞
+0
1
+0
6.79/2.34
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
Ex4_
7_
37_
Bor03.xml
5159895
∞
+0
NonPoly
+2
3.33/1.50
∞
+0
1
+0
363.14/221.99
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
ExIntrod_
Zan97.xml
5159896
∞
+0
NonPoly
+2
3.33/1.51
∞
+0
n
1
+1
907.57/295.02
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
Ex1_
2_
AEL03.xml
5159897
∞
+0
NonPoly
+2
3.21/1.55
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
complete_
L.xml
5159936
∞
+0
NonPoly
+2
3.14/1.58
∞
+0
1
+0
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
nosorts_
GM.xml
5159937
∞
+0
NonPoly
+2
4.70/1.87
∞
+0
n
1
+1
44.90/14.92
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
MYNAT_
nosorts_
noand_
C.xml
5159938
n
1
+2
n
1
+2
22.31/6.51
∞
+0
n
1
+2
411.19/295.13
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
complete-noand_
Z.xml
5159939
StarExec error
∞
+0
n
1
+2
695.71/295.07
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
MYNAT_
complete_
GM.xml
5159940
∞
+0
NonPoly
+2
14.47/4.51
∞
+0
n
1
+1
696.83/295.13
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExIntrod_
GM04_
GM.xml
5159941
∞
+0
n
1
+2
1115.32/293.39
∞
+0
n
1
+2
45.33/15.23
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex25_
Luc06_
Z.xml
5159942
1
+2
1
+0
3.56/2.06
n
1
+1
1
+0
0.86/0.19
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
complete_
C.xml
5159943
n
1
+2
n
1
+2
40.38/11.80
∞
+0
n
1
+2
702.17/295.08
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
7_
15_
Bor03_
GM.xml
5159944
n
1
+2
n
1
+2
4.17/1.70
n
1
+2
n
1
+2
0.03/0.02
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
Zan97_
FR.xml
5159945
∞
+0
NonPoly
+2
3.70/1.64
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
nokinds_
FR.xml
5159946
∞
+0
NonPoly
+2
4.42/1.89
∞
+0
n
1
+1
751.25/295.29
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExConc_
Zan97_
C.xml
5159947
StarExec error
n
1
+2
n
1
+2
1.00/0.19
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex24_
Luc06_
C.xml
5159948
n
1
+2
n
1
+2
23.11/7.26
∞
+0
n
1
+2
665.18/295.15
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex2_
Luc02a_
Z.xml
5159949
StarExec error
∞
+0
n
1
+2
687.71/295.38
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
7_
37_
Bor03_
C.xml
5159950
n
1
+2
n
1
+2
36.57/10.99
∞
+0
n
1
+2
691.45/295.14
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex24_
Luc06_
GM.xml
5159951
∞
+0
NonPoly
+2
3.35/1.58
∞
+0
1
+0
314.99/194.22
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
7_
15_
Bor03_
L.xml
5159952
1
+2
1
+0
3.58/1.52
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex23_
Luc06_
FR.xml
5159953
n
1
+2
n
1
+2
3.41/1.60
n
1
+2
n
1
+2
0.81/0.21
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
MYNAT_
nokinds_
noand_
C.xml
5159954
n
1
+2
n
1
+2
36.02/9.92
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
MYNAT_
nokinds_
noand_
GM.xml
5159955
∞
+0
NonPoly
+2
11.18/3.64
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex7_
BLR02_
FR.xml
5159956
∞
+0
NonPoly
+2
3.65/1.67
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExProp7_
Luc06_
GM.xml
5159957
∞
+0
n
1
+2
1112.83/293.37
∞
+0
n
1
+2
88.39/31.88
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex9_
Luc04_
C.xml
5159958
n
1
+2
n
1
+2
26.29/7.84
∞
+0
n
1
+2
324.71/295.12
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
nokinds-noand_
Z.xml
5159959
∞
+0
n
1
+2
317.92/292.00
∞
+0
n
1
+2
563.48/295.17
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex23_
Luc06_
C.xml
5159960
n
1
+2
n
1
+2
20.10/6.76
n
1
+2
n
1
+2
4.24/0.06
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex24_
GM04_
GM.xml
5159961
n
1
+2
n
1
+2
20.47/7.03
∞
+0
n
1
+2
547.11/295.72
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
complete-noand_
Z.xml
5159962
∞
+0
n
1
+2
319.99/291.47
∞
+0
n
1
+2
771.25/295.17
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
Luc02b_
GM.xml
5159963
∞
+0
NonPoly
+2
3.70/3.26
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExAppendixB_
AEL03_
Z.xml
5159964
∞
+0
n
2
+2
315.33/292.10
∞
+0
n
1
+1
653.30/295.07
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nokinds_
C.xml
5159965
n
1
+2
n
1
+2
33.31/10.17
n
1
+2
n
1
+2
4.08/1.03
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex3_
12_
Luc96a_
GM.xml
5159966
∞
+0
NonPoly
+2
3.48/1.59
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex3_
2_
Luc97_
Z.xml
5159967
∞
+0
NonPoly
+2
3.87/1.66
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
nosorts-noand_
FR.xml
5159968
n
1
+2
n
1
+2
4.29/1.82
n
1
+2
n
1
+2
2.49/0.46
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
7_
37_
Bor03_
L.xml
5159969
∞
+0
NonPoly
+2
3.22/1.53
∞
+0
1
+0
0.01/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex14_
AEGL02_
C.xml
5159970
n
1
+2
n
1
+2
22.93/7.29
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts_
GM.xml
5159971
∞
+0
NonPoly
+2
4.15/1.74
∞
+0
n
1
+1
35.81/13.85
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
nosorts-noand_
L.xml
5159972
∞
+0
NonPoly
+2
3.15/1.45
∞
+0
1
+0
0.00/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
complete-noand_
FR.xml
5159973
∞
+0
NonPoly
+2
24.61/7.29
∞
+0
n
1
+1
693.82/295.04
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
complete-noand_
L.xml
5159974
∞
+0
NonPoly
+2
3.24/1.53
∞
+0
1
+0
781.93/295.46
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex9_
Luc04_
L.xml
5159975
∞
+0
NonPoly
+2
3.14/1.48
∞
+0
1
+0
2.32/0.78
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
complete-noand_
L.xml
5159976
∞
+0
NonPoly
+2
3.21/1.55
∞
+0
1
+0
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
complete_
L.xml
5159977
∞
+0
NonPoly
+2
3.11/1.56
∞
+0
1
+0
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex15_
Luc06_
FR.xml
5159978
n
1
+2
n
1
+2
18.13/6.60
n
1
+2
n
1
+2
0.34/0.10
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex3_
2_
Luc97_
L.xml
5159979
∞
+0
NonPoly
+2
3.04/1.45
∞
+0
1
+0
0.00/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex6_
9_
Luc02c_
FR.xml
5159980
∞
+0
NonPoly
+2
3.34/2.63
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
nokinds_
C.xml
5159981
∞
+0
n
1
+2
1165.58/295.89
∞
+0
n
1
+2
730.75/295.66
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
MYNAT_
complete_
Z.xml
5159982
∞
+0
n
1
+2
323.90/291.63
∞
+0
n
1
+2
762.94/295.06
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LISTUTILITIES_
nosorts-noand_
FR.xml
5159983
∞
+0
NonPoly
+2
4.20/1.78
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
7_
77_
Bor03_
L.xml
5159984
∞
+0
NonPoly
+2
3.21/1.54
∞
+0
1
+0
0.00/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex9_
BLR02_
GM.xml
5159985
∞
+0
NonPoly
+2
3.45/1.61
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts_
noand_
C.xml
5159986
n
1
+2
n
1
+2
1114.95/291.50
n
1
+2
n
1
+2
4.45/1.12
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
7_
15_
Bor03_
Z.xml
5159987
1
+2
1
+0
3.47/1.64
n
1
+1
1
+0
0.04/0.02
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
nosorts_
FR.xml
5159988
n
1
+2
n
1
+2
3.52/1.56
n
1
+2
n
1
+2
0.43/0.08
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
nosorts_
L.xml
5159989
∞
+0
NonPoly
+2
3.06/1.48
∞
+0
1
+0
0.00/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex15_
Luc98_
Z.xml
5159990
∞
+0
NonPoly
+2
3.59/1.65
∞
+0
n
1
+1
580.44/295.20
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
DLMMU04_
C.xml
5159991
∞
+0
n
1
+2
1155.60/291.69
∞
+0
n
1
+2
727.33/295.59
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LISTUTILITIES_
nokinds-noand_
FR.xml
5159992
∞
+0
NonPoly
+2
6.28/2.39
∞
+0
n
1
+1
850.60/295.04
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex5_
7_
Luc97_
L.xml
5159993
∞
+0
NonPoly
+2
3.17/1.48
∞
+0
1
+0
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
nokinds-noand_
Z.xml
5159994
∞
+0
n
1
+2
307.85/291.50
∞
+0
n
1
+2
705.03/295.31
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nosorts_
noand_
C.xml
5159995
n
1
+2
n
1
+2
21.38/7.27
n
1
+2
n
1
+2
0.70/0.17
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExSec4_
2_
DLMMU04_
FR.xml
5159996
∞
+0
NonPoly
+2
3.55/1.62
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
complete_
FR.xml
5159997
∞
+0
NonPoly
+2
5.08/2.02
∞
+0
n
1
+1
756.55/295.18
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex15_
Luc98_
GM.xml
5159998
n
1
+2
n
1
+2
20.49/5.91
n
1
+2
n
1
+2
14.49/3.67
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
nokinds-noand_
FR.xml
5159999
∞
+0
NonPoly
+2
9.48/3.21
∞
+0
n
1
+1
558.90/295.19
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
MYNAT_
complete-noand_
Z.xml
5160000
∞
+0
n
1
+2
316.99/291.96
∞
+0
n
1
+2
797.38/295.10
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
MYNAT_
nosorts_
FR.xml
5160001
n
2
+2
n
2
+2
20.09/7.86
n
2
+2
n
1
+1
5.03/1.28
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex8_
BLR02_
GM.xml
5160002
∞
+0
NonPoly
+2
3.74/1.62
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
2_
Luc02c_
Z.xml
5160003
1
+2
1
+0
3.29/1.51
n
1
+1
1
+0
2.41/0.57
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExIntrod_
GM01_
L.xml
5160004
∞
+0
NonPoly
+2
3.45/1.59
∞
+0
1
+0
0.01/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex7_
BLR02_
Z.xml
5160005
∞
+0
n
1
+2
317.99/291.47
n
1
+2
n
1
+2
301.39/2.32
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex26_
Luc03b_
FR.xml
5160006
∞
+0
NonPoly
+2
3.61/1.57
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
nosorts_
FR.xml
5160007
∞
+0
NonPoly
+2
4.09/1.79
∞
+0
n
1
+1
152.86/77.20
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExAppendixB_
AEL03_
GM.xml
5160008
∞
+0
NonPoly
+2
3.95/1.72
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
7_
37_
Bor03_
GM.xml
5160009
∞
+0
NonPoly
+2
4.01/1.77
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex24_
Luc06_
L.xml
5160010
∞
+0
NonPoly
+2
3.27/1.48
∞
+0
1
+0
22.18/7.05
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
GM03_
Z.xml
5160011
∞
+0
NonPoly
+2
3.29/1.56
∞
+0
1
+0
498.99/295.36
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExConc_
Zan97_
Z.xml
5160012
StarExec error
∞
+0
1
+0
20.87/7.04
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
complete_
noand_
GM.xml
5160013
∞
+0
NonPoly
+2
61.26/18.07
∞
+0
n
1
+1
1064.17/295.44
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex6_
15_
AEL02_
L.xml
5160014
StarExec error
∞
+0
1
+0
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex6_
15_
AEL02_
FR.xml
5160015
∞
+0
NonPoly
+2
4.53/1.91
∞
+0
n
1
+1
640.30/295.26
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex3_
3_
25_
Bor03_
L.xml
5160016
1
+2
1
+0
3.26/1.51
1
+2
1
+0
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
Luc04b_
C.xml
5160017
∞
+0
n
1
+2
1130.42/293.14
n
1
+2
n
1
+2
5.30/1.35
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
GM03_
GM.xml
5160018
∞
+0
NonPoly
+2
3.90/2.14
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex7_
BLR02_
C.xml
5160019
n
1
+2
n
1
+2
25.77/7.84
∞
+0
n
1
+2
673.27/295.14
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex5_
7_
Luc97_
FR.xml
5160020
∞
+0
NonPoly
+2
4.13/1.78
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExIntrod_
GM99_
FR.xml
5160021
∞
+0
NonPoly
+2
3.68/1.63
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExIntrod_
GM99_
C.xml
5160022
∞
+0
n
1
+2
364.07/292.26
∞
+0
n
1
+2
711.45/295.22
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
GL02a_
L.xml
5160023
∞
+0
NonPoly
+2
3.18/1.50
∞
+0
1
+0
22.65/7.04
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex5_
Zan97_
C.xml
5160024
n
1
+2
n
1
+2
23.57/8.05
n
1
+2
n
1
+2
5.66/1.41
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex5_
Zan97_
FR.xml
5160025
n
1
+2
n
1
+2
4.04/1.76
n
1
+2
n
1
+2
0.79/0.21
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nokinds_
GM.xml
5160026
∞
+0
n
1
+2
1134.06/293.02
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
complete_
Z.xml
5160027
∞
+0
n
1
+2
333.10/291.51
∞
+0
n
1
+2
760.49/295.25
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex14_
Luc06_
C.xml
5160028
n
1
+2
n
1
+2
29.54/12.19
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExIntrod_
Zan97_
L.xml
5160029
∞
+0
NonPoly
+2
3.04/1.48
∞
+0
1
+0
0.00/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
nokinds_
L.xml
5160030
∞
+0
NonPoly
+2
3.18/1.48
∞
+0
1
+0
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
nokinds_
FR.xml
5160031
∞
+0
NonPoly
+2
7.74/2.77
∞
+0
n
1
+1
786.13/295.19
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex6_
9_
Luc02c_
GM.xml
5160032
∞
+0
NonPoly
+2
3.39/1.57
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex3_
12_
Luc96a_
Z.xml
5160033
∞
+0
n
1
+2
320.63/291.92
n
1
+2
n
1
+2
300.25/1.71
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex49_
GM04_
Z.xml
5160034
n
1
+2
n
1
+2
28.94/11.30
n
1
+2
n
1
+2
4.93/1.19
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExIntrod_
GM99_
L.xml
5160035
∞
+0
NonPoly
+2
2.96/1.55
∞
+0
1
+0
0.00/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex26_
Luc03b_
Z.xml
5160036
1
+2
1
+0
3.45/1.58
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
nosorts_
C.xml
5160037
n
1
+2
n
1
+2
21.93/6.85
n
1
+2
n
1
+2
1.28/0.33
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExProp7_
Luc06_
FR.xml
5160038
n
1
+2
n
1
+2
4.32/1.75
n
1
+2
n
1
+2
0.51/0.12
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
complete_
noand_
GM.xml
5160039
∞
+0
NonPoly
+2
15.34/4.63
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex15_
Luc06_
L.xml
5160040
∞
+0
NonPoly
+2
3.42/1.59
∞
+0
1
+0
23.63/7.05
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts_
L.xml
5160041
∞
+0
NonPoly
+2
3.10/2.38
∞
+0
1
+0
0.00/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LISTUTILITIES_
complete_
FR.xml
5160042
∞
+0
NonPoly
+2
7.84/2.69
∞
+0
n
1
+1
789.18/295.05
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex2_
Luc02a_
L.xml
5160043
n
3
+2
n
3
+2
1040.48/292.59
∞
+0
1
+0
437.06/265.26
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
complete_
Z.xml
5160044
∞
+0
n
1
+2
313.03/291.44
∞
+0
n
1
+2
768.00/295.21
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
GM03_
FR.xml
5160045
∞
+0
NonPoly
+2
3.64/1.58
∞
+0
n
1
+1
573.57/295.28
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex23_
Luc06_
Z.xml
5160046
1
+2
1
+0
3.39/1.60
n
1
+1
1
+0
0.50/0.11
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
complete-noand_
Z.xml
5160047
∞
+0
n
1
+2
319.72/291.51
∞
+0
n
1
+2
627.04/295.16
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
complete-noand_
L.xml
5160048
∞
+0
NonPoly
+2
3.05/1.48
∞
+0
1
+0
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LISTUTILITIES_
nokinds_
C.xml
5160049
n
1
+2
n
1
+2
37.57/10.33
∞
+0
n
1
+2
822.93/295.49
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex5_
7_
Luc97_
GM.xml
5160050
∞
+0
n
1
+2
485.11/291.46
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex5_
DLMMU04_
C.xml
5160051
∞
+0
n
1
+2
1140.40/292.22
∞
+0
n
1
+2
971.24/295.22
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExIntrod_
GM04_
Z.xml
5160052
∞
+0
NonPoly
+2
11.41/3.58
∞
+0
n
1
+1
31.29/8.91
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex24_
GM04_
Z.xml
5160053
1
+2
1
+0
3.59/1.58
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
nokinds_
noand_
C.xml
5160054
n
1
+2
n
1
+2
25.25/7.56
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
nokinds_
Z.xml
5160055
∞
+0
n
1
+2
321.77/291.48
∞
+0
n
1
+2
789.64/295.11
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex5_
Zan97_
L.xml
5160056
∞
+0
NonPoly
+2
3.25/1.54
∞
+0
1
+0
0.00/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex6_
Luc98_
L.xml
5160057
1
+2
1
+0
3.38/1.51
1
+2
1
+0
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
nokinds_
GM.xml
5160058
∞
+0
NonPoly
+2
23.45/7.15
∞
+0
n
1
+1
832.49/295.19
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
Luc04b_
L.xml
5160059
∞
+0
NonPoly
+2
3.20/2.28
∞
+0
1
+0
0.00/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex3_
12_
Luc96a_
FR.xml
5160060
∞
+0
NonPoly
+2
3.29/1.54
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nokinds_
C.xml
5160061
n
1
+2
n
1
+2
1135.64/296.48
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
complete-noand_
FR.xml
5160062
∞
+0
n
2
+2
322.99/291.51
∞
+0
n
1
+1
623.98/295.24
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
GL02a_
GM.xml
5160063
∞
+0
NonPoly
+2
3.60/1.59
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nosorts_
GM.xml
5160064
∞
+0
n
1
+2
1114.31/291.71
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExIntrod_
Zan97_
FR.xml
5160065
∞
+0
NonPoly
+2
3.55/1.57
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
MYNAT_
nokinds-noand_
FR.xml
5160066
∞
+0
NonPoly
+2
6.60/2.50
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex14_
AEGL02_
L.xml
5160067
∞
+0
NonPoly
+2
3.17/1.47
∞
+0
1
+0
22.02/7.05
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExIntrod_
GM01_
Z.xml
5160068
∞
+0
NonPoly
+2
5.14/1.99
∞
+0
n
1
+1
32.83/12.24
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex2_
Luc02a_
C.xml
5160069
n
1
+2
n
1
+2
30.13/9.57
∞
+0
n
1
+2
760.49/295.19
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nokinds_
noand_
C.xml
5160070
∞
+0
n
1
+2
1172.10/296.32
∞
+0
n
1
+2
1143.27/295.24
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
7_
77_
Bor03_
C.xml
5160071
n
1
+2
n
1
+2
1105.95/291.48
n
1
+2
n
1
+2
1.17/0.31
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
GL02a_
Z.xml
5160072
∞
+0
n
1
+2
328.09/292.32
∞
+0
n
1
+2
638.36/295.30
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
7_
56_
Bor03_
GM.xml
5160073
∞
+0
NonPoly
+2
3.43/1.62
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex6_
15_
AEL02_
Z.xml
5160074
∞
+0
NonPoly
+2
8.43/2.88
∞
+0
n
1
+1
650.58/295.17
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex2_
Luc02a_
GM.xml
5160075
∞
+0
NonPoly
+2
3.94/1.66
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
4_
Luc96b_
L.xml
5160076
n
1
+2
n
1
+2
6.87/2.45
n
1
+2
n
1
+2
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex6_
9_
Luc02c_
L.xml
5160077
∞
+0
NonPoly
+2
2.99/1.52
∞
+0
1
+0
0.00/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LISTUTILITIES_
nosorts-noand_
Z.xml
5160078
∞
+0
n
1
+2
305.37/291.50
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
complete-noand_
FR.xml
5160079
∞
+0
NonPoly
+2
6.90/2.44
∞
+0
n
1
+1
775.80/295.10
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
7_
77_
Bor03_
FR.xml
5160080
1
+2
1
+0
3.40/1.52
1
+2
1
+0
0.01/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
MYNAT_
nokinds_
GM.xml
5160081
∞
+0
NonPoly
+2
6.88/2.50
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
complete_
FR.xml
5160082
∞
+0
NonPoly
+2
4.80/1.99
∞
+0
n
1
+1
771.51/295.10
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
GM99_
GM.xml
5160083
∞
+0
NonPoly
+2
3.53/1.57
∞
+0
1
+0
370.30/226.43
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
nokinds-noand_
L.xml
5160084
∞
+0
NonPoly
+2
3.20/2.25
∞
+0
1
+0
0.00/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
MYNAT_
nosorts-noand_
L.xml
5160085
∞
+0
NonPoly
+2
3.22/1.57
∞
+0
1
+0
0.00/0.00
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
MYNAT_
nosorts_
noand_
GM.xml
5160086
∞
+0
NonPoly
+2
6.12/2.32
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex2_
Luc03b_
C.xml
5160087
n
1
+2
n
1
+2
25.66/8.21
∞
+0
n
1
+2
737.64/295.15
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
GL02a_
C.xml
5160088
n
1
+2
n
1
+2
22.42/7.35
∞
+0
n
1
+2
737.41/295.16
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LISTUTILITIES_
nokinds_
noand_
GM.xml
5160089
∞
+0
NonPoly
+2
7.61/2.62
∞
+0
n
1
+1
1042.54/295.12
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExSec11_
1_
Luc02a_
GM.xml
5160090
∞
+0
NonPoly
+2
3.70/1.66
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nokinds_
Z.xml
5160091
∞
+0
n
1
+2
315.53/291.47
∞
+0
n
1
+2
766.73/295.17
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
Luc02b_
L.xml
5160092
∞
+0
NonPoly
+2
3.11/1.48
∞
+0
1
+0
0.00/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExSec4_
2_
DLMMU04_
GM.xml
5160093
∞
+0
NonPoly
+2
4.04/1.74
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
7_
15_
Bor03_
FR.xml
5160094
n
1
+2
n
1
+2
4.12/1.73
n
1
+2
n
1
+2
0.27/0.08
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
MYNAT_
nokinds_
FR.xml
5160095
∞
+0
NonPoly
+2
6.00/2.37
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
Luc04b_
GM.xml
5160096
∞
+0
n
1
+2
1112.88/296.88
∞
+0
n
1
+2
65.92/22.61
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
4_
Luc96b_
C.xml
5160097
n
1
+2
n
1
+2
19.82/6.49
∞
+0
n
1
+2
345.36/295.06
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
MYNAT_
complete-noand_
L.xml
5160098
∞
+0
NonPoly
+2
3.15/1.47
∞
+0
1
+0
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex3_
2_
Luc97_
GM.xml
5160099
∞
+0
n
1
+2
344.74/291.64
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
4_
Luc96b_
GM.xml
5160100
∞
+0
NonPoly
+2
3.52/1.56
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
4_
Luc96b_
Z.xml
5160101
∞
+0
NonPoly
+2
3.68/1.68
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LISTUTILITIES_
complete_
noand_
C.xml
5160102
n
1
+2
n
1
+2
99.14/26.19
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex24_
GM04_
C.xml
5160103
n
1
+2
n
1
+2
22.36/8.02
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
nosorts-noand_
L.xml
5160104
∞
+0
NonPoly
+2
3.21/1.54
∞
+0
1
+0
0.00/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
nosorts_
L.xml
5160105
∞
+0
NonPoly
+2
3.06/1.45
∞
+0
1
+0
0.00/0.00
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex2_
Luc03b_
GM.xml
5160106
∞
+0
NonPoly
+2
3.88/1.75
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
2_
AEL03_
FR.xml
5160107
∞
+0
NonPoly
+2
3.56/1.55
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts_
FR.xml
5160108
∞
+0
NonPoly
+2
3.80/1.67
∞
+0
n
1
+1
364.03/295.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex9_
BLR02_
C.xml
5160109
∞
+0
n
1
+2
331.06/292.13
∞
+0
n
1
+2
693.56/295.15
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nokinds_
L.xml
5160110
∞
+0
NonPoly
+2
3.31/1.56
∞
+0
1
+0
0.00/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
GM03_
C.xml
5160111
n
1
+2
n
1
+2
24.82/8.17
∞
+0
n
1
+2
657.57/295.15
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex9_
Luc06_
GM.xml
5160112
n
1
+2
n
1
+2
29.97/8.57
n
1
+2
n
1
+2
1.76/0.45
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
MYNAT_
nosorts_
C.xml
5160113
n
1
+2
n
1
+2
25.85/7.92
∞
+0
n
1
+2
367.14/295.13
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LISTUTILITIES_
nosorts-noand_
L.xml
5160114
∞
+0
NonPoly
+2
3.21/1.46
∞
+0
1
+0
0.02/0.02
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExAppendixB_
AEL03_
FR.xml
5160115
∞
+0
NonPoly
+2
3.54/1.61
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExSec11_
1_
Luc02a_
L.xml
5160116
n
3
+2
n
3
+2
1065.03/292.69
∞
+0
n
1
+1
527.20/295.71
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
Luc04b_
Z.xml
5160117
∞
+0
NonPoly
+2
3.10/1.50
∞
+0
n
1
+1
37.82/15.90
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex16_
Luc06_
GM.xml
5160118
n
1
+2
n
1
+2
21.69/6.24
n
1
+2
n
1
+2
1.35/0.35
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LISTUTILITIES_
nosorts_
noand_
C.xml
5160119
n
1
+2
n
1
+2
44.07/12.25
∞
+0
n
1
+2
784.07/295.16
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex3_
12_
Luc96a_
C.xml
5160120
n
1
+2
n
1
+2
23.52/8.53
∞
+0
n
1
+2
737.17/295.20
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex9_
BLR02_
L.xml
5160121
1
+2
1
+0
3.26/1.54
1
+2
1
+0
0.02/0.02
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nosorts_
L.xml
5160122
∞
+0
NonPoly
+2
3.18/1.45
∞
+0
1
+0
0.00/0.03
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
2_
Luc02c_
FR.xml
5160123
∞
+0
NonPoly
+2
3.48/1.61
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LISTUTILITIES_
complete_
C.xml
5160124
n
1
+2
n
1
+2
63.96/17.39
∞
+0
n
1
+2
940.37/295.48
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex15_
Luc06_
GM.xml
5160125
n
1
+2
n
1
+2
18.45/5.88
n
1
+2
n
1
+2
0.06/0.04
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
Luc02b_
C.xml
5160126
n
1
+2
n
1
+2
29.65/9.77
∞
+0
n
1
+2
670.60/295.04
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
nokinds_
L.xml
5160127
StarExec error
∞
+0
1
+0
0.00/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex15_
Luc06_
Z.xml
5160128
1
+2
1
+0
3.51/1.51
n
1
+1
1
+0
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LISTUTILITIES_
nokinds_
noand_
C.xml
5160129
n
1
+2
n
1
+2
52.81/14.12
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
7_
37_
Bor03_
Z.xml
5160130
∞
+0
n
1
+2
357.62/291.49
∞
+0
n
1
+2
640.22/295.42
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
complete-noand_
FR.xml
5160131
∞
+0
NonPoly
+2
13.84/4.41
∞
+0
n
1
+1
628.38/295.17
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
nosorts_
noand_
C.xml
5160132
∞
+0
n
1
+2
1137.25/294.56
∞
+0
n
1
+2
1000.92/295.16
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex9_
BLR02_
Z.xml
5160133
∞
+0
n
1
+2
310.94/291.77
∞
+0
n
1
+2
492.09/295.13
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
complete_
noand_
GM.xml
5160134
∞
+0
n
2
+2
902.41/291.69
∞
+0
n
1
+1
1068.52/295.15
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex3_
2_
Luc97_
C.xml
5160135
n
1
+2
n
1
+2
27.76/8.46
∞
+0
n
1
+2
677.57/295.14
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex14_
AEGL02_
GM.xml
5160136
∞
+0
NonPoly
+2
3.65/1.68
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex6_
GM04_
C.xml
5160137
StarExec error
n
1
+2
n
1
+2
1.32/0.34
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex49_
GM04_
FR.xml
5160138
∞
+0
NonPoly
+2
4.06/1.74
∞
+0
n
1
+1
587.30/295.19
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
nokinds_
Z.xml
5160139
∞
+0
n
1
+2
347.85/299.10
∞
+0
n
1
+2
750.05/295.17
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
nosorts_
noand_
GM.xml
5160140
∞
+0
NonPoly
+2
310.10/81.36
∞
+0
n
1
+1
1183.30/298.94
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExIntrod_
GM04_
C.xml
5160141
∞
+0
n
1
+2
1148.19/293.91
n
1
+2
n
1
+2
9.41/2.37
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
2_
AEL03_
C.xml
5160142
n
1
+2
n
1
+2
39.79/12.03
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex6_
9_
Luc02c_
Z.xml
5160143
1
+2
1
+0
3.32/1.49
n
1
+1
1
+0
4.99/1.22
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex16_
Luc06_
L.xml
5160144
∞
+0
NonPoly
+2
3.14/1.49
∞
+0
1
+0
22.59/7.02
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
MYNAT_
nosorts-noand_
FR.xml
5160145
∞
+0
n
2
+2
308.12/291.46
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex3_
3_
25_
Bor03_
Z.xml
5160146
∞
+0
NonPoly
+2
3.25/1.58
∞
+0
n
1
+1
1182.02/298.51
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
Luc02b_
Z.xml
5160147
∞
+0
n
1
+2
339.03/291.46
n
1
+2
n
1
+2
8.85/2.24
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExProp7_
Luc06_
Z.xml
5160148
1
+2
1
+0
3.56/1.61
n
1
+1
1
+0
0.30/0.09
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
complete_
C.xml
5160149
∞
+0
n
1
+2
1176.18/297.67
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExAppendixB_
AEL03_
L.xml
5160150
∞
+0
NonPoly
+2
3.13/1.59
∞
+0
1
+0
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex8_
BLR02_
L.xml
5160151
∞
+0
NonPoly
+2
2.98/1.53
∞
+0
1
+0
0.00/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
complete_
FR.xml
5160152
∞
+0
NonPoly
+2
5.18/4.77
∞
+0
n
1
+1
770.05/295.17
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
nosorts_
noand_
C.xml
5160153
n
1
+2
n
1
+2
23.75/7.88
n
1
+2
n
1
+2
3.15/0.82
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
Zan97_
GM.xml
5160154
1
+2
1
+0
2.99/1.50
n
1
+1
1
+0
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex5_
DLMMU04_
GM.xml
5160155
∞
+0
NonPoly
+2
6.96/2.57
∞
+0
n
1
+1
727.34/295.12
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
nosorts_
C.xml
5160156
n
1
+2
n
1
+2
1129.98/293.85
n
1
+2
n
1
+2
3.19/0.81
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex24_
GM04_
L.xml
5160157
∞
+0
NonPoly
+2
3.19/1.48
∞
+0
1
+0
23.69/7.04
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
MYNAT_
nokinds-noand_
Z.xml
5160158
∞
+0
n
1
+2
316.23/291.46
∞
+0
n
1
+2
810.64/295.22
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex25_
Luc06_
FR.xml
5160159
n
1
+2
n
1
+2
3.44/1.55
n
1
+2
n
1
+2
0.37/0.10
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
GL02a_
FR.xml
5160160
∞
+0
NonPoly
+2
3.71/1.63
∞
+0
n
1
+1
657.27/295.31
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LISTUTILITIES_
complete-noand_
Z.xml
5160161
∞
+0
NonPoly
+2
68.74/24.98
∞
+0
n
1
+1
832.16/295.13
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
nosorts-noand_
Z.xml
5160162
∞
+0
NonPoly
+2
73.79/19.77
∞
+0
n
1
+1
83.18/29.69
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LISTUTILITIES_
nokinds-noand_
Z.xml
5160163
∞
+0
NonPoly
+2
105.21/47.90
∞
+0
n
1
+1
855.72/295.13
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nokinds_
FR.xml
5160164
∞
+0
n
2
+2
1140.04/291.73
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExIntrod_
GM01_
FR.xml
5160165
∞
+0
NonPoly
+2
11.13/3.53
∞
+0
n
1
+1
27.10/7.27
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
MYNAT_
complete-noand_
FR.xml
5160166
∞
+0
NonPoly
+2
10.62/6.77
∞
+0
n
1
+1
799.67/295.15
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
nosorts_
GM.xml
5160167
∞
+0
n
2
+2
1139.74/296.04
∞
+0
n
1
+1
40.73/14.06
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex15_
Luc98_
FR.xml
5160168
∞
+0
NonPoly
+2
3.69/1.63
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex6_
Luc98_
C.xml
5160169
n
1
+2
n
1
+2
27.95/8.71
∞
+0
n
1
+2
749.50/295.26
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex9_
Luc06_
C.xml
5160170
n
1
+2
n
1
+2
22.71/7.11
∞
+0
n
1
+2
666.03/295.06
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex15_
Luc98_
L.xml
5160171
∞
+0
NonPoly
+2
2.99/1.45
∞
+0
1
+0
0.00/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
2_
AEL03_
Z.xml
5160172
∞
+0
n
2
+2
310.63/291.46
n
3
+2
n
1
+1
350.66/78.14
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LISTUTILITIES_
nosorts_
Z.xml
5160173
∞
+0
n
1
+2
302.34/291.45
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
complete_
noand_
C.xml
5160174
∞
+0
n
1
+2
1176.79/297.54
∞
+0
n
1
+2
942.49/295.17
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts-noand_
FR.xml
5160175
∞
+0
NonPoly
+2
4.22/1.77
∞
+0
n
1
+1
102.40/74.92
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
MYNAT_
nosorts_
GM.xml
5160176
∞
+0
NonPoly
+2
4.99/2.01
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nokinds-noand_
L.xml
5160177
∞
+0
NonPoly
+2
3.20/1.51
∞
+0
1
+0
296.44/144.24
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
complete_
L.xml
5160178
∞
+0
NonPoly
+2
3.19/1.53
∞
+0
1
+0
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExIntrod_
GM01_
GM.xml
5160179
∞
+0
n
1
+2
1084.93/291.52
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LISTUTILITIES_
nosorts_
noand_
GM.xml
5160180
∞
+0
NonPoly
+2
5.06/2.00
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
Luc02b_
FR.xml
5160181
∞
+0
NonPoly
+2
3.37/1.54
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
DLMMU04_
L.xml
5160182
∞
+0
NonPoly
+2
3.11/1.45
∞
+0
1
+0
0.01/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
complete-noand_
Z.xml
5160183
∞
+0
n
1
+2
304.44/291.51
∞
+0
n
1
+2
587.31/295.05
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex2_
Luc02a_
FR.xml
5160184
∞
+0
NonPoly
+2
3.49/1.65
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
complete_
noand_
C.xml
5160185
∞
+0
n
1
+2
1158.25/291.79
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex3_
3_
25_
Bor03_
C.xml
5160186
n
1
+2
n
1
+2
24.49/8.51
∞
+0
n
1
+2
689.14/295.16
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExConc_
Zan97_
GM.xml
5160187
n
1
+2
n
1
+2
5.43/2.06
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
complete_
noand_
C.xml
5160188
n
1
+2
n
1
+2
36.12/11.44
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
nokinds_
C.xml
5160189
n
1
+2
n
1
+2
26.43/9.96
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
nosorts_
noand_
GM.xml
5160190
∞
+0
n
2
+2
1128.95/293.89
∞
+0
n
1
+1
42.77/14.26
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExSec11_
1_
Luc02a_
C.xml
5160191
n
1
+2
n
1
+2
27.35/7.84
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
complete_
C.xml
5160192
∞
+0
n
1
+2
1158.76/291.80
∞
+0
n
1
+2
729.98/295.14
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExIntrod_
Zan97_
GM.xml
5160193
∞
+0
NonPoly
+2
3.93/1.75
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex8_
BLR02_
FR.xml
5160194
∞
+0
NonPoly
+2
3.53/1.59
∞
+0
n
1
+1
553.67/295.14
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex23_
Luc06_
GM.xml
5160195
n
1
+2
n
1
+2
8.60/2.92
n
1
+2
n
1
+2
0.09/0.03
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
MYNAT_
complete_
noand_
C.xml
5160196
StarExec error
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
complete_
GM.xml
5160197
∞
+0
NonPoly
+2
19.57/5.70
∞
+0
n
1
+1
919.79/295.04
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex3_
3_
25_
Bor03_
GM.xml
5160198
∞
+0
NonPoly
+2
3.86/1.74
∞
+0
n
1
+1
569.99/295.12
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex49_
GM04_
C.xml
5160199
StarExec error
∞
+0
n
1
+2
652.43/295.07
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LISTUTILITIES_
complete-noand_
FR.xml
5160200
StarExec error
∞
+0
n
1
+2
831.43/295.14
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LISTUTILITIES_
complete_
noand_
GM.xml
5160201
∞
+0
NonPoly
+2
20.35/5.86
∞
+0
1
+0
1033.34/296.98
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nokinds_
L.xml
5160202
∞
+0
NonPoly
+2
3.26/1.54
∞
+0
1
+0
0.00/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex14_
AEGL02_
Z.xml
5160203
∞
+0
NonPoly
+2
4.05/1.76
∞
+0
n
1
+1
278.18/251.28
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
complete-noand_
L.xml
5160204
∞
+0
NonPoly
+2
3.21/1.52
∞
+0
1
+0
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
GM99_
C.xml
5160205
n
1
+2
n
1
+2
26.55/7.90
∞
+0
n
1
+2
349.84/295.12
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExIntrod_
GM99_
GM.xml
5160206
∞
+0
NonPoly
+2
4.00/1.74
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
complete_
noand_
C.xml
5160207
n
1
+2
n
1
+2
51.69/14.30
∞
+0
n
1
+2
763.59/295.12
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
nokinds_
GM.xml
5160208
∞
+0
NonPoly
+2
4.77/1.91
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
Zan97_
L.xml
5160209
∞
+0
NonPoly
+2
3.02/2.17
∞
+0
1
+0
0.00/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex7_
BLR02_
L.xml
5160210
∞
+0
NonPoly
+2
3.18/1.59
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex5_
7_
Luc97_
Z.xml
5160211
∞
+0
NonPoly
+2
3.83/1.65
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
GM99_
L.xml
5160212
∞
+0
NonPoly
+2
3.33/1.57
∞
+0
1
+0
23.90/7.04
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
Zan97_
FR.xml
5160213
∞
+0
NonPoly
+2
3.36/1.56
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex9_
Luc06_
FR.xml
5160214
StarExec error
∞
+0
1
+0
605.60/295.03
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
nokinds_
noand_
GM.xml
5160215
∞
+0
n
1
+2
620.51/292.47
∞
+0
n
1
+2
874.22/295.14
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
7_
37_
Bor03_
FR.xml
5160216
∞
+0
NonPoly
+2
3.58/1.61
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nokinds_
Z.xml
5160217
∞
+0
n
1
+2
1138.00/291.55
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex3_
2_
Luc97_
FR.xml
5160218
∞
+0
NonPoly
+2
4.14/1.73
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExSec11_
1_
Luc02a_
FR.xml
5160219
∞
+0
NonPoly
+2
3.58/1.61
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex6_
GM04_
GM.xml
5160220
1
+2
1
+0
3.67/1.66
1
+2
1
+0
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex16_
Luc06_
C.xml
5160221
n
1
+2
n
1
+2
21.34/7.12
∞
+0
n
1
+2
680.59/295.05
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex6_
Luc98_
GM.xml
5160222
∞
+0
NonPoly
+2
3.40/1.67
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex15_
Luc06_
C.xml
5160223
n
1
+2
n
1
+2
21.82/6.41
n
1
+2
n
1
+2
8.03/0.31
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
2_
Luc02c_
L.xml
5160224
∞
+0
NonPoly
+2
3.19/1.53
∞
+0
1
+0
0.00/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex14_
Luc06_
GM.xml
5160225
∞
+0
NonPoly
+2
3.55/1.61
∞
+0
n
1
+1
574.30/295.44
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LISTUTILITIES_
complete_
GM.xml
5160226
∞
+0
NonPoly
+2
10.37/3.31
∞
+0
n
1
+1
1028.20/295.16
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
2_
Luc02c_
GM.xml
5160227
∞
+0
NonPoly
+2
3.64/1.64
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExProp7_
Luc06_
C.xml
5160228
n
1
+2
n
1
+2
22.93/6.94
n
1
+2
n
1
+2
0.21/0.06
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
Zan97_
C.xml
5160229
n
1
+2
n
1
+2
25.65/12.60
∞
+0
n
1
+2
738.13/295.17
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex26_
Luc03b_
GM.xml
5160230
∞
+0
NonPoly
+2
3.79/1.81
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex6_
Luc98_
Z.xml
5160231
n
1
+2
n
1
+2
18.11/6.08
n
1
+2
n
1
+2
4.22/1.02
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
Zan97_
C.xml
5160232
n
1
+2
n
1
+2
22.84/6.79
n
1
+2
n
1
+2
15.34/0.27
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nosorts_
noand_
GM.xml
5160233
∞
+0
n
1
+2
1116.49/292.73
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
7_
15_
Bor03_
C.xml
5160234
n
1
+2
n
1
+2
21.58/9.43
n
1
+2
n
1
+2
0.58/0.15
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nokinds-noand_
Z.xml
5160235
n
1
+2
n
1
+2
634.17/291.53
n
3
+1
n
1
+2
33.22/8.62
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex2_
Luc03b_
FR.xml
5160236
∞
+0
NonPoly
+2
3.72/1.60
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex9_
Luc04_
GM.xml
5160237
∞
+0
NonPoly
+2
3.68/1.58
∞
+0
1
+0
446.76/268.87
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nokinds_
FR.xml
5160238
∞
+0
NonPoly
+2
5.15/5.72
∞
+0
n
1
+1
765.37/295.13
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LISTUTILITIES_
nosorts_
L.xml
5160239
∞
+0
NonPoly
+2
3.13/1.51
∞
+0
1
+0
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
nokinds_
noand_
GM.xml
5160240
∞
+0
NonPoly
+2
6.07/2.22
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExIntrod_
GM01_
C.xml
5160241
∞
+0
n
1
+2
1152.97/294.30
n
1
+2
n
1
+2
26.98/5.87
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts_
noand_
GM.xml
5160242
∞
+0
NonPoly
+2
16.07/4.82
∞
+0
n
1
+1
47.22/17.24
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LISTUTILITIES_
nosorts_
GM.xml
5160243
∞
+0
NonPoly
+2
4.05/1.76
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExProp7_
Luc06_
L.xml
5160244
1
+2
1
+0
3.24/1.49
n
1
+1
1
+0
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex26_
Luc03b_
C.xml
5160245
n
1
+2
n
1
+2
24.75/7.49
∞
+0
n
1
+2
760.86/296.31
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
complete_
GM.xml
5160246
∞
+0
n
1
+2
895.10/292.55
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LISTUTILITIES_
complete_
Z.xml
5160247
∞
+0
NonPoly
+2
39.93/12.05
∞
+0
n
1
+1
791.02/295.05
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex18_
Luc06_
FR.xml
5160248
n
1
+2
n
1
+2
3.36/1.50
n
1
+2
n
1
+2
0.21/0.07
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nokinds_
noand_
C.xml
5160249
n
1
+2
n
1
+2
31.47/9.02
n
1
+2
n
1
+2
9.68/2.44
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExSec4_
2_
DLMMU04_
Z.xml
5160250
∞
+0
n
1
+2
303.66/291.43
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
2_
AEL03_
GM.xml
5160251
∞
+0
NonPoly
+2
3.76/1.69
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
Zan97_
L.xml
5160252
∞
+0
NonPoly
+2
3.45/1.54
∞
+0
1
+0
23.39/7.04
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
complete_
GM.xml
5160253
∞
+0
NonPoly
+2
8.33/3.02
∞
+0
n
1
+1
663.59/295.12
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nosorts_
C.xml
5160254
n
1
+2
n
1
+2
22.45/7.73
n
1
+2
n
1
+2
1.17/0.28
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
complete_
Z.xml
5160255
∞
+0
n
1
+2
359.23/291.51
∞
+0
n
1
+2
785.98/295.08
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex24_
GM04_
FR.xml
5160256
StarExec error
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex5_
Zan97_
Z.xml
5160257
1
+2
1
+0
3.36/1.50
n
1
+1
1
+0
1.40/0.20
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
7_
56_
Bor03_
C.xml
5160258
n
1
+2
n
1
+2
23.80/8.40
∞
+0
n
1
+2
752.70/295.20
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nokinds_
noand_
GM.xml
5160259
∞
+0
n
1
+2
462.76/291.49
∞
+0
n
1
+2
705.19/295.07
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts-noand_
L.xml
5160260
∞
+0
NonPoly
+2
3.14/1.46
∞
+0
1
+0
0.00/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nokinds-noand_
FR.xml
5160261
∞
+0
NonPoly
+2
4.98/1.96
∞
+0
n
1
+1
537.00/295.25
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
MYNAT_
complete_
L.xml
5160262
∞
+0
NonPoly
+2
3.10/1.47
∞
+0
1
+0
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
nosorts_
Z.xml
5160263
∞
+0
NonPoly
+2
4.17/1.76
∞
+0
n
1
+1
71.77/31.10
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex6_
GM04_
FR.xml
5160264
∞
+0
NonPoly
+2
3.36/1.51
∞
+0
1
+0
483.42/295.04
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex18_
Luc06_
GM.xml
5160265
n
1
+2
n
1
+2
3.14/1.52
n
1
+2
n
1
+2
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LISTUTILITIES_
complete_
L.xml
5160266
∞
+0
NonPoly
+2
3.29/1.52
∞
+0
1
+0
0.03/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
Zan97_
Z.xml
5160267
∞
+0
n
1
+2
335.55/292.11
∞
+0
n
1
+2
496.22/295.62
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex49_
GM04_
GM.xml
5160268
∞
+0
NonPoly
+2
4.55/1.89
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex3_
12_
Luc96a_
L.xml
5160269
∞
+0
NonPoly
+2
2.84/1.45
∞
+0
1
+0
0.00/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex25_
Luc06_
C.xml
5160270
n
1
+2
n
1
+2
23.57/9.45
n
1
+2
n
1
+2
0.05/0.02
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
Luc04b_
FR.xml
5160271
∞
+0
NonPoly
+2
4.02/1.71
∞
+0
n
1
+1
23.61/7.05
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex8_
BLR02_
Z.xml
5160272
∞
+0
n
1
+2
315.13/292.04
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
complete_
Z.xml
5160273
∞
+0
n
1
+2
323.81/291.46
∞
+0
n
1
+2
765.07/295.21
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
7_
77_
Bor03_
GM.xml
5160274
n
1
+2
n
1
+2
4.07/1.76
n
1
+2
n
1
+2
0.12/0.04
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
2_
Luc02c_
C.xml
5160275
n
1
+2
n
1
+2
19.71/6.76
∞
+0
n
1
+2
685.80/295.71
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts_
C.xml
5160276
StarExec error
n
1
+2
n
1
+2
4.58/1.16
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
GM03_
L.xml
5160277
∞
+0
NonPoly
+2
3.07/1.47
∞
+0
1
+0
0.00/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex18_
Luc06_
C.xml
5160278
n
1
+2
n
1
+2
20.35/6.62
n
1
+2
n
1
+2
0.62/0.17
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExSec11_
1_
Luc02a_
Z.xml
5160279
n
3
+2
n
3
+2
1099.01/291.59
∞
+0
n
1
+1
716.31/295.38
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex5_
DLMMU04_
L.xml
5160280
∞
+0
NonPoly
+2
3.18/1.54
∞
+0
1
+0
0.00/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
DLMMU04_
Z.xml
5160281
∞
+0
NonPoly
+2
10.06/3.25
∞
+0
n
1
+1
807.71/295.17
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
complete_
noand_
GM.xml
5160282
∞
+0
n
1
+2
624.73/291.53
∞
+0
n
1
+2
1021.36/295.10
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
7_
56_
Bor03_
L.xml
5160283
∞
+0
NonPoly
+2
3.13/1.51
∞
+0
1
+0
0.00/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex5_
DLMMU04_
Z.xml
5160284
∞
+0
NonPoly
+2
3.73/1.58
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
4_
Luc96b_
FR.xml
5160285
∞
+0
NonPoly
+2
3.55/1.63
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex5_
Zan97_
GM.xml
5160286
∞
+0
n
1
+2
1126.90/291.46
∞
+0
n
1
+2
30.70/8.73
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LISTUTILITIES_
complete-noand_
L.xml
5160287
∞
+0
NonPoly
+2
3.45/1.62
∞
+0
1
+0
0.04/0.02
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExIntrod_
GM99_
Z.xml
5160288
∞
+0
1
+0
306.70/291.92
∞
+0
1
+0
414.56/295.13
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
MYNAT_
nokinds-noand_
L.xml
5160289
∞
+0
NonPoly
+2
3.07/1.45
∞
+0
1
+0
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex25_
Luc06_
GM.xml
5160290
n
1
+2
n
1
+2
8.30/2.97
n
1
+2
n
1
+2
0.03/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
complete_
GM.xml
5160291
∞
+0
NonPoly
+2
13.32/4.43
∞
+0
n
1
+1
880.65/295.04
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExIntrod_
Zan97_
Z.xml
5160292
∞
+0
NonPoly
+2
3.30/1.49
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
MYNAT_
nokinds_
Z.xml
5160293
∞
+0
n
1
+2
326.29/292.15
∞
+0
n
1
+2
822.32/295.23
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex15_
Luc98_
C.xml
5160294
n
1
+2
n
1
+2
23.13/10.81
∞
+0
n
1
+2
760.51/297.19
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex8_
BLR02_
C.xml
5160295
n
1
+2
n
1
+2
25.80/7.96
∞
+0
n
1
+2
724.62/295.26
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nokinds-noand_
FR.xml
5160296
∞
+0
n
2
+2
1155.76/293.38
∞
+0
n
1
+1
576.05/295.32
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LISTUTILITIES_
nokinds-noand_
L.xml
5160297
∞
+0
NonPoly
+2
3.18/1.59
∞
+0
1
+0
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex6_
15_
AEL02_
C.xml
5160298
n
1
+2
n
1
+2
36.42/10.61
∞
+0
n
1
+2
706.41/295.13
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex14_
AEGL02_
FR.xml
5160299
∞
+0
NonPoly
+2
3.49/1.57
∞
+0
n
1
+1
559.94/295.33
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
MYNAT_
nokinds_
C.xml
5160300
n
1
+2
n
1
+2
25.63/7.63
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nokinds_
noand_
GM.xml
5160301
∞
+0
n
1
+2
1123.57/291.58
∞
+0
n
1
+2
1181.81/298.05
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
nokinds_
noand_
C.xml
5160302
∞
+0
n
1
+2
1172.66/295.37
∞
+0
n
1
+2
734.23/295.09
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExIntrod_
Zan97_
C.xml
5160303
n
1
+2
n
1
+2
22.44/6.52
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
MYNAT_
nosorts_
L.xml
5160304
∞
+0
NonPoly
+2
3.17/1.52
∞
+0
1
+0
0.00/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExSec4_
2_
DLMMU04_
L.xml
5160305
∞
+0
NonPoly
+2
2.94/1.44
∞
+0
1
+0
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex49_
GM04_
L.xml
5160306
∞
+0
NonPoly
+2
3.27/1.46
∞
+0
1
+0
0.00/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex7_
BLR02_
GM.xml
5160307
∞
+0
NonPoly
+2
3.81/1.62
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LISTUTILITIES_
nokinds_
GM.xml
5160308
∞
+0
NonPoly
+2
5.47/2.08
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LISTUTILITIES_
nosorts_
FR.xml
5160309
∞
+0
NonPoly
+2
3.62/1.60
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex2_
Luc03b_
L.xml
5160310
1
+2
1
+0
3.20/1.47
1
+2
1
+0
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
DLMMU04_
FR.xml
5160311
∞
+0
NonPoly
+2
6.30/2.28
∞
+0
n
1
+1
802.32/295.11
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex2_
Luc03b_
Z.xml
5160312
n
1
+2
n
1
+2
31.14/11.90
n
1
+2
n
1
+2
3.01/0.77
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex6_
Luc98_
FR.xml
5160313
∞
+0
NonPoly
+2
3.48/1.63
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex9_
BLR02_
FR.xml
5160314
StarExec error
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
MYNAT_
complete_
noand_
GM.xml
5160315
∞
+0
NonPoly
+2
35.99/13.56
∞
+0
n
1
+1
1046.56/295.07
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
complete_
L.xml
5160316
∞
+0
NonPoly
+2
3.06/1.45
∞
+0
1
+0
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nokinds-noand_
L.xml
5160317
∞
+0
NonPoly
+2
3.19/1.51
∞
+0
1
+0
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LISTUTILITIES_
nokinds_
FR.xml
5160318
∞
+0
NonPoly
+2
4.99/1.92
∞
+0
n
1
+1
905.58/295.18
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExAppendixB_
AEL03_
C.xml
5160319
n
1
+2
n
1
+2
40.34/11.57
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nokinds-noand_
Z.xml
5160320
∞
+0
n
1
+2
306.35/291.97
∞
+0
n
1
+2
543.61/295.14
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
7_
56_
Bor03_
FR.xml
5160321
∞
+0
NonPoly
+2
3.18/1.48
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex6_
9_
Luc02c_
C.xml
5160322
n
1
+2
n
1
+2
20.12/6.90
∞
+0
n
1
+2
687.96/295.71
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
complete_
C.xml
5160323
n
1
+2
n
1
+2
28.35/8.38
∞
+0
n
1
+2
674.88/295.06
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex6_
15_
AEL02_
GM.xml
5160324
∞
+0
NonPoly
+2
4.73/1.98
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LISTUTILITIES_
nokinds_
L.xml
5160325
∞
+0
NonPoly
+2
3.30/1.46
∞
+0
1
+0
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
nosorts-noand_
FR.xml
5160326
∞
+0
NonPoly
+2
957.55/241.65
∞
+0
n
1
+1
72.28/27.10
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LISTUTILITIES_
nosorts_
C.xml
5160327
n
1
+2
n
1
+2
40.17/13.89
∞
+0
n
1
+2
694.09/295.13
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExConc_
Zan97_
FR.xml
5160328
n
1
+2
n
1
+2
7.18/2.48
n
1
+2
n
1
+2
0.22/0.06
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExIntrod_
GM04_
L.xml
5160329
∞
+0
NonPoly
+2
3.15/1.94
∞
+0
1
+0
0.00/0.00
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
DLMMU04_
GM.xml
5160330
∞
+0
NonPoly
+2
25.99/9.96
∞
+0
n
1
+1
878.87/295.38
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
complete_
FR.xml
5160331
∞
+0
NonPoly
+2
3.87/1.68
∞
+0
n
1
+1
770.36/295.21
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex5_
DLMMU04_
FR.xml
5160332
∞
+0
NonPoly
+2
4.42/1.79
∞
+0
n
1
+1
598.84/295.16
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
7_
56_
Bor03_
Z.xml
5160333
∞
+0
n
1
+2
308.22/291.94
n
1
+2
n
1
+2
1.31/0.33
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
nokinds-noand_
L.xml
5160334
∞
+0
NonPoly
+2
3.25/1.54
∞
+0
1
+0
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex18_
Luc06_
Z.xml
5160335
1
+2
1
+0
3.49/1.56
n
1
+1
1
+0
0.19/0.05
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExIntrod_
GM04_
FR.xml
5160336
∞
+0
NonPoly
+2
40.46/12.27
∞
+0
n
1
+1
25.97/7.04
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
Zan97_
GM.xml
5160337
∞
+0
NonPoly
+2
3.70/1.59
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nokinds_
GM.xml
5160338
∞
+0
n
1
+2
319.88/292.11
∞
+0
n
1
+2
619.56/295.11
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex5_
7_
Luc97_
C.xml
5160339
StarExec error
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex3_
3_
25_
Bor03_
FR.xml
5160340
∞
+0
NonPoly
+2
3.60/1.67
∞
+0
n
1
+1
740.03/295.19
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex26_
Luc03b_
L.xml
5160341
1
+2
1
+0
3.49/1.57
1
+2
1
+0
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
MYNAT_
complete_
C.xml
5160342
n
1
+2
n
1
+2
35.29/10.46
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LISTUTILITIES_
nokinds_
Z.xml
5160343
StarExec error
∞
+0
n
1
+2
834.83/295.08
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
nokinds-noand_
FR.xml
5160344
∞
+0
NonPoly
+2
4.79/1.95
∞
+0
n
1
+1
705.12/295.26
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
2_
AEL03_
L.xml
5160345
∞
+0
NonPoly
+2
3.11/1.51
∞
+0
1
+0
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExSec4_
2_
DLMMU04_
C.xml
5160346
n
1
+2
n
1
+2
37.30/10.54
∞
+0
n
1
+2
700.90/295.17
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
MYNAT_
nokinds_
L.xml
5160347
∞
+0
NonPoly
+2
3.17/1.53
∞
+0
1
+0
0.00/0.01
Runtime_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
MYNAT_
complete_
FR.xml
5160348
∞
+0
NonPoly
+2
4.04/1.72
∞
+0
n
1
+1
767.99/295.05
Runtime_
Complexity_
Full_
Rewriting/
TCT_
12/
recursion-10.xml
5159898
n
10
+2
n
1
+2
676.12/292.20
n
10
+2
n
1
+2
110.46/38.94
Runtime_
Complexity_
Full_
Rewriting/
TCT_
12/
polycounter-10.xml
5159899
∞
+0
n
1
+2
1163.69/293.25
∞
+0
n
1
+2
1181.85/297.68
Runtime_
Complexity_
Full_
Rewriting/
TCT_
12/
recursion-5.xml
5159900
n
5
+2
n
1
+2
394.42/291.47
n
5
+2
n
1
+2
44.77/15.39
Runtime_
Complexity_
Full_
Rewriting/
TCT_
12/
polycounter-5.xml
5159901
n
5
+2
n
1
+2
1035.28/291.48
∞
+0
n
1
+2
37.79/11.12
Runtime_
Complexity_
Full_
Rewriting/
TCT_
12/
sat.xml
5159902
∞
+0
n
1
+2
321.58/293.27
∞
+0
n
1
+2
545.11/295.21
Runtime_
Complexity_
Full_
Rewriting/
Secret_
07_
TRS/
aprove07.xml
5160487
∞
+0
n
1
+2
311.23/291.57
∞
+0
n
1
+2
517.92/295.26
Runtime_
Complexity_
Full_
Rewriting/
Secret_
07_
TRS/
secret3.xml
5160488
∞
+0
NonPoly
+2
3.52/1.57
∞
+0
n
1
+1
584.78/295.10
Runtime_
Complexity_
Full_
Rewriting/
Secret_
07_
TRS/
aprove04.xml
5160489
∞
+0
n
1
+2
312.04/292.02
∞
+0
n
1
+2
743.92/295.34
Runtime_
Complexity_
Full_
Rewriting/
Secret_
07_
TRS/
3.xml
5160490
1
+2
1
+0
3.74/1.70
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Secret_
07_
TRS/
aprove02.xml
5160491
∞
+0
n
1
+2
314.81/291.56
∞
+0
n
1
+2
498.93/295.22
Runtime_
Complexity_
Full_
Rewriting/
Secret_
07_
TRS/
aprove10.xml
5160492
timeout (wallclock)
∞
+0
n
1
+2
739.23/295.45
Runtime_
Complexity_
Full_
Rewriting/
Secret_
07_
TRS/
aprove08.xml
5160493
∞
+0
n
1
+2
311.05/291.92
∞
+0
n
1
+2
636.02/295.28
Runtime_
Complexity_
Full_
Rewriting/
Secret_
07_
TRS/
aprove09.xml
5160494
∞
+0
n
1
+2
313.56/291.43
∞
+0
n
1
+2
497.88/295.18
Runtime_
Complexity_
Full_
Rewriting/
Secret_
07_
TRS/
aprove01.xml
5160495
∞
+0
n
1
+2
304.88/291.52
∞
+0
n
1
+2
505.75/295.24
Runtime_
Complexity_
Full_
Rewriting/
Secret_
07_
TRS/
aprove06.xml
5160496
∞
+0
n
1
+2
312.62/291.47
∞
+0
n
1
+2
505.88/295.20
Runtime_
Complexity_
Full_
Rewriting/
Secret_
07_
TRS/
aprove03.xml
5160497
∞
+0
n
1
+2
308.41/291.47
∞
+0
n
1
+2
758.36/295.11
Runtime_
Complexity_
Full_
Rewriting/
Secret_
07_
TRS/
secret5.xml
5160498
∞
+0
NonPoly
+2
3.55/1.65
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Secret_
07_
TRS/
secret4.xml
5160499
n
2
+2
n
1
+2
332.91/291.48
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Secret_
07_
TRS/
aprove05.xml
5160500
∞
+0
n
1
+2
305.93/291.46
∞
+0
n
1
+2
548.35/295.31
Runtime_
Complexity_
Full_
Rewriting/
Secret_
07_
TRS/
secret1.xml
5160501
n
1
+2
n
1
+2
15.38/5.01
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Secret_
06_
TRS/
10.xml
5159718
1
+2
1
+0
3.61/1.63
n
1
+1
1
+0
0.58/0.16
Runtime_
Complexity_
Full_
Rewriting/
Secret_
06_
TRS/
division.xml
5159719
∞
+0
n
1
+2
303.54/291.47
∞
+0
n
1
+2
461.52/295.38
Runtime_
Complexity_
Full_
Rewriting/
Secret_
06_
TRS/
gen-28.xml
5159720
1
+2
1
+0
3.23/1.49
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Secret_
06_
TRS/
tpa10.xml
5159721
∞
+0
n
2
+2
312.08/291.48
∞
+0
n
1
+1
765.62/295.47
Runtime_
Complexity_
Full_
Rewriting/
Secret_
06_
TRS/
tpa07.xml
5159722
∞
+0
n
2
+2
314.43/291.55
∞
+0
n
1
+1
651.11/295.01
Runtime_
Complexity_
Full_
Rewriting/
Secret_
06_
TRS/
tpa04.xml
5159723
∞
+0
n
1
+2
308.37/291.88
∞
+0
n
1
+2
740.02/295.74
Runtime_
Complexity_
Full_
Rewriting/
Secret_
06_
TRS/
tpa09.xml
5159724
∞
+0
n
2
+2
310.32/292.18
∞
+0
n
1
+1
740.07/295.57
Runtime_
Complexity_
Full_
Rewriting/
Secret_
06_
TRS/
gen-17.xml
5159725
1
+2
1
+0
3.40/1.52
1
+2
1
+0
0.67/0.15
Runtime_
Complexity_
Full_
Rewriting/
Secret_
06_
TRS/
toList.xml
5159726
∞
+0
n
1
+2
305.35/292.04
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Secret_
06_
TRS/
reverse.xml
5159727
∞
+0
n
2
+2
316.78/291.45
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Secret_
06_
TRS/
tpa06.xml
5159728
∞
+0
n
1
+2
315.85/291.46
∞
+0
n
1
+2
761.28/295.22
Runtime_
Complexity_
Full_
Rewriting/
Secret_
06_
TRS/
times.xml
5159729
StarExec error
∞
+0
n
1
+2
492.48/295.22
Runtime_
Complexity_
Full_
Rewriting/
Secret_
06_
TRS/
logarithm.xml
5159730
∞
+0
n
1
+2
315.68/291.47
∞
+0
n
1
+2
471.85/295.37
Runtime_
Complexity_
Full_
Rewriting/
Secret_
06_
TRS/
double.xml
5159731
∞
+0
n
1
+2
314.20/291.51
∞
+0
n
1
+2
515.73/295.31
Runtime_
Complexity_
Full_
Rewriting/
Secret_
06_
TRS/
nrOfNodes.xml
5159732
∞
+0
n
2
+2
306.10/291.92
∞
+0
n
1
+1
498.51/295.34
Runtime_
Complexity_
Full_
Rewriting/
Secret_
06_
TRS/
divExp.xml
5159733
n
3
+2
n
1
+2
995.59/291.52
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Secret_
06_
TRS/
tpa05.xml
5159734
∞
+0
n
2
+2
311.55/291.42
∞
+0
1
+0
585.10/244.25
Runtime_
Complexity_
Full_
Rewriting/
Secret_
06_
TRS/
6.xml
5159735
1
+2
1
+0
3.28/1.52
n
1
+1
1
+0
0.39/0.09
Runtime_
Complexity_
Full_
Rewriting/
Secret_
06_
TRS/
4.xml
5159736
1
+2
1
+0
3.38/1.50
n
1
+1
1
+0
0.37/0.08
Runtime_
Complexity_
Full_
Rewriting/
Secret_
06_
TRS/
sumList.xml
5159737
StarExec error
∞
+0
n
1
+2
497.66/295.42
Runtime_
Complexity_
Full_
Rewriting/
Secret_
06_
TRS/
tpa08.xml
5159738
∞
+0
n
2
+2
308.82/291.49
∞
+0
n
1
+1
690.28/295.12
Runtime_
Complexity_
Full_
Rewriting/
Secret_
06_
TRS/
addList.xml
5159739
∞
+0
n
1
+2
598.38/291.44
∞
+0
n
1
+2
763.38/295.23
Runtime_
Complexity_
Full_
Rewriting/
Secret_
06_
TRS/
gen-1.xml
5159740
1
+2
1
+0
3.35/1.60
n
1
+1
1
+0
7.65/2.54
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
AG01/
#4.19.xml
5160403
∞
+0
n
1
+2
308.96/291.51
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
AG01/
#4.27.xml
5160404
n
2
+2
n
1
+2
316.65/291.48
∞
+0
n
1
+2
732.57/295.52
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
AG01/
#4.17.xml
5160405
n
1
+2
n
1
+2
15.03/4.90
n
1
+2
n
1
+2
2.35/0.12
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
AG01/
#4.22.xml
5160406
StarExec error
n
1
+2
n
1
+2
0.74/0.21
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
AG01/
#4.36.xml
5160407
∞
+0
n
2
+2
307.64/291.47
∞
+0
n
1
+1
878.50/295.41
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
AG01/
#4.37.xml
5160408
n
1
+2
n
1
+2
23.57/7.28
n
1
+2
n
1
+2
0.01/0.01
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
AG01/
#4.20a.xml
5160409
n
1
+2
n
1
+2
20.59/9.91
n
1
+2
n
1
+2
0.13/0.04
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
AG01/
#4.30b.xml
5160410
n
1
+2
n
1
+2
47.17/15.77
∞
+0
n
1
+2
791.80/295.60
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
AG01/
#4.33.xml
5160411
∞
+0
n
2
+2
1081.87/291.49
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
AG01/
#4.26.xml
5160412
∞
+0
n
1
+2
305.11/291.88
∞
+0
1
+0
170.58/107.18
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
AG01/
#4.35.xml
5160413
∞
+0
NonPoly
+2
5.43/2.11
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
AG01/
#4.16.xml
5160414
n
1
+2
n
1
+2
13.55/5.45
n
1
+2
n
1
+2
0.47/0.11
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
AG01/
#4.14.xml
5160415
n
1
+2
n
1
+2
14.96/4.88
n
1
+2
n
1
+2
0.29/0.07
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
AG01/
#4.23.xml
5160416
n
2
+2
n
1
+2
412.08/291.43
∞
+0
1
+0
432.57/171.48
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
AG01/
#4.32.xml
5160417
n
2
+2
n
1
+2
318.09/291.45
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
AG01/
#4.28.xml
5160418
n
1
+2
n
1
+2
18.48/5.56
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
AG01/
#4.25.xml
5160419
StarExec error
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
AG01/
#4.30a.xml
5160420
n
1
+2
n
1
+2
27.63/11.90
∞
+0
1
+0
199.22/118.13
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
AG01/
#4.30.xml
5160421
∞
+0
n
1
+2
304.41/291.90
∞
+0
1
+0
310.77/197.98
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
AG01/
#4.29.xml
5160422
∞
+0
n
1
+2
311.91/291.46
∞
+0
n
1
+2
769.05/295.30
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
AG01/
#4.34.xml
5160423
∞
+0
n
1
+2
300.91/292.00
n
3
+2
n
1
+2
5.49/1.53
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
AG01/
#4.37a.xml
5160424
n
1
+2
n
1
+2
23.06/7.11
n
1
+2
n
1
+2
0.66/0.15
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
AG01/
#4.30c.xml
5160425
∞
+0
n
1
+2
310.28/291.45
∞
+0
n
1
+2
680.95/295.48
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
AG01/
#4.2.xml
5160426
n
1
+2
n
1
+2
15.04/5.15
n
1
+2
n
1
+2
0.36/0.09
Runtime_
Complexity_
Full_
Rewriting/
Strategy_
removed_
AG01/
#4.7.xml
5160427
1
+2
1
+0
3.45/1.58
n
1
+1
1
+0
1.49/0.39
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.49.xml
5159741
1
+2
1
+0
3.18/1.48
n
1
+1
1
+0
0.26/0.07
Runtime_
Complexity_
Full_
Rewriting/
SK90/
4.12.xml
5159742
n
1
+2
n
1
+2
3.65/1.64
n
1
+2
n
1
+2
1.26/0.33
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.45.xml
5159743
n
1
+2
n
1
+2
28.33/7.93
n
1
+2
n
1
+2
2.33/0.60
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.15.xml
5159744
∞
+0
NonPoly
+2
3.16/1.55
∞
+0
NonPoly
+2
558.56/295.10
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.40.xml
5159745
n
1
+2
n
1
+2
20.13/7.54
n
1
+2
n
1
+2
0.64/0.16
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.47.xml
5159746
n
1
+2
n
1
+2
6.76/2.52
n
1
+2
n
1
+2
0.37/0.09
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.22.xml
5159747
∞
+0
NonPoly
+2
3.36/3.10
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
SK90/
4.10.xml
5159748
n
2
+2
n
1
+2
359.47/291.48
n
2
+2
n
1
+2
5.28/1.41
Runtime_
Complexity_
Full_
Rewriting/
SK90/
4.26.xml
5159749
n
1
+2
n
1
+2
17.58/6.39
n
1
+2
n
1
+2
0.30/0.08
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.59.xml
5159750
StarExec error
n
1
+2
1
+0
0.39/0.10
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.27.xml
5159751
∞
+0
n
1
+2
320.33/291.90
∞
+0
n
1
+2
888.78/295.15
Runtime_
Complexity_
Full_
Rewriting/
SK90/
4.57.xml
5159752
∞
+0
1
+0
305.11/291.42
∞
+0
1
+0
501.97/192.98
Runtime_
Complexity_
Full_
Rewriting/
SK90/
4.60.xml
5159753
∞
+0
NonPoly
+2
3.43/1.56
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.31.xml
5159754
n
1
+2
n
1
+2
3.54/1.58
n
1
+2
n
1
+2
0.21/0.07
Runtime_
Complexity_
Full_
Rewriting/
SK90/
4.28.xml
5159755
n
1
+2
n
1
+2
33.99/10.42
n
1
+2
n
1
+2
4.60/1.08
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.52.xml
5159756
∞
+0
n
1
+2
1120.67/292.16
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.03.xml
5159757
n
1
+2
n
1
+2
7.33/2.61
n
1
+2
n
1
+2
0.29/0.08
Runtime_
Complexity_
Full_
Rewriting/
SK90/
4.13.xml
5159758
n
1
+2
n
1
+2
21.33/6.92
n
2
+1
n
1
+2
6.36/1.67
Runtime_
Complexity_
Full_
Rewriting/
SK90/
4.53.xml
5159759
StarExec error
n
2
+2
n
1
+2
11.96/3.02
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.38.xml
5159760
n
1
+2
n
1
+2
5.43/2.10
n
1
+2
n
1
+2
0.16/0.05
Runtime_
Complexity_
Full_
Rewriting/
SK90/
4.06.xml
5159761
∞
+0
NonPoly
+2
3.39/1.55
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.25.xml
5159762
StarExec error
∞
+0
NonPoly
+2
584.77/295.20
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.12.xml
5159763
n
3
+2
n
3
+2
32.09/9.49
∞
+0
n
1
+1
482.45/295.49
Runtime_
Complexity_
Full_
Rewriting/
SK90/
4.54.xml
5159764
∞
+0
NonPoly
+2
3.30/1.51
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.50.xml
5159765
n
1
+2
n
1
+2
6.95/2.46
n
1
+2
n
1
+2
0.06/0.03
Runtime_
Complexity_
Full_
Rewriting/
SK90/
4.34.xml
5159766
∞
+0
NonPoly
+2
3.48/1.62
∞
+0
n
1
+1
38.37/12.56
Runtime_
Complexity_
Full_
Rewriting/
SK90/
4.47.xml
5159767
1
+2
1
+0
3.51/1.58
1
+2
1
+0
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.07.xml
5159768
n
1
+2
n
1
+2
19.05/6.23
n
2
+1
n
1
+2
2.59/0.89
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.42.xml
5159769
n
1
+2
n
1
+2
16.79/6.23
n
1
+2
n
1
+2
0.24/0.07
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.09.xml
5159770
n
1
+2
n
1
+2
6.47/2.44
n
1
+2
n
1
+2
0.40/0.09
Runtime_
Complexity_
Full_
Rewriting/
SK90/
4.48.xml
5159771
1
+2
1
+0
3.20/1.50
n
1
+1
1
+0
0.20/0.05
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.17.xml
5159772
n
1
+2
n
1
+2
24.88/7.10
n
1
+2
n
1
+2
0.96/0.25
Runtime_
Complexity_
Full_
Rewriting/
SK90/
4.30.xml
5159773
n
1
+2
n
1
+2
3.49/1.65
n
1
+2
n
1
+2
1.01/0.20
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.39.xml
5159774
n
2
+2
n
2
+2
20.02/7.77
n
2
+2
n
1
+1
7.52/1.99
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.29.xml
5159775
n
1
+2
n
1
+2
22.99/6.73
n
1
+2
n
1
+2
5.36/1.37
Runtime_
Complexity_
Full_
Rewriting/
SK90/
4.27.xml
5159776
∞
+0
n
1
+2
975.69/292.13
∞
+0
n
1
+2
684.23/295.07
Runtime_
Complexity_
Full_
Rewriting/
SK90/
4.61.xml
5159777
∞
+0
NonPoly
+2
3.31/1.56
∞
+0
n
1
+1
700.97/295.18
Runtime_
Complexity_
Full_
Rewriting/
SK90/
4.09.xml
5159778
1
+2
1
+0
3.43/1.55
1
+2
1
+0
0.36/0.10
Runtime_
Complexity_
Full_
Rewriting/
SK90/
4.29.xml
5159779
n
1
+2
n
1
+2
3.54/1.54
n
1
+2
n
1
+2
0.03/0.01
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.37.xml
5159780
1
+2
1
+0
3.27/1.53
1
+2
1
+0
0.38/0.11
Runtime_
Complexity_
Full_
Rewriting/
SK90/
4.07.xml
5159781
1
+2
1
+0
3.28/1.53
n
1
+1
1
+0
0.03/0.02
Runtime_
Complexity_
Full_
Rewriting/
SK90/
4.45.xml
5159782
n
1
+2
n
1
+2
13.83/5.39
n
1
+2
n
1
+2
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.54.xml
5159783
n
1
+2
n
1
+2
5.36/2.03
n
1
+2
n
1
+2
0.66/0.10
Runtime_
Complexity_
Full_
Rewriting/
SK90/
4.16.xml
5159784
n
1
+2
n
1
+2
3.40/1.56
n
1
+2
n
1
+2
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
SK90/
4.31.xml
5159785
∞
+0
NonPoly
+2
3.52/2.68
∞
+0
NonPoly
+2
551.05/295.09
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.13.xml
5159786
n
1
+2
n
1
+2
19.26/6.95
n
1
+2
n
1
+2
2.43/0.59
Runtime_
Complexity_
Full_
Rewriting/
SK90/
4.18.xml
5159787
1
+2
1
+0
3.47/1.61
1
+2
1
+0
0.92/0.19
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.20.xml
5159788
n
1
+2
n
1
+2
20.53/6.26
n
1
+2
n
1
+2
1.51/0.36
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.55.xml
5159789
n
1
+2
n
1
+2
17.03/5.34
n
1
+2
n
1
+2
0.23/0.07
Runtime_
Complexity_
Full_
Rewriting/
SK90/
4.05.xml
5159790
n
2
+2
n
1
+2
342.40/291.47
n
2
+2
n
1
+2
2.75/0.40
Runtime_
Complexity_
Full_
Rewriting/
SK90/
4.22.xml
5159791
∞
+0
n
1
+2
375.25/292.94
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
SK90/
4.43.xml
5159792
timeout (wallclock)
∞
+0
n
1
+2
516.20/295.50
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.44.xml
5159793
StarExec error
n
1
+2
n
1
+2
5.69/1.37
Runtime_
Complexity_
Full_
Rewriting/
SK90/
4.25.xml
5159794
n
1
+2
n
1
+2
18.49/5.65
n
1
+2
n
1
+2
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.43.xml
5159795
∞
+0
NonPoly
+2
3.26/2.56
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.48.xml
5159796
1
+2
1
+0
3.45/1.51
1
+2
1
+0
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
SK90/
4.17.xml
5159797
∞
+0
n
2
+2
321.86/291.46
∞
+0
1
+0
117.92/70.37
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.24.xml
5159798
∞
+0
NonPoly
+2
3.36/2.27
∞
+0
NonPoly
+2
7.05/3.07
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.16.xml
5159799
n
2
+2
n
2
+2
29.25/9.24
n
2
+2
n
1
+1
11.09/3.00
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.41.xml
5159800
n
1
+2
n
1
+2
3.43/1.57
n
1
+2
n
1
+2
0.42/0.09
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.51.xml
5159801
∞
+0
n
1
+2
962.48/291.49
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
SK90/
4.24.xml
5159802
∞
+0
NonPoly
+2
3.46/1.58
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.28.xml
5159803
timeout (wallclock)
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.23.xml
5159804
∞
+0
n
3
+2
956.30/291.49
∞
+0
n
1
+1
486.63/295.40
Runtime_
Complexity_
Full_
Rewriting/
SK90/
4.38.xml
5159805
n
1
+2
n
1
+2
3.38/1.58
n
1
+2
n
1
+2
0.75/0.13
Runtime_
Complexity_
Full_
Rewriting/
SK90/
4.42.xml
5159806
∞
+0
n
1
+2
302.62/291.88
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.53.xml
5159807
n
1
+2
n
1
+2
3.12/1.51
n
1
+2
n
1
+2
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.21.xml
5159808
∞
+0
NonPoly
+2
3.11/1.48
∞
+0
n
1
+1
8.28/3.16
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.61.xml
5159809
n
2
+1
1
+0
333.08/291.43
n
1
+2
1
+0
0.73/0.17
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.19.xml
5159810
n
2
+2
n
2
+2
25.85/8.45
n
2
+2
n
1
+1
5.01/1.47
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.11.xml
5159811
n
1
+2
n
1
+2
3.58/1.57
n
1
+2
n
1
+2
0.01/0.01
Runtime_
Complexity_
Full_
Rewriting/
SK90/
4.51.xml
5159812
1
+2
1
+0
3.25/1.50
n
1
+1
1
+0
0.21/0.06
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.26.xml
5159813
∞
+0
NonPoly
+2
3.15/1.58
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.30.xml
5159814
1
+2
1
+0
3.37/1.49
n
1
+1
1
+0
0.64/0.17
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.14.xml
5159815
n
1
+2
n
1
+2
8.08/2.82
n
1
+2
n
1
+2
0.88/0.23
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.36.xml
5159816
n
1
+2
n
1
+2
3.31/1.53
n
1
+2
n
1
+2
3.09/0.54
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.02.xml
5159817
n
1
+2
n
1
+2
6.95/2.43
n
1
+2
n
1
+2
0.41/0.09
Runtime_
Complexity_
Full_
Rewriting/
SK90/
2.18.xml
5159818
n
2
+2
n
1
+2
333.88/291.48
n
2
+2
n
1
+2
2.74/0.71
Runtime_
Complexity_
Full_
Rewriting/
SK90/
4.35.xml
5159819
1
+2
1
+0
3.27/1.56
1
+2
1
+0
0.02/0.01
Runtime_
Complexity_
Full_
Rewriting/
SK90/
4.59.xml
5159820
∞
+0
NonPoly
+2
3.33/1.59
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Waldmann_
06/
jwno4.xml
5160623
∞
+0
NonPoly
+2
4.40/1.76
∞
+0
n
1
+1
23.97/7.01
Runtime_
Complexity_
Full_
Rewriting/
Waldmann_
06/
jwmatchb2.xml
5160624
n
1
+2
n
1
+2
3.44/1.58
n
1
+2
n
1
+2
0.08/0.03
Runtime_
Complexity_
Full_
Rewriting/
Waldmann_
06/
jwno6.xml
5160625
∞
+0
NonPoly
+2
4.38/2.26
∞
+0
n
1
+1
23.70/7.02
Runtime_
Complexity_
Full_
Rewriting/
Waldmann_
06/
jwmatchb1.xml
5160626
n
1
+2
n
1
+2
3.43/1.60
n
1
+2
n
1
+2
0.08/0.03
Runtime_
Complexity_
Full_
Rewriting/
Waldmann_
06/
jwno1.xml
5160627
∞
+0
NonPoly
+2
4.44/1.92
∞
+0
n
1
+1
28.79/9.51
Runtime_
Complexity_
Full_
Rewriting/
Various_
04/
12.xml
5159834
n
2
+2
n
1
+2
1101.14/291.69
∞
+0
n
1
+2
811.66/295.56
Runtime_
Complexity_
Full_
Rewriting/
Various_
04/
10.xml
5159835
∞
+0
n
1
+2
321.85/291.46
∞
+0
n
1
+2
779.04/295.58
Runtime_
Complexity_
Full_
Rewriting/
Various_
04/
14.xml
5159836
n
2
+2
n
1
+2
623.16/292.25
∞
+0
n
1
+2
879.63/295.25
Runtime_
Complexity_
Full_
Rewriting/
Various_
04/
13.xml
5159837
n
2
+2
n
1
+2
1087.65/292.93
∞
+0
n
1
+2
823.30/295.51
Runtime_
Complexity_
Full_
Rewriting/
Various_
04/
04.xml
5159838
1
+2
1
+0
3.96/1.76
∞
+0
1
+0
627.04/167.64
Runtime_
Complexity_
Full_
Rewriting/
Various_
04/
08.xml
5159839
1
+2
1
+0
3.88/1.75
∞
+0
1
+0
641.45/190.09
Runtime_
Complexity_
Full_
Rewriting/
Various_
04/
23.xml
5159840
n
1
+2
n
1
+2
22.87/9.81
n
1
+2
n
1
+2
0.65/0.14
Runtime_
Complexity_
Full_
Rewriting/
Various_
04/
11.xml
5159841
1
+2
1
+0
3.14/1.50
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Various_
04/
18.xml
5159842
n
1
+2
n
1
+2
16.90/5.28
n
1
+2
1
+0
0.26/0.08
Runtime_
Complexity_
Full_
Rewriting/
Various_
04/
24.xml
5159843
n
1
+2
n
1
+2
4.00/1.69
n
2
+1
n
1
+2
24.09/6.32
Runtime_
Complexity_
Full_
Rewriting/
Various_
04/
15.xml
5159844
n
1
+2
n
1
+2
5.11/1.99
n
1
+2
n
1
+2
0.11/0.04
Runtime_
Complexity_
Full_
Rewriting/
Various_
04/
22.xml
5159845
n
1
+2
n
1
+2
21.51/6.73
∞
+0
n
1
+2
590.25/295.07
Runtime_
Complexity_
Full_
Rewriting/
Zantema_
05/
z16.xml
5160461
∞
+0
n
1
+2
1020.64/291.80
∞
+0
n
1
+2
101.71/63.16
Runtime_
Complexity_
Full_
Rewriting/
Zantema_
05/
z28.xml
5160462
n
1
+2
n
1
+2
6.42/2.39
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Zantema_
05/
z10.xml
5160463
StarExec error
timeout (wallclock)
Runtime_
Complexity_
Full_
Rewriting/
Zantema_
05/
z13.xml
5160464
∞
+0
n
1
+2
1099.16/291.61
∞
+0
n
1
+2
99.89/66.69
Runtime_
Complexity_
Full_
Rewriting/
Zantema_
05/
z17.xml
5160465
∞
+0
n
1
+2
1115.30/299.65
∞
+0
n
1
+2
342.30/295.10
Runtime_
Complexity_
Full_
Rewriting/
Zantema_
05/
z26.xml
5160466
n
1
+2
n
1
+2
16.66/4.98
n
1
+2
n
1
+2
0.62/0.13
Runtime_
Complexity_
Full_
Rewriting/
Zantema_
05/
z27.xml
5160467
∞
+0
n
1
+2
643.02/291.55
∞
+0
n
1
+2
13.00/3.70
Runtime_
Complexity_
Full_
Rewriting/
Zantema_
05/
z23.xml
5160468
n
1
+2
n
1
+2
5.58/4.04
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Zantema_
05/
z12.xml
5160469
∞
+0
n
1
+2
1068.49/293.89
StarExec error
Runtime_
Complexity_
Full_
Rewriting/
Zantema_
05/
z15.xml
5160470
∞
+0
n
1
+2
1097.29/291.62
∞
+0
n
1
+2
347.31/191.29
Runtime_
Complexity_
Full_
Rewriting/
Zantema_
05/
z14.xml
5160471
∞
+0
n
1
+2
945.77/291.48
∞
+0
n
1
+2
86.60/48.51
Runtime_
Complexity_
Full_
Rewriting/
Zantema_
05/
z24.xml
5160472
∞
+0
n
1
+2
1152.25/300.28
∞
+0
n
1
+2
324.36/295.11
Runtime_
Complexity_
Full_
Rewriting/
Zantema_
05/
z18.xml
5160473
∞
+0
n
1
+2
1099.26/291.55
∞
+0
n
1
+2
347.13/190.54
2317
1323