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

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

AProVE (2011-0.1)

COSTA (14/7/2010-1)

MAYBE

Average time	4.028
Total time	149.053
# Results	37

Average time	13.219
Total time	118.970
# Results	9

Average time	8.557
Total time	282.365
# Results	33

TIMEOUT

Average time
Total time
# Results

Average time	60.632
Total time	666.952
# Results	11

Average time	60.034
Total time	780.436
# Results	13

YES

Average time	5.750
Total time	344.984
# Results	60

Average time	12.682
Total time	976.545
# Results	77

Average time	4.280
Total time	218.292
# Results	51

Actions

Results

««

«

1

2

3

»

Last

Termination Problem

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

AProVE (2011-0.1)

COSTA (14/7/2010-1)


1	tpdb-8.0/JBC/AProVE_11_recursive/AlternatingGrowReduceRec2.jar	2.86	9.229	9.459
2	tpdb-8.0/JBC/AProVE_11_recursive/AlternatingGrowReduceRec.jar	3.244	22.496	9.68
3	tpdb-8.0/JBC/AProVE_11_recursive/BinarySearch.jar	6.584	18.642	2.396
4	tpdb-8.0/JBC/AProVE_11_recursive/ClassAnalysisRec.jar	2.532	2.07	5.637
5	tpdb-8.0/JBC/AProVE_11_recursive/CyclicAnalysisRec.jar	2.772	3.636	8.101
6	tpdb-8.0/JBC/AProVE_11_recursive/RetValRec.jar	2.275	1.072	4.327
7	tpdb-8.0/JBC/AProVE_11_recursive/RotateTree.jar	2.596	22.3	13.317
8	tpdb-8.0/JBC/AProVE_11_recursive/SharingAnalysisRec.jar	2.711	9.015	9.553
9	tpdb-8.0/JBC/AProVE_11_recursive/TermCreateCollect.jar	4.183	32.664	60.03
10	tpdb-8.0/JBC/AProVE_11_recursive/TermsCreateMatch.jar	6.863	60.397	60.031
11	tpdb-8.0/JBC/BOG_RTA_11/Alternate.jar	4.043	23.77	6.063
12	tpdb-8.0/JBC/BOG_RTA_11/AppE.jar	2.677	13.811	2.132
13	tpdb-8.0/JBC/BOG_RTA_11/AProVEMathRecursive.jar	3.227	18.278	2.102
14	tpdb-8.0/JBC/BOG_RTA_11/AProVERec01.jar	3.399	4.247	5.106
15	tpdb-8.0/JBC/BOG_RTA_11/Avg.jar	2.564	4.334	4.211
16	tpdb-8.0/JBC/BOG_RTA_11/BinTreeChanger.jar	3.252	11.558	10.21
17	tpdb-8.0/JBC/BOG_RTA_11/CAppE.jar	3.04	2.235	6.297
18	tpdb-8.0/JBC/BOG_RTA_11/ConvertRec.jar	3.54	14.827	2.249
19	tpdb-8.0/JBC/BOG_RTA_11/Count.jar	8.545	33.195	7.844
20	tpdb-8.0/JBC/BOG_RTA_11/CountMetaListRec.jar	4.386	17.535	5.12
21	tpdb-8.0/JBC/BOG_RTA_11/DivMinus.jar	3.795	52.05	9.563
22	tpdb-8.0/JBC/BOG_RTA_11/DivTernary2.jar	3.924	6.422	9.43
23	tpdb-8.0/JBC/BOG_RTA_11/DivTernary.jar	4.311	29.758	17.861
24	tpdb-8.0/JBC/BOG_RTA_11/DupTreeRec.jar	3.825	18.3	5.235
25	tpdb-8.0/JBC/BOG_RTA_11/EqUserDefRec.jar	2.313	2.338	1.395
26	tpdb-8.0/JBC/BOG_RTA_11/Fibonacci.jar	2.06	3.339	1.38
27	tpdb-8.0/JBC/BOG_RTA_11/FlattenTreeListRec.jar	5.335	24.286	12.769
28	tpdb-8.0/JBC/BOG_RTA_11/FlattenTreeRec.jar	6.474	20.267	9.666
29	tpdb-8.0/JBC/BOG_RTA_11/Gopher.jar	3.836	15.009	8.755
30	tpdb-8.0/JBC/BOG_RTA_11/GrowTreeR.jar	3.79	21.443	4.621
31	tpdb-8.0/JBC/BOG_RTA_11/IntListDupRec.jar	2.911	17.339	2.108
32	tpdb-8.0/JBC/BOG_RTA_11/IntListSumRec.jar	2.801	6.857	6.154
33	tpdb-8.0/JBC/BOG_RTA_11/LessLeavesRec.jar	3.922	60.402	20.962
34	tpdb-8.0/JBC/BOG_RTA_11/LeUserDefRec.jar	2.219	2.187	1.349
35	tpdb-8.0/JBC/BOG_RTA_11/LogRecursive.jar	2.214	3.567	4.45
36	tpdb-8.0/JBC/BOG_RTA_11/MainCopy.jar	3.266	8.726	23.911
37	tpdb-8.0/JBC/BOG_RTA_11/MainDelete.jar	3.339	10.679	16.426
38	tpdb-8.0/JBC/BOG_RTA_11/MainFind.jar	3.256	8.657	11.512
39	tpdb-8.0/JBC/BOG_RTA_11/MainGet.jar	2.968	7.362	10.905
40	tpdb-8.0/JBC/BOG_RTA_11/Main.jar	3.908	30.966	8.74

««

«

1

2

3

»

Last