Execution Chart

Sorry, for this execution, no execution chart could be reported.

Trace from the execution

Formatting '/data/fkordon/mcc2022-input.r258-tall-165303546000647.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2022-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is TokenRing-PT-050, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r258-tall-165303546000647
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5G
-rw-r--r-- 1 mcc users 2.6M Apr 30 16:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 13M Apr 30 16:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 72M Apr 30 13:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 164M Apr 30 12:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:34 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.6K May 10 09:34 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 1.1M May 9 09:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 3.5M May 9 09:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 57M May 9 09:16 LTLFireability.txt
-rw-r--r-- 1 mcc users 153M May 9 09:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5M May 2 08:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 0 May 2 08:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 211M May 2 08:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 747M May 2 07:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 279K May 9 09:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 707K May 9 09:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 10 09:34 equiv_col
-rw-r--r-- 1 mcc users 0 May 10 09:34 instance
-rw-r--r-- 1 mcc users 6 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 61M May 10 09:34 model.pnml

--------------------
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 TokenRing-PT-050-ReachabilityFireability-00
FORMULA_NAME TokenRing-PT-050-ReachabilityFireability-01
FORMULA_NAME TokenRing-PT-050-ReachabilityFireability-02
FORMULA_NAME TokenRing-PT-050-ReachabilityFireability-03
FORMULA_NAME TokenRing-PT-050-ReachabilityFireability-04
FORMULA_NAME TokenRing-PT-050-ReachabilityFireability-05
FORMULA_NAME TokenRing-PT-050-ReachabilityFireability-06
FORMULA_NAME TokenRing-PT-050-ReachabilityFireability-07
FORMULA_NAME TokenRing-PT-050-ReachabilityFireability-08
FORMULA_NAME TokenRing-PT-050-ReachabilityFireability-09
FORMULA_NAME TokenRing-PT-050-ReachabilityFireability-10
FORMULA_NAME TokenRing-PT-050-ReachabilityFireability-11
FORMULA_NAME TokenRing-PT-050-ReachabilityFireability-12
FORMULA_NAME TokenRing-PT-050-ReachabilityFireability-13
FORMULA_NAME TokenRing-PT-050-ReachabilityFireability-14
FORMULA_NAME TokenRing-PT-050-ReachabilityFireability-15

=== Now, execution of the tool begins

BK_START 1654275746237

