Navigation
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 Java Bytecode

Statistics

Result
AProVE (1.8)
Julia-09 (20091208a)
COSTA (1)
MAYBE
Average time 22.282
Total time 89.127
# Results 4
Average time 1.986
Total time 27.807
# Results 14
Average time 8.479
Total time 135.656
# Results 16
TIMEOUT
Average time 60.538
Total time 302.690
# Results 5
Average time
Total time
# Results
Average time
Total time
# Results
YES
Average time 11.001
Total time 253.016
# Results 23
Average time 1.942
Total time 34.951
# Results 18
Average time 2.725
Total time 43.604
# Results 16

Actions

Results

Termination Problem
AProVE (1.8)
Julia-09 (20091208a)
COSTA (1)
 
 
 
1
tpdb-8.0/JBC/Aprove_09/Count.jar
46.485
3.56
29.927
2
tpdb-8.0/JBC/Aprove_09/Duplicate.jar
3.82
1.901
2.487
3
tpdb-8.0/JBC/Aprove_09/GCD2.jar
29.931
1.95
6.193
4
tpdb-8.0/JBC/Aprove_09/GCD3.jar
7.754
1.906
6.164
5
tpdb-8.0/JBC/Aprove_09/GCD4.jar
7.778
1.898
6.088
6
tpdb-8.0/JBC/Aprove_09/GCD.jar
60.518
1.897
6.369
7
tpdb-8.0/JBC/Aprove_09/LogBuiltIn.jar
3.733
1.74
2.525
8
tpdb-8.0/JBC/Aprove_09/LogIterative.jar
7.748
1.898
6.005
9
tpdb-8.0/JBC/Aprove_09/LogMult.jar
60.366
1.799
5.779
10
tpdb-8.0/JBC/Aprove_09/McCarthyIterative.jar
60.901
1.855
6.228
11
tpdb-8.0/JBC/Aprove_09/MinusBuiltIn.jar
2.974
1.745
2.491
12
tpdb-8.0/JBC/Aprove_09/MinusMin.jar
6.494
1.896
5.863
13
tpdb-8.0/JBC/Aprove_09/MinusUserDefined.jar
60.426
1.949
6.028
14
tpdb-8.0/JBC/Aprove_09/Overflow.jar
2.866
1.69
2.442
15
tpdb-8.0/JBC/Aprove_09/PastaB10.jar
5.462
1.841
2.539
16
tpdb-8.0/JBC/Aprove_09/PastaB12.jar
4.067
1.844
2.638
17
tpdb-8.0/JBC/Aprove_09/PastaB17.jar
60.114
1.951
2.521
18
tpdb-8.0/JBC/Aprove_09/PastaB18.jar
11.272
1.999
2.583
19
tpdb-8.0/JBC/Aprove_09/PastaB2.jar
3.114
1.747
2.472
20
tpdb-8.0/JBC/Aprove_09/PastaB5.jar
3.353
1.755
2.459
21
tpdb-8.0/JBC/Aprove_09/PastaB8.jar
6.267
1.793
4.23
22
tpdb-8.0/JBC/Aprove_09/SortCount.jar
60.479
2.529
9.978
23
tpdb-8.0/JBC/Costa_Julia_09/Break.jar
1.954
1.586
1.503
24
tpdb-8.0/JBC/Costa_Julia_09/costa09-example_1.jar
3.477
2.418
3.841
25
tpdb-8.0/JBC/Costa_Julia_09/costa09-example_2.jar
3.588
1.845
2.046
26
tpdb-8.0/JBC/Costa_Julia_09/costa09-example_3.jar
2.135
1.69
4.197
27
tpdb-8.0/JBC/Costa_Julia_09/costa09-example_5.jar
4.084
1.75
7.411
28
tpdb-8.0/JBC/Costa_Julia_09/Exc1.jar
35.469
1.691
3.065
29
tpdb-8.0/JBC/Costa_Julia_09/Exc2.jar
47.002
1.688
2.865
30
tpdb-8.0/JBC/Costa_Julia_09/Init.jar
2.572
1.645
5.617
31
tpdb-8.0/JBC/Costa_Julia_09/LinkedList.jar
26.55
3.249
22.076
32
tpdb-8.0/JBC/Costa_Julia_09/Sharing.jar
2.08
2.053
2.63
Powered by Seam. Generated by seam-gen.
Version 3alpha.09.05.2011