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 (TC 2012)

Julia-12a (20120618a)

MAYBE

Average time
Total time
# Results

Average time	5.900
Total time	118.005
# Results	20

NO

Average time	3.819
Total time	38.194
# Results	10

Average time	3.559
Total time	32.030
# Results	9

TIMEOUT

Average time	60.546
Total time	363.274
# Results	6

Average time	60.036
Total time	60.036
# Results	1

YES

Average time	9.262
Total time	426.069
# Results	46

Average time	14.382
Total time	460.226
# Results	32

Actions

Results

««

«

1

2

»

Last

Termination Problem

AProVE (TC 2012)

Julia-12a (20120618a)


1	tpdb-8.0/JBC/AProVE_11_recursive/AlternatingGrowReduceRec2.jar	12.076	3.489
2	tpdb-8.0/JBC/AProVE_11_recursive/AlternatingGrowReduceRec.jar	6.284	3.937
3	tpdb-8.0/JBC/AProVE_11_recursive/BinarySearch.jar	17.005	3.282
4	tpdb-8.0/JBC/AProVE_11_recursive/ClassAnalysisRec.jar	1.989	3.01
5	tpdb-8.0/JBC/AProVE_11_recursive/CyclicAnalysisRec.jar	4.522	3.321
6	tpdb-8.0/JBC/AProVE_11_recursive/RetValRec.jar	1.271	2.608
7	tpdb-8.0/JBC/AProVE_11_recursive/RotateTree.jar	16.838	3.138
8	tpdb-8.0/JBC/AProVE_11_recursive/SharingAnalysisRec.jar	4.116	3.324
9	tpdb-8.0/JBC/AProVE_11_recursive/TermCreateCollect.jar	24.469	4.755
10	tpdb-8.0/JBC/AProVE_11_recursive/TermsCreateMatch.jar	26.468	7.614
11	tpdb-8.0/JBC/BOG_RTA_11/AProVEMathRecursive.jar	4.2	3.738
12	tpdb-8.0/JBC/BOG_RTA_11/AProVERec01.jar	2.48	3.746
13	tpdb-8.0/JBC/BOG_RTA_11/ConvertRec.jar	15.762	3.823
14	tpdb-8.0/JBC/BOG_RTA_11/Count.jar	28.219	9.879
15	tpdb-8.0/JBC/BOG_RTA_11/DivTernary.jar	60.443	4.238
16	tpdb-8.0/JBC/BOG_RTA_11/FlattenTreeListRec.jar	14.54	6.518
17	tpdb-8.0/JBC/BOG_RTA_11/IntListSumRec.jar	3.555	3.333
18	tpdb-8.0/JBC/BOG_RTA_11/MainDelete.jar	6.383	4.081
19	tpdb-8.0/JBC/BOG_RTA_11/MainMove.jar	17.077	4.2
20	tpdb-8.0/JBC/BOG_RTA_11/Nest.jar	2.573	24.29
21	tpdb-8.0/JBC/BOG_RTA_11/Norm.jar	60.465	7.151
22	tpdb-8.0/JBC/BOG_RTA_11/QuicksortRec.jar	14.937	3.921
23	tpdb-8.0/JBC/BOG_RTA_11/TerminatorRec02.jar	1.709	26.944
24	tpdb-8.0/JBC/Costa_Julia_09-recursive/BinarySearchTree.jar	1.479	3.373
25	tpdb-8.0/JBC/Costa_Julia_09-recursive/Double3.jar	1.704	23.67
26	tpdb-8.0/JBC/Costa_Julia_09-recursive/Double.jar	6.624	23.918
27	tpdb-8.0/JBC/Costa_Julia_09-recursive/Factorial.jar	1.173	24.284
28	tpdb-8.0/JBC/Costa_Julia_09-recursive/FactSumList.jar	1.158	5.66
29	tpdb-8.0/JBC/Costa_Julia_09-recursive/Hanoi.jar	1.545	27.291
30	tpdb-8.0/JBC/Costa_Julia_09-recursive/ListInt.jar	1.437	9.382
31	tpdb-8.0/JBC/Costa_Julia_09-recursive/PartitionList.jar	29.518	37.143
32	tpdb-8.0/JBC/Costa_Julia_09-recursive/Queen.jar	11.646	4.372
33	tpdb-8.0/JBC/Costa_Julia_09-recursive/TestJulia6.jar	1.402	2.545
34	tpdb-8.0/JBC/Costa_Julia_09-recursive/Virtual.jar	2.36	26.688
35	tpdb-8.0/JBC/Julia_10_Recursive/BTreeR.jar	7.4	4.231
36	tpdb-8.0/JBC/Julia_10_Recursive/BubbleSortR.jar	7.698	3.518
37	tpdb-8.0/JBC/Julia_10_Recursive/FactSLR.jar	3.046	3.739
38	tpdb-8.0/JBC/Julia_10_Recursive/FibSLR.jar	3.037	3.847
39	tpdb-8.0/JBC/Julia_10_Recursive/Matrix.jar	26.959	24.106
40	tpdb-8.0/JBC/Julia_10_Recursive/Power.jar	6.018	24.736

««

«

1

2

»

Last