Running Version 202205111006
[2022-06-03 17:02:27] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2022-06-03 17:02:27] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-06-03 17:02:30] [INFO ] Load time of PNML (sax parser for PT used): 2557 ms
[2022-06-03 17:02:30] [INFO ] Transformed 2601 places.
[2022-06-03 17:02:30] [INFO ] Transformed 127551 transitions.
[2022-06-03 17:02:30] [INFO ] Parsed PT model containing 2601 places and 127551 transitions in 3092 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 10121 ms.
Working with output stream class java.io.PrintStream
FORMULA TokenRing-PT-050-ReachabilityFireability-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-PT-050-ReachabilityFireability-05 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-PT-050-ReachabilityFireability-07 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Interrupted random walk after 2364 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=0 ) properties seen 5
FORMULA TokenRing-PT-050-ReachabilityFireability-09 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA TokenRing-PT-050-ReachabilityFireability-04 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA TokenRing-PT-050-ReachabilityFireability-02 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA TokenRing-PT-050-ReachabilityFireability-01 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA TokenRing-PT-050-ReachabilityFireability-00 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Interrupted Best-First random walk after 198 steps, including 0 resets, run timeout after 6236 ms. (steps per millisecond=0 ) properties seen 0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 846 ms. (steps per millisecond=11 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1278 ms. (steps per millisecond=7 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 825 ms. (steps per millisecond=12 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 628 ms. (steps per millisecond=15 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 3226 ms. (steps per millisecond=3 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1570 ms. (steps per millisecond=6 ) properties (out of 8) seen :0
Interrupted Best-First random walk after 9981 steps, including 2 resets, run timeout after 5002 ms. (steps per millisecond=1 ) properties seen 0
Running SMT prover for 8 properties.
// Phase 1: matrix 127551 rows 2601 cols
[2022-06-03 17:03:38] [INFO ] Computed 51 place invariants in 591 ms
[2022-06-03 17:03:41] [INFO ] [Real]Absence check using 51 positive place invariants in 36 ms returned sat
[2022-06-03 17:03:42] [INFO ] After 4038ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:8
[2022-06-03 17:03:45] [INFO ] [Nat]Absence check using 51 positive place invariants in 36 ms returned sat
[2022-06-03 17:04:07] [INFO ] After 20856ms SMT Verify possible using state equation in natural domain returned unsat :1 sat :6
[2022-06-03 17:04:10] [INFO ] State equation strengthened by 125050 read => feed constraints.
[2022-06-03 17:04:10] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-06-03 17:04:10] [INFO ] After 27412ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:8
FORMULA TokenRing-PT-050-ReachabilityFireability-06 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 8 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 298 out of 2601 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 2601/2601 places, 127551/127551 transitions.
Applied a total of 0 rules in 40297 ms. Remains 2601 /2601 variables (removed 0) and now considering 127551/127551 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 2601/2601 places, 127551/127551 transitions.
Interrupted random walk after 308518 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=10 ) properties seen 0
Interrupted Best-First random walk after 54843 steps, including 0 resets, run timeout after 5001 ms. (steps per millisecond=10 ) properties seen 0
Interrupted Best-First random walk after 55308 steps, including 0 resets, run timeout after 5001 ms. (steps per millisecond=11 ) properties seen 0
Interrupted Best-First random walk after 55776 steps, including 0 resets, run timeout after 5001 ms. (steps per millisecond=11 ) properties seen 0
Interrupted Best-First random walk after 56411 steps, including 0 resets, run timeout after 5001 ms. (steps per millisecond=11 ) properties seen 0
Interrupted Best-First random walk after 56940 steps, including 0 resets, run timeout after 5001 ms. (steps per millisecond=11 ) properties seen 0
Interrupted Best-First random walk after 57740 steps, including 0 resets, run timeout after 5001 ms. (steps per millisecond=11 ) properties seen 0
Interrupted Best-First random walk after 55983 steps, including 0 resets, run timeout after 5001 ms. (steps per millisecond=11 ) properties seen 0
Interrupted probabilistic random walk after 120660 steps, run timeout after 195004 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 120660 steps, saw 31568 distinct states, run finished after 195008 ms. (steps per millisecond=0 ) properties seen :0
Running SMT prover for 7 properties.
// Phase 1: matrix 127551 rows 2601 cols
[2022-06-03 17:09:11] [INFO ] Computed 51 place invariants in 527 ms
[2022-06-03 17:09:12] [INFO ] [Real]Absence check using 51 positive place invariants in 33 ms returned sat
[2022-06-03 17:09:12] [INFO ] After 698ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:7
[2022-06-03 17:09:12] [INFO ] [Nat]Absence check using 51 positive place invariants in 33 ms returned sat
[2022-06-03 17:10:07] [INFO ] After 54544ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :7
[2022-06-03 17:10:09] [INFO ] State equation strengthened by 125050 read => feed constraints.
[2022-06-03 17:11:21] [INFO ] After 71660ms SMT Verify possible using 125050 Read/Feed constraints in natural domain returned unsat :0 sat :7
[2022-06-03 17:12:34] [INFO ] After 144344ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :7
Attempting to minimize the solution found.
Minimization took 16762 ms.
[2022-06-03 17:12:50] [INFO ] After 218496ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :7
Fused 7 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 298 out of 2601 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 2601/2601 places, 127551/127551 transitions.
Applied a total of 0 rules in 40045 ms. Remains 2601 /2601 variables (removed 0) and now considering 127551/127551 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 2601/2601 places, 127551/127551 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 2601/2601 places, 127551/127551 transitions.
Applied a total of 0 rules in 38438 ms. Remains 2601 /2601 variables (removed 0) and now considering 127551/127551 (removed 0) transitions.
// Phase 1: matrix 127551 rows 2601 cols
[2022-06-03 17:14:09] [INFO ] Computed 51 place invariants in 348 ms
[2022-06-03 17:14:16] [INFO ] Implicit Places using invariants in 7402 ms returned []
Implicit Place search using SMT only with invariants took 7403 ms to find 0 implicit places.
// Phase 1: matrix 127551 rows 2601 cols
[2022-06-03 17:14:17] [INFO ] Computed 51 place invariants in 348 ms
[2022-06-03 17:14:47] [INFO ] Performed 70922/127551 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-06-03 17:15:10] [INFO ] Dead Transitions using invariants and state equation in 54184 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 2601/2601 places, 127551/127551 transitions.
Interrupted random walk after 333104 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=11 ) properties seen 0
Interrupted Best-First random walk after 55703 steps, including 0 resets, run timeout after 5001 ms. (steps per millisecond=11 ) properties seen 0
Interrupted Best-First random walk after 58200 steps, including 0 resets, run timeout after 5001 ms. (steps per millisecond=11 ) properties seen 0
Interrupted Best-First random walk after 59070 steps, including 0 resets, run timeout after 5001 ms. (steps per millisecond=11 ) properties seen 0
Interrupted Best-First random walk after 59022 steps, including 0 resets, run timeout after 5001 ms. (steps per millisecond=11 ) properties seen 0
Interrupted Best-First random walk after 57979 steps, including 0 resets, run timeout after 5001 ms. (steps per millisecond=11 ) properties seen 0
Interrupted Best-First random walk after 58383 steps, including 0 resets, run timeout after 5001 ms. (steps per millisecond=11 ) properties seen 0
Interrupted Best-First random walk after 57963 steps, including 0 resets, run timeout after 5001 ms. (steps per millisecond=11 ) properties seen 0
Interrupted probabilistic random walk after 99418 steps, run timeout after 195006 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 99418 steps, saw 27255 distinct states, run finished after 195008 ms. (steps per millisecond=0 ) properties seen :0
Running SMT prover for 7 properties.
// Phase 1: matrix 127551 rows 2601 cols
[2022-06-03 17:19:31] [INFO ] Computed 51 place invariants in 346 ms
[2022-06-03 17:19:32] [INFO ] [Real]Absence check using 51 positive place invariants in 35 ms returned sat
[2022-06-03 17:19:32] [INFO ] After 675ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:7
[2022-06-03 17:19:32] [INFO ] [Nat]Absence check using 51 positive place invariants in 29 ms returned sat
[2022-06-03 17:20:25] [INFO ] After 52794ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :7
[2022-06-03 17:20:27] [INFO ] State equation strengthened by 125050 read => feed constraints.
[2022-06-03 17:21:43] [INFO ] After 75254ms SMT Verify possible using 125050 Read/Feed constraints in natural domain returned unsat :0 sat :7
[2022-06-03 17:22:58] [INFO ] After 150976ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :7
Attempting to minimize the solution found.
Minimization took 17414 ms.
[2022-06-03 17:23:16] [INFO ] After 223992ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :7
Fused 7 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 298 out of 2601 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 2601/2601 places, 127551/127551 transitions.
Applied a total of 0 rules in 30813 ms. Remains 2601 /2601 variables (removed 0) and now considering 127551/127551 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 2601/2601 places, 127551/127551 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 2601/2601 places, 127551/127551 transitions.
Applied a total of 0 rules in 30261 ms. Remains 2601 /2601 variables (removed 0) and now considering 127551/127551 (removed 0) transitions.
// Phase 1: matrix 127551 rows 2601 cols
[2022-06-03 17:24:17] [INFO ] Computed 51 place invariants in 342 ms
[2022-06-03 17:24:25] [INFO ] Implicit Places using invariants in 8474 ms returned []
Implicit Place search using SMT only with invariants took 8479 ms to find 0 implicit places.
// Phase 1: matrix 127551 rows 2601 cols
[2022-06-03 17:24:26] [INFO ] Computed 51 place invariants in 510 ms
[2022-06-03 17:24:56] [INFO ] Performed 68894/127551 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-06-03 17:25:23] [INFO ] Dead Transitions using invariants and state equation in 57126 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 2601/2601 places, 127551/127551 transitions.
Graph (trivial) has 99727 edges and 2601 vertex of which 2254 / 2601 are part of one of the 50 SCC in 68 ms
Free SCC test removed 2204 places
Drop transitions removed 99680 transitions
Ensure Unique test removed 25448 transitions
Reduce isomorphic transitions removed 125128 transitions.
Drop transitions removed 44 transitions
Trivial Post-agglo rules discarded 44 transitions
Performed 44 trivial Post agglomeration. Transition count delta: 44
Iterating post reduction 0 with 44 rules applied. Total rules applied 45 place count 397 transition count 2379
Reduce places removed 44 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 1 with 46 rules applied. Total rules applied 91 place count 353 transition count 2377
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 93 place count 351 transition count 2377
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1 Pre rules applied. Total rules applied 93 place count 351 transition count 2376
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 95 place count 350 transition count 2376
Drop transitions removed 1852 transitions
Redundant transition composition rules discarded 1852 transitions
Iterating global reduction 3 with 1852 rules applied. Total rules applied 1947 place count 350 transition count 524
Applied a total of 1947 rules in 1266 ms. Remains 350 /2601 variables (removed 2251) and now considering 524/127551 (removed 127027) transitions.
Running SMT prover for 7 properties.
// Phase 1: matrix 524 rows 350 cols
[2022-06-03 17:25:24] [INFO ] Computed 51 place invariants in 0 ms
[2022-06-03 17:25:24] [INFO ] [Real]Absence check using 51 positive place invariants in 8 ms returned sat
[2022-06-03 17:25:24] [INFO ] After 107ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:7
[2022-06-03 17:25:24] [INFO ] [Nat]Absence check using 51 positive place invariants in 8 ms returned sat
[2022-06-03 17:25:25] [INFO ] After 443ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :7
[2022-06-03 17:25:25] [INFO ] After 883ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :7
Attempting to minimize the solution found.
Minimization took 359 ms.
[2022-06-03 17:25:26] [INFO ] After 1370ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :7
[2022-06-03 17:25:26] [INFO ] Flatten gal took : 59 ms
[2022-06-03 17:25:26] [INFO ] Flatten gal took : 27 ms
java.io.IOException: Stream Closed
at java.base/java.io.FileOutputStream.writeBytes(Native Method)
at java.base/java.io.FileOutputStream.write(FileOutputStream.java:354)
at java.base/java.io.BufferedOutputStream.flushBuffer(BufferedOutputStream.java:81)
at java.base/java.io.BufferedOutputStream.flush(BufferedOutputStream.java:142)
at fr.lip6.move.serialization.SerializationUtil.systemToFile(SerializationUtil.java:98)
at fr.lip6.move.gal.application.runner.its.ITSRunner.outputGalFile(ITSRunner.java:406)
at fr.lip6.move.gal.application.runner.its.ITSRunner.configure(ITSRunner.java:113)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.verifyWithSDD(GlobalPropertySolver.java:660)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:277)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:824)
at fr.lip6.move.gal.application.Application.start(Application.java:174)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2022-06-03 17:25:26] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality3355079973868661192.gal : 15 ms
ITS runner failed with exception Stream Closed
java.io.IOException: Stream Closed
at java.base/java.io.FileOutputStream.writeBytes(Native Method)
at java.base/java.io.FileOutputStream.write(FileOutputStream.java:354)
at java.base/java.io.BufferedOutputStream.flushBuffer(BufferedOutputStream.java:81)
at java.base/java.io.BufferedOutputStream.flush(BufferedOutputStream.java:142)
at fr.lip6.move.serialization.SerializationUtil.serializePropertiesForITSTools(SerializationUtil.java:164)
at fr.lip6.move.gal.application.runner.its.ITSRunner.outputPropertyFile(ITSRunner.java:351)
at fr.lip6.move.gal.application.runner.its.ITSRunner.configure(ITSRunner.java:118)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.verifyWithSDD(GlobalPropertySolver.java:660)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:277)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:824)
at fr.lip6.move.gal.application.Application.start(Application.java:174)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2022-06-03 17:25:26] [INFO ] Flatten gal took : 21 ms
[2022-06-03 17:25:26] [INFO ] Applying decomposition
[2022-06-03 17:25:26] [INFO ] Flatten gal took : 20 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph15752652791984831282.txt' '-o' '/tmp/graph15752652791984831282.bin' '-w' '/tmp/graph15752652791984831282.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph15752652791984831282.bin' '-l' '-1' '-v' '-w' '/tmp/graph15752652791984831282.weights' '-q' '0' '-e' '0.001'
[2022-06-03 17:25:26] [INFO ] Decomposing Gal with order
[2022-06-03 17:25:26] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_9_0 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_27_40 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_43_3 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_28_44 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_27_46 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_6_44 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_14_9 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_33_50 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_26_5 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_36_5 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_29_3 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_4_6 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_3_38 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_13_47 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_37_37 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_34_41 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_29_14 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_45_44 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_28_0 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_2_21 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_49_40 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_41_9 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_9_17 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_22_34 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_4_29 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_32_45 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_6_18 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_34_4 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_5_30 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_48_23 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_10_50 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_36_42 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_18_2 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_42_38 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_32_29 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_33_10 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_15_10 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_28_49 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_20_31 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_15_30 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_30_22 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_26_42 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_30_14 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_7_23 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_37_12 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_48_37 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_1_20 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_10_30 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_47_9 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_34_38 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_23_43 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_32_35 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_15_35 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_46_45 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_4_46 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_35_6 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_11_48 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_28_47 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_21_29 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_19_8 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_16_13 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_15_40 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_30_39 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_30_19 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_27_9 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_20_32 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_34_37 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_43_1 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_31_23 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_28_35 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_38_21 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_0_21 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_39_48 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_48_41 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_27_26 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_3_12 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_31_20 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_27_43 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_36_50 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_17_3 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_14_15 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_18_46 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_38_45 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_50_44 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_2_24 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_22_36 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_29_8 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_2_37 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_41_25 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_10_5 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_37_35 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_27_36 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_2_14 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_27_24 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_31_39 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_34_43 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_26_45 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_5_13 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_1_48 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_42_37 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_18_41 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_21_4 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_17_26 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_38_39 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_9_14 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_7_3 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_48_1 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_42_44 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_29_6 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_22_27 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_46_4 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_19_7 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_32_49 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_50_42 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_19_1 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_0_26 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_5_23 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_42_31 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_22_23 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_4_18 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_25_34 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_11_36 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_21_21 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_3_37 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_14_44 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_6_46 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_49_46 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_28_41 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_37_30 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_35_20 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_30_20 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_42_11 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_44_32 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_48_26 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_45_39 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_33_23 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_17_45 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_36_38 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_33_8 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_45_9 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_48_17 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_16_35 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_12_12 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_50_29 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_25_40 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_46_13 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_21_37 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_18_6 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_43_36 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_32_11 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_45_28 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_10_10 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_17_18 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_8_47 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_27_15 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_10_9 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_37_10 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_18_33 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_27_49 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_5_26 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_48_0 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_17_48 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_42_50 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_26_25 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_43_16 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_4_1 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_6_30 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_43_17 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_40_47 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_45_14 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_2_32 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_40_18 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_46_7 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_3_28 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_50_17 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_47_3 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_47_40 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_28_7 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_27_0 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_1_15 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_4_43 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_9_9 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_29_25 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_8_7 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_11_31 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_49_0 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_2_9 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_25_29 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_2_49 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_20_0 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_15_44 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_30_38 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_4_26 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_39_29 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_47_31 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_10_49 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_36_9 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_34_42 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_8_33 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_20_18 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_37_47 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_10_22 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_27_34 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_8_23 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_48_13 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_11_41 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_18_47 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_49_4 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_31_8 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_42_29 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_18_49 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_26_27 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_11_6 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_34_7 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_9_33 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_1_2 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_20_46 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_47_49 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_0_27 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_26_24 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_14_19 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_14_12 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_7_20 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_7_41 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_5_31 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_48_46 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_28_34 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_18_3 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_44_24 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_47_48 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_43_21 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_9_18 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_39_13 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_5_49 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_28_48 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_17_9 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_44_48 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_21_26 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_26_44 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_37_13 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_31_16 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_40_41 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_47_25 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_27_42 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_12_39 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_14_7 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_42_9 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_2_47 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_43_42 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_44_13 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_39_22 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_38_34 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_10_28 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_1_49 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_21_3 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_15_33 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_49_19 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_1_36 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_18_32 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_38_27 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_5_4 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_8_39 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_23_45 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_8_25 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_26_32 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_13_19 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_38_17 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_43_28 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_17_25 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_1_0 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_1_25 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_17_46 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_18_5 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_24_4 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_18_30 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_49_22 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_36_25 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_47_32 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_35_5 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_0_0 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_49_48 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_40_15 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_18_31 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_31_31 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_48_3 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_24_37 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_25_28 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_1_18 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_3_47 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_40_29 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_3_8 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_19_42 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_29_31 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_18_50 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_5_47 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_48_34 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_22_11 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_6_7 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_19_24 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_47_0 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_5_24 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_15_43 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_21_11 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_45_17 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_47_24 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_43_33 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_39_3 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_4_33 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_14_33 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_17_5 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_8_16 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_21_19 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_36_13 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_25_35 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_13_31 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_34_31 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_18_42 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_11_11 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_4_38 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_28_19 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_8_40 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_3_15 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_17_8 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_20_36 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_27_25 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_16_4 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_12_15 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_41_24 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_49_49 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_13_30 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_39_34 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_31_15 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_26_48 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_50_7 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_35_42 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_7_50 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_44_49 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_28_42 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_46_5 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_23_13 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_42_24 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_46_44 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_14_24 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_37_34 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_2_36 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_33_4 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_9_21 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_10_2 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_30_21 in partition

