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

AProVE (1.8)

COSTA (1)

Julia-09 (20091208a)

MAYBE

Average time	7.048
Total time	7.048
# Results	1

Average time	10.901
Total time	10.901
# Results	1

Average time	1.691
Total time	1.691
# Results	1

TIMEOUT

Average time	60.519
Total time	181.556
# Results	3

Average time	60.210
Total time	120.420
# Results	2

Average time
Total time
# Results

YES

Average time	3.403
Total time	20.420
# Results	6

Average time	4.731
Total time	33.118
# Results	7

Average time	3.632
Total time	32.688
# Results	9

Actions

Results

Termination Problem

AProVE (1.8)

COSTA (1)

Julia-09 (20091208a)


1	tpdb-8.0/JBC/Costa_Julia_09-recursive/BinarySearchTree.jar	2.378	4.162	2.208
2	tpdb-8.0/JBC/Costa_Julia_09-recursive/Domino.jar	8.066	60.204	13.13
3	tpdb-8.0/JBC/Costa_Julia_09-recursive/Double3.jar	60.506	1.528	1.854
4	tpdb-8.0/JBC/Costa_Julia_09-recursive/Factorial.jar	2.069	1.519	1.792
5	tpdb-8.0/JBC/Costa_Julia_09-recursive/FactSumList.jar	1.849	2.208	1.853
6	tpdb-8.0/JBC/Costa_Julia_09-recursive/Hanoi.jar	3.401	1.732	2.155
7	tpdb-8.0/JBC/Costa_Julia_09-recursive/List.jar	2.657	10.901	3.146
8	tpdb-8.0/JBC/Costa_Julia_09-recursive/MysteriousProgram.jar	60.496	60.216	2.99
9	tpdb-8.0/JBC/Costa_Julia_09-recursive/Queen.jar	60.554	20.361	3.56
10	tpdb-8.0/JBC/Costa_Julia_09-recursive/TestJulia6.jar	7.048	1.608	1.691