Termination Competition 2018: TRS Relative Certified30040

Job info CSV

benchmark	AProVE certified	ttt2-1.17+nonreach ttt2-1.17+nonreach-cert
TRS_Relative/INVY_15/#3.2_rand.xml 5162267	timeout (wallclock) [out]	MAYBE 50.12/42.33
TRS_Relative/INVY_15/#3.19_rand.xml 5162268	timeout (wallclock) [out]	MAYBE 50.86/42.34
TRS_Relative/INVY_15/ex7.xml 5162269	NO 3.46/1.57 (CERTIFIED 0.0)	MAYBE 49.49/42.33
TRS_Relative/INVY_15/#3.41_rand.xml 5162270	timeout (wallclock) [out]	MAYBE 49.97/42.33
TRS_Relative/INVY_15/#3.37_rand.xml 5162271	YES 7.71/2.77 (CERTIFIED 0.0)	YES 2.97/1.04 (CERTIFIED 0.0)
TRS_Relative/INVY_15/ex3.xml 5162272	MAYBE 1054.97/299.12	MAYBE 42.48/42.34
TRS_Relative/INVY_15/#3.8a_rand.xml 5162273	MAYBE 1072.53/297.09	MAYBE 50.65/42.34
TRS_Relative/INVY_15/#3.6_rand.xml 5162274	MAYBE 663.46/292.77	MAYBE 50.56/42.35
TRS_Relative/INVY_15/#3.5_rand.xml 5162275	timeout (wallclock) [out]	MAYBE 50.43/42.34
TRS_Relative/INVY_15/#3.10_rand.xml 5162276	timeout (wallclock) [out]	MAYBE 53.51/42.36
TRS_Relative/INVY_15/#3.5a_rand.xml 5162277	MAYBE 717.95/291.54	MAYBE 50.51/42.34
TRS_Relative/INVY_15/invNSS03.xml 5162278	YES 4.39/1.89 (CERTIFIED 0.0)	YES 0.85/0.51 (CERTIFIED 0.0)
TRS_Relative/INVY_15/#3.1_rand.xml 5162279	timeout (wallclock) [out]	MAYBE 49.98/42.34
TRS_Relative/INVY_15/#3.39_rand.xml 5162280	timeout (wallclock) [out]	MAYBE 50.74/42.34
TRS_Relative/INVY_15/#3.5b_rand.xml 5162281	timeout (wallclock) [out]	MAYBE 50.72/42.35
TRS_Relative/INVY_15/#3.16_rand.xml 5162282	MAYBE 1155.06/300.29	MAYBE 49.87/42.34
TRS_Relative/INVY_15/#3.56_rand.xml 5162283	YES 8.65/2.88 (CERTIFIED 0.0)	YES 4.36/1.37 (CERTIFIED 0.0)
TRS_Relative/INVY_15/#3.1_gen.xml 5162284	NO 3.81/1.71 (CERTIFIED 0.0)	NO 0.44/0.37 (CERTIFIED 0.0)
TRS_Relative/INVY_15/#3.23_rand.xml 5162285	timeout (wallclock) [out]	MAYBE 49.64/42.33
TRS_Relative/INVY_15/#3.53a_rand.xml 5162286	YES 6.13/2.36 (CERTIFIED 0.0)	YES 1.99/0.77 (CERTIFIED 0.0)
TRS_Relative/INVY_15/#3.48_rand.xml 5162287	MAYBE 708.71/291.83	MAYBE 50.69/42.33
TRS_Relative/INVY_15/#3.29_rand.xml 5162288	YES 5.09/2.02 (CERTIFIED 0.0)	YES 1.20/0.56 (CERTIFIED 0.0)
TRS_Relative/INVY_15/#3.6a_rand.xml 5162289	timeout (wallclock) [out]	MAYBE 50.46/42.34
TRS_Relative/INVY_15/#4.30c_rand.xml 5162290	MAYBE 696.99/291.54	MAYBE 50.69/42.34
TRS_Relative/INVY_15/#3.38_rand.xml 5162291	MAYBE 680.04/291.51	MAYBE 50.30/42.34
TRS_Relative/INVY_15/#3.15_rand.xml 5162292	YES 6.97/2.60 (CERTIFIED 0.0)	YES 3.57/1.16 (CERTIFIED 0.0)
TRS_Relative/INVY_15/ex6.xml 5162293	timeout (wallclock) [out]	NO 0.40/0.36 (CERTIFIED 0.0)
TRS_Relative/INVY_15/ex1.xml 5162294	NO 3.42/1.66 (CERTIFIED 0.0)	NO 0.41/0.36 (CERTIFIED 0.0)
TRS_Relative/INVY_15/#3.52_rand.xml 5162295	timeout (wallclock) [out]	MAYBE 49.67/42.33
TRS_Relative/INVY_15/#3.35_rand.xml 5162296	YES 5.43/2.10 (CERTIFIED 0.0)	run script error [out]
TRS_Relative/INVY_15/#3.18_rand.xml 5162297	timeout (wallclock) [out]	MAYBE 50.47/42.36
TRS_Relative/INVY_15/#3.40_rand.xml 5162298	timeout (wallclock) [out]	MAYBE 51.28/42.34
TRS_Relative/INVY_15/#3.7_rand.xml 5162299	YES 7.69/2.64 (CERTIFIED 0.0)	YES 5.13/1.57 (CERTIFIED 0.0)
TRS_Relative/INVY_15/#3.17a_mset.xml 5162300	YES 10.82/3.52 (CERTIFIED 0.0)	YES 13.54/3.71 (CERTIFIED 0.0)
TRS_Relative/INVY_15/#3.8b_rand.xml 5162301	timeout (wallclock) [out]	MAYBE 51.09/42.34
TRS_Relative/INVY_15/#3.54_rand.xml 5162302	YES 7.86/2.84 (CERTIFIED 0.0)	YES 4.60/1.44 (CERTIFIED 0.0)
TRS_Relative/INVY_15/#3.26_rand.xml 5162303	YES 6.42/2.35 (CERTIFIED 0.0)	YES 4.23/1.34 (CERTIFIED 0.0)
TRS_Relative/INVY_15/#3.47_rand.xml 5162304	YES 5.18/2.02 (CERTIFIED 0.0)	YES 2.39/0.87 (CERTIFIED 0.0)
TRS_Relative/INVY_15/quicktest_sum.xml 5162305	timeout (wallclock) [out]	MAYBE 53.34/42.35
TRS_Relative/INVY_15/#3.4_rand.xml 5162306	timeout (wallclock) [out]	MAYBE 50.47/42.33
TRS_Relative/INVY_15/#3.24_rand.xml 5162307	YES 5.75/2.22 (CERTIFIED 0.0)	YES 2.72/0.95 (CERTIFIED 0.0)
TRS_Relative/INVY_15/#3.53b_rand.xml 5162308	timeout (wallclock) [out]	MAYBE 49.68/42.48
TRS_Relative/INVY_15/#3.22_rand.xml 5162309	timeout (wallclock) [out]	MAYBE 50.48/42.34
TRS_Relative/INVY_15/#3.49_rand.xml 5162310	YES 5.97/2.27 (CERTIFIED 0.0)	YES 4.24/1.34 (CERTIFIED 0.0)
TRS_Relative/INVY_15/ex2.xml 5162311	MAYBE 1055.08/300.88	MAYBE 49.60/42.32
TRS_Relative/INVY_15/quicktest.xml 5162312	timeout (wallclock) [out]	MAYBE 51.02/42.34
TRS_Relative/INVY_15/#3.42_rand.xml 5162313	timeout (wallclock) [out]	MAYBE 50.47/42.34
TRS_Relative/INVY_15/#3.57_rand.xml 5162314	timeout (wallclock) [out]	MAYBE 52.86/42.34
TRS_Relative/INVY_15/#3.17_mset.xml 5162315	YES 9.33/3.10 (CERTIFIED 0.0)	YES 10.81/3.01 (CERTIFIED 0.0)
TRS_Relative/INVY_15/#3.53_rand.xml 5162316	MAYBE 908.93/298.15	MAYBE 51.67/42.35
TRS_Relative/INVY_15/ex4.xml 5162317	run script error [out]	run script error [out]
TRS_Relative/INVY_15/#3.36_rand.xml 5162318	timeout (wallclock) [out]	MAYBE 50.26/42.34
TRS_Relative/INVY_15/#3.55_rand.xml 5162319	timeout (wallclock) [out]	MAYBE 52.66/42.35
TRS_Relative/INVY_15/#3.6b_rand.xml 5162320	timeout (wallclock) [out]	MAYBE 50.69/42.35
TRS_Relative/Relative_05/rt2-3.xml 5162234	YES 7.30/2.66 (CERTIFIED 0.0)	YES 0.96/0.52 (CERTIFIED 0.0)
TRS_Relative/Relative_05/rt1-4.xml 5162235	YES 5.28/2.09 (CERTIFIED 0.0)	YES 1.23/0.56 (CERTIFIED 0.0)
TRS_Relative/Relative_05/rtL-me2.xml 5162236	YES 5.20/2.13 (CERTIFIED 0.0)	YES 4.29/1.44 (CERTIFIED 0.1)
TRS_Relative/Relative_05/rt1-5.xml 5162237	YES 4.69/1.98 (CERTIFIED 0.0)	YES 1.84/0.72 (CERTIFIED 0.0)
TRS_Relative/Relative_05/rt1-2.xml 5162238	YES 3.91/1.71 (CERTIFIED 0.0)	YES 0.71/0.43 (CERTIFIED 0.0)
TRS_Relative/Relative_05/rt3-1.xml 5162239	YES 5.61/2.25 (CERTIFIED 0.0)	YES 0.81/0.45 (CERTIFIED 0.0)
TRS_Relative/Relative_05/rt1-1.xml 5162240	YES 3.65/1.61 (CERTIFIED 0.0)	YES 0.49/0.37 (CERTIFIED 0.0)
TRS_Relative/Relative_05/rtL-pwl.xml 5162241	MAYBE 1175.06/295.75	MAYBE 59.45/42.37
TRS_Relative/Relative_05/rtL-cbn1.xml 5162242	timeout (wallclock) [out]	MAYBE 59.37/42.37
TRS_Relative/Relative_05/rt3-9.xml 5162243	YES 6.80/2.48 (CERTIFIED 0.0)	YES 2.23/0.83 (CERTIFIED 0.0)
TRS_Relative/Relative_05/rtL-wl1o.xml 5162244	MAYBE 1152.00/291.59	MAYBE 50.52/42.33
TRS_Relative/Relative_05/rtL-cbn5.xml 5162245	timeout (wallclock) [out]	MAYBE 59.55/42.36
TRS_Relative/Relative_05/rtL-evo.xml 5162246	NO 4.64/1.98 (CERTIFIED 0.0)	NO 0.52/0.40 (CERTIFIED 0.0)
TRS_Relative/Relative_05/rt3-2.xml 5162247	YES 5.11/2.00 (CERTIFIED 0.0)	YES 1.35/0.60 (CERTIFIED 0.0)
TRS_Relative/Relative_05/rt3-5.xml 5162248	YES 8.55/2.94 (CERTIFIED 0.0)	YES 3.12/1.04 (CERTIFIED 0.0)
TRS_Relative/Relative_05/rtL-evnz.xml 5162249	NO 48.75/13.99 (CERTIFIED 0.0)	MAYBE 59.48/42.38
TRS_Relative/Relative_05/rt1-3.xml 5162250	YES 4.41/1.85 (CERTIFIED 0.0)	YES 1.53/0.64 (CERTIFIED 0.0)
TRS_Relative/Relative_05/rt2-8.xml 5162251	NO 3.93/1.73 (CERTIFIED 0.0)	MAYBE 50.34/42.32
TRS_Relative/Relative_05/rt2-2.xml 5162252	YES 3.76/1.68 (CERTIFIED 0.0)	YES 0.50/0.38 (CERTIFIED 0.0)
TRS_Relative/Relative_05/rtL-rw5.xml 5162253	timeout (wallclock) [out]	MAYBE 59.62/42.40
TRS_Relative/Relative_05/rt3-3.xml 5162254	NO 3.61/1.63 (CERTIFIED 0.0)	MAYBE 49.83/42.32
TRS_Relative/Relative_05/rt2-4.xml 5162255	YES 4.24/1.82 (CERTIFIED 0.0)	YES 0.68/0.42 (CERTIFIED 0.0)
TRS_Relative/Relative_05/rt2-7.xml 5162256	YES 7.92/2.79 (CERTIFIED 0.0)	YES 2.05/0.78 (CERTIFIED 0.0)
TRS_Relative/Relative_05/rt3-7.xml 5162257	YES 5.12/2.04 (CERTIFIED 0.0)	YES 1.27/0.58 (CERTIFIED 0.0)
TRS_Relative/Relative_05/rt2-1.xml 5162258	YES 4.13/1.77 (CERTIFIED 0.0)	YES 0.66/0.42 (CERTIFIED 0.0)
TRS_Relative/Relative_05/rt3-4.xml 5162259	YES 22.12/7.16 (CERTIFIED 0.4)	MAYBE 49.61/42.33
TRS_Relative/Relative_05/rtL-me3.xml 5162260	YES 5.85/2.31 (CERTIFIED 0.0)	YES 8.84/2.54 (CERTIFIED 0.1)
TRS_Relative/Relative_05/rt2-5.xml 5162261	YES 4.17/1.74 (CERTIFIED 0.0)	YES 1.56/0.63 (CERTIFIED 0.0)
TRS_Relative/Relative_05/rt3-6.xml 5162262	NO 3.58/1.65 (CERTIFIED 0.0)	NO 1.42/0.61 (CERTIFIED 0.0)
TRS_Relative/Relative_05/rtL-cbo.xml 5162263	MAYBE 1135.56/293.80	MAYBE 55.10/42.35
TRS_Relative/Relative_05/rtL-rw2.xml 5162264	timeout (wallclock) [out]	MAYBE 59.39/42.40
TRS_Relative/Relative_05/rtL-wl1nz.xml 5162265	YES 7.53/2.62 (CERTIFIED 0.0)	YES 3.24/1.09 (CERTIFIED 0.0)
TRS_Relative/Relative_05/rt3-8.xml 5162266	NO 3.55/1.70 (CERTIFIED 0.0)	NO 0.50/0.39 (CERTIFIED 0.0)
TRS_Relative/Mixed_relative_TRS/ijcar2006.xml 5162321	YES 5.47/2.18 (CERTIFIED 0.0)	YES 1.09/0.54 (CERTIFIED 0.0)
TRS_Relative/Mixed_relative_TRS/gcd_many.xml 5162322	NO 3.68/1.70 (CERTIFIED 0.0)	NO 0.43/0.38 (CERTIFIED 0.0)
TRS_Relative/Mixed_relative_TRS/relsubst.xml 5162323	timeout (wallclock) [out]	MAYBE 50.27/42.34
TRS_Relative/Mixed_relative_TRS/assoc.xml 5162324	NO 4.00/1.69 (CERTIFIED 0.0)	MAYBE 49.71/42.33
TRS_Relative/Mixed_relative_TRS/trafic.xml 5162325	YES 24.07/6.97 (CERTIFIED 0.1)	MAYBE 59.43/42.41
TRS_Relative/Mixed_relative_TRS/abp.xml 5162326	MAYBE 1182.56/298.12	MAYBE 59.55/42.41
TRS_Relative/Mixed_relative_TRS/carbridge.xml 5162327	YES 5.35/2.11 (CERTIFIED 0.0)	YES 6.02/1.79 (CERTIFIED 0.0)
TRS_Relative/Mixed_relative_TRS/gcd_list.xml 5162328	timeout (wallclock) [out]	MAYBE 57.78/42.34
TRS_Relative/Mixed_relative_TRS/abp2.xml 5162329	MAYBE 1160.89/292.59	MAYBE 59.53/42.47
TRS_Relative/Mixed_relative_TRS/gcd.xml 5162330	timeout (wallclock) [out]	MAYBE 51.21/42.36
TRS_Relative/Mixed_relative_TRS/rt-rw4.xml 5162331	YES 14.18/4.43 (CERTIFIED 0.1)	MAYBE 59.51/42.43
	50	42