Termination Competition 2018: Derivational Complexity: TRS30103

Job info CSV
tct 2018-07-13 tct_dc
benchmark UPLOWTIME
Derivational_Complexity_Full_Rewriting/AProVE_04/Liveness_WRS.xml 5164632 timeout (wallclock)
Derivational_Complexity_Full_Rewriting/AProVE_04/LPAR_intlist.xml 5164633 ∞ +0 1 +0 375.76/293.02
Derivational_Complexity_Full_Rewriting/AProVE_04/Liveness8.xml 5164634 n2 +1 1 +0 756.89/293.15
Derivational_Complexity_Full_Rewriting/AProVE_04/Liveness6.3.xml 5164635 ∞ +0 1 +0 535.34/293.05
Derivational_Complexity_Full_Rewriting/AProVE_04/Liveness6.4.xml 5164636 ∞ +0 1 +0 492.46/293.04
Derivational_Complexity_Full_Rewriting/AProVE_04/Liveness6.1.xml 5164637 ∞ +0 1 +0 395.67/293.11
Derivational_Complexity_Full_Rewriting/AProVE_04/Liveness6.2.xml 5164638 n2 +1 1 +0 1168.35/289.51
Derivational_Complexity_Full_Rewriting/Applicative_05/Ex2_6_1Composition.xml 5164629 n1 +1 1 +0 0.27/0.08
Derivational_Complexity_Full_Rewriting/Applicative_05/TypeEx5.xml 5164630 ∞ +0 1 +0 129.54/39.83
Derivational_Complexity_Full_Rewriting/Applicative_05/ReverseLastInit.xml 5164631 n3 +1 1 +0 103.45/30.03
Derivational_Complexity_Full_Rewriting/AProVE_08/round_nonterm.xml 5164966 ∞ +0 1 +0 486.24/292.78
Derivational_Complexity_Full_Rewriting/AProVE_08/round.xml 5164967 ∞ +0 1 +0 65.09/52.58
Derivational_Complexity_Full_Rewriting/AProVE_06/nonterm.xml 5164543 ∞ +0 1 +0 819.90/293.11
Derivational_Complexity_Full_Rewriting/AProVE_06/tower_sizeChange.xml 5164544 ∞ +0 1 +0 362.37/228.58
Derivational_Complexity_Full_Rewriting/AProVE_06/identity.xml 5164545 ∞ +0 1 +0 373.96/278.46
Derivational_Complexity_Full_Rewriting/AotoYamada_05/017.xml 5166190 n1 +1 1 +0 0.20/0.06
Derivational_Complexity_Full_Rewriting/AotoYamada_05/005.xml 5166191 n2 +1 1 +0 106.27/33.27
Derivational_Complexity_Full_Rewriting/AotoYamada_05/025.xml 5166192 n1 +1 1 +0 0.21/0.06
Derivational_Complexity_Full_Rewriting/AotoYamada_05/023.xml 5166193 n2 +1 1 +0 91.84/30.08
Derivational_Complexity_Full_Rewriting/AG01/#3.49.xml 5164433 n2 +1 1 +0 228.23/98.14
Derivational_Complexity_Full_Rewriting/AG01/#3.56.xml 5164434 n2 +1 1 +0 157.73/81.03
Derivational_Complexity_Full_Rewriting/AG01/#3.35.xml 5164435 n2 +1 1 +0 87.94/30.10
Derivational_Complexity_Full_Rewriting/AG01/#3.12.xml 5164436 ∞ +0 1 +0 371.64/293.11
Derivational_Complexity_Full_Rewriting/AG01/#3.15.xml 5164437 n2 +1 1 +0 83.04/30.23
Derivational_Complexity_Full_Rewriting/AG01/#3.17.xml 5164438 n10 +1 1 +0 1056.14/291.72
Derivational_Complexity_Full_Rewriting/AG01/#3.51.xml 5164439 n1 +1 1 +0 17.79/11.37
Derivational_Complexity_Full_Rewriting/AG01/#3.26.xml 5164440 ∞ +0 1 +0 650.80/293.35
Derivational_Complexity_Full_Rewriting/AG01/#3.7.xml 5164441 n2 +1 1 +0 76.28/30.11
Derivational_Complexity_Full_Rewriting/AG01/#3.33.xml 5164442 n1 +1 1 +0 33.72/29.33
Derivational_Complexity_Full_Rewriting/AG01/#3.24.xml 5164443 n1 +1 1 +0 2.24/0.61
Derivational_Complexity_Full_Rewriting/AG01/#3.37.xml 5164444 n1 +1 1 +0 1.79/0.47
Derivational_Complexity_Full_Rewriting/AG01/#3.17a.xml 5164445 n6 +1 1 +0 371.05/222.75
Derivational_Complexity_Full_Rewriting/Gebhardt_06/05.xml 5164646 ∞ +0 1 +0 435.41/293.71
Derivational_Complexity_Full_Rewriting/Gebhardt_06/03.xml 5164647 ∞ +0 1 +0 433.65/294.03
Derivational_Complexity_Full_Rewriting/Gebhardt_06/01.xml 5164648 ∞ +0 1 +0 398.43/294.11
Derivational_Complexity_Full_Rewriting/Gebhardt_06/12.xml 5164649 ∞ +0 1 +0 450.08/294.05
Derivational_Complexity_Full_Rewriting/Gebhardt_06/10.xml 5164650 ∞ +0 1 +0 440.39/293.82
Derivational_Complexity_Full_Rewriting/Gebhardt_06/06.xml 5164651 ∞ +0 1 +0 416.64/293.72
Derivational_Complexity_Full_Rewriting/Gebhardt_06/02.xml 5164652 ∞ +0 1 +0 408.64/294.01
Derivational_Complexity_Full_Rewriting/Gebhardt_06/14.xml 5164653 ∞ +0 1 +0 413.45/293.72
Derivational_Complexity_Full_Rewriting/Gebhardt_06/13.xml 5164654 ∞ +0 1 +0 455.37/294.10
Derivational_Complexity_Full_Rewriting/Gebhardt_06/20.xml 5164655 ∞ +0 1 +0 435.17/293.50
Derivational_Complexity_Full_Rewriting/Gebhardt_06/04.xml 5164656 ∞ +0 1 +0 415.48/293.05
Derivational_Complexity_Full_Rewriting/Gebhardt_06/17.xml 5164657 ∞ +0 1 +0 444.42/294.10
Derivational_Complexity_Full_Rewriting/Gebhardt_06/08.xml 5164658 ∞ +0 1 +0 447.42/294.10
Derivational_Complexity_Full_Rewriting/Gebhardt_06/19.xml 5164659 ∞ +0 1 +0 428.60/294.04
Derivational_Complexity_Full_Rewriting/Gebhardt_06/16.xml 5164660 ∞ +0 1 +0 411.22/293.46
Derivational_Complexity_Full_Rewriting/Gebhardt_06/09.xml 5164661 ∞ +0 1 +0 414.76/293.77
Derivational_Complexity_Full_Rewriting/Gebhardt_06/11.xml 5164662 pending submission
Derivational_Complexity_Full_Rewriting/Gebhardt_06/07.xml 5164663 ∞ +0 1 +0 452.66/293.17
Derivational_Complexity_Full_Rewriting/Gebhardt_06/18.xml 5164664 ∞ +0 1 +0 415.48/293.55
Derivational_Complexity_Full_Rewriting/Gebhardt_06/15.xml 5164665 ∞ +0 1 +0 457.28/294.04
Derivational_Complexity_Full_Rewriting/Endrullis_06/linear1.xml 5164639 ∞ +0 1 +0 116.09/33.41
Derivational_Complexity_Full_Rewriting/Endrullis_06/linear2.xml 5164640 ∞ +0 1 +0 179.24/70.83
Derivational_Complexity_Full_Rewriting/Endrullis_06/pair3rotate.xml 5164641 ∞ +0 1 +0 206.04/102.91
Derivational_Complexity_Full_Rewriting/Endrullis_06/direct.xml 5164642 n1 +1 1 +0 14.43/7.82
Derivational_Complexity_Full_Rewriting/Endrullis_06/quadruple2.xml 5164643 n1 +1 1 +0 12.36/2.83
Derivational_Complexity_Full_Rewriting/Endrullis_06/pair3swap.xml 5164644 ∞ +0 1 +0 55.27/14.98
Derivational_Complexity_Full_Rewriting/Endrullis_06/quadruple1.xml 5164645 n1 +1 1 +0 65.65/46.98
Derivational_Complexity_Full_Rewriting/ICFP_2010/167391.xml 5165576 ∞ +0 1 +0 1175.97/294.23
Derivational_Complexity_Full_Rewriting/ICFP_2010/4484.xml 5165577 StarExec error
Derivational_Complexity_Full_Rewriting/ICFP_2010/26862.xml 5165578 ∞ +0 1 +0 1176.61/294.18
Derivational_Complexity_Full_Rewriting/ICFP_2010/137956.xml 5165579 ∞ +0 1 +0 1176.03/294.33
Derivational_Complexity_Full_Rewriting/ICFP_2010/86559.xml 5165580 n1 +1 1 +0 1174.39/295.14
Derivational_Complexity_Full_Rewriting/ICFP_2010/264033.xml 5165581 n1 +1 1 +0 428.31/294.19
Derivational_Complexity_Full_Rewriting/ICFP_2010/131982.xml 5165582 n1 +1 1 +0 1176.10/294.12
Derivational_Complexity_Full_Rewriting/ICFP_2010/137809.xml 5165583 n1 +1 1 +0 1176.55/294.35
Derivational_Complexity_Full_Rewriting/ICFP_2010/4057.xml 5165584 StarExec error
Derivational_Complexity_Full_Rewriting/ICFP_2010/45757.xml 5165585 ∞ +0 1 +0 1181.06/294.32
Derivational_Complexity_Full_Rewriting/ICFP_2010/139256.xml 5165586 StarExec error
Derivational_Complexity_Full_Rewriting/ICFP_2010/158208.xml 5165587 ∞ +0 1 +0 1176.98/294.40
Derivational_Complexity_Full_Rewriting/ICFP_2010/5130.xml 5165588 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/3770.xml 5165589 timeout (wallclock)
Derivational_Complexity_Full_Rewriting/ICFP_2010/48267.xml 5165590 ∞ +0 1 +0 1174.15/294.16
Derivational_Complexity_Full_Rewriting/ICFP_2010/4206.xml 5165591 timeout (cpu)
Derivational_Complexity_Full_Rewriting/ICFP_2010/185453.xml 5165592 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/214011.xml 5165593 ∞ +0 1 +0 1163.89/294.06
Derivational_Complexity_Full_Rewriting/ICFP_2010/96334.xml 5165594 n1 +1 1 +0 1173.95/294.30
Derivational_Complexity_Full_Rewriting/ICFP_2010/135604.xml 5165595 ∞ +0 1 +0 1175.79/294.09
Derivational_Complexity_Full_Rewriting/ICFP_2010/3842.xml 5165596 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/41688.xml 5165597 ∞ +0 1 +0 1176.14/294.19
Derivational_Complexity_Full_Rewriting/ICFP_2010/4979.xml 5165598 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/4487.xml 5165599 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/4943.xml 5165600 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/3916.xml 5165601 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/160068.xml 5165602 ∞ +0 1 +0 1175.36/294.23
Derivational_Complexity_Full_Rewriting/ICFP_2010/4106.xml 5165603 timeout (wallclock)
Derivational_Complexity_Full_Rewriting/ICFP_2010/26741.xml 5165604 ∞ +0 1 +0 1176.76/294.35
Derivational_Complexity_Full_Rewriting/ICFP_2010/4893.xml 5165605 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/149849.xml 5165606 ∞ +0 1 +0 1176.74/294.26
Derivational_Complexity_Full_Rewriting/ICFP_2010/136051.xml 5165607 n1 +1 1 +0 1175.93/294.15
Derivational_Complexity_Full_Rewriting/ICFP_2010/246924.xml 5165608 timeout (cpu)
Derivational_Complexity_Full_Rewriting/ICFP_2010/26927.xml 5165609 timeout (cpu)
Derivational_Complexity_Full_Rewriting/ICFP_2010/26923.xml 5165610 timeout (cpu)
Derivational_Complexity_Full_Rewriting/ICFP_2010/161533.xml 5165611 timeout (cpu)
Derivational_Complexity_Full_Rewriting/ICFP_2010/135659.xml 5165612 ∞ +0 1 +0 1177.09/294.37
Derivational_Complexity_Full_Rewriting/ICFP_2010/139310.xml 5165613 ∞ +0 1 +0 1176.02/294.17
Derivational_Complexity_Full_Rewriting/ICFP_2010/136623.xml 5165614 ∞ +0 1 +0 1175.69/294.15
Derivational_Complexity_Full_Rewriting/ICFP_2010/212062.xml 5165615 ∞ +0 1 +0 1158.99/294.07
Derivational_Complexity_Full_Rewriting/ICFP_2010/54532.xml 5165616 timeout (cpu)
Derivational_Complexity_Full_Rewriting/ICFP_2010/27039.xml 5165617 ∞ +0 1 +0 1176.12/294.22
Derivational_Complexity_Full_Rewriting/ICFP_2010/132478.xml 5165618 ∞ +0 1 +0 1175.32/294.07
Derivational_Complexity_Full_Rewriting/ICFP_2010/157275.xml 5165619 ∞ +0 1 +0 1174.65/294.23
Derivational_Complexity_Full_Rewriting/ICFP_2010/4824.xml 5165620 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/4938.xml 5165621 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/88172.xml 5165622 ∞ +0 1 +0 1174.30/294.25
Derivational_Complexity_Full_Rewriting/ICFP_2010/152865.xml 5165623 ∞ +0 1 +0 1177.29/294.48
Derivational_Complexity_Full_Rewriting/ICFP_2010/132920.xml 5165624 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/88183.xml 5165625 n1 +1 1 +0 1173.33/294.16
Derivational_Complexity_Full_Rewriting/ICFP_2010/27001.xml 5165626 ∞ +0 1 +0 1176.22/294.18
Derivational_Complexity_Full_Rewriting/ICFP_2010/157593.xml 5165627 ∞ +0 1 +0 1174.09/294.29
Derivational_Complexity_Full_Rewriting/ICFP_2010/91218.xml 5165628 ∞ +0 1 +0 1175.43/294.18
Derivational_Complexity_Full_Rewriting/ICFP_2010/26845.xml 5165629 ∞ +0 1 +0 1176.36/294.18
Derivational_Complexity_Full_Rewriting/ICFP_2010/139163.xml 5165630 ∞ +0 1 +0 1175.78/294.10
Derivational_Complexity_Full_Rewriting/ICFP_2010/4314.xml 5165631 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26886.xml 5165632 timeout (cpu)
Derivational_Complexity_Full_Rewriting/ICFP_2010/158477.xml 5165633 ∞ +0 1 +0 1176.85/294.26
Derivational_Complexity_Full_Rewriting/ICFP_2010/27213.xml 5165634 n1 +1 1 +0 1180.08/295.16
Derivational_Complexity_Full_Rewriting/ICFP_2010/96289.xml 5165635 n1 +1 1 +0 1172.93/294.18
Derivational_Complexity_Full_Rewriting/ICFP_2010/26946.xml 5165636 timeout (cpu)
Derivational_Complexity_Full_Rewriting/ICFP_2010/97888.xml 5165637 ∞ +0 1 +0 1176.92/294.50
Derivational_Complexity_Full_Rewriting/ICFP_2010/4374.xml 5165638 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26871.xml 5165639 n1 +1 1 +0 1176.41/294.28
Derivational_Complexity_Full_Rewriting/ICFP_2010/43266.xml 5165640 ∞ +0 1 +0 1176.27/294.20
Derivational_Complexity_Full_Rewriting/ICFP_2010/98623.xml 5165641 ∞ +0 1 +0 1176.47/294.24
Derivational_Complexity_Full_Rewriting/ICFP_2010/128430.xml 5165642 ∞ +0 1 +0 1174.88/294.17
Derivational_Complexity_Full_Rewriting/ICFP_2010/41427.xml 5165643 ∞ +0 1 +0 1176.33/294.20
Derivational_Complexity_Full_Rewriting/ICFP_2010/160263.xml 5165644 timeout (wallclock)
Derivational_Complexity_Full_Rewriting/ICFP_2010/25422.xml 5165645 ∞ +0 1 +0 1175.87/294.22
Derivational_Complexity_Full_Rewriting/ICFP_2010/96464.xml 5165646 n1 +1 1 +0 1175.32/295.12
Derivational_Complexity_Full_Rewriting/ICFP_2010/26974.xml 5165647 ∞ +0 1 +0 1175.72/294.23
Derivational_Complexity_Full_Rewriting/ICFP_2010/85079.xml 5165648 n1 +1 1 +0 1172.92/294.03
Derivational_Complexity_Full_Rewriting/ICFP_2010/135328.xml 5165649 ∞ +0 1 +0 1176.33/294.08
Derivational_Complexity_Full_Rewriting/ICFP_2010/97885.xml 5165650 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/231300.xml 5165651 timeout (cpu)
Derivational_Complexity_Full_Rewriting/ICFP_2010/140639.xml 5165652 ∞ +0 1 +0 1172.88/294.15
Derivational_Complexity_Full_Rewriting/ICFP_2010/212693.xml 5165653 n1 +1 1 +0 662.44/294.19
Derivational_Complexity_Full_Rewriting/ICFP_2010/139174.xml 5165654 ∞ +0 1 +0 1175.90/294.11
Derivational_Complexity_Full_Rewriting/ICFP_2010/96256.xml 5165655 n1 +1 1 +0 1172.55/294.18
Derivational_Complexity_Full_Rewriting/ICFP_2010/166493.xml 5165656 ∞ +0 1 +0 1179.79/295.24
Derivational_Complexity_Full_Rewriting/ICFP_2010/259405.xml 5165657 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/4157.xml 5165658 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/86816.xml 5165659 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/230780.xml 5165660 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/91242.xml 5165661 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/149251.xml 5165662 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/42321.xml 5165663 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/140664.xml 5165664 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/85294.xml 5165665 paused
Derivational_Complexity_Full_Rewriting/ICFP_2010/51842.xml 5165666 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26969.xml 5165667 paused
Derivational_Complexity_Full_Rewriting/ICFP_2010/128691.xml 5165668 paused
Derivational_Complexity_Full_Rewriting/ICFP_2010/27009.xml 5165669 paused
Derivational_Complexity_Full_Rewriting/ICFP_2010/165713.xml 5165670 paused
Derivational_Complexity_Full_Rewriting/ICFP_2010/26903.xml 5165671 paused
Derivational_Complexity_Full_Rewriting/ICFP_2010/4953.xml 5165672 paused
Derivational_Complexity_Full_Rewriting/ICFP_2010/133236.xml 5165673 paused
Derivational_Complexity_Full_Rewriting/ICFP_2010/131633.xml 5165674 paused
Derivational_Complexity_Full_Rewriting/ICFP_2010/161917.xml 5165675 paused
Derivational_Complexity_Full_Rewriting/ICFP_2010/128550.xml 5165676 paused
Derivational_Complexity_Full_Rewriting/ICFP_2010/211471.xml 5165677 paused
Derivational_Complexity_Full_Rewriting/ICFP_2010/39830.xml 5165678 paused
Derivational_Complexity_Full_Rewriting/ICFP_2010/57355.xml 5165679 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/132611.xml 5165680 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/153090.xml 5165681 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/159731.xml 5165682 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/212037.xml 5165683 paused
Derivational_Complexity_Full_Rewriting/ICFP_2010/149633.xml 5165684 paused
Derivational_Complexity_Full_Rewriting/ICFP_2010/133486.xml 5165685 paused
Derivational_Complexity_Full_Rewriting/ICFP_2010/134918.xml 5165686 paused
Derivational_Complexity_Full_Rewriting/ICFP_2010/213719.xml 5165687 paused
Derivational_Complexity_Full_Rewriting/ICFP_2010/212263.xml 5165688 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/152694.xml 5165689 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/138269.xml 5165690 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/157436.xml 5165691 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/4964.xml 5165692 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/133010.xml 5165693 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/247906.xml 5165694 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/130472.xml 5165695 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/28464.xml 5165696 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/138468.xml 5165697 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/133159.xml 5165698 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/211857.xml 5165699 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/96523.xml 5165700 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/247504.xml 5165701 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/25711.xml 5165702 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/86452.xml 5165703 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26993.xml 5165704 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/128280.xml 5165705 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/158152.xml 5165706 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/127538.xml 5165707 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/96198.xml 5165708 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/27026.xml 5165709 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/212795.xml 5165710 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26116.xml 5165711 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/25743.xml 5165712 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/160475.xml 5165713 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26919.xml 5165714 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26683.xml 5165715 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/27019.xml 5165716 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/248060.xml 5165717 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/3989.xml 5165718 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/96029.xml 5165719 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/135505.xml 5165720 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/27013.xml 5165721 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/140631.xml 5165722 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/231149.xml 5165723 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/85477.xml 5165724 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/128486.xml 5165725 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/149415.xml 5165726 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/124791.xml 5165727 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/247020.xml 5165728 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/28838.xml 5165729 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/27131.xml 5165730 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/91254.xml 5165731 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/139018.xml 5165732 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/86745.xml 5165733 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26110.xml 5165734 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/3533.xml 5165735 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/139036.xml 5165736 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/139180.xml 5165737 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/57453.xml 5165738 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/139378.xml 5165739 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26951.xml 5165740 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/27030.xml 5165741 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/153288.xml 5165742 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/136571.xml 5165743 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/138254.xml 5165744 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/140359.xml 5165745 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/186023.xml 5165746 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/137136.xml 5165747 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/4920.xml 5165748 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/48374.xml 5165749 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/88208.xml 5165750 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/85380.xml 5165751 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/95952.xml 5165752 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/96176.xml 5165753 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26954.xml 5165754 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/182946.xml 5165755 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/41378.xml 5165756 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/213051.xml 5165757 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/3831.xml 5165758 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/136693.xml 5165759 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/160427.xml 5165760 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/84977.xml 5165761 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/136934.xml 5165762 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/24100.xml 5165763 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/96119.xml 5165764 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/124211.xml 5165765 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/27036.xml 5165766 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/138142.xml 5165767 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26127.xml 5165768 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/212117.xml 5165769 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/88156.xml 5165770 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/138330.xml 5165771 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/40976.xml 5165772 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/138477.xml 5165773 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/85039.xml 5165774 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/40093.xml 5165775 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/132235.xml 5165776 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/212534.xml 5165777 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/139214.xml 5165778 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/150630.xml 5165779 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/160254.xml 5165780 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26910.xml 5165781 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/44332.xml 5165782 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/188674.xml 5165783 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/41838.xml 5165784 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/133532.xml 5165785 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/53216.xml 5165786 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/25736.xml 5165787 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/3268.xml 5165788 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/186919.xml 5165789 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/160398.xml 5165790 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/167240.xml 5165791 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/85874.xml 5165792 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/88283.xml 5165793 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/139025.xml 5165794 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/153444.xml 5165795 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/212189.xml 5165796 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/5109.xml 5165797 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/139185.xml 5165798 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/85267.xml 5165799 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/213865.xml 5165800 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/85782.xml 5165801 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/98362.xml 5165802 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/4200.xml 5165803 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/3467.xml 5165804 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/139100.xml 5165805 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/128182.xml 5165806 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26882.xml 5165807 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/147437.xml 5165808 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26132.xml 5165809 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/135714.xml 5165810 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/124269.xml 5165811 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/262998.xml 5165812 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/137087.xml 5165813 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/136463.xml 5165814 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/214183.xml 5165815 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/136534.xml 5165816 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/96104.xml 5165817 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/86025.xml 5165818 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26123.xml 5165819 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/40708.xml 5165820 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26943.xml 5165821 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/85920.xml 5165822 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/212026.xml 5165823 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/85749.xml 5165824 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/211960.xml 5165825 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/167433.xml 5165826 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/57799.xml 5165827 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/152786.xml 5165828 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/165975.xml 5165829 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/27003.xml 5165830 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/160660.xml 5165831 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/25731.xml 5165832 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/142142.xml 5165833 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/138089.xml 5165834 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/27023.xml 5165835 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/84886.xml 5165836 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/3865.xml 5165837 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/3995.xml 5165838 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/137621.xml 5165839 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/107193.xml 5165840 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/231604.xml 5165841 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/138993.xml 5165842 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/96156.xml 5165843 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/142146.xml 5165844 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/63142.xml 5165845 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/162075.xml 5165846 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/96485.xml 5165847 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/43621.xml 5165848 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/4819.xml 5165849 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/247992.xml 5165850 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/135601.xml 5165851 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/135782.xml 5165852 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/160210.xml 5165853 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/157150.xml 5165854 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/166001.xml 5165855 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/188296.xml 5165856 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26130.xml 5165857 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26960.xml 5165858 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/4282.xml 5165859 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/133827.xml 5165860 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/85721.xml 5165861 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/149297.xml 5165862 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/137404.xml 5165863 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26998.xml 5165864 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/264370.xml 5165865 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/25416.xml 5165866 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/27235.xml 5165867 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26069.xml 5165868 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/149319.xml 5165869 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/160462.xml 5165870 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26291.xml 5165871 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/180915.xml 5165872 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/139190.xml 5165873 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26916.xml 5165874 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/188261.xml 5165875 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/162016.xml 5165876 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/3786.xml 5165877 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/4074.xml 5165878 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/42170.xml 5165879 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/167087.xml 5165880 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/97917.xml 5165881 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/254704.xml 5165882 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/86636.xml 5165883 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/68322.xml 5165884 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/132622.xml 5165885 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/153170.xml 5165886 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/133079.xml 5165887 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26986.xml 5165888 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/212612.xml 5165889 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/231230.xml 5165890 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/135115.xml 5165891 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/230948.xml 5165892 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/212043.xml 5165893 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/107236.xml 5165894 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/161864.xml 5165895 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/149713.xml 5165896 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/213437.xml 5165897 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/132720.xml 5165898 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/153371.xml 5165899 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/167742.xml 5165900 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/140659.xml 5165901 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/50904.xml 5165902 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/139167.xml 5165903 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26978.xml 5165904 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/4412.xml 5165905 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/68535.xml 5165906 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/96403.xml 5165907 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/183803.xml 5165908 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/149277.xml 5165909 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/130962.xml 5165910 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/43603.xml 5165911 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/86052.xml 5165912 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/161593.xml 5165913 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/249459.xml 5165914 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/140287.xml 5165915 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/48686.xml 5165916 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26186.xml 5165917 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/188004.xml 5165918 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/138194.xml 5165919 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/25409.xml 5165920 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/186617.xml 5165921 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/136323.xml 5165922 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/4934.xml 5165923 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/58194.xml 5165924 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/43987.xml 5165925 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/188238.xml 5165926 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/135936.xml 5165927 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/29415.xml 5165928 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26931.xml 5165929 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/96065.xml 5165930 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/39849.xml 5165931 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/68989.xml 5165932 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/123759.xml 5165933 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/187837.xml 5165934 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/150188.xml 5165935 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/96642.xml 5165936 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/96438.xml 5165937 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/25726.xml 5165938 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/133432.xml 5165939 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/247254.xml 5165940 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/28643.xml 5165941 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/137623.xml 5165942 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/85834.xml 5165943 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/58125.xml 5165944 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/132848.xml 5165945 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/42683.xml 5165946 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/86577.xml 5165947 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/4991.xml 5165948 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/3633.xml 5165949 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26875.xml 5165950 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/139004.xml 5165951 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/212364.xml 5165952 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/96563.xml 5165953 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/96086.xml 5165954 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/231480.xml 5165955 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/135410.xml 5165956 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/48328.xml 5165957 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/3705.xml 5165958 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/3746.xml 5165959 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/91233.xml 5165960 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/161519.xml 5165961 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/142157.xml 5165962 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/150725.xml 5165963 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/57278.xml 5165964 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/263745.xml 5165965 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/25395.xml 5165966 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/150468.xml 5165967 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/167041.xml 5165968 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/4051.xml 5165969 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26976.xml 5165970 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26957.xml 5165971 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/4248.xml 5165972 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/4840.xml 5165973 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/81452.xml 5165974 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/140654.xml 5165975 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/231378.xml 5165976 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/128515.xml 5165977 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/151247.xml 5165978 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/128620.xml 5165979 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/230819.xml 5165980 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/212892.xml 5165981 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/85590.xml 5165982 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/85345.xml 5165983 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/166558.xml 5165984 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/96302.xml 5165985 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26965.xml 5165986 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/160234.xml 5165987 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/27006.xml 5165988 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/4970.xml 5165989 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/3498.xml 5165990 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/43650.xml 5165991 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/3450.xml 5165992 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/213281.xml 5165993 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/188696.xml 5165994 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/150258.xml 5165995 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/214091.xml 5165996 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/45720.xml 5165997 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/213407.xml 5165998 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/157713.xml 5165999 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/212308.xml 5166000 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/27015.xml 5166001 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/3589.xml 5166002 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/132833.xml 5166003 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26879.xml 5166004 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/133881.xml 5166005 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26226.xml 5166006 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/137715.xml 5166007 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/40540.xml 5166008 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/213537.xml 5166009 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/130304.xml 5166010 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/51424.xml 5166011 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/96274.xml 5166012 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/150815.xml 5166013 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/3680.xml 5166014 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/136601.xml 5166015 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/153034.xml 5166016 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/149915.xml 5166017 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/4036.xml 5166018 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/95858.xml 5166019 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/167636.xml 5166020 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/85675.xml 5166021 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26949.xml 5166022 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/86499.xml 5166023 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/56144.xml 5166024 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/214261.xml 5166025 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/54097.xml 5166026 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/166465.xml 5166027 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/3817.xml 5166028 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/4141.xml 5166029 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/214320.xml 5166030 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/166848.xml 5166031 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/4181.xml 5166032 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26103.xml 5166033 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26980.xml 5166034 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/3562.xml 5166035 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/187254.xml 5166036 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/58301.xml 5166037 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/157161.xml 5166038 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/184957.xml 5166039 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/165755.xml 5166040 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/4002.xml 5166041 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/137316.xml 5166042 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/42466.xml 5166043 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/249386.xml 5166044 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26972.xml 5166045 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/54622.xml 5166046 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/57852.xml 5166047 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/51577.xml 5166048 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/136562.xml 5166049 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/132969.xml 5166050 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/4827.xml 5166051 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/186810.xml 5166052 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/140318.xml 5166053 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/96612.xml 5166054 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/27034.xml 5166055 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/132782.xml 5166056 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/95899.xml 5166057 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/25808.xml 5166058 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/86526.xml 5166059 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/212094.xml 5166060 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/211639.xml 5166061 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/41843.xml 5166062 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/139236.xml 5166063 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/25734.xml 5166064 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/96370.xml 5166065 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/3729.xml 5166066 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/48262.xml 5166067 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/95978.xml 5166068 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/96673.xml 5166069 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/3939.xml 5166070 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/25849.xml 5166071 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/158620.xml 5166072 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/25388.xml 5166073 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/3336.xml 5166074 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/3385.xml 5166075 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/27028.xml 5166076 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26933.xml 5166077 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/167452.xml 5166078 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/128056.xml 5166079 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/186222.xml 5166080 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/212480.xml 5166081 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/136354.xml 5166082 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/107220.xml 5166083 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/150067.xml 5166084 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/264405.xml 5166085 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/85650.xml 5166086 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/136497.xml 5166087 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/135652.xml 5166088 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/3856.xml 5166089 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/57132.xml 5166090 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/25775.xml 5166091 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/157388.xml 5166092 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/132540.xml 5166093 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/58221.xml 5166094 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/160364.xml 5166095 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/3930.xml 5166096 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/86617.xml 5166097 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/136280.xml 5166098 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/96417.xml 5166099 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/4029.xml 5166100 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/211915.xml 5166101 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/86857.xml 5166102 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/160324.xml 5166103 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26940.xml 5166104 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/130161.xml 5166105 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/4816.xml 5166106 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/96224.xml 5166107 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/142150.xml 5166108 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/153243.xml 5166109 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/167310.xml 5166110 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/249663.xml 5166111 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/231043.xml 5166112 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/5011.xml 5166113 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/186775.xml 5166114 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/211978.xml 5166115 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/213218.xml 5166116 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/3861.xml 5166117 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/186973.xml 5166118 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/149361.xml 5166119 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/91210.xml 5166120 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/259625.xml 5166121 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/3927.xml 5166122 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/132864.xml 5166123 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/132957.xml 5166124 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/27280.xml 5166125 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/3762.xml 5166126 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26105.xml 5166127 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/139282.xml 5166128 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/162244.xml 5166129 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/4854.xml 5166130 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/65081.xml 5166131 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/132738.xml 5166132 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/167526.xml 5166133 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/213611.xml 5166134 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/157603.xml 5166135 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/161930.xml 5166136 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/165936.xml 5166137 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/96239.xml 5166138 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/150839.xml 5166139 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/214169.xml 5166140 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/88143.xml 5166141 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/165904.xml 5166142 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/41865.xml 5166143 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/186333.xml 5166144 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/5076.xml 5166145 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/4847.xml 5166146 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/148543.xml 5166147 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/212774.xml 5166148 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/4046.xml 5166149 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/152949.xml 5166150 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/137799.xml 5166151 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/213560.xml 5166152 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/167294.xml 5166153 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/150877.xml 5166154 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/45970.xml 5166155 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/97901.xml 5166156 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/27134.xml 5166157 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/64160.xml 5166158 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/212421.xml 5166159 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/185628.xml 5166160 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/158342.xml 5166161 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/26896.xml 5166162 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/97929.xml 5166163 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/213147.xml 5166164 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/4017.xml 5166165 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/25192.xml 5166166 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/157466.xml 5166167 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/162095.xml 5166168 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/40033.xml 5166169 pending submission
Derivational_Complexity_Full_Rewriting/ICFP_2010/28293.xml 5166170 pending submission
Derivational_Complexity_Full_Rewriting/HirokawaMiddeldorp_04/t011.xml 5164913 n2 +1 1 +0 102.09/30.11
Derivational_Complexity_Full_Rewriting/HirokawaMiddeldorp_04/t008.xml 5164914 n2 +1 1 +0 83.18/30.12
Derivational_Complexity_Full_Rewriting/HirokawaMiddeldorp_04/n006.xml 5164915 ∞ +0 1 +0 103.44/30.08
Derivational_Complexity_Full_Rewriting/HirokawaMiddeldorp_04/n005.xml 5164916 ∞ +0 1 +0 107.32/30.02
Derivational_Complexity_Full_Rewriting/HirokawaMiddeldorp_04/t004.xml 5164917 ∞ +0 1 +0 110.92/33.59
Derivational_Complexity_Full_Rewriting/HirokawaMiddeldorp_04/n002.xml 5164918 ∞ +0 1 +0 107.53/30.01
Derivational_Complexity_Full_Rewriting/HirokawaMiddeldorp_04/t006.xml 5164919 n1 +1 1 +0 0.16/0.04
Derivational_Complexity_Full_Rewriting/HirokawaMiddeldorp_04/t010.xml 5164920 n1 +1 1 +0 95.24/30.11
Derivational_Complexity_Full_Rewriting/HirokawaMiddeldorp_04/t007.xml 5164921 n1 +1 1 +0 95.37/30.02
Derivational_Complexity_Full_Rewriting/HirokawaMiddeldorp_04/n003.xml 5164922 ∞ +0 1 +0 103.05/30.02
Derivational_Complexity_Full_Rewriting/HirokawaMiddeldorp_04/t012.xml 5164923 ∞ +0 1 +0 162.19/76.01
Derivational_Complexity_Full_Rewriting/HirokawaMiddeldorp_04/n004.xml 5164924 ∞ +0 1 +0 104.73/30.04
Derivational_Complexity_Full_Rewriting/HirokawaMiddeldorp_04/t009.xml 5164925 ∞ +0 1 +0 1169.59/293.08
Derivational_Complexity_Full_Rewriting/HirokawaMiddeldorp_04/n008.xml 5164926 ∞ +0 1 +0 106.25/30.02
Derivational_Complexity_Full_Rewriting/HirokawaMiddeldorp_04/t000.xml 5164927 n4 +1 1 +0 510.20/291.91
Derivational_Complexity_Full_Rewriting/Bouchare_06/05.xml 5164603 ∞ +0 1 +0 169.83/75.06
Derivational_Complexity_Full_Rewriting/Bouchare_06/03.xml 5164604 ∞ +0 1 +0 209.85/117.70
Derivational_Complexity_Full_Rewriting/Bouchare_06/01.xml 5164605 ∞ +0 1 +0 134.08/46.40
Derivational_Complexity_Full_Rewriting/Bouchare_06/12.xml 5164606 ∞ +0 1 +0 291.33/124.76
Derivational_Complexity_Full_Rewriting/Bouchare_06/10.xml 5164607 ∞ +0 1 +0 394.08/293.11
Derivational_Complexity_Full_Rewriting/Bouchare_06/06.xml 5164608 ∞ +0 1 +0 646.80/293.76
Derivational_Complexity_Full_Rewriting/Bouchare_06/02.xml 5164609 n1 +1 1 +0 80.61/30.16
Derivational_Complexity_Full_Rewriting/Bouchare_06/14.xml 5164610 ∞ +0 1 +0 369.39/293.11
Derivational_Complexity_Full_Rewriting/Bouchare_06/13.xml 5164611 ∞ +0 1 +0 417.11/293.04
Derivational_Complexity_Full_Rewriting/Bouchare_06/04.xml 5164612 ∞ +0 1 +0 255.10/144.71
Derivational_Complexity_Full_Rewriting/Bouchare_06/17.xml 5164613 ∞ +0 1 +0 144.66/59.68
Derivational_Complexity_Full_Rewriting/Bouchare_06/08.xml 5164614 ∞ +0 1 +0 728.10/293.54
Derivational_Complexity_Full_Rewriting/Bouchare_06/16.xml 5164615 ∞ +0 1 +0 250.46/165.40
Derivational_Complexity_Full_Rewriting/Bouchare_06/09.xml 5164616 ∞ +0 1 +0 207.13/114.32
Derivational_Complexity_Full_Rewriting/Bouchare_06/11.xml 5164617 ∞ +0 1 +0 351.71/266.97
Derivational_Complexity_Full_Rewriting/Bouchare_06/07.xml 5164618 pending submission
Derivational_Complexity_Full_Rewriting/Bouchare_06/18.xml 5164619 ∞ +0 1 +0 455.81/293.02
Derivational_Complexity_Full_Rewriting/Bouchare_06/15.xml 5164620 ∞ +0 1 +0 316.37/218.79
Derivational_Complexity_Full_Rewriting/AProVE_10/ex5.xml 5165575 n1 +1 1 +0 0.75/0.21
Derivational_Complexity_Full_Rewriting/Der95/03.xml 5164699 n1 +1 1 +0 0.29/0.10
Derivational_Complexity_Full_Rewriting/Der95/01.xml 5164700 n1 +1 1 +0 1.56/0.41
Derivational_Complexity_Full_Rewriting/Der95/27.xml 5164701 n2 +1 1 +0 91.14/30.11
Derivational_Complexity_Full_Rewriting/Der95/06.xml 5164702 ∞ +0 1 +0 379.31/293.05
Derivational_Complexity_Full_Rewriting/Der95/02.xml 5164703 n1 +1 1 +0 0.28/0.09
Derivational_Complexity_Full_Rewriting/Der95/20.xml 5164704 ∞ +0 1 +0 141.25/54.47
Derivational_Complexity_Full_Rewriting/Der95/04.xml 5164705 n1 +1 1 +0 80.57/30.12
Derivational_Complexity_Full_Rewriting/Der95/17.xml 5164706 n6 +1 1 +0 118.07/38.19
Derivational_Complexity_Full_Rewriting/Der95/09.xml 5164707 n2 +1 1 +0 88.28/30.11
Derivational_Complexity_Full_Rewriting/Der95/07.xml 5164708 n2 +1 1 +0 234.78/99.19
Derivational_Complexity_Full_Rewriting/CiME_04/filliatre2.xml 5164954 ∞ +0 1 +0 380.46/293.12
Derivational_Complexity_Full_Rewriting/CiME_04/filliatre.xml 5164955 ∞ +0 1 +0 408.22/293.04
Derivational_Complexity_Full_Rewriting/CiME_04/dpqs.xml 5164956 n1 +1 1 +0 9.03/4.86
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/10.xml 5164564 ∞ +0 1 +0 513.21/293.04
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/aprove07.xml 5164565 ∞ +0 1 +0 1179.75/295.07
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/secr2.xml 5164566 ∞ +0 1 +0 121.14/35.38
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/secr9.xml 5164567 ∞ +0 1 +0 208.48/79.77
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/aprove04.xml 5164568 timeout (cpu)
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/multum5.xml 5164569 ∞ +0 1 +0 424.84/293.75
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/secr3.xml 5164570 ∞ +0 1 +0 778.86/293.18
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/5-matchbox.xml 5164571 ∞ +0 1 +0 770.05/293.62
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/secr4.xml 5164572 ∞ +0 1 +0 198.41/90.24
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/3.xml 5164573 ∞ +0 1 +0 138.54/49.53
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/multum6.xml 5164574 ∞ +0 1 +0 763.72/293.98
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/7.xml 5164575 ∞ +0 1 +0 821.73/294.01
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/aprove02.xml 5164576 ∞ +0 1 +0 1175.08/294.02
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/1.xml 5164577 ∞ +0 1 +0 513.62/292.78
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/aprove08.xml 5164578 ∞ +0 1 +0 1172.61/293.26
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/multum2.xml 5164579 ∞ +0 1 +0 152.37/54.43
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/secr10.xml 5164580 ∞ +0 1 +0 1051.24/293.86
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/multum3.xml 5164581 ∞ +0 1 +0 207.74/66.38
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/aprove09.xml 5164582 pending submission
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/aprove01.xml 5164583 ∞ +0 1 +0 1022.23/293.16
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/secr7.xml 5164584 ∞ +0 1 +0 179.97/78.87
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/5.xml 5164585 ∞ +0 1 +0 147.61/59.15
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/3-matchbox.xml 5164586 n5 +1 1 +0 764.73/294.03
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/aprove06.xml 5164587 timeout (cpu)
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/aprove03.xml 5164588 ∞ +0 1 +0 1178.83/295.29
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/2.xml 5164589 ∞ +0 1 +0 325.77/197.11
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/2-matchbox.xml 5164590 ∞ +0 1 +0 824.52/292.79
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/8.xml 5164591 ∞ +0 1 +0 422.37/293.77
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/secr8.xml 5164592 ∞ +0 1 +0 375.27/267.78
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/secr6.xml 5164593 ∞ +0 1 +0 689.37/293.13
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/6.xml 5164594 pending submission
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/aprove00.xml 5164595 timeout (wallclock)
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/secr5.xml 5164596 ∞ +0 1 +0 208.37/71.24
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/9.xml 5164597 ∞ +0 1 +0 227.25/75.47
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/multum1.xml 5164598 ∞ +0 1 +0 254.14/84.56
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/aprove05.xml 5164599 ∞ +0 1 +0 1180.12/295.07
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/secr1.xml 5164600 ∞ +0 1 +0 98.87/30.06
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/1-matchbox.xml 5164601 ∞ +0 1 +0 166.98/73.85
Derivational_Complexity_Full_Rewriting/Secret_06_SRS/multum4.xml 5164602 n1 +1 1 +0 1174.48/294.07
Derivational_Complexity_Full_Rewriting/Secret_05_TRS/teparla2.xml 5164908 ∞ +0 1 +0 36.67/27.69
Derivational_Complexity_Full_Rewriting/Secret_05_TRS/teparla1.xml 5164909 ∞ +0 1 +0 353.85/226.71
Derivational_Complexity_Full_Rewriting/Secret_05_TRS/teparla3.xml 5164910 ∞ +0 1 +0 125.19/35.85
Derivational_Complexity_Full_Rewriting/Secret_05_TRS/ttt2.xml 5164911 ∞ +0 1 +0 110.39/30.03
Derivational_Complexity_Full_Rewriting/Secret_05_TRS/matchbox2.xml 5164912 n1 +1 1 +0 439.64/293.11
Derivational_Complexity_Full_Rewriting/Secret_07_SRS/num-515.xml 5164968 ∞ +0 1 +0 206.64/90.00
Derivational_Complexity_Full_Rewriting/Secret_07_SRS/x02.xml 5164969 ∞ +0 1 +0 185.31/100.62
Derivational_Complexity_Full_Rewriting/Secret_07_SRS/num-520.xml 5164970 ∞ +0 1 +0 647.27/294.01
Derivational_Complexity_Full_Rewriting/Secret_07_SRS/x03.xml 5164971 ∞ +0 1 +0 467.91/293.32
Derivational_Complexity_Full_Rewriting/Secret_07_SRS/x06.xml 5164972 ∞ +0 1 +0 399.58/293.04
Derivational_Complexity_Full_Rewriting/Secret_07_SRS/num-518.xml 5164973 ∞ +0 1 +0 563.96/293.08
Derivational_Complexity_Full_Rewriting/Secret_07_SRS/x05.xml 5164974 ∞ +0 1 +0 479.18/293.10
Derivational_Complexity_Full_Rewriting/Secret_07_SRS/dj.xml 5164975 ∞ +0 1 +0 110.92/30.02
Derivational_Complexity_Full_Rewriting/Secret_07_SRS/num-539.xml 5164976 ∞ +0 1 +0 215.64/86.46
Derivational_Complexity_Full_Rewriting/Secret_07_SRS/num-530.xml 5164977 ∞ +0 1 +0 228.24/106.32
Derivational_Complexity_Full_Rewriting/Secret_07_SRS/x07.xml 5164978 ∞ +0 1 +0 370.10/177.00
Derivational_Complexity_Full_Rewriting/Secret_07_SRS/num-519.xml 5164979 ∞ +0 1 +0 143.13/41.45
Derivational_Complexity_Full_Rewriting/Secret_07_SRS/x08.xml 5164980 ∞ +0 1 +0 503.07/290.94
Derivational_Complexity_Full_Rewriting/Secret_07_SRS/num-521.xml 5164981 ∞ +0 1 +0 468.97/293.68
Derivational_Complexity_Full_Rewriting/Secret_07_SRS/num-527.xml 5164982 ∞ +0 1 +0 461.85/197.27
Derivational_Complexity_Full_Rewriting/Secret_07_SRS/num-525.xml 5164983 ∞ +0 1 +0 546.30/256.95
Derivational_Complexity_Full_Rewriting/Secret_07_SRS/x10.xml 5164984 ∞ +0 1 +0 106.45/30.04
Derivational_Complexity_Full_Rewriting/Secret_07_SRS/x04.xml 5164985 ∞ +0 1 +0 228.92/84.51
Derivational_Complexity_Full_Rewriting/Secret_07_SRS/x09.xml 5164986 pending submission
Derivational_Complexity_Full_Rewriting/Secret_07_SRS/x01.xml 5164987 ∞ +0 1 +0 200.35/116.13
Derivational_Complexity_Full_Rewriting/Secret_07_SRS/num-514.xml 5164988 ∞ +0 1 +0 616.18/293.49
Derivational_Complexity_Full_Rewriting/Secret_06_TRS/10.xml 5164471 n1 +1 1 +0 130.68/77.52
Derivational_Complexity_Full_Rewriting/Secret_06_TRS/3.xml 5164472 ∞ +0 1 +0 127.88/40.85
Derivational_Complexity_Full_Rewriting/Secret_06_TRS/7.xml 5164473 n2 +1 1 +0 145.60/65.22
Derivational_Complexity_Full_Rewriting/Secret_06_TRS/tpa02.xml 5164474 ∞ +0 1 +0 100.14/30.08
Derivational_Complexity_Full_Rewriting/Secret_06_TRS/5.xml 5164475 ∞ +0 1 +0 121.73/38.80
Derivational_Complexity_Full_Rewriting/Secret_06_TRS/tpa01.xml 5164476 ∞ +0 1 +0 21.87/15.93
Derivational_Complexity_Full_Rewriting/Secret_06_TRS/2.xml 5164477 ∞ +0 1 +0 401.89/293.11
Derivational_Complexity_Full_Rewriting/Secret_06_TRS/8.xml 5164478 n1 +1 1 +0 100.99/86.02
Derivational_Complexity_Full_Rewriting/Secret_06_TRS/tpa03.xml 5164479 ∞ +0 1 +0 22.10/17.21
Derivational_Complexity_Full_Rewriting/Secret_06_TRS/6.xml 5164480 n2 +1 1 +0 83.94/30.11
Derivational_Complexity_Full_Rewriting/Secret_06_TRS/9.xml 5164481 n1 +1 1 +0 9.37/5.50
Derivational_Complexity_Full_Rewriting/Secret_06_TRS/4.xml 5164482 ∞ +0 1 +0 197.97/75.59
Derivational_Complexity_Full_Rewriting/Mixed_TRS/jones1.xml 5164555 n2 +1 1 +0 86.53/30.02
Derivational_Complexity_Full_Rewriting/Mixed_TRS/beans.xml 5164556 ∞ +0 1 +0 193.81/89.87
Derivational_Complexity_Full_Rewriting/Mixed_TRS/1.xml 5164557 StarExec error
Derivational_Complexity_Full_Rewriting/Mixed_TRS/jones4.xml 5164558 n1 +1 1 +0 0.17/0.05
Derivational_Complexity_Full_Rewriting/Mixed_TRS/Ex1_Luc04b_GM.xml 5164559 ∞ +0 1 +0 475.15/293.12
Derivational_Complexity_Full_Rewriting/Mixed_TRS/2.xml 5164560 ∞ +0 1 +0 379.79/293.08
Derivational_Complexity_Full_Rewriting/Mixed_TRS/jones6.xml 5164561 n2 +1 1 +0 85.08/30.10
Derivational_Complexity_Full_Rewriting/Mixed_TRS/6.xml 5164562 ∞ +0 1 +0 224.79/130.82
Derivational_Complexity_Full_Rewriting/Mixed_TRS/4.xml 5164563 n1 +1 1 +0 37.10/22.12
Derivational_Complexity_Full_Rewriting/Mixed_SRS/01-oppelt08.xml 5164928 ∞ +0 1 +0 812.27/294.01
Derivational_Complexity_Full_Rewriting/Mixed_SRS/05.xml 5164929 ∞ +0 1 +0 393.06/293.71
Derivational_Complexity_Full_Rewriting/Mixed_SRS/03.xml 5164930 ∞ +0 1 +0 510.72/294.11
Derivational_Complexity_Full_Rewriting/Mixed_SRS/01.xml 5164931 ∞ +0 1 +0 457.19/294.05
Derivational_Complexity_Full_Rewriting/Mixed_SRS/touzet.xml 5164932 ∞ +0 1 +0 112.93/31.56
Derivational_Complexity_Full_Rewriting/Mixed_SRS/06.xml 5164933 ∞ +0 1 +0 555.12/293.85
Derivational_Complexity_Full_Rewriting/Mixed_SRS/02.xml 5164934 ∞ +0 1 +0 456.12/293.19
Derivational_Complexity_Full_Rewriting/Mixed_SRS/08-oppelt08.xml 5164935 ∞ +0 1 +0 890.39/293.75
Derivational_Complexity_Full_Rewriting/Mixed_SRS/07-oppelt08.xml 5164936 ∞ +0 1 +0 1170.78/293.20
Derivational_Complexity_Full_Rewriting/Mixed_SRS/3.xml 5164937 n2 +1 1 +0 339.83/185.81
Derivational_Complexity_Full_Rewriting/Mixed_SRS/1.xml 5164938 ∞ +0 1 +0 692.25/293.11
Derivational_Complexity_Full_Rewriting/Mixed_SRS/04.xml 5164939 ∞ +0 1 +0 506.35/294.04
Derivational_Complexity_Full_Rewriting/Mixed_SRS/08.xml 5164940 ∞ +0 1 +0 153.59/64.63
Derivational_Complexity_Full_Rewriting/Mixed_SRS/04-oppelt08.xml 5164941 ∞ +0 1 +0 552.23/293.11
Derivational_Complexity_Full_Rewriting/Mixed_SRS/03-oppelt08.xml 5164942 ∞ +0 1 +0 406.34/293.11
Derivational_Complexity_Full_Rewriting/Mixed_SRS/s6.xml 5164943 n3 +1 1 +0 1171.49/294.06
Derivational_Complexity_Full_Rewriting/Mixed_SRS/09.xml 5164944 ∞ +0 1 +0 204.43/98.72
Derivational_Complexity_Full_Rewriting/Mixed_SRS/06-oppelt08.xml 5164945 ∞ +0 1 +0 1171.04/293.61
Derivational_Complexity_Full_Rewriting/Mixed_SRS/07.xml 5164946 ∞ +0 1 +0 119.45/30.03
Derivational_Complexity_Full_Rewriting/Mixed_SRS/2.xml 5164947 ∞ +0 1 +0 804.74/294.01
Derivational_Complexity_Full_Rewriting/Mixed_SRS/02-oppelt08.xml 5164948 ∞ +0 1 +0 557.30/293.11
Derivational_Complexity_Full_Rewriting/Mixed_SRS/turing_copy.xml 5164949 ∞ +0 1 +0 684.95/294.03
Derivational_Complexity_Full_Rewriting/Mixed_SRS/turing_add.xml 5164950 pending submission
Derivational_Complexity_Full_Rewriting/Mixed_SRS/4.xml 5164951 ∞ +0 1 +0 1174.02/294.18
Derivational_Complexity_Full_Rewriting/Mixed_SRS/turing_mult.xml 5164952 ∞ +0 1 +0 771.68/294.02
Derivational_Complexity_Full_Rewriting/Mixed_SRS/05-oppelt08.xml 5164953 ∞ +0 1 +0 779.04/293.86
Derivational_Complexity_Full_Rewriting/Secret_05_SRS/aprove2.xml 5165072 ∞ +0 1 +0 264.05/126.32
Derivational_Complexity_Full_Rewriting/Secret_05_SRS/jambox3.xml 5165073 ∞ +0 1 +0 150.72/46.28
Derivational_Complexity_Full_Rewriting/Secret_05_SRS/jambox4.xml 5165074 ∞ +0 1 +0 486.30/293.11
Derivational_Complexity_Full_Rewriting/Secret_05_SRS/matchbox1.xml 5165075 n9 +1 1 +0 640.61/293.68
Derivational_Complexity_Full_Rewriting/Secret_05_SRS/aprove3.xml 5165076 ∞ +0 1 +0 621.97/293.47
Derivational_Complexity_Full_Rewriting/Secret_05_SRS/aprove1.xml 5165077 ∞ +0 1 +0 548.24/290.41
Derivational_Complexity_Full_Rewriting/Secret_05_SRS/torpa2.xml 5165078 ∞ +0 1 +0 803.40/293.89
Derivational_Complexity_Full_Rewriting/Secret_05_SRS/jambox2.xml 5165079 ∞ +0 1 +0 434.47/293.17
Derivational_Complexity_Full_Rewriting/Secret_05_SRS/jambox5.xml 5165080 ∞ +0 1 +0 132.61/46.25
Derivational_Complexity_Full_Rewriting/Secret_05_SRS/torpa3.xml 5165081 n1 +1 1 +0 101.22/30.18
Derivational_Complexity_Full_Rewriting/Secret_05_SRS/jambox1.xml 5165082 ∞ +0 1 +0 678.02/293.75
Derivational_Complexity_Full_Rewriting/Secret_05_SRS/aprove4.xml 5165083 ∞ +0 1 +0 299.01/169.23
Derivational_Complexity_Full_Rewriting/Secret_05_SRS/aprove5.xml 5165084 ∞ +0 1 +0 586.24/293.66
Derivational_Complexity_Full_Rewriting/Secret_05_SRS/torpa4.xml 5165085 ∞ +0 1 +0 583.19/293.94
Derivational_Complexity_Full_Rewriting/Secret_05_SRS/torpa1.xml 5165086 ∞ +0 1 +0 215.53/89.20
Derivational_Complexity_Full_Rewriting/Secret_05_SRS/matchbox2.xml 5165087 n1 +1 1 +0 224.50/83.20
Derivational_Complexity_Full_Rewriting/Rubio_04/lindau.xml 5164989 n1 +1 1 +0 4.55/1.62
Derivational_Complexity_Full_Rewriting/Rubio_04/gmnp.xml 5164990 n1 +1 1 +0 319.88/293.08
Derivational_Complexity_Full_Rewriting/Rubio_04/bn129.xml 5164991 ∞ +0 1 +0 72.02/18.97
Derivational_Complexity_Full_Rewriting/Rubio_04/p266.xml 5164992 n1 +1 1 +0 2.44/1.24
Derivational_Complexity_Full_Rewriting/Rubio_04/bintrees.xml 5164993 n2 +1 1 +0 92.16/30.10
Derivational_Complexity_Full_Rewriting/Rubio_04/nestrec.xml 5164994 ∞ +0 1 +0 379.12/293.11
Derivational_Complexity_Full_Rewriting/Rubio_04/test829.xml 5164995 n1 +1 1 +0 70.79/67.33
Derivational_Complexity_Full_Rewriting/Rubio_04/koen.xml 5164996 n1 +1 1 +0 0.77/0.22
Derivational_Complexity_Full_Rewriting/Rubio_04/mfp90b.xml 5164997 n1 +1 1 +0 0.40/0.11
Derivational_Complexity_Full_Rewriting/Rubio_04/mfp95.xml 5164998 n1 +1 1 +0 0.62/0.18
Derivational_Complexity_Full_Rewriting/Rubio_04/test4.xml 5164999 n1 +1 1 +0 1.97/0.52
Derivational_Complexity_Full_Rewriting/Rubio_04/lescanne.xml 5165000 n2 +1 1 +0 81.00/30.19
Derivational_Complexity_Full_Rewriting/Rubio_04/aoto.xml 5165001 n1 +1 1 +0 3.13/1.79
Derivational_Complexity_Full_Rewriting/Trafo_06/un08.xml 5164666 ∞ +0 1 +0 543.75/291.42
Derivational_Complexity_Full_Rewriting/Trafo_06/hom01.xml 5164667 ∞ +0 1 +0 802.43/293.77
Derivational_Complexity_Full_Rewriting/Trafo_06/dup06.xml 5164668 ∞ +0 1 +0 766.45/294.05
Derivational_Complexity_Full_Rewriting/Trafo_06/un07.xml 5164669 ∞ +0 1 +0 874.39/294.08
Derivational_Complexity_Full_Rewriting/Trafo_06/hom03.xml 5164670 StarExec error
Derivational_Complexity_Full_Rewriting/Trafo_06/dup10.xml 5164671 ∞ +0 1 +0 1175.37/294.05
Derivational_Complexity_Full_Rewriting/Trafo_06/un12.xml 5164672 ∞ +0 1 +0 1174.11/294.02
Derivational_Complexity_Full_Rewriting/Trafo_06/un14.xml 5164673 timeout (wallclock)
Derivational_Complexity_Full_Rewriting/Trafo_06/dup08.xml 5164674 ∞ +0 1 +0 1059.48/294.15
Derivational_Complexity_Full_Rewriting/Trafo_06/dup15.xml 5164675 ∞ +0 1 +0 668.20/293.92
Derivational_Complexity_Full_Rewriting/Trafo_06/un10.xml 5164676 ∞ +0 1 +0 1174.71/294.10
Derivational_Complexity_Full_Rewriting/Trafo_06/hom02.xml 5164677 ∞ +0 1 +0 510.64/293.60
Derivational_Complexity_Full_Rewriting/Trafo_06/un13.xml 5164678 ∞ +0 1 +0 1173.91/294.13
Derivational_Complexity_Full_Rewriting/Trafo_06/dup05.xml 5164679 ∞ +0 1 +0 994.33/293.59
Derivational_Complexity_Full_Rewriting/Trafo_06/dup14.xml 5164680 ∞ +0 1 +0 969.84/294.07
Derivational_Complexity_Full_Rewriting/Trafo_06/dup01.xml 5164681 n5 +1 1 +0 1178.23/295.48
Derivational_Complexity_Full_Rewriting/Trafo_06/un16.xml 5164682 ∞ +0 1 +0 862.94/294.04
Derivational_Complexity_Full_Rewriting/Trafo_06/dup13.xml 5164683 ∞ +0 1 +0 965.31/293.72
Derivational_Complexity_Full_Rewriting/Trafo_06/un02.xml 5164684 ∞ +0 1 +0 1172.03/294.51
Derivational_Complexity_Full_Rewriting/Trafo_06/un04.xml 5164685 ∞ +0 1 +0 942.23/294.06
Derivational_Complexity_Full_Rewriting/Trafo_06/un15.xml 5164686 ∞ +0 1 +0 887.79/294.02
Derivational_Complexity_Full_Rewriting/Trafo_06/dup12.xml 5164687 ∞ +0 1 +0 749.46/294.03
Derivational_Complexity_Full_Rewriting/Trafo_06/un06.xml 5164688 ∞ +0 1 +0 977.53/294.07
Derivational_Complexity_Full_Rewriting/Trafo_06/dup17.xml 5164689 ∞ +0 1 +0 759.65/294.05
Derivational_Complexity_Full_Rewriting/Trafo_06/un05.xml 5164690 ∞ +0 1 +0 525.42/293.53
Derivational_Complexity_Full_Rewriting/Trafo_06/un11.xml 5164691 ∞ +0 1 +0 1109.33/293.59
Derivational_Complexity_Full_Rewriting/Trafo_06/dup16.xml 5164692 n1 +1 1 +0 496.96/291.65
Derivational_Complexity_Full_Rewriting/Trafo_06/dup11.xml 5164693 timeout (wallclock)
Derivational_Complexity_Full_Rewriting/Trafo_06/un18.xml 5164694 ∞ +0 1 +0 963.59/293.99
Derivational_Complexity_Full_Rewriting/Trafo_06/un09.xml 5164695 ∞ +0 1 +0 1122.43/293.86
Derivational_Complexity_Full_Rewriting/Trafo_06/un17.xml 5164696 pending submission
Derivational_Complexity_Full_Rewriting/Trafo_06/dup09.xml 5164697 pending submission
Derivational_Complexity_Full_Rewriting/Trafo_06/dup07.xml 5164698 pending submission
Derivational_Complexity_Full_Rewriting/Strategy_removed_mixed_05/ex3.xml 5165088 ∞ +0 1 +0 107.35/30.02
Derivational_Complexity_Full_Rewriting/Strategy_removed_mixed_05/gkg.xml 5165089 ∞ +0 1 +0 119.55/30.01
Derivational_Complexity_Full_Rewriting/Strategy_removed_mixed_05/n001.xml 5165090 ∞ +0 1 +0 387.14/294.11
Derivational_Complexity_Full_Rewriting/Strategy_removed_mixed_05/ex5.xml 5165091 ∞ +0 1 +0 89.64/30.02
Derivational_Complexity_Full_Rewriting/Strategy_removed_mixed_05/ex6.xml 5165092 ∞ +0 1 +0 40.19/35.48
Derivational_Complexity_Full_Rewriting/Strategy_removed_mixed_05/ex1.xml 5165093 ∞ +0 1 +0 101.14/30.02
Derivational_Complexity_Full_Rewriting/Strategy_removed_mixed_05/test830.xml 5165094 n1 +1 1 +0 2.32/0.63
Derivational_Complexity_Full_Rewriting/Strategy_removed_mixed_05/ex4.xml 5165095 ∞ +0 1 +0 156.35/41.96
Derivational_Complexity_Full_Rewriting/Various_04/27.xml 5164546 n1 +1 1 +0 0.33/0.10
Derivational_Complexity_Full_Rewriting/Various_04/25.xml 5164547 n1 +1 1 +0 0.71/0.20
Derivational_Complexity_Full_Rewriting/Various_04/23.xml 5164548 n2 +1 1 +0 85.77/30.05
Derivational_Complexity_Full_Rewriting/Various_04/19.xml 5164549 ∞ +0 1 +0 107.20/31.33
Derivational_Complexity_Full_Rewriting/Various_04/07.xml 5164550 n1 +1 1 +0 0.19/0.06
Derivational_Complexity_Full_Rewriting/Various_04/18.xml 5164551 n3 +1 1 +0 191.84/98.31
Derivational_Complexity_Full_Rewriting/Various_04/21.xml 5164552 n7 +1 1 +0 1128.93/291.27
Derivational_Complexity_Full_Rewriting/Various_04/24.xml 5164553 n1 +1 1 +0 180.43/88.26
Derivational_Complexity_Full_Rewriting/Various_04/15.xml 5164554 ∞ +0 1 +0 108.80/31.92
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_complete_L.xml 5164709 ∞ +0 1 +0 0.02/0.02
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_GM.xml 5164710 ∞ +0 1 +0 499.80/293.12
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/ExIntrod_GM04_GM.xml 5164711 n3 +1 1 +0 219.83/58.39
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex25_Luc06_Z.xml 5164712 n1 +1 1 +0 2.99/0.76
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_nosorts_noand_iGM.xml 5164713 ∞ +0 1 +0 385.00/291.03
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml 5164714 n3 +1 1 +0 576.03/233.41
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_FR.xml 5164715 ∞ +0 1 +0 835.80/293.01
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/ExConc_Zan97_C.xml 5164716 n2 +1 1 +0 1166.67/294.10
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/ExProp7_Luc06_iGM.xml 5164717 ∞ +0 1 +0 545.57/293.02
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml 5164718 n1 +1 1 +0 0.88/0.27
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex23_Luc06_FR.xml 5164719 n2 +1 1 +0 136.92/53.14
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml 5164720 n3 +1 1 +0 302.34/174.06
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/ExProp7_Luc06_GM.xml 5164721 n12 +1 1 +0 1142.66/293.04
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_noand_iGM.xml 5164722 ∞ +0 1 +0 402.80/293.10
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex23_Luc06_C.xml 5164723 n16 +1 1 +0 1171.61/293.06
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nokinds_C.xml 5164724 ∞ +0 1 +0 410.67/293.13
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml 5164725 n2 +1 1 +0 76.03/30.10
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml 5164726 ∞ +0 1 +0 372.41/293.06
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml 5164727 ∞ +0 1 +0 0.00/0.01
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_complete-noand_L.xml 5164728 ∞ +0 1 +0 51.52/11.77
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml 5164729 ∞ +0 1 +0 0.02/0.01
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_complete_L.xml 5164730 ∞ +0 1 +0 0.02/0.01
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex15_Luc06_FR.xml 5164731 n2 +1 1 +0 107.23/30.03
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_L.xml 5164732 ∞ +0 1 +0 0.00/0.01
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml 5164733 ∞ +0 1 +0 0.00/0.01
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml 5164734 n2 +1 1 +0 84.21/30.15
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml 5164735 ∞ +0 1 +0 400.98/293.12
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml 5164736 n1 +1 1 +0 2.80/0.73
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_nosorts_FR.xml 5164737 n2 +1 1 +0 91.12/30.07
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_L.xml 5164738 ∞ +0 1 +0 0.00/0.01
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_L.xml 5164739 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml 5164740 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex23_Luc06_L.xml 5164741 n1 +1 1 +0 0.12/0.03
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex25_Luc06_iGM.xml 5164742 n2 +1 1 +0 192.98/117.04
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/ExIntrod_GM01_L.xml 5164743 ∞ +0 1 +0 0.00/0.01
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_FR.xml 5164744 ∞ +0 1 +0 372.27/293.07
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex24_Luc06_L.xml 5164745 ∞ +0 1 +0 103.21/30.10
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/ExConc_Zan97_Z.xml 5164746 ∞ +0 1 +0 141.83/55.31
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_L.xml 5164747 ∞ +0 1 +0 0.02/0.01
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml 5164748 n1 +1 1 +0 1.06/0.27
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_Luc04b_C.xml 5164749 ∞ +0 1 +0 421.34/293.05
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex14_Luc06_L.xml 5164750 ∞ +0 1 +0 140.47/35.90
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_L.xml 5164751 ∞ +0 1 +0 254.79/64.56
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_C.xml 5164752 ∞ +0 1 +0 537.11/293.07
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_FR.xml 5164753 ∞ +0 1 +0 169.41/87.82
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nokinds_GM.xml 5164754 ∞ +0 1 +0 374.81/293.16
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nokinds_L.xml 5164755 ∞ +0 1 +0 0.02/0.01
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/ExIntrod_GM99_L.xml 5164756 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_nosorts_C.xml 5164757 ∞ +0 1 +0 395.25/293.44
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/ExProp7_Luc06_FR.xml 5164758 n2 +1 1 +0 114.08/33.18
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex15_Luc06_L.xml 5164759 ∞ +0 1 +0 107.20/30.10
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml 5164760 ∞ +0 1 +0 0.00/0.01
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex23_Luc06_Z.xml 5164761 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_complete-noand_L.xml 5164762 ∞ +0 1 +0 0.02/0.01
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/ExIntrod_GM04_Z.xml 5164763 ∞ +0 1 +0 391.30/290.33
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nosorts_iGM.xml 5164764 ∞ +0 1 +0 232.38/130.39
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_L.xml 5164765 ∞ +0 1 +0 0.00/0.01
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_L.xml 5164766 n1 +1 1 +0 0.72/0.20
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_Luc04b_L.xml 5164767 ∞ +0 1 +0 0.00/0.00
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nosorts_GM.xml 5164768 ∞ +0 1 +0 367.35/280.18
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex14_AEGL02_L.xml 5164769 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/ExIntrod_GM01_Z.xml 5164770 ∞ +0 1 +0 429.83/293.04
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml 5164771 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_L.xml 5164772 n1 +1 1 +0 0.14/0.04
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_L.xml 5164773 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml 5164774 n1 +1 1 +0 0.49/0.14
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_nokinds-noand_L.xml 5164775 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml 5164776 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_Luc02b_L.xml 5164777 ∞ +0 1 +0 0.00/0.01
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml 5164778 n2 +1 1 +0 84.70/30.03
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_Luc04b_GM.xml 5164779 ∞ +0 1 +0 476.28/293.09
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_complete-noand_L.xml 5164780 ∞ +0 1 +0 0.02/0.01
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex25_Luc06_L.xml 5164781 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex16_Luc06_FR.xml 5164782 ∞ +0 1 +0 117.77/30.02
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex23_Luc06_iGM.xml 5164783 n2 +1 1 +0 89.98/30.14
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_nosorts-noand_L.xml 5164784 ∞ +0 1 +0 0.00/0.00
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_nosorts_L.xml 5164785 ∞ +0 1 +0 0.00/0.01
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml 5164786 ∞ +0 1 +0 926.37/293.03
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml 5164787 ∞ +0 1 +0 0.00/0.01
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex9_Luc06_GM.xml 5164788 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml 5164789 ∞ +0 1 +0 0.02/0.01
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_Luc04b_Z.xml 5164790 ∞ +0 1 +0 239.06/155.71
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex16_Luc06_GM.xml 5164791 ∞ +0 1 +0 322.05/100.97
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_L.xml 5164792 n1 +1 1 +0 0.99/0.26
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nosorts_L.xml 5164793 ∞ +0 1 +0 0.00/0.00
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex15_Luc06_GM.xml 5164794 n2 +1 1 +0 108.57/30.74
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_nokinds_L.xml 5164795 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex15_Luc06_Z.xml 5164796 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml 5164797 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/ExIntrod_GM04_iGM.xml 5164798 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex6_GM04_C.xml 5164799 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml 5164800 paused
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/ExIntrod_GM04_C.xml 5164801 paused
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex16_Luc06_L.xml 5164802 paused
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex18_Luc06_L.xml 5164803 paused
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/ExProp7_Luc06_Z.xml 5164804 paused
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_L.xml 5164805 paused
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.xml 5164806 paused
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_nosorts_noand_C.xml 5164807 paused
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_GM.xml 5164808 paused
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex6_GM04_iGM.xml 5164809 paused
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex9_Luc06_iGM.xml 5164810 paused
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_C.xml 5164811 paused
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex24_GM04_L.xml 5164812 paused
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex25_Luc06_FR.xml 5164813 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nosorts-noand_FR.xml 5164814 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml 5164815 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nokinds_FR.xml 5164816 paused
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/ExIntrod_GM01_FR.xml 5164817 paused
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/ExConc_Zan97_L.xml 5164818 paused
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_nosorts_GM.xml 5164819 paused
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex9_Luc06_C.xml 5164820 paused
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex15_Luc98_L.xml 5164821 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml 5164822 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml 5164823 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_complete_L.xml 5164824 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/ExIntrod_GM01_GM.xml 5164825 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex18_Luc06_iGM.xml 5164826 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_L.xml 5164827 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex16_Luc06_iGM.xml 5164828 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/ExConc_Zan97_GM.xml 5164829 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml 5164830 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex23_Luc06_GM.xml 5164831 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nokinds_L.xml 5164832 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_complete-noand_L.xml 5164833 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/ExConc_Zan97_iGM.xml 5164834 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_L.xml 5164835 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_L.xml 5164836 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_GM99_L.xml 5164837 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex9_Luc06_FR.xml 5164838 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nokinds_Z.xml 5164839 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex6_GM04_GM.xml 5164840 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex16_Luc06_C.xml 5164841 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nokinds_noand_iGM.xml 5164842 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex15_Luc06_C.xml 5164843 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_iGM.xml 5164844 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_L.xml 5164845 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/ExProp7_Luc06_C.xml 5164846 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_C.xml 5164847 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/ExIntrod_GM01_iGM.xml 5164848 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml 5164849 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml 5164850 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml 5164851 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml 5164852 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_iGM.xml 5164853 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/ExIntrod_GM01_C.xml 5164854 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml 5164855 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/ExProp7_Luc06_L.xml 5164856 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_Luc04b_iGM.xml 5164857 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex18_Luc06_FR.xml 5164858 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml 5164859 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_L.xml 5164860 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nosorts_C.xml 5164861 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_iGM.xml 5164862 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_Z.xml 5164863 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml 5164864 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_complete_L.xml 5164865 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_Z.xml 5164866 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex6_GM04_FR.xml 5164867 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex18_Luc06_GM.xml 5164868 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete_L.xml 5164869 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_L.xml 5164870 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex25_Luc06_C.xml 5164871 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_Luc04b_FR.xml 5164872 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml 5164873 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nosorts_noand_iGM.xml 5164874 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml 5164875 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex1_GM03_L.xml 5164876 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex18_Luc06_C.xml 5164877 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_L.xml 5164878 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml 5164879 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nosorts_FR.xml 5164880 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM.xml 5164881 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_GM.xml 5164882 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex6_GM04_L.xml 5164883 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml 5164884 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml 5164885 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex25_Luc06_GM.xml 5164886 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PEANO_nosorts_iGM.xml 5164887 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml 5164888 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml 5164889 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml 5164890 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml 5164891 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex49_GM04_L.xml 5164892 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex2_Luc03b_L.xml 5164893 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/PALINDROME_nokinds_iGM.xml 5164894 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml 5164895 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml 5164896 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml 5164897 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml 5164898 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/ExConc_Zan97_FR.xml 5164899 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/ExIntrod_GM04_L.xml 5164900 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml 5164901 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex18_Luc06_Z.xml 5164902 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/ExIntrod_GM04_FR.xml 5164903 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex26_Luc03b_L.xml 5164904 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/Ex15_Luc06_iGM.xml 5164905 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_iGM.xml 5164906 pending submission
Derivational_Complexity_Full_Rewriting/Transformed_CSR_04/MYNAT_nokinds_L.xml 5164907 pending submission
Derivational_Complexity_Full_Rewriting/SK90/2.49.xml 5164483 n1 +1 1 +0 3.41/1.51
Derivational_Complexity_Full_Rewriting/SK90/2.60.xml 5164484 n1 +1 1 +0 1.02/0.29
Derivational_Complexity_Full_Rewriting/SK90/4.12.xml 5164485 n2 +1 1 +0 87.79/30.12
Derivational_Complexity_Full_Rewriting/SK90/4.44.xml 5164486 n1 +1 1 +0 1.92/0.52
Derivational_Complexity_Full_Rewriting/SK90/4.39.xml 5164487 n2 +1 1 +0 104.80/103.44
Derivational_Complexity_Full_Rewriting/SK90/2.47.xml 5164488 n2 +1 1 +0 81.76/30.11
Derivational_Complexity_Full_Rewriting/SK90/4.37.xml 5164489 n1 +1 1 +0 0.29/0.08
Derivational_Complexity_Full_Rewriting/SK90/4.19.xml 5164490 n1 +1 1 +0 0.28/0.08
Derivational_Complexity_Full_Rewriting/SK90/4.26.xml 5164491 n10 +1 1 +0 490.90/292.50
Derivational_Complexity_Full_Rewriting/SK90/2.31.xml 5164492 n2 +1 1 +0 97.14/30.03
Derivational_Complexity_Full_Rewriting/SK90/2.46.xml 5164493 n2 +1 1 +0 92.67/30.14
Derivational_Complexity_Full_Rewriting/SK90/4.46.xml 5164494 n1 +1 1 +0 0.45/0.15
Derivational_Complexity_Full_Rewriting/SK90/2.03.xml 5164495 n2 +1 1 +0 95.32/30.09
Derivational_Complexity_Full_Rewriting/SK90/2.33.xml 5164496 n2 +1 1 +0 82.09/30.12
Derivational_Complexity_Full_Rewriting/SK90/4.11.xml 5164497 n2 +1 1 +0 84.56/30.12
Derivational_Complexity_Full_Rewriting/SK90/2.38.xml 5164498 n2 +1 1 +0 91.22/30.04
Derivational_Complexity_Full_Rewriting/SK90/2.50.xml 5164499 ∞ +0 1 +0 377.83/293.03
Derivational_Complexity_Full_Rewriting/SK90/4.34.xml 5164500 pending submission
Derivational_Complexity_Full_Rewriting/SK90/4.47.xml 5164501 n1 +1 1 +0 2.38/0.69
Derivational_Complexity_Full_Rewriting/SK90/4.52.xml 5164502 n2 +1 1 +0 78.06/30.14
Derivational_Complexity_Full_Rewriting/SK90/2.42.xml 5164503 pending submission
Derivational_Complexity_Full_Rewriting/SK90/2.09.xml 5164504 n2 +1 1 +0 82.66/30.13
Derivational_Complexity_Full_Rewriting/SK90/4.48.xml 5164505 n1 +1 1 +0 70.25/30.18
Derivational_Complexity_Full_Rewriting/SK90/2.06.xml 5164506 pending submission
Derivational_Complexity_Full_Rewriting/SK90/4.30.xml 5164507 pending submission
Derivational_Complexity_Full_Rewriting/SK90/2.39.xml 5164508 n6 +1 1 +0 259.63/169.83
Derivational_Complexity_Full_Rewriting/SK90/4.01.xml 5164509 n1 +1 1 +0 0.59/0.16
Derivational_Complexity_Full_Rewriting/SK90/4.27.xml 5164510 ∞ +0 1 +0 518.72/293.04
Derivational_Complexity_Full_Rewriting/SK90/4.29.xml 5164511 n2 +1 1 +0 512.67/291.33
Derivational_Complexity_Full_Rewriting/SK90/4.07.xml 5164512 n2 +1 1 +0 79.20/30.04
Derivational_Complexity_Full_Rewriting/SK90/4.45.xml 5164513 n1 +1 1 +0 0.48/0.13
Derivational_Complexity_Full_Rewriting/SK90/2.54.xml 5164514 n2 +1 1 +0 88.26/30.11
Derivational_Complexity_Full_Rewriting/SK90/4.16.xml 5164515 n1 +1 1 +0 3.93/1.20
Derivational_Complexity_Full_Rewriting/SK90/4.55.xml 5164516 ∞ +0 1 +0 104.31/30.07
Derivational_Complexity_Full_Rewriting/SK90/4.08.xml 5164517 n2 +1 1 +0 77.91/30.16
Derivational_Complexity_Full_Rewriting/SK90/2.55.xml 5164518 pending submission
Derivational_Complexity_Full_Rewriting/SK90/4.36.xml 5164519 n1 +1 1 +0 0.79/0.44
Derivational_Complexity_Full_Rewriting/SK90/2.56.xml 5164520 n1 +1 1 +0 0.20/0.06
Derivational_Complexity_Full_Rewriting/SK90/4.43.xml 5164521 pending submission
Derivational_Complexity_Full_Rewriting/SK90/4.32.xml 5164522 pending submission
Derivational_Complexity_Full_Rewriting/SK90/4.25.xml 5164523 n2 +1 1 +0 90.14/30.07
Derivational_Complexity_Full_Rewriting/SK90/2.48.xml 5164524 pending submission
Derivational_Complexity_Full_Rewriting/SK90/4.15.xml 5164525 n2 +1 1 +0 89.21/30.11
Derivational_Complexity_Full_Rewriting/SK90/2.41.xml 5164526 n2 +1 1 +0 130.90/34.28
Derivational_Complexity_Full_Rewriting/SK90/4.04.xml 5164527 ∞ +0 1 +0 37.79/12.81
Derivational_Complexity_Full_Rewriting/SK90/2.01.xml 5164528 n2 +1 1 +0 75.73/30.17
Derivational_Complexity_Full_Rewriting/SK90/4.38.xml 5164529 n2 +1 1 +0 145.82/38.25
Derivational_Complexity_Full_Rewriting/SK90/2.53.xml 5164530 pending submission
Derivational_Complexity_Full_Rewriting/SK90/2.61.xml 5164531 n1 +1 1 +0 3.36/0.86
Derivational_Complexity_Full_Rewriting/SK90/2.11.xml 5164532 pending submission
Derivational_Complexity_Full_Rewriting/SK90/2.10.xml 5164533 ∞ +0 1 +0 116.44/34.73
Derivational_Complexity_Full_Rewriting/SK90/4.51.xml 5164534 n1 +1 1 +0 2.61/0.81
Derivational_Complexity_Full_Rewriting/SK90/4.33.xml 5164535 n1 +1 1 +0 0.34/0.15
Derivational_Complexity_Full_Rewriting/SK90/4.56.xml 5164536 pending submission
Derivational_Complexity_Full_Rewriting/SK90/2.04.xml 5164537 n2 +1 1 +0 94.54/30.20
Derivational_Complexity_Full_Rewriting/SK90/2.14.xml 5164538 ∞ +0 1 +0 225.28/141.06
Derivational_Complexity_Full_Rewriting/SK90/2.36.xml 5164539 n2 +1 1 +0 96.99/30.03
Derivational_Complexity_Full_Rewriting/SK90/2.02.xml 5164540 n3 +1 1 +0 164.19/75.44
Derivational_Complexity_Full_Rewriting/SK90/4.35.xml 5164541 pending submission
Derivational_Complexity_Full_Rewriting/SK90/2.34.xml 5164542 ∞ +0 1 +0 139.45/57.54
Derivational_Complexity_Full_Rewriting/Secret_07_TRS/3.xml 5165096 ∞ +0 1 +0 363.08/218.92
Derivational_Complexity_Full_Rewriting/Secret_07_TRS/7.xml 5165097 ∞ +0 1 +0 676.66/291.99
Derivational_Complexity_Full_Rewriting/Secret_07_TRS/1.xml 5165098 StarExec error
Derivational_Complexity_Full_Rewriting/Secret_07_TRS/5.xml 5165099 ∞ +0 1 +0 538.84/293.02
Derivational_Complexity_Full_Rewriting/Secret_07_TRS/2.xml 5165100 ∞ +0 1 +0 305.06/190.70
Derivational_Complexity_Full_Rewriting/Secret_07_TRS/4.xml 5165101 ∞ +0 1 +0 142.86/52.73
Derivational_Complexity_Full_Rewriting/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml 5164621 ∞ +0 1 +0 97.83/30.01
Derivational_Complexity_Full_Rewriting/Strategy_removed_CSR_05/Ex6_GM04.xml 5164622 StarExec error
Derivational_Complexity_Full_Rewriting/Strategy_removed_CSR_05/Ex1_Zan97.xml 5164623 ∞ +0 1 +0 173.70/64.37
Derivational_Complexity_Full_Rewriting/Strategy_removed_CSR_05/ExConc_Zan97.xml 5164624 ∞ +0 1 +0 107.27/30.03
Derivational_Complexity_Full_Rewriting/Strategy_removed_CSR_05/ExIntrod_GM01.xml 5164625 ∞ +0 1 +0 206.11/121.05
Derivational_Complexity_Full_Rewriting/Strategy_removed_CSR_05/ExIntrod_GM04.xml 5164626 ∞ +0 1 +0 223.00/138.76
Derivational_Complexity_Full_Rewriting/Strategy_removed_CSR_05/Ex5_Zan97.xml 5164627 ∞ +0 1 +0 115.62/37.95
Derivational_Complexity_Full_Rewriting/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml 5164628 ∞ +0 1 +0 148.53/59.01
Derivational_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.18.xml 5164957 ∞ +0 1 +0 481.43/293.65
Derivational_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.17.xml 5164958 ∞ +0 1 +0 1130.91/293.01
Derivational_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.37.xml 5164959 n1 +1 1 +0 4.44/1.37
Derivational_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.20a.xml 5164960 n1 +1 1 +0 89.16/30.03
Derivational_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.28.xml 5164961 n2 +1 1 +0 80.95/30.02
Derivational_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.25.xml 5164962 pending submission
Derivational_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.21.xml 5164963 n1 +1 1 +0 96.49/30.03
Derivational_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.20.xml 5164964 n1 +1 1 +0 89.08/30.07
Derivational_Complexity_Full_Rewriting/Strategy_removed_AG01/#4.37a.xml 5164965 n1 +1 1 +0 9.13/2.63
Derivational_Complexity_Full_Rewriting/Zantema_05/jw44.xml 5165002 n2 +1 1 +0 101.84/31.72
Derivational_Complexity_Full_Rewriting/Zantema_05/jw33.xml 5165003 n1 +1 1 +0 27.66/16.53
Derivational_Complexity_Full_Rewriting/Zantema_05/jw34.xml 5165004 n1 +1 1 +0 25.25/16.06
Derivational_Complexity_Full_Rewriting/Zantema_05/z22.xml 5165005 ∞ +0 1 +0 370.38/293.11
Derivational_Complexity_Full_Rewriting/Zantema_05/z16.xml 5165006 ∞ +0 1 +0 366.64/293.06
Derivational_Complexity_Full_Rewriting/Zantema_05/z30.xml 5165007 n1 +1 1 +0 665.16/293.04
Derivational_Complexity_Full_Rewriting/Zantema_05/jw27.xml 5165008 n1 +1 1 +0 91.88/56.39
Derivational_Complexity_Full_Rewriting/Zantema_05/jw01.xml 5165009 n1 +1 1 +0 111.26/70.31
Derivational_Complexity_Full_Rewriting/Zantema_05/jw02.xml 5165010 n1 +1 1 +0 689.01/293.05
Derivational_Complexity_Full_Rewriting/Zantema_05/jw12.xml 5165011 StarExec error
Derivational_Complexity_Full_Rewriting/Zantema_05/jw32.xml 5165012 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_05/jw08.xml 5165013 n1 +1 1 +0 100.91/68.09
Derivational_Complexity_Full_Rewriting/Zantema_05/z19.xml 5165014 ∞ +0 1 +0 446.58/293.11
Derivational_Complexity_Full_Rewriting/Zantema_05/z06.xml 5165015 ∞ +0 1 +0 97.97/30.03
Derivational_Complexity_Full_Rewriting/Zantema_05/jw38.xml 5165016 n1 +1 1 +0 77.48/59.11
Derivational_Complexity_Full_Rewriting/Zantema_05/z11.xml 5165017 ∞ +0 1 +0 104.20/30.03
Derivational_Complexity_Full_Rewriting/Zantema_05/jw39.xml 5165018 n1 +1 1 +0 84.05/51.30
Derivational_Complexity_Full_Rewriting/Zantema_05/jw05.xml 5165019 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_05/jw06.xml 5165020 n1 +1 1 +0 81.72/48.27
Derivational_Complexity_Full_Rewriting/Zantema_05/z05.xml 5165021 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_05/jw15.xml 5165022 n1 +1 1 +0 24.82/15.79
Derivational_Complexity_Full_Rewriting/Zantema_05/jw16.xml 5165023 n1 +1 1 +0 31.94/18.02
Derivational_Complexity_Full_Rewriting/Zantema_05/jw11.xml 5165024 n1 +1 1 +0 257.46/235.23
Derivational_Complexity_Full_Rewriting/Zantema_05/z29.xml 5165025 ∞ +0 1 +0 53.05/15.36
Derivational_Complexity_Full_Rewriting/Zantema_05/jw26.xml 5165026 n1 +1 1 +0 24.87/15.79
Derivational_Complexity_Full_Rewriting/Zantema_05/z02.xml 5165027 n1 +1 1 +0 19.63/15.35
Derivational_Complexity_Full_Rewriting/Zantema_05/jw47.xml 5165028 n2 +1 1 +0 131.49/61.49
Derivational_Complexity_Full_Rewriting/Zantema_05/jw31.xml 5165029 n1 +1 1 +0 74.79/49.41
Derivational_Complexity_Full_Rewriting/Zantema_05/z08.xml 5165030 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_05/jw09.xml 5165031 n1 +1 1 +0 21.58/14.98
Derivational_Complexity_Full_Rewriting/Zantema_05/jw22.xml 5165032 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_05/z21.xml 5165033 ∞ +0 1 +0 1123.71/293.03
Derivational_Complexity_Full_Rewriting/Zantema_05/jw50.xml 5165034 n1 +1 1 +0 5.29/4.71
Derivational_Complexity_Full_Rewriting/Zantema_05/z07.xml 5165035 ∞ +0 1 +0 105.35/30.02
Derivational_Complexity_Full_Rewriting/Zantema_05/z03.xml 5165036 n1 +1 1 +0 27.36/16.64
Derivational_Complexity_Full_Rewriting/Zantema_05/jw25.xml 5165037 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_05/jw20.xml 5165038 n1 +1 1 +0 20.33/13.74
Derivational_Complexity_Full_Rewriting/Zantema_05/jw13.xml 5165039 n1 +1 1 +0 42.46/34.50
Derivational_Complexity_Full_Rewriting/Zantema_05/jw42.xml 5165040 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_05/jw29.xml 5165041 n1 +1 1 +0 21.41/13.98
Derivational_Complexity_Full_Rewriting/Zantema_05/jw07.xml 5165042 n1 +1 1 +0 34.05/19.57
Derivational_Complexity_Full_Rewriting/Zantema_05/jw41.xml 5165043 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_05/jw35.xml 5165044 n1 +1 1 +0 18.35/14.05
Derivational_Complexity_Full_Rewriting/Zantema_05/z13.xml 5165045 ∞ +0 1 +0 379.79/293.20
Derivational_Complexity_Full_Rewriting/Zantema_05/z20.xml 5165046 ∞ +0 1 +0 108.61/30.04
Derivational_Complexity_Full_Rewriting/Zantema_05/z17.xml 5165047 ∞ +0 1 +0 660.86/293.37
Derivational_Complexity_Full_Rewriting/Zantema_05/jw43.xml 5165048 n1 +1 1 +0 6.31/5.63
Derivational_Complexity_Full_Rewriting/Zantema_05/z26.xml 5165049 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_05/z01.xml 5165050 ∞ +0 1 +0 192.05/89.99
Derivational_Complexity_Full_Rewriting/Zantema_05/jw24.xml 5165051 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_05/jw28.xml 5165052 n1 +1 1 +0 29.91/17.70
Derivational_Complexity_Full_Rewriting/Zantema_05/jw03.xml 5165053 n1 +1 1 +0 23.89/15.75
Derivational_Complexity_Full_Rewriting/Zantema_05/jw23.xml 5165054 n1 +1 1 +0 26.20/16.19
Derivational_Complexity_Full_Rewriting/Zantema_05/jw19.xml 5165055 n1 +1 1 +0 40.81/27.22
Derivational_Complexity_Full_Rewriting/Zantema_05/jw18.xml 5165056 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_05/jw37.xml 5165057 n1 +1 1 +0 328.83/293.02
Derivational_Complexity_Full_Rewriting/Zantema_05/jw40.xml 5165058 n1 +1 1 +0 29.69/17.78
Derivational_Complexity_Full_Rewriting/Zantema_05/jw30.xml 5165059 n1 +1 1 +0 40.36/25.06
Derivational_Complexity_Full_Rewriting/Zantema_05/jw14.xml 5165060 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_05/z23.xml 5165061 ∞ +0 1 +0 546.32/293.08
Derivational_Complexity_Full_Rewriting/Zantema_05/jw36.xml 5165062 n1 +1 1 +0 74.26/59.41
Derivational_Complexity_Full_Rewriting/Zantema_05/jw04.xml 5165063 n1 +1 1 +0 25.64/16.25
Derivational_Complexity_Full_Rewriting/Zantema_05/z12.xml 5165064 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_05/z15.xml 5165065 ∞ +0 1 +0 752.84/293.01
Derivational_Complexity_Full_Rewriting/Zantema_05/z14.xml 5165066 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_05/z24.xml 5165067 ∞ +0 1 +0 379.24/293.11
Derivational_Complexity_Full_Rewriting/Zantema_05/z25.xml 5165068 ∞ +0 1 +0 492.21/256.44
Derivational_Complexity_Full_Rewriting/Zantema_05/jw21.xml 5165069 n1 +1 1 +0 35.82/19.44
Derivational_Complexity_Full_Rewriting/Zantema_05/jw17.xml 5165070 n1 +1 1 +0 72.62/45.79
Derivational_Complexity_Full_Rewriting/Zantema_05/z18.xml 5165071 ∞ +0 1 +0 376.16/293.03
Derivational_Complexity_Full_Rewriting/Zantema_04/z127.xml 5165102 ∞ +0 1 +0 835.39/293.87
Derivational_Complexity_Full_Rewriting/Zantema_04/z128.xml 5165103 ∞ +0 1 +0 715.66/293.56
Derivational_Complexity_Full_Rewriting/Zantema_04/z106.xml 5165104 n2 +1 1 +0 97.30/30.12
Derivational_Complexity_Full_Rewriting/Zantema_04/z057.xml 5165105 n1 +1 1 +0 839.70/294.08
Derivational_Complexity_Full_Rewriting/Zantema_04/z107.xml 5165106 n1 +1 1 +0 219.53/129.36
Derivational_Complexity_Full_Rewriting/Zantema_04/z054.xml 5165107 n1 +1 1 +0 856.03/294.08
Derivational_Complexity_Full_Rewriting/Zantema_04/z026.xml 5165108 ∞ +0 1 +0 815.02/293.91
Derivational_Complexity_Full_Rewriting/Zantema_04/z010.xml 5165109 ∞ +0 1 +0 415.97/293.08
Derivational_Complexity_Full_Rewriting/Zantema_04/z111.xml 5165110 ∞ +0 1 +0 418.45/293.99
Derivational_Complexity_Full_Rewriting/Zantema_04/z037.xml 5165111 StarExec error
Derivational_Complexity_Full_Rewriting/Zantema_04/z030.xml 5165112 ∞ +0 1 +0 927.37/294.01
Derivational_Complexity_Full_Rewriting/Zantema_04/z113.xml 5165113 ∞ +0 1 +0 705.87/294.01
Derivational_Complexity_Full_Rewriting/Zantema_04/z011.xml 5165114 ∞ +0 1 +0 423.86/293.05
Derivational_Complexity_Full_Rewriting/Zantema_04/z025.xml 5165115 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z084.xml 5165116 n2 +1 1 +0 83.51/30.03
Derivational_Complexity_Full_Rewriting/Zantema_04/z007.xml 5165117 n2 +1 1 +0 92.72/30.12
Derivational_Complexity_Full_Rewriting/Zantema_04/z046.xml 5165118 ∞ +0 1 +0 932.01/294.03
Derivational_Complexity_Full_Rewriting/Zantema_04/z050.xml 5165119 n1 +1 1 +0 341.00/294.02
Derivational_Complexity_Full_Rewriting/Zantema_04/z028.xml 5165120 ∞ +0 1 +0 946.93/293.46
Derivational_Complexity_Full_Rewriting/Zantema_04/z058.xml 5165121 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z104.xml 5165122 n1 +1 1 +0 141.38/50.38
Derivational_Complexity_Full_Rewriting/Zantema_04/z061.xml 5165123 n1 +1 1 +0 326.70/294.11
Derivational_Complexity_Full_Rewriting/Zantema_04/z020.xml 5165124 ∞ +0 1 +0 482.50/293.11
Derivational_Complexity_Full_Rewriting/Zantema_04/syracuse.xml 5165125 ∞ +0 1 +0 822.84/294.01
Derivational_Complexity_Full_Rewriting/Zantema_04/z069.xml 5165126 ∞ +0 1 +0 1168.86/293.68
Derivational_Complexity_Full_Rewriting/Zantema_04/z055.xml 5165127 n1 +1 1 +0 375.25/293.90
Derivational_Complexity_Full_Rewriting/Zantema_04/z002.xml 5165128 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z120.xml 5165129 ∞ +0 1 +0 597.50/293.98
Derivational_Complexity_Full_Rewriting/Zantema_04/z097.xml 5165130 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z082.xml 5165131 ∞ +0 1 +0 147.96/50.62
Derivational_Complexity_Full_Rewriting/Zantema_04/z116.xml 5165132 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z034.xml 5165133 ∞ +0 1 +0 866.27/294.06
Derivational_Complexity_Full_Rewriting/Zantema_04/z014.xml 5165134 ∞ +0 1 +0 379.62/292.85
Derivational_Complexity_Full_Rewriting/Zantema_04/z083.xml 5165135 ∞ +0 1 +0 718.99/293.78
Derivational_Complexity_Full_Rewriting/Zantema_04/z005.xml 5165136 n1 +1 1 +0 195.49/127.18
Derivational_Complexity_Full_Rewriting/Zantema_04/z068.xml 5165137 n2 +1 1 +0 465.30/293.64
Derivational_Complexity_Full_Rewriting/Zantema_04/z117.xml 5165138 ∞ +0 1 +0 417.88/293.99
Derivational_Complexity_Full_Rewriting/Zantema_04/z052.xml 5165139 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z044.xml 5165140 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z062.xml 5165141 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z040.xml 5165142 n1 +1 1 +0 912.07/294.16
Derivational_Complexity_Full_Rewriting/Zantema_04/z001.xml 5165143 ∞ +0 1 +0 408.36/175.38
Derivational_Complexity_Full_Rewriting/Zantema_04/z038.xml 5165144 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z105.xml 5165145 ∞ +0 1 +0 653.21/293.37
Derivational_Complexity_Full_Rewriting/Zantema_04/z125.xml 5165146 ∞ +0 1 +0 275.02/126.53
Derivational_Complexity_Full_Rewriting/Zantema_04/z041.xml 5165147 ∞ +0 1 +0 926.05/294.04
Derivational_Complexity_Full_Rewriting/Zantema_04/z018.xml 5165148 ∞ +0 1 +0 398.51/293.11
Derivational_Complexity_Full_Rewriting/Zantema_04/z085.xml 5165149 n1 +1 1 +0 80.94/30.12
Derivational_Complexity_Full_Rewriting/Zantema_04/z053.xml 5165150 n1 +1 1 +0 465.46/293.73
Derivational_Complexity_Full_Rewriting/Zantema_04/z042.xml 5165151 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z095.xml 5165152 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z003.xml 5165153 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z048.xml 5165154 n1 +1 1 +0 1035.28/294.02
Derivational_Complexity_Full_Rewriting/Zantema_04/z088.xml 5165155 ∞ +0 1 +0 259.95/149.54
Derivational_Complexity_Full_Rewriting/Zantema_04/z103.xml 5165156 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z101.xml 5165157 ∞ +0 1 +0 45.68/15.84
Derivational_Complexity_Full_Rewriting/Zantema_04/z019.xml 5165158 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z077.xml 5165159 ∞ +0 1 +0 403.23/293.03
Derivational_Complexity_Full_Rewriting/Zantema_04/z080.xml 5165160 ∞ +0 1 +0 368.79/291.68
Derivational_Complexity_Full_Rewriting/Zantema_04/z022.xml 5165161 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z109.xml 5165162 ∞ +0 1 +0 61.07/21.22
Derivational_Complexity_Full_Rewriting/Zantema_04/z012.xml 5165163 ∞ +0 1 +0 691.27/293.77
Derivational_Complexity_Full_Rewriting/Zantema_04/z060.xml 5165164 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z121.xml 5165165 ∞ +0 1 +0 326.67/168.11
Derivational_Complexity_Full_Rewriting/Zantema_04/z124.xml 5165166 n2 +1 1 +0 860.02/294.13
Derivational_Complexity_Full_Rewriting/Zantema_04/z033.xml 5165167 n1 +1 1 +0 1042.52/293.30
Derivational_Complexity_Full_Rewriting/Zantema_04/z076.xml 5165168 ∞ +0 1 +0 306.13/185.13
Derivational_Complexity_Full_Rewriting/Zantema_04/z056.xml 5165169 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z114.xml 5165170 ∞ +0 1 +0 405.72/293.11
Derivational_Complexity_Full_Rewriting/Zantema_04/z015.xml 5165171 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z045.xml 5165172 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z073.xml 5165173 ∞ +0 1 +0 1172.47/294.02
Derivational_Complexity_Full_Rewriting/Zantema_04/z031.xml 5165174 ∞ +0 1 +0 932.98/293.64
Derivational_Complexity_Full_Rewriting/Zantema_04/z009.xml 5165175 n3 +1 1 +0 880.92/293.72
Derivational_Complexity_Full_Rewriting/Zantema_04/z013.xml 5165176 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z123.xml 5165177 ∞ +0 1 +0 689.97/293.39
Derivational_Complexity_Full_Rewriting/Zantema_04/z098.xml 5165178 ∞ +0 1 +0 979.36/293.89
Derivational_Complexity_Full_Rewriting/Zantema_04/z035.xml 5165179 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z075.xml 5165180 ∞ +0 1 +0 674.61/293.53
Derivational_Complexity_Full_Rewriting/Zantema_04/z119.xml 5165181 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z072.xml 5165182 ∞ +0 1 +0 701.44/294.01
Derivational_Complexity_Full_Rewriting/Zantema_04/z079.xml 5165183 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z066.xml 5165184 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z112.xml 5165185 n1 +1 1 +0 93.77/30.06
Derivational_Complexity_Full_Rewriting/Zantema_04/z118.xml 5165186 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z074.xml 5165187 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z078.xml 5165188 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z102.xml 5165189 n1 +1 1 +0 80.22/30.06
Derivational_Complexity_Full_Rewriting/Zantema_04/z093.xml 5165190 n2 +1 1 +0 88.59/30.18
Derivational_Complexity_Full_Rewriting/Zantema_04/z092.xml 5165191 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z039.xml 5165192 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z047.xml 5165193 paused
Derivational_Complexity_Full_Rewriting/Zantema_04/z049.xml 5165194 paused
Derivational_Complexity_Full_Rewriting/Zantema_04/z006.xml 5165195 paused
Derivational_Complexity_Full_Rewriting/Zantema_04/z089.xml 5165196 paused
Derivational_Complexity_Full_Rewriting/Zantema_04/z065.xml 5165197 paused
Derivational_Complexity_Full_Rewriting/Zantema_04/z008.xml 5165198 paused
Derivational_Complexity_Full_Rewriting/Zantema_04/z100.xml 5165199 paused
Derivational_Complexity_Full_Rewriting/Zantema_04/z090.xml 5165200 paused
Derivational_Complexity_Full_Rewriting/Zantema_04/z024.xml 5165201 paused
Derivational_Complexity_Full_Rewriting/Zantema_04/z096.xml 5165202 paused
Derivational_Complexity_Full_Rewriting/Zantema_04/z087.xml 5165203 paused
Derivational_Complexity_Full_Rewriting/Zantema_04/z067.xml 5165204 paused
Derivational_Complexity_Full_Rewriting/Zantema_04/z023.xml 5165205 paused
Derivational_Complexity_Full_Rewriting/Zantema_04/z043.xml 5165206 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z051.xml 5165207 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z091.xml 5165208 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z094.xml 5165209 paused
Derivational_Complexity_Full_Rewriting/Zantema_04/z071.xml 5165210 paused
Derivational_Complexity_Full_Rewriting/Zantema_04/z032.xml 5165211 paused
Derivational_Complexity_Full_Rewriting/Zantema_04/z017.xml 5165212 paused
Derivational_Complexity_Full_Rewriting/Zantema_04/z086.xml 5165213 paused
Derivational_Complexity_Full_Rewriting/Zantema_04/z110.xml 5165214 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z122.xml 5165215 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z063.xml 5165216 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z126.xml 5165217 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z115.xml 5165218 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z021.xml 5165219 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z059.xml 5165220 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z070.xml 5165221 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z029.xml 5165222 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z036.xml 5165223 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z004.xml 5165224 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z027.xml 5165225 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z108.xml 5165226 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z064.xml 5165227 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_04/z081.xml 5165228 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_06/05.xml 5166194 ∞ +0 1 +0 587.68/269.05
Derivational_Complexity_Full_Rewriting/Zantema_06/03.xml 5166195 ∞ +0 1 +0 506.80/209.64
Derivational_Complexity_Full_Rewriting/Zantema_06/01.xml 5166196 ∞ +0 1 +0 374.36/293.02
Derivational_Complexity_Full_Rewriting/Zantema_06/12.xml 5166197 ∞ +0 1 +0 851.38/294.03
Derivational_Complexity_Full_Rewriting/Zantema_06/10.xml 5166198 ∞ +0 1 +0 130.21/41.99
Derivational_Complexity_Full_Rewriting/Zantema_06/beans3.xml 5166199 ∞ +0 1 +0 769.98/294.01
Derivational_Complexity_Full_Rewriting/Zantema_06/06.xml 5166200 ∞ +0 1 +0 516.27/293.02
Derivational_Complexity_Full_Rewriting/Zantema_06/while2.xml 5166201 n2 +1 1 +0 379.21/293.31
Derivational_Complexity_Full_Rewriting/Zantema_06/beans2.xml 5166202 ∞ +0 1 +0 661.89/293.84
Derivational_Complexity_Full_Rewriting/Zantema_06/02.xml 5166203 ∞ +0 1 +0 730.98/293.11
Derivational_Complexity_Full_Rewriting/Zantema_06/beans7.xml 5166204 ∞ +0 1 +0 817.87/293.75
Derivational_Complexity_Full_Rewriting/Zantema_06/14.xml 5166205 ∞ +0 1 +0 390.56/293.05
Derivational_Complexity_Full_Rewriting/Zantema_06/abc.xml 5166206 ∞ +0 1 +0 178.16/78.76
Derivational_Complexity_Full_Rewriting/Zantema_06/13.xml 5166207 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_06/beans1.xml 5166208 n2 +1 1 +0 735.51/294.02
Derivational_Complexity_Full_Rewriting/Zantema_06/04.xml 5166209 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_06/17.xml 5166210 n1 +1 1 +0 251.88/111.67
Derivational_Complexity_Full_Rewriting/Zantema_06/08.xml 5166211 ∞ +0 1 +0 128.58/44.05
Derivational_Complexity_Full_Rewriting/Zantema_06/beans4.xml 5166212 ∞ +0 1 +0 657.53/293.76
Derivational_Complexity_Full_Rewriting/Zantema_06/loop1.xml 5166213 ∞ +0 1 +0 197.72/92.55
Derivational_Complexity_Full_Rewriting/Zantema_06/16.xml 5166214 ∞ +0 1 +0 518.33/293.45
Derivational_Complexity_Full_Rewriting/Zantema_06/beans5.xml 5166215 ∞ +0 1 +0 730.94/293.81
Derivational_Complexity_Full_Rewriting/Zantema_06/09.xml 5166216 ∞ +0 1 +0 755.46/293.98
Derivational_Complexity_Full_Rewriting/Zantema_06/11.xml 5166217 ∞ +0 1 +0 767.21/293.28
Derivational_Complexity_Full_Rewriting/Zantema_06/07.xml 5166218 ∞ +0 1 +0 210.68/94.20
Derivational_Complexity_Full_Rewriting/Zantema_06/18.xml 5166219 ∞ +0 1 +0 1136.48/294.04
Derivational_Complexity_Full_Rewriting/Zantema_06/loop2.xml 5166220 pending submission
Derivational_Complexity_Full_Rewriting/Zantema_06/15.xml 5166221 ∞ +0 1 +0 835.36/294.05
Derivational_Complexity_Full_Rewriting/Zantema_06/while1.xml 5166222 ∞ +0 1 +0 1131.02/293.86
Derivational_Complexity_Full_Rewriting/Zantema_06/beans6.xml 5166223 ∞ +0 1 +0 707.29/293.78
Derivational_Complexity_Full_Rewriting/Waldmann_06_SRS/sym-1.xml 5166171 ∞ +0 1 +0 101.92/30.08
Derivational_Complexity_Full_Rewriting/Waldmann_06_SRS/sym-4.xml 5166172 ∞ +0 1 +0 105.49/30.02
Derivational_Complexity_Full_Rewriting/Waldmann_06_SRS/z086-variant.xml 5166173 ∞ +0 1 +0 401.54/273.99
Derivational_Complexity_Full_Rewriting/Waldmann_06_SRS/uni-1.xml 5166174 ∞ +0 1 +0 101.69/30.03
Derivational_Complexity_Full_Rewriting/Waldmann_06_SRS/uni-7.xml 5166175 ∞ +0 1 +0 591.73/294.12
Derivational_Complexity_Full_Rewriting/Waldmann_06_SRS/pi.xml 5166176 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_06_SRS/jw3.xml 5166177 ∞ +0 1 +0 646.43/293.80
Derivational_Complexity_Full_Rewriting/Waldmann_06_SRS/uni-4.xml 5166178 ∞ +0 1 +0 227.75/103.65
Derivational_Complexity_Full_Rewriting/Waldmann_06_SRS/jw4.xml 5166179 ∞ +0 1 +0 960.72/293.63
Derivational_Complexity_Full_Rewriting/Waldmann_06_SRS/uni-3.xml 5166180 ∞ +0 1 +0 181.67/67.34
Derivational_Complexity_Full_Rewriting/Waldmann_06_SRS/sym-2.xml 5166181 ∞ +0 1 +0 112.36/35.43
Derivational_Complexity_Full_Rewriting/Waldmann_06_SRS/uni-2.xml 5166182 ∞ +0 1 +0 177.19/76.82
Derivational_Complexity_Full_Rewriting/Waldmann_06_SRS/jw1.xml 5166183 ∞ +0 1 +0 680.84/293.48
Derivational_Complexity_Full_Rewriting/Waldmann_06_SRS/uni-5.xml 5166184 ∞ +0 1 +0 143.97/52.61
Derivational_Complexity_Full_Rewriting/Waldmann_06_SRS/uni-6.xml 5166185 ∞ +0 1 +0 787.02/293.73
Derivational_Complexity_Full_Rewriting/Waldmann_06_SRS/sym-6.xml 5166186 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_06_SRS/jw5.xml 5166187 ∞ +0 1 +0 1140.98/294.04
Derivational_Complexity_Full_Rewriting/Waldmann_06_SRS/sym-5.xml 5166188 ∞ +0 1 +0 422.33/293.55
Derivational_Complexity_Full_Rewriting/Waldmann_06_SRS/e.xml 5166189 n3 +1 1 +0 479.27/293.66
Derivational_Complexity_Full_Rewriting/Waldmann_06/jwtpa2.xml 5166224 ∞ +0 1 +0 113.28/30.04
Derivational_Complexity_Full_Rewriting/Waldmann_06/jwno4.xml 5166225 ∞ +0 1 +0 107.78/30.02
Derivational_Complexity_Full_Rewriting/Waldmann_06/jwno2.xml 5166226 ∞ +0 1 +0 220.02/124.98
Derivational_Complexity_Full_Rewriting/Waldmann_06/jwmatchb2.xml 5166227 ∞ +0 1 +0 250.37/160.51
Derivational_Complexity_Full_Rewriting/Waldmann_06/jwaprove1.xml 5166228 ∞ +0 1 +0 414.00/293.02
Derivational_Complexity_Full_Rewriting/Waldmann_06/jwtpa1.xml 5166229 n1 +1 1 +0 34.35/24.93
Derivational_Complexity_Full_Rewriting/Waldmann_06/jwno6.xml 5166230 ∞ +0 1 +0 108.00/30.02
Derivational_Complexity_Full_Rewriting/Waldmann_06/jwno9.xml 5166231 ∞ +0 1 +0 111.72/30.03
Derivational_Complexity_Full_Rewriting/Waldmann_06/jwno7.xml 5166232 ∞ +0 1 +0 158.60/63.96
Derivational_Complexity_Full_Rewriting/Waldmann_06/jwcime2.xml 5166233 n1 +1 1 +0 52.21/32.48
Derivational_Complexity_Full_Rewriting/Waldmann_06/jwno5.xml 5166234 ∞ +0 1 +0 236.14/141.78
Derivational_Complexity_Full_Rewriting/Waldmann_06/jwno3.xml 5166235 ∞ +0 1 +0 122.92/38.25
Derivational_Complexity_Full_Rewriting/Waldmann_06/jwaprove2.xml 5166236 ∞ +0 1 +0 387.55/292.50
Derivational_Complexity_Full_Rewriting/Waldmann_06/jwmatchb1.xml 5166237 ∞ +0 1 +0 265.73/175.76
Derivational_Complexity_Full_Rewriting/Waldmann_06/jwcime1.xml 5166238 ∞ +0 1 +0 126.23/38.65
Derivational_Complexity_Full_Rewriting/Waldmann_06/jwttt.xml 5166239 ∞ +0 1 +0 119.82/36.23
Derivational_Complexity_Full_Rewriting/Waldmann_06/jwno8.xml 5166240 ∞ +0 1 +0 140.97/43.54
Derivational_Complexity_Full_Rewriting/Waldmann_06/jwno1.xml 5166241 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-108.xml 5165229 ∞ +0 1 +0 116.52/33.92
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-507.xml 5165230 StarExec error
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-279.xml 5165231 ∞ +0 1 +0 268.70/179.05
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-85.xml 5165232 ∞ +0 1 +0 179.09/78.16
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-202.xml 5165233 ∞ +0 1 +0 110.31/31.38
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-487.xml 5165234 ∞ +0 1 +0 403.19/293.09
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-199.xml 5165235 ∞ +0 1 +0 182.85/80.41
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-200.xml 5165236 ∞ +0 1 +0 117.67/35.09
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-32.xml 5165237 ∞ +0 1 +0 108.15/30.63
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-461.xml 5165238 ∞ +0 1 +0 276.65/180.14
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-101.xml 5165239 ∞ +0 1 +0 112.35/32.45
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-113.xml 5165240 ∞ +0 1 +0 182.28/79.21
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-255.xml 5165241 ∞ +0 1 +0 123.91/40.35
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-170.xml 5165242 ∞ +0 1 +0 122.25/38.27
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-160.xml 5165243 ∞ +0 1 +0 181.38/79.63
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-399.xml 5165244 ∞ +0 1 +0 648.32/293.83
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-2-num-1.xml 5165245 ∞ +0 1 +0 107.84/30.02
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-503.xml 5165246 ∞ +0 1 +0 647.27/294.01
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-395.xml 5165247 ∞ +0 1 +0 146.75/54.23
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-566.xml 5165248 ∞ +0 1 +0 121.72/38.19
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-59.xml 5165249 ∞ +0 1 +0 109.39/31.90
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-485.xml 5165250 ∞ +0 1 +0 119.48/36.81
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-389.xml 5165251 ∞ +0 1 +0 137.96/48.00
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-2-num-12.xml 5165252 ∞ +0 1 +0 950.14/290.51
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-560.xml 5165253 ∞ +0 1 +0 129.93/43.91
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-194.xml 5165254 ∞ +0 1 +0 109.56/32.90
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-198.xml 5165255 ∞ +0 1 +0 172.98/76.88
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-2-num-6.xml 5165256 ∞ +0 1 +0 228.85/91.78
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-131.xml 5165257 ∞ +0 1 +0 105.65/30.36
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-257.xml 5165258 ∞ +0 1 +0 107.53/31.03
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-207.xml 5165259 ∞ +0 1 +0 109.08/31.31
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-11.xml 5165260 ∞ +0 1 +0 130.33/35.98
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-430.xml 5165261 ∞ +0 1 +0 122.24/38.12
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-201.xml 5165262 ∞ +0 1 +0 113.21/32.66
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-480.xml 5165263 ∞ +0 1 +0 128.78/41.80
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-64.xml 5165264 ∞ +0 1 +0 123.19/37.78
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-263.xml 5165265 ∞ +0 1 +0 204.99/79.17
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-367.xml 5165266 ∞ +0 1 +0 117.17/34.58
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-369.xml 5165267 ∞ +0 1 +0 466.72/245.17
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-478.xml 5165268 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-48.xml 5165269 ∞ +0 1 +0 132.18/38.49
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-241.xml 5165270 ∞ +0 1 +0 126.19/41.22
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-448.xml 5165271 ∞ +0 1 +0 114.11/33.18
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-217.xml 5165272 ∞ +0 1 +0 119.67/36.87
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-495.xml 5165273 ∞ +0 1 +0 379.75/293.05
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-291.xml 5165274 ∞ +0 1 +0 205.23/109.87
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-476.xml 5165275 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-375.xml 5165276 ∞ +0 1 +0 178.13/79.50
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-479.xml 5165277 ∞ +0 1 +0 121.20/35.82
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-551.xml 5165278 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-536.xml 5165279 ∞ +0 1 +0 218.94/80.18
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-271.xml 5165280 ∞ +0 1 +0 118.73/33.37
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-564.xml 5165281 ∞ +0 1 +0 150.76/68.72
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-249.xml 5165282 ∞ +0 1 +0 109.73/30.27
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-434.xml 5165283 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-83.xml 5165284 ∞ +0 1 +0 129.82/46.37
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-335.xml 5165285 ∞ +0 1 +0 265.03/161.05
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-30.xml 5165286 ∞ +0 1 +0 126.18/39.45
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-120.xml 5165287 ∞ +0 1 +0 112.52/32.44
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-565.xml 5165288 ∞ +0 1 +0 114.94/34.22
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-67.xml 5165289 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-511.xml 5165290 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-19.xml 5165291 ∞ +0 1 +0 112.02/32.79
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-104.xml 5165292 ∞ +0 1 +0 127.76/41.75
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-2-num-10.xml 5165293 ∞ +0 1 +0 831.43/293.62
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-416.xml 5165294 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-468.xml 5165295 ∞ +0 1 +0 315.91/225.45
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-71.xml 5165296 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-4.xml 5165297 ∞ +0 1 +0 135.37/51.03
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-233.xml 5165298 ∞ +0 1 +0 146.76/59.45
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-374.xml 5165299 ∞ +0 1 +0 377.44/293.11
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-376.xml 5165300 ∞ +0 1 +0 178.55/78.00
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-231.xml 5165301 ∞ +0 1 +0 178.38/88.61
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-2-num-16.xml 5165302 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-191.xml 5165303 ∞ +0 1 +0 108.46/32.03
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-499.xml 5165304 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-460.xml 5165305 ∞ +0 1 +0 156.69/67.33
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-210.xml 5165306 ∞ +0 1 +0 114.14/34.05
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-190.xml 5165307 ∞ +0 1 +0 108.46/32.14
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-2-num-8.xml 5165308 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-474.xml 5165309 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-453.xml 5165310 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-10.xml 5165311 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-378.xml 5165312 ∞ +0 1 +0 114.69/34.88
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-270.xml 5165313 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-451.xml 5165314 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-2-num-22.xml 5165315 ∞ +0 1 +0 101.53/30.06
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-206.xml 5165316 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-403.xml 5165317 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-429.xml 5165318 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-57.xml 5165319 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-204.xml 5165320 paused
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-238.xml 5165321 paused
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-70.xml 5165322 paused
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-402.xml 5165323 paused
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-437.xml 5165324 paused
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-65.xml 5165325 paused
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-413.xml 5165326 paused
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-285.xml 5165327 paused
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-22.xml 5165328 paused
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-2-num-20.xml 5165329 paused
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-343.xml 5165330 paused
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-563.xml 5165331 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-561.xml 5165332 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-110.xml 5165333 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-226.xml 5165334 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-265.xml 5165335 paused
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-275.xml 5165336 paused
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-414.xml 5165337 paused
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-98.xml 5165338 paused
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-2-num-13.xml 5165339 paused
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-124.xml 5165340 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-133.xml 5165341 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-300.xml 5165342 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-289.xml 5165343 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-164.xml 5165344 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-159.xml 5165345 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-559.xml 5165346 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-454.xml 5165347 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-401.xml 5165348 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-359.xml 5165349 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-239.xml 5165350 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-477.xml 5165351 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-44.xml 5165352 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-86.xml 5165353 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-88.xml 5165354 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-168.xml 5165355 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-2-num-21.xml 5165356 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-473.xml 5165357 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-7.xml 5165358 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-76.xml 5165359 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-127.xml 5165360 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-350.xml 5165361 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-106.xml 5165362 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-427.xml 5165363 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-341.xml 5165364 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-417.xml 5165365 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-418.xml 5165366 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-13.xml 5165367 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-84.xml 5165368 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-396.xml 5165369 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-247.xml 5165370 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-406.xml 5165371 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-446.xml 5165372 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-368.xml 5165373 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-327.xml 5165374 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-553.xml 5165375 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-392.xml 5165376 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-354.xml 5165377 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-384.xml 5165378 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-209.xml 5165379 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-52.xml 5165380 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-337.xml 5165381 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-47.xml 5165382 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-550.xml 5165383 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-23.xml 5165384 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-502.xml 5165385 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-363.xml 5165386 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-2-num-14.xml 5165387 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-438.xml 5165388 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-149.xml 5165389 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-219.xml 5165390 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-20.xml 5165391 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-415.xml 5165392 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-303.xml 5165393 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-556.xml 5165394 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-126.xml 5165395 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-546.xml 5165396 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-494.xml 5165397 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-90.xml 5165398 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-3.xml 5165399 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-179.xml 5165400 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-412.xml 5165401 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-475.xml 5165402 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-366.xml 5165403 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-294.xml 5165404 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-163.xml 5165405 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-272.xml 5165406 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-351.xml 5165407 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-373.xml 5165408 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-2-num-17.xml 5165409 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-470.xml 5165410 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-297.xml 5165411 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-469.xml 5165412 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-213.xml 5165413 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-129.xml 5165414 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-409.xml 5165415 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-92.xml 5165416 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-283.xml 5165417 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-40.xml 5165418 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-178.xml 5165419 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-243.xml 5165420 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-498.xml 5165421 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-15.xml 5165422 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-99.xml 5165423 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-488.xml 5165424 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-107.xml 5165425 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-508.xml 5165426 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-522.xml 5165427 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-330.xml 5165428 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-236.xml 5165429 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-203.xml 5165430 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-186.xml 5165431 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-35.xml 5165432 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-284.xml 5165433 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-105.xml 5165434 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-462.xml 5165435 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-535.xml 5165436 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-9.xml 5165437 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-94.xml 5165438 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-223.xml 5165439 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-122.xml 5165440 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-385.xml 5165441 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-112.xml 5165442 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-282.xml 5165443 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-352.xml 5165444 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-273.xml 5165445 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-128.xml 5165446 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-132.xml 5165447 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-225.xml 5165448 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-177.xml 5165449 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-353.xml 5165450 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-467.xml 5165451 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-356.xml 5165452 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-547.xml 5165453 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-21.xml 5165454 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-299.xml 5165455 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-443.xml 5165456 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-237.xml 5165457 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-360.xml 5165458 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-287.xml 5165459 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-452.xml 5165460 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-493.xml 5165461 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-455.xml 5165462 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-362.xml 5165463 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-304.xml 5165464 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-260.xml 5165465 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-391.xml 5165466 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-484.xml 5165467 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-347.xml 5165468 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-227.xml 5165469 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-309.xml 5165470 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-410.xml 5165471 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-211.xml 5165472 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-100.xml 5165473 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-382.xml 5165474 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-292.xml 5165475 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-95.xml 5165476 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-338.xml 5165477 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-301.xml 5165478 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-158.xml 5165479 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-17.xml 5165480 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-568.xml 5165481 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-431.xml 5165482 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-45.xml 5165483 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-482.xml 5165484 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-232.xml 5165485 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-489.xml 5165486 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-49.xml 5165487 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-377.xml 5165488 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-123.xml 5165489 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-541.xml 5165490 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-288.xml 5165491 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-298.xml 5165492 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-267.xml 5165493 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-31.xml 5165494 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-348.xml 5165495 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-506.xml 5165496 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-181.xml 5165497 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-140.xml 5165498 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-465.xml 5165499 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-114.xml 5165500 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-456.xml 5165501 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-109.xml 5165502 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-540.xml 5165503 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-492.xml 5165504 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-2-num-3.xml 5165505 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-274.xml 5165506 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-224.xml 5165507 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-386.xml 5165508 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-2-num-7.xml 5165509 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-195.xml 5165510 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-558.xml 5165511 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-548.xml 5165512 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-339.xml 5165513 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-248.xml 5165514 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-532.xml 5165515 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-435.xml 5165516 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-383.xml 5165517 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-286.xml 5165518 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-2-num-15.xml 5165519 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-2-num-2.xml 5165520 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-220.xml 5165521 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-552.xml 5165522 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-16.xml 5165523 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-51.xml 5165524 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-221.xml 5165525 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-346.xml 5165526 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-340.xml 5165527 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-491.xml 5165528 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-152.xml 5165529 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-146.xml 5165530 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-543.xml 5165531 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-2-num-19.xml 5165532 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-450.xml 5165533 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-441.xml 5165534 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-355.xml 5165535 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-436.xml 5165536 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-439.xml 5165537 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-215.xml 5165538 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-472.xml 5165539 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-2-num-4.xml 5165540 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-66.xml 5165541 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-2-num-5.xml 5165542 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-545.xml 5165543 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-497.xml 5165544 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-135.xml 5165545 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-111.xml 5165546 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-41.xml 5165547 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-345.xml 5165548 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-526.xml 5165549 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-281.xml 5165550 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-134.xml 5165551 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-408.xml 5165552 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-1.xml 5165553 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-74.xml 5165554 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-2-num-18.xml 5165555 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-296.xml 5165556 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-176.xml 5165557 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-361.xml 5165558 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-2-num-11.xml 5165559 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-328.xml 5165560 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-121.xml 5165561 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-222.xml 5165562 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-72.xml 5165563 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-174.xml 5165564 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-14.xml 5165565 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-91.xml 5165566 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-293.xml 5165567 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-165.xml 5165568 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-549.xml 5165569 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-61.xml 5165570 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-180.xml 5165571 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-125.xml 5165572 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-82.xml 5165573 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size12/size-12-alpha-3-num-400.xml 5165574 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size11/size-11-alpha-3-num-12.xml 5164446 ∞ +0 1 +0 139.92/52.19
Derivational_Complexity_Full_Rewriting/Waldmann_07_size11/size-11-alpha-3-num-20.xml 5164447 ∞ +0 1 +0 120.66/36.73
Derivational_Complexity_Full_Rewriting/Waldmann_07_size11/size-11-alpha-2-num-4.xml 5164448 ∞ +0 1 +0 189.31/97.24
Derivational_Complexity_Full_Rewriting/Waldmann_07_size11/size-11-alpha-3-num-21.xml 5164449 ∞ +0 1 +0 107.94/30.01
Derivational_Complexity_Full_Rewriting/Waldmann_07_size11/size-11-alpha-3-num-3.xml 5164450 ∞ +0 1 +0 120.57/37.39
Derivational_Complexity_Full_Rewriting/Waldmann_07_size11/size-11-alpha-3-num-8.xml 5164451 ∞ +0 1 +0 109.97/32.84
Derivational_Complexity_Full_Rewriting/Waldmann_07_size11/size-11-alpha-3-num-1.xml 5164452 ∞ +0 1 +0 115.12/33.73
Derivational_Complexity_Full_Rewriting/Waldmann_07_size11/size-11-alpha-3-num-4.xml 5164453 ∞ +0 1 +0 287.36/193.72
Derivational_Complexity_Full_Rewriting/Waldmann_07_size11/size-11-alpha-3-num-5.xml 5164454 ∞ +0 1 +0 188.42/93.52
Derivational_Complexity_Full_Rewriting/Waldmann_07_size11/size-11-alpha-3-num-14.xml 5164455 ∞ +0 1 +0 381.69/292.69
Derivational_Complexity_Full_Rewriting/Waldmann_07_size11/size-11-alpha-3-num-2.xml 5164456 ∞ +0 1 +0 197.40/100.80
Derivational_Complexity_Full_Rewriting/Waldmann_07_size11/size-11-alpha-3-num-11.xml 5164457 ∞ +0 1 +0 361.34/265.70
Derivational_Complexity_Full_Rewriting/Waldmann_07_size11/size-11-alpha-2-num-3.xml 5164458 ∞ +0 1 +0 125.48/33.44
Derivational_Complexity_Full_Rewriting/Waldmann_07_size11/size-11-alpha-3-num-6.xml 5164459 ∞ +0 1 +0 110.41/31.54
Derivational_Complexity_Full_Rewriting/Waldmann_07_size11/size-11-alpha-2-num-2.xml 5164460 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size11/size-11-alpha-2-num-1.xml 5164461 ∞ +0 1 +0 194.29/81.99
Derivational_Complexity_Full_Rewriting/Waldmann_07_size11/size-11-alpha-3-num-16.xml 5164462 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size11/size-11-alpha-3-num-17.xml 5164463 ∞ +0 1 +0 123.08/38.32
Derivational_Complexity_Full_Rewriting/Waldmann_07_size11/size-11-alpha-3-num-13.xml 5164464 ∞ +0 1 +0 372.30/293.11
Derivational_Complexity_Full_Rewriting/Waldmann_07_size11/size-11-alpha-3-num-15.xml 5164465 pending submission
Derivational_Complexity_Full_Rewriting/Waldmann_07_size11/size-11-alpha-3-num-7.xml 5164466 ∞ +0 1 +0 109.21/31.22
Derivational_Complexity_Full_Rewriting/Waldmann_07_size11/size-11-alpha-3-num-10.xml 5164467 ∞ +0 1 +0 111.79/32.61
Derivational_Complexity_Full_Rewriting/Waldmann_07_size11/size-11-alpha-3-num-19.xml 5164468 ∞ +0 1 +0 108.19/30.29
Derivational_Complexity_Full_Rewriting/Waldmann_07_size11/size-11-alpha-3-num-9.xml 5164469 ∞ +0 1 +0 110.36/32.51
Derivational_Complexity_Full_Rewriting/Waldmann_07_size11/size-11-alpha-3-num-18.xml 5164470 ∞ +0 1 +0 105.91/30.43
229