Termination Competition 2018: TRS Relative30036

Job info CSV
benchmark AProVE standard NaTT Default ttt2-1.17+nonreach ttt2-1.17+nonreach
TRS_Relative/Relative_05/rt2-3.xml 5162234 YES 4.26/1.78 YES 0.02/0.02 YES 1.62/0.69
TRS_Relative/Relative_05/rt1-4.xml 5162235 YES 4.23/1.85 YES 0.02/0.02 YES 3.23/1.10
TRS_Relative/Relative_05/rtL-me2.xml 5162236 YES 5.09/2.27 YES 0.02/0.02 YES 19.05/5.16
TRS_Relative/Relative_05/rt1-5.xml 5162237 YES 5.03/2.08 YES 0.02/0.02 YES 8.22/2.36
TRS_Relative/Relative_05/rt1-2.xml 5162238 YES 5.01/2.03 YES 0.01/0.02 YES 0.95/0.53
TRS_Relative/Relative_05/rt3-1.xml 5162239 YES 5.84/2.21 MAYBE 0.07/0.06 YES 2.59/0.95
TRS_Relative/Relative_05/rt1-1.xml 5162240 YES 4.01/1.68 YES 0.01/0.01 YES 1.26/0.60
TRS_Relative/Relative_05/rtL-pwl.xml 5162241 YES 17.82/5.28 MAYBE 1.09/1.01 MAYBE 151.77/42.39
TRS_Relative/Relative_05/rtL-cbn1.xml 5162242 YES 19.67/5.72 MAYBE 0.56/0.48 MAYBE 153.02/42.40
TRS_Relative/Relative_05/rt3-9.xml 5162243 YES 7.02/2.50 YES 0.03/0.03 YES 7.74/2.25
TRS_Relative/Relative_05/rtL-wl1o.xml 5162244 run script error [out] MAYBE 0.09/0.08 MAYBE 149.91/42.38
TRS_Relative/Relative_05/rtL-cbn5.xml 5162245 YES 20.30/5.89 MAYBE 2.21/2.10 MAYBE 157.99/42.40
TRS_Relative/Relative_05/rtL-evo.xml 5162246 NO 4.72/2.22 NO 0.32/0.27 NO 2.15/0.85
TRS_Relative/Relative_05/rt3-2.xml 5162247 YES 7.30/2.59 MAYBE 0.05/0.05 YES 4.79/1.50
TRS_Relative/Relative_05/rt3-5.xml 5162248 YES 11.81/3.87 MAYBE 0.15/0.12 YES 12.34/3.38
TRS_Relative/Relative_05/rtL-evnz.xml 5162249 NO 51.34/14.86 MAYBE 0.70/0.63 MAYBE 168.27/42.49
TRS_Relative/Relative_05/rt1-3.xml 5162250 YES 3.41/1.61 YES 0.02/0.02 YES 3.92/1.27
TRS_Relative/Relative_05/rt2-8.xml 5162251 NO 3.67/1.58 MAYBE 0.06/0.05 MAYBE 149.14/42.38
TRS_Relative/Relative_05/rt2-2.xml 5162252 YES 3.84/1.71 YES 0.01/0.01 YES 1.34/0.63
TRS_Relative/Relative_05/rtL-rw5.xml 5162253 run script error [out] MAYBE 0.16/0.15 MAYBE 168.35/42.50
TRS_Relative/Relative_05/rt3-3.xml 5162254 NO 3.50/1.59 MAYBE 0.05/0.05 MAYBE 148.92/42.38
TRS_Relative/Relative_05/rt2-4.xml 5162255 YES 4.37/1.80 MAYBE 0.04/0.04 YES 2.29/0.85
TRS_Relative/Relative_05/rt2-7.xml 5162256 YES 6.22/2.29 YES 0.05/0.04 YES 4.27/1.35
TRS_Relative/Relative_05/rt3-7.xml 5162257 YES 4.40/1.89 MAYBE 0.07/0.06 YES 4.59/1.45
TRS_Relative/Relative_05/rt2-1.xml 5162258 YES 3.79/1.63 MAYBE 0.05/0.05 YES 2.12/0.82
TRS_Relative/Relative_05/rt3-4.xml 5162259 YES 23.33/7.43 MAYBE 0.06/0.05 MAYBE 136.64/42.41
TRS_Relative/Relative_05/rtL-me3.xml 5162260 YES 5.70/2.35 YES 0.04/0.03 MAYBE 168.21/42.45
TRS_Relative/Relative_05/rt2-5.xml 5162261 YES 3.91/1.68 MAYBE 0.05/0.05 YES 2.93/1.02
TRS_Relative/Relative_05/rt3-6.xml 5162262 NO 50.53/2.13 NO 0.07/0.06 NO 2.81/1.01
TRS_Relative/Relative_05/rtL-cbo.xml 5162263 timeout (wallclock) [out] MAYBE 0.31/0.24 MAYBE 151.63/42.40
TRS_Relative/Relative_05/rtL-rw2.xml 5162264 run script error [out] run script error [out] MAYBE 168.34/42.50
TRS_Relative/Relative_05/rtL-wl1nz.xml 5162265 YES 6.49/2.37 YES 0.03/0.03 YES 8.46/2.42
TRS_Relative/Relative_05/rt3-8.xml 5162266 NO 3.60/1.59 NO 0.10/0.08 NO 1.73/0.74
TRS_Relative/Mixed_relative_TRS/ijcar2006.xml 5162321 YES 6.18/2.39 MAYBE 0.06/0.05 YES 3.46/1.17
TRS_Relative/Mixed_relative_TRS/gcd_many.xml 5162322 NO 3.41/1.59 NO 0.20/0.16 NO 2.25/0.87
TRS_Relative/Mixed_relative_TRS/relsubst.xml 5162323 timeout (wallclock) [out] YES 0.10/0.07 MAYBE 150.68/42.37
TRS_Relative/Mixed_relative_TRS/assoc.xml 5162324 NO 4.06/1.76 MAYBE 0.28/0.24 MAYBE 137.07/42.37
TRS_Relative/Mixed_relative_TRS/trafic.xml 5162325 YES 18.36/5.69 YES 0.53/0.52 MAYBE 162.57/42.43
TRS_Relative/Mixed_relative_TRS/abp.xml 5162326 run script error [out] MAYBE 24.73/23.43 MAYBE 168.16/42.49
TRS_Relative/Mixed_relative_TRS/carbridge.xml 5162327 YES 5.53/2.21 YES 0.06/0.06 YES 21.51/5.70
TRS_Relative/Mixed_relative_TRS/gcd_list.xml 5162328 run script error [out] MAYBE 0.58/0.55 MAYBE 153.93/42.39
TRS_Relative/Mixed_relative_TRS/abp2.xml 5162329 run script error [out] YES 0.12/0.11 MAYBE 160.59/42.42
TRS_Relative/Mixed_relative_TRS/gcd.xml 5162330 timeout (wallclock) [out] MAYBE 0.08/0.07 MAYBE 168.36/42.44
TRS_Relative/Mixed_relative_TRS/rt-rw4.xml 5162331 YES 13.91/4.53 MAYBE 3.86/2.85 MAYBE 168.40/42.53
TRS_Relative/INVY_15/#3.2_rand.xml 5162267 timeout (wallclock) [out] YES 0.11/0.08 MAYBE 142.46/42.37
TRS_Relative/INVY_15/#3.19_rand.xml 5162268 timeout (wallclock) [out] YES 0.17/0.13 MAYBE 149.73/42.37
TRS_Relative/INVY_15/ex7.xml 5162269 NO 3.38/4.64 MAYBE 0.05/0.04 MAYBE 148.72/42.37
TRS_Relative/INVY_15/#3.41_rand.xml 5162270 run script error [out] YES 0.08/0.07 MAYBE 140.38/42.38
TRS_Relative/INVY_15/#3.37_rand.xml 5162271 YES 7.49/2.62 YES 0.04/0.03 YES 10.32/2.89
TRS_Relative/INVY_15/ex3.xml 5162272 NO 3.25/1.53 MAYBE 0.04/0.04 MAYBE 76.70/25.73
TRS_Relative/INVY_15/#3.8a_rand.xml 5162273 timeout (wallclock) [out] YES 0.16/0.12 MAYBE 147.82/42.37
TRS_Relative/INVY_15/#3.6_rand.xml 5162274 run script error [out] MAYBE 0.34/0.27 MAYBE 146.19/42.38
TRS_Relative/INVY_15/#3.5_rand.xml 5162275 timeout (wallclock) [out] YES 0.22/0.17 MAYBE 143.92/42.38
TRS_Relative/INVY_15/#3.10_rand.xml 5162276 timeout (wallclock) [out] YES 0.53/0.41 MAYBE 154.17/42.39
TRS_Relative/INVY_15/#3.5a_rand.xml 5162277 run script error [out] YES 0.23/0.17 MAYBE 145.28/42.39
TRS_Relative/INVY_15/invNSS03.xml 5162278 YES 3.99/1.69 YES 0.02/0.02 YES 2.76/1.04
TRS_Relative/INVY_15/#3.1_rand.xml 5162279 timeout (wallclock) [out] YES 0.11/0.08 MAYBE 141.52/42.38
TRS_Relative/INVY_15/#3.39_rand.xml 5162280 timeout (wallclock) [out] MAYBE 0.26/0.19 MAYBE 151.89/42.38
TRS_Relative/INVY_15/#3.5b_rand.xml 5162281 run script error [out] YES 0.35/0.28 MAYBE 147.03/42.39
TRS_Relative/INVY_15/#3.16_rand.xml 5162282 timeout (wallclock) [out] YES 0.10/0.08 MAYBE 138.89/42.37
TRS_Relative/INVY_15/#3.56_rand.xml 5162283 YES 8.25/2.79 YES 0.05/0.05 YES 16.27/4.40
TRS_Relative/INVY_15/#3.1_gen.xml 5162284 NO 3.60/1.63 MAYBE 0.10/0.08 NO 1.58/0.70
TRS_Relative/INVY_15/#3.23_rand.xml 5162285 timeout (wallclock) [out] YES 0.07/0.05 MAYBE 137.25/42.37
TRS_Relative/INVY_15/#3.53a_rand.xml 5162286 YES 5.99/2.30 YES 0.03/0.03 run script error [out]
TRS_Relative/INVY_15/#3.48_rand.xml 5162287 run script error [out] YES 0.11/0.09 MAYBE 146.54/42.37
TRS_Relative/INVY_15/#3.29_rand.xml 5162288 YES 13.04/6.72 YES 0.03/0.03 YES 4.01/1.29
TRS_Relative/INVY_15/#3.6a_rand.xml 5162289 timeout (wallclock) [out] MAYBE 0.34/0.27 MAYBE 143.86/42.38
TRS_Relative/INVY_15/#4.30c_rand.xml 5162290 run script error [out] MAYBE 0.32/0.26 MAYBE 168.51/42.46
TRS_Relative/INVY_15/#3.38_rand.xml 5162291 run script error [out] YES 0.05/0.04 MAYBE 143.18/42.38
TRS_Relative/INVY_15/#3.15_rand.xml 5162292 YES 10.11/3.42 YES 0.04/0.04 YES 7.97/2.30
TRS_Relative/INVY_15/ex6.xml 5162293 NO 3.09/1.50 MAYBE 0.05/0.04 NO 0.99/0.57
TRS_Relative/INVY_15/ex1.xml 5162294 NO 3.60/1.59 NO 0.05/0.04 run script error [out]
TRS_Relative/INVY_15/#3.52_rand.xml 5162295 timeout (wallclock) [out] YES 0.10/0.08 MAYBE 137.41/42.37
TRS_Relative/INVY_15/#3.35_rand.xml 5162296 YES 5.80/2.28 YES 0.03/0.03 YES 6.33/1.88
TRS_Relative/INVY_15/#3.18_rand.xml 5162297 timeout (wallclock) [out] YES 0.15/0.11 MAYBE 147.53/42.38
TRS_Relative/INVY_15/#3.40_rand.xml 5162298 timeout (wallclock) [out] MAYBE 0.39/0.29 MAYBE 152.66/42.39
TRS_Relative/INVY_15/#3.7_rand.xml 5162299 YES 29.19/8.65 YES 0.05/0.05 YES 15.09/4.08
TRS_Relative/INVY_15/#3.17a_mset.xml 5162300 YES 11.43/3.82 run script error [out] MAYBE 152.33/42.38
TRS_Relative/INVY_15/#3.8b_rand.xml 5162301 timeout (wallclock) [out] YES 0.28/0.22 MAYBE 151.00/42.38
TRS_Relative/INVY_15/#3.54_rand.xml 5162302 YES 7.69/2.67 YES 0.04/0.03 YES 14.24/3.87
TRS_Relative/INVY_15/#3.26_rand.xml 5162303 YES 6.08/2.26 YES 0.03/0.03 YES 11.77/3.33
TRS_Relative/INVY_15/#3.47_rand.xml 5162304 YES 5.34/2.11 YES 0.09/0.07 YES 7.95/2.29
TRS_Relative/INVY_15/quicktest_sum.xml 5162305 timeout (wallclock) [out] YES 0.15/0.12 MAYBE 148.97/42.38
TRS_Relative/INVY_15/#3.4_rand.xml 5162306 timeout (wallclock) [out] YES 0.15/0.11 MAYBE 146.04/42.37
TRS_Relative/INVY_15/#3.24_rand.xml 5162307 YES 6.64/2.40 YES 0.04/0.05 YES 11.11/3.19
TRS_Relative/INVY_15/#3.53b_rand.xml 5162308 timeout (wallclock) [out] YES 0.09/0.08 MAYBE 137.22/42.37
TRS_Relative/INVY_15/#3.22_rand.xml 5162309 timeout (wallclock) [out] MAYBE 0.28/0.20 MAYBE 144.95/42.37
TRS_Relative/INVY_15/#3.49_rand.xml 5162310 YES 4.10/1.83 YES 0.06/0.06 YES 13.34/3.64
TRS_Relative/INVY_15/ex2.xml 5162311 timeout (wallclock) [out] YES 0.02/0.02 MAYBE 137.70/42.38
TRS_Relative/INVY_15/quicktest.xml 5162312 timeout (wallclock) [out] YES 0.11/0.09 MAYBE 148.74/42.38
TRS_Relative/INVY_15/#3.42_rand.xml 5162313 run script error [out] YES 0.15/0.12 MAYBE 145.84/42.38
TRS_Relative/INVY_15/#3.57_rand.xml 5162314 timeout (wallclock) [out] YES 0.26/0.20 MAYBE 152.61/42.38
TRS_Relative/INVY_15/#3.17_mset.xml 5162315 YES 8.67/2.95 YES 0.07/0.07 MAYBE 150.52/42.39
TRS_Relative/INVY_15/#3.53_rand.xml 5162316 timeout (wallclock) [out] YES 0.28/0.21 MAYBE 152.47/42.39
TRS_Relative/INVY_15/ex4.xml 5162317 YES 4.46/1.94 YES 0.01/0.01 YES 2.72/0.97
TRS_Relative/INVY_15/#3.36_rand.xml 5162318 run script error [out] YES 0.12/0.09 MAYBE 142.78/42.37
TRS_Relative/INVY_15/#3.55_rand.xml 5162319 timeout (wallclock) [out] YES 0.53/0.42 MAYBE 151.60/42.39
TRS_Relative/INVY_15/#3.6b_rand.xml 5162320 run script error [out] MAYBE 0.62/0.53 MAYBE 146.42/42.38
56 62 39