Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest

all > de.uka.ilkd.key.smt.newsmt2 > MasterHandlerTest
tests
failures
ignored
0.351s
duration
100%
successful
Tests
Standard error
Tests

Test	Method name	Duration	Result
[10] float.sinDouble.props	testTranslation(TestData)[10]	0.010s	passed
[11] float.sqrt1.props	testTranslation(TestData)[11]	0.007s	passed
[12] float.sqrt2.props	testTranslation(TestData)[12]	0.003s	passed
[13] float1.props	testTranslation(TestData)[13]	0.001s	passed
[14] float2.props	testTranslation(TestData)[14]	0.002s	passed
[15] heap1.props	testTranslation(TestData)[15]	0.001s	passed
[16] int1.props	testTranslation(TestData)[16]	0.002s	passed
[17] ite1.props	testTranslation(TestData)[17]	0.002s	passed
[18] quant1.props	testTranslation(TestData)[18]	0.001s	passed
[19] quant2.props	testTranslation(TestData)[19]	0s	passed
[1] bool1.props	testTranslation(TestData)[1]	0.002s	passed
[20] types1.props	testTranslation(TestData)[20]	0.002s	passed
[21] types2.props	testTranslation(TestData)[21]	0.001s	passed
[22] uninterpreted1.props	testTranslation(TestData)[22]	0.014s	passed
[23] upd1.props	testTranslation(TestData)[23]	0.001s	passed
[24] upd2.props	testTranslation(TestData)[24]	0.003s	passed
[2] bool2.props	testTranslation(TestData)[2]	0.021s	passed
[3] bool3.props	testTranslation(TestData)[3]	0.001s	passed
[4] cast1.props	testTranslation(TestData)[4]	0.010s	passed
[5] cast2.props	testTranslation(TestData)[5]	0.001s	passed
[6] cast3.props	testTranslation(TestData)[6]	0.006s	passed
[7] ex1.props	testTranslation(TestData)[7]	0.001s	passed
[8] ex2.props	testTranslation(TestData)[8]	0.003s	passed
[9] float.eq.props	testTranslation(TestData)[9]	0.001s	passed
[10] float.sinDouble.props	testZ3(TestData)[10]	-	ignored
[11] float.sqrt1.props	testZ3(TestData)[11]	-	ignored
[12] float.sqrt2.props	testZ3(TestData)[12]	-	ignored
[13] float1.props	testZ3(TestData)[13]	-	ignored
[14] float2.props	testZ3(TestData)[14]	-	ignored
[15] heap1.props	testZ3(TestData)[15]	-	ignored
[16] int1.props	testZ3(TestData)[16]	-	ignored
[17] ite1.props	testZ3(TestData)[17]	-	ignored
[18] quant1.props	testZ3(TestData)[18]	-	ignored
[19] quant2.props	testZ3(TestData)[19]	-	ignored
[1] bool1.props	testZ3(TestData)[1]	-	ignored
[20] types1.props	testZ3(TestData)[20]	-	ignored
[21] types2.props	testZ3(TestData)[21]	-	ignored
[22] uninterpreted1.props	testZ3(TestData)[22]	-	ignored
[23] upd1.props	testZ3(TestData)[23]	-	ignored
[24] upd2.props	testZ3(TestData)[24]	-	ignored
[2] bool2.props	testZ3(TestData)[2]	-	ignored
[3] bool3.props	testZ3(TestData)[3]	-	ignored
[4] cast1.props	testZ3(TestData)[4]	-	ignored
[5] cast2.props	testZ3(TestData)[5]	-	ignored
[6] cast3.props	testZ3(TestData)[6]	-	ignored
[7] ex1.props	testZ3(TestData)[7]	-	ignored
[8] ex2.props	testZ3(TestData)[8]	-	ignored
[9] float.eq.props	testZ3(TestData)[9]	-	ignored
Standard error

