Deleting file or directory ./temp/testcases/SBSTDummyForCoverageAndMutationCalculation.java
Deleting file or directory ./temp/testcases/Sequenic/T2/ReplayTestXPool.java
Deleting file or directory ./temp/testcases/Sequenic/T2
Deleting file or directory ./temp/testcases/Sequenic
Deleting file or directory ./temp/testcases/bin/Sequenic/T2/ReplayTestXPool.class
Deleting file or directory ./temp/testcases/bin/Sequenic/T2
Deleting file or directory ./temp/testcases/bin/Sequenic
Deleting file or directory ./temp/testcases/bin/SBSTDummyForCoverageAndMutationCalculation.class
Deleting file or directory ./temp/testcases/bin
Deleting file or directory ./temp/testcases/pitestout/mutations.csv
Deleting file or directory ./temp/testcases/pitestout
Deleting file or directory ./temp/testcases/instrumented/jacoco.exec
Deleting file or directory ./temp/testcases/instrumented
Deleting file or directory ./temp/testcases
Deleting file or directory ./temp/data/ADT_Sequenic.T2.XPool__1412677318213.tr
Deleting file or directory ./temp/data/ADT_Sequenic.T2.XPool__1412677319518.tr
Deleting file or directory ./temp/data
Deleting file or directory ./temp
Creating directory ./temp
Creating directory ./temp/data
Creating directory ./temp/testcases
*Executing /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./runtool
>> BENCHMARK
>> /home/ubuntu/workshop/T2benchmark/src
>> /home/ubuntu/workshop/T2benchmark/build/CUTclasses
>> 1
>> /home/ubuntu/workshop/T2benchmark/build/CUTclasses
>> 1
expecting CLASSPATH or READY
Scalar value @nameElements[$#nameElements] better written as $nameElements[$#nameElements] at /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./runtool line 97.
<< CLASSPATH
expecting number
<< 4
expecting directory or jar file
<< /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/interactiveT3v0.jar
expecting directory or jar file
<< /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/groovy-all-2.3.6.jar
expecting directory or jar file
<< /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/commonbin
expecting directory or jar file
<< /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/bin
<< READY
Deleting file or directory ./temp/testcases
Creating directory ./temp/testcases


### CLASS UNDER TEST ###: Sequenic.T2.XPool
>> Sequenic.T2.XPool
expecting: READY
JUnit version 4.8.2
.Oct 07, 2014 10:22:14 AM Sequenic.T3.Reflection.ClassesScanner scan
INFO: ** Scanning classes in /home/ubuntu/workshop/T2benchmark/build/CUTclasses
Oct 07, 2014 10:22:14 AM Sequenic.T3.Reflection.ClassesScanner scan
INFO: ** 17 classes scanned.
-----
Configuration:
** General parameters:
   #cores : 2
** Generator related parameters: 
   Dirs to class-files to be scanned : /home/ubuntu/workshop/T2benchmark/build/CUTclasses
   CUT : class Sequenic.T2.XPool
   Testing CUT from the same package's perspective
   Max. number of step-retries : 30
   Max. number of sequence-retries : 5
** T3-default-generator's specific parameters:
   Regression-mode : true
   Injecting oracles : true
   Max. collection size : 3
   Max. level of object nesting : 4
   Max. prefix length : 6
   Max. suffix length : 2
   Variable length prefix : true
   Field-update probablity as a step : 0.0
   Suite size multiplier for each goal : 50.0
   Keeping only exception-throwing sequences : false
   Dropping duplicates : false
   Suite is to be split in : 1 subsuites
** Replay related parameters: 
   Replaying all sequences: false
   Regression-mode : true
   Show exception-throwning execution: true
   Max. length of shown suffix: 10
   Max. depth of objects shown: 3
-----
** Scanned : 26 directly instantiable classes, 5 not directly instantiable classes.
Oct 07, 2014 10:22:14 AM Sequenic.T3.T3SuiteGenAPI <init>
INFO: Using T3's default value generator.
-----
Oct 07, 2014 10:22:14 AM Sequenic.T3.Generator.SeqAndSuite.T3SuiteG calculateGoals
INFO: Constructing ADT goals of class Sequenic.T2.XPool: 1 CM<t>, 4 <s>Mut[Mut]<t>, 3 <s>NonMut.
Oct 07, 2014 10:22:15 AM Sequenic.T3.Generator.SeqAndSuite.T3SuiteG generateSuite
INFO: Suite for Sequenic.T2.XPool is generated, size=750
** Performed ADT testing
Testing scope:CUT = Sequenic.T2.XPool
Including non-private members
Constructors: 1
  Sequenic.T2.XPool public
Creator methods: 0
Mutators: 2
   put public
   reset public
Non-mutators: 3
   getIndex public
   get_objectCount public
   get public
Fields: 0
Oct 07, 2014 10:22:15 AM Sequenic.T3.T3SuiteGenAPI suite
INFO: ** Injecting oracles
Oct 07, 2014 10:22:16 AM Sequenic.T3.Sequence.Datatype.SUITE injectOracles
INFO: ** Injected oracles on 750 sequences of a suite of Sequenic.T2.XPool ...
-----
** Suite generated.
** Suite name        : ADT_Sequenic.T2.XPool
** CUT               : Sequenic.T2.XPool
** Suite size        : 750
** Avrg. seq. length : 6.052
Oct 07, 2014 10:22:16 AM Sequenic.T3.Sequence.Datatype.SUITE save
INFO: ** Saving a test-suite to /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677336371.tr, 521 KB
** Runtime = 1710
** Suite name        : ADT_Sequenic.T2.XPool
** CUT               : Sequenic.T2.XPool
** Suite size        : 750
** Avrg. seq. length : 6.052
** Executed   : 750
** Violating  : 0
** Invalid    : 0
** Failing    : 0
** Runtime    : 158 ms
** Field-pairs' abstract values coverage : 3/12 (25.0%)
** Constructor coverage    : 1/1 (100.0%)
** Creator-method coverage : 0/0 (100%)
** Method coverage         : 5/5 (100.0%)
** Field coverage          : 0/0 (100%)
** Method-pair coverage    : 30/30 (100.0%)
** Member-pair coverage    : 30/30 (100.0%)
** Uncovered constructors: -
** Uncovered creator methods: -
** Uncovered methods: -
** Uncovered fields: -
Oct 07, 2014 10:22:16 AM Sequenic.T3.T3Cmd runT3
INFO: >> T3 runtime = 2009ms
.Oct 07, 2014 10:22:16 AM Sequenic.T3.Reflection.ClassesScanner scan
INFO: ** Scanning classes in /home/ubuntu/workshop/T2benchmark/build/CUTclasses
Oct 07, 2014 10:22:16 AM Sequenic.T3.Reflection.ClassesScanner scan
INFO: ** 17 classes scanned.
-----
Configuration:
** General parameters:
   #cores : 2
** Generator related parameters: 
   Dirs to class-files to be scanned : /home/ubuntu/workshop/T2benchmark/build/CUTclasses
   CUT : class Sequenic.T2.XPool
   Testing CUT from the same package's perspective
   Max. number of step-retries : 30
   Max. number of sequence-retries : 5
** T3-default-generator's specific parameters:
   Regression-mode : true
   Injecting oracles : true
   Max. collection size : 3
   Max. level of object nesting : 4
   Max. prefix length : 6
   Max. suffix length : 2
   Variable length prefix : true
   Field-update probablity as a step : 0.0
   Suite size multiplier for each goal : 50.0
   Keeping only exception-throwing sequences : false
   Dropping duplicates : false
   Suite is to be split in : 1 subsuites
** Replay related parameters: 
   Replaying all sequences: false
   Regression-mode : true
   Show exception-throwning execution: true
   Max. length of shown suffix: 10
   Max. depth of objects shown: 3
-----
** Scanned : 26 directly instantiable classes, 5 not directly instantiable classes.
Oct 07, 2014 10:22:16 AM Sequenic.T3.T3SuiteGenAPI <init>
INFO: Using a custom value generator.
-----
Oct 07, 2014 10:22:16 AM Sequenic.T3.Generator.SeqAndSuite.T3SuiteG calculateGoals
INFO: Constructing ADT goals of class Sequenic.T2.XPool: 1 CM<t>, 4 <s>Mut[Mut]<t>, 3 <s>NonMut.
Oct 07, 2014 10:22:17 AM Sequenic.T3.Generator.SeqAndSuite.T3SuiteG generateSuite
INFO: Suite for Sequenic.T2.XPool is generated, size=750
** Performed ADT testing
Testing scope:CUT = Sequenic.T2.XPool
Including non-private members
Constructors: 1
  Sequenic.T2.XPool public
Creator methods: 0
Mutators: 2
   put public
   reset public
Non-mutators: 3
   getIndex public
   get_objectCount public
   get public
Fields: 0
Oct 07, 2014 10:22:17 AM Sequenic.T3.T3SuiteGenAPI suite
INFO: ** Injecting oracles
Oct 07, 2014 10:22:17 AM Sequenic.T3.Sequence.Datatype.SUITE injectOracles
INFO: ** Injected oracles on 750 sequences of a suite of Sequenic.T2.XPool ...
-----
** Suite generated.
** Suite name        : ADT_Sequenic.T2.XPool
** CUT               : Sequenic.T2.XPool
** Suite size        : 750
** Avrg. seq. length : 6.1173334
Oct 07, 2014 10:22:17 AM Sequenic.T3.Sequence.Datatype.SUITE save
INFO: ** Saving a test-suite to /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677337772.tr, 523 KB
** Runtime = 1096
** Suite name        : ADT_Sequenic.T2.XPool
** CUT               : Sequenic.T2.XPool
** Suite size        : 750
** Avrg. seq. length : 6.1173334
** Executed   : 750
** Violating  : 0
** Invalid    : 0
** Failing    : 0
** Runtime    : 141 ms
** Field-pairs' abstract values coverage : 3/12 (25.0%)
** Constructor coverage    : 1/1 (100.0%)
** Creator-method coverage : 0/0 (100%)
** Method coverage         : 5/5 (100.0%)
** Field coverage          : 0/0 (100%)
** Method-pair coverage    : 30/30 (100.0%)
** Member-pair coverage    : 30/30 (100.0%)
** Uncovered constructors: -
** Uncovered creator methods: -
** Uncovered methods: -
** Uncovered fields: -
Oct 07, 2014 10:22:18 AM Sequenic.T3.T3Cmd runT3
INFO: >> T3 runtime = 1278ms

Time: 3.313

OK (2 tests)

cp: cannot stat ‘/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/tests/Sequenic/T2/AdditionalTestXPool.java’: No such file or directory
<< READY
Creating directory ./temp/testcases/bin
Creating dummy JUnit test file

---Compilation---

===
javac command line:
/usr/lib/jvm/java-8-oracle/bin/javac -sourcepath /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases -cp /home/ubuntu/workshop/T2benchmark/testingtools/junit-4.10.jar:/home/ubuntu/workshop/T2benchmark/build/CUTclasses:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/interactiveT3v0.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/groovy-all-2.3.6.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/commonbin:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/bin -d ./temp/testcases/bin /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/SBSTDummyForCoverageAndMutationCalculation.java


===
javac command line:
/usr/lib/jvm/java-8-oracle/bin/javac -sourcepath /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases -cp /home/ubuntu/workshop/T2benchmark/testingtools/junit-4.10.jar:/home/ubuntu/workshop/T2benchmark/build/CUTclasses:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/interactiveT3v0.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/groovy-all-2.3.6.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/commonbin:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/bin -d ./temp/testcases/bin /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/Sequenic/T2/ReplayTestXPool.java

Compiled 'Sequenic/T2/ReplayTestXPool.java'

---Timing Information---

===
JUnit test command line:

/usr/lib/jvm/java-8-oracle/bin/java -cp /home/ubuntu/workshop/T2benchmark/testingtools/junit-4.10.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/bin:/home/ubuntu/workshop/T2benchmark/build/CUTclasses:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/interactiveT3v0.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/groovy-all-2.3.6.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/commonbin:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/bin org.junit.runner.JUnitCore SBSTDummyForCoverageAndMutationCalculation


JUnit version 4.10
.
Time: 0.006

OK (1 test)



===
JUnit test command line:

/usr/lib/jvm/java-8-oracle/bin/java -cp /home/ubuntu/workshop/T2benchmark/testingtools/junit-4.10.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/bin:/home/ubuntu/workshop/T2benchmark/build/CUTclasses:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/interactiveT3v0.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/groovy-all-2.3.6.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/commonbin:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/bin org.junit.runner.JUnitCore Sequenic.T2.ReplayTestXPool


Executed 'Sequenic.T2.ReplayTestXPool'
JUnit version 4.10
.Oct 07, 2014 10:22:22 AM Sequenic.T3.Sequence.Datatype.SUITE load
INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677337772.tr is loaded, 5230 KB
Oct 07, 2014 10:22:22 AM Sequenic.T3.Sequence.Datatype.SUITE load
INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677336371.tr is loaded, 5211 KB
-----
** Replaying dummy name, a merged suite

** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.** Suite name        : dummy name, a merged suite
** CUT               : Sequenic.T2.XPool
** Suite size        : 1500
** Avrg. seq. length : 6.0846667
** Executed   : 1500
** Violating  : 0
** Invalid    : 0
** Failing    : 0
** Runtime    : 585 ms
** Field-pairs' abstract values coverage : 3/12 (25.0%)
Oct 07, 2014 10:22:23 AM Sequenic.T3.ReplayCmd runReplay
INFO: >> Replay runtime = 1152ms

Time: 1.186

OK (1 test)



---Coverage Calculation---
Creating directory ./temp/testcases/instrumented

===
Jacoco command line:

/usr/lib/jvm/java-8-oracle/bin/java -javaagent:/home/ubuntu/workshop/T2benchmark/testingtools/jacocoagent.jar=destfile=/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/instrumented/jacoco.exec,append=true -cp /home/ubuntu/workshop/T2benchmark/testingtools/junit-4.10.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/bin:/home/ubuntu/workshop/T2benchmark/build/CUTclasses:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/interactiveT3v0.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/groovy-all-2.3.6.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/commonbin:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/bin org.junit.runner.JUnitCore SBSTDummyForCoverageAndMutationCalculation


**** jacoco command line: [/usr/lib/jvm/java-8-oracle/bin/java, -javaagent:/home/ubuntu/workshop/T2benchmark/testingtools/jacocoagent.jar=destfile=/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/instrumented/jacoco.exec,append=true, -cp, /home/ubuntu/workshop/T2benchmark/testingtools/junit-4.10.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/bin:/home/ubuntu/workshop/T2benchmark/build/CUTclasses:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/interactiveT3v0.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/groovy-all-2.3.6.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/commonbin:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/bin, org.junit.runner.JUnitCore, SBSTDummyForCoverageAndMutationCalculation]
JUnit version 4.10
.
Time: 0.016

OK (1 test)


===
Jacoco command line:

/usr/lib/jvm/java-8-oracle/bin/java -javaagent:/home/ubuntu/workshop/T2benchmark/testingtools/jacocoagent.jar=destfile=/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/instrumented/jacoco.exec,append=true -cp /home/ubuntu/workshop/T2benchmark/testingtools/junit-4.10.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/bin:/home/ubuntu/workshop/T2benchmark/build/CUTclasses:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/interactiveT3v0.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/groovy-all-2.3.6.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/commonbin:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/bin org.junit.runner.JUnitCore Sequenic.T2.ReplayTestXPool


**** jacoco command line: [/usr/lib/jvm/java-8-oracle/bin/java, -javaagent:/home/ubuntu/workshop/T2benchmark/testingtools/jacocoagent.jar=destfile=/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/instrumented/jacoco.exec,append=true, -cp, /home/ubuntu/workshop/T2benchmark/testingtools/junit-4.10.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/bin:/home/ubuntu/workshop/T2benchmark/build/CUTclasses:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/interactiveT3v0.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/groovy-all-2.3.6.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/commonbin:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/bin, org.junit.runner.JUnitCore, Sequenic.T2.ReplayTestXPool]
JUnit version 4.10
.Oct 07, 2014 10:22:24 AM Sequenic.T3.Sequence.Datatype.SUITE load
INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677337772.tr is loaded, 5230 KB
Oct 07, 2014 10:22:25 AM Sequenic.T3.Sequence.Datatype.SUITE load
INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677336371.tr is loaded, 5211 KB
-----
** Replaying dummy name, a merged suite

** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.** Suite name        : dummy name, a merged suite
** CUT               : Sequenic.T2.XPool
** Suite size        : 1500
** Avrg. seq. length : 6.0846667
** Executed   : 1500
** Violating  : 0
** Invalid    : 0
** Failing    : 0
** Runtime    : 624 ms
** Field-pairs' abstract values coverage : 3/12 (25.0%)
Oct 07, 2014 10:22:25 AM Sequenic.T3.ReplayCmd runReplay
INFO: >> Replay runtime = 1210ms

Time: 1.28

OK (1 test)

Executed 'Sequenic.T2.ReplayTestXPool'

---Mutation Coverage---
Created PITest output directory in /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/pitestout

===
PITest command line:

/usr/lib/jvm/java-8-oracle/bin/java -cp /home/ubuntu/workshop/T2benchmark/testingtools/pitest-1.0.0.jar:/home/ubuntu/workshop/T2benchmark/testingtools/pitest-command-line-1.0.0.jar:/home/ubuntu/workshop/T2benchmark/testingtools/junit-4.10.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/bin:/home/ubuntu/workshop/T2benchmark/build/CUTclasses:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/interactiveT3v0.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/groovy-all-2.3.6.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/commonbin:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/bin org.pitest.mutationtest.commandline.MutationCoverageReport --failWhenNoMutations false --outputFormats CSV --threads 1 --reportDir /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/pitestout --targetClasses Sequenic.T2.XPool,Sequenic.T2.XPool$* --targetTests SBSTDummyForCoverageAndMutationCalculation,Sequenic.T2.ReplayTestXPool --timestampedReports false --verbose --sourceDir /home/ubuntu/workshop/T2benchmark/src


Executed 'Sequenic.T2.ReplayTestXPool'
10:22:26 AM PIT >> FINE : Running report with ReportOptions [config=org.pitest.mutationtest.config.CompoundConfiguration@5d11346a, targetClasses=[^Sequenic\.T2\.XPool$, ^Sequenic\.T2\.XPool\$.*$], excludedMethods=[], excludedClasses=[], codePaths=[], reportDir=/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/pitestout, historyInputLocation=null, historyOutputLocation=null, sourceDirs=[/home/ubuntu/workshop/T2benchmark/src], classPathElements=[/home/ubuntu/workshop/T2benchmark/testingtools/pitest-1.0.0.jar, /home/ubuntu/workshop/T2benchmark/testingtools/pitest-command-line-1.0.0.jar, /home/ubuntu/workshop/T2benchmark/testingtools/junit-4.10.jar, /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/bin, /home/ubuntu/workshop/T2benchmark/build/CUTclasses, /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/interactiveT3v0.jar, /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/groovy-all-2.3.6.jar, /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/commonbin, /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/bin], mutators=[], dependencyAnalysisMaxDistance=-1, mutateStaticInitializers=false, jvmArgs=[], numberOfThreads=1, timeoutFactor=1.25, timeoutConstant=4000, targetTests=[^SBSTDummyForCoverageAndMutationCalculation$, ^Sequenic\.T2\.ReplayTestXPool$], loggingClasses=[], maxMutationsPerClass=0, verbose=true, failWhenNoMutations=false, outputs=[CSV], groupConfig=TestGroupConfig [excludedGroups=[], includedGroups=[]], mutationUnitSize=0, shouldCreateTimestampedReports=false, detectInlinedCode=false, exportLineCoverage=false, mutationThreshold=0, coverageThreshold=0, mutationEngine=gregor, javaExecutable=null]
10:22:26 AM PIT >> FINE : System class path is /home/ubuntu/workshop/T2benchmark/testingtools/pitest-1.0.0.jar:/home/ubuntu/workshop/T2benchmark/testingtools/pitest-command-line-1.0.0.jar:/home/ubuntu/workshop/T2benchmark/testingtools/junit-4.10.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/bin:/home/ubuntu/workshop/T2benchmark/build/CUTclasses:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/interactiveT3v0.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/groovy-all-2.3.6.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/commonbin:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/bin
10:22:26 AM PIT >> FINE : Maximum available memory is 241 mb
10:22:26 AM PIT >> FINE : using port 8092
10:22:26 AM PIT >> FINE : SLAVE : Installing PIT agent

10:22:26 AM PIT >> INFO : Sending 3 test classes to slave
10:22:26 AM PIT >> INFO : Sent tests to slave
10:22:27 AM PIT >> INFO : SLAVE : 10:22:27 AM PIT >> FINE : Expecting 3 tests classes from parent
10:22:27 AM PIT >> FINE : Tests classes received

10:22:27 AM PIT >> INFO : SLAVE : 10:22:27 AM PIT >> INFO : Found  3 tests

10:22:27 AM PIT >> INFO : SLAVE : 10:22:27 AM PIT >> INFO : Dependency analysis reduced number of potential tests by 0

10:22:27 AM PIT >> INFO : SLAVE : 10:22:27 AM PIT >> INFO : 3 tests received

10:22:27 AM PIT >> INFO : SLAVE : 10:22:27 AM PIT >> FINE : Running 3 units

10:22:27 AM PIT >> INFO : SLAVE : 10:22:27 AM PIT >> FINE : Gathering coverage for test Description [testClass=SBSTDummyForCoverageAndMutationCalculation, name=test(SBSTDummyForCoverageAndMutationCalculation)]

10:22:27 AM PIT >> INFO : SLAVE : 10:22:27 AM PIT >> FINE : Gathering coverage for test Description [testClass=Sequenic.T2.ReplayTestXPool, name=test1(Sequenic.T2.ReplayTestXPool)]

10:22:27 AM PIT >> INFO : SLAVE : Oct 07, 2014 10:22:27 AM Sequenic.T3.Sequence.Datatype.SUITE load
INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677337772.tr is loaded, 5230 KB

10:22:27 AM PIT >> INFO : SLAVE : Oct 07, 2014 10:22:27 AM Sequenic.T3.Sequence.Datatype.SUITE load
INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677336371.tr is loaded, 5211 KB

10:22:27 AM PIT >> INFO : SLAVE : -----

10:22:27 AM PIT >> INFO : SLAVE : ** Replaying dummy name, a merged suite

10:22:27 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:27 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:27 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:27 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:27 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:27 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:27 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:27 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:27 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:27 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:27 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:27 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:27 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its ora
10:22:28 AM PIT >> INFO : SLAVE : cle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its
10:22:28 AM PIT >> INFO : SLAVE :  oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by its oracle.
** A sequence throws an exception, but is allowed by
10:22:28 AM PIT >> INFO : SLAVE :  its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : ** Suite name        : dummy name, a merged suite
** CUT               : Sequenic.T2.XPool
** Suite size        : 1500
** Avrg. seq. length : 6.0846667

10:22:28 AM PIT >> INFO : SLAVE : ** Executed   : 1500

10:22:28 AM PIT >> INFO : SLAVE : ** Violating  : 0

10:22:28 AM PIT >> INFO : SLAVE : ** Invalid    : 0

10:22:28 AM PIT >> INFO : SLAVE : ** Failing    : 0

10:22:28 AM PIT >> INFO : SLAVE : ** Runtime    : 653 ms

10:22:28 AM PIT >> INFO : SLAVE : ** Field-pairs' abstract values coverage : 3/12 (25.0%)

10:22:28 AM PIT >> INFO : SLAVE : Oct 07, 2014 10:22:28 AM Sequenic.T3.ReplayCmd runReplay
INFO: >> Replay runtime = 1147ms

10:22:28 AM PIT >> INFO : SLAVE : 10:22:28 AM PIT >> FINE : Gathering coverage for test Description [testClass=Sequenic.T2.ReplayTestXPool, name=test1(Sequenic.T2.ReplayTestXPool)]

10:22:28 AM PIT >> INFO : SLAVE : Oct 07, 2014 10:22:28 AM Sequenic.T3.Sequence.Datatype.SUITE load
INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677337772.tr is loaded, 5230 KB

10:22:28 AM PIT >> INFO : SLAVE : Oct 07, 2014 10:22:28 AM Sequenic.T3.Sequence.Datatype.SUITE load
INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677336371.tr is loaded, 5211 KB

10:22:28 AM PIT >> INFO : SLAVE : -----

10:22:28 AM PIT >> INFO : SLAVE : ** Replaying dummy name, a merged suite

10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:28 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : 
** A sequence throws an exception, but is allowed by its oracle.
10:22:29 AM PIT >> INFO : SLAVE : ** Suite name        : dummy name, a merged suite
** CUT               : Sequenic.T2.XPool
** Suite size        : 1500
** Avrg. seq. length : 6.0846667

10:22:29 AM PIT >> INFO : SLAVE : ** Executed   : 1500

10:22:29 AM PIT >> INFO : SLAVE : ** Violating  : 0

10:22:29 AM PIT >> INFO : SLAVE : ** Invalid    : 0

10:22:29 AM PIT >> INFO : SLAVE : ** Failing    : 0

10:22:29 AM PIT >> INFO : SLAVE : ** Runtime    : 473 ms

10:22:29 AM PIT >> INFO : SLAVE : ** Field-pairs' abstract values coverage : 3/12 (25.0%)

10:22:29 AM PIT >> INFO : SLAVE : Oct 07, 2014 10:22:29 AM Sequenic.T3.ReplayCmd runReplay
INFO: >> Replay runtime = 912ms

10:22:29 AM PIT >> INFO : SLAVE : 10:22:29 AM PIT >> FINE : Finished

10:22:29 AM PIT >> INFO : Calculated coverage in 3 seconds.
10:22:29 AM PIT >> FINE : Used memory after coverage calculation 5 mb
10:22:29 AM PIT >> FINE : Free Memory after coverage calculation 9 mb
10:22:29 AM PIT >> INFO : Created  1 mutation test units
10:22:29 AM PIT >> FINE : Used memory before analysis start 6 mb
10:22:29 AM PIT >> FINE : Free Memory before analysis start 9 mb
10:22:29 AM PIT >> FINE : Running 1 units
10:22:29 AM PIT >> FINE : using port 8092
stdout  : Installing PIT agent
stderr  : 10:22:30 AM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=put, methodDesc=(Ljava/lang/Object;)I], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.MathMutator], stderr  : filename=XPool.java, block=10, lineNumber=111, description=Replaced integer addition with subtraction, testsInOrder=[Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)]]
stderr  : 10:22:30 AM PIT >> FINE : mutating method put
stderr  : 10:22:30 AM PIT >> FINE : 1 relevant test for put
stderr  : 10:22:30 AM PIT >> FINE : replaced class with mutant in 5 ms
stderr  : 10:22:30 AM PIT >> FINE : Running 1 units
stderr  : Oct 07, 2014 10:22:30 AM Sequenic.T3.Sequence.Datatype.SUITE load
INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677337772.tr is loaded, 5230 KB
stderr  : Oct 07, 2014 10:22:31 AM Sequenic.T3.Sequence.Datatype.SUITE load
INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677336371.tr is loaded, 5211 KB
stderr  : -----
stderr  : ** Replaying dummy name, a merged suite
stderr  : 
**--- [Sequenic.T2.XPool seq 3] , length=4 throws an exception.stderr  : 
** [step 0] stderr  : CON Sequenic.T2.XPool()
stderr  :    -- returned value:
    (Sequenic.T2.XPool) @ 0
    objectMap (HashMap)  @  1
    domainMap (HashMap)  @  2
    objectCount (Integer) : 0stderr  : 
