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-12a (20120618a)

AProVE (TC 2012)

MAYBE

Average time	8.172
Total time	384.080
# Results	47

Average time	9.381
Total time	9.381
# Results	1

NO

Average time	3.705
Total time	74.103
# Results	20

Average time	2.077
Total time	58.162
# Results	28

TIMEOUT

Average time	60.037
Total time	60.037
# Results	1

Average time	60.777
Total time	607.774
# Results	10

YES

Average time	8.410
Total time	462.549
# Results	55

Average time	7.228
Total time	607.145
# Results	84

Actions

Results

««

«

1

2

3

4

»

Last

Termination Problem

Julia-12a (20120618a)

AProVE (TC 2012)


1	tpdb-8.0/JBC/Aprove_09/Collatz.jar	2.773	60.499
2	tpdb-8.0/JBC/Aprove_09/DivMinus2.jar	2.695	2.578
3	tpdb-8.0/JBC/Aprove_09/DuplicateNodes.jar	5.55	10.486
4	tpdb-8.0/JBC/Aprove_09/GCD2.jar	2.578	2.382
5	tpdb-8.0/JBC/Aprove_09/ListContentTail.jar	3.594	3.768
6	tpdb-8.0/JBC/Aprove_09/ListDuplicate.jar	4.038	2.708
7	tpdb-8.0/JBC/Aprove_09/LogBuiltIn.jar	2.653	1.867
8	tpdb-8.0/JBC/Aprove_09/MinusBuiltIn.jar	2.486	2.231
9	tpdb-8.0/JBC/Aprove_09/Overflow.jar	2.438	1.874
10	tpdb-8.0/JBC/Aprove_09/PastaA6.jar	2.417	2.01
11	tpdb-8.0/JBC/Aprove_09/PastaA9.jar	2.448	2.22
12	tpdb-8.0/JBC/Aprove_09/PastaB11.jar	2.659	2.458
13	tpdb-8.0/JBC/Aprove_09/PastaB12.jar	2.57	2.068
14	tpdb-8.0/JBC/Aprove_09/PastaB14.jar	2.703	2.036
15	tpdb-8.0/JBC/Aprove_09/PastaB1.jar	2.43	1.88
16	tpdb-8.0/JBC/Aprove_09/PastaC10.jar	4.449	3.382
17	tpdb-8.0/JBC/Aprove_09/PastaC2.jar	2.693	2.093
18	tpdb-8.0/JBC/Aprove_09/PastaC9.jar	2.669	2.99
19	tpdb-8.0/JBC/Aprove_09/Round3.jar	2.577	3.607
20	tpdb-8.0/JBC/Aprove_09/Samefringe.jar	6.847	11.128
21	tpdb-8.0/JBC/Aprove_09/SortCount.jar	4.625	60.501
22	tpdb-8.0/JBC/Aprove_09/Take.jar	2.88	2.285
23	tpdb-8.0/JBC/AProVE_10/ArrayClasses.jar	2.647	1.323
24	tpdb-8.0/JBC/AProVE_10/CyclicPair2.jar	2.967	1.289
25	tpdb-8.0/JBC/AProVE_10/CyclicPair.jar	2.716	1.255
26	tpdb-8.0/JBC/AProVE_10/DuplicateTreePath.jar	5.558	8.373
27	tpdb-8.0/JBC/AProVE_10/FlattenRTA.jar	6.978	9.719
28	tpdb-8.0/JBC/AProVE_10/IntPath2.jar	2.451	1.293
29	tpdb-8.0/JBC/AProVE_10/IntRTA.jar	2.628	2.097
30	tpdb-8.0/JBC/AProVE_10/NestedLoop.jar	3.962	3.884
31	tpdb-8.0/JBC/AProVE_10/NullPair.jar	2.508	1.272
32	tpdb-8.0/JBC/AProVE_10/SharingPair.jar	3.29	2.172
33	tpdb-8.0/JBC/AProVE_10/TypeSwitch.jar	2.981	1.277
34	tpdb-8.0/JBC/AProVE_11_iterative/AlternatingGrowReduce2.jar	3.426	2.456
35	tpdb-8.0/JBC/AProVE_11_iterative/AlternatingGrowReduce.jar	3.981	3.301
36	tpdb-8.0/JBC/AProVE_11_iterative/ArrayObjects.jar	2.591	1.212
37	tpdb-8.0/JBC/AProVE_11_iterative/ArrayPrimitives.jar	2.73	1.392
38	tpdb-8.0/JBC/AProVE_11_iterative/ClassAnalysis.jar	2.915	2.166
39	tpdb-8.0/JBC/AProVE_11_iterative/CyclicAnalysis.jar	3.448	2.673
40	tpdb-8.0/JBC/AProVE_11_iterative/RetVal.jar	2.616	1.25

««

«

1

2

3

4

»

Last