[2022-06-03 17:25:26] [INFO ] Could not find partition element corresponding to State_32_38 in partition

[2022-06-03 17:25:26] [WARNING] Could not apply decomposition. Using flat GAL structure.
java.lang.ArrayIndexOutOfBoundsException: Index -1 out of bounds for length 4
at org.eclipse.emf.common.util.BasicEList.get(BasicEList.java:348)
at fr.lip6.move.gal.instantiate.CompositeBuilder.galToCompositeWithPartition(CompositeBuilder.java:564)
at fr.lip6.move.gal.instantiate.CompositeBuilder.decomposeWithOrder(CompositeBuilder.java:147)
at fr.lip6.move.gal.application.mcc.MccTranslator.applyOrder(MccTranslator.java:231)
at fr.lip6.move.gal.application.mcc.MccTranslator.flattenSpec(MccTranslator.java:264)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.verifyWithSDD(GlobalPropertySolver.java:654)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:277)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:824)
at fr.lip6.move.gal.application.Application.start(Application.java:174)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2022-06-03 17:25:26] [INFO ] Flatten gal took : 21 ms
java.io.IOException: Stream Closed
at java.base/java.io.FileOutputStream.writeBytes(Native Method)
at java.base/java.io.FileOutputStream.write(FileOutputStream.java:354)
at java.base/java.io.BufferedOutputStream.flushBuffer(BufferedOutputStream.java:81)
at java.base/java.io.BufferedOutputStream.flush(BufferedOutputStream.java:142)
at fr.lip6.move.serialization.SerializationUtil.systemToFile(SerializationUtil.java:98)
at fr.lip6.move.gal.application.runner.its.ITSRunner.outputGalFile(ITSRunner.java:406)
at fr.lip6.move.gal.application.runner.its.ITSRunner.configure(ITSRunner.java:113)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.verifyWithSDD(GlobalPropertySolver.java:660)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:277)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:824)
at fr.lip6.move.gal.application.Application.start(Application.java:174)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2022-06-03 17:25:26] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality2158397080507654541.gal : 4 ms
ITS runner failed with exception Stream Closed
java.io.IOException: Stream Closed
at java.base/java.io.FileOutputStream.writeBytes(Native Method)
at java.base/java.io.FileOutputStream.write(FileOutputStream.java:354)
at java.base/java.io.BufferedOutputStream.flushBuffer(BufferedOutputStream.java:81)
at java.base/java.io.BufferedOutputStream.flush(BufferedOutputStream.java:142)
at fr.lip6.move.serialization.SerializationUtil.serializePropertiesForITSTools(SerializationUtil.java:164)
at fr.lip6.move.gal.application.runner.its.ITSRunner.outputPropertyFile(ITSRunner.java:351)
at fr.lip6.move.gal.application.runner.its.ITSRunner.configure(ITSRunner.java:118)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.verifyWithSDD(GlobalPropertySolver.java:660)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:277)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:824)
at fr.lip6.move.gal.application.Application.start(Application.java:174)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
Unable to create temporary folder.
Built C files in :
null
WARNING : LTS min runner thread failed on error :java.lang.NullPointerException
java.lang.NullPointerException
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:86)
at java.base/java.lang.Thread.run(Thread.java:829)
[2022-06-03 17:25:30] [INFO ] Flatten gal took : 3263 ms
Using solver Z3 to compute partial order matrices.
Unable to create temporary folder.
Built C files in :
null
WARNING : LTS min runner thread failed on error :java.lang.NullPointerException
java.lang.NullPointerException
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:86)
at java.base/java.lang.Thread.run(Thread.java:829)
[2022-06-03 17:25:35] [INFO ] Applying decomposition
[2022-06-03 17:25:38] [INFO ] Flatten gal took : 6138 ms
[2022-06-03 17:25:39] [INFO ] Flatten gal took : 4409 ms

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="TokenRing-PT-050"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is TokenRing-PT-050, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r258-tall-165303546000647"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/TokenRing-PT-050.tgz
mv TokenRing-PT-050 execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' ReachabilityFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;