** [step 1] stderr  : CALL put on REF 0
   with
   (CON java.lang.Object())
stderr  :    -- state of the receiver object:
    (Sequenic.T2.XPool) @ 0
    objectMap (HashMap)  @  1
                 [ (Integer) : 0] (java.lang.Object) @ 3
    domainMap (HashMap)  @  4
                 [ (Class) : ...] (LinkedList)  @  5
                      stderr  :                [0] ...
    objectCount (Integer) : -1stderr  :    -- returned value:
    (Integer) : 0stderr  : 
** [step 2] stderr  : CALL getIndex on REF 0
   with
   (class java.lang.Object)
stderr  :    >> VIOLATION!
stderr  :    -- state of the receiver object:
    (Sequenic.T2.XPool) @ 0
    objectMap (HashMap)  @  1
                 [ (Integer) : 0] (java.lang.Object) @ 3
    domainMap (HashMap)  @  4
                 [ (Class) : ...] (LinkedList)  @  5
                      stderr  :                [0] ...
    objectCount (Integer) : -1stderr  :    -- returned value:
    (Integer) : 0stderr  :    -- thrown exception:
stderr  : Sequenic.T3.OracleError: T3: violating an oracle. Info: Expecting:     (Sequenic.T2.XPool) @ 0
    objectMap (HashMap)  @  1
                 [ ...] ...
    domainMap (HashMap)  @  2
                 [ ...] ...
    objectCount (Integer) : 1
