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 Standard

Statistics

Result

AProVE (2011-0.1)

TTT2 (2011)

matchbox-srs-std-nocert (0.5.2)

muterm (5.07)

matchbox-srs-std-rfc (0.0.1)

cime3finder (13jul201011h44)

MAYBE

Average time
Total time
# Results

Average time	59.870
Total time	7843.035
# Results	131

Average time
Total time
# Results

Average time	8.790
Total time	597.749
# Results	68

Average time
Total time
# Results

Average time	9.994
Total time	3607.747
# Results	361

NO

Average time	8.514
Total time	893.997
# Results	105

Average time	17.385
Total time	851.885
# Results	49

Average time
Total time
# Results

Average time	0.079
Total time	0.079
# Results	1

Average time
Total time
# Results

Average time
Total time
# Results

TIMEOUT

Average time	60.979
Total time	32136.147
# Results	527

Average time	60.410
Total time	30627.720
# Results	507

Average time	60.195
Total time	61820.189
# Results	1027

Average time	60.052
Total time	66838.234
# Results	1113

Average time	60.057
Total time	71347.799
# Results	1188

Average time	60.054
Total time	49844.519
# Results	830

YES

Average time	6.168
Total time	4218.682
# Results	684

Average time	6.515
Total time	4097.818
# Results	629

Average time	19.241
Total time	5560.671
# Results	289

Average time	3.579
Total time	479.520
# Results	134

Average time	9.584
Total time	1226.702
# Results	128

Average time	7.005
Total time	875.649
# Results	125

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

AProVE (2011-0.1)

TTT2 (2011)

matchbox-srs-std-nocert (0.5.2)

muterm (5.07)

matchbox-srs-std-rfc (0.0.1)

cime3finder (13jul201011h44)


1	tpdb-8.0/TRS/Bouchare_06/01.xml	1.1	1.602	23.606	60.044	2.698	1.835
2	tpdb-8.0/TRS/Bouchare_06/02.xml	1.101	1.576	33.465	60.03	1.231	0.506
3	tpdb-8.0/TRS/Bouchare_06/03.xml	3.758	6.778	60.035	60.044	60.041	0.965
4	tpdb-8.0/TRS/Bouchare_06/04.xml	1.146	1.698	41.146	60.04	3.346	3.976
5	tpdb-8.0/TRS/Bouchare_06/05.xml	5.561	1.426	32.617	60.042	2.489	1.157
6	tpdb-8.0/TRS/Bouchare_06/06.xml	4.846	7.225	8.272	60.043	60.041	60.03
7	tpdb-8.0/TRS/Bouchare_06/07.xml	2.602	6.778	7.729	2.026	60.034	0.552
8	tpdb-8.0/TRS/Bouchare_06/08.xml	0.784	0.833	60.033	60.03	60.033	11.198
9	tpdb-8.0/TRS/Bouchare_06/09.xml	0.816	0.873	60.033	60.042	60.034	1.218
10	tpdb-8.0/TRS/Bouchare_06/10.xml	7.165	3.003	38.575	60.039	3.106	6.612
11	tpdb-8.0/TRS/Bouchare_06/11.xml	7.672	1.52	23.654	60.041	1.874	0.646
12	tpdb-8.0/TRS/Bouchare_06/12.xml	4.846	1.372	9.704	60.044	1.141	0.579
13	tpdb-8.0/TRS/Bouchare_06/13.xml	4.316	6.25	35.369	60.04	60.035	1.911
14	tpdb-8.0/TRS/Bouchare_06/14.xml	1.105	1.222	26.269	60.044	2.41	0.712
15	tpdb-8.0/TRS/Bouchare_06/15.xml	1.111	1.649	36.54	60.044	3.036	1.335
16	tpdb-8.0/TRS/Bouchare_06/16.xml	1.161	1.584	13.959	60.044	2.461	0.576
17	tpdb-8.0/TRS/Bouchare_06/17.xml	1.059	1.61	16.772	60.04	2.472	0.983
18	tpdb-8.0/TRS/Bouchare_06/18.xml	3.679	7.344	39.259	60.046	60.034	3.471
19	tpdb-8.0/TRS/Gebhardt_06/01.xml	61.075	59.93	60.034	60.043	60.034	60.03
20	tpdb-8.0/TRS/Gebhardt_06/02.xml	60.94	59.909	60.04	60.044	60.033	60.03
21	tpdb-8.0/TRS/Gebhardt_06/03.xml	7.208	42.174	60.033	60.04	60.033	60.03
22	tpdb-8.0/TRS/Gebhardt_06/04.xml	4.397	59.958	60.254	60.039	60.032	60.031
23	tpdb-8.0/TRS/Gebhardt_06/05.xml	9.844	59.955	60.033	60.042	60.032	60.03
24	tpdb-8.0/TRS/Gebhardt_06/06.xml	60.94	59.948	60.032	60.045	60.033	60.03
25	tpdb-8.0/TRS/Gebhardt_06/07.xml	4.762	59.965	18.01	60.043	60.032	60.029
26	tpdb-8.0/TRS/Gebhardt_06/08.xml	5.776	25.989	60.032	60.041	60.034	60.03
27	tpdb-8.0/TRS/Gebhardt_06/09.xml	36.371	15.942	60.031	60.039	60.035	60.03
28	tpdb-8.0/TRS/Gebhardt_06/10.xml	61.033	60.02	60.033	60.038	60.033	60.031
29	tpdb-8.0/TRS/Gebhardt_06/11.xml	4.26	10.24	19.555	60.045	60.034	60.03
30	tpdb-8.0/TRS/Gebhardt_06/12.xml	8.618	59.967	60.212	60.044	60.033	60.03
31	tpdb-8.0/TRS/Gebhardt_06/13.xml	61.296	59.965	60.034	60.04	60.034	60.031
32	tpdb-8.0/TRS/Gebhardt_06/14.xml	4.374	35.872	34.304	60.054	60.033	60.03
33	tpdb-8.0/TRS/Gebhardt_06/15.xml	14.169	59.975	60.033	60.045	60.033	60.029
34	tpdb-8.0/TRS/Gebhardt_06/16.xml	5.017	59.96	25.325	60.075	60.032	60.029
35	tpdb-8.0/TRS/Gebhardt_06/17.xml	6.075	59.987	60.206	60.043	60.035	60.031
36	tpdb-8.0/TRS/Gebhardt_06/18.xml	53.26	59.942	60.042	60.042	60.034	60.028
37	tpdb-8.0/TRS/Gebhardt_06/19.xml	61.135	60.026	60.034	60.038	60.034	60.03
38	tpdb-8.0/TRS/Gebhardt_06/20.xml	60.94	59.954	60.034	60.062	60.034	60.03
39	tpdb-8.0/TRS/ICFP_2010/107193.xml	60.928	60.051	60.346	60.094	60.05	60.042
40	tpdb-8.0/TRS/ICFP_2010/107220.xml	60.842	60.05	60.303	60.092	60.055	60.041

««

«

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