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

Statistics

Result

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

COSTA (14/7/2010-1)

AProVE (2011-0.1)

MAYBE

Average time	3.154
Total time	135.632
# Results	43

Average time	8.875
Total time	559.114
# Results	63

Average time	10.238
Total time	184.287
# Results	18

NO

Average time	1.992
Total time	43.824
# Results	22

Average time
Total time
# Results

Average time
Total time
# Results

TIMEOUT

Average time
Total time
# Results

Average time	60.031
Total time	420.219
# Results	7

Average time	60.446
Total time	1450.705
# Results	24

YES

Average time	4.407
Total time	449.533
# Results	102

Average time	2.913
Total time	282.529
# Results	97

Average time	7.080
Total time	885.020
# Results	125

Actions

Results

««

«

1

2

3

4

5

»

Last

Termination Problem

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

COSTA (14/7/2010-1)

AProVE (2011-0.1)


1	tpdb-8.0/JBC/Aprove_09/AProVEMath.jar	2.711	1.706	2.971
2	tpdb-8.0/JBC/Aprove_09/Collatz.jar	2.694	4.217	60.208
3	tpdb-8.0/JBC/Aprove_09/Convert.jar	3.052	6.782	7.488
4	tpdb-8.0/JBC/Aprove_09/Count.jar	7.104	60.03	17.686
5	tpdb-8.0/JBC/Aprove_09/CountMetaList.jar	4.769	53.752	7.625
6	tpdb-8.0/JBC/Aprove_09/CountUpRound.jar	2.261	1.519	2.388
7	tpdb-8.0/JBC/Aprove_09/DivMinus2.jar	2.298	1.598	4.775
8	tpdb-8.0/JBC/Aprove_09/DivMinus.jar	2.257	1.444	2.926
9	tpdb-8.0/JBC/Aprove_09/DivWithoutMinus.jar	2.491	2.922	20.532
10	tpdb-8.0/JBC/Aprove_09/Duplicate.jar	2.225	1.465	2.463
11	tpdb-8.0/JBC/Aprove_09/DuplicateNodes.jar	7.821	39.496	18.993
12	tpdb-8.0/JBC/Aprove_09/Flatten.jar	5.556	60.03	21.253
13	tpdb-8.0/JBC/Aprove_09/FlattenTree.jar	8.711	60.031	17.103
14	tpdb-8.0/JBC/Aprove_09/GCD2.jar	2.42	4.632	27.309
15	tpdb-8.0/JBC/Aprove_09/GCD3.jar	2.803	4.672	6.802
16	tpdb-8.0/JBC/Aprove_09/GCD4.jar	2.212	4.449	7.562
17	tpdb-8.0/JBC/Aprove_09/GCD5.jar	2.219	4.403	27.073
18	tpdb-8.0/JBC/Aprove_09/GCD.jar	2.278	4.704	60.306
19	tpdb-8.0/JBC/Aprove_09/LessLeaves.jar	3.666	30.117	21.248
20	tpdb-8.0/JBC/Aprove_09/ListContentArbitrary.jar	2.923	2.056	3.797
21	tpdb-8.0/JBC/Aprove_09/ListContent.jar	2.789	5.633	2.916
22	tpdb-8.0/JBC/Aprove_09/ListContentTail.jar	2.996	2.289	15.493
23	tpdb-8.0/JBC/Aprove_09/ListDuplicate.jar	3.624	12.904	4.053
24	tpdb-8.0/JBC/Aprove_09/LogAG.jar	2.175	4.208	13.403
25	tpdb-8.0/JBC/Aprove_09/LogBuiltIn.jar	2.231	1.462	2.256
26	tpdb-8.0/JBC/Aprove_09/LogIterative.jar	2.33	4.317	5.179
27	tpdb-8.0/JBC/Aprove_09/Log.jar	2.18	4.354	13.121
28	tpdb-8.0/JBC/Aprove_09/LogMult.jar	2.352	4.127	2.398
29	tpdb-8.0/JBC/Aprove_09/McCarthyIterative.jar	2.278	4.587	60.459
30	tpdb-8.0/JBC/Aprove_09/MinusBuiltIn.jar	2.058	1.459	1.93
31	tpdb-8.0/JBC/Aprove_09/MinusMin.jar	2.235	4.224	2.553
32	tpdb-8.0/JBC/Aprove_09/MinusUserDefined.jar	2.186	4.334	60.246
33	tpdb-8.0/JBC/Aprove_09/MirrorTree.jar	4.501	34.036	19.251
34	tpdb-8.0/JBC/Aprove_09/Mod.jar	2.436	1.447	4.233
35	tpdb-8.0/JBC/Aprove_09/Overflow.jar	2.039	1.398	1.739
36	tpdb-8.0/JBC/Aprove_09/PastaA10.jar	2.249	1.591	8.883
37	tpdb-8.0/JBC/Aprove_09/PastaA1.jar	2.154	1.505	2.174
38	tpdb-8.0/JBC/Aprove_09/PastaA4.jar	2.016	1.45	1.927
39	tpdb-8.0/JBC/Aprove_09/PastaA5.jar	2.039	1.402	1.947
40	tpdb-8.0/JBC/Aprove_09/PastaA6.jar	2.127	1.433	2.056

««

«

1

2

3

4

5

»

Last