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 TRS Standard Certifying
Statistics
Result
cime3finder (14dec16h26)
AProVE-COLOR (1.8)
AProVE-CeTA (1.8.1)
TTT2Cert (2009z)
AProVE-A3PAT (1.8)
MAYBE
Average time
2.801
Total time
803.813
# Results
287
Average time
11.725
Total time
281.392
# Results
24
Average time
14.279
Total time
471.202
# Results
33
Average time
29.108
Total time
2939.934
# Results
101
Average time
9.799
Total time
636.950
# Results
65
NO
Average time
Total time
# Results
Average time
2.841
Total time
119.331
# Results
42
Average time
2.775
Total time
116.539
# Results
42
Average time
1.209
Total time
60.450
# Results
50
Average time
Total time
# Results
TIMEOUT
Average time
60.197
Total time
1324.344
# Results
22
Average time
61.381
Total time
7427.142
# Results
121
Average time
61.335
Total time
4477.450
# Results
73
Average time
Total time
# Results
Average time
60.594
Total time
8180.220
# Results
135
YES
Average time
0.229
Total time
12.843
# Results
56
Average time
6.902
Total time
1228.546
# Results
178
Average time
4.713
Total time
1022.692
# Results
217
Average time
1.725
Total time
369.125
# Results
214
Average time
5.465
Total time
901.740
# Results
165
Actions
Back to summary
Download Excel file
Download CSV file
Reset search filters
Results
««
«
1
2
3
4
5
6
7
8
9
10
»
Last
Termination Problem
cime3finder (14dec16h26)
AProVE-COLOR (1.8)
AProVE-CeTA (1.8.1)
TTT2Cert (2009z)
AProVE-A3PAT (1.8)
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/AG01/#3.12.xml
0.282
3.043
2.757
0.386
3.46
2
tpdb-8.0/TRS/AG01/#3.15.xml
0.652
2.613
2.542
0.309
3.124
3
tpdb-8.0/TRS/AG01/#3.17a.xml
4.454
7.189
3.244
3.018
6.637
4
tpdb-8.0/TRS/AG01/#3.1.xml
0.269
3.134
2.752
0.428
2.903
5
tpdb-8.0/TRS/AG01/#3.21.xml
1.306
4.761
2.554
0.353
2.918
6
tpdb-8.0/TRS/AG01/#3.26.xml
0.224
2.543
2.498
0.406
2.367
7
tpdb-8.0/TRS/AG01/#3.47.xml
0.107
2.825
2.449
0.413
2.947
8
tpdb-8.0/TRS/AG01/#3.53b.xml
0.09
2.919
2.495
0.289
2.903
9
tpdb-8.0/TRS/AG01/#3.53.xml
0.838
6.514
3.705
1.475
5.66
10
tpdb-8.0/TRS/AG01/#3.55.xml
1.609
14.97
4.474
1.397
12.563
11
tpdb-8.0/TRS/AG01/#3.56.xml
0.441
4.212
2.648
3.385
3.765
12
tpdb-8.0/TRS/AG01/#3.57.xml
3.73
14.239
3.58
1.493
7.884
13
tpdb-8.0/TRS/AG01/#3.5a.xml
0.612
4.508
2.962
0.639
4.114
14
tpdb-8.0/TRS/AG01/#3.6a.xml
0.649
4.195
3.165
0.749
4.173
15
tpdb-8.0/TRS/AG01/#4.30c.xml
0.503
61.257
61.217
59.199
60.315
16
tpdb-8.0/TRS/AotoYamada_05/001.xml
1.429
2.255
2.16
0.158
3.883
17
tpdb-8.0/TRS/AotoYamada_05/002.xml
6.132
10.347
2.983
0.577
6.031
18
tpdb-8.0/TRS/AotoYamada_05/005.xml
0.638
2.416
3.103
0.316
2.409
19
tpdb-8.0/TRS/AotoYamada_05/007.xml
1.861
61.098
3.145
0.557
8.244
20
tpdb-8.0/TRS/AotoYamada_05/010.xml
4.982
61.165
21.617
5.489
60.591
21
tpdb-8.0/TRS/AotoYamada_05/016.xml
7.558
61.17
3.899
0.804
13.113
22
tpdb-8.0/TRS/AotoYamada_05/017.xml
0.226
2.331
2.426
0.186
2.165
23
tpdb-8.0/TRS/AotoYamada_05/019.xml
0.38
19.952
2.442
0.311
4.053
24
tpdb-8.0/TRS/AotoYamada_05/023.xml
0.447
2.446
2.444
0.304
2.302
25
tpdb-8.0/TRS/AotoYamada_05/028.xml
3.447
61.218
2.865
0.559
60.576
26
tpdb-8.0/TRS/Applicative_05/BTreeMember.xml
60.211
28.862
3.731
0.919
13.868
27
tpdb-8.0/TRS/Applicative_05/Ex2_6_1Composition.xml
0.085
2.32
2.653
0.189
2.103
28
tpdb-8.0/TRS/Applicative_05/Ex2_8_1ConstSubstFix.xml
0.673
2.272
2.324
0.175
5.129
29
tpdb-8.0/TRS/Applicative_05/Ex4MapList.xml
2.551
5.045
2.605
0.439
3.167
30
tpdb-8.0/TRS/Applicative_05/Ex6_11.xml
7.559
14.615
2.484
0.432
3.332
31
tpdb-8.0/TRS/Applicative_05/mapDivMinus.xml
6.498
61.145
61.238
3.169
60.635
32
tpdb-8.0/TRS/Applicative_05/nonTermF.xml
3.301
4.87
4.572
0.185
60.491
33
tpdb-8.0/TRS/Applicative_05/termMonTypes.xml
1.331
2.266
2.219
0.172
36.645
34
tpdb-8.0/TRS/Applicative_first_order_05/01.xml
10.92
61.234
4.124
0.964
60.683
35
tpdb-8.0/TRS/Applicative_first_order_05/08.xml
41.281
61.272
4.903
1.166
60.827
36
tpdb-8.0/TRS/Applicative_first_order_05/12.xml
20.254
61.292
5.694
1.273
60.774
37
tpdb-8.0/TRS/Applicative_first_order_05/17.xml
13.177
61.269
5.137
1.084
60.687
38
tpdb-8.0/TRS/Applicative_first_order_05/18.xml
12.584
61.047
3.921
0.889
60.87
39
tpdb-8.0/TRS/Applicative_first_order_05/#3.10.xml
60.245
61.473
61.17
8.56
61.111
40
tpdb-8.0/TRS/Applicative_first_order_05/#3.18.xml
15.57
61.277
61.331
4.73
60.707
««
«
1
2
3
4
5
6
7
8
9
10
»
Last
Request being processed
Your request is being processed, please wait.