RunAllProofsFunctional

all > de.uka.ilkd.key.proof.runallproofs > RunAllProofsFunctional
47

tests
0

failures
0

ignored
1h32m56.71s

duration
100%

successful

Tests

Test Method name Duration Result
project.key data()[10] 35.451s passed
project.key#1 data()[11] 15.456s passed
lcp.key data()[12] 16.703s passed
project.key#2 data()[13] 21.215s passed
ArrayList_contains.key data()[14] 13.633s passed
ArrayList_get.key data()[15] 16.447s passed
ArrayList_size.key data()[16] 13.224s passed
UpdateAbstraction_ex7_3_secure.key data()[17] 14.691s passed
UpdateAbstraction_ex7_4_secure.key data()[18] 14.594s passed
UpdateAbstraction_ex7_5_secure.key data()[19] 14.356s passed
newBook data()[1] 1m5.59s passed
UpdateAbstraction_ex7_6_secure.key data()[20] 15.311s passed
UpdateAbstraction_ex9_secure.key data()[21] 16.830s passed
list data()[22] 4m38.30s passed
list_ghost data()[23] 1m10.33s passed
list_recursive data()[24] 23.262s passed
list_seq data()[25] 2m33.33s passed
observer data()[26] 1m39.73s passed
removeDups data()[27] 40.772s passed
Saddleback_search.key data()[28] 1m36.47s passed
quicksort data()[29] 1m50.43s passed
oldBook data()[2] 18.783s passed
simpleTests data()[30] 2m48.67s passed
SmansEtAl data()[31] 3m21.17s passed
VACID0 data()[32] 1m23.26s passed
VSTTE10 data()[33] 3m10.87s passed
WeideEtAl data()[34] 30.116s passed
arithmetic data()[35] 8m9.97s passed
arrays data()[36] 1m2.55s passed
javadl data()[37] 10m47.57s passed
FOL data()[38] 4m50.27s passed
strings data()[39] 2m29.96s passed
comprehensions data()[3] 1m11.69s passed
simple_info_flow data()[40] 13.921s passed
modelMethods data()[41] 3m4.18s passed
permissionHeap data()[42] 14m26.83s passed
completionScopes data()[43] 53.472s passed
reload_examples data()[44] 45.727s passed
proofLoadRepair data()[45] 19.726s passed
switch data()[46] 1m5.23s passed
redux data()[47] 2m10.32s passed
performance data()[4] 3m53.39s passed
performancePOConstruction data()[5] 1m22.55s passed
applicationRestrictions data()[6] 52.597s passed
blockContracts data()[7] 2m25.57s passed
jmlAsserts data()[8] 1m36.77s passed
javaCard data()[9] 35.412s passed

Standard output

455        INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test newBook 
340        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
366        WARN  main            d.u.i.k.s.ProofSettings   No proof-settings could be loaded, using defaults java.io.FileNotFoundException: /home/runner/.key/proof-settings.props (No such file or directory)
	at java.base/java.io.FileInputStream.open0(Native Method)