but getting:   stderr  :   (Sequenic.T2.XPool) @ 0
    objectMap (HashMap)  @  1
                 [ ...] ...
    domainMap (HashMap)  @  2
                 [ ...] ...
    objectCount (Integer) : -1stderr  : 
stderr  : 	at Sequenic.T3.Sequence.Datatype.METHOD.exec(METHOD.java:150)stderr  : 
stderr  : 	at Sequenic.T3.Sequence.Datatype.SEQ.exec(SEQ.java:95)stderr  : 
stderr  : 	at Sequenic.T3.Sequence.Datatype.SUITE.showSequence(SUITE.java:224)stderr  : 
stderr  : 	at Sequenic.T3.Sequence.Datatype.SUITE.exec(SUITE.java:163)stderr  : 
stderr  : 	at Sequenic.T3.SuiteAPI.replay(SuiteAPI.java:77)stderr  : 
stderr  : 	at Sequenic.T3.ReplayCmd.runSuite(ReplayCmd.java:134)stderr  : 
stderr  : 	at Sequenic.T3.ReplayCmd.runReplay(ReplayCmd.java:167)stderr  : 
stderr  : 	at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:190)stderr  : 
stderr  : 	at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:185)stderr  : 
stderr  : 	at Common.Common.replay(Common.java:61)stderr  : 
stderr  : 	at Common.Common.replayCUTtest(Common.java:76)stderr  : 
stderr  : 	at Sequenic.T2.ReplayTestXPool.test1(ReplayTestXPool.java:28)stderr  : 
stderr  : 	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)stderr  : 
stderr  : 	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)stderr  : 
stderr  : 	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)stderr  : 
stderr  : 	at java.lang.reflect.Method.invoke(Method.java:483)stderr  : 
stderr  : 	at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:45)stderr  : 
stderr  : 	at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:15)stderr  : 
stderr  : 	at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:42)stderr  : 
stderr  : 	at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:20)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:263)stderr  : 
stderr  : 	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:68)stderr  : 
stderr  : 	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:47)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner$3.run(ParentRunner.java:231)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:60)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:229)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner.access$000(ParentRunner.java:50)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:222)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner.run(ParentRunner.java:300)stderr  : 
stderr  : 	at org.pitest.junit.adapter.CustomRunnerExecutor.run(CustomRunnerExecutor.java:42)stderr  : 
stderr  : 	at org.pitest.junit.adapter.AdaptedJUnitTestUnit.execute(AdaptedJUnitTestUnit.java:85)stderr  : 
stderr  : 	at org.pitest.mutationtest.execute.MutationTimeoutDecorator$1.call(MutationTimeoutDecorator.java:88)stderr  : 
stderr  : 	at java.util.concurrent.FutureTask.run(FutureTask.java:266)stderr  : 
stderr  : 	at java.lang.Thread.run(Thread.java:745)stderr  : 
stderr  : 
** The above sequence is VIOLATING an oracle!stderr  : ** Suite name        : dummy name, a merged suite
** CUT               : Sequenic.T2.XPool
** Suite size        : 1500
** Avrg. seq. length : 6.0846667
stderr  : ** Executed   : 4
stderr  : ** Violating  : 1
stderr  : ** Invalid    : 0
stderr  : ** Failing    : 0
stderr  : ** Runtime    : 32 ms
stderr  : ** Field-pairs' abstract values coverage : 3/12 (25.0%)
stderr  : Oct 07, 2014 10:22:31 AM Sequenic.T3.ReplayCmd runReplay
INFO: >> Replay runtime = 554ms
stderr  : 10:22:31 AM PIT >> FINE : Finished
10:22:31 AM PIT >> FINE : MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=put, methodDesc=(Ljava/lang/Object;)I], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.MathMutator] KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)
stderr  : 10:22:31 AM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=put, methodDesc=(Ljava/lang/Object;)I], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.MathMutator] detected = KILLED by Sequenicstderr  : .T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)
stderr  : 10:22:31 AM PIT >> FINE : processed mutation in 741 ms.
stderr  : 10:22:31 AM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=get_objectCount, methodDesc=()I], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator], stderr  : filename=XPool.java, block=1, lineNumber=47, description=replaced return of integer sized value with (x == 0 ? 1 : 0), testsInOrder=[Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)]]
stderr  : 10:22:31 AM PIT >> FINE : mutating method get_objectCount
stderr  : 10:22:31 AM PIT >> FINE : 1 relevant test for get_objectCount
stderr  : 10:22:31 AM PIT >> FINE : replaced class with mutant in 7 ms
10:22:31 AM PIT >> FINE : Running 1 units
stderr  : Oct 07, 2014 10:22:31 AM Sequenic.T3.Sequence.Datatype.SUITE load
INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677337772.tr is loaded, 5230 KB
stderr  : Oct 07, 2014 10:22:31 AM Sequenic.T3.Sequence.Datatype.SUITE load
INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677336371.tr is loaded, 5211 KB
stderr  : -----
stderr  : ** Replaying dummy name, a merged suite
stderr  : 
**--- [Sequenic.T2.XPool seq 11] , length=4 throws an exception.stderr  : 
** [step 0] stderr  : CON Sequenic.T2.XPool()
stderr  :    -- returned value:
    (Sequenic.T2.XPool) @ 0
    objectMap (HashMap)  @  1
    domainMap (HashMap)  @  2
    objectCount (Integer) : 0stderr  : 
