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

Julia13 (2013-06-07a)

AProVE (TC 2013)

MAYBE

Average time	8.559
Total time	136.945
# Results	16

Average time
Total time
# Results

NO

Average time	3.906
Total time	15.624
# Results	4

Average time	3.402
Total time	30.615
# Results	9

TIMEOUT

Average time	60.037
Total time	900.560
# Results	15

Average time	60.414
Total time	362.485
# Results	6

YES

Average time	20.806
Total time	291.279
# Results	14

Average time	7.294
Total time	248.002
# Results	34

Actions

Results

««

«

1

2

»

Last

Termination Problem

Julia13 (2013-06-07a)

AProVE (TC 2013)


1	tpdb-8.0/JBC/AProVE_11_recursive/AlternatingGrowReduceRec2.jar	4.617	5.045
2	tpdb-8.0/JBC/AProVE_11_recursive/AlternatingGrowReduceRec.jar	5.672	7.367
3	tpdb-8.0/JBC/AProVE_11_recursive/BinarySearch.jar	5.17	60.431
4	tpdb-8.0/JBC/AProVE_11_recursive/ClassAnalysisRec.jar	3.595	2.586
5	tpdb-8.0/JBC/AProVE_11_recursive/RetValRec.jar	3.162	1.622
6	tpdb-8.0/JBC/AProVE_11_recursive/RotateTree.jar	8.439	14.862
7	tpdb-8.0/JBC/AProVE_11_recursive/SharingAnalysisRec.jar	3.93	5.198
8	tpdb-8.0/JBC/AProVE_11_recursive/TermCreateCollect.jar	60.036	22.275
9	tpdb-8.0/JBC/AProVE_11_recursive/UnionFind.jar	60.038	60.323
10	tpdb-8.0/JBC/BOG_RTA_11/Avg.jar	60.036	3.699
11	tpdb-8.0/JBC/BOG_RTA_11/ConvertRec.jar	4.78	12.395
12	tpdb-8.0/JBC/BOG_RTA_11/FlattenTreeListRec.jar	60.039	13.246
13	tpdb-8.0/JBC/BOG_RTA_11/Gopher.jar	60.037	7.343
14	tpdb-8.0/JBC/BOG_RTA_11/GrowTreeR.jar	5.6	15.592
15	tpdb-8.0/JBC/BOG_RTA_11/MainDelete.jar	4.965	6.984
16	tpdb-8.0/JBC/BOG_RTA_11/MainFind.jar	4.548	6.638
17	tpdb-8.0/JBC/BOG_RTA_11/QuicksortRec.jar	60.039	12.051
18	tpdb-8.0/JBC/BOG_RTA_11/TerminatorRec02.jar	28.566	2.278
19	tpdb-8.0/JBC/Costa_Julia_09-recursive/Double2.jar	24.17	2.331
20	tpdb-8.0/JBC/Costa_Julia_09-recursive/Double3.jar	60.036	2.229
21	tpdb-8.0/JBC/Costa_Julia_09-recursive/Double.jar	23.933	7.647
22	tpdb-8.0/JBC/Costa_Julia_09-recursive/Factorial.jar	25.098	1.53
23	tpdb-8.0/JBC/Costa_Julia_09-recursive/ListInt.jar	12.754	1.764
24	tpdb-8.0/JBC/Costa_Julia_09-recursive/MysteriousProgram.jar	60.035	60.542
25	tpdb-8.0/JBC/Costa_Julia_09-recursive/TestJulia6.jar	60.037	1.884
26	tpdb-8.0/JBC/Costa_Julia_09-recursive/TestJulia7.jar	3.834	2.279
27	tpdb-8.0/JBC/Costa_Julia_09-recursive/Virtual.jar	27.452	2.415
28	tpdb-8.0/JBC/Julia_10_Recursive/FactSLR.jar	4.552	3.943
29	tpdb-8.0/JBC/Julia_10_Recursive/FibSLR.jar	60.039	4.069
30	tpdb-8.0/JBC/Julia_10_Recursive/MergeSort.jar	60.035	14.148
31	tpdb-8.0/JBC/Julia_10_Recursive/Nim.jar	14.361	60.301
32	tpdb-8.0/JBC/Julia_10_Recursive/Power.jar	27.839	5.943
33	tpdb-8.0/JBC/Julia_10_Recursive/Recursions.jar	29.057	4.831
34	tpdb-8.0/JBC/Julia_10_Recursive/Test6.jar	24.789	60.557
35	tpdb-8.0/JBC/Julia_10_Recursive/Test8.jar	60.037	4.704
36	tpdb-8.0/JBC/Julia_10_Recursive/TicTacToe.jar	60.041	60.331
37	tpdb-8.0/JBC/Julia_11_recursive/Binomial.jar	26.475	9.338
38	tpdb-8.0/JBC/Julia_11_recursive/Fractale1.jar	6.012	3.89
39	tpdb-8.0/JBC/Julia_11_recursive/Parts.jar	27.499	8.331
40	tpdb-8.0/JBC/Julia_11_recursive/TaylorSeriesRec.jar	60.038	7.713

««

«

1

2

»

Last