termcomp

Navigation

Home
Login
Register

Competition List
Download current tools

Create an Experiment
View Experiments
View Tools

Registration
Tool management
Query interface

Category Results for Java Bytecode

Statistics

Result

Julia-11a (2011-05-25b)

AProVE (2011-0.1)

MAYBE

Average time	2.895
Total time	66.593
# Results	23

Average time	8.748
Total time	87.483
# Results	10

NO

Average time	1.911
Total time	19.108
# Results	10

Average time
Total time
# Results

TIMEOUT

Average time
Total time
# Results

Average time	60.554
Total time	484.435
# Results	8

YES

Average time	3.961
Total time	190.114
# Results	48

Average time	7.836
Total time	493.682
# Results	63

Actions

Results

««

«

1

2

3

»

Last

Termination Problem

Julia-11a (2011-05-25b)

AProVE (2011-0.1)


1	tpdb-8.0/JBC/Aprove_09/Convert.jar	2.7	7.453
2	tpdb-8.0/JBC/Aprove_09/CountMetaList.jar	4.391	7.635
3	tpdb-8.0/JBC/Aprove_09/LessLeaves.jar	3.331	21.694
4	tpdb-8.0/JBC/Aprove_09/ListContent.jar	2.556	2.909
5	tpdb-8.0/JBC/Aprove_09/LogBuiltIn.jar	1.986	2.322
6	tpdb-8.0/JBC/Aprove_09/MinusMin.jar	2.004	2.557
7	tpdb-8.0/JBC/Aprove_09/Mod.jar	2.372	4.317
8	tpdb-8.0/JBC/Aprove_09/PastaA1.jar	1.965	2.158
9	tpdb-8.0/JBC/Aprove_09/PastaA4.jar	1.901	1.947
10	tpdb-8.0/JBC/Aprove_09/PastaB10.jar	1.938	2.143
11	tpdb-8.0/JBC/Aprove_09/PastaB11.jar	2.089	2.734
12	tpdb-8.0/JBC/Aprove_09/PastaB16.jar	1.903	2.103
13	tpdb-8.0/JBC/Aprove_09/PastaB17.jar	2.284	3.212
14	tpdb-8.0/JBC/Aprove_09/PastaB1.jar	1.902	1.869
15	tpdb-8.0/JBC/Aprove_09/PastaB2.jar	1.834	1.973
16	tpdb-8.0/JBC/Aprove_09/PastaB4.jar	1.844	2.014
17	tpdb-8.0/JBC/Aprove_09/PastaB6.jar	1.859	1.887
18	tpdb-8.0/JBC/Aprove_09/PastaC1.jar	2.134	3.382
19	tpdb-8.0/JBC/Aprove_09/PastaC7.jar	2.096	3.811
20	tpdb-8.0/JBC/Aprove_09/PlusSwap.jar	2.063	2.476
21	tpdb-8.0/JBC/Aprove_09/Samefringe.jar	6.902	24.973
22	tpdb-8.0/JBC/Aprove_09/SortCount.jar	3.249	60.45
23	tpdb-8.0/JBC/AProVE_10/ArrayClasses.jar	2.0	1.082
24	tpdb-8.0/JBC/AProVE_10/CyclicList.jar	2.288	6.729
25	tpdb-8.0/JBC/AProVE_10/CyclicPair.jar	2.077	1.079
26	tpdb-8.0/JBC/AProVE_10/DuplicateTreePath.jar	4.061	18.259
27	tpdb-8.0/JBC/AProVE_10/FlattenRTA.jar	5.41	24.077
28	tpdb-8.0/JBC/AProVE_10/IntPath2.jar	1.891	1.071
29	tpdb-8.0/JBC/AProVE_10/IntRTA.jar	1.968	2.322
30	tpdb-8.0/JBC/AProVE_10/NestedLoop.jar	2.961	11.494
31	tpdb-8.0/JBC/AProVE_10/NullPair.jar	1.949	1.044
32	tpdb-8.0/JBC/AProVE_10/SharingPair.jar	2.408	1.163
33	tpdb-8.0/JBC/AProVE_10/TypeSwitch.jar	2.167	1.082
34	tpdb-8.0/JBC/AProVE_11_iterative/AlternatingGrowReduce2.jar	2.674	6.018
35	tpdb-8.0/JBC/AProVE_11_iterative/AlternatingGrowReduce.jar	2.804	12.643
36	tpdb-8.0/JBC/AProVE_11_iterative/ArrayObjects.jar	1.925	1.003
37	tpdb-8.0/JBC/AProVE_11_iterative/ArrayPrimitives.jar	2.178	1.177
38	tpdb-8.0/JBC/AProVE_11_iterative/ClassAnalysis.jar	2.101	2.298
39	tpdb-8.0/JBC/AProVE_11_iterative/CyclicAnalysis.jar	2.637	2.774
40	tpdb-8.0/JBC/AProVE_11_iterative/RetVal.jar	2.016	1.06

««

«

1

2

3

»

Last