termcomp

Navigation

Home
Login
Register

Competition List
Download current tools

Create an Experiment
View Experiments
View Tools

Registration
Tool management
Query interface

Category Results for SRS Relative

Statistics

Result

AProVE-CeTA (TC 2013)

AProVE (TC 2013)

TTT2 (2013_1)

TTT2Cert (2013_1)

MAYBE

Average time	4.490
Total time	17.958
# Results	4

Average time	0.283
Total time	0.849
# Results	3

Average time	59.727
Total time	1134.819
# Results	19

Average time	50.250
Total time	1005.008
# Results	20

Average time
Total time
# Results

Average time	1.103
Total time	1.103
# Results	1

Average time	0.699
Total time	0.699
# Results	1

Average time	0.720
Total time	0.720
# Results	1

TIMEOUT

Average time	61.196
Total time	1529.904
# Results	25

Average time	60.923
Total time	1279.392
# Results	21

Average time	60.047
Total time	720.563
# Results	12

Average time	60.041
Total time	720.487
# Results	12

YES

Average time	8.029
Total time	144.527
# Results	18

Average time	8.072
Total time	177.585
# Results	22

Average time	2.715
Total time	40.725
# Results	15

Average time	1.650
Total time	23.099
# Results	14

Actions

Results

««

Last

Termination Problem

AProVE-CeTA (TC 2013)

AProVE (TC 2013)

TTT2 (2013_1)

TTT2Cert (2013_1)


1	tpdb-8.0/TRS/ICFP_2010_relative/128056.xml	61.054	60.818	60.051	60.038
2	tpdb-8.0/TRS/ICFP_2010_relative/128486.xml	19.383	11.225	60.045	60.046
3	tpdb-8.0/TRS/ICFP_2010_relative/131633.xml	61.182	61.061	60.048	60.036
4	tpdb-8.0/TRS/ICFP_2010_relative/132833.xml	21.504	12.794	60.049	60.041
5	tpdb-8.0/TRS/ICFP_2010_relative/134918.xml	61.758	61.089	60.042	60.041
6	tpdb-8.0/TRS/ICFP_2010_relative/135652.xml	61.881	61.137	60.043	60.039
7	tpdb-8.0/TRS/ICFP_2010_relative/136562.xml	62.0	61.062	60.044	60.036
8	tpdb-8.0/TRS/ICFP_2010_relative/137404.xml	61.443	61.062	60.045	60.043
9	tpdb-8.0/TRS/ICFP_2010_relative/139185.xml	17.935	10.914	60.046	60.044
10	tpdb-8.0/TRS/ICFP_2010_relative/139378.xml	20.187	13.544	60.05	60.04
11	tpdb-8.0/TRS/ICFP_2010_relative/140287.xml	61.312	60.956	60.046	60.042
12	tpdb-8.0/TRS/ICFP_2010_relative/3533.xml	61.83	61.061	59.998	58.222
13	tpdb-8.0/TRS/ICFP_2010_relative/3680.xml	61.384	60.801	60.014	58.223
14	tpdb-8.0/TRS/ICFP_2010_relative/4029.xml	61.749	61.152	60.013	58.202
15	tpdb-8.0/TRS/ICFP_2010_relative/4036.xml	61.943	46.213	59.999	58.173
16	tpdb-8.0/TRS/ICFP_2010_relative/4248.xml	61.351	60.79	59.993	58.256
17	tpdb-8.0/TRS/ICFP_2010_relative/4934.xml	61.847	60.997	59.987	58.206
18	tpdb-8.0/TRS/ICFP_2010_relative/4938.xml	61.563	60.861	59.97	58.157
19	tpdb-8.0/TRS/ICFP_2010_relative/4943.xml	61.629	61.059	60.001	58.14
20	tpdb-8.0/TRS/ICFP_2010_relative/97901.xml	61.25	60.958	60.054	60.041
21	tpdb-8.0/TRS/Mixed_relative_SRS/dup02.xml	8.231	13.666	59.553	57.556
22	tpdb-8.0/TRS/Mixed_relative_SRS/un01.xml	60.911	7.699	59.528	57.448
23	tpdb-8.0/TRS/Mixed_relative_SRS/un03.xml	61.156	60.773	59.595	57.478
24	tpdb-8.0/TRS/Mixed_relative_SRS/zr01.xml	3.456	1.872	1.68	1.03
25	tpdb-8.0/TRS/Mixed_relative_SRS/zr02.xml	3.97	2.487	2.482	2.486
26	tpdb-8.0/TRS/Mixed_relative_SRS/zr04.xml	4.703	4.104	6.811	4.188
27	tpdb-8.0/TRS/Mixed_relative_SRS/zr06.xml	3.443	1.927	1.389	0.763
28	tpdb-8.0/TRS/Mixed_relative_SRS/zr11.xml	3.73	2.158	2.689	1.159
29	tpdb-8.0/TRS/Mixed_relative_SRS/zr13.xml	60.068	1.103	0.699	0.72
30	tpdb-8.0/TRS/Waldmann_06_relative/r10.xml	60.5	60.758	59.515	57.437
31	tpdb-8.0/TRS/Waldmann_06_relative/r1.xml	0.765	0.284	59.517	7.415
32	tpdb-8.0/TRS/Waldmann_06_relative/r2.xml	0.756	0.281	2.732	7.412
33	tpdb-8.0/TRS/Waldmann_06_relative/r3.xml	15.682	14.139	0.978	0.794
34	tpdb-8.0/TRS/Waldmann_06_relative/r5.xml	6.72	4.193	2.024	1.082
35	tpdb-8.0/TRS/Waldmann_06_relative/r6.xml	5.744	2.405	2.037	1.217
36	tpdb-8.0/TRS/Waldmann_06_relative/r7.xml	3.56	1.355	1.67	1.022
37	tpdb-8.0/TRS/Waldmann_06_relative/r8.xml	6.325	4.779	2.447	1.558
38	tpdb-8.0/TRS/Waldmann_06_relative/rbeans.xml	0.755	0.284	59.511	7.42
39	tpdb-8.0/TRS/Zantema_06_relative/cars.xml	60.652	60.883	59.544	57.507
40	tpdb-8.0/TRS/Zantema_06_relative/rel02.xml	60.213	5.655	59.513	57.437

««

Last