401        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././newBook/09.list_modelfield/ArrayList.add.key 
27338      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
32681      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././newBook/09.list_modelfield/ArrayList.remFirst.key 
40698      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
44652      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././newBook/09.list_modelfield/ArrayList.empty.key 
48592      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
51631      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././newBook/09.list_modelfield/ArrayList.size.key 
54838      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
57926      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././newBook/09.list_modelfield/ArrayList.get.key 
61999      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
66037      INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test newBook 
66042      INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test oldBook 
373        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
384        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
406        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/BookExamples/02FirstOrderLogic/Ex2.58.key 
8808       INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
12111      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/BookExamples/03DynamicLogic/Sect3.3.1.key 
15503      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
84824      INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test oldBook 
84827      INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test comprehensions 
385        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
388        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
403        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/comprehensions/general_sum.key 
9493       INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
12984      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/comprehensions/sum0.key 
16850      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
20121      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/comprehensions/sum1.key 
23652      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
26828      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/comprehensions/sum2.key 
30129      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
33240      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/comprehensions/sum3.key 
36671      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
39893      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/comprehensions/segsum.key 
43213      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
46323      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/comprehensions/bsum_negative.key 
49056      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
51921      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/comprehensions/bsum_neg2.key 
54630      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
57511      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/comprehensions/bsumSplit.key 
60298      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
63211      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/comprehensions/bprodSplit.key 
65939      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
68701      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/comprehensions/bsumSplitInvalid.key 
71338      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: open goal(s) 
156518     INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test comprehensions 
156520     INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test performance 
403        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
428        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
449        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././performance-test/Disjoint(Disjoint__disjoint_08()).JML_operation_contract.0.key 
20504      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
32321      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././performance-test/Disjoint(Disjoint__disjoint2_08()).JML_operation_contract.0.key 
43821      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
54193      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././performance-test/AccessChain1(AccessChain1__foo_08()).JML_operation_contract.0.key 
67080      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
78085      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././performance-test/AccessChain4(AccessChain4__foo_08()).JML_operation_contract.0.key 
95699      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
107852     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././performance-test/Disjoint(Disjoint__xZero_08()).JML_operation_contract.0.key 
119683     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
130509     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././performance-test/Dynamic(Dynamic__foo_08()).JML_operation_contract.0.key 
147093     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
158543     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././performance-test/DynamicGhost(DynamicGhost__dynamicGhost_08()).JML_normal_behavior_operation_contract.0.key 
173809     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
185102     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././performance-test/GhostFrame(GhostFrame__foo_08()).JML_operation_contract.0.key 
197427     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
207994     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././performance-test/Modelfield(Modelfield__foo_08()).JML_operation_contract.0.key 
221989     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
389908     INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test performance 
389913     INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test performancePOConstruction 
408        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
414        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
437        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././performance-test/Test(Test__a0(int)).JML_normal_behavior_operation_contract.0.key 
20024      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
32507      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././performance-test/Test(Test__a1(int)).JML_normal_behavior_operation_contract.0.key 
44807      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
57110      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././performance-test/Test(Test__f1(int)).JML_normal_behavior_operation_contract.0.key 
69707      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
472459     INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test performancePOConstruction 
472461     INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test applicationRestrictions 
395        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
403        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
428        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/polarity_tests/wellformed1.key 
9247       INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
12421      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/polarity_tests/wellformed2.key 
15378      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: open goal(s) 
15528      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/polarity_tests/wellformed3.key 
18394      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
21173      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/polarity_tests/wellformed4.key 
23684      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: open goal(s) 
23809      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/polarity_tests/wellformed5.key 
26490      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
29336      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/polarity_tests/wellformed6.key 
32102      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: open goal(s) 
32267      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/polarity_tests/wellformed7.key 
35026      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
37900      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/polarity_tests/wellformed8.key 
40709      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: open goal(s) 
40859      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/polarity_tests/wellformed9.key 
43624      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
46441      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/polarity_tests/wellformed10.key 
49078      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: open goal(s) 
49249      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/polarity_tests/wellformed11.key 
52246      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: open goal(s) 
525057     INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test applicationRestrictions 
525058     INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test blockContracts 
403        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
416        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
431        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/block_contracts/Simple__add.key 
10802      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
14820      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/block_contracts/Simple__addAbsoluteValues.key 
19558      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
23337      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/block_contracts/Simple__addWithJump.key 
26810      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
30343      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/block_contracts/Simple__addWithTwoBlockContracts.key 
33637      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
37120      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/block_contracts/Simple__generateByteArray.key 
42371      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
46199      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/block_contracts/Simple__getLength.key 
49539      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
53008      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/block_contracts/Simple__square.key 
56670      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
60161      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/block_contracts/Simple__unnecessaryBlockContract.key 
63489      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
66919      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/block_contracts/Simple__unnecessaryLoopInvariant.key 
70238      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
73659      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/jml-assert/assert.key 
76643      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
79752      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/jml-assert/assert_assume_order.key 
82738      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
85733      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/block_loop_contracts/SimpleVariants/sum_onBlock_external.key 
89011      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
92284      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/block_loop_contracts/SimpleVariants/sum_onBlock_internal.key 
96041      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
99440      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/block_loop_contracts/SimpleVariants/sum_onBlock_loop.key 
103098     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
106432     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/block_loop_contracts/SimpleVariants/sum_onLoop_external.key 
109331     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
112524     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/block_loop_contracts/SimpleVariants/sum_onLoop_internal.key 
115976     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
119505     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/block_loop_contracts/SimpleVariants/sum_onLoop_loop.key 
123338     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
126845     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/block_loop_contracts/Free/blockContracts0.key 
129576     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
132473     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/block_loop_contracts/Free/blockContracts1.key 
135221     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
138072     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/block_loop_contracts/Finally/block_finally.key 
141453     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: open goal(s) 
141748     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/block_loop_contracts/Finally/loop_finally.key 
145080     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: open goal(s) 
670625     INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test blockContracts 
670632     INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test jmlAsserts 
386        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
399        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
415        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/jml-assert/assert.key 
10138      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
13619      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/block_loop_contracts/Free/assertions0.key 
16875      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
19919      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/block_loop_contracts/Free/assertions1.key 
22843      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
25836      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/jml-assert/recursion-assert.key 
29128      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
32199      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/jml-assert/recursion-assume.key 
35331      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
38348      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/jml-assert/quantor-assert.key 
41212      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
44252      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/jml-assert/quantor-assume.key 
47303      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
50398      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/jml-assert/model-methods-static-static.key 
53469      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
56597      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/jml-assert/model-methods-instance-static.key 
59619      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
62583      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/jml-assert/model-methods-instance-instance.key 
65340      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
68130      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/jml-assert/model-methods-static-instance.key 
70904      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
73705      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/jml-assert/assert-old/inc-field.key 
76535      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
79460      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/jml-assert/assert-old/inc-parameter.key 
82276      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
85176      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/jml-assert/assert-old/inc-parameter-field.key 
88085      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
90992      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/jml-assert/assert-old/inc-ghost-field.key 
93747      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
767402     INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test jmlAsserts 
767403     INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test javaCard 
391        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
393        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
428        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/javacard/updateBalance0.key 
8981       INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
11365      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/javacard/updateBalance1.key 
13874      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
16055      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/javacard/setArray1.key 
18996      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
21181      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/javacard/setArray2.key 
24122      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
26296      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/javacard/arrayFillNonAtomic.key 
32142      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
802814     INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test javaCard 
802815     INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test project.key 
352        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
352        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
385        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/coincidence_count/project.key 
30344      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
838265     INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test project.key 
838266     INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test project.key#1 
411        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
419        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
433        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/verifyThis11_1_Maximum/project.key 
11604      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
853720     INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test project.key#1 
853725     INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test lcp.key 
441        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
470        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
494        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/fm12_01_LRS/lcp.key 
12030      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
870426     INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test lcp.key 
870427     INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test project.key#2 
370        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
393        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
420        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/SemanticSlicing/project.key 
16426      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
891641     INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test project.key#2 
891643     INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test ArrayList_contains.key 
356        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
362        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
376        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/information_flow/ArrayList_contains.key 
9668       INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
905274     INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test ArrayList_contains.key 
905275     INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test ArrayList_get.key 
394        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
404        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
419        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/information_flow/ArrayList_get.key 
12293      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
921720     INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test ArrayList_get.key 
921722     INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test ArrayList_size.key 
372        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
388        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
408        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/information_flow/ArrayList_size.key 
9387       INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
934945     INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test ArrayList_size.key 
934947     INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test UpdateAbstraction_ex7_3_secure.key 
419        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
438        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
457        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/information_flow/UpdateAbstraction_ex7_3_secure.key 
10552      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
949636     INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test UpdateAbstraction_ex7_3_secure.key 
949638     INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test UpdateAbstraction_ex7_4_secure.key 
408        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
435        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
463        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/information_flow/UpdateAbstraction_ex7_4_secure.key 
10712      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
964231     INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test UpdateAbstraction_ex7_4_secure.key 
964232     INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test UpdateAbstraction_ex7_5_secure.key 
403        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
407        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
433        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/information_flow/UpdateAbstraction_ex7_5_secure.key 
10432      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
978586     INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test UpdateAbstraction_ex7_5_secure.key 
978587     INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test UpdateAbstraction_ex7_6_secure.key 
366        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
413        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
443        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/information_flow/UpdateAbstraction_ex7_6_secure.key 
11230      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
993898     INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test UpdateAbstraction_ex7_6_secure.key 
993899     INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test UpdateAbstraction_ex9_secure.key 
410        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
429        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
445        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/information_flow/UpdateAbstraction_ex9_secure.key 
12597      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
1010728    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test UpdateAbstraction_ex9_secure.key 
1010730    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test list 
364        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
375        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
390        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list/ArrayList_add.key 
16562      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
21803      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list/ArrayList_ArrayList.key 
27155      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
30964      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list/ArrayList_concatenate.key 
60168      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
66401      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list/ArrayList_contains_dep.key 
72914      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
76976      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list/ArrayList_enlarge.key 
82541      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
86448      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list/ArrayList_footprint.key 
89769      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
93297      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list/ArrayList_get_dep.key 
97145      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
100771     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list/ArrayList_get_exceptional.key 
105406     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
109247     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list/ArrayList_get_normal.key 
112937     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
116683     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list/ArrayList_inv.key 
120609     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
124295     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list/ArrayList_iterator.key 
128306     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
132005     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list/ArrayList_size_dep.key 
135528     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
138892     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list/ArrayList_size.key 
142230     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
145734     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list/ArrayList.ArrayListIterator_ArrayListIterator.key 
149523     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
153043     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list/ArrayList.ArrayListIterator_hasNext_dep.key 
156713     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
160277     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list/ArrayList.ArrayListIterator_hasNext.key 
163902     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
167496     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list/ArrayList.ArrayListIterator_inv.key 
171587     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
175284     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list/ArrayList.ArrayListIterator_list.key 
178629     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
182142     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list/ArrayList.ArrayListIterator_next_exceptional.key 
186293     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
190034     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list/ArrayList.ArrayListIterator_next_normal.key 
194106     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
197621     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list/ArrayList.ArrayListIterator_pos.key 
200733     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
204082     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list/Client_m.key 
207664     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
211384     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list/Client_n.key 
214857     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
218533     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list/LinkedList_get_exceptional.key 
223848     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
227711     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list/LinkedList_get_normal.key 
236537     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
240474     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list/LinkedList_LinkedList.key 
244274     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
248030     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list/LinkedList_size_dep.key 
251804     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
255608     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list/LinkedList_size.key 
259184     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
262598     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list/MySet_footprint.key 
265756     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
269038     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list/MySet_MySet.key 
274458     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
1289027    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test list 
1289028    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test list_ghost 
324        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
333        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
358        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list_ghost/ArrayList_add.key 
13044      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
16921      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list_ghost/ArrayList_ArrayList.key 
20979      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
24224      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list_ghost/ArrayList_enlarge.key 
29423      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
33024      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list_ghost/ArrayList_get_dep.key 
36256      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
39248      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list_ghost/ArrayList_get_exceptional.key 
42793      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
46013      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list_ghost/ArrayList_get_normal.key 
48952      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
52042      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list_ghost/ArrayList_inv.key 
55035      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
58207      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list_ghost/ArrayList_size_dep.key 
61182      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
64111      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list_ghost/ArrayList_size.key 
67056      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
1359359    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test list_ghost 
1359360    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test list_recursive 
382        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
394        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
424        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list_recursiveSpec/ListOperationsNonNull_getNextNN_normal_behavior.key 
10250      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
14093      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list_recursiveSpec/ListOperationsNonNull_setValueAt_normal_behavior.key 
17241      INFO  main            d.u.i.k.m.s.ProofScriptEngine 1: 'macro autopilot' 
19739      INFO  main            d.u.i.k.m.s.ProofScriptEngine 2: 'macro simp-upd' 
19744      INFO  main            d.u.i.k.m.s.ProofScriptEngine 3: 'rule observerDependencyEQ' 
19762      INFO  main            d.u.i.k.m.s.ProofScriptEngine 4: 'tryclose' 
19788      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
1382622    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test list_recursive 
1382623    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test list_seq 
389        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
398        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
425        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list_seq/SimplifiedLinkedList.remove.key 
68737      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
76318      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list_seq/ArrayList.ArrayList.key 
80555      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
84368      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list_seq/ArrayList.add.key 
90842      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
94525      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list_seq/ArrayList.contains.key 
99088      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
102569     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list_seq/ArrayList.enlarge.key 
107667     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
111485     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list_seq/ArrayList.get.key 
115138     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
118551     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list_seq/ArrayList.newArray.key 
122253     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
125711     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list_seq/ArrayList.remove.0.key 
130592     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
134380     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/list_seq/ArrayList.remove.1.key 
148458     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
1535951    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test list_seq 
1535952    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test observer 
368        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
386        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
403        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/observer/ExampleObserver_ExampleObserver.key 
9462       INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
12691      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/observer/ExampleObserver_inv.key 
15659      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
18769      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/observer/ExampleObserver_subject.key 
21733      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
24683      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/observer/ExampleObserver_update.key 
27924      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
31133      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/observer/ExampleObserver_upToDate.key 
34096      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
37176      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/observer/ExampleObserver_value.key 
39884      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
43023      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/observer/ExampleSubject_addObserver.key 
51924      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
55901      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/observer/ExampleSubject_change.key 
59336      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
62470      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/observer/ExampleSubject_ExampleSubject.key 
66293      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
69565      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/observer/ExampleSubject_footprint.key 
72613      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
75659      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/observer/ExampleSubject_inv.key 
79573      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
82623      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/observer/ExampleSubject_notifyObservers.key 
85505      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
88534      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/observer/ExampleSubject_value_dep.key 
91340      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
94119      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/observer/ExampleSubject_value.key 
96748      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
1635683    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test observer 
1635683    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test removeDups 
354        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
367        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
386        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/removeDups/arrayPart.key 
10777      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
14201      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/removeDups/contains.key 
17528      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
20548      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/removeDups/removeDup.key 
35501      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
1676455    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test removeDups 
1676456    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test Saddleback_search.key 
380        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
394        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
414        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/saddleback_search/Saddleback_search.key 
89228      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
1772926    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test Saddleback_search.key 
1772927    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test quicksort 
342        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
349        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
362        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/quicksort/toplevel.key 
10215      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
13867      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/quicksort/sort.key 
17056      INFO  main            d.u.i.k.m.s.ProofScriptEngine 1: 'script 'sort.script'' 
17063      INFO  main            d.u.i.k.m.s.ProofScriptCommand Included script /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/quicksort/sort.script 
17064      INFO  main            d.u.i.k.m.s.ProofScriptEngine 1: 'macro autopilot-prep' 
18275      INFO  main            d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="{heapAtPre:=heap || exc:=null || heap:=heapAfter_sort_0}
   seq ...' 
