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 Contextsensitive
Statistics
Result
muterm (5.08)
AProVE (TC 2013)
MAYBE
Average time
50.031
Total time
50.031
# Results
1
Average time
Total time
# Results
NO
Average time
0.848
Total time
3.391
# Results
4
Average time
1.371
Total time
5.483
# Results
4
TIMEOUT
Average time
60.063
Total time
540.563
# Results
9
Average time
60.918
Total time
609.178
# Results
10
YES
Average time
1.310
Total time
124.405
# Results
95
Average time
2.254
Total time
214.109
# Results
95
Actions
Back to summary
Download Excel file
Download CSV file
Reset search filters
Results
««
«
1
2
3
»
Last
Termination Problem
muterm (5.08)
AProVE (TC 2013)
Select…
YES
NO
MAYBE
TIMEOUT
Select…
YES
NO
MAYBE
TIMEOUT
1
tpdb-8.0/TRS/CSR_04/Ex1_2_AEL03.xml
0.069
1.581
2
tpdb-8.0/TRS/CSR_04/Ex1_2_Luc02c.xml
0.054
1.31
3
tpdb-8.0/TRS/CSR_04/Ex14_AEGL02.xml
0.075
1.201
4
tpdb-8.0/TRS/CSR_04/Ex14_Luc06.xml
0.785
1.584
5
tpdb-8.0/TRS/CSR_04/Ex15_Luc06.xml
0.042
1.162
6
tpdb-8.0/TRS/CSR_04/Ex15_Luc98.xml
0.061
1.206
7
tpdb-8.0/TRS/CSR_04/Ex16_Luc06.xml
0.043
1.179
8
tpdb-8.0/TRS/CSR_04/Ex18_Luc06.xml
0.043
1.105
9
tpdb-8.0/TRS/CSR_04/Ex1_GL02a.xml
0.076
1.242
10
tpdb-8.0/TRS/CSR_04/Ex1_GM03.xml
60.037
60.674
11
tpdb-8.0/TRS/CSR_04/Ex1_GM99.xml
0.046
1.218
12
tpdb-8.0/TRS/CSR_04/Ex1_Luc02b.xml
0.062
1.42
13
tpdb-8.0/TRS/CSR_04/Ex1_Luc04b.xml
0.057
1.258
14
tpdb-8.0/TRS/CSR_04/Ex1_Zan97.xml
0.072
1.16
15
tpdb-8.0/TRS/CSR_04/Ex23_Luc06.xml
0.042
1.122
16
tpdb-8.0/TRS/CSR_04/Ex24_GM04.xml
0.043
1.208
17
tpdb-8.0/TRS/CSR_04/Ex24_Luc06.xml
0.043
1.145
18
tpdb-8.0/TRS/CSR_04/Ex25_Luc06.xml
0.055
1.167
19
tpdb-8.0/TRS/CSR_04/Ex26_Luc03b.xml
0.067
1.237
20
tpdb-8.0/TRS/CSR_04/Ex2_Luc02a.xml
0.063
1.441
21
tpdb-8.0/TRS/CSR_04/Ex2_Luc03b.xml
0.06
1.234
22
tpdb-8.0/TRS/CSR_04/Ex3_12_Luc96a.xml
0.062
1.339
23
tpdb-8.0/TRS/CSR_04/Ex3_2_Luc97.xml
60.085
60.804
24
tpdb-8.0/TRS/CSR_04/Ex3_3_25_Bor03.xml
0.061
1.245
25
tpdb-8.0/TRS/CSR_04/Ex4_4_Luc96b.xml
0.055
1.058
26
tpdb-8.0/TRS/CSR_04/Ex4_7_15_Bor03.xml
0.077
1.2
27
tpdb-8.0/TRS/CSR_04/Ex4_7_37_Bor03.xml
0.083
1.785
28
tpdb-8.0/TRS/CSR_04/Ex4_7_56_Bor03.xml
0.063
1.336
29
tpdb-8.0/TRS/CSR_04/Ex4_7_77_Bor03.xml
0.042
1.122
30
tpdb-8.0/TRS/CSR_04/Ex49_GM04.xml
0.105
1.341
31
tpdb-8.0/TRS/CSR_04/Ex4_DLMMU04.xml
3.329
2.471
32
tpdb-8.0/TRS/CSR_04/Ex4_Zan97.xml
0.06
1.398
33
tpdb-8.0/TRS/CSR_04/Ex5_7_Luc97.xml
60.088
60.958
34
tpdb-8.0/TRS/CSR_04/Ex5_DLMMU04.xml
0.062
1.381
35
tpdb-8.0/TRS/CSR_04/Ex5_Zan97.xml
0.095
1.157
36
tpdb-8.0/TRS/CSR_04/Ex6_15_AEL02.xml
60.088
60.783
37
tpdb-8.0/TRS/CSR_04/Ex6_9_Luc02c.xml
0.058
1.348
38
tpdb-8.0/TRS/CSR_04/Ex6_GM04.xml
0.043
1.133
39
tpdb-8.0/TRS/CSR_04/Ex6_Luc98.xml
0.055
1.146
40
tpdb-8.0/TRS/CSR_04/Ex7_BLR02.xml
0.06
1.429
««
«
1
2
3
»
Last
Request being processed
Your request is being processed, please wait.