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 Certifying

Statistics

Result

AProVE-CeTA (2011-0.1)

TTT2Cert (2011)

MAYBE

Average time	2.597
Total time	23.372
# Results	9

Average time	58.490
Total time	7369.797
# Results	126

NO

Average time
Total time
# Results

Average time	0.546
Total time	0.546
# Results	1

TIMEOUT

Average time	61.330
Total time	26188.019
# Results	427

Average time	60.211
Total time	19026.646
# Results	316

YES

Average time	13.831
Total time	760.704
# Results	55

Average time	5.489
Total time	263.473
# Results	48

Actions

Results

««

«

1

2

3

4

5

6

7

8

9

10

11

12

13

»

Last

Termination Problem

AProVE-CeTA (2011-0.1)

TTT2Cert (2011)


1	tpdb-8.0/TRS/ICFP_2010_relative/107193.xml	60.965	60.147
2	tpdb-8.0/TRS/ICFP_2010_relative/107220.xml	61.233	60.045
3	tpdb-8.0/TRS/ICFP_2010_relative/107236.xml	61.193	60.045
4	tpdb-8.0/TRS/ICFP_2010_relative/123759.xml	61.788	59.96
5	tpdb-8.0/TRS/ICFP_2010_relative/124211.xml	61.378	59.927
6	tpdb-8.0/TRS/ICFP_2010_relative/124269.xml	61.826	59.962
7	tpdb-8.0/TRS/ICFP_2010_relative/124791.xml	61.727	59.953
8	tpdb-8.0/TRS/ICFP_2010_relative/127538.xml	61.736	60.036
9	tpdb-8.0/TRS/ICFP_2010_relative/128056.xml	61.546	60.036
10	tpdb-8.0/TRS/ICFP_2010_relative/128182.xml	61.303	60.036
11	tpdb-8.0/TRS/ICFP_2010_relative/128280.xml	61.659	60.016
12	tpdb-8.0/TRS/ICFP_2010_relative/128430.xml	61.216	60.037
13	tpdb-8.0/TRS/ICFP_2010_relative/128486.xml	61.277	60.034
14	tpdb-8.0/TRS/ICFP_2010_relative/128515.xml	61.213	60.036
15	tpdb-8.0/TRS/ICFP_2010_relative/128550.xml	61.227	60.036
16	tpdb-8.0/TRS/ICFP_2010_relative/128620.xml	61.711	60.035
17	tpdb-8.0/TRS/ICFP_2010_relative/128691.xml	61.164	60.036
18	tpdb-8.0/TRS/ICFP_2010_relative/130161.xml	60.921	60.189
19	tpdb-8.0/TRS/ICFP_2010_relative/130304.xml	60.895	60.21
20	tpdb-8.0/TRS/ICFP_2010_relative/130472.xml	60.856	60.146
21	tpdb-8.0/TRS/ICFP_2010_relative/130962.xml	60.98	60.196
22	tpdb-8.0/TRS/ICFP_2010_relative/131633.xml	61.338	60.01
23	tpdb-8.0/TRS/ICFP_2010_relative/131982.xml	61.717	59.979
24	tpdb-8.0/TRS/ICFP_2010_relative/132235.xml	61.323	59.97
25	tpdb-8.0/TRS/ICFP_2010_relative/132478.xml	61.258	60.035
26	tpdb-8.0/TRS/ICFP_2010_relative/132540.xml	61.675	60.037
27	tpdb-8.0/TRS/ICFP_2010_relative/132622.xml	61.227	60.037
28	tpdb-8.0/TRS/ICFP_2010_relative/132720.xml	61.29	60.037
29	tpdb-8.0/TRS/ICFP_2010_relative/132738.xml	61.589	60.036
30	tpdb-8.0/TRS/ICFP_2010_relative/132782.xml	61.596	60.037
31	tpdb-8.0/TRS/ICFP_2010_relative/132833.xml	61.361	60.036
32	tpdb-8.0/TRS/ICFP_2010_relative/132848.xml	60.735	60.186
33	tpdb-8.0/TRS/ICFP_2010_relative/132864.xml	61.808	60.036
34	tpdb-8.0/TRS/ICFP_2010_relative/132920.xml	61.835	60.037
35	tpdb-8.0/TRS/ICFP_2010_relative/132957.xml	61.738	60.038
36	tpdb-8.0/TRS/ICFP_2010_relative/132969.xml	61.223	59.868
37	tpdb-8.0/TRS/ICFP_2010_relative/133010.xml	61.297	60.037
38	tpdb-8.0/TRS/ICFP_2010_relative/133079.xml	61.201	60.138
39	tpdb-8.0/TRS/ICFP_2010_relative/133159.xml	61.373	59.935
40	tpdb-8.0/TRS/ICFP_2010_relative/133236.xml	60.9	60.243

««

«

1

2

3

4

5

6

7

8

9

10

11

12

13

»

Last