18283      INFO  main            d.u.i.k.m.s.ProofScriptEngine 3: 'macro simp-upd' 
18294      INFO  main            d.u.i.k.m.s.ProofScriptEngine 4: 'let   @seqPre="seqDef{int u;}(0, array.length, array[u])"
    @seqSplit="seqDef ...' 
18297      INFO  main            d.u.i.k.m.s.ProofScriptEngine 5: 'rule seqPermSym 
  formula="seqPerm(@seqSplit, @seqPre)"' 
18316      INFO  main            d.u.i.k.m.s.ProofScriptEngine 6: 'rule seqPermSym
  formula="seqPerm(@seqSort, @seqSplit)"' 
18318      INFO  main            d.u.i.k.m.s.ProofScriptEngine 7: 'rule seqPermSym
  formula="seqPerm(@seqSort0, @seqSort)"' 
18320      INFO  main            d.u.i.k.m.s.ProofScriptEngine 8: 'rule seqPermTrans
  formula="seqPerm(@seqPre, @seqSplit)"' 
18321      INFO  main            d.u.i.k.m.s.ProofScriptEngine 9: 'rule seqPermTrans
  formula="seqPerm(@seqPre, @seqSort)"' 
18322      INFO  main            d.u.i.k.m.s.ProofScriptEngine 10: 'rule seqPermSym
  formula="seqPerm(@seqPre, @seqSort0)"' 
