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
Jambox (2009_b)
AProVE (1.8)
MAYBE
Average time
0.225
Total time
20.715
# Results
92
Average time
Total time
# Results
NO
Average time
Total time
# Results
Average time
1.938
Total time
104.665
# Results
54
TIMEOUT
Average time
Total time
# Results
Average time
60.690
Total time
1699.312
# Results
28
YES
Average time
Total time
# Results
Average time
6.269
Total time
62.690
# Results
10
Actions
Back to summary
Download Excel file
Download CSV file
Reset search filters
Results
««
«
1
2
3
»
Last
Termination Problem
Jambox (2009_b)
AProVE (1.8)
Select…
YES
NO
MAYBE
TIMEOUT
Select…
YES
NO
MAYBE
TIMEOUT
1
tpdb-8.0/TRS/Mixed_outermost/afbg.xml
0.23
60.573
2
tpdb-8.0/TRS/Mixed_outermost/even.xml
0.231
1.86
3
tpdb-8.0/TRS/Mixed_outermost/ex1.xml
0.234
2.662
4
tpdb-8.0/TRS/Mixed_outermost/ex2.xml
0.232
60.576
5
tpdb-8.0/TRS/Mixed_outermost/ex4.xml
0.233
3.472
6
tpdb-8.0/TRS/Mixed_outermost/ex5.xml
0.228
2.147
7
tpdb-8.0/TRS/Mixed_outermost/non-lin1.xml
0.227
2.5
8
tpdb-8.0/TRS/Mixed_outermost/odd.xml
0.233
60.607
9
tpdb-8.0/TRS/Mixed_outermost/patterns1.xml
0.234
60.519
10
tpdb-8.0/TRS/Mixed_outermost/patterns2.xml
0.231
60.805
11
tpdb-8.0/TRS/Strategy_outermost_added_08/001.xml
0.234
1.719
12
tpdb-8.0/TRS/Strategy_outermost_added_08/2.05.xml
0.234
2.132
13
tpdb-8.0/TRS/Strategy_outermost_added_08/#4.15.xml
0.232
1.741
14
tpdb-8.0/TRS/Strategy_outermost_added_08/#4.18.xml
0.228
1.817
15
tpdb-8.0/TRS/Strategy_outermost_added_08/append-wrong.xml
0.23
60.695
16
tpdb-8.0/TRS/Strategy_outermost_added_08/cime4.xml
0.233
1.747
17
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_2_AEL03_L.xml
0.176
1.685
18
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_2_Luc02c.xml
0.235
1.742
19
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_AEGL02_L.xml
0.23
1.803
20
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_Luc06_FR.xml
0.232
4.861
21
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_Luc06_L.xml
0.229
1.811
22
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_Luc06_Z.xml
0.229
5.521
23
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex15_Luc06_L.xml
0.234
1.86
24
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex15_Luc98.xml
0.233
1.747
25
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex16_Luc06_L.xml
0.232
1.854
26
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GL02a_L.xml
0.233
1.859
27
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GL02a_Z.xml
0.234
60.981
28
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99_GM.xml
0.226
60.872
29
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99_iGM.xml
0.233
61.059
30
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99.xml
0.232
1.742
31
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99_Z.xml
0.229
1.851
32
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Luc04b_FR.xml
0.233
61.063
33
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Zan97_FR.xml
0.226
1.95
34
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Zan97.xml
0.231
1.798
35
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Zan97_Z.xml
0.23
1.914
36
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_GM04_L.xml
0.229
1.759
37
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_Luc06_iGM.xml
0.233
60.783
38
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex2_Luc03b.xml
0.228
1.697
39
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex3_12_Luc96a_L.xml
0.177
1.639
40
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_77_Bor03.xml
0.233
1.81
««
«
1
2
3
»
Last
Request being processed
Your request is being processed, please wait.
Your request is being processed, please wait.