Termination Competition 2018: SRS Relative Certified30041

benchmark AProVE ttt2-1.17+nonreach
Zantema_06_relative/rel12.xml MAYBE 1164.38/292.86 MAYBE 145.52/67.33
Zantema_06_relative/rel10.xml YES 28.48/7.88 YES 5.60/1.68
Zantema_06_relative/rel11.xml timeout (cpu) MAYBE 145.49/67.42
Zantema_06_relative/rel08.xml YES 10.52/3.43 YES 11.04/3.04
Zantema_06_relative/rel06.xml YES 35.78/9.75 MAYBE 143.13/67.35
Zantema_06_relative/rel05.xml YES 13.70/4.26 YES 4.71/1.44
Zantema_06_relative/rel02.xml YES 11.24/3.56 MAYBE 142.73/67.34
Zantema_06_relative/rel13.xml YES 7.03/2.63 YES 9.06/2.53
Zantema_06_relative/rel01.xml YES 6.14/2.23 YES 4.00/1.27
Zantema_06_relative/rel07.xml MAYBE 1163.59/292.55 StarExec error
Zantema_06_relative/rel03.xml timeout (cpu) MAYBE 141.85/67.34
Zantema_06_relative/cars.xml MAYBE 1189.84/298.91 StarExec error
Zantema_06_relative/rel04.xml YES 13.62/4.19 YES 4.98/1.52
Zantema_06_relative/rel09.xml YES 28.01/8.07 YES 7.22/2.08
Waldmann_06_relative/rbeans.xml MAYBE 0.35/0.27 MAYBE 8.83/7.33
Waldmann_06_relative/r8.xml YES 16.90/4.98 YES 6.98/2.00
Waldmann_06_relative/r4.xml YES 932.71/234.38 MAYBE 145.31/67.34
Waldmann_06_relative/r1.xml MAYBE 0.36/0.27 MAYBE 8.12/7.32
Waldmann_06_relative/r5.xml YES 13.42/4.24 YES 4.06/1.26
Waldmann_06_relative/r9.xml YES 27.29/7.56 YES 5.85/1.73
Waldmann_06_relative/r6.xml YES 9.24/3.08 YES 4.17/1.31
Waldmann_06_relative/r7.xml YES 5.12/2.08 YES 3.61/1.16
Waldmann_06_relative/r3.xml YES 28.00/7.82 YES 2.85/0.95
Waldmann_06_relative/r10.xml YES 456.36/114.97 MAYBE 145.42/67.33
Waldmann_06_relative/r2.xml MAYBE 0.34/0.26 MAYBE 8.81/7.32
Mixed_relative_SRS/zr07.xml YES 8.19/2.80 YES 3.74/1.19
Mixed_relative_SRS/zr02new.xml YES 10.15/3.43 YES 18.37/4.89
Mixed_relative_SRS/zr01.xml YES 7.86/2.87 YES 4.07/1.27
Mixed_relative_SRS/zr05.xml YES 5.32/2.93 YES 1.65/0.69
Mixed_relative_SRS/un03.xml timeout (wallclock) MAYBE 145.57/67.35
Mixed_relative_SRS/zr03.xml YES 3.88/1.82 YES 1.61/0.66
Mixed_relative_SRS/zr11.xml YES 10.01/3.25 YES 3.97/1.26
Mixed_relative_SRS/dup04.xml YES 338.84/92.91 MAYBE 145.50/67.35
Mixed_relative_SRS/zr04.xml YES 14.36/4.61 YES 19.76/5.24
Mixed_relative_SRS/zr08.xml YES 8.58/2.92 YES 5.65/1.68
Mixed_relative_SRS/zr09.xml YES 6.34/2.40 YES 2.94/0.99
Mixed_relative_SRS/zr12.xml YES 6.64/2.45 YES 2.81/0.97
Mixed_relative_SRS/un01.xml YES 24.33/9.78 MAYBE 145.48/67.34
Mixed_relative_SRS/zr13.xml NO 3.57/1.69 NO 1.50/0.64
Mixed_relative_SRS/dup02.xml YES 68.48/18.55 MAYBE 145.66/67.41
Mixed_relative_SRS/zr04new.xml YES 14.61/4.79 MAYBE 145.52/67.36
Mixed_relative_SRS/zr06.xml YES 6.45/2.33 YES 2.21/0.81
Mixed_relative_SRS/dup03.xml YES 61.94/17.40 YES 11.52/3.16
Mixed_relative_SRS/zr02.xml YES 6.80/2.56 YES 8.19/2.34
Mixed_relative_SRS/zr10.xml YES 9.92/3.40 YES 5.99/1.77
ICFP_2010_relative/4484.xml timeout (wallclock) MAYBE 146.02/67.73
ICFP_2010_relative/131982.xml timeout (wallclock) MAYBE 147.15/68.85
ICFP_2010_relative/137809.xml YES 687.99/226.21 MAYBE 147.11/68.79
ICFP_2010_relative/4057.xml timeout (wallclock) MAYBE 145.99/67.74
ICFP_2010_relative/139256.xml YES 65.19/17.51 MAYBE 147.25/68.94
ICFP_2010_relative/5130.xml YES 104.87/27.16 MAYBE 146.05/67.75
ICFP_2010_relative/3770.xml timeout (wallclock) MAYBE 145.93/67.74
ICFP_2010_relative/135604.xml timeout (wallclock) MAYBE 146.85/68.79
ICFP_2010_relative/3842.xml timeout (wallclock) MAYBE 145.99/67.72
ICFP_2010_relative/4979.xml MAYBE 745.61/297.69 MAYBE 146.05/67.72
ICFP_2010_relative/4487.xml timeout (wallclock) MAYBE 146.02/67.73
ICFP_2010_relative/4943.xml MAYBE 756.00/293.75 MAYBE 145.95/67.71
ICFP_2010_relative/3916.xml MAYBE 0.55/0.33 MAYBE 22.89/7.63
ICFP_2010_relative/4106.xml timeout (wallclock) MAYBE 146.03/67.70
ICFP_2010_relative/4893.xml MAYBE 717.09/300.81 MAYBE 146.01/67.72
ICFP_2010_relative/136051.xml timeout (wallclock) MAYBE 147.04/68.80
ICFP_2010_relative/139310.xml YES 60.31/16.21 MAYBE 147.19/68.94
ICFP_2010_relative/136623.xml timeout (wallclock) MAYBE 146.91/68.80
ICFP_2010_relative/132478.xml YES 61.18/16.47 MAYBE 147.34/68.96
ICFP_2010_relative/4824.xml timeout (wallclock) MAYBE 146.04/67.73
ICFP_2010_relative/4938.xml timeout (wallclock) MAYBE 146.04/67.72
ICFP_2010_relative/88172.xml timeout (wallclock) MAYBE 146.10/67.81
ICFP_2010_relative/132920.xml YES 41.32/11.67 MAYBE 147.24/68.92
ICFP_2010_relative/139163.xml YES 65.80/18.28 MAYBE 147.29/68.96
ICFP_2010_relative/97888.xml timeout (wallclock) MAYBE 149.44/71.17
ICFP_2010_relative/4374.xml timeout (wallclock) MAYBE 146.02/67.72
ICFP_2010_relative/128430.xml YES 52.41/14.23 MAYBE 147.18/68.95
ICFP_2010_relative/135328.xml timeout (wallclock) MAYBE 147.08/68.76
ICFP_2010_relative/140639.xml timeout (wallclock) MAYBE 146.71/68.44
ICFP_2010_relative/139174.xml YES 56.78/15.79 MAYBE 147.27/68.94
ICFP_2010_relative/4157.xml StarExec error MAYBE 146.08/67.73
ICFP_2010_relative/91242.xml timeout (wallclock) MAYBE 147.15/68.87
ICFP_2010_relative/140664.xml timeout (wallclock) MAYBE 146.69/68.40
ICFP_2010_relative/128691.xml YES 41.83/11.53 MAYBE 147.25/68.94
ICFP_2010_relative/4953.xml timeout (wallclock) MAYBE 146.09/67.76
ICFP_2010_relative/131633.xml MAYBE 905.86/296.39 MAYBE 147.26/68.81
ICFP_2010_relative/128550.xml YES 55.75/15.10 MAYBE 147.27/68.96
ICFP_2010_relative/133486.xml StarExec error StarExec error
ICFP_2010_relative/134918.xml timeout (wallclock) MAYBE 147.01/68.79
ICFP_2010_relative/138269.xml timeout (wallclock) MAYBE 147.15/68.80
ICFP_2010_relative/4964.xml timeout (wallclock) MAYBE 146.14/67.72
ICFP_2010_relative/133010.xml YES 52.13/14.47 MAYBE 147.30/68.95
ICFP_2010_relative/133159.xml timeout (wallclock) MAYBE 147.15/68.80
ICFP_2010_relative/128280.xml YES 49.75/13.57 MAYBE 147.25/68.93
ICFP_2010_relative/127538.xml YES 54.54/14.75 MAYBE 147.27/68.96
ICFP_2010_relative/3989.xml MAYBE 822.23/294.79 MAYBE 146.08/67.75
ICFP_2010_relative/140631.xml timeout (wallclock) MAYBE 146.78/68.48
ICFP_2010_relative/128486.xml YES 48.28/13.17 MAYBE 147.22/68.95
ICFP_2010_relative/140649.xml timeout (wallclock) MAYBE 146.78/68.50
ICFP_2010_relative/124791.xml timeout (wallclock) MAYBE 147.16/68.79
ICFP_2010_relative/139018.xml YES 50.49/13.93 MAYBE 147.02/68.95
ICFP_2010_relative/3533.xml timeout (wallclock) MAYBE 145.87/67.75
ICFP_2010_relative/139036.xml YES 61.97/16.79 MAYBE 147.28/68.94
ICFP_2010_relative/139180.xml YES 91.77/24.38 MAYBE 147.29/68.95
ICFP_2010_relative/139378.xml YES 47.53/13.27 MAYBE 147.37/68.97
ICFP_2010_relative/140359.xml YES 45.88/13.04 MAYBE 147.28/68.93
ICFP_2010_relative/4920.xml timeout (wallclock) MAYBE 146.08/67.74
ICFP_2010_relative/41378.xml StarExec error MAYBE 158.31/79.92
ICFP_2010_relative/3831.xml YES 118.39/30.55 MAYBE 146.10/67.75
ICFP_2010_relative/124211.xml MAYBE 900.20/299.42 MAYBE 147.07/68.78
ICFP_2010_relative/138330.xml timeout (wallclock) MAYBE 147.06/68.79
ICFP_2010_relative/138477.xml timeout (wallclock) MAYBE 147.11/68.80
ICFP_2010_relative/132235.xml MAYBE 917.74/296.61 StarExec error
ICFP_2010_relative/139214.xml YES 52.98/14.80 MAYBE 147.24/68.94
ICFP_2010_relative/3268.xml timeout (wallclock) MAYBE 145.88/67.48
ICFP_2010_relative/139025.xml YES 64.55/17.82 MAYBE 147.32/68.95
ICFP_2010_relative/5109.xml YES 163.92/42.40 MAYBE 145.96/67.73
ICFP_2010_relative/139185.xml YES 48.41/13.64 MAYBE 147.31/68.93
ICFP_2010_relative/4200.xml timeout (wallclock) MAYBE 146.09/67.75
ICFP_2010_relative/3467.xml timeout (wallclock) MAYBE 145.98/67.72
ICFP_2010_relative/139100.xml YES 53.01/14.81 MAYBE 147.29/68.97
ICFP_2010_relative/128182.xml YES 57.32/15.94 MAYBE 147.24/68.94
ICFP_2010_relative/124269.xml MAYBE 901.37/299.23 MAYBE 147.20/68.79
ICFP_2010_relative/142142.xml MAYBE 690.06/299.92 MAYBE 146.75/68.44
ICFP_2010_relative/3865.xml timeout (wallclock) MAYBE 146.17/67.74
ICFP_2010_relative/3995.xml timeout (wallclock) MAYBE 146.05/67.75
ICFP_2010_relative/138993.xml YES 67.41/18.15 MAYBE 147.21/68.94
ICFP_2010_relative/142146.xml YES 79.71/32.26 MAYBE 146.73/68.44
ICFP_2010_relative/63142.xml timeout (wallclock) MAYBE 146.20/67.82
ICFP_2010_relative/4819.xml YES 99.30/26.00 MAYBE 146.00/67.70
ICFP_2010_relative/135782.xml timeout (wallclock) MAYBE 147.12/68.81
ICFP_2010_relative/4282.xml timeout (wallclock) MAYBE 146.01/67.71
ICFP_2010_relative/137404.xml timeout (wallclock) MAYBE 147.11/68.78
ICFP_2010_relative/139190.xml YES 45.39/12.97 MAYBE 147.32/68.94
ICFP_2010_relative/3786.xml timeout (wallclock) MAYBE 146.06/67.74
ICFP_2010_relative/4074.xml MAYBE 644.65/296.95 MAYBE 146.03/67.75
ICFP_2010_relative/97917.xml timeout (wallclock) MAYBE 149.47/71.14
ICFP_2010_relative/132622.xml YES 48.04/13.52 MAYBE 147.28/68.94
ICFP_2010_relative/135115.xml timeout (wallclock) MAYBE 147.15/68.79
ICFP_2010_relative/107236.xml timeout (wallclock) MAYBE 148.44/70.11
ICFP_2010_relative/132720.xml YES 41.79/11.64 MAYBE 147.25/68.96
ICFP_2010_relative/140659.xml StarExec error MAYBE 146.72/68.41
ICFP_2010_relative/139167.xml YES 61.07/16.47 MAYBE 147.26/68.95
ICFP_2010_relative/4412.xml YES 133.80/34.71 MAYBE 146.19/67.74
ICFP_2010_relative/140287.xml timeout (wallclock) MAYBE 147.25/68.95
ICFP_2010_relative/138194.xml MAYBE 932.46/296.93 MAYBE 147.04/68.79
ICFP_2010_relative/4934.xml timeout (wallclock) MAYBE 145.96/67.73
ICFP_2010_relative/135936.xml timeout (wallclock) MAYBE 146.82/68.78
ICFP_2010_relative/123759.xml MAYBE 860.35/300.52 MAYBE 147.02/68.81
ICFP_2010_relative/4991.xml timeout (wallclock) MAYBE 146.10/67.74
ICFP_2010_relative/3633.xml timeout (wallclock) MAYBE 146.03/67.73
ICFP_2010_relative/139004.xml YES 58.51/16.13 MAYBE 147.32/68.94
ICFP_2010_relative/3705.xml timeout (wallclock) MAYBE 145.98/67.75
ICFP_2010_relative/3746.xml timeout (wallclock) MAYBE 146.13/67.73
ICFP_2010_relative/142157.xml StarExec error MAYBE 146.63/68.41
ICFP_2010_relative/4051.xml YES 230.85/58.80 MAYBE 146.04/67.73
ICFP_2010_relative/4248.xml timeout (wallclock) MAYBE 146.09/67.75
ICFP_2010_relative/4840.xml timeout (wallclock) MAYBE 146.04/67.73
ICFP_2010_relative/140654.xml timeout (wallclock) MAYBE 146.69/68.47
ICFP_2010_relative/128515.xml YES 81.94/22.37 MAYBE 147.29/68.93
ICFP_2010_relative/128620.xml YES 54.74/15.42 MAYBE 147.25/68.94
ICFP_2010_relative/4970.xml MAYBE 0.54/0.31 MAYBE 22.97/7.62
ICFP_2010_relative/3498.xml timeout (wallclock) MAYBE 146.01/67.70
ICFP_2010_relative/3450.xml timeout (wallclock) MAYBE 146.06/67.74
ICFP_2010_relative/3589.xml timeout (wallclock) MAYBE 146.03/67.73
ICFP_2010_relative/132833.xml YES 63.58/17.47 MAYBE 147.00/68.93
ICFP_2010_relative/133881.xml timeout (wallclock) MAYBE 146.99/68.78
ICFP_2010_relative/3680.xml YES 104.79/27.42 MAYBE 145.99/67.73
ICFP_2010_relative/4036.xml YES 205.92/52.54 MAYBE 146.09/67.74
ICFP_2010_relative/54097.xml timeout (wallclock) MAYBE 158.25/79.83
ICFP_2010_relative/3817.xml StarExec error MAYBE 145.99/67.73
ICFP_2010_relative/4141.xml timeout (wallclock) MAYBE 146.07/67.72
ICFP_2010_relative/4181.xml YES 240.51/61.97 MAYBE 145.95/67.74
ICFP_2010_relative/3562.xml timeout (wallclock) MAYBE 145.96/67.73
ICFP_2010_relative/4002.xml timeout (wallclock) MAYBE 146.01/67.72
ICFP_2010_relative/136562.xml timeout (wallclock) MAYBE 147.19/68.82
ICFP_2010_relative/132969.xml timeout (wallclock) MAYBE 147.16/68.77
ICFP_2010_relative/4827.xml timeout (wallclock) MAYBE 146.11/67.72
ICFP_2010_relative/140318.xml YES 53.25/15.55 MAYBE 147.23/68.92
ICFP_2010_relative/132782.xml YES 46.68/13.27 MAYBE 147.24/68.94
ICFP_2010_relative/139236.xml YES 51.00/13.95 MAYBE 147.28/68.95
ICFP_2010_relative/3729.xml timeout (wallclock) MAYBE 146.08/67.74
ICFP_2010_relative/3939.xml timeout (wallclock) MAYBE 146.03/67.73
ICFP_2010_relative/3336.xml MAYBE 0.56/0.34 MAYBE 22.74/7.46
ICFP_2010_relative/3385.xml MAYBE 1090.13/299.77 MAYBE 145.82/67.52
ICFP_2010_relative/128056.xml timeout (wallclock) MAYBE 147.34/68.96
ICFP_2010_relative/107220.xml timeout (wallclock) MAYBE 148.39/70.09
ICFP_2010_relative/135652.xml timeout (wallclock) MAYBE 147.08/68.78
ICFP_2010_relative/3856.xml YES 190.29/49.31 MAYBE 146.07/67.74
ICFP_2010_relative/132540.xml YES 54.51/14.88 MAYBE 147.09/69.03
ICFP_2010_relative/3930.xml timeout (wallclock) MAYBE 146.01/67.73
ICFP_2010_relative/4029.xml timeout (wallclock) MAYBE 145.99/67.73
ICFP_2010_relative/4816.xml YES 203.57/52.50 MAYBE 145.89/67.74
ICFP_2010_relative/142150.xml StarExec error MAYBE 146.76/68.43
ICFP_2010_relative/5011.xml MAYBE 0.55/0.32 MAYBE 22.78/7.63
ICFP_2010_relative/3861.xml timeout (wallclock) MAYBE 146.09/67.73
ICFP_2010_relative/132864.xml YES 55.59/15.05 MAYBE 147.32/68.96
ICFP_2010_relative/132957.xml YES 53.29/14.54 MAYBE 147.37/68.95
ICFP_2010_relative/3762.xml timeout (wallclock) MAYBE 146.02/67.73
ICFP_2010_relative/139282.xml YES 56.35/15.40 MAYBE 147.27/68.95
ICFP_2010_relative/4854.xml timeout (wallclock) MAYBE 146.12/67.75
ICFP_2010_relative/132738.xml YES 61.20/16.56 MAYBE 147.28/68.96
ICFP_2010_relative/88143.xml YES 63.52/21.63 MAYBE 146.14/67.80
ICFP_2010_relative/5076.xml timeout (wallclock) MAYBE 146.07/67.71
ICFP_2010_relative/4847.xml timeout (wallclock) MAYBE 146.01/67.72
ICFP_2010_relative/4046.xml MAYBE 0.51/0.31 MAYBE 22.88/7.64
ICFP_2010_relative/97901.xml timeout (wallclock) MAYBE 149.64/71.24
ICFP_2010_relative/64160.xml timeout (wallclock) MAYBE 146.16/67.81
ICFP_2010_relative/97929.xml timeout (wallclock) MAYBE 149.45/71.10
ICFP_2010_relative/4017.xml timeout (wallclock) MAYBE 145.63/67.74
90 28