** [step 1] stderr  : CALL get_objectCount on REF 0
   with
   ()
stderr  :    -- state of the receiver object:
    (Sequenic.T2.XPool) @ 0
    objectMap (HashMap)  @  1
    domainMap (HashMap)  @  2
    objectCount (Integer) : 0stderr  :    -- returned value:
    (Integer) : 1stderr  : 
** [step 2] stderr  : CALL get_objectCount on REF 0
   with
   ()
stderr  :    >> VIOLATION!
stderr  :    -- state of the receiver object:
    (Sequenic.T2.XPool) @ 0
    objectMap (HashMap)  @  1
    domainMap (HashMap)  @  2
    objectCount (Integer) : 0stderr  :    -- returned value:
    (Integer) : 1stderr  :    -- thrown exception:
stderr  : Sequenic.T3.OracleError: T3: violating an oracle. Info: Expecting:     (Integer) : 0
but getting:     (Integer) : 1stderr  : 
stderr  : 	at Sequenic.T3.Sequence.Datatype.METHOD.exec(METHOD.java:150)stderr  : 
stderr  : 	at Sequenic.T3.Sequence.Datatype.SEQ.exec(SEQ.java:95)stderr  : 
stderr  : 	at Sequenic.T3.Sequence.Datatype.SUITE.showSequence(SUITE.java:224)stderr  : 
stderr  : 	at Sequenic.T3.Sequence.Datatype.SUITE.exec(SUITE.java:163)stderr  : 
stderr  : 	at Sequenic.T3.SuiteAPI.replay(SuiteAPI.java:77)stderr  : 
stderr  : 	at Sequenic.T3.ReplayCmd.runSuite(ReplayCmd.java:134)stderr  : 
stderr  : 	at Sequenic.T3.ReplayCmd.runReplay(ReplayCmd.java:167)stderr  : 
stderr  : 	at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:190)stderr  : 
stderr  : 	at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:185)stderr  : 
stderr  : 	at Common.Common.replay(Common.java:61)stderr  : 
stderr  : 	at Common.Common.replayCUTtest(Common.java:76)stderr  : 
stderr  : 	at Sequenic.T2.ReplayTestXPool.test1(ReplayTestXPool.java:28)stderr  : 
stderr  : 	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)stderr  : 
stderr  : 	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)stderr  : 
stderr  : 	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)stderr  : 
stderr  : 	at java.lang.reflect.Method.invoke(Method.java:483)stderr  : 
stderr  : 	at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:45)stderr  : 
stderr  : 	at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:15)stderr  : 
stderr  : 	at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:42)stderr  : 
stderr  : 	at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:20)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:263)stderr  : 
stderr  : 	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:68)stderr  : 
stderr  : 	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:47)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner$3.run(ParentRunner.java:231)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:60)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:229)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner.access$000(ParentRunner.java:50)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:222)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner.run(ParentRunner.java:300)stderr  : 
stderr  : 	at org.pitest.junit.adapter.CustomRunnerExecutor.run(CustomRunnerExecutor.java:42)stderr  : 
stderr  : 	at org.pitest.junit.adapter.AdaptedJUnitTestUnit.execute(AdaptedJUnitTestUnit.java:85)stderr  : 
stderr  : 	at org.pitest.mutationtest.execute.MutationTimeoutDecorator$1.call(MutationTimeoutDecorator.java:88)stderr  : 
stderr  : 	at java.util.concurrent.FutureTask.run(FutureTask.java:266)stderr  : 
stderr  : 	at java.lang.Thread.run(Thread.java:745)stderr  : 
stderr  : 
** The above sequence is VIOLATING an oracle!stderr  : ** Suite name        : dummy name, a merged suite
** CUT               : Sequenic.T2.XPool
** Suite size        : 1500
** Avrg. seq. length : 6.0846667
stderr  : ** Executed   : 12
stderr  : ** Violating  : 1
stderr  : ** Invalid    : 0
stderr  : ** Failing    : 0
stderr  : ** Runtime    : 32 ms
stderr  : ** Field-pairs' abstract values coverage : 3/12 (25.0%)
stderr  : Oct 07, 2014 10:22:31 AM Sequenic.T3.ReplayCmd runReplay
INFO: >> Replay runtime = 345ms
stderr  : 10:22:31 AM PIT >> FINE : Finished
stderr  : 10:22:31 AM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=get_objectCount, methodDesc=()I], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator] detected = KILLED by Sequenicstderr  : .T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)
stderr  : 10:22:31 AM PIT >> FINE : processed mutation in 400 ms.
10:22:31 AM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=getIndex, methodDesc=(Ljava/lang/Class;)Ljava/lang/Integer;], indestderr  : xes=[1], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator], filename=XPool.java, block=9, lineNumber=101, description=mutated return of Object value for Sequenic/T2/XPool::getIndex to ( if (x != null) null else throw new RuntimeExcestderr  : ption ), testsInOrder=[Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)]]
10:22:31 AM PIT >> FINE : MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=get_objectCount, methodDesc=()I], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator] KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)
stderr  : 10:22:31 AM PIT >> FINE : mutating method getIndex
stderr  : 10:22:31 AM PIT >> FINE : 1 relevant test for getIndex
stderr  : 10:22:31 AM PIT >> FINE : replaced class with mutant in 13 ms
10:22:31 AM PIT >> FINE : Running 1 units
stderr  : Oct 07, 2014 10:22:31 AM Sequenic.T3.Sequence.Datatype.SUITE load
INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677337772.tr is loaded, 5230 KB
stderr  : Oct 07, 2014 10:22:32 AM Sequenic.T3.Sequence.Datatype.SUITE load
INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677336371.tr is loaded, 5211 KB
stderr  : -----
stderr  : ** Replaying dummy name, a merged suite
stderr  : 
**--- [Sequenic.T2.XPool seq 3] , length=4 throws an exception.stderr  : 
** [step 0] stderr  : CON Sequenic.T2.XPool()
stderr  :    -- returned value:
    (Sequenic.T2.XPool) @ 0
    objectMap (HashMap)  @  1
    domainMap (HashMap)  @  2
    objectCount (Integer) : 0stderr  : 
** [step 1] stderr  : CALL put on REF 0
   with
   (CON java.lang.Object())
stderr  :    -- state of the receiver object:
    (Sequenic.T2.XPool) @ 0
    objectMap (HashMap)  @  1
                 [ (Integer) : 0] (java.lang.Object) @ 3
    domainMap (HashMap)  @  4
                 [ (Class) : ...] (LinkedList)  @  5
                      stderr  :                [0] ...
    objectCount (Integer) : 1stderr  :    -- returned value:
    (Integer) : 0stderr  : 
** [step 2] stderr  : CALL getIndex on REF 0
   with
   (class java.lang.Object)
stderr  :    >> VIOLATION!
stderr  :    -- state of the receiver object:
    (Sequenic.T2.XPool) @ 0
    objectMap (HashMap)  @  1
                 [ (Integer) : 0] (java.lang.Object) @ 3
    domainMap (HashMap)  @  4
                 [ (Class) : ...] (LinkedList)  @  5
                      stderr  :                [0] ...
    objectCount (Integer) : 1stderr  :    -- thrown exception:
stderr  : Sequenic.T3.OracleError: T3: violating an oracle. Info: Expecting:     (Integer) : 0
but getting:     nullstderr  : 
stderr  : 	at Sequenic.T3.Sequence.Datatype.METHOD.exec(METHOD.java:150)stderr  : 
stderr  : 	at Sequenic.T3.Sequence.Datatype.SEQ.exec(SEQ.java:95)stderr  : 
stderr  : 	at Sequenic.T3.Sequence.Datatype.SUITE.showSequence(SUITE.java:224)stderr  : 
stderr  : 	at Sequenic.T3.Sequence.Datatype.SUITE.exec(SUITE.java:163)stderr  : 
stderr  : 	at Sequenic.T3.SuiteAPI.replay(SuiteAPI.java:77)stderr  : 
stderr  : 	at Sequenic.T3.ReplayCmd.runSuite(ReplayCmd.java:134)stderr  : 
stderr  : 	at Sequenic.T3.ReplayCmd.runReplay(ReplayCmd.java:167)stderr  : 
stderr  : 	at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:190)stderr  : 
stderr  : 	at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:185)stderr  : 
stderr  : 	at Common.Common.replay(Common.java:61)stderr  : 
stderr  : 	at Common.Common.replayCUTtest(Common.java:76)stderr  : 
stderr  : 	at Sequenic.T2.ReplayTestXPool.test1(ReplayTestXPool.java:28)stderr  : 
stderr  : 	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)stderr  : 
stderr  : 	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)stderr  : 
stderr  : 	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)stderr  : 
stderr  : 	at java.lang.reflect.Method.invoke(Method.java:483)stderr  : 
stderr  : 	at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:45)stderr  : 
stderr  : 	at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:15)stderr  : 
stderr  : 	at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:42)stderr  : 
stderr  : 	at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:20)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:263)stderr  : 
stderr  : 	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:68)stderr  : 
stderr  : 	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:47)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner$3.run(ParentRunner.java:231)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:60)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:229)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner.access$000(ParentRunner.java:50)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:222)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner.run(ParentRunner.java:300)
	at org.pitest.junit.adapter.CustomRunnerExecutor.run(CustomRunnerExecutor.java:42)
	at org.pitest.junit.adapter.AdaptedJUnitTestUnit.execute(AdaptedJUnitTestUnit.java:85)
	at org.pitest.mutatiostderr  : ntest.execute.MutationTimeoutDecorator$1.call(MutationTimeoutDecorator.java:88)
	at java.util.concurrent.FutureTask.run(FutureTask.java:266)
	at java.lang.Thread.run(Thread.java:745)

** The above sequence is VIOLATING an oracle!** Suite name        : dummstderr  : y name, a merged suite
** CUT               : Sequenic.T2.XPool
** Suite size        : 1500
** Avrg. seq. length : 6.0846667
** Executed   : 4
** Violating  : 1
** Invalid    : 0
** Failing    : 0
** Runtime    : 72 ms
** Field-pairs' abstract values coverstderr  : age : 3/12 (25.0%)
Oct 07, 2014 10:22:32 AM Sequenic.T3.ReplayCmd runReplay
INFO: >> Replay runtime = 551ms
10:22:32 AM PIT >> FINE : MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=getIndex, methodDesc=(Ljava/lang/Class;)Ljava/lang/Integer;], indexes=[1], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator] KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)
stderr  : 10:22:32 AM PIT >> FINE : Finished
10:22:32 AM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=getIndex, methodDesc=(Ljava/lang/Class;)Ljava/lang/Integer;], indexes=[1], mutator=org.pitest.mutationtest.engine.gstderr  : regor.mutators.ReturnValsMutator] detected = KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)
10:22:32 AM PIT >> FINE : processed mutation in 586 ms.
10:22:32 AM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier stderr  : [location=Location [clazz=Sequenic.T2.XPool, method=getIndex, methodDesc=(Ljava/lang/Class;)Ljava/lang/Integer;], indexes=[2], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator], filename=XPool.java, block=7, lineNumber=88, dstderr  : escription=negated conditional, testsInOrder=[Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)]]
stderr  : 10:22:32 AM PIT >> FINE : mutating method getIndex
stderr  : 10:22:32 AM PIT >> FINE : 1 relevant test for getIndex
stderr  : 10:22:32 AM PIT >> FINE : replaced class with mutant in 6 ms
stderr  : 10:22:32 AM PIT >> FINE : Running 1 units
stderr  : Oct 07, 2014 10:22:32 AM Sequenic.T3.Sequence.Datatype.SUITE load
INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677337772.tr is loaded, 5230 KB
stderr  : Oct 07, 2014 10:22:32 AM Sequenic.T3.Sequence.Datatype.SUITE load
INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677336371.tr is loaded, 5211 KB
stderr  : -----
stderr  : ** Replaying dummy name, a merged suite
stderr  : 
**--- [Sequenic.T2.XPool seq 3] , length=4 throws an exception.stderr  : 
** [step 0] stderr  : CON Sequenic.T2.XPool()
stderr  :    -- returned value:
    (Sequenic.T2.XPool) @ 0
    objectMap (HashMap)  @  1
    domainMap (HashMap)  @  2
    objectCount (Integer) : 0stderr  : 
