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 Outermost
Statistics
Result
AProVE (TC 2013)
NO
Average time
1.523
Total time
284.882
# Results
187
TIMEOUT
Average time
60.918
Total time
2253.979
# Results
37
YES
Average time
9.065
Total time
607.337
# Results
67
Actions
Back to summary
Download Excel file
Download CSV file
Reset search filters
Results
««
«
1
2
3
4
5
6
7
8
»
Last
Termination Problem
AProVE (TC 2013)
Select…
YES
NO
MAYBE
TIMEOUT
1
tpdb-8.0/TRS/Mixed_outermost/afbg.xml
27.173
2
tpdb-8.0/TRS/Mixed_outermost/even.xml
1.034
3
tpdb-8.0/TRS/Mixed_outermost/ex1.xml
1.476
4
tpdb-8.0/TRS/Mixed_outermost/ex2.xml
7.108
5
tpdb-8.0/TRS/Mixed_outermost/ex3.xml
1.688
6
tpdb-8.0/TRS/Mixed_outermost/ex4.xml
1.204
7
tpdb-8.0/TRS/Mixed_outermost/ex5.xml
1.224
8
tpdb-8.0/TRS/Mixed_outermost/ex6.xml
1.358
9
tpdb-8.0/TRS/Mixed_outermost/gfb.xml
1.265
10
tpdb-8.0/TRS/Mixed_outermost/non-lin1.xml
1.243
11
tpdb-8.0/TRS/Mixed_outermost/non-lin2.xml
1.422
12
tpdb-8.0/TRS/Mixed_outermost/non-lin3.xml
1.968
13
tpdb-8.0/TRS/Mixed_outermost/odd.xml
2.562
14
tpdb-8.0/TRS/Mixed_outermost/patterns1.xml
30.468
15
tpdb-8.0/TRS/Mixed_outermost/patterns2.xml
21.419
16
tpdb-8.0/TRS/Strategy_outermost_added_08/001.xml
1.07
17
tpdb-8.0/TRS/Strategy_outermost_added_08/003.xml
1.111
18
tpdb-8.0/TRS/Strategy_outermost_added_08/2.05.xml
1.489
19
tpdb-8.0/TRS/Strategy_outermost_added_08/4.06.xml
1.085
20
tpdb-8.0/TRS/Strategy_outermost_added_08/#4.12a.xml
1.171
21
tpdb-8.0/TRS/Strategy_outermost_added_08/#4.13.xml
20.957
22
tpdb-8.0/TRS/Strategy_outermost_added_08/#4.14.xml
1.085
23
tpdb-8.0/TRS/Strategy_outermost_added_08/#4.15.xml
1.111
24
tpdb-8.0/TRS/Strategy_outermost_added_08/#4.16.xml
1.029
25
tpdb-8.0/TRS/Strategy_outermost_added_08/#4.17.xml
1.08
26
tpdb-8.0/TRS/Strategy_outermost_added_08/#4.18.xml
1.041
27
tpdb-8.0/TRS/Strategy_outermost_added_08/#4.2.xml
1.047
28
tpdb-8.0/TRS/Strategy_outermost_added_08/4.34.xml
1.016
29
tpdb-8.0/TRS/Strategy_outermost_added_08/#4.3.xml
1.059
30
tpdb-8.0/TRS/Strategy_outermost_added_08/4.40.xml
7.432
31
tpdb-8.0/TRS/Strategy_outermost_added_08/4.49.xml
1.028
32
tpdb-8.0/TRS/Strategy_outermost_added_08/#4.4.xml
1.066
33
tpdb-8.0/TRS/Strategy_outermost_added_08/4.54.xml
1.083
34
tpdb-8.0/TRS/Strategy_outermost_added_08/#4.7.xml
1.024
35
tpdb-8.0/TRS/Strategy_outermost_added_08/append-wrong.xml
60.763
36
tpdb-8.0/TRS/Strategy_outermost_added_08/cime4.xml
1.092
37
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_2_AEL03_L.xml
1.094
38
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_2_AEL03.xml
1.103
39
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_2_Luc02c_L.xml
1.009
40
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_2_Luc02c.xml
1.016
««
«
1
2
3
4
5
6
7
8
»
Last
Request being processed
Your request is being processed, please wait.