Runtime Complexity: TRS Innermost

benchmark AProVE tct 2018-07-13
scoreloweruppertime scoreloweruppertime
Waldmann_06/jwno4.xml 2 n1 307.05/291.43 2 n1 366.67/93.37
Waldmann_06/jwmatchb2.xml 4 n1 n1 3.57/1.64 4 n1 n1 3.17/1.40
Waldmann_06/jwno6.xml 2 n1 307.24/291.44 2 n1 338.14/86.62
Waldmann_06/jwmatchb1.xml 4 n1 n1 3.37/1.52 4 n1 n1 3.30/1.85
Waldmann_06/jwno1.xml 2 n1 609.54/292.04 2 n1 351.81/90.65
Various_04/11.xml 0 1 3.23/1.56 0 1 829.26/214.06
Various_04/24.xml 4 n1 n1 4.23/1.79 3 n1 n2 5.55/2.35
Various_04/15.xml 4 n1 n1 4.92/1.99 StarExec error
Various_04/22.xml 4 n1 n1 19.20/6.06 4 n1 n1 3.13/0.82
Zantema_05/z16.xml 2 n1 894.88/291.48 2 n1 1014.59/294.22
Zantema_05/z13.xml 2 n1 1088.13/291.49 2 n1 1070.21/294.22
Zantema_05/z17.xml 2 n1 1107.49/293.94 timeout (wallclock)
Zantema_05/z27.xml 2 n1 648.73/291.45 2 n1 646.83/175.60
Zantema_05/z23.xml 4 n1 n1 6.68/4.27 timeout (wallclock)
Zantema_05/z12.xml 2 n1 1073.20/292.72 timeout (wallclock)
Zantema_05/z15.xml 2 n1 1118.01/292.83 timeout (wallclock)
Zantema_05/z14.xml 2 n1 1042.14/294.83 2 n1 1087.34/294.10
Zantema_05/z24.xml 2 n1 1147.74/296.22 StarExec error
Zantema_05/z18.xml 2 n1 1094.14/293.28 StarExec error
AG01/#3.49.xml 2 n1 911.33/292.25 timeout (wallclock)
AG01/#3.18.xml 4 n1 n1 36.15/12.28 2 n1 832.85/294.17
AG01/#3.6.xml 4 n1 n1 34.72/9.68 3 n1 n2 21.38/6.61
AG01/#3.35.xml 4 n1 n1 13.23/4.36 2 1 n1 0.83/0.22
AG01/#3.53.xml 4 n3 n3 28.19/8.02 3 n1 n3 34.67/6.94
AG01/#3.55.xml 2 n2 1136.88/294.84 1 n1 1191.37/295.01
AG01/#3.52.xml 4 n1 n1 14.52/4.60 4 n1 n1 3.26/0.72
AG01/#3.47.xml 4 n1 n2 313.77/291.49 4 n1 n2 4.39/1.06
AG01/#3.10.xml 4 n1 n4 1142.26/294.06 timeout (wallclock)
AG01/#3.6b.xml 4 n1 n3 323.81/291.48 StarExec error
AG01/#3.53b.xml 4 n1 n1 17.50/6.07 4 n1 n1 2.54/0.60
AG01/#3.12.xml 4 n3 n3 12.56/3.84 3 n1 n3 23.07/4.50
AG01/#3.23.xml 4 n1 n1 12.40/4.08 4 n1 n1 0.62/0.17
AG01/#3.15.xml 4 n1 n1 16.43/10.31 4 n1 n1 2.14/0.55
AG01/#3.5a.xml 4 n1 n1 22.53/6.45 3 n1 n2 25.94/6.70
AG01/#3.13.xml StarExec error timeout (wallclock)
AG01/#3.41.xml 4 n1 n1 16.53/5.02 1 1 n2 4.31/1.06
AG01/#3.8a.xml 4 n1 n1 26.95/7.53 3 n1 n3 32.23/6.87
AG01/#3.2.xml 4 n1 n1 20.93/6.05 3 n1 n2 10.77/2.74
AG01/#3.36.xml 2 n1 1041.87/292.90 2 n1 643.20/164.79
AG01/#3.48.xml 4 n1 n2 320.56/291.44 4 n1 n2 1.90/0.73
AG01/#3.16.xml 4 n2 n3 317.54/291.69 3 n1 n3 48.07/8.75
AG01/#3.1.xml 4 n1 n1 14.97/4.56 4 n1 n1 1.45/0.38
AG01/#3.6a.xml 4 n1 n1 21.73/9.03 3 n1 n2 10.92/2.48
AG01/#3.26.xml timeout (wallclock) 2 n1 538.55/147.23
AG01/#3.7.xml 4 n1 n1 13.85/4.24 4 n1 n1 2.90/0.75
AG01/#3.5b.xml 4 n1 n3 317.18/291.47 4 n1 n3 27.54/7.21
AG01/#3.5.xml 4 n1 n1 18.50/5.97 3 n1 n2 5.44/1.31
AG01/#3.38.xml 2 NonPoly 7.32/2.55 1 n1 947.17/294.31
AG01/#3.31.xml 2 NonPoly 3.36/1.51 2 NonPoly 1164.84/294.23
AG01/#3.33.xml 0 1 3.44/1.54 0 1 1.36/0.92
AG01/#3.24.xml 4 n1 n1 3.32/1.49 StarExec error
AG01/#3.42.xml 4 n1 n1 22.24/6.87 4 n1 n1 9.33/2.17
AG01/#3.37.xml 4 n1 n1 4.06/1.70 2 1 n1 1.84/0.43
AG01/#4.30c.xml 4 n1 n1 99.11/25.90 2 n1 969.88/294.10
AG01/#3.8b.xml 4 n1 n3 1116.27/291.61 3 n1 n4 32.55/6.59
AProVE_06/tower.xml 2 n3 1140.40/291.57 timeout (cpu)"
AProVE_06/tower_sizeChange.xml 2 n1 1111.79/292.22 timeout (cpu)"
AProVE_06/identity.xml 2 n1 873.70/291.49 timeout (wallclock)
AProVE_06/logarithm.xml 4 n1 n2 1124.76/291.53 timeout (wallclock)
AProVE_06/factorial1.xml 2 n4 1131.66/291.72 timeout (cpu)"
AProVE_06/factorial2.xml 2 n3 1131.33/291.52 timeout (cpu)"
AProVE_06/div_notCeTermin.xml 4 n1 n2 1151.77/292.02 2 n1 948.22/294.11
AProVE_06/quicksort.xml 2 n2 1143.61/291.57 timeout (cpu)"
AProVE_06/sizeChange.xml 4 n1 n2 320.60/291.43 2 n1 1126.53/294.23
AProVE_04/IJCAR_1.xml 4 n1 n1 13.08/4.69 4 n1 n1 18.29/2.81
AProVE_04/AAECC-ring.xml 2 n1 1112.05/293.03 timeout (cpu)"
AProVE_04/AAECC.xml 4 n1 n2 1158.82/292.76 timeout (wallclock)
AProVE_04/JFP_Ex51.xml 2 n1 1134.24/293.82 4 n1 n3 105.26/26.40
AProVE_04/rta1.xml 2 n1 975.83/292.68 2 n1 1192.88/294.44
AProVE_04/fac.xml 2 n2 1140.57/292.34 1 n1 1049.95/275.87
AProVE_04/rta2.xml 2 n1 353.71/291.46 2 n1 516.05/147.09
AProVE_04/rta3.xml 2 n1 984.75/292.20 2 n1 358.10/92.18
Der95/27.xml 4 n1 n1 11.10/3.51 2 1 n1 0.50/0.13
Der95/06.xml 4 n1 n1 7.23/2.49 4 n1 n1 0.64/0.15
Der95/08.xml 4 n1 n1 16.27/4.94 4 n1 n1 7.08/1.68
Der95/11.xml 4 n1 n1 17.07/5.09 4 n1 n1 14.19/3.35
Der95/18.xml 4 n1 n1 15.14/5.02 4 n1 n1 0.95/0.24
Der95/21.xml 2 n2 645.88/291.46 1 n1 485.12/126.18
Der95/32.xml StarExec error 4 n1 n2 28.35/5.40
CiME_04/filliatre2.xml 2 n1 1134.21/291.55 timeout (wallclock)
CiME_04/append-hard.xml 4 n1 n1 15.07/4.94 0 1 1118.71/294.27
CiME_04/ack_prolog.xml 2 n1 1079.80/291.47 2 n1 1103.25/294.23
CiME_04/filliatre.xml 2 n1 1142.62/291.54 2 n1 1138.68/294.34
CiME_04/append.xml 4 n1 n1 11.68/4.34 2 1 n1 1.59/0.41
CiME_04/fact-hard.xml 2 n2 1138.55/292.59 timeout (wallclock)
CiME_04/filliatre3.xml 2 n1 1135.34/291.55 timeout (wallclock)
CiME_04/list-sum-prod.xml 2 n2 1135.03/291.55 1 n1 1161.29/294.23
CiME_04/append-wrong.xml 2 NonPoly 3.25/1.52 0 1 1107.68/294.21
Frederiksen_Glenstrup/naiverev.xml 4 n2 n2 11.59/3.83 3 n1 n2 3.45/1.69
Frederiksen_Glenstrup/increase.xml 2 NonPoly 3.31/1.51 0 1 1092.49/280.34
Frederiksen_Glenstrup/ack.xml 2 n1 1058.93/291.47 2 n1 833.63/214.12
Frederiksen_Glenstrup/deeprev_typed.xml 4 n1 n1 4.96/2.01 4 n1 n1 1.73/0.44
Frederiksen_Glenstrup/assrewrite.xml 2 n1 366.14/292.01 2 n1 1016.86/294.27
Frederiksen_Glenstrup/binom.xml 2 NonPoly 3.33/1.57 timeout (cpu)"
Frederiksen_Glenstrup/addlists.xml 4 n1 n1 3.74/1.68 4 n1 n1 2.99/0.76
Frederiksen_Glenstrup/fold.xml 4 n1 n1 14.15/4.50 4 n1 n1 1.85/0.48
Frederiksen_Glenstrup/mul.xml StarExec error 4 n1 n3 23.00/5.89
Frederiksen_Glenstrup/sp1.xml 2 NonPoly 3.59/1.61 0 1 1135.56/294.28
Frederiksen_Glenstrup/nestdec.xml 4 n1 n1 15.47/4.73 2 1 n1 5.07/1.54
Frederiksen_Glenstrup/member.xml 4 n1 n1 17.15/5.09 2 1 n1 5.31/1.27
Frederiksen_Glenstrup/power.xml 2 n3 769.09/291.61 timeout (wallclock)
Frederiksen_Glenstrup/mul_better.xml 4 n3 n3 15.44/4.81 3 n1 n3 27.12/6.88
Frederiksen_Glenstrup/lte.xml 4 n1 n1 14.97/4.53 4 n1 n1 3.07/0.76
Frederiksen_Glenstrup/overlap.xml 4 n1 n2 329.35/291.48 2 1 n2 23.14/4.84
Frederiksen_Glenstrup/nestimeql.xml 2 NonPoly 3.75/1.71 1 n1 1167.68/294.19
Frederiksen_Glenstrup/minsort.xml 2 n1 1145.61/292.76 0 1 1153.64/294.26
Frederiksen_Glenstrup/thetrick.xml StarExec error timeout (wallclock)
Frederiksen_Glenstrup/badd.xml 2 NonPoly 3.44/1.58 1 n1 847.64/217.49
Frederiksen_Glenstrup/evenodd.xml 4 n1 n1 3.56/1.55 2 1 n1 1.36/0.36
Frederiksen_Glenstrup/append.xml 4 n1 n1 3.47/1.63 4 n1 n1 0.77/0.17
Frederiksen_Glenstrup/duplicate.xml 4 n1 n1 12.30/4.17 4 n1 n1 1.11/0.29
Frederiksen_Glenstrup/add.xml 4 n1 n1 3.56/1.57 4 n1 n1 1.08/0.27
Frederiksen_Glenstrup/ordered_better.xml 2 1 n1 324.74/291.98 2 1 n1 5.83/1.40
Frederiksen_Glenstrup/turing_typed.xml 2 NonPoly 9.97/3.28 1 n1 1042.86/294.06
Frederiksen_Glenstrup/map0.xml 4 n1 n1 18.94/5.57 4 n1 n1 3.03/0.76
Frederiksen_Glenstrup/lambdaint_typed.xml 2 n1 1156.76/292.73 timeout (cpu)"
Frederiksen_Glenstrup/intlookup.xml 2 NonPoly 3.31/1.55 1 n1 845.15/222.91
Frederiksen_Glenstrup/list.xml 4 n1 n1 5.10/2.06 4 n1 n1 1.12/0.27
Frederiksen_Glenstrup/vangelder_typed.xml StarExec error 0 1 903.33/294.23
Frederiksen_Glenstrup/disjconj.xml 2 NonPoly 4.36/2.77 1 n1 1143.95/294.37
Frederiksen_Glenstrup/mergelists.xml 4 n1 n1 17.15/5.27 2 1 n1 8.56/1.72
Frederiksen_Glenstrup/equal.xml 2 NonPoly 3.28/1.54 0 1 1181.86/294.26
Frederiksen_Glenstrup/gcd2.xml 4 n1 n3 1092.70/292.22 timeout (wallclock)
Frederiksen_Glenstrup/anchored.xml 4 n1 n1 3.50/1.55 4 n1 n1 0.80/0.21
Frederiksen_Glenstrup/ordered.xml 4 n1 n1 15.85/5.13 2 1 n1 7.23/1.76
Frederiksen_Glenstrup/subsets.xml 2 n1 1146.24/291.48 2 n1 1003.61/294.23
Frederiksen_Glenstrup/select.xml 4 n1 n2 349.29/291.47 4 n1 n2 9.79/2.42
Frederiksen_Glenstrup/game.xml 4 n1 n1 3.95/1.87 StarExec error
Frederiksen_Glenstrup/letexp.xml 2 NonPoly 3.25/2.47 0 1 759.68/198.88
Frederiksen_Glenstrup/shuffle.xml 4 n3 n3 13.03/4.04 3 n1 n3 16.43/3.57
Frederiksen_Glenstrup/parsexp.xml 2 NonPoly 8.27/3.21 timeout (wallclock)
Frederiksen_Glenstrup/gcd.xml 2 n1 1185.05/300.85 timeout (wallclock)
Frederiksen_Glenstrup/revapp.xml 4 n1 n1 3.40/1.56 4 n1 n1 1.22/0.87
Frederiksen_Glenstrup/quicksort.xml 2 n1 1140.19/293.82 timeout (cpu)"
Frederiksen_Glenstrup/mergesort.xml 4 n1 n2 875.31/292.50 timeout (cpu)"
Frederiksen_Glenstrup/decrease.xml 4 n1 n1 3.81/1.64 4 n1 n1 1.41/0.64
Frederiksen_Glenstrup/permute.xml 2 NonPoly 7.18/2.49 timeout (cpu)"
Frederiksen_Glenstrup/nestinc.xml 2 NonPoly 3.43/1.58 timeout (wallclock)
Frederiksen_Glenstrup/int.xml 2 n1 889.26/292.44 timeout (wallclock)
Frederiksen_Glenstrup/nesteql.xml 2 NonPoly 3.31/1.53 0 1 1166.98/294.14
Endrullis_06/direct.xml 4 n1 n1 4.88/1.91 4 n1 n1 38.53/7.13
AProVE_08/log.xml 2 n1 1121.90/291.54 timeout (cpu)"
AProVE_08/parting05_maxsort.xml 2 n2 1121.60/291.56 1 n1 1190.20/294.43
AProVE_08/parting03_minsort.xml 2 n2 1130.32/296.32 timeout (wallclock)
AProVE_08/parting04_maxsort_h.xml 2 n2 1046.13/292.72 timeout (wallclock)
AProVE_08/thiemann40_modified.xml 4 n2 n2 57.20/15.70 1 n1 1105.17/294.48
AProVE_08/parting01_reverse.xml StarExec error timeout (wallclock)
AProVE_08/parting02_doublelist.xml 2 n1 1113.72/291.52 2 n1 1186.34/294.56
AProVE_07/thiemann14.xml 2 n2 1153.16/292.82 timeout (cpu)"
AProVE_07/otto06.xml 4 n1 n2 1151.22/294.34 StarExec error
AProVE_07/thiemann01.xml 4 n1 n2 987.27/291.53 StarExec error
AProVE_07/thiemann31.xml 4 n1 n2 1154.39/291.47 2 n1 833.02/294.08
AProVE_07/thiemann21.xml 2 n1 1136.17/291.52 timeout (cpu)"
AProVE_07/thiemann25.xml 2 n1 968.96/291.49 timeout (wallclock)
AProVE_07/thiemann05.xml 4 n1 n2 1126.55/292.97 timeout (cpu)"
AProVE_07/thiemann03.xml 4 n3 n3 60.81/16.48 timeout (wallclock)
AProVE_07/thiemann34.xml 4 n1 n2 1094.23/292.55 timeout (wallclock)
AProVE_07/thiemann26.xml 4 n1 n1 64.71/17.27 2 n1 834.70/232.13
AProVE_07/otto03.xml 4 n1 n2 892.38/291.96 2 n1 1140.00/294.33
AProVE_07/thiemann10.xml 4 n1 n1 42.40/11.52 timeout (wallclock)
AProVE_07/thiemann30.xml 2 n1 1146.17/295.54 timeout (cpu)"
AProVE_07/otto04.xml 2 NonPoly 3.29/1.53 timeout (cpu)"
AProVE_07/otto05.xml 4 n1 n1 27.95/8.02 timeout (wallclock)
AProVE_07/thiemann40.xml 4 n1 n1 21.15/6.42 0 1 644.04/170.76
AProVE_07/thiemann17.xml 2 n2 1122.22/291.50 timeout (cpu)"
AProVE_07/otto08.xml 2 n1 1133.29/291.48 timeout (wallclock)
AProVE_07/thiemann18.xml 4 n1 n3 1141.99/295.19 timeout (wallclock)
AProVE_07/thiemann36.xml 4 n1 n2 1152.10/292.78 2 n1 930.64/294.24
AProVE_07/thiemann29.xml 2 n2 1139.31/292.76 timeout (cpu)"
AProVE_07/thiemann37.xml 2 n1 1146.93/292.76 timeout (cpu)"
AProVE_07/thiemann04.xml 2 n1 1138.29/292.35 timeout (cpu)"
AProVE_07/otto02.xml 4 n1 n2 1120.96/291.51 timeout (wallclock)
AProVE_07/thiemann38.xml 4 n1 n2 1141.26/291.48 timeout (wallclock)
AProVE_07/thiemann41.xml 2 n1 1120.26/292.74 2 n1 1032.38/294.20
AProVE_07/thiemann27.xml 4 n1 n2 904.53/291.45 2 n1 1153.41/294.27
AProVE_07/otto07.xml 4 n1 n2 899.61/291.49 2 n1 738.44/209.68
AProVE_07/otto01.xml StarExec error timeout (wallclock)
AProVE_07/thiemann23.xml 4 n1 n1 46.73/13.75 2 n1 1123.82/294.22
AProVE_07/thiemann07.xml 2 n2 1140.17/293.42 timeout (cpu)"
AProVE_07/thiemann32.xml StarExec error StarExec error
AProVE_07/thiemann19.xml 2 n1 1136.19/292.69 timeout (wallclock)
AProVE_07/otto12.xml StarExec error StarExec error
AProVE_07/otto11.xml 2 n1 1126.02/291.52 timeout (wallclock)
AProVE_07/thiemann16.xml 2 n1 1145.62/292.16 timeout (cpu)"
AProVE_07/thiemann11.xml 4 n1 n2 1131.98/291.54 timeout (wallclock)
AProVE_07/thiemann22.xml 2 n1 1080.36/292.14 2 n1 1155.28/294.96
AProVE_07/thiemann20.xml 4 n1 n2 1121.55/292.77 timeout (wallclock)
AProVE_07/thiemann15.xml 4 n1 n2 984.17/291.48 2 n1 1056.12/294.40
AProVE_07/thiemann28.xml 4 n1 n1 46.19/13.12 2 n1 903.43/294.08
AProVE_07/kabasci04.xml 2 n1 1131.02/291.64 timeout (cpu)"
AProVE_07/thiemann13.xml 4 n1 n2 1124.44/291.52 timeout (wallclock)
AProVE_07/thiemann06.xml 4 n1 n1 160.17/41.22 2 n1 853.09/227.95
AProVE_07/otto10.xml 2 n1 1150.95/291.89 timeout (wallclock)
AProVE_07/thiemann12.xml 4 n1 n2 1025.49/291.45 2 n1 1097.66/294.22
AProVE_07/otto09.xml 2 n1 1132.55/291.49 2 n1 756.71/203.35
AProVE_07/otto13.xml 4 n1 n2 1059.73/291.51 timeout (wallclock)
AProVE_07/thiemann33.xml 2 n1 1104.93/291.53 timeout (cpu)"
AProVE_07/thiemann24.xml 2 n2 1009.55/291.98 timeout (cpu)"
AProVE_07/thiemann02.xml 2 n1 1147.77/292.63 StarExec error
AProVE_07/thiemann08.xml 2 NonPoly 6.95/2.47 1 n1 828.19/294.25
Beerendonk_07/12.xml 4 n1 n2 1077.45/291.96 2 n1 553.21/170.49
Beerendonk_07/10.xml 4 n1 n2 473.99/291.46 2 n1 896.82/270.95
Beerendonk_07/14.xml 4 n1 n2 935.02/291.46 StarExec error
Beerendonk_07/13.xml StarExec error 2 n1 628.28/198.63
Beerendonk_07/3.xml 4 n1 n1 90.04/24.45 2 n1 419.16/108.18
Beerendonk_07/20.xml 4 n1 n1 71.11/19.46 2 n1 1121.34/294.16
Beerendonk_07/7.xml 4 n1 n2 578.64/291.45 2 n1 984.53/295.81
Beerendonk_07/1.xml 4 n1 n2 431.65/291.68 2 n1 387.78/102.28
Beerendonk_07/17.xml 4 n1 n2 1159.81/291.50 StarExec error
Beerendonk_07/23.xml 4 n1 n2 902.77/291.48 2 n1 861.58/252.58
Beerendonk_07/19.xml 4 n1 n2 1169.36/295.49 2 n1 1122.63/294.79
Beerendonk_07/16.xml 4 n1 n2 1151.31/291.99 2 n1 984.85/294.09
Beerendonk_07/5.xml 4 n1 n2 1128.31/293.40 2 n1 554.49/141.49
Beerendonk_07/11.xml 4 n1 n2 1095.48/291.50 2 n1 879.10/266.84
Beerendonk_07/2.xml 4 n1 n2 368.64/291.47 2 n1 460.18/131.60
Beerendonk_07/8.xml 4 n1 n1 44.87/12.37 2 n1 1152.39/294.07
Beerendonk_07/18.xml 4 n1 n1 89.73/23.57 timeout (wallclock)
Beerendonk_07/6.xml 4 n1 n2 363.11/291.44 2 n1 422.13/111.56
Beerendonk_07/21.xml 4 n1 n2 1158.24/292.21 2 n1 1148.16/294.35
Beerendonk_07/9.xml 4 n1 n2 1138.55/295.55 2 n1 915.33/294.04
Beerendonk_07/4.xml 4 n1 n1 26.64/7.66 2 n1 430.42/115.40
Beerendonk_07/24.xml 4 n1 n1 72.68/19.13 2 n1 1119.68/294.63
Beerendonk_07/15.xml 4 n1 n2 934.74/292.49 2 n1 1120.73/294.34
Beerendonk_07/22.xml 4 n1 n1 33.23/10.49 2 n1 790.55/294.22
AProVE_09_Inductive/zerolist.xml 4 n1 n2 921.03/291.49 2 n1 1157.02/294.33
AProVE_09_Inductive/log.xml 4 n1 n1 52.23/14.41 timeout (wallclock)
AProVE_09_Inductive/maxsort.xml 2 n2 1124.43/295.04 timeout (wallclock)
AProVE_09_Inductive/qsortlast.xml 2 n1 1126.68/292.75 StarExec error
AProVE_09_Inductive/qsort.xml 2 n1 1096.17/291.52 timeout (wallclock)
AProVE_09_Inductive/qsortmiddle.xml 2 n1 1147.08/291.57 timeout (wallclock)
AProVE_09_Inductive/minsort.xml 2 n1 1122.59/293.37 2 n1 1188.66/294.62
AProVE_09_Inductive/gcd2.xml 4 n1 n3 1160.42/293.19 2 n1 805.23/294.26
AProVE_09_Inductive/maxsortcondition.xml 2 n2 1120.75/293.94 timeout (wallclock)
AProVE_09_Inductive/div.xml 4 n1 n3 1132.54/291.50 2 n1 777.82/205.98
AProVE_09_Inductive/mod.xml 4 n1 n3 1120.07/291.59 2 n1 1067.33/271.01
AProVE_09_Inductive/divhard.xml 4 n1 n3 1137.61/292.60 timeout (wallclock)
AProVE_09_Inductive/gcd.xml 4 n1 n3 1150.30/291.55 2 n1 802.54/208.60
AProVE_09_Inductive/gcdhard.xml 4 n1 n1 48.02/13.41 2 n1 1102.71/294.29
raML/bft_mmult.raml.xml 2 n1 1113.74/291.55 2 1 n4 106.13/27.14
raML/quicksort.raml.xml 4 n2 n2 230.12/58.72 StarExec error
raML/splitandsort.raml.xml 4 n1 n3 1169.48/294.72 1 1 n5 159.50/40.81
raML/queue.raml.xml 2 n1 1115.84/296.20 StarExec error
raML/bfs.raml.xml timeout (wallclock) 2 1 n3 126.88/31.57
raML/appendAll.raml.xml 4 n1 n1 17.78/5.57 2 1 n1 7.18/4.02
raML/minsort.raml.xml 4 n1 n2 360.17/291.51 2 1 n2 24.42/7.21
raML/subtrees.raml.xml 4 n1 n2 310.42/291.47 2 1 n2 22.77/5.94
raML/clevermmult.raml.xml 4 n1 n2 432.17/291.98 1 1 n3 19.61/5.00
raML/longestCommonSubsequence.raml.xml 4 n1 n2 1139.61/294.79 2 1 n2 100.82/26.92
raML/dyade.raml.xml 4 n1 n2 369.67/291.50 2 1 n2 15.63/4.33
raML/insertionsort.raml.xml 4 n1 n2 1123.17/293.31 1 1 n3 202.13/34.61
raML/rationalPotential.raml.xml 4 n1 n1 13.59/4.69 2 1 n1 2.56/0.66
raML/flatten.raml.xml 4 n1 n2 363.96/291.46 2 1 n2 27.24/6.64
raML/mergesort.raml.xml 2 n1 1059.92/291.80 2 1 n2 273.84/79.14
raML/eratosthenes.raml.xml 4 n1 n2 1119.87/292.08 2 1 n2 58.44/13.87
raML/duplicates.raml.xml 4 n1 n2 405.84/291.86 1 1 n3 30.35/7.03
raML/matrix.raml.xml 2 n1 1146.18/295.18 2 1 n6 293.74/79.60
raML/bitvectors.raml.xml 3 n1 n5 1144.59/292.72 2 1 n2 262.22/80.10
raML/listsort.raml.xml 4 n1 n2 1158.01/291.72 1 1 n3 56.31/13.23
Mixed_TRS/jones1.xml StarExec error 4 n1 n1 0.50/0.13
Mixed_TRS/jones5.xml timeout (wallclock) 0 1 903.38/242.18
Mixed_TRS/minsort.xml 2 NonPoly 3.25/1.59 timeout (cpu)"
Mixed_TRS/while.xml 4 n1 n2 888.04/291.47 2 n1 408.44/106.63
Mixed_TRS/jones4.xml 4 n1 n1 20.88/6.45 2 1 n1 0.98/0.26
Mixed_TRS/gcdMinMax.xml 4 n1 n2 1133.18/292.29 2 n1 952.55/294.21
Mixed_TRS/Ex1_Luc04b_GM.xml 2 n1 1090.33/291.49 2 n1 1053.57/294.36
Mixed_TRS/jones2.xml 4 n1 n1 20.65/6.19 2 1 n1 2.15/0.56
Mixed_TRS/jones6.xml 4 n1 n1 3.43/1.68 4 n1 n1 1.73/0.45
Mixed_TRS/test1.xml 2 n1 367.76/291.44 2 n1 323.81/86.57
Mixed_TRS/fossacs.xml 2 n1 1096.29/292.14 timeout (wallclock)
Mixed_TRS/gcd.xml 4 n1 n2 1139.46/291.55 2 n1 1166.74/294.77
Mixed_TRS/perfect.xml 4 n1 n1 18.95/5.56 2 1 n1 5.88/1.71
Mixed_TRS/gcd_triple.xml 2 n1 1157.25/291.58 timeout (cpu)"
Mixed_TRS/perfect2.xml 2 NonPoly 5.09/2.05 1 n1 515.39/132.47
Secret_05_TRS/tpa4.xml 2 n2 1115.74/291.59 timeout (cpu)"
Secret_05_TRS/tpa2.xml 4 n1 n2 368.36/291.95 4 n1 n2 26.27/6.56
Secret_05_TRS/aprove2.xml 4 n1 n1 42.25/12.35 2 n1 898.53/294.26
Secret_05_TRS/aprove3.xml 2 n1 990.12/291.46 2 n1 771.46/198.10
Secret_05_TRS/tpa5.xml 2 n1 1159.14/292.25 timeout (cpu)"
Secret_05_TRS/tpa3.xml 2 n2 1147.54/291.51 timeout (wallclock)
Secret_05_TRS/tpa1.xml 4 n1 n2 1125.85/291.59 2 n1 950.68/294.08
Secret_05_TRS/ttt2.xml 2 NonPoly 3.55/1.59 0 1 82.50/24.45
Secret_05_TRS/cime4.xml 0 1 3.17/1.50 0 1 1.69/0.42
Rubio_04/division.xml 4 n1 n3 316.36/291.47 4 n1 n3 23.81/7.11
Rubio_04/gmnp.xml 4 n1 n1 8.37/2.94 4 n1 n1 1.48/0.43
Rubio_04/gm.xml 4 n1 n1 20.75/6.06 4 n1 n1 2.39/0.53
Rubio_04/selsort.xml 4 n2 n3 1133.24/293.27 3 n1 n3 35.86/8.97
Rubio_04/enno.xml 4 n1 n2 356.13/291.70 3 n1 n3 30.44/7.41
Rubio_04/prov.xml 4 n1 n1 13.04/4.81 4 n1 n1 2.13/0.55
Rubio_04/bintrees.xml 4 n1 n1 3.78/1.68 4 n1 n1 2.25/0.68
Rubio_04/nestrec.xml 2 NonPoly 8.71/3.03 1 n1 940.61/294.13
Rubio_04/ma96.xml timeout (wallclock) timeout (cpu)"
Rubio_04/logarquot.xml 4 n1 n1 30.99/10.17 3 n1 n3 17.16/6.31
Rubio_04/test829.xml 4 n1 n1 3.47/1.54 4 n1 n1 1.85/0.43
Rubio_04/elimdupl.xml 4 n1 n2 323.32/291.46 3 n1 n3 20.42/6.50
Rubio_04/polo2.xml 4 n1 n1 16.87/5.45 4 n1 n1 11.30/2.79
Rubio_04/mfp95.xml 0 1 3.25/1.52 0 1 0.19/0.06
Rubio_04/gcd.xml 4 n1 n1 25.57/7.32 3 n1 n2 21.40/6.00
Rubio_04/test4.xml 4 n1 n1 3.93/1.68 4 n1 n1 8.10/0.66
Rubio_04/revlist.xml 2 n1 1137.26/291.70 2 n1 1166.32/294.22
Rubio_04/quick.xml 2 n2 1143.09/295.94 timeout (wallclock)
Rubio_04/wst99.xml 4 n1 n3 355.65/291.50 StarExec error
GTSSK07/cade01.xml 4 n1 n2 895.82/291.47 2 n1 735.63/201.71
GTSSK07/cade11.xml 4 n1 n2 885.32/293.40 StarExec error
GTSSK07/cade14.xml 4 n1 n2 1114.74/291.47 2 n1 1157.62/294.28
GTSSK07/cade16.xml 4 n1 n2 1140.25/292.86 2 n1 1145.35/294.29
GTSSK07/cade12t.xml 4 n1 n2 1122.03/291.53 timeout (cpu)"
GTSSK07/cade09.xml 4 n1 n2 1097.55/291.50 StarExec error
GTSSK07/cade10.xml 4 n1 n2 1111.75/291.47 2 n1 951.21/294.16
GTSSK07/cade06.xml 4 n1 n2 1020.28/291.49 2 n1 1176.44/295.40
GTSSK07/cade03.xml 4 n1 n2 884.49/291.73 StarExec error
GTSSK07/cade13t.xml StarExec error 2 n1 1113.66/294.25
GTSSK07/cade05t.xml 4 n1 n2 1139.63/292.72 2 n1 1168.34/294.63
GTSSK07/cade17.xml 2 n2 1131.82/294.09 timeout (cpu)"
GTSSK07/cade08.xml 4 n1 n2 1126.24/292.68 2 n1 887.24/294.14
GTSSK07/cade07.xml 4 n1 n2 1158.65/291.50 2 n1 796.52/222.39
GTSSK07/cade15.xml 2 NonPoly 3.22/1.53 timeout (cpu)"
Frederiksen_Others/match.xml 4 n1 n2 344.32/291.63 2 1 n2 19.86/4.85
Frederiksen_Others/gexgcd.xml 4 n1 n1 42.85/12.54 2 1 n1 178.35/43.44
Frederiksen_Others/dup1_typed.xml 4 n1 n1 14.22/4.66 4 n1 n1 2.44/0.62
Frederiksen_Others/thetrickSize.xml 4 n1 n1 21.23/6.25 4 n1 n1 14.77/3.72
Frederiksen_Others/power.xml 2 n2 732.80/291.48 timeout (wallclock)
Frederiksen_Others/quicksortSize.xml 2 n1 1126.82/291.57 timeout (cpu)"
Frederiksen_Others/fghSize.xml 2 NonPoly 3.48/1.58 1 n1 380.59/99.62
Frederiksen_Others/graphcolour2Size_typed.xml timeout (wallclock) 2 n1 1156.43/296.44
Frederiksen_Others/inssort_better.xml 4 n1 n2 340.64/291.44 StarExec error
Frederiksen_Others/disj2_typed.xml 4 n1 n1 4.08/1.74 StarExec error
Frederiksen_Others/inssort.xml 4 n1 n2 330.66/291.50 4 n1 n2 22.90/6.27
Frederiksen_Others/graphcolour2_typed.xml 2 n1 1025.02/291.67 timeout (wallclock)
Frederiksen_Others/add.xml 4 n1 n1 4.01/1.73 StarExec error
Frederiksen_Others/deadcodeSize.xml 2 NonPoly 3.29/1.49 0 1 318.92/82.24
Frederiksen_Others/oddeven.xml 4 n1 n1 3.25/1.53 2 1 n1 0.46/0.13
Frederiksen_Others/reach.xml 2 NonPoly 981.94/278.65 timeout (wallclock)
Frederiksen_Others/ex6.xml StarExec error 4 n1 n1 1.71/0.44
Frederiksen_Others/bubblesort.xml 4 n1 n2 346.48/291.54 4 n1 n2 21.87/6.94
Frederiksen_Others/gexgcd2.xml 4 n1 n2 330.24/292.00 2 n1 769.62/210.47
Frederiksen_Others/div2.xml 4 n1 n1 4.23/1.76 4 n1 n1 0.74/0.21
Frederiksen_Others/ocall-safe.xml 4 n1 n1 3.55/1.53 4 n1 n1 0.70/0.19
Frederiksen_Others/minsortSize.xml 2 n1 1142.30/291.73 0 1 1145.88/294.22
Frederiksen_Others/assrewriteSize.xml 2 n1 345.63/291.46 0 1 996.49/294.24
Frederiksen_Others/permut.xml 4 n1 n1 18.41/7.65 2 1 n1 0.59/0.12
Frederiksen_Others/graphcolour1_typed.xml timeout (wallclock) 4 n1 n4 121.37/30.48
Frederiksen_Others/ocall-unsafe.xml 4 n1 n1 3.50/1.69 4 n1 n1 0.41/0.13
Frederiksen_Others/eq.xml 4 n1 n1 6.26/2.25 4 n1 n1 0.78/0.17
Frederiksen_Others/quicksortPtime.xml 4 n1 n2 349.79/291.95 4 n1 n2 30.66/7.31
Frederiksen_Others/graphcolour3_typed.xml 4 n1 n5 1050.78/292.19 timeout (wallclock)
Frederiksen_Others/strmatch.xml 4 n1 n2 574.15/291.54 4 n1 n2 18.79/4.62
Frederiksen_Others/dup2_typed.xml StarExec error 4 n1 n1 3.56/0.78
Frederiksen_Others/fgh.xml 2 NonPoly 3.61/1.59 1 n1 416.32/111.90
Frederiksen_Others/boolprog.xml 4 n1 n1 25.58/7.20 2 1 n1 26.06/6.11
Frederiksen_Others/rematch.xml 2 n2 1162.35/294.26 1 n1 765.19/294.51
hoca/flatten.xml 4 n1 n1 3.89/1.71 4 n1 n1 1.91/0.47
hoca/id.xml 4 n1 n1 3.54/1.57 4 n1 n1 1.27/0.32
hoca/fib_llist.xml 2 n1 1138.28/294.24 timeout (wallclock)
hoca/sum.xml 4 n1 n1 3.32/1.50 4 n1 n1 0.69/0.19
hoca/mss.xml 2 n1 943.52/291.49 2 n1 907.54/294.31
hoca/rev-dl.xml 4 n1 n1 3.80/1.60 4 n1 n1 2.23/0.58
hoca/mergesort-dc.xml 2 n1 1121.16/291.86 timeout (cpu)"
hoca/isort-fold.xml 4 n1 n2 333.52/291.49 3 n1 n3 41.94/7.06
hoca/sum_sqs3.xml 2 n2 803.37/291.50 1 n1 968.50/294.19
hoca/foldsum.xml 4 n1 n1 6.19/2.81 4 n1 n1 3.13/0.77
hoca/isort.xml 4 n1 n2 328.97/291.48 3 n1 n3 30.40/6.32
hoca/dfs-flatten.xml 4 n1 n1 3.84/1.70 4 n1 n1 2.03/0.49
hoca/mappplus.xml 4 n1 n2 321.71/291.44 4 n1 n2 9.62/5.87
hoca/rev-fletf.xml 4 n1 n1 3.97/1.65 4 n1 n1 1.80/0.47
hoca/rev-foldl.xml 4 n1 n1 3.36/1.52 4 n1 n1 0.62/0.17
HirokawaMiddeldorp_04/t003.xml 2 n1 778.81/292.87 2 n1 555.24/139.25
HirokawaMiddeldorp_04/t011.xml 4 n1 n1 10.38/3.44 StarExec error
HirokawaMiddeldorp_04/n006.xml 2 NonPoly 3.19/1.49 0 1 348.01/88.92
HirokawaMiddeldorp_04/n005.xml 2 NonPoly 3.35/1.51 0 1 44.12/13.95
HirokawaMiddeldorp_04/t004.xml 2 NonPoly 8.28/2.97 0 1 981.68/294.05
HirokawaMiddeldorp_04/n007.xml 2 NonPoly 3.08/1.47 0 1 359.23/97.23
HirokawaMiddeldorp_04/t013.xml 2 n1 1022.44/292.73 2 n1 653.23/167.76
HirokawaMiddeldorp_04/t002.xml 4 n1 n2 320.65/291.93 2 n1 539.55/136.41
HirokawaMiddeldorp_04/n002.xml 2 NonPoly 3.20/1.51 StarExec error
HirokawaMiddeldorp_04/t001.xml 2 n1 857.64/292.79 timeout (wallclock)
HirokawaMiddeldorp_04/t014.xml 4 n1 n1 16.76/5.18 3 n1 n2 3.66/0.93
HirokawaMiddeldorp_04/n003.xml 2 NonPoly 3.15/1.46 0 1 33.59/9.28
HirokawaMiddeldorp_04/n004.xml 2 NonPoly 3.24/1.49 0 1 33.02/8.92
HirokawaMiddeldorp_04/t009.xml 2 n1 1161.12/291.58 timeout (cpu)"
Strategy_removed_mixed_05/test77.xml 4 n1 n1 14.53/5.04 2 n1 354.45/90.37
Strategy_removed_mixed_05/muladd.xml 2 NonPoly 3.42/1.63 0 1 950.30/294.07
Strategy_removed_mixed_05/test830.xml 4 n1 n1 3.42/1.60 4 n1 n1 2.23/0.98
Strategy_removed_mixed_05/test76.xml 4 n1 n1 15.98/5.90 2 n1 363.55/94.64
Strategy_removed_CSR_05/Ex8_BLR02.xml 2 NonPoly 3.42/1.55 timeout (cpu)"
Strategy_removed_CSR_05/Ex4_4_Luc96b.xml 2 NonPoly 3.18/1.49 1 n1 300.89/76.49
Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml 2 NonPoly 3.32/1.50 0 1 822.78/213.56
Strategy_removed_CSR_05/Ex6_GM04.xml 2 NonPoly 3.23/1.57 0 1 330.51/87.79
Strategy_removed_CSR_05/Ex6_9_Luc02c.xml 2 NonPoly 3.02/1.47 0 1 1119.40/294.25
Strategy_removed_CSR_05/Ex1_Zan97.xml 2 NonPoly 3.53/1.54 0 1 149.97/52.93
Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml 2 NonPoly 3.28/1.68 1 n1 1152.00/294.20
Strategy_removed_CSR_05/Ex1_GM03.xml 2 NonPoly 3.55/1.63 1 n1 384.33/101.74
Strategy_removed_CSR_05/Ex7_BLR02.xml 2 NonPoly 3.13/1.47 1 n1 1144.27/294.23
Strategy_removed_CSR_05/ExIntrod_GM99.xml 2 NonPoly 3.32/1.52 1 n1 1163.51/294.22
Strategy_removed_CSR_05/ExAppendixB_AEL03.xml 2 NonPoly 3.26/1.59 1 n1 895.92/294.43
Strategy_removed_CSR_05/Ex3_2_Luc97.xml 2 NonPoly 3.22/1.49 1 n1 1145.17/294.23
Strategy_removed_CSR_05/Ex15_Luc98.xml 2 NonPoly 3.12/1.49 1 n1 1141.97/294.24
Strategy_removed_CSR_05/Ex4_Zan97.xml 2 NonPoly 3.45/1.51 timeout (cpu)"
Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml 2 NonPoly 3.10/1.49 timeout (cpu)"
Strategy_removed_CSR_05/Ex14_AEGL02.xml 2 NonPoly 3.30/1.57 0 1 1154.22/294.24
Strategy_removed_CSR_05/Ex49_GM04.xml 4 n1 n1 17.21/5.12 4 n1 n1 3.39/0.85
Strategy_removed_CSR_05/Ex6_Luc98.xml 2 NonPoly 3.44/1.53 1 n1 1150.55/294.20
Strategy_removed_CSR_05/ExConc_Zan97.xml 2 NonPoly 3.41/1.56 0 1 802.76/205.71
Strategy_removed_CSR_05/ExIntrod_GM01.xml 2 NonPoly 3.40/1.56 timeout (cpu)"
Strategy_removed_CSR_05/ExIntrod_GM04.xml StarExec error timeout (cpu)"
Strategy_removed_CSR_05/Ex3_12_Luc96a.xml 2 NonPoly 3.22/1.66 1 n1 1156.83/294.21
Strategy_removed_CSR_05/Ex2_Luc03b.xml 2 NonPoly 3.06/1.50 1 n1 1139.82/294.24
Strategy_removed_CSR_05/Ex1_GL02a.xml 2 NonPoly 3.22/1.48 1 n1 1150.29/294.25
Strategy_removed_CSR_05/Ex26_Luc03b.xml 2 NonPoly 3.37/1.50 timeout (cpu)"
Strategy_removed_CSR_05/Ex9_BLR02.xml 2 NonPoly 3.26/1.51 timeout (cpu)"
Strategy_removed_CSR_05/Ex5_Zan97.xml 2 NonPoly 3.24/1.50 0 1 33.35/8.90
Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml 2 NonPoly 3.34/1.52 0 1 1160.41/294.23
Strategy_removed_CSR_05/Ex1_Luc02b.xml 2 NonPoly 3.20/1.50 1 n1 1145.42/294.25
Strategy_removed_CSR_05/Ex1_2_Luc02c.xml 2 NonPoly 3.15/1.47 0 1 1159.76/294.19
Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml 2 NonPoly 3.21/1.65 1 n1 1149.38/294.26
Strategy_removed_CSR_05/ExIntrod_Zan97.xml 2 NonPoly 3.31/1.52 1 n1 1077.52/294.04
Strategy_removed_CSR_05/Ex1_2_AEL03.xml 2 NonPoly 3.13/1.51 1 n1 1009.88/294.28
Transformed_CSR_04/OvConsOS_nosorts_GM.xml 2 NonPoly 4.75/1.89 1 n1 941.97/294.32
Transformed_CSR_04/MYNAT_complete_GM.xml 2 NonPoly 12.23/3.88 timeout (wallclock)
Transformed_CSR_04/ExIntrod_GM04_GM.xml 2 n1 1133.07/295.78 2 n1 1040.81/294.36
Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml StarExec error 4 n1 n1 4.09/1.03
Transformed_CSR_04/Ex1_Zan97_FR.xml 2 NonPoly 3.39/1.54 0 1 1112.28/294.19
Transformed_CSR_04/Ex2_Luc02a_Z.xml 4 n3 n3 45.48/13.00 3 n1 n3 24.55/6.51
Transformed_CSR_04/Ex24_Luc06_GM.xml 4 n1 n1 15.35/5.29 4 n1 n1 2.55/0.70
Transformed_CSR_04/Ex4_7_15_Bor03_L.xml 0 1 3.43/1.58 StarExec error
Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml 2 NonPoly 11.06/3.67 timeout (cpu)"
Transformed_CSR_04/ExProp7_Luc06_GM.xml timeout (wallclock) 2 n1 778.44/294.23
Transformed_CSR_04/Ex1_Luc02b_GM.xml 2 n1 1133.12/292.74 timeout (wallclock)
Transformed_CSR_04/ExAppendixB_AEL03_Z.xml 4 n2 n2 19.80/6.31 3 n1 n2 38.52/7.51
Transformed_CSR_04/Ex3_12_Luc96a_GM.xml 2 n1 1138.05/291.48 2 n1 715.54/294.16
Transformed_CSR_04/PEANO_nosorts-noand_FR.xml 4 n1 n1 3.97/1.67 2 1 n1 2.32/0.60
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml 2 NonPoly 3.99/1.66 1 n1 810.65/294.23
Transformed_CSR_04/Ex9_Luc04_L.xml 2 NonPoly 3.35/1.53 0 1 26.34/7.61
Transformed_CSR_04/Ex15_Luc06_FR.xml 4 n1 n1 11.63/3.88 4 n1 n1 2.14/0.51
Transformed_CSR_04/Ex6_9_Luc02c_FR.xml 4 n1 n1 14.07/4.38 4 n1 n1 1.29/0.34
Transformed_CSR_04/Ex9_BLR02_GM.xml timeout (wallclock) 2 n1 808.02/294.05
Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml 0 1 3.19/1.51 2 1 n1 0.76/0.20
Transformed_CSR_04/PEANO_nosorts_FR.xml 4 n1 n1 5.27/2.05 4 n1 n1 0.28/0.08
Transformed_CSR_04/Ex15_Luc98_GM.xml 4 n1 n1 18.31/5.39 4 n1 n1 22.36/5.50
Transformed_CSR_04/MYNAT_nosorts_FR.xml 4 n2 n2 13.98/4.90 3 n1 n2 2.07/0.53
Transformed_CSR_04/Ex8_BLR02_GM.xml 2 n2 1128.09/291.74 timeout (cpu)"
Transformed_CSR_04/Ex7_BLR02_Z.xml 3 n1 n2 330.83/292.00 2 1 n1 5.49/1.28
Transformed_CSR_04/OvConsOS_nosorts_FR.xml 2 NonPoly 4.01/1.74 timeout (wallclock)
Transformed_CSR_04/ExAppendixB_AEL03_GM.xml 2 n1 1152.80/292.21 timeout (wallclock)
Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml 2 n1 1140.62/291.94 2 n1 1187.70/294.90
Transformed_CSR_04/Ex24_Luc06_L.xml 2 NonPoly 3.07/1.46 0 1 33.40/9.13
Transformed_CSR_04/ExConc_Zan97_Z.xml 2 NonPoly 3.39/1.77 0 1 814.31/219.09
Transformed_CSR_04/OvConsOS_complete_noand_GM.xml 2 n1 1158.46/292.17 2 n1 1057.47/294.14
Transformed_CSR_04/Ex3_3_25_Bor03_L.xml 0 1 3.42/1.57 0 1 0.37/0.10
Transformed_CSR_04/Ex1_GM03_GM.xml 2 n2 1102.85/292.85 StarExec error
Transformed_CSR_04/Ex1_GL02a_L.xml 2 NonPoly 3.19/1.49 0 1 33.11/8.94
Transformed_CSR_04/Ex6_9_Luc02c_GM.xml 2 n1 1124.73/294.40 2 n1 953.07/294.26
Transformed_CSR_04/Ex3_12_Luc96a_Z.xml 4 n1 n1 18.20/5.39 2 1 n1 1.37/0.36
Transformed_CSR_04/PEANO_complete_noand_GM.xml timeout (wallclock) timeout (cpu)"
Transformed_CSR_04/Ex15_Luc06_L.xml 2 NonPoly 3.38/1.56 0 1 31.61/8.57
Transformed_CSR_04/Ex2_Luc02a_L.xml 4 n3 n3 34.49/9.68 3 n1 n3 14.59/3.19
Transformed_CSR_04/Ex5_7_Luc97_GM.xml 2 n1 1155.35/292.35 2 n1 1193.42/297.67
Transformed_CSR_04/ExIntrod_GM04_Z.xml 2 NonPoly 7.20/2.54 0 1 1062.02/294.18
Transformed_CSR_04/Ex6_Luc98_L.xml 0 1 3.35/1.50 0 1 0.45/0.12
Transformed_CSR_04/OvConsOS_nokinds_GM.xml timeout (wallclock) timeout (wallclock)
Transformed_CSR_04/Ex1_GL02a_GM.xml 4 n1 n1 16.35/5.56 4 n1 n1 6.13/1.54
Transformed_CSR_04/Ex14_AEGL02_L.xml 2 NonPoly 3.39/1.61 0 1 1113.23/294.24
Transformed_CSR_04/ExIntrod_GM01_Z.xml 2 NonPoly 4.68/1.89 0 1 941.55/294.29
Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml StarExec error 2 n1 1055.90/294.36
Transformed_CSR_04/Ex2_Luc02a_GM.xml 2 n1 1126.66/292.95 2 n1 1191.61/295.53
Transformed_CSR_04/Ex4_4_Luc96b_L.xml 4 n1 n1 6.60/2.37 4 n1 n1 0.40/0.09
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml 4 n1 n1 807.59/291.51 2 1 n1 42.86/10.54
Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml 0 1 3.23/1.51 StarExec error
Transformed_CSR_04/MYNAT_nokinds_GM.xml 2 NonPoly 6.57/2.50 timeout (wallclock)
Transformed_CSR_04/Ex1_GM99_GM.xml 2 n1 914.20/291.58 2 n1 660.39/294.11
Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml StarExec error 2 n1 1193.42/295.28
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml 2 n1 1160.56/294.40 2 n1 1075.73/294.05
Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml timeout (wallclock) 2 n1 1189.42/294.94
Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml 2 n1 1111.40/291.55 timeout (wallclock)
Transformed_CSR_04/Ex1_Luc04b_GM.xml 2 n1 1104.51/294.76 2 n1 977.55/294.33
Transformed_CSR_04/Ex3_2_Luc97_GM.xml timeout (wallclock) 2 n1 885.68/294.20
Transformed_CSR_04/Ex4_4_Luc96b_GM.xml 2 n1 1081.89/292.94 4 n1 n3 98.61/13.60
Transformed_CSR_04/Ex4_4_Luc96b_Z.xml 2 NonPoly 3.55/1.65 1 n1 1171.71/294.22
Transformed_CSR_04/Ex2_Luc03b_GM.xml 2 n1 1147.49/292.79 2 n1 828.52/294.21
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml 2 NonPoly 3.34/1.54 0 1 1091.34/294.20
Transformed_CSR_04/Ex1_Luc04b_Z.xml 2 NonPoly 3.34/1.60 timeout (cpu)"
Transformed_CSR_04/Ex9_BLR02_L.xml 0 1 3.22/1.51 0 1 0.98/0.25
Transformed_CSR_04/Ex15_Luc06_GM.xml 4 n1 n1 12.54/4.14 4 n1 n1 0.89/0.33
Transformed_CSR_04/Ex15_Luc06_Z.xml 0 1 3.42/1.57 StarExec error
Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml 2 n1 1046.53/292.79 timeout (wallclock)
Transformed_CSR_04/Ex9_BLR02_Z.xml 2 n1 1074.12/292.72 0 1 1019.38/294.27
Transformed_CSR_04/Ex14_AEGL02_GM.xml 2 n1 1075.02/293.38 4 n1 n3 121.42/20.85
Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml StarExec error timeout (wallclock)
Transformed_CSR_04/Ex6_9_Luc02c_Z.xml 0 1 3.19/2.54 0 1 0.31/0.11
Transformed_CSR_04/Ex16_Luc06_L.xml 2 NonPoly 3.22/1.49 0 1 32.34/9.13
Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml 4 n2 n2 20.51/5.93 2 1 n2 11.12/2.72
Transformed_CSR_04/Ex1_Luc02b_Z.xml 3 n1 n2 332.19/291.95 2 1 n1 3.69/0.94
Transformed_CSR_04/ExProp7_Luc06_Z.xml 0 1 3.26/1.56 2 1 n1 2.17/0.57
Transformed_CSR_04/Ex1_Zan97_GM.xml 0 1 3.13/1.52 2 1 n1 0.91/0.30
Transformed_CSR_04/Ex5_DLMMU04_GM.xml 2 n1 1150.33/293.45 timeout (wallclock)
Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml 2 NonPoly 42.07/11.76 timeout (cpu)"
Transformed_CSR_04/ExIntrod_GM01_FR.xml 2 NonPoly 6.23/2.30 1 n1 1113.57/294.24
Transformed_CSR_04/PEANO_nosorts_GM.xml 2 n2 1129.26/292.09 1 n1 1026.37/294.29
Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml 4 n1 n1 14.47/4.57 2 1 n1 12.38/6.84
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml 2 NonPoly 4.20/2.44 0 1 923.46/294.14
Transformed_CSR_04/MYNAT_nosorts_GM.xml 2 n2 1123.17/297.63 1 n1 1174.03/294.22
Transformed_CSR_04/ExIntrod_GM01_GM.xml 2 n1 1094.89/292.83 2 n1 1185.47/294.34
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml 2 n1 1160.52/292.62 timeout (wallclock)
Transformed_CSR_04/ExConc_Zan97_GM.xml 4 n1 n1 4.95/1.88 StarExec error
Transformed_CSR_04/PEANO_nosorts_noand_GM.xml 2 n2 1124.19/291.50 1 n1 933.67/294.33
Transformed_CSR_04/ExIntrod_Zan97_GM.xml 2 n1 1147.35/291.58 2 n1 1188.34/295.56
Transformed_CSR_04/Ex8_BLR02_FR.xml 2 n1 1155.01/292.68 timeout (wallclock)
Transformed_CSR_04/Ex23_Luc06_GM.xml StarExec error 4 n1 n1 0.78/0.22
Transformed_CSR_04/OvConsOS_complete_GM.xml StarExec error timeout (wallclock)
Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml timeout (wallclock) 2 n1 1001.79/294.20
Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml 2 n1 1179.38/296.78 2 n1 836.07/294.15
Transformed_CSR_04/Ex14_AEGL02_Z.xml 2 NonPoly 4.04/1.67 0 1 833.12/294.08
Transformed_CSR_04/ExIntrod_GM99_GM.xml 2 n1 1131.04/292.23 2 n1 1191.63/295.32
Transformed_CSR_04/PEANO_nokinds_GM.xml timeout (wallclock) timeout (wallclock)
Transformed_CSR_04/Ex1_GM99_L.xml 2 NonPoly 3.30/1.52 0 1 34.81/9.71
Transformed_CSR_04/Ex4_Zan97_FR.xml 2 n1 1062.15/291.50 2 n1 1164.85/294.26
Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml 2 n1 1158.90/293.99 timeout (cpu)"
Transformed_CSR_04/Ex6_GM04_GM.xml 0 1 3.20/1.49 0 1 0.38/0.11
Transformed_CSR_04/Ex6_Luc98_GM.xml 2 n1 1172.64/300.86 2 n1 801.71/294.30
Transformed_CSR_04/LISTUTILITIES_complete_GM.xml 2 n1 1129.72/297.90 timeout (wallclock)
Transformed_CSR_04/Ex1_2_Luc02c_GM.xml timeout (wallclock) 2 n1 1067.07/294.21
Transformed_CSR_04/Ex26_Luc03b_GM.xml 2 n1 1140.81/292.84 timeout (wallclock)
Transformed_CSR_04/Ex6_Luc98_Z.xml 4 n1 n1 16.27/10.60 2 1 n1 2.13/0.55
Transformed_CSR_04/Ex9_Luc04_GM.xml 2 n1 1134.59/291.49 2 n1 998.30/294.27
Transformed_CSR_04/PEANO_nokinds_noand_GM.xml 2 n1 1135.50/292.90 2 n1 1200.19/297.91
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml 2 NonPoly 15.64/5.03 1 n1 821.06/294.17
Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml 2 n1 1146.62/292.40 timeout (wallclock)
Transformed_CSR_04/ExProp7_Luc06_L.xml 0 1 3.22/1.48 2 1 n1 5.14/0.48
Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml 4 n1 n1 12.25/4.15 2 1 n1 2.66/0.68
Transformed_CSR_04/Ex1_2_AEL03_GM.xml 2 n1 1159.31/292.40 StarExec error
Transformed_CSR_04/Ex1_Zan97_L.xml 2 NonPoly 3.23/1.49 0 1 48.85/13.29
Transformed_CSR_04/PEANO_complete_GM.xml 2 n1 1086.91/292.53 timeout (wallclock)
Transformed_CSR_04/Ex5_Zan97_Z.xml 0 1 3.34/1.56 2 1 n1 7.69/5.76
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml 2 n1 1150.58/293.33 4 n1 n6 508.40/127.80
Transformed_CSR_04/OvConsOS_nosorts_Z.xml 2 NonPoly 3.51/1.58 0 1 865.00/294.14
Transformed_CSR_04/Ex6_GM04_FR.xml 2 NonPoly 3.32/1.60 0 1 1096.03/294.17
Transformed_CSR_04/Ex18_Luc06_GM.xml 4 n1 n1 8.83/3.02 4 n1 n1 0.84/0.19
Transformed_CSR_04/Ex4_Zan97_Z.xml 2 n1 678.48/291.47 2 n1 844.48/294.16
Transformed_CSR_04/Ex49_GM04_GM.xml 2 n1 1152.58/298.89 4 n1 n3 84.96/19.27
Transformed_CSR_04/Ex1_Luc04b_FR.xml 2 NonPoly 4.19/1.80 1 n1 1083.65/294.28
Transformed_CSR_04/Ex8_BLR02_Z.xml StarExec error 2 n1 835.24/294.19
Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml 4 n1 n1 4.21/1.78 4 n1 n1 3.90/0.92
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml 2 n1 1177.72/298.09 2 n1 1082.27/294.13
Transformed_CSR_04/Ex5_Zan97_GM.xml 2 n1 1131.21/291.50 2 n1 1132.75/294.26
Transformed_CSR_04/Ex25_Luc06_GM.xml 4 n1 n1 8.90/2.99 4 n1 n1 1.71/0.44
Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml 2 n1 1121.49/291.86 timeout (wallclock)
Transformed_CSR_04/Ex14_AEGL02_FR.xml 2 NonPoly 11.14/3.66 timeout (wallclock)
Transformed_CSR_04/Ex7_BLR02_GM.xml 2 n1 1152.59/295.70 2 n1 1191.06/295.66
Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml 2 n1 1158.30/294.55 timeout (cpu)"
Transformed_CSR_04/Ex2_Luc03b_L.xml 0 1 3.23/1.47 0 1 0.37/0.10
Transformed_CSR_04/Ex2_Luc03b_Z.xml 4 n1 n1 15.47/4.63 2 1 n1 7.74/1.67
Transformed_CSR_04/MYNAT_complete_noand_GM.xml 2 NonPoly 54.99/14.62 1 n1 1082.75/294.15
Transformed_CSR_04/Ex6_15_AEL02_GM.xml 2 n1 1151.90/291.72 StarExec error
Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml 2 NonPoly 347.90/88.75 timeout (cpu)"
Transformed_CSR_04/ExConc_Zan97_FR.xml 4 n1 n1 6.84/2.51 4 n1 n1 1.06/0.28
Transformed_CSR_04/Ex4_DLMMU04_GM.xml 2 n1 1137.33/292.40 timeout (wallclock)
Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml 4 n1 n1 13.82/4.19 2 1 n1 1.26/0.33
Transformed_CSR_04/ExIntrod_GM04_FR.xml 2 NonPoly 17.86/5.38 1 n1 1113.73/294.32
Transformed_CSR_04/Ex4_Zan97_GM.xml 2 n1 1120.60/291.75 timeout (wallclock)
Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml 2 n1 1123.34/293.21 timeout (cpu)"
Transformed_CSR_04/Ex26_Luc03b_L.xml 0 1 3.20/1.48 0 1 0.70/0.19
TCT_12/recursion-10.xml 4 n1 n10 677.27/291.53 4 n1 n10 24.97/6.06
TCT_12/polycounter-10.xml 2 n1 1160.82/291.73 2 n1 1145.83/294.29
TCT_12/recursion-5.xml 4 n1 n5 392.36/291.98 4 n1 n5 10.84/2.48
TCT_12/polycounter-5.xml 4 n1 n5 1035.98/291.45 2 n1 872.86/248.99
TCT_12/sat.xml 4 n1 n2 375.43/292.02 3 n1 n3 21.48/4.94
Secret_07_TRS/aprove07.xml 2 n1 1118.33/291.48 timeout (cpu)"
Secret_07_TRS/secret3.xml 2 n1 995.57/291.55 StarExec error
Secret_07_TRS/aprove04.xml 2 n1 1149.62/293.97 timeout (cpu)"
Secret_07_TRS/aprove02.xml 4 n1 n5 1133.17/291.55 timeout (cpu)"
Secret_07_TRS/aprove10.xml 4 n1 n3 912.56/297.28 timeout (wallclock)
Secret_07_TRS/aprove08.xml 4 n1 n2 1176.17/297.46 timeout (wallclock)
Secret_07_TRS/aprove09.xml 4 n1 n3 1154.76/291.51 timeout (wallclock)
Secret_07_TRS/aprove01.xml 2 n1 1139.29/293.98 timeout (cpu)"
Secret_07_TRS/aprove06.xml 2 n1 1127.02/291.80 timeout (cpu)"
Secret_07_TRS/aprove03.xml StarExec error timeout (cpu)"
Secret_07_TRS/aprove05.xml 2 n1 1111.02/291.50 timeout (cpu)"
Secret_06_TRS/division.xml 4 n1 n2 1014.77/291.50 timeout (cpu)"
Secret_06_TRS/tpa10.xml 2 n2 1131.22/291.61 timeout (wallclock)
Secret_06_TRS/tpa07.xml 2 n2 1115.14/291.50 timeout (cpu)"
Secret_06_TRS/tpa04.xml 2 n1 1129.64/292.78 2 n1 1187.34/294.68
Secret_06_TRS/tpa09.xml 2 n2 1025.23/293.20 timeout (cpu)"
Secret_06_TRS/toList.xml StarExec error timeout (cpu)"
Secret_06_TRS/reverse.xml 2 n2 1125.38/291.50 timeout (cpu)"
Secret_06_TRS/tpa06.xml 4 n1 n2 1142.16/291.74 StarExec error
Secret_06_TRS/logarithm.xml 4 n1 n2 1125.65/291.49 timeout (wallclock)
Secret_06_TRS/double.xml 2 n1 1103.88/292.57 timeout (cpu)"
Secret_06_TRS/nrOfNodes.xml 2 n2 1141.97/295.65 timeout (cpu)"
Secret_06_TRS/tpa05.xml timeout (wallclock) timeout (cpu)"
Secret_06_TRS/sumList.xml 2 n2 1129.32/291.48 timeout (cpu)"
Secret_06_TRS/tpa08.xml 2 n2 1017.18/292.73 timeout (cpu)"
Secret_06_TRS/addList.xml 2 n1 1116.42/292.80 timeout (cpu)"
Strategy_removed_AG01/#4.27.xml 4 n1 n2 317.24/291.43 4 n1 n2 7.00/1.70
Strategy_removed_AG01/#4.22.xml 4 n1 n1 15.27/4.72 4 n1 n1 12.31/1.86
Strategy_removed_AG01/#4.36.xml 4 n2 n3 1118.36/292.30 3 n1 n3 34.01/7.86
Strategy_removed_AG01/#4.37.xml 4 n1 n1 3.27/1.53 4 n1 n1 2.08/0.54
Strategy_removed_AG01/#4.30b.xml 4 n1 n1 33.56/9.66 2 n1 1058.83/294.90
Strategy_removed_AG01/#4.33.xml 2 n2 1078.72/292.47 3 n1 n3 39.27/8.15
Strategy_removed_AG01/#4.26.xml 4 n1 n2 321.03/291.44 2 n1 702.35/185.46
Strategy_removed_AG01/#4.23.xml 4 n1 n2 407.65/291.47 2 n1 775.32/294.04
Strategy_removed_AG01/#4.32.xml 4 n1 n1 20.13/6.67 StarExec error
Strategy_removed_AG01/#4.28.xml 4 n1 n1 14.72/4.49 StarExec error
Strategy_removed_AG01/#4.30a.xml StarExec error 2 n1 666.03/180.54
Strategy_removed_AG01/#4.30.xml 4 n1 n1 30.12/8.59 2 n1 969.64/294.31
Strategy_removed_AG01/#4.29.xml 2 n1 1116.42/291.67 timeout (wallclock)
Strategy_removed_AG01/#4.34.xml 4 n1 n2 461.76/291.46 4 n1 n2 10.70/2.63
Strategy_removed_AG01/#4.30c.xml 4 n1 n1 42.22/12.02 timeout (wallclock)
SK90/4.12.xml 4 n1 n1 3.71/1.60 2 1 n1 5.49/3.52
SK90/2.45.xml 4 n1 n1 16.75/5.01 4 n1 n1 1.65/0.57
SK90/2.15.xml 2 NonPoly 3.15/1.58 2 NonPoly 1152.11/294.18
SK90/2.40.xml 4 n1 n1 13.76/4.93 4 n1 n1 0.97/0.25
SK90/2.47.xml 4 n1 n1 6.49/2.32 4 n1 n1 0.71/0.17
SK90/2.22.xml 4 n1 n2 314.02/291.90 4 n1 n2 1.57/0.53
SK90/2.27.xml 2 n1 903.51/291.99 2 n1 886.61/294.17
SK90/4.57.xml 0 1 10.82/4.00 0 1 1.54/0.40
SK90/4.60.xml 2 NonPoly 3.55/1.55 timeout (wallclock)
SK90/2.31.xml 4 n1 n1 3.72/1.65 4 n1 n1 1.17/0.30
SK90/2.52.xml 2 n1 1118.93/291.51 timeout (cpu)"
SK90/4.13.xml 4 n1 n1 15.00/4.53 1 1 n2 3.24/0.81
SK90/2.25.xml 2 NonPoly 3.33/1.49 timeout (wallclock)
SK90/2.12.xml 4 n3 n3 24.98/7.05 3 n1 n3 53.38/13.93
SK90/4.54.xml 2 NonPoly 3.27/1.51 StarExec error
SK90/2.50.xml 4 n1 n1 3.12/1.50 StarExec error
SK90/4.34.xml 2 NonPoly 3.70/1.68 1 n1 834.04/294.15
SK90/4.47.xml 0 1 3.36/1.52 0 1 1.25/0.55
SK90/2.09.xml 4 n1 n1 3.44/1.57 4 n1 n1 0.66/0.18
SK90/2.17.xml 4 n1 n1 18.46/5.75 4 n1 n1 0.53/0.15
SK90/4.30.xml 4 n1 n1 3.34/1.57 4 n1 n1 19.05/6.48
SK90/2.39.xml 4 n2 n2 11.89/3.72 3 n1 n2 9.24/2.82
SK90/2.29.xml 4 n1 n1 16.08/4.81 4 n1 n1 2.75/0.61
SK90/4.27.xml 2 n1 980.80/291.47 timeout (wallclock)
SK90/4.61.xml 2 NonPoly 3.28/1.48 timeout (wallclock)
SK90/4.29.xml 4 n1 n1 3.58/1.55 4 n1 n1 1.03/0.28
SK90/2.37.xml 0 1 3.29/1.58 0 1 0.90/0.24
SK90/2.54.xml 4 n1 n1 3.40/1.55 4 n1 n1 0.80/0.15
SK90/4.16.xml 4 n1 n1 3.61/2.12 4 n1 n1 3.59/1.45
SK90/4.31.xml 2 NonPoly 3.32/1.57 2 NonPoly 1036.45/294.30
SK90/2.13.xml 4 n1 n1 16.21/4.80 4 n1 n1 2.63/0.66
SK90/4.18.xml 0 1 3.18/1.46 0 1 1.92/1.49
SK90/2.20.xml 4 n1 n1 17.16/5.18 4 n1 n1 2.35/0.60
SK90/4.05.xml 4 n1 n2 359.66/291.47 4 n1 n2 4.18/0.81
SK90/2.44.xml 4 n1 n1 14.54/4.38 2 1 n1 5.25/1.37
SK90/2.43.xml 2 NonPoly 3.25/1.47 1 n1 1153.01/294.28
SK90/2.48.xml 0 1 3.36/1.80 2 1 n1 0.32/0.10
SK90/4.17.xml 4 n2 n2 19.06/5.78 2 n1 n3 32.32/6.19
SK90/2.24.xml 2 NonPoly 3.17/1.52 2 NonPoly 1133.07/294.23
SK90/2.16.xml 4 n2 n2 21.06/6.07 3 n1 n2 3.96/0.94
SK90/2.41.xml 4 n1 n1 3.31/2.21 4 n1 n1 2.02/0.53
SK90/2.51.xml 2 n1 950.50/292.23 2 n1 366.55/97.44
SK90/4.24.xml 2 n1 1136.80/291.68 timeout (wallclock)
SK90/2.28.xml StarExec error 2 n1 516.99/140.41
SK90/2.23.xml 2 n3 946.58/292.17 1 n1 523.00/141.12
SK90/4.38.xml 4 n1 n1 3.46/1.51 4 n1 n1 2.18/0.47
SK90/4.42.xml 2 n1 1146.60/291.45 2 n1 387.13/102.37
SK90/2.53.xml 4 n1 n1 3.31/1.52 4 n1 n1 0.52/0.13
SK90/2.21.xml 2 NonPoly 3.43/1.53 1 n1 1137.48/294.23
SK90/2.19.xml 4 n2 n2 17.09/5.13 3 n1 n2 3.41/0.85
SK90/2.11.xml 4 n1 n1 3.40/1.59 4 n1 n1 1.14/0.25
SK90/2.26.xml 2 NonPoly 3.25/2.38 timeout (cpu)"
SK90/2.30.xml 0 1 3.21/1.48 0 1 0.19/0.09
SK90/2.36.xml 4 n1 n1 3.47/1.58 4 n1 n1 1.61/0.40
SK90/2.18.xml 4 n1 n2 315.71/291.44 4 n1 n2 0.91/0.27
SK90/4.35.xml 0 1 3.38/1.58 0 1 0.15/0.05
SK90/4.59.xml 2 NonPoly 3.45/1.59 2 NonPoly 957.15/294.34
1787 998