Termination Competition 2018: TRS Conditional30044

benchmark AProVE muterm 5.18
Mixed_CTRS/AAECC-ring-cond.xml YES 157.09/60.95 StarExec error
Mixed_CTRS/AAECCcond.xml YES 63.64/22.87 StarExec error
Mixed_CTRS/fib.xml YES 3.81/1.78 YES 0.06/0.08
Mixed_CTRS/quotrem.xml YES 4.22/1.78 YES 0.18/0.19
Mixed_CTRS/gcd.xml YES 4.49/1.89 YES 1.00/1.04
Mixed_CTRS/quicksort.xml YES 5.07/2.12 YES 2.65/2.86
Mixed_CTRS/quick.xml YES 4.97/2.06 YES 0.05/0.06
COPS/375.xml YES 3.55/1.54 YES 0.01/0.01
COPS/361.xml MAYBE 4.87/2.02 NO 4.70/5.57
COPS/384.xml YES 3.47/1.59 YES 0.01/0.01
COPS/367.xml YES 3.66/1.71 YES 0.01/0.02
COPS/385.xml YES 3.62/1.59 YES 0.01/0.01
COPS/379.xml MAYBE 5.33/2.28 NO 2.13/2.19
COPS/359.xml YES 3.49/1.59 YES 0.01/0.01
COPS/324.xml MAYBE 4.05/1.87 NO 2.40/2.69
COPS/370.xml YES 4.50/3.20 YES 0.01/0.01
COPS/390.xml YES 3.31/1.50 YES 0.01/0.01
COPS/377.xml YES 3.69/1.72 YES 0.01/0.01
COPS/371.xml YES 3.54/1.62 YES 0.01/0.01
COPS/332.xml YES 3.50/1.55 YES 0.01/0.01
COPS/342.xml MAYBE 5.43/2.25 StarExec error
COPS/368.xml YES 3.45/1.67 YES 0.01/0.01
COPS/286.xml MAYBE 5.33/2.46 NO 0.28/0.51
COPS/316.xml YES 3.62/1.59 YES 0.01/0.01
COPS/353.xml YES 5.76/2.28 YES 0.25/0.26
COPS/326.xml YES 3.55/1.68 YES 0.01/0.01
COPS/307.xml YES 3.67/1.63 YES 0.01/0.01
COPS/322.xml YES 3.63/1.86 YES 0.01/0.01
COPS/319.xml YES 3.58/1.65 YES 0.01/0.01
COPS/354.xml YES 3.66/1.70 YES 0.01/0.01
COPS/408.xml YES 3.75/1.64 YES 0.01/0.01
COPS/344.xml YES 3.39/1.55 YES 0.01/0.02
COPS/407.xml MAYBE 5.11/2.23 NO 0.08/0.15
COPS/339.xml YES 3.51/1.58 YES 0.01/0.01
COPS/330.xml MAYBE 4.90/2.16 MAYBE 2.09/2.11
COPS/405.xml StarExec error StarExec error
COPS/294.xml YES 3.53/1.63 YES 0.01/0.01
COPS/337.xml StarExec error StarExec error
COPS/311.xml MAYBE 9.56/3.35 MAYBE 9.60/10.02
COPS/321.xml YES 4.61/1.84 YES 0.01/0.01
COPS/312.xml MAYBE 10.20/3.62 timeout (wallclock)
COPS/292.xml YES 3.58/1.67 YES 0.01/0.01
COPS/355.xml MAYBE 4.85/2.15 NO 0.04/0.05
COPS/266.xml YES 4.38/1.94 MAYBE 77.10/83.97
COPS/323.xml YES 3.50/1.63 YES 0.01/0.01
COPS/341.xml YES 3.52/1.55 YES 0.01/0.01
COPS/369.xml YES 3.93/1.72 YES 0.01/0.01
COPS/263.xml YES 3.38/1.62 StarExec error
COPS/403.xml StarExec error YES 0.01/0.01
COPS/315.xml YES 3.71/1.65 YES 0.01/0.01
COPS/411.xml MAYBE 4.83/2.15 NO 0.08/0.13
COPS/264.xml YES 3.37/1.55 YES 0.01/0.01
COPS/381.xml YES 3.82/1.63 YES 0.01/0.01
COPS/388.xml YES 3.70/1.70 YES 0.01/0.02
COPS/378.xml YES 4.39/1.91 YES 5.28/8.30
COPS/373.xml YES 3.35/1.57 YES 0.01/0.01
COPS/334.xml YES 3.34/1.52 YES 0.01/0.01
COPS/366.xml YES 3.68/1.66 YES 0.01/0.01
COPS/340.xml YES 3.51/1.56 YES 0.01/0.01
COPS/365.xml YES 3.46/1.62 YES 0.01/0.01
COPS/325.xml YES 3.74/1.68 YES 0.01/0.01
COPS/351.xml YES 4.26/1.84 YES 0.01/0.01
COPS/410.xml YES 3.58/1.58 YES 0.01/0.01
COPS/333.xml YES 4.11/1.76 YES 0.01/0.01
COPS/308.xml YES 3.57/1.59 YES 0.01/0.01
COPS/329.xml YES 4.68/2.02 YES 2.83/2.89
COPS/382.xml YES 3.55/1.64 YES 0.01/0.01
COPS/372.xml YES 3.54/1.63 YES 0.01/0.01
COPS/267.xml YES 4.00/2.35 YES 0.01/0.01
COPS/262.xml YES 3.48/1.56 YES 0.01/0.01
COPS/380.xml YES 3.53/1.64 YES 0.01/0.01
COPS/268.xml MAYBE 5.03/2.20 NO 0.05/0.07
COPS/404.xml YES 3.61/1.65 YES 0.01/0.01
COPS/358.xml YES 3.67/1.62 YES 0.01/0.01
COPS/272.xml YES 4.09/1.79 YES 0.01/0.02
COPS/374.xml YES 3.50/1.58 YES 0.01/0.01
COPS/406.xml YES 3.68/1.67 YES 0.01/0.01
COPS/409.xml MAYBE 5.27/2.17 StarExec error
COPS/288.xml YES 3.53/1.63 YES 0.06/0.08
COPS/293.xml MAYBE 4.93/2.19 NO 0.03/0.05
COPS/343.xml YES 3.53/1.60 YES 0.01/0.01
COPS/387.xml YES 3.78/1.64 YES 0.01/0.01
COPS/356.xml YES 3.40/1.53 YES 0.01/0.01
COPS/391.xml YES 3.57/1.59 YES 0.07/0.08
COPS/389.xml MAYBE 5.31/2.18 NO 0.05/0.08
COPS/383.xml YES 3.64/1.63 YES 0.01/0.01
COPS/364.xml YES 3.44/1.62 YES 0.01/0.01
COPS/376.xml YES 3.77/1.73 YES 0.01/0.01
COPS/289.xml MAYBE 6.49/2.56 MAYBE 14.04/14.57
COPS/271.xml YES 3.56/1.69 YES 0.17/0.20
COPS/310.xml YES 3.64/1.74 YES 0.23/0.26
COPS/317.xml YES 3.55/1.59 YES 0.01/0.01
Mixed_CTRS_2014/sche128.xml YES 3.62/1.62 YES 0.14/0.16
Mixed_CTRS_2014/ohl206.xml YES 3.73/1.73 YES 0.01/0.01
Mixed_CTRS_2014/ohl216.xml YES 3.70/1.60 YES 0.01/0.02
Mixed_CTRS_2014/jlap09-ex16.xml MAYBE 4.02/1.92 YES 2.11/2.13
Mixed_CTRS_2014/ohl211.xml MAYBE 9.30/4.36 YES 2.28/2.39
Mixed_CTRS_2014/ex3-muterm14.xml MAYBE 24.84/12.10 NO 4.33/4.47
Mixed_CTRS_2014/ex1-muterm14.xml YES 3.43/1.56 YES 0.01/0.01
Mixed_CTRS_2014/ohl194.xml YES 5.76/3.12 YES 88.60/96.43
Mixed_CTRS_2014/lucMarMes.xml MAYBE 5.34/2.28 NO 0.03/0.06
Mixed_CTRS_2014/ohl228.xml MAYBE 6.04/2.44 NO 4.32/4.49
Mixed_CTRS_2014/minus1.xml YES 3.57/1.63 YES 0.01/0.01
Mixed_CTRS_2014/ohl230.xml MAYBE 5.32/2.28 NO 0.21/0.31
Mixed_CTRS_2014/ohl190.xml YES 3.72/1.70 YES 0.04/0.06
Mixed_CTRS_2014/jlap09-ex17.xml MAYBE 32.02/12.27 YES 6.55/6.68
Mixed_CTRS_2014/mar_simple2.xml StarExec error timeout (wallclock)
Mixed_CTRS_2014/ohl196.xml YES 3.57/1.70 YES 0.01/0.01
Mixed_CTRS_2014/plus1.xml YES 3.56/1.66 YES 0.01/0.01
Mixed_CTRS_2014/mar.xml StarExec error timeout (wallclock)
Mixed_CTRS_2014/hosc08-ex5-aecc-p46.xml MAYBE 4.85/2.18 YES 4.23/4.37
Mixed_CTRS_2014/logic.xml YES 4.86/2.06 YES 11.11/12.03
Mixed_CTRS_2014/ohl.xml MAYBE 4.18/2.40 YES 2.20/2.28
Mixed_CTRS_2014/ex1-lucmes-wrla14.xml StarExec error timeout (wallclock)
Mixed_CTRS_2014/mar_simple1.xml MAYBE 28.92/9.09 timeout (wallclock)
Mixed_CTRS_2014/ex2-muterm14.xml YES 3.48/1.56 YES 0.01/0.01
Mixed_CTRS_2014/ex2-lucmes-wrla14.xml MAYBE 6.61/2.65 NO 6.56/6.85
84 101