| benchmark
|
AProVE-JBC
|
COSTA
|
Julia-10
|
|
tpdb-8.0/JBC/Costa_Julia_09-recursive/BinarySearchTree.jar
|
YES
1957
|
YES
3468
|
YES
1797
|
|
tpdb-8.0/JBC/Costa_Julia_09-recursive/Domino.jar
|
TIMEOUT
61012
|
TIMEOUT
60082
|
YES
11316
|
|
tpdb-8.0/JBC/Costa_Julia_09-recursive/Double2.jar
|
YES
29803
|
YES
610
|
YES
1326
|
|
tpdb-8.0/JBC/Costa_Julia_09-recursive/Factorial.jar
|
YES
1829
|
YES
609
|
YES
1482
|
|
tpdb-8.0/JBC/Costa_Julia_09-recursive/FactSum.jar
|
YES
2169
|
YES
663
|
YES
1427
|
|
tpdb-8.0/JBC/Costa_Julia_09-recursive/FactSumList.jar
|
YES
1830
|
YES
879
|
YES
1536
|
|
tpdb-8.0/JBC/Costa_Julia_09-recursive/Hanoi.jar
|
YES
2015
|
YES
830
|
YES
1585
|
|
tpdb-8.0/JBC/Costa_Julia_09-recursive/ListInt.jar
|
YES
1981
|
YES
4046
|
YES
2624
|
|
tpdb-8.0/JBC/Costa_Julia_09-recursive/List.jar
|
YES
2005
|
YES
5931
|
YES
2899
|
|
tpdb-8.0/JBC/Costa_Julia_09-recursive/TestJulia7.jar
|
TIMEOUT
61146
|
MAYBE
2238
|
MAYBE
1547
|
|
tpdb-8.0/JBC/Julia_10_Recursive/AckR.jar
|
TIMEOUT
60531
|
YES
3383
|
YES
1437
|
|
tpdb-8.0/JBC/Julia_10_Recursive/BTreeR.jar
|
TIMEOUT
60628
|
YES
2779
|
YES
1743
|
|
tpdb-8.0/JBC/Julia_10_Recursive/Power.jar
|
TIMEOUT
60608
|
YES
3757
|
YES
1923
|
|
tpdb-8.0/JBC/Julia_10_Recursive/Sudoku.jar
|
YES
5029
|
TIMEOUT
60116
|
YES
6533
|
|
tpdb-8.0/JBC/Julia_10_Recursive/Test10.jar
|
TIMEOUT
60566
|
MAYBE
1721
|
YES
1429
|
|
tpdb-8.0/JBC/Julia_10_Recursive/Test1.jar
|
TIMEOUT
60618
|
YES
813
|
YES
1740
|
|
tpdb-8.0/JBC/Julia_10_Recursive/Test4.jar
|
TIMEOUT
60642
|
YES
21282
|
YES
3195
|
|
tpdb-8.0/JBC/Julia_10_Recursive/Test6.jar
|
TIMEOUT
60680
|
TIMEOUT
60137
|
YES
3220
|
|
tpdb-8.0/JBC/Julia_10_Recursive/TicTacToe.jar
|
MAYBE
53312
|
TIMEOUT
60082
|
YES
29470
|
|
tpdb-8.0/JBC/Julia_10_Recursive/WorkingSignals.jar
|
TIMEOUT
60748
|
YES
48255
|
YES
16199
|
|
|
9
|
14
|
19
|
|---|