Standard output
loading /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/sitaRearrange.zproof
[15:10:29.817] ?[31mWARN ?[0;39m ?[36mProofIndependentSettings?[0;39m - The settings in /home/runner/.key/proofIndependentSettings.props are *not* read due to flag 'key.disregardSettings'
[15:10:29.971] ?[31mWARN ?[0;39m ?[36mProofSettings?[0;39m - The settings in /home/runner/.key/proof-settings.props are *not* read.
[15:10:41.798] ?[34mINFO ?[0;39m ?[36mKeyStrokeSettings?[0;39m - Save keyboard shortcuts to: /home/runner/.key/keystrokes.properties
loading /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/ifThenElseSplit.proof
loading /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/ifThenElseSplit.proof
[15:11:01.236] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 2 and 3
loading /tmp/KeYslice10831598932539853512/ifThenElseSplit_slice1.proof
[15:11:09.445] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 3 and 4
loading /tmp/KeYslice1369811848861581762/ifThenElseSplit_slice2.proof
[15:11:17.391] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 4 and 5
loading /tmp/KeYslice10501727260062904776/ifThenElseSplit_slice3.proof
[15:11:25.337] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 5 and 6
loading /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/deduplicateCheck4.proof
loading /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/exampleDuplicate.proof
[15:11:41.349] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 2 and 3
loading /tmp/KeYslice3128342615382593092/exampleDuplicate_slice1.proof
[15:11:49.222] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 3 and 4
loading /tmp/KeYslice6693259496211560020/exampleDuplicate_slice2.proof
[15:11:57.065] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 4 and 5
loading /tmp/KeYslice4752354647072601660/exampleDuplicate_slice3.proof
loading /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/exampleDuplicateOpen.proof
[15:12:12.812] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 2 and 3
loading /tmp/KeYslice17061281668766814934/exampleDuplicateOpen_slice1.proof
[15:12:20.689] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 3 and 4
loading /tmp/KeYslice13920270886152424509/exampleDuplicateOpen_slice2.proof
[15:12:28.553] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 4 and 5
loading /tmp/KeYslice4943360391652894538/exampleDuplicateOpen_slice3.proof
loading /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/cutExample.proof
loading /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/agathaOpenGoal.proof
loading /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/openGoal1.proof
loading /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/openGoal2.proof
loading /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/agatha.proof
loading /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/removeDuplicates.zproof
loading /tmp/KeYslice2783052199418198840/RemoveDup(RemoveDup__removeDup((I)).JML normal_behavior operation contract.0_slice1.proof
loading /tmp/KeYslice1825677124529364701/RemoveDup(RemoveDup__removeDup((I)).JML normal_behavior operation contract.0_slice2.proof
loading /tmp/KeYslice12149946778621626296/RemoveDup(RemoveDup__removeDup((I)).JML normal_behavior operation contract.0_slice3.proof