Overview of job-results

flexible query (experimental) | view original jobs on star-exec:5417,

Statistics

143 pairs, 7589.1 / 2931.4 s

Results

Legend

YES NO MAYBE CERTIFIED ERROR OTHER / Nothing
The results are displayed in the following pattern: cpu-time / wallclock-time (complexity-score)
Jobs Java 86668
Solver AProVE_JRE2
Scores 135
e/AProVE_11_recursive/AlternatingGrowReduceRec.jar 18.3 / 5.4 s
/AProVE_11_recursive/AlternatingGrowReduceRec2.jar 11.1 / 3.5 s
ode_Recursive/AProVE_11_recursive/BinarySearch.jar 136.4 / 43.3 s
Recursive/AProVE_11_recursive/ClassAnalysisRec.jar 4.1 / 1.6 s
ecursive/AProVE_11_recursive/CyclicAnalysisRec.jar 8.7 / 2.8 s
tecode_Recursive/AProVE_11_recursive/RetValRec.jar 1.7 / 0.9 s
ecode_Recursive/AProVE_11_recursive/RotateTree.jar 36.2 / 10.7 s
cursive/AProVE_11_recursive/SharingAnalysisRec.jar 9.2 / 2.9 s
ecursive/AProVE_11_recursive/TermCreateCollect.jar 29.9 / 9.1 s
Recursive/AProVE_11_recursive/TermsCreateMatch.jar 38.6 / 11.6 s
tecode_Recursive/AProVE_11_recursive/UnionFind.jar 321.7 / 300.0 s
ecode_Recursive/BOG_RTA_11/AProVEMathRecursive.jar 10.6 / 3.5 s
Java_Bytecode_Recursive/BOG_RTA_11/AProVERec01.jar 4.7 / 1.7 s
Java_Bytecode_Recursive/BOG_RTA_11/Alternate.jar 43.5 / 12.7 s
Java_Bytecode_Recursive/BOG_RTA_11/AppE.jar 6.1 / 2.2 s
Java_Bytecode_Recursive/BOG_RTA_11/Avg.jar 6.6 / 2.3 s
a_Bytecode_Recursive/BOG_RTA_11/BinTreeChanger.jar 16.9 / 5.2 s
Java_Bytecode_Recursive/BOG_RTA_11/CAppE.jar 4.8 / 1.8 s
Java_Bytecode_Recursive/BOG_RTA_11/ConvertRec.jar 49.1 / 7.6 s
Java_Bytecode_Recursive/BOG_RTA_11/Count.jar 64.9 / 18.4 s
Bytecode_Recursive/BOG_RTA_11/CountMetaListRec.jar 14.8 / 4.6 s
Java_Bytecode_Recursive/BOG_RTA_11/DivMinus.jar 82.5 / 24.3 s
Java_Bytecode_Recursive/BOG_RTA_11/DivTernary.jar 965.1 / 300.1 s
Java_Bytecode_Recursive/BOG_RTA_11/DivTernary2.jar 12.1 / 3.8 s
Java_Bytecode_Recursive/BOG_RTA_11/DupTreeRec.jar 27.0 / 8.0 s
ava_Bytecode_Recursive/BOG_RTA_11/EqUserDefRec.jar 4.2 / 1.7 s
Java_Bytecode_Recursive/BOG_RTA_11/Fibonacci.jar 15.5 / 8.0 s
tecode_Recursive/BOG_RTA_11/FlattenTreeListRec.jar 42.9 / 12.7 s
a_Bytecode_Recursive/BOG_RTA_11/FlattenTreeRec.jar 32.2 / 9.7 s
Java_Bytecode_Recursive/BOG_RTA_11/Gopher.jar 16.1 / 4.9 s
Java_Bytecode_Recursive/BOG_RTA_11/GrowTreeR.jar 23.4 / 7.0 s
va_Bytecode_Recursive/BOG_RTA_11/IntListDupRec.jar 12.2 / 3.8 s
va_Bytecode_Recursive/BOG_RTA_11/IntListSumRec.jar 9.1 / 2.9 s
ava_Bytecode_Recursive/BOG_RTA_11/LeUserDefRec.jar 4.2 / 1.6 s
va_Bytecode_Recursive/BOG_RTA_11/LessLeavesRec.jar 655.8 / 300.1 s
ava_Bytecode_Recursive/BOG_RTA_11/LogRecursive.jar 7.0 / 2.4 s
Java_Bytecode_Recursive/BOG_RTA_11/Main.jar 50.2 / 15.2 s
Java_Bytecode_Recursive/BOG_RTA_11/MainCopy.jar 18.9 / 5.6 s
Java_Bytecode_Recursive/BOG_RTA_11/MainDelete.jar 16.9 / 5.1 s
Java_Bytecode_Recursive/BOG_RTA_11/MainFind.jar 16.6 / 5.1 s
Java_Bytecode_Recursive/BOG_RTA_11/MainGet.jar 15.2 / 4.7 s
Java_Bytecode_Recursive/BOG_RTA_11/MainMove.jar 38.1 / 11.2 s
Bytecode_Recursive/BOG_RTA_11/MirrorBinTreeRec.jar 44.5 / 12.8 s
tecode_Recursive/BOG_RTA_11/MirrorMultiTreeRec.jar 38.2 / 11.4 s
Java_Bytecode_Recursive/BOG_RTA_11/Nest.jar 5.3 / 2.0 s
Java_Bytecode_Recursive/BOG_RTA_11/Norm.jar 110.0 / 30.6 s
ava_Bytecode_Recursive/BOG_RTA_11/QuicksortRec.jar 31.6 / 9.3 s
Java_Bytecode_Recursive/BOG_RTA_11/SearchTreeR.jar 12.2 / 3.7 s
Java_Bytecode_Recursive/BOG_RTA_11/Shuffle.jar 103.0 / 27.3 s
_Bytecode_Recursive/BOG_RTA_11/TerminatorRec01.jar 13.4 / 4.5 s
_Bytecode_Recursive/BOG_RTA_11/TerminatorRec02.jar 3.4 / 1.4 s
_Bytecode_Recursive/BOG_RTA_11/TerminatorRec03.jar 1.9 / 1.0 s
_Bytecode_Recursive/BOG_RTA_11/TerminatorRec04.jar 2.7 / 1.3 s
Bytecode_Recursive/BOG_RTA_11/TimesPlusUserDef.jar 9.4 / 3.0 s
Java_Bytecode_Recursive/BOG_RTA_11/TwoWay.jar 4.0 / 1.6 s
de_Recursive/Costa_Julia_09recursive/Ackermann.jar 13.2 / 5.3 s
tecode_Recursive/Costa_Julia_09recursive/BTree.jar 3.1 / 1.3 s
rsive/Costa_Julia_09recursive/BinarySearchTree.jar 2.1 / 1.0 s
ecode_Recursive/Costa_Julia_09recursive/Domino.jar 231.9 / 101.9 s
ecode_Recursive/Costa_Julia_09recursive/Double.jar 5.0 / 1.9 s
code_Recursive/Costa_Julia_09recursive/Double2.jar 3.5 / 1.5 s
code_Recursive/Costa_Julia_09recursive/Double3.jar 3.3 / 1.4 s
code_Recursive/Costa_Julia_09recursive/FactSum.jar 2.8 / 1.3 s
_Recursive/Costa_Julia_09recursive/FactSumList.jar 1.6 / 0.9 s
de_Recursive/Costa_Julia_09recursive/Factorial.jar 1.6 / 0.9 s
tecode_Recursive/Costa_Julia_09recursive/Hanoi.jar 2.3 / 1.1 s
ytecode_Recursive/Costa_Julia_09recursive/List.jar 2.2 / 1.1 s
code_Recursive/Costa_Julia_09recursive/ListInt.jar 2.2 / 1.1 s
sive/Costa_Julia_09recursive/MysteriousProgram.jar 1006.0 / 300.0 s
ecursive/Costa_Julia_09recursive/PartitionList.jar 90.8 / 26.4 s
tecode_Recursive/Costa_Julia_09recursive/Queen.jar 22.4 / 6.8 s
e_Recursive/Costa_Julia_09recursive/TestJulia6.jar 1.9 / 1.0 s
e_Recursive/Costa_Julia_09recursive/TestJulia7.jar 2.4 / 1.1 s
code_Recursive/Costa_Julia_09recursive/Virtual.jar 3.4 / 1.4 s
ava_Bytecode_Recursive/Julia_10_Recursive/AckR.jar 12.4 / 4.1 s
a_Bytecode_Recursive/Julia_10_Recursive/BTreeR.jar 11.1 / 3.5 s
ecode_Recursive/Julia_10_Recursive/BubbleSortR.jar 21.5 / 6.5 s
_Bytecode_Recursive/Julia_10_Recursive/FactSLR.jar 6.5 / 2.3 s
a_Bytecode_Recursive/Julia_10_Recursive/FibSLR.jar 7.2 / 2.5 s
ava_Bytecode_Recursive/Julia_10_Recursive/HanR.jar 7.2 / 2.5 s
a_Bytecode_Recursive/Julia_10_Recursive/Matrix.jar 77.5 / 23.5 s
ytecode_Recursive/Julia_10_Recursive/MergeSort.jar 32.6 / 9.8 s
Java_Bytecode_Recursive/Julia_10_Recursive/Nim.jar 460.1 / 300.0 s
va_Bytecode_Recursive/Julia_10_Recursive/Power.jar 22.1 / 6.5 s
tecode_Recursive/Julia_10_Recursive/Recursions.jar 18.7 / 5.6 s
a_Bytecode_Recursive/Julia_10_Recursive/Sudoku.jar 67.3 / 21.5 s
va_Bytecode_Recursive/Julia_10_Recursive/Test1.jar 9.4 / 3.1 s
a_Bytecode_Recursive/Julia_10_Recursive/Test10.jar 6.0 / 2.2 s
a_Bytecode_Recursive/Julia_10_Recursive/Test12.jar 23.1 / 7.0 s
va_Bytecode_Recursive/Julia_10_Recursive/Test4.jar 361.2 / 108.3 s
va_Bytecode_Recursive/Julia_10_Recursive/Test6.jar 298.8 / 101.8 s
va_Bytecode_Recursive/Julia_10_Recursive/Test8.jar 8.8 / 2.9 s
ytecode_Recursive/Julia_10_Recursive/TicTacToe.jar 633.1 / 300.0 s
de_Recursive/Julia_10_Recursive/WorkingSignals.jar 222.1 / 69.1 s
Bytecode_Recursive/Julia_11_recursive/Binomial.jar 46.9 / 14.4 s
ytecode_Recursive/Julia_11_recursive/Fractale1.jar 7.9 / 2.8 s
va_Bytecode_Recursive/Julia_11_recursive/Parts.jar 28.1 / 9.3 s
e_Recursive/Julia_11_recursive/TaylorSeriesRec.jar 54.2 / 16.6 s
a_12_recursive/BMOG_CAV_12_MarkingGraphVisitor.jar 47.1 / 13.7 s
_Bytecode_Recursive/Julia_12_recursive/Et1-rec.jar 150.2 / 40.7 s
_Bytecode_Recursive/Julia_12_recursive/Et2-rec.jar 10.9 / 3.4 s
_Bytecode_Recursive/Julia_12_recursive/Et3-rec.jar 19.0 / 5.8 s
_Bytecode_Recursive/Julia_12_recursive/Et4-rec.jar 29.9 / 8.4 s
_Bytecode_Recursive/Julia_12_recursive/Et5-rec.jar 23.4 / 7.1 s
_Bytecode_Recursive/Julia_12_recursive/Et6-rec.jar 25.3 / 7.6 s
_Bytecode_Recursive/Julia_12_recursive/EvenOdd.jar 9.7 / 3.3 s
Recursive/Julia_12_recursive/alternDivWide_rec.jar 2.2 / 1.1 s
rsive/Julia_12_recursive/alternDivWidening_rec.jar 10.6 / 4.6 s
ode_Recursive/Julia_12_recursive/alternDiv_rec.jar 2.4 / 1.2 s
de_Recursive/Julia_12_recursive/alternKonv_rec.jar 5.0 / 1.2 s
_Recursive/Julia_12_recursive/complInterv2_rec.jar 1.9 / 1.0 s
_Recursive/Julia_12_recursive/complInterv3_rec.jar 2.0 / 1.0 s
e_Recursive/Julia_12_recursive/complxStruc_rec.jar 7.2 / 2.4 s
ode_Recursive/Julia_12_recursive/convLower_rec.jar 2.0 / 1.0 s
tecode_Recursive/Julia_12_recursive/cousot_rec.jar 2.5 / 1.2 s
Bytecode_Recursive/Julia_12_recursive/even_rec.jar 2.0 / 1.0 s
Bytecode_Recursive/Julia_12_recursive/ex01_rec.jar 1.9 / 1.0 s
Bytecode_Recursive/Julia_12_recursive/ex02_rec.jar 1.9 / 1.0 s
Bytecode_Recursive/Julia_12_recursive/ex03_rec.jar 2.1 / 1.0 s
Bytecode_Recursive/Julia_12_recursive/ex04_rec.jar 1.9 / 1.0 s
Bytecode_Recursive/Julia_12_recursive/ex05_rec.jar 1.8 / 0.9 s
Bytecode_Recursive/Julia_12_recursive/ex06_rec.jar 1.8 / 1.0 s
Bytecode_Recursive/Julia_12_recursive/ex07_rec.jar 1.8 / 1.0 s
Bytecode_Recursive/Julia_12_recursive/ex08_rec.jar 4.9 / 1.8 s
ytecode_Recursive/Julia_12_recursive/flip2_rec.jar 4.0 / 1.6 s
Bytecode_Recursive/Julia_12_recursive/flip_rec.jar 2.1 / 1.1 s
tecode_Recursive/Julia_12_recursive/middle_rec.jar 2.6 / 1.2 s
cursive/Julia_12_recursive/mirrorIntervSim_rec.jar 3.0 / 1.3 s
_Recursive/Julia_12_recursive/mirrorInterv_rec.jar 9.1 / 3.0 s
de_Recursive/Julia_12_recursive/narrowKonv_rec.jar 5.1 / 1.9 s
ode_Recursive/Julia_12_recursive/narrowing_rec.jar 26.5 / 8.4 s
e_Recursive/Julia_12_recursive/sumGeneric2_rec.jar 2.7 / 1.2 s
de_Recursive/Julia_12_recursive/sumGeneric_rec.jar 1.8 / 1.0 s
_Bytecode_Recursive/Julia_12_recursive/sum_rec.jar 2.5 / 1.2 s
tecode_Recursive/Julia_12_recursive/sunset_rec.jar 3.1 / 1.3 s
ecode_Recursive/Julia_12_recursive/trueDiv_rec.jar 2.6 / 1.2 s
ecursive/Julia_12_recursive/twoFloatInterv_rec.jar 4.1 / 1.6 s
Recursive/Julia_12_recursive/upAndDownIneq_rec.jar 5.5 / 2.0 s
ode_Recursive/Julia_12_recursive/upAndDown_rec.jar 6.6 / 2.3 s
rsive/Julia_12_recursive/whileNestedOffset_rec.jar 2.4 / 1.2 s
e_Recursive/Julia_12_recursive/whileNested_rec.jar 2.5 / 1.2 s
ode_Recursive/Julia_12_recursive/whilePart_rec.jar 2.0 / 1.0 s
e_Recursive/Julia_12_recursive/whileSingle_rec.jar 2.1 / 1.0 s