Runtime Complexity: TRS

benchmark AProVE tct 2018-07-13
scoreloweruppertime scoreloweruppertime
AProVE_08/log.xml 2 n1 ∞ 1124.77/292.76 2 n1 ∞ 781.05/295.33
AProVE_08/round_nonterm.xml 2 NonPoly ∞ 3.19/1.53 1 n1 ∞ 349.97/295.12
AProVE_08/parting05_maxsort.xml 2 n2 ∞ 309.04/291.89 1 n1 ∞ 865.69/295.74
AProVE_08/parting03_minsort.xml 2 n2 ∞ 309.21/291.89 1 n1 ∞ 807.14/295.30
AProVE_08/parting04_maxsort_h.xml 2 n2 ∞ 310.50/291.99 1 n1 ∞ 738.06/295.33
AProVE_08/thiemann40_modified.xml 2 n2 ∞ 306.96/291.43 1 n1 ∞ 513.02/295.58
AProVE_08/parting01_reverse.xml 2 n2 ∞ 307.70/292.09 1 n1 ∞ 865.98/295.52
AProVE_08/round.xml 4 n1 n1 890.21/291.49 2 n1 ∞ 371.94/295.12
AProVE_08/id_inc.xml 2 n1 ∞ 335.18/292.03 timeout (wallclock)"
AProVE_08/parting02_doublelist.xml 2 n1 ∞ 311.88/291.88 2 n1 ∞ 864.88/296.16
AProVE_07/thiemann14.xml 2 n2 ∞ 322.82/291.96 1 n1 ∞ 657.70/295.11
AProVE_07/otto06.xml 2 n1 ∞ 312.76/291.47 timeout (wallclock)"
AProVE_07/thiemann01.xml 2 n1 ∞ 314.43/291.42 2 n1 ∞ 373.62/295.02
AProVE_07/thiemann31.xml 4 n1 n2 1154.06/291.49 2 n1 ∞ 804.50/295.44
AProVE_07/thiemann21.xml 2 n1 ∞ 316.44/291.58 2 n1 ∞ 595.89/295.23
AProVE_07/thiemann25.xml 2 n1 ∞ 312.35/291.46 2 n1 ∞ 471.89/295.43
AProVE_07/thiemann05.xml 2 n1 ∞ 307.66/291.83 2 n1 ∞ 514.18/295.54
AProVE_07/thiemann03.xml 2 n3 ∞ 314.07/291.46 timeout (wallclock)"
AProVE_07/thiemann34.xml 4 n1 n2 1112.95/291.58 0 1 ∞ 501.70/193.99
AProVE_07/thiemann26.xml 2 n1 ∞ 304.82/291.99 2 n1 ∞ 522.54/295.54
AProVE_07/wiehe03.xml StarExec error 2 n1 ∞ 796.14/295.27
AProVE_07/otto03.xml 4 n1 n2 901.09/292.13 0 1 ∞ 249.69/151.56
AProVE_07/thiemann10.xml 2 n1 ∞ 316.98/291.92 2 n1 ∞ 465.99/295.38
AProVE_07/thiemann30.xml 2 n1 ∞ 313.71/292.11 2 n1 ∞ 842.74/295.34
AProVE_07/otto04.xml 2 NonPoly ∞ 3.25/1.52 2 NonPoly ∞ 474.15/295.29
AProVE_07/otto05.xml 2 n1 ∞ 318.00/291.92 2 n1 ∞ 468.85/295.49
AProVE_07/thiemann40.xml 2 n1 ∞ 311.54/292.03 2 n1 ∞ 367.55/295.11
AProVE_07/thiemann17.xml 2 n2 ∞ 305.40/291.93 StarExec error
AProVE_07/kabasci05.xml 2 n1 ∞ 351.37/292.02 2 n1 ∞ 796.92/295.29
AProVE_07/otto08.xml 2 n1 ∞ 319.03/292.13 2 n1 ∞ 475.97/295.24
AProVE_07/thiemann18.xml 2 n1 ∞ 311.19/291.80 2 n1 ∞ 562.17/295.19
AProVE_07/wiehe01.xml 2 n1 ∞ 309.70/291.92 2 n1 ∞ 730.15/295.22
AProVE_07/wiehe11.xml 2 n1 ∞ 346.26/291.43 2 n1 ∞ 803.92/295.31
AProVE_07/kabasci02.xml 2 n3 ∞ 344.11/291.47 timeout (wallclock)"
AProVE_07/thiemann36.xml 4 n1 n2 1153.02/292.78 2 n1 ∞ 766.19/295.48
AProVE_07/thiemann29.xml 2 n2 ∞ 314.94/291.95 1 n1 ∞ 474.43/295.35
AProVE_07/thiemann37.xml StarExec error 2 n1 ∞ 748.79/295.49
AProVE_07/wiehe08.xml 2 n1 ∞ 303.35/291.94 2 n1 ∞ 739.97/295.64
AProVE_07/thiemann04.xml 2 n1 ∞ 311.57/291.96 2 n1 ∞ 747.59/295.26
AProVE_07/otto02.xml 2 n1 ∞ 313.74/291.48 2 n1 ∞ 695.35/295.39
AProVE_07/thiemann38.xml 2 n1 ∞ 304.91/291.44 2 n1 ∞ 497.36/295.54
AProVE_07/thiemann41.xml 2 n1 ∞ 1114.98/291.51 0 1 ∞ 598.44/232.05
AProVE_07/thiemann27.xml 4 n1 n2 901.33/291.50 0 1 ∞ 184.13/108.87
AProVE_07/otto07.xml 4 n1 n2 893.07/291.47 timeout (wallclock)"
AProVE_07/otto01.xml 4 n1 n1 1005.06/292.91 2 n1 ∞ 713.32/295.27
AProVE_07/kabasci03.xml 0 1 ∞ 3.24/1.49 0 1 ∞ 0.88/0.23
AProVE_07/thiemann23.xml 4 n1 n1 915.51/291.50 2 n1 ∞ 632.16/295.07
AProVE_07/thiemann07.xml 2 n2 ∞ 306.98/291.48 1 n1 ∞ 528.20/295.33
AProVE_07/thiemann32.xml 2 n2 ∞ 1119.30/291.58 1 n1 ∞ 542.33/295.39
AProVE_07/thiemann19.xml 2 n1 ∞ 1133.62/292.77 0 1 ∞ 526.92/257.01
AProVE_07/otto12.xml 2 NonPoly ∞ 3.69/1.65 1 n1 ∞ 481.79/295.33
AProVE_07/thiemann09.xml 2 n1 ∞ 1124.43/292.70 2 n1 ∞ 648.01/295.03
AProVE_07/wiehe06.xml 2 n1 ∞ 311.17/291.49 2 n1 ∞ 731.45/295.45
AProVE_07/otto11.xml 2 n1 ∞ 1123.42/291.52 2 n1 ∞ 497.42/295.45
AProVE_07/kabasci01.xml 4 n1 n1 20.67/6.96 2 n1 ∞ 669.94/295.13
AProVE_07/thiemann16.xml 2 n1 ∞ 315.81/291.59 2 n1 ∞ 898.31/295.20
AProVE_07/thiemann11.xml 2 n1 ∞ 315.28/291.91 2 n1 ∞ 493.35/295.39
AProVE_07/wiehe02.xml 2 n2 ∞ 332.77/291.98 1 n1 ∞ 782.43/295.29
AProVE_07/thiemann22.xml 2 n1 ∞ 312.92/291.46 2 n1 ∞ 473.08/295.47
AProVE_07/thiemann20.xml 2 n1 ∞ 310.18/291.41 2 n1 ∞ 478.79/295.58
AProVE_07/thiemann15.xml 2 n1 ∞ 314.88/291.45 2 n1 ∞ 463.15/295.49
AProVE_07/wiehe09.xml 2 n1 ∞ 320.84/291.44 2 n1 ∞ 735.36/295.23
AProVE_07/wiehe05.xml 2 n1 ∞ 302.12/291.46 2 n1 ∞ 740.84/295.42
AProVE_07/wiehe12.xml 2 n2 ∞ 307.91/291.48 1 n1 ∞ 727.51/295.13
AProVE_07/thiemann28.xml 2 n1 ∞ 306.93/291.46 2 n1 ∞ 788.25/295.32
AProVE_07/kabasci04.xml 2 n1 ∞ 318.72/291.45 2 n1 ∞ 881.92/295.50
AProVE_07/thiemann13.xml 2 n1 ∞ 308.47/291.49 2 n1 ∞ 484.05/295.36
AProVE_07/thiemann06.xml 2 n1 ∞ 306.15/291.49 2 n1 ∞ 461.06/295.36
AProVE_07/otto10.xml 2 n1 ∞ 313.61/291.90 2 n1 ∞ 501.45/295.43
AProVE_07/thiemann12.xml 2 n1 ∞ 316.74/292.03 2 n1 ∞ 474.46/295.48
AProVE_07/otto09.xml 2 n1 ∞ 306.81/291.46 0 1 ∞ 142.21/85.14
AProVE_07/otto13.xml 4 n1 n2 1059.21/291.79 2 n1 ∞ 473.37/295.36
AProVE_07/thiemann33.xml 2 n1 ∞ 1104.19/292.69 2 n1 ∞ 492.69/295.24
AProVE_07/wiehe07.xml 2 n1 ∞ 343.92/291.48 2 n1 ∞ 732.78/295.21
AProVE_07/thiemann24.xml 2 n2 ∞ 1016.25/291.50 1 n1 ∞ 497.86/295.40
AProVE_07/thiemann02.xml StarExec error 2 n1 ∞ 744.51/295.11
AProVE_07/thiemann08.xml 2 NonPoly ∞ 3.54/1.64 timeout (wallclock)"
Beerendonk_07/12.xml 2 n1 ∞ 306.69/291.45 0 1 ∞ 93.04/53.46
Beerendonk_07/10.xml 2 n1 ∞ 304.92/291.93 0 1 ∞ 98.51/55.34
Beerendonk_07/14.xml 4 n1 n2 932.73/291.46 0 1 ∞ 93.17/51.56
Beerendonk_07/13.xml StarExec error 0 1 ∞ 87.30/50.28
Beerendonk_07/3.xml 2 n1 ∞ 306.09/291.70 0 1 ∞ 136.43/82.67
Beerendonk_07/20.xml 2 n1 ∞ 307.05/291.89 0 1 ∞ 243.56/83.72
Beerendonk_07/7.xml 2 n1 ∞ 303.00/291.44 0 1 ∞ 116.33/47.11
Beerendonk_07/1.xml 2 n1 ∞ 304.33/291.94 0 1 ∞ 89.78/51.28
Beerendonk_07/17.xml 2 n1 ∞ 314.91/291.94 0 1 ∞ 624.52/211.56
Beerendonk_07/23.xml 2 n1 ∞ 307.07/291.45 0 1 ∞ 90.14/50.82
Beerendonk_07/19.xml 2 n1 ∞ 312.93/291.45 0 1 ∞ 135.95/54.88
Beerendonk_07/16.xml 2 n1 ∞ 303.75/291.48 0 1 ∞ 298.39/123.23
Beerendonk_07/5.xml 2 n1 ∞ 306.87/291.89 0 1 ∞ 116.71/57.37
Beerendonk_07/11.xml 2 n1 ∞ 303.05/291.44 0 1 ∞ 94.68/53.79
Beerendonk_07/2.xml StarExec error 0 1 ∞ 91.43/51.47
Beerendonk_07/8.xml 2 n1 ∞ 302.30/291.43 0 1 ∞ 215.31/74.57
Beerendonk_07/18.xml 2 n1 ∞ 304.76/291.94 0 1 ∞ 196.17/69.82
Beerendonk_07/6.xml 2 n1 ∞ 303.26/291.90 0 1 ∞ 83.24/47.77
Beerendonk_07/21.xml 2 n1 ∞ 310.49/291.98 0 1 ∞ 151.91/61.18
Beerendonk_07/9.xml 2 n1 ∞ 307.93/291.44 0 1 ∞ 138.76/56.12
Beerendonk_07/4.xml 4 n1 n1 885.05/291.44 timeout (wallclock)"
Beerendonk_07/24.xml 2 n1 ∞ 303.63/291.72 0 1 ∞ 264.86/87.27
Beerendonk_07/15.xml 2 n1 ∞ 303.44/291.44 0 1 ∞ 571.19/190.10
Beerendonk_07/22.xml 2 n1 ∞ 303.19/291.44 0 1 ∞ 85.54/48.90
AProVE_09_Inductive/zerolist.xml 4 n1 n2 908.94/291.50 2 n1 ∞ 530.40/295.65
AProVE_09_Inductive/log.xml 2 n1 ∞ 303.47/291.46 0 1 ∞ 96.90/55.06
AProVE_09_Inductive/maxsort.xml 2 n2 ∞ 308.86/291.90 1 n1 ∞ 866.56/296.27
AProVE_09_Inductive/qsortlast.xml 2 n1 ∞ 308.86/292.08 2 n1 ∞ 764.14/295.47
AProVE_09_Inductive/qsort.xml 2 n1 ∞ 305.61/291.53 2 n1 ∞ 722.04/295.41
AProVE_09_Inductive/qsortmiddle.xml 2 n1 ∞ 315.72/291.47 2 n1 ∞ 859.46/295.20
AProVE_09_Inductive/minsort.xml 2 n1 ∞ 306.62/291.57 2 n1 ∞ 862.24/295.28
AProVE_09_Inductive/gcd2.xml 2 n1 ∞ 302.12/291.93 2 n1 ∞ 485.75/295.28
AProVE_09_Inductive/maxsortcondition.xml 2 n2 ∞ 313.15/292.03 1 n1 ∞ 496.33/295.31
AProVE_09_Inductive/div.xml 2 n1 ∞ 302.52/292.01 2 n1 ∞ 550.93/295.19
AProVE_09_Inductive/mod.xml 2 n1 ∞ 303.66/291.49 0 1 ∞ 432.80/272.80
AProVE_09_Inductive/divhard.xml 2 n1 ∞ 304.14/292.14 0 1 ∞ 404.11/254.32
AProVE_09_Inductive/gcd.xml 2 n1 ∞ 303.30/291.49 2 n1 ∞ 468.99/295.19
AProVE_09_Inductive/gcdhard.xml 2 n1 ∞ 306.72/291.43 2 n1 ∞ 517.10/295.41
AG01/#3.49.xml 2 n1 ∞ 916.20/292.09 2 n1 ∞ 233.27/187.69
AG01/#3.19.xml StarExec error 2 n1 ∞ 502.55/295.51
AG01/#3.56.xml 4 n1 n1 20.65/7.28 4 n1 n1 0.30/0.08
AG01/#3.18.xml 2 n1 ∞ 315.32/293.26 2 n1 ∞ 482.53/295.67
AG01/#3.6.xml 2 n1 ∞ 309.86/291.48 2 n1 ∞ 502.68/295.52
AG01/#3.35.xml 4 n1 n1 17.27/5.82 4 n1 n1 0.17/0.06
AG01/#3.53.xml 4 n3 n3 38.73/13.52 1 n1 ∞ 575.00/295.43
AG01/#3.55.xml 2 n2 ∞ 311.95/291.46 1 n1 ∞ 864.33/295.21
AG01/#3.52.xml 4 n1 n1 17.95/5.34 4 n1 n1 1.01/0.13
AG01/#3.47.xml 4 n1 n1 16.93/5.05 timeout (wallclock)"
AG01/#3.10.xml 2 n1 ∞ 309.66/291.50 2 n1 ∞ 838.70/295.38
AG01/#3.4.xml 2 n1 ∞ 818.50/291.45 2 n1 ∞ 471.67/295.70
AG01/#3.6b.xml 2 n1 ∞ 303.15/291.95 2 n1 ∞ 482.96/295.38
AG01/#3.22.xml 4 n2 n2 19.42/6.25 1 n1 ∞ 637.57/295.13
AG01/#3.57.xml 2 n1 ∞ 894.22/291.53 2 n1 ∞ 788.17/295.75
AG01/#3.53b.xml 4 n1 n1 17.73/6.11 4 n1 n1 5.23/1.25
AG01/#3.53a.xml 0 1 ∞ 3.29/1.58 0 1 ∞ 0.64/0.17
AG01/#3.12.xml 4 n3 n3 20.25/7.00 3 n1 n3 42.10/16.40
AG01/#3.39.xml 4 n1 n1 21.89/10.37 4 n1 n1 4.09/1.04
AG01/#3.23.xml 4 n1 n1 12.24/4.11 4 n1 n1 0.23/0.07
AG01/#3.15.xml StarExec error 4 n1 n1 0.86/0.22
AG01/#3.40.xml 4 n1 n1 21.11/7.41 2 n1 ∞ 508.12/295.46
AG01/#3.5a.xml 2 n1 ∞ 307.80/291.44 2 n1 ∞ 489.31/295.56
AG01/#3.13.xml 2 n1 ∞ 316.02/291.46 2 n1 ∞ 831.82/295.51
AG01/#3.17.xml 4 n1 n2 321.65/291.46 2 n1 ∞ 730.37/295.14
AG01/#3.29.xml 0 1 ∞ 3.20/1.50 0 1 ∞ 0.28/0.09
AG01/#3.41.xml StarExec error 4 n1 n2 5.66/1.44
AG01/#3.8a.xml 4 n1 n1 30.44/9.75 0 1 ∞ 314.89/196.71
AG01/#3.2.xml 4 n1 n1 22.82/8.20 0 1 ∞ 230.77/143.66
AG01/#3.51.xml 4 n1 n1 18.50/6.66 4 n1 n1 0.21/0.05
AG01/#3.36.xml StarExec error timeout (wallclock)"
AG01/#3.48.xml 2 n1 ∞ 309.27/291.97 0 1 ∞ 177.31/72.13
AG01/#3.16.xml 4 n2 n3 325.02/291.46 timeout (wallclock)"
AG01/#3.1.xml 4 n1 n1 20.79/6.82 4 n1 n1 0.40/0.11
AG01/#3.6a.xml 2 n1 ∞ 304.67/291.48 4 n1 n2 7.52/2.16
AG01/#3.26.xml 2 n1 ∞ 710.66/292.22 2 n1 ∞ 21.20/7.05
AG01/#3.7.xml 4 n1 n1 22.88/8.27 4 n1 n1 1.65/0.42
AG01/#3.5b.xml 2 n1 ∞ 304.06/291.46 2 n1 ∞ 469.81/295.40
AG01/#3.5.xml 4 n1 n1 28.35/9.77 3 n1 n2 5.89/1.76
AG01/#3.38.xml 2 NonPoly ∞ 3.44/1.62 timeout (wallclock)"
AG01/#3.31.xml 2 NonPoly ∞ 3.33/1.49 timeout (wallclock)"
AG01/#3.33.xml 0 1 ∞ 3.49/1.55 0 1 ∞ 0.02/0.01
AG01/#3.24.xml 4 n1 n1 5.18/1.97 4 n1 n1 0.02/0.01
AG01/#3.42.xml 2 n1 ∞ 318.42/291.42 0 1 ∞ 137.64/83.21
AG01/#3.37.xml 4 n1 n1 4.22/1.86 4 n1 n1 0.40/0.11
AG01/#4.30c.xml 2 n1 ∞ 310.71/291.92 2 n1 ∞ 661.63/295.50
AG01/#3.54.xml 2 n1 ∞ 780.92/291.43 2 n1 ∞ 338.08/295.13
AG01/#3.17a.xml 4 n1 n2 335.69/291.47 2 n1 ∞ 704.17/295.04
AG01/#3.8b.xml 2 n1 ∞ 304.82/291.44 timeout (wallclock)"
AProVE_06/nonterm.xml 2 NonPoly ∞ 3.46/1.66 1 n1 ∞ 983.56/295.22
AProVE_06/modulo.xml StarExec error 2 n1 ∞ 481.37/295.47
AProVE_06/div_notTermin.xml 2 n1 ∞ 310.13/291.71 0 1 ∞ 201.48/123.76
AProVE_06/tower.xml 2 NonPoly ∞ 3.69/1.68 1 n1 ∞ 547.11/295.39
AProVE_06/tower_sizeChange.xml 2 n1 ∞ 1109.33/291.45 2 n1 ∞ 347.89/201.03
AProVE_06/identity.xml 2 n1 ∞ 887.36/291.47 2 n1 ∞ 271.86/155.35
AProVE_06/logarithm.xml 2 n1 ∞ 308.35/291.58 2 n1 ∞ 476.04/295.29
AProVE_06/factorial1.xml 2 n4 ∞ 334.15/291.45 1 n1 ∞ 549.98/295.33
AProVE_06/quot.xml 2 n1 ∞ 304.63/291.45 0 1 ∞ 325.96/206.62
AProVE_06/factorial2.xml 2 n3 ∞ 321.38/291.48 timeout (wallclock)"
AProVE_06/div_notCeTermin.xml 2 n1 ∞ 313.15/291.46 0 1 ∞ 149.85/90.10
AProVE_06/quicksort.xml 2 n2 ∞ 311.97/291.46 1 n1 ∞ 553.93/295.28
AProVE_06/sizeChange.xml StarExec error 2 n1 ∞ 53.84/35.36
AProVE_04/Liveness_WRS.xml 4 n1 n1 1163.08/293.38 4 n1 n1 0.51/0.14
AProVE_04/IJCAR_1.xml StarExec error 2 n1 ∞ 162.22/99.61
AProVE_04/IJCAR_18.xml 4 n2 n3 1120.42/291.52 1 n1 ∞ 801.13/295.32
AProVE_04/AAECC-ring.xml StarExec error 2 n1 ∞ 763.70/295.94
AProVE_04/AAECC.xml 2 n1 ∞ 317.92/291.49 2 n1 ∞ 737.62/295.50
AProVE_04/JFP_Ex51.xml 2 NonPoly ∞ 4.12/1.75 timeout (wallclock)"
AProVE_04/IJCAR_12.xml 4 n2 n2 28.92/9.75 1 n1 ∞ 501.68/295.57
AProVE_04/rta1.xml 2 NonPoly ∞ 3.82/1.61 1 n1 ∞ 898.09/295.12
AProVE_04/IJCAR_26.xml 2 n3 ∞ 1134.71/296.90 1 n1 ∞ 807.27/295.35
AProVE_04/LPAR_intlist.xml 2 n1 ∞ 1013.83/291.49 2 n1 ∞ 643.61/294.58
AProVE_04/IJCAR_26a.xml 2 n3 ∞ 1129.89/293.61 1 n1 ∞ 806.87/295.28
AProVE_04/Liveness8.xml 4 n1 n1 1050.40/291.59 4 n1 n1 1.14/0.29
AProVE_04/Liveness6.3.xml 4 n1 n1 28.53/8.81 4 n1 n1 0.81/0.21
AProVE_04/fac.xml 2 n2 ∞ 317.19/291.98 1 n1 ∞ 473.22/295.45
AProVE_04/Liveness6.4.xml 2 n1 ∞ 1098.14/293.85 0 1 ∞ 519.78/160.45
AProVE_04/Liveness6.1.xml 2 n1 ∞ 1069.36/291.49 0 1 ∞ 332.35/127.42
AProVE_04/Liveness6.2.xml timeout (wallclock)" 4 n1 n2 141.90/53.70
AProVE_04/rta2.xml StarExec error 2 n1 ∞ 5.14/1.79
AProVE_04/JFP_Ex31.xml StarExec error 2 n1 ∞ 353.30/295.09
AProVE_04/rta3.xml 2 n1 ∞ 983.42/292.14 timeout (wallclock)"
Mixed_TRS/jones1.xml 4 n1 n1 3.46/1.62 4 n1 n1 0.24/0.07
Mixed_TRS/jones5.xml timeout (wallclock)" 2 n1 ∞ 7.81/2.77
Mixed_TRS/hydra.xml 4 n1 n1 6.67/2.41 3 n1 n2 1.77/0.53
Mixed_TRS/minsort.xml 2 NonPoly ∞ 3.27/1.58 1 n1 ∞ 794.46/295.36
Mixed_TRS/while.xml 4 n1 n2 885.90/291.47 timeout (wallclock)"
Mixed_TRS/jones4.xml 4 n1 n1 16.41/5.88 4 n1 n1 0.01/0.01
Mixed_TRS/gcdMinMax.xml 2 n1 ∞ 307.44/292.52 2 n1 ∞ 863.10/295.89
Mixed_TRS/Ex1_Luc04b_GM.xml 2 n1 ∞ 1076.77/291.47 2 n1 ∞ 67.24/25.70
Mixed_TRS/hydra-Zantema06.xml 4 n1 n1 26.23/9.84 2 n1 ∞ 651.92/295.14
Mixed_TRS/jones2.xml 4 n1 n1 20.52/6.43 4 n1 n1 0.88/0.24
Mixed_TRS/jones6.xml 4 n1 n1 3.61/1.66 StarExec error
Mixed_TRS/test1.xml 2 n1 ∞ 366.96/291.46 2 n1 ∞ 5.27/1.71
Mixed_TRS/fossacs.xml 2 n1 ∞ 302.39/291.97 timeout (wallclock)"
Mixed_TRS/gcd.xml 2 n1 ∞ 307.48/291.91 2 n1 ∞ 880.94/295.53
Mixed_TRS/perfect.xml 4 n1 n1 39.27/10.94 4 n1 n1 3.96/1.01
Mixed_TRS/gcd_triple.xml 2 n1 ∞ 311.64/291.48 2 n1 ∞ 798.15/295.31
Mixed_TRS/perfect2.xml 2 NonPoly ∞ 6.63/2.49 1 n1 ∞ 805.69/295.42
HirokawaMiddeldorp_04/t003.xml 2 n1 ∞ 314.07/292.10 2 n1 ∞ 805.26/295.39
HirokawaMiddeldorp_04/t011.xml 4 n1 n1 9.45/3.22 4 n1 n1 0.70/0.19
HirokawaMiddeldorp_04/n006.xml 2 NonPoly ∞ 3.41/1.60 0 1 ∞ 21.66/7.03
HirokawaMiddeldorp_04/n005.xml 2 NonPoly ∞ 3.38/1.50 0 1 ∞ 25.98/7.02
HirokawaMiddeldorp_04/t004.xml 2 NonPoly ∞ 7.18/2.58 1 n1 ∞ 45.66/25.60
HirokawaMiddeldorp_04/n007.xml 2 NonPoly ∞ 3.24/1.56 1 n1 ∞ 3.90/1.38
HirokawaMiddeldorp_04/t013.xml 2 n1 ∞ 312.21/292.16 timeout (wallclock)"
HirokawaMiddeldorp_04/t002.xml 4 n1 n2 320.37/291.46 2 n1 ∞ 807.35/296.33
HirokawaMiddeldorp_04/n002.xml 2 NonPoly ∞ 3.13/1.46 0 1 ∞ 23.79/7.04
HirokawaMiddeldorp_04/t001.xml 2 n1 ∞ 321.30/291.96 2 n1 ∞ 812.02/295.41
HirokawaMiddeldorp_04/t014.xml 4 n1 n1 24.28/10.17 2 n1 ∞ 791.82/295.46
HirokawaMiddeldorp_04/n003.xml 2 NonPoly ∞ 3.45/1.50 0 1 ∞ 22.24/7.03
HirokawaMiddeldorp_04/t012.xml 2 n1 ∞ 1065.15/291.59 timeout (wallclock)"
HirokawaMiddeldorp_04/n004.xml 2 NonPoly ∞ 3.24/1.55 0 1 ∞ 22.85/7.13
HirokawaMiddeldorp_04/t009.xml 2 n1 ∞ 1162.50/292.76 2 n1 ∞ 664.16/295.07
Secret_05_TRS/tpa4.xml 2 n2 ∞ 311.48/291.94 1 n1 ∞ 645.70/295.04
Secret_05_TRS/tpa2.xml 2 n1 ∞ 302.28/291.47 2 n1 ∞ 648.26/295.02
Secret_05_TRS/aprove2.xml 2 n1 ∞ 302.94/291.94 0 1 ∞ 411.84/267.35
Secret_05_TRS/cime2.xml StarExec error timeout (wallclock)"
Secret_05_TRS/aprove3.xml 2 n1 ∞ 304.72/291.48 2 n1 ∞ 448.93/295.26
Secret_05_TRS/tpa5.xml 2 n1 ∞ 313.47/292.01 0 1 ∞ 214.62/87.91
Secret_05_TRS/tpa3.xml 2 n2 ∞ 313.89/292.51 timeout (wallclock)"
Secret_05_TRS/cime5.xml StarExec error StarExec error
Secret_05_TRS/ttt1.xml 0 1 ∞ 3.27/1.50 0 1 ∞ 1.28/0.33
Secret_05_TRS/aprove4.xml 2 n1 ∞ 309.67/291.50 0 1 ∞ 189.74/117.42
Secret_05_TRS/tpa1.xml 2 n1 ∞ 309.19/291.90 2 n1 ∞ 855.33/295.81
Secret_05_TRS/aprove5.xml 4 n1 n3 1112.17/291.51 timeout (wallclock)"
Secret_05_TRS/ttt2.xml 2 NonPoly ∞ 3.19/1.47 StarExec error
Secret_05_TRS/cime3.xml 2 NonPoly ∞ 4.06/1.76 1 n1 ∞ 575.28/295.13
Secret_05_TRS/cime4.xml 0 1 ∞ 3.35/1.51 2 1 n1 1.72/0.40
Rubio_04/division.xml 2 n1 ∞ 306.01/291.91 timeout (wallclock)"
Rubio_04/gmnp.xml 4 n1 n1 8.90/3.52 4 n1 n1 0.02/0.01
Rubio_04/gm.xml 4 n1 n1 21.82/7.23 4 n1 n1 2.30/0.49
Rubio_04/selsort.xml 2 n2 ∞ 308.03/291.47 StarExec error
Rubio_04/enno.xml 2 n1 ∞ 304.49/291.46 2 n1 ∞ 1147.52/295.20
Rubio_04/quotminus.xml 2 n1 ∞ 930.67/291.45 2 n1 ∞ 474.57/295.59
Rubio_04/prov.xml 4 n1 n1 13.84/4.68 4 n1 n1 1.23/0.32
Rubio_04/p266.xml 0 1 ∞ 3.27/1.53 2 1 n1 0.26/0.07
Rubio_04/bintrees.xml 4 n1 n1 3.89/1.70 4 n1 n1 0.14/0.05
Rubio_04/nestrec.xml 2 NonPoly ∞ 8.91/2.97 1 n1 ∞ 116.84/87.55
Rubio_04/ma96.xml 2 NonPoly ∞ 6.67/2.40 1 n1 ∞ 812.37/295.23
Rubio_04/logarquot.xml 4 n1 n1 27.94/11.25 3 n1 n3 7.89/2.15
Rubio_04/test829.xml 4 n1 n1 3.54/1.52 StarExec error
Rubio_04/elimdupl.xml 2 n1 ∞ 307.08/291.42 4 n1 n3 31.69/9.19
Rubio_04/koen.xml 0 1 ∞ 3.28/1.57 0 1 ∞ 2.00/0.40
Rubio_04/polo2.xml 4 n1 n1 29.46/10.32 3 n1 n2 18.35/3.98
Rubio_04/mfp95.xml 0 1 ∞ 3.29/1.53 0 1 ∞ 0.02/0.02
Rubio_04/gcd.xml StarExec error 0 1 ∞ 303.99/184.10
Rubio_04/test4.xml StarExec error 4 n1 n1 0.03/0.02
Rubio_04/bn122.xml 4 n1 n1 16.92/5.79 4 n1 n1 1.40/0.28
Rubio_04/revlist.xml StarExec error timeout (wallclock)"
Rubio_04/quick.xml 2 n2 ∞ 309.66/291.46 1 n1 ∞ 862.92/295.24
Rubio_04/wst99.xml 2 n1 ∞ 325.92/292.16 timeout (wallclock)"
Der95/12.xml 2 n1 ∞ 364.03/291.45 timeout (wallclock)"
Der95/27.xml 4 n1 n1 3.40/1.52 4 n1 n1 0.14/0.04
Der95/06.xml 4 n1 n1 7.42/2.58 4 n1 n1 0.02/0.01
Der95/20.xml 2 n1 ∞ 1076.41/294.84 StarExec error
Der95/08.xml 4 n1 n1 17.00/7.67 4 n1 n1 7.16/1.31
Der95/33.xml 4 n1 n1 26.71/10.56 2 n1 ∞ 775.44/295.31
Der95/11.xml 4 n1 n1 31.17/13.10 3 n1 n2 12.98/2.65
Der95/07.xml 4 n1 n1 8.66/3.41 4 n1 n1 0.19/0.05
Der95/18.xml 4 n1 n1 15.25/5.02 4 n1 n1 0.28/0.08
Der95/21.xml 2 NonPoly ∞ 3.52/1.61 timeout (wallclock)"
Der95/31.xml 4 n1 n1 101.12/42.61 3 n1 n2 2.67/0.94
Der95/32.xml 2 n1 ∞ 314.31/291.93 2 n1 ∞ 430.06/295.10
CiME_04/filliatre2.xml 2 n1 ∞ 1136.40/291.52 2 n1 ∞ 61.79/28.65
CiME_04/tree.xml 2 n1 ∞ 1091.97/291.65 2 n1 ∞ 848.86/295.37
CiME_04/intersect.xml 4 n1 n2 396.05/291.45 2 n1 ∞ 541.13/295.24
CiME_04/append-hard.xml 2 n1 ∞ 302.18/291.46 StarExec error
CiME_04/ack_prolog.xml 2 n1 ∞ 1083.80/293.17 2 n1 ∞ 704.08/295.13
CiME_04/ternary-hard.xml 2 n1 ∞ 1109.66/291.51 2 n1 ∞ 823.12/295.41
CiME_04/filliatre.xml 2 n1 ∞ 1139.21/292.25 2 n1 ∞ 53.25/26.81
CiME_04/append.xml 4 n1 n1 19.84/11.14 4 n1 n1 1.83/0.47
CiME_04/fact-hard.xml 2 n2 ∞ 314.07/291.52 1 n1 ∞ 489.81/295.26
CiME_04/list-sum-prod-bin-assoc.xml 2 NonPoly ∞ 3.63/1.63 1 n1 ∞ 818.15/295.19
CiME_04/list-sum-prod-assoc-append.xml 2 n2 ∞ 339.35/291.46 timeout (wallclock)"
CiME_04/dpqs.xml 0 1 ∞ 3.35/1.47 2 1 n1 0.31/0.07
CiME_04/ternary.xml 2 n1 ∞ 1128.92/296.84 2 n1 ∞ 827.32/295.22
CiME_04/filliatre3.xml 2 n1 ∞ 1130.67/291.52 2 n1 ∞ 545.95/295.06
CiME_04/list-sum-prod.xml 2 n2 ∞ 327.18/291.94 timeout (wallclock)"
CiME_04/lse.xml 4 n2 n2 58.42/23.75 3 n1 n2 32.33/8.01
CiME_04/mucrl1.xml 2 n1 ∞ 891.14/291.58 0 1 ∞ 858.63/266.03
CiME_04/maude2.xml 2 n1 ∞ 318.11/291.48 2 n1 ∞ 808.49/295.27
CiME_04/log2.xml 2 n1 ∞ 1131.17/291.55 2 n1 ∞ 819.60/295.25
CiME_04/append-wrong.xml 2 NonPoly ∞ 3.60/2.06 timeout (wallclock)"
CiME_04/list-sum-prod-assoc.xml 2 n2 ∞ 394.91/291.48 timeout (wallclock)"
CiME_04/list-sum-prod-bin.xml 2 NonPoly ∞ 3.62/1.63 timeout (wallclock)"
CiME_04/big.xml 2 NonPoly ∞ 4.17/1.86 timeout (wallclock)"
CiME_04/list-sum-prod-bin-assoc-distr-app.xml 2 NonPoly ∞ 3.60/1.59 1 n1 ∞ 827.98/295.23
GTSSK07/cade01.xml 4 n1 n2 892.60/291.96 timeout (wallclock)"
GTSSK07/cade11.xml 4 n1 n2 879.50/291.52 timeout (wallclock)"
GTSSK07/cade14.xml 4 n1 n2 1134.34/291.50 timeout (wallclock)"
GTSSK07/cade16.xml StarExec error 2 n1 ∞ 499.63/295.32
GTSSK07/cade12t.xml 2 n1 ∞ 310.83/293.01 0 1 ∞ 719.64/233.21
GTSSK07/cade09.xml 2 n1 ∞ 304.04/291.44 2 n1 ∞ 610.19/295.11
GTSSK07/cade10.xml 2 n1 ∞ 307.57/292.58 timeout (wallclock)"
GTSSK07/cade06.xml 4 n1 n2 1021.38/292.75 0 1 ∞ 205.67/84.73
GTSSK07/cade03.xml 4 n1 n2 878.52/291.48 timeout (wallclock)"
GTSSK07/cade04t.xml 2 n1 ∞ 318.21/291.42 2 n1 ∞ 377.15/295.06
GTSSK07/cade13t.xml 2 n1 ∞ 310.75/292.07 0 1 ∞ 421.86/273.63
GTSSK07/cade05t.xml 4 n1 n2 1136.63/293.27 timeout (wallclock)"
GTSSK07/cade17.xml 2 n2 ∞ 316.27/291.50 0 1 ∞ 532.17/233.62
GTSSK07/cade08.xml 4 n1 n2 1123.94/291.48 0 1 ∞ 129.68/51.49
GTSSK07/cade07.xml 4 n1 n2 1156.98/292.56 2 n1 ∞ 937.50/295.14
GTSSK07/cade15.xml 2 NonPoly ∞ 3.46/1.57 2 NonPoly ∞ 531.09/295.28
Endrullis_06/direct.xml 4 n1 n1 4.52/1.91 4 n1 n1 3.63/0.22
Strategy_removed_mixed_05/ex3.xml 2 NonPoly ∞ 3.44/1.60 timeout (wallclock)"
Strategy_removed_mixed_05/test10.xml 4 n1 n1 15.70/6.01 2 n1 ∞ 18.44/5.32
Strategy_removed_mixed_05/test77.xml 4 n1 n1 23.51/8.20 2 n1 ∞ 358.64/295.12
Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml 2 NonPoly ∞ 3.25/1.51 1 n1 ∞ 532.56/295.69
Strategy_removed_mixed_05/ex5.xml 2 NonPoly ∞ 3.07/4.37 timeout (wallclock)"
Strategy_removed_mixed_05/ex6.xml 0 1 ∞ 622.85/292.01 0 1 ∞ 14.84/4.74
Strategy_removed_mixed_05/ex1.xml 2 NonPoly ∞ 3.18/2.56 timeout (wallclock)"
Strategy_removed_mixed_05/muladd.xml 2 NonPoly ∞ 3.30/1.49 0 1 ∞ 37.81/27.76
Strategy_removed_mixed_05/test830.xml 4 n1 n1 3.68/1.59 4 n1 n1 0.26/0.06
Strategy_removed_mixed_05/tricky1.xml 0 1 ∞ 3.34/1.49 0 1 ∞ 0.02/0.01
Strategy_removed_mixed_05/ex2.xml 2 NonPoly ∞ 3.27/1.48 timeout (wallclock)"
Strategy_removed_mixed_05/test76.xml 4 n1 n1 19.80/6.74 timeout (wallclock)"
Strategy_removed_mixed_05/ex4.xml 2 NonPoly ∞ 3.24/1.52 0 1 ∞ 31.68/10.24
Strategy_removed_CSR_05/Ex8_BLR02.xml 2 NonPoly ∞ 3.27/1.58 timeout (wallclock)"
Strategy_removed_CSR_05/Ex4_4_Luc96b.xml StarExec error timeout (wallclock)"
Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml 2 NonPoly ∞ 3.19/1.49 0 1 ∞ 20.35/7.04
Strategy_removed_CSR_05/Ex6_GM04.xml 2 NonPoly ∞ 3.18/1.50 0 1 ∞ 20.59/7.04
Strategy_removed_CSR_05/Ex6_9_Luc02c.xml 2 NonPoly ∞ 3.18/1.53 0 1 ∞ 11.81/5.09
Strategy_removed_CSR_05/Ex1_Zan97.xml 2 NonPoly ∞ 3.36/1.55 0 1 ∞ 34.18/9.94
Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml 2 NonPoly ∞ 3.11/2.86 1 n1 ∞ 9.67/2.90
Strategy_removed_CSR_05/Ex1_GM03.xml 2 NonPoly ∞ 3.44/1.64 0 1 ∞ 486.42/294.04
Strategy_removed_CSR_05/Ex7_BLR02.xml 2 NonPoly ∞ 3.14/1.53 1 n1 ∞ 20.93/7.53
Strategy_removed_CSR_05/Ex6_15_AEL02.xml 2 NonPoly ∞ 3.35/1.55 StarExec error
Strategy_removed_CSR_05/ExIntrod_GM99.xml 2 NonPoly ∞ 3.49/1.55 timeout (wallclock)"
Strategy_removed_CSR_05/ExAppendixB_AEL03.xml 2 NonPoly ∞ 3.53/1.61 1 n1 ∞ 446.83/295.16
Strategy_removed_CSR_05/Ex3_2_Luc97.xml 2 NonPoly ∞ 3.28/1.50 0 1 ∞ 241.15/149.28
Strategy_removed_CSR_05/Ex15_Luc98.xml 2 NonPoly ∞ 3.42/1.51 1 n1 ∞ 29.57/8.44
Strategy_removed_CSR_05/Ex4_Zan97.xml 2 NonPoly ∞ 3.23/1.48 0 1 ∞ 201.18/123.85
Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml 2 NonPoly ∞ 3.27/1.59 timeout (wallclock)"
Strategy_removed_CSR_05/Ex5_7_Luc97.xml 2 NonPoly ∞ 3.52/1.65 1 n1 ∞ 484.09/295.80
Strategy_removed_CSR_05/Ex14_AEGL02.xml 2 NonPoly ∞ 3.14/1.49 1 n1 ∞ 7.24/2.93
Strategy_removed_CSR_05/Ex49_GM04.xml 4 n1 n1 24.34/9.03 2 n1 ∞ 786.54/295.38
Strategy_removed_CSR_05/Ex6_Luc98.xml 2 NonPoly ∞ 3.38/1.57 1 n1 ∞ 8.67/2.82
Strategy_removed_CSR_05/ExConc_Zan97.xml 2 NonPoly ∞ 3.54/1.59 0 1 ∞ 20.97/7.02
Strategy_removed_CSR_05/ExIntrod_GM01.xml 2 NonPoly ∞ 3.46/1.57 1 n1 ∞ 41.14/15.35
Strategy_removed_CSR_05/ExIntrod_GM04.xml 2 NonPoly ∞ 3.08/1.51 1 n1 ∞ 41.19/16.36
Strategy_removed_CSR_05/Ex3_12_Luc96a.xml 2 NonPoly ∞ 3.18/1.49 1 n1 ∞ 11.49/4.24
Strategy_removed_CSR_05/Ex2_Luc03b.xml 2 NonPoly ∞ 3.25/1.53 1 n1 ∞ 25.07/9.26
Strategy_removed_CSR_05/Ex1_GL02a.xml 2 NonPoly ∞ 3.35/1.57 1 n1 ∞ 33.84/18.89
Strategy_removed_CSR_05/Ex26_Luc03b.xml 2 NonPoly ∞ 3.22/1.49 1 n1 ∞ 497.88/295.61
Strategy_removed_CSR_05/Ex9_BLR02.xml 2 NonPoly ∞ 3.31/1.52 timeout (wallclock)"
Strategy_removed_CSR_05/Ex5_Zan97.xml 2 NonPoly ∞ 3.19/1.48 0 1 ∞ 16.73/7.04
Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml 2 NonPoly ∞ 3.29/1.54 0 1 ∞ 26.45/7.05
Strategy_removed_CSR_05/Ex1_Luc02b.xml 2 NonPoly ∞ 3.57/1.58 1 n1 ∞ 17.30/7.38
Strategy_removed_CSR_05/Ex1_2_Luc02c.xml 2 NonPoly ∞ 3.18/1.47 0 1 ∞ 6.79/2.34
Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml 2 NonPoly ∞ 3.33/1.50 0 1 ∞ 363.14/221.99
Strategy_removed_CSR_05/ExIntrod_Zan97.xml 2 NonPoly ∞ 3.33/1.51 1 n1 ∞ 907.57/295.02
Strategy_removed_CSR_05/Ex1_2_AEL03.xml 2 NonPoly ∞ 3.21/1.55 timeout (wallclock)"
Transformed_CSR_04/OvConsOS_complete_L.xml 2 NonPoly ∞ 3.14/1.58 0 1 ∞ 0.02/0.01
Transformed_CSR_04/OvConsOS_nosorts_GM.xml 2 NonPoly ∞ 4.70/1.87 1 n1 ∞ 44.90/14.92
Transformed_CSR_04/MYNAT_nosorts_noand_C.xml 4 n1 n1 22.31/6.51 2 n1 ∞ 411.19/295.13
Transformed_CSR_04/OvConsOS_complete-noand_Z.xml StarExec error 2 n1 ∞ 695.71/295.07
Transformed_CSR_04/MYNAT_complete_GM.xml 2 NonPoly ∞ 14.47/4.51 1 n1 ∞ 696.83/295.13
Transformed_CSR_04/ExIntrod_GM04_GM.xml 2 n1 ∞ 1115.32/293.39 2 n1 ∞ 45.33/15.23
Transformed_CSR_04/Ex25_Luc06_Z.xml 0 1 ∞ 3.56/2.06 2 1 n1 0.86/0.19
Transformed_CSR_04/PALINDROME_complete_C.xml 4 n1 n1 40.38/11.80 2 n1 ∞ 702.17/295.08
Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml 4 n1 n1 4.17/1.70 4 n1 n1 0.03/0.02
Transformed_CSR_04/Ex1_Zan97_FR.xml 2 NonPoly ∞ 3.70/1.64 StarExec error
Transformed_CSR_04/PEANO_nokinds_FR.xml 2 NonPoly ∞ 4.42/1.89 1 n1 ∞ 751.25/295.29
Transformed_CSR_04/ExConc_Zan97_C.xml StarExec error 4 n1 n1 1.00/0.19
Transformed_CSR_04/Ex24_Luc06_C.xml 4 n1 n1 23.11/7.26 2 n1 ∞ 665.18/295.15
Transformed_CSR_04/Ex2_Luc02a_Z.xml StarExec error 2 n1 ∞ 687.71/295.38
Transformed_CSR_04/Ex4_7_37_Bor03_C.xml 4 n1 n1 36.57/10.99 2 n1 ∞ 691.45/295.14
Transformed_CSR_04/Ex24_Luc06_GM.xml 2 NonPoly ∞ 3.35/1.58 0 1 ∞ 314.99/194.22
Transformed_CSR_04/Ex4_7_15_Bor03_L.xml 0 1 ∞ 3.58/1.52 StarExec error
Transformed_CSR_04/Ex23_Luc06_FR.xml 4 n1 n1 3.41/1.60 4 n1 n1 0.81/0.21
Transformed_CSR_04/MYNAT_nokinds_noand_C.xml 4 n1 n1 36.02/9.92 timeout (wallclock)"
Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml 2 NonPoly ∞ 11.18/3.64 timeout (wallclock)"
Transformed_CSR_04/Ex7_BLR02_FR.xml 2 NonPoly ∞ 3.65/1.67 timeout (wallclock)"
Transformed_CSR_04/ExProp7_Luc06_GM.xml 2 n1 ∞ 1112.83/293.37 2 n1 ∞ 88.39/31.88
Transformed_CSR_04/Ex9_Luc04_C.xml 4 n1 n1 26.29/7.84 2 n1 ∞ 324.71/295.12
Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml 2 n1 ∞ 317.92/292.00 2 n1 ∞ 563.48/295.17
Transformed_CSR_04/Ex23_Luc06_C.xml 4 n1 n1 20.10/6.76 4 n1 n1 4.24/0.06
Transformed_CSR_04/Ex24_GM04_GM.xml 4 n1 n1 20.47/7.03 2 n1 ∞ 547.11/295.72
Transformed_CSR_04/PEANO_complete-noand_Z.xml 2 n1 ∞ 319.99/291.47 2 n1 ∞ 771.25/295.17
Transformed_CSR_04/Ex1_Luc02b_GM.xml 2 NonPoly ∞ 3.70/3.26 timeout (wallclock)"
Transformed_CSR_04/ExAppendixB_AEL03_Z.xml 2 n2 ∞ 315.33/292.10 1 n1 ∞ 653.30/295.07
Transformed_CSR_04/PALINDROME_nokinds_C.xml 4 n1 n1 33.31/10.17 4 n1 n1 4.08/1.03
Transformed_CSR_04/Ex3_12_Luc96a_GM.xml 2 NonPoly ∞ 3.48/1.59 timeout (wallclock)"
Transformed_CSR_04/Ex3_2_Luc97_Z.xml 2 NonPoly ∞ 3.87/1.66 timeout (wallclock)"
Transformed_CSR_04/PEANO_nosorts-noand_FR.xml 4 n1 n1 4.29/1.82 4 n1 n1 2.49/0.46
Transformed_CSR_04/Ex4_7_37_Bor03_L.xml 2 NonPoly ∞ 3.22/1.53 0 1 ∞ 0.01/0.01
Transformed_CSR_04/Ex14_AEGL02_C.xml 4 n1 n1 22.93/7.29 timeout (wallclock)"
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml 2 NonPoly ∞ 4.15/1.74 1 n1 ∞ 35.81/13.85
Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml 2 NonPoly ∞ 3.15/1.45 0 1 ∞ 0.00/0.01
Transformed_CSR_04/OvConsOS_complete-noand_FR.xml 2 NonPoly ∞ 24.61/7.29 1 n1 ∞ 693.82/295.04
Transformed_CSR_04/PALINDROME_complete-noand_L.xml 2 NonPoly ∞ 3.24/1.53 0 1 ∞ 781.93/295.46
Transformed_CSR_04/Ex9_Luc04_L.xml 2 NonPoly ∞ 3.14/1.48 0 1 ∞ 2.32/0.78
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml 2 NonPoly ∞ 3.21/1.55 0 1 ∞ 0.02/0.01
Transformed_CSR_04/PEANO_complete_L.xml 2 NonPoly ∞ 3.11/1.56 0 1 ∞ 0.02/0.01
Transformed_CSR_04/Ex15_Luc06_FR.xml 4 n1 n1 18.13/6.60 4 n1 n1 0.34/0.10
Transformed_CSR_04/Ex3_2_Luc97_L.xml 2 NonPoly ∞ 3.04/1.45 0 1 ∞ 0.00/0.01
Transformed_CSR_04/Ex6_9_Luc02c_FR.xml 2 NonPoly ∞ 3.34/2.63 timeout (wallclock)"
Transformed_CSR_04/OvConsOS_nokinds_C.xml 2 n1 ∞ 1165.58/295.89 2 n1 ∞ 730.75/295.66
Transformed_CSR_04/MYNAT_complete_Z.xml 2 n1 ∞ 323.90/291.63 2 n1 ∞ 762.94/295.06
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml 2 NonPoly ∞ 4.20/1.78 timeout (wallclock)"
Transformed_CSR_04/Ex4_7_77_Bor03_L.xml 2 NonPoly ∞ 3.21/1.54 0 1 ∞ 0.00/0.01
Transformed_CSR_04/Ex9_BLR02_GM.xml 2 NonPoly ∞ 3.45/1.61 timeout (wallclock)"
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml 4 n1 n1 1114.95/291.50 4 n1 n1 4.45/1.12
Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml 0 1 ∞ 3.47/1.64 2 1 n1 0.04/0.02
Transformed_CSR_04/PEANO_nosorts_FR.xml 4 n1 n1 3.52/1.56 4 n1 n1 0.43/0.08
Transformed_CSR_04/OvConsOS_nosorts_L.xml 2 NonPoly ∞ 3.06/1.48 0 1 ∞ 0.00/0.01
Transformed_CSR_04/Ex15_Luc98_Z.xml 2 NonPoly ∞ 3.59/1.65 1 n1 ∞ 580.44/295.20
Transformed_CSR_04/Ex4_DLMMU04_C.xml 2 n1 ∞ 1155.60/291.69 2 n1 ∞ 727.33/295.59
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml 2 NonPoly ∞ 6.28/2.39 1 n1 ∞ 850.60/295.04
Transformed_CSR_04/Ex5_7_Luc97_L.xml 2 NonPoly ∞ 3.17/1.48 0 1 ∞ 0.02/0.01
Transformed_CSR_04/PEANO_nokinds-noand_Z.xml 2 n1 ∞ 307.85/291.50 2 n1 ∞ 705.03/295.31
Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml 4 n1 n1 21.38/7.27 4 n1 n1 0.70/0.17
Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml 2 NonPoly ∞ 3.55/1.62 timeout (wallclock)"
Transformed_CSR_04/PALINDROME_complete_FR.xml 2 NonPoly ∞ 5.08/2.02 1 n1 ∞ 756.55/295.18
Transformed_CSR_04/Ex15_Luc98_GM.xml 4 n1 n1 20.49/5.91 4 n1 n1 14.49/3.67
Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml 2 NonPoly ∞ 9.48/3.21 1 n1 ∞ 558.90/295.19
Transformed_CSR_04/MYNAT_complete-noand_Z.xml 2 n1 ∞ 316.99/291.96 2 n1 ∞ 797.38/295.10
Transformed_CSR_04/MYNAT_nosorts_FR.xml 4 n2 n2 20.09/7.86 3 n1 n2 5.03/1.28
Transformed_CSR_04/Ex8_BLR02_GM.xml 2 NonPoly ∞ 3.74/1.62 timeout (wallclock)"
Transformed_CSR_04/Ex1_2_Luc02c_Z.xml 0 1 ∞ 3.29/1.51 2 1 n1 2.41/0.57
Transformed_CSR_04/ExIntrod_GM01_L.xml 2 NonPoly ∞ 3.45/1.59 0 1 ∞ 0.01/0.01
Transformed_CSR_04/Ex7_BLR02_Z.xml 2 n1 ∞ 317.99/291.47 4 n1 n1 301.39/2.32
Transformed_CSR_04/Ex26_Luc03b_FR.xml 2 NonPoly ∞ 3.61/1.57 timeout (wallclock)"
Transformed_CSR_04/OvConsOS_nosorts_FR.xml 2 NonPoly ∞ 4.09/1.79 1 n1 ∞ 152.86/77.20
Transformed_CSR_04/ExAppendixB_AEL03_GM.xml 2 NonPoly ∞ 3.95/1.72 timeout (wallclock)"
Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml 2 NonPoly ∞ 4.01/1.77 timeout (wallclock)"
Transformed_CSR_04/Ex24_Luc06_L.xml 2 NonPoly ∞ 3.27/1.48 0 1 ∞ 22.18/7.05
Transformed_CSR_04/Ex1_GM03_Z.xml 2 NonPoly ∞ 3.29/1.56 0 1 ∞ 498.99/295.36
Transformed_CSR_04/ExConc_Zan97_Z.xml StarExec error 0 1 ∞ 20.87/7.04
Transformed_CSR_04/OvConsOS_complete_noand_GM.xml 2 NonPoly ∞ 61.26/18.07 1 n1 ∞ 1064.17/295.44
Transformed_CSR_04/Ex6_15_AEL02_L.xml StarExec error 0 1 ∞ 0.02/0.01
Transformed_CSR_04/Ex6_15_AEL02_FR.xml 2 NonPoly ∞ 4.53/1.91 1 n1 ∞ 640.30/295.26
Transformed_CSR_04/Ex3_3_25_Bor03_L.xml 0 1 ∞ 3.26/1.51 0 1 ∞ 0.02/0.01
Transformed_CSR_04/Ex1_Luc04b_C.xml 2 n1 ∞ 1130.42/293.14 4 n1 n1 5.30/1.35
Transformed_CSR_04/Ex1_GM03_GM.xml 2 NonPoly ∞ 3.90/2.14 timeout (wallclock)"
Transformed_CSR_04/Ex7_BLR02_C.xml 4 n1 n1 25.77/7.84 2 n1 ∞ 673.27/295.14
Transformed_CSR_04/Ex5_7_Luc97_FR.xml 2 NonPoly ∞ 4.13/1.78 timeout (wallclock)"
Transformed_CSR_04/ExIntrod_GM99_FR.xml 2 NonPoly ∞ 3.68/1.63 timeout (wallclock)"
Transformed_CSR_04/ExIntrod_GM99_C.xml 2 n1 ∞ 364.07/292.26 2 n1 ∞ 711.45/295.22
Transformed_CSR_04/Ex1_GL02a_L.xml 2 NonPoly ∞ 3.18/1.50 0 1 ∞ 22.65/7.04
Transformed_CSR_04/Ex5_Zan97_C.xml 4 n1 n1 23.57/8.05 4 n1 n1 5.66/1.41
Transformed_CSR_04/Ex5_Zan97_FR.xml 4 n1 n1 4.04/1.76 4 n1 n1 0.79/0.21
Transformed_CSR_04/PALINDROME_nokinds_GM.xml 2 n1 ∞ 1134.06/293.02 timeout (wallclock)"
Transformed_CSR_04/PALINDROME_complete_Z.xml 2 n1 ∞ 333.10/291.51 2 n1 ∞ 760.49/295.25
Transformed_CSR_04/Ex14_Luc06_C.xml 4 n1 n1 29.54/12.19 timeout (wallclock)"
Transformed_CSR_04/ExIntrod_Zan97_L.xml 2 NonPoly ∞ 3.04/1.48 0 1 ∞ 0.00/0.01
Transformed_CSR_04/OvConsOS_nokinds_L.xml 2 NonPoly ∞ 3.18/1.48 0 1 ∞ 0.02/0.01
Transformed_CSR_04/OvConsOS_nokinds_FR.xml 2 NonPoly ∞ 7.74/2.77 1 n1 ∞ 786.13/295.19
Transformed_CSR_04/Ex6_9_Luc02c_GM.xml 2 NonPoly ∞ 3.39/1.57 timeout (wallclock)"
Transformed_CSR_04/Ex3_12_Luc96a_Z.xml 2 n1 ∞ 320.63/291.92 4 n1 n1 300.25/1.71
Transformed_CSR_04/Ex49_GM04_Z.xml 4 n1 n1 28.94/11.30 4 n1 n1 4.93/1.19
Transformed_CSR_04/ExIntrod_GM99_L.xml 2 NonPoly ∞ 2.96/1.55 0 1 ∞ 0.00/0.01
Transformed_CSR_04/Ex26_Luc03b_Z.xml 0 1 ∞ 3.45/1.58 timeout (wallclock)"
Transformed_CSR_04/PEANO_nosorts_C.xml 4 n1 n1 21.93/6.85 4 n1 n1 1.28/0.33
Transformed_CSR_04/ExProp7_Luc06_FR.xml 4 n1 n1 4.32/1.75 4 n1 n1 0.51/0.12
Transformed_CSR_04/PEANO_complete_noand_GM.xml 2 NonPoly ∞ 15.34/4.63 timeout (wallclock)"
Transformed_CSR_04/Ex15_Luc06_L.xml 2 NonPoly ∞ 3.42/1.59 0 1 ∞ 23.63/7.05
Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml 2 NonPoly ∞ 3.10/2.38 0 1 ∞ 0.00/0.01
Transformed_CSR_04/LISTUTILITIES_complete_FR.xml 2 NonPoly ∞ 7.84/2.69 1 n1 ∞ 789.18/295.05
Transformed_CSR_04/Ex2_Luc02a_L.xml 4 n3 n3 1040.48/292.59 0 1 ∞ 437.06/265.26
Transformed_CSR_04/LengthOfFiniteLists_complete_Z.xml 2 n1 ∞ 313.03/291.44 2 n1 ∞ 768.00/295.21
Transformed_CSR_04/Ex1_GM03_FR.xml 2 NonPoly ∞ 3.64/1.58 1 n1 ∞ 573.57/295.28
Transformed_CSR_04/Ex23_Luc06_Z.xml 0 1 ∞ 3.39/1.60 2 1 n1 0.50/0.11
Transformed_CSR_04/PALINDROME_complete-noand_Z.xml 2 n1 ∞ 319.72/291.51 2 n1 ∞ 627.04/295.16
Transformed_CSR_04/PEANO_complete-noand_L.xml 2 NonPoly ∞ 3.05/1.48 0 1 ∞ 0.02/0.01
Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml 4 n1 n1 37.57/10.33 2 n1 ∞ 822.93/295.49
Transformed_CSR_04/Ex5_7_Luc97_GM.xml 2 n1 ∞ 485.11/291.46 StarExec error
Transformed_CSR_04/Ex5_DLMMU04_C.xml 2 n1 ∞ 1140.40/292.22 2 n1 ∞ 971.24/295.22
Transformed_CSR_04/ExIntrod_GM04_Z.xml 2 NonPoly ∞ 11.41/3.58 1 n1 ∞ 31.29/8.91
Transformed_CSR_04/Ex24_GM04_Z.xml 0 1 ∞ 3.59/1.58 timeout (wallclock)"
Transformed_CSR_04/PEANO_nokinds_noand_C.xml 4 n1 n1 25.25/7.56 timeout (wallclock)"
Transformed_CSR_04/OvConsOS_nokinds_Z.xml 2 n1 ∞ 321.77/291.48 2 n1 ∞ 789.64/295.11
Transformed_CSR_04/Ex5_Zan97_L.xml 2 NonPoly ∞ 3.25/1.54 0 1 ∞ 0.00/0.01
Transformed_CSR_04/Ex6_Luc98_L.xml 0 1 ∞ 3.38/1.51 0 1 ∞ 0.02/0.01
Transformed_CSR_04/OvConsOS_nokinds_GM.xml 2 NonPoly ∞ 23.45/7.15 1 n1 ∞ 832.49/295.19
Transformed_CSR_04/Ex1_Luc04b_L.xml 2 NonPoly ∞ 3.20/2.28 0 1 ∞ 0.00/0.01
Transformed_CSR_04/Ex3_12_Luc96a_FR.xml 2 NonPoly ∞ 3.29/1.54 timeout (wallclock)"
Transformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml 4 n1 n1 1135.64/296.48 StarExec error
Transformed_CSR_04/PALINDROME_complete-noand_FR.xml 2 n2 ∞ 322.99/291.51 1 n1 ∞ 623.98/295.24
Transformed_CSR_04/Ex1_GL02a_GM.xml 2 NonPoly ∞ 3.60/1.59 timeout (wallclock)"
Transformed_CSR_04/PALINDROME_nosorts_GM.xml 2 n1 ∞ 1114.31/291.71 timeout (wallclock)"
Transformed_CSR_04/ExIntrod_Zan97_FR.xml 2 NonPoly ∞ 3.55/1.57 StarExec error
Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml 2 NonPoly ∞ 6.60/2.50 timeout (wallclock)"
Transformed_CSR_04/Ex14_AEGL02_L.xml 2 NonPoly ∞ 3.17/1.47 0 1 ∞ 22.02/7.05
Transformed_CSR_04/ExIntrod_GM01_Z.xml 2 NonPoly ∞ 5.14/1.99 1 n1 ∞ 32.83/12.24
Transformed_CSR_04/Ex2_Luc02a_C.xml 4 n1 n1 30.13/9.57 2 n1 ∞ 760.49/295.19
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml 2 n1 ∞ 1172.10/296.32 2 n1 ∞ 1143.27/295.24
Transformed_CSR_04/Ex4_7_77_Bor03_C.xml 4 n1 n1 1105.95/291.48 4 n1 n1 1.17/0.31
Transformed_CSR_04/Ex1_GL02a_Z.xml 2 n1 ∞ 328.09/292.32 2 n1 ∞ 638.36/295.30
Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml 2 NonPoly ∞ 3.43/1.62 timeout (wallclock)"
Transformed_CSR_04/Ex6_15_AEL02_Z.xml 2 NonPoly ∞ 8.43/2.88 1 n1 ∞ 650.58/295.17
Transformed_CSR_04/Ex2_Luc02a_GM.xml 2 NonPoly ∞ 3.94/1.66 timeout (wallclock)"
Transformed_CSR_04/Ex4_4_Luc96b_L.xml 4 n1 n1 6.87/2.45 4 n1 n1 0.02/0.01
Transformed_CSR_04/Ex6_9_Luc02c_L.xml 2 NonPoly ∞ 2.99/1.52 0 1 ∞ 0.00/0.01
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml 2 n1 ∞ 305.37/291.50 timeout (wallclock)"
Transformed_CSR_04/PEANO_complete-noand_FR.xml 2 NonPoly ∞ 6.90/2.44 1 n1 ∞ 775.80/295.10
Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml 0 1 ∞ 3.40/1.52 0 1 ∞ 0.01/0.01
Transformed_CSR_04/MYNAT_nokinds_GM.xml 2 NonPoly ∞ 6.88/2.50 timeout (wallclock)"
Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml 2 NonPoly ∞ 4.80/1.99 1 n1 ∞ 771.51/295.10
Transformed_CSR_04/Ex1_GM99_GM.xml 2 NonPoly ∞ 3.53/1.57 0 1 ∞ 370.30/226.43
Transformed_CSR_04/PEANO_nokinds-noand_L.xml 2 NonPoly ∞ 3.20/2.25 0 1 ∞ 0.00/0.01
Transformed_CSR_04/MYNAT_nosorts-noand_L.xml 2 NonPoly ∞ 3.22/1.57 0 1 ∞ 0.00/0.00
Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml 2 NonPoly ∞ 6.12/2.32 timeout (wallclock)"
Transformed_CSR_04/Ex2_Luc03b_C.xml 4 n1 n1 25.66/8.21 2 n1 ∞ 737.64/295.15
Transformed_CSR_04/Ex1_GL02a_C.xml 4 n1 n1 22.42/7.35 2 n1 ∞ 737.41/295.16
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml 2 NonPoly ∞ 7.61/2.62 1 n1 ∞ 1042.54/295.12
Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml 2 NonPoly ∞ 3.70/1.66 timeout (wallclock)"
Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml 2 n1 ∞ 315.53/291.47 2 n1 ∞ 766.73/295.17
Transformed_CSR_04/Ex1_Luc02b_L.xml 2 NonPoly ∞ 3.11/1.48 0 1 ∞ 0.00/0.01
Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml 2 NonPoly ∞ 4.04/1.74 timeout (wallclock)"
Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml 4 n1 n1 4.12/1.73 4 n1 n1 0.27/0.08
Transformed_CSR_04/MYNAT_nokinds_FR.xml 2 NonPoly ∞ 6.00/2.37 timeout (wallclock)"
Transformed_CSR_04/Ex1_Luc04b_GM.xml 2 n1 ∞ 1112.88/296.88 2 n1 ∞ 65.92/22.61
Transformed_CSR_04/Ex4_4_Luc96b_C.xml 4 n1 n1 19.82/6.49 2 n1 ∞ 345.36/295.06
Transformed_CSR_04/MYNAT_complete-noand_L.xml 2 NonPoly ∞ 3.15/1.47 0 1 ∞ 0.02/0.01
Transformed_CSR_04/Ex3_2_Luc97_GM.xml 2 n1 ∞ 344.74/291.64 timeout (wallclock)"
Transformed_CSR_04/Ex4_4_Luc96b_GM.xml 2 NonPoly ∞ 3.52/1.56 timeout (wallclock)"
Transformed_CSR_04/Ex4_4_Luc96b_Z.xml 2 NonPoly ∞ 3.68/1.68 timeout (wallclock)"
Transformed_CSR_04/LISTUTILITIES_complete_noand_C.xml 4 n1 n1 99.14/26.19 timeout (wallclock)"
Transformed_CSR_04/Ex24_GM04_C.xml 4 n1 n1 22.36/8.02 StarExec error
Transformed_CSR_04/PEANO_nosorts-noand_L.xml 2 NonPoly ∞ 3.21/1.54 0 1 ∞ 0.00/0.01
Transformed_CSR_04/PEANO_nosorts_L.xml 2 NonPoly ∞ 3.06/1.45 0 1 ∞ 0.00/0.00
Transformed_CSR_04/Ex2_Luc03b_GM.xml 2 NonPoly ∞ 3.88/1.75 timeout (wallclock)"
Transformed_CSR_04/Ex1_2_AEL03_FR.xml 2 NonPoly ∞ 3.56/1.55 timeout (wallclock)"
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml 2 NonPoly ∞ 3.80/1.67 1 n1 ∞ 364.03/295.01
Transformed_CSR_04/Ex9_BLR02_C.xml 2 n1 ∞ 331.06/292.13 2 n1 ∞ 693.56/295.15
Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml 2 NonPoly ∞ 3.31/1.56 0 1 ∞ 0.00/0.01
Transformed_CSR_04/Ex1_GM03_C.xml 4 n1 n1 24.82/8.17 2 n1 ∞ 657.57/295.15
Transformed_CSR_04/Ex9_Luc06_GM.xml 4 n1 n1 29.97/8.57 4 n1 n1 1.76/0.45
Transformed_CSR_04/MYNAT_nosorts_C.xml 4 n1 n1 25.85/7.92 2 n1 ∞ 367.14/295.13
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml 2 NonPoly ∞ 3.21/1.46 0 1 ∞ 0.02/0.02
Transformed_CSR_04/ExAppendixB_AEL03_FR.xml 2 NonPoly ∞ 3.54/1.61 timeout (wallclock)"
Transformed_CSR_04/ExSec11_1_Luc02a_L.xml 4 n3 n3 1065.03/292.69 1 n1 ∞ 527.20/295.71
Transformed_CSR_04/Ex1_Luc04b_Z.xml 2 NonPoly ∞ 3.10/1.50 1 n1 ∞ 37.82/15.90
Transformed_CSR_04/Ex16_Luc06_GM.xml 4 n1 n1 21.69/6.24 4 n1 n1 1.35/0.35
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml 4 n1 n1 44.07/12.25 2 n1 ∞ 784.07/295.16
Transformed_CSR_04/Ex3_12_Luc96a_C.xml 4 n1 n1 23.52/8.53 2 n1 ∞ 737.17/295.20
Transformed_CSR_04/Ex9_BLR02_L.xml 0 1 ∞ 3.26/1.54 0 1 ∞ 0.02/0.02
Transformed_CSR_04/PALINDROME_nosorts_L.xml 2 NonPoly ∞ 3.18/1.45 0 1 ∞ 0.00/0.03
Transformed_CSR_04/Ex1_2_Luc02c_FR.xml 2 NonPoly ∞ 3.48/1.61 StarExec error
Transformed_CSR_04/LISTUTILITIES_complete_C.xml 4 n1 n1 63.96/17.39 2 n1 ∞ 940.37/295.48
Transformed_CSR_04/Ex15_Luc06_GM.xml 4 n1 n1 18.45/5.88 4 n1 n1 0.06/0.04
Transformed_CSR_04/Ex1_Luc02b_C.xml 4 n1 n1 29.65/9.77 2 n1 ∞ 670.60/295.04
Transformed_CSR_04/PEANO_nokinds_L.xml StarExec error 0 1 ∞ 0.00/0.01
Transformed_CSR_04/Ex15_Luc06_Z.xml 0 1 ∞ 3.51/1.51 2 1 n1 0.02/0.01
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml 4 n1 n1 52.81/14.12 timeout (wallclock)"
Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml 2 n1 ∞ 357.62/291.49 2 n1 ∞ 640.22/295.42
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml 2 NonPoly ∞ 13.84/4.41 1 n1 ∞ 628.38/295.17
Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml 2 n1 ∞ 1137.25/294.56 2 n1 ∞ 1000.92/295.16
Transformed_CSR_04/Ex9_BLR02_Z.xml 2 n1 ∞ 310.94/291.77 2 n1 ∞ 492.09/295.13
Transformed_CSR_04/PALINDROME_complete_noand_GM.xml 2 n2 ∞ 902.41/291.69 1 n1 ∞ 1068.52/295.15
Transformed_CSR_04/Ex3_2_Luc97_C.xml 4 n1 n1 27.76/8.46 2 n1 ∞ 677.57/295.14
Transformed_CSR_04/Ex14_AEGL02_GM.xml 2 NonPoly ∞ 3.65/1.68 StarExec error
Transformed_CSR_04/Ex6_GM04_C.xml StarExec error 4 n1 n1 1.32/0.34
Transformed_CSR_04/Ex49_GM04_FR.xml 2 NonPoly ∞ 4.06/1.74 1 n1 ∞ 587.30/295.19
Transformed_CSR_04/PEANO_nokinds_Z.xml 2 n1 ∞ 347.85/299.10 2 n1 ∞ 750.05/295.17
Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml 2 NonPoly ∞ 310.10/81.36 1 n1 ∞ 1183.30/298.94
Transformed_CSR_04/ExIntrod_GM04_C.xml 2 n1 ∞ 1148.19/293.91 4 n1 n1 9.41/2.37
Transformed_CSR_04/Ex1_2_AEL03_C.xml 4 n1 n1 39.79/12.03 timeout (wallclock)"
Transformed_CSR_04/Ex6_9_Luc02c_Z.xml 0 1 ∞ 3.32/1.49 2 1 n1 4.99/1.22
Transformed_CSR_04/Ex16_Luc06_L.xml 2 NonPoly ∞ 3.14/1.49 0 1 ∞ 22.59/7.02
Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml 2 n2 ∞ 308.12/291.46 timeout (wallclock)"
Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml 2 NonPoly ∞ 3.25/1.58 1 n1 ∞ 1182.02/298.51
Transformed_CSR_04/Ex1_Luc02b_Z.xml 2 n1 ∞ 339.03/291.46 4 n1 n1 8.85/2.24
Transformed_CSR_04/ExProp7_Luc06_Z.xml 0 1 ∞ 3.56/1.61 2 1 n1 0.30/0.09
Transformed_CSR_04/OvConsOS_complete_C.xml 2 n1 ∞ 1176.18/297.67 StarExec error
Transformed_CSR_04/ExAppendixB_AEL03_L.xml 2 NonPoly ∞ 3.13/1.59 0 1 ∞ 0.02/0.01
Transformed_CSR_04/Ex8_BLR02_L.xml 2 NonPoly ∞ 2.98/1.53 0 1 ∞ 0.00/0.01
Transformed_CSR_04/OvConsOS_complete_FR.xml 2 NonPoly ∞ 5.18/4.77 1 n1 ∞ 770.05/295.17
Transformed_CSR_04/PEANO_nosorts_noand_C.xml 4 n1 n1 23.75/7.88 4 n1 n1 3.15/0.82
Transformed_CSR_04/Ex1_Zan97_GM.xml 0 1 ∞ 2.99/1.50 2 1 n1 0.02/0.01
Transformed_CSR_04/Ex5_DLMMU04_GM.xml 2 NonPoly ∞ 6.96/2.57 1 n1 ∞ 727.34/295.12
Transformed_CSR_04/OvConsOS_nosorts_C.xml 4 n1 n1 1129.98/293.85 4 n1 n1 3.19/0.81
Transformed_CSR_04/Ex24_GM04_L.xml 2 NonPoly ∞ 3.19/1.48 0 1 ∞ 23.69/7.04
Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml 2 n1 ∞ 316.23/291.46 2 n1 ∞ 810.64/295.22
Transformed_CSR_04/Ex25_Luc06_FR.xml 4 n1 n1 3.44/1.55 4 n1 n1 0.37/0.10
Transformed_CSR_04/Ex1_GL02a_FR.xml 2 NonPoly ∞ 3.71/1.63 1 n1 ∞ 657.27/295.31
Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml 2 NonPoly ∞ 68.74/24.98 1 n1 ∞ 832.16/295.13
Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml 2 NonPoly ∞ 73.79/19.77 1 n1 ∞ 83.18/29.69
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml 2 NonPoly ∞ 105.21/47.90 1 n1 ∞ 855.72/295.13
Transformed_CSR_04/PALINDROME_nokinds_FR.xml 2 n2 ∞ 1140.04/291.73 StarExec error
Transformed_CSR_04/ExIntrod_GM01_FR.xml 2 NonPoly ∞ 11.13/3.53 1 n1 ∞ 27.10/7.27
Transformed_CSR_04/MYNAT_complete-noand_FR.xml 2 NonPoly ∞ 10.62/6.77 1 n1 ∞ 799.67/295.15
Transformed_CSR_04/PEANO_nosorts_GM.xml 2 n2 ∞ 1139.74/296.04 1 n1 ∞ 40.73/14.06
Transformed_CSR_04/Ex15_Luc98_FR.xml 2 NonPoly ∞ 3.69/1.63 timeout (wallclock)"
Transformed_CSR_04/Ex6_Luc98_C.xml 4 n1 n1 27.95/8.71 2 n1 ∞ 749.50/295.26
Transformed_CSR_04/Ex9_Luc06_C.xml 4 n1 n1 22.71/7.11 2 n1 ∞ 666.03/295.06
Transformed_CSR_04/Ex15_Luc98_L.xml 2 NonPoly ∞ 2.99/1.45 0 1 ∞ 0.00/0.01
Transformed_CSR_04/Ex1_2_AEL03_Z.xml 2 n2 ∞ 310.63/291.46 3 n1 n3 350.66/78.14
Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml 2 n1 ∞ 302.34/291.45 timeout (wallclock)"
Transformed_CSR_04/OvConsOS_complete_noand_C.xml 2 n1 ∞ 1176.79/297.54 2 n1 ∞ 942.49/295.17
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml 2 NonPoly ∞ 4.22/1.77 1 n1 ∞ 102.40/74.92
Transformed_CSR_04/MYNAT_nosorts_GM.xml 2 NonPoly ∞ 4.99/2.01 timeout (wallclock)"
Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml 2 NonPoly ∞ 3.20/1.51 0 1 ∞ 296.44/144.24
Transformed_CSR_04/PALINDROME_complete_L.xml 2 NonPoly ∞ 3.19/1.53 0 1 ∞ 0.02/0.01
Transformed_CSR_04/ExIntrod_GM01_GM.xml 2 n1 ∞ 1084.93/291.52 StarExec error
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml 2 NonPoly ∞ 5.06/2.00 timeout (wallclock)"
Transformed_CSR_04/Ex1_Luc02b_FR.xml 2 NonPoly ∞ 3.37/1.54 timeout (wallclock)"
Transformed_CSR_04/Ex4_DLMMU04_L.xml 2 NonPoly ∞ 3.11/1.45 0 1 ∞ 0.01/0.01
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml 2 n1 ∞ 304.44/291.51 2 n1 ∞ 587.31/295.05
Transformed_CSR_04/Ex2_Luc02a_FR.xml 2 NonPoly ∞ 3.49/1.65 timeout (wallclock)"
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml 2 n1 ∞ 1158.25/291.79 StarExec error
Transformed_CSR_04/Ex3_3_25_Bor03_C.xml 4 n1 n1 24.49/8.51 2 n1 ∞ 689.14/295.16
Transformed_CSR_04/ExConc_Zan97_GM.xml 4 n1 n1 5.43/2.06 StarExec error
Transformed_CSR_04/PEANO_complete_noand_C.xml 4 n1 n1 36.12/11.44 StarExec error
Transformed_CSR_04/PEANO_nokinds_C.xml 4 n1 n1 26.43/9.96 timeout (wallclock)"
Transformed_CSR_04/PEANO_nosorts_noand_GM.xml 2 n2 ∞ 1128.95/293.89 1 n1 ∞ 42.77/14.26
Transformed_CSR_04/ExSec11_1_Luc02a_C.xml 4 n1 n1 27.35/7.84 StarExec error
Transformed_CSR_04/LengthOfFiniteLists_complete_C.xml 2 n1 ∞ 1158.76/291.80 2 n1 ∞ 729.98/295.14
Transformed_CSR_04/ExIntrod_Zan97_GM.xml 2 NonPoly ∞ 3.93/1.75 timeout (wallclock)"
Transformed_CSR_04/Ex8_BLR02_FR.xml 2 NonPoly ∞ 3.53/1.59 1 n1 ∞ 553.67/295.14
Transformed_CSR_04/Ex23_Luc06_GM.xml 4 n1 n1 8.60/2.92 4 n1 n1 0.09/0.03
Transformed_CSR_04/MYNAT_complete_noand_C.xml StarExec error StarExec error
Transformed_CSR_04/OvConsOS_complete_GM.xml 2 NonPoly ∞ 19.57/5.70 1 n1 ∞ 919.79/295.04
Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml 2 NonPoly ∞ 3.86/1.74 1 n1 ∞ 569.99/295.12
Transformed_CSR_04/Ex49_GM04_C.xml StarExec error 2 n1 ∞ 652.43/295.07
Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml StarExec error 2 n1 ∞ 831.43/295.14
Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml 2 NonPoly ∞ 20.35/5.86 0 1 ∞ 1033.34/296.98
Transformed_CSR_04/PALINDROME_nokinds_L.xml 2 NonPoly ∞ 3.26/1.54 0 1 ∞ 0.00/0.01
Transformed_CSR_04/Ex14_AEGL02_Z.xml 2 NonPoly ∞ 4.05/1.76 1 n1 ∞ 278.18/251.28
Transformed_CSR_04/OvConsOS_complete-noand_L.xml 2 NonPoly ∞ 3.21/1.52 0 1 ∞ 0.02/0.01
Transformed_CSR_04/Ex1_GM99_C.xml 4 n1 n1 26.55/7.90 2 n1 ∞ 349.84/295.12
Transformed_CSR_04/ExIntrod_GM99_GM.xml 2 NonPoly ∞ 4.00/1.74 timeout (wallclock)"
Transformed_CSR_04/PALINDROME_complete_noand_C.xml 4 n1 n1 51.69/14.30 2 n1 ∞ 763.59/295.12
Transformed_CSR_04/PEANO_nokinds_GM.xml 2 NonPoly ∞ 4.77/1.91 timeout (wallclock)"
Transformed_CSR_04/Ex4_Zan97_L.xml 2 NonPoly ∞ 3.02/2.17 0 1 ∞ 0.00/0.01
Transformed_CSR_04/Ex7_BLR02_L.xml 2 NonPoly ∞ 3.18/1.59 StarExec error
Transformed_CSR_04/Ex5_7_Luc97_Z.xml 2 NonPoly ∞ 3.83/1.65 timeout (wallclock)"
Transformed_CSR_04/Ex1_GM99_L.xml 2 NonPoly ∞ 3.33/1.57 0 1 ∞ 23.90/7.04
Transformed_CSR_04/Ex4_Zan97_FR.xml 2 NonPoly ∞ 3.36/1.56 timeout (wallclock)"
Transformed_CSR_04/Ex9_Luc06_FR.xml StarExec error 0 1 ∞ 605.60/295.03
Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml 2 n1 ∞ 620.51/292.47 2 n1 ∞ 874.22/295.14
Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml 2 NonPoly ∞ 3.58/1.61 StarExec error
Transformed_CSR_04/PALINDROME_nokinds_Z.xml 2 n1 ∞ 1138.00/291.55 StarExec error
Transformed_CSR_04/Ex3_2_Luc97_FR.xml 2 NonPoly ∞ 4.14/1.73 timeout (wallclock)"
Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml 2 NonPoly ∞ 3.58/1.61 timeout (wallclock)"
Transformed_CSR_04/Ex6_GM04_GM.xml 0 1 ∞ 3.67/1.66 0 1 ∞ 0.02/0.01
Transformed_CSR_04/Ex16_Luc06_C.xml 4 n1 n1 21.34/7.12 2 n1 ∞ 680.59/295.05
Transformed_CSR_04/Ex6_Luc98_GM.xml 2 NonPoly ∞ 3.40/1.67 timeout (wallclock)"
Transformed_CSR_04/Ex15_Luc06_C.xml 4 n1 n1 21.82/6.41 4 n1 n1 8.03/0.31
Transformed_CSR_04/Ex1_2_Luc02c_L.xml 2 NonPoly ∞ 3.19/1.53 0 1 ∞ 0.00/0.01
Transformed_CSR_04/Ex14_Luc06_GM.xml 2 NonPoly ∞ 3.55/1.61 1 n1 ∞ 574.30/295.44
Transformed_CSR_04/LISTUTILITIES_complete_GM.xml 2 NonPoly ∞ 10.37/3.31 1 n1 ∞ 1028.20/295.16
Transformed_CSR_04/Ex1_2_Luc02c_GM.xml 2 NonPoly ∞ 3.64/1.64 timeout (wallclock)"
Transformed_CSR_04/ExProp7_Luc06_C.xml 4 n1 n1 22.93/6.94 4 n1 n1 0.21/0.06
Transformed_CSR_04/Ex4_Zan97_C.xml 4 n1 n1 25.65/12.60 2 n1 ∞ 738.13/295.17
Transformed_CSR_04/Ex26_Luc03b_GM.xml 2 NonPoly ∞ 3.79/1.81 timeout (wallclock)"
Transformed_CSR_04/Ex6_Luc98_Z.xml 4 n1 n1 18.11/6.08 4 n1 n1 4.22/1.02
Transformed_CSR_04/Ex1_Zan97_C.xml 4 n1 n1 22.84/6.79 4 n1 n1 15.34/0.27
Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml 2 n1 ∞ 1116.49/292.73 timeout (wallclock)"
Transformed_CSR_04/Ex4_7_15_Bor03_C.xml 4 n1 n1 21.58/9.43 4 n1 n1 0.58/0.15
Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml 4 n1 n1 634.17/291.53 3 n1 n3 33.22/8.62
Transformed_CSR_04/Ex2_Luc03b_FR.xml 2 NonPoly ∞ 3.72/1.60 timeout (wallclock)"
Transformed_CSR_04/Ex9_Luc04_GM.xml 2 NonPoly ∞ 3.68/1.58 0 1 ∞ 446.76/268.87
Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml 2 NonPoly ∞ 5.15/5.72 1 n1 ∞ 765.37/295.13
Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml 2 NonPoly ∞ 3.13/1.51 0 1 ∞ 0.02/0.01
Transformed_CSR_04/PEANO_nokinds_noand_GM.xml 2 NonPoly ∞ 6.07/2.22 timeout (wallclock)"
Transformed_CSR_04/ExIntrod_GM01_C.xml 2 n1 ∞ 1152.97/294.30 4 n1 n1 26.98/5.87
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml 2 NonPoly ∞ 16.07/4.82 1 n1 ∞ 47.22/17.24
Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml 2 NonPoly ∞ 4.05/1.76 timeout (wallclock)"
Transformed_CSR_04/ExProp7_Luc06_L.xml 0 1 ∞ 3.24/1.49 2 1 n1 0.02/0.01
Transformed_CSR_04/Ex26_Luc03b_C.xml 4 n1 n1 24.75/7.49 2 n1 ∞ 760.86/296.31
Transformed_CSR_04/PALINDROME_complete_GM.xml 2 n1 ∞ 895.10/292.55 timeout (wallclock)"
Transformed_CSR_04/LISTUTILITIES_complete_Z.xml 2 NonPoly ∞ 39.93/12.05 1 n1 ∞ 791.02/295.05
Transformed_CSR_04/Ex18_Luc06_FR.xml 4 n1 n1 3.36/1.50 4 n1 n1 0.21/0.07
Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml 4 n1 n1 31.47/9.02 4 n1 n1 9.68/2.44
Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml 2 n1 ∞ 303.66/291.43 timeout (wallclock)"
Transformed_CSR_04/Ex1_2_AEL03_GM.xml 2 NonPoly ∞ 3.76/1.69 timeout (wallclock)"
Transformed_CSR_04/Ex1_Zan97_L.xml 2 NonPoly ∞ 3.45/1.54 0 1 ∞ 23.39/7.04
Transformed_CSR_04/PEANO_complete_GM.xml 2 NonPoly ∞ 8.33/3.02 1 n1 ∞ 663.59/295.12
Transformed_CSR_04/PALINDROME_nosorts_C.xml 4 n1 n1 22.45/7.73 4 n1 n1 1.17/0.28
Transformed_CSR_04/OvConsOS_complete_Z.xml 2 n1 ∞ 359.23/291.51 2 n1 ∞ 785.98/295.08
Transformed_CSR_04/Ex24_GM04_FR.xml StarExec error timeout (wallclock)"
Transformed_CSR_04/Ex5_Zan97_Z.xml 0 1 ∞ 3.36/1.50 2 1 n1 1.40/0.20
Transformed_CSR_04/Ex4_7_56_Bor03_C.xml 4 n1 n1 23.80/8.40 2 n1 ∞ 752.70/295.20
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml 2 n1 ∞ 462.76/291.49 2 n1 ∞ 705.19/295.07
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml 2 NonPoly ∞ 3.14/1.46 0 1 ∞ 0.00/0.01
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml 2 NonPoly ∞ 4.98/1.96 1 n1 ∞ 537.00/295.25
Transformed_CSR_04/MYNAT_complete_L.xml 2 NonPoly ∞ 3.10/1.47 0 1 ∞ 0.02/0.01
Transformed_CSR_04/OvConsOS_nosorts_Z.xml 2 NonPoly ∞ 4.17/1.76 1 n1 ∞ 71.77/31.10
Transformed_CSR_04/Ex6_GM04_FR.xml 2 NonPoly ∞ 3.36/1.51 0 1 ∞ 483.42/295.04
Transformed_CSR_04/Ex18_Luc06_GM.xml 4 n1 n1 3.14/1.52 4 n1 n1 0.02/0.01
Transformed_CSR_04/LISTUTILITIES_complete_L.xml 2 NonPoly ∞ 3.29/1.52 0 1 ∞ 0.03/0.01
Transformed_CSR_04/Ex4_Zan97_Z.xml 2 n1 ∞ 335.55/292.11 2 n1 ∞ 496.22/295.62
Transformed_CSR_04/Ex49_GM04_GM.xml 2 NonPoly ∞ 4.55/1.89 timeout (wallclock)"
Transformed_CSR_04/Ex3_12_Luc96a_L.xml 2 NonPoly ∞ 2.84/1.45 0 1 ∞ 0.00/0.01
Transformed_CSR_04/Ex25_Luc06_C.xml 4 n1 n1 23.57/9.45 4 n1 n1 0.05/0.02
Transformed_CSR_04/Ex1_Luc04b_FR.xml 2 NonPoly ∞ 4.02/1.71 1 n1 ∞ 23.61/7.05
Transformed_CSR_04/Ex8_BLR02_Z.xml 2 n1 ∞ 315.13/292.04 timeout (wallclock)"
Transformed_CSR_04/PEANO_complete_Z.xml 2 n1 ∞ 323.81/291.46 2 n1 ∞ 765.07/295.21
Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml 4 n1 n1 4.07/1.76 4 n1 n1 0.12/0.04
Transformed_CSR_04/Ex1_2_Luc02c_C.xml 4 n1 n1 19.71/6.76 2 n1 ∞ 685.80/295.71
Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml StarExec error 4 n1 n1 4.58/1.16
Transformed_CSR_04/Ex1_GM03_L.xml 2 NonPoly ∞ 3.07/1.47 0 1 ∞ 0.00/0.01
Transformed_CSR_04/Ex18_Luc06_C.xml 4 n1 n1 20.35/6.62 4 n1 n1 0.62/0.17
Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml 4 n3 n3 1099.01/291.59 1 n1 ∞ 716.31/295.38
Transformed_CSR_04/Ex5_DLMMU04_L.xml 2 NonPoly ∞ 3.18/1.54 0 1 ∞ 0.00/0.01
Transformed_CSR_04/Ex4_DLMMU04_Z.xml 2 NonPoly ∞ 10.06/3.25 1 n1 ∞ 807.71/295.17
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml 2 n1 ∞ 624.73/291.53 2 n1 ∞ 1021.36/295.10
Transformed_CSR_04/Ex4_7_56_Bor03_L.xml 2 NonPoly ∞ 3.13/1.51 0 1 ∞ 0.00/0.01
Transformed_CSR_04/Ex5_DLMMU04_Z.xml 2 NonPoly ∞ 3.73/1.58 timeout (wallclock)"
Transformed_CSR_04/Ex4_4_Luc96b_FR.xml 2 NonPoly ∞ 3.55/1.63 timeout (wallclock)"
Transformed_CSR_04/Ex5_Zan97_GM.xml 2 n1 ∞ 1126.90/291.46 2 n1 ∞ 30.70/8.73
Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml 2 NonPoly ∞ 3.45/1.62 0 1 ∞ 0.04/0.02
Transformed_CSR_04/ExIntrod_GM99_Z.xml 0 1 ∞ 306.70/291.92 0 1 ∞ 414.56/295.13
Transformed_CSR_04/MYNAT_nokinds-noand_L.xml 2 NonPoly ∞ 3.07/1.45 0 1 ∞ 0.02/0.01
Transformed_CSR_04/Ex25_Luc06_GM.xml 4 n1 n1 8.30/2.97 4 n1 n1 0.03/0.01
Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml 2 NonPoly ∞ 13.32/4.43 1 n1 ∞ 880.65/295.04
Transformed_CSR_04/ExIntrod_Zan97_Z.xml 2 NonPoly ∞ 3.30/1.49 timeout (wallclock)"
Transformed_CSR_04/MYNAT_nokinds_Z.xml 2 n1 ∞ 326.29/292.15 2 n1 ∞ 822.32/295.23
Transformed_CSR_04/Ex15_Luc98_C.xml 4 n1 n1 23.13/10.81 2 n1 ∞ 760.51/297.19
Transformed_CSR_04/Ex8_BLR02_C.xml 4 n1 n1 25.80/7.96 2 n1 ∞ 724.62/295.26
Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml 2 n2 ∞ 1155.76/293.38 1 n1 ∞ 576.05/295.32
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml 2 NonPoly ∞ 3.18/1.59 0 1 ∞ 0.02/0.01
Transformed_CSR_04/Ex6_15_AEL02_C.xml 4 n1 n1 36.42/10.61 2 n1 ∞ 706.41/295.13
Transformed_CSR_04/Ex14_AEGL02_FR.xml 2 NonPoly ∞ 3.49/1.57 1 n1 ∞ 559.94/295.33
Transformed_CSR_04/MYNAT_nokinds_C.xml 4 n1 n1 25.63/7.63 StarExec error
Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml 2 n1 ∞ 1123.57/291.58 2 n1 ∞ 1181.81/298.05
Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml 2 n1 ∞ 1172.66/295.37 2 n1 ∞ 734.23/295.09
Transformed_CSR_04/ExIntrod_Zan97_C.xml 4 n1 n1 22.44/6.52 StarExec error
Transformed_CSR_04/MYNAT_nosorts_L.xml 2 NonPoly ∞ 3.17/1.52 0 1 ∞ 0.00/0.01
Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml 2 NonPoly ∞ 2.94/1.44 0 1 ∞ 0.02/0.01
Transformed_CSR_04/Ex49_GM04_L.xml 2 NonPoly ∞ 3.27/1.46 0 1 ∞ 0.00/0.01
Transformed_CSR_04/Ex7_BLR02_GM.xml 2 NonPoly ∞ 3.81/1.62 timeout (wallclock)"
Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml 2 NonPoly ∞ 5.47/2.08 StarExec error
Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml 2 NonPoly ∞ 3.62/1.60 timeout (wallclock)"
Transformed_CSR_04/Ex2_Luc03b_L.xml 0 1 ∞ 3.20/1.47 0 1 ∞ 0.02/0.01
Transformed_CSR_04/Ex4_DLMMU04_FR.xml 2 NonPoly ∞ 6.30/2.28 1 n1 ∞ 802.32/295.11
Transformed_CSR_04/Ex2_Luc03b_Z.xml 4 n1 n1 31.14/11.90 4 n1 n1 3.01/0.77
Transformed_CSR_04/Ex6_Luc98_FR.xml 2 NonPoly ∞ 3.48/1.63 timeout (wallclock)"
Transformed_CSR_04/Ex9_BLR02_FR.xml StarExec error timeout (wallclock)"
Transformed_CSR_04/MYNAT_complete_noand_GM.xml 2 NonPoly ∞ 35.99/13.56 1 n1 ∞ 1046.56/295.07
Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml 2 NonPoly ∞ 3.06/1.45 0 1 ∞ 0.02/0.01
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml 2 NonPoly ∞ 3.19/1.51 0 1 ∞ 0.02/0.01
Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml 2 NonPoly ∞ 4.99/1.92 1 n1 ∞ 905.58/295.18
Transformed_CSR_04/ExAppendixB_AEL03_C.xml 4 n1 n1 40.34/11.57 timeout (wallclock)"
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml 2 n1 ∞ 306.35/291.97 2 n1 ∞ 543.61/295.14
Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml 2 NonPoly ∞ 3.18/1.48 timeout (wallclock)"
Transformed_CSR_04/Ex6_9_Luc02c_C.xml 4 n1 n1 20.12/6.90 2 n1 ∞ 687.96/295.71
Transformed_CSR_04/PEANO_complete_C.xml 4 n1 n1 28.35/8.38 2 n1 ∞ 674.88/295.06
Transformed_CSR_04/Ex6_15_AEL02_GM.xml 2 NonPoly ∞ 4.73/1.98 timeout (wallclock)"
Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml 2 NonPoly ∞ 3.30/1.46 0 1 ∞ 0.02/0.01
Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml 2 NonPoly ∞ 957.55/241.65 1 n1 ∞ 72.28/27.10
Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml 4 n1 n1 40.17/13.89 2 n1 ∞ 694.09/295.13
Transformed_CSR_04/ExConc_Zan97_FR.xml 4 n1 n1 7.18/2.48 4 n1 n1 0.22/0.06
Transformed_CSR_04/ExIntrod_GM04_L.xml 2 NonPoly ∞ 3.15/1.94 0 1 ∞ 0.00/0.00
Transformed_CSR_04/Ex4_DLMMU04_GM.xml 2 NonPoly ∞ 25.99/9.96 1 n1 ∞ 878.87/295.38
Transformed_CSR_04/PEANO_complete_FR.xml 2 NonPoly ∞ 3.87/1.68 1 n1 ∞ 770.36/295.21
Transformed_CSR_04/Ex5_DLMMU04_FR.xml 2 NonPoly ∞ 4.42/1.79 1 n1 ∞ 598.84/295.16
Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml 2 n1 ∞ 308.22/291.94 4 n1 n1 1.31/0.33
Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml 2 NonPoly ∞ 3.25/1.54 0 1 ∞ 0.02/0.01
Transformed_CSR_04/Ex18_Luc06_Z.xml 0 1 ∞ 3.49/1.56 2 1 n1 0.19/0.05
Transformed_CSR_04/ExIntrod_GM04_FR.xml 2 NonPoly ∞ 40.46/12.27 1 n1 ∞ 25.97/7.04
Transformed_CSR_04/Ex4_Zan97_GM.xml 2 NonPoly ∞ 3.70/1.59 timeout (wallclock)"
Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml 2 n1 ∞ 319.88/292.11 2 n1 ∞ 619.56/295.11
Transformed_CSR_04/Ex5_7_Luc97_C.xml StarExec error StarExec error
Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml 2 NonPoly ∞ 3.60/1.67 1 n1 ∞ 740.03/295.19
Transformed_CSR_04/Ex26_Luc03b_L.xml 0 1 ∞ 3.49/1.57 0 1 ∞ 0.02/0.01
Transformed_CSR_04/MYNAT_complete_C.xml 4 n1 n1 35.29/10.46 StarExec error
Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml StarExec error 2 n1 ∞ 834.83/295.08
Transformed_CSR_04/PEANO_nokinds-noand_FR.xml 2 NonPoly ∞ 4.79/1.95 1 n1 ∞ 705.12/295.26
Transformed_CSR_04/Ex1_2_AEL03_L.xml 2 NonPoly ∞ 3.11/1.51 0 1 ∞ 0.02/0.01
Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml 4 n1 n1 37.30/10.54 2 n1 ∞ 700.90/295.17
Transformed_CSR_04/MYNAT_nokinds_L.xml 2 NonPoly ∞ 3.17/1.53 0 1 ∞ 0.00/0.01
Transformed_CSR_04/MYNAT_complete_FR.xml 2 NonPoly ∞ 4.04/1.72 1 n1 ∞ 767.99/295.05
TCT_12/recursion-10.xml 4 n1 n10 676.12/292.20 4 n1 n10 110.46/38.94
TCT_12/polycounter-10.xml 2 n1 ∞ 1163.69/293.25 2 n1 ∞ 1181.85/297.68
TCT_12/recursion-5.xml 4 n1 n5 394.42/291.47 4 n1 n5 44.77/15.39
TCT_12/polycounter-5.xml 4 n1 n5 1035.28/291.48 2 n1 ∞ 37.79/11.12
TCT_12/sat.xml 2 n1 ∞ 321.58/293.27 2 n1 ∞ 545.11/295.21
Secret_07_TRS/aprove07.xml 2 n1 ∞ 311.23/291.57 2 n1 ∞ 517.92/295.26
Secret_07_TRS/secret3.xml 2 NonPoly ∞ 3.52/1.57 1 n1 ∞ 584.78/295.10
Secret_07_TRS/aprove04.xml 2 n1 ∞ 312.04/292.02 2 n1 ∞ 743.92/295.34
Secret_07_TRS/3.xml 0 1 ∞ 3.74/1.70 StarExec error
Secret_07_TRS/aprove02.xml 2 n1 ∞ 314.81/291.56 2 n1 ∞ 498.93/295.22
Secret_07_TRS/aprove10.xml timeout (wallclock)" 2 n1 ∞ 739.23/295.45
Secret_07_TRS/aprove08.xml 2 n1 ∞ 311.05/291.92 2 n1 ∞ 636.02/295.28
Secret_07_TRS/aprove09.xml 2 n1 ∞ 313.56/291.43 2 n1 ∞ 497.88/295.18
Secret_07_TRS/aprove01.xml 2 n1 ∞ 304.88/291.52 2 n1 ∞ 505.75/295.24
Secret_07_TRS/aprove06.xml 2 n1 ∞ 312.62/291.47 2 n1 ∞ 505.88/295.20
Secret_07_TRS/aprove03.xml 2 n1 ∞ 308.41/291.47 2 n1 ∞ 758.36/295.11
Secret_07_TRS/secret5.xml 2 NonPoly ∞ 3.55/1.65 timeout (wallclock)"
Secret_07_TRS/secret4.xml 4 n1 n2 332.91/291.48 timeout (wallclock)"
Secret_07_TRS/aprove05.xml 2 n1 ∞ 305.93/291.46 2 n1 ∞ 548.35/295.31
Secret_07_TRS/secret1.xml 4 n1 n1 15.38/5.01 timeout (wallclock)"
Secret_06_TRS/10.xml 0 1 ∞ 3.61/1.63 2 1 n1 0.58/0.16
Secret_06_TRS/division.xml 2 n1 ∞ 303.54/291.47 2 n1 ∞ 461.52/295.38
Secret_06_TRS/gen-28.xml 0 1 ∞ 3.23/1.49 timeout (wallclock)"
Secret_06_TRS/tpa10.xml 2 n2 ∞ 312.08/291.48 1 n1 ∞ 765.62/295.47
Secret_06_TRS/tpa07.xml 2 n2 ∞ 314.43/291.55 1 n1 ∞ 651.11/295.01
Secret_06_TRS/tpa04.xml 2 n1 ∞ 308.37/291.88 2 n1 ∞ 740.02/295.74
Secret_06_TRS/tpa09.xml 2 n2 ∞ 310.32/292.18 1 n1 ∞ 740.07/295.57
Secret_06_TRS/gen-17.xml 0 1 ∞ 3.40/1.52 0 1 ∞ 0.67/0.15
Secret_06_TRS/toList.xml 2 n1 ∞ 305.35/292.04 StarExec error
Secret_06_TRS/reverse.xml 2 n2 ∞ 316.78/291.45 timeout (wallclock)"
Secret_06_TRS/tpa06.xml 2 n1 ∞ 315.85/291.46 2 n1 ∞ 761.28/295.22
Secret_06_TRS/times.xml StarExec error 2 n1 ∞ 492.48/295.22
Secret_06_TRS/logarithm.xml 2 n1 ∞ 315.68/291.47 2 n1 ∞ 471.85/295.37
Secret_06_TRS/double.xml 2 n1 ∞ 314.20/291.51 2 n1 ∞ 515.73/295.31
Secret_06_TRS/nrOfNodes.xml 2 n2 ∞ 306.10/291.92 1 n1 ∞ 498.51/295.34
Secret_06_TRS/divExp.xml 4 n1 n3 995.59/291.52 timeout (wallclock)"
Secret_06_TRS/tpa05.xml 2 n2 ∞ 311.55/291.42 0 1 ∞ 585.10/244.25
Secret_06_TRS/6.xml 0 1 ∞ 3.28/1.52 2 1 n1 0.39/0.09
Secret_06_TRS/4.xml 0 1 ∞ 3.38/1.50 2 1 n1 0.37/0.08
Secret_06_TRS/sumList.xml StarExec error 2 n1 ∞ 497.66/295.42
Secret_06_TRS/tpa08.xml 2 n2 ∞ 308.82/291.49 1 n1 ∞ 690.28/295.12
Secret_06_TRS/addList.xml 2 n1 ∞ 598.38/291.44 2 n1 ∞ 763.38/295.23
Secret_06_TRS/gen-1.xml 0 1 ∞ 3.35/1.60 2 1 n1 7.65/2.54
Strategy_removed_AG01/#4.19.xml 2 n1 ∞ 308.96/291.51 timeout (wallclock)"
Strategy_removed_AG01/#4.27.xml 4 n1 n2 316.65/291.48 2 n1 ∞ 732.57/295.52
Strategy_removed_AG01/#4.17.xml 4 n1 n1 15.03/4.90 4 n1 n1 2.35/0.12
Strategy_removed_AG01/#4.22.xml StarExec error 4 n1 n1 0.74/0.21
Strategy_removed_AG01/#4.36.xml 2 n2 ∞ 307.64/291.47 1 n1 ∞ 878.50/295.41
Strategy_removed_AG01/#4.37.xml 4 n1 n1 23.57/7.28 4 n1 n1 0.01/0.01
Strategy_removed_AG01/#4.20a.xml 4 n1 n1 20.59/9.91 4 n1 n1 0.13/0.04
Strategy_removed_AG01/#4.30b.xml 4 n1 n1 47.17/15.77 2 n1 ∞ 791.80/295.60
Strategy_removed_AG01/#4.33.xml 2 n2 ∞ 1081.87/291.49 StarExec error
Strategy_removed_AG01/#4.26.xml 2 n1 ∞ 305.11/291.88 0 1 ∞ 170.58/107.18
Strategy_removed_AG01/#4.35.xml 2 NonPoly ∞ 5.43/2.11 timeout (wallclock)"
Strategy_removed_AG01/#4.16.xml 4 n1 n1 13.55/5.45 4 n1 n1 0.47/0.11
Strategy_removed_AG01/#4.14.xml 4 n1 n1 14.96/4.88 4 n1 n1 0.29/0.07
Strategy_removed_AG01/#4.23.xml 4 n1 n2 412.08/291.43 0 1 ∞ 432.57/171.48
Strategy_removed_AG01/#4.32.xml 4 n1 n2 318.09/291.45 StarExec error
Strategy_removed_AG01/#4.28.xml 4 n1 n1 18.48/5.56 StarExec error
Strategy_removed_AG01/#4.25.xml StarExec error StarExec error
Strategy_removed_AG01/#4.30a.xml 4 n1 n1 27.63/11.90 0 1 ∞ 199.22/118.13
Strategy_removed_AG01/#4.30.xml 2 n1 ∞ 304.41/291.90 0 1 ∞ 310.77/197.98
Strategy_removed_AG01/#4.29.xml 2 n1 ∞ 311.91/291.46 2 n1 ∞ 769.05/295.30
Strategy_removed_AG01/#4.34.xml 2 n1 ∞ 300.91/292.00 4 n1 n3 5.49/1.53
Strategy_removed_AG01/#4.37a.xml 4 n1 n1 23.06/7.11 4 n1 n1 0.66/0.15
Strategy_removed_AG01/#4.30c.xml 2 n1 ∞ 310.28/291.45 2 n1 ∞ 680.95/295.48
Strategy_removed_AG01/#4.2.xml 4 n1 n1 15.04/5.15 4 n1 n1 0.36/0.09
Strategy_removed_AG01/#4.7.xml 0 1 ∞ 3.45/1.58 2 1 n1 1.49/0.39
SK90/2.49.xml 0 1 ∞ 3.18/1.48 2 1 n1 0.26/0.07
SK90/4.12.xml 4 n1 n1 3.65/1.64 4 n1 n1 1.26/0.33
SK90/2.45.xml 4 n1 n1 28.33/7.93 4 n1 n1 2.33/0.60
SK90/2.15.xml 2 NonPoly ∞ 3.16/1.55 2 NonPoly ∞ 558.56/295.10
SK90/2.40.xml 4 n1 n1 20.13/7.54 4 n1 n1 0.64/0.16
SK90/2.47.xml 4 n1 n1 6.76/2.52 4 n1 n1 0.37/0.09
SK90/2.22.xml 2 NonPoly ∞ 3.36/3.10 timeout (wallclock)"
SK90/4.10.xml 4 n1 n2 359.47/291.48 4 n1 n2 5.28/1.41
SK90/4.26.xml 4 n1 n1 17.58/6.39 4 n1 n1 0.30/0.08
SK90/2.59.xml StarExec error 2 1 n1 0.39/0.10
SK90/2.27.xml 2 n1 ∞ 320.33/291.90 2 n1 ∞ 888.78/295.15
SK90/4.57.xml 0 1 ∞ 305.11/291.42 0 1 ∞ 501.97/192.98
SK90/4.60.xml 2 NonPoly ∞ 3.43/1.56 timeout (wallclock)"
SK90/2.31.xml 4 n1 n1 3.54/1.58 4 n1 n1 0.21/0.07
SK90/4.28.xml 4 n1 n1 33.99/10.42 4 n1 n1 4.60/1.08
SK90/2.52.xml 2 n1 ∞ 1120.67/292.16 timeout (wallclock)"
SK90/2.03.xml 4 n1 n1 7.33/2.61 4 n1 n1 0.29/0.08
SK90/4.13.xml 4 n1 n1 21.33/6.92 3 n1 n2 6.36/1.67
SK90/4.53.xml StarExec error 4 n1 n2 11.96/3.02
SK90/2.38.xml 4 n1 n1 5.43/2.10 4 n1 n1 0.16/0.05
SK90/4.06.xml 2 NonPoly ∞ 3.39/1.55 timeout (wallclock)"
SK90/2.25.xml StarExec error 2 NonPoly ∞ 584.77/295.20
SK90/2.12.xml 4 n3 n3 32.09/9.49 1 n1 ∞ 482.45/295.49
SK90/4.54.xml 2 NonPoly ∞ 3.30/1.51 StarExec error
SK90/2.50.xml 4 n1 n1 6.95/2.46 4 n1 n1 0.06/0.03
SK90/4.34.xml 2 NonPoly ∞ 3.48/1.62 1 n1 ∞ 38.37/12.56
SK90/4.47.xml 0 1 ∞ 3.51/1.58 0 1 ∞ 0.02/0.01
SK90/2.07.xml 4 n1 n1 19.05/6.23 3 n1 n2 2.59/0.89
SK90/2.42.xml 4 n1 n1 16.79/6.23 4 n1 n1 0.24/0.07
SK90/2.09.xml 4 n1 n1 6.47/2.44 4 n1 n1 0.40/0.09
SK90/4.48.xml 0 1 ∞ 3.20/1.50 2 1 n1 0.20/0.05
SK90/2.17.xml 4 n1 n1 24.88/7.10 4 n1 n1 0.96/0.25
SK90/4.30.xml 4 n1 n1 3.49/1.65 4 n1 n1 1.01/0.20
SK90/2.39.xml 4 n2 n2 20.02/7.77 3 n1 n2 7.52/1.99
SK90/2.29.xml 4 n1 n1 22.99/6.73 4 n1 n1 5.36/1.37
SK90/4.27.xml 2 n1 ∞ 975.69/292.13 2 n1 ∞ 684.23/295.07
SK90/4.61.xml 2 NonPoly ∞ 3.31/1.56 1 n1 ∞ 700.97/295.18
SK90/4.09.xml 0 1 ∞ 3.43/1.55 0 1 ∞ 0.36/0.10
SK90/4.29.xml 4 n1 n1 3.54/1.54 4 n1 n1 0.03/0.01
SK90/2.37.xml 0 1 ∞ 3.27/1.53 0 1 ∞ 0.38/0.11
SK90/4.07.xml 0 1 ∞ 3.28/1.53 2 1 n1 0.03/0.02
SK90/4.45.xml 4 n1 n1 13.83/5.39 4 n1 n1 0.02/0.01
SK90/2.54.xml 4 n1 n1 5.36/2.03 4 n1 n1 0.66/0.10
SK90/4.16.xml 4 n1 n1 3.40/1.56 4 n1 n1 0.02/0.01
SK90/4.31.xml 2 NonPoly ∞ 3.52/2.68 2 NonPoly ∞ 551.05/295.09
SK90/2.13.xml 4 n1 n1 19.26/6.95 4 n1 n1 2.43/0.59
SK90/4.18.xml 0 1 ∞ 3.47/1.61 0 1 ∞ 0.92/0.19
SK90/2.20.xml 4 n1 n1 20.53/6.26 4 n1 n1 1.51/0.36
SK90/2.55.xml 4 n1 n1 17.03/5.34 4 n1 n1 0.23/0.07
SK90/4.05.xml 4 n1 n2 342.40/291.47 4 n1 n2 2.75/0.40
SK90/4.22.xml 2 n1 ∞ 375.25/292.94 timeout (wallclock)"
SK90/4.43.xml timeout (wallclock)" 2 n1 ∞ 516.20/295.50
SK90/2.44.xml StarExec error 4 n1 n1 5.69/1.37
SK90/4.25.xml 4 n1 n1 18.49/5.65 4 n1 n1 0.02/0.01
SK90/2.43.xml 2 NonPoly ∞ 3.26/2.56 timeout (wallclock)"
SK90/2.48.xml 0 1 ∞ 3.45/1.51 0 1 ∞ 0.02/0.01
SK90/4.17.xml 2 n2 ∞ 321.86/291.46 0 1 ∞ 117.92/70.37
SK90/2.24.xml 2 NonPoly ∞ 3.36/2.27 2 NonPoly ∞ 7.05/3.07
SK90/2.16.xml 4 n2 n2 29.25/9.24 3 n1 n2 11.09/3.00
SK90/2.41.xml 4 n1 n1 3.43/1.57 4 n1 n1 0.42/0.09
SK90/2.51.xml 2 n1 ∞ 962.48/291.49 timeout (wallclock)"
SK90/4.24.xml 2 NonPoly ∞ 3.46/1.58 timeout (wallclock)"
SK90/2.28.xml timeout (wallclock)" timeout (wallclock)"
SK90/2.23.xml 2 n3 ∞ 956.30/291.49 1 n1 ∞ 486.63/295.40
SK90/4.38.xml 4 n1 n1 3.38/1.58 4 n1 n1 0.75/0.13
SK90/4.42.xml 2 n1 ∞ 302.62/291.88 timeout (wallclock)"
SK90/2.53.xml 4 n1 n1 3.12/1.51 4 n1 n1 0.02/0.01
SK90/2.21.xml 2 NonPoly ∞ 3.11/1.48 1 n1 ∞ 8.28/3.16
SK90/2.61.xml 1 1 n2 333.08/291.43 2 1 n1 0.73/0.17
SK90/2.19.xml 4 n2 n2 25.85/8.45 3 n1 n2 5.01/1.47
SK90/2.11.xml 4 n1 n1 3.58/1.57 4 n1 n1 0.01/0.01
SK90/4.51.xml 0 1 ∞ 3.25/1.50 2 1 n1 0.21/0.06
SK90/2.26.xml 2 NonPoly ∞ 3.15/1.58 timeout (wallclock)"
SK90/2.30.xml 0 1 ∞ 3.37/1.49 2 1 n1 0.64/0.17
SK90/2.14.xml 4 n1 n1 8.08/2.82 4 n1 n1 0.88/0.23
SK90/2.36.xml 4 n1 n1 3.31/1.53 4 n1 n1 3.09/0.54
SK90/2.02.xml 4 n1 n1 6.95/2.43 4 n1 n1 0.41/0.09
SK90/2.18.xml 4 n1 n2 333.88/291.48 4 n1 n2 2.74/0.71
SK90/4.35.xml 0 1 ∞ 3.27/1.56 0 1 ∞ 0.02/0.01
SK90/4.59.xml 2 NonPoly ∞ 3.33/1.59 timeout (wallclock)"
Waldmann_06/jwno4.xml 2 NonPoly ∞ 4.40/1.76 1 n1 ∞ 23.97/7.01
Waldmann_06/jwmatchb2.xml 4 n1 n1 3.44/1.58 4 n1 n1 0.08/0.03
Waldmann_06/jwno6.xml 2 NonPoly ∞ 4.38/2.26 1 n1 ∞ 23.70/7.02
Waldmann_06/jwmatchb1.xml 4 n1 n1 3.43/1.60 4 n1 n1 0.08/0.03
Waldmann_06/jwno1.xml 2 NonPoly ∞ 4.44/1.92 1 n1 ∞ 28.79/9.51
Various_04/12.xml 4 n1 n2 1101.14/291.69 2 n1 ∞ 811.66/295.56
Various_04/10.xml 2 n1 ∞ 321.85/291.46 2 n1 ∞ 779.04/295.58
Various_04/14.xml 4 n1 n2 623.16/292.25 2 n1 ∞ 879.63/295.25
Various_04/13.xml 4 n1 n2 1087.65/292.93 2 n1 ∞ 823.30/295.51
Various_04/04.xml 0 1 ∞ 3.96/1.76 0 1 ∞ 627.04/167.64
Various_04/08.xml 0 1 ∞ 3.88/1.75 0 1 ∞ 641.45/190.09
Various_04/23.xml 4 n1 n1 22.87/9.81 4 n1 n1 0.65/0.14
Various_04/11.xml 0 1 ∞ 3.14/1.50 timeout (wallclock)"
Various_04/18.xml 4 n1 n1 16.90/5.28 2 1 n1 0.26/0.08
Various_04/24.xml 4 n1 n1 4.00/1.69 3 n1 n2 24.09/6.32
Various_04/15.xml 4 n1 n1 5.11/1.99 4 n1 n1 0.11/0.04
Various_04/22.xml 4 n1 n1 21.51/6.73 2 n1 ∞ 590.25/295.07
Zantema_05/z16.xml 2 n1 ∞ 1020.64/291.80 2 n1 ∞ 101.71/63.16
Zantema_05/z28.xml 4 n1 n1 6.42/2.39 timeout (wallclock)"
Zantema_05/z10.xml StarExec error timeout (wallclock)"
Zantema_05/z13.xml 2 n1 ∞ 1099.16/291.61 2 n1 ∞ 99.89/66.69
Zantema_05/z17.xml 2 n1 ∞ 1115.30/299.65 2 n1 ∞ 342.30/295.10
Zantema_05/z26.xml 4 n1 n1 16.66/4.98 4 n1 n1 0.62/0.13
Zantema_05/z27.xml 2 n1 ∞ 643.02/291.55 2 n1 ∞ 13.00/3.70
Zantema_05/z23.xml 4 n1 n1 5.58/4.04 StarExec error
Zantema_05/z12.xml 2 n1 ∞ 1068.49/293.89 StarExec error
Zantema_05/z15.xml 2 n1 ∞ 1097.29/291.62 2 n1 ∞ 347.31/191.29
Zantema_05/z14.xml 2 n1 ∞ 945.77/291.48 2 n1 ∞ 86.60/48.51
Zantema_05/z24.xml 2 n1 ∞ 1152.25/300.28 2 n1 ∞ 324.36/295.11
Zantema_05/z18.xml 2 n1 ∞ 1099.26/291.55 2 n1 ∞ 347.13/190.54
2209 1303