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 (2011-0.1)

TTT2 (2011 fixed)

TTT2 (2011)

MAYBE

Average time	0.239
Total time	0.716
# Results	3

Average time	59.481
Total time	237.922
# Results	4

Average time	59.578
Total time	714.936
# Results	12

NO

Average time	0.883
Total time	0.883
# Results	1

Average time	0.696
Total time	0.696
# Results	1

Average time	11.390
Total time	56.949
# Results	5

TIMEOUT

Average time	60.851
Total time	2373.186
# Results	39

Average time
Total time
# Results

Average time	60.628
Total time	1940.103
# Results	32

YES

Average time	8.264
Total time	206.609
# Results	25

Average time	3.111
Total time	59.102
# Results	19

Average time	2.805
Total time	53.288
# Results	19

Actions

Results

««

«

1

2

»

Last

Termination Problem

AProVE (2011-0.1)

TTT2 (2011 fixed)

TTT2 (2011)


1	tpdb-8.0/TRS/ICFP_2010_relative/107193.xml	60.93		60.055
2	tpdb-8.0/TRS/ICFP_2010_relative/128691.xml	60.471		60.048
3	tpdb-8.0/TRS/ICFP_2010_relative/132720.xml	60.463		60.045
4	tpdb-8.0/TRS/ICFP_2010_relative/133010.xml	60.566		60.048
5	tpdb-8.0/TRS/ICFP_2010_relative/133236.xml	60.802		60.044
6	tpdb-8.0/TRS/ICFP_2010_relative/133432.xml	60.744		60.046
7	tpdb-8.0/TRS/ICFP_2010_relative/135604.xml	60.436		60.048
8	tpdb-8.0/TRS/ICFP_2010_relative/136534.xml	60.712		60.047
9	tpdb-8.0/TRS/ICFP_2010_relative/138330.xml	60.855		60.043
10	tpdb-8.0/TRS/ICFP_2010_relative/139004.xml	60.552		60.052
11	tpdb-8.0/TRS/ICFP_2010_relative/140287.xml	60.444		60.049
12	tpdb-8.0/TRS/ICFP_2010_relative/150630.xml	60.642		60.047
13	tpdb-8.0/TRS/ICFP_2010_relative/153170.xml	60.667		60.046
14	tpdb-8.0/TRS/ICFP_2010_relative/158342.xml	60.722		60.045
15	tpdb-8.0/TRS/ICFP_2010_relative/160427.xml	60.624		60.052
16	tpdb-8.0/TRS/ICFP_2010_relative/167087.xml	60.759		60.052
17	tpdb-8.0/TRS/ICFP_2010_relative/167391.xml	48.298		60.048
18	tpdb-8.0/TRS/ICFP_2010_relative/187837.xml	60.664		60.052
19	tpdb-8.0/TRS/ICFP_2010_relative/25422.xml	60.916		60.038
20	tpdb-8.0/TRS/ICFP_2010_relative/25734.xml	61.053		60.04
21	tpdb-8.0/TRS/ICFP_2010_relative/259405.xml	16.664		60.179
22	tpdb-8.0/TRS/ICFP_2010_relative/26110.xml	61.136		60.037
23	tpdb-8.0/TRS/ICFP_2010_relative/26116.xml	61.033		60.041
24	tpdb-8.0/TRS/ICFP_2010_relative/26132.xml	61.136		60.044
25	tpdb-8.0/TRS/ICFP_2010_relative/26845.xml	61.108		60.038
26	tpdb-8.0/TRS/ICFP_2010_relative/26882.xml	60.807		60.04
27	tpdb-8.0/TRS/ICFP_2010_relative/26972.xml	60.967		60.042
28	tpdb-8.0/TRS/ICFP_2010_relative/26998.xml	60.934		60.038
29	tpdb-8.0/TRS/ICFP_2010_relative/27036.xml	61.015		60.041
30	tpdb-8.0/TRS/ICFP_2010_relative/28464.xml	61.098	17.699	11.827
31	tpdb-8.0/TRS/ICFP_2010_relative/4017.xml	61.158		59.909
32	tpdb-8.0/TRS/ICFP_2010_relative/43603.xml	60.858		60.04
33	tpdb-8.0/TRS/ICFP_2010_relative/4893.xml	61.151		59.911
34	tpdb-8.0/TRS/ICFP_2010_relative/5130.xml	60.987		59.895
35	tpdb-8.0/TRS/ICFP_2010_relative/57278.xml	61.117		60.041
36	tpdb-8.0/TRS/Mixed_relative_SRS/dup04.xml	35.836		59.482
37	tpdb-8.0/TRS/Mixed_relative_SRS/un01.xml	9.276		59.475
38	tpdb-8.0/TRS/Mixed_relative_SRS/zr01.xml	1.499	1.783	1.73
39	tpdb-8.0/TRS/Mixed_relative_SRS/zr02.xml	2.246	3.118	3.272
40	tpdb-8.0/TRS/Mixed_relative_SRS/zr03.xml	0.922	0.999	0.983

««

«

1

2

»

Last