45250 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/gcd.closed.proof
45251 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 101.1ns
45251 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
45464 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean
45470 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Object, formerNode: java.lang.Object
45471 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Object, formerNode: java.lang.Object
45474 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Annotation, formerNode: Annotation
45478 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ArithmeticException, formerNode: ArithmeticException
45479 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ArrayIndexOutOfBoundsException, formerNode: ArrayIndexOutOfBoundsException
45481 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ArrayStoreException, formerNode: ArrayStoreException
45482 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: AssertionError, formerNode: AssertionError
45484 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Character, formerNode: Character
45484 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Class, formerNode: java.lang.Class
45485 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Class, formerNode: java.lang.Class
45486 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ClassCastException, formerNode: ClassCastException
45487 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: CloneNotSupportedException, formerNode: CloneNotSupportedException
45490 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Cloneable, formerNode: Cloneable
45491 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Comparable, formerNode: Comparable
45492 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Double, formerNode: Double
45494 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Enum, formerNode: java.lang.Enum
45495 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Enum, formerNode: java.lang.Enum
45497 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Error, formerNode: Error
45499 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Exception, formerNode: Exception
45501 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ExceptionInInitializerError, formerNode: java.lang.ExceptionInInitializerError
45501 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ExceptionInInitializerError, formerNode: java.lang.ExceptionInInitializerError
45502 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Float, formerNode: Float
45503 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: IllegalArgumentException, formerNode: IllegalArgumentException
45504 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: IndexOutOfBoundsException, formerNode: IndexOutOfBoundsException
45522 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Integer, formerNode: java.lang.Integer
45522 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Integer, formerNode: java.lang.Integer
45523 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: InterruptedException, formerNode: InterruptedException
45525 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Iterable, formerNode: Iterable
45526 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: LinkageError, formerNode: LinkageError
45537 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Math, formerNode: Math
45538 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: NegativeArraySizeException, formerNode: NegativeArraySizeException
45539 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: NoClassDefFoundError, formerNode: java.lang.NoClassDefFoundError
45540 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: NoClassDefFoundError, formerNode: java.lang.NoClassDefFoundError
45541 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: NullPointerException, formerNode: NullPointerException
45542 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Number, formerNode: Number
45544 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: NumberFormatException, formerNode: NumberFormatException
45545 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: VirtualMachineError, formerNode: VirtualMachineError
45547 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: OutOfMemoryError, formerNode: OutOfMemoryError
45548 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Runnable, formerNode: Runnable
45549 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: RuntimeException, formerNode: RuntimeException
45549 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@pure*/
int, formerNode: int
45553 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@ helper */
int, formerNode: int
45554 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean
45564 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String
45575 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: String, formerNode: java.lang.String
45596 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: String, formerNode: java.lang.String
45598 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: char, formerNode: /*@ helper */
char
45599 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: StringBuffer, formerNode: StringBuffer
45603 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: System, formerNode: System
45603 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Thread, formerNode: Thread
45607 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Throwable, formerNode: java.lang.Throwable
45607 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Throwable, formerNode: java.lang.Throwable
45612 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Collection, formerNode: Collection
45613 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Iterator, formerNode: java.util.Iterator
45614 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Iterator, formerNode: java.util.Iterator
45618 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: List, formerNode: java.util.List
45618 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: List, formerNode: java.util.List
45621 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ListIterator, formerNode: java.util.ListIterator
45621 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ListIterator, formerNode: java.util.ListIterator
45623 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Long, formerNode: Long
45624 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Boolean, formerNode: Boolean
45630 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Map, formerNode: Map
45634 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Set, formerNode: java.util.Set
45634 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Set, formerNode: java.util.Set
45636 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: FilterOutputStream, formerNode: FilterOutputStream
45636 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: InputStream, formerNode: java.io.InputStream
45637 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: InputStream, formerNode: java.io.InputStream
45639 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: IOException, formerNode: IOException
45639 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: OutputStream, formerNode: java.io.OutputStream
45640 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: OutputStream, formerNode: java.io.OutputStream
45645 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: PrintStream, formerNode: java.io.PrintStream
45645 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: PrintStream, formerNode: java.io.PrintStream
45646 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Serializable, formerNode: Serializable
45647 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: BigInteger, formerNode: java.math.BigInteger
45649 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: BigInteger, formerNode: java.math.BigInteger
45650 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ArrayList, formerNode: ArrayList
45654 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: byte[], formerNode: byte[]
45673 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Arrays, formerNode: Arrays
45675 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: ListIteratorImpl, formerNode: ListIteratorImpl
45676 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Date, formerNode: Date
45676 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: LinkedHashMap, formerNode: LinkedHashMap
45677 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: /*@pure@*/
String, formerNode: /*@strictly_pure*/
java.lang.String
45678 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: LinkedList, formerNode: LinkedList
45679 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: A, formerNode: A
45681 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: Gcd, formerNode: Gcd
45689 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: a = -a;, formerNode: a = -a
45690 ERROR Test worker d.u.i.k.j.KeYJPMapping Duplicate registration of node: b = -b;, formerNode: b = -b
45750 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 499.05ms