TestParallelParsing

1

tests

0

failures

0

ignored

10.886s

duration

100%

successful

Tests

Test Duration Result
testLoadingOfTwoDifferentProofFiles() 10.886s passed

Standard output

255339     INFO  Thread-36       d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parser\MultipleRecursion\MultipleRecursion[MultipleRecursion__a()]_JML_normal_behavior_operation_contract_0.proof 
255339     INFO  Thread-37       d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parser\MultipleRecursion\MultipleRecursion[MultipleRecursion__b()]_JML_normal_behavior_operation_contract_0.proof 
255339     DEBUG Thread-36       d.u.i.k.p.i.AbstractProblemLoader Environment load took 461.9ns 
255339     DEBUG Thread-37       d.u.i.k.p.i.AbstractProblemLoader Environment load took 507.4ns 
255339     WARN  Thread-37       d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\parser\MultipleRecursion\MultipleRecursion[MultipleRecursion__b()]_JML_normal_behavior_operation_contract_0.proof took 0 ms to parse. 
255339     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1062 ms. 
255339     INFO  Thread-37       d.u.i.k.p.i.AbstractProblemLoader Creating init config 
255339     WARN  Thread-36       d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\parser\MultipleRecursion\MultipleRecursion[MultipleRecursion__a()]_JML_normal_behavior_operation_contract_0.proof took 0 ms to parse. 
255339     WARN  Thread-36       d.u.i.k.n.ParsingFacade   Parsing time 1062 ms. 
255339     INFO  Thread-36       d.u.i.k.p.i.AbstractProblemLoader Creating init config 
255352     WARN  Thread-37       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. 
255352     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1062 ms. 
255354     INFO  Thread-35       d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parser\MultipleRecursion\MultipleRecursion[MultipleRecursion__a()]_JML_normal_behavior_operation_contract_0.proof 
255355     DEBUG Thread-35       d.u.i.k.p.i.AbstractProblemLoader Environment load took 421.6ns 
255356     WARN  Thread-37       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. 
255356     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1062 ms. 
255357     WARN  Thread-37       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. 
255357     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1062 ms. 
255358     WARN  Thread-37       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 1 ms to parse. 
255358     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1063 ms. 
255359     WARN  Thread-37       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 0 ms to parse. 
255359     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1063 ms. 
255360     WARN  Thread-37       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. 
255360     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1063 ms. 
255360     WARN  Thread-37       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. 
255360     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1063 ms. 
255360     WARN  Thread-37       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. 
255360     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1063 ms. 
255361     WARN  Thread-37       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. 
255361     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1063 ms. 
255361     WARN  Thread-37       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. 
255361     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1063 ms. 
255362     WARN  Thread-37       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. 
255362     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1063 ms. 
255363     WARN  Thread-37       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 1 ms to parse. 
255363     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1064 ms. 
255363     WARN  Thread-37       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. 
255363     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1064 ms. 
255363     WARN  Thread-37       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. 
255363     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1064 ms. 
255363     WARN  Thread-37       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. 
255363     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1064 ms. 
255369     WARN  Thread-37       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. 
255369     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1064 ms. 
255372     WARN  Thread-37       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. 
255372     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1064 ms. 
255375     WARN  Thread-37       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 1 ms to parse. 
255375     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1065 ms. 
255381     WARN  Thread-37       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 3 ms to parse. 
255381     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1068 ms. 
255391     WARN  Thread-37       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 2 ms to parse. 
255391     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1070 ms. 
255393     WARN  Thread-37       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. 
255393     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1070 ms. 
255399     WARN  Thread-37       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 1 ms to parse. 
255399     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1071 ms. 
255403     WARN  Thread-37       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 1 ms to parse. 
255403     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1072 ms. 
255405     WARN  Thread-37       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. 
255405     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1072 ms. 
255407     WARN  Thread-37       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 0 ms to parse. 
255407     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1072 ms. 
255420     WARN  Thread-37       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 10 ms to parse. 
255420     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1082 ms. 
255444     DEBUG Thread-37       d.u.i.k.j.TypeConverter   No LDT found for Meta 
255444     DEBUG Thread-37       d.u.i.k.j.TypeConverter   No LDT found for Meta 
255445     DEBUG Thread-37       d.u.i.k.j.TypeConverter   No LDT found for Meta 
255445     DEBUG Thread-37       d.u.i.k.j.TypeConverter   No LDT found for Meta 
255456     WARN  Thread-37       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 2 ms to parse. 
255456     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1084 ms. 
255467     WARN  Thread-37       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 4 ms to parse. 
255467     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1088 ms. 
255479     WARN  Thread-37       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 1 ms to parse. 
255479     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1089 ms. 
255484     WARN  Thread-37       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. 
255484     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1089 ms. 
255486     WARN  Thread-37       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 1 ms to parse. 
255486     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1090 ms. 
255489     WARN  Thread-37       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 1 ms to parse. 
255489     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1091 ms. 
255494     WARN  Thread-37       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 2 ms to parse. 
255494     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1093 ms. 
255503     WARN  Thread-37       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. 
255503     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1093 ms. 
255504     WARN  Thread-37       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. 
255504     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1093 ms. 
255505     WARN  Thread-37       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 1 ms to parse. 
255505     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1094 ms. 
255510     WARN  Thread-37       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. 
255510     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1094 ms. 
255514     WARN  Thread-37       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 1 ms to parse. 
255514     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1095 ms. 
255515     WARN  Thread-37       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. 
255515     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1095 ms. 
255520     WARN  Thread-37       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 4 ms to parse. 
255520     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1099 ms. 
255536     WARN  Thread-37       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 3 ms to parse. 
255536     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1102 ms. 
255549     WARN  Thread-37       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 2 ms to parse. 
255549     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1104 ms. 
255555     WARN  Thread-35       d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\parser\MultipleRecursion\MultipleRecursion[MultipleRecursion__a()]_JML_normal_behavior_operation_contract_0.proof took 0 ms to parse. 
255555     WARN  Thread-35       d.u.i.k.n.ParsingFacade   Parsing time 1104 ms. 
255559     INFO  Thread-35       d.u.i.k.p.i.AbstractProblemLoader Creating init config 
255569     WARN  Thread-37       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 2 ms to parse. 
255569     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1106 ms. 
255575     WARN  Thread-37       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. 
255575     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1106 ms. 
255580     WARN  Thread-37       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 4 ms to parse. 
255580     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1110 ms. 
255592     WARN  Thread-37       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 2 ms to parse. 
255592     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1112 ms. 
255600     WARN  Thread-37       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 1 ms to parse. 
255600     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1113 ms. 
255613     WARN  Thread-37       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 12 ms to parse. 
255613     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1125 ms. 
255619     WARN  Thread-37       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. 
255620     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1125 ms. 
255776     WARN  Thread-37       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. 
255776     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1125 ms. 
255782     INFO  Thread-38       d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parser\MultipleRecursion\MultipleRecursion[MultipleRecursion__b()]_JML_normal_behavior_operation_contract_0.proof 
255782     DEBUG Thread-38       d.u.i.k.p.i.AbstractProblemLoader Environment load took 486ns 
255783     WARN  Thread-38       d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\parser\MultipleRecursion\MultipleRecursion[MultipleRecursion__b()]_JML_normal_behavior_operation_contract_0.proof took 0 ms to parse. 
255783     WARN  Thread-38       d.u.i.k.n.ParsingFacade   Parsing time 1125 ms. 
255786     INFO  Thread-38       d.u.i.k.p.i.AbstractProblemLoader Creating init config 
255789     WARN  Thread-37       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 9 ms to parse. 
255789     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1134 ms. 
255813     WARN  Thread-37       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 1 ms to parse. 
255813     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1135 ms. 
255821     WARN  Thread-37       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. 
255821     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1135 ms. 
255824     WARN  Thread-37       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 2 ms to parse. 
255824     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1137 ms. 
255840     WARN  Thread-37       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 1 ms to parse. 
255840     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1138 ms. 
255852     WARN  Thread-37       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. 
255853     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1138 ms. 
255858     DEBUG Thread-37       d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
255861     WARN  Thread-37       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 1 ms to parse. 
255861     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1139 ms. 
255873     WARN  Thread-37       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 1 ms to parse. 
255873     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1140 ms. 
255875     WARN  Thread-37       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 1 ms to parse. 
255875     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1141 ms. 
255881     WARN  Thread-37       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. 
255881     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1141 ms. 
255882     WARN  Thread-37       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 1 ms to parse. 
255882     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1142 ms. 
255882     WARN  Thread-37       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. 
255882     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1142 ms. 
255884     WARN  Thread-37       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. 
255884     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1142 ms. 
255887     WARN  Thread-37       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 1 ms to parse. 
255887     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1143 ms. 
255890     WARN  Thread-37       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. 
255890     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1143 ms. 
255892     WARN  Thread-37       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. 
255892     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1143 ms. 
255894     WARN  Thread-37       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. 
255894     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1143 ms. 
255895     WARN  Thread-37       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. 
255895     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1143 ms. 
255895     WARN  Thread-37       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. 
255895     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1143 ms. 
255900     WARN  Thread-37       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 2 ms to parse. 
255900     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1145 ms. 
255911     WARN  Thread-37       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 1 ms to parse. 
255911     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1146 ms. 
255914     WARN  Thread-37       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 1 ms to parse. 
255914     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1147 ms. 
255915     WARN  Thread-37       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. 
255915     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1147 ms. 
255916     WARN  Thread-37       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. 
255916     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1147 ms. 
255918     WARN  Thread-37       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. 
255918     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1147 ms. 
255920     WARN  Thread-37       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 1 ms to parse. 
255920     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1148 ms. 
255923     WARN  Thread-37       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 2 ms to parse. 
255923     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1150 ms. 
255928     WARN  Thread-37       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. 
255928     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1150 ms. 
255930     WARN  Thread-37       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. 
255930     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1150 ms. 
255933     WARN  Thread-37       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 2 ms to parse. 
255933     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1152 ms. 
255980     WARN  Thread-37       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 1 ms to parse. 
255980     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
256973     WARN  Thread-37       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. 
256973     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
258689     DEBUG Thread-37       d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 
258861     INFO  Thread-37       d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0 
258876     DEBUG Thread-37       d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.56ms 
258876     WARN  Thread-37       d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\parser\MultipleRecursion\MultipleRecursion[MultipleRecursion__b()]_JML_normal_behavior_operation_contract_0.proof took 0 ms to parse. 
258876     WARN  Thread-37       d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
259543     WARN  Thread-38       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. 
259543     WARN  Thread-38       d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
261195     DEBUG Thread-38       d.u.i.k.p.i.AbstractProblemLoader Init config took 5.42s 
261305     INFO  Thread-38       d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::b()].JML normal_behavior operation contract.0 
261383     DEBUG Thread-38       d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 77.12ms 
261383     WARN  Thread-38       d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\parser\MultipleRecursion\MultipleRecursion[MultipleRecursion__b()]_JML_normal_behavior_operation_contract_0.proof took 0 ms to parse. 
261383     WARN  Thread-38       d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
262026     WARN  Thread-35       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. 
262026     WARN  Thread-35       d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
263662     DEBUG Thread-35       d.u.i.k.p.i.AbstractProblemLoader Init config took 8.11s 
263755     INFO  Thread-35       d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0 
263787     DEBUG Thread-35       d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 37.78ms 
263787     WARN  Thread-35       d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\parser\MultipleRecursion\MultipleRecursion[MultipleRecursion__a()]_JML_normal_behavior_operation_contract_0.proof took 0 ms to parse. 
263787     WARN  Thread-35       d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
264508     WARN  Thread-36       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. 
264508     WARN  Thread-36       d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
266179     DEBUG Thread-36       d.u.i.k.p.i.AbstractProblemLoader Init config took 10.84s 
266226     INFO  Thread-36       d.u.i.k.p.i.AbstractProblemLoader Replaying proof MultipleRecursion[MultipleRecursion::a()].JML normal_behavior operation contract.0 
266226     DEBUG Thread-36       d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.33ms 
266226     WARN  Thread-36       d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\parser\MultipleRecursion\MultipleRecursion[MultipleRecursion__a()]_JML_normal_behavior_operation_contract_0.proof took 0 ms to parse. 
266226     WARN  Thread-36       d.u.i.k.n.ParsingFacade   Parsing time 1153 ms.