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 TRS Standard Certifying

Statistics

Result

cime3beta (13jul201017h40)

TTT2Cert (2011)

AProVE-CeTA (2011-0.1)

CeTA (1.19)

AProVE-A3PAT (2011-0.2)

cime3finder (13jul201011h44)

MAYBE

Average time	8.962
Total time	4615.495
# Results	515

Average time	38.641
Total time	11939.970
# Results	309

Average time	20.664
Total time	185.974
# Results	9

Average time
Total time
# Results

Average time	9.150
Total time	3165.864
# Results	346

Average time	7.397
Total time	3136.433
# Results	424

NO

Average time
Total time
# Results

Average time	0.428
Total time	82.115
# Results	192

Average time	3.817
Total time	809.209
# Results	212

Average time
Total time
# Results

Average time
Total time
# Results

Average time
Total time
# Results

SYSTEMFAILURE

Average time
Total time
# Results

Average time
Total time
# Results

Average time
Total time
# Results

Average time	0.000
Total time	0.000
# Results	29

Average time
Total time
# Results

Average time
Total time
# Results

TIMEOUT

Average time	60.051
Total time	12370.487
# Results	206

Average time	60.040
Total time	420.280
# Results	7

Average time	61.116
Total time	12712.043
# Results	208

Average time
Total time
# Results

Average time	60.531
Total time	20156.899
# Results	333

Average time	60.049
Total time	11048.987
# Results	184

YES

Average time	1.971
Total time	1040.551
# Results	528

Average time	3.875
Total time	2871.577
# Results	741

Average time	6.028
Total time	4942.895
# Results	820

Average time
Total time
# Results

Average time	4.861
Total time	2770.668
# Results	570

Average time	2.492
Total time	1597.481
# Results	641

Actions

Results

««

«

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

»

Last

Termination Problem

cime3beta (13jul201017h40)

TTT2Cert (2011)

AProVE-CeTA (2011-0.1)

CeTA (1.19)

AProVE-A3PAT (2011-0.2)

cime3finder (13jul201011h44)


1	tpdb-8.0/TRS/AG01/#3.10.xml	7.071	5.888	5.562		9.571	0.906
2	tpdb-8.0/TRS/AG01/#3.12.xml	0.166	1.717	2.944		2.614	0.278
3	tpdb-8.0/TRS/AG01/#3.13.xml	34.811	3.677	4.706		7.988	0.498
4	tpdb-8.0/TRS/AG01/#3.15.xml	0.137	0.855	2.557		2.449	0.301
5	tpdb-8.0/TRS/AG01/#3.16.xml	0.044	1.247	2.717		2.341	0.044
6	tpdb-8.0/TRS/AG01/#3.17a.xml	1.291	4.57	4.827		4.151	3.856
7	tpdb-8.0/TRS/AG01/#3.17.xml	0.875	3.829	4.652		3.875	2.364
8	tpdb-8.0/TRS/AG01/#3.18.xml	0.189	2.216	3.242		3.864	0.283
9	tpdb-8.0/TRS/AG01/#3.19.xml	0.229	2.548	3.568		4.743	0.324
10	tpdb-8.0/TRS/AG01/#3.1.xml	0.159	1.194	3.01		2.856	0.176
11	tpdb-8.0/TRS/AG01/#3.21.xml	0.585	0.89	3.05		3.249	0.526
12	tpdb-8.0/TRS/AG01/#3.22.xml	3.441	1.654	3.664		6.575	1.538
13	tpdb-8.0/TRS/AG01/#3.23.xml	0.071	0.727	2.618		2.659	0.076
14	tpdb-8.0/TRS/AG01/#3.24.xml	0.061	0.636	2.613		2.346	0.111
15	tpdb-8.0/TRS/AG01/#3.26.xml	0.066	0.792	2.656		2.456	0.136
16	tpdb-8.0/TRS/AG01/#3.29.xml	0.041	0.469	2.361		2.27	0.05
17	tpdb-8.0/TRS/AG01/#3.2.xml	0.181	1.383	2.838		3.141	0.201
18	tpdb-8.0/TRS/AG01/#3.31.xml	0.155	0.596	2.669		2.668	0.238
19	tpdb-8.0/TRS/AG01/#3.33.xml	0.085	1.402	2.38		3.177	5.132
20	tpdb-8.0/TRS/AG01/#3.35.xml	0.039	0.665	2.444		2.399	0.041
21	tpdb-8.0/TRS/AG01/#3.36.xml	0.22	1.018	2.941		2.783	0.181
22	tpdb-8.0/TRS/AG01/#3.37.xml	0.125	0.938	2.693		2.668	0.331
23	tpdb-8.0/TRS/AG01/#3.38.xml	0.236	1.487	3.112		3.121	0.221
24	tpdb-8.0/TRS/AG01/#3.39.xml	60.029	2.593	3.912		7.092	2.758
25	tpdb-8.0/TRS/AG01/#3.40.xml	60.03	59.452	6.312		60.285	60.031
26	tpdb-8.0/TRS/AG01/#3.41.xml	0.426	0.975	2.879		3.206	0.547
27	tpdb-8.0/TRS/AG01/#3.42.xml	0.985	1.541	3.368		3.165	1.068
28	tpdb-8.0/TRS/AG01/#3.47.xml	0.066	0.711	2.845		2.562	0.125
29	tpdb-8.0/TRS/AG01/#3.48.xml	1.818	1.884	3.083		4.07	0.505
30	tpdb-8.0/TRS/AG01/#3.49.xml	0.171	1.223	3.163		2.859	0.65
31	tpdb-8.0/TRS/AG01/#3.4.xml	0.208	1.976	3.045		3.631	0.232
32	tpdb-8.0/TRS/AG01/#3.51.xml	0.145	1.023	2.483		3.009	1.045
33	tpdb-8.0/TRS/AG01/#3.52.xml	0.067	0.785	2.672		2.712	0.067
34	tpdb-8.0/TRS/AG01/#3.53a.xml	0.045	0.588	2.402		2.292	0.053
35	tpdb-8.0/TRS/AG01/#3.53b.xml	0.07	0.798	2.704		2.724	0.068
36	tpdb-8.0/TRS/AG01/#3.53.xml	0.525	4.444	4.467		5.672	0.519
37	tpdb-8.0/TRS/AG01/#3.54.xml	0.092	0.888	2.749		2.674	0.189
38	tpdb-8.0/TRS/AG01/#3.55.xml	1.615	5.641	4.87		10.862	0.943
39	tpdb-8.0/TRS/AG01/#3.56.xml	0.149	1.64	3.257		2.997	0.876
40	tpdb-8.0/TRS/AG01/#3.57.xml	0.664	4.693	4.578		9.059	0.717

««

«

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

»

Last