990868     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props5797330617504672282.key 
990868     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.1ns 
990868     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
991268     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ pure @*/
boolean, formerNode: boolean 
991283     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
991346     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
991346     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: boolean 
991346     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
991361     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
991361     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
991377     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: {
    //@ set message = arg0;
    //@ set cause = arg1;
}, formerNode: {
} 
991393     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
991424     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
991424     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
992831     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
992847     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
992863     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
992863     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
996687     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: #jcsystemType, formerNode: #jcsystemType 
996765     ERROR Test worker     d.u.i.k.j.JavaService     Error in (line 1,col 5) 'ghost' is not allowed here.. 
996765     ERROR Test worker     d.u.i.k.j.JavaService     Error in (line 1,col 5) 'ghost' is not allowed here.. 
996765     ERROR Test worker     d.u.i.k.j.JavaService     Error in (line 1,col 5) 'ghost' is not allowed here.. 
996765     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.ClassCastException: null

996765     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:506:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.ClassCastException: null

996782     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.ClassCastException: null

996782     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:523:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.ClassCastException: null

996782     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.ClassCastException: null

996782     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:546:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.ClassCastException: null

996782     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.ClassCastException: null

996782     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:590:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.ClassCastException: null

996782     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.ClassCastException: null

996782     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:596:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.ClassCastException: null

996782     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.ClassCastException: null

996782     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:605:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.ClassCastException: null

996782     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.ClassCastException: null

996782     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:613:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.ClassCastException: null

996782     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.ClassCastException: null

996782     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:622:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.ClassCastException: null

996782     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.ClassCastException: null

996782     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:630:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.ClassCastException: null

996782     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.ClassCastException: null

996782     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:639:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.ClassCastException: null

996782     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.ClassCastException: null

996782     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:647:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.ClassCastException: null

996797     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.ClassCastException: null

996797     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:656:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.ClassCastException: null

996797     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.ClassCastException: null

996797     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:664:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.ClassCastException: null

996797     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.ClassCastException: null

996797     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:673:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.ClassCastException: null

996797     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.ClassCastException: null

996797     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:681:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.ClassCastException: null

996797     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.ClassCastException: null

996797     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:693:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.ClassCastException: null

996797     ERROR Test worker     d.u.i.k.n.b.AbstractBuilder  java.lang.ClassCastException: null

996797     ERROR Test worker     d.u.i.k.n.b.TacletPBuilder Error in parsing taclet. de.uka.ilkd.key.util.parsing.BuildingException: null at file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key:701:15
	at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:54)
Caused by: java.lang.ClassCastException: null

