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 Recursive

Statistics

Result

AProVE (2011-0.1)

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

MAYBE

Average time	14.469
Total time	28.938
# Results	2

Average time	3.669
Total time	58.711
# Results	16

TIMEOUT

Average time	60.718
Total time	425.027
# Results	7

Average time
Total time
# Results

YES

Average time	11.465
Total time	458.618
# Results	40

Average time	6.077
Total time	200.537
# Results	33

Actions

Results

««

«

1

2

»

Last

Termination Problem

AProVE (2011-0.1)

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


1	tpdb-8.0/JBC/AProVE_11_recursive/AlternatingGrowReduceRec2.jar	8.977	2.508
2	tpdb-8.0/JBC/AProVE_11_recursive/AlternatingGrowReduceRec.jar	22.159	2.725
3	tpdb-8.0/JBC/AProVE_11_recursive/BinarySearch.jar	17.345	6.428
4	tpdb-8.0/JBC/AProVE_11_recursive/ClassAnalysisRec.jar	2.019	2.17
5	tpdb-8.0/JBC/AProVE_11_recursive/CyclicAnalysisRec.jar	3.654	2.35
6	tpdb-8.0/JBC/AProVE_11_recursive/RetValRec.jar	1.063	2.017
7	tpdb-8.0/JBC/AProVE_11_recursive/RotateTree.jar	22.676	2.353
8	tpdb-8.0/JBC/AProVE_11_recursive/SharingAnalysisRec.jar	9.196	2.44
9	tpdb-8.0/JBC/AProVE_11_recursive/TermCreateCollect.jar	32.444	3.469
10	tpdb-8.0/JBC/AProVE_11_recursive/TermsCreateMatch.jar	60.47	7.415
11	tpdb-8.0/JBC/BOG_RTA_11/AppE.jar	13.842	2.31
12	tpdb-8.0/JBC/BOG_RTA_11/Avg.jar	4.324	2.325
13	tpdb-8.0/JBC/BOG_RTA_11/CAppE.jar	2.18	2.427
14	tpdb-8.0/JBC/BOG_RTA_11/ConvertRec.jar	14.54	3.242
15	tpdb-8.0/JBC/BOG_RTA_11/Count.jar	36.071	8.22
16	tpdb-8.0/JBC/BOG_RTA_11/DivTernary.jar	30.556	3.992
17	tpdb-8.0/JBC/BOG_RTA_11/FlattenTreeListRec.jar	23.426	4.933
18	tpdb-8.0/JBC/BOG_RTA_11/Main.jar	28.35	3.533
19	tpdb-8.0/JBC/BOG_RTA_11/Nest.jar	1.993	1.829
20	tpdb-8.0/JBC/BOG_RTA_11/SearchTreeR.jar	10.89	2.294
21	tpdb-8.0/JBC/BOG_RTA_11/Shuffle.jar	12.612	2.867
22	tpdb-8.0/JBC/BOG_RTA_11/TerminatorRec02.jar	1.791	1.832
23	tpdb-8.0/JBC/BOG_RTA_11/TerminatorRec04.jar	60.374	2.022
24	tpdb-8.0/JBC/Costa_Julia_09-recursive/Ackermann.jar	3.531	2.291
25	tpdb-8.0/JBC/Costa_Julia_09-recursive/BinarySearchTree.jar	1.788	2.392
26	tpdb-8.0/JBC/Costa_Julia_09-recursive/Double3.jar	1.842	1.822
27	tpdb-8.0/JBC/Costa_Julia_09-recursive/Double.jar	2.695	1.894
28	tpdb-8.0/JBC/Costa_Julia_09-recursive/FactSum.jar	1.758	2.041
29	tpdb-8.0/JBC/Costa_Julia_09-recursive/FactSumList.jar	0.994	4.675
30	tpdb-8.0/JBC/Costa_Julia_09-recursive/Hanoi.jar	1.355	2.164
31	tpdb-8.0/JBC/Costa_Julia_09-recursive/ListInt.jar	2.204	7.525
32	tpdb-8.0/JBC/Costa_Julia_09-recursive/List.jar	1.803	5.78
33	tpdb-8.0/JBC/Costa_Julia_09-recursive/MysteriousProgram.jar	23.355	3.756
34	tpdb-8.0/JBC/Costa_Julia_09-recursive/Virtual.jar	2.194	2.369
35	tpdb-8.0/JBC/Julia_10_Recursive/AckR.jar	4.528	2.143
36	tpdb-8.0/JBC/Julia_10_Recursive/BubbleSortR.jar	15.134	2.853
37	tpdb-8.0/JBC/Julia_10_Recursive/FibSLR.jar	3.534	2.547
38	tpdb-8.0/JBC/Julia_10_Recursive/HanR.jar	3.083	2.341
39	tpdb-8.0/JBC/Julia_10_Recursive/Matrix.jar	60.791	21.597
40	tpdb-8.0/JBC/Julia_10_Recursive/Nim.jar	60.623	10.53

««

«

1

2

»

Last