37884 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\gcd.closed.proof
37884 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.4ns
37884 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
38096 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean
38096 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Object, formerNode: java.lang.Object
38096 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Object, formerNode: java.lang.Object
38096 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Annotation, formerNode: Annotation
38112 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ArithmeticException, formerNode: ArithmeticException
38112 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ArrayIndexOutOfBoundsException, formerNode: ArrayIndexOutOfBoundsException
38112 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ArrayStoreException, formerNode: ArrayStoreException
38112 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: AssertionError, formerNode: AssertionError
38112 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Character, formerNode: Character
38112 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Class, formerNode: java.lang.Class
38112 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Class, formerNode: java.lang.Class
38112 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ClassCastException, formerNode: ClassCastException
38112 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: CloneNotSupportedException, formerNode: CloneNotSupportedException
38112 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Cloneable, formerNode: Cloneable
38112 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Comparable, formerNode: Comparable
38112 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Double, formerNode: Double
38112 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Enum, formerNode: java.lang.Enum
38112 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Enum, formerNode: java.lang.Enum
38112 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Error, formerNode: Error
38112 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Exception, formerNode: Exception
38127 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ExceptionInInitializerError, formerNode: java.lang.ExceptionInInitializerError
38127 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ExceptionInInitializerError, formerNode: java.lang.ExceptionInInitializerError
38127 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Float, formerNode: Float
38127 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: IllegalArgumentException, formerNode: IllegalArgumentException
38127 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: IndexOutOfBoundsException, formerNode: IndexOutOfBoundsException
38143 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Integer, formerNode: java.lang.Integer
38143 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Integer, formerNode: java.lang.Integer
38143 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: InterruptedException, formerNode: InterruptedException
38143 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Iterable, formerNode: Iterable
38143 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: LinkageError, formerNode: LinkageError
38143 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Math, formerNode: Math
38143 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: NegativeArraySizeException, formerNode: NegativeArraySizeException
38143 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: NoClassDefFoundError, formerNode: java.lang.NoClassDefFoundError
38143 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: NoClassDefFoundError, formerNode: java.lang.NoClassDefFoundError
38143 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: NullPointerException, formerNode: NullPointerException
38143 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Number, formerNode: Number
38159 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: NumberFormatException, formerNode: NumberFormatException
38159 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: VirtualMachineError, formerNode: VirtualMachineError
38159 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: OutOfMemoryError, formerNode: OutOfMemoryError
38159 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Runnable, formerNode: Runnable
38159 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: RuntimeException, formerNode: RuntimeException
38159 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@pure*/
int, formerNode: int
38159 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@ helper */
int, formerNode: int
38159 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean
38159 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String
38174 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: String, formerNode: java.lang.String
38190 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: String, formerNode: java.lang.String
38190 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: char, formerNode: /*@ helper */
char
38190 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: StringBuffer, formerNode: StringBuffer
38190 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: System, formerNode: System
38190 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Thread, formerNode: Thread
38190 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Throwable, formerNode: java.lang.Throwable
38190 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Throwable, formerNode: java.lang.Throwable
38206 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Collection, formerNode: Collection
38206 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Iterator, formerNode: java.util.Iterator
38206 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Iterator, formerNode: java.util.Iterator
38206 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: List, formerNode: java.util.List
38206 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: List, formerNode: java.util.List
38206 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ListIterator, formerNode: java.util.ListIterator
38206 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ListIterator, formerNode: java.util.ListIterator
38206 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Long, formerNode: Long
38206 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Boolean, formerNode: Boolean
38221 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Map, formerNode: Map
38221 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Set, formerNode: java.util.Set
38221 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Set, formerNode: java.util.Set
38221 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: FilterOutputStream, formerNode: FilterOutputStream
38221 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: InputStream, formerNode: java.io.InputStream
38221 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: InputStream, formerNode: java.io.InputStream
38221 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: IOException, formerNode: IOException
38221 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: OutputStream, formerNode: java.io.OutputStream
38221 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: OutputStream, formerNode: java.io.OutputStream
38237 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: PrintStream, formerNode: java.io.PrintStream
38237 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: PrintStream, formerNode: java.io.PrintStream
38237 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Serializable, formerNode: Serializable
38237 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: BigInteger, formerNode: java.math.BigInteger
38237 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: BigInteger, formerNode: java.math.BigInteger
38237 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ArrayList, formerNode: ArrayList
38237 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: byte[], formerNode: byte[]
38318 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Arrays, formerNode: Arrays
38319 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ListIteratorImpl, formerNode: ListIteratorImpl
38320 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Date, formerNode: Date
38320 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: LinkedHashMap, formerNode: LinkedHashMap
38321 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@pure@*/
String, formerNode: /*@strictly_pure*/
java.lang.String
38322 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: LinkedList, formerNode: LinkedList
38323 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: A, formerNode: A
38324 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Gcd, formerNode: Gcd
38334 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: a = -a;, formerNode: a = -a
38335 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: b = -b;, formerNode: b = -b
38402 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 504.38ms