** [step 1] stderr  : CALL put on REF 0
   with
   (CON java.lang.Object())
stderr  :    -- state of the receiver object:
    (Sequenic.T2.XPool) @ 0
    objectMap (HashMap)  @  1
                 [ (Integer) : 0] (java.lang.Object) @ 3
    domainMap (HashMap)  @  4
                 [ (Class) : ...] (LinkedList)  @  5
                      stderr  :                [0] ...
    objectCount (Integer) : 1stderr  :    -- returned value:
    (Integer) : 0stderr  : 
** [step 2] stderr  : CALL getIndex on REF 0
   with
   (class java.lang.Object)
stderr  :    >> VIOLATION!
stderr  :    -- state of the receiver object:
    (Sequenic.T2.XPool) @ 0
    objectMap (HashMap)  @  1
                 [ (Integer) : 0] (java.lang.Object) @ 3
    domainMap (HashMap)  @  4
                 [ (Class) : ...] (LinkedList)  @  5
                      stderr  :                [0] ...
    objectCount (Integer) : 1stderr  :    -- thrown exception:
stderr  : Sequenic.T3.OracleError: T3: violating an oracle. Info: Expecting:     (Integer) : 0
but getting:     nullstderr  : 
stderr  : 	at Sequenic.T3.Sequence.Datatype.METHOD.exec(METHOD.java:150)stderr  : 
stderr  : 	at Sequenic.T3.Sequence.Datatype.SEQ.exec(SEQ.java:95)stderr  : 
stderr  : 	at Sequenic.T3.Sequence.Datatype.SUITE.showSequence(SUITE.java:224)stderr  : 
stderr  : 	at Sequenic.T3.Sequence.Datatype.SUITE.exec(SUITE.java:163)stderr  : 
stderr  : 	at Sequenic.T3.SuiteAPI.replay(SuiteAPI.java:77)stderr  : 
stderr  : 	at Sequenic.T3.ReplayCmd.runSuite(ReplayCmd.java:134)stderr  : 
stderr  : 	at Sequenic.T3.ReplayCmd.runReplay(ReplayCmd.java:167)stderr  : 
stderr  : 	at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:190)stderr  : 
stderr  : 	at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:185)stderr  : 
stderr  : 	at Common.Common.replay(Common.java:61)stderr  : 
stderr  : 	at Common.Common.replayCUTtest(Common.java:76)stderr  : 
stderr  : 	at Sequenic.T2.ReplayTestXPool.test1(ReplayTestXPool.java:28)stderr  : 
stderr  : 	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)stderr  : 
stderr  : 	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)stderr  : 
stderr  : 	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)stderr  : 
stderr  : 	at java.lang.reflect.Method.invoke(Method.java:483)stderr  : 
stderr  : 	at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:45)stderr  : 
stderr  : 	at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:15)stderr  : 
stderr  : 	at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:42)stderr  : 
stderr  : 	at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:20)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:263)stderr  : 
stderr  : 	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:68)stderr  : 
stderr  : 	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:47)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner$3.run(ParentRunner.java:231)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:60)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:229)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner.access$000(ParentRunner.java:50)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:222)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner.run(ParentRunner.java:300)stderr  : 
stderr  : 	at org.pitest.junit.adapter.CustomRunnerExecutor.run(CustomRunnerExecutor.java:42)stderr  : 
stderr  : 	at org.pitest.junit.adapter.AdaptedJUnitTestUnit.execute(AdaptedJUnitTestUnit.java:85)stderr  : 
stderr  : 	at org.pitest.mutationtest.execute.MutationTimeoutDecorator$1.call(MutationTimeoutDecorator.java:88)stderr  : 
stderr  : 	at java.util.concurrent.FutureTask.run(FutureTask.java:266)stderr  : 
stderr  : 	at java.lang.Thread.run(Thread.java:745)stderr  : 
stderr  : 
** The above sequence is VIOLATING an oracle!stderr  : ** Suite name        : dummy name, a merged suite
** CUT               : Sequenic.T2.XPool
** Suite size        : 1500
** Avrg. seq. length : 6.0846667
stderr  : ** Executed   : 4
stderr  : ** Violating  : 1
stderr  : ** Invalid    : 0
stderr  : ** Failing    : 0
stderr  : ** Runtime    : 25 ms
stderr  : ** Field-pairs' abstract values coverage : 3/12 (25.0%)
stderr  : Oct 07, 2014 10:22:32 AM Sequenic.T3.ReplayCmd runReplay
INFO: >> Replay runtime = 263ms
10:22:32 AM PIT >> FINE : MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=getIndex, methodDesc=(Ljava/lang/Class;)Ljava/lang/Integer;], indexes=[2], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)
stderr  : 10:22:32 AM PIT >> FINE : Finished
10:22:32 AM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=getIndex, methodDesc=(Ljava/lang/Class;)Ljava/lang/Integer;], indexes=[2], mutator=org.pitest.mutationtest.engine.gstderr  : regor.mutators.NegateConditionalsMutator] detected = KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)
10:22:32 AM PIT >> FINE : processed mutation in 308 ms.
10:22:32 AM PIT >> FINE : Running mutation MutationDetails [id=MutationIdestderr  : ntifier [location=Location [clazz=Sequenic.T2.XPool, method=getIndex, methodDesc=(Ljava/lang/Class;)Ljava/lang/Integer;], indexes=[1], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator], filename=XPool.java, block=5, lineNumbstderr  : er=87, description=negated conditional, testsInOrder=[Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)]]
stderr  : 10:22:32 AM PIT >> FINE : mutating method getIndex
stderr  : 10:22:32 AM PIT >> FINE : 1 relevant test for getIndex
stderr  : 10:22:32 AM PIT >> FINE : replaced class with mutant in 13 ms
10:22:32 AM PIT >> FINE : Running 1 units
stderr  : Oct 07, 2014 10:22:32 AM Sequenic.T3.Sequence.Datatype.SUITE load
INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677337772.tr is loaded, 5230 KB
stderr  : Oct 07, 2014 10:22:32 AM Sequenic.T3.Sequence.Datatype.SUITE load
INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677336371.tr is loaded, 5211 KB
stderr  : -----
stderr  : ** Replaying dummy name, a merged suite
stderr  : 
**--- [Sequenic.T2.XPool seq 3] , length=4 throws an exception.stderr  : 
** [step 0] stderr  : CON Sequenic.T2.XPool()
stderr  :    -- returned value:
    (Sequenic.T2.XPool) @ 0
    objectMap (HashMap)  @  1
    domainMap (HashMap)  @  2
    objectCount (Integer) : 0stderr  : 
** [step 1] stderr  : CALL put on REF 0
   with
   (CON java.lang.Object())
stderr  :    -- state of the receiver object:
    (Sequenic.T2.XPool) @ 0
    objectMap (HashMap)  @  1
                 [ (Integer) : 0] (java.lang.Object) @ 3
    domainMap (HashMap)  @  4
                 [ (Class) : ...] (LinkedList)  @  5
                      stderr  :                [0] ...
    objectCount (Integer) : 1   -- returned value:
    (Integer) : 0
** [step 2] CALL getIndex on REF 0
   with
   (class java.lang.Object)
   >> VIOLATION!
   -- state of the receiver object:
    (Sequenic.T2.XPool) @ 0
    objectMastderr  : p (HashMap)  @  1
                 [ (Integer) : 0] (java.lang.Object) @ 3
    domainMap (HashMap)  @  4
                 [ (Class) : ...] (LinkedList)  @  5
                                     [0] ...
    objectCount (Integer) : 1   -- thrown exception:
stderr  : Sequenic.T3.OracleError: T3: violating an oracle. Info: Expecting:     (Integer) : 0
but getting:     null
	at Sequenic.T3.Sequence.Datatype.METHOD.exec(METHOD.java:150)
	at Sequenic.T3.Sequence.Datatype.SEQ.exec(SEQ.java:95)
	at Sequenic.T3.Sequence.Datatstderr  : ype.SUITE.showSequence(SUITE.java:224)
	at Sequenic.T3.Sequence.Datatype.SUITE.exec(SUITE.java:163)
	at Sequenic.T3.SuiteAPI.replay(SuiteAPI.java:77)
	at Sequenic.T3.ReplayCmd.runSuite(ReplayCmd.java:134)
	at Sequenic.T3.ReplayCmd.runReplay(ReplayCmd.java:stderr  : 167)
	at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:190)
	at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:185)
	at Common.Common.replay(Common.java:61)
	at Common.Common.replayCUTtest(Common.java:76)
	at Sequenic.T2.ReplayTestXPool.test1(ReplayTestXPool.java:2stderr  : 8)
	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
	at java.lang.refstderr  : lect.Method.invoke(Method.java:483)
	at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:45)
	at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:15)
	at org.junit.runners.model.FrameworkMethodstderr  : .invokeExplosively(FrameworkMethod.java:42)
	at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:20)
	at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:263)
	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJstderr  : Unit4ClassRunner.java:68)
	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:47)
	at org.junit.runners.ParentRunner$3.run(ParentRunner.java:231)
	at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:60)
	at org.junistderr  : t.runners.ParentRunner.runChildren(ParentRunner.java:229)
	at org.junit.runners.ParentRunner.access$000(ParentRunner.java:50)
	at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:222)
	at org.junit.runners.ParentRunner.run(ParentRunner.java:300)stderr  : 
	at org.pitest.junit.adapter.CustomRunnerExecutor.run(CustomRunnerExecutor.java:42)
	at org.pitest.junit.adapter.AdaptedJUnitTestUnit.execute(AdaptedJUnitTestUnit.java:85)
	at org.pitest.mutationtest.execute.MutationTimeoutDecorator$1.call(MutationTimeoutstderr  : Decorator.java:88)
	at java.util.concurrent.FutureTask.run(FutureTask.java:266)
	at java.lang.Thread.run(Thread.java:745)

