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

tct-trs_v3.2.0_2020-06-28 AProVE
benchmark UPLOWTIME UPLOWTIME
HirokawaMiddeldorp_04/n002.xml 11768667 is ∞ +0 1 +0 35.34/9.30 ∞ +0 NonPoly +2 3.40/1.66
HirokawaMiddeldorp_04/n003.xml 11768662 is ∞ +0 1 +0 33.88/8.87 ∞ +0 NonPoly +2 3.27/1.66
HirokawaMiddeldorp_04/n004.xml 11768663 is ∞ +0 1 +0 34.28/8.97 ∞ +0 NonPoly +2 3.32/1.49
HirokawaMiddeldorp_04/n005.xml 11768666 is ∞ +0 1 +0 43.71/11.42 ∞ +0 NonPoly +2 3.41/1.67
HirokawaMiddeldorp_04/n006.xml 11768669 is ∞ +0 1 +0 339.49/88.94 ∞ +0 NonPoly +2 3.39/1.64
HirokawaMiddeldorp_04/n007.xml 11768672 is ∞ +0 1 +0 373.02/98.14 ∞ +0 NonPoly +2 3.25/1.52
HirokawaMiddeldorp_04/t001.xml 11768670 u timeout (cpu) timeout (wallclock)
HirokawaMiddeldorp_04/t002.xml 11768668 is ∞ +0 n1 +2 626.79/214.97 n2 +2 n1 +2 321.69/291.55
HirokawaMiddeldorp_04/t003.xml 11768661 is ∞ +0 1 +0 994.97/294.13 ∞ +0 n1 +2 811.85/291.53
HirokawaMiddeldorp_04/t004.xml 11768660 is ∞ +0 1 +0 969.38/294.11 ∞ +0 NonPoly +2 7.48/2.79
HirokawaMiddeldorp_04/t009.xml 11768671 is ∞ +0 1 +0 1176.47/294.36 ∞ +0 n1 +2 1161.89/291.67
HirokawaMiddeldorp_04/t011.xml 11768673 is n1 +2 1 +0 4.72/1.24 n1 +2 n1 +2 9.24/3.09
HirokawaMiddeldorp_04/t013.xml 11768665 is ∞ +0 1 +0 978.93/294.19 ∞ +0 n1 +2 1022.38/291.61
HirokawaMiddeldorp_04/t014.xml 11768664 i n2 +1 n1 +2 12.79/3.28 n1 +2 n1 +2 17.34/5.75
CiME_04/ack_prolog.xml 11768677 ∞ +0 n1 +2 1066.03/294.19 ∞ +0 n1 +2 1063.60/291.64
CiME_04/append-hard.xml 11768676 is ∞ +0 1 +0 1057.09/294.13 n1 +2 n1 +2 14.73/4.77
CiME_04/append-wrong.xml 11768681 is ∞ +0 1 +0 1094.55/294.14 ∞ +0 NonPoly +2 3.44/1.73
CiME_04/append.xml 11768679 is n1 +2 1 +0 6.97/1.79 n1 +2 n1 +2 17.86/7.53
CiME_04/fact-hard.xml 11768674 i ∞ +0 n1 +1 1175.10/294.15 ∞ +0 n2 +2 1138.09/291.65
CiME_04/filliatre.xml 11768678 ∞ +0 n1 +2 1108.74/294.27 ∞ +0 n1 +2 1139.47/291.67
CiME_04/filliatre2.xml 11768680 ∞ +0 n1 +2 1139.77/294.22 ∞ +0 n1 +2 1130.74/291.59
CiME_04/filliatre3.xml 11768682 ∞ +0 n1 +2 1142.20/294.28 ∞ +0 n1 +2 1129.29/291.62
CiME_04/list-sum-prod.xml 11768675 i ∞ +0 n1 +1 1148.43/294.22 ∞ +0 n2 +2 1132.16/291.75
raML/appendAll.raml.xml 11768599 is ∞ +0 1 +0 25.88/6.54 n1 +2 n1 +2 27.22/8.86
raML/bfs.raml.xml 11768603 is n2 +2 1 +0 267.65/67.62 timeout (wallclock)
raML/bft_mmult.raml.xml 11768590 is n4 +2 1 +0 297.05/74.43 ∞ +0 n1 +2 1114.99/291.58
raML/bitvectors.raml.xml 11768600 is n2 +2 1 +0 495.46/134.88 n5 +1 n1 +2 1148.05/292.17
raML/clevermmult.raml.xml 11768588 is n3 +1 1 +0 84.49/21.20 n2 +2 n1 +2 415.26/291.67
raML/duplicates.raml.xml 11768591 is n3 +1 1 +0 102.80/25.80 n2 +2 n1 +2 409.90/291.83
raML/dyade.raml.xml 11768598 is ∞ +0 1 +0 38.61/9.72 n2 +2 n1 +2 367.28/291.54
raML/eratosthenes.raml.xml 11768605 is n2 +2 1 +0 134.82/33.77 n2 +2 n1 +2 1121.86/293.38
raML/flatten.raml.xml 11768589 is n2 +2 1 +0 88.26/22.17 n2 +2 n1 +2 366.33/291.62
raML/insertionsort.raml.xml 11768606 is n2 +2 1 +0 146.27/36.67 n2 +2 n1 +2 1131.58/293.83
raML/listsort.raml.xml 11768594 is n3 +1 1 +0 101.13/25.39 n2 +2 n1 +2 1157.79/291.97
raML/longestCommonSubsequence.raml.xml 11768604 is n2 +2 1 +0 203.53/51.00 n2 +2 n1 +2 1140.04/295.57
raML/matrix.raml.xml 11768593 is n5 +2 1 +0 566.72/145.32 ∞ +0 n1 +2 1133.88/292.62
raML/mergesort.raml.xml 11768607 is n2 +2 1 +0 296.13/89.75 ∞ +0 n1 +2 1052.62/291.60
raML/minsort.raml.xml 11768592 is n2 +2 1 +0 58.50/14.70 n2 +2 n1 +2 355.74/291.65
raML/queue.raml.xml 11768597 is ∞ +0 1 +0 1170.20/294.21 ∞ +0 n1 +2 1100.84/291.55
raML/quicksort.raml.xml 11768595 is n2 +2 1 +0 198.24/49.83 n2 +2 n2 +2 226.55/57.90
raML/rationalPotential.raml.xml 11768601 is n1 +2 1 +0 19.67/4.98 n1 +2 n1 +2 18.54/10.91
raML/splitandsort.raml.xml 11768596 is n5 +1 1 +0 453.64/124.67 n3 +2 n1 +2 1154.43/292.05
raML/subtrees.raml.xml 11768602 is n2 +2 1 +0 29.60/7.48 n2 +2 n1 +2 308.46/291.80
AProVE_07/kabasci04.xml 11768617 is timeout (cpu) ∞ +0 n1 +2 1126.65/291.58
AProVE_07/otto01.xml 11768612 is ∞ +0 1 +0 1175.58/294.61 n1 +2 n1 +2 231.61/59.45
AProVE_07/otto02.xml 11768658 is ∞ +0 n1 +2 1174.45/294.22 n2 +2 n1 +2 1117.59/291.57
AProVE_07/otto03.xml 11768642 is ∞ +0 n1 +2 1137.22/294.22 n2 +2 n1 +2 890.80/291.70
AProVE_07/otto04.xml 11768644 is ∞ +0 1 +0 1176.83/294.38 ∞ +0 NonPoly +2 3.37/1.69
AProVE_07/otto05.xml 11768656 is ∞ +0 n1 +2 1102.52/294.20 n1 +2 n1 +2 37.57/16.61
AProVE_07/otto06.xml 11768614 is ∞ +0 n1 +2 1176.84/294.34 n2 +2 n1 +2 1144.97/293.51
AProVE_07/otto07.xml 11768623 is ∞ +0 n1 +2 755.25/210.04 n2 +2 n1 +2 889.16/291.51
AProVE_07/otto08.xml 11768611 ∞ +0 n1 +2 1172.57/294.30 ∞ +0 n1 +2 1122.91/291.70
AProVE_07/otto09.xml 11768626 ∞ +0 n1 +2 770.78/203.37 ∞ +0 n1 +2 1107.78/291.54
AProVE_07/otto10.xml 11768619 ∞ +0 n1 +2 1140.72/294.25 ∞ +0 n1 +2 1152.90/291.49
AProVE_07/otto11.xml 11768633 ∞ +0 n1 +2 1176.32/294.22 ∞ +0 n1 +2 1120.01/291.70
AProVE_07/otto12.xml 11768641 i ∞ +0 n1 +1 1175.41/294.26 ∞ +0 n2 +2 933.79/291.52
AProVE_07/otto13.xml 11768650 is ∞ +0 1 +0 1179.30/295.06 n2 +2 n1 +2 1047.65/291.67
AProVE_07/thiemann01.xml 11768639 is ∞ +0 n1 +2 1177.56/294.82 n2 +2 n1 +2 1012.90/291.51
AProVE_07/thiemann02.xml 11768634 is timeout (cpu) ∞ +0 n1 +2 1150.19/291.55
AProVE_07/thiemann03.xml 11768616 is ∞ +0 n1 +1 1130.87/295.15 n3 +2 n3 +2 55.42/14.93
AProVE_07/thiemann04.xml 11768618 is timeout (cpu) ∞ +0 n1 +2 1170.81/300.84
AProVE_07/thiemann05.xml 11768632 is ∞ +0 1 +0 1176.46/294.31 n2 +2 n1 +2 1122.90/291.64
AProVE_07/thiemann06.xml 11768640 is ∞ +0 n1 +2 835.21/221.88 n1 +2 n1 +2 132.09/34.40
AProVE_07/thiemann07.xml 11768649 i ∞ +0 n1 +1 1176.92/294.45 ∞ +0 n2 +2 1140.02/295.39
AProVE_07/thiemann08.xml 11768638 i ∞ +0 n1 +1 832.51/294.21 ∞ +0 NonPoly +2 5.76/2.34
AProVE_07/thiemann10.xml 11768645 is ∞ +0 n1 +2 1104.81/294.14 n1 +2 n1 +2 36.44/10.39
AProVE_07/thiemann11.xml 11768657 is ∞ +0 n1 +2 1140.44/294.35 n2 +2 n1 +2 1126.17/291.72
AProVE_07/thiemann12.xml 11768615 is ∞ +0 n1 +2 1075.57/294.12 n2 +2 n1 +2 1017.22/291.66
AProVE_07/thiemann13.xml 11768624 is ∞ +0 n1 +2 1003.64/294.19 n2 +2 n1 +2 1119.82/291.62
AProVE_07/thiemann14.xml 11768625 is ∞ +0 1 +0 1177.68/294.37 ∞ +0 n2 +2 1161.46/293.46
AProVE_07/thiemann15.xml 11768613 is ∞ +0 n1 +2 1046.10/294.21 n2 +2 n1 +2 983.64/291.61
AProVE_07/thiemann16.xml 11768659 is timeout (cpu) ∞ +0 n1 +2 1145.10/291.63
AProVE_07/thiemann17.xml 11768643 is timeout (cpu) ∞ +0 n2 +2 1128.80/293.34
AProVE_07/thiemann18.xml 11768655 is ∞ +0 1 +0 1137.90/294.21 n3 +2 n1 +2 1126.32/291.85
AProVE_07/thiemann19.xml 11768646 ∞ +0 n1 +2 1173.87/294.29 ∞ +0 n1 +2 1125.97/291.64
AProVE_07/thiemann20.xml 11768609 is ∞ +0 n1 +2 1165.32/294.22 n2 +2 n1 +2 1116.41/291.61
AProVE_07/thiemann21.xml 11768628 ∞ +0 n1 +2 1181.53/295.33 ∞ +0 n1 +2 1136.42/292.25
AProVE_07/thiemann22.xml 11768648 ∞ +0 n1 +2 1140.22/294.22 ∞ +0 n1 +2 1090.99/292.25
AProVE_07/thiemann23.xml 11768653 is ∞ +0 n1 +2 1119.70/294.72 n1 +2 n1 +2 40.36/12.01
AProVE_07/thiemann24.xml 11768654 i ∞ +0 n1 +1 1176.45/294.37 ∞ +0 n2 +2 992.35/291.72
AProVE_07/thiemann25.xml 11768647 ∞ +0 n1 +2 1175.85/294.26 ∞ +0 n1 +2 956.03/291.54
AProVE_07/thiemann26.xml 11768629 is ∞ +0 1 +0 1143.09/294.15 n1 +2 n1 +2 63.01/18.43
AProVE_07/thiemann27.xml 11768608 is ∞ +0 n1 +2 1144.05/294.24 n2 +2 n1 +2 903.65/291.61
AProVE_07/thiemann28.xml 11768627 is ∞ +0 1 +0 1081.30/294.27 n1 +2 n1 +2 45.33/12.95
AProVE_07/thiemann29.xml 11768610 i ∞ +0 n1 +1 1178.32/294.96 ∞ +0 n2 +2 1148.93/291.83
AProVE_07/thiemann30.xml 11768631 ∞ +0 n1 +2 1177.61/294.59 ∞ +0 n1 +2 1130.51/293.39
AProVE_07/thiemann31.xml 11768621 is ∞ +0 1 +0 1023.25/294.06 n2 +2 n1 +2 1150.95/291.53
AProVE_07/thiemann32.xml 11768652 is ∞ +0 1 +0 1182.79/294.88 ∞ +0 n2 +2 1113.14/291.76
AProVE_07/thiemann33.xml 11768635 ∞ +0 n1 +2 1178.81/294.36 ∞ +0 n1 +2 1101.51/291.91
AProVE_07/thiemann34.xml 11768636 is ∞ +0 n1 +2 1174.31/294.13 n2 +2 n1 +2 1112.05/291.51
AProVE_07/thiemann36.xml 11768622 is ∞ +0 1 +0 1038.59/294.18 n2 +2 n1 +2 1150.17/291.59
AProVE_07/thiemann37.xml 11768630 is ∞ +0 1 +0 1176.86/294.29 ∞ +0 n1 +2 1142.65/291.51
AProVE_07/thiemann38.xml 11768620 is ∞ +0 n1 +2 1174.89/294.19 n2 +2 n1 +2 1140.20/291.65
AProVE_07/thiemann40.xml 11768651 is ∞ +0 1 +0 658.93/175.88 n1 +2 n1 +2 18.03/5.53
AProVE_07/thiemann41.xml 11768637 ∞ +0 n1 +2 1009.92/294.19 ∞ +0 n1 +2 1114.77/291.54
Various_04/11.xml 11768576 is ∞ +0 1 +0 859.19/230.24 1 +2 1 +0 3.38/1.62
Various_04/15.xml 11768575 is n1 +2 1 +0 5.12/1.30 n1 +2 n1 +2 5.13/2.01
Various_04/22.xml 11768578 n1 +2 n1 +2 7.61/1.95 n1 +2 n1 +2 14.86/4.98
Various_04/24.xml 11768577 i n2 +1 n1 +2 20.32/5.21 n1 +2 n1 +2 3.87/1.98
Secret_05_TRS/aprove2.xml 11768587 is ∞ +0 1 +0 1061.16/294.23 n1 +2 n1 +2 42.25/12.03
Secret_05_TRS/aprove3.xml 11768582 ∞ +0 n1 +2 749.20/191.72 ∞ +0 n1 +2 1013.86/291.70
Secret_05_TRS/cime4.xml 11768581 1 +2 1 +0 6.18/1.61 1 +2 1 +0 3.44/1.59
Secret_05_TRS/tpa1.xml 11768580 is ∞ +0 n1 +2 1005.20/294.37 n2 +2 n1 +2 1131.92/291.66
Secret_05_TRS/tpa2.xml 11768583 n2 +2 n1 +2 12.97/3.26 n2 +2 n1 +2 369.36/291.52
Secret_05_TRS/tpa3.xml 11768586 i ∞ +0 n1 +1 1142.03/294.16 ∞ +0 n2 +2 1149.49/291.72
Secret_05_TRS/tpa4.xml 11768585 is timeout (cpu) ∞ +0 n2 +2 1114.17/291.80
Secret_05_TRS/tpa5.xml 11768584 is timeout (cpu) ∞ +0 n1 +2 1157.60/291.65
Secret_05_TRS/ttt2.xml 11768579 is ∞ +0 1 +0 81.75/25.04 ∞ +0 NonPoly +2 3.38/1.73
Waldmann_06/jwmatchb1.xml 11768564 n1 +2 n1 +2 12.35/3.14 n1 +2 n1 +2 3.55/1.59
Waldmann_06/jwmatchb2.xml 11768563 n1 +2 n1 +2 15.18/4.03 n1 +2 n1 +2 3.45/1.69
Waldmann_06/jwno1.xml 11768565 ∞ +0 n1 +2 361.91/96.19 ∞ +0 n1 +2 606.15/291.53
Waldmann_06/jwno4.xml 11768562 ∞ +0 n1 +2 364.82/93.78 ∞ +0 n1 +2 306.86/291.59
Waldmann_06/jwno6.xml 11768566 ∞ +0 n1 +2 354.06/92.65 ∞ +0 n1 +2 306.96/292.36
AProVE_04/AAECC-ring.xml 11768574 u timeout (cpu) timeout (wallclock)
AProVE_04/AAECC.xml 11768567 is ∞ +0 1 +0 1173.75/294.31 n2 +2 n1 +2 1159.19/291.61
AProVE_04/fac.xml 11768569 i ∞ +0 n1 +1 1009.11/272.38 ∞ +0 n2 +2 1143.28/291.71
AProVE_04/IJCAR_1.xml 11768573 n1 +2 n1 +2 18.41/4.69 n1 +2 n1 +2 20.90/6.38
AProVE_04/JFP_Ex51.xml 11768570 is n3 +2 n1 +2 151.26/38.10 timeout (wallclock)
AProVE_04/rta1.xml 11768572 is timeout (cpu) ∞ +0 n1 +2 861.33/291.66
AProVE_04/rta2.xml 11768568 ∞ +0 n1 +2 520.04/150.27 ∞ +0 n1 +2 351.39/291.60
AProVE_04/rta3.xml 11768571 ∞ +0 n1 +2 360.33/96.57 ∞ +0 n1 +2 981.19/291.61
AProVE_09_Inductive/div.xml 11768696 is ∞ +0 n1 +2 792.61/208.85 n3 +2 n1 +2 1132.87/291.74
AProVE_09_Inductive/divhard.xml 11768690 is ∞ +0 n1 +2 1169.74/294.31 n3 +2 n1 +2 1141.30/291.67
AProVE_09_Inductive/gcd.xml 11768688 is ∞ +0 n1 +2 807.74/209.49 n3 +2 n1 +2 1150.00/291.66
AProVE_09_Inductive/gcd2.xml 11768691 is ∞ +0 1 +0 1056.69/294.16 n3 +2 n1 +2 1151.50/291.61
AProVE_09_Inductive/gcdhard.xml 11768686 is ∞ +0 1 +0 1158.19/294.28 n1 +2 n1 +2 48.08/19.24
AProVE_09_Inductive/log.xml 11768687 is ∞ +0 n1 +2 1160.28/294.80 n1 +2 n1 +2 44.19/12.70
AProVE_09_Inductive/maxsort.xml 11768695 i ∞ +0 n1 +1 1171.80/296.10 ∞ +0 n2 +2 1116.90/291.66
AProVE_09_Inductive/maxsortcondition.xml 11768685 i ∞ +0 n1 +1 1175.75/294.28 ∞ +0 n2 +2 1101.65/291.67
AProVE_09_Inductive/minsort.xml 11768683 is timeout (wallclock) ∞ +0 n1 +2 1135.80/294.88
AProVE_09_Inductive/mod.xml 11768692 is ∞ +0 n1 +2 1073.55/280.24 n3 +2 n1 +2 1115.61/291.68
AProVE_09_Inductive/qsort.xml 11768684 is timeout (wallclock) ∞ +0 n1 +2 1100.84/291.67
AProVE_09_Inductive/qsortlast.xml 11768694 ∞ +0 n1 +2 1165.34/294.30 ∞ +0 n1 +2 1137.08/295.01
AProVE_09_Inductive/qsortmiddle.xml 11768693 ∞ +0 n1 +2 1144.90/294.48 ∞ +0 n1 +2 1172.49/299.53
AProVE_09_Inductive/zerolist.xml 11768689 is ∞ +0 1 +0 1168.17/294.22 n2 +2 n1 +2 903.44/291.67
Frederiksen_Others/add.xml 11768703 is n1 +2 1 +0 4.41/1.20 n1 +2 n1 +2 4.03/1.82
Frederiksen_Others/assrewriteSize.xml 11768698 is ∞ +0 1 +0 982.29/294.24 ∞ +0 n1 +2 340.34/291.58
Frederiksen_Others/boolprog.xml 11768701 is n1 +2 1 +0 48.05/12.06 n1 +2 n1 +2 23.65/6.81
Frederiksen_Others/bubblesort.xml 11768699 n2 +2 n1 +2 38.15/9.62 n2 +2 n1 +2 344.81/291.59
Frederiksen_Others/deadcodeSize.xml 11768705 is ∞ +0 1 +0 330.50/88.56 ∞ +0 NonPoly +2 3.31/1.65
Frederiksen_Others/disj2_typed.xml 11768723 n1 +2 n1 +2 12.49/3.19 n1 +2 n1 +2 4.21/1.86
Frederiksen_Others/div2.xml 11768711 n1 +2 n1 +2 6.26/1.62 n1 +2 n1 +2 4.21/1.80
Frederiksen_Others/dup1_typed.xml 11768713 n1 +2 n1 +2 12.57/3.24 n1 +2 n1 +2 15.66/4.79
Frederiksen_Others/dup2_typed.xml 11768718 n1 +2 n1 +2 11.34/2.95 n1 +2 n1 +2 15.48/5.87
Frederiksen_Others/eq.xml 11768720 n1 +2 n1 +2 4.41/1.17 n1 +2 n1 +2 5.54/2.11
Frederiksen_Others/ex6.xml 11768712 n1 +2 n1 +2 6.59/1.76 n1 +2 n1 +2 3.52/1.74
Frederiksen_Others/fgh.xml 11768716 i ∞ +0 n1 +1 415.49/108.16 ∞ +0 NonPoly +2 3.49/1.59
Frederiksen_Others/fghSize.xml 11768730 i ∞ +0 n1 +1 392.75/101.66 ∞ +0 NonPoly +2 3.56/1.76
Frederiksen_Others/gexgcd.xml 11768715 is n1 +2 1 +0 102.72/25.82 n1 +2 n1 +2 25.30/7.33
Frederiksen_Others/gexgcd2.xml 11768717 is ∞ +0 n1 +2 767.97/212.02 n2 +2 n1 +2 331.58/291.55
Frederiksen_Others/graphcolour1_typed.xml 11768725 is n4 +2 n1 +2 542.25/232.52 timeout (wallclock)
Frederiksen_Others/graphcolour2Size_typed.xml 11768706 u timeout (wallclock) timeout (wallclock)
Frederiksen_Others/graphcolour2_typed.xml 11768722 is timeout (wallclock) n5 +2 n1 +2 1078.98/293.70
Frederiksen_Others/graphcolour3_typed.xml 11768719 is timeout (wallclock) n5 +2 n1 +2 1060.89/292.33
Frederiksen_Others/inssort.xml 11768710 n2 +2 n1 +2 21.69/5.48 n2 +2 n1 +2 341.95/291.54
Frederiksen_Others/inssort_better.xml 11768728 n2 +2 n1 +2 22.98/5.80 n2 +2 n1 +2 341.67/291.57
Frederiksen_Others/match.xml 11768704 is n2 +2 1 +0 23.08/5.81 n2 +2 n1 +2 344.29/291.52
Frederiksen_Others/minsortSize.xml 11768726 is ∞ +0 1 +0 1130.29/294.22 ∞ +0 n1 +2 1137.24/291.62
Frederiksen_Others/ocall-safe.xml 11768729 n1 +2 n1 +2 4.74/1.29 n1 +2 n1 +2 3.55/1.73
Frederiksen_Others/ocall-unsafe.xml 11768727 n1 +2 n1 +2 5.12/1.36 n1 +2 n1 +2 3.59/1.70
Frederiksen_Others/oddeven.xml 11768721 is n1 +2 1 +0 6.31/1.63 n1 +2 n1 +2 16.91/13.43
Frederiksen_Others/permut.xml 11768708 is n1 +2 1 +0 3.00/0.78 n1 +2 n1 +2 3.43/1.92
Frederiksen_Others/power.xml 11768702 i ∞ +0 n1 +1 1169.76/294.19 ∞ +0 n2 +2 723.16/291.51
Frederiksen_Others/quicksortPtime.xml 11768724 n2 +2 n1 +2 76.32/19.16 n2 +2 n1 +2 352.95/291.58
Frederiksen_Others/quicksortSize.xml 11768697 is timeout (cpu) ∞ +0 n1 +2 1138.01/295.03
Frederiksen_Others/reach.xml 11768707 is ∞ +0 1 +0 1167.74/294.61 ∞ +0 NonPoly +2 907.19/255.27
Frederiksen_Others/rematch.xml 11768709 is timeout (wallclock) ∞ +0 n2 +2 1161.90/293.11
Frederiksen_Others/strmatch.xml 11768714 n2 +2 n1 +2 76.12/19.15 n2 +2 n1 +2 573.72/291.69
Frederiksen_Others/thetrickSize.xml 11768700 n1 +2 n1 +2 44.37/11.71 n1 +2 n1 +2 20.43/6.15
Endrullis_06/direct.xml 11768116 n1 +2 n1 +2 23.87/6.04 n1 +2 n1 +2 4.51/1.96
Mixed_TRS/Ex1_Luc04b_GM.xml 11768120 ∞ +0 n1 +2 1024.47/294.28 ∞ +0 n1 +2 1090.85/291.55
Mixed_TRS/fossacs.xml 11768117 ∞ +0 n1 +2 1146.20/294.22 ∞ +0 n1 +2 1099.65/291.54
Mixed_TRS/gcd.xml 11768126 is ∞ +0 n1 +2 1153.00/294.24 n2 +2 n1 +2 1139.09/291.62
Mixed_TRS/gcdMinMax.xml 11768131 is ∞ +0 n1 +2 998.21/294.37 n2 +2 n1 +2 1133.35/291.66
Mixed_TRS/gcd_triple.xml 11768127 is timeout (cpu) ∞ +0 n1 +2 1157.26/291.62
Mixed_TRS/jones1.xml 11768122 n1 +2 n1 +2 4.98/1.31 n1 +2 n1 +2 3.39/1.59
Mixed_TRS/jones2.xml 11768124 is n1 +2 1 +0 7.84/2.09 n1 +2 n1 +2 18.74/5.90
Mixed_TRS/jones4.xml 11768129 is n1 +2 1 +0 5.54/1.50 n1 +2 n1 +2 20.63/6.04
Mixed_TRS/jones5.xml 11768125 iu ∞ +0 1 +0 916.30/239.53 timeout (wallclock)
Mixed_TRS/jones6.xml 11768121 n1 +2 n1 +2 8.96/2.31 n1 +2 n1 +2 3.58/1.67
Mixed_TRS/minsort.xml 11768119 i ∞ +0 n1 +1 1177.31/294.43 ∞ +0 NonPoly +2 3.30/1.74
Mixed_TRS/perfect.xml 11768130 is n1 +2 1 +0 14.97/3.82 n1 +2 n1 +2 18.71/5.58
Mixed_TRS/perfect2.xml 11768123 is ∞ +0 1 +0 994.40/294.12 ∞ +0 NonPoly +2 5.19/2.12
Mixed_TRS/test1.xml 11768128 ∞ +0 n1 +2 336.71/89.83 ∞ +0 n1 +2 384.88/291.62
Mixed_TRS/while.xml 11768118 is ∞ +0 n1 +2 403.67/104.71 n2 +2 n1 +2 888.38/291.49
GTSSK07/cade01.xml 11768070 is ∞ +0 n1 +2 748.62/208.88 n2 +2 n1 +2 893.55/291.72
GTSSK07/cade03.xml 11768081 is ∞ +0 n1 +2 723.72/198.58 n2 +2 n1 +2 869.49/291.49
GTSSK07/cade05t.xml 11768079 is ∞ +0 n1 +2 1152.73/294.25 n2 +2 n1 +2 1138.46/291.66
GTSSK07/cade06.xml 11768069 is timeout (cpu) n2 +2 n1 +2 1013.37/291.69
GTSSK07/cade07.xml 11768075 is ∞ +0 1 +0 1097.12/294.20 n2 +2 n1 +2 1155.24/291.62
GTSSK07/cade08.xml 11768071 is timeout (cpu) n2 +2 n1 +2 1131.34/294.26
GTSSK07/cade09.xml 11768074 is ∞ +0 n1 +2 1139.31/295.60 n2 +2 n1 +2 1065.48/291.65
GTSSK07/cade10.xml 11768072 is ∞ +0 n1 +2 941.89/294.19 n2 +2 n1 +2 1122.53/291.69
GTSSK07/cade11.xml 11768078 is ∞ +0 n1 +2 1122.89/294.65 n2 +2 n1 +2 882.77/291.57
GTSSK07/cade12t.xml 11768068 is timeout (cpu) n2 +2 n1 +2 1128.38/291.99
GTSSK07/cade13t.xml 11768076 ∞ +0 n1 +2 1108.61/294.25 ∞ +0 n1 +2 1067.68/291.55
GTSSK07/cade14.xml 11768082 is ∞ +0 n1 +2 1167.13/294.26 n2 +2 n1 +2 1131.01/291.58
GTSSK07/cade15.xml 11768080 ∞ +0 NonPoly +2 1175.62/294.33 ∞ +0 NonPoly +2 3.37/1.58
GTSSK07/cade16.xml 11768077 is ∞ +0 n1 +2 1118.99/294.20 n2 +2 n1 +2 1129.42/291.70
GTSSK07/cade17.xml 11768073 i ∞ +0 n1 +1 1176.59/294.21 ∞ +0 n2 +2 1127.01/291.69
Strategy_removed_CSR_05/Ex14_AEGL02.xml 11768109 is ∞ +0 1 +0 1145.32/294.22 ∞ +0 NonPoly +2 3.20/1.63
Strategy_removed_CSR_05/Ex15_Luc98.xml 11768098 i ∞ +0 n1 +1 1133.91/294.24 ∞ +0 NonPoly +2 3.41/1.61
Strategy_removed_CSR_05/Ex1_2_AEL03.xml 11768091 i ∞ +0 n1 +1 1027.78/294.25 ∞ +0 NonPoly +2 3.43/2.00
Strategy_removed_CSR_05/Ex1_2_Luc02c.xml 11768115 is ∞ +0 1 +0 1154.55/294.25 ∞ +0 NonPoly +2 3.38/1.62
Strategy_removed_CSR_05/Ex1_GL02a.xml 11768089 i ∞ +0 n1 +1 1147.02/294.24 ∞ +0 NonPoly +2 3.40/1.56
Strategy_removed_CSR_05/Ex1_GM03.xml 11768088 i ∞ +0 n1 +1 370.47/96.93 ∞ +0 NonPoly +2 3.32/1.60
Strategy_removed_CSR_05/Ex1_Luc02b.xml 11768102 i ∞ +0 n1 +1 1134.97/294.23 ∞ +0 NonPoly +2 3.39/1.62
Strategy_removed_CSR_05/Ex1_Zan97.xml 11768112 is ∞ +0 1 +0 149.48/53.41 ∞ +0 NonPoly +2 3.35/1.64
Strategy_removed_CSR_05/Ex26_Luc03b.xml 11768104 i ∞ +0 n1 +1 1177.30/294.39 ∞ +0 NonPoly +2 3.47/1.70
Strategy_removed_CSR_05/Ex2_Luc03b.xml 11768094 i ∞ +0 n1 +1 1131.09/294.18 ∞ +0 NonPoly +2 3.34/1.58
Strategy_removed_CSR_05/Ex3_12_Luc96a.xml 11768095 i ∞ +0 n1 +1 1148.84/294.23 ∞ +0 NonPoly +2 3.25/1.58
Strategy_removed_CSR_05/Ex3_2_Luc97.xml 11768083 i ∞ +0 n1 +1 1140.57/294.21 ∞ +0 NonPoly +2 3.30/1.53
Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml 11768092 i ∞ +0 n1 +1 1175.83/294.77 ∞ +0 NonPoly +2 3.40/1.53
Strategy_removed_CSR_05/Ex49_GM04.xml 11768096 n1 +2 n1 +2 12.76/3.30 n1 +2 n1 +2 14.83/4.95
Strategy_removed_CSR_05/Ex4_4_Luc96b.xml 11768114 i ∞ +0 n1 +1 313.62/82.47 ∞ +0 NonPoly +2 3.31/1.99
Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml 11768110 is ∞ +0 1 +0 1154.64/294.24 ∞ +0 NonPoly +2 3.53/1.65
Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml 11768100 i ∞ +0 n1 +1 1141.79/294.25 ∞ +0 NonPoly +2 3.38/1.67
Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml 11768093 i ∞ +0 n1 +1 1146.63/294.23 ∞ +0 NonPoly +2 3.39/1.55
Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml 11768086 is ∞ +0 1 +0 810.21/214.51 ∞ +0 NonPoly +2 3.48/1.59
Strategy_removed_CSR_05/Ex4_Zan97.xml 11768108 i ∞ +0 n1 +1 1176.12/294.27 ∞ +0 NonPoly +2 3.53/1.64
Strategy_removed_CSR_05/Ex5_Zan97.xml 11768106 is ∞ +0 1 +0 34.33/9.12 ∞ +0 NonPoly +2 3.22/1.71
Strategy_removed_CSR_05/Ex6_9_Luc02c.xml 11768107 is ∞ +0 1 +0 1117.80/294.25 ∞ +0 NonPoly +2 3.30/1.55
Strategy_removed_CSR_05/Ex6_GM04.xml 11768085 is ∞ +0 1 +0 341.79/88.42 ∞ +0 NonPoly +2 3.34/1.68
Strategy_removed_CSR_05/Ex6_Luc98.xml 11768099 i ∞ +0 n1 +1 1146.50/294.28 ∞ +0 NonPoly +2 3.41/1.75
Strategy_removed_CSR_05/Ex7_BLR02.xml 11768111 i ∞ +0 n1 +1 1139.24/294.24 ∞ +0 NonPoly +2 3.30/1.94
Strategy_removed_CSR_05/Ex8_BLR02.xml 11768105 i ∞ +0 n1 +1 1176.50/294.33 ∞ +0 NonPoly +2 3.33/2.11
Strategy_removed_CSR_05/Ex9_BLR02.xml 11768103 i ∞ +0 n1 +1 1175.60/294.36 ∞ +0 NonPoly +2 3.47/1.62
Strategy_removed_CSR_05/ExAppendixB_AEL03.xml 11768090 i ∞ +0 n1 +1 876.95/294.27 ∞ +0 NonPoly +2 3.34/1.56
Strategy_removed_CSR_05/ExConc_Zan97.xml 11768097 is ∞ +0 1 +0 812.64/214.73 ∞ +0 NonPoly +2 3.30/1.59
Strategy_removed_CSR_05/ExIntrod_GM01.xml 11768087 i ∞ +0 n1 +1 1176.21/294.23 ∞ +0 NonPoly +2 3.35/1.86
Strategy_removed_CSR_05/ExIntrod_GM04.xml 11768101 i ∞ +0 n1 +1 1176.18/294.27 ∞ +0 NonPoly +2 3.30/1.61
Strategy_removed_CSR_05/ExIntrod_GM99.xml 11768084 i ∞ +0 n1 +1 1139.66/294.22 ∞ +0 NonPoly +2 3.35/1.55
Strategy_removed_CSR_05/ExIntrod_Zan97.xml 11768113 i ∞ +0 n1 +1 1116.33/294.26 ∞ +0 NonPoly +2 3.31/1.64
AProVE_08/log.xml 11768358 ∞ +0 n1 +2 1176.17/294.46 ∞ +0 n1 +2 1123.82/291.63
AProVE_08/parting01_reverse.xml 11768359 i ∞ +0 n1 +1 1166.82/294.22 ∞ +0 n2 +2 1130.61/295.81
AProVE_08/parting02_doublelist.xml 11768355 is timeout (wallclock) ∞ +0 n1 +2 1114.72/291.68
AProVE_08/parting03_minsort.xml 11768354 i ∞ +0 n1 +1 1171.14/294.22 ∞ +0 n2 +2 1130.09/293.28
AProVE_08/parting04_maxsort_h.xml 11768360 i ∞ +0 n1 +1 1170.27/294.42 ∞ +0 n2 +2 1060.28/292.99
AProVE_08/parting05_maxsort.xml 11768356 i ∞ +0 n1 +1 1174.55/294.41 ∞ +0 n2 +2 1119.31/291.85
AProVE_08/thiemann40_modified.xml 11768357 is ∞ +0 n1 +1 1097.45/294.23 n2 +2 n2 +2 52.05/14.41
Beerendonk_07/1.xml 11768377 is ∞ +0 n1 +2 373.65/99.18 n2 +2 n1 +2 435.75/291.65
Beerendonk_07/10.xml 11768372 is ∞ +0 n1 +2 900.09/272.82 n2 +2 n1 +2 472.17/291.56
Beerendonk_07/11.xml 11768362 is ∞ +0 n1 +2 879.20/260.72 n2 +2 n1 +2 1053.55/291.67
Beerendonk_07/12.xml 11768380 is ∞ +0 n1 +2 557.30/169.38 n2 +2 n1 +2 1096.00/291.56
Beerendonk_07/13.xml 11768379 is ∞ +0 n1 +2 630.38/199.70 n2 +2 n1 +2 1058.21/291.57
Beerendonk_07/14.xml 11768378 is ∞ +0 n1 +2 736.74/193.71 n2 +2 n1 +2 940.15/291.77
Beerendonk_07/15.xml 11768381 is ∞ +0 1 +0 1174.35/294.33 n2 +2 n1 +2 856.07/291.63
Beerendonk_07/16.xml 11768361 is ∞ +0 1 +0 1160.85/294.22 n2 +2 n1 +2 1148.27/291.65
Beerendonk_07/17.xml 11768373 is ∞ +0 1 +0 1148.06/294.33 n2 +2 n1 +2 1158.22/291.63
Beerendonk_07/18.xml 11768363 is ∞ +0 n1 +2 1126.89/294.26 n1 +2 n1 +2 87.91/23.56
Beerendonk_07/19.xml 11768371 is timeout (wallclock) n2 +2 n1 +2 1151.33/291.59
Beerendonk_07/2.xml 11768369 is ∞ +0 n1 +2 467.09/133.46 n2 +2 n1 +2 372.34/291.60
Beerendonk_07/20.xml 11768384 is ∞ +0 n1 +2 1056.92/294.34 n1 +2 n1 +2 58.62/16.12
Beerendonk_07/21.xml 11768375 is timeout (wallclock) n2 +2 n1 +2 1152.41/291.60
Beerendonk_07/22.xml 11768368 is ∞ +0 n1 +2 788.76/294.25 n1 +2 n1 +2 25.56/11.38
Beerendonk_07/23.xml 11768367 is ∞ +0 1 +0 1110.59/294.24 n2 +2 n1 +2 1000.92/291.60
Beerendonk_07/24.xml 11768366 is ∞ +0 n1 +2 1049.70/294.15 n1 +2 n1 +2 69.56/18.64
Beerendonk_07/3.xml 11768365 is ∞ +0 n1 +2 415.61/108.12 n1 +2 n1 +2 76.98/21.30
Beerendonk_07/4.xml 11768364 is ∞ +0 n1 +2 422.46/114.00 n1 +2 n1 +2 21.27/10.99
Beerendonk_07/5.xml 11768370 is ∞ +0 n1 +2 441.91/114.86 n2 +2 n1 +2 1133.80/295.26
Beerendonk_07/6.xml 11768376 is ∞ +0 n1 +2 416.71/110.61 n2 +2 n1 +2 363.38/291.64
Beerendonk_07/7.xml 11768382 is ∞ +0 n1 +2 990.27/294.44 n2 +2 n1 +2 648.50/291.65
Beerendonk_07/8.xml 11768374 is ∞ +0 n1 +2 1068.44/294.19 n1 +2 n1 +2 41.82/11.51
Beerendonk_07/9.xml 11768383 is timeout (wallclock) n2 +2 n1 +2 1153.46/297.87
Secret_06_TRS/addList.xml 11768209 ∞ +0 n1 +2 1176.51/294.33 ∞ +0 n1 +2 1112.54/293.46
Secret_06_TRS/division.xml 11768203 is ∞ +0 n1 +2 1173.03/294.27 n2 +2 n1 +2 1017.03/291.65
Secret_06_TRS/double.xml 11768199 ∞ +0 n1 +2 1175.39/294.21 ∞ +0 n1 +2 1106.63/291.58
Secret_06_TRS/logarithm.xml 11768204 is ∞ +0 1 +0 1113.57/294.26 n2 +2 n1 +2 1125.50/291.52
Secret_06_TRS/nrOfNodes.xml 11768200 i ∞ +0 n1 +1 1176.99/294.37 ∞ +0 n2 +2 1130.57/294.23
Secret_06_TRS/reverse.xml 11768207 i ∞ +0 n1 +1 1171.66/294.24 ∞ +0 n2 +2 1126.77/292.16
Secret_06_TRS/sumList.xml 11768198 i ∞ +0 n1 +1 1177.26/294.34 ∞ +0 n2 +2 1125.75/291.65
Secret_06_TRS/toList.xml 11768206 ∞ +0 n1 +2 1176.41/294.40 ∞ +0 n1 +2 1147.42/291.71
Secret_06_TRS/tpa04.xml 11768205 ∞ +0 n1 +2 1165.14/294.36 ∞ +0 n1 +2 1125.79/291.80
Secret_06_TRS/tpa05.xml 11768208 u timeout (cpu) timeout (wallclock)
Secret_06_TRS/tpa06.xml 11768197 is ∞ +0 n1 +2 1177.65/294.24 n2 +2 n1 +2 1141.20/291.87
Secret_06_TRS/tpa07.xml 11768201 is timeout (cpu) ∞ +0 n2 +2 1114.98/291.63
Secret_06_TRS/tpa08.xml 11768196 is timeout (cpu) ∞ +0 n2 +2 1053.57/291.63
Secret_06_TRS/tpa09.xml 11768202 is ∞ +0 1 +0 1196.34/298.85 ∞ +0 n2 +2 1047.94/291.65
Secret_06_TRS/tpa10.xml 11768195 is timeout (cpu) ∞ +0 n2 +2 1132.09/291.82
Transformed_CSR_04/Ex14_AEGL02_FR.xml 11768305 is ∞ +0 1 +0 1175.45/294.29 ∞ +0 NonPoly +2 10.09/4.66
Transformed_CSR_04/Ex14_AEGL02_GM.xml 11768240 is n3 +2 n1 +2 79.87/20.09 ∞ +0 n1 +2 1055.71/291.81
Transformed_CSR_04/Ex14_AEGL02_L.xml 11768237 is ∞ +0 1 +0 1103.74/294.26 ∞ +0 NonPoly +2 3.35/1.64
Transformed_CSR_04/Ex14_AEGL02_Z.xml 11768332 is ∞ +0 1 +0 829.09/294.31 ∞ +0 NonPoly +2 3.68/1.79
Transformed_CSR_04/Ex15_Luc06_FR.xml 11768217 n1 +2 n1 +2 5.77/1.53 n1 +2 n1 +2 13.31/4.36
Transformed_CSR_04/Ex15_Luc06_GM.xml 11768292 n1 +2 n1 +2 7.30/1.86 n1 +2 n1 +2 13.22/4.33
Transformed_CSR_04/Ex15_Luc06_L.xml 11768315 is ∞ +0 1 +0 31.69/8.43 ∞ +0 NonPoly +2 3.19/1.53
Transformed_CSR_04/Ex15_Luc06_Z.xml 11768248 1 +2 1 +0 4.59/1.28 1 +2 1 +0 3.36/1.65
Transformed_CSR_04/Ex15_Luc98_GM.xml 11768211 n1 +2 n1 +2 52.49/13.24 n1 +2 n1 +2 17.94/5.41
Transformed_CSR_04/Ex16_Luc06_L.xml 11768251 is ∞ +0 1 +0 34.32/9.37 ∞ +0 NonPoly +2 3.35/1.62
Transformed_CSR_04/Ex18_Luc06_GM.xml 11768319 n1 +2 n1 +2 4.21/1.13 n1 +2 n1 +2 7.61/2.73
Transformed_CSR_04/Ex1_2_AEL03_GM.xml 11768210 ∞ +0 n1 +2 1181.24/295.72 ∞ +0 n1 +2 1155.29/291.66
Transformed_CSR_04/Ex1_2_Luc02c_GM.xml 11768286 ∞ +0 n1 +2 1048.16/294.24 ∞ +0 n1 +2 1111.98/291.55
Transformed_CSR_04/Ex1_GL02a_GM.xml 11768298 n1 +2 n1 +2 18.16/4.62 n1 +2 n1 +2 15.19/4.83
Transformed_CSR_04/Ex1_GL02a_L.xml 11768327 is ∞ +0 1 +0 34.15/9.19 ∞ +0 NonPoly +2 3.38/2.66
Transformed_CSR_04/Ex1_GM03_GM.xml 11768223 is ∞ +0 n1 +2 1175.08/294.22 timeout (wallclock)
Transformed_CSR_04/Ex1_GM99_GM.xml 11768325 ∞ +0 n1 +2 697.82/294.16 ∞ +0 n1 +2 912.11/291.65
Transformed_CSR_04/Ex1_GM99_L.xml 11768288 is ∞ +0 1 +0 34.87/9.34 ∞ +0 NonPoly +2 3.44/2.16
Transformed_CSR_04/Ex1_Luc02b_GM.xml 11768306 ∞ +0 n1 +2 837.68/294.20 ∞ +0 n1 +2 1114.61/291.70
Transformed_CSR_04/Ex1_Luc02b_Z.xml 11768333 is n1 +2 1 +0 16.88/4.26 n2 +1 n1 +2 332.50/291.74
Transformed_CSR_04/Ex1_Luc04b_FR.xml 11768352 i ∞ +0 n1 +1 1077.74/294.28 ∞ +0 NonPoly +2 4.00/1.84
Transformed_CSR_04/Ex1_Luc04b_GM.xml 11768268 ∞ +0 n1 +2 975.47/294.24 ∞ +0 n1 +2 1116.93/298.99
Transformed_CSR_04/Ex1_Luc04b_Z.xml 11768312 is ∞ +0 1 +0 1175.39/294.24 ∞ +0 NonPoly +2 3.28/1.66
Transformed_CSR_04/Ex1_Zan97_FR.xml 11768259 is ∞ +0 1 +0 1107.80/294.21 ∞ +0 NonPoly +2 3.60/1.69
Transformed_CSR_04/Ex1_Zan97_GM.xml 11768328 i n1 +1 1 +0 6.07/1.72 1 +2 1 +0 3.39/2.50
Transformed_CSR_04/Ex1_Zan97_L.xml 11768231 is ∞ +0 1 +0 50.91/13.83 ∞ +0 NonPoly +2 3.39/1.54
Transformed_CSR_04/Ex23_Luc06_GM.xml 11768244 n1 +2 n1 +2 6.13/1.62 n1 +2 n1 +2 11.19/3.69
Transformed_CSR_04/Ex24_Luc06_GM.xml 11768229 n1 +2 n1 +2 8.27/2.25 n1 +2 n1 +2 13.79/4.35
Transformed_CSR_04/Ex24_Luc06_L.xml 11768277 is ∞ +0 1 +0 33.34/8.87 ∞ +0 NonPoly +2 3.30/1.60
Transformed_CSR_04/Ex25_Luc06_GM.xml 11768227 n1 +2 n1 +2 8.52/2.22 n1 +2 n1 +2 8.36/2.95
Transformed_CSR_04/Ex26_Luc03b_GM.xml 11768241 ∞ +0 n1 +2 1020.94/294.25 ∞ +0 n1 +2 1143.29/291.73
Transformed_CSR_04/Ex26_Luc03b_L.xml 11768300 1 +2 1 +0 5.09/1.37 1 +2 1 +0 3.26/7.83
Transformed_CSR_04/Ex2_Luc02a_GM.xml 11768331 is ∞ +0 n1 +2 1181.03/295.93 timeout (wallclock)
Transformed_CSR_04/Ex2_Luc02a_L.xml 11768266 i n3 +2 n1 +1 31.68/8.91 n3 +2 n3 +2 33.21/9.48
Transformed_CSR_04/Ex2_Luc02a_Z.xml 11768307 i n3 +2 n1 +1 29.20/7.37 n3 +2 n3 +2 40.38/12.14
Transformed_CSR_04/Ex2_Luc03b_GM.xml 11768257 ∞ +0 n1 +2 822.75/294.24 ∞ +0 n1 +2 1135.41/291.67
Transformed_CSR_04/Ex2_Luc03b_L.xml 11768340 1 +2 1 +0 3.39/1.00 1 +2 1 +0 3.24/1.68
Transformed_CSR_04/Ex2_Luc03b_Z.xml 11768226 is n1 +2 1 +0 19.04/4.83 n1 +2 n1 +2 20.33/9.44
Transformed_CSR_04/Ex3_12_Luc96a_GM.xml 11768239 ∞ +0 n1 +2 750.67/294.17 ∞ +0 n1 +2 1133.36/291.51
Transformed_CSR_04/Ex3_12_Luc96a_Z.xml 11768258 is n1 +2 1 +0 9.87/2.57 n1 +2 n1 +2 16.90/9.09
Transformed_CSR_04/Ex3_2_Luc97_GM.xml 11768233 ∞ +0 n1 +2 876.98/294.14 ∞ +0 n1 +2 1130.62/291.58
Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml 11768213 ∞ +0 n1 +2 947.00/294.14 ∞ +0 n1 +2 1150.52/296.74
Transformed_CSR_04/Ex3_3_25_Bor03_L.xml 11768310 1 +2 1 +0 2.87/0.80 1 +2 1 +0 3.32/1.60
Transformed_CSR_04/Ex49_GM04_GM.xml 11768339 is n3 +2 n1 +2 152.41/38.32 ∞ +0 n1 +2 1153.23/299.83
Transformed_CSR_04/Ex4_4_Luc96b_GM.xml 11768234 is n3 +2 n1 +2 50.20/12.59 timeout (wallclock)
Transformed_CSR_04/Ex4_4_Luc96b_L.xml 11768345 n1 +2 n1 +2 2.72/0.76 n1 +2 n1 +2 7.80/2.86
Transformed_CSR_04/Ex4_4_Luc96b_Z.xml 11768216 i ∞ +0 n1 +1 1164.88/294.25 ∞ +0 NonPoly +2 3.48/1.75
Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml 11768256 n1 +2 n1 +2 16.19/4.11 n1 +2 n1 +2 4.60/1.86
Transformed_CSR_04/Ex4_7_15_Bor03_L.xml 11768276 1 +2 1 +0 5.32/1.40 1 +2 1 +0 3.37/1.58
Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml 11768281 i n1 +1 1 +0 7.83/2.02 1 +2 1 +0 3.52/1.66
Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml 11768236 is ∞ +0 1 +0 1186.91/297.85 ∞ +0 n1 +2 1138.90/291.62
Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml 11768311 is ∞ +0 n1 +2 1135.62/294.22 timeout (wallclock)
Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml 11768314 ∞ +0 n1 +2 1034.67/294.27 ∞ +0 n1 +2 1118.28/291.66
Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml 11768247 is n1 +2 1 +0 6.41/1.70 n1 +2 n1 +2 13.87/4.64
Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml 11768261 1 +2 1 +0 5.99/1.57 1 +2 1 +0 3.31/1.60
Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml 11768324 n1 +2 n1 +2 12.04/3.12 n1 +2 n1 +2 4.17/1.91
Transformed_CSR_04/Ex4_DLMMU04_GM.xml 11768230 ∞ +0 n1 +2 1179.98/295.82 ∞ +0 n1 +2 1136.89/292.14
Transformed_CSR_04/Ex4_Zan97_FR.xml 11768273 ∞ +0 n1 +2 1141.73/294.21 ∞ +0 n1 +2 1058.81/291.53
Transformed_CSR_04/Ex4_Zan97_GM.xml 11768348 ∞ +0 n1 +2 908.73/294.07 ∞ +0 n1 +2 1117.79/291.70
Transformed_CSR_04/Ex4_Zan97_Z.xml 11768262 ∞ +0 n1 +2 834.01/294.19 ∞ +0 n1 +2 690.64/291.53
Transformed_CSR_04/Ex5_7_Luc97_GM.xml 11768344 ∞ +0 n1 +2 1180.41/295.61 ∞ +0 n1 +2 1150.27/291.70
Transformed_CSR_04/Ex5_DLMMU04_GM.xml 11768353 ∞ +0 n1 +2 1181.06/295.62 ∞ +0 n1 +2 1145.04/291.86
Transformed_CSR_04/Ex5_Zan97_GM.xml 11768350 ∞ +0 n1 +2 1121.23/294.25 ∞ +0 n1 +2 1129.46/291.69
Transformed_CSR_04/Ex5_Zan97_Z.xml 11768283 i n1 +1 1 +0 17.13/4.33 1 +2 1 +0 3.44/1.56
Transformed_CSR_04/Ex6_15_AEL02_GM.xml 11768242 ∞ +0 n1 +2 1180.99/295.61 ∞ +0 n1 +2 1149.99/291.73
Transformed_CSR_04/Ex6_9_Luc02c_FR.xml 11768219 n1 +2 n1 +2 9.83/2.59 n1 +2 n1 +2 13.92/4.50
Transformed_CSR_04/Ex6_9_Luc02c_GM.xml 11768291 ∞ +0 n1 +2 917.88/294.22 ∞ +0 n1 +2 1150.15/298.89
Transformed_CSR_04/Ex6_9_Luc02c_Z.xml 11768221 1 +2 1 +0 6.74/1.83 1 +2 1 +0 3.35/1.70
Transformed_CSR_04/Ex6_GM04_FR.xml 11768294 is ∞ +0 1 +0 1083.21/294.08 ∞ +0 NonPoly +2 3.62/1.79
Transformed_CSR_04/Ex6_GM04_GM.xml 11768214 1 +2 1 +0 3.87/1.06 1 +2 1 +0 3.34/1.66
Transformed_CSR_04/Ex6_Luc98_GM.xml 11768341 ∞ +0 n1 +2 818.52/294.27 ∞ +0 n1 +2 1140.40/292.50
Transformed_CSR_04/Ex6_Luc98_L.xml 11768308 1 +2 1 +0 3.10/0.86 1 +2 1 +0 3.42/1.60
Transformed_CSR_04/Ex6_Luc98_Z.xml 11768264 is n1 +2 1 +0 11.03/3.03 n1 +2 n1 +2 11.40/4.12
Transformed_CSR_04/Ex7_BLR02_GM.xml 11768287 ∞ +0 n1 +2 1182.41/296.24 ∞ +0 n1 +2 1169.73/300.82
Transformed_CSR_04/Ex7_BLR02_Z.xml 11768280 is n1 +2 1 +0 18.18/5.30 n2 +1 n1 +2 333.41/291.71
Transformed_CSR_04/Ex8_BLR02_FR.xml 11768265 ∞ +0 n1 +2 1138.73/294.18 ∞ +0 n1 +2 1154.41/291.57
Transformed_CSR_04/Ex8_BLR02_GM.xml 11768321 i ∞ +0 n1 +1 1177.18/294.55 ∞ +0 n2 +2 1133.23/292.68
Transformed_CSR_04/Ex8_BLR02_Z.xml 11768282 ∞ +0 n1 +2 828.28/294.16 ∞ +0 n1 +2 515.41/291.50
Transformed_CSR_04/Ex9_BLR02_GM.xml 11768326 is ∞ +0 n1 +2 842.09/294.12 timeout (wallclock)
Transformed_CSR_04/Ex9_BLR02_L.xml 11768303 1 +2 1 +0 5.75/1.49 1 +2 1 +0 3.37/1.62
Transformed_CSR_04/Ex9_BLR02_Z.xml 11768267 is ∞ +0 1 +0 981.48/294.26 ∞ +0 n1 +2 1074.13/291.83
Transformed_CSR_04/Ex9_Luc04_GM.xml 11768228 ∞ +0 n1 +2 980.94/294.22 ∞ +0 n1 +2 1133.36/291.72
Transformed_CSR_04/Ex9_Luc04_L.xml 11768342 is ∞ +0 1 +0 29.04/7.81 ∞ +0 NonPoly +2 3.24/2.12
Transformed_CSR_04/ExAppendixB_AEL03_GM.xml 11768278 ∞ +0 n1 +2 1180.57/295.57 ∞ +0 n1 +2 1149.71/291.61
Transformed_CSR_04/ExAppendixB_AEL03_Z.xml 11768232 i n2 +2 n1 +1 53.57/13.47 n3 +1 n2 +2 331.29/291.66
Transformed_CSR_04/ExConc_Zan97_FR.xml 11768225 n1 +2 n1 +2 5.20/1.40 n1 +2 n1 +2 7.22/3.63
Transformed_CSR_04/ExConc_Zan97_GM.xml 11768285 n1 +2 n1 +2 5.52/1.47 n1 +2 n1 +2 5.27/2.16
Transformed_CSR_04/ExConc_Zan97_Z.xml 11768238 is ∞ +0 1 +0 806.80/216.00 ∞ +0 NonPoly +2 3.30/1.65
Transformed_CSR_04/ExIntrod_GM01_FR.xml 11768212 i ∞ +0 n1 +1 1096.11/294.23 ∞ +0 NonPoly +2 6.35/2.53
Transformed_CSR_04/ExIntrod_GM01_GM.xml 11768297 ∞ +0 n1 +2 1166.72/294.31 ∞ +0 n1 +2 1083.86/291.83
Transformed_CSR_04/ExIntrod_GM01_Z.xml 11768253 is ∞ +0 1 +0 918.73/294.22 ∞ +0 NonPoly +2 4.72/1.97
Transformed_CSR_04/ExIntrod_GM04_FR.xml 11768293 i ∞ +0 n1 +1 1106.47/294.27 ∞ +0 NonPoly +2 17.39/5.15
Transformed_CSR_04/ExIntrod_GM04_GM.xml 11768220 ∞ +0 n1 +2 997.12/294.26 ∞ +0 n1 +2 1140.53/298.13
Transformed_CSR_04/ExIntrod_GM04_Z.xml 11768343 is ∞ +0 1 +0 1031.17/294.26 ∞ +0 NonPoly +2 7.10/2.62
Transformed_CSR_04/ExIntrod_GM99_GM.xml 11768271 ∞ +0 n1 +2 1180.28/296.07 ∞ +0 n1 +2 1121.92/293.45
Transformed_CSR_04/ExIntrod_Zan97_GM.xml 11768330 ∞ +0 n1 +2 1180.00/295.75 ∞ +0 n1 +2 1137.82/291.66
Transformed_CSR_04/ExProp7_Luc06_GM.xml 11768295 ∞ +0 n1 +2 774.60/294.12 ∞ +0 n1 +2 1132.38/297.22
Transformed_CSR_04/ExProp7_Luc06_L.xml 11768252 i n1 +1 1 +0 9.85/2.53 1 +2 1 +0 3.32/1.78
Transformed_CSR_04/ExProp7_Luc06_Z.xml 11768313 i n1 +1 1 +0 6.89/1.87 1 +2 1 +0 3.40/1.80
Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml 11768215 is ∞ +0 n1 +2 1181.31/295.69 timeout (wallclock)
Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml 11768336 ∞ +0 n1 +2 1180.56/295.52 ∞ +0 n1 +2 1109.39/291.72
Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml 11768309 is n1 +2 1 +0 16.47/4.18 n1 +2 n1 +2 13.35/4.48
Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml 11768254 is ∞ +0 1 +0 1188.97/298.17 ∞ +0 n1 +2 1137.40/294.66
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml 11768347 ∞ +0 n1 +2 1073.64/295.86 ∞ +0 n1 +2 1176.93/296.66
Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml 11768304 ∞ +0 n1 +2 1148.00/294.44 ∞ +0 n1 +2 1108.98/291.60
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml 11768263 is n6 +2 n1 +2 638.26/160.79 ∞ +0 n1 +2 1166.31/295.86
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml 11768235 is ∞ +0 1 +0 916.93/294.22 ∞ +0 NonPoly +2 4.06/1.86
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml 11768346 is ∞ +0 1 +0 1084.28/294.19 ∞ +0 NonPoly +2 3.52/1.68
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml 11768275 i ∞ +0 n1 +1 821.91/294.16 ∞ +0 NonPoly +2 3.91/1.69
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml 11768246 i ∞ +0 n1 +1 825.54/294.28 ∞ +0 NonPoly +2 10.05/5.02
Transformed_CSR_04/LISTUTILITIES_complete_GM.xml 11768296 is ∞ +0 1 +0 1131.02/299.14 ∞ +0 n1 +2 1136.07/297.21
Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml 11768249 ∞ +0 n1 +2 965.69/294.42 ∞ +0 n1 +2 1179.15/296.89
Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml 11768270 ∞ +0 n1 +2 1180.84/295.61 ∞ +0 n1 +2 1151.60/291.66
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml 11768317 ∞ +0 n1 +2 1065.76/294.19 ∞ +0 n1 +2 1150.94/291.59
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml 11768302 is n1 +2 1 +0 48.99/12.34 n1 +2 n1 +2 807.18/291.78
Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml 11768301 ∞ +0 n1 +2 1180.53/295.54 ∞ +0 n1 +2 1151.89/293.24
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml 11768337 ∞ +0 n1 +2 1182.53/295.94 ∞ +0 n1 +2 1155.15/292.21
Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml 11768255 is n1 +2 1 +0 21.91/5.50 n1 +2 n1 +2 22.06/10.40
Transformed_CSR_04/MYNAT_complete_GM.xml 11768245 is timeout (cpu) ∞ +0 NonPoly +2 11.56/3.90
Transformed_CSR_04/MYNAT_complete_noand_GM.xml 11768349 i ∞ +0 n1 +1 1060.03/294.20 ∞ +0 NonPoly +2 58.15/15.61
Transformed_CSR_04/MYNAT_nokinds_GM.xml 11768284 i ∞ +0 n1 +1 1180.83/295.64 ∞ +0 NonPoly +2 5.71/2.21
Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml 11768318 i ∞ +0 n1 +1 1183.01/295.80 ∞ +0 NonPoly +2 8.73/3.11
Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml 11768320 is n2 +2 1 +0 21.49/5.43 n2 +2 n2 +2 18.75/5.72
Transformed_CSR_04/MYNAT_nosorts_FR.xml 11768338 i n2 +2 n1 +1 6.98/1.83 n2 +2 n2 +2 13.90/4.65
Transformed_CSR_04/MYNAT_nosorts_GM.xml 11768250 i ∞ +0 n1 +1 1119.85/294.13 ∞ +0 n2 +2 1099.84/291.67
Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml 11768334 i ∞ +0 n1 +1 1179.72/295.68 ∞ +0 NonPoly +2 4.96/2.06
Transformed_CSR_04/OvConsOS_complete_GM.xml 11768279 ∞ +0 n1 +2 1178.80/296.08 ∞ +0 n1 +2 1085.70/294.50
Transformed_CSR_04/OvConsOS_complete_noand_GM.xml 11768272 ∞ +0 n1 +2 1053.26/294.27 ∞ +0 n1 +2 1156.20/291.79
Transformed_CSR_04/OvConsOS_nokinds_GM.xml 11768218 ∞ +0 n1 +2 1181.68/295.71 ∞ +0 n1 +2 1171.62/298.75
Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml 11768316 ∞ +0 n1 +2 1180.90/295.87 ∞ +0 n1 +2 1183.11/299.42
Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml 11768323 is ∞ +0 1 +0 1176.95/294.43 ∞ +0 NonPoly +2 351.35/90.49
Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml 11768322 is ∞ +0 1 +0 1172.30/294.38 ∞ +0 NonPoly +2 35.27/9.81
Transformed_CSR_04/OvConsOS_nosorts_FR.xml 11768260 i ∞ +0 n1 +1 1173.33/294.27 ∞ +0 NonPoly +2 3.86/1.78
Transformed_CSR_04/OvConsOS_nosorts_GM.xml 11768329 i ∞ +0 n1 +1 903.06/294.27 ∞ +0 NonPoly +2 4.33/2.29
Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml 11768335 i ∞ +0 n1 +1 1182.47/296.01 ∞ +0 NonPoly +2 121.57/33.94
Transformed_CSR_04/OvConsOS_nosorts_Z.xml 11768289 is ∞ +0 1 +0 859.95/294.19 ∞ +0 NonPoly +2 3.56/1.71
Transformed_CSR_04/PEANO_complete_GM.xml 11768290 is timeout (cpu) ∞ +0 n1 +2 1087.28/291.65
Transformed_CSR_04/PEANO_complete_noand_GM.xml 11768299 is ∞ +0 1 +0 1185.39/297.09 ∞ +0 n1 +2 1188.90/299.83
Transformed_CSR_04/PEANO_nokinds_GM.xml 11768243 is ∞ +0 n1 +2 1110.26/294.29 timeout (wallclock)
Transformed_CSR_04/PEANO_nokinds_noand_GM.xml 11768274 ∞ +0 n1 +2 1183.37/296.12 ∞ +0 n1 +2 1138.71/292.65
Transformed_CSR_04/PEANO_nosorts-noand_FR.xml 11768224 is n1 +2 1 +0 9.98/2.57 n1 +2 n1 +2 4.03/1.82
Transformed_CSR_04/PEANO_nosorts_FR.xml 11768269 n1 +2 n1 +2 3.86/1.00 n1 +2 n1 +2 3.48/1.67
Transformed_CSR_04/PEANO_nosorts_GM.xml 11768351 i ∞ +0 n1 +1 989.90/294.20 ∞ +0 n2 +2 1141.31/296.32
Transformed_CSR_04/PEANO_nosorts_noand_GM.xml 11768222 i ∞ +0 n1 +1 890.60/294.30 ∞ +0 n2 +2 1131.00/293.07
AG01/#3.1.xml 11768172 n1 +2 n1 +2 7.71/2.03 n1 +2 n1 +2 15.36/5.02
AG01/#3.10.xml 11768174 is ∞ +0 n1 +2 1168.62/294.37 n4 +2 n1 +2 1149.42/293.80
AG01/#3.12.xml 11768161 i n3 +2 n1 +1 21.52/5.42 n3 +2 n3 +2 21.00/10.67
AG01/#3.13.xml 11768146 is timeout (cpu) ∞ +0 n1 +2 1087.22/291.63
AG01/#3.15.xml 11768159 n1 +2 n1 +2 15.27/3.92 n1 +2 n1 +2 16.92/5.37
AG01/#3.16.xml 11768166 i n3 +2 n1 +1 34.52/8.92 n3 +2 n2 +2 318.66/291.75
AG01/#3.18.xml 11768165 is ∞ +0 n1 +2 823.49/294.32 n1 +2 n1 +2 33.06/9.20
AG01/#3.2.xml 11768151 i n2 +1 n1 +2 11.49/2.99 n1 +2 n1 +2 26.03/8.18
AG01/#3.23.xml 11768162 n1 +2 n1 +2 4.21/1.11 n1 +2 n1 +2 14.74/4.99
AG01/#3.24.xml 11768163 n1 +2 n1 +2 8.79/2.30 n1 +2 n1 +2 5.38/2.06
AG01/#3.26.xml 11768149 ∞ +0 n1 +2 552.56/151.95 ∞ +0 n1 +2 782.83/298.32
AG01/#3.31.xml 11768152 ∞ +0 NonPoly +2 1151.64/294.25 ∞ +0 NonPoly +2 3.25/1.66
AG01/#3.33.xml 11768175 i n1 +1 1 +0 10.20/2.62 1 +2 1 +0 3.15/1.70
AG01/#3.35.xml 11768171 is n1 +2 1 +0 5.64/1.46 n1 +2 n1 +2 13.46/4.64
AG01/#3.36.xml 11768154 is ∞ +0 1 +0 998.52/294.15 ∞ +0 n1 +2 1037.16/291.67
AG01/#3.37.xml 11768144 is n1 +2 1 +0 8.26/2.16 n1 +2 n1 +2 4.35/1.86
AG01/#3.38.xml 11768150 i ∞ +0 n1 +1 929.36/294.24 ∞ +0 NonPoly +2 7.11/2.56
AG01/#3.41.xml 11768178 is n2 +1 1 +0 7.73/2.01 n1 +2 n1 +2 19.59/5.87
AG01/#3.42.xml 11768145 n1 +2 n1 +2 16.28/4.08 n1 +2 n1 +2 24.49/7.07
AG01/#3.47.xml 11768168 i n2 +1 n1 +2 9.04/2.35 n1 +2 n1 +2 15.53/4.77
AG01/#3.48.xml 11768176 n2 +2 n1 +2 12.60/3.24 n2 +2 n1 +2 322.81/291.63
AG01/#3.49.xml 11768169 ∞ +0 n1 +2 1011.95/294.09 ∞ +0 n1 +2 905.12/291.53
AG01/#3.5.xml 11768153 i n2 +1 n1 +2 19.18/4.86 n1 +2 n1 +2 17.42/5.61
AG01/#3.52.xml 11768157 n1 +2 n1 +2 8.20/2.15 n1 +2 n1 +2 15.08/4.78
AG01/#3.53.xml 11768148 i n3 +2 n1 +1 43.36/10.92 n3 +2 n3 +2 30.28/8.76
AG01/#3.53b.xml 11768179 n1 +2 n1 +2 5.07/1.36 n1 +2 n1 +2 14.16/4.71
AG01/#3.55.xml 11768158 is timeout (cpu) ∞ +0 n2 +2 1141.75/295.67
AG01/#3.5a.xml 11768147 i n2 +1 n1 +2 22.23/5.70 n1 +2 n1 +2 36.73/16.26
AG01/#3.5b.xml 11768173 n3 +2 n1 +2 40.36/10.16 n3 +2 n1 +2 317.05/291.60
AG01/#3.6.xml 11768170 i n2 +1 n1 +2 30.27/7.63 n1 +2 n1 +2 40.92/13.75
AG01/#3.6a.xml 11768164 i n2 +1 n1 +2 33.52/8.48 n1 +2 n1 +2 32.89/11.46
AG01/#3.6b.xml 11768156 n3 +2 n1 +2 52.10/13.10 n3 +2 n1 +2 329.83/292.55
AG01/#3.7.xml 11768177 n1 +2 n1 +2 9.58/2.49 n1 +2 n1 +2 12.67/4.09
AG01/#3.8a.xml 11768160 i n3 +1 n1 +2 25.43/6.41 n1 +2 n1 +2 24.93/7.07
AG01/#3.8b.xml 11768167 i n4 +1 n1 +2 34.84/8.79 n3 +2 n1 +2 336.76/291.64
AG01/#4.30c.xml 11768155 is ∞ +0 1 +0 1099.48/294.23 n1 +2 n1 +2 88.30/23.53
Strategy_removed_AG01/#4.22.xml 11768194 n1 +2 n1 +2 13.54/3.50 n1 +2 n1 +2 12.43/4.24
Strategy_removed_AG01/#4.23.xml 11768190 is ∞ +0 n1 +2 809.60/294.24 n2 +2 n1 +2 407.24/291.89
Strategy_removed_AG01/#4.26.xml 11768181 is ∞ +0 n1 +2 715.61/192.57 n2 +2 n1 +2 321.77/291.59
Strategy_removed_AG01/#4.27.xml 11768185 n2 +2 n1 +2 8.82/2.29 n2 +2 n1 +2 317.53/291.71
Strategy_removed_AG01/#4.28.xml 11768180 n1 +2 n1 +2 7.41/2.02 n1 +2 n1 +2 14.58/4.55
Strategy_removed_AG01/#4.29.xml 11768186 is ∞ +0 1 +0 1173.48/294.25 ∞ +0 n1 +2 1120.67/291.62
Strategy_removed_AG01/#4.30.xml 11768183 is ∞ +0 n1 +2 982.72/294.22 n1 +2 n1 +2 29.15/10.71
Strategy_removed_AG01/#4.30a.xml 11768192 is ∞ +0 n1 +2 680.42/183.16 n1 +2 n1 +2 22.44/6.86
Strategy_removed_AG01/#4.30b.xml 11768184 is ∞ +0 n1 +2 1048.12/294.54 n1 +2 n1 +2 32.80/9.89
Strategy_removed_AG01/#4.30c.xml 11768187 is ∞ +0 1 +0 1093.99/294.28 n1 +2 n1 +2 34.64/11.94
Strategy_removed_AG01/#4.32.xml 11768189 n2 +2 n1 +2 11.88/3.05 n2 +2 n1 +2 312.32/291.49
Strategy_removed_AG01/#4.33.xml 11768191 is n3 +2 n1 +1 45.36/11.44 ∞ +0 n2 +2 1078.60/291.72
Strategy_removed_AG01/#4.34.xml 11768193 n2 +2 n1 +2 18.34/4.65 n2 +2 n1 +2 464.06/291.65
Strategy_removed_AG01/#4.36.xml 11768188 i n3 +2 n1 +1 203.14/97.57 n3 +2 n2 +2 1117.02/291.84
Strategy_removed_AG01/#4.37.xml 11768182 n1 +2 n1 +2 16.19/4.10 n1 +2 n1 +2 3.49/1.71
Der95/06.xml 11768134 n1 +2 n1 +2 3.90/1.05 n1 +2 n1 +2 6.94/2.62
Der95/08.xml 11768135 n1 +2 n1 +2 15.98/4.09 n1 +2 n1 +2 14.51/4.88
Der95/11.xml 11768136 i n2 +1 n1 +2 42.89/10.80 n1 +2 n1 +2 16.01/4.93
Der95/18.xml 11768137 n1 +2 n1 +2 4.39/1.17 n1 +2 n1 +2 12.84/4.36
Der95/21.xml 11768133 i ∞ +0 n1 +1 466.50/119.09 ∞ +0 n2 +2 650.12/291.72
Der95/27.xml 11768132 is n1 +2 1 +0 3.46/0.97 n1 +2 n1 +2 3.29/1.76
Der95/32.xml 11768138 i n3 +1 n1 +2 41.15/10.36 n2 +2 n1 +2 338.04/291.64
TCT_12/polycounter-10.xml 11768141 ∞ +0 n1 +2 1121.03/294.14 ∞ +0 n1 +2 1159.75/291.82
TCT_12/polycounter-5.xml 11768143 is ∞ +0 n1 +2 889.52/253.57 n5 +2 n1 +2 1020.45/291.69
TCT_12/recursion-10.xml 11768142 n10 +2 n1 +2 74.31/18.79 n10 +2 n1 +2 679.41/291.72
TCT_12/recursion-5.xml 11768140 n5 +2 n1 +2 31.05/7.84 n5 +2 n1 +2 390.29/291.62
TCT_12/sat.xml 11768139 i n3 +1 n1 +2 40.92/10.33 n2 +2 n1 +2 376.33/291.82
Strategy_removed_mixed_05/muladd.xml 11768550 is ∞ +0 1 +0 926.83/294.10 ∞ +0 NonPoly +2 3.52/1.73
Strategy_removed_mixed_05/test76.xml 11768549 is ∞ +0 n1 +2 357.18/95.29 n1 +2 n1 +2 14.65/5.14
Strategy_removed_mixed_05/test77.xml 11768548 is ∞ +0 n1 +2 352.14/89.44 n1 +2 n1 +2 15.34/5.08
Strategy_removed_mixed_05/test830.xml 11768547 n1 +2 n1 +2 16.19/4.13 n1 +2 n1 +2 3.35/1.54
Secret_07_TRS/aprove01.xml 11768555 ∞ +0 n1 +2 1176.34/294.40 ∞ +0 n1 +2 1127.12/292.55
Secret_07_TRS/aprove02.xml 11768554 is ∞ +0 n1 +2 1177.50/294.37 n5 +2 n1 +2 1127.85/291.70
Secret_07_TRS/aprove03.xml 11768551 is timeout (cpu) ∞ +0 n1 +2 1158.49/291.67
Secret_07_TRS/aprove04.xml 11768552 is timeout (cpu) ∞ +0 n1 +2 1147.05/292.81
Secret_07_TRS/aprove05.xml 11768553 ∞ +0 n1 +2 1177.63/294.48 ∞ +0 n1 +2 1109.98/291.57
Secret_07_TRS/aprove06.xml 11768556 ∞ +0 n1 +2 1178.20/295.10 ∞ +0 n1 +2 1140.28/295.70
Secret_07_TRS/aprove07.xml 11768561 ∞ +0 n1 +2 1176.88/294.32 ∞ +0 n1 +2 1119.28/292.14
Secret_07_TRS/aprove08.xml 11768557 is ∞ +0 1 +0 1166.66/294.25 n2 +2 n1 +2 1172.57/295.16
Secret_07_TRS/aprove09.xml 11768560 is ∞ +0 n1 +2 1167.62/294.31 n3 +2 n1 +2 1149.68/291.77
Secret_07_TRS/aprove10.xml 11768559 is timeout (wallclock) n3 +2 n1 +2 941.10/291.76
Secret_07_TRS/secret3.xml 11768558 ∞ +0 n1 +2 1156.28/294.20 ∞ +0 n1 +2 996.55/291.51
hoca/dfs-flatten.xml 11768487 n1 +2 n1 +2 12.10/3.06 n1 +2 n1 +2 3.81/1.67
hoca/fib_llist.xml 11768483 ∞ +0 n1 +2 1142.32/294.23 ∞ +0 n1 +2 1124.19/291.58
hoca/flatten.xml 11768488 n1 +2 n1 +2 18.88/4.80 n1 +2 n1 +2 3.92/1.69
hoca/foldsum.xml 11768494 n1 +2 n1 +2 20.33/5.17 n1 +2 n1 +2 5.45/2.24
hoca/id.xml 11768485 n1 +2 n1 +2 9.93/2.54 n1 +2 n1 +2 3.69/1.99
hoca/isort-fold.xml 11768486 i n3 +1 n1 +2 23.27/5.84 n2 +2 n1 +2 330.05/291.53
hoca/isort.xml 11768480 i n3 +1 n1 +2 24.87/6.30 n2 +2 n1 +2 322.79/291.52
hoca/mappplus.xml 11768492 n2 +2 n1 +2 15.93/4.47 n2 +2 n1 +2 324.88/291.73
hoca/mergesort-dc.xml 11768489 ∞ +0 n1 +2 1173.76/294.28 ∞ +0 n1 +2 1131.31/293.01
hoca/mss.xml 11768490 ∞ +0 n1 +2 905.71/294.22 ∞ +0 n1 +2 935.99/291.57
hoca/rev-dl.xml 11768493 n1 +2 n1 +2 16.23/4.13 n1 +2 n1 +2 3.62/1.78
hoca/rev-fletf.xml 11768491 n1 +2 n1 +2 16.24/4.15 n1 +2 n1 +2 3.57/1.66
hoca/rev-foldl.xml 11768484 n1 +2 n1 +2 4.42/1.19 n1 +2 n1 +2 3.41/1.54
hoca/sum.xml 11768481 n1 +2 n1 +2 7.18/1.85 n1 +2 n1 +2 3.65/1.63
hoca/sum_sqs3.xml 11768482 i ∞ +0 n1 +1 929.22/294.16 ∞ +0 n2 +2 838.55/291.53
Frederiksen_Glenstrup/ack.xml 11768511 ∞ +0 n1 +2 848.71/223.05 ∞ +0 n1 +2 1051.84/291.65
Frederiksen_Glenstrup/add.xml 11768514 n1 +2 n1 +2 6.72/5.80 n1 +2 n1 +2 3.67/1.67
Frederiksen_Glenstrup/addlists.xml 11768512 n1 +2 n1 +2 9.66/2.53 n1 +2 n1 +2 3.60/1.65
Frederiksen_Glenstrup/anchored.xml 11768538 n1 +2 n1 +2 4.59/1.23 n1 +2 n1 +2 3.45/1.64
Frederiksen_Glenstrup/append.xml 11768515 n1 +2 n1 +2 5.18/1.38 n1 +2 n1 +2 3.39/1.65
Frederiksen_Glenstrup/assrewrite.xml 11768540 ∞ +0 n1 +2 991.13/294.23 ∞ +0 n1 +2 360.42/291.69
Frederiksen_Glenstrup/badd.xml 11768530 i ∞ +0 n1 +1 822.15/215.81 ∞ +0 NonPoly +2 3.47/1.68
Frederiksen_Glenstrup/binom.xml 11768507 i ∞ +0 n1 +1 1176.68/294.32 ∞ +0 NonPoly +2 3.48/1.67
Frederiksen_Glenstrup/decrease.xml 11768527 n1 +2 n1 +2 12.11/3.08 n1 +2 n1 +2 3.62/1.67
Frederiksen_Glenstrup/deeprev_typed.xml 11768496 n1 +2 n1 +2 16.31/4.18 n1 +2 n1 +2 4.82/2.15
Frederiksen_Glenstrup/disjconj.xml 11768539 i ∞ +0 n1 +1 1133.58/294.23 ∞ +0 NonPoly +2 4.61/1.97
Frederiksen_Glenstrup/duplicate.xml 11768529 n1 +2 n1 +2 4.55/1.25 n1 +2 n1 +2 12.93/4.40
Frederiksen_Glenstrup/equal.xml 11768498 is timeout (wallclock) ∞ +0 NonPoly +2 3.30/1.57
Frederiksen_Glenstrup/evenodd.xml 11768524 is n1 +2 1 +0 8.93/2.32 n1 +2 n1 +2 3.73/1.73
Frederiksen_Glenstrup/fold.xml 11768525 n1 +2 n1 +2 13.36/3.44 n1 +2 n1 +2 15.48/5.17
Frederiksen_Glenstrup/game.xml 11768502 n1 +2 n1 +2 16.26/4.39 n1 +2 n1 +2 3.95/1.81
Frederiksen_Glenstrup/gcd.xml 11768545 is ∞ +0 1 +0 1071.31/294.23 ∞ +0 n1 +2 1157.30/291.57
Frederiksen_Glenstrup/gcd2.xml 11768520 is ∞ +0 1 +0 1158.27/294.86 n3 +2 n1 +2 1151.21/291.71
Frederiksen_Glenstrup/increase.xml 11768503 is timeout (wallclock) ∞ +0 NonPoly +2 3.38/1.78
Frederiksen_Glenstrup/int.xml 11768506 is ∞ +0 n1 +2 1173.33/296.49 timeout (wallclock)
Frederiksen_Glenstrup/intlookup.xml 11768541 i ∞ +0 n1 +1 857.52/225.07 ∞ +0 NonPoly +2 3.47/1.57
Frederiksen_Glenstrup/lambdaint_typed.xml 11768544 ∞ +0 n1 +2 1176.89/294.38 ∞ +0 n1 +2 1166.44/294.07
Frederiksen_Glenstrup/letexp.xml 11768534 is ∞ +0 1 +0 776.78/205.12 ∞ +0 NonPoly +2 3.36/1.54
Frederiksen_Glenstrup/list.xml 11768518 n1 +2 n1 +2 4.62/1.23 n1 +2 n1 +2 3.40/1.68
Frederiksen_Glenstrup/lte.xml 11768526 n1 +2 n1 +2 14.89/3.84 n1 +2 n1 +2 13.77/4.63
Frederiksen_Glenstrup/map0.xml 11768523 n1 +2 n1 +2 9.12/2.37 n1 +2 n1 +2 17.69/5.32
Frederiksen_Glenstrup/member.xml 11768501 is n1 +2 1 +0 13.22/3.42 n1 +2 n1 +2 27.35/13.16
Frederiksen_Glenstrup/mergelists.xml 11768516 is n1 +2 1 +0 16.47/4.21 n1 +2 n1 +2 16.22/5.18
Frederiksen_Glenstrup/mergesort.xml 11768500 is ∞ +0 n1 +2 1173.95/294.28 n2 +2 n1 +2 617.00/291.69
Frederiksen_Glenstrup/minsort.xml 11768528 is ∞ +0 1 +0 1135.50/294.27 ∞ +0 n1 +2 1143.96/291.66
Frederiksen_Glenstrup/mul.xml 11768542 i n3 +2 n1 +1 23.43/6.01 n3 +2 n3 +2 14.59/4.78
Frederiksen_Glenstrup/mul_better.xml 11768535 i n3 +2 n1 +1 25.70/6.73 n3 +2 n3 +2 15.98/5.33
Frederiksen_Glenstrup/naiverev.xml 11768536 i n2 +2 n1 +1 15.95/4.75 n2 +2 n2 +2 11.16/3.62
Frederiksen_Glenstrup/nestdec.xml 11768505 is n1 +2 1 +0 26.03/6.59 n1 +2 n1 +2 14.15/4.53
Frederiksen_Glenstrup/nesteql.xml 11768495 is timeout (wallclock) ∞ +0 NonPoly +2 3.49/1.70
Frederiksen_Glenstrup/nestimeql.xml 11768532 is timeout (wallclock) ∞ +0 NonPoly +2 3.76/1.78
Frederiksen_Glenstrup/nestinc.xml 11768522 is timeout (wallclock) ∞ +0 NonPoly +2 3.67/1.73
Frederiksen_Glenstrup/ordered.xml 11768533 is n1 +2 1 +0 16.45/4.17 n1 +2 n1 +2 14.59/4.60
Frederiksen_Glenstrup/ordered_better.xml 11768519 n1 +2 1 +0 13.91/3.55 n1 +2 1 +0 325.10/291.66
Frederiksen_Glenstrup/overlap.xml 11768543 is n2 +2 1 +0 26.75/6.75 n2 +2 n1 +2 333.06/291.59
Frederiksen_Glenstrup/parsexp.xml 11768531 is ∞ +0 1 +0 946.38/294.17 ∞ +0 NonPoly +2 8.05/2.88
Frederiksen_Glenstrup/permute.xml 11768517 is timeout (cpu) ∞ +0 NonPoly +2 7.56/2.73
Frederiksen_Glenstrup/power.xml 11768537 i ∞ +0 n1 +1 1162.96/294.32 ∞ +0 n3 +2 747.01/291.64
Frederiksen_Glenstrup/quicksort.xml 11768504 ∞ +0 n1 +2 1164.56/294.24 ∞ +0 n1 +2 1141.46/293.52
Frederiksen_Glenstrup/revapp.xml 11768508 n1 +2 n1 +2 4.74/1.29 n1 +2 n1 +2 3.48/1.70
Frederiksen_Glenstrup/select.xml 11768521 n2 +2 n1 +2 20.48/5.18 n2 +2 n1 +2 348.57/291.56
Frederiksen_Glenstrup/shuffle.xml 11768513 i n3 +2 n1 +1 23.53/5.95 n3 +2 n3 +2 12.36/3.88
Frederiksen_Glenstrup/sp1.xml 11768499 is ∞ +0 1 +0 1086.23/294.19 ∞ +0 NonPoly +2 3.44/1.60
Frederiksen_Glenstrup/subsets.xml 11768546 ∞ +0 n1 +2 998.72/294.21 ∞ +0 n1 +2 1144.85/291.58
Frederiksen_Glenstrup/thetrick.xml 11768509 i ∞ +0 n1 +1 1176.18/294.50 ∞ +0 NonPoly +2 6.86/2.62
Frederiksen_Glenstrup/turing_typed.xml 11768510 is ∞ +0 1 +0 1172.32/294.22 ∞ +0 NonPoly +2 10.12/3.75
Frederiksen_Glenstrup/vangelder_typed.xml 11768497 is ∞ +0 1 +0 918.37/294.24 ∞ +0 NonPoly +2 125.47/38.85
Zantema_05/z12.xml 11768462 ∞ +0 n1 +2 1142.58/294.22 ∞ +0 n1 +2 1030.17/291.70
Zantema_05/z13.xml 11768464 ∞ +0 n1 +2 1054.51/294.19 ∞ +0 n1 +2 1103.86/291.53
Zantema_05/z14.xml 11768465 ∞ +0 n1 +2 1101.14/294.11 ∞ +0 n1 +2 1008.49/291.57
Zantema_05/z15.xml 11768461 ∞ +0 n1 +2 1097.76/294.22 ∞ +0 n1 +2 1127.86/300.25
Zantema_05/z16.xml 11768468 ∞ +0 n1 +2 1000.37/294.24 ∞ +0 n1 +2 1012.96/291.62
Zantema_05/z17.xml 11768466 ∞ +0 n1 +2 1040.08/294.28 ∞ +0 n1 +2 1095.02/291.62
Zantema_05/z18.xml 11768467 ∞ +0 n1 +2 1098.51/294.21 ∞ +0 n1 +2 1111.20/291.75
Zantema_05/z23.xml 11768469 is ∞ +0 n1 +2 1055.37/294.24 n1 +2 n1 +2 5.55/2.10
Zantema_05/z24.xml 11768470 ∞ +0 n1 +2 1026.29/294.73 ∞ +0 n1 +2 1137.59/292.95
Zantema_05/z27.xml 11768463 ∞ +0 n1 +2 661.75/181.49 ∞ +0 n1 +2 647.24/291.53
AProVE_06/div_notCeTermin.xml 11768476 is ∞ +0 1 +0 992.34/294.24 n2 +2 n1 +2 1150.88/291.64
AProVE_06/factorial1.xml 11768475 is ∞ +0 1 +0 1176.38/294.25 ∞ +0 n4 +2 1133.04/291.77
AProVE_06/factorial2.xml 11768474 i ∞ +0 n1 +1 1176.21/294.21 ∞ +0 n3 +2 1130.42/291.74
AProVE_06/identity.xml 11768479 ∞ +0 n1 +2 1164.92/294.18 ∞ +0 n1 +2 883.74/291.56
AProVE_06/logarithm.xml 11768472 is ∞ +0 1 +0 1147.09/294.28 n2 +2 n1 +2 1120.56/291.68
AProVE_06/quicksort.xml 11768471 i ∞ +0 n1 +1 1176.41/294.36 ∞ +0 n2 +2 1135.77/291.98
AProVE_06/sizeChange.xml 11768473 is ∞ +0 n1 +2 1115.74/294.27 n2 +2 n1 +2 322.67/291.62
AProVE_06/tower.xml 11768478 is ∞ +0 1 +0 1179.44/295.23 ∞ +0 n3 +2 1138.38/291.70
AProVE_06/tower_sizeChange.xml 11768477 ∞ +0 n1 +2 1176.15/294.27 ∞ +0 n1 +2 1111.58/291.61
SK90/2.09.xml 11768433 n1 +2 n1 +2 4.58/1.18 n1 +2 n1 +2 6.01/2.38
SK90/2.11.xml 11768436 n1 +2 n1 +2 4.33/1.11 n1 +2 n1 +2 3.47/1.56
SK90/2.12.xml 11768385 i n3 +2 n1 +1 52.92/14.58 n3 +2 n3 +2 24.87/7.08
SK90/2.13.xml 11768408 n1 +2 n1 +2 11.72/3.04 n1 +2 n1 +2 15.37/4.79
SK90/2.15.xml 11768386 ∞ +0 NonPoly +2 1146.91/294.18 ∞ +0 NonPoly +2 3.38/1.61
SK90/2.16.xml 11768435 i n2 +2 n1 +1 12.62/3.18 n2 +2 n2 +2 27.46/11.24
SK90/2.17.xml 11768428 n1 +2 n1 +2 6.05/1.57 n1 +2 n1 +2 18.23/5.47
SK90/2.18.xml 11768437 n2 +2 n1 +2 16.20/4.08 n2 +2 n1 +2 316.66/291.49
SK90/2.19.xml 11768427 i n2 +2 n1 +1 17.84/4.49 n2 +2 n2 +2 18.78/5.62
SK90/2.20.xml 11768391 n1 +2 n1 +2 14.24/4.05 n1 +2 n1 +2 29.30/8.53
SK90/2.21.xml 11768403 i ∞ +0 n1 +1 1127.44/294.24 ∞ +0 NonPoly +2 3.38/1.61
SK90/2.22.xml 11768422 n2 +2 n1 +2 11.39/2.87 n2 +2 n1 +2 316.88/291.51
SK90/2.23.xml 11768441 i ∞ +0 n1 +1 539.16/150.00 ∞ +0 n3 +2 961.68/291.67
SK90/2.24.xml 11768440 ∞ +0 NonPoly +2 1120.28/294.23 ∞ +0 NonPoly +2 3.40/1.75
SK90/2.25.xml 11768424 ∞ +0 NonPoly +2 1166.44/294.23 ∞ +0 NonPoly +2 3.31/1.53
SK90/2.26.xml 11768401 is ∞ +0 1 +0 1175.23/294.32 ∞ +0 NonPoly +2 3.38/1.64
SK90/2.27.xml 11768392 ∞ +0 n1 +2 882.90/294.21 ∞ +0 n1 +2 903.53/291.69
SK90/2.28.xml 11768405 is ∞ +0 n1 +2 511.56/138.93 timeout (wallclock)
SK90/2.29.xml 11768388 n1 +2 n1 +2 16.18/4.10 n1 +2 n1 +2 19.94/7.67
SK90/2.30.xml 11768415 1 +2 1 +0 5.87/1.55 1 +2 1 +0 3.28/1.52
SK90/2.31.xml 11768396 n1 +2 n1 +2 7.13/1.88 n1 +2 n1 +2 3.73/1.63
SK90/2.36.xml 11768394 n1 +2 n1 +2 7.76/2.04 n1 +2 n1 +2 3.61/1.77
SK90/2.37.xml 11768416 1 +2 1 +0 12.29/3.18 1 +2 1 +0 3.28/1.53
SK90/2.39.xml 11768411 i n2 +2 n1 +1 15.87/4.37 n2 +2 n2 +2 11.56/3.64
SK90/2.40.xml 11768431 n1 +2 n1 +2 4.79/1.23 n1 +2 n1 +2 14.34/4.48
SK90/2.41.xml 11768420 n1 +2 n1 +2 7.98/2.52 n1 +2 n1 +2 3.50/1.64
SK90/2.43.xml 11768397 i ∞ +0 n1 +1 1144.18/294.21 ∞ +0 NonPoly +2 3.29/1.55
SK90/2.44.xml 11768398 is n1 +2 1 +0 18.10/4.57 n1 +2 n1 +2 14.42/4.41
SK90/2.45.xml 11768412 n1 +2 n1 +2 16.37/4.12 n1 +2 n1 +2 16.87/5.06
SK90/2.47.xml 11768430 n1 +2 n1 +2 3.16/0.82 n1 +2 n1 +2 8.15/2.81
SK90/2.48.xml 11768421 1 +2 1 +0 4.28/1.13 1 +2 1 +0 3.29/1.52
SK90/2.50.xml 11768425 n1 +2 n1 +2 2.80/0.75 n1 +2 n1 +2 8.76/2.95
SK90/2.51.xml 11768438 ∞ +0 n1 +2 374.91/96.26 ∞ +0 n1 +2 961.73/291.65
SK90/2.52.xml 11768390 ∞ +0 n1 +2 1177.58/294.44 ∞ +0 n1 +2 1114.32/291.71
SK90/2.53.xml 11768404 n1 +2 n1 +2 4.81/1.29 n1 +2 n1 +2 3.59/1.64
SK90/2.54.xml 11768406 n1 +2 n1 +2 3.36/0.87 n1 +2 n1 +2 3.37/1.51
SK90/4.05.xml 11768387 n2 +2 n1 +2 7.69/1.99 n2 +2 n1 +2 352.25/291.85
SK90/4.12.xml 11768410 is n1 +2 1 +0 17.21/4.93 n1 +2 n1 +2 3.82/1.64
SK90/4.13.xml 11768399 is n2 +1 1 +0 8.96/2.26 n1 +2 n1 +2 15.59/4.83
SK90/4.16.xml 11768418 n1 +2 n1 +2 12.99/3.28 n1 +2 n1 +2 3.53/1.70
SK90/4.17.xml 11768434 i n3 +1 n1 +1 19.46/4.89 n2 +2 n2 +2 24.51/7.01
SK90/4.18.xml 11768417 1 +2 1 +0 11.69/3.17 1 +2 1 +0 3.36/1.55
SK90/4.24.xml 11768419 ∞ +0 n1 +2 1078.07/294.17 ∞ +0 n1 +2 1134.26/291.69
SK90/4.27.xml 11768413 ∞ +0 n1 +2 1132.24/294.17 ∞ +0 n1 +2 984.36/291.49
SK90/4.29.xml 11768414 n1 +2 n1 +2 8.15/2.15 n1 +2 n1 +2 3.67/1.59
SK90/4.30.xml 11768389 n1 +2 n1 +2 19.98/5.08 n1 +2 n1 +2 3.58/1.78
SK90/4.31.xml 11768407 ∞ +0 NonPoly +2 1031.34/294.23 ∞ +0 NonPoly +2 3.41/2.07
SK90/4.34.xml 11768439 i ∞ +0 n1 +1 822.74/294.14 ∞ +0 NonPoly +2 3.61/1.76
SK90/4.35.xml 11768426 1 +2 1 +0 3.27/0.88 1 +2 1 +0 3.37/2.01
SK90/4.38.xml 11768402 n1 +2 n1 +2 16.10/4.10 n1 +2 n1 +2 3.50/1.80
SK90/4.42.xml 11768393 ∞ +0 n1 +2 384.65/100.13 ∞ +0 n1 +2 1145.12/291.72
SK90/4.47.xml 11768423 1 +2 1 +0 16.38/4.11 1 +2 1 +0 3.33/1.56
SK90/4.54.xml 11768395 ∞ +0 NonPoly +2 846.02/238.71 ∞ +0 NonPoly +2 3.37/1.63
SK90/4.57.xml 11768429 1 +2 1 +0 4.97/1.28 1 +2 1 +0 10.74/3.84
SK90/4.59.xml 11768432 ∞ +0 NonPoly +2 977.01/294.28 ∞ +0 NonPoly +2 3.49/1.64
SK90/4.60.xml 11768409 i ∞ +0 n1 +1 1131.46/294.19 ∞ +0 NonPoly +2 3.46/1.55
SK90/4.61.xml 11768400 i ∞ +0 n1 +1 1164.06/294.30 ∞ +0 NonPoly +2 3.40/1.57
Rubio_04/bintrees.xml 11768443 n1 +2 n1 +2 7.97/2.09 n1 +2 n1 +2 3.77/1.73
Rubio_04/division.xml 11768455 n3 +2 n1 +2 30.16/7.56 n3 +2 n1 +2 314.70/291.57
Rubio_04/elimdupl.xml 11768456 i n3 +1 n1 +2 27.52/6.90 n2 +2 n1 +2 328.04/291.51
Rubio_04/enno.xml 11768452 i n3 +1 n1 +2 48.47/12.17 n2 +2 n1 +2 354.86/291.53
Rubio_04/gcd.xml 11768444 i n2 +1 n1 +2 41.33/11.73 n1 +2 n1 +2 22.47/6.51
Rubio_04/gm.xml 11768448 n1 +2 n1 +2 7.52/1.93 n1 +2 n1 +2 19.74/5.82
Rubio_04/gmnp.xml 11768458 n1 +2 n1 +2 7.10/1.89 n1 +2 n1 +2 8.41/2.87
Rubio_04/logarquot.xml 11768450 i n3 +1 n1 +2 20.52/5.15 n1 +2 n1 +2 18.47/5.72
Rubio_04/ma96.xml 11768445 ∞ +0 n1 +2 1181.69/294.58 ∞ +0 n1 +2 729.91/296.56
Rubio_04/mfp95.xml 11768446 1 +2 1 +0 2.96/0.76 1 +2 1 +0 3.30/1.50
Rubio_04/nestrec.xml 11768451 i ∞ +0 n1 +1 929.38/294.13 ∞ +0 NonPoly +2 8.47/2.84
Rubio_04/polo2.xml 11768457 n1 +2 n1 +2 30.01/7.54 n1 +2 n1 +2 15.27/4.68
Rubio_04/prov.xml 11768447 n1 +2 n1 +2 7.47/1.92 n1 +2 n1 +2 14.86/10.90
Rubio_04/quick.xml 11768453 i ∞ +0 n1 +1 1175.87/294.30 ∞ +0 n2 +2 1130.50/291.57
Rubio_04/revlist.xml 11768454 ∞ +0 n1 +2 1126.41/294.52 ∞ +0 n1 +2 1135.02/291.77
Rubio_04/selsort.xml 11768449 i n3 +2 n1 +1 124.27/31.14 n3 +2 n2 +2 1121.36/293.41
Rubio_04/test4.xml 11768442 n1 +2 n1 +2 12.48/3.23 n1 +2 n1 +2 4.16/1.88
Rubio_04/test829.xml 11768459 n1 +2 n1 +2 18.05/4.65 n1 +2 n1 +2 3.60/1.59
Rubio_04/wst99.xml 11768460 n2 +2 n1 +2 96.42/24.73 n2 +2 n1 +2 326.48/291.52
1221 1910