Standard output
80707 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
80707 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
80707 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
80707 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
80707 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
80707 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
80707 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
80707 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
80707 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
80707 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
80707 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
80707 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
80707 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
80707 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
80785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
80801 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.5ms
80801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
80801 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/standardRules.key took 0 ms to parse.
80801 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 168 ms.
80801 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ldt.key took 0 ms to parse.
80801 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 168 ms.
80801 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/boolean.key took 0 ms to parse.
80801 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 168 ms.
80801 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ruleSetsDeclarations.key took 0 ms to parse.
80801 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 168 ms.
80816 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerHeader.key took 15 ms to parse.
80816 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 183 ms.
80816 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatHeader.key took 0 ms to parse.
80816 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 183 ms.
80816 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/heap.key took 0 ms to parse.
80816 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 183 ms.
80816 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/locSets.key took 0 ms to parse.
80816 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 183 ms.
80816 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/permission.key took 0 ms to parse.
80816 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 183 ms.
80816 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/reach.key took 0 ms to parse.
80816 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 183 ms.
80816 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seq.key took 0 ms to parse.
80816 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 183 ms.
80816 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/map.key took 0 ms to parse.
80816 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 183 ms.
80816 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/freeADT.key took 0 ms to parse.
80816 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 183 ms.
80816 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wellfound.key took 0 ms to parse.
80816 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 183 ms.
80816 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/charListHeader.key took 0 ms to parse.
80816 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 183 ms.
80832 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/propRule.key took 0 ms to parse.
80832 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 183 ms.
80832 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/firstOrderRules.key took 0 ms to parse.
80832 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 183 ms.
80848 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ifThenElseRules.key took 0 ms to parse.
80848 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 183 ms.
80863 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/formulaNormalisationRules.key took 0 ms to parse.
80863 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 183 ms.
80879 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/updateRules.key took 0 ms to parse.
80879 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 183 ms.
80894 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerRulesCommon.key took 0 ms to parse.
80894 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 183 ms.
80926 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/intRules.key took 0 ms to parse.
80926 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 183 ms.
80941 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/intRulesUncheckedSemantics.key took 0 ms to parse.
80941 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 183 ms.
80941 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/intRulesCheckedSemantics.key took 0 ms to parse.
80941 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 183 ms.
80957 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/intRulesJavaSemantics.key took 16 ms to parse.
80957 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 199 ms.
80988 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerSimplificationRules.key took 31 ms to parse.
80988 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 230 ms.
81035 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
81035 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
81035 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
81035 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
81051 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/intDiv.key took 0 ms to parse.
81051 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 230 ms.
81113 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/bsum.key took 15 ms to parse.
81113 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 245 ms.
81129 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/bprod.key took 0 ms to parse.
81129 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 245 ms.
81144 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/binaryAxioms.key took 0 ms to parse.
81144 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 245 ms.
81144 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/binaryLemmas.key took 0 ms to parse.
81144 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 245 ms.
81160 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/intPow.key took 16 ms to parse.
81160 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 261 ms.
81160 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatRulesCommon.key took 0 ms to parse.
81160 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 261 ms.
81176 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatRules.key took 0 ms to parse.
81176 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 261 ms.
81176 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatRulesVerifyNormal.key took 0 ms to parse.
81176 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 261 ms.
81176 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatRulesAssumeStrictfp.key took 0 ms to parse.
81176 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 261 ms.
81191 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/genericRules.key took 0 ms to parse.
81191 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 261 ms.
81207 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/booleanRules.key took 0 ms to parse.
81207 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 261 ms.
81207 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/epsilon.key took 0 ms to parse.
81207 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 261 ms.
81223 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/locSetsRules.key took 16 ms to parse.
81223 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 277 ms.
81254 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/heapRules.key took 0 ms to parse.
81254 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 277 ms.
81285 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/permissionRules.key took 0 ms to parse.
81285 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 277 ms.
81301 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/reachRules.key took 0 ms to parse.
81301 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 277 ms.
81301 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seqCoreRules.key took 0 ms to parse.
81301 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 277 ms.
81316 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seqRules.key took 0 ms to parse.
81316 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 277 ms.
81348 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seqPerm.key took 12 ms to parse.
81348 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 289 ms.
81363 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seqPerm2.key took 0 ms to parse.
81363 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 289 ms.
81395 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key took 32 ms to parse.
81395 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 321 ms.
81410 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/assertions.key took 0 ms to parse.
81410 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 321 ms.
81761 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/loopRules.key took 0 ms to parse.
81761 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 321 ms.
81761 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/activeUse.key took 0 ms to parse.
81761 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 321 ms.
81808 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/instanceAllocation.key took 0 ms to parse.
81808 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 321 ms.
81824 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/java5.key took 0 ms to parse.
81824 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 321 ms.
81839 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerAssignment2UpdateRules.key took 0 ms to parse.
81839 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 321 ms.
81871 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatAssignment2UpdateRules.key took 0 ms to parse.
81871 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 321 ms.
81886 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/bigint.key took 0 ms to parse.
81886 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 321 ms.
81902 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
81902 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/adtProgramDecompositionRules.key took 0 ms to parse.
81902 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 321 ms.
81933 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/precRules.key took 15 ms to parse.
81933 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 336 ms.
81933 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/charListRules.key took 0 ms to parse.
81933 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 336 ms.
81949 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/regExTheory.key took 0 ms to parse.
81949 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 336 ms.
81949 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/regExHeader.key took 0 ms to parse.
81949 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 336 ms.
81949 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/regExAxioms.key took 0 ms to parse.
81949 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 336 ms.
81949 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/regExLemmaProven.key took 0 ms to parse.
81949 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 336 ms.
81949 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seqEq.key took 0 ms to parse.
81949 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 336 ms.
81964 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/infFlow.key took 0 ms to parse.
81964 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 336 ms.
81964 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/mapSize.key took 0 ms to parse.
81964 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 336 ms.
81964 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wd.key took 0 ms to parse.
81964 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 336 ms.
81964 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdHeader.key took 0 ms to parse.
81964 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 336 ms.
81964 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdGeneralRules.key took 0 ms to parse.
81964 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 336 ms.
81980 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdNumericalRules.key took 0 ms to parse.
81980 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 336 ms.
81996 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdLocSetRules.key took 0 ms to parse.
82011 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 336 ms.
82011 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdHeapRules.key took 0 ms to parse.
82011 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 336 ms.
82011 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdReachRules.key took 0 ms to parse.
82011 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 336 ms.
82011 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdSeqRules.key took 0 ms to parse.
82011 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 336 ms.
82011 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdStringRules.key took 0 ms to parse.
82011 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 336 ms.
82027 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdRegExRules.key took 16 ms to parse.
82027 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 352 ms.
82027 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key took 0 ms to parse.
82027 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 352 ms.
82027 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/loopInvariantRules.key took 0 ms to parse.
82027 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 352 ms.
82027 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/forLoopRules.key took 0 ms to parse.
82027 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 352 ms.
82043 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/execRules.key took 0 ms to parse.
82043 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 352 ms.
82136 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/loopScopeRules.key took 0 ms to parse.
82136 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 352 ms.
82168 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\localSymbols\doubleSkolem.key took 0 ms to parse.
82168 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 352 ms.
83152 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse.
83152 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 352 ms.
84908 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.12s
84971 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
85033 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 40.3ns
85033 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\localSymbols\doubleSkolem.key took 0 ms to parse.
85033 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 352 ms.
85096 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
85565 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
85690 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''