** The above sequence is VIOLATING an oracle!** Suite name        : dummy name, a merged suite
** CUT               : Sequenic.T2.XPostderr  : ol
** Suite size        : 1500
** Avrg. seq. length : 6.0846667
** Executed   : 4
** Violating  : 1
** Invalid    : 0
** Failing    : 0
** Runtime    : 48 ms
** Field-pairs' abstract values coverage : 3/12 (25.0%)
Oct 07, 2014 10:22:32 AM Sequenic.T3.Replastderr  : yCmd runReplay
INFO: >> Replay runtime = 227ms
stderr  : 10:22:32 AM PIT >> FINE : Finished
10:22:32 AM PIT >> FINE : MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=getIndex, methodDesc=(Ljava/lang/Class;)Ljava/lang/Integer;], indexes=[1], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)
stderr  : 10:22:32 AM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=getIndex, methodDesc=(Ljava/lang/Class;)Ljava/lang/Integer;], indexes=[1], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMustderr  : tator] detected = KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)
stderr  : 10:22:32 AM PIT >> FINE : processed mutation in 275 ms.
stderr  : 10:22:32 AM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=getIndex, methodDesc=(Ljava/lang/Class;)Ljava/lang/Integer;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mstderr  : utators.NegateConditionalsMutator], filename=XPool.java, block=4, lineNumber=86, description=negated conditional, testsInOrder=[Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)]]
stderr  : 10:22:32 AM PIT >> FINE : mutating method getIndex
stderr  : 10:22:32 AM PIT >> FINE : 1 relevant test for getIndex
stderr  : 10:22:32 AM PIT >> FINE : replaced class with mutant in 17 ms
10:22:32 AM PIT >> FINE : Running 1 units
stderr  : Oct 07, 2014 10:22:32 AM Sequenic.T3.Sequence.Datatype.SUITE load
INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677337772.tr is loaded, 5230 KB
stderr  : Oct 07, 2014 10:22:32 AM Sequenic.T3.Sequence.Datatype.SUITE load
INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677336371.tr is loaded, 5211 KB
stderr  : -----
stderr  : ** Replaying dummy name, a merged suite
stderr  : 
**--- [Sequenic.T2.XPool seq 3] , length=4 throws an exception.stderr  : 
** [step 0] stderr  : CON Sequenic.T2.XPool()
stderr  :    -- returned value:
    (Sequenic.T2.XPool) @ 0
    objectMap (HashMap)  @  1
    domainMap (HashMap)  @  2
    objectCount (Integer) : 0stderr  : 
** [step 1] stderr  : CALL put on REF 0
   with
   (CON java.lang.Object())
stderr  :    -- state of the receiver object:
    (Sequenic.T2.XPool) @ 0
    objectMap (HashMap)  @  1
                 [ (Integer) : 0] (java.lang.Object) @ 3
    domainMap (HashMap)  @  4
                 [ (Class) : ...] (LinkedList)  @  5
                      stderr  :                [0] ...
    objectCount (Integer) : 1stderr  :    -- returned value:
    (Integer) : 0stderr  : 
** [step 2] stderr  : CALL getIndex on REF 0
   with
   (class java.lang.Object)
stderr  :    >> VIOLATION!
stderr  :    -- state of the receiver object:
    (Sequenic.T2.XPool) @ 0
    objectMap (HashMap)  @  1
                 [ (Integer) : 0] (java.lang.Object) @ 3
    domainMap (HashMap)  @  4
                 [ (Class) : ...] (LinkedList)  @  5
                      stderr  :                [0] ...
    objectCount (Integer) : 1stderr  :    -- thrown exception:
stderr  : Sequenic.T3.OracleError: T3: violating an oracle. Info: Expecting:     (Integer) : 0
but getting:     nullstderr  : 
stderr  : 	at Sequenic.T3.Sequence.Datatype.METHOD.exec(METHOD.java:150)stderr  : 
stderr  : 	at Sequenic.T3.Sequence.Datatype.SEQ.exec(SEQ.java:95)stderr  : 
stderr  : 	at Sequenic.T3.Sequence.Datatype.SUITE.showSequence(SUITE.java:224)stderr  : 
stderr  : 	at Sequenic.T3.Sequence.Datatype.SUITE.exec(SUITE.java:163)stderr  : 
stderr  : 	at Sequenic.T3.SuiteAPI.replay(SuiteAPI.java:77)stderr  : 
stderr  : 	at Sequenic.T3.ReplayCmd.runSuite(ReplayCmd.java:134)stderr  : 
stderr  : 	at Sequenic.T3.ReplayCmd.runReplay(ReplayCmd.java:167)stderr  : 
stderr  : 	at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:190)stderr  : 
stderr  : 	at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:185)stderr  : 
stderr  : 	at Common.Common.replay(Common.java:61)stderr  : 
stderr  : 	at Common.Common.replayCUTtest(Common.java:76)stderr  : 
stderr  : 	at Sequenic.T2.ReplayTestXPool.test1(ReplayTestXPool.java:28)stderr  : 
stderr  : 	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)stderr  : 
stderr  : 	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)stderr  : 
stderr  : 	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)stderr  : 
stderr  : 	at java.lang.reflect.Method.invoke(Method.java:483)stderr  : 
stderr  : 	at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:45)stderr  : 
stderr  : 	at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:15)stderr  : 
stderr  : 	at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:42)stderr  : 
stderr  : 	at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:20)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:263)stderr  : 
stderr  : 	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:68)stderr  : 
stderr  : 	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:47)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner$3.run(ParentRunner.java:231)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:60)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:229)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner.access$000(ParentRunner.java:50)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:222)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner.run(ParentRunner.java:300)stderr  : 
stderr  : 	at org.pitest.junit.adapter.CustomRunnerExecutor.run(CustomRunnerExecutor.java:42)stderr  : 
stderr  : 	at org.pitest.junit.adapter.AdaptedJUnitTestUnit.execute(AdaptedJUnitTestUnit.java:85)stderr  : 
stderr  : 	at org.pitest.mutationtest.execute.MutationTimeoutDecorator$1.call(MutationTimeoutDecorator.java:88)stderr  : 
stderr  : 	at java.util.concurrent.FutureTask.run(FutureTask.java:266)stderr  : 
stderr  : 	at java.lang.Thread.run(Thread.java:745)stderr  : 
stderr  : 
** The above sequence is VIOLATING an oracle!stderr  : ** Suite name        : dummy name, a merged suite
** CUT               : Sequenic.T2.XPool
** Suite size        : 1500
** Avrg. seq. length : 6.0846667
stderr  : ** Executed   : 4
stderr  : ** Violating  : 1
stderr  : ** Invalid    : 0
stderr  : ** Failing    : 0
stderr  : ** Runtime    : 16 ms
stderr  : ** Field-pairs' abstract values coverage : 3/12 (25.0%)
stderr  : Oct 07, 2014 10:22:32 AM Sequenic.T3.ReplayCmd runReplay
INFO: >> Replay runtime = 168ms
stderr  : 10:22:32 AM PIT >> FINE : Finished
10:22:32 AM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=getIndex, methodDesc=(Ljava/lang/Class;)Ljava/lang/Integer;], indexes=[0], mutator=org.pitest.mutationtest.engine.gstderr  : regor.mutators.NegateConditionalsMutator] detected = KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)
10:22:32 AM PIT >> FINE : processed mutation in 204 ms.
10:22:32 AM PIT >> FINE : Running mutation MutationDetails [id=MutationIdestderr  : ntifier [location=Location [clazz=Sequenic.T2.XPool, method=getIndex, methodDesc=(Ljava/lang/Class;)Ljava/lang/Integer;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator], filename=XPool.java, block=8, lineNumber=88, dstderr  : escription=mutated return of Object value for Sequenic/T2/XPool::getIndex to ( if (x != null) null else throw new RuntimeException ), testsInOrder=[Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)]]
10:22:32 AM PIT >> FINE : MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=getIndex, methodDesc=(Ljava/lang/Class;)Ljava/lang/Integer;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)
stderr  : 10:22:32 AM PIT >> FINE : mutating method getIndex
stderr  : 10:22:32 AM PIT >> FINE : 1 relevant test for getIndex
stderr  : 10:22:32 AM PIT >> FINE : replaced class with mutant in 13 ms
10:22:32 AM PIT >> FINE : Running 1 units
stderr  : Oct 07, 2014 10:22:32 AM Sequenic.T3.Sequence.Datatype.SUITE load
INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677337772.tr is loaded, 5230 KB
stderr  : Oct 07, 2014 10:22:33 AM Sequenic.T3.Sequence.Datatype.SUITE load
INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677336371.tr is loaded, 5211 KB
stderr  : -----
stderr  : ** Replaying dummy name, a merged suite
stderr  : 
** A sequence throws an exception, but is allowed by its oracle.stderr  : 
** A sequence throws an exception, but is allowed by its oracle.stderr  : 
** A sequence throws an exception, but is allowed by its oracle.stderr  : 
**--- [Sequenic.T2.XPool seq 12] , length=4 throws an exception.stderr  : 
** [step 0] stderr  : CON Sequenic.T2.XPool()
stderr  :    -- returned value:
    (Sequenic.T2.XPool) @ 0
    objectMap (HashMap)  @  1
    domainMap (HashMap)  @  2
    objectCount (Integer) : 0stderr  : 
** [step 1] stderr  : CALL reset on REF 0
   with
   ()
stderr  :    -- state of the receiver object:
    (Sequenic.T2.XPool) @ 0
    objectMap (LinkedHashMap)  @  1
    domainMap (LinkedHashMap)  @  2
    objectCount (Integer) : 0stderr  : 
** [step 2] stderr  : CALL getIndex on REF 0
   with
   (class Sequenic.T3.utils.SomeObject)
stderr  :    >> VIOLATION!
stderr  :    -- state of the receiver object:
    (Sequenic.T2.XPool) @ 0
    objectMap (LinkedHashMap)  @  1
    domainMap (LinkedHashMap)  @  2
    objectCount (Integer) : 0stderr  :    -- thrown exception:
