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-fixed)

AProVE (TC 2013)

Julia13 (2013-06-07a)

MAYBE

Average time
Total time
# Results

Average time	40.132
Total time	80.263
# Results	2

Average time	9.193
Total time	404.496
# Results	44

NO

Average time	6.013
Total time	186.393
# Results	31

Average time	2.652
Total time	108.747
# Results	41

Average time	4.182
Total time	129.651
# Results	31

TIMEOUT

Average time
Total time
# Results

Average time	60.484
Total time	786.291
# Results	13

Average time	60.037
Total time	300.184
# Results	5

YES

Average time	20.730
Total time	1305.995
# Results	63

Average time	9.172
Total time	798.000
# Results	87

Average time	18.676
Total time	1176.604
# Results	63

Actions

Results

««

«

1

2

3

4

»

Last

Termination Problem

Julia13 (2013-06-07a-fixed)

AProVE (TC 2013)

Julia13 (2013-06-07a)


1	tpdb-8.0/JBC/AProVE_11_recursive/AlternatingGrowReduceRec2.jar		5.152	4.214
2	tpdb-8.0/JBC/AProVE_11_recursive/AlternatingGrowReduceRec.jar		6.972	4.868
3	tpdb-8.0/JBC/AProVE_11_recursive/BinarySearch.jar		60.474	3.611
4	tpdb-8.0/JBC/AProVE_11_recursive/ClassAnalysisRec.jar		2.737	3.653
5	tpdb-8.0/JBC/AProVE_11_recursive/CyclicAnalysisRec.jar		5.062	4.05
6	tpdb-8.0/JBC/AProVE_11_recursive/RetValRec.jar		1.596	3.011
7	tpdb-8.0/JBC/AProVE_11_recursive/RotateTree.jar		14.734	7.84
8	tpdb-8.0/JBC/AProVE_11_recursive/SharingAnalysisRec.jar		5.114	3.913
9	tpdb-8.0/JBC/AProVE_11_recursive/TermCreateCollect.jar		24.602	5.519
10	tpdb-8.0/JBC/AProVE_11_recursive/TermsCreateMatch.jar		28.52	8.036
11	tpdb-8.0/JBC/AProVE_11_recursive/UnionFind.jar		60.432	3.5
12	tpdb-8.0/JBC/BOG_RTA_11/Alternate.jar	7.133	60.65	4.992
13	tpdb-8.0/JBC/BOG_RTA_11/AppE.jar	6.534	3.803	3.796
14	tpdb-8.0/JBC/BOG_RTA_11/AProVEMathRecursive.jar	5.755	4.992	3.627
15	tpdb-8.0/JBC/BOG_RTA_11/AProVERec01.jar	7.172	3.089	4.647
16	tpdb-8.0/JBC/BOG_RTA_11/Avg.jar	48.182	3.574	46.214
17	tpdb-8.0/JBC/BOG_RTA_11/BinTreeChanger.jar		8.149	9.6
18	tpdb-8.0/JBC/BOG_RTA_11/CAppE.jar		3.134	3.839
19	tpdb-8.0/JBC/BOG_RTA_11/ConvertRec.jar		11.754	4.176
20	tpdb-8.0/JBC/BOG_RTA_11/Count.jar		45.769	6.687
21	tpdb-8.0/JBC/BOG_RTA_11/CountMetaListRec.jar		6.043	6.139
22	tpdb-8.0/JBC/BOG_RTA_11/DivMinus.jar	7.278	53.498	5.182
23	tpdb-8.0/JBC/BOG_RTA_11/DivTernary2.jar		5.218	5.155
24	tpdb-8.0/JBC/BOG_RTA_11/DivTernary.jar		26.993	5.595
25	tpdb-8.0/JBC/BOG_RTA_11/DupTreeRec.jar		18.707	5.217
26	tpdb-8.0/JBC/BOG_RTA_11/EqUserDefRec.jar	46.36	2.87	44.266
27	tpdb-8.0/JBC/BOG_RTA_11/Fibonacci.jar	47.648	16.714	45.393
28	tpdb-8.0/JBC/BOG_RTA_11/FlattenTreeListRec.jar		13.334	6.79
29	tpdb-8.0/JBC/BOG_RTA_11/FlattenTreeRec.jar		10.75	7.474
30	tpdb-8.0/JBC/BOG_RTA_11/Gopher.jar		7.243	7.916
31	tpdb-8.0/JBC/BOG_RTA_11/GrowTreeR.jar		14.997	5.243
32	tpdb-8.0/JBC/BOG_RTA_11/IntListDupRec.jar		9.896	3.847
33	tpdb-8.0/JBC/BOG_RTA_11/IntListSumRec.jar	5.939	4.294	3.709
34	tpdb-8.0/JBC/BOG_RTA_11/LessLeavesRec.jar		60.48	4.447
35	tpdb-8.0/JBC/BOG_RTA_11/LeUserDefRec.jar	46.223	2.7	44.076
36	tpdb-8.0/JBC/BOG_RTA_11/LogRecursive.jar	5.287	3.219	3.088
37	tpdb-8.0/JBC/BOG_RTA_11/MainCopy.jar		7.672	4.484
38	tpdb-8.0/JBC/BOG_RTA_11/MainDelete.jar		7.317	4.526
39	tpdb-8.0/JBC/BOG_RTA_11/MainFind.jar		6.729	4.403
40	tpdb-8.0/JBC/BOG_RTA_11/MainGet.jar		6.631	4.245

««

«

1

2

3

4

»

Last