TermComp 2020: Runtime_Complexity: TRS Innermost Certified 41509 Job info CSV Showing results.

tct-trs_v3.2.0_2020-06-28 AProVE
benchmark UPLOWTIME UPLOWTIME
HirokawaMiddeldorp_04/n002.xml 11768667 u ∞ +0 1 +0 53.99/20.15 ∞ +0 1 +0 10.16/3.80
HirokawaMiddeldorp_04/n003.xml 11768662 u ∞ +0 1 +0 48.18/20.16 ∞ +0 1 +0 8.94/3.71
HirokawaMiddeldorp_04/n004.xml 11768663 u ∞ +0 1 +0 51.91/20.12 ∞ +0 1 +0 8.83/3.79
HirokawaMiddeldorp_04/n005.xml 11768666 u ∞ +0 1 +0 62.16/20.15 ∞ +0 1 +0 10.46/4.06
HirokawaMiddeldorp_04/n006.xml 11768669 u ∞ +0 1 +0 47.18/20.17 ∞ +0 1 +0 9.16/3.85
HirokawaMiddeldorp_04/n007.xml 11768672 u ∞ +0 1 +0 9.61/3.29 ∞ +0 1 +0 3.81/1.80
HirokawaMiddeldorp_04/t001.xml 11768670 u timeout (wallclock) timeout (wallclock)
HirokawaMiddeldorp_04/t002.xml 11768668 iu timeout (wallclock) ∞ +0 1 +0 582.78/294.34
HirokawaMiddeldorp_04/t003.xml 11768661 u timeout (wallclock) timeout (wallclock)
HirokawaMiddeldorp_04/t004.xml 11768660 u ∞ +0 1 +0 144.62/51.69 ∞ +0 1 +0 146.53/115.70
HirokawaMiddeldorp_04/t009.xml 11768671 u ∞ +0 1 +0 844.87/296.27 ∞ +0 1 +0 1143.77/292.42
HirokawaMiddeldorp_04/t011.xml 11768673 n1 +2 1 +0 0.36/0.12 n1 +2 1 +0 4.03/1.82
HirokawaMiddeldorp_04/t013.xml 11768665 u ∞ +0 1 +0 80.07/29.16 ∞ +0 1 +0 206.24/189.85
HirokawaMiddeldorp_04/t014.xml 11768664 n2 +2 1 +0 3.51/1.34 n2 +2 1 +0 34.84/9.69
CiME_04/ack_prolog.xml 11768677 u ∞ +0 1 +0 600.87/296.13 ∞ +0 1 +0 58.84/39.01
CiME_04/append-hard.xml 11768676 u ∞ +0 1 +0 44.73/15.89 ∞ +0 1 +0 6.52/2.49
CiME_04/append-wrong.xml 11768681 u ∞ +0 1 +0 1180.90/296.15 ∞ +0 1 +0 134.56/122.88
CiME_04/append.xml 11768679 n1 +2 1 +0 0.53/0.19 n1 +2 1 +0 4.23/2.35
CiME_04/fact-hard.xml 11768674 u ∞ +0 1 +0 432.50/258.85 ∞ +0 1 +0 732.09/298.40
CiME_04/filliatre.xml 11768678 u ∞ +0 1 +0 696.89/296.07 ∞ +0 1 +0 128.93/87.70
CiME_04/filliatre2.xml 11768680 u ∞ +0 1 +0 360.03/296.16 ∞ +0 1 +0 80.24/41.92
CiME_04/filliatre3.xml 11768682 u ∞ +0 1 +0 536.41/221.39 ∞ +0 1 +0 84.76/44.91
CiME_04/list-sum-prod.xml 11768675 u ∞ +0 1 +0 135.82/58.55 ∞ +0 1 +0 23.83/13.10
raML/appendAll.raml.xml 11768599 n1 +2 1 +0 0.27/0.10 n1 +2 1 +0 18.95/6.95
raML/bfs.raml.xml 11768603 is timeout (wallclock) n3 +2 1 +0 487.67/181.21
raML/bft_mmult.raml.xml 11768590 u ∞ +0 1 +0 1110.73/296.12 ∞ +0 1 +0 907.02/292.14
raML/bitvectors.raml.xml 11768600 u timeout (wallclock) timeout (wallclock)
raML/clevermmult.raml.xml 11768588 n2 +2 1 +0 164.86/42.35 n2 +2 1 +0 44.35/12.12
raML/duplicates.raml.xml 11768591 n2 +2 1 +0 22.45/9.30 n2 +2 1 +0 99.17/26.76
raML/dyade.raml.xml 11768598 n2 +2 1 +0 31.85/9.76 n2 +2 1 +0 14.54/4.42
raML/eratosthenes.raml.xml 11768605 is n2 +2 1 +0 253.47/64.69 timeout (wallclock)
raML/flatten.raml.xml 11768589 n2 +2 1 +0 135.36/45.61 n2 +2 1 +0 46.74/12.66
raML/insertionsort.raml.xml 11768606 iu timeout (wallclock) ∞ +0 1 +0 649.23/291.91
raML/listsort.raml.xml 11768594 is timeout (wallclock) n2 +2 1 +0 664.79/174.86
raML/longestCommonSubsequence.raml.xml 11768604 is timeout (wallclock) n2 +2 1 +0 673.60/181.03
raML/matrix.raml.xml 11768593 u ∞ +0 1 +0 1171.46/296.27 ∞ +0 1 +0 857.13/291.73
raML/mergesort.raml.xml 11768607 u ∞ +0 1 +0 311.19/296.13 ∞ +0 1 +0 601.09/291.71
raML/minsort.raml.xml 11768592 n2 +2 1 +0 44.06/16.90 n2 +2 1 +0 15.92/4.87
raML/queue.raml.xml 11768597 u ∞ +0 1 +0 721.41/296.07 ∞ +0 1 +0 753.17/291.53
raML/quicksort.raml.xml 11768595 u timeout (wallclock) timeout (wallclock)
raML/rationalPotential.raml.xml 11768601 n1 +2 1 +0 2.38/0.73 n1 +2 1 +0 6.25/2.54
raML/splitandsort.raml.xml 11768596 u ∞ +0 1 +0 1143.11/296.11 ∞ +0 1 +0 1028.70/296.13
raML/subtrees.raml.xml 11768602 n2 +2 1 +0 3.21/1.27 n2 +2 1 +0 8.62/3.18
AProVE_07/kabasci04.xml 11768617 u ∞ +0 1 +0 1085.77/296.19 ∞ +0 1 +0 663.54/298.59
AProVE_07/otto01.xml 11768612 iu timeout (wallclock) ∞ +0 1 +0 1046.99/299.20
AProVE_07/otto02.xml 11768658 u ∞ +0 1 +0 926.21/296.05 ∞ +0 1 +0 266.26/228.48
AProVE_07/otto03.xml 11768642 u ∞ +0 1 +0 130.82/52.29 ∞ +0 1 +0 7.17/2.74
AProVE_07/otto04.xml 11768644 u ∞ +0 1 +0 191.59/101.90 ∞ +0 1 +0 329.85/292.07
AProVE_07/otto05.xml 11768656 u ∞ +0 1 +0 970.98/296.12 ∞ +0 1 +0 135.50/125.37
AProVE_07/otto06.xml 11768614 u ∞ +0 1 +0 971.20/296.13 ∞ +0 1 +0 699.49/298.08
AProVE_07/otto07.xml 11768623 u ∞ +0 1 +0 123.59/61.60 ∞ +0 1 +0 6.55/2.85
AProVE_07/otto08.xml 11768611 u ∞ +0 1 +0 203.28/87.95 ∞ +0 1 +0 101.63/63.60
AProVE_07/otto09.xml 11768626 u ∞ +0 1 +0 129.82/41.81 ∞ +0 1 +0 138.88/117.10
AProVE_07/otto10.xml 11768619 u ∞ +0 1 +0 537.60/296.20 ∞ +0 1 +0 119.27/83.00
AProVE_07/otto11.xml 11768633 u ∞ +0 1 +0 93.20/41.50 ∞ +0 1 +0 35.08/15.25
AProVE_07/otto12.xml 11768641 u ∞ +0 1 +0 265.74/129.49 ∞ +0 1 +0 18.13/8.28
AProVE_07/otto13.xml 11768650 u ∞ +0 1 +0 186.76/98.24 ∞ +0 1 +0 231.78/190.58
AProVE_07/thiemann01.xml 11768639 u ∞ +0 1 +0 269.15/98.96 ∞ +0 1 +0 30.06/13.73
AProVE_07/thiemann02.xml 11768634 iu timeout (wallclock) ∞ +0 1 +0 898.76/291.70
AProVE_07/thiemann03.xml 11768616 u ∞ +0 1 +0 387.57/258.16 ∞ +0 1 +0 423.58/294.56
AProVE_07/thiemann04.xml 11768618 u timeout (wallclock) timeout (wallclock)
AProVE_07/thiemann05.xml 11768632 u ∞ +0 1 +0 181.67/69.63 ∞ +0 1 +0 395.09/298.75
AProVE_07/thiemann06.xml 11768640 u ∞ +0 1 +0 322.99/161.88 ∞ +0 1 +0 336.85/216.54
AProVE_07/thiemann07.xml 11768649 iu ∞ +0 1 +0 303.70/157.73 timeout (wallclock)
AProVE_07/thiemann08.xml 11768638 u ∞ +0 1 +0 382.20/296.02 ∞ +0 1 +0 51.96/38.23
AProVE_07/thiemann10.xml 11768645 u ∞ +0 1 +0 1091.50/296.38 ∞ +0 1 +0 316.59/291.59
AProVE_07/thiemann11.xml 11768657 u ∞ +0 1 +0 1011.18/296.06 ∞ +0 1 +0 571.49/291.78
AProVE_07/thiemann12.xml 11768615 u ∞ +0 1 +0 1062.20/296.08 ∞ +0 1 +0 118.47/95.95
AProVE_07/thiemann13.xml 11768624 u ∞ +0 1 +0 902.49/296.15 ∞ +0 1 +0 618.44/292.81
AProVE_07/thiemann14.xml 11768625 u ∞ +0 1 +0 893.31/296.28 ∞ +0 1 +0 654.15/294.52
AProVE_07/thiemann15.xml 11768613 u ∞ +0 1 +0 1140.01/296.36 ∞ +0 1 +0 305.20/291.64
AProVE_07/thiemann16.xml 11768659 iu ∞ +0 1 +0 1071.30/296.14 timeout (wallclock)
AProVE_07/thiemann17.xml 11768643 u ∞ +0 1 +0 1084.02/296.12 ∞ +0 1 +0 659.88/300.22
AProVE_07/thiemann18.xml 11768655 u ∞ +0 1 +0 357.95/232.10 ∞ +0 1 +0 823.39/291.60
AProVE_07/thiemann19.xml 11768646 u ∞ +0 1 +0 469.38/296.04 ∞ +0 1 +0 404.89/293.62
AProVE_07/thiemann20.xml 11768609 u ∞ +0 1 +0 737.28/296.10 ∞ +0 1 +0 70.94/38.03
AProVE_07/thiemann21.xml 11768628 u ∞ +0 1 +0 358.93/191.89 ∞ +0 1 +0 669.66/291.74
AProVE_07/thiemann22.xml 11768648 u ∞ +0 1 +0 595.83/296.07 ∞ +0 1 +0 370.08/291.66
AProVE_07/thiemann23.xml 11768653 iu timeout (wallclock) ∞ +0 1 +0 74.25/41.44
AProVE_07/thiemann24.xml 11768654 u ∞ +0 1 +0 227.74/88.18 ∞ +0 1 +0 14.62/5.52
AProVE_07/thiemann25.xml 11768647 u ∞ +0 1 +0 99.73/31.19 ∞ +0 1 +0 10.81/4.64
AProVE_07/thiemann26.xml 11768629 u ∞ +0 1 +0 224.45/96.47 ∞ +0 1 +0 31.60/14.49
AProVE_07/thiemann27.xml 11768608 u ∞ +0 1 +0 131.00/57.00 ∞ +0 1 +0 6.43/2.75
AProVE_07/thiemann28.xml 11768627 iu timeout (wallclock) ∞ +0 1 +0 356.40/296.14
AProVE_07/thiemann29.xml 11768610 u ∞ +0 1 +0 420.73/268.37 ∞ +0 1 +0 347.15/291.67
AProVE_07/thiemann30.xml 11768631 u ∞ +0 1 +0 1050.27/296.66 ∞ +0 1 +0 420.43/291.56
AProVE_07/thiemann31.xml 11768621 u ∞ +0 1 +0 893.38/296.08 ∞ +0 1 +0 36.18/24.46
AProVE_07/thiemann32.xml 11768652 u ∞ +0 1 +0 964.33/296.15 ∞ +0 1 +0 62.39/41.00
AProVE_07/thiemann33.xml 11768635 u ∞ +0 1 +0 382.09/163.29 ∞ +0 1 +0 21.79/13.79
AProVE_07/thiemann34.xml 11768636 u ∞ +0 1 +0 542.81/296.13 ∞ +0 1 +0 24.56/16.89
AProVE_07/thiemann36.xml 11768622 u ∞ +0 1 +0 923.37/296.03 ∞ +0 1 +0 42.72/28.00
AProVE_07/thiemann37.xml 11768630 u timeout (wallclock) timeout (wallclock)
AProVE_07/thiemann38.xml 11768620 u ∞ +0 1 +0 189.26/73.53 ∞ +0 1 +0 64.11/35.42
AProVE_07/thiemann40.xml 11768651 u ∞ +0 1 +0 54.03/19.64 ∞ +0 1 +0 9.65/4.94
AProVE_07/thiemann41.xml 11768637 u ∞ +0 1 +0 780.50/296.12 ∞ +0 1 +0 86.61/60.86
Various_04/11.xml 11768576 u ∞ +0 1 +0 18.57/6.42 ∞ +0 1 +0 5.73/6.68
Various_04/15.xml 11768575 n1 +2 1 +0 0.05/0.03 n1 +2 1 +0 6.27/2.75
Various_04/22.xml 11768578 u ∞ +0 1 +0 23.89/8.57 ∞ +0 1 +0 7.48/11.69
Various_04/24.xml 11768577 i n2 +1 1 +0 31.76/9.59 n1 +2 1 +0 375.63/292.56
Secret_05_TRS/aprove2.xml 11768587 u ∞ +0 1 +0 462.66/296.17 ∞ +0 1 +0 17.83/7.49
Secret_05_TRS/aprove3.xml 11768582 u ∞ +0 1 +0 58.87/20.44 ∞ +0 1 +0 125.72/101.77
Secret_05_TRS/cime4.xml 11768581 is 1 +2 1 +0 0.87/0.29 ∞ +0 1 +0 6.06/2.67
Secret_05_TRS/tpa1.xml 11768580 iu timeout (wallclock) ∞ +0 1 +0 692.26/300.94
Secret_05_TRS/tpa2.xml 11768583 iu timeout (wallclock) ∞ +0 1 +0 499.27/300.41
Secret_05_TRS/tpa3.xml 11768586 u ∞ +0 1 +0 271.87/93.44 ∞ +0 1 +0 674.53/296.56
Secret_05_TRS/tpa4.xml 11768585 u timeout (wallclock) timeout (wallclock)
Secret_05_TRS/tpa5.xml 11768584 u ∞ +0 1 +0 1088.29/296.58 ∞ +0 1 +0 689.47/298.93
Secret_05_TRS/ttt2.xml 11768579 u ∞ +0 1 +0 155.99/68.57 ∞ +0 1 +0 13.22/7.02
Waldmann_06/jwmatchb1.xml 11768564 n1 +2 1 +0 0.03/0.06 n1 +2 1 +0 5.26/2.20
Waldmann_06/jwmatchb2.xml 11768563 n1 +2 1 +0 0.03/0.04 n1 +2 1 +0 5.16/2.21
Waldmann_06/jwno1.xml 11768565 u ∞ +0 1 +0 65.59/20.19 ∞ +0 1 +0 333.46/296.03
Waldmann_06/jwno4.xml 11768562 u ∞ +0 1 +0 113.50/63.97 ∞ +0 1 +0 14.55/11.09
Waldmann_06/jwno6.xml 11768566 u ∞ +0 1 +0 120.83/71.79 ∞ +0 1 +0 14.94/5.48
AProVE_04/AAECC-ring.xml 11768574 u timeout (wallclock) timeout (wallclock)
AProVE_04/AAECC.xml 11768567 u timeout (wallclock) timeout (wallclock)
AProVE_04/fac.xml 11768569 u ∞ +0 1 +0 623.03/246.88 ∞ +0 1 +0 562.30/293.10
AProVE_04/IJCAR_1.xml 11768573 u ∞ +0 1 +0 678.61/296.04 ∞ +0 1 +0 5.56/2.38
AProVE_04/JFP_Ex51.xml 11768570 n2 +2 1 +0 34.42/11.81 n2 +2 1 +0 105.11/48.84
AProVE_04/rta1.xml 11768572 u ∞ +0 1 +0 1067.17/296.15 ∞ +0 1 +0 342.03/297.78
AProVE_04/rta2.xml 11768568 u ∞ +0 1 +0 12.96/4.25 ∞ +0 1 +0 4.34/1.92
AProVE_04/rta3.xml 11768571 u ∞ +0 1 +0 36.79/13.31 ∞ +0 1 +0 8.34/6.76
AProVE_09_Inductive/div.xml 11768696 u ∞ +0 1 +0 898.21/296.10 ∞ +0 1 +0 418.48/291.93
AProVE_09_Inductive/divhard.xml 11768690 u ∞ +0 1 +0 653.88/295.49 ∞ +0 1 +0 357.92/292.63
AProVE_09_Inductive/gcd.xml 11768688 u ∞ +0 1 +0 764.15/296.11 ∞ +0 1 +0 382.99/291.93
AProVE_09_Inductive/gcd2.xml 11768691 u ∞ +0 1 +0 722.05/296.15 ∞ +0 1 +0 522.16/292.07
AProVE_09_Inductive/gcdhard.xml 11768686 u ∞ +0 1 +0 482.92/190.82 ∞ +0 1 +0 174.84/115.79
AProVE_09_Inductive/log.xml 11768687 u ∞ +0 1 +0 1018.83/296.18 ∞ +0 1 +0 353.27/292.65
AProVE_09_Inductive/maxsort.xml 11768695 u ∞ +0 1 +0 1057.42/299.91 ∞ +0 1 +0 443.30/294.82
AProVE_09_Inductive/maxsortcondition.xml 11768685 u ∞ +0 1 +0 130.80/69.22 ∞ +0 1 +0 66.65/37.35
AProVE_09_Inductive/minsort.xml 11768683 u ∞ +0 1 +0 1067.56/300.32 ∞ +0 1 +0 706.05/298.10
AProVE_09_Inductive/mod.xml 11768692 u ∞ +0 1 +0 806.70/296.25 ∞ +0 1 +0 307.69/249.88
AProVE_09_Inductive/qsort.xml 11768684 u timeout (wallclock) timeout (wallclock)
AProVE_09_Inductive/qsortlast.xml 11768694 u timeout (wallclock) timeout (wallclock)
AProVE_09_Inductive/qsortmiddle.xml 11768693 iu ∞ +0 1 +0 1105.06/297.26 timeout (wallclock)
AProVE_09_Inductive/zerolist.xml 11768689 u ∞ +0 1 +0 149.97/74.13 ∞ +0 1 +0 54.54/44.52
Frederiksen_Others/add.xml 11768703 n1 +2 1 +0 0.04/0.03 n1 +2 1 +0 4.65/2.07
Frederiksen_Others/assrewriteSize.xml 11768698 u ∞ +0 1 +0 277.85/122.87 ∞ +0 1 +0 10.38/4.04
Frederiksen_Others/boolprog.xml 11768701 n1 +2 1 +0 4.63/1.50 n1 +2 1 +0 9.23/3.18
Frederiksen_Others/bubblesort.xml 11768699 n2 +2 1 +0 210.02/73.09 n2 +2 1 +0 8.56/3.03
Frederiksen_Others/deadcodeSize.xml 11768705 u ∞ +0 1 +0 52.12/20.15 ∞ +0 1 +0 13.57/11.43
Frederiksen_Others/disj2_typed.xml 11768723 n1 +2 1 +0 0.47/0.15 n1 +2 1 +0 5.57/2.14
Frederiksen_Others/div2.xml 11768711 n1 +2 1 +0 0.02/0.06 n1 +2 1 +0 4.67/2.07
Frederiksen_Others/dup1_typed.xml 11768713 n1 +2 1 +0 0.64/0.24 n1 +2 1 +0 8.07/2.99
Frederiksen_Others/dup2_typed.xml 11768718 n1 +2 1 +0 2.31/0.91 n1 +2 1 +0 5.72/2.31
Frederiksen_Others/eq.xml 11768720 n1 +2 1 +0 0.04/0.08 n1 +2 1 +0 3.96/1.90
Frederiksen_Others/ex6.xml 11768712 n1 +2 1 +0 0.07/0.08 n1 +2 1 +0 4.22/1.98
Frederiksen_Others/fgh.xml 11768716 u ∞ +0 1 +0 201.04/82.60 ∞ +0 1 +0 444.71/293.08
Frederiksen_Others/fghSize.xml 11768730 u ∞ +0 1 +0 128.65/48.48 ∞ +0 1 +0 393.23/292.53
Frederiksen_Others/gexgcd.xml 11768715 i n2 +1 1 +0 184.43/71.16 n1 +2 1 +0 126.81/37.43
Frederiksen_Others/gexgcd2.xml 11768717 u ∞ +0 1 +0 200.55/80.50 ∞ +0 1 +0 35.18/20.09
Frederiksen_Others/graphcolour1_typed.xml 11768725 iu timeout (wallclock) ∞ +0 1 +0 1128.84/291.91
Frederiksen_Others/graphcolour2Size_typed.xml 11768706 iu timeout (wallclock) ∞ +0 1 +0 1143.41/292.13
Frederiksen_Others/graphcolour2_typed.xml 11768722 iu timeout (wallclock) ∞ +0 1 +0 1141.92/291.89
Frederiksen_Others/graphcolour3_typed.xml 11768719 iu timeout (wallclock) ∞ +0 1 +0 1143.41/291.85
Frederiksen_Others/inssort.xml 11768710 n2 +2 1 +0 249.63/134.58 n2 +2 1 +0 7.67/2.77
Frederiksen_Others/inssort_better.xml 11768728 n2 +2 1 +0 38.22/11.74 n2 +2 1 +0 7.54/3.12
Frederiksen_Others/match.xml 11768704 n2 +2 1 +0 2.65/0.89 n2 +2 1 +0 6.62/2.52
Frederiksen_Others/minsortSize.xml 11768726 u ∞ +0 1 +0 173.46/65.28 ∞ +0 1 +0 25.60/10.27
Frederiksen_Others/ocall-safe.xml 11768729 n1 +2 1 +0 0.03/0.06 n1 +2 1 +0 5.21/2.25
Frederiksen_Others/ocall-unsafe.xml 11768727 n1 +2 1 +0 0.03/0.10 n1 +2 1 +0 5.29/7.24
Frederiksen_Others/oddeven.xml 11768721 n1 +2 1 +0 0.05/0.08 n1 +2 1 +0 3.89/1.84
Frederiksen_Others/permut.xml 11768708 n1 +2 1 +0 0.03/0.07 n1 +2 1 +0 3.85/1.88
Frederiksen_Others/power.xml 11768702 u ∞ +0 1 +0 55.42/23.26 ∞ +0 1 +0 19.66/8.90
Frederiksen_Others/quicksortPtime.xml 11768724 is ∞ +0 1 +0 369.42/190.13 n2 +2 1 +0 43.02/14.47
Frederiksen_Others/quicksortSize.xml 11768697 iu ∞ +0 1 +0 1080.62/296.61 timeout (wallclock)
Frederiksen_Others/reach.xml 11768707 iu timeout (wallclock) ∞ +0 1 +0 1148.45/291.74
Frederiksen_Others/rematch.xml 11768709 u ∞ +0 1 +0 757.30/296.76 ∞ +0 1 +0 1150.94/292.43
Frederiksen_Others/strmatch.xml 11768714 n2 +2 1 +0 7.72/2.99 n2 +2 1 +0 20.18/5.83
Frederiksen_Others/thetrickSize.xml 11768700 i n1 +2 1 +0 8.09/2.66 n2 +1 1 +0 16.99/7.50
Endrullis_06/direct.xml 11768116 n1 +2 1 +0 0.35/0.16 n1 +2 1 +0 10.96/6.04
Mixed_TRS/Ex1_Luc04b_GM.xml 11768120 u ∞ +0 1 +0 795.31/296.18 ∞ +0 1 +0 14.70/6.55
Mixed_TRS/fossacs.xml 11768117 u ∞ +0 1 +0 881.56/296.03 ∞ +0 1 +0 494.37/293.25
Mixed_TRS/gcd.xml 11768126 u ∞ +0 1 +0 1081.95/296.14 ∞ +0 1 +0 577.39/295.26
Mixed_TRS/gcdMinMax.xml 11768131 u ∞ +0 1 +0 1069.03/296.70 ∞ +0 1 +0 694.16/300.78
Mixed_TRS/gcd_triple.xml 11768127 u ∞ +0 1 +0 1020.99/296.70 ∞ +0 1 +0 666.24/298.37
Mixed_TRS/jones1.xml 11768122 n1 +2 1 +0 0.02/0.07 n1 +2 1 +0 4.48/1.93
Mixed_TRS/jones2.xml 11768124 i n2 +2 1 +0 2.28/0.88 n3 +1 1 +0 4.50/2.01
Mixed_TRS/jones4.xml 11768129 n1 +2 1 +0 0.03/0.03 n1 +2 1 +0 4.55/1.92
Mixed_TRS/jones5.xml 11768125 u ∞ +0 1 +0 17.69/5.65 ∞ +0 1 +0 4.79/2.02
Mixed_TRS/jones6.xml 11768121 n1 +2 1 +0 0.08/0.06 n1 +2 1 +0 4.31/1.90
Mixed_TRS/minsort.xml 11768119 u ∞ +0 1 +0 938.30/296.16 ∞ +0 1 +0 387.91/296.10
Mixed_TRS/perfect.xml 11768130 is n1 +2 1 +0 2.35/0.78 ∞ +0 1 +0 5.74/2.27
Mixed_TRS/perfect2.xml 11768123 iu timeout (wallclock) ∞ +0 1 +0 397.32/301.02
Mixed_TRS/test1.xml 11768128 u ∞ +0 1 +0 14.65/5.42 ∞ +0 1 +0 4.33/2.33
Mixed_TRS/while.xml 11768118 u ∞ +0 1 +0 243.97/116.56 ∞ +0 1 +0 7.34/3.92
GTSSK07/cade01.xml 11768070 u ∞ +0 1 +0 126.40/61.31 ∞ +0 1 +0 6.91/2.64
GTSSK07/cade03.xml 11768081 u ∞ +0 1 +0 86.95/36.64 ∞ +0 1 +0 8.19/2.85
GTSSK07/cade05t.xml 11768079 u ∞ +0 1 +0 1127.09/296.09 ∞ +0 1 +0 359.30/295.94
GTSSK07/cade06.xml 11768069 u ∞ +0 1 +0 1060.73/297.02 ∞ +0 1 +0 357.32/295.82
GTSSK07/cade07.xml 11768075 u ∞ +0 1 +0 448.66/296.16 ∞ +0 1 +0 52.04/44.71
GTSSK07/cade08.xml 11768071 iu timeout (wallclock) ∞ +0 1 +0 438.86/296.32
GTSSK07/cade09.xml 11768074 u ∞ +0 1 +0 594.70/296.16 ∞ +0 1 +0 313.79/291.67
GTSSK07/cade10.xml 11768072 u ∞ +0 1 +0 1127.49/296.14 ∞ +0 1 +0 69.77/60.43
GTSSK07/cade11.xml 11768078 u ∞ +0 1 +0 587.32/296.92 ∞ +0 1 +0 7.63/3.09
GTSSK07/cade12t.xml 11768068 iu timeout (wallclock) ∞ +0 1 +0 1138.77/299.39
GTSSK07/cade13t.xml 11768076 u ∞ +0 1 +0 74.28/30.17 ∞ +0 1 +0 25.70/15.43
GTSSK07/cade14.xml 11768082 u ∞ +0 1 +0 204.64/71.25 ∞ +0 1 +0 13.56/6.90
GTSSK07/cade15.xml 11768080 u ∞ +0 1 +0 312.15/169.93 ∞ +0 1 +0 388.37/292.78
GTSSK07/cade16.xml 11768077 u ∞ +0 1 +0 279.19/97.83 ∞ +0 1 +0 96.61/44.66
GTSSK07/cade17.xml 11768073 u ∞ +0 1 +0 957.50/296.10 ∞ +0 1 +0 932.28/300.94
Strategy_removed_CSR_05/Ex14_AEGL02.xml 11768109 u ∞ +0 1 +0 15.14/4.87 ∞ +0 1 +0 4.55/2.03
Strategy_removed_CSR_05/Ex15_Luc98.xml 11768098 u ∞ +0 1 +0 28.08/9.65 ∞ +0 1 +0 4.99/2.13
Strategy_removed_CSR_05/Ex1_2_AEL03.xml 11768091 u ∞ +0 1 +0 144.96/46.76 ∞ +0 1 +0 8.54/2.98
Strategy_removed_CSR_05/Ex1_2_Luc02c.xml 11768115 u ∞ +0 1 +0 10.81/3.65 ∞ +0 1 +0 4.36/2.66
Strategy_removed_CSR_05/Ex1_GL02a.xml 11768089 u ∞ +0 1 +0 80.84/54.40 ∞ +0 1 +0 5.41/2.17
Strategy_removed_CSR_05/Ex1_GM03.xml 11768088 u ∞ +0 1 +0 182.38/67.24 ∞ +0 1 +0 160.30/120.46
Strategy_removed_CSR_05/Ex1_Luc02b.xml 11768102 u ∞ +0 1 +0 34.68/12.92 ∞ +0 1 +0 4.68/2.03
Strategy_removed_CSR_05/Ex1_Zan97.xml 11768112 u ∞ +0 1 +0 235.42/82.91 ∞ +0 1 +0 10.79/4.34
Strategy_removed_CSR_05/Ex26_Luc03b.xml 11768104 u ∞ +0 1 +0 104.30/40.96 ∞ +0 1 +0 26.08/14.28
Strategy_removed_CSR_05/Ex2_Luc03b.xml 11768094 u ∞ +0 1 +0 39.46/17.22 ∞ +0 1 +0 4.91/2.01
Strategy_removed_CSR_05/Ex3_12_Luc96a.xml 11768095 u ∞ +0 1 +0 21.75/8.78 ∞ +0 1 +0 4.58/1.91
Strategy_removed_CSR_05/Ex3_2_Luc97.xml 11768083 u ∞ +0 1 +0 45.91/18.35 ∞ +0 1 +0 5.24/2.11
Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml 11768092 u ∞ +0 1 +0 57.15/28.34 ∞ +0 1 +0 228.95/217.56
Strategy_removed_CSR_05/Ex49_GM04.xml 11768096 n1 +2 1 +0 1.86/0.70 n1 +2 1 +0 11.77/3.79
Strategy_removed_CSR_05/Ex4_4_Luc96b.xml 11768114 u ∞ +0 1 +0 20.43/6.60 ∞ +0 1 +0 6.65/2.63
Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml 11768110 u ∞ +0 1 +0 96.53/30.99 ∞ +0 1 +0 332.01/291.53
Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml 11768100 u ∞ +0 1 +0 50.33/15.78 ∞ +0 1 +0 6.90/2.59
Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml 11768093 u ∞ +0 1 +0 14.55/4.64 ∞ +0 1 +0 4.41/2.36
Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml 11768086 u ∞ +0 1 +0 44.03/20.17 ∞ +0 1 +0 8.52/3.99
Strategy_removed_CSR_05/Ex4_Zan97.xml 11768108 u ∞ +0 1 +0 251.24/129.37 ∞ +0 1 +0 6.01/2.58
Strategy_removed_CSR_05/Ex5_Zan97.xml 11768106 u ∞ +0 1 +0 37.97/20.12 ∞ +0 1 +0 11.53/4.21
Strategy_removed_CSR_05/Ex6_9_Luc02c.xml 11768107 u ∞ +0 1 +0 21.67/7.24 ∞ +0 1 +0 4.72/2.16
Strategy_removed_CSR_05/Ex6_GM04.xml 11768085 u ∞ +0 1 +0 48.06/20.16 ∞ +0 1 +0 11.04/4.41
Strategy_removed_CSR_05/Ex6_Luc98.xml 11768099 u ∞ +0 1 +0 15.74/5.06 ∞ +0 1 +0 4.57/2.04
Strategy_removed_CSR_05/Ex7_BLR02.xml 11768111 u ∞ +0 1 +0 37.06/16.12 ∞ +0 1 +0 5.08/2.36
Strategy_removed_CSR_05/Ex8_BLR02.xml 11768105 u ∞ +0 1 +0 46.34/14.94 ∞ +0 1 +0 21.42/11.96
Strategy_removed_CSR_05/Ex9_BLR02.xml 11768103 u ∞ +0 1 +0 129.45/57.77 ∞ +0 1 +0 13.48/6.38
Strategy_removed_CSR_05/ExAppendixB_AEL03.xml 11768090 u ∞ +0 1 +0 317.73/145.33 ∞ +0 1 +0 14.50/5.89
Strategy_removed_CSR_05/ExConc_Zan97.xml 11768097 u ∞ +0 1 +0 47.61/20.06 ∞ +0 1 +0 8.87/3.82
Strategy_removed_CSR_05/ExIntrod_GM01.xml 11768087 u ∞ +0 1 +0 88.86/30.80 ∞ +0 1 +0 16.61/6.05
Strategy_removed_CSR_05/ExIntrod_GM04.xml 11768101 u ∞ +0 1 +0 79.90/25.97 ∞ +0 1 +0 11.84/10.34
Strategy_removed_CSR_05/ExIntrod_GM99.xml 11768084 u ∞ +0 1 +0 345.39/122.21 ∞ +0 1 +0 186.11/87.88
Strategy_removed_CSR_05/ExIntrod_Zan97.xml 11768113 u ∞ +0 1 +0 1067.32/296.39 ∞ +0 1 +0 380.70/297.84
AProVE_08/log.xml 11768358 u ∞ +0 1 +0 1043.61/296.18 ∞ +0 1 +0 917.71/299.92
AProVE_08/parting01_reverse.xml 11768359 u ∞ +0 1 +0 1038.93/296.99 ∞ +0 1 +0 362.93/295.58
AProVE_08/parting02_doublelist.xml 11768355 u ∞ +0 1 +0 1044.71/297.00 ∞ +0 1 +0 370.62/296.68
AProVE_08/parting03_minsort.xml 11768354 u ∞ +0 1 +0 1017.50/296.16 ∞ +0 1 +0 381.41/297.04
AProVE_08/parting04_maxsort_h.xml 11768360 u timeout (wallclock) timeout (wallclock)
AProVE_08/parting05_maxsort.xml 11768356 u ∞ +0 1 +0 1043.57/296.84 ∞ +0 1 +0 435.29/295.03
AProVE_08/thiemann40_modified.xml 11768357 u ∞ +0 1 +0 1127.44/296.21 ∞ +0 1 +0 239.19/223.83
Beerendonk_07/1.xml 11768377 u ∞ +0 1 +0 116.30/44.35 ∞ +0 1 +0 10.20/5.07
Beerendonk_07/10.xml 11768372 u ∞ +0 1 +0 629.39/296.17 ∞ +0 1 +0 335.38/291.77
Beerendonk_07/11.xml 11768362 u ∞ +0 1 +0 125.65/64.82 ∞ +0 1 +0 353.16/291.62
Beerendonk_07/12.xml 11768380 u ∞ +0 1 +0 116.48/56.93 ∞ +0 1 +0 29.29/21.28
Beerendonk_07/13.xml 11768379 u ∞ +0 1 +0 135.34/74.27 ∞ +0 1 +0 267.17/250.76
Beerendonk_07/14.xml 11768378 u ∞ +0 1 +0 60.67/22.85 ∞ +0 1 +0 10.96/3.66
Beerendonk_07/15.xml 11768381 u ∞ +0 1 +0 1012.34/296.16 ∞ +0 1 +0 831.11/294.92
Beerendonk_07/16.xml 11768361 u ∞ +0 1 +0 1046.98/296.88 ∞ +0 1 +0 675.38/294.10
Beerendonk_07/17.xml 11768373 u ∞ +0 1 +0 1026.86/296.18 ∞ +0 1 +0 725.68/294.65
Beerendonk_07/18.xml 11768363 u ∞ +0 1 +0 970.25/296.17 ∞ +0 1 +0 1108.20/294.50
Beerendonk_07/19.xml 11768371 iu timeout (wallclock) ∞ +0 1 +0 911.62/295.08
Beerendonk_07/2.xml 11768369 u ∞ +0 1 +0 383.02/153.61 ∞ +0 1 +0 9.40/3.77
Beerendonk_07/20.xml 11768384 iu timeout (wallclock) ∞ +0 1 +0 1190.87/300.15
Beerendonk_07/21.xml 11768375 iu timeout (wallclock) ∞ +0 1 +0 750.43/295.87
Beerendonk_07/22.xml 11768368 u ∞ +0 1 +0 759.56/296.17 ∞ +0 1 +0 307.00/291.62
Beerendonk_07/23.xml 11768367 u ∞ +0 1 +0 509.11/296.10 ∞ +0 1 +0 38.65/29.05
Beerendonk_07/24.xml 11768366 u ∞ +0 1 +0 989.59/296.19 ∞ +0 1 +0 956.75/295.33
Beerendonk_07/3.xml 11768365 u ∞ +0 1 +0 136.62/43.96 ∞ +0 1 +0 12.24/6.34
Beerendonk_07/4.xml 11768364 u ∞ +0 1 +0 55.00/20.03 ∞ +0 1 +0 7.71/3.94
Beerendonk_07/5.xml 11768370 u ∞ +0 1 +0 242.10/79.10 ∞ +0 1 +0 1029.79/298.76
Beerendonk_07/6.xml 11768376 u ∞ +0 1 +0 82.32/33.48 ∞ +0 1 +0 6.15/2.95
Beerendonk_07/7.xml 11768382 u ∞ +0 1 +0 1003.65/296.19 ∞ +0 1 +0 318.74/294.22
Beerendonk_07/8.xml 11768374 u ∞ +0 1 +0 1082.68/296.17 ∞ +0 1 +0 1042.04/295.78
Beerendonk_07/9.xml 11768383 iu timeout (wallclock) ∞ +0 1 +0 664.59/294.70
Secret_06_TRS/addList.xml 11768209 u ∞ +0 1 +0 922.96/296.14 ∞ +0 1 +0 728.64/299.28
Secret_06_TRS/division.xml 11768203 u ∞ +0 1 +0 770.08/296.06 ∞ +0 1 +0 29.89/15.64
Secret_06_TRS/double.xml 11768199 u ∞ +0 1 +0 76.03/38.32 ∞ +0 1 +0 18.28/9.02
Secret_06_TRS/logarithm.xml 11768204 u ∞ +0 1 +0 1064.42/296.34 ∞ +0 1 +0 430.71/291.91
Secret_06_TRS/nrOfNodes.xml 11768200 u ∞ +0 1 +0 192.56/79.27 ∞ +0 1 +0 377.38/292.96
Secret_06_TRS/reverse.xml 11768207 u ∞ +0 1 +0 377.56/296.11 ∞ +0 1 +0 191.94/141.37
Secret_06_TRS/sumList.xml 11768198 u ∞ +0 1 +0 154.38/71.34 ∞ +0 1 +0 275.69/137.37
Secret_06_TRS/toList.xml 11768206 u ∞ +0 1 +0 280.11/115.10 ∞ +0 1 +0 647.33/297.10
Secret_06_TRS/tpa04.xml 11768205 iu timeout (wallclock) ∞ +0 1 +0 1176.80/297.32
Secret_06_TRS/tpa05.xml 11768208 iu timeout (wallclock) ∞ +0 1 +0 982.01/300.63
Secret_06_TRS/tpa06.xml 11768197 iu ∞ +0 1 +0 947.91/296.15 timeout (wallclock)
Secret_06_TRS/tpa07.xml 11768201 u ∞ +0 1 +0 927.56/296.24 ∞ +0 1 +0 679.56/296.17
Secret_06_TRS/tpa08.xml 11768196 iu timeout (wallclock) ∞ +0 1 +0 994.99/300.59
Secret_06_TRS/tpa09.xml 11768202 iu timeout (wallclock) ∞ +0 1 +0 1147.01/291.83
Secret_06_TRS/tpa10.xml 11768195 iu timeout (wallclock) ∞ +0 1 +0 956.19/297.04
Transformed_CSR_04/Ex14_AEGL02_FR.xml 11768305 u ∞ +0 1 +0 247.91/129.93 ∞ +0 1 +0 24.83/12.83
Transformed_CSR_04/Ex14_AEGL02_GM.xml 11768240 is n3 +2 1 +0 20.57/6.92 ∞ +0 1 +0 10.20/4.53
Transformed_CSR_04/Ex14_AEGL02_L.xml 11768237 u ∞ +0 1 +0 50.55/20.15 ∞ +0 1 +0 11.13/4.34
Transformed_CSR_04/Ex14_AEGL02_Z.xml 11768332 u ∞ +0 1 +0 415.81/296.12 ∞ +0 1 +0 12.44/11.79
Transformed_CSR_04/Ex15_Luc06_FR.xml 11768217 n1 +2 1 +0 0.06/0.08 n1 +2 1 +0 7.44/2.73
Transformed_CSR_04/Ex15_Luc06_GM.xml 11768292 n1 +2 1 +0 0.03/0.11 n1 +2 1 +0 5.45/8.94
Transformed_CSR_04/Ex15_Luc06_L.xml 11768315 u ∞ +0 1 +0 52.22/20.18 ∞ +0 1 +0 9.36/4.39
Transformed_CSR_04/Ex15_Luc06_Z.xml 11768248 n1 +2 1 +0 0.05/0.20 n1 +2 1 +0 4.72/2.00
Transformed_CSR_04/Ex15_Luc98_GM.xml 11768211 n1 +2 1 +0 10.20/3.00 n1 +2 1 +0 10.92/7.71
Transformed_CSR_04/Ex16_Luc06_L.xml 11768251 u ∞ +0 1 +0 48.50/20.13 ∞ +0 1 +0 9.18/3.81
Transformed_CSR_04/Ex18_Luc06_GM.xml 11768319 n1 +2 1 +0 0.07/0.04 n1 +2 1 +0 5.13/2.08
Transformed_CSR_04/Ex1_2_AEL03_GM.xml 11768210 u ∞ +0 1 +0 1001.14/296.20 ∞ +0 1 +0 371.34/296.37
Transformed_CSR_04/Ex1_2_Luc02c_GM.xml 11768286 u ∞ +0 1 +0 129.49/63.55 ∞ +0 1 +0 6.83/2.84
Transformed_CSR_04/Ex1_GL02a_GM.xml 11768298 n1 +2 1 +0 4.66/1.53 n1 +2 1 +0 7.73/3.27
Transformed_CSR_04/Ex1_GL02a_L.xml 11768327 u ∞ +0 1 +0 50.82/20.17 ∞ +0 1 +0 12.22/8.32
Transformed_CSR_04/Ex1_GM03_GM.xml 11768223 u ∞ +0 1 +0 922.91/296.12 ∞ +0 1 +0 369.87/293.30
Transformed_CSR_04/Ex1_GM99_GM.xml 11768325 u ∞ +0 1 +0 334.39/142.52 ∞ +0 1 +0 7.32/3.34
Transformed_CSR_04/Ex1_GM99_L.xml 11768288 u ∞ +0 1 +0 53.97/20.17 ∞ +0 1 +0 10.71/4.14
Transformed_CSR_04/Ex1_Luc02b_GM.xml 11768306 u ∞ +0 1 +0 321.30/138.41 ∞ +0 1 +0 11.12/4.88
Transformed_CSR_04/Ex1_Luc02b_Z.xml 11768333 i n1 +2 1 +0 112.38/56.84 n2 +1 1 +0 6.63/2.62
Transformed_CSR_04/Ex1_Luc04b_FR.xml 11768352 u ∞ +0 1 +0 678.56/296.04 ∞ +0 1 +0 14.22/5.12
Transformed_CSR_04/Ex1_Luc04b_GM.xml 11768268 u ∞ +0 1 +0 783.92/296.03 ∞ +0 1 +0 16.24/7.00
Transformed_CSR_04/Ex1_Luc04b_Z.xml 11768312 u ∞ +0 1 +0 112.00/47.14 ∞ +0 1 +0 28.45/16.32
Transformed_CSR_04/Ex1_Zan97_FR.xml 11768259 u ∞ +0 1 +0 618.27/296.15 ∞ +0 1 +0 18.70/9.93
Transformed_CSR_04/Ex1_Zan97_GM.xml 11768328 n1 +2 1 +0 0.11/0.09 n1 +2 1 +0 4.05/1.89
Transformed_CSR_04/Ex1_Zan97_L.xml 11768231 u ∞ +0 1 +0 52.44/20.15 ∞ +0 1 +0 10.42/10.70
Transformed_CSR_04/Ex23_Luc06_GM.xml 11768244 n1 +2 1 +0 0.04/0.07 n1 +2 1 +0 4.68/2.01
Transformed_CSR_04/Ex24_Luc06_GM.xml 11768229 u ∞ +0 1 +0 471.04/296.16 ∞ +0 1 +0 15.54/9.77
Transformed_CSR_04/Ex24_Luc06_L.xml 11768277 u ∞ +0 1 +0 47.61/20.12 ∞ +0 1 +0 9.93/3.98
Transformed_CSR_04/Ex25_Luc06_GM.xml 11768227 n1 +2 1 +0 0.13/0.08 n1 +2 1 +0 6.74/2.64
Transformed_CSR_04/Ex26_Luc03b_GM.xml 11768241 is n2 +2 1 +0 51.75/22.57 ∞ +0 1 +0 19.86/11.53
Transformed_CSR_04/Ex26_Luc03b_L.xml 11768300 n1 +2 1 +0 0.04/0.08 n1 +2 1 +0 4.08/1.88
Transformed_CSR_04/Ex2_Luc02a_GM.xml 11768331 u ∞ +0 1 +0 547.13/233.33 ∞ +0 1 +0 117.08/83.01
Transformed_CSR_04/Ex2_Luc02a_L.xml 11768266 u ∞ +0 1 +0 177.66/70.80 ∞ +0 1 +0 353.20/292.47
Transformed_CSR_04/Ex2_Luc02a_Z.xml 11768307 u ∞ +0 1 +0 154.86/51.86 ∞ +0 1 +0 332.24/292.37
Transformed_CSR_04/Ex2_Luc03b_GM.xml 11768257 is n2 +2 1 +0 27.75/12.01 ∞ +0 1 +0 13.81/9.97
Transformed_CSR_04/Ex2_Luc03b_L.xml 11768340 n1 +2 1 +0 0.06/0.04 n1 +2 1 +0 3.94/1.93
Transformed_CSR_04/Ex2_Luc03b_Z.xml 11768226 i n1 +2 1 +0 2.92/0.95 n2 +1 1 +0 5.15/2.19
Transformed_CSR_04/Ex3_12_Luc96a_GM.xml 11768239 u ∞ +0 1 +0 365.51/198.46 ∞ +0 1 +0 9.21/4.14
Transformed_CSR_04/Ex3_12_Luc96a_Z.xml 11768258 is ∞ +0 1 +0 309.68/296.15 n3 +2 1 +0 4.88/2.11
Transformed_CSR_04/Ex3_2_Luc97_GM.xml 11768233 u ∞ +0 1 +0 285.91/205.26 ∞ +0 1 +0 14.58/5.24
Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml 11768213 is n2 +2 1 +0 24.45/10.65 ∞ +0 1 +0 26.53/17.73
Transformed_CSR_04/Ex3_3_25_Bor03_L.xml 11768310 n1 +2 1 +0 0.04/0.07 n1 +2 1 +0 4.14/1.86
Transformed_CSR_04/Ex49_GM04_GM.xml 11768339 n2 +2 1 +0 49.37/17.74 n2 +2 1 +0 106.77/61.92
Transformed_CSR_04/Ex4_4_Luc96b_GM.xml 11768234 is n2 +2 1 +0 1.75/0.74 ∞ +0 1 +0 9.55/4.42
Transformed_CSR_04/Ex4_4_Luc96b_L.xml 11768345 n1 +2 1 +0 0.03/0.03 n1 +2 1 +0 3.47/1.77
Transformed_CSR_04/Ex4_4_Luc96b_Z.xml 11768216 u ∞ +0 1 +0 411.54/296.14 ∞ +0 1 +0 7.05/2.80
Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml 11768256 n1 +2 1 +0 0.10/0.13 n1 +2 1 +0 15.80/5.16
Transformed_CSR_04/Ex4_7_15_Bor03_L.xml 11768276 n1 +2 1 +0 0.02/0.07 n1 +2 1 +0 4.92/2.12
Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml 11768281 n1 +2 1 +0 0.06/0.09 n1 +2 1 +0 5.56/2.29
Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml 11768236 u ∞ +0 1 +0 949.96/296.13 ∞ +0 1 +0 364.74/293.34
Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml 11768311 u ∞ +0 1 +0 392.86/296.17 ∞ +0 1 +0 324.63/295.66
Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml 11768314 u ∞ +0 1 +0 406.33/278.44 ∞ +0 1 +0 8.38/3.75
Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml 11768247 i n1 +2 1 +0 0.44/0.17 n2 +1 1 +0 4.66/1.99
Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml 11768261 n1 +2 1 +0 0.02/0.04 n1 +2 1 +0 4.04/1.92
Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml 11768324 n1 +2 1 +0 0.14/0.10 n1 +2 1 +0 6.48/2.54
Transformed_CSR_04/Ex4_DLMMU04_GM.xml 11768230 iu timeout (wallclock) ∞ +0 1 +0 426.04/294.99
Transformed_CSR_04/Ex4_Zan97_FR.xml 11768273 u ∞ +0 1 +0 658.78/296.15 ∞ +0 1 +0 8.47/3.22
Transformed_CSR_04/Ex4_Zan97_GM.xml 11768348 u ∞ +0 1 +0 236.28/101.35 ∞ +0 1 +0 10.91/4.84
Transformed_CSR_04/Ex4_Zan97_Z.xml 11768262 u ∞ +0 1 +0 1090.74/296.18 ∞ +0 1 +0 314.97/292.30
Transformed_CSR_04/Ex5_7_Luc97_GM.xml 11768344 u ∞ +0 1 +0 238.83/103.53 ∞ +0 1 +0 25.62/10.63
Transformed_CSR_04/Ex5_DLMMU04_GM.xml 11768353 u ∞ +0 1 +0 314.73/142.05 ∞ +0 1 +0 19.15/8.76
Transformed_CSR_04/Ex5_Zan97_GM.xml 11768350 u ∞ +0 1 +0 340.76/129.46 ∞ +0 1 +0 14.30/5.35
Transformed_CSR_04/Ex5_Zan97_Z.xml 11768283 n1 +2 1 +0 0.22/0.12 n1 +2 1 +0 4.76/2.17
Transformed_CSR_04/Ex6_15_AEL02_GM.xml 11768242 iu timeout (wallclock) ∞ +0 1 +0 156.90/78.61
Transformed_CSR_04/Ex6_9_Luc02c_FR.xml 11768219 n1 +2 1 +0 8.04/2.75 n1 +2 1 +0 6.12/2.42
Transformed_CSR_04/Ex6_9_Luc02c_GM.xml 11768291 u ∞ +0 1 +0 261.18/128.87 ∞ +0 1 +0 12.22/5.47
Transformed_CSR_04/Ex6_9_Luc02c_Z.xml 11768221 i n2 +1 1 +0 2.64/0.96 n1 +2 1 +0 4.53/2.00
Transformed_CSR_04/Ex6_GM04_FR.xml 11768294 u ∞ +0 1 +0 961.88/296.07 ∞ +0 1 +0 11.25/4.49
Transformed_CSR_04/Ex6_GM04_GM.xml 11768214 n1 +2 1 +0 0.02/0.07 n1 +2 1 +0 3.91/1.95
Transformed_CSR_04/Ex6_Luc98_GM.xml 11768341 is n2 +2 1 +0 9.75/4.09 ∞ +0 1 +0 11.39/6.25
Transformed_CSR_04/Ex6_Luc98_L.xml 11768308 n1 +2 1 +0 0.06/0.08 n1 +2 1 +0 3.58/1.75
Transformed_CSR_04/Ex6_Luc98_Z.xml 11768264 n1 +2 1 +0 1.14/0.32 n1 +2 1 +0 4.49/1.96
Transformed_CSR_04/Ex7_BLR02_GM.xml 11768287 u ∞ +0 1 +0 385.83/191.02 ∞ +0 1 +0 16.66/11.01
Transformed_CSR_04/Ex7_BLR02_Z.xml 11768280 i n1 +2 1 +0 101.91/52.29 n2 +1 1 +0 6.11/2.46
Transformed_CSR_04/Ex8_BLR02_FR.xml 11768265 u ∞ +0 1 +0 478.17/296.12 ∞ +0 1 +0 17.81/11.39
Transformed_CSR_04/Ex8_BLR02_GM.xml 11768321 u ∞ +0 1 +0 200.35/93.05 ∞ +0 1 +0 38.06/19.92
Transformed_CSR_04/Ex8_BLR02_Z.xml 11768282 u ∞ +0 1 +0 405.59/296.05 ∞ +0 1 +0 155.59/138.90
Transformed_CSR_04/Ex9_BLR02_GM.xml 11768326 is n2 +2 1 +0 29.15/12.51 ∞ +0 1 +0 55.81/40.06
Transformed_CSR_04/Ex9_BLR02_L.xml 11768303 n1 +2 1 +0 0.06/0.09 n1 +2 1 +0 5.34/2.13
Transformed_CSR_04/Ex9_BLR02_Z.xml 11768267 u ∞ +0 1 +0 666.44/296.15 ∞ +0 1 +0 12.82/4.29
Transformed_CSR_04/Ex9_Luc04_GM.xml 11768228 u ∞ +0 1 +0 263.54/154.75 ∞ +0 1 +0 7.05/2.90
Transformed_CSR_04/Ex9_Luc04_L.xml 11768342 u ∞ +0 1 +0 5.58/2.25 ∞ +0 1 +0 3.96/1.83
Transformed_CSR_04/ExAppendixB_AEL03_GM.xml 11768278 u ∞ +0 1 +0 1051.74/296.45 ∞ +0 1 +0 385.11/296.00
Transformed_CSR_04/ExAppendixB_AEL03_Z.xml 11768232 n2 +2 1 +0 139.34/61.92 n2 +2 1 +0 50.29/18.27
Transformed_CSR_04/ExConc_Zan97_FR.xml 11768225 n1 +2 1 +0 0.07/0.08 n1 +2 1 +0 4.96/2.00
Transformed_CSR_04/ExConc_Zan97_GM.xml 11768285 n1 +2 1 +0 0.05/0.10 n1 +2 1 +0 4.63/2.03
Transformed_CSR_04/ExConc_Zan97_Z.xml 11768238 u ∞ +0 1 +0 48.15/20.15 ∞ +0 1 +0 10.41/3.99
Transformed_CSR_04/ExIntrod_GM01_FR.xml 11768212 u ∞ +0 1 +0 466.29/296.10 ∞ +0 1 +0 26.89/15.84
Transformed_CSR_04/ExIntrod_GM01_GM.xml 11768297 u ∞ +0 1 +0 784.03/296.09 ∞ +0 1 +0 23.16/13.27
Transformed_CSR_04/ExIntrod_GM01_Z.xml 11768253 u ∞ +0 1 +0 744.82/296.07 ∞ +0 1 +0 34.60/21.86
Transformed_CSR_04/ExIntrod_GM04_FR.xml 11768293 u ∞ +0 1 +0 246.62/124.82 ∞ +0 1 +0 30.46/15.86
Transformed_CSR_04/ExIntrod_GM04_GM.xml 11768220 is n3 +2 1 +0 198.83/52.95 ∞ +0 1 +0 17.02/10.56
Transformed_CSR_04/ExIntrod_GM04_Z.xml 11768343 u ∞ +0 1 +0 710.82/296.07 ∞ +0 1 +0 29.99/15.36
Transformed_CSR_04/ExIntrod_GM99_GM.xml 11768271 u ∞ +0 1 +0 259.45/117.49 ∞ +0 1 +0 61.41/40.47
Transformed_CSR_04/ExIntrod_Zan97_GM.xml 11768330 u ∞ +0 1 +0 962.53/296.16 ∞ +0 1 +0 343.55/293.98
Transformed_CSR_04/ExProp7_Luc06_GM.xml 11768295 u ∞ +0 1 +0 1046.78/296.28 ∞ +0 1 +0 22.96/14.05
Transformed_CSR_04/ExProp7_Luc06_L.xml 11768252 n1 +2 1 +0 0.05/0.07 n1 +2 1 +0 306.14/291.55
Transformed_CSR_04/ExProp7_Luc06_Z.xml 11768313 n1 +2 1 +0 0.07/0.08 n1 +2 1 +0 308.28/291.63
Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml 11768215 u ∞ +0 1 +0 704.48/296.13 ∞ +0 1 +0 124.62/93.35
Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml 11768336 iu timeout (wallclock) ∞ +0 1 +0 648.46/297.73
Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml 11768309 i n2 +1 1 +0 24.58/12.55 n1 +2 1 +0 16.61/5.00
Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml 11768254 iu timeout (wallclock) ∞ +0 1 +0 1008.61/291.73
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml 11768347 iu timeout (wallclock) ∞ +0 1 +0 862.69/291.59
Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml 11768304 u ∞ +0 1 +0 758.24/296.08 ∞ +0 1 +0 118.76/90.64
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml 11768263 iu timeout (wallclock) ∞ +0 1 +0 213.26/175.03
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml 11768235 u ∞ +0 1 +0 920.92/296.08 ∞ +0 1 +0 16.21/7.30
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml 11768346 u ∞ +0 1 +0 618.15/296.08 ∞ +0 1 +0 32.71/24.51
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml 11768275 u ∞ +0 1 +0 749.09/296.16 ∞ +0 1 +0 14.90/10.64
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml 11768246 u ∞ +0 1 +0 850.90/296.19 ∞ +0 1 +0 17.03/5.88
Transformed_CSR_04/LISTUTILITIES_complete_GM.xml 11768296 iu timeout (wallclock) ∞ +0 1 +0 1161.76/291.79
Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml 11768249 iu timeout (wallclock) ∞ +0 1 +0 1157.14/292.97
Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml 11768270 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml 11768317 iu timeout (wallclock) ∞ +0 1 +0 1129.68/292.25
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml 11768302 u ∞ +0 1 +0 1127.70/296.24 ∞ +0 1 +0 662.53/291.67
Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml 11768301 u ∞ +0 1 +0 685.67/296.70 ∞ +0 1 +0 654.62/298.86
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml 11768337 iu timeout (wallclock) ∞ +0 1 +0 694.70/299.19
Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml 11768255 n1 +2 1 +0 29.84/8.31 n1 +2 1 +0 27.50/11.13
Transformed_CSR_04/MYNAT_complete_GM.xml 11768245 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_04/MYNAT_complete_noand_GM.xml 11768349 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_04/MYNAT_nokinds_GM.xml 11768284 u ∞ +0 1 +0 986.79/296.24 ∞ +0 1 +0 349.31/295.31
Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml 11768318 iu timeout (wallclock) ∞ +0 1 +0 369.75/293.34
Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml 11768320 is ∞ +0 1 +0 902.71/296.14 n2 +2 1 +0 36.70/10.83
Transformed_CSR_04/MYNAT_nosorts_FR.xml 11768338 n2 +2 1 +0 6.79/2.07 n2 +2 1 +0 5.56/2.25
Transformed_CSR_04/MYNAT_nosorts_GM.xml 11768250 u ∞ +0 1 +0 925.72/296.13 ∞ +0 1 +0 327.13/293.36
Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml 11768334 u ∞ +0 1 +0 954.38/296.22 ∞ +0 1 +0 333.70/294.14
Transformed_CSR_04/OvConsOS_complete_GM.xml 11768279 iu timeout (wallclock) ∞ +0 1 +0 1148.92/291.77
Transformed_CSR_04/OvConsOS_complete_noand_GM.xml 11768272 u timeout (wallclock) timeout (wallclock)
Transformed_CSR_04/OvConsOS_nokinds_GM.xml 11768218 iu ∞ +0 1 +0 1026.16/299.17 timeout (wallclock)
Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml 11768316 iu timeout (wallclock) ∞ +0 1 +0 671.87/297.17
Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml 11768323 u ∞ +0 1 +0 295.10/94.30 ∞ +0 1 +0 34.21/21.36
Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml 11768322 u ∞ +0 1 +0 585.07/296.13 ∞ +0 1 +0 28.53/14.36
Transformed_CSR_04/OvConsOS_nosorts_FR.xml 11768260 u ∞ +0 1 +0 1006.67/296.16 ∞ +0 1 +0 36.70/24.58
Transformed_CSR_04/OvConsOS_nosorts_GM.xml 11768329 u ∞ +0 1 +0 711.53/296.10 ∞ +0 1 +0 15.66/9.21
Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml 11768335 u ∞ +0 1 +0 724.88/296.64 ∞ +0 1 +0 32.36/15.59
Transformed_CSR_04/OvConsOS_nosorts_Z.xml 11768289 u ∞ +0 1 +0 1016.38/296.19 ∞ +0 1 +0 43.52/31.94
Transformed_CSR_04/PEANO_complete_GM.xml 11768290 iu timeout (wallclock) ∞ +0 1 +0 542.30/299.32
Transformed_CSR_04/PEANO_complete_noand_GM.xml 11768299 iu timeout (wallclock) ∞ +0 1 +0 439.80/295.29
Transformed_CSR_04/PEANO_nokinds_GM.xml 11768243 u ∞ +0 1 +0 342.52/136.65 ∞ +0 1 +0 170.56/142.80
Transformed_CSR_04/PEANO_nokinds_noand_GM.xml 11768274 u ∞ +0 1 +0 402.05/176.56 ∞ +0 1 +0 30.78/15.87
Transformed_CSR_04/PEANO_nosorts-noand_FR.xml 11768224 n1 +2 1 +0 1.57/0.44 n1 +2 1 +0 5.85/2.22
Transformed_CSR_04/PEANO_nosorts_FR.xml 11768269 n1 +2 1 +0 0.06/0.09 n1 +2 1 +0 3.86/1.86
Transformed_CSR_04/PEANO_nosorts_GM.xml 11768351 u ∞ +0 1 +0 189.03/77.04 ∞ +0 1 +0 15.37/5.93
Transformed_CSR_04/PEANO_nosorts_noand_GM.xml 11768222 u ∞ +0 1 +0 284.05/115.38 ∞ +0 1 +0 15.02/6.49
AG01/#3.1.xml 11768172 i n1 +2 1 +0 0.49/0.20 n2 +1 1 +0 5.18/2.08
AG01/#3.10.xml 11768174 u ∞ +0 1 +0 1049.57/297.26 ∞ +0 1 +0 755.35/291.58
AG01/#3.12.xml 11768161 is ∞ +0 1 +0 912.70/296.24 n3 +2 1 +0 12.65/4.55
AG01/#3.13.xml 11768146 u timeout (wallclock) timeout (wallclock)
AG01/#3.15.xml 11768159 i n1 +2 1 +0 1.07/0.34 n2 +1 1 +0 10.71/8.66
AG01/#3.16.xml 11768166 n3 +2 1 +0 35.61/9.39 n3 +2 1 +0 6.55/6.80
AG01/#3.18.xml 11768165 u ∞ +0 1 +0 109.04/35.23 ∞ +0 1 +0 9.56/3.41
AG01/#3.2.xml 11768151 n2 +2 1 +0 12.25/3.31 n2 +2 1 +0 6.37/2.42
AG01/#3.23.xml 11768162 n1 +2 1 +0 0.21/0.15 n1 +2 1 +0 4.78/2.09
AG01/#3.24.xml 11768163 n1 +2 1 +0 0.04/0.09 n1 +2 1 +0 5.26/2.29
AG01/#3.26.xml 11768149 u ∞ +0 1 +0 173.72/77.37 ∞ +0 1 +0 10.96/11.87
AG01/#3.31.xml 11768152 u ∞ +0 1 +0 56.82/23.10 ∞ +0 1 +0 18.15/9.51
AG01/#3.33.xml 11768175 n1 +2 1 +0 0.05/0.08 n1 +2 1 +0 4.72/2.16
AG01/#3.35.xml 11768171 n1 +2 1 +0 0.08/0.08 n1 +2 1 +0 3.98/1.85
AG01/#3.36.xml 11768154 u ∞ +0 1 +0 76.75/28.23 ∞ +0 1 +0 196.44/179.64
AG01/#3.37.xml 11768144 n1 +2 1 +0 0.05/0.03 n1 +2 1 +0 15.63/5.00
AG01/#3.38.xml 11768150 u ∞ +0 1 +0 925.77/296.18 ∞ +0 1 +0 91.61/79.46
AG01/#3.41.xml 11768178 is n3 +2 1 +0 14.70/10.94 ∞ +0 1 +0 5.98/2.69
AG01/#3.42.xml 11768145 n3 +2 1 +0 79.01/24.97 n3 +2 1 +0 35.54/22.96
AG01/#3.47.xml 11768168 n2 +2 1 +0 1.12/0.66 n2 +2 1 +0 7.20/2.66
AG01/#3.48.xml 11768176 n2 +2 1 +0 276.67/158.38 n2 +2 1 +0 14.01/4.26
AG01/#3.49.xml 11768169 u ∞ +0 1 +0 1098.30/296.33 ∞ +0 1 +0 555.05/291.66
AG01/#3.5.xml 11768153 n2 +2 1 +0 3.15/1.19 n2 +2 1 +0 7.97/2.99
AG01/#3.52.xml 11768157 n2 +2 1 +0 0.53/0.45 n2 +2 1 +0 4.56/2.05
AG01/#3.53.xml 11768148 n3 +2 1 +0 147.23/44.92 n3 +2 1 +0 14.46/4.76
AG01/#3.53b.xml 11768179 n2 +2 1 +0 0.45/0.21 n2 +2 1 +0 4.92/2.09
AG01/#3.55.xml 11768158 iu timeout (wallclock) ∞ +0 1 +0 973.24/291.66
AG01/#3.5a.xml 11768147 n2 +2 1 +0 53.95/15.43 n2 +2 1 +0 8.83/3.09
AG01/#3.5b.xml 11768173 n3 +2 1 +0 213.71/90.04 n3 +2 1 +0 16.92/9.92
AG01/#3.6.xml 11768170 n2 +2 1 +0 78.81/23.37 n2 +2 1 +0 8.29/2.99
AG01/#3.6a.xml 11768164 n2 +2 1 +0 3.01/1.19 n2 +2 1 +0 7.89/2.93
AG01/#3.6b.xml 11768156 is ∞ +0 1 +0 253.56/131.81 n3 +2 1 +0 23.56/13.61
AG01/#3.7.xml 11768177 i n1 +2 1 +0 1.26/0.34 n2 +1 1 +0 9.82/4.09
AG01/#3.8a.xml 11768160 n2 +2 1 +0 46.81/14.15 n2 +2 1 +0 15.44/4.78
AG01/#3.8b.xml 11768167 i n5 +1 1 +0 458.26/229.50 n3 +2 1 +0 76.40/34.57
AG01/#4.30c.xml 11768155 u ∞ +0 1 +0 900.12/296.11 ∞ +0 1 +0 42.05/30.02
Strategy_removed_AG01/#4.22.xml 11768194 u ∞ +0 1 +0 127.29/98.29 ∞ +0 1 +0 4.96/2.11
Strategy_removed_AG01/#4.23.xml 11768190 u ∞ +0 1 +0 862.55/296.10 ∞ +0 1 +0 46.18/35.94
Strategy_removed_AG01/#4.26.xml 11768181 u ∞ +0 1 +0 105.61/36.17 ∞ +0 1 +0 7.39/2.84
Strategy_removed_AG01/#4.27.xml 11768185 iu timeout (wallclock) ∞ +0 1 +0 691.71/297.77
Strategy_removed_AG01/#4.28.xml 11768180 i n1 +2 1 +0 6.28/1.83 n3 +1 1 +0 20.34/14.01
Strategy_removed_AG01/#4.29.xml 11768186 iu ∞ +0 1 +0 957.60/296.12 timeout (wallclock)
Strategy_removed_AG01/#4.30.xml 11768183 u ∞ +0 1 +0 490.72/296.17 ∞ +0 1 +0 24.79/14.65
Strategy_removed_AG01/#4.30a.xml 11768192 u ∞ +0 1 +0 115.58/38.15 ∞ +0 1 +0 28.23/24.41
Strategy_removed_AG01/#4.30b.xml 11768184 u ∞ +0 1 +0 884.84/296.50 ∞ +0 1 +0 64.38/51.94
Strategy_removed_AG01/#4.30c.xml 11768187 u ∞ +0 1 +0 773.95/296.18 ∞ +0 1 +0 31.20/20.65
Strategy_removed_AG01/#4.32.xml 11768189 n2 +2 1 +0 1.09/0.49 n2 +2 1 +0 7.68/2.68
Strategy_removed_AG01/#4.33.xml 11768191 u ∞ +0 1 +0 752.65/296.40 ∞ +0 1 +0 348.12/295.45
Strategy_removed_AG01/#4.34.xml 11768193 n2 +2 1 +0 1.46/0.60 n2 +2 1 +0 19.22/6.86
Strategy_removed_AG01/#4.36.xml 11768188 u ∞ +0 1 +0 1028.91/296.89 ∞ +0 1 +0 396.68/291.49
Strategy_removed_AG01/#4.37.xml 11768182 n1 +2 1 +0 0.10/0.10 n1 +2 1 +0 4.12/1.95
Der95/06.xml 11768134 n1 +2 1 +0 0.04/0.05 n1 +2 1 +0 3.72/1.75
Der95/08.xml 11768135 i n2 +1 1 +0 6.54/2.65 n1 +2 1 +0 4.23/1.83
Der95/11.xml 11768136 n1 +2 1 +0 23.72/7.68 n1 +2 1 +0 4.20/1.91
Der95/18.xml 11768137 n1 +2 1 +0 0.16/0.08 n1 +2 1 +0 3.72/2.52
Der95/21.xml 11768133 u ∞ +0 1 +0 181.09/66.57 ∞ +0 1 +0 198.78/163.88
Der95/27.xml 11768132 n1 +2 1 +0 0.04/0.07 n1 +2 1 +0 3.92/1.92
Der95/32.xml 11768138 n2 +2 1 +0 24.75/7.83 n2 +2 1 +0 7.65/2.72
TCT_12/polycounter-10.xml 11768141 u ∞ +0 1 +0 234.57/89.05 ∞ +0 1 +0 19.45/6.29
TCT_12/polycounter-5.xml 11768143 is n5 +2 1 +0 29.83/7.91 ∞ +0 1 +0 6.59/2.60
TCT_12/recursion-10.xml 11768142 u ∞ +0 1 +0 441.85/175.49 ∞ +0 1 +0 8.58/3.09
TCT_12/recursion-5.xml 11768140 u ∞ +0 1 +0 273.69/102.00 ∞ +0 1 +0 6.45/2.49
TCT_12/sat.xml 11768139 n2 +2 1 +0 15.02/6.12 n2 +2 1 +0 52.93/14.25
Strategy_removed_mixed_05/muladd.xml 11768550 u ∞ +0 1 +0 729.83/296.17 ∞ +0 1 +0 309.66/291.65
Strategy_removed_mixed_05/test76.xml 11768549 u ∞ +0 1 +0 18.77/6.72 ∞ +0 1 +0 5.98/2.39
Strategy_removed_mixed_05/test77.xml 11768548 u ∞ +0 1 +0 25.30/9.46 ∞ +0 1 +0 6.94/3.28
Strategy_removed_mixed_05/test830.xml 11768547 n1 +2 1 +0 0.08/0.09 n1 +2 1 +0 5.35/2.19
Secret_07_TRS/aprove01.xml 11768555 u ∞ +0 1 +0 219.19/123.38 ∞ +0 1 +0 231.00/190.37
Secret_07_TRS/aprove02.xml 11768554 u ∞ +0 1 +0 159.96/91.90 ∞ +0 1 +0 28.60/16.17
Secret_07_TRS/aprove03.xml 11768551 iu timeout (wallclock) ∞ +0 1 +0 1030.69/291.67
Secret_07_TRS/aprove04.xml 11768552 u ∞ +0 1 +0 961.09/296.33 ∞ +0 1 +0 681.22/291.55
Secret_07_TRS/aprove05.xml 11768553 u ∞ +0 1 +0 185.94/83.71 ∞ +0 1 +0 42.21/14.94
Secret_07_TRS/aprove06.xml 11768556 u ∞ +0 1 +0 430.03/296.16 ∞ +0 1 +0 395.35/293.84
Secret_07_TRS/aprove07.xml 11768561 u ∞ +0 1 +0 184.86/76.77 ∞ +0 1 +0 45.24/17.13
Secret_07_TRS/aprove08.xml 11768557 u ∞ +0 1 +0 274.63/144.65 ∞ +0 1 +0 203.83/144.34
Secret_07_TRS/aprove09.xml 11768560 u ∞ +0 1 +0 351.13/147.07 ∞ +0 1 +0 78.31/30.17
Secret_07_TRS/aprove10.xml 11768559 iu timeout (wallclock) ∞ +0 1 +0 944.55/297.82
Secret_07_TRS/secret3.xml 11768558 u ∞ +0 1 +0 90.85/32.93 ∞ +0 1 +0 29.08/13.21
hoca/dfs-flatten.xml 11768487 n1 +2 1 +0 0.73/0.29 n1 +2 1 +0 6.02/2.27
hoca/fib_llist.xml 11768483 u ∞ +0 1 +0 58.40/15.63 ∞ +0 1 +0 906.99/291.59
hoca/flatten.xml 11768488 n1 +2 1 +0 2.01/1.13 n1 +2 1 +0 9.40/4.58
hoca/foldsum.xml 11768494 n1 +2 1 +0 3.86/1.02 n1 +2 1 +0 12.22/3.93
hoca/id.xml 11768485 n1 +2 1 +0 0.05/0.04 n1 +2 1 +0 4.46/1.86
hoca/isort-fold.xml 11768486 n2 +2 1 +0 48.11/15.84 n2 +2 1 +0 11.67/3.86
hoca/isort.xml 11768480 n2 +2 1 +0 31.66/8.94 n2 +2 1 +0 9.79/3.32
hoca/mappplus.xml 11768492 i n2 +2 1 +0 3.03/0.94 n3 +1 1 +0 4.58/2.00
hoca/mergesort-dc.xml 11768489 iu ∞ +0 1 +0 958.28/296.16 timeout (wallclock)
hoca/mss.xml 11768490 u ∞ +0 1 +0 346.19/296.17 ∞ +0 1 +0 97.55/79.30
hoca/rev-dl.xml 11768493 n1 +2 1 +0 2.07/0.60 n1 +2 1 +0 5.33/2.19
hoca/rev-fletf.xml 11768491 n1 +2 1 +0 2.30/0.66 n1 +2 1 +0 6.42/2.48
hoca/rev-foldl.xml 11768484 n1 +2 1 +0 0.02/0.06 n1 +2 1 +0 3.82/1.77
hoca/sum.xml 11768481 n1 +2 1 +0 0.19/0.10 n1 +2 1 +0 4.70/2.11
hoca/sum_sqs3.xml 11768482 u ∞ +0 1 +0 162.66/70.01 ∞ +0 1 +0 624.87/291.61
Frederiksen_Glenstrup/ack.xml 11768511 u ∞ +0 1 +0 127.65/45.69 ∞ +0 1 +0 20.22/7.01
Frederiksen_Glenstrup/add.xml 11768514 n1 +2 1 +0 0.18/0.12 n1 +2 1 +0 4.48/2.05
Frederiksen_Glenstrup/addlists.xml 11768512 n1 +2 1 +0 0.68/0.26 n1 +2 1 +0 4.13/2.01
Frederiksen_Glenstrup/anchored.xml 11768538 n1 +2 1 +0 0.04/0.03 n1 +2 1 +0 4.51/1.90
Frederiksen_Glenstrup/append.xml 11768515 n1 +2 1 +0 0.06/0.11 n1 +2 1 +0 4.27/1.93
Frederiksen_Glenstrup/assrewrite.xml 11768540 u ∞ +0 1 +0 293.56/148.82 ∞ +0 1 +0 20.74/10.33
Frederiksen_Glenstrup/badd.xml 11768530 u ∞ +0 1 +0 61.28/20.14 ∞ +0 1 +0 12.88/4.68
Frederiksen_Glenstrup/binom.xml 11768507 u ∞ +0 1 +0 130.15/44.33 ∞ +0 1 +0 25.32/11.93
Frederiksen_Glenstrup/decrease.xml 11768527 is timeout (wallclock) n1 +2 1 +0 4.29/2.02
Frederiksen_Glenstrup/deeprev_typed.xml 11768496 n1 +2 1 +0 2.87/0.77 n1 +2 1 +0 5.99/2.39
Frederiksen_Glenstrup/disjconj.xml 11768539 u ∞ +0 1 +0 94.82/31.40 ∞ +0 1 +0 16.16/6.55
Frederiksen_Glenstrup/duplicate.xml 11768529 i n1 +2 1 +0 0.29/0.10 n3 +1 1 +0 4.00/3.40
Frederiksen_Glenstrup/equal.xml 11768498 iu timeout (wallclock) ∞ +0 1 +0 10.77/4.13
Frederiksen_Glenstrup/evenodd.xml 11768524 n1 +2 1 +0 0.08/0.10 n1 +2 1 +0 4.02/1.94
Frederiksen_Glenstrup/fold.xml 11768525 n1 +2 1 +0 0.61/0.24 n1 +2 1 +0 5.46/2.21
Frederiksen_Glenstrup/game.xml 11768502 n1 +2 1 +0 1.93/0.54 n1 +2 1 +0 5.09/2.20
Frederiksen_Glenstrup/gcd.xml 11768545 u ∞ +0 1 +0 569.05/296.12 ∞ +0 1 +0 1008.87/291.70
Frederiksen_Glenstrup/gcd2.xml 11768520 iu ∞ +0 1 +0 553.75/296.17 timeout (wallclock)
Frederiksen_Glenstrup/increase.xml 11768503 iu timeout (wallclock) ∞ +0 1 +0 10.93/4.45
Frederiksen_Glenstrup/int.xml 11768506 iu timeout (wallclock) ∞ +0 1 +0 1150.78/292.93
Frederiksen_Glenstrup/intlookup.xml 11768541 u ∞ +0 1 +0 23.55/8.49 ∞ +0 1 +0 5.55/2.31
Frederiksen_Glenstrup/lambdaint_typed.xml 11768544 u ∞ +0 1 +0 526.49/296.17 ∞ +0 1 +0 604.60/291.68
Frederiksen_Glenstrup/letexp.xml 11768534 u ∞ +0 1 +0 52.34/20.18 ∞ +0 1 +0 10.12/8.20
Frederiksen_Glenstrup/list.xml 11768518 n1 +2 1 +0 0.05/0.06 n1 +2 1 +0 3.98/2.42
Frederiksen_Glenstrup/lte.xml 11768526 i n1 +2 1 +0 0.87/0.28 n2 +1 1 +0 5.69/2.26
Frederiksen_Glenstrup/map0.xml 11768523 n1 +2 1 +0 1.28/0.40 n1 +2 1 +0 4.46/1.94
Frederiksen_Glenstrup/member.xml 11768501 n1 +2 1 +0 1.38/0.43 n1 +2 1 +0 5.73/2.23
Frederiksen_Glenstrup/mergelists.xml 11768516 n1 +2 1 +0 0.98/0.30 n1 +2 1 +0 6.09/2.74
Frederiksen_Glenstrup/mergesort.xml 11768500 u ∞ +0 1 +0 229.61/98.21 ∞ +0 1 +0 44.84/30.64
Frederiksen_Glenstrup/minsort.xml 11768528 u ∞ +0 1 +0 183.06/68.34 ∞ +0 1 +0 19.84/10.10
Frederiksen_Glenstrup/mul.xml 11768542 n3 +2 1 +0 36.18/10.25 n3 +2 1 +0 6.28/3.41
Frederiksen_Glenstrup/mul_better.xml 11768535 n3 +2 1 +0 48.33/13.44 n3 +2 1 +0 6.72/2.48
Frederiksen_Glenstrup/naiverev.xml 11768536 n2 +2 1 +0 34.26/9.09 n2 +2 1 +0 12.50/4.54
Frederiksen_Glenstrup/nestdec.xml 11768505 n1 +2 1 +0 5.16/2.06 n1 +2 1 +0 7.06/2.65
Frederiksen_Glenstrup/nesteql.xml 11768495 iu timeout (wallclock) ∞ +0 1 +0 11.99/4.61
Frederiksen_Glenstrup/nestimeql.xml 11768532 iu timeout (wallclock) ∞ +0 1 +0 136.43/127.83
Frederiksen_Glenstrup/nestinc.xml 11768522 iu timeout (wallclock) ∞ +0 1 +0 92.42/80.01
Frederiksen_Glenstrup/ordered.xml 11768533 n1 +2 1 +0 1.37/0.46 n1 +2 1 +0 5.41/2.20
Frederiksen_Glenstrup/ordered_better.xml 11768519 n1 +2 1 +0 1.46/0.45 n1 +2 1 +0 5.43/2.33
Frederiksen_Glenstrup/overlap.xml 11768543 n2 +2 1 +0 16.21/4.57 n2 +2 1 +0 8.14/2.97
Frederiksen_Glenstrup/parsexp.xml 11768531 iu ∞ +0 1 +0 274.81/124.30 timeout (wallclock)
Frederiksen_Glenstrup/permute.xml 11768517 iu timeout (wallclock) ∞ +0 1 +0 454.74/296.66
Frederiksen_Glenstrup/power.xml 11768537 u ∞ +0 1 +0 46.50/18.68 ∞ +0 1 +0 10.68/3.66
Frederiksen_Glenstrup/quicksort.xml 11768504 u ∞ +0 1 +0 245.23/99.05 ∞ +0 1 +0 314.38/292.25
Frederiksen_Glenstrup/revapp.xml 11768508 n1 +2 1 +0 0.87/0.29 n1 +2 1 +0 4.17/1.93
Frederiksen_Glenstrup/select.xml 11768521 n2 +2 1 +0 13.27/3.62 n2 +2 1 +0 5.46/2.29
Frederiksen_Glenstrup/shuffle.xml 11768513 n3 +2 1 +0 379.35/104.34 n3 +2 1 +0 13.03/4.73
Frederiksen_Glenstrup/sp1.xml 11768499 u ∞ +0 1 +0 64.09/20.16 ∞ +0 1 +0 12.69/12.22
Frederiksen_Glenstrup/subsets.xml 11768546 u ∞ +0 1 +0 83.71/31.81 ∞ +0 1 +0 7.14/2.86
Frederiksen_Glenstrup/thetrick.xml 11768509 u timeout (wallclock) timeout (wallclock)
Frederiksen_Glenstrup/turing_typed.xml 11768510 u ∞ +0 1 +0 158.19/78.85 ∞ +0 1 +0 30.73/19.04
Frederiksen_Glenstrup/vangelder_typed.xml 11768497 iu ∞ +0 1 +0 1007.55/296.17 timeout (wallclock)
Zantema_05/z12.xml 11768462 u ∞ +0 1 +0 747.93/296.19 ∞ +0 1 +0 304.44/291.71
Zantema_05/z13.xml 11768464 u ∞ +0 1 +0 1026.72/296.27 ∞ +0 1 +0 238.63/226.32
Zantema_05/z14.xml 11768465 u ∞ +0 1 +0 969.91/296.07 ∞ +0 1 +0 119.08/114.48
Zantema_05/z15.xml 11768461 u ∞ +0 1 +0 1119.56/296.18 ∞ +0 1 +0 303.64/291.69
Zantema_05/z16.xml 11768468 u ∞ +0 1 +0 1007.55/296.08 ∞ +0 1 +0 121.48/112.29
Zantema_05/z17.xml 11768466 u ∞ +0 1 +0 616.13/296.07 ∞ +0 1 +0 328.73/291.63
Zantema_05/z18.xml 11768467 u ∞ +0 1 +0 1112.45/296.21 ∞ +0 1 +0 303.22/292.13
Zantema_05/z23.xml 11768469 is ∞ +0 1 +0 711.16/296.20 n1 +2 1 +0 413.60/291.67
Zantema_05/z24.xml 11768470 u ∞ +0 1 +0 612.99/296.31 ∞ +0 1 +0 393.65/291.66
Zantema_05/z27.xml 11768463 u ∞ +0 1 +0 30.38/9.95 ∞ +0 1 +0 5.04/2.17
AProVE_06/div_notCeTermin.xml 11768476 u ∞ +0 1 +0 738.37/296.43 ∞ +0 1 +0 244.87/222.57
AProVE_06/factorial1.xml 11768475 u ∞ +0 1 +0 671.30/296.17 ∞ +0 1 +0 649.07/298.09
AProVE_06/factorial2.xml 11768474 u ∞ +0 1 +0 192.56/74.39 ∞ +0 1 +0 38.31/18.96
AProVE_06/identity.xml 11768479 u ∞ +0 1 +0 742.27/296.15 ∞ +0 1 +0 35.96/16.56
AProVE_06/logarithm.xml 11768472 u ∞ +0 1 +0 975.85/296.19 ∞ +0 1 +0 678.09/292.43
AProVE_06/quicksort.xml 11768471 u ∞ +0 1 +0 571.40/296.19 ∞ +0 1 +0 895.32/291.68
AProVE_06/sizeChange.xml 11768473 u ∞ +0 1 +0 225.73/74.27 ∞ +0 1 +0 137.68/129.03
AProVE_06/tower.xml 11768478 u ∞ +0 1 +0 644.34/269.87 ∞ +0 1 +0 665.01/296.80
AProVE_06/tower_sizeChange.xml 11768477 u ∞ +0 1 +0 805.36/296.08 ∞ +0 1 +0 33.68/21.82
SK90/2.09.xml 11768433 n1 +2 1 +0 0.03/0.03 n1 +2 1 +0 3.68/1.77
SK90/2.11.xml 11768436 n1 +2 1 +0 0.04/0.06 n1 +2 1 +0 3.91/2.29
SK90/2.12.xml 11768385 n3 +2 1 +0 56.66/16.40 n3 +2 1 +0 9.18/5.03
SK90/2.13.xml 11768408 n1 +2 1 +0 0.50/0.15 n1 +2 1 +0 4.09/1.79
SK90/2.15.xml 11768386 u ∞ +0 1 +0 28.22/10.93 ∞ +0 1 +0 5.45/2.30
SK90/2.16.xml 11768435 n2 +2 1 +0 13.89/3.71 n2 +2 1 +0 7.34/2.99
SK90/2.17.xml 11768428 n1 +2 1 +0 0.25/0.08 n1 +2 1 +0 3.57/1.85
SK90/2.18.xml 11768437 n2 +2 1 +0 4.06/1.34 n2 +2 1 +0 5.17/2.15
SK90/2.19.xml 11768427 n2 +2 1 +0 13.84/4.09 n2 +2 1 +0 7.74/2.73
SK90/2.20.xml 11768391 n1 +2 1 +0 0.55/0.17 n1 +2 1 +0 4.06/1.78
SK90/2.21.xml 11768403 u ∞ +0 1 +0 21.89/7.15 ∞ +0 1 +0 4.35/1.87
SK90/2.22.xml 11768422 n2 +2 1 +0 4.65/1.29 n2 +2 1 +0 5.50/2.16
SK90/2.23.xml 11768441 u ∞ +0 1 +0 83.88/28.89 ∞ +0 1 +0 12.22/4.11
SK90/2.24.xml 11768440 u ∞ +0 1 +0 23.97/8.20 ∞ +0 1 +0 4.31/1.88
SK90/2.25.xml 11768424 u ∞ +0 1 +0 48.53/16.89 ∞ +0 1 +0 10.11/3.72
SK90/2.26.xml 11768401 u ∞ +0 1 +0 174.74/76.47 ∞ +0 1 +0 450.62/129.44
SK90/2.27.xml 11768392 u ∞ +0 1 +0 924.71/296.03 ∞ +0 1 +0 71.92/62.88
SK90/2.28.xml 11768405 u ∞ +0 1 +0 24.97/8.72 ∞ +0 1 +0 5.71/2.22
SK90/2.29.xml 11768388 i n1 +2 1 +0 1.51/0.52 n2 +1 1 +0 4.96/2.12
SK90/2.30.xml 11768415 1 +2 1 +0 0.71/0.21 1 +2 1 +0 3.63/1.70
SK90/2.31.xml 11768396 n1 +2 1 +0 0.14/0.06 n1 +2 1 +0 4.67/2.67
SK90/2.36.xml 11768394 n1 +2 1 +0 0.86/0.24 n1 +2 1 +0 4.20/1.79
SK90/2.37.xml 11768416 i 1 +2 1 +0 0.14/0.06 n1 +1 1 +0 3.83/1.69
SK90/2.39.xml 11768411 n2 +2 1 +0 31.23/7.95 n2 +2 1 +0 12.23/4.37
SK90/2.40.xml 11768431 n1 +2 1 +0 0.50/0.16 n1 +2 1 +0 5.98/2.32
SK90/2.41.xml 11768420 n1 +2 1 +0 0.22/0.08 n1 +2 1 +0 4.23/2.61
SK90/2.43.xml 11768397 u ∞ +0 1 +0 400.10/146.41 ∞ +0 1 +0 58.50/19.98
SK90/2.44.xml 11768398 n1 +2 1 +0 1.81/0.59 n1 +2 1 +0 5.87/2.22
SK90/2.45.xml 11768412 n1 +2 1 +0 1.88/0.60 n1 +2 1 +0 6.99/2.51
SK90/2.47.xml 11768430 n1 +2 1 +0 0.03/0.04 n1 +2 1 +0 3.76/1.72
SK90/2.48.xml 11768421 n1 +2 1 +0 0.06/0.08 n1 +2 1 +0 3.92/1.75
SK90/2.50.xml 11768425 n1 +2 1 +0 0.02/0.01 n1 +2 1 +0 3.43/1.61
SK90/2.51.xml 11768438 u ∞ +0 1 +0 183.59/103.48 ∞ +0 1 +0 9.72/3.86
SK90/2.52.xml 11768390 u ∞ +0 1 +0 120.28/48.71 ∞ +0 1 +0 331.93/294.65
SK90/2.53.xml 11768404 n1 +2 1 +0 0.02/0.02 n1 +2 1 +0 4.09/1.82
SK90/2.54.xml 11768406 n1 +2 1 +0 0.04/0.03 n1 +2 1 +0 3.80/1.73
SK90/4.05.xml 11768387 i n2 +2 1 +0 1.37/0.50 n3 +1 1 +0 3.95/2.00
SK90/4.12.xml 11768410 n1 +2 1 +0 0.34/0.11 n1 +2 1 +0 5.73/3.50
SK90/4.13.xml 11768399 is n3 +2 1 +0 12.16/3.50 ∞ +0 1 +0 6.44/2.76
SK90/4.16.xml 11768418 n1 +2 1 +0 0.06/0.04 n1 +2 1 +0 4.32/1.84
SK90/4.17.xml 11768434 is n3 +2 1 +0 9.78/5.34 ∞ +0 1 +0 164.23/158.52
SK90/4.18.xml 11768417 i 1 +2 1 +0 0.36/0.12 n2 +1 1 +0 4.30/1.85
SK90/4.24.xml 11768419 u ∞ +0 1 +0 1053.15/296.13 ∞ +0 1 +0 639.54/299.46
SK90/4.27.xml 11768413 u ∞ +0 1 +0 1178.65/296.23 ∞ +0 1 +0 309.42/291.62
SK90/4.29.xml 11768414 n1 +2 1 +0 0.08/0.04 n1 +2 1 +0 4.09/1.81
SK90/4.30.xml 11768389 n1 +2 1 +0 0.06/0.10 n1 +2 1 +0 7.28/2.68
SK90/4.31.xml 11768407 u ∞ +0 1 +0 98.17/40.03 ∞ +0 1 +0 5.86/2.30
SK90/4.34.xml 11768439 u ∞ +0 1 +0 571.13/296.12 ∞ +0 1 +0 12.82/7.70
SK90/4.35.xml 11768426 n1 +2 1 +0 0.04/0.03 n1 +2 1 +0 3.57/1.71
SK90/4.38.xml 11768402 n1 +2 1 +0 0.13/0.07 n1 +2 1 +0 4.25/1.97
SK90/4.42.xml 11768393 u ∞ +0 1 +0 82.26/33.60 ∞ +0 1 +0 13.51/4.65
SK90/4.47.xml 11768423 i 1 +2 1 +0 0.25/0.08 n1 +1 1 +0 4.94/1.98
SK90/4.54.xml 11768395 u ∞ +0 1 +0 34.94/15.70 ∞ +0 1 +0 6.77/2.50
SK90/4.57.xml 11768429 i 1 +2 1 +0 0.54/0.18 n1 +1 1 +0 7.80/2.77
SK90/4.59.xml 11768432 u ∞ +0 1 +0 113.37/47.00 ∞ +0 1 +0 8.00/2.94
SK90/4.60.xml 11768409 u ∞ +0 1 +0 932.53/296.12 ∞ +0 1 +0 353.30/297.23
SK90/4.61.xml 11768400 iu timeout (wallclock) ∞ +0 1 +0 986.43/291.84
Rubio_04/bintrees.xml 11768443 n1 +2 1 +0 1.54/1.09 n1 +2 1 +0 7.04/2.52
Rubio_04/division.xml 11768455 n3 +2 1 +0 58.20/22.06 n3 +2 1 +0 14.27/4.55
Rubio_04/elimdupl.xml 11768456 i n3 +1 1 +0 32.37/11.98 n2 +2 1 +0 9.69/3.21
Rubio_04/enno.xml 11768452 is ∞ +0 1 +0 603.80/296.12 n2 +2 1 +0 33.75/9.93
Rubio_04/gcd.xml 11768444 n2 +2 1 +0 75.50/22.88 n2 +2 1 +0 9.03/3.11
Rubio_04/gm.xml 11768448 i n1 +2 1 +0 0.62/0.20 n2 +1 1 +0 6.23/2.48
Rubio_04/gmnp.xml 11768458 n1 +2 1 +0 0.05/0.04 n1 +2 1 +0 4.35/2.03
Rubio_04/logarquot.xml 11768450 n2 +2 1 +0 4.40/1.77 n2 +2 1 +0 14.83/4.84
Rubio_04/ma96.xml 11768445 u ∞ +0 1 +0 1058.34/296.20 ∞ +0 1 +0 470.41/296.87
Rubio_04/mfp95.xml 11768446 n1 +2 1 +0 0.02/0.03 n1 +2 1 +0 3.85/1.73
Rubio_04/nestrec.xml 11768451 u ∞ +0 1 +0 640.31/296.12 ∞ +0 1 +0 11.57/6.67
Rubio_04/polo2.xml 11768457 n1 +2 1 +0 27.91/9.19 n1 +2 1 +0 4.60/1.88
Rubio_04/prov.xml 11768447 n1 +2 1 +0 0.34/0.12 n1 +2 1 +0 5.35/2.07
Rubio_04/quick.xml 11768453 iu timeout (wallclock) ∞ +0 1 +0 995.21/294.37
Rubio_04/revlist.xml 11768454 u ∞ +0 1 +0 1067.24/296.13 ∞ +0 1 +0 633.08/298.10
Rubio_04/selsort.xml 11768449 u ∞ +0 1 +0 1019.13/296.51 ∞ +0 1 +0 502.14/291.52
Rubio_04/test4.xml 11768442 n1 +2 1 +0 0.06/0.04 n1 +2 1 +0 7.22/2.71
Rubio_04/test829.xml 11768459 n1 +2 1 +0 0.06/0.03 n1 +2 1 +0 4.59/1.94
Rubio_04/wst99.xml 11768460 is ∞ +0 1 +0 214.64/113.32 n2 +2 1 +0 17.00/5.19
419 400