996984     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: #nse instanceof #t, formerNode: other instanceof String 
996984     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: #v0 instanceof #t, formerNode: other instanceof String 
996984     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: #v = #v0 instanceof #t, formerNode: #v = #nse instanceof #t 
997194     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: #lhs = false;, formerNode: #lhs = false 
997194     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: #lhs = #nseBool1;, formerNode: #lhs = #nseBool1 
997209     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: #lhs = true;, formerNode: #lhs = true 
997553     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: #t, formerNode: #t 
997631     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: this[#v] = #lit;, formerNode: this[#v] = #lit 
997725     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: #n, formerNode: #n 
997772     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: #na, formerNode: #na 
997772     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: #arrayinitializer, formerNode: #arrayinitializer 
998148     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
998195     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: \indexOf(#seLeft, #vRightNew), formerNode: \indexOf(#seLeft, #nseRight) 
998195     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: #v = \indexOf(#seLeft, #vRightNew), formerNode: #v = \indexOf(#seLeft, #nseRight) 
999727     ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: #se instanceof #t, formerNode: other instanceof String 
1000024    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1000055    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1000055    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1000055    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1000055    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1000055    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1000055    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1000071    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1000087    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1000124    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1000144    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 9.29s 
1000175    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props5797330617504672282.key 
1000175    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 
1000193    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props18422847254546820968.key 
1000193    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.7ns 
1000193    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1000303    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1000334    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1000350    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1000350    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1000350    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1000350    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1000350    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1000365    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1000365    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1000397    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1000428    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 242.99ms 
1000444    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props18422847254546820968.key 
1000460    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 
1000460    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props9855191257290850843.key 
1000460    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 140ns 
1000460    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1000569    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1000600    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1000600    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1000600    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1000600    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1000600    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1000600    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1000616    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1000616    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1000652    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1000684    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 225.28ms 
1000699    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props9855191257290850843.key 
1000699    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 
1000715    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props7776134568209614023.key 
1000715    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.8ns 
1000715    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1000817    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1000849    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1000849    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1000849    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1000849    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1000849    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1000849    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1000864    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1000880    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1000896    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1000927    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 222.52ms 
1000942    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props7776134568209614023.key 
1000942    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 
1000958    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props4526960539592412397.key 
1000958    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 283.1ns 
1000958    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1001052    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1001099    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1001099    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1001099    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1001099    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1001099    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1001099    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1001114    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1001114    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1001146    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1001177    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 226.44ms 
1001208    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props4526960539592412397.key 
1001208    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 
1001208    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props2789786121193759442.key 
1001208    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.5ns 
1001208    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1001458    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1001505    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1001505    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1001505    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1001505    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1001505    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1001505    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1001521    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1001521    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1001552    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1001631    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 419.59ms 
1001647    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props2789786121193759442.key 
1001662    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 
1001678    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props16428202434585187608.key 
1001678    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 313ns 
1001678    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1001881    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1001928    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1001928    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1001928    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1001943    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1001943    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1001943    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1001959    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1001959    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1002022    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1002053    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 388.41ms 
1002100    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props16428202434585187608.key 
1002100    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 
1002131    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props4924040615534675162.key 
1002131    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.9ns 
1002131    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1002494    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1002538    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1002538    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1002538    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1002538    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1002538    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1002538    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1002569    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1002569    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1002601    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1002632    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 503.78ms 
1002648    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props4924040615534675162.key 
1002663    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 
1002663    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props2764629922943059473.key 
1002663    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.7ns 
1002663    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1002866    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1003007    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1003023    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1003023    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1003023    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1003023    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1003023    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1003038    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1003038    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1003069    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1003117    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 447.64ms 
1003304    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props2764629922943059473.key 
1003351    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 
1003367    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props3227528169193173856.key 
1003367    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.8ns 
1003367    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1003663    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1003695    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1003695    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1003695    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1003695    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1003710    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1003710    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1003726    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1003726    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1003757    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1003804    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 432.67ms 
1003820    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props3227528169193173856.key 
1003835    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 
1003835    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props4800506293696514105.key 
1003835    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 306.2ns 
1003835    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1003960    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1003992    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1004007    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1004007    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1004007    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1004007    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1004007    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1004070    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1004085    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1004226    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1004257    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 413.77ms 
1004351    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props4800506293696514105.key 
1004351    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 
1004368    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props9208220034430212761.key 
1004368    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 123.5ns 
1004368    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1004476    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1004508    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1004508    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1004508    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1004508    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1004508    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1004523    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1004539    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1004539    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1004570    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1004633    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 278.09ms 
1004648    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props9208220034430212761.key 
1004711    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 
1004726    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props16161885436809086502.key 
1004726    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 375.3ns 
1004726    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1004836    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1004867    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1004867    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1004867    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1004867    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1004883    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1004883    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1004898    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1004898    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1004929    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1004961    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 234.66ms 
1004976    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props16161885436809086502.key 
1004976    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26ns 
1004991    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props13090981140133479425.key 
1004991    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.6ns 
1004991    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1005094    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1005125    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1005125    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1005125    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1005125    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1005125    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1005125    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1005140    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1005156    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1005172    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1005203    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 225.98ms 
1005219    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props13090981140133479425.key 
1005219    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 
1005234    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props17366962993568310668.key 
1005234    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.9ns 
1005234    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1005328    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1005359    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1005359    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1005359    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1005359    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1005375    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1005375    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1005392    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1005392    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1005423    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1005454    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 226.89ms 
1005470    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props17366962993568310668.key 
1005485    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 
1005501    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props11039962584249810275.key 
1005501    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 123.7ns 
1005501    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1005595    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1005626    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1005642    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1005642    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1005642    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1005642    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1005642    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1005657    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1005657    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1005689    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1005720    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 224.68ms 
1005735    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props11039962584249810275.key 
1005735    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 
1005735    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props2205223192156697649.key 
1005735    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 112.9ns 
1005735    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1005848    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1005879    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1005879    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1005879    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1005879    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1006014    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1006016    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1006032    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1006032    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1006063    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1006094    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 348.27ms 
1006094    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props2205223192156697649.key 
1006110    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 
1006110    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props1284773333221336879.key 
1006110    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.1ns 
1006110    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1006350    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1006382    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1006382    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1006382    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1006382    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1006382    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1006382    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1006397    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1006413    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1006429    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1006466    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 359.19ms 
1006482    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props1284773333221336879.key 
1006482    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 
1006482    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props6181255836875606105.key 
1006482    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 271.4ns 
1006482    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1006591    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1006622    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1006622    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1006622    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1006622    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1006622    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1006638    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1006654    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1006654    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1006685    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1006716    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 228.24ms 
1006732    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props6181255836875606105.key 
1006732    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 
1006732    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
1006732    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
1006732    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
1006732    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
1006747    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props8195321558691838259.key 
1006747    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.9ns 
1006747    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1006849    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1006881    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1006881    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1006881    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1006881    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1006881    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1006881    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1006896    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1006896    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1006927    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1006959    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 222.73ms 
1006974    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props8195321558691838259.key 
1006974    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 
1006990    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props2457768373916920457.key 
1006990    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 188ns 
1006990    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1007084    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1007115    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1007115    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1007115    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1007115    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1007131    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1007131    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1007146    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1007146    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1007177    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1007209    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 228.24ms 
1007224    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props2457768373916920457.key 
1007224    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 
1007240    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props3201670230447897795.key 
1007240    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.9ns 
1007240    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1007348    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1007395    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1007395    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1007395    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1007395    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1007395    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1007395    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1007411    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1007411    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1007442    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1007485    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 245.73ms 
1007503    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props3201670230447897795.key 
1007503    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 
1007503    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props12316668308923287550.key 
1007503    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.5ns 
1007503    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1007597    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1007644    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1007644    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1007644    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1007644    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1007644    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1007644    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1007659    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1007659    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1007688    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1007735    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 230.06ms 
1007750    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props12316668308923287550.key 
1007750    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 
1007750    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props16404356635510975081.key 
1007750    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.3ns 
1007750    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1007866    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1007897    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1007897    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1007897    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1007897    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1007897    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1007897    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1007913    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1007913    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1007944    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1007991    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 228.47ms 
1008006    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props16404356635510975081.key 
1008006    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 
1008273    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props8943713173660298881.key 
1008273    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.2ns 
1008273    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1008382    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1008414    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1008414    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1008414    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1008414    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1008414    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1008414    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1008445    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1008445    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1008461    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1008508    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 223.2ms 
1008524    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props8943713173660298881.key 
1008524    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 
1008524    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props3908279405802824444.key 
1008524    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 115ns 
1008524    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1008633    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1008664    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1008664    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1008664    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1008664    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1008664    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1008664    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1008680    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1008680    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1008711    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1008758    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 227.08ms 
1008774    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props3908279405802824444.key 
1008774    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 
1008774    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props2380119990308105135.key 
1008774    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 193ns 
1008774    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1008883    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1008914    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1008914    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1008914    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1008914    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1008914    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1008914    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1008930    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1008930    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1008961    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1008992    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 224.47ms 
1009008    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props2380119990308105135.key 
1009024    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 
1009024    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props17978193678150765659.key 
1009024    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 115.4ns 
1009024    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1009122    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1009169    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1009169    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1009169    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1009169    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1009169    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1009169    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1009325    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1009325    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1009356    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1009388    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 359.19ms 
1009388    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props17978193678150765659.key 
1009403    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 
1009403    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props14325157501274125245.key 
1009403    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 113.9ns 
1009403    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1009497    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1009528    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1009544    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1009544    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1009544    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1009544    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1009544    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1009560    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1009560    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1009591    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1009622    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 226.63ms 
1009638    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props14325157501274125245.key 
1009653    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 
1009653    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props6854475377027124640.key 
1009653    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 119.8ns 
1009653    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1009748    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1009794    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1009794    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1009794    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1009794    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1009794    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1009794    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1009810    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1009810    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1009841    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1009873    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 223.76ms 
1009888    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props6854475377027124640.key 
1009888    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 
1009888    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props14472538862683400606.key 
1009888    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 121ns 
1009888    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1010003    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1010034    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1010034    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1010034    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1010034    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1010034    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1010034    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1010050    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1010050    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1010081    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1010112    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 222.33ms 
1010128    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props14472538862683400606.key 
1010128    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 
1010145    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props6645074079845753720.key 
1010145    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 121.2ns 
1010145    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1010248    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1010279    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1010279    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1010279    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1010279    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1010279    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1010279    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1010294    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1010294    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1010326    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1010357    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 223.22ms 
1010373    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props6645074079845753720.key 
1010373    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 
1010388    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props4738969962230534037.key 
1010388    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.6ns 
1010388    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1010483    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1010679    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1010679    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1010679    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1010679    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1010695    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1010695    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1010711    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1010711    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1010742    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1010773    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 391.05ms 
1010789    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props4738969962230534037.key 
1010789    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 
1010789    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props2419278868205867016.key 
1010789    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.2ns 
1010789    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1010905    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1010936    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1010936    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1010936    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1010936    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1010936    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1010936    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1010952    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1010952    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1010983    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1011014    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 223.26ms 
1011030    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props2419278868205867016.key 
1011030    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 
1011030    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props15987627216241564018.key 
1011030    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 111.5ns 
1011045    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1011151    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1011182    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1011182    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1011182    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1011182    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1011182    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1011182    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1011198    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1011214    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1011229    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1011260    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 229.95ms 
1011276    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props15987627216241564018.key 
1011276    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 
1011292    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props4511160313056825388.key 
1011292    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 114.3ns 
1011292    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1011392    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1011423    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1011423    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1011423    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1011423    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1011423    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1011438    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1011454    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1011454    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1011486    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1011517    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 225.56ms 
1011532    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props4511160313056825388.key 
1011532    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 
1011532    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props2751807524595992671.key 
1011532    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.6ns 
1011532    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1011642    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1011673    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1011673    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1011673    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1011673    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1011673    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1011673    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1011689    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1011704    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1011720    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1011751    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 222.8ms 
1011767    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props2751807524595992671.key 
1011767    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 
1011782    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props736093333760927838.key 
1011782    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 126.2ns 
1011782    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1011885    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1011916    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1011916    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1011916    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1011916    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1011916    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1011916    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1011932    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1011948    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1011963    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1012010    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 225.68ms 
1012010    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props736093333760927838.key 
1012010    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 
1012027    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props14891780535442893354.key 
1012027    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.8ns 
1012027    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1012120    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1012152    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1012167    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1012167    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1012167    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1012167    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1012167    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1012183    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1012183    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1012214    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1012245    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 230.99ms 
1012277    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props14891780535442893354.key 
1012277    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 
1012292    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props6712502436798222503.key 
1012292    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 122ns 
1012292    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1012386    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1012417    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1012433    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1012433    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1012433    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1012433    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1012433    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1012448    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1012448    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1012480    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1012514    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 222.23ms 
1012527    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props6712502436798222503.key 
1012527    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 
1012527    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props8476349865815192154.key 
1012527    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.7ns 
1012527    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1012637    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1012668    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1012668    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1012668    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1012668    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1012668    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1012668    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1012684    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1012684    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1012715    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1012746    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 221.42ms 
1012762    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props8476349865815192154.key 
1012762    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 
1012762    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props16181470879115978805.key 
1012762    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 114.3ns 
1012762    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1012878    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1012909    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1012909    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1012909    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1012909    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1012909    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1013065    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1013087    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1013087    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1013118    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1013149    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 380.91ms 
1013165    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props16181470879115978805.key 
1013165    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 
1013165    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props13546044853968123637.key 
1013165    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 108.2ns 
1013165    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1013280    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1013311    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1013311    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1013311    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1013311    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1013311    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1013311    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1013326    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1013326    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1013358    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1013389    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 225.62ms 
1013414    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props13546044853968123637.key 
1013414    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 
1013414    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
1013414    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
1013414    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
1013414    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
1013414    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props14221556293896267577.key 
1013414    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 119.5ns 
1013414    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1013529    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1013560    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1013560    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1013560    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1013560    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1013560    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1013560    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1013576    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1013576    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1013607    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1013638    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 222.07ms 
1013654    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props14221556293896267577.key 
1013654    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 
1013669    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props1860368499469412215.key 
1013669    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 110.4ns 
1013669    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1013927    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1013974    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1013974    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1013974    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1013974    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1013974    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1013974    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1013990    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1013990    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1014021    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1014068    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 397.74ms 
1014084    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props1860368499469412215.key 
1014084    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 
1014084    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props7299519197239459267.key 
1014084    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 124.4ns 
1014084    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1014209    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1014240    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1014240    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1014240    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1014256    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1014256    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1014256    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1014271    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1014271    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1014302    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1014349    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 270.19ms 
1014381    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props7299519197239459267.key 
1014381    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 
1014381    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props17484540786860074102.key 
1014381    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 276ns 
1014381    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1014506    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1014537    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1014537    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1014537    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1014537    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1014537    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1014553    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1014569    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1014569    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1014600    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1014632    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 254.32ms 
1014663    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props17484540786860074102.key 
1014663    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 
1014663    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props14902378424645711866.key 
1014663    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.6ns 
1014663    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1014788    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
1014819    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
1014835    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
1014835    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
1014835    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
1014835    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
1014835    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
1014850    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
1014850    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
1014882    ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String 
1014928    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 255.56ms 
1014944    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props14902378424645711866.key 
1014944    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 
1014960    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props16270194021576159189.smt2 
1014975    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props10187451636845970343.smt2 
1014975    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props8930518860804513037.smt2 
1014991    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props3852615649045482191.smt2 
1014991    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props3993801384271455055.smt2 
1014991    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props8186660885207313472.smt2 
1015007    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props9125314900574092921.smt2 
1015007    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props5017157163465664302.smt2 
1015007    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props12634143400488874782.smt2 
1015007    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props11349791719529014322.smt2 
1015022    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props17201454088310503700.smt2 
1015038    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props4071792151013813738.smt2 
1015038    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props5843217305447027785.smt2 
1015038    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props9728848454999665592.smt2 
1015038    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props17351572877735994671.smt2 
1015038    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props15447286552537019289.smt2 
1015038    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props16264500089958512380.smt2 
1015038    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props14188643040781307243.smt2 
1015038    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props127055928096905581.smt2 
1015053    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props454297798741079532.smt2 
1015053    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props7173110990628986789.smt2 
1015053    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props11713201535577662605.smt2 
1015069    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props13130420995310012083.smt2 
1015069    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props4147157648935551930.smt2