Runtime Complexity: TRS Innermost Certified

benchmark AProVE tct 2018-07-13
scoreloweruppertime scoreloweruppertime
Waldmann_06/jwno4.xml 0 1 ∞ 15.58/5.77 0 1 ∞ 113.61/63.52
Waldmann_06/jwmatchb2.xml 2 1 n1 5.47/2.27 2 1 n1 0.90/0.08
Waldmann_06/jwno6.xml 0 1 ∞ 15.00/5.51 0 1 ∞ 119.12/70.17
Waldmann_06/jwmatchb1.xml 2 1 n1 5.05/2.08 2 1 n1 0.82/0.06
Waldmann_06/jwno1.xml 0 1 ∞ 335.99/296.19 0 1 ∞ 66.23/20.06
Various_04/11.xml 0 1 ∞ 5.41/2.21 0 1 ∞ 22.07/7.07
Various_04/24.xml 2 1 n1 375.07/292.54 1 1 n2 33.56/9.76
Various_04/15.xml 2 1 n1 5.86/2.62 2 1 n1 0.22/0.07
Various_04/22.xml 0 1 ∞ 5.96/2.37 0 1 ∞ 26.22/9.17
Zantema_05/z16.xml 0 1 ∞ 121.53/110.77 0 1 ∞ 1017.59/296.33
Zantema_05/z13.xml 0 1 ∞ 237.44/225.56 0 1 ∞ 1032.96/296.13
Zantema_05/z17.xml 0 1 ∞ 326.94/291.50 0 1 ∞ 629.53/296.16
Zantema_05/z27.xml 0 1 ∞ 4.80/2.00 0 1 ∞ 36.35/11.08
Zantema_05/z23.xml 2 1 n1 413.60/291.51 0 1 ∞ 690.08/296.14
Zantema_05/z12.xml 0 1 ∞ 307.30/291.51 0 1 ∞ 808.84/296.09
Zantema_05/z15.xml 0 1 ∞ 303.54/291.52 0 1 ∞ 1123.69/296.16
Zantema_05/z14.xml 0 1 ∞ 118.25/107.87 0 1 ∞ 968.28/296.04
Zantema_05/z24.xml 0 1 ∞ 393.93/291.67 0 1 ∞ 626.50/296.06
Zantema_05/z18.xml 0 1 ∞ 303.29/291.50 0 1 ∞ 1126.02/296.25
AG01/#3.49.xml 0 1 ∞ 554.51/291.51 0 1 ∞ 1114.94/296.15
AG01/#3.18.xml 0 1 ∞ 9.87/3.46 0 1 ∞ 120.00/38.21
AG01/#3.6.xml 2 1 n2 9.77/3.37 2 1 n2 89.71/25.17
AG01/#3.35.xml 2 1 n1 3.64/1.77 2 1 n1 0.16/0.05
AG01/#3.53.xml 2 1 n3 14.79/5.09 2 1 n3 224.11/54.98
AG01/#3.55.xml 0 1 ∞ 991.32/296.84 0 1 ∞ 1041.92/296.21
AG01/#3.52.xml 1 1 n3 4.70/1.93 2 1 n2 0.81/0.24
AG01/#3.47.xml 2 1 n2 6.97/2.65 2 1 n2 0.99/0.50
AG01/#3.10.xml 0 1 ∞ 755.52/292.14 StarExec error
AG01/#3.6b.xml 2 1 n3 16.56/5.49 0 1 ∞ 271.55/133.46
AG01/#3.53b.xml StarExec error 2 1 n2 0.67/0.21
AG01/#3.12.xml 2 1 n3 13.10/5.46 0 1 ∞ 918.73/296.07
AG01/#3.23.xml 1 1 n2 4.70/1.90 2 1 n1 0.41/0.08
AG01/#3.15.xml 2 1 n1 10.57/4.00 2 1 n1 1.49/0.36
AG01/#3.5a.xml 2 1 n2 8.52/3.02 2 1 n2 61.32/15.60
AG01/#3.13.xml timeout (wallclock)" 0 1 ∞ 1008.37/296.37
AG01/#3.41.xml 0 1 ∞ 5.73/2.54 2 1 n3 16.86/11.26
AG01/#3.8a.xml 2 1 n2 16.25/5.02 2 1 n2 54.09/15.28
AG01/#3.2.xml 2 1 n2 6.27/2.31 2 1 n2 18.94/3.38
AG01/#3.36.xml 0 1 ∞ 195.11/177.99 0 1 ∞ 86.88/30.95
AG01/#3.48.xml 2 1 n2 14.12/4.46 2 1 n2 25.64/7.70
AG01/#3.16.xml 2 1 n3 5.97/2.27 2 1 n3 46.51/11.88
AG01/#3.1.xml 1 1 n2 5.14/2.46 2 1 n1 0.96/0.21
AG01/#3.6a.xml 2 1 n2 8.00/2.85 2 1 n2 4.90/1.47
AG01/#3.26.xml 0 1 ∞ 10.87/4.28 0 1 ∞ 171.79/76.58
AG01/#3.7.xml 1 1 n2 10.32/4.09 2 1 n1 2.36/0.60
AG01/#3.5b.xml 2 1 n3 17.33/5.70 StarExec error
AG01/#3.5.xml 2 1 n2 7.93/2.74 2 1 n2 5.86/1.69
AG01/#3.38.xml 0 1 ∞ 91.18/79.88 0 1 ∞ 931.97/296.43
AG01/#3.31.xml 0 1 ∞ 18.64/9.82 0 1 ∞ 64.85/25.63
AG01/#3.33.xml 2 1 n1 4.48/1.91 2 1 n1 0.24/0.05
AG01/#3.24.xml 2 1 n1 5.11/1.99 2 1 n1 0.03/0.01
AG01/#3.42.xml 2 1 n3 36.42/17.34 2 1 n3 212.03/24.95
AG01/#3.37.xml StarExec error 2 1 n1 0.31/0.05
AG01/#4.30c.xml 0 1 ∞ 43.05/28.76 0 1 ∞ 908.14/296.11
AG01/#3.8b.xml 2 1 n3 81.18/36.15 1 1 n5 481.01/235.51
AProVE_06/tower.xml 0 1 ∞ 664.23/296.53 0 1 ∞ 718.04/296.14
AProVE_06/tower_sizeChange.xml 0 1 ∞ 34.47/21.99 0 1 ∞ 806.52/296.12
AProVE_06/identity.xml 0 1 ∞ 35.63/16.31 0 1 ∞ 742.74/296.15
AProVE_06/logarithm.xml 0 1 ∞ 687.98/294.85 0 1 ∞ 978.92/296.42
AProVE_06/factorial1.xml 0 1 ∞ 651.65/298.58 0 1 ∞ 716.85/296.06
AProVE_06/factorial2.xml 0 1 ∞ 38.94/19.72 0 1 ∞ 214.72/78.59
AProVE_06/div_notCeTermin.xml 0 1 ∞ 248.34/222.36 0 1 ∞ 669.75/296.20
AProVE_06/quicksort.xml 0 1 ∞ 909.42/292.05 0 1 ∞ 619.15/296.04
AProVE_06/sizeChange.xml 0 1 ∞ 137.39/128.54 0 1 ∞ 235.61/75.95
AProVE_04/IJCAR_1.xml 0 1 ∞ 5.63/2.20 0 1 ∞ 674.78/296.10
AProVE_04/AAECC-ring.xml timeout (wallclock) 0 1 ∞ 1014.86/296.13
AProVE_04/AAECC.xml timeout (wallclock)" 0 1 ∞ 941.95/296.12
AProVE_04/JFP_Ex51.xml 2 1 n2 102.32/44.75 2 1 n2 38.33/12.26
AProVE_04/rta1.xml 0 1 ∞ 353.53/298.23 StarExec error
AProVE_04/fac.xml 0 1 ∞ 562.26/293.43 0 1 ∞ 720.28/254.20
AProVE_04/rta2.xml 0 1 ∞ 3.78/2.17 0 1 ∞ 15.17/4.94
AProVE_04/rta3.xml 0 1 ∞ 8.73/3.15 0 1 ∞ 42.40/14.47
Der95/27.xml 2 1 n1 3.79/1.75 2 1 n1 0.09/0.03
Der95/06.xml 2 1 n1 3.62/1.66 2 1 n1 0.05/0.03
Der95/08.xml 2 1 n1 4.05/1.86 1 1 n2 301.40/3.14
Der95/11.xml StarExec error 2 1 n1 50.17/14.26
Der95/18.xml 2 1 n1 3.58/1.69 2 1 n1 0.22/0.05
Der95/21.xml 0 1 ∞ 222.96/185.68 0 1 ∞ 179.12/65.64
Der95/32.xml 2 1 n2 7.01/2.56 2 1 n2 40.58/8.32
CiME_04/filliatre2.xml 0 1 ∞ 79.84/44.50 0 1 ∞ 367.73/296.09
CiME_04/append-hard.xml StarExec error 0 1 ∞ 48.65/18.66
CiME_04/ack_prolog.xml 0 1 ∞ 59.08/39.13 StarExec error
CiME_04/filliatre.xml 0 1 ∞ 123.34/81.72 0 1 ∞ 719.81/296.40
CiME_04/append.xml 2 1 n1 4.24/1.86 2 1 n1 0.65/0.21
CiME_04/fact-hard.xml 0 1 ∞ 729.41/298.26 0 1 ∞ 499.86/264.93
CiME_04/filliatre3.xml 0 1 ∞ 90.05/49.89 0 1 ∞ 621.63/237.49
CiME_04/list-sum-prod.xml 0 1 ∞ 24.65/12.73 0 1 ∞ 165.09/63.22
CiME_04/append-wrong.xml 0 1 ∞ 133.51/122.28 0 1 ∞ 1183.69/296.16
Frederiksen_Glenstrup/naiverev.xml 2 1 n2 11.91/4.25 2 1 n2 33.96/8.86
Frederiksen_Glenstrup/increase.xml StarExec error 0 1 ∞ 1183.98/296.18
Frederiksen_Glenstrup/ack.xml 0 1 ∞ 16.51/6.36 StarExec error
Frederiksen_Glenstrup/deeprev_typed.xml 2 1 n1 6.81/2.54 2 1 n1 8.28/2.09
Frederiksen_Glenstrup/assrewrite.xml 0 1 ∞ 18.28/7.29 0 1 ∞ 329.05/153.84
Frederiksen_Glenstrup/binom.xml 0 1 ∞ 30.71/11.98 0 1 ∞ 145.50/49.23
Frederiksen_Glenstrup/addlists.xml 2 1 n1 4.48/1.92 2 1 n1 2.24/0.57
Frederiksen_Glenstrup/fold.xml 2 1 n1 4.90/1.99 2 1 n1 1.21/0.24
Frederiksen_Glenstrup/mul.xml 2 1 n3 6.29/2.44 2 1 n3 43.25/11.93
Frederiksen_Glenstrup/sp1.xml 0 1 ∞ 12.96/5.05 0 1 ∞ 64.47/20.02
Frederiksen_Glenstrup/nestdec.xml 2 1 n1 7.40/2.77 2 1 n1 1.33/0.34
Frederiksen_Glenstrup/member.xml 2 1 n1 5.14/2.09 2 1 n1 2.62/0.60
Frederiksen_Glenstrup/power.xml 0 1 ∞ 11.61/3.97 0 1 ∞ 56.75/21.16
Frederiksen_Glenstrup/mul_better.xml 2 1 n3 6.11/2.36 2 1 n3 64.25/16.84
Frederiksen_Glenstrup/lte.xml 2 1 n1 5.38/2.13 2 1 n1 1.39/0.33
Frederiksen_Glenstrup/overlap.xml 2 1 n2 8.64/3.08 2 1 n2 20.92/5.09
Frederiksen_Glenstrup/nestimeql.xml 0 1 ∞ 136.46/122.34 0 1 ∞ 1183.31/296.17
Frederiksen_Glenstrup/minsort.xml 0 1 ∞ 22.43/11.23 0 1 ∞ 196.42/71.22
Frederiksen_Glenstrup/thetrick.xml timeout (wallclock)" 0 1 ∞ 631.60/296.02
Frederiksen_Glenstrup/badd.xml 0 1 ∞ 13.30/4.70 0 1 ∞ 63.19/20.01
Frederiksen_Glenstrup/evenodd.xml 2 1 n1 4.01/1.75 2 1 n1 0.17/0.06
Frederiksen_Glenstrup/append.xml 2 1 n1 4.01/6.14 2 1 n1 0.14/0.04
Frederiksen_Glenstrup/duplicate.xml 2 1 n1 3.45/1.61 2 1 n1 0.93/0.20
Frederiksen_Glenstrup/add.xml 2 1 n1 4.49/1.86 2 1 n1 0.77/0.21
Frederiksen_Glenstrup/ordered_better.xml 2 1 n1 5.26/2.07 2 1 n1 2.80/0.72
Frederiksen_Glenstrup/turing_typed.xml 0 1 ∞ 33.66/16.70 0 1 ∞ 179.81/84.84
Frederiksen_Glenstrup/map0.xml 2 1 n1 4.76/1.95 2 1 n1 2.77/0.64
Frederiksen_Glenstrup/lambdaint_typed.xml 0 1 ∞ 609.40/291.52 0 1 ∞ 557.35/296.13
Frederiksen_Glenstrup/intlookup.xml 0 1 ∞ 5.87/2.26 0 1 ∞ 27.96/9.41
Frederiksen_Glenstrup/list.xml 2 1 n1 3.92/1.74 2 1 n1 0.21/0.06
Frederiksen_Glenstrup/vangelder_typed.xml timeout (wallclock)" 0 1 ∞ 1013.30/296.17
Frederiksen_Glenstrup/disjconj.xml 0 1 ∞ 14.88/6.18 0 1 ∞ 110.85/35.21
Frederiksen_Glenstrup/mergelists.xml 2 1 n1 6.12/2.38 2 1 n1 2.14/0.51
Frederiksen_Glenstrup/equal.xml 0 1 ∞ 10.70/4.14 0 1 ∞ 1183.88/296.18
Frederiksen_Glenstrup/gcd2.xml timeout (wallclock)" 0 1 ∞ 583.21/296.13
Frederiksen_Glenstrup/anchored.xml 2 1 n1 4.21/1.79 2 1 n1 0.17/0.04
Frederiksen_Glenstrup/ordered.xml 2 1 n1 4.96/1.98 2 1 n1 2.54/0.59
Frederiksen_Glenstrup/subsets.xml 0 1 ∞ 7.96/3.01 0 1 ∞ 94.97/33.14
Frederiksen_Glenstrup/select.xml 2 1 n2 5.25/2.16 2 1 n2 19.92/5.26
Frederiksen_Glenstrup/game.xml 2 1 n1 5.61/2.30 2 1 n1 4.19/1.02
Frederiksen_Glenstrup/letexp.xml 0 1 ∞ 10.58/4.19 0 1 ∞ 51.51/20.11
Frederiksen_Glenstrup/shuffle.xml 2 1 n3 12.92/4.53 2 1 n3 750.00/129.93
Frederiksen_Glenstrup/parsexp.xml 0 1 ∞ 897.67/291.54 0 1 ∞ 319.11/134.21
Frederiksen_Glenstrup/gcd.xml timeout (wallclock)" 0 1 ∞ 584.68/296.07
Frederiksen_Glenstrup/revapp.xml 2 1 n1 3.88/1.73 2 1 n1 0.93/0.25
Frederiksen_Glenstrup/quicksort.xml 0 1 ∞ 314.77/292.09 0 1 ∞ 284.74/108.32
Frederiksen_Glenstrup/mergesort.xml 0 1 ∞ 50.74/30.40 0 1 ∞ 264.29/105.23
Frederiksen_Glenstrup/decrease.xml 2 1 n1 4.11/1.84 2 1 n1 0.51/0.14
Frederiksen_Glenstrup/permute.xml 0 1 ∞ 456.25/296.19 0 1 ∞ 933.84/296.16
Frederiksen_Glenstrup/nestinc.xml 0 1 ∞ 91.76/79.34 0 1 ∞ 1115.59/296.39
Frederiksen_Glenstrup/int.xml timeout (wallclock)" 0 1 ∞ 1160.56/296.22
Frederiksen_Glenstrup/nesteql.xml 0 1 ∞ 12.78/4.54 0 1 ∞ 846.22/296.14
Endrullis_06/direct.xml 2 1 n1 9.03/3.09 2 1 n1 1.38/0.36
AProVE_08/log.xml 0 1 ∞ 914.92/299.08 timeout (wallclock)
AProVE_08/parting05_maxsort.xml 0 1 ∞ 443.80/297.84 0 1 ∞ 1026.37/296.58
AProVE_08/parting03_minsort.xml StarExec error timeout (wallclock)
AProVE_08/parting04_maxsort_h.xml timeout (wallclock) 0 1 ∞ 964.89/296.20
AProVE_08/thiemann40_modified.xml 0 1 ∞ 239.90/224.00 0 1 ∞ 1131.74/296.21
AProVE_08/parting01_reverse.xml 0 1 ∞ 362.01/296.53 0 1 ∞ 1029.40/296.59
AProVE_08/parting02_doublelist.xml 0 1 ∞ 370.46/296.51 0 1 ∞ 1031.58/296.61
AProVE_07/thiemann14.xml 0 1 ∞ 650.97/294.15 0 1 ∞ 932.15/296.05
AProVE_07/otto06.xml 0 1 ∞ 700.02/298.25 timeout (wallclock)
AProVE_07/thiemann01.xml 0 1 ∞ 32.36/13.70 0 1 ∞ 298.55/104.42
AProVE_07/thiemann31.xml 0 1 ∞ 36.70/24.34 StarExec error
AProVE_07/thiemann21.xml 0 1 ∞ 677.22/292.29 0 1 ∞ 389.44/198.88
AProVE_07/thiemann25.xml 0 1 ∞ 11.03/4.83 0 1 ∞ 122.10/35.99
AProVE_07/thiemann05.xml 0 1 ∞ 395.61/298.99 0 1 ∞ 210.09/80.00
AProVE_07/thiemann03.xml 0 1 ∞ 424.76/294.29 0 1 ∞ 409.88/261.93
AProVE_07/thiemann34.xml 0 1 ∞ 23.00/15.87 0 1 ∞ 553.61/296.02
AProVE_07/thiemann26.xml 0 1 ∞ 28.63/14.06 0 1 ∞ 243.86/98.80
AProVE_07/otto03.xml 0 1 ∞ 6.99/2.79 0 1 ∞ 137.36/53.49
AProVE_07/thiemann10.xml 0 1 ∞ 316.29/291.65 0 1 ∞ 1092.84/296.19
AProVE_07/thiemann30.xml 0 1 ∞ 417.03/292.12 0 1 ∞ 1027.58/297.24
AProVE_07/otto04.xml StarExec error 0 1 ∞ 231.73/109.66
AProVE_07/otto05.xml 0 1 ∞ 133.34/124.58 0 1 ∞ 978.04/296.16
AProVE_07/thiemann40.xml 0 1 ∞ 9.33/4.95 0 1 ∞ 60.26/21.29
AProVE_07/thiemann17.xml 0 1 ∞ 656.72/299.62 0 1 ∞ 1062.57/296.18
AProVE_07/otto08.xml 0 1 ∞ 104.59/63.93 0 1 ∞ 227.14/91.16
AProVE_07/thiemann18.xml StarExec error 0 1 ∞ 381.22/225.54
AProVE_07/thiemann36.xml 0 1 ∞ 41.17/27.65 0 1 ∞ 938.70/296.11
AProVE_07/thiemann29.xml 0 1 ∞ 350.61/291.60 0 1 ∞ 460.63/295.50
AProVE_07/thiemann37.xml StarExec error timeout (wallclock)
AProVE_07/thiemann04.xml timeout (wallclock) 0 1 ∞ 954.63/296.15
AProVE_07/otto02.xml 0 1 ∞ 296.66/255.12 timeout (wallclock)
AProVE_07/thiemann38.xml 0 1 ∞ 69.16/33.96 0 1 ∞ 227.12/84.29
AProVE_07/thiemann41.xml 0 1 ∞ 85.78/60.92 0 1 ∞ 781.39/296.11
AProVE_07/thiemann27.xml 0 1 ∞ 7.08/2.87 0 1 ∞ 132.92/57.35
AProVE_07/otto07.xml 0 1 ∞ 6.91/2.87 0 1 ∞ 126.22/61.71
AProVE_07/otto01.xml timeout (wallclock) 0 1 ∞ 950.78/296.40
AProVE_07/thiemann23.xml 0 1 ∞ 79.71/41.73 0 1 ∞ 1169.20/296.36
AProVE_07/thiemann07.xml timeout (wallclock) 0 1 ∞ 348.76/163.49
AProVE_07/thiemann32.xml 0 1 ∞ 61.79/38.31 timeout (wallclock)
AProVE_07/thiemann19.xml 0 1 ∞ 399.12/293.70 0 1 ∞ 489.62/296.02
AProVE_07/otto12.xml 0 1 ∞ 17.82/8.00 0 1 ∞ 272.89/127.28
AProVE_07/otto11.xml 0 1 ∞ 40.38/17.56 0 1 ∞ 110.69/44.15
AProVE_07/thiemann16.xml 0 1 ∞ 436.16/299.43 StarExec error
AProVE_07/thiemann11.xml 0 1 ∞ 577.99/291.62 0 1 ∞ 1021.08/296.74
AProVE_07/thiemann22.xml 0 1 ∞ 369.85/291.73 0 1 ∞ 596.27/296.11
AProVE_07/thiemann20.xml 0 1 ∞ 72.53/38.53 0 1 ∞ 771.41/296.04
AProVE_07/thiemann15.xml 0 1 ∞ 305.06/291.52 StarExec error
AProVE_07/thiemann28.xml 0 1 ∞ 360.57/296.04 StarExec error
AProVE_07/kabasci04.xml 0 1 ∞ 657.38/299.50 StarExec error
AProVE_07/thiemann13.xml 0 1 ∞ 618.97/292.59 0 1 ∞ 908.12/296.47
AProVE_07/thiemann06.xml 0 1 ∞ 341.10/222.66 StarExec error
AProVE_07/otto10.xml 0 1 ∞ 122.38/83.55 0 1 ∞ 575.34/296.02
AProVE_07/thiemann12.xml 0 1 ∞ 119.70/95.95 0 1 ∞ 1062.65/296.60
AProVE_07/otto09.xml 0 1 ∞ 142.25/118.49 StarExec error
AProVE_07/otto13.xml 0 1 ∞ 227.67/183.78 0 1 ∞ 194.79/99.78
AProVE_07/thiemann33.xml 0 1 ∞ 23.11/12.06 0 1 ∞ 394.15/163.60
AProVE_07/thiemann24.xml 0 1 ∞ 14.93/5.42 0 1 ∞ 244.14/90.92
AProVE_07/thiemann02.xml 0 1 ∞ 909.06/298.19 0 1 ∞ 945.60/296.12
AProVE_07/thiemann08.xml 0 1 ∞ 51.52/38.38 0 1 ∞ 398.05/296.11
Beerendonk_07/12.xml 0 1 ∞ 28.44/21.10 0 1 ∞ 121.73/57.30
Beerendonk_07/10.xml 0 1 ∞ 336.08/291.67 0 1 ∞ 644.16/296.14
Beerendonk_07/14.xml 0 1 ∞ 11.11/3.87 0 1 ∞ 73.70/24.89
Beerendonk_07/13.xml 0 1 ∞ 267.31/250.65 StarExec error
Beerendonk_07/3.xml 0 1 ∞ 13.46/6.41 0 1 ∞ 144.16/45.75
Beerendonk_07/20.xml 0 1 ∞ 1180.04/297.87 0 1 ∞ 1119.23/296.06
Beerendonk_07/7.xml 0 1 ∞ 315.58/294.06 StarExec error
Beerendonk_07/1.xml 0 1 ∞ 9.61/4.89 0 1 ∞ 120.99/45.49
Beerendonk_07/17.xml 0 1 ∞ 723.34/295.71 StarExec error
Beerendonk_07/23.xml StarExec error 0 1 ∞ 523.40/296.15
Beerendonk_07/19.xml 0 1 ∞ 910.71/295.04 0 1 ∞ 968.65/296.15
Beerendonk_07/16.xml 0 1 ∞ 683.90/296.52 0 1 ∞ 1025.61/296.56
Beerendonk_07/5.xml 0 1 ∞ 1028.39/298.81 0 1 ∞ 281.59/92.27
Beerendonk_07/11.xml 0 1 ∞ 354.24/291.54 0 1 ∞ 137.40/68.80
Beerendonk_07/2.xml 0 1 ∞ 8.62/3.84 0 1 ∞ 389.41/154.82
Beerendonk_07/8.xml 0 1 ∞ 1037.65/294.66 timeout (wallclock)
Beerendonk_07/18.xml 0 1 ∞ 1106.67/294.48 StarExec error
Beerendonk_07/6.xml 0 1 ∞ 7.11/2.77 0 1 ∞ 86.77/34.54
Beerendonk_07/21.xml 0 1 ∞ 748.66/295.73 0 1 ∞ 1055.90/296.14
Beerendonk_07/9.xml 0 1 ∞ 668.28/294.49 0 1 ∞ 1052.31/296.16
Beerendonk_07/4.xml 0 1 ∞ 7.86/3.90 0 1 ∞ 58.21/20.41
Beerendonk_07/24.xml 0 1 ∞ 959.29/294.99 timeout (wallclock)
Beerendonk_07/15.xml 0 1 ∞ 829.20/295.17 StarExec error
Beerendonk_07/22.xml 0 1 ∞ 307.05/291.65 0 1 ∞ 765.08/296.11
AProVE_09_Inductive/zerolist.xml 0 1 ∞ 54.51/44.10 0 1 ∞ 159.13/75.74
AProVE_09_Inductive/log.xml StarExec error timeout (wallclock)
AProVE_09_Inductive/maxsort.xml StarExec error 0 1 ∞ 1028.53/296.53
AProVE_09_Inductive/qsortlast.xml 0 1 ∞ 1154.99/292.92 timeout (wallclock)
AProVE_09_Inductive/qsort.xml 0 1 ∞ 1020.44/295.77 0 1 ∞ 926.46/296.12
AProVE_09_Inductive/qsortmiddle.xml 0 1 ∞ 1173.77/297.76 StarExec error
AProVE_09_Inductive/minsort.xml 0 1 ∞ 709.82/298.77 0 1 ∞ 1039.73/297.51
AProVE_09_Inductive/gcd2.xml 0 1 ∞ 518.66/292.06 0 1 ∞ 758.49/296.11
AProVE_09_Inductive/maxsortcondition.xml 0 1 ∞ 69.03/31.50 0 1 ∞ 150.20/71.33
AProVE_09_Inductive/div.xml 0 1 ∞ 418.38/291.83 0 1 ∞ 918.71/296.10
AProVE_09_Inductive/mod.xml 0 1 ∞ 306.10/247.91 0 1 ∞ 817.08/296.62
AProVE_09_Inductive/divhard.xml 0 1 ∞ 361.69/292.38 0 1 ∞ 688.45/296.10
AProVE_09_Inductive/gcd.xml 0 1 ∞ 380.11/291.59 0 1 ∞ 784.56/296.12
AProVE_09_Inductive/gcdhard.xml 0 1 ∞ 172.43/115.70 0 1 ∞ 533.10/196.97
raML/bft_mmult.raml.xml 0 1 ∞ 907.49/292.63 0 1 ∞ 1106.31/296.41
raML/quicksort.raml.xml 0 1 ∞ 942.02/292.87 timeout (wallclock)
raML/splitandsort.raml.xml timeout (wallclock) 0 1 ∞ 1174.30/296.12
raML/queue.raml.xml 0 1 ∞ 771.94/300.07 0 1 ∞ 751.01/296.07
raML/bfs.raml.xml StarExec error 0 1 ∞ 1177.01/296.14
raML/appendAll.raml.xml 2 1 n1 17.54/9.62 2 1 n1 2.53/0.56
raML/minsort.raml.xml 2 1 n2 18.37/5.58 2 1 n2 53.35/18.32
raML/subtrees.raml.xml 2 1 n2 8.24/2.84 2 1 n2 5.49/1.65
raML/clevermmult.raml.xml 2 1 n2 46.71/12.74 2 1 n2 208.09/52.42
raML/longestCommonSubsequence.raml.xml 2 1 n2 707.20/189.44 0 1 ∞ 1183.76/296.86
raML/dyade.raml.xml 2 1 n2 17.91/5.38 StarExec error
raML/insertionsort.raml.xml timeout (wallclock) 0 1 ∞ 1028.79/296.66
raML/rationalPotential.raml.xml 2 1 n1 5.42/2.19 2 1 n1 3.83/0.94
raML/flatten.raml.xml 2 1 n2 50.13/13.49 2 1 n2 190.77/55.65
raML/mergesort.raml.xml 0 1 ∞ 604.65/291.50 0 1 ∞ 327.36/296.09
raML/eratosthenes.raml.xml 0 1 ∞ 1132.22/291.62 2 1 n2 328.98/83.34
raML/duplicates.raml.xml 2 1 n2 103.59/27.04 2 1 n2 28.40/10.19
raML/matrix.raml.xml 0 1 ∞ 798.44/293.00 timeout (wallclock)
raML/bitvectors.raml.xml timeout (wallclock) timeout (wallclock)
raML/listsort.raml.xml 2 1 n2 668.44/175.32 2 1 n2 547.33/143.05
Mixed_TRS/jones1.xml 2 1 n1 4.08/1.87 2 1 n1 0.46/0.12
Mixed_TRS/jones5.xml 0 1 ∞ 4.75/2.07 0 1 ∞ 19.94/6.19
Mixed_TRS/minsort.xml 0 1 ∞ 387.05/295.48 timeout (wallclock)
Mixed_TRS/while.xml 0 1 ∞ 7.15/3.78 0 1 ∞ 245.87/116.79
Mixed_TRS/jones4.xml 2 1 n1 3.59/1.73 2 1 n1 0.06/0.02
Mixed_TRS/gcdMinMax.xml 0 1 ∞ 692.19/300.72 0 1 ∞ 1034.96/296.43
Mixed_TRS/Ex1_Luc04b_GM.xml 0 1 ∞ 15.84/6.66 0 1 ∞ 826.26/296.03
Mixed_TRS/jones2.xml 2 1 n1 4.40/1.96 1 1 n2 2.43/0.87
Mixed_TRS/jones6.xml 2 1 n1 4.39/1.82 2 1 n1 0.14/0.05
Mixed_TRS/test1.xml 0 1 ∞ 4.30/1.92 0 1 ∞ 16.33/5.66
Mixed_TRS/fossacs.xml StarExec error 0 1 ∞ 966.77/296.05
Mixed_TRS/gcd.xml 0 1 ∞ 576.36/295.20 0 1 ∞ 1070.84/296.47
Mixed_TRS/perfect.xml 0 1 ∞ 5.92/2.39 2 1 n1 3.90/0.90
Mixed_TRS/gcd_triple.xml 0 1 ∞ 665.51/297.77 0 1 ∞ 981.08/296.31
Mixed_TRS/perfect2.xml timeout (wallclock) 0 1 ∞ 990.27/296.26
Secret_05_TRS/tpa4.xml timeout (wallclock) 0 1 ∞ 917.80/296.03
Secret_05_TRS/tpa2.xml 0 1 ∞ 490.65/299.47 0 1 ∞ 912.47/296.04
Secret_05_TRS/aprove2.xml 0 1 ∞ 16.22/10.66 0 1 ∞ 469.37/296.24
Secret_05_TRS/aprove3.xml 0 1 ∞ 129.38/104.85 0 1 ∞ 70.32/23.75
Secret_05_TRS/tpa5.xml 0 1 ∞ 687.00/299.45 0 1 ∞ 1057.72/296.97
Secret_05_TRS/tpa3.xml StarExec error 0 1 ∞ 272.27/92.14
Secret_05_TRS/tpa1.xml 0 1 ∞ 695.27/299.25 0 1 ∞ 1039.24/296.25
Secret_05_TRS/ttt2.xml 0 1 ∞ 13.84/7.09 StarExec error
Secret_05_TRS/cime4.xml 0 1 ∞ 6.23/2.30 2 1 1 2.28/0.52
Rubio_04/division.xml 2 1 n3 14.56/4.72 2 1 n3 63.20/22.68
Rubio_04/gmnp.xml 2 1 n1 4.73/2.11 2 1 n1 0.14/0.04
Rubio_04/gm.xml 1 1 n2 5.92/2.23 2 1 n1 1.41/0.30
Rubio_04/selsort.xml 0 1 ∞ 499.95/291.47 0 1 ∞ 980.19/296.23
Rubio_04/enno.xml 2 1 n2 38.35/11.19 0 1 ∞ 614.26/296.70
Rubio_04/prov.xml 2 1 n1 5.14/2.00 StarExec error
Rubio_04/bintrees.xml 2 1 n1 7.63/2.67 1 1 n2 2.17/0.56
Rubio_04/nestrec.xml 0 1 ∞ 11.64/5.55 0 1 ∞ 644.60/296.10
Rubio_04/ma96.xml 0 1 ∞ 473.56/298.52 timeout (wallclock)
Rubio_04/logarquot.xml 2 1 n2 12.33/3.85 2 1 n2 5.03/1.90
Rubio_04/test829.xml 2 1 n1 4.25/1.86 2 1 n1 0.53/0.08
Rubio_04/elimdupl.xml 2 1 n2 12.26/4.26 1 1 n3 41.41/13.86
Rubio_04/polo2.xml 1 1 n2 4.38/1.90 2 1 n1 56.16/16.25
Rubio_04/mfp95.xml 2 1 n1 3.70/1.78 2 1 n1 0.16/0.05
Rubio_04/gcd.xml 2 1 n2 9.81/3.30 2 1 n2 85.79/24.63
Rubio_04/test4.xml 2 1 n1 7.33/2.70 2 1 n1 0.35/0.06
Rubio_04/revlist.xml 0 1 ∞ 629.90/298.14 StarExec error
Rubio_04/quick.xml StarExec error 0 1 ∞ 1026.24/296.14
Rubio_04/wst99.xml 2 1 n2 18.18/5.58 0 1 ∞ 246.25/115.91
GTSSK07/cade01.xml 0 1 ∞ 6.59/2.47 0 1 ∞ 131.16/62.38
GTSSK07/cade11.xml 0 1 ∞ 7.73/3.10 0 1 ∞ 587.79/296.03
GTSSK07/cade14.xml 0 1 ∞ 13.14/6.79 0 1 ∞ 217.23/73.91
GTSSK07/cade16.xml 0 1 ∞ 95.71/44.87 0 1 ∞ 303.59/104.91
GTSSK07/cade12t.xml StarExec error 0 1 ∞ 1039.75/296.16
GTSSK07/cade09.xml 0 1 ∞ 313.83/291.55 0 1 ∞ 595.14/296.11
GTSSK07/cade10.xml 0 1 ∞ 70.18/60.14 0 1 ∞ 1128.67/296.14
GTSSK07/cade06.xml 0 1 ∞ 373.17/297.01 0 1 ∞ 1049.30/296.85
GTSSK07/cade03.xml 0 1 ∞ 7.98/2.81 0 1 ∞ 94.55/38.58
GTSSK07/cade13t.xml 0 1 ∞ 24.63/15.22 0 1 ∞ 94.09/34.36
GTSSK07/cade05t.xml 0 1 ∞ 359.33/296.48 StarExec error
GTSSK07/cade17.xml timeout (wallclock) 0 1 ∞ 1028.30/296.13
GTSSK07/cade08.xml 0 1 ∞ 436.41/296.35 0 1 ∞ 935.14/296.16
GTSSK07/cade07.xml 0 1 ∞ 51.89/44.50 0 1 ∞ 466.44/296.05
GTSSK07/cade15.xml 0 1 ∞ 390.65/293.15 0 1 ∞ 393.09/180.26
Frederiksen_Others/match.xml 2 1 n2 7.00/2.62 2 1 n2 4.30/1.18
Frederiksen_Others/gexgcd.xml 2 1 n1 133.57/34.62 1 1 n2 209.57/76.37
Frederiksen_Others/dup1_typed.xml StarExec error 2 1 n1 1.09/0.19
Frederiksen_Others/thetrickSize.xml 1 1 n2 18.11/5.45 2 1 n1 21.84/5.41
Frederiksen_Others/power.xml 0 1 ∞ 19.79/8.73 0 1 ∞ 66.81/25.28
Frederiksen_Others/quicksortSize.xml 0 1 ∞ 999.69/293.91 0 1 ∞ 1064.09/296.29
Frederiksen_Others/fghSize.xml 0 1 ∞ 393.80/292.25 0 1 ∞ 142.70/51.76
Frederiksen_Others/graphcolour2Size_typed.xml 0 1 ∞ 1141.53/293.34 0 1 ∞ 1111.66/296.15
Frederiksen_Others/inssort_better.xml StarExec error 2 1 n2 348.47/15.75
Frederiksen_Others/disj2_typed.xml 2 1 n1 5.20/2.16 2 1 n1 3.73/0.95
Frederiksen_Others/inssort.xml 2 1 n2 7.20/2.59 2 1 n2 631.68/143.09
Frederiksen_Others/graphcolour2_typed.xml 0 1 ∞ 1148.63/291.79 0 1 ∞ 1113.51/296.15
Frederiksen_Others/add.xml 2 1 n1 4.73/2.04 2 1 n1 0.06/0.02
Frederiksen_Others/deadcodeSize.xml 0 1 ∞ 10.84/4.08 StarExec error
Frederiksen_Others/oddeven.xml 2 1 n1 3.69/1.77 2 1 n1 0.04/0.02
Frederiksen_Others/reach.xml timeout (wallclock) 0 1 ∞ 990.57/296.29
Frederiksen_Others/ex6.xml 2 1 n1 3.95/1.83 2 1 n1 0.58/0.12
Frederiksen_Others/bubblesort.xml 2 1 n2 10.08/3.44 2 1 n2 282.67/79.43
Frederiksen_Others/gexgcd2.xml 0 1 ∞ 34.54/17.69 StarExec error
Frederiksen_Others/div2.xml 2 1 n1 4.97/2.03 2 1 n1 0.10/0.03
Frederiksen_Others/ocall-safe.xml 2 1 n1 4.15/1.77 2 1 n1 0.71/0.12
Frederiksen_Others/minsortSize.xml 0 1 ∞ 18.03/7.85 0 1 ∞ 185.77/69.28
Frederiksen_Others/assrewriteSize.xml 0 1 ∞ 10.16/3.84 0 1 ∞ 288.91/124.43
Frederiksen_Others/permut.xml 2 1 n1 3.57/1.67 2 1 n1 0.14/0.04
Frederiksen_Others/graphcolour1_typed.xml 0 1 ∞ 1124.71/291.94 0 1 ∞ 1134.45/296.17
Frederiksen_Others/ocall-unsafe.xml 2 1 n1 4.61/1.90 2 1 n1 0.32/0.09
Frederiksen_Others/eq.xml 2 1 n1 3.74/1.79 2 1 n1 0.37/0.10
Frederiksen_Others/quicksortPtime.xml 2 1 n2 37.00/10.33 0 1 ∞ 444.43/207.90
Frederiksen_Others/graphcolour3_typed.xml StarExec error 0 1 ∞ 1075.06/296.17
Frederiksen_Others/strmatch.xml 2 1 n2 28.46/8.01 2 1 n2 17.32/4.70
Frederiksen_Others/dup2_typed.xml 2 1 n1 4.80/2.00 2 1 n1 5.54/1.36
Frederiksen_Others/fgh.xml 0 1 ∞ 434.48/293.23 0 1 ∞ 225.10/87.60
Frederiksen_Others/boolprog.xml 2 1 n1 11.85/3.91 2 1 n1 11.43/3.22
Frederiksen_Others/rematch.xml 0 1 ∞ 1153.46/293.67 0 1 ∞ 655.16/296.55
hoca/flatten.xml 2 1 n1 12.01/3.78 StarExec error
hoca/id.xml 2 1 n1 4.84/2.01 2 1 n1 0.16/0.05
hoca/fib_llist.xml 0 1 ∞ 909.15/291.47 0 1 ∞ 582.74/296.12
hoca/sum.xml 2 1 n1 4.71/2.02 2 1 n1 1.23/0.31
hoca/mss.xml StarExec error 0 1 ∞ 368.34/296.12
hoca/rev-dl.xml 2 1 n1 5.63/2.24 2 1 n1 5.36/1.37
hoca/mergesort-dc.xml timeout (wallclock) timeout (wallclock)
hoca/isort-fold.xml 2 1 n2 12.83/4.14 2 1 n2 55.08/16.34
hoca/sum_sqs3.xml 0 1 ∞ 647.97/299.32 0 1 ∞ 221.80/83.15
hoca/foldsum.xml 2 1 n1 12.04/4.04 2 1 n1 7.69/1.94
hoca/isort.xml 2 1 n2 10.70/3.49 2 1 n2 42.18/10.65
hoca/dfs-flatten.xml 2 1 n1 6.82/2.49 2 1 n1 2.55/0.59
hoca/mappplus.xml 1 1 n3 4.65/2.01 2 1 n2 2.92/0.84
hoca/rev-fletf.xml 2 1 n1 6.68/2.38 2 1 n1 4.57/1.16
hoca/rev-foldl.xml 2 1 n1 3.99/1.81 2 1 n1 0.38/0.11
HirokawaMiddeldorp_04/t003.xml timeout (wallclock) 0 1 ∞ 989.17/296.18
HirokawaMiddeldorp_04/t011.xml 2 1 n1 3.76/1.71 2 1 n1 0.65/0.17
HirokawaMiddeldorp_04/n006.xml 0 1 ∞ 9.73/3.91 0 1 ∞ 48.40/20.04
HirokawaMiddeldorp_04/n005.xml 0 1 ∞ 8.82/3.82 0 1 ∞ 61.69/20.03
HirokawaMiddeldorp_04/t004.xml StarExec error StarExec error
HirokawaMiddeldorp_04/n007.xml 0 1 ∞ 3.69/1.74 0 1 ∞ 11.06/3.64
HirokawaMiddeldorp_04/t013.xml 0 1 ∞ 204.49/188.61 0 1 ∞ 91.55/33.04
HirokawaMiddeldorp_04/t002.xml 0 1 ∞ 584.44/294.38 0 1 ∞ 987.85/296.27
HirokawaMiddeldorp_04/n002.xml 0 1 ∞ 10.23/3.76 0 1 ∞ 58.15/20.11
HirokawaMiddeldorp_04/t001.xml timeout (wallclock) 0 1 ∞ 995.08/296.16
HirokawaMiddeldorp_04/t014.xml 2 1 n2 38.45/10.50 2 1 n2 5.25/1.61
HirokawaMiddeldorp_04/n003.xml 0 1 ∞ 10.42/4.56 0 1 ∞ 50.21/20.01
HirokawaMiddeldorp_04/n004.xml 0 1 ∞ 9.69/3.74 0 1 ∞ 53.23/20.11
HirokawaMiddeldorp_04/t009.xml 0 1 ∞ 1147.67/291.54 0 1 ∞ 881.09/296.13
Strategy_removed_mixed_05/test77.xml 0 1 ∞ 6.25/3.02 0 1 ∞ 28.65/10.28
Strategy_removed_mixed_05/muladd.xml StarExec error 0 1 ∞ 731.98/296.01
Strategy_removed_mixed_05/test830.xml 2 1 n1 5.72/2.15 2 1 n1 0.08/0.03
Strategy_removed_mixed_05/test76.xml 0 1 ∞ 6.26/2.40 0 1 ∞ 22.45/7.70
Strategy_removed_CSR_05/Ex8_BLR02.xml 0 1 ∞ 23.67/10.88 0 1 ∞ 55.68/17.14
Strategy_removed_CSR_05/Ex4_4_Luc96b.xml 0 1 ∞ 7.06/2.70 0 1 ∞ 24.47/7.70
Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml 0 1 ∞ 9.15/3.97 0 1 ∞ 44.52/20.01
Strategy_removed_CSR_05/Ex6_GM04.xml 0 1 ∞ 10.66/4.41 0 1 ∞ 48.66/20.05
Strategy_removed_CSR_05/Ex6_9_Luc02c.xml 0 1 ∞ 4.46/1.90 0 1 ∞ 25.55/7.90
Strategy_removed_CSR_05/Ex1_Zan97.xml 0 1 ∞ 10.97/4.21 StarExec error
Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml 0 1 ∞ 4.55/1.96 0 1 ∞ 17.83/5.55
Strategy_removed_CSR_05/Ex1_GM03.xml 0 1 ∞ 168.24/125.14 0 1 ∞ 187.20/68.35
Strategy_removed_CSR_05/Ex7_BLR02.xml 0 1 ∞ 5.44/2.22 0 1 ∞ 42.55/17.23
Strategy_removed_CSR_05/ExIntrod_GM99.xml 0 1 ∞ 190.35/86.32 0 1 ∞ 424.07/132.24
Strategy_removed_CSR_05/ExAppendixB_AEL03.xml 0 1 ∞ 14.01/6.10 0 1 ∞ 394.20/158.91
Strategy_removed_CSR_05/Ex3_2_Luc97.xml 0 1 ∞ 5.26/2.08 StarExec error
Strategy_removed_CSR_05/Ex15_Luc98.xml 0 1 ∞ 5.05/1.98 0 1 ∞ 33.84/10.67
Strategy_removed_CSR_05/Ex4_Zan97.xml 0 1 ∞ 5.96/2.34 0 1 ∞ 254.71/128.27
Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml 0 1 ∞ 227.25/217.54 0 1 ∞ 60.96/27.23
Strategy_removed_CSR_05/Ex14_AEGL02.xml 0 1 ∞ 4.55/1.97 0 1 ∞ 18.90/5.76
Strategy_removed_CSR_05/Ex49_GM04.xml 2 1 n1 19.48/5.65 2 1 n1 4.14/0.99
Strategy_removed_CSR_05/Ex6_Luc98.xml 0 1 ∞ 4.27/1.83 0 1 ∞ 19.42/5.93
Strategy_removed_CSR_05/ExConc_Zan97.xml 0 1 ∞ 9.11/3.71 0 1 ∞ 44.83/20.01
Strategy_removed_CSR_05/ExIntrod_GM01.xml 0 1 ∞ 17.80/6.28 0 1 ∞ 88.65/29.84
Strategy_removed_CSR_05/ExIntrod_GM04.xml 0 1 ∞ 14.03/5.20 0 1 ∞ 80.62/25.90
Strategy_removed_CSR_05/Ex3_12_Luc96a.xml 0 1 ∞ 4.33/1.88 0 1 ∞ 26.56/9.43
Strategy_removed_CSR_05/Ex2_Luc03b.xml 0 1 ∞ 4.55/2.02 0 1 ∞ 46.68/18.64
Strategy_removed_CSR_05/Ex1_GL02a.xml 0 1 ∞ 5.38/2.21 0 1 ∞ 87.84/55.79
Strategy_removed_CSR_05/Ex26_Luc03b.xml 0 1 ∞ 23.80/13.70 0 1 ∞ 119.25/43.00
Strategy_removed_CSR_05/Ex9_BLR02.xml 0 1 ∞ 14.81/9.51 0 1 ∞ 136.39/58.62
Strategy_removed_CSR_05/Ex5_Zan97.xml 0 1 ∞ 11.43/4.19 0 1 ∞ 40.74/20.11
Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml 0 1 ∞ 332.25/291.53 0 1 ∞ 95.20/29.54
Strategy_removed_CSR_05/Ex1_Luc02b.xml 0 1 ∞ 4.56/2.66 0 1 ∞ 40.35/13.85
Strategy_removed_CSR_05/Ex1_2_Luc02c.xml StarExec error 0 1 ∞ 13.29/4.07
Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml 0 1 ∞ 7.18/2.69 0 1 ∞ 70.39/20.78
Strategy_removed_CSR_05/ExIntrod_Zan97.xml 0 1 ∞ 376.69/297.48 StarExec error
Strategy_removed_CSR_05/Ex1_2_AEL03.xml 0 1 ∞ 7.75/2.85 0 1 ∞ 191.28/58.08
Transformed_CSR_04/OvConsOS_nosorts_GM.xml 0 1 ∞ 15.22/6.47 StarExec error
Transformed_CSR_04/MYNAT_complete_GM.xml timeout (wallclock) 0 1 ∞ 366.40/296.11
Transformed_CSR_04/ExIntrod_GM04_GM.xml 0 1 ∞ 17.01/6.63 2 1 n3 470.41/59.96
Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml 2 1 n1 15.52/4.93 2 1 n1 1.23/0.31
Transformed_CSR_04/Ex1_Zan97_FR.xml 0 1 ∞ 20.55/10.09 0 1 ∞ 623.82/296.09
Transformed_CSR_04/Ex2_Luc02a_Z.xml 0 1 ∞ 332.60/292.51 0 1 ∞ 185.94/59.83
Transformed_CSR_04/Ex24_Luc06_GM.xml StarExec error StarExec error
Transformed_CSR_04/Ex4_7_15_Bor03_L.xml 2 1 n1 4.95/1.95 2 1 n1 0.08/0.03
Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml StarExec error 0 1 ∞ 365.68/296.09
Transformed_CSR_04/ExProp7_Luc06_GM.xml 0 1 ∞ 23.32/13.95 0 1 ∞ 1045.80/296.09
Transformed_CSR_04/Ex1_Luc02b_GM.xml 0 1 ∞ 12.61/4.79 0 1 ∞ 342.23/142.77
Transformed_CSR_04/ExAppendixB_AEL03_Z.xml 2 1 n2 52.41/22.25 StarExec error
Transformed_CSR_04/Ex3_12_Luc96a_GM.xml 0 1 ∞ 9.20/3.97 0 1 ∞ 383.67/207.40
Transformed_CSR_04/PEANO_nosorts-noand_FR.xml 2 1 n1 6.04/2.33 2 1 n1 1.78/0.43
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml 0 1 ∞ 15.66/5.45 0 1 ∞ 764.90/296.13
Transformed_CSR_04/Ex9_Luc04_L.xml 0 1 ∞ 3.76/1.77 0 1 ∞ 6.61/2.36
Transformed_CSR_04/Ex15_Luc06_FR.xml 2 1 n1 7.10/2.59 2 1 n1 0.30/0.09
Transformed_CSR_04/Ex6_9_Luc02c_FR.xml 2 1 n1 5.79/2.21 2 1 n1 67.12/5.08
Transformed_CSR_04/Ex9_BLR02_GM.xml 0 1 ∞ 53.22/40.03 2 1 n2 34.12/13.05
Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml 2 1 n1 4.82/1.99 2 1 n1 0.20/0.03
Transformed_CSR_04/PEANO_nosorts_FR.xml 2 1 n1 3.66/1.71 2 1 n1 0.30/0.07
Transformed_CSR_04/Ex15_Luc98_GM.xml 2 1 n1 11.69/3.99 2 1 n1 38.98/9.40
Transformed_CSR_04/MYNAT_nosorts_FR.xml 2 1 n2 5.59/2.19 2 1 n2 9.95/2.58
Transformed_CSR_04/Ex8_BLR02_GM.xml 0 1 ∞ 37.40/20.35 0 1 ∞ 216.06/97.11
Transformed_CSR_04/Ex7_BLR02_Z.xml 1 1 n2 6.70/2.45 2 1 n1 649.29/63.02
Transformed_CSR_04/OvConsOS_nosorts_FR.xml 0 1 ∞ 37.29/24.67 0 1 ∞ 1008.19/296.22
Transformed_CSR_04/ExAppendixB_AEL03_GM.xml 0 1 ∞ 386.05/295.84 0 1 ∞ 1047.66/296.58
Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml 0 1 ∞ 364.62/293.25 0 1 ∞ 952.43/296.07
Transformed_CSR_04/Ex24_Luc06_L.xml 0 1 ∞ 10.28/3.85 0 1 ∞ 51.02/20.11
Transformed_CSR_04/ExConc_Zan97_Z.xml 0 1 ∞ 10.49/3.93 0 1 ∞ 47.06/20.01
Transformed_CSR_04/OvConsOS_complete_noand_GM.xml 0 1 ∞ 1163.94/296.98 0 1 ∞ 1181.15/296.14
Transformed_CSR_04/Ex3_3_25_Bor03_L.xml 2 1 n1 4.17/1.79 2 1 n1 0.08/0.03
Transformed_CSR_04/Ex1_GM03_GM.xml 0 1 ∞ 369.49/293.64 0 1 ∞ 925.35/296.12
Transformed_CSR_04/Ex1_GL02a_L.xml 0 1 ∞ 11.11/4.08 0 1 ∞ 57.76/20.01
Transformed_CSR_04/Ex6_9_Luc02c_GM.xml 0 1 ∞ 11.15/5.15 StarExec error
Transformed_CSR_04/Ex3_12_Luc96a_Z.xml 2 1 n1 4.86/1.98 0 1 ∞ 310.51/296.12
Transformed_CSR_04/PEANO_complete_noand_GM.xml 0 1 ∞ 444.28/296.05 0 1 ∞ 1183.84/296.13
Transformed_CSR_04/Ex15_Luc06_L.xml 0 1 ∞ 9.62/3.90 0 1 ∞ 57.93/20.01
Transformed_CSR_04/Ex2_Luc02a_L.xml 0 1 ∞ 350.44/292.24 0 1 ∞ 212.89/78.94
Transformed_CSR_04/Ex5_7_Luc97_GM.xml 0 1 ∞ 28.77/11.78 0 1 ∞ 296.29/118.31
Transformed_CSR_04/ExIntrod_GM04_Z.xml 0 1 ∞ 31.77/16.20 0 1 ∞ 737.18/296.04
Transformed_CSR_04/Ex6_Luc98_L.xml 2 1 n1 3.57/1.63 2 1 n1 0.10/0.03
Transformed_CSR_04/OvConsOS_nokinds_GM.xml timeout (wallclock) 0 1 ∞ 1087.47/297.05
Transformed_CSR_04/Ex1_GL02a_GM.xml 2 1 n1 10.18/3.40 2 1 n1 10.42/2.63
Transformed_CSR_04/Ex14_AEGL02_L.xml StarExec error 0 1 ∞ 50.04/20.01
Transformed_CSR_04/ExIntrod_GM01_Z.xml 0 1 ∞ 36.46/22.22 0 1 ∞ 754.99/296.08
Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml 0 1 ∞ 10.17/3.81 0 1 ∞ 429.19/292.13
Transformed_CSR_04/Ex2_Luc02a_GM.xml 0 1 ∞ 120.61/83.77 0 1 ∞ 603.10/246.26
Transformed_CSR_04/Ex4_4_Luc96b_L.xml 2 1 n1 3.35/1.58 2 1 n1 0.06/0.02
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml 0 1 ∞ 659.34/291.51 0 1 ∞ 1141.74/296.22
Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml 2 1 n1 3.85/1.81 2 1 n1 0.10/0.03
Transformed_CSR_04/MYNAT_nokinds_GM.xml 0 1 ∞ 348.69/295.06 0 1 ∞ 1020.74/296.20
Transformed_CSR_04/Ex1_GM99_GM.xml 0 1 ∞ 9.37/3.63 0 1 ∞ 336.11/142.41
Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml 0 1 ∞ 335.77/293.73 timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml 0 1 ∞ 1130.35/292.11 0 1 ∞ 384.18/296.13
Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml 0 1 ∞ 127.67/92.84 0 1 ∞ 726.91/296.14
Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml 0 1 ∞ 652.50/298.02 timeout (wallclock)
Transformed_CSR_04/Ex1_Luc04b_GM.xml 0 1 ∞ 17.00/8.15 0 1 ∞ 814.64/296.08
Transformed_CSR_04/Ex3_2_Luc97_GM.xml 0 1 ∞ 14.12/5.37 0 1 ∞ 323.63/213.71
Transformed_CSR_04/Ex4_4_Luc96b_GM.xml 0 1 ∞ 8.58/4.33 2 1 n2 2.27/0.81
Transformed_CSR_04/Ex4_4_Luc96b_Z.xml 0 1 ∞ 7.63/2.80 0 1 ∞ 420.66/296.11
Transformed_CSR_04/Ex2_Luc03b_GM.xml 0 1 ∞ 14.28/7.14 2 1 n2 32.04/12.57
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml 0 1 ∞ 32.42/25.48 0 1 ∞ 629.25/296.07
Transformed_CSR_04/Ex1_Luc04b_Z.xml 0 1 ∞ 23.81/14.84 0 1 ∞ 114.03/46.83
Transformed_CSR_04/Ex9_BLR02_L.xml 2 1 n1 5.58/2.18 2 1 n1 0.75/0.08
Transformed_CSR_04/Ex15_Luc06_GM.xml 2 1 n1 4.76/2.01 2 1 n1 0.19/0.06
Transformed_CSR_04/Ex15_Luc06_Z.xml 2 1 n1 5.10/2.08 2 1 n1 0.19/0.06
Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml 0 1 ∞ 325.52/295.40 0 1 ∞ 687.04/296.12
Transformed_CSR_04/Ex9_BLR02_Z.xml 0 1 ∞ 14.62/4.99 0 1 ∞ 695.95/296.12
Transformed_CSR_04/Ex14_AEGL02_GM.xml 0 1 ∞ 9.86/4.28 2 1 n3 22.58/7.29
Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml 0 1 ∞ 33.36/15.83 timeout (wallclock)
Transformed_CSR_04/Ex6_9_Luc02c_Z.xml 2 1 n1 4.76/1.92 1 1 n2 3.85/1.17
Transformed_CSR_04/Ex16_Luc06_L.xml 0 1 ∞ 10.25/3.83 0 1 ∞ 50.30/20.01
Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml 2 1 n2 31.22/9.03 0 1 ∞ 920.59/296.08
Transformed_CSR_04/Ex1_Luc02b_Z.xml 1 1 n2 6.60/2.40 2 1 n1 661.68/63.26
Transformed_CSR_04/ExProp7_Luc06_Z.xml 2 1 n1 309.08/291.63 2 1 n1 0.86/0.11
Transformed_CSR_04/Ex1_Zan97_GM.xml 2 1 n1 4.09/1.82 2 1 n1 0.79/0.21
Transformed_CSR_04/Ex5_DLMMU04_GM.xml 0 1 ∞ 19.71/9.02 0 1 ∞ 341.77/147.95
Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml 0 1 ∞ 27.83/14.73 0 1 ∞ 626.65/296.15
Transformed_CSR_04/ExIntrod_GM01_FR.xml 0 1 ∞ 27.87/15.10 0 1 ∞ 478.04/296.02
Transformed_CSR_04/PEANO_nosorts_GM.xml 0 1 ∞ 14.45/5.77 0 1 ∞ 192.88/78.17
Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml 2 1 n1 24.53/7.35 2 1 n1 80.68/18.90
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml 0 1 ∞ 15.70/7.36 0 1 ∞ 926.73/296.23
Transformed_CSR_04/MYNAT_nosorts_GM.xml 0 1 ∞ 323.38/294.15 0 1 ∞ 929.18/296.14
Transformed_CSR_04/ExIntrod_GM01_GM.xml 0 1 ∞ 24.12/13.14 0 1 ∞ 831.29/296.16
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml 0 1 ∞ 694.10/298.94 0 1 ∞ 373.24/296.08
Transformed_CSR_04/ExConc_Zan97_GM.xml 2 1 n1 5.48/2.18 2 1 n1 0.05/0.02
Transformed_CSR_04/PEANO_nosorts_noand_GM.xml 0 1 ∞ 16.28/6.43 0 1 ∞ 301.94/118.98
Transformed_CSR_04/ExIntrod_Zan97_GM.xml 0 1 ∞ 345.64/293.99 timeout (wallclock)
Transformed_CSR_04/Ex8_BLR02_FR.xml 0 1 ∞ 20.67/9.86 0 1 ∞ 489.04/296.11
Transformed_CSR_04/Ex23_Luc06_GM.xml 2 1 n1 5.25/2.14 2 1 n1 0.51/0.13
Transformed_CSR_04/OvConsOS_complete_GM.xml 0 1 ∞ 1151.20/293.18 0 1 ∞ 916.82/296.12
Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml 0 1 ∞ 26.74/17.62 2 1 n2 33.78/12.10
Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml 0 1 ∞ 1158.75/291.82 0 1 ∞ 424.45/296.15
Transformed_CSR_04/Ex14_AEGL02_Z.xml 0 1 ∞ 11.59/4.90 0 1 ∞ 421.80/296.04
Transformed_CSR_04/ExIntrod_GM99_GM.xml StarExec error 0 1 ∞ 279.51/124.61
Transformed_CSR_04/PEANO_nokinds_GM.xml 0 1 ∞ 173.93/143.57 0 1 ∞ 392.85/150.32
Transformed_CSR_04/Ex1_GM99_L.xml 0 1 ∞ 10.19/3.80 0 1 ∞ 57.02/20.05
Transformed_CSR_04/Ex4_Zan97_FR.xml 0 1 ∞ 8.86/3.21 0 1 ∞ 667.29/296.12
Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml timeout (wallclock) 0 1 ∞ 931.39/296.12
Transformed_CSR_04/Ex6_GM04_GM.xml 2 1 n1 3.77/1.77 2 1 n1 0.25/0.04
Transformed_CSR_04/Ex6_Luc98_GM.xml 0 1 ∞ 10.87/5.96 2 1 n2 13.44/4.84
Transformed_CSR_04/LISTUTILITIES_complete_GM.xml 0 1 ∞ 1162.79/291.66 0 1 ∞ 385.40/296.03
Transformed_CSR_04/Ex1_2_Luc02c_GM.xml 0 1 ∞ 7.62/3.00 0 1 ∞ 138.22/65.64
Transformed_CSR_04/Ex26_Luc03b_GM.xml 0 1 ∞ 20.82/11.90 2 1 n2 61.45/24.28
Transformed_CSR_04/Ex6_Luc98_Z.xml 2 1 n1 4.05/1.83 2 1 n1 2.58/0.57
Transformed_CSR_04/Ex9_Luc04_GM.xml 0 1 ∞ 7.25/2.73 0 1 ∞ 268.45/155.79
Transformed_CSR_04/PEANO_nokinds_noand_GM.xml 0 1 ∞ 31.36/15.98 0 1 ∞ 563.60/217.89
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml 0 1 ∞ 17.36/5.99 0 1 ∞ 894.60/296.24
Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml 0 1 ∞ 666.37/300.21 0 1 ∞ 624.15/296.47
Transformed_CSR_04/ExProp7_Luc06_L.xml 2 1 n1 305.18/291.52 2 1 n1 0.09/0.03
Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml 2 1 n1 13.97/4.29 1 1 n2 322.28/15.73
Transformed_CSR_04/Ex1_2_AEL03_GM.xml 0 1 ∞ 358.16/293.33 0 1 ∞ 1020.48/296.16
Transformed_CSR_04/Ex1_Zan97_L.xml 0 1 ∞ 9.45/3.74 0 1 ∞ 54.10/20.09
Transformed_CSR_04/PEANO_complete_GM.xml 0 1 ∞ 550.43/300.63 timeout (wallclock)
Transformed_CSR_04/Ex5_Zan97_Z.xml 2 1 n1 4.89/2.00 2 1 n1 0.92/0.23
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml 0 1 ∞ 212.30/172.94 0 1 ∞ 1174.84/296.30
Transformed_CSR_04/OvConsOS_nosorts_Z.xml StarExec error 0 1 ∞ 992.31/296.16
Transformed_CSR_04/Ex6_GM04_FR.xml 0 1 ∞ 12.35/4.37 0 1 ∞ 971.80/296.13
Transformed_CSR_04/Ex18_Luc06_GM.xml 2 1 n1 4.74/1.93 2 1 n1 0.21/0.06
Transformed_CSR_04/Ex4_Zan97_Z.xml 0 1 ∞ 314.58/292.15 0 1 ∞ 1106.26/296.17
Transformed_CSR_04/Ex49_GM04_GM.xml 2 1 n2 102.69/48.32 2 1 n2 58.32/18.96
Transformed_CSR_04/Ex1_Luc04b_FR.xml StarExec error 0 1 ∞ 682.03/296.12
Transformed_CSR_04/Ex8_BLR02_Z.xml 0 1 ∞ 152.25/137.02 0 1 ∞ 421.21/296.03
Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml 2 1 n1 6.74/2.63 2 1 n1 0.28/0.08
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml 0 1 ∞ 1077.15/291.75 0 1 ∞ 1182.71/296.14
Transformed_CSR_04/Ex5_Zan97_GM.xml 0 1 ∞ 12.80/7.56 0 1 ∞ 431.91/142.63
Transformed_CSR_04/Ex25_Luc06_GM.xml 2 1 n1 6.65/2.55 2 1 n1 0.52/0.14
Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml 0 1 ∞ 1009.04/292.76 0 1 ∞ 1182.82/296.13
Transformed_CSR_04/Ex14_AEGL02_FR.xml 0 1 ∞ 24.93/13.15 0 1 ∞ 265.64/131.42
Transformed_CSR_04/Ex7_BLR02_GM.xml 0 1 ∞ 16.61/7.62 0 1 ∞ 441.65/207.85
Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml timeout (wallclock) 0 1 ∞ 371.55/296.02
Transformed_CSR_04/Ex2_Luc03b_L.xml 2 1 n1 3.97/1.76 2 1 n1 0.30/0.06
Transformed_CSR_04/Ex2_Luc03b_Z.xml 2 1 n1 5.14/2.14 2 1 n1 10.98/2.69
Transformed_CSR_04/MYNAT_complete_noand_GM.xml timeout (wallclock) 0 1 ∞ 377.48/296.05
Transformed_CSR_04/Ex6_15_AEL02_GM.xml 0 1 ∞ 164.33/81.20 timeout (wallclock)
Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml 0 1 ∞ 30.99/16.10 0 1 ∞ 350.51/105.55
Transformed_CSR_04/ExConc_Zan97_FR.xml 2 1 n1 5.70/2.60 2 1 n1 0.05/0.02
Transformed_CSR_04/Ex4_DLMMU04_GM.xml StarExec error 0 1 ∞ 1029.95/296.55
Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml 2 1 n1 4.51/1.93 2 1 n1 1.06/0.19
Transformed_CSR_04/ExIntrod_GM04_FR.xml 0 1 ∞ 33.18/16.31 0 1 ∞ 269.47/129.41
Transformed_CSR_04/Ex4_Zan97_GM.xml 0 1 ∞ 10.22/4.79 0 1 ∞ 248.52/104.65
Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml 0 1 ∞ 130.60/102.38 timeout (wallclock)
Transformed_CSR_04/Ex26_Luc03b_L.xml 2 1 n1 3.94/1.76 2 1 n1 0.24/0.07
TCT_12/recursion-10.xml 0 1 ∞ 8.28/3.02 0 1 ∞ 549.11/191.98
TCT_12/polycounter-10.xml 0 1 ∞ 23.91/10.37 0 1 ∞ 257.15/93.37
TCT_12/recursion-5.xml 0 1 ∞ 6.80/2.52 0 1 ∞ 389.16/119.06
TCT_12/polycounter-5.xml 0 1 ∞ 7.13/3.73 2 1 n5 43.17/8.96
TCT_12/sat.xml 2 1 n2 60.88/16.80 2 1 n2 16.46/6.39
Secret_07_TRS/aprove07.xml 0 1 ∞ 49.34/19.45 0 1 ∞ 216.20/81.33
Secret_07_TRS/secret3.xml 0 1 ∞ 31.93/13.70 0 1 ∞ 104.50/35.68
Secret_07_TRS/aprove04.xml 0 1 ∞ 687.34/295.04 0 1 ∞ 955.85/296.04
Secret_07_TRS/aprove02.xml 0 1 ∞ 29.07/16.61 StarExec error
Secret_07_TRS/aprove10.xml 0 1 ∞ 949.62/299.44 0 1 ∞ 952.64/296.09
Secret_07_TRS/aprove08.xml 0 1 ∞ 204.28/143.33 StarExec error
Secret_07_TRS/aprove09.xml 0 1 ∞ 77.01/29.49 StarExec error
Secret_07_TRS/aprove01.xml 0 1 ∞ 229.66/189.77 0 1 ∞ 261.88/134.77
Secret_07_TRS/aprove06.xml StarExec error 0 1 ∞ 466.68/296.10
Secret_07_TRS/aprove03.xml 0 1 ∞ 1024.09/291.54 0 1 ∞ 1005.29/296.13
Secret_07_TRS/aprove05.xml 0 1 ∞ 42.03/18.52 0 1 ∞ 222.86/92.34
Secret_06_TRS/division.xml 0 1 ∞ 29.80/15.82 0 1 ∞ 778.46/296.09
Secret_06_TRS/tpa10.xml 0 1 ∞ 958.01/298.19 0 1 ∞ 944.28/296.12
Secret_06_TRS/tpa07.xml 0 1 ∞ 680.29/296.05 0 1 ∞ 922.82/296.12
Secret_06_TRS/tpa04.xml 0 1 ∞ 1176.51/297.29 0 1 ∞ 968.23/296.17
Secret_06_TRS/tpa09.xml timeout (wallclock) 0 1 ∞ 961.70/296.13
Secret_06_TRS/toList.xml 0 1 ∞ 649.66/297.82 0 1 ∞ 298.82/116.90
Secret_06_TRS/reverse.xml 0 1 ∞ 195.84/140.25 0 1 ∞ 387.88/296.12
Secret_06_TRS/tpa06.xml timeout (wallclock) StarExec error
Secret_06_TRS/logarithm.xml 0 1 ∞ 425.54/291.88 0 1 ∞ 1060.81/296.34
Secret_06_TRS/double.xml 0 1 ∞ 18.42/7.39 StarExec error
Secret_06_TRS/nrOfNodes.xml 0 1 ∞ 379.77/292.82 0 1 ∞ 231.77/87.93
Secret_06_TRS/tpa05.xml timeout (wallclock) 0 1 ∞ 925.92/296.10
Secret_06_TRS/sumList.xml StarExec error 0 1 ∞ 181.13/78.15
Secret_06_TRS/tpa08.xml timeout (wallclock) 0 1 ∞ 927.96/296.12
Secret_06_TRS/addList.xml timeout (wallclock) timeout (wallclock)
Strategy_removed_AG01/#4.27.xml 0 1 ∞ 682.61/297.09 0 1 ∞ 936.59/296.13
Strategy_removed_AG01/#4.22.xml 0 1 ∞ 4.77/2.01 0 1 ∞ 131.05/98.78
Strategy_removed_AG01/#4.36.xml 0 1 ∞ 399.87/292.00 0 1 ∞ 1016.85/296.53
Strategy_removed_AG01/#4.37.xml 2 1 n1 4.16/1.79 2 1 n1 0.04/0.02
Strategy_removed_AG01/#4.30b.xml 0 1 ∞ 65.40/51.83 0 1 ∞ 841.10/296.37
Strategy_removed_AG01/#4.33.xml 0 1 ∞ 348.97/295.41 0 1 ∞ 787.90/296.15
Strategy_removed_AG01/#4.26.xml 0 1 ∞ 7.41/2.71 0 1 ∞ 111.85/37.84
Strategy_removed_AG01/#4.23.xml 0 1 ∞ 48.29/35.53 0 1 ∞ 867.81/296.12
Strategy_removed_AG01/#4.32.xml 2 1 n2 7.20/2.60 2 1 n2 1.26/0.51
Strategy_removed_AG01/#4.28.xml 1 1 n3 19.86/7.52 2 1 n1 7.06/1.88
Strategy_removed_AG01/#4.30a.xml 0 1 ∞ 28.96/21.74 StarExec error
Strategy_removed_AG01/#4.30.xml 0 1 ∞ 25.76/14.71 0 1 ∞ 500.46/296.01
Strategy_removed_AG01/#4.29.xml timeout (wallclock) timeout (wallclock)
Strategy_removed_AG01/#4.34.xml 2 1 n2 17.89/6.55 2 1 n2 2.44/0.71
Strategy_removed_AG01/#4.30c.xml 0 1 ∞ 32.13/20.46 0 1 ∞ 780.69/296.06
SK90/4.12.xml 2 1 n1 5.27/2.12 2 1 n1 0.89/0.20
SK90/2.45.xml 2 1 n1 8.64/2.90 2 1 n1 4.28/0.62
SK90/2.15.xml 0 1 ∞ 5.45/2.15 StarExec error
SK90/2.40.xml 2 1 n1 7.91/2.80 2 1 n1 0.74/0.21
SK90/2.47.xml 2 1 n1 3.60/1.70 2 1 n1 0.06/0.02
SK90/2.22.xml 2 1 n2 5.74/2.21 2 1 n2 7.29/1.62
SK90/2.27.xml 0 1 ∞ 71.63/63.52 0 1 ∞ 929.45/296.03
SK90/4.57.xml 1 1 n1 7.51/2.73 2 1 1 0.70/0.20
SK90/4.60.xml 0 1 ∞ 353.59/297.16 timeout (wallclock)
SK90/2.31.xml 2 1 n1 4.76/2.03 2 1 n1 0.71/0.19
SK90/2.52.xml 0 1 ∞ 333.79/295.12 0 1 ∞ 129.09/50.68
SK90/4.13.xml 0 1 ∞ 6.82/2.81 2 1 n3 15.59/4.30
SK90/2.25.xml 0 1 ∞ 8.99/3.67 0 1 ∞ 54.36/17.92
SK90/2.12.xml 2 1 n3 9.16/3.26 2 1 n3 75.12/20.47
SK90/4.54.xml 0 1 ∞ 5.77/2.32 0 1 ∞ 43.93/16.99
SK90/2.50.xml 2 1 n1 3.31/1.58 2 1 n1 0.16/0.03
SK90/4.34.xml 0 1 ∞ 13.09/7.87 0 1 ∞ 568.25/296.11
SK90/4.47.xml 1 1 n1 5.40/2.08 2 1 1 0.86/0.20
SK90/2.09.xml 2 1 n1 3.86/1.81 2 1 n1 0.14/0.05
SK90/2.17.xml 2 1 n1 3.82/1.71 2 1 n1 0.71/0.11
SK90/4.30.xml 2 1 n1 7.41/2.79 StarExec error
SK90/2.39.xml 2 1 n2 12.18/4.35 2 1 n2 62.89/6.97
SK90/2.29.xml 2 1 n1 4.86/2.05 2 1 n1 2.88/0.56
SK90/4.27.xml 0 1 ∞ 309.49/291.60 0 1 ∞ 1178.25/296.09
SK90/4.61.xml 0 1 ∞ 977.88/291.47 0 1 ∞ 976.54/296.18
SK90/4.29.xml 2 1 n1 4.20/1.97 2 1 n1 1.18/0.29
SK90/2.37.xml StarExec error 2 1 1 0.36/0.05
SK90/2.54.xml StarExec error 2 1 n1 0.05/0.02
SK90/4.16.xml 2 1 n1 3.95/1.79 2 1 n1 0.29/0.08
SK90/4.31.xml 0 1 ∞ 6.62/2.48 0 1 ∞ 102.81/41.10
SK90/2.13.xml 2 1 n1 4.28/1.82 2 1 n1 0.82/0.19
SK90/4.18.xml 1 1 n2 4.28/1.84 2 1 1 0.31/0.09
SK90/2.20.xml 2 1 n1 4.24/1.92 2 1 n1 1.24/0.32
SK90/4.05.xml 1 1 n3 3.67/1.65 2 1 n2 2.55/0.73
SK90/2.44.xml 2 1 n1 6.76/2.48 StarExec error
SK90/2.43.xml 0 1 ∞ 59.34/19.84 0 1 ∞ 428.17/156.33
SK90/2.48.xml 2 1 n1 4.11/1.85 2 1 n1 0.65/0.13
SK90/4.17.xml 0 1 ∞ 165.74/158.31 2 1 n3 11.37/5.69
SK90/2.24.xml 0 1 ∞ 4.11/1.86 0 1 ∞ 25.68/8.67
SK90/2.16.xml 2 1 n2 6.06/2.27 2 1 n2 20.03/5.06
SK90/2.41.xml 2 1 n1 4.18/1.76 2 1 n1 0.82/0.22
SK90/2.51.xml 0 1 ∞ 8.80/3.85 0 1 ∞ 195.31/104.59
SK90/4.24.xml 0 1 ∞ 634.27/298.76 StarExec error
SK90/2.28.xml 0 1 ∞ 5.58/2.22 0 1 ∞ 28.57/9.54
SK90/2.23.xml 0 1 ∞ 12.58/4.68 0 1 ∞ 102.01/32.31
SK90/4.38.xml 2 1 n1 4.26/1.84 2 1 n1 0.29/0.08
SK90/4.42.xml 0 1 ∞ 15.02/5.24 0 1 ∞ 94.14/36.52
SK90/2.53.xml 2 1 n1 3.89/1.80 2 1 n1 0.03/0.02
SK90/2.21.xml 0 1 ∞ 4.08/1.76 StarExec error
SK90/2.19.xml 2 1 n2 7.06/2.56 2 1 n2 19.83/5.03
SK90/2.11.xml 2 1 n1 3.96/2.68 2 1 n1 0.24/0.07
SK90/2.26.xml 0 1 ∞ 452.21/134.04 0 1 ∞ 187.51/79.12
SK90/2.30.xml 2 1 1 3.68/1.85 2 1 1 1.04/0.26
SK90/2.36.xml 2 1 n1 4.23/1.90 2 1 n1 1.27/0.34
SK90/2.18.xml 1 1 n3 5.23/2.10 2 1 n2 5.79/1.74
SK90/4.35.xml 2 1 n1 3.70/1.70 2 1 n1 0.07/0.02
SK90/4.59.xml 0 1 ∞ 8.47/3.02 0 1 ∞ 121.33/49.04
388 407