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

Julia13 (2013-06-07a-fixed)

Julia13 (2013-06-07a)

AProVE (TC 2013)

MAYBE

Average time	50.097
Total time	50.097
# Results	1

Average time	16.082
Total time	1785.050
# Results	111

Average time	13.734
Total time	109.870
# Results	8

NO

Average time	5.485
Total time	252.289
# Results	46

Average time	4.060
Total time	186.741
# Results	46

Average time	2.630
Total time	215.660
# Results	82

TIMEOUT

Average time
Total time
# Results

Average time	60.037
Total time	600.372
# Results	10

Average time	60.569
Total time	908.540
# Results	15

YES

Average time	11.542
Total time	1523.510
# Results	132

Average time	10.199
Total time	1356.450
# Results	133

Average time	7.859
Total time	1532.566
# Results	195

Actions

Results

««

«

1

2

3

4

5

6

7

8

»

Last

Termination Problem

Julia13 (2013-06-07a-fixed)

Julia13 (2013-06-07a)

AProVE (TC 2013)


1	tpdb-8.0/JBC/Aprove_09/AProVEMath.jar	5.077	4.827	2.871
2	tpdb-8.0/JBC/Aprove_09/Collatz.jar		8.276	10.618
3	tpdb-8.0/JBC/Aprove_09/Convert.jar	5.688	4.182	6.788
4	tpdb-8.0/JBC/Aprove_09/Count.jar		11.97	8.939
5	tpdb-8.0/JBC/Aprove_09/CountMetaList.jar		6.771	4.594
6	tpdb-8.0/JBC/Aprove_09/CountUpRound.jar	5.012	3.041	2.581
7	tpdb-8.0/JBC/Aprove_09/DivMinus2.jar	4.563	3.337	3.202
8	tpdb-8.0/JBC/Aprove_09/DivMinus.jar	4.398	3.155	2.598
9	tpdb-8.0/JBC/Aprove_09/DivWithoutMinus.jar	5.176	3.552	2.746
10	tpdb-8.0/JBC/Aprove_09/Duplicate.jar	4.692	2.991	2.385
11	tpdb-8.0/JBC/Aprove_09/DuplicateNodes.jar	7.064	5.834	10.864
12	tpdb-8.0/JBC/Aprove_09/Flatten.jar		8.767	9.976
13	tpdb-8.0/JBC/Aprove_09/FlattenTree.jar		8.501	8.371
14	tpdb-8.0/JBC/Aprove_09/GCD2.jar		3.271	2.78
15	tpdb-8.0/JBC/Aprove_09/GCD3.jar		3.243	2.693
16	tpdb-8.0/JBC/Aprove_09/GCD4.jar		3.244	2.641
17	tpdb-8.0/JBC/Aprove_09/GCD5.jar	5.308	3.095	2.404
18	tpdb-8.0/JBC/Aprove_09/GCD.jar		3.225	2.936
19	tpdb-8.0/JBC/Aprove_09/LessLeaves.jar		4.379	60.311
20	tpdb-8.0/JBC/Aprove_09/ListContentArbitrary.jar	5.404	4.072	3.918
21	tpdb-8.0/JBC/Aprove_09/ListContent.jar	5.276	4.873	3.417
22	tpdb-8.0/JBC/Aprove_09/ListContentTail.jar	5.789	4.122	4.165
23	tpdb-8.0/JBC/Aprove_09/ListDuplicate.jar	5.554	4.368	3.428
24	tpdb-8.0/JBC/Aprove_09/LogAG.jar		3.146	9.935
25	tpdb-8.0/JBC/Aprove_09/LogBuiltIn.jar	4.948	3.115	2.377
26	tpdb-8.0/JBC/Aprove_09/LogIterative.jar	4.55	3.223	2.587
27	tpdb-8.0/JBC/Aprove_09/Log.jar		3.16	9.045
28	tpdb-8.0/JBC/Aprove_09/LogMult.jar	4.796	3.314	2.319
29	tpdb-8.0/JBC/Aprove_09/McCarthyIterative.jar		3.312	2.533
30	tpdb-8.0/JBC/Aprove_09/MinusBuiltIn.jar	4.766	2.994	2.573
31	tpdb-8.0/JBC/Aprove_09/MinusMin.jar	4.901	3.127	2.647
32	tpdb-8.0/JBC/Aprove_09/MinusUserDefined.jar		3.193	60.451
33	tpdb-8.0/JBC/Aprove_09/MirrorTree.jar		5.421	9.517
34	tpdb-8.0/JBC/Aprove_09/Mod.jar	50.091	48.569	3.083
35	tpdb-8.0/JBC/Aprove_09/Overflow.jar		2.97	2.296
36	tpdb-8.0/JBC/Aprove_09/PastaA10.jar	4.581	3.126	6.211
37	tpdb-8.0/JBC/Aprove_09/PastaA1.jar	4.952	3.105	2.49
38	tpdb-8.0/JBC/Aprove_09/PastaA4.jar	4.961	2.959	2.438
39	tpdb-8.0/JBC/Aprove_09/PastaA5.jar	4.528	2.993	2.505
40	tpdb-8.0/JBC/Aprove_09/PastaA6.jar	4.338	2.994	2.523

««

«

1

2

3

4

5

6

7

8

»

Last