40925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\gcd.closed.proof
40925 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 427.5ns
40925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
41143 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean
41143 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Object, formerNode: java.lang.Object
41143 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Object, formerNode: java.lang.Object
41143 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Annotation, formerNode: Annotation
41143 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ArithmeticException, formerNode: ArithmeticException
41143 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ArrayIndexOutOfBoundsException, formerNode: ArrayIndexOutOfBoundsException
41143 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ArrayStoreException, formerNode: ArrayStoreException
41143 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: AssertionError, formerNode: AssertionError
41143 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Character, formerNode: Character
41161 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Class, formerNode: java.lang.Class
41161 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Class, formerNode: java.lang.Class
41161 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ClassCastException, formerNode: ClassCastException
41161 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: CloneNotSupportedException, formerNode: CloneNotSupportedException
41161 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Cloneable, formerNode: Cloneable
41161 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Comparable, formerNode: Comparable
41161 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Double, formerNode: Double
41161 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Enum, formerNode: java.lang.Enum
41161 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Enum, formerNode: java.lang.Enum
41161 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Error, formerNode: Error
41161 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Exception, formerNode: Exception
41161 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ExceptionInInitializerError, formerNode: java.lang.ExceptionInInitializerError
41161 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ExceptionInInitializerError, formerNode: java.lang.ExceptionInInitializerError
41175 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Float, formerNode: Float
41175 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: IllegalArgumentException, formerNode: IllegalArgumentException
41175 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: IndexOutOfBoundsException, formerNode: IndexOutOfBoundsException
41175 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Integer, formerNode: java.lang.Integer
41191 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Integer, formerNode: java.lang.Integer
41191 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: InterruptedException, formerNode: InterruptedException
41191 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Iterable, formerNode: Iterable
41191 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: LinkageError, formerNode: LinkageError
41191 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Math, formerNode: Math
41191 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: NegativeArraySizeException, formerNode: NegativeArraySizeException
41191 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: NoClassDefFoundError, formerNode: java.lang.NoClassDefFoundError
41191 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: NoClassDefFoundError, formerNode: java.lang.NoClassDefFoundError
41191 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: NullPointerException, formerNode: NullPointerException
41207 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Number, formerNode: Number
41207 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: NumberFormatException, formerNode: NumberFormatException
41207 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: VirtualMachineError, formerNode: VirtualMachineError
41207 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: OutOfMemoryError, formerNode: OutOfMemoryError
41207 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Runnable, formerNode: Runnable
41207 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: RuntimeException, formerNode: RuntimeException
41207 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@pure*/
int, formerNode: int
41207 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@ helper */
int, formerNode: int
41207 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean
41223 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String
41223 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: String, formerNode: java.lang.String
41239 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: String, formerNode: java.lang.String
41239 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: char, formerNode: /*@ helper */
char
41239 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: StringBuffer, formerNode: StringBuffer
41239 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: System, formerNode: System
41239 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Thread, formerNode: Thread
41254 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Throwable, formerNode: java.lang.Throwable
41254 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Throwable, formerNode: java.lang.Throwable
41254 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Collection, formerNode: Collection
41254 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Iterator, formerNode: java.util.Iterator
41254 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Iterator, formerNode: java.util.Iterator
41254 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: List, formerNode: java.util.List
41254 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: List, formerNode: java.util.List
41270 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ListIterator, formerNode: java.util.ListIterator
41270 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ListIterator, formerNode: java.util.ListIterator
41270 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Long, formerNode: Long
41270 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Boolean, formerNode: Boolean
41270 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Map, formerNode: Map
41270 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Set, formerNode: java.util.Set
41270 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Set, formerNode: java.util.Set
41270 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: FilterOutputStream, formerNode: FilterOutputStream
41270 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: InputStream, formerNode: java.io.InputStream
41270 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: InputStream, formerNode: java.io.InputStream
41270 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: IOException, formerNode: IOException
41270 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: OutputStream, formerNode: java.io.OutputStream
41270 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: OutputStream, formerNode: java.io.OutputStream
41286 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: PrintStream, formerNode: java.io.PrintStream
41286 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: PrintStream, formerNode: java.io.PrintStream
41286 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Serializable, formerNode: Serializable
41286 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: BigInteger, formerNode: java.math.BigInteger
41286 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: BigInteger, formerNode: java.math.BigInteger
41286 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ArrayList, formerNode: ArrayList
41286 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: byte[], formerNode: byte[]
41301 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Arrays, formerNode: Arrays
41301 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ListIteratorImpl, formerNode: ListIteratorImpl
41301 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Date, formerNode: Date
41301 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: LinkedHashMap, formerNode: LinkedHashMap
41301 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@pure@*/
String, formerNode: /*@strictly_pure*/
java.lang.String
41301 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: LinkedList, formerNode: LinkedList
41317 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: A, formerNode: A
41317 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Gcd, formerNode: Gcd
41317 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: a = -a;, formerNode: a = -a
41317 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: b = -b;, formerNode: b = -b
41380 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 455.83ms