Termination Competition 2018: Runtime Complexity: TRS30091

Job info CSV
AProVE complexity tct 2018-07-13 tct_rc
benchmark UPLOWTIME UPLOWTIME
Runtime_Complexity_Full_Rewriting/AProVE_08/log.xml 5160428 +0 n1 +2 1124.77/292.76 +0 n1 +2 781.05/295.33
Runtime_Complexity_Full_Rewriting/AProVE_08/round_nonterm.xml 5160429 +0 NonPoly +2 3.19/1.53 +0 n1 +1 349.97/295.12
Runtime_Complexity_Full_Rewriting/AProVE_08/parting05_maxsort.xml 5160430 +0 n2 +2 309.04/291.89 +0 n1 +1 865.69/295.74
Runtime_Complexity_Full_Rewriting/AProVE_08/parting03_minsort.xml 5160431 +0 n2 +2 309.21/291.89 +0 n1 +1 807.14/295.30
Runtime_Complexity_Full_Rewriting/AProVE_08/parting04_maxsort_h.xml 5160432 +0 n2 +2 310.50/291.99 +0 n1 +1 738.06/295.33
Runtime_Complexity_Full_Rewriting/AProVE_08/thiemann40_modified.xml 5160433 +0 n2 +2 306.96/291.43 +0 n1 +1 513.02/295.58
Runtime_Complexity_Full_Rewriting/AProVE_08/parting01_reverse.xml 5160434 +0 n2 +2 307.70/292.09 +0 n1 +1 865.98/295.52
Runtime_Complexity_Full_Rewriting/AProVE_08/round.xml 5160435 n1 +2 n1 +2 890.21/291.49 +0 n1 +2 371.94/295.12
Runtime_Complexity_Full_Rewriting/AProVE_08/id_inc.xml 5160436 +0 n1 +2 335.18/292.03 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/AProVE_08/parting02_doublelist.xml 5160437 +0 n1 +2 311.88/291.88 +0 n1 +2 864.88/296.16
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann14.xml 5160542 +0 n2 +2 322.82/291.96 +0 n1 +1 657.70/295.11
Runtime_Complexity_Full_Rewriting/AProVE_07/otto06.xml 5160543 +0 n1 +2 312.76/291.47 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann01.xml 5160544 +0 n1 +2 314.43/291.42 +0 n1 +2 373.62/295.02
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann31.xml 5160545 n2 +2 n1 +2 1154.06/291.49 +0 n1 +2 804.50/295.44
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann21.xml 5160546 +0 n1 +2 316.44/291.58 +0 n1 +2 595.89/295.23
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann25.xml 5160547 +0 n1 +2 312.35/291.46 +0 n1 +2 471.89/295.43
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann05.xml 5160548 +0 n1 +2 307.66/291.83 +0 n1 +2 514.18/295.54
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann03.xml 5160549 +0 n3 +2 314.07/291.46 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann34.xml 5160550 n2 +2 n1 +2 1112.95/291.58 +0 1 +0 501.70/193.99
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann26.xml 5160551 +0 n1 +2 304.82/291.99 +0 n1 +2 522.54/295.54
Runtime_Complexity_Full_Rewriting/AProVE_07/wiehe03.xml 5160552 StarExec error +0 n1 +2 796.14/295.27
Runtime_Complexity_Full_Rewriting/AProVE_07/otto03.xml 5160553 n2 +2 n1 +2 901.09/292.13 +0 1 +0 249.69/151.56
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann10.xml 5160554 +0 n1 +2 316.98/291.92 +0 n1 +2 465.99/295.38
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann30.xml 5160555 +0 n1 +2 313.71/292.11 +0 n1 +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 n1 +2 318.00/291.92 +0 n1 +2 468.85/295.49
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann40.xml 5160558 +0 n1 +2 311.54/292.03 +0 n1 +2 367.55/295.11
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann17.xml 5160559 +0 n2 +2 305.40/291.93 StarExec error
Runtime_Complexity_Full_Rewriting/AProVE_07/kabasci05.xml 5160560 +0 n1 +2 351.37/292.02 +0 n1 +2 796.92/295.29
Runtime_Complexity_Full_Rewriting/AProVE_07/otto08.xml 5160561 +0 n1 +2 319.03/292.13 +0 n1 +2 475.97/295.24
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann18.xml 5160562 +0 n1 +2 311.19/291.80 +0 n1 +2 562.17/295.19
Runtime_Complexity_Full_Rewriting/AProVE_07/wiehe01.xml 5160563 +0 n1 +2 309.70/291.92 +0 n1 +2 730.15/295.22
Runtime_Complexity_Full_Rewriting/AProVE_07/wiehe11.xml 5160564 +0 n1 +2 346.26/291.43 +0 n1 +2 803.92/295.31
Runtime_Complexity_Full_Rewriting/AProVE_07/kabasci02.xml 5160565 +0 n3 +2 344.11/291.47 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann36.xml 5160566 n2 +2 n1 +2 1153.02/292.78 +0 n1 +2 766.19/295.48
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann29.xml 5160567 +0 n2 +2 314.94/291.95 +0 n1 +1 474.43/295.35
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann37.xml 5160568 StarExec error +0 n1 +2 748.79/295.49
Runtime_Complexity_Full_Rewriting/AProVE_07/wiehe08.xml 5160569 +0 n1 +2 303.35/291.94 +0 n1 +2 739.97/295.64
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann04.xml 5160570 +0 n1 +2 311.57/291.96 +0 n1 +2 747.59/295.26
Runtime_Complexity_Full_Rewriting/AProVE_07/otto02.xml 5160571 +0 n1 +2 313.74/291.48 +0 n1 +2 695.35/295.39
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann38.xml 5160572 +0 n1 +2 304.91/291.44 +0 n1 +2 497.36/295.54
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann41.xml 5160573 +0 n1 +2 1114.98/291.51 +0 1 +0 598.44/232.05
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann27.xml 5160574 n2 +2 n1 +2 901.33/291.50 +0 1 +0 184.13/108.87
Runtime_Complexity_Full_Rewriting/AProVE_07/otto07.xml 5160575 n2 +2 n1 +2 893.07/291.47 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/AProVE_07/otto01.xml 5160576 n1 +2 n1 +2 1005.06/292.91 +0 n1 +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 n1 +2 n1 +2 915.51/291.50 +0 n1 +2 632.16/295.07
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann07.xml 5160579 +0 n2 +2 306.98/291.48 +0 n1 +1 528.20/295.33
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann32.xml 5160580 +0 n2 +2 1119.30/291.58 +0 n1 +1 542.33/295.39
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann19.xml 5160581 +0 n1 +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 n1 +1 481.79/295.33
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann09.xml 5160583 +0 n1 +2 1124.43/292.70 +0 n1 +2 648.01/295.03
Runtime_Complexity_Full_Rewriting/AProVE_07/wiehe06.xml 5160584 +0 n1 +2 311.17/291.49 +0 n1 +2 731.45/295.45
Runtime_Complexity_Full_Rewriting/AProVE_07/otto11.xml 5160585 +0 n1 +2 1123.42/291.52 +0 n1 +2 497.42/295.45
Runtime_Complexity_Full_Rewriting/AProVE_07/kabasci01.xml 5160586 n1 +2 n1 +2 20.67/6.96 +0 n1 +2 669.94/295.13
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann16.xml 5160587 +0 n1 +2 315.81/291.59 +0 n1 +2 898.31/295.20
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann11.xml 5160588 +0 n1 +2 315.28/291.91 +0 n1 +2 493.35/295.39
Runtime_Complexity_Full_Rewriting/AProVE_07/wiehe02.xml 5160589 +0 n2 +2 332.77/291.98 +0 n1 +1 782.43/295.29
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann22.xml 5160590 +0 n1 +2 312.92/291.46 +0 n1 +2 473.08/295.47
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann20.xml 5160591 +0 n1 +2 310.18/291.41 +0 n1 +2 478.79/295.58
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann15.xml 5160592 +0 n1 +2 314.88/291.45 +0 n1 +2 463.15/295.49
Runtime_Complexity_Full_Rewriting/AProVE_07/wiehe09.xml 5160593 +0 n1 +2 320.84/291.44 +0 n1 +2 735.36/295.23
Runtime_Complexity_Full_Rewriting/AProVE_07/wiehe05.xml 5160594 +0 n1 +2 302.12/291.46 +0 n1 +2 740.84/295.42
Runtime_Complexity_Full_Rewriting/AProVE_07/wiehe12.xml 5160595 +0 n2 +2 307.91/291.48 +0 n1 +1 727.51/295.13
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann28.xml 5160596 +0 n1 +2 306.93/291.46 +0 n1 +2 788.25/295.32
Runtime_Complexity_Full_Rewriting/AProVE_07/kabasci04.xml 5160597 +0 n1 +2 318.72/291.45 +0 n1 +2 881.92/295.50
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann13.xml 5160598 +0 n1 +2 308.47/291.49 +0 n1 +2 484.05/295.36
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann06.xml 5160599 +0 n1 +2 306.15/291.49 +0 n1 +2 461.06/295.36
Runtime_Complexity_Full_Rewriting/AProVE_07/otto10.xml 5160600 +0 n1 +2 313.61/291.90 +0 n1 +2 501.45/295.43
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann12.xml 5160601 +0 n1 +2 316.74/292.03 +0 n1 +2 474.46/295.48
Runtime_Complexity_Full_Rewriting/AProVE_07/otto09.xml 5160602 +0 n1 +2 306.81/291.46 +0 1 +0 142.21/85.14
Runtime_Complexity_Full_Rewriting/AProVE_07/otto13.xml 5160603 n2 +2 n1 +2 1059.21/291.79 +0 n1 +2 473.37/295.36
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann33.xml 5160604 +0 n1 +2 1104.19/292.69 +0 n1 +2 492.69/295.24
Runtime_Complexity_Full_Rewriting/AProVE_07/wiehe07.xml 5160605 +0 n1 +2 343.92/291.48 +0 n1 +2 732.78/295.21
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann24.xml 5160606 +0 n2 +2 1016.25/291.50 +0 n1 +1 497.86/295.40
Runtime_Complexity_Full_Rewriting/AProVE_07/thiemann02.xml 5160607 StarExec error +0 n1 +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 n1 +2 306.69/291.45 +0 1 +0 93.04/53.46
Runtime_Complexity_Full_Rewriting/Beerendonk_07/10.xml 5160503 +0 n1 +2 304.92/291.93 +0 1 +0 98.51/55.34
Runtime_Complexity_Full_Rewriting/Beerendonk_07/14.xml 5160504 n2 +2 n1 +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 n1 +2 306.09/291.70 +0 1 +0 136.43/82.67
Runtime_Complexity_Full_Rewriting/Beerendonk_07/20.xml 5160507 +0 n1 +2 307.05/291.89 +0 1 +0 243.56/83.72
Runtime_Complexity_Full_Rewriting/Beerendonk_07/7.xml 5160508 +0 n1 +2 303.00/291.44 +0 1 +0 116.33/47.11
Runtime_Complexity_Full_Rewriting/Beerendonk_07/1.xml 5160509 +0 n1 +2 304.33/291.94 +0 1 +0 89.78/51.28
Runtime_Complexity_Full_Rewriting/Beerendonk_07/17.xml 5160510 +0 n1 +2 314.91/291.94 +0 1 +0 624.52/211.56
Runtime_Complexity_Full_Rewriting/Beerendonk_07/23.xml 5160511 +0 n1 +2 307.07/291.45 +0 1 +0 90.14/50.82
Runtime_Complexity_Full_Rewriting/Beerendonk_07/19.xml 5160512 +0 n1 +2 312.93/291.45 +0 1 +0 135.95/54.88
Runtime_Complexity_Full_Rewriting/Beerendonk_07/16.xml 5160513 +0 n1 +2 303.75/291.48 +0 1 +0 298.39/123.23
Runtime_Complexity_Full_Rewriting/Beerendonk_07/5.xml 5160514 +0 n1 +2 306.87/291.89 +0 1 +0 116.71/57.37
Runtime_Complexity_Full_Rewriting/Beerendonk_07/11.xml 5160515 +0 n1 +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 n1 +2 302.30/291.43 +0 1 +0 215.31/74.57
Runtime_Complexity_Full_Rewriting/Beerendonk_07/18.xml 5160518 +0 n1 +2 304.76/291.94 +0 1 +0 196.17/69.82
Runtime_Complexity_Full_Rewriting/Beerendonk_07/6.xml 5160519 +0 n1 +2 303.26/291.90 +0 1 +0 83.24/47.77
Runtime_Complexity_Full_Rewriting/Beerendonk_07/21.xml 5160520 +0 n1 +2 310.49/291.98 +0 1 +0 151.91/61.18
Runtime_Complexity_Full_Rewriting/Beerendonk_07/9.xml 5160521 +0 n1 +2 307.93/291.44 +0 1 +0 138.76/56.12
Runtime_Complexity_Full_Rewriting/Beerendonk_07/4.xml 5160522 n1 +2 n1 +2 885.05/291.44 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/Beerendonk_07/24.xml 5160523 +0 n1 +2 303.63/291.72 +0 1 +0 264.86/87.27
Runtime_Complexity_Full_Rewriting/Beerendonk_07/15.xml 5160524 +0 n1 +2 303.44/291.44 +0 1 +0 571.19/190.10
Runtime_Complexity_Full_Rewriting/Beerendonk_07/22.xml 5160525 +0 n1 +2 303.19/291.44 +0 1 +0 85.54/48.90
Runtime_Complexity_Full_Rewriting/AProVE_09_Inductive/zerolist.xml 5160609 n2 +2 n1 +2 908.94/291.50 +0 n1 +2 530.40/295.65
Runtime_Complexity_Full_Rewriting/AProVE_09_Inductive/log.xml 5160610 +0 n1 +2 303.47/291.46 +0 1 +0 96.90/55.06
Runtime_Complexity_Full_Rewriting/AProVE_09_Inductive/maxsort.xml 5160611 +0 n2 +2 308.86/291.90 +0 n1 +1 866.56/296.27
Runtime_Complexity_Full_Rewriting/AProVE_09_Inductive/qsortlast.xml 5160612 +0 n1 +2 308.86/292.08 +0 n1 +2 764.14/295.47
Runtime_Complexity_Full_Rewriting/AProVE_09_Inductive/qsort.xml 5160613 +0 n1 +2 305.61/291.53 +0 n1 +2 722.04/295.41
Runtime_Complexity_Full_Rewriting/AProVE_09_Inductive/qsortmiddle.xml 5160614 +0 n1 +2 315.72/291.47 +0 n1 +2 859.46/295.20
Runtime_Complexity_Full_Rewriting/AProVE_09_Inductive/minsort.xml 5160615 +0 n1 +2 306.62/291.57 +0 n1 +2 862.24/295.28
Runtime_Complexity_Full_Rewriting/AProVE_09_Inductive/gcd2.xml 5160616 +0 n1 +2 302.12/291.93 +0 n1 +2 485.75/295.28
Runtime_Complexity_Full_Rewriting/AProVE_09_Inductive/maxsortcondition.xml 5160617 +0 n2 +2 313.15/292.03 +0 n1 +1 496.33/295.31
Runtime_Complexity_Full_Rewriting/AProVE_09_Inductive/div.xml 5160618 +0 n1 +2 302.52/292.01 +0 n1 +2 550.93/295.19
Runtime_Complexity_Full_Rewriting/AProVE_09_Inductive/mod.xml 5160619 +0 n1 +2 303.66/291.49 +0 1 +0 432.80/272.80
Runtime_Complexity_Full_Rewriting/AProVE_09_Inductive/divhard.xml 5160620 +0 n1 +2 304.14/292.14 +0 1 +0 404.11/254.32
Runtime_Complexity_Full_Rewriting/AProVE_09_Inductive/gcd.xml 5160621 +0 n1 +2 303.30/291.49 +0 n1 +2 468.99/295.19
Runtime_Complexity_Full_Rewriting/AProVE_09_Inductive/gcdhard.xml 5160622 +0 n1 +2 306.72/291.43 +0 n1 +2 517.10/295.41
Runtime_Complexity_Full_Rewriting/AG01/#3.49.xml 5159669 +0 n1 +2 916.20/292.09 +0 n1 +2 233.27/187.69
Runtime_Complexity_Full_Rewriting/AG01/#3.19.xml 5159670 StarExec error +0 n1 +2 502.55/295.51
Runtime_Complexity_Full_Rewriting/AG01/#3.56.xml 5159671 n1 +2 n1 +2 20.65/7.28 n1 +2 n1 +2 0.30/0.08
Runtime_Complexity_Full_Rewriting/AG01/#3.18.xml 5159672 +0 n1 +2 315.32/293.26 +0 n1 +2 482.53/295.67
Runtime_Complexity_Full_Rewriting/AG01/#3.6.xml 5159673 +0 n1 +2 309.86/291.48 +0 n1 +2 502.68/295.52
Runtime_Complexity_Full_Rewriting/AG01/#3.35.xml 5159674 n1 +2 n1 +2 17.27/5.82 n1 +2 n1 +2 0.17/0.06
Runtime_Complexity_Full_Rewriting/AG01/#3.53.xml 5159675 n3 +2 n3 +2 38.73/13.52 +0 n1 +1 575.00/295.43
Runtime_Complexity_Full_Rewriting/AG01/#3.55.xml 5159676 +0 n2 +2 311.95/291.46 +0 n1 +1 864.33/295.21
Runtime_Complexity_Full_Rewriting/AG01/#3.52.xml 5159677 n1 +2 n1 +2 17.95/5.34 n1 +2 n1 +2 1.01/0.13
Runtime_Complexity_Full_Rewriting/AG01/#3.47.xml 5159678 n1 +2 n1 +2 16.93/5.05 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/AG01/#3.10.xml 5159679 +0 n1 +2 309.66/291.50 +0 n1 +2 838.70/295.38
Runtime_Complexity_Full_Rewriting/AG01/#3.4.xml 5159680 +0 n1 +2 818.50/291.45 +0 n1 +2 471.67/295.70
Runtime_Complexity_Full_Rewriting/AG01/#3.6b.xml 5159681 +0 n1 +2 303.15/291.95 +0 n1 +2 482.96/295.38
Runtime_Complexity_Full_Rewriting/AG01/#3.22.xml 5159682 n2 +2 n2 +2 19.42/6.25 +0 n1 +1 637.57/295.13
Runtime_Complexity_Full_Rewriting/AG01/#3.57.xml 5159683 +0 n1 +2 894.22/291.53 +0 n1 +2 788.17/295.75
Runtime_Complexity_Full_Rewriting/AG01/#3.53b.xml 5159684 n1 +2 n1 +2 17.73/6.11 n1 +2 n1 +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 n3 +2 n3 +2 20.25/7.00 n3 +2 n1 +1 42.10/16.40
Runtime_Complexity_Full_Rewriting/AG01/#3.39.xml 5159687 n1 +2 n1 +2 21.89/10.37 n1 +2 n1 +2 4.09/1.04
Runtime_Complexity_Full_Rewriting/AG01/#3.23.xml 5159688 n1 +2 n1 +2 12.24/4.11 n1 +2 n1 +2 0.23/0.07
Runtime_Complexity_Full_Rewriting/AG01/#3.15.xml 5159689 StarExec error n1 +2 n1 +2 0.86/0.22
Runtime_Complexity_Full_Rewriting/AG01/#3.40.xml 5159690 n1 +2 n1 +2 21.11/7.41 +0 n1 +2 508.12/295.46
Runtime_Complexity_Full_Rewriting/AG01/#3.5a.xml 5159691 +0 n1 +2 307.80/291.44 +0 n1 +2 489.31/295.56
Runtime_Complexity_Full_Rewriting/AG01/#3.13.xml 5159692 +0 n1 +2 316.02/291.46 +0 n1 +2 831.82/295.51
Runtime_Complexity_Full_Rewriting/AG01/#3.17.xml 5159693 n2 +2 n1 +2 321.65/291.46 +0 n1 +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 n2 +2 n1 +2 5.66/1.44
Runtime_Complexity_Full_Rewriting/AG01/#3.8a.xml 5159696 n1 +2 n1 +2 30.44/9.75 +0 1 +0 314.89/196.71
Runtime_Complexity_Full_Rewriting/AG01/#3.2.xml 5159697 n1 +2 n1 +2 22.82/8.20 +0 1 +0 230.77/143.66
Runtime_Complexity_Full_Rewriting/AG01/#3.51.xml 5159698 n1 +2 n1 +2 18.50/6.66 n1 +2 n1 +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 n1 +2 309.27/291.97 +0 1 +0 177.31/72.13
Runtime_Complexity_Full_Rewriting/AG01/#3.16.xml 5159701 n3 +2 n2 +2 325.02/291.46 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/AG01/#3.1.xml 5159702 n1 +2 n1 +2 20.79/6.82 n1 +2 n1 +2 0.40/0.11
Runtime_Complexity_Full_Rewriting/AG01/#3.6a.xml 5159703 +0 n1 +2 304.67/291.48 n2 +2 n1 +2 7.52/2.16
Runtime_Complexity_Full_Rewriting/AG01/#3.26.xml 5159704 +0 n1 +2 710.66/292.22 +0 n1 +2 21.20/7.05
Runtime_Complexity_Full_Rewriting/AG01/#3.7.xml 5159705 n1 +2 n1 +2 22.88/8.27 n1 +2 n1 +2 1.65/0.42
Runtime_Complexity_Full_Rewriting/AG01/#3.5b.xml 5159706 +0 n1 +2 304.06/291.46 +0 n1 +2 469.81/295.40
Runtime_Complexity_Full_Rewriting/AG01/#3.5.xml 5159707 n1 +2 n1 +2 28.35/9.77 n2 +1 n1 +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 n1 +2 n1 +2 5.18/1.97 n1 +2 n1 +2 0.02/0.01
Runtime_Complexity_Full_Rewriting/AG01/#3.42.xml 5159712 +0 n1 +2 318.42/291.42 +0 1 +0 137.64/83.21
Runtime_Complexity_Full_Rewriting/AG01/#3.37.xml 5159713 n1 +2 n1 +2 4.22/1.86 n1 +2 n1 +2 0.40/0.11
Runtime_Complexity_Full_Rewriting/AG01/#4.30c.xml 5159714 +0 n1 +2 310.71/291.92 +0 n1 +2 661.63/295.50
Runtime_Complexity_Full_Rewriting/AG01/#3.54.xml 5159715 +0 n1 +2 780.92/291.43 +0 n1 +2 338.08/295.13
Runtime_Complexity_Full_Rewriting/AG01/#3.17a.xml 5159716 n2 +2 n1 +2 335.69/291.47 +0 n1 +2 704.17/295.04
Runtime_Complexity_Full_Rewriting/AG01/#3.8b.xml 5159717 +0 n1 +2 304.82/291.44 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/AProVE_06/nonterm.xml 5159821 +0 NonPoly +2 3.46/1.66 +0 n1 +1 983.56/295.22
Runtime_Complexity_Full_Rewriting/AProVE_06/modulo.xml 5159822 StarExec error +0 n1 +2 481.37/295.47
Runtime_Complexity_Full_Rewriting/AProVE_06/div_notTermin.xml 5159823 +0 n1 +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 n1 +1 547.11/295.39
Runtime_Complexity_Full_Rewriting/AProVE_06/tower_sizeChange.xml 5159825 +0 n1 +2 1109.33/291.45 +0 n1 +2 347.89/201.03
Runtime_Complexity_Full_Rewriting/AProVE_06/identity.xml 5159826 +0 n1 +2 887.36/291.47 +0 n1 +2 271.86/155.35
Runtime_Complexity_Full_Rewriting/AProVE_06/logarithm.xml 5159827 +0 n1 +2 308.35/291.58 +0 n1 +2 476.04/295.29
Runtime_Complexity_Full_Rewriting/AProVE_06/factorial1.xml 5159828 +0 n4 +2 334.15/291.45 +0 n1 +1 549.98/295.33
Runtime_Complexity_Full_Rewriting/AProVE_06/quot.xml 5159829 +0 n1 +2 304.63/291.45 +0 1 +0 325.96/206.62
Runtime_Complexity_Full_Rewriting/AProVE_06/factorial2.xml 5159830 +0 n3 +2 321.38/291.48 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/AProVE_06/div_notCeTermin.xml 5159831 +0 n1 +2 313.15/291.46 +0 1 +0 149.85/90.10
Runtime_Complexity_Full_Rewriting/AProVE_06/quicksort.xml 5159832 +0 n2 +2 311.97/291.46 +0 n1 +1 553.93/295.28
Runtime_Complexity_Full_Rewriting/AProVE_06/sizeChange.xml 5159833 StarExec error +0 n1 +2 53.84/35.36
Runtime_Complexity_Full_Rewriting/AProVE_04/Liveness_WRS.xml 5159903 n1 +2 n1 +2 1163.08/293.38 n1 +2 n1 +2 0.51/0.14
Runtime_Complexity_Full_Rewriting/AProVE_04/IJCAR_1.xml 5159904 StarExec error +0 n1 +2 162.22/99.61
Runtime_Complexity_Full_Rewriting/AProVE_04/IJCAR_18.xml 5159905 n3 +2 n2 +2 1120.42/291.52 +0 n1 +1 801.13/295.32
Runtime_Complexity_Full_Rewriting/AProVE_04/AAECC-ring.xml 5159906 StarExec error +0 n1 +2 763.70/295.94
Runtime_Complexity_Full_Rewriting/AProVE_04/AAECC.xml 5159907 +0 n1 +2 317.92/291.49 +0 n1 +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 n2 +2 n2 +2 28.92/9.75 +0 n1 +1 501.68/295.57
Runtime_Complexity_Full_Rewriting/AProVE_04/rta1.xml 5159910 +0 NonPoly +2 3.82/1.61 +0 n1 +1 898.09/295.12
Runtime_Complexity_Full_Rewriting/AProVE_04/IJCAR_26.xml 5159911 +0 n3 +2 1134.71/296.90 +0 n1 +1 807.27/295.35
Runtime_Complexity_Full_Rewriting/AProVE_04/LPAR_intlist.xml 5159912 +0 n1 +2 1013.83/291.49 +0 n1 +2 643.61/294.58
Runtime_Complexity_Full_Rewriting/AProVE_04/IJCAR_26a.xml 5159913 +0 n3 +2 1129.89/293.61 +0 n1 +1 806.87/295.28
Runtime_Complexity_Full_Rewriting/AProVE_04/Liveness8.xml 5159914 n1 +2 n1 +2 1050.40/291.59 n1 +2 n1 +2 1.14/0.29
Runtime_Complexity_Full_Rewriting/AProVE_04/Liveness6.3.xml 5159915 n1 +2 n1 +2 28.53/8.81 n1 +2 n1 +2 0.81/0.21
Runtime_Complexity_Full_Rewriting/AProVE_04/fac.xml 5159916 +0 n2 +2 317.19/291.98 +0 n1 +1 473.22/295.45
Runtime_Complexity_Full_Rewriting/AProVE_04/Liveness6.4.xml 5159917 +0 n1 +2 1098.14/293.85 +0 1 +0 519.78/160.45
Runtime_Complexity_Full_Rewriting/AProVE_04/Liveness6.1.xml 5159918 +0 n1 +2 1069.36/291.49 +0 1 +0 332.35/127.42
Runtime_Complexity_Full_Rewriting/AProVE_04/Liveness6.2.xml 5159919 timeout (wallclock) n2 +2 n1 +2 141.90/53.70
Runtime_Complexity_Full_Rewriting/AProVE_04/rta2.xml 5159920 StarExec error +0 n1 +2 5.14/1.79
Runtime_Complexity_Full_Rewriting/AProVE_04/JFP_Ex31.xml 5159921 StarExec error +0 n1 +2 353.30/295.09
Runtime_Complexity_Full_Rewriting/AProVE_04/rta3.xml 5159922 +0 n1 +2 983.42/292.14 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/Mixed_TRS/jones1.xml 5159846 n1 +2 n1 +2 3.46/1.62 n1 +2 n1 +2 0.24/0.07
Runtime_Complexity_Full_Rewriting/Mixed_TRS/jones5.xml 5159847 timeout (wallclock) +0 n1 +2 7.81/2.77
Runtime_Complexity_Full_Rewriting/Mixed_TRS/hydra.xml 5159848 n1 +2 n1 +2 6.67/2.41 n2 +1 n1 +2 1.77/0.53
Runtime_Complexity_Full_Rewriting/Mixed_TRS/minsort.xml 5159849 +0 NonPoly +2 3.27/1.58 +0 n1 +1 794.46/295.36
Runtime_Complexity_Full_Rewriting/Mixed_TRS/while.xml 5159850 n2 +2 n1 +2 885.90/291.47 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/Mixed_TRS/jones4.xml 5159851 n1 +2 n1 +2 16.41/5.88 n1 +2 n1 +2 0.01/0.01
Runtime_Complexity_Full_Rewriting/Mixed_TRS/gcdMinMax.xml 5159852 +0 n1 +2 307.44/292.52 +0 n1 +2 863.10/295.89
Runtime_Complexity_Full_Rewriting/Mixed_TRS/Ex1_Luc04b_GM.xml 5159853 +0 n1 +2 1076.77/291.47 +0 n1 +2 67.24/25.70
Runtime_Complexity_Full_Rewriting/Mixed_TRS/hydra-Zantema06.xml 5159854 n1 +2 n1 +2 26.23/9.84 +0 n1 +2 651.92/295.14
Runtime_Complexity_Full_Rewriting/Mixed_TRS/jones2.xml 5159855 n1 +2 n1 +2 20.52/6.43 n1 +2 n1 +2 0.88/0.24
Runtime_Complexity_Full_Rewriting/Mixed_TRS/jones6.xml 5159856 n1 +2 n1 +2 3.61/1.66 StarExec error
Runtime_Complexity_Full_Rewriting/Mixed_TRS/test1.xml 5159857 +0 n1 +2 366.96/291.46 +0 n1 +2 5.27/1.71
Runtime_Complexity_Full_Rewriting/Mixed_TRS/fossacs.xml 5159858 +0 n1 +2 302.39/291.97 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/Mixed_TRS/gcd.xml 5159859 +0 n1 +2 307.48/291.91 +0 n1 +2 880.94/295.53
Runtime_Complexity_Full_Rewriting/Mixed_TRS/perfect.xml 5159860 n1 +2 n1 +2 39.27/10.94 n1 +2 n1 +2 3.96/1.01
Runtime_Complexity_Full_Rewriting/Mixed_TRS/gcd_triple.xml 5159861 +0 n1 +2 311.64/291.48 +0 n1 +2 798.15/295.31
Runtime_Complexity_Full_Rewriting/Mixed_TRS/perfect2.xml 5159862 +0 NonPoly +2 6.63/2.49 +0 n1 +1 805.69/295.42
Runtime_Complexity_Full_Rewriting/HirokawaMiddeldorp_04/t003.xml 5160364 +0 n1 +2 314.07/292.10 +0 n1 +2 805.26/295.39
Runtime_Complexity_Full_Rewriting/HirokawaMiddeldorp_04/t011.xml 5160365 n1 +2 n1 +2 9.45/3.22 n1 +2 n1 +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 n1 +1 45.66/25.60
Runtime_Complexity_Full_Rewriting/HirokawaMiddeldorp_04/n007.xml 5160369 +0 NonPoly +2 3.24/1.56 +0 n1 +1 3.90/1.38
Runtime_Complexity_Full_Rewriting/HirokawaMiddeldorp_04/t013.xml 5160370 +0 n1 +2 312.21/292.16 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/HirokawaMiddeldorp_04/t002.xml 5160371 n2 +2 n1 +2 320.37/291.46 +0 n1 +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 n1 +2 321.30/291.96 +0 n1 +2 812.02/295.41
Runtime_Complexity_Full_Rewriting/HirokawaMiddeldorp_04/t014.xml 5160374 n1 +2 n1 +2 24.28/10.17 +0 n1 +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 n1 +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 n1 +2 1162.50/292.76 +0 n1 +2 664.16/295.07
Runtime_Complexity_Full_Rewriting/Secret_05_TRS/tpa4.xml 5160349 +0 n2 +2 311.48/291.94 +0 n1 +1 645.70/295.04
Runtime_Complexity_Full_Rewriting/Secret_05_TRS/tpa2.xml 5160350 +0 n1 +2 302.28/291.47 +0 n1 +2 648.26/295.02
Runtime_Complexity_Full_Rewriting/Secret_05_TRS/aprove2.xml 5160351 +0 n1 +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 n1 +2 304.72/291.48 +0 n1 +2 448.93/295.26
Runtime_Complexity_Full_Rewriting/Secret_05_TRS/tpa5.xml 5160354 +0 n1 +2 313.47/292.01 +0 1 +0 214.62/87.91
Runtime_Complexity_Full_Rewriting/Secret_05_TRS/tpa3.xml 5160355 +0 n2 +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 n1 +2 309.67/291.50 +0 1 +0 189.74/117.42
Runtime_Complexity_Full_Rewriting/Secret_05_TRS/tpa1.xml 5160359 +0 n1 +2 309.19/291.90 +0 n1 +2 855.33/295.81
Runtime_Complexity_Full_Rewriting/Secret_05_TRS/aprove5.xml 5160360 n3 +2 n1 +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 n1 +1 575.28/295.13
Runtime_Complexity_Full_Rewriting/Secret_05_TRS/cime4.xml 5160363 1 +2 1 +0 3.35/1.51 n1 +1 1 +0 1.72/0.40
Runtime_Complexity_Full_Rewriting/Rubio_04/division.xml 5160438 +0 n1 +2 306.01/291.91 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/Rubio_04/gmnp.xml 5160439 n1 +2 n1 +2 8.90/3.52 n1 +2 n1 +2 0.02/0.01
Runtime_Complexity_Full_Rewriting/Rubio_04/gm.xml 5160440 n1 +2 n1 +2 21.82/7.23 n1 +2 n1 +2 2.30/0.49
Runtime_Complexity_Full_Rewriting/Rubio_04/selsort.xml 5160441 +0 n2 +2 308.03/291.47 StarExec error
Runtime_Complexity_Full_Rewriting/Rubio_04/enno.xml 5160442 +0 n1 +2 304.49/291.46 +0 n1 +2 1147.52/295.20
Runtime_Complexity_Full_Rewriting/Rubio_04/quotminus.xml 5160443 +0 n1 +2 930.67/291.45 +0 n1 +2 474.57/295.59
Runtime_Complexity_Full_Rewriting/Rubio_04/prov.xml 5160444 n1 +2 n1 +2 13.84/4.68 n1 +2 n1 +2 1.23/0.32
Runtime_Complexity_Full_Rewriting/Rubio_04/p266.xml 5160445 1 +2 1 +0 3.27/1.53 n1 +1 1 +0 0.26/0.07
Runtime_Complexity_Full_Rewriting/Rubio_04/bintrees.xml 5160446 n1 +2 n1 +2 3.89/1.70 n1 +2 n1 +2 0.14/0.05
Runtime_Complexity_Full_Rewriting/Rubio_04/nestrec.xml 5160447 +0 NonPoly +2 8.91/2.97 +0 n1 +1 116.84/87.55
Runtime_Complexity_Full_Rewriting/Rubio_04/ma96.xml 5160448 +0 NonPoly +2 6.67/2.40 +0 n1 +1 812.37/295.23
Runtime_Complexity_Full_Rewriting/Rubio_04/logarquot.xml 5160449 n1 +2 n1 +2 27.94/11.25 n3 +1 n1 +2 7.89/2.15
Runtime_Complexity_Full_Rewriting/Rubio_04/test829.xml 5160450 n1 +2 n1 +2 3.54/1.52 StarExec error
Runtime_Complexity_Full_Rewriting/Rubio_04/elimdupl.xml 5160451 +0 n1 +2 307.08/291.42 n3 +2 n1 +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 n1 +2 n1 +2 29.46/10.32 n2 +1 n1 +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 n1 +2 n1 +2 0.03/0.02
Runtime_Complexity_Full_Rewriting/Rubio_04/bn122.xml 5160457 n1 +2 n1 +2 16.92/5.79 n1 +2 n1 +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 n2 +2 309.66/291.46 +0 n1 +1 862.92/295.24
Runtime_Complexity_Full_Rewriting/Rubio_04/wst99.xml 5160460 +0 n1 +2 325.92/292.16 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/Der95/12.xml 5159924 +0 n1 +2 364.03/291.45 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/Der95/27.xml 5159925 n1 +2 n1 +2 3.40/1.52 n1 +2 n1 +2 0.14/0.04
Runtime_Complexity_Full_Rewriting/Der95/06.xml 5159926 n1 +2 n1 +2 7.42/2.58 n1 +2 n1 +2 0.02/0.01
Runtime_Complexity_Full_Rewriting/Der95/20.xml 5159927 +0 n1 +2 1076.41/294.84 StarExec error
Runtime_Complexity_Full_Rewriting/Der95/08.xml 5159928 n1 +2 n1 +2 17.00/7.67 n1 +2 n1 +2 7.16/1.31
Runtime_Complexity_Full_Rewriting/Der95/33.xml 5159929 n1 +2 n1 +2 26.71/10.56 +0 n1 +2 775.44/295.31
Runtime_Complexity_Full_Rewriting/Der95/11.xml 5159930 n1 +2 n1 +2 31.17/13.10 n2 +1 n1 +2 12.98/2.65
Runtime_Complexity_Full_Rewriting/Der95/07.xml 5159931 n1 +2 n1 +2 8.66/3.41 n1 +2 n1 +2 0.19/0.05
Runtime_Complexity_Full_Rewriting/Der95/18.xml 5159932 n1 +2 n1 +2 15.25/5.02 n1 +2 n1 +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 n1 +2 n1 +2 101.12/42.61 n2 +1 n1 +2 2.67/0.94
Runtime_Complexity_Full_Rewriting/Der95/32.xml 5159935 +0 n1 +2 314.31/291.93 +0 n1 +2 430.06/295.10
Runtime_Complexity_Full_Rewriting/CiME_04/filliatre2.xml 5160379 +0 n1 +2 1136.40/291.52 +0 n1 +2 61.79/28.65
Runtime_Complexity_Full_Rewriting/CiME_04/tree.xml 5160380 +0 n1 +2 1091.97/291.65 +0 n1 +2 848.86/295.37
Runtime_Complexity_Full_Rewriting/CiME_04/intersect.xml 5160381 n2 +2 n1 +2 396.05/291.45 +0 n1 +2 541.13/295.24
Runtime_Complexity_Full_Rewriting/CiME_04/append-hard.xml 5160382 +0 n1 +2 302.18/291.46 StarExec error
Runtime_Complexity_Full_Rewriting/CiME_04/ack_prolog.xml 5160383 +0 n1 +2 1083.80/293.17 +0 n1 +2 704.08/295.13
Runtime_Complexity_Full_Rewriting/CiME_04/ternary-hard.xml 5160384 +0 n1 +2 1109.66/291.51 +0 n1 +2 823.12/295.41
Runtime_Complexity_Full_Rewriting/CiME_04/filliatre.xml 5160385 +0 n1 +2 1139.21/292.25 +0 n1 +2 53.25/26.81
Runtime_Complexity_Full_Rewriting/CiME_04/append.xml 5160386 n1 +2 n1 +2 19.84/11.14 n1 +2 n1 +2 1.83/0.47
Runtime_Complexity_Full_Rewriting/CiME_04/fact-hard.xml 5160387 +0 n2 +2 314.07/291.52 +0 n1 +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 n1 +1 818.15/295.19
Runtime_Complexity_Full_Rewriting/CiME_04/list-sum-prod-assoc-append.xml 5160389 +0 n2 +2 339.35/291.46 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/CiME_04/dpqs.xml 5160390 1 +2 1 +0 3.35/1.47 n1 +1 1 +0 0.31/0.07
Runtime_Complexity_Full_Rewriting/CiME_04/ternary.xml 5160391 +0 n1 +2 1128.92/296.84 +0 n1 +2 827.32/295.22
Runtime_Complexity_Full_Rewriting/CiME_04/filliatre3.xml 5160392 +0 n1 +2 1130.67/291.52 +0 n1 +2 545.95/295.06
Runtime_Complexity_Full_Rewriting/CiME_04/list-sum-prod.xml 5160393 +0 n2 +2 327.18/291.94 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/CiME_04/lse.xml 5160394 n2 +2 n2 +2 58.42/23.75 n2 +2 n1 +1 32.33/8.01
Runtime_Complexity_Full_Rewriting/CiME_04/mucrl1.xml 5160395 +0 n1 +2 891.14/291.58 +0 1 +0 858.63/266.03
Runtime_Complexity_Full_Rewriting/CiME_04/maude2.xml 5160396 +0 n1 +2 318.11/291.48 +0 n1 +2 808.49/295.27
Runtime_Complexity_Full_Rewriting/CiME_04/log2.xml 5160397 +0 n1 +2 1131.17/291.55 +0 n1 +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 n2 +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 n1 +1 827.98/295.23
Runtime_Complexity_Full_Rewriting/GTSSK07/cade01.xml 5160526 n2 +2 n1 +2 892.60/291.96 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/GTSSK07/cade11.xml 5160527 n2 +2 n1 +2 879.50/291.52 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/GTSSK07/cade14.xml 5160528 n2 +2 n1 +2 1134.34/291.50 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/GTSSK07/cade16.xml 5160529 StarExec error +0 n1 +2 499.63/295.32
Runtime_Complexity_Full_Rewriting/GTSSK07/cade12t.xml 5160530 +0 n1 +2 310.83/293.01 +0 1 +0 719.64/233.21
Runtime_Complexity_Full_Rewriting/GTSSK07/cade09.xml 5160531 +0 n1 +2 304.04/291.44 +0 n1 +2 610.19/295.11
Runtime_Complexity_Full_Rewriting/GTSSK07/cade10.xml 5160532 +0 n1 +2 307.57/292.58 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/GTSSK07/cade06.xml 5160533 n2 +2 n1 +2 1021.38/292.75 +0 1 +0 205.67/84.73
Runtime_Complexity_Full_Rewriting/GTSSK07/cade03.xml 5160534 n2 +2 n1 +2 878.52/291.48 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/GTSSK07/cade04t.xml 5160535 +0 n1 +2 318.21/291.42 +0 n1 +2 377.15/295.06
Runtime_Complexity_Full_Rewriting/GTSSK07/cade13t.xml 5160536 +0 n1 +2 310.75/292.07 +0 1 +0 421.86/273.63
Runtime_Complexity_Full_Rewriting/GTSSK07/cade05t.xml 5160537 n2 +2 n1 +2 1136.63/293.27 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/GTSSK07/cade17.xml 5160538 +0 n2 +2 316.27/291.50 +0 1 +0 532.17/233.62
Runtime_Complexity_Full_Rewriting/GTSSK07/cade08.xml 5160539 n2 +2 n1 +2 1123.94/291.48 +0 1 +0 129.68/51.49
Runtime_Complexity_Full_Rewriting/GTSSK07/cade07.xml 5160540 n2 +2 n1 +2 1156.98/292.56 +0 n1 +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 n1 +2 n1 +2 4.52/1.91 n1 +2 n1 +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 n1 +2 n1 +2 15.70/6.01 +0 n1 +2 18.44/5.32
Runtime_Complexity_Full_Rewriting/Strategy_removed_mixed_05/test77.xml 5160476 n1 +2 n1 +2 23.51/8.20 +0 n1 +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 n1 +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 n1 +2 n1 +2 3.68/1.59 n1 +2 n1 +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 n1 +2 n1 +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 n1 +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 n1 +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 n1 +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 n1 +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 n1 +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 n1 +1 7.24/2.93
Runtime_Complexity_Full_Rewriting/Strategy_removed_CSR_05/Ex49_GM04.xml 5159881 n1 +2 n1 +2 24.34/9.03 +0 n1 +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 n1 +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 n1 +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 n1 +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 n1 +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 n1 +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 n1 +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 n1 +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 n1 +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 n1 +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 n1 +1 44.90/14.92
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_nosorts_noand_C.xml 5159938 n1 +2 n1 +2 22.31/6.51 +0 n1 +2 411.19/295.13
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_complete-noand_Z.xml 5159939 StarExec error +0 n1 +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 n1 +1 696.83/295.13
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExIntrod_GM04_GM.xml 5159941 +0 n1 +2 1115.32/293.39 +0 n1 +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 n1 +1 1 +0 0.86/0.19
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_complete_C.xml 5159943 n1 +2 n1 +2 40.38/11.80 +0 n1 +2 702.17/295.08
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml 5159944 n1 +2 n1 +2 4.17/1.70 n1 +2 n1 +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 n1 +1 751.25/295.29
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExConc_Zan97_C.xml 5159947 StarExec error n1 +2 n1 +2 1.00/0.19
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex24_Luc06_C.xml 5159948 n1 +2 n1 +2 23.11/7.26 +0 n1 +2 665.18/295.15
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex2_Luc02a_Z.xml 5159949 StarExec error +0 n1 +2 687.71/295.38
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml 5159950 n1 +2 n1 +2 36.57/10.99 +0 n1 +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 n1 +2 n1 +2 3.41/1.60 n1 +2 n1 +2 0.81/0.21
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_nokinds_noand_C.xml 5159954 n1 +2 n1 +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 n1 +2 1112.83/293.37 +0 n1 +2 88.39/31.88
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex9_Luc04_C.xml 5159958 n1 +2 n1 +2 26.29/7.84 +0 n1 +2 324.71/295.12
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml 5159959 +0 n1 +2 317.92/292.00 +0 n1 +2 563.48/295.17
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex23_Luc06_C.xml 5159960 n1 +2 n1 +2 20.10/6.76 n1 +2 n1 +2 4.24/0.06
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex24_GM04_GM.xml 5159961 n1 +2 n1 +2 20.47/7.03 +0 n1 +2 547.11/295.72
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_complete-noand_Z.xml 5159962 +0 n1 +2 319.99/291.47 +0 n1 +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 n2 +2 315.33/292.10 +0 n1 +1 653.30/295.07
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nokinds_C.xml 5159965 n1 +2 n1 +2 33.31/10.17 n1 +2 n1 +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 n1 +2 n1 +2 4.29/1.82 n1 +2 n1 +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 n1 +2 n1 +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 n1 +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 n1 +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 n1 +2 n1 +2 18.13/6.60 n1 +2 n1 +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 n1 +2 1165.58/295.89 +0 n1 +2 730.75/295.66
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_complete_Z.xml 5159982 +0 n1 +2 323.90/291.63 +0 n1 +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 n1 +2 n1 +2 1114.95/291.50 n1 +2 n1 +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 n1 +1 1 +0 0.04/0.02
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_nosorts_FR.xml 5159988 n1 +2 n1 +2 3.52/1.56 n1 +2 n1 +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 n1 +1 580.44/295.20
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_C.xml 5159991 +0 n1 +2 1155.60/291.69 +0 n1 +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 n1 +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 n1 +2 307.85/291.50 +0 n1 +2 705.03/295.31
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml 5159995 n1 +2 n1 +2 21.38/7.27 n1 +2 n1 +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 n1 +1 756.55/295.18
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex15_Luc98_GM.xml 5159998 n1 +2 n1 +2 20.49/5.91 n1 +2 n1 +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 n1 +1 558.90/295.19
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_complete-noand_Z.xml 5160000 +0 n1 +2 316.99/291.96 +0 n1 +2 797.38/295.10
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_nosorts_FR.xml 5160001 n2 +2 n2 +2 20.09/7.86 n2 +2 n1 +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 n1 +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 n1 +2 317.99/291.47 n1 +2 n1 +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 n1 +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 n1 +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 n1 +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 n1 +2 1130.42/293.14 n1 +2 n1 +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 n1 +2 n1 +2 25.77/7.84 +0 n1 +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 n1 +2 364.07/292.26 +0 n1 +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 n1 +2 n1 +2 23.57/8.05 n1 +2 n1 +2 5.66/1.41
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_FR.xml 5160025 n1 +2 n1 +2 4.04/1.76 n1 +2 n1 +2 0.79/0.21
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nokinds_GM.xml 5160026 +0 n1 +2 1134.06/293.02 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_complete_Z.xml 5160027 +0 n1 +2 333.10/291.51 +0 n1 +2 760.49/295.25
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex14_Luc06_C.xml 5160028 n1 +2 n1 +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 n1 +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 n1 +2 320.63/291.92 n1 +2 n1 +2 300.25/1.71
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex49_GM04_Z.xml 5160034 n1 +2 n1 +2 28.94/11.30 n1 +2 n1 +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 n1 +2 n1 +2 21.93/6.85 n1 +2 n1 +2 1.28/0.33
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExProp7_Luc06_FR.xml 5160038 n1 +2 n1 +2 4.32/1.75 n1 +2 n1 +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 n1 +1 789.18/295.05
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex2_Luc02a_L.xml 5160043 n3 +2 n3 +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 n1 +2 313.03/291.44 +0 n1 +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 n1 +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 n1 +1 1 +0 0.50/0.11
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_complete-noand_Z.xml 5160047 +0 n1 +2 319.72/291.51 +0 n1 +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 n1 +2 n1 +2 37.57/10.33 +0 n1 +2 822.93/295.49
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_GM.xml 5160050 +0 n1 +2 485.11/291.46 StarExec error
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_C.xml 5160051 +0 n1 +2 1140.40/292.22 +0 n1 +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 n1 +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 n1 +2 n1 +2 25.25/7.56 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nokinds_Z.xml 5160055 +0 n1 +2 321.77/291.48 +0 n1 +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 n1 +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 n1 +2 n1 +2 1135.64/296.48 StarExec error
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_complete-noand_FR.xml 5160062 +0 n2 +2 322.99/291.51 +0 n1 +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 n1 +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 n1 +1 32.83/12.24
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex2_Luc02a_C.xml 5160069 n1 +2 n1 +2 30.13/9.57 +0 n1 +2 760.49/295.19
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml 5160070 +0 n1 +2 1172.10/296.32 +0 n1 +2 1143.27/295.24
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml 5160071 n1 +2 n1 +2 1105.95/291.48 n1 +2 n1 +2 1.17/0.31
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_Z.xml 5160072 +0 n1 +2 328.09/292.32 +0 n1 +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 n1 +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 n1 +2 n1 +2 6.87/2.45 n1 +2 n1 +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 n1 +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 n1 +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 n1 +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 n1 +2 n1 +2 25.66/8.21 +0 n1 +2 737.64/295.15
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_C.xml 5160088 n1 +2 n1 +2 22.42/7.35 +0 n1 +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 n1 +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 n1 +2 315.53/291.47 +0 n1 +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 n1 +2 n1 +2 4.12/1.73 n1 +2 n1 +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 n1 +2 1112.88/296.88 +0 n1 +2 65.92/22.61
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_C.xml 5160097 n1 +2 n1 +2 19.82/6.49 +0 n1 +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 n1 +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 n1 +2 n1 +2 99.14/26.19 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex24_GM04_C.xml 5160103 n1 +2 n1 +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 n1 +1 364.03/295.01
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_C.xml 5160109 +0 n1 +2 331.06/292.13 +0 n1 +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 n1 +2 n1 +2 24.82/8.17 +0 n1 +2 657.57/295.15
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex9_Luc06_GM.xml 5160112 n1 +2 n1 +2 29.97/8.57 n1 +2 n1 +2 1.76/0.45
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_nosorts_C.xml 5160113 n1 +2 n1 +2 25.85/7.92 +0 n1 +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 n3 +2 n3 +2 1065.03/292.69 +0 n1 +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 n1 +1 37.82/15.90
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex16_Luc06_GM.xml 5160118 n1 +2 n1 +2 21.69/6.24 n1 +2 n1 +2 1.35/0.35
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml 5160119 n1 +2 n1 +2 44.07/12.25 +0 n1 +2 784.07/295.16
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_C.xml 5160120 n1 +2 n1 +2 23.52/8.53 +0 n1 +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 n1 +2 n1 +2 63.96/17.39 +0 n1 +2 940.37/295.48
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex15_Luc06_GM.xml 5160125 n1 +2 n1 +2 18.45/5.88 n1 +2 n1 +2 0.06/0.04
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_Luc02b_C.xml 5160126 n1 +2 n1 +2 29.65/9.77 +0 n1 +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 n1 +1 1 +0 0.02/0.01
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml 5160129 n1 +2 n1 +2 52.81/14.12 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml 5160130 +0 n1 +2 357.62/291.49 +0 n1 +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 n1 +1 628.38/295.17
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml 5160132 +0 n1 +2 1137.25/294.56 +0 n1 +2 1000.92/295.16
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_Z.xml 5160133 +0 n1 +2 310.94/291.77 +0 n1 +2 492.09/295.13
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_complete_noand_GM.xml 5160134 +0 n2 +2 902.41/291.69 +0 n1 +1 1068.52/295.15
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_C.xml 5160135 n1 +2 n1 +2 27.76/8.46 +0 n1 +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 n1 +2 n1 +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 n1 +1 587.30/295.19
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_nokinds_Z.xml 5160139 +0 n1 +2 347.85/299.10 +0 n1 +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 n1 +1 1183.30/298.94
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExIntrod_GM04_C.xml 5160141 +0 n1 +2 1148.19/293.91 n1 +2 n1 +2 9.41/2.37
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_C.xml 5160142 n1 +2 n1 +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 n1 +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 n2 +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 n1 +1 1182.02/298.51
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_Luc02b_Z.xml 5160147 +0 n1 +2 339.03/291.46 n1 +2 n1 +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 n1 +1 1 +0 0.30/0.09
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_complete_C.xml 5160149 +0 n1 +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 n1 +1 770.05/295.17
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_nosorts_noand_C.xml 5160153 n1 +2 n1 +2 23.75/7.88 n1 +2 n1 +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 n1 +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 n1 +1 727.34/295.12
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_C.xml 5160156 n1 +2 n1 +2 1129.98/293.85 n1 +2 n1 +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 n1 +2 316.23/291.46 +0 n1 +2 810.64/295.22
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex25_Luc06_FR.xml 5160159 n1 +2 n1 +2 3.44/1.55 n1 +2 n1 +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 n1 +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 n1 +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 n1 +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 n1 +1 855.72/295.13
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nokinds_FR.xml 5160164 +0 n2 +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 n1 +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 n1 +1 799.67/295.15
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_nosorts_GM.xml 5160167 +0 n2 +2 1139.74/296.04 +0 n1 +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 n1 +2 n1 +2 27.95/8.71 +0 n1 +2 749.50/295.26
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex9_Luc06_C.xml 5160170 n1 +2 n1 +2 22.71/7.11 +0 n1 +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 n2 +2 310.63/291.46 n3 +2 n1 +1 350.66/78.14
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml 5160173 +0 n1 +2 302.34/291.45 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_complete_noand_C.xml 5160174 +0 n1 +2 1176.79/297.54 +0 n1 +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 n1 +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 n1 +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 n1 +2 304.44/291.51 +0 n1 +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 n1 +2 1158.25/291.79 StarExec error
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml 5160186 n1 +2 n1 +2 24.49/8.51 +0 n1 +2 689.14/295.16
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExConc_Zan97_GM.xml 5160187 n1 +2 n1 +2 5.43/2.06 StarExec error
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_complete_noand_C.xml 5160188 n1 +2 n1 +2 36.12/11.44 StarExec error
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_nokinds_C.xml 5160189 n1 +2 n1 +2 26.43/9.96 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml 5160190 +0 n2 +2 1128.95/293.89 +0 n1 +1 42.77/14.26
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExSec11_1_Luc02a_C.xml 5160191 n1 +2 n1 +2 27.35/7.84 StarExec error
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_complete_C.xml 5160192 +0 n1 +2 1158.76/291.80 +0 n1 +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 n1 +1 553.67/295.14
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex23_Luc06_GM.xml 5160195 n1 +2 n1 +2 8.60/2.92 n1 +2 n1 +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 n1 +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 n1 +1 569.99/295.12
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex49_GM04_C.xml 5160199 StarExec error +0 n1 +2 652.43/295.07
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml 5160200 StarExec error +0 n1 +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 n1 +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 n1 +2 n1 +2 26.55/7.90 +0 n1 +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 n1 +2 n1 +2 51.69/14.30 +0 n1 +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 n1 +2 620.51/292.47 +0 n1 +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 n1 +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 n1 +2 n1 +2 21.34/7.12 +0 n1 +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 n1 +2 n1 +2 21.82/6.41 n1 +2 n1 +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 n1 +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 n1 +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 n1 +2 n1 +2 22.93/6.94 n1 +2 n1 +2 0.21/0.06
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_C.xml 5160229 n1 +2 n1 +2 25.65/12.60 +0 n1 +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 n1 +2 n1 +2 18.11/6.08 n1 +2 n1 +2 4.22/1.02
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_C.xml 5160232 n1 +2 n1 +2 22.84/6.79 n1 +2 n1 +2 15.34/0.27
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml 5160233 +0 n1 +2 1116.49/292.73 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml 5160234 n1 +2 n1 +2 21.58/9.43 n1 +2 n1 +2 0.58/0.15
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml 5160235 n1 +2 n1 +2 634.17/291.53 n3 +1 n1 +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 n1 +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 n1 +2 1152.97/294.30 n1 +2 n1 +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 n1 +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 n1 +1 1 +0 0.02/0.01
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex26_Luc03b_C.xml 5160245 n1 +2 n1 +2 24.75/7.49 +0 n1 +2 760.86/296.31
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_complete_GM.xml 5160246 +0 n1 +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 n1 +1 791.02/295.05
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex18_Luc06_FR.xml 5160248 n1 +2 n1 +2 3.36/1.50 n1 +2 n1 +2 0.21/0.07
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml 5160249 n1 +2 n1 +2 31.47/9.02 n1 +2 n1 +2 9.68/2.44
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml 5160250 +0 n1 +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 n1 +1 663.59/295.12
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nosorts_C.xml 5160254 n1 +2 n1 +2 22.45/7.73 n1 +2 n1 +2 1.17/0.28
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_complete_Z.xml 5160255 +0 n1 +2 359.23/291.51 +0 n1 +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 n1 +1 1 +0 1.40/0.20
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_C.xml 5160258 n1 +2 n1 +2 23.80/8.40 +0 n1 +2 752.70/295.20
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml 5160259 +0 n1 +2 462.76/291.49 +0 n1 +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 n1 +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 n1 +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 n1 +2 n1 +2 3.14/1.52 n1 +2 n1 +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 n1 +2 335.55/292.11 +0 n1 +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 n1 +2 n1 +2 23.57/9.45 n1 +2 n1 +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 n1 +1 23.61/7.05
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_Z.xml 5160272 +0 n1 +2 315.13/292.04 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_complete_Z.xml 5160273 +0 n1 +2 323.81/291.46 +0 n1 +2 765.07/295.21
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml 5160274 n1 +2 n1 +2 4.07/1.76 n1 +2 n1 +2 0.12/0.04
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_C.xml 5160275 n1 +2 n1 +2 19.71/6.76 +0 n1 +2 685.80/295.71
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml 5160276 StarExec error n1 +2 n1 +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 n1 +2 n1 +2 20.35/6.62 n1 +2 n1 +2 0.62/0.17
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml 5160279 n3 +2 n3 +2 1099.01/291.59 +0 n1 +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 n1 +1 807.71/295.17
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml 5160282 +0 n1 +2 624.73/291.53 +0 n1 +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 n1 +2 1126.90/291.46 +0 n1 +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 n1 +2 n1 +2 8.30/2.97 n1 +2 n1 +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 n1 +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 n1 +2 326.29/292.15 +0 n1 +2 822.32/295.23
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex15_Luc98_C.xml 5160294 n1 +2 n1 +2 23.13/10.81 +0 n1 +2 760.51/297.19
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_C.xml 5160295 n1 +2 n1 +2 25.80/7.96 +0 n1 +2 724.62/295.26
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml 5160296 +0 n2 +2 1155.76/293.38 +0 n1 +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 n1 +2 n1 +2 36.42/10.61 +0 n1 +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 n1 +1 559.94/295.33
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_nokinds_C.xml 5160300 n1 +2 n1 +2 25.63/7.63 StarExec error
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml 5160301 +0 n1 +2 1123.57/291.58 +0 n1 +2 1181.81/298.05
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml 5160302 +0 n1 +2 1172.66/295.37 +0 n1 +2 734.23/295.09
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_C.xml 5160303 n1 +2 n1 +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 n1 +1 802.32/295.11
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex2_Luc03b_Z.xml 5160312 n1 +2 n1 +2 31.14/11.90 n1 +2 n1 +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 n1 +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 n1 +1 905.58/295.18
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExAppendixB_AEL03_C.xml 5160319 n1 +2 n1 +2 40.34/11.57 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml 5160320 +0 n1 +2 306.35/291.97 +0 n1 +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 n1 +2 n1 +2 20.12/6.90 +0 n1 +2 687.96/295.71
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_complete_C.xml 5160323 n1 +2 n1 +2 28.35/8.38 +0 n1 +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 n1 +1 72.28/27.10
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml 5160327 n1 +2 n1 +2 40.17/13.89 +0 n1 +2 694.09/295.13
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/ExConc_Zan97_FR.xml 5160328 n1 +2 n1 +2 7.18/2.48 n1 +2 n1 +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 n1 +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 n1 +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 n1 +1 598.84/295.16
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml 5160333 +0 n1 +2 308.22/291.94 n1 +2 n1 +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 n1 +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 n1 +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 n1 +2 319.88/292.11 +0 n1 +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 n1 +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 n1 +2 n1 +2 35.29/10.46 StarExec error
Runtime_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml 5160343 StarExec error +0 n1 +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 n1 +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 n1 +2 n1 +2 37.30/10.54 +0 n1 +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 n1 +1 767.99/295.05
Runtime_Complexity_Full_Rewriting/TCT_12/recursion-10.xml 5159898 n10 +2 n1 +2 676.12/292.20 n10 +2 n1 +2 110.46/38.94
Runtime_Complexity_Full_Rewriting/TCT_12/polycounter-10.xml 5159899 +0 n1 +2 1163.69/293.25 +0 n1 +2 1181.85/297.68
Runtime_Complexity_Full_Rewriting/TCT_12/recursion-5.xml 5159900 n5 +2 n1 +2 394.42/291.47 n5 +2 n1 +2 44.77/15.39
Runtime_Complexity_Full_Rewriting/TCT_12/polycounter-5.xml 5159901 n5 +2 n1 +2 1035.28/291.48 +0 n1 +2 37.79/11.12
Runtime_Complexity_Full_Rewriting/TCT_12/sat.xml 5159902 +0 n1 +2 321.58/293.27 +0 n1 +2 545.11/295.21
Runtime_Complexity_Full_Rewriting/Secret_07_TRS/aprove07.xml 5160487 +0 n1 +2 311.23/291.57 +0 n1 +2 517.92/295.26
Runtime_Complexity_Full_Rewriting/Secret_07_TRS/secret3.xml 5160488 +0 NonPoly +2 3.52/1.57 +0 n1 +1 584.78/295.10
Runtime_Complexity_Full_Rewriting/Secret_07_TRS/aprove04.xml 5160489 +0 n1 +2 312.04/292.02 +0 n1 +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 n1 +2 314.81/291.56 +0 n1 +2 498.93/295.22
Runtime_Complexity_Full_Rewriting/Secret_07_TRS/aprove10.xml 5160492 timeout (wallclock) +0 n1 +2 739.23/295.45
Runtime_Complexity_Full_Rewriting/Secret_07_TRS/aprove08.xml 5160493 +0 n1 +2 311.05/291.92 +0 n1 +2 636.02/295.28
Runtime_Complexity_Full_Rewriting/Secret_07_TRS/aprove09.xml 5160494 +0 n1 +2 313.56/291.43 +0 n1 +2 497.88/295.18
Runtime_Complexity_Full_Rewriting/Secret_07_TRS/aprove01.xml 5160495 +0 n1 +2 304.88/291.52 +0 n1 +2 505.75/295.24
Runtime_Complexity_Full_Rewriting/Secret_07_TRS/aprove06.xml 5160496 +0 n1 +2 312.62/291.47 +0 n1 +2 505.88/295.20
Runtime_Complexity_Full_Rewriting/Secret_07_TRS/aprove03.xml 5160497 +0 n1 +2 308.41/291.47 +0 n1 +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 n2 +2 n1 +2 332.91/291.48 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/Secret_07_TRS/aprove05.xml 5160500 +0 n1 +2 305.93/291.46 +0 n1 +2 548.35/295.31
Runtime_Complexity_Full_Rewriting/Secret_07_TRS/secret1.xml 5160501 n1 +2 n1 +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 n1 +1 1 +0 0.58/0.16
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/division.xml 5159719 +0 n1 +2 303.54/291.47 +0 n1 +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 n2 +2 312.08/291.48 +0 n1 +1 765.62/295.47
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/tpa07.xml 5159722 +0 n2 +2 314.43/291.55 +0 n1 +1 651.11/295.01
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/tpa04.xml 5159723 +0 n1 +2 308.37/291.88 +0 n1 +2 740.02/295.74
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/tpa09.xml 5159724 +0 n2 +2 310.32/292.18 +0 n1 +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 n1 +2 305.35/292.04 StarExec error
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/reverse.xml 5159727 +0 n2 +2 316.78/291.45 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/tpa06.xml 5159728 +0 n1 +2 315.85/291.46 +0 n1 +2 761.28/295.22
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/times.xml 5159729 StarExec error +0 n1 +2 492.48/295.22
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/logarithm.xml 5159730 +0 n1 +2 315.68/291.47 +0 n1 +2 471.85/295.37
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/double.xml 5159731 +0 n1 +2 314.20/291.51 +0 n1 +2 515.73/295.31
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/nrOfNodes.xml 5159732 +0 n2 +2 306.10/291.92 +0 n1 +1 498.51/295.34
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/divExp.xml 5159733 n3 +2 n1 +2 995.59/291.52 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/tpa05.xml 5159734 +0 n2 +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 n1 +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 n1 +1 1 +0 0.37/0.08
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/sumList.xml 5159737 StarExec error +0 n1 +2 497.66/295.42
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/tpa08.xml 5159738 +0 n2 +2 308.82/291.49 +0 n1 +1 690.28/295.12
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/addList.xml 5159739 +0 n1 +2 598.38/291.44 +0 n1 +2 763.38/295.23
Runtime_Complexity_Full_Rewriting/Secret_06_TRS/gen-1.xml 5159740 1 +2 1 +0 3.35/1.60 n1 +1 1 +0 7.65/2.54
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.19.xml 5160403 +0 n1 +2 308.96/291.51 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.27.xml 5160404 n2 +2 n1 +2 316.65/291.48 +0 n1 +2 732.57/295.52
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.17.xml 5160405 n1 +2 n1 +2 15.03/4.90 n1 +2 n1 +2 2.35/0.12
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.22.xml 5160406 StarExec error n1 +2 n1 +2 0.74/0.21
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.36.xml 5160407 +0 n2 +2 307.64/291.47 +0 n1 +1 878.50/295.41
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.37.xml 5160408 n1 +2 n1 +2 23.57/7.28 n1 +2 n1 +2 0.01/0.01
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.20a.xml 5160409 n1 +2 n1 +2 20.59/9.91 n1 +2 n1 +2 0.13/0.04
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.30b.xml 5160410 n1 +2 n1 +2 47.17/15.77 +0 n1 +2 791.80/295.60
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.33.xml 5160411 +0 n2 +2 1081.87/291.49 StarExec error
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.26.xml 5160412 +0 n1 +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 n1 +2 n1 +2 13.55/5.45 n1 +2 n1 +2 0.47/0.11
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.14.xml 5160415 n1 +2 n1 +2 14.96/4.88 n1 +2 n1 +2 0.29/0.07
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.23.xml 5160416 n2 +2 n1 +2 412.08/291.43 +0 1 +0 432.57/171.48
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.32.xml 5160417 n2 +2 n1 +2 318.09/291.45 StarExec error
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.28.xml 5160418 n1 +2 n1 +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 n1 +2 n1 +2 27.63/11.90 +0 1 +0 199.22/118.13
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.30.xml 5160421 +0 n1 +2 304.41/291.90 +0 1 +0 310.77/197.98
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.29.xml 5160422 +0 n1 +2 311.91/291.46 +0 n1 +2 769.05/295.30
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.34.xml 5160423 +0 n1 +2 300.91/292.00 n3 +2 n1 +2 5.49/1.53
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.37a.xml 5160424 n1 +2 n1 +2 23.06/7.11 n1 +2 n1 +2 0.66/0.15
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.30c.xml 5160425 +0 n1 +2 310.28/291.45 +0 n1 +2 680.95/295.48
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.2.xml 5160426 n1 +2 n1 +2 15.04/5.15 n1 +2 n1 +2 0.36/0.09
Runtime_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.7.xml 5160427 1 +2 1 +0 3.45/1.58 n1 +1 1 +0 1.49/0.39
Runtime_Complexity_Full_Rewriting/SK90/2.49.xml 5159741 1 +2 1 +0 3.18/1.48 n1 +1 1 +0 0.26/0.07
Runtime_Complexity_Full_Rewriting/SK90/4.12.xml 5159742 n1 +2 n1 +2 3.65/1.64 n1 +2 n1 +2 1.26/0.33
Runtime_Complexity_Full_Rewriting/SK90/2.45.xml 5159743 n1 +2 n1 +2 28.33/7.93 n1 +2 n1 +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 n1 +2 n1 +2 20.13/7.54 n1 +2 n1 +2 0.64/0.16
Runtime_Complexity_Full_Rewriting/SK90/2.47.xml 5159746 n1 +2 n1 +2 6.76/2.52 n1 +2 n1 +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 n2 +2 n1 +2 359.47/291.48 n2 +2 n1 +2 5.28/1.41
Runtime_Complexity_Full_Rewriting/SK90/4.26.xml 5159749 n1 +2 n1 +2 17.58/6.39 n1 +2 n1 +2 0.30/0.08
Runtime_Complexity_Full_Rewriting/SK90/2.59.xml 5159750 StarExec error n1 +2 1 +0 0.39/0.10
Runtime_Complexity_Full_Rewriting/SK90/2.27.xml 5159751 +0 n1 +2 320.33/291.90 +0 n1 +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 n1 +2 n1 +2 3.54/1.58 n1 +2 n1 +2 0.21/0.07
Runtime_Complexity_Full_Rewriting/SK90/4.28.xml 5159755 n1 +2 n1 +2 33.99/10.42 n1 +2 n1 +2 4.60/1.08
Runtime_Complexity_Full_Rewriting/SK90/2.52.xml 5159756 +0 n1 +2 1120.67/292.16 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/SK90/2.03.xml 5159757 n1 +2 n1 +2 7.33/2.61 n1 +2 n1 +2 0.29/0.08
Runtime_Complexity_Full_Rewriting/SK90/4.13.xml 5159758 n1 +2 n1 +2 21.33/6.92 n2 +1 n1 +2 6.36/1.67
Runtime_Complexity_Full_Rewriting/SK90/4.53.xml 5159759 StarExec error n2 +2 n1 +2 11.96/3.02
Runtime_Complexity_Full_Rewriting/SK90/2.38.xml 5159760 n1 +2 n1 +2 5.43/2.10 n1 +2 n1 +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 n3 +2 n3 +2 32.09/9.49 +0 n1 +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 n1 +2 n1 +2 6.95/2.46 n1 +2 n1 +2 0.06/0.03
Runtime_Complexity_Full_Rewriting/SK90/4.34.xml 5159766 +0 NonPoly +2 3.48/1.62 +0 n1 +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 n1 +2 n1 +2 19.05/6.23 n2 +1 n1 +2 2.59/0.89
Runtime_Complexity_Full_Rewriting/SK90/2.42.xml 5159769 n1 +2 n1 +2 16.79/6.23 n1 +2 n1 +2 0.24/0.07
Runtime_Complexity_Full_Rewriting/SK90/2.09.xml 5159770 n1 +2 n1 +2 6.47/2.44 n1 +2 n1 +2 0.40/0.09
Runtime_Complexity_Full_Rewriting/SK90/4.48.xml 5159771 1 +2 1 +0 3.20/1.50 n1 +1 1 +0 0.20/0.05
Runtime_Complexity_Full_Rewriting/SK90/2.17.xml 5159772 n1 +2 n1 +2 24.88/7.10 n1 +2 n1 +2 0.96/0.25
Runtime_Complexity_Full_Rewriting/SK90/4.30.xml 5159773 n1 +2 n1 +2 3.49/1.65 n1 +2 n1 +2 1.01/0.20
Runtime_Complexity_Full_Rewriting/SK90/2.39.xml 5159774 n2 +2 n2 +2 20.02/7.77 n2 +2 n1 +1 7.52/1.99
Runtime_Complexity_Full_Rewriting/SK90/2.29.xml 5159775 n1 +2 n1 +2 22.99/6.73 n1 +2 n1 +2 5.36/1.37
Runtime_Complexity_Full_Rewriting/SK90/4.27.xml 5159776 +0 n1 +2 975.69/292.13 +0 n1 +2 684.23/295.07
Runtime_Complexity_Full_Rewriting/SK90/4.61.xml 5159777 +0 NonPoly +2 3.31/1.56 +0 n1 +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 n1 +2 n1 +2 3.54/1.54 n1 +2 n1 +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 n1 +1 1 +0 0.03/0.02
Runtime_Complexity_Full_Rewriting/SK90/4.45.xml 5159782 n1 +2 n1 +2 13.83/5.39 n1 +2 n1 +2 0.02/0.01
Runtime_Complexity_Full_Rewriting/SK90/2.54.xml 5159783 n1 +2 n1 +2 5.36/2.03 n1 +2 n1 +2 0.66/0.10
Runtime_Complexity_Full_Rewriting/SK90/4.16.xml 5159784 n1 +2 n1 +2 3.40/1.56 n1 +2 n1 +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 n1 +2 n1 +2 19.26/6.95 n1 +2 n1 +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 n1 +2 n1 +2 20.53/6.26 n1 +2 n1 +2 1.51/0.36
Runtime_Complexity_Full_Rewriting/SK90/2.55.xml 5159789 n1 +2 n1 +2 17.03/5.34 n1 +2 n1 +2 0.23/0.07
Runtime_Complexity_Full_Rewriting/SK90/4.05.xml 5159790 n2 +2 n1 +2 342.40/291.47 n2 +2 n1 +2 2.75/0.40
Runtime_Complexity_Full_Rewriting/SK90/4.22.xml 5159791 +0 n1 +2 375.25/292.94 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/SK90/4.43.xml 5159792 timeout (wallclock) +0 n1 +2 516.20/295.50
Runtime_Complexity_Full_Rewriting/SK90/2.44.xml 5159793 StarExec error n1 +2 n1 +2 5.69/1.37
Runtime_Complexity_Full_Rewriting/SK90/4.25.xml 5159794 n1 +2 n1 +2 18.49/5.65 n1 +2 n1 +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 n2 +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 n2 +2 n2 +2 29.25/9.24 n2 +2 n1 +1 11.09/3.00
Runtime_Complexity_Full_Rewriting/SK90/2.41.xml 5159800 n1 +2 n1 +2 3.43/1.57 n1 +2 n1 +2 0.42/0.09
Runtime_Complexity_Full_Rewriting/SK90/2.51.xml 5159801 +0 n1 +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 n3 +2 956.30/291.49 +0 n1 +1 486.63/295.40
Runtime_Complexity_Full_Rewriting/SK90/4.38.xml 5159805 n1 +2 n1 +2 3.38/1.58 n1 +2 n1 +2 0.75/0.13
Runtime_Complexity_Full_Rewriting/SK90/4.42.xml 5159806 +0 n1 +2 302.62/291.88 timeout (wallclock)
Runtime_Complexity_Full_Rewriting/SK90/2.53.xml 5159807 n1 +2 n1 +2 3.12/1.51 n1 +2 n1 +2 0.02/0.01
Runtime_Complexity_Full_Rewriting/SK90/2.21.xml 5159808 +0 NonPoly +2 3.11/1.48 +0 n1 +1 8.28/3.16
Runtime_Complexity_Full_Rewriting/SK90/2.61.xml 5159809 n2 +1 1 +0 333.08/291.43 n1 +2 1 +0 0.73/0.17
Runtime_Complexity_Full_Rewriting/SK90/2.19.xml 5159810 n2 +2 n2 +2 25.85/8.45 n2 +2 n1 +1 5.01/1.47
Runtime_Complexity_Full_Rewriting/SK90/2.11.xml 5159811 n1 +2 n1 +2 3.58/1.57 n1 +2 n1 +2 0.01/0.01
Runtime_Complexity_Full_Rewriting/SK90/4.51.xml 5159812 1 +2 1 +0 3.25/1.50 n1 +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 n1 +1 1 +0 0.64/0.17
Runtime_Complexity_Full_Rewriting/SK90/2.14.xml 5159815 n1 +2 n1 +2 8.08/2.82 n1 +2 n1 +2 0.88/0.23
Runtime_Complexity_Full_Rewriting/SK90/2.36.xml 5159816 n1 +2 n1 +2 3.31/1.53 n1 +2 n1 +2 3.09/0.54
Runtime_Complexity_Full_Rewriting/SK90/2.02.xml 5159817 n1 +2 n1 +2 6.95/2.43 n1 +2 n1 +2 0.41/0.09
Runtime_Complexity_Full_Rewriting/SK90/2.18.xml 5159818 n2 +2 n1 +2 333.88/291.48 n2 +2 n1 +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 n1 +1 23.97/7.01
Runtime_Complexity_Full_Rewriting/Waldmann_06/jwmatchb2.xml 5160624 n1 +2 n1 +2 3.44/1.58 n1 +2 n1 +2 0.08/0.03
Runtime_Complexity_Full_Rewriting/Waldmann_06/jwno6.xml 5160625 +0 NonPoly +2 4.38/2.26 +0 n1 +1 23.70/7.02
Runtime_Complexity_Full_Rewriting/Waldmann_06/jwmatchb1.xml 5160626 n1 +2 n1 +2 3.43/1.60 n1 +2 n1 +2 0.08/0.03
Runtime_Complexity_Full_Rewriting/Waldmann_06/jwno1.xml 5160627 +0 NonPoly +2 4.44/1.92 +0 n1 +1 28.79/9.51
Runtime_Complexity_Full_Rewriting/Various_04/12.xml 5159834 n2 +2 n1 +2 1101.14/291.69 +0 n1 +2 811.66/295.56
Runtime_Complexity_Full_Rewriting/Various_04/10.xml 5159835 +0 n1 +2 321.85/291.46 +0 n1 +2 779.04/295.58
Runtime_Complexity_Full_Rewriting/Various_04/14.xml 5159836 n2 +2 n1 +2 623.16/292.25 +0 n1 +2 879.63/295.25
Runtime_Complexity_Full_Rewriting/Various_04/13.xml 5159837 n2 +2 n1 +2 1087.65/292.93 +0 n1 +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 n1 +2 n1 +2 22.87/9.81 n1 +2 n1 +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 n1 +2 n1 +2 16.90/5.28 n1 +2 1 +0 0.26/0.08
Runtime_Complexity_Full_Rewriting/Various_04/24.xml 5159843 n1 +2 n1 +2 4.00/1.69 n2 +1 n1 +2 24.09/6.32
Runtime_Complexity_Full_Rewriting/Various_04/15.xml 5159844 n1 +2 n1 +2 5.11/1.99 n1 +2 n1 +2 0.11/0.04
Runtime_Complexity_Full_Rewriting/Various_04/22.xml 5159845 n1 +2 n1 +2 21.51/6.73 +0 n1 +2 590.25/295.07
Runtime_Complexity_Full_Rewriting/Zantema_05/z16.xml 5160461 +0 n1 +2 1020.64/291.80 +0 n1 +2 101.71/63.16
Runtime_Complexity_Full_Rewriting/Zantema_05/z28.xml 5160462 n1 +2 n1 +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 n1 +2 1099.16/291.61 +0 n1 +2 99.89/66.69
Runtime_Complexity_Full_Rewriting/Zantema_05/z17.xml 5160465 +0 n1 +2 1115.30/299.65 +0 n1 +2 342.30/295.10
Runtime_Complexity_Full_Rewriting/Zantema_05/z26.xml 5160466 n1 +2 n1 +2 16.66/4.98 n1 +2 n1 +2 0.62/0.13
Runtime_Complexity_Full_Rewriting/Zantema_05/z27.xml 5160467 +0 n1 +2 643.02/291.55 +0 n1 +2 13.00/3.70
Runtime_Complexity_Full_Rewriting/Zantema_05/z23.xml 5160468 n1 +2 n1 +2 5.58/4.04 StarExec error
Runtime_Complexity_Full_Rewriting/Zantema_05/z12.xml 5160469 +0 n1 +2 1068.49/293.89 StarExec error
Runtime_Complexity_Full_Rewriting/Zantema_05/z15.xml 5160470 +0 n1 +2 1097.29/291.62 +0 n1 +2 347.31/191.29
Runtime_Complexity_Full_Rewriting/Zantema_05/z14.xml 5160471 +0 n1 +2 945.77/291.48 +0 n1 +2 86.60/48.51
Runtime_Complexity_Full_Rewriting/Zantema_05/z24.xml 5160472 +0 n1 +2 1152.25/300.28 +0 n1 +2 324.36/295.11
Runtime_Complexity_Full_Rewriting/Zantema_05/z18.xml 5160473 +0 n1 +2 1099.26/291.55 +0 n1 +2 347.13/190.54
2317 1323