stderr  : Sequenic.T3.OracleError: T3: violating an oracle. Info: Expecting: null to be thrown, but getting: java.lang.RuntimeExceptionstderr  : 
stderr  : 	at Sequenic.T3.Sequence.Datatype.METHOD.exec(METHOD.java:150)stderr  : 
stderr  : 	at Sequenic.T3.Sequence.Datatype.SEQ.exec(SEQ.java:95)stderr  : 
stderr  : 	at Sequenic.T3.Sequence.Datatype.SUITE.showSequence(SUITE.java:224)stderr  : 
stderr  : 	at Sequenic.T3.Sequence.Datatype.SUITE.exec(SUITE.java:163)stderr  : 
stderr  : 	at Sequenic.T3.SuiteAPI.replay(SuiteAPI.java:77)stderr  : 
stderr  : 	at Sequenic.T3.ReplayCmd.runSuite(ReplayCmd.java:134)stderr  : 
stderr  : 	at Sequenic.T3.ReplayCmd.runReplay(ReplayCmd.java:167)stderr  : 
stderr  : 	at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:190)stderr  : 
stderr  : 	at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:185)stderr  : 
stderr  : 	at Common.Common.replay(Common.java:61)stderr  : 
stderr  : 	at Common.Common.replayCUTtest(Common.java:76)stderr  : 
stderr  : 	at Sequenic.T2.ReplayTestXPool.test1(ReplayTestXPool.java:28)stderr  : 
stderr  : 	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)stderr  : 
stderr  : 	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)stderr  : 
stderr  : 	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)stderr  : 
stderr  : 	at java.lang.reflect.Method.invoke(Method.java:483)stderr  : 
stderr  : 	at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:45)stderr  : 
stderr  : 	at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:15)stderr  : 
stderr  : 	at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:42)stderr  : 
stderr  : 	at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:20)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:263)stderr  : 
stderr  : 	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:68)stderr  : 
stderr  : 	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:47)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner$3.run(ParentRunner.java:231)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:60)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:229)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner.access$000(ParentRunner.java:50)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:222)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner.run(ParentRunner.java:300)stderr  : 
stderr  : 	at org.pitest.junit.adapter.CustomRunnerExecutor.run(CustomRunnerExecutor.java:42)stderr  : 
stderr  : 	at org.pitest.junit.adapter.AdaptedJUnitTestUnit.execute(AdaptedJUnitTestUnit.java:85)stderr  : 
stderr  : 	at org.pitest.mutationtest.execute.MutationTimeoutDecorator$1.call(MutationTimeoutDecorator.java:88)stderr  : 
stderr  : 	at java.util.concurrent.FutureTask.run(FutureTask.java:266)stderr  : 
stderr  : 	at java.lang.Thread.run(Thread.java:745)stderr  : 
stderr  : 
** The above sequence is VIOLATING an oracle!stderr  : ** Suite name        : dummy name, a merged suite
** CUT               : Sequenic.T2.XPool
** Suite size        : 1500
** Avrg. seq. length : 6.0846667
stderr  : ** Executed   : 13
stderr  : ** Violating  : 1
stderr  : ** Invalid    : 0
stderr  : ** Failing    : 0
stderr  : ** Runtime    : 22 ms
stderr  : ** Field-pairs' abstract values coverage : 3/12 (25.0%)
stderr  : Oct 07, 2014 10:22:33 AM Sequenic.T3.ReplayCmd runReplay
INFO: >> Replay runtime = 130ms
10:22:33 AM PIT >> FINE : MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=getIndex, methodDesc=(Ljava/lang/Class;)Ljava/lang/Integer;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator] KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)
stderr  : 10:22:33 AM PIT >> FINE : Finished
10:22:33 AM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=getIndex, methodDesc=(Ljava/lang/Class;)Ljava/lang/Integer;], indexes=[0], mutator=org.pitest.mutationtest.engine.gstderr  : regor.mutators.ReturnValsMutator] detected = KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)
10:22:33 AM PIT >> FINE : processed mutation in 164 ms.
10:22:33 AM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier stderr  : [location=Location [clazz=Sequenic.T2.XPool, method=put, methodDesc=(Ljava/lang/Object;)I], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator], filename=XPool.java, block=10, lineNumber=113, description=negated cstderr  : onditional, testsInOrder=[Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)]]
stderr  : 10:22:33 AM PIT >> FINE : mutating method put
stderr  : 10:22:33 AM PIT >> FINE : 1 relevant test for put
stderr  : 10:22:33 AM PIT >> FINE : replaced class with mutant in 15 ms
10:22:33 AM PIT >> FINE : Running 1 units
stderr  : Oct 07, 2014 10:22:33 AM Sequenic.T3.Sequence.Datatype.SUITE load
INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677337772.tr is loaded, 5230 KB
stderr  : Oct 07, 2014 10:22:33 AM Sequenic.T3.Sequence.Datatype.SUITE load
INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677336371.tr is loaded, 5211 KB
stderr  : -----
stderr  : ** Replaying dummy name, a merged suite
stderr  : 
** A sequence throws an exception, but is allowed by its oracle.stderr  : 
**--- [Sequenic.T2.XPool seq 6] , length=4 throws an exception.stderr  : 
** [step 0] stderr  : CON Sequenic.T2.XPool()
stderr  :    -- returned value:
    (Sequenic.T2.XPool) @ 0
    objectMap (HashMap)  @  1
    domainMap (HashMap)  @  2
    objectCount (Integer) : 0stderr  : 
** [step 1] stderr  : CALL getIndex on REF 0
   with
   (class java.lang.Object)
stderr  :    -- state of the receiver object:
    (Sequenic.T2.XPool) @ 0
    objectMap (HashMap)  @  1
    domainMap (HashMap)  @  2
    objectCount (Integer) : 0stderr  : 
** [step 2] stderr  : CALL put on REF 0
   with
   (CON java.lang.Object())
stderr  :    >> VIOLATION!
stderr  :    -- state of the receiver object:
    (Sequenic.T2.XPool) @ 0
    objectMap (HashMap)  @  1
                 [ (Integer) : 0] (java.lang.Object) @ 3
    domainMap (HashMap)  @  4
    objectCount (Integer) : 1stderr  :    -- thrown exception:
stderr  : Sequenic.T3.OracleError: T3: violating an oracle. Info: Expecting: null to be thrown, but getting: java.lang.NullPointerExceptionstderr  : 
stderr  : 	at Sequenic.T3.Sequence.Datatype.METHOD.exec(METHOD.java:150)stderr  : 
stderr  : 	at Sequenic.T3.Sequence.Datatype.SEQ.exec(SEQ.java:95)stderr  : 
stderr  : 	at Sequenic.T3.Sequence.Datatype.SUITE.showSequence(SUITE.java:224)stderr  : 
stderr  : 	at Sequenic.T3.Sequence.Datatype.SUITE.exec(SUITE.java:163)stderr  : 
stderr  : 	at Sequenic.T3.SuiteAPI.replay(SuiteAPI.java:77)stderr  : 
stderr  : 	at Sequenic.T3.ReplayCmd.runSuite(ReplayCmd.java:134)stderr  : 
stderr  : 	at Sequenic.T3.ReplayCmd.runReplay(ReplayCmd.java:167)stderr  : 
stderr  : 	at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:190)stderr  : 
stderr  : 	at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:185)stderr  : 
stderr  : 	at Common.Common.replay(Common.java:61)stderr  : 
stderr  : 	at Common.Common.replayCUTtest(Common.java:76)stderr  : 
stderr  : 	at Sequenic.T2.ReplayTestXPool.test1(ReplayTestXPool.java:28)stderr  : 
stderr  : 	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)stderr  : 
stderr  : 	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)stderr  : 
stderr  : 	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)stderr  : 
stderr  : 	at java.lang.reflect.Method.invoke(Method.java:483)stderr  : 
stderr  : 	at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:45)stderr  : 
stderr  : 	at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:15)stderr  : 
stderr  : 	at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:42)stderr  : 
stderr  : 	at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:20)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:263)stderr  : 
stderr  : 	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:68)stderr  : 
stderr  : 	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:47)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner$3.run(ParentRunner.java:231)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:60)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:229)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner.access$000(ParentRunner.java:50)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:222)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner.run(ParentRunner.java:300)stderr  : 
stderr  : 	at org.pitest.junit.adapter.CustomRunnerExecutor.run(CustomRunnerExecutor.java:42)stderr  : 
stderr  : 	at org.pitest.junit.adapter.AdaptedJUnitTestUnit.execute(AdaptedJUnitTestUnit.java:85)stderr  : 
stderr  : 	at org.pitest.mutationtest.execute.MutationTimeoutDecorator$1.call(MutationTimeoutDecorator.java:88)stderr  : 
stderr  : 	at java.util.concurrent.FutureTask.run(FutureTask.java:266)stderr  : 
stderr  : 	at java.lang.Thread.run(Thread.java:745)stderr  : 
stderr  : 
** The above sequence is VIOLATING an oracle!stderr  : ** Suite name        : dummy name, a merged suite
** CUT               : Sequenic.T2.XPool
** Suite size        : 1500
** Avrg. seq. length : 6.0846667
stderr  : ** Executed   : 7
stderr  : ** Violating  : 1
stderr  : ** Invalid    : 0
stderr  : ** Failing    : 0
stderr  : ** Runtime    : 14 ms
stderr  : ** Field-pairs' abstract values coverage : 3/12 (25.0%)
stderr  : Oct 07, 2014 10:22:33 AM Sequenic.T3.ReplayCmd runReplay
INFO: >> Replay runtime = 111ms
10:22:33 AM PIT >> FINE : MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=put, methodDesc=(Ljava/lang/Object;)I], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)
stderr  : 10:22:33 AM PIT >> FINE : Finished
10:22:33 AM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=put, methodDesc=(Ljava/lang/Object;)I], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateCstderr  : onditionalsMutator] detected = KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)
10:22:33 AM PIT >> FINE : processed mutation in 142 ms.
10:22:33 AM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [location=Locastderr  : tion [clazz=Sequenic.T2.XPool, method=put, methodDesc=(Ljava/lang/Object;)I], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator], filename=XPool.java, block=12, lineNumber=120, description=replaced return of integer sizestderr  : d value with (x == 0 ? 1 : 0), testsInOrder=[Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)]]
stderr  : 10:22:33 AM PIT >> FINE : mutating method put
stderr  : 10:22:33 AM PIT >> FINE : 1 relevant test for put
stderr  : 10:22:33 AM PIT >> FINE : replaced class with mutant in 9 ms
10:22:33 AM PIT >> FINE : Running 1 units
stderr  : Oct 07, 2014 10:22:33 AM Sequenic.T3.Sequence.Datatype.SUITE load
INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677337772.tr is loaded, 5230 KB
stderr  : Oct 07, 2014 10:22:33 AM Sequenic.T3.Sequence.Datatype.SUITE load
INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677336371.tr is loaded, 5211 KB
stderr  : -----
stderr  : ** Replaying dummy name, a merged suite
stderr  : 
**--- [Sequenic.T2.XPool seq 6] , length=4 throws an exception.stderr  : 
** [step 0] stderr  : CON Sequenic.T2.XPool()
stderr  :    -- returned value:
    (Sequenic.T2.XPool) @ 0
    objectMap (HashMap)  @  1
    domainMap (HashMap)  @  2
    objectCount (Integer) : 0stderr  : 
** [step 1] stderr  : CALL getIndex on REF 0
   with
   (class java.lang.Object)
stderr  :    -- state of the receiver object:
    (Sequenic.T2.XPool) @ 0
    objectMap (HashMap)  @  1
    domainMap (HashMap)  @  2
    objectCount (Integer) : 0stderr  : 
** [step 2] stderr  : CALL put on REF 0
   with
   (CON java.lang.Object())
stderr  :    >> VIOLATION!
stderr  :    -- state of the receiver object:
    (Sequenic.T2.XPool) @ 0
    objectMap (HashMap)  @  1
                 [ (Integer) : 0] (java.lang.Object) @ 3
    domainMap (HashMap)  @  4
                 [ (Class) : ...] (LinkedList)  @  5
                      stderr  :                [0] ...
    objectCount (Integer) : 1stderr  :    -- returned value:
    (Integer) : 1stderr  :    -- thrown exception:
