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

AProVE (TC 2013)

Julia13 (2013-06-07a)

MAYBE

Average time	12.658
Total time	25.316
# Results	2

Average time	12.309
Total time	356.949
# Results	29

NO

Average time	2.937
Total time	55.800
# Results	19

Average time	4.687
Total time	46.874
# Results	10

TIMEOUT

Average time	60.505
Total time	423.534
# Results	7

Average time	60.038
Total time	1801.126
# Results	30

YES

Average time	7.091
Total time	475.118
# Results	67

Average time	14.479
Total time	376.464
# Results	26

Actions

Results

««

«

1

2

3

»

Last

Termination Problem

AProVE (TC 2013)

Julia13 (2013-06-07a)


1	tpdb-8.0/JBC/Aprove_09/LessLeaves.jar	60.332	60.038
2	tpdb-8.0/JBC/Aprove_09/McCarthyIterative.jar	2.51	3.355
3	tpdb-8.0/JBC/Aprove_09/MirrorTree.jar	9.755	5.668
4	tpdb-8.0/JBC/Aprove_09/Mod.jar	3.064	26.957
5	tpdb-8.0/JBC/Aprove_09/PastaA7.jar	2.559	3.106
6	tpdb-8.0/JBC/Aprove_09/PastaB10.jar	3.028	4.208
7	tpdb-8.0/JBC/Aprove_09/PastaB12.jar	2.728	60.037
8	tpdb-8.0/JBC/Aprove_09/PastaB2.jar	2.982	2.894
9	tpdb-8.0/JBC/Aprove_09/PastaB7.jar	2.447	60.037
10	tpdb-8.0/JBC/Aprove_09/PastaC5.jar	2.639	60.037
11	tpdb-8.0/JBC/Aprove_09/PlusSwap.jar	2.422	3.131
12	tpdb-8.0/JBC/Aprove_09/StupidArray.jar	2.429	2.967
13	tpdb-8.0/JBC/AProVE_10/ArrayClasses.jar	1.673	1.444
14	tpdb-8.0/JBC/AProVE_10/CyclicList.jar	2.664	27.434
15	tpdb-8.0/JBC/AProVE_10/CyclicPair2.jar	1.61	3.489
16	tpdb-8.0/JBC/AProVE_10/CyclicPair.jar	1.593	60.036
17	tpdb-8.0/JBC/AProVE_10/FlattenRTA.jar	11.261	60.039
18	tpdb-8.0/JBC/AProVE_10/IntPath.jar	1.558	4.175
19	tpdb-8.0/JBC/AProVE_10/NestedLoop.jar	4.909	60.037
20	tpdb-8.0/JBC/AProVE_10/SharingPair.jar	1.855	6.24
21	tpdb-8.0/JBC/AProVE_10/TypeSwitch.jar	1.606	60.037
22	tpdb-8.0/JBC/AProVE_11_iterative/AlternatingGrowReduce2.jar	3.342	4.123
23	tpdb-8.0/JBC/AProVE_11_iterative/AlternatingGrowReduce.jar	4.356	4.817
24	tpdb-8.0/JBC/AProVE_11_iterative/ArrayObjects.jar	1.502	4.28
25	tpdb-8.0/JBC/AProVE_11_iterative/ClassAnalysis.jar	2.276	3.729
26	tpdb-8.0/JBC/AProVE_11_iterative/CyclicAnalysis.jar	3.073	4.455
27	tpdb-8.0/JBC/AProVE_11_iterative/RetVal.jar	1.603	3.354
28	tpdb-8.0/JBC/AProVE_11_iterative/SharingAnalysis.jar	2.774	60.037
29	tpdb-8.0/JBC/AProVE_11_iterative/TreeLeftmostDepth.jar	8.38	4.812
30	tpdb-8.0/JBC/AProVE_11_iterative/TreeLeftmostPath.jar	8.006	5.338
31	tpdb-8.0/JBC/BMOG_CAV_12/AProVE12-cyclic-Iterate.jar	2.717	5.111
32	tpdb-8.0/JBC/BMOG_CAV_12/AProVE12-cyclic-Length.jar	2.737	26.986
33	tpdb-8.0/JBC/BMOG_CAV_12/AProVE12-cyclic-Visit.jar	3.113	60.039
34	tpdb-8.0/JBC/BMOG_CAV_12/ListReverseAcyclicList.jar	2.557	28.529
35	tpdb-8.0/JBC/BMOG_CAV_12/ListReverseCyclicList.jar	3.662	60.037
36	tpdb-8.0/JBC/BMOG_CAV_12/ListReversePanhandleList.jar	3.892	60.039
37	tpdb-8.0/JBC/BSOG_FoVeOOS_11/LoopingNonterm.jar	2.134	3.368
38	tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-ex05.jar	1.633	60.037
39	tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-marbie2.jar	1.704	60.038
40	tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-moduloLower.jar	1.735	4.369

««

«

1

2

3

»

Last