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

TTT2Cert (2011a)

AProVE (TC 2012)

AProVE-CeTA (TC 2012)

matchbox-cert (0.1.2)

matchbox-nocert (0.6.0)

FAILEDVALIDATION

Average time
Total time
# Results

Average time
Total time
# Results

Average time	13.866
Total time	27.731
# Results	2

Average time	0.044
Total time	0.133
# Results	3

Average time
Total time
# Results

NO

Average time	0.896
Total time	4.479
# Results	5

Average time	9.332
Total time	251.955
# Results	27

Average time	22.561
Total time	225.614
# Results	10

Average time
Total time
# Results

Average time
Total time
# Results

TIMEOUT

Average time	60.225
Total time	4938.465
# Results	82

Average time	60.991
Total time	2866.593
# Results	47

Average time	61.012
Total time	3782.720
# Results	62

Average time	60.096
Total time	6249.989
# Results	104

Average time	60.143
Total time	6736.055
# Results	112

YES

Average time	6.620
Total time	847.382
# Results	128

Average time	4.882
Total time	688.313
# Results	141

Average time	6.752
Total time	952.071
# Results	141

Average time	6.151
Total time	664.345
# Results	108

Average time	7.517
Total time	774.215
# Results	103

Actions

Results

««

«

1

2

3

4

5

6

»

Last

Termination Problem

TTT2Cert (2011a)

AProVE (TC 2012)

AProVE-CeTA (TC 2012)

matchbox-cert (0.1.2)

matchbox-nocert (0.6.0)


1	tpdb-8.0/TRS/Bouchare_06/01.xml	1.451	1.083	2.734	3.523	3.212
2	tpdb-8.0/TRS/Bouchare_06/03.xml	6.802	2.979	3.948	4.042	5.507
3	tpdb-8.0/TRS/Bouchare_06/05.xml	2.302	2.828	3.939	3.291	4.238
4	tpdb-8.0/TRS/Bouchare_06/06.xml	7.0	4.017	4.648	0.708	0.874
5	tpdb-8.0/TRS/Bouchare_06/07.xml	6.818	2.546	3.818	1.004	1.474
6	tpdb-8.0/TRS/Bouchare_06/08.xml	0.792	0.813	14.08	60.041	60.064
7	tpdb-8.0/TRS/Bouchare_06/09.xml	0.782	0.862	16.654	60.048	60.1
8	tpdb-8.0/TRS/Bouchare_06/12.xml	1.99	6.242	4.874	0.768	4.43
9	tpdb-8.0/TRS/Bouchare_06/15.xml	1.381	1.125	2.78	3.425	4.92
10	tpdb-8.0/TRS/Bouchare_06/17.xml	1.298	1.097	2.705	1.431	2.037
11	tpdb-8.0/TRS/Bouchare_06/18.xml	7.011	5.621	4.851	4.309	6.088
12	tpdb-8.0/TRS/Gebhardt_06/02.xml	60.061	61.019	61.079	7.301	60.057
13	tpdb-8.0/TRS/Gebhardt_06/03.xml	60.062	5.394	60.977	60.045	60.069
14	tpdb-8.0/TRS/Gebhardt_06/04.xml	60.077	4.249	6.015	5.61	6.868
15	tpdb-8.0/TRS/Gebhardt_06/05.xml	60.07	8.512	61.215	60.05	60.067
16	tpdb-8.0/TRS/Gebhardt_06/06.xml	60.068	61.229	61.119	60.048	60.071
17	tpdb-8.0/TRS/Gebhardt_06/09.xml	18.399	36.261	50.309	9.214	60.051
18	tpdb-8.0/TRS/Gebhardt_06/12.xml	60.073	8.945	60.039	60.054	60.076
19	tpdb-8.0/TRS/Gebhardt_06/13.xml	60.083	61.049	61.013	60.052	60.082
20	tpdb-8.0/TRS/Gebhardt_06/14.xml	60.056	5.007	5.539	18.69	22.426
21	tpdb-8.0/TRS/Gebhardt_06/16.xml	60.096	4.417	5.766	0.493	0.784
22	tpdb-8.0/TRS/Gebhardt_06/17.xml	60.062	6.126	5.819	0.62	8.438
23	tpdb-8.0/TRS/ICFP_2010/128430.xml	60.451	12.039	17.483	60.038	60.037
24	tpdb-8.0/TRS/ICFP_2010/132848.xml	60.544	60.795	60.635	60.042	60.042
25	tpdb-8.0/TRS/ICFP_2010/132969.xml	60.498	60.959	60.979	60.042	60.042
26	tpdb-8.0/TRS/ICFP_2010/133010.xml	60.283	13.002	17.872	60.039	60.038
27	tpdb-8.0/TRS/ICFP_2010/135328.xml	60.695	61.15	61.092	60.033	60.036
28	tpdb-8.0/TRS/ICFP_2010/135659.xml	60.531	61.101	60.992	60.044	60.046
29	tpdb-8.0/TRS/ICFP_2010/136051.xml	60.472	60.917	60.03	60.037	60.039
30	tpdb-8.0/TRS/ICFP_2010/136463.xml	60.497	60.879	60.662	60.04	60.043
31	tpdb-8.0/TRS/ICFP_2010/138142.xml	60.5	5.616	9.249	5.651	6.313
32	tpdb-8.0/TRS/ICFP_2010/139018.xml	60.358	12.284	17.083	60.038	60.039
33	tpdb-8.0/TRS/ICFP_2010/139180.xml	60.244	13.17	17.149	60.04	60.042
34	tpdb-8.0/TRS/ICFP_2010/157713.xml	60.498	60.836	60.932	60.041	60.044
35	tpdb-8.0/TRS/ICFP_2010/165975.xml	60.715	60.726	60.979	60.048	60.046
36	tpdb-8.0/TRS/ICFP_2010/167240.xml	60.607	60.864	60.811	60.042	60.042
37	tpdb-8.0/TRS/ICFP_2010/167433.xml	60.636	60.763	60.904	60.048	60.046
38	tpdb-8.0/TRS/ICFP_2010/187837.xml	61.081	60.682	60.85	60.057	60.046
39	tpdb-8.0/TRS/ICFP_2010/213051.xml	60.04	11.152	12.336	60.034	60.035
40	tpdb-8.0/TRS/ICFP_2010/213147.xml	60.069	18.046	18.44	60.073	60.069

««

«

1

2

3

4

5

6

»

Last