Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.....................................................
=====================================================================
Generated by BenchKit 2-2979
Executing tool itstools
Input is S_SharedMemory-COL-002000, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r181kn-smll-146444111700696
=====================================================================

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME SharedMemory-COL-002000-CTLCardinality-0
FORMULA_NAME SharedMemory-COL-002000-CTLCardinality-1
FORMULA_NAME SharedMemory-COL-002000-CTLCardinality-10
FORMULA_NAME SharedMemory-COL-002000-CTLCardinality-11
FORMULA_NAME SharedMemory-COL-002000-CTLCardinality-12
FORMULA_NAME SharedMemory-COL-002000-CTLCardinality-13
FORMULA_NAME SharedMemory-COL-002000-CTLCardinality-14
FORMULA_NAME SharedMemory-COL-002000-CTLCardinality-15
FORMULA_NAME SharedMemory-COL-002000-CTLCardinality-2
FORMULA_NAME SharedMemory-COL-002000-CTLCardinality-3
FORMULA_NAME SharedMemory-COL-002000-CTLCardinality-4
FORMULA_NAME SharedMemory-COL-002000-CTLCardinality-5
FORMULA_NAME SharedMemory-COL-002000-CTLCardinality-6
FORMULA_NAME SharedMemory-COL-002000-CTLCardinality-7
FORMULA_NAME SharedMemory-COL-002000-CTLCardinality-8
FORMULA_NAME SharedMemory-COL-002000-CTLCardinality-9

=== Now, execution of the tool begins

BK_START 1464601791117

!SESSION 2016-05-30 09:49:51.627 -----------------------------------------------
eclipse.buildId=4.5.2.M20160212-1500
java.version=1.8.0_77
java.vendor=Oracle Corporation
BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=en_US
Framework arguments: -application fr.lip6.move.gal.application.pnmcc -pnfolder /home/mcc/execution -examination CTLCardinality -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its
Command-line arguments: -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -consoleLog -pnfolder /home/mcc/execution -examination CTLCardinality -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its

!ENTRY org.eclipse.osgi 4 0 2016-05-30 09:52:18.109
!MESSAGE Application error
!STACK 1
java.lang.OutOfMemoryError: Java heap space
at java.util.HashMap.resize(HashMap.java:703)
at java.util.HashMap.putVal(HashMap.java:662)
at java.util.HashMap.put(HashMap.java:611)
at java.util.HashSet.add(HashSet.java:219)
at fr.lip6.move.gal.support.Support.add(Support.java:55)
at fr.lip6.move.gal.support.Support.addAll(Support.java:66)
at fr.lip6.move.gal.support.SupportAnalyzer.computeSupport(SupportAnalyzer.java:229)
at fr.lip6.move.gal.support.SupportAnalyzer.computeTransitionSupport(SupportAnalyzer.java:273)
at fr.lip6.move.gal.instantiate.Instantiator.separateParameters(Instantiator.java:1086)
at fr.lip6.move.gal.instantiate.Instantiator.separateParameters(Instantiator.java:372)
at fr.lip6.move.gal.instantiate.Instantiator.instantiateParameters(Instantiator.java:259)
at fr.lip6.move.gal.instantiate.GALRewriter.instantiateParameters(GALRewriter.java:62)
at fr.lip6.move.gal.instantiate.GALRewriter.flatten(GALRewriter.java:17)
at fr.lip6.move.gal.application.Application.start(Application.java:209)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:196)