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

TTT2 (2011)

AProVE (2011-0.1)

MAYBE

Average time	59.901
Total time	1856.928
# Results	31

Average time
Total time
# Results

NO

Average time	10.135
Total time	141.892
# Results	14

Average time	5.728
Total time	154.658
# Results	27

TIMEOUT

Average time	60.093
Total time	2283.540
# Results	38

Average time	60.981
Total time	3414.925
# Results	56

YES

Average time	5.791
Total time	764.459
# Results	132

Average time	5.643
Total time	744.933
# Results	132

Actions

Results

««

«

1

2

3

4

5

6

»

Last

Termination Problem

TTT2 (2011)

AProVE (2011-0.1)


1	tpdb-8.0/TRS/Bouchare_06/01.xml	1.63	1.072
2	tpdb-8.0/TRS/Bouchare_06/05.xml	1.368	5.288
3	tpdb-8.0/TRS/Bouchare_06/06.xml	7.384	4.172
4	tpdb-8.0/TRS/Bouchare_06/07.xml	6.786	2.185
5	tpdb-8.0/TRS/Bouchare_06/08.xml	0.826	0.784
6	tpdb-8.0/TRS/Bouchare_06/09.xml	0.849	0.839
7	tpdb-8.0/TRS/Bouchare_06/12.xml	1.366	4.629
8	tpdb-8.0/TRS/Bouchare_06/15.xml	1.642	1.043
9	tpdb-8.0/TRS/Bouchare_06/16.xml	1.551	1.127
10	tpdb-8.0/TRS/Bouchare_06/17.xml	1.617	1.126
11	tpdb-8.0/TRS/Bouchare_06/18.xml	9.072	3.854
12	tpdb-8.0/TRS/Gebhardt_06/03.xml	42.712	7.54
13	tpdb-8.0/TRS/Gebhardt_06/04.xml	59.896	3.837
14	tpdb-8.0/TRS/Gebhardt_06/05.xml	59.952	9.973
15	tpdb-8.0/TRS/Gebhardt_06/08.xml	23.853	6.065
16	tpdb-8.0/TRS/Gebhardt_06/09.xml	16.64	31.949
17	tpdb-8.0/TRS/Gebhardt_06/10.xml	59.948	60.931
18	tpdb-8.0/TRS/Gebhardt_06/13.xml	59.973	61.045
19	tpdb-8.0/TRS/Gebhardt_06/15.xml	59.935	12.301
20	tpdb-8.0/TRS/Gebhardt_06/17.xml	59.944	5.919
21	tpdb-8.0/TRS/Gebhardt_06/18.xml	59.928	61.08
22	tpdb-8.0/TRS/Gebhardt_06/19.xml	59.966	60.932
23	tpdb-8.0/TRS/ICFP_2010/132833.xml	60.042	13.751
24	tpdb-8.0/TRS/ICFP_2010/135936.xml	60.043	60.824
25	tpdb-8.0/TRS/ICFP_2010/136497.xml	60.051	61.083
26	tpdb-8.0/TRS/ICFP_2010/136571.xml	60.043	60.712
27	tpdb-8.0/TRS/ICFP_2010/137087.xml	60.043	60.772
28	tpdb-8.0/TRS/ICFP_2010/139004.xml	60.039	14.249
29	tpdb-8.0/TRS/ICFP_2010/149633.xml	60.056	60.528
30	tpdb-8.0/TRS/ICFP_2010/150468.xml	60.052	60.632
31	tpdb-8.0/TRS/ICFP_2010/157150.xml	60.039	55.427
32	tpdb-8.0/TRS/ICFP_2010/157466.xml	60.047	60.851
33	tpdb-8.0/TRS/ICFP_2010/157593.xml	33.004	17.353
34	tpdb-8.0/TRS/ICFP_2010/157713.xml	60.048	60.812
35	tpdb-8.0/TRS/ICFP_2010/158342.xml	60.044	60.787
36	tpdb-8.0/TRS/ICFP_2010/167636.xml	60.054	34.366
37	tpdb-8.0/TRS/ICFP_2010/167742.xml	60.051	60.565
38	tpdb-8.0/TRS/ICFP_2010/188004.xml	60.047	60.565
39	tpdb-8.0/TRS/ICFP_2010/212480.xml	3.925	7.302
40	tpdb-8.0/TRS/ICFP_2010/212612.xml	60.197	60.922

««

«

1

2

3

4

5

6

»

Last