TermComp 2020
: Java_Bytecode
41524
Job info CSV
Showing
all
interesting
conflicting
unsolved
solo
results.
benchmark
AProVE
standard
--
YES
NO
MAYBE
timeout
BSOG_
FoVeOOS_
11/
Velroyen08-upAndDownIneq.jar
11762898
s
NO
6.88/2.85
BSOG_
FoVeOOS_
11/
Velroyen08-alternKonv.jar
11762899
s
NO
7.05/2.78
BSOG_
FoVeOOS_
11/
Velroyen08-whileNested.jar
11762900
s
NO
5.25/2.35
BSOG_
FoVeOOS_
11/
Velroyen08-moduloLower.jar
11762901
s
NO
5.50/2.47
BSOG_
FoVeOOS_
11/
Velroyen08-ex08.jar
11762902
s
NO
7.58/2.87
BSOG_
FoVeOOS_
11/
Velroyen08-ex06.jar
11762903
s
NO
5.37/2.32
BSOG_
FoVeOOS_
11/
Velroyen08-convLower.jar
11762904
s
NO
4.45/2.06
BSOG_
FoVeOOS_
11/
Velroyen08-ex01.jar
11762905
s
NO
5.88/2.45
BSOG_
FoVeOOS_
11/
Velroyen08-plait.jar
11762906
s
NO
9.68/3.62
BSOG_
FoVeOOS_
11/
Velroyen08-gauss.jar
11762907
s
NO
6.47/2.71
BSOG_
FoVeOOS_
11/
Velroyen08-whileSum.jar
11762908
u
timeout (wallclock)
BSOG_
FoVeOOS_
11/
Velroyen08-flip2.jar
11762909
s
NO
5.89/2.45
BSOG_
FoVeOOS_
11/
Velroyen08-alternDivWidening.jar
11762910
s
NO
12.82/4.58
BSOG_
FoVeOOS_
11/
Velroyen08-marbie1.jar
11762911
s
NO
4.62/2.30
BSOG_
FoVeOOS_
11/
Velroyen08-collatz.jar
11762912
u
timeout (wallclock)
BSOG_
FoVeOOS_
11/
Velroyen08-gcd.jar
11762913
u
timeout (wallclock)
BSOG_
FoVeOOS_
11/
Velroyen08-alternatingIncr.jar
11762914
u
timeout (wallclock)
BSOG_
FoVeOOS_
11/
Velroyen08-mirrorIntervSim.jar
11762915
s
NO
5.39/2.40
BSOG_
FoVeOOS_
11/
LoopingNonterm.jar
11762916
s
NO
4.88/2.36
BSOG_
FoVeOOS_
11/
Velroyen08-factorial.jar
11762917
s
NO
6.65/2.84
BSOG_
FoVeOOS_
11/
Velroyen08-cousot.jar
11762918
s
NO
5.85/2.55
BSOG_
FoVeOOS_
11/
Velroyen08-ex07.jar
11762919
s
NO
6.28/2.59
BSOG_
FoVeOOS_
11/
Velroyen08-whileNestedOffset.jar
11762920
s
NO
6.20/2.68
BSOG_
FoVeOOS_
11/
Velroyen08-whileIncrPart.jar
11762921
s
NO
5.30/2.45
BSOG_
FoVeOOS_
11/
Velroyen08-moduloUp.jar
11762922
s
NO
5.20/2.28
BSOG_
FoVeOOS_
11/
Velroyen08-even.jar
11762923
s
NO
5.92/2.57
BSOG_
FoVeOOS_
11/
Velroyen08-upAndDown.jar
11762924
s
NO
6.60/2.73
BSOG_
FoVeOOS_
11/
Velroyen08-ex09half.jar
11762925
s
NO
5.24/2.37
BSOG_
FoVeOOS_
11/
Velroyen08-flip.jar
11762926
s
NO
5.74/2.49
BSOG_
FoVeOOS_
11/
Velroyen08-whileTrue.jar
11762927
s
NO
4.85/2.26
BSOG_
FoVeOOS_
11/
Velroyen08-whileIncr.jar
11762928
s
NO
5.08/2.29
BSOG_
FoVeOOS_
11/
Velroyen08-alternDiv.jar
11762929
s
NO
5.20/2.26
BSOG_
FoVeOOS_
11/
NonPeriodicNonterm2.jar
11762930
s
NO
6.32/2.55
BSOG_
FoVeOOS_
11/
Velroyen08-narrowKonv.jar
11762931
s
NO
7.04/2.81
BSOG_
FoVeOOS_
11/
Velroyen08-middle.jar
11762932
s
NO
7.70/3.07
BSOG_
FoVeOOS_
11/
Velroyen08-mirrorInterv.jar
11762933
s
NO
11.10/3.91
BSOG_
FoVeOOS_
11/
Velroyen08-whileBreak.jar
11762934
s
NO
6.13/2.56
BSOG_
FoVeOOS_
11/
Velroyen08-whilePart.jar
11762935
s
NO
4.52/2.10
BSOG_
FoVeOOS_
11/
Velroyen08-whileDecr.jar
11762936
s
YES
5.53/2.44
BSOG_
FoVeOOS_
11/
Velroyen08-ex04.jar
11762937
s
NO
4.90/2.12
BSOG_
FoVeOOS_
11/
Velroyen08-ex03.jar
11762938
s
NO
5.39/2.41
BSOG_
FoVeOOS_
11/
Velroyen08-twoFloatInterv.jar
11762939
s
NO
7.21/8.30
BSOG_
FoVeOOS_
11/
Velroyen08-whileSingle.jar
11762940
s
NO
4.46/2.18
BSOG_
FoVeOOS_
11/
Velroyen08-fib.jar
11762941
s
NO
8.38/11.10
BSOG_
FoVeOOS_
11/
Velroyen08-narrowing.jar
11762942
s
NO
31.89/9.71
BSOG_
FoVeOOS_
11/
Velroyen08-complInterv3.jar
11762943
s
NO
4.72/2.25
BSOG_
FoVeOOS_
11/
Velroyen08-alternDivWide.jar
11762944
s
NO
16.88/11.47
BSOG_
FoVeOOS_
11/
Velroyen08-complInterv.jar
11762945
s
NO
4.73/2.20
BSOG_
FoVeOOS_
11/
Velroyen08-complxStruc.jar
11762946
s
NO
10.72/11.77
BSOG_
FoVeOOS_
11/
Velroyen08-marbie2.jar
11762947
s
NO
7.76/9.40
BSOG_
FoVeOOS_
11/
Velroyen08-doubleNeg.jar
11762948
u
timeout (wallclock)
BSOG_
FoVeOOS_
11/
Velroyen08-lcm.jar
11762949
s
NO
9.01/3.35
BSOG_
FoVeOOS_
11/
Velroyen08-complInterv2.jar
11762950
s
NO
4.53/2.17
BSOG_
FoVeOOS_
11/
Velroyen08-sunset.jar
11762951
s
NO
6.52/2.68
BSOG_
FoVeOOS_
11/
Velroyen08-ex02.jar
11762952
s
NO
4.57/2.18
BSOG_
FoVeOOS_
11/
Velroyen08-trueDiv.jar
11762953
s
NO
4.83/2.38
BSOG_
FoVeOOS_
11/
Velroyen08-ex05.jar
11762954
s
NO
3.83/1.95
BMOG_
CAV_
12/
AProVE12-cyclic-Length.jar
11762816
s
YES
7.81/3.14
BMOG_
CAV_
12/
ListReversePanhandleList.jar
11762817
s
YES
10.21/3.68
BMOG_
CAV_
12/
AProVE12-cyclic-Visit.jar
11762818
s
YES
7.57/2.90
BMOG_
CAV_
12/
AProVE12-cyclic-Iterate.jar
11762819
s
YES
7.53/2.95
BMOG_
CAV_
12/
ListReverseCyclicList.jar
11762820
s
YES
10.69/5.13
BMOG_
CAV_
12/
ListReverseAcyclicList.jar
11762821
s
YES
6.67/2.99
Aprove_
09/
Count.jar
11762822
s
YES
16.32/6.27
Aprove_
09/
GCD3.jar
11762823
s
YES
6.97/2.91
Aprove_
09/
ListContentArbitrary.jar
11762824
s
YES
7.76/3.00
Aprove_
09/
DivMinus.jar
11762825
s
YES
6.10/2.58
Aprove_
09/
GCD4.jar
11762826
s
YES
8.05/4.33
Aprove_
09/
Samefringe.jar
11762827
u
timeout (wallclock)
Aprove_
09/
LogBuiltIn.jar
11762828
s
YES
9.21/9.01
Aprove_
09/
Shuffle.jar
11762829
s
YES
11.52/10.08
Aprove_
09/
PastaC3.jar
11762830
s
YES
6.91/6.58
Aprove_
09/
GCD.jar
11762831
s
YES
8.86/3.38
Aprove_
09/
Collatz.jar
11762832
u
timeout (wallclock)
Aprove_
09/
ListDuplicate.jar
11762833
s
YES
7.82/3.00
Aprove_
09/
Round3.jar
11762834
s
YES
9.49/3.63
Aprove_
09/
PastaB2.jar
11762835
s
YES
6.03/2.50
Aprove_
09/
PastaB5.jar
11762836
s
YES
5.80/2.49
Aprove_
09/
SortCount.jar
11762837
u
MAYBE
25.43/9.20
Aprove_
09/
PastaA7.jar
11762838
s
YES
6.03/2.60
Aprove_
09/
LogIterative.jar
11762839
s
YES
6.81/2.77
Aprove_
09/
PlusSwap.jar
11762840
s
YES
6.40/2.68
Aprove_
09/
PastaB13.jar
11762841
s
YES
6.69/2.81
Aprove_
09/
PastaA9.jar
11762842
s
YES
6.21/2.53
Aprove_
09/
PastaB14.jar
11762843
s
YES
6.13/2.67
Aprove_
09/
MinusUserDefined.jar
11762844
u
MAYBE
25.87/12.60
Aprove_
09/
PastaC2.jar
11762845
s
YES
7.48/3.06
Aprove_
09/
PastaC5.jar
11762846
s
YES
11.83/5.21
Aprove_
09/
Log.jar
11762847
u
timeout (wallclock)
Aprove_
09/
FlattenTree.jar
11762848
s
YES
13.05/4.59
Aprove_
09/
GCD5.jar
11762849
s
YES
6.77/2.88
Aprove_
09/
GCD2.jar
11762850
s
YES
7.92/3.10
Aprove_
09/
PastaB15.jar
11762851
s
YES
6.71/2.90
Aprove_
09/
DivMinus2.jar
11762852
s
YES
7.46/3.00
Aprove_
09/
PastaB12.jar
11762853
s
YES
6.57/2.73
Aprove_
09/
PastaA8.jar
11762854
s
YES
6.36/2.71
Aprove_
09/
Duplicate.jar
11762855
s
YES
6.26/2.62
Aprove_
09/
PastaA6.jar
11762856
s
YES
5.90/2.59
Aprove_
09/
PastaA1.jar
11762857
s
YES
7.03/2.80
Aprove_
09/
AProVEMath.jar
11762858
s
YES
9.41/3.45
Aprove_
09/
PastaB4.jar
11762859
s
YES
4.54/2.09
Aprove_
09/
RunningPointers.jar
11762860
s
YES
7.45/2.99
Aprove_
09/
DivWithoutMinus.jar
11762861
s
YES
8.01/3.14
Aprove_
09/
PastaB3.jar
11762862
s
YES
5.84/2.59
Aprove_
09/
Take.jar
11762863
s
YES
6.97/2.86
Aprove_
09/
PastaB11.jar
11762864
s
YES
10.16/3.62
Aprove_
09/
PastaB16.jar
11762865
s
YES
7.09/2.96
Aprove_
09/
DuplicateNodes.jar
11762866
s
YES
13.18/4.50
Aprove_
09/
PastaB18.jar
11762867
s
YES
7.95/3.09
Aprove_
09/
Mod.jar
11762868
s
YES
7.72/3.12
Aprove_
09/
PastaA5.jar
11762869
s
YES
6.38/2.64
Aprove_
09/
Convert.jar
11762870
s
YES
10.95/3.96
Aprove_
09/
PastaB7.jar
11762871
s
YES
5.91/2.60
Aprove_
09/
ListContentTail.jar
11762872
s
YES
9.60/3.53
Aprove_
09/
PastaC11.jar
11762873
s
YES
7.20/2.95
Aprove_
09/
PastaC1.jar
11762874
s
YES
7.39/2.99
Aprove_
09/
LogMult.jar
11762875
s
YES
9.04/3.36
Aprove_
09/
PastaA10.jar
11762876
s
YES
10.30/4.10
Aprove_
09/
MirrorTree.jar
11762877
s
YES
11.86/4.06
Aprove_
09/
MinusMin.jar
11762878
s
YES
6.93/2.77
Aprove_
09/
PastaB8.jar
11762879
s
YES
7.58/2.89
Aprove_
09/
CountMetaList.jar
11762880
s
YES
10.18/3.70
Aprove_
09/
PastaB6.jar
11762881
s
YES
5.50/2.35
Aprove_
09/
LogAG.jar
11762882
u
timeout (wallclock)
Aprove_
09/
McCarthyIterative.jar
11762883
s
YES
7.34/2.89
Aprove_
09/
PastaB1.jar
11762884
s
YES
5.95/2.43
Aprove_
09/
PastaA4.jar
11762885
s
YES
5.96/2.55
Aprove_
09/
PastaB17.jar
11762886
s
YES
6.68/2.74
Aprove_
09/
Flatten.jar
11762887
s
YES
15.65/5.17
Aprove_
09/
LessLeaves.jar
11762888
s
YES
15.64/5.26
Aprove_
09/
Overflow.jar
11762889
s
YES
5.77/2.42
Aprove_
09/
PastaB10.jar
11762890
s
YES
7.46/3.08
Aprove_
09/
CountUpRound.jar
11762891
s
YES
7.80/3.09
Aprove_
09/
StupidArray.jar
11762892
s
YES
5.94/2.43
Aprove_
09/
PastaC7.jar
11762893
s
YES
5.97/2.58
Aprove_
09/
PastaC9.jar
11762894
s
YES
7.79/3.06
Aprove_
09/
PastaC10.jar
11762895
s
YES
7.43/3.03
Aprove_
09/
MinusBuiltIn.jar
11762896
s
YES
5.89/2.60
Aprove_
09/
ListContent.jar
11762897
s
YES
8.02/3.05
AProVE_
11_
iterative/
AlternatingGrowReduce2.jar
11762782
s
YES
8.23/3.14
AProVE_
11_
iterative/
ArrayPrimitives.jar
11762783
s
YES
4.60/2.19
AProVE_
11_
iterative/
RetVal.jar
11762784
s
YES
4.01/1.89
AProVE_
11_
iterative/
ClassAnalysis.jar
11762785
s
YES
5.11/2.11
AProVE_
11_
iterative/
SharingAnalysis.jar
11762786
s
YES
7.88/2.96
AProVE_
11_
iterative/
ArrayObjects.jar
11762787
s
YES
3.76/1.73
AProVE_
11_
iterative/
AlternatingGrowReduce.jar
11762788
s
YES
8.75/3.22
AProVE_
11_
iterative/
TreeLeftmostDepth.jar
11762789
s
YES
12.97/4.28
AProVE_
11_
iterative/
CyclicAnalysis.jar
11762790
s
YES
8.19/3.09
AProVE_
11_
iterative/
TreeLeftmostPath.jar
11762791
s
YES
13.28/4.41
Costa_
Julia_
09/
Exc4.jar
11762792
s
NO
5.07/2.31
Costa_
Julia_
09/
Diff.jar
11762793
s
YES
5.12/2.23
Costa_
Julia_
09/
Exc3.jar
11762794
s
YES
4.88/2.21
Costa_
Julia_
09/
Exc.jar
11762795
s
YES
4.25/2.12
Costa_
Julia_
09/
costa09-example_
1.jar
11762796
s
YES
6.91/2.90
Costa_
Julia_
09/
Continue1.jar
11762797
s
YES
4.31/2.07
Costa_
Julia_
09/
Exc2.jar
11762798
s
NO
5.02/2.30
Costa_
Julia_
09/
Exc5.jar
11762799
s
YES
4.80/2.28
Costa_
Julia_
09/
Loop1.jar
11762800
s
YES
7.89/3.30
Costa_
Julia_
09/
Continue.jar
11762801
s
NO
4.43/2.17
Costa_
Julia_
09/
Init.jar
11762802
s
NO
3.73/1.85
Costa_
Julia_
09/
Sequence.jar
11762803
s
YES
5.02/2.90
Costa_
Julia_
09/
costa09-example_
4.jar
11762804
s
YES
4.17/1.99
Costa_
Julia_
09/
CyclicalListDuplicate.jar
11762805
s
NO
5.70/2.41
Costa_
Julia_
09/
costa09-example_
3.jar
11762806
s
YES
4.64/2.18
Costa_
Julia_
09/
Break.jar
11762807
s
YES
3.90/2.03
Costa_
Julia_
09/
Sharing.jar
11762808
s
YES
3.95/1.89
Costa_
Julia_
09/
Exc1.jar
11762809
s
NO
5.61/2.53
Costa_
Julia_
09/
KnapsackDP.jar
11762810
s
YES
23.81/11.60
Costa_
Julia_
09/
BubbleSort.jar
11762811
s
YES
10.69/3.78
Costa_
Julia_
09/
Nested.jar
11762812
s
YES
5.47/2.39
Costa_
Julia_
09/
costa09-example_
2.jar
11762813
s
YES
6.73/2.70
Costa_
Julia_
09/
costa09-example_
5.jar
11762814
s
NO
4.78/2.23
Costa_
Julia_
09/
LinkedList.jar
11762815
s
YES
10.17/3.64
Java_
Util/
juLinkedListCreateOfferLast.jar
11762706
s
YES
16.38/5.52
Java_
Util/
juLinkedListCreate.jar
11762707
s
YES
10.67/3.99
Java_
Util/
juLinkedListCreateRemoveFirst.jar
11762708
s
YES
17.33/10.57
Java_
Util/
juLinkedListCreateIndexOf.jar
11762709
s
YES
36.32/16.04
Java_
Util/
juLinkedListCreateListIteratorLoop.jar
11762710
s
YES
24.76/11.41
Java_
Util/
juLinkedListCreateContainsAll.jar
11762711
u
timeout (wallclock)
Java_
Util/
juHashMapCreateContainsValue.jar
11762712
s
YES
31.09/14.42
Java_
Util/
juLinkedListCreateIsEmpty.jar
11762713
s
YES
14.29/5.34
Java_
Util/
juLinkedListCreateAddAllAt.jar
11762714
s
YES
61.66/19.41
Java_
Util/
juLinkedListCreatePollFirst.jar
11762715
s
YES
16.82/11.58
Java_
Util/
juLinkedListCreateRemoveElement.jar
11762716
s
YES
37.66/18.92
Java_
Util/
juHashMapCreateEquals.jar
11762717
u
MAYBE
9.02/4.67
Java_
Util/
juLinkedListCreateEquals.jar
11762718
s
YES
71.54/22.77
Java_
Util/
juLinkedListCreateLastIndexOf.jar
11762719
s
YES
34.28/10.71
Java_
Util/
juLinkedListCreateOffer.jar
11762720
s
YES
16.13/5.44
Java_
Util/
juLinkedListCreateGetFirst.jar
11762721
s
YES
15.28/11.22
Java_
Util/
juLinkedListCreateRemoveLast.jar
11762722
s
YES
18.19/13.18
Java_
Util/
juLinkedListCreatePeekLast.jar
11762723
s
YES
16.14/9.88
Java_
Util/
juLinkedListCreateRemoveAt.jar
11762724
s
YES
22.78/7.34
Java_
Util/
juLinkedListCreateSize.jar
11762725
s
YES
10.27/3.68
Java_
Util/
juLinkedListCreateElement.jar
11762726
s
YES
14.42/4.84
Java_
Util/
juLinkedListCreateContains.jar
11762727
s
YES
36.25/14.98
Java_
Util/
juLinkedListCreateSubList.jar
11762728
s
YES
15.57/12.34
Java_
Util/
juHashMapCreate.jar
11762729
s
YES
27.43/8.41
Java_
Util/
juLinkedListCreatePeek.jar
11762730
s
YES
14.20/4.74
Java_
Util/
juHashMapCreatePutAll.jar
11762731
u
MAYBE
8.36/3.18
Java_
Util/
juHashMapCreateRemove.jar
11762732
s
YES
29.79/9.13
Java_
Util/
juLinkedListCreateRemove.jar
11762733
s
YES
19.87/10.09
Java_
Util/
juHashMapCreateHashCode.jar
11762734
s
YES
52.73/17.53
Java_
Util/
juLinkedListCreateAddAt.jar
11762735
s
YES
23.11/7.43
Java_
Util/
juLinkedListCreatePeekFirst.jar
11762736
s
YES
13.89/4.72
Java_
Util/
juLinkedListCreateIteratorLoop.jar
11762737
s
YES
22.77/7.37
Java_
Util/
juLinkedListCreateRemoveAll.jar
11762738
u
timeout (wallclock)
Java_
Util/
juHashMapCreateGet.jar
11762739
s
YES
29.80/9.02
Java_
Util/
juLinkedListCreatePush.jar
11762740
s
YES
17.46/6.23
Java_
Util/
juLinkedListCreateAddLast.jar
11762741
s
YES
17.02/5.87
Java_
Util/
juLinkedListCreateToArray.jar
11762742
s
YES
13.48/4.60
Java_
Util/
juLinkedListCreateAddAll.jar
11762743
u
timeout (wallclock)
Java_
Util/
juLinkedListCreateRemoveLastOccurrence.jar
11762744
s
YES
35.47/10.72
Java_
Util/
juLinkedListCreateRemoveFirstOccurrence.jar
11762745
s
YES
33.97/10.94
Java_
Util/
juHashMapCreateClear.jar
11762746
s
YES
26.12/8.26
Java_
Util/
juLinkedListCreateOfferFirst.jar
11762747
s
YES
17.04/5.71
Java_
Util/
juHashMapCreateIteratorValueLoop.jar
11762748
s
YES
31.60/9.57
Java_
Util/
juLinkedListCreateRemoveRange.jar
11762749
s
YES
44.43/14.39
Java_
Util/
juLinkedListCreatePop.jar
11762750
s
YES
17.46/6.68
Java_
Util/
juHashMapCreateIteratorKeyLoop.jar
11762751
s
YES
32.80/10.04
Java_
Util/
juHashMapCreatePut.jar
11762752
s
YES
27.21/8.48
Java_
Util/
juLinkedListCreatePollLast.jar
11762753
s
YES
18.16/6.02
Java_
Util/
juLinkedListCreateAddFirst.jar
11762754
s
YES
17.31/6.21
Java_
Util/
juLinkedListCreateHashCode.jar
11762755
s
YES
24.04/7.67
Java_
Util/
juLinkedListCreateAdd.jar
11762756
s
YES
17.08/6.04
Java_
Util/
juLinkedListCreateGet.jar
11762757
s
YES
13.05/5.01
Java_
Util/
juHashMapCreateContainsKey.jar
11762758
s
YES
29.31/8.89
Java_
Util/
juLinkedListCreateGetLast.jar
11762759
s
YES
13.72/4.59
Java_
Util/
juLinkedListCreateSet.jar
11762760
s
YES
16.62/5.71
Java_
Util/
juLinkedListCreateRetainAll.jar
11762761
u
timeout (wallclock)
Java_
Util/
juHashMapCreateSize.jar
11762762
s
YES
27.17/16.01
Java_
Util/
juHashMapCreateIteratorEntryLoop.jar
11762763
s
YES
29.66/9.11
Java_
Util/
juHashMapCreateIsEmpty.jar
11762764
s
YES
26.15/8.23
Java_
Util/
juLinkedListCreatePoll.jar
11762765
s
YES
15.88/5.43
Java_
Util/
juLinkedListCreateClear.jar
11762766
s
YES
15.20/5.01
Java_
Util/
juLinkedListCreateDescendingIteratorLoop.jar
11762767
s
YES
26.22/10.40
AProVE_
10_
iterative/
CyclicPair2.jar
11762768
s
YES
4.06/1.94
AProVE_
10_
iterative/
AG313.jar
11762769
s
YES
6.10/2.56
AProVE_
10_
iterative/
IntPath.jar
11762770
s
YES
4.52/2.12
AProVE_
10_
iterative/
IntRTA.jar
11762771
s
YES
6.58/2.75
AProVE_
10_
iterative/
SharingPair.jar
11762772
s
YES
4.05/1.94
AProVE_
10_
iterative/
ArrayClasses.jar
11762773
s
YES
4.42/2.10
AProVE_
10_
iterative/
FlattenRTA.jar
11762774
s
YES
15.35/11.29
AProVE_
10_
iterative/
TypeSwitch.jar
11762775
s
YES
3.99/1.89
AProVE_
10_
iterative/
CyclicPair.jar
11762776
s
YES
4.04/1.93
AProVE_
10_
iterative/
CyclicList.jar
11762777
s
YES
6.86/2.74
AProVE_
10_
iterative/
IntPath2.jar
11762778
s
YES
4.04/1.94
AProVE_
10_
iterative/
NullPair.jar
11762779
s
YES
3.81/1.86
AProVE_
10_
iterative/
NestedLoop.jar
11762780
s
YES
9.27/3.50
AProVE_
10_
iterative/
DuplicateTreePath.jar
11762781
s
YES
15.74/8.65
Julia_
11_
iterative/
NO_
00.jar
11762676
s
NO
7.90/7.29
Julia_
11_
iterative/
NO_
23.jar
11762677
s
NO
6.75/2.69
Julia_
11_
iterative/
NO_
24.jar
11762678
s
NO
7.63/6.69
Julia_
11_
iterative/
NO_
11.jar
11762679
s
NO
8.33/3.33
Julia_
11_
iterative/
Choose.jar
11762680
s
NO
4.81/2.26
Julia_
11_
iterative/
NO_
01.jar
11762681
s
NO
5.26/2.43
Julia_
11_
iterative/
NO_
06.jar
11762682
s
NO
4.42/2.13
Julia_
11_
iterative/
Distances.jar
11762683
s
YES
212.22/175.93
Julia_
11_
iterative/
Swingers.jar
11762684
s
NO
4.80/2.17
Julia_
11_
iterative/
ChooseLife.jar
11762685
s
NO
7.58/2.96
Julia_
11_
iterative/
NO_
10.jar
11762686
s
NO
4.88/2.24
Julia_
11_
iterative/
NO_
22.jar
11762687
s
NO
8.74/3.23
Julia_
11_
iterative/
TaylorSeriesIte.jar
11762688
s
YES
15.49/5.19
Julia_
11_
iterative/
NO_
13.jar
11762689
s
NO
8.49/3.15
Julia_
11_
iterative/
NO_
21.jar
11762690
s
NO
4.28/2.08
Julia_
11_
iterative/
NO_
05.jar
11762691
s
NO
15.51/5.05
Julia_
11_
iterative/
NO_
02.jar
11762692
s
NO
4.38/2.11
Julia_
11_
iterative/
NO_
20.jar
11762693
s
NO
3.90/2.00
Julia_
11_
iterative/
NO_
12.jar
11762694
s
NO
5.63/2.47
Julia_
11_
iterative/
Continue.jar
11762695
s
NO
4.41/2.26
Julia_
11_
iterative/
NO_
03.jar
11762696
s
NO
4.58/2.20
Julia_
11_
iterative/
Loop.jar
11762697
s
NO
4.60/2.21
Julia_
11_
iterative/
NO_
04.jar
11762698
s
NO
7.94/4.23
Fuhs_
13/
Kernel68.jar
11762699
s
YES
20.67/7.98
Fuhs_
13/
Kernel93.jar
11762700
u
MAYBE
12.49/4.38
Fuhs_
13/
MultiLasso.jar
11762701
u
MAYBE
17.60/6.30
Fuhs_
13/
RandomHard.jar
11762702
u
MAYBE
25.50/12.05
Fuhs_
13/
Kernel95.jar
11762703
s
YES
13.17/4.63
Fuhs_
13/
UnionFindIterative.jar
11762704
u
timeout (wallclock)
Fuhs_
13/
Kernel88.jar
11762705
s
YES
11.57/9.93
Julia_
12_
iterative/
Et2.jar
11762655
s
YES
8.76/3.39
Julia_
12_
iterative/
Et5.jar
11762656
s
YES
12.70/6.57
Julia_
12_
iterative/
Et4.jar
11762657
s
YES
18.34/7.47
Julia_
12_
iterative/
Et3.jar
11762658
s
YES
17.38/5.76
Julia_
12_
iterative/
Et6.jar
11762659
s
YES
10.31/3.71
Julia_
12_
iterative/
Et1.jar
11762660
s
YES
9.57/3.53
Julia_
10_
Iterative/
Test3.jar
11762661
s
YES
15.86/5.39
Julia_
10_
Iterative/
Iterations.jar
11762662
s
YES
14.09/5.68
Julia_
10_
Iterative/
Test13Loops.jar
11762663
s
NO
6.20/2.61
Julia_
10_
Iterative/
Infix2Postfix.jar
11762664
s
YES
19.80/6.76
Julia_
10_
Iterative/
Test5.jar
11762665
s
YES
17.19/11.74
Julia_
10_
Iterative/
Test11.jar
11762666
s
YES
11.86/4.34
Julia_
10_
Iterative/
Test2.jar
11762667
s
YES
17.66/5.67
Julia_
10_
Iterative/
NonPeriodic.jar
11762668
s
YES
4.33/2.11
Julia_
10_
Iterative/
TriTas.jar
11762669
s
YES
9.25/3.42
Julia_
10_
Iterative/
Graph.jar
11762670
u
timeout (wallclock)
Julia_
10_
Iterative/
Gauss.jar
11762671
u
MAYBE
9.82/3.60
Julia_
10_
Iterative/
RSA.jar
11762672
s
YES
27.61/8.47
Julia_
10_
Iterative/
Test7.jar
11762673
s
YES
10.70/3.85
Julia_
10_
Iterative/
Carre.jar
11762674
s
YES
11.58/3.98
Julia_
10_
Iterative/
Test9.jar
11762675
s
YES
7.61/2.99
277