Navigation
«
»
Public
Home
Login
Register
«
»
Competition
Competition List
Download current tools
«
»
Termexec
Create an Experiment
View Experiments
View Tools
«
»
Help
Registration
Tool management
Query interface
Category Results for SRS Standard Certifying
Statistics
Result
cime3beta (13jul201017h40)
TTT2Cert (2011)
cime3finder (13jul201011h44)
AProVE-CeTA (2011-0.1)
AProVE-A3PAT (2010-0.2)
MAYBE
Average time
2.636
Total time
1813.409
# Results
688
Average time
Total time
# Results
Average time
9.468
Total time
3389.524
# Results
358
Average time
Total time
# Results
Average time
13.124
Total time
13.124
# Results
1
NO
Average time
Total time
# Results
Average time
1.612
Total time
53.211
# Results
33
Average time
Total time
# Results
Average time
12.547
Total time
200.754
# Results
16
Average time
Total time
# Results
TIMEOUT
Average time
60.046
Total time
33686.024
# Results
561
Average time
60.164
Total time
45604.580
# Results
758
Average time
60.054
Total time
49964.636
# Results
832
Average time
61.454
Total time
41789.008
# Results
680
Average time
60.734
Total time
69964.997
# Results
1152
YES
Average time
2.809
Total time
188.230
# Results
67
Average time
7.111
Total time
3733.388
# Results
525
Average time
7.396
Total time
931.953
# Results
126
Average time
8.869
Total time
5498.960
# Results
620
Average time
10.758
Total time
1753.623
# Results
163
Actions
Back to summary
Download Excel file
Download CSV file
Reset search filters
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)
cime3finder (13jul201011h44)
AProVE-CeTA (2011-0.1)
AProVE-A3PAT (2010-0.2)
Select…
YES
NO
MAYBE
TIMEOUT
Select…
YES
NO
MAYBE
TIMEOUT
Select…
YES
NO
MAYBE
TIMEOUT
Select…
YES
NO
MAYBE
TIMEOUT
Select…
YES
NO
MAYBE
TIMEOUT
1
tpdb-8.0/TRS/Bouchare_06/01.xml
0.288
7.0
1.829
2.662
26.32
2
tpdb-8.0/TRS/Bouchare_06/02.xml
0.236
1.066
0.495
2.6
2.696
3
tpdb-8.0/TRS/Bouchare_06/03.xml
0.245
6.845
0.965
4.634
60.111
4
tpdb-8.0/TRS/Bouchare_06/04.xml
0.36
6.883
3.96
2.696
2.976
5
tpdb-8.0/TRS/Bouchare_06/05.xml
0.298
7.334
1.163
6.052
60.123
6
tpdb-8.0/TRS/Bouchare_06/06.xml
2.743
6.789
60.032
5.661
60.162
7
tpdb-8.0/TRS/Bouchare_06/07.xml
0.281
6.796
0.545
3.984
3.012
8
tpdb-8.0/TRS/Bouchare_06/08.xml
1.604
0.479
11.229
5.163
60.129
9
tpdb-8.0/TRS/Bouchare_06/09.xml
0.257
0.557
0.425
5.386
60.122
10
tpdb-8.0/TRS/Bouchare_06/10.xml
0.37
8.508
6.555
6.18
60.147
11
tpdb-8.0/TRS/Bouchare_06/11.xml
0.192
2.868
0.653
5.402
60.094
12
tpdb-8.0/TRS/Bouchare_06/12.xml
0.165
7.234
0.575
4.833
60.102
13
tpdb-8.0/TRS/Bouchare_06/13.xml
0.349
7.179
2.112
4.68
60.123
14
tpdb-8.0/TRS/Bouchare_06/14.xml
0.192
52.518
0.712
2.712
60.093
15
tpdb-8.0/TRS/Bouchare_06/15.xml
0.299
7.375
1.349
2.662
60.117
16
tpdb-8.0/TRS/Bouchare_06/16.xml
0.196
3.004
0.58
2.626
60.102
17
tpdb-8.0/TRS/Bouchare_06/17.xml
0.24
3.899
0.986
2.74
14.872
18
tpdb-8.0/TRS/Bouchare_06/18.xml
0.333
6.875
3.51
4.691
60.13
19
tpdb-8.0/TRS/Gebhardt_06/01.xml
0.548
60.055
60.03
61.324
60.403
20
tpdb-8.0/TRS/Gebhardt_06/02.xml
0.45
60.058
60.03
61.967
60.42
21
tpdb-8.0/TRS/Gebhardt_06/03.xml
0.679
60.064
60.03
61.295
60.537
22
tpdb-8.0/TRS/Gebhardt_06/04.xml
1.888
60.049
60.031
61.14
60.515
23
tpdb-8.0/TRS/Gebhardt_06/05.xml
0.804
60.071
60.03
61.06
60.434
24
tpdb-8.0/TRS/Gebhardt_06/06.xml
0.971
60.059
60.029
61.512
60.433
25
tpdb-8.0/TRS/Gebhardt_06/07.xml
1.036
60.059
60.03
5.647
60.549
26
tpdb-8.0/TRS/Gebhardt_06/08.xml
1.147
60.06
60.031
61.56
60.443
27
tpdb-8.0/TRS/Gebhardt_06/09.xml
0.725
15.837
60.03
32.739
60.49
28
tpdb-8.0/TRS/Gebhardt_06/10.xml
1.129
60.061
60.03
61.662
60.488
29
tpdb-8.0/TRS/Gebhardt_06/11.xml
0.826
18.219
60.03
5.295
60.522
30
tpdb-8.0/TRS/Gebhardt_06/12.xml
0.817
60.064
60.031
61.215
60.508
31
tpdb-8.0/TRS/Gebhardt_06/13.xml
0.971
60.067
60.029
60.991
60.497
32
tpdb-8.0/TRS/Gebhardt_06/14.xml
0.682
60.062
60.039
6.76
60.416
33
tpdb-8.0/TRS/Gebhardt_06/15.xml
0.959
60.07
60.03
61.21
60.537
34
tpdb-8.0/TRS/Gebhardt_06/16.xml
0.838
60.061
60.03
5.443
60.484
35
tpdb-8.0/TRS/Gebhardt_06/17.xml
0.974
60.062
60.031
61.948
60.557
36
tpdb-8.0/TRS/Gebhardt_06/18.xml
4.448
60.055
60.029
62.137
60.573
37
tpdb-8.0/TRS/Gebhardt_06/19.xml
7.738
60.073
60.03
62.975
60.585
38
tpdb-8.0/TRS/Gebhardt_06/20.xml
6.873
60.061
60.03
61.506
60.616
39
tpdb-8.0/TRS/ICFP_2010/107193.xml
60.042
60.179
60.047
61.28
60.548
40
tpdb-8.0/TRS/ICFP_2010/107220.xml
60.044
60.207
60.04
61.351
60.89
««
«
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
Request being processed
Your request is being processed, please wait.
Your request is being processed, please wait.