stderr  : Sequenic.T3.OracleError: T3: violating an oracle. Info: Expecting:     (Integer) : 0
but getting:     (Integer) : 1stderr  : 
stderr  : 	at Sequenic.T3.Sequence.Datatype.METHOD.exec(METHOD.java:150)stderr  : 
stderr  : 	at Sequenic.T3.Sequence.Datatype.SEQ.exec(SEQ.java:95)stderr  : 
stderr  : 	at Sequenic.T3.Sequence.Datatype.SUITE.showSequence(SUITE.java:224)stderr  : 
stderr  : 	at Sequenic.T3.Sequence.Datatype.SUITE.exec(SUITE.java:163)stderr  : 
stderr  : 	at Sequenic.T3.SuiteAPI.replay(SuiteAPI.java:77)stderr  : 
stderr  : 	at Sequenic.T3.ReplayCmd.runSuite(ReplayCmd.java:134)stderr  : 
stderr  : 	at Sequenic.T3.ReplayCmd.runReplay(ReplayCmd.java:167)stderr  : 
stderr  : 	at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:190)stderr  : 
stderr  : 	at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:185)stderr  : 
stderr  : 	at Common.Common.replay(Common.java:61)stderr  : 
stderr  : 	at Common.Common.replayCUTtest(Common.java:76)stderr  : 
stderr  : 	at Sequenic.T2.ReplayTestXPool.test1(ReplayTestXPool.java:28)stderr  : 
stderr  : 	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)stderr  : 
stderr  : 	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)stderr  : 
stderr  : 	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)stderr  : 
stderr  : 	at java.lang.reflect.Method.invoke(Method.java:483)stderr  : 
stderr  : 	at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:45)stderr  : 
stderr  : 	at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:15)stderr  : 
stderr  : 	at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:42)stderr  : 
stderr  : 	at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:20)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:263)stderr  : 
stderr  : 	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:68)stderr  : 
stderr  : 	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:47)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner$3.run(ParentRunner.java:231)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:60)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:229)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner.access$000(ParentRunner.java:50)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:222)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner.run(ParentRunner.java:300)stderr  : 
stderr  : 	at org.pitest.junit.adapter.CustomRunnerExecutor.run(CustomRunnerExecutor.java:42)stderr  : 
stderr  : 	at org.pitest.junit.adapter.AdaptedJUnitTestUnit.execute(AdaptedJUnitTestUnit.java:85)stderr  : 
stderr  : 	at org.pitest.mutationtest.execute.MutationTimeoutDecorator$1.call(MutationTimeoutDecorator.java:88)stderr  : 
stderr  : 	at java.util.concurrent.FutureTask.run(FutureTask.java:266)stderr  : 
stderr  : 	at java.lang.Thread.run(Thread.java:745)stderr  : 
stderr  : 
** The above sequence is VIOLATING an oracle!stderr  : ** Suite name        : dummy name, a merged suite
** CUT               : Sequenic.T2.XPool
** Suite size        : 1500
** Avrg. seq. length : 6.0846667
stderr  : ** Executed   : 7
stderr  : ** Violating  : 1
stderr  : ** Invalid    : 0
stderr  : ** Failing    : 0
stderr  : ** Runtime    : 9 ms
stderr  : ** Field-pairs' abstract values coverage : 3/12 (25.0%)
stderr  : Oct 07, 2014 10:22:33 AM Sequenic.T3.ReplayCmd runReplay
INFO: >> Replay runtime = 85ms
stderr  : 10:22:33 AM PIT >> FINE : Finished
10:22:33 AM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=put, methodDesc=(Ljava/lang/Object;)I], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnVstderr  : alsMutator] detected = KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)
10:22:33 AM PIT >> FINE : processed mutation in 111 ms.
10:22:33 AM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clstderr  : azz=Sequenic.T2.XPool, method=get, methodDesc=(I)Ljava/lang/Object;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator], filename=XPool.java, block=3, lineNumber=70, description=mutated return of Object value for Sequenstderr  : ic/T2/XPool::get to ( if (x != null) null else throw new RuntimeException ), testsInOrder=[Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)]]
10:22:33 AM PIT >> FINE : MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=put, methodDesc=(Ljava/lang/Object;)I], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator] KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)
stderr  : 10:22:33 AM PIT >> FINE : mutating method get
stderr  : 10:22:33 AM PIT >> FINE : 1 relevant test for get
stderr  : 10:22:33 AM PIT >> FINE : replaced class with mutant in 9 ms
10:22:33 AM PIT >> FINE : Running 1 units
stderr  : Oct 07, 2014 10:22:33 AM Sequenic.T3.Sequence.Datatype.SUITE load
INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677337772.tr is loaded, 5230 KB
stderr  : Oct 07, 2014 10:22:33 AM Sequenic.T3.Sequence.Datatype.SUITE load
INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677336371.tr is loaded, 5211 KB
stderr  : -----
stderr  : ** Replaying dummy name, a merged suite
stderr  : 
** A sequence throws an exception, but is allowed by its oracle.stderr  : 
**--- [Sequenic.T2.XPool seq 1] , length=4 throws an exception.stderr  : 
** [step 0] stderr  : CON Sequenic.T2.XPool()
stderr  :    -- returned value:
    (Sequenic.T2.XPool) @ 0
    objectMap (HashMap)  @  1
    domainMap (HashMap)  @  2
    objectCount (Integer) : 0stderr  : 
** [step 1] stderr  : CALL get_objectCount on REF 0
   with
   ()
stderr  :    -- state of the receiver object:
    (Sequenic.T2.XPool) @ 0
    objectMap (HashMap)  @  1
    domainMap (HashMap)  @  2
    objectCount (Integer) : 0stderr  :    -- returned value:
    (Integer) : 0stderr  : 
** [step 2] stderr  : CALL get on REF 0
   with
   (0)
stderr  :    >> VIOLATION!
stderr  :    -- state of the receiver object:
    (Sequenic.T2.XPool) @ 0
    objectMap (HashMap)  @  1
    domainMap (HashMap)  @  2
    objectCount (Integer) : 0stderr  :    -- thrown exception:
stderr  : Sequenic.T3.OracleError: T3: violating an oracle. Info: Expecting: null to be thrown, but getting: java.lang.RuntimeExceptionstderr  : 
stderr  : 	at Sequenic.T3.Sequence.Datatype.METHOD.exec(METHOD.java:150)stderr  : 
stderr  : 	at Sequenic.T3.Sequence.Datatype.SEQ.exec(SEQ.java:95)stderr  : 
stderr  : 	at Sequenic.T3.Sequence.Datatype.SUITE.showSequence(SUITE.java:224)stderr  : 
stderr  : 	at Sequenic.T3.Sequence.Datatype.SUITE.exec(SUITE.java:163)stderr  : 
stderr  : 	at Sequenic.T3.SuiteAPI.replay(SuiteAPI.java:77)stderr  : 
stderr  : 	at Sequenic.T3.ReplayCmd.runSuite(ReplayCmd.java:134)stderr  : 
stderr  : 	at Sequenic.T3.ReplayCmd.runReplay(ReplayCmd.java:167)stderr  : 
stderr  : 	at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:190)stderr  : 
stderr  : 	at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:185)stderr  : 
stderr  : 	at Common.Common.replay(Common.java:61)stderr  : 
stderr  : 	at Common.Common.replayCUTtest(Common.java:76)stderr  : 
stderr  : 	at Sequenic.T2.ReplayTestXPool.test1(ReplayTestXPool.java:28)stderr  : 
stderr  : 	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)stderr  : 
stderr  : 	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)stderr  : 
stderr  : 	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)stderr  : 
stderr  : 	at java.lang.reflect.Method.invoke(Method.java:483)stderr  : 
stderr  : 	at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:45)stderr  : 
stderr  : 	at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:15)stderr  : 
stderr  : 	at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:42)stderr  : 
stderr  : 	at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:20)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:263)stderr  : 
stderr  : 	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:68)stderr  : 
stderr  : 	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:47)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner$3.run(ParentRunner.java:231)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:60)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:229)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner.access$000(ParentRunner.java:50)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:222)stderr  : 
stderr  : 	at org.junit.runners.ParentRunner.run(ParentRunner.java:300)stderr  : 
stderr  : 	at org.pitest.junit.adapter.CustomRunnerExecutor.run(CustomRunnerExecutor.java:42)stderr  : 
stderr  : 	at org.pitest.junit.adapter.AdaptedJUnitTestUnit.execute(AdaptedJUnitTestUnit.java:85)stderr  : 
stderr  : 	at org.pitest.mutationtest.execute.MutationTimeoutDecorator$1.call(MutationTimeoutDecorator.java:88)stderr  : 
stderr  : 	at java.util.concurrent.FutureTask.run(FutureTask.java:266)stderr  : 
stderr  : 	at java.lang.Thread.run(Thread.java:745)stderr  : 
stderr  : 
** The above sequence is VIOLATING an oracle!stderr  : ** Suite name        : dummy name, a merged suite
** CUT               : Sequenic.T2.XPool
** Suite size        : 1500
** Avrg. seq. length : 6.0846667
stderr  : ** Executed   : 2
stderr  : ** Violating  : 1
stderr  : ** Invalid    : 0
stderr  : ** Failing    : 0
stderr  : ** Runtime    : 5 ms
stderr  : ** Field-pairs' abstract values coverage : 3/12 (25.0%)
stderr  : Oct 07, 2014 10:22:33 AM Sequenic.T3.ReplayCmd runReplay
INFO: >> Replay runtime = 100ms
stderr  : 10:22:33 AM PIT >> FINE : Finished
10:22:33 AM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=get, methodDesc=(I)Ljava/lang/Object;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnVstderr  : alsMutator] detected = KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)
10:22:33 AM PIT >> FINE : processed mutation in 125 ms.
10:22:33 AM PIT >> FINE : MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=get, methodDesc=(I)Ljava/lang/Object;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator] KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)
10:22:33 AM PIT >> FINE : Exit code was - OK
10:22:33 AM PIT >> FINE : Slave exited ok
10:22:33 AM PIT >> FINE : Finished
10:22:33 AM PIT >> INFO : Completed in 7 seconds
================================================================================
- Timings
================================================================================
> scan classpath : < 1 second
> coverage and dependency analysis : 3 seconds
> build mutation tests : < 1 second
> run mutation analysis : 3 seconds
--------------------------------------------------------------------------------
> Total  : 6 seconds
--------------------------------------------------------------------------------
================================================================================
- Statistics
================================================================================
>> Generated 10 mutations Killed 10 (100%)
>> Ran 10 tests (1 tests per mutation)
================================================================================
- Mutators
================================================================================
> org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator
>> Generated 5 Killed 5 (100%)
> KILLED 5 SURVIVED 0 TIMED_OUT 0 NON_VIABLE 0 
> MEMORY_ERROR 0 NOT_STARTED 0 STARTED 0 RUN_ERROR 0 
> NO_COVERAGE 0 
--------------------------------------------------------------------------------
> org.pitest.mutationtest.engine.gregor.mutators.MathMutator
>> Generated 1 Killed 1 (100%)
> KILLED 1 SURVIVED 0 TIMED_OUT 0 NON_VIABLE 0 
> MEMORY_ERROR 0 NOT_STARTED 0 STARTED 0 RUN_ERROR 0 
> NO_COVERAGE 0 
--------------------------------------------------------------------------------
> org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator
>> Generated 4 Killed 4 (100%)
> KILLED 4 SURVIVED 0 TIMED_OUT 0 NON_VIABLE 0 
> MEMORY_ERROR 0 NOT_STARTED 0 STARTED 0 RUN_ERROR 0 
> NO_COVERAGE 0 
--------------------------------------------------------------------------------


=== Results ========================================================================================================================
GenTime             ExecTime            InstrCov            LineCov             BranchCov           MethodCov           MutationCov         
----------- ------------------------------------------------------------------------------------------------------------------------
3.61s               1.67s               100% (138/138)      100% (29/29)        100% (8/8)          100% (6/6)          100% (10/10)        


ConditionalBoundaryMutations:      0/0
NegateConditionalMutations:        4/4
MathMutations:                     1/1
IncrementMutations:                0/0
InvertNegativeMutations:           0/0
ReturnValueMutations:              5/5
VoidMethodCallMutations:           0/0
Stopping runtool...