18324      INFO  main            d.u.i.k.m.s.ProofScriptEngine 11: 'tryclose' 
45573      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
51411      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/quicksort/split.key 
54530      INFO  main            d.u.i.k.m.s.ProofScriptEngine 1: 'macro autopilot-prep' 
55766      INFO  main            d.u.i.k.m.s.ProofScriptEngine 2: 'tryclose' 
92241      INFO  main            d.u.i.k.m.s.ProofScriptEngine 3: 'macro simp-upd' 
92400      INFO  main            d.u.i.k.m.s.ProofScriptEngine 4: 'rule seqPermFromSwap' 
92417      INFO  main            d.u.i.k.m.s.ProofScriptEngine 5: 'rule andRight' 
92419      INFO  main            d.u.i.k.m.s.ProofScriptEngine 6: 'auto' 
92444      INFO  main            d.u.i.k.m.s.ProofScriptEngine 7: 'instantiate hide var=iv with=i_0' 
92448      INFO  main            d.u.i.k.m.s.ProofScriptEngine 8: 'instantiate hide var=jv with=j_0' 
92450      INFO  main            d.u.i.k.m.s.ProofScriptEngine 9: 'auto' 
98414      INFO  main            d.u.i.k.m.s.ProofScriptEngine 10: 'macro simp-upd' 
98539      INFO  main            d.u.i.k.m.s.ProofScriptEngine 11: 'rule seqPermFromSwap' 
98543      INFO  main            d.u.i.k.m.s.ProofScriptEngine 12: 'rule andRight' 
98544      INFO  main            d.u.i.k.m.s.ProofScriptEngine 13: 'auto' 
98558      INFO  main            d.u.i.k.m.s.ProofScriptEngine 14: 'instantiate hide var=iv with=i_0' 
98561      INFO  main            d.u.i.k.m.s.ProofScriptEngine 15: 'instantiate hide var=jv with=to' 
98562      INFO  main            d.u.i.k.m.s.ProofScriptEngine 16: 'auto' 
103086     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
1883358    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test quicksort 
1883359    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test simpleTests 
351        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
359        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
396        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/simple/anonymise_datagroup.key 
8400       INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
11426      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/simple/array_creation.key 
15046      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
18026      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/simple/arrays_with_disjoint_sorts.key 
20762      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
23521      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/simple/arrays.key 
26274      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
29248      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/simple/attributes.key 
32045      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
34878      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/simple/constructor_contracts.key 
38921      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
42613      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/simple/dependencies.key 
45654      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
48631      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/simple/dependency_contracts.key 
53391      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
56893      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/simple/invariant_preservation.key 
60020      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
63081      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/simple/locsets.key 
65687      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
68293      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/simple/loop1.key 
71196      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
74410      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/simple/loop2.key 
78306      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
81618      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/simple/modifies_datagroup.key 
84266      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
86944      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/simple/modifies.key 
89586      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
92180      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/simple/object_creation.key 
94854      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
97576      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/simple/operation_contracts.key 
101218     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
104326     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/simple/select_store.key 
107058     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
109702     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/simple/selection_sort.key 
116425     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
119984     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/simple/seq.key 
122803     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
125527     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/simple/oldForParams.key 
128487     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
131618     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/simple/parse_lmtd.key 
134681     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
137679     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/strictly_pure/strictlyPureMethod.key 
140509     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
143339     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/strictly_pure/useStrictlyPureMethod.key 
146108     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
148969     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/Wellfounded/ackermann.key 
151856     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
154794     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/unicode_test.key 
157353     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
160064     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/strictlyModular/mayExpand.key 
162850     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
165639     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/strictlyModular/modularOnly.key 
168223     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: open goal(s) 
2052031    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test simpleTests 
2052032    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test SmansEtAl 
416        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
425        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
447        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/SmansEtAl/ArrayList_add.key 
15892      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
20454      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/SmansEtAl/ArrayList_ArrayList.key 
24526      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
28012      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/SmansEtAl/ArrayList_footprint.key 
31072      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
34202      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/SmansEtAl/ArrayList_get_dep.key 
37495      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
40799      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/SmansEtAl/ArrayList_get.key 
43798      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
46774      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/SmansEtAl/ArrayList_inv.key 
49562      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
52589      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/SmansEtAl/ArrayList_size_dep.key 
55377      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
58467      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/SmansEtAl/ArrayList_size.key 
61294      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
64245      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/SmansEtAl/Cell_Cell.key 
67212      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
70560      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/SmansEtAl/Cell_footprint.key 
73542      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
76570      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/SmansEtAl/Cell_getX_dep.key 
79530      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
82752      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/SmansEtAl/Cell_getX.key 
85724      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
88814      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/SmansEtAl/Cell_inv.key 
91841      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
94858      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/SmansEtAl/Cell_setX.key 
97694      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
100720     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/SmansEtAl/CellClient_m.key 
103802     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
106732     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/SmansEtAl/Iterator_footprint.key 
109456     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
112416     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/SmansEtAl/Iterator_hasNext_dep.key 
115676     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
118690     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/SmansEtAl/Iterator_hasNext.key 
121797     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
124689     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/SmansEtAl/Iterator_inv.key 
127509     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
130362     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/SmansEtAl/Iterator_Iterator.key 
134123     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
137151     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/SmansEtAl/Iterator_list_dep.key 
139796     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
142679     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/SmansEtAl/Iterator_list.key 
145401     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
148371     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/SmansEtAl/Iterator_next.key 
153569     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
156987     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/SmansEtAl/Stack_footprint.key 
159962     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
163102     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/SmansEtAl/Stack_inv.key 
166075     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
169245     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/SmansEtAl/Stack_push.key 
172895     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
176150     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/SmansEtAl/Stack_size.key 
179140     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
182287     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/SmansEtAl/Stack_Stack.key 
186162     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
189535     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/SmansEtAl/Stack_switchContents.key 
197048     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
2253199    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test SmansEtAl 
2253200    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test VACID0 
395        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
406        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
421        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/vacid0_01_SparseArray/Harness_sparseArrayTestHarness1.key 
10341      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
14109      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/vacid0_01_SparseArray/Harness_sparseArrayTestHarness2.key 
27113      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
31741      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/vacid0_01_SparseArray/MemoryAllocator_alloc_unsigned.key 
35730      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
39050      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/vacid0_01_SparseArray/MemoryAllocator_alloc.key 
42577      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
45854      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/vacid0_01_SparseArray/SparseArray_get_dep.key 
52050      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
55625      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/vacid0_01_SparseArray/SparseArray_get.key 
60664      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
64223      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/vacid0_01_SparseArray/SparseArray_inv.key 
69286      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
72614      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/vacid0_01_SparseArray/SparseArray_SparseArray.key 
79288      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
2336456    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test VACID0 
2336457    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test VSTTE10 
443        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
470        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
488        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/vstte10_01_SumAndMax/SumAndMax_sumAndMax.key 
15383      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
19724      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/vstte10_03_LinkedList/Node_cons.key 
24842      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
28370      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/vstte10_03_LinkedList/Node_inv.key 
31742      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
34837      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/vstte10_03_LinkedList/Node_search.key 
43793      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
47615      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/vstte10_04_Queens/Queens_isConsistent.key 
52812      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
56446      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/vstte10_04_Queens/Queens_nQueens.key 
72413      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
76656      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/vstte10_05_Queue/AmortizedQueue_AmortizedQueue.key 
81180      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
84618      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/vstte10_05_Queue/AmortizedQueue_front.key 
88244      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
91417      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/vstte10_05_Queue/LinkedList_concat.key 
103277     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
107405     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/vstte10_05_Queue/LinkedList_cons.key 
113183     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
116766     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/vstte10_05_Queue/LinkedList_head.key 
119787     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
122954     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/vstte10_05_Queue/LinkedList_inv.key 
126141     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
129358     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/vstte10_05_Queue/LinkedList_length.key 
132263     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
135108     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/vstte10_05_Queue/LinkedList_LinkedList1.key 
139490     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
142626     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/vstte10_05_Queue/LinkedList_LinkedList2.key 
147079     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
150136     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/vstte10_05_Queue/LinkedList_LinkedList3.key 
164702     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
168769     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/vstte10_05_Queue/LinkedList_reverse.key 
180438     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
184100     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/vstte10_05_Queue/LinkedList_tail.key 
187600     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
2527326    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test VSTTE10 
2527326    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test WeideEtAl 
408        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
409        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
435        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/WeideEtAl_01_AddAndMultiply/AddAndMultiply_add.key 
10553      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
13969      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/WeideEtAl_01_AddAndMultiply/AddAndMultiply_mul.key 
17355      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
20463      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/WeideEtAl_02_BinarySearch/BinarySearch_search.key 
26418      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
2557441    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test WeideEtAl 
2557443    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test arithmetic 
414        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
439        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
458        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/arith/binomial1.key 
9008       INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
12087      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/arith/binomial2.key 
14758      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
17491      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/arith/check_jdiv.key 
25670      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
29032      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/arith/check_jdiv_concrete.key 
31742      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
34684      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/arith/check_jdiv_instantiated.key 
40862      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
43743      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/arith/check_jmod.key 
46644      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
49394      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/arith/complexExpressions.key 
52086      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
54915      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/arith/compound_unaryMinus.key 
57738      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
60492      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/arith/computation.key 
64628      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
67516      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/arith/cubicSum.key 
71085      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
73947      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/arith/divByZero.key 
76510      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
79048      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/arith/divisionAssoc.key 
82156      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
84900      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/arith/divisionBy2.key 
87618      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
90342      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/arith/euclidean/gcdHelp-post.key 
95804      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
98802      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/arith/gemplusDecimal/add.key 
143199     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
149868     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/arith/jdivevenodd.key 
152409     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
154998     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/arith/median.key 
171590     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
175298     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/arith/mod1.key 
177687     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
180237     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/arith/mod2.key 
182608     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
184998     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/arith/mod7.key 
187314     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
189925     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/arith/overflow_hija.key 
196558     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
199414     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/arith/poly_division0.key 
201743     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
204237     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/arith/poly_division1.key 
206718     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
209411     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/inEqSimp/division.key 
213826     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
216541     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/inEqSimp/inequations0.key 
219181     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
222040     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/inEqSimp/inequations1.key 
224612     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
227203     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/inEqSimp/inequations2.key 
229766     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
232774     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/inEqSimp/linApprox.key 
235367     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
238208     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/inEqSimp/nonLinInEqExample0.key 
240849     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
243563     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/inEqSimp/nonLinInEqExample2.key 
246239     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
248840     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/inEqSimp/nonLinInEqExample3.key 
251346     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
253872     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/inEqSimp/nonLinInEqExample4.key 
256190     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
258633     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/inEqSimp/quadraticInEq.key 
261158     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
263681     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/inEqSimp/quadraticInEq10.key 
266169     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
268839     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/inEqSimp/quadraticInEq13.key 
271267     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
273789     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/inEqSimp/quadraticInEq14.key 
276318     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
278861     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/inEqSimp/quadraticInEq2.key 
281193     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
283869     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/inEqSimp/quadraticInEq3.key 
286227     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
288876     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/inEqSimp/quadraticInEq4.key 
291302     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
293822     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/inEqSimp/quadraticInEq5.key 
296164     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
298752     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/inEqSimp/quadraticInEq6.key 
301064     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
303601     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/inEqSimp/quadraticInEq7.key 
305911     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
308423     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/inEqSimp/quadraticInEq8.key 
310800     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
313422     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/inEqSimp/simplify0.key 
315749     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
318324     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/inEqSimp/simplify1.key 
320732     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
323250     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/inEqSimp/simplify2.key 
325591     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
328443     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/inEqSimp/simplify3.key 
330841     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
333466     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/inEqSimp/simplify4.key 
335868     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
338575     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/inEqSimp/simplify5.key 
341293     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
343970     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/inEqSimp/subsumptionExample.key 
346300     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
348835     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/polySimp/simplify0.key 
351206     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
353797     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/polySimp/simplify1.key 
356331     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
358949     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/polySimp/simplify10.key 
361352     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
363977     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/polySimp/simplify11.key 
366355     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
369002     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/polySimp/simplify12.key 
371490     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
374331     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/polySimp/simplify13.key 
376779     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
379548     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/polySimp/simplify14.key 
382006     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
384648     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/polySimp/simplify15.key 
387060     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
389718     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/polySimp/simplify16.key 
392028     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
394647     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/polySimp/simplify17.key 
397089     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
399742     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/polySimp/simplify18.key 
402161     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
404824     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/polySimp/simplify19.key 
409620     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
412549     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/polySimp/simplify2.key 
414866     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
417558     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/polySimp/simplify20.key 
420310     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
423056     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/polySimp/simplify21.key 
425730     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
428481     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/polySimp/simplify22.key 
430867     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
433621     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/polySimp/simplify23.key 
435957     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
438615     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/polySimp/simplify24.key 
440938     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
443590     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/polySimp/simplify25.key 
445925     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
448688     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/polySimp/simplify3.key 
451156     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
453850     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/polySimp/simplify4.key 
456154     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
458972     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/polySimp/simplify5.key 
461558     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
464562     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/polySimp/simplify6.key 
467091     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
469932     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/polySimp/simplify7.key 
472439     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
475609     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/polySimp/simplify8.key 
481696     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
484579     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/polySimp/simplify9.key 
487001     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
3047415    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test arithmetic 
3047415    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test arrays 
348        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
356        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
369        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/arrays/arrayStoreException/array2DimPrim.key 
13160      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
17290      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/arrays/arrayStoreException/arrayStoreKnownDynType.key 
20438      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
23398      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/arrays/arrayStoreException/reverseArray.key 
26878      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
30019      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/arrays/arrayStoreException/throwArrayStoreException.key 
33316      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
36403      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/arrays/creation/arrayCreation1.key 
39320      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
42323      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/arrays/arrayStoreException/array2Dim.key 
48860      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: open goal(s) 
49125      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/arrays/arrayStoreException/array2DimClose.key 
54220      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: open goal(s) 
54610      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/arrays/arrayStoreException/throwASEForPrim.key 
62031      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: open goal(s) 
3109966    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test arrays 
3109967    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test javadl 
399        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
419        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
444        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/instanceCreation/instanceCreation1.key 
10044      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
13500      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/instanceCreation/instanceCreation2.key 
16904      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
19964      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/instanceCreation/interfacesAndAbstractClassesHaveNoInstances.key 
22780      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
25495      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/instanceCreation/successiveCreatedObjectsAreDistinct.key 
28631      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
31569      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/instanceCreation/testOverloadingConstructors.key 
34373      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
37250      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/SimpleAttributes.key 
39945      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
42675      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/arrayMax.key 
46751      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
49778      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/arrayUpdateSimp.key 
49805      WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.PrintStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/./classpath/PrintStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java 
49805      WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.InputStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/./classpath/InputStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/InputStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/InputStream.java 
49805      WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.lang.System declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/./classpath/System.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java 
52676      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
52908      WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.PrintStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/PrintStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java 
52909      WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.InputStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/InputStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/InputStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/InputStream.java 
52909      WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.lang.System declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/System.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java 
55378      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/attributes.key 
58028      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
60767      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/break.key 
60793      WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.PrintStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/PrintStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java 
60794      WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.InputStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/InputStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/InputStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/InputStream.java 
60794      WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.lang.System declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/System.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java 
63409      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
63620      WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.PrintStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/PrintStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java 
63621      WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.InputStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/InputStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/InputStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/InputStream.java 
63621      WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.lang.System declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/System.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java 
66115      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/char.key 
68648      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
71254      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/compileTimeConstants.key 
73904      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
76643      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/constructorException/test.key 
79546      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
82425      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/constructorException/regressionTestBug1333.key 
85104      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: open goal(s) 
85309      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/continue1.key 
85334      WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.PrintStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/PrintStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java 
85335      WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.InputStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/InputStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/InputStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/InputStream.java 
85335      WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.lang.System declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/System.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java 
87824      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
88116      WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.PrintStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/PrintStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java 
88117      WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.InputStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/InputStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/InputStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/InputStream.java 
88117      WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.lang.System declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/System.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java 
90554      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/continue2.key 
90579      WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.PrintStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/PrintStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java 
90579      WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.InputStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/InputStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/InputStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/InputStream.java 
90580      WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.lang.System declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/System.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java 
93384      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
93630      WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.PrintStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/PrintStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java 
93630      WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.InputStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/InputStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/InputStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/InputStream.java 
93631      WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.lang.System declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/System.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java 
96090      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/complexAssignment.key 
98536      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
101143     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/danglingElseSolution1.key 
103572     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
106178     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/danglingElseSolution2.key 
108724     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
111343     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/deepNonNull/deepNonNull0.key 
114158     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
116838     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/deepNonNull/deepNonNull1.key 
119400     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
122106     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/deepNonNull/deepNonNull2.key 
124665     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: open goal(s) 
124927     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/deepNonNull/deepNonNull3.key 
128154     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
131216     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/exceptions.key 
131238     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.PrintStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/PrintStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java 
131238     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.InputStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/InputStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/InputStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/InputStream.java 
131238     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.lang.System declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/System.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java 
134012     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
134318     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.PrintStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/PrintStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java 
134319     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.InputStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/InputStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/InputStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/InputStream.java 
134319     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.lang.System declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/System.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java 
136891     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/exceptions1.key 
139863     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
142845     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/exceptions2.key 
145787     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
148714     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/exceptions3.key 
148738     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.PrintStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/PrintStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java 
148739     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.InputStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/InputStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/InputStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/InputStream.java 
148739     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.lang.System declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/System.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java 
151641     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
151979     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.PrintStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/PrintStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java 
151979     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.InputStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/InputStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/InputStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/InputStream.java 
151980     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.lang.System declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/System.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java 
154861     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/exchange.key 
157688     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
160778     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/if.key 
163592     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
166583     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/incrementcounter.key 
169340     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
172249     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/danglingElse.key 
174956     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: open goal(s) 
175281     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/iteratedAssignment.key 
178178     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
181202     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/assert/assert1.key 
183987     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: open goal(s) 
184314     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/assert/assert2.key 
186918     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
189762     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/assert/assert3.key 
192347     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: open goal(s) 
192673     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/java5/vararg.key 
196777     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
200247     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/java5/for_Array.key 
203476     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
206670     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/java5/for_Iterable.key 
209416     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
212432     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/java5/for_ReferenceArray.key 
215394     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
218552     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/jml-bigint/cast.key 
221212     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
224083     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/jml-free/loopInvFree.key 
226636     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
229438     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/jml-free/ensuresFree.key 
231888     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
234644     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/jml-information-flow.key 
360241     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
367267     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/jml-min/min-unprovable1.key 
370307     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: open goal(s) 
370869     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/jml-min/min-unprovable2.key 
373443     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: open goal(s) 
373878     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/methodCall.key 
376409     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
379232     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/methodCall1.key 
381697     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
384450     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/methodCall1box.key 
386908     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
389804     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/methodCall3.key 
392322     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
395051     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/polishFlagSort.key 
399449     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
402646     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/postConditionTaclets1.key 
405120     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
407889     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/postConditionTaclets2.key 
410276     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
412928     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/quantifiedQuery.key 
415339     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
418163     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/recursion/triangular.key 
420745     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
423676     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/reverseArray.key 
423700     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.PrintStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/./classpath/PrintStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java 
423700     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.InputStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/./classpath/InputStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/InputStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/InputStream.java 
423701     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.lang.System declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/./classpath/System.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java 
430417     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
430954     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.PrintStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/PrintStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java 
430954     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.InputStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/InputStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/InputStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/InputStream.java 
430954     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.lang.System declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/System.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java 
434132     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/reverseArray2.key 
434156     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.PrintStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/PrintStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java 
434157     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.InputStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/InputStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/InputStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/InputStream.java 
434157     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.lang.System declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/System.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java 
438023     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
438644     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.PrintStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/PrintStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java 
438645     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.InputStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/InputStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/InputStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/InputStream.java 
438645     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.lang.System declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/System.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java 
441245     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/simpleAssignment.key 
443610     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
446551     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/simpleAssignment2.key 
448932     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
451736     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/splittingWithQueries.key 
454152     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
457002     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/strassen/strassen.key 
464237     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
468149     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/symmArray.key 
564775     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
569099     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/testcontext.key 
569124     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.PrintStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/PrintStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java 
569125     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.InputStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/InputStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/InputStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/InputStream.java 
569125     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.lang.System declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/System.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java 
571971     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
572622     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.PrintStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/PrintStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java 
572623     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.InputStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/InputStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/InputStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/InputStream.java 
572624     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.lang.System declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/classpath/System.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java 
574982     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/staticInitialisation/cascadeStaticInitialisation.key 
575004     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.PrintStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/staticInitialisation/classpath/PrintStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java 
575004     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.lang.System declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/staticInitialisation/classpath/System.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java 
578277     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
578865     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.PrintStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/staticInitialisation/classpath/PrintStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java 
578866     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.lang.System declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/staticInitialisation/classpath/System.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java 
581421     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/staticInitialisation/erroneousClassImpliesErroneousSubclass.key 
581441     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.PrintStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/staticInitialisation/classpath/PrintStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java 
581441     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.lang.System declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/staticInitialisation/classpath/System.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java 
583925     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
584471     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.PrintStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/staticInitialisation/classpath/PrintStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java 
584471     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.lang.System declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/staticInitialisation/classpath/System.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java 
586880     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/staticInitialisation/initializedSubclassImpliesInitializedSuperclass.key 
586903     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.PrintStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/staticInitialisation/classpath/PrintStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java 
586903     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.lang.System declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/staticInitialisation/classpath/System.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java 
589553     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
590112     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.PrintStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/staticInitialisation/classpath/PrintStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java 
590113     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.lang.System declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/staticInitialisation/classpath/System.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java 
592544     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/staticInitialisation/localDeclared.key 
592566     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.PrintStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/staticInitialisation/classpath/PrintStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java 
592566     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.lang.System declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/staticInitialisation/classpath/System.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java 
595326     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
595881     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.PrintStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/staticInitialisation/classpath/PrintStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java 
595882     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.lang.System declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/staticInitialisation/classpath/System.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java 
598353     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/staticInitialisation/localDeclaredMethod.key 
598375     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.PrintStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/staticInitialisation/classpath/PrintStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java 
598376     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.lang.System declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/staticInitialisation/classpath/System.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java 
601184     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
601807     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.PrintStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/staticInitialisation/classpath/PrintStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java 
601807     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.lang.System declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/staticInitialisation/classpath/System.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java 
604342     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/staticInitialisation/objectOfErroneousClass.key 
604364     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.PrintStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/staticInitialisation/classpath/PrintStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java 
604364     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.lang.System declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/staticInitialisation/classpath/System.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java 
619204     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
619865     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.PrintStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/staticInitialisation/classpath/PrintStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java 
619865     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.lang.System declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/staticInitialisation/classpath/System.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java 
624489     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/staticInitialisation/staticInitialisersAreNonSimple.key 
624511     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.PrintStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/staticInitialisation/classpath/PrintStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java 
624511     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.lang.System declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/staticInitialisation/classpath/System.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java 
627259     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
627887     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.io.PrintStream declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/staticInitialisation/classpath/PrintStream.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/io/PrintStream.java 
627887     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype java.lang.System declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/staticInitialisation/classpath/System.java and once in URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java, Keeping one from URL:file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/System.java 
630364     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/types/disjoint.key 
632730     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
635575     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/../../../key.core/src/test/resources/testcase/classpath/classpath.key 
635601     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype cp.C declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/../../../key.core/src/test/resources/testcase/classpath/classpath/C.class and once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/../../../key.core/src/test/resources/testcase/classpath/classpath/C.jml, Keeping one from FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/../../../key.core/src/test/resources/testcase/classpath/classpath/C.jml 
638241     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
638858     WARN  main            d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype cp.C declared twice: Once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/../../../key.core/src/test/resources/testcase/classpath/classpath/C.class and once in FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/../../../key.core/src/test/resources/testcase/classpath/classpath/C.jml, Keeping one from FILE:/home/runner/work/key/key/key.core/../key.ui/examples/index/../../../key.core/src/test/resources/testcase/classpath/classpath/C.jml 
641247     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/inconsistent_represents/MyClass_m.key 
643804     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: open goal(s) 
644365     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/inconsistent_represents/MyClass_n.key 
646811     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: open goal(s) 
3757533    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test javadl 
3757534    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test FOL 
398        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
411        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
435        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/pred_log/count.key 
8026       INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
10848      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/pred_log/count2.key 
13515      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
16137      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/pred_log/count3.key 
18753      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
21331      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/pred_log/equalities.key 
23795      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
26453      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/pred_log/equalities2.key 
29043      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
31681      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/pred_log/equalities3.key 
34233      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
36882      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/pred_log/functions.key 
39339      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
42120      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/pred_log/mv1.key 
44863      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
47498      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/pred_log/mv2.key 
50295      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
52984      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/pred_log/quantifiers.key 
55663      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
58568      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/pred_log/simpleEps.key 
61079      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
63699      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/pred_log/steam1.key 
66609      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
69414      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/pred_log/tptp/PUZ/PUZ001p1.key 
74708      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
77483      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/pred_log/tptp/PUZ/PUZ001p1-eq.key 
79977      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
82545      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/pred_log/tptp/PUZ/PUZ031p1.key 
94006      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
96788      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/pred_log/tptp/SET/SET027p3.key 
99519      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
102230     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/pred_log/tptp/SET/SET043p1.key 
104843     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
107545     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/pred_log/tptp/SET/SET045p1.key 
110232     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
112958     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/pred_log/tptp/SET/SET062p3.key 
115610     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
118374     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/pred_log/tptp/SET/SET063p3.key 
121084     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
123865     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/pred_log/tptp/SYN/SYN036p2.key 
126769     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
129690     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/pred_log/tptp/SYN/SYN550p1.key 
135484     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
138355     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/prop_log/reallySimple.key 
141161     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: open goal(s) 
141468     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/pred_log/sameName1.key 
144159     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: open goal(s) 
144426     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/pred_log/jbyteIfEx.key 
147147     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
150040     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/prop_log/allClausesLength4.key 
152817     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
155715     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/prop_log/allClausesLength5.key 
158443     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
161254     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/prop_log/doubleNeg.key 
163773     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
166483     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/prop_log/liarsville.key 
169067     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
171853     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/prop_log/simplest.key 
174336     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
177046     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/prop_log/contraposition.key 
179575     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
182311     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/quantifiers/elimination0.key 
184915     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
187649     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/quantifiers/heuristic_PUZ001p1-eq.key 
190213     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
192994     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/quantifiers/heuristic_PUZ001p1.key 
196904     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
199760     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/quantifiers/heuristic_PUZ031p1.key 
207304     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
210128     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/quantifiers/heuristic_SYN036p2.key 
212791     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
215705     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/quantifiers/injectivity.key 
218378     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
221084     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/quantifiers/normalisation0.key 
223480     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
226026     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/quantifiers/normalisation1.key 
228326     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
230887     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/quantifiers/normalisation2.key 
233215     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
235780     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/quantifiers/normalisation3.key 
238145     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
240696     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/quantifiers/normalisation4.key 
243039     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
245570     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/quantifiers/normalisation5.key 
247871     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
250454     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/quantifiers/normalisation6.key 
252766     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
255318     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/quantifiers/normalisation7.key 
257639     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
260185     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/quantifiers/normalisation8.key 
262499     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
265046     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/quantifiers/normalisation9.key 
267606     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
270222     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/quantifiers/normalisation10.key 
272541     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
275164     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/quantifiers/normalisation12.key 
277561     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
280185     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/quantifiers/normalisation13.key 
282571     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
285176     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/quantifiers/triggers0.key 
287491     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
4047804    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test FOL 
4047805    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test strings 
392        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
398        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
410        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/strings/charAt0.key 
8252       INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
11182      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/strings/charAt1.key 
13841      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
16470      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/strings/concat1.key 
18947      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
21585      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/strings/concat2.key 
24080      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
26742      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/strings/deriveLength1.key 
29405      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
32044      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/strings/emptyStringLengthZero.key 
34569      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
37328      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/strings/implicitBooleanStringConversion.key 
41037      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
43914      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/strings/implicitBooleanStringConversion2.key 
46846      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
49480      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/strings/implicitIntStringConversion.key 
52951      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
55739      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/strings/implicitNullStringConversion.key 
58565      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
61435      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/strings/implicitNullStringConversion2.key 
64075      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
66685      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/strings/implicitObjectStringConversion.key 
69612      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
72367      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/strings/literalEquality.key 
74719      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
77191      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/strings/replace0.key 
79641      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
82121      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/strings/replace1.key 
84461      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
86900      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/strings/simpleAssignment.key 
89287      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
91711      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/strings/simpleLengthComp.key 
94201      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
96858      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/strings/stringCompileTimeConstant1.key 
99329      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
101853     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/strings/stringCompileTimeConstant2.key 
106830     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
109991     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/strings/stringEquality1.key 
112451     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
114943     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/strings/stringEquality2.key 
117525     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
120059     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/strings/substring0.key 
122405     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
124840     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/strings/substring1.key 
127231     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
129760     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/strings/substring2.key 
132101     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
134579     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/strings/substring3.key 
136929     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
139396     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/strings/substring4.key 
141826     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
144456     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/strings/substring5.key 
147111     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
4197763    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test strings 
4197765    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test simple_info_flow 
365        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
399        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
427        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/information_flow/UpdateAbstraction_ex7_1_insecure.key 
9692       INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: open goal(s) 
9812       INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/information_flow/UpdateAbstraction_ex7_2_insecure.key 
13610      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: open goal(s) 
4211685    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test simple_info_flow 
4211686    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test modelMethods 
399        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
415        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
444        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/model_methods/Cell_footprint_acc.key 
9312       INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
12763      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/model_methods/Cell_footprint.key 
15998      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
19108      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/model_methods/Cell_get_acc.key 
22225      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
25192      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/model_methods/Cell_get.key 
28053      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
30965      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/model_methods/Cell_post_set.key 
33761      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
36867      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/model_methods/Cell_set.key 
46966      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
50481      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/model_methods/CellTest_callSet.key 
53469      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
56366      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/model_methods/CellTest_test2.key 
59341      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
62324      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/model_methods/CellTest_test.key 
67513      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
71008      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/model_methods/Coll1_add.key 
73773      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
76561      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/model_methods/Coll1_Coll1_add_pre.key 
79290      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
82078      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/model_methods/Coll1_Coll_add_pre.key 
84836      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
87675      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/model_methods/Coll2_add.key 
90403      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
93219      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/model_methods/Coll2_Coll2_add_pre.key 
95954      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
98816      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/model_methods/Coll2_Coll_add_pre.key 
101622     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
104390     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/model_methods/Coll_add.key 
107100     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
109870     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/model_methods/Coll_add_pre.key 
112745     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
115626     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/model_methods/Indirect_callAdd.key 
118355     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
121165     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/model_methods/Indirect_test.key 
123957     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
126855     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/model_methods/Recell_Cell_footprint.key 
129685     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
132473     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/model_methods/Recell_Cell_post_set.key 
135181     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
138019     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/model_methods/Recell_footprint_acc.key 
140738     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
143634     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/model_methods/Recell_get_acc.key 
146357     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
149154     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/model_methods/Recell_get.key 
151860     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
154628     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/model_methods/Recell_Recell_footprint.key 
157289     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
160248     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/model_methods/Recell_Recell_post_set.key 
163141     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
166098     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/model_methods/Recell_set.key 
175032     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
178433     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/model_methods/Recell_undo.key 
181097     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
4395863    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test modelMethods 
4395864    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test permissionHeap 
376        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
398        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
410        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/permissions_method0.key 
9098       INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
12327      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/permissions_method1.key 
15462      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
18472      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/permissions_method3.key 
22799      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
25873      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/permissions_setAB.key 
29933      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
33079      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/permissionProperties.key 
36692      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
39461      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/AFilter_AFilter.key 
46339      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
51731      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/AFilter_initPost_accessible.key 
56669      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
61815      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/AFilter_inv_accessible1.key 
66668      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
71515      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/AFilter_inv_accessible2.key 
76328      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
81447      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/AFilter_joinTransfer_accessible.key 
87541      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
92950      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/AFilter_joinTransfer_contract.key 
98015      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
102910     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/AFilter_postJoin_accessible.key 
107759     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
112744     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/AFilter_preStart_accessible.key 
117692     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
122575     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/AFilter_startTransfer_accessible.key 
136544     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
143049     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/AFilter_startTransfer_contract.key 
148351     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
153924     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/AFilter_stateInv_accessible.key 
159438     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
164725     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/AFilter_staticPermissions_accessible.key 
169646     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
174568     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/AFilter_workingPermissions_accessible.key 
179328     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
184308     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/BFilter_BFilter.key 
189880     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
194901     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/BFilter_initPost_accessible.key 
199623     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
204573     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/BFilter_inv_accessible1.key 
209226     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
214119     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/BFilter_inv_accessible2.key 
218836     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
223712     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/BFilter_joinTransfer_accessible.key 
229373     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
234447     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/BFilter_joinTransfer_contract.key 
239124     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
244171     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/BFilter_postJoin_accessible.key 
249184     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
254490     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/BFilter_preStart_accessible.key 
259832     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
265636     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/BFilter_startTransfer_accessible.key 
280158     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
286060     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/BFilter_startTransfer_contract.key 
291995     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
296922     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/BFilter_stateInv_accessible.key 
301744     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
306691     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/BFilter_staticPermissions_accessible.key 
311532     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
316412     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/BFilter_workingPermissions_accessible.key 
321123     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
326021     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Fib_Fib.key 
331197     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
336625     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Fib_initPost_accessible.key 
341639     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
346964     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Fib_inv1_accessible.key 
351899     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
356880     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Fib_inv2_accessible.key 
361696     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
366633     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Fib_joinTransfer_accessible.key 
371384     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
376447     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Fib_joinTransfer_contract.key 
381268     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
386291     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Fib_postJoin_accessible.key 
391413     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
396877     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Fib_preStart_accessible.key 
401960     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
407500     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Fib_startTransfer_accessible.key 
413001     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
418192     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Fib_startTransfer_contract.key 
422868     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
427823     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Fib_workingPermissions_accessible.key 
432427     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
437384     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Plotter_initPost_accessible.key 
441954     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
446862     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Plotter_inv_accessible1.key 
451524     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
456529     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Plotter_inv_accessible2.key 
461194     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
466111     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Plotter_joinTransfer_contract.key 
471013     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
475991     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Plotter_Plotter.key 
482298     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
488052     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Plotter_postJoin_accessible.key 
493027     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
498315     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Plotter_preStart_accessible.key 
503821     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
509023     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Plotter_stateInv_accessible.key 
520294     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
525925     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Plotter_staticPermissions_accessible.key 
531475     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
536661     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Plotter_workingPermissions_accessible.key 
541508     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
546762     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Sampler_initPost_accessible.key 
551511     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
556910     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Sampler_inv_accessible1.key 
561565     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
567004     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Sampler_inv_accessible2.key 
571814     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
576789     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Sampler_joinTransfer_accessible.key 
584510     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
590653     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Sampler_joinTransfer_contract.key 
595500     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
601045     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Sampler_postJoin_accessible.key 
606217     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
611974     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Sampler_preStart_accessible.key 
617352     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
622991     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Sampler_run.key 
628068     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
633264     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Sampler_Sampler.key 
638495     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
644232     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Sampler_startTransfer_accessible.key 
653348     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
659600     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Sampler_startTransfer_contract.key 
664499     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
670067     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Sampler_stateInv_accessible.key 
675145     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
680666     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Sampler_staticPermissions_accessible.key 
686243     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
692172     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Sampler_workingPermissions_accessible.key 
697222     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
702667     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/mulleretal/ReadWrite_doRead_contract.key 
707069     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
711182     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/mulleretal/ReadWrite_doWrite_contract.key 
715636     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
719124     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/mulleretal/ReadWrite_read_contract.key 
721892     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
725110     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/mulleretal/ReadWrite_write_contract.key 
727880     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
731183     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/mulleretal/ReadWrite_inv1_accessible.key 
734239     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
737771     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/mulleretal/ReadWrite_inv2_accessible.key 
740804     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
744207     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/lockspec/Counter_lockConsistent_contract.key 
748635     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
753078     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/lockspec/Counter_increase_contract.key 
758193     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
762735     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/lockspec/Counter_fp_accessible.key 
766267     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
770478     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/lockspec/Counter_fpLock_accessible.key 
773924     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
777604     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/lockspec/Counter_fpPerm_accessible.key 
780766     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
784741     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/lockspec/Counter_inv_accessible1.key 
788204     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
791977     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/lockspec/Counter_inv_accessible2.key 
795324     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
799517     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/lockspec/Counter_lockRef_accessible.key 
803045     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
806903     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/lockspec/Counter_lockRef_contract1.key 
810166     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
813997     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/lockspec/Counter_lockRef_contract2.key 
817347     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
821263     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/lockspec/Counter_lockState_accessible.key 
824768     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
829008     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/lockspec/Counter_lockStatus_accessible.key 
832278     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
836132     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/lockspec/Counter_lockTransfer_accessible.key 
839603     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
843580     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/lockspec/Counter_unlockTransfer_accessible.key 
847091     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
851177     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Plotter_startTransfer_contract.proof 
856314     INFO  main            d.u.i.k.p.r.p.TestFile    ... success: loaded 
856315     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Plotter_startTransfer_accessible.proof 
861447     INFO  main            d.u.i.k.p.r.p.TestFile    ... success: loaded 
861448     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permissions/threads/Plotter_joinTransfer_accessible.proof 
866398     WARN  main            d.u.i.k.p.i.IntermediateProofReplayer Proof contains wrong number of \assumes instatiations for Definition_axiom_for_stateInv_in_Plotter 
866401     WARN  main            d.u.i.k.p.i.IntermediateProofReplayer Proof contains wrong number of \assumes instatiations for Definition_axiom_for_stateInv_in_Plotter 
866403     WARN  main            d.u.i.k.p.i.IntermediateProofReplayer Proof contains wrong number of \assumes instatiations for Definition_axiom_for_workingPermissions_in_Plotter 
866404     WARN  main            d.u.i.k.p.i.IntermediateProofReplayer Proof contains wrong number of \assumes instatiations for Definition_axiom_for_staticPermissions_in_Plotter 
866405     WARN  main            d.u.i.k.p.i.IntermediateProofReplayer Proof contains wrong number of \assumes instatiations for Definition_axiom_for_joinTransfer_in_Plotter 
866407     WARN  main            d.u.i.k.p.i.IntermediateProofReplayer Proof contains wrong number of \assumes instatiations for Definition_axiom_for_stateInv_in_BFilter 
866409     WARN  main            d.u.i.k.p.i.IntermediateProofReplayer Proof contains wrong number of \assumes instatiations for Definition_axiom_for_stateInv_in_AFilter 
866410     WARN  main            d.u.i.k.p.i.IntermediateProofReplayer Proof contains wrong number of \assumes instatiations for Definition_axiom_for_stateInv_in_BFilter 
866412     WARN  main            d.u.i.k.p.i.IntermediateProofReplayer Proof contains wrong number of \assumes instatiations for Definition_axiom_for_stateInv_in_AFilter 
866415     WARN  main            d.u.i.k.p.i.IntermediateProofReplayer Proof contains wrong number of \assumes instatiations for Definition_axiom_for_staticPermissions_in_AFilter 
866416     WARN  main            d.u.i.k.p.i.IntermediateProofReplayer Proof contains wrong number of \assumes instatiations for Definition_axiom_for_staticPermissions_in_Plotter 
866416     WARN  main            d.u.i.k.p.i.IntermediateProofReplayer Proof contains wrong number of \assumes instatiations for Definition_axiom_for_staticPermissions_in_BFilter 
866417     WARN  main            d.u.i.k.p.i.IntermediateProofReplayer Proof contains wrong number of \assumes instatiations for Definition_axiom_for_workingPermissions_in_Plotter 
866419     WARN  main            d.u.i.k.p.i.IntermediateProofReplayer Proof contains wrong number of \assumes instatiations for Definition_axiom_for_stateInv_in_Sampler 
866420     WARN  main            d.u.i.k.p.i.IntermediateProofReplayer Proof contains wrong number of \assumes instatiations for Definition_axiom_for_stateInv_in_Sampler 
866421     WARN  main            d.u.i.k.p.i.IntermediateProofReplayer Proof contains wrong number of \assumes instatiations for Definition_axiom_for_staticPermissions_in_Sampler 
866422     WARN  main            d.u.i.k.p.i.IntermediateProofReplayer Proof contains wrong number of \assumes instatiations for Definition_axiom_for_staticPermissions_in_BFilter 
866423     WARN  main            d.u.i.k.p.i.IntermediateProofReplayer Proof contains wrong number of \assumes instatiations for Definition_axiom_for_staticPermissions_in_AFilter 
866424     WARN  main            d.u.i.k.p.i.IntermediateProofReplayer Proof contains wrong number of \assumes instatiations for Definition_axiom_for_staticPermissions_in_Sampler 
866425     WARN  main            d.u.i.k.p.i.IntermediateProofReplayer Proof contains wrong number of \assumes instatiations for Definition_axiom_for_staticPermissions_in_Sampler 
866425     WARN  main            d.u.i.k.p.i.IntermediateProofReplayer Proof contains wrong number of \assumes instatiations for Definition_axiom_for_staticPermissions_in_Sampler 
866426     WARN  main            d.u.i.k.p.i.IntermediateProofReplayer Proof contains wrong number of \assumes instatiations for Definition_axiom_for_joinTransfer_in_Plotter 
866515     INFO  main            d.u.i.k.p.r.p.TestFile    ... success: loaded 
5262695    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test permissionHeap 
5262699    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test completionScopes 
361        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
385        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
409        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././completionscopes/testCcatchReturnVal.key 
9233       INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
12626      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././completionscopes/testMultCcatchClauses.key 
16049      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
19348      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././completionscopes/testNestedExec.key 
22552      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
25652      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././completionscopes/testCcatchBreakLabel.key 
28404      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
31291      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././completionscopes/testCcatchContinueLabel.key 
33910      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
36721      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././completionscopes/testCcatchBreakLabelWildcard.key 
39400      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
42321      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././completionscopes/testCcatchContinueLabelWildcard.key 
45116      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
47828      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././completionscopes/testCcatchBreakLabelNonmatchingNested.key 
50514      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
5316170    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test completionScopes 
5316171    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test reload_examples 
370        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
391        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
403        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././firstTouch/05-ReverseArray/reverseArray.key 
19369      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
23811      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/arith/saveProofTest.key.proof 
26394      INFO  main            d.u.i.k.p.r.p.TestFile    ... success: loaded 
26396      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/permutedSum/perm.proof 
30544      INFO  main            d.u.i.k.p.r.p.TestFile    ... success: loaded 
30545      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././firstTouch/05-ReverseArray/reverseArray.proof 
34648      INFO  main            d.u.i.k.p.r.p.TestFile    ... success: loaded 
34649      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/verifyThis15_1_RelaxedPrefix/relax.proof 
38125      INFO  main            d.u.i.k.p.r.p.TestFile    ... success: loaded 
38126      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/verifyThis15_3_DLL/doUndo.proof 
42094      INFO  main            d.u.i.k.p.r.p.TestFile    ... success: loaded 
42095      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././heap/verifyThis15_2_ParallelGcd/parallelGcd.proof 
45541      INFO  main            d.u.i.k.p.r.p.TestFile    ... success: loaded 
5361897    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test reload_examples 
5361898    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test proofLoadRepair 
341        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
352        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
372        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././proofLoadRepair/disjConj-manipulated.proof 
8269       WARN  main            d.u.i.k.p.i.IntermediateProofReplayer Proof contains wrong number of \assumes instatiations for andLeft 
8270       WARN  main            d.u.i.k.p.i.IntermediateProofReplayer Proof contains wrong number of \assumes instatiations for replace_known_right 
8273       WARN  main            d.u.i.k.p.i.IntermediateProofReplayer Proof contains wrong number of \assumes instatiations for close 
8278       INFO  main            d.u.i.k.p.r.p.TestFile    ... success: loaded 
8283       INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././proofLoadRepair/insufficient-manipulated.proof 
11195      WARN  main            d.u.i.k.p.i.IntermediateProofReplayer Proof contains wrong number of \assumes instatiations for applyEq 
11219      INFO  main            d.u.i.k.p.r.p.TestFile    ... success: loading failed 
11220      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/../../../key.core/src/test/resources/testcase/issues/1716/incorrectPolarity.proof 
14339      INFO  main            d.u.i.k.p.r.p.TestFile    ... success: loading failed 
14340      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/../../../key.core/src/test/resources/testcase/issues/1716/incorrectPolarity2.proof 
16990      INFO  main            d.u.i.k.p.r.p.TestFile    ... success: loading failed 
16991      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/../../../key.core/src/test/resources/testcase/issues/1716/incorrectPolarity3.proof 
19556      INFO  main            d.u.i.k.p.r.p.TestFile    ... success: loading failed 
5381624    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test proofLoadRepair 
5381625    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test switch 
330        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
336        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
351        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/switch/labeled_case.key 
9780       INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
13257      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/switch/empty_switch.key 
16338      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
19248      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/switch/empty_switch_null.key 
22097      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
24949      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/switch/empty_switch_null_catch.key 
27729      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
30451      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/switch/empty_switch_array_out_of_bounds.key 
33265      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
36038      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/switch/empty_switch_array_out_of_bounds_catch.key 
38798      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
41567      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/switch/switch_in_switch.key 
48721      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
52037      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/switch/while_and_switch.key 
55312      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
58223      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././standard_key/java_dl/switch/large_switch.key 
62038      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
5446857    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test switch 
5446858    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Running test redux 
335        INFO  Timeout watchdog d.u.i.k.p.r.p.ForkedTestFileRunner Timeout watcher launched (2000 secs.) 
346        WARN  main            d.u.i.k.s.ProofSettings   The settings in /home/runner/.key/proof-settings.props are *not* read. 
359        INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././redux/arrays/Arrays.copyOf.key 
14347      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
18779      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././redux/arrays/Arrays.copyOf.float.key 
22166      INFO  main            d.u.i.k.m.s.ProofScriptEngine 1: 'macro autopilot' 
26574      INFO  main            d.u.i.k.m.s.ProofScriptEngine 2: 'smt solver=Z3' 
26644      INFO  main            d.u.i.k.m.s.SMTCommand    Finished run on goal 17 in 46ms, result is valid 
26645      INFO  main            d.u.i.k.m.s.ProofScriptEngine 3: 'tryclose' 
28387      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
32505      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././redux/arrays/Arrays.copyOfRange.key 
40257      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
44116      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././redux/arrays/Arrays.copyOfRange.float.key 
47317      INFO  main            d.u.i.k.m.s.ProofScriptEngine 1: 'macro autopilot' 
53082      INFO  main            d.u.i.k.m.s.ProofScriptEngine 2: 'smt solver=Z3' 
53147      INFO  main            d.u.i.k.m.s.SMTCommand    Finished run on goal 27 in 47ms, result is valid 
53147      INFO  main            d.u.i.k.m.s.ProofScriptEngine 3: 'tryclose' 
56630      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
61007      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././redux/arrays/Arrays.equals.key 
64698      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
68122      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././redux/arrays/Arrays.fill.key 
71582      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
74972      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././redux/arrays/Arrays.fill.float.key 
78586      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
81986      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././redux/arrays/Arrays.fillFromTo.key 
85711      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
89117      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././redux/arrays/Arrays.fillFromTo.float.key 
93055      INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
96439      INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././redux/arrays/ArrayCopy.arraycopy.normal.0.key 
105421     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
109627     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././redux/arrays/ArrayCopy.arraycopy.exceptional.0.key 
113055     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
116288     INFO  main            d.u.i.k.p.r.p.TestFile    Now processing file /home/runner/work/key/key/key.core/../key.ui/examples/index/.././redux/arrays/ArrayCopy.arraycopy.exceptional.1.key 
125333     INFO  main            d.u.i.k.p.r.p.TestFile    ... finished proof: closed. 
5577173    INFO  Test worker     d.u.i.k.p.r.RunAllProofsTestUnit Returning from test redux 
5577203    INFO  Test worker     d.u.i.k.p.r.p.StatisticsFile /home/runner/work/key/key/key.core/../key.ui/examples/index/../../../key.core/build/reports/runallproofs/Total rule apps.sum.properties is written 
5577205    INFO  Test worker     d.u.i.k.p.r.p.StatisticsFile /home/runner/work/key/key/key.core/../key.ui/examples/index/../../../key.core/build/reports/runallproofs/Total rule apps.avg.properties is written 
5577205    INFO  Test worker     d.u.i.k.p.r.p.StatisticsFile /home/runner/work/key/key/key.core/../key.ui/examples/index/../../../key.core/build/reports/runallproofs/Nodes.sum.properties is written 
5577205    INFO  Test worker     d.u.i.k.p.r.p.StatisticsFile /home/runner/work/key/key/key.core/../key.ui/examples/index/../../../key.core/build/reports/runallproofs/Nodes.avg.properties is written 
5577205    INFO  Test worker     d.u.i.k.p.r.p.StatisticsFile /home/runner/work/key/key/key.core/../key.ui/examples/index/../../../key.core/build/reports/runallproofs/Branches.sum.properties is written 
5577206    INFO  Test worker     d.u.i.k.p.r.p.StatisticsFile /home/runner/work/key/key/key.core/../key.ui/examples/index/../../../key.core/build/reports/runallproofs/Branches.avg.properties is written 
5577206    INFO  Test worker     d.u.i.k.p.r.p.StatisticsFile /home/runner/work/key/key/key.core/../key.ui/examples/index/../../../key.core/build/reports/runallproofs/Overall time (ms).sum.properties is written 
5577206    INFO  Test worker     d.u.i.k.p.r.p.StatisticsFile /home/runner/work/key/key/key.core/../key.ui/examples/index/../../../key.core/build/reports/runallproofs/Overall time (ms).avg.properties is written 
5577206    INFO  Test worker     d.u.i.k.p.r.p.StatisticsFile /home/runner/work/key/key/key.core/../key.ui/examples/index/../../../key.core/build/reports/runallproofs/Automode time (ms).sum.properties is written 
5577206    INFO  Test worker     d.u.i.k.p.r.p.StatisticsFile /home/runner/work/key/key/key.core/../key.ui/examples/index/../../../key.core/build/reports/runallproofs/Automode time (ms).avg.properties is written 
5577206    INFO  Test worker     d.u.i.k.p.r.p.StatisticsFile /home/runner/work/key/key/key.core/../key.ui/examples/index/../../../key.core/build/reports/runallproofs/Closed.sum.properties is written 
5577206    INFO  Test worker     d.u.i.k.p.r.p.StatisticsFile /home/runner/work/key/key/key.core/../key.ui/examples/index/../../../key.core/build/reports/runallproofs/Closed.avg.properties is written 
5577206    INFO  Test worker     d.u.i.k.p.r.p.StatisticsFile /home/runner/work/key/key/key.core/../key.ui/examples/index/../../../key.core/build/reports/runallproofs/Time per step (ms).sum.properties is written 
5577206    INFO  Test worker     d.u.i.k.p.r.p.StatisticsFile /home/runner/work/key/key/key.core/../key.ui/examples/index/../../../key.core/build/reports/runallproofs/Time per step (ms).avg.properties is written 
5577207    INFO  Test worker     d.u.i.k.p.r.p.StatisticsFile /home/runner/work/key/key/key.core/../key.ui/examples/index/../../../key.core/build/reports/runallproofs/Total Runtime Memory (kB).sum.properties is written 
5577207    INFO  Test worker     d.u.i.k.p.r.p.StatisticsFile /home/runner/work/key/key/key.core/../key.ui/examples/index/../../../key.core/build/reports/runallproofs/Total Runtime Memory (kB).avg.properties is written 
5577207    INFO  Test worker     d.u.i.k.p.r.p.StatisticsFile /home/runner/work/key/key/key.core/../key.ui/examples/index/../../../key.core/build/reports/runallproofs/NumberTestFiles.properties is written