Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2022-input.r180-tall-165277027300058.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 gold2021
Input is Peterson-PT-7, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r180-tall-165277027300058
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.1M
-rw-r--r-- 1 mcc users 283K Apr 30 10:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 1.2M Apr 30 10:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 190K Apr 30 09:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 861K Apr 30 09:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:34 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 168K May 9 08:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 481K May 9 08:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 122K May 9 08:24 LTLFireability.txt
-rw-r--r-- 1 mcc users 417K May 9 08:24 LTLFireability.xml
-rw-r--r-- 1 mcc users 27K May 9 08:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 59K May 9 08:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 10 09:34 equiv_col
-rw-r--r-- 1 mcc users 2 May 10 09:34 instance
-rw-r--r-- 1 mcc users 6 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 1.3M 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

FORMULA_NAME StableMarking

=== Now, execution of the tool begins

BK_START 1652826070020

Running Version 0
[2022-05-17 22:21:11] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -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, 1800]
[2022-05-17 22:21:11] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-17 22:21:11] [INFO ] Load time of PNML (sax parser for PT used): 178 ms
[2022-05-17 22:21:11] [INFO ] Transformed 1992 places.
[2022-05-17 22:21:11] [INFO ] Transformed 3096 transitions.
[2022-05-17 22:21:11] [INFO ] Found NUPN structural information;
[2022-05-17 22:21:11] [INFO ] Completing missing partition info from NUPN : creating a component with [IsEndLoop_3_0_5, IsEndLoop_2_0_5, IsEndLoop_0_3_6, IsEndLoop_0_2_7, EndTurn_4_2, EndTurn_4_1, EndTurn_7_0, EndTurn_6_0, EndTurn_5_0, IsEndLoop_7_6_7, IsEndLoop_6_6_7, IsEndLoop_5_6_7, BeginLoop_1_4_2, BeginLoop_0_4_2, BeginLoop_3_0_4, BeginLoop_3_6_3, BeginLoop_0_6_5, BeginLoop_3_6_5, BeginLoop_4_2_7, BeginLoop_7_1_7, BeginLoop_5_1_7, BeginLoop_6_1_7, BeginLoop_4_1_7, BeginLoop_7_0_7, BeginLoop_6_0_7, BeginLoop_5_0_7, TestAlone_2_4_0, TestAlone_2_5_0, TestAlone_3_6_1, TestAlone_3_0_2, TestAlone_1_5_5, TestAlone_0_5_5, TestAlone_3_5_6, TestAlone_2_5_6, TestIdentity_4_2_1, TestIdentity_4_3_1, TestIdentity_7_2_1, TestIdentity_5_2_1, TestIdentity_6_2_1, TestIdentity_7_6_0, TestIdentity_6_6_0, TestIdentity_5_6_0, TestIdentity_0_2_3, TestIdentity_1_2_3, TestIdentity_1_1_6, TestIdentity_0_2_6, TestIdentity_2_4_4, TestIdentity_1_4_4, TestIdentity_4_5_7, TestIdentity_6_4_7, TestIdentity_5_4_7, TestIdentity_7_4_7, TestIdentity_4_4_7, TestIdentity_6_3_7, TestIdentity_5_3_7, TestIdentity_7_3_7, CS_0, CS_2, AskForSection_2_5, AskForSection_0_5]
[2022-05-17 22:21:11] [INFO ] Parsed PT model containing 1992 places and 3096 transitions in 233 ms.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 660 ms. (steps per millisecond=15 ) properties (out of 1992) seen :472
Running SMT prover for 1520 properties.
[2022-05-17 22:21:12] [INFO ] Flow matrix only has 2760 transitions (discarded 336 similar events)
// Phase 1: matrix 2760 rows 1992 cols
[2022-05-17 22:21:12] [INFO ] Computed 31 place invariants in 49 ms
[2022-05-17 22:21:37] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 1520 Parikh solutions to 1 different solutions.
Support contains 1520 out of 1992 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1992/1992 places, 3096/3096 transitions.
Drop transitions removed 92 transitions
Trivial Post-agglo rules discarded 92 transitions
Performed 92 trivial Post agglomeration. Transition count delta: 92
Iterating post reduction 0 with 92 rules applied. Total rules applied 92 place count 1992 transition count 3004
Reduce places removed 92 places and 0 transitions.
Iterating post reduction 1 with 92 rules applied. Total rules applied 184 place count 1900 transition count 3004
Performed 118 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 118 Pre rules applied. Total rules applied 184 place count 1900 transition count 2886
Deduced a syphon composed of 118 places in 14 ms
Reduce places removed 118 places and 0 transitions.
Iterating global reduction 2 with 236 rules applied. Total rules applied 420 place count 1782 transition count 2886
Applied a total of 420 rules in 246 ms. Remains 1782 /1992 variables (removed 210) and now considering 2886/3096 (removed 210) transitions.
Finished structural reductions, in 1 iterations. Remains : 1782/1992 places, 2886/3096 transitions.
[2022-05-17 22:21:38] [INFO ] Flatten gal took : 197 ms
[2022-05-17 22:21:38] [INFO ] Flatten gal took : 131 ms
[2022-05-17 22:21:38] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality14578403460463551281.gal : 44 ms
[2022-05-17 22:21:38] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality18129219212981319683.prop : 5 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality14578403460463551281.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality18129219212981319683.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality14578403460463551281.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality18129219212981319683.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality18129219212981319683.prop.
SDD proceeding with computation,1520 properties remain. new max is 4
SDD size :1 after 2
SDD proceeding with computation,1520 properties remain. new max is 8
SDD size :2 after 4
Invariant property smplace_1424 does not hold.
Invariant property smplace_587 does not hold.
Invariant property smplace_528 does not hold.
Invariant property smplace_60 does not hold.
Invariant property smplace_1 does not hold.
SDD proceeding with computation,1515 properties remain. new max is 8
SDD size :4 after 13
Invariant property smplace_1445 does not hold.
SDD proceeding with computation,1514 properties remain. new max is 8
SDD size :13 after 14
Invariant property smplace_1121 does not hold.
SDD proceeding with computation,1513 properties remain. new max is 8
SDD size :14 after 15
Invariant property smplace_648 does not hold.
Invariant property smplace_112 does not hold.
SDD proceeding with computation,1511 properties remain. new max is 8
SDD size :15 after 17
Invariant property smplace_1624 does not hold.
SDD proceeding with computation,1510 properties remain. new max is 8
SDD size :17 after 18
Invariant property smplace_1039 does not hold.
SDD proceeding with computation,1509 properties remain. new max is 8
SDD size :18 after 19
SDD proceeding with computation,1509 properties remain. new max is 16
SDD size :19 after 24
Detected timeout of ITS tools.
[2022-05-17 22:21:53] [INFO ] Flatten gal took : 105 ms
[2022-05-17 22:21:53] [INFO ] Applying decomposition
[2022-05-17 22:21:54] [INFO ] Flatten gal took : 88 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph17909776404232473740.txt, -o, /tmp/graph17909776404232473740.bin, -w, /tmp/graph17909776404232473740.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph17909776404232473740.bin, -l, -1, -v, -w, /tmp/graph17909776404232473740.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-17 22:21:54] [INFO ] Decomposing Gal with order
[2022-05-17 22:21:54] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-17 22:21:54] [INFO ] Removed a total of 3142 redundant transitions.
[2022-05-17 22:21:55] [INFO ] Flatten gal took : 237 ms
[2022-05-17 22:21:55] [INFO ] Fuse similar labels procedure discarded/fused a total of 66 labels/synchronizations in 64 ms.
[2022-05-17 22:21:55] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality2204172103885864588.gal : 19 ms
[2022-05-17 22:21:55] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality10043418907946778972.prop : 3 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality2204172103885864588.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality10043418907946778972.prop, --nowitness], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality2204172103885864588.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality10043418907946778972.prop --nowitness
Loading property file /tmp/ReachabilityCardinality10043418907946778972.prop.
SDD proceeding with computation,1509 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,1509 properties remain. new max is 8
SDD size :1 after 4
SDD proceeding with computation,1509 properties remain. new max is 16
SDD size :4 after 128
Invariant property smplace_1734 does not hold.
Invariant property smplace_1733 does not hold.
Invariant property smplace_1728 does not hold.
Invariant property smplace_1726 does not hold.
Invariant property smplace_1725 does not hold.
Invariant property smplace_1660 does not hold.
Invariant property smplace_1643 does not hold.
Invariant property smplace_1640 does not hold.
Invariant property smplace_1639 does not hold.
Invariant property smplace_1637 does not hold.
Invariant property smplace_1635 does not hold.
Invariant property smplace_1632 does not hold.
Invariant property smplace_1631 does not hold.
Invariant property smplace_1629 does not hold.
Invariant property smplace_1622 does not hold.
Invariant property smplace_1621 does not hold.
Invariant property smplace_1618 does not hold.
Invariant property smplace_1616 does not hold.
Invariant property smplace_1614 does not hold.
Invariant property smplace_1613 does not hold.
Invariant property smplace_1579 does not hold.
Invariant property smplace_1577 does not hold.
Invariant property smplace_1575 does not hold.
Invariant property smplace_1567 does not hold.
Invariant property smplace_1564 does not hold.
Invariant property smplace_1562 does not hold.
Invariant property smplace_1561 does not hold.
Invariant property smplace_1554 does not hold.
Invariant property smplace_1539 does not hold.
Invariant property smplace_1538 does not hold.
Invariant property smplace_1537 does not hold.
Invariant property smplace_1448 does not hold.
Invariant property smplace_1447 does not hold.
Invariant property smplace_1436 does not hold.
Invariant property smplace_1435 does not hold.
Invariant property smplace_1434 does not hold.
Invariant property smplace_1432 does not hold.
Invariant property smplace_1430 does not hold.
Invariant property smplace_1429 does not hold.
Invariant property smplace_1422 does not hold.
Invariant property smplace_1421 does not hold.
Invariant property smplace_1417 does not hold.
Invariant property smplace_1407 does not hold.
Invariant property smplace_1406 does not hold.
Invariant property smplace_1405 does not hold.
Invariant property smplace_1248 does not hold.
Invariant property smplace_1238 does not hold.
Invariant property smplace_1236 does not hold.
Invariant property smplace_1231 does not hold.
Invariant property smplace_1229 does not hold.
Invariant property smplace_1164 does not hold.
Invariant property smplace_1163 does not hold.
Invariant property smplace_1155 does not hold.
Invariant property smplace_1153 does not hold.
Invariant property smplace_1150 does not hold.
Invariant property smplace_1147 does not hold.
Invariant property smplace_1146 does not hold.
Invariant property smplace_1145 does not hold.
Invariant property smplace_1144 does not hold.
Invariant property smplace_1141 does not hold.
Invariant property smplace_1140 does not hold.
Invariant property smplace_1139 does not hold.
Invariant property smplace_1138 does not hold.
Invariant property smplace_1134 does not hold.
Invariant property smplace_1122 does not hold.
Invariant property smplace_1110 does not hold.
Invariant property smplace_1099 does not hold.
Invariant property smplace_1098 does not hold.
Invariant property smplace_1095 does not hold.
Invariant property smplace_1094 does not hold.
Invariant property smplace_1093 does not hold.
Invariant property smplace_1090 does not hold.
Invariant property smplace_1089 does not hold.
Invariant property smplace_1082 does not hold.
Invariant property smplace_1068 does not hold.
Invariant property smplace_1063 does not hold.
Invariant property smplace_1061 does not hold.
Invariant property smplace_1059 does not hold.
Invariant property smplace_1058 does not hold.
Invariant property smplace_1056 does not hold.
Invariant property smplace_1034 does not hold.
Invariant property smplace_964 does not hold.
Invariant property smplace_963 does not hold.
Invariant property smplace_806 does not hold.
Invariant property smplace_805 does not hold.
Invariant property smplace_800 does not hold.
Invariant property smplace_798 does not hold.
Invariant property smplace_797 does not hold.
Invariant property smplace_756 does not hold.
Invariant property smplace_755 does not hold.
Invariant property smplace_753 does not hold.
Invariant property smplace_716 does not hold.
Invariant property smplace_714 does not hold.
Invariant property smplace_713 does not hold.
Invariant property smplace_706 does not hold.
Invariant property smplace_684 does not hold.
Invariant property smplace_665 does not hold.
Invariant property smplace_663 does not hold.
Invariant property smplace_661 does not hold.
Invariant property smplace_657 does not hold.
Invariant property smplace_646 does not hold.
Invariant property smplace_645 does not hold.
Invariant property smplace_642 does not hold.
Invariant property smplace_640 does not hold.
Invariant property smplace_638 does not hold.
Invariant property smplace_637 does not hold.
Invariant property smplace_615 does not hold.
Invariant property smplace_612 does not hold.
Invariant property smplace_611 does not hold.
Invariant property smplace_609 does not hold.
Invariant property smplace_604 does not hold.
Invariant property smplace_602 does not hold.
Invariant property smplace_601 does not hold.
Invariant property smplace_598 does not hold.
Invariant property smplace_596 does not hold.
Invariant property smplace_594 does not hold.
Invariant property smplace_593 does not hold.
Invariant property smplace_590 does not hold.
Invariant property smplace_586 does not hold.
Invariant property smplace_585 does not hold.
Invariant property smplace_540 does not hold.
Invariant property smplace_539 does not hold.
Invariant property smplace_538 does not hold.
Invariant property smplace_536 does not hold.
Invariant property smplace_534 does not hold.
Invariant property smplace_533 does not hold.
Invariant property smplace_526 does not hold.
Invariant property smplace_525 does not hold.
Invariant property smplace_232 does not hold.
Invariant property smplace_230 does not hold.
Invariant property smplace_229 does not hold.
Invariant property smplace_222 does not hold.
Invariant property smplace_221 does not hold.
Invariant property smplace_187 does not hold.
Invariant property smplace_186 does not hold.
Invariant property smplace_185 does not hold.
Invariant property smplace_177 does not hold.
Invariant property smplace_164 does not hold.
Invariant property smplace_162 does not hold.
Invariant property smplace_161 does not hold.
Invariant property smplace_140 does not hold.
Invariant property smplace_138 does not hold.
Invariant property smplace_136 does not hold.
Invariant property smplace_128 does not hold.
Invariant property smplace_122 does not hold.
Invariant property smplace_120 does not hold.
Invariant property smplace_118 does not hold.
Invariant property smplace_117 does not hold.
Invariant property smplace_110 does not hold.
Invariant property smplace_109 does not hold.
Invariant property smplace_84 does not hold.
Invariant property smplace_75 does not hold.
Invariant property smplace_72 does not hold.
Invariant property smplace_71 does not hold.
Invariant property smplace_69 does not hold.
Invariant property smplace_67 does not hold.
Invariant property smplace_64 does not hold.
Invariant property smplace_63 does not hold.
Invariant property smplace_61 does not hold.
Invariant property smplace_58 does not hold.
Invariant property smplace_57 does not hold.
Invariant property smplace_29 does not hold.
Invariant property smplace_28 does not hold.
Invariant property smplace_26 does not hold.
Invariant property smplace_24 does not hold.
Invariant property smplace_20 does not hold.
Invariant property smplace_19 does not hold.
Invariant property smplace_18 does not hold.
Invariant property smplace_12 does not hold.
Invariant property smplace_11 does not hold.
Invariant property smplace_9 does not hold.
Invariant property smplace_7 does not hold.
Invariant property smplace_6 does not hold.
Invariant property smplace_5 does not hold.
Invariant property smplace_4 does not hold.
Invariant property smplace_3 does not hold.
SDD proceeding with computation,1333 properties remain. new max is 16
SDD size :128 after 2.6913e+06
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin18166704465692238348
[2022-05-17 22:22:10] [INFO ] Built C files in 61ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin18166704465692238348
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin18166704465692238348]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin18166704465692238348] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin18166704465692238348] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Interrupted random walk after 586274 steps, including 1 resets, run timeout after 30001 ms. (steps per millisecond=19 ) properties seen :{3=1, 5=1, 11=1, 13=1, 16=1, 18=1, 22=1, 27=1, 36=1, 45=1, 64=1, 389=1, 392=1, 399=1, 403=1, 406=1, 409=1, 414=1, 419=1, 420=1, 422=1, 445=1, 466=1, 720=1, 738=1, 770=1, 772=1, 778=1, 779=1, 784=1, 791=1, 792=1, 793=1, 795=1, 1004=1, 1006=1, 1009=1, 1013=1, 1018=1, 1023=1, 1029=1, 1031=1, 1034=1, 1093=1, 1115=1, 1121=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 1287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 1287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1287) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1283) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1283) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1279) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1279) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1279) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1279) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1279) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1279) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1279) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1279) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 1279) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1279) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1279) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1279) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1279) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1279) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1279) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1279) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1279) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1279) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1279) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1279) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1279) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1279) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1279) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 1279) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1278) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1278) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1278) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1278) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1278) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 1278) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1278) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1278) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1278) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1278) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1278) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1278) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1278) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1278) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 1274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1274) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 1272) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1272) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1270) seen :0
Probabilistic random walk after 1000001 steps, saw 131578 distinct states, run finished after 14570 ms. (steps per millisecond=68 ) properties seen :{7=1, 8=1, 10=1, 15=1, 40=1, 367=1, 372=1, 388=1, 389=1, 439=1, 703=1, 737=1, 738=1, 743=1, 748=1, 963=1, 965=1, 974=1, 975=1, 1040=1}
Running SMT prover for 1250 properties.
[2022-05-17 22:22:56] [INFO ] Flow matrix only has 2550 transitions (discarded 336 similar events)
// Phase 1: matrix 2550 rows 1782 cols
[2022-05-17 22:22:56] [INFO ] Computed 31 place invariants in 34 ms
[2022-05-17 22:23:44] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:1250
[2022-05-17 22:24:19] [INFO ] [Nat]Absence check using 23 positive place invariants in 35 ms returned sat
[2022-05-17 22:24:19] [INFO ] [Nat]Absence check using 23 positive and 8 generalized place invariants in 3 ms returned sat
[2022-05-17 22:24:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-17 22:26:24] [INFO ] [Nat]Absence check using state equation in 89788 ms returned unsat :0 sat :1250
[2022-05-17 22:26:24] [INFO ] State equation strengthened by 546 read => feed constraints.
[2022-05-17 22:26:24] [INFO ] [Nat]Added 546 Read/Feed constraints in 34 ms returned sat
Attempting to minimize the solution found.
Minimization took 2 ms.
[2022-05-17 22:27:29] [INFO ] SMT Verify possible in nat domain returned unsat :0 sat :1250
Incomplete Parikh walk after 9489 steps, including 366 resets, run finished after 489 ms. (steps per millisecond=19 ) properties (out of 1250) seen :16 could not realise parikh vector
Incomplete Parikh walk after 9518 steps, including 374 resets, run finished after 479 ms. (steps per millisecond=19 ) properties (out of 1234) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9575 steps, including 369 resets, run finished after 479 ms. (steps per millisecond=19 ) properties (out of 1234) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9628 steps, including 366 resets, run finished after 479 ms. (steps per millisecond=20 ) properties (out of 1234) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9678 steps, including 379 resets, run finished after 475 ms. (steps per millisecond=20 ) properties (out of 1234) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9751 steps, including 382 resets, run finished after 478 ms. (steps per millisecond=20 ) properties (out of 1234) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9782 steps, including 379 resets, run finished after 471 ms. (steps per millisecond=20 ) properties (out of 1234) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9813 steps, including 385 resets, run finished after 481 ms. (steps per millisecond=20 ) properties (out of 1234) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9844 steps, including 446 resets, run finished after 478 ms. (steps per millisecond=20 ) properties (out of 1234) seen :17 could not realise parikh vector
Incomplete Parikh walk after 9796 steps, including 438 resets, run finished after 474 ms. (steps per millisecond=20 ) properties (out of 1217) seen :27 could not realise parikh vector
Incomplete Parikh walk after 9798 steps, including 453 resets, run finished after 467 ms. (steps per millisecond=20 ) properties (out of 1190) seen :2 could not realise parikh vector
Incomplete Parikh walk after 9800 steps, including 442 resets, run finished after 463 ms. (steps per millisecond=21 ) properties (out of 1188) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9742 steps, including 438 resets, run finished after 460 ms. (steps per millisecond=21 ) properties (out of 1188) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9742 steps, including 443 resets, run finished after 458 ms. (steps per millisecond=21 ) properties (out of 1188) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9696 steps, including 444 resets, run finished after 441 ms. (steps per millisecond=21 ) properties (out of 1188) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9698 steps, including 443 resets, run finished after 446 ms. (steps per millisecond=21 ) properties (out of 1188) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9643 steps, including 377 resets, run finished after 439 ms. (steps per millisecond=21 ) properties (out of 1188) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9667 steps, including 376 resets, run finished after 446 ms. (steps per millisecond=21 ) properties (out of 1188) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9696 steps, including 377 resets, run finished after 457 ms. (steps per millisecond=21 ) properties (out of 1188) seen :3 could not realise parikh vector
Incomplete Parikh walk after 9746 steps, including 380 resets, run finished after 462 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9689 steps, including 379 resets, run finished after 461 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9739 steps, including 375 resets, run finished after 460 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9763 steps, including 367 resets, run finished after 458 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9786 steps, including 377 resets, run finished after 445 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9827 steps, including 383 resets, run finished after 469 ms. (steps per millisecond=20 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9858 steps, including 381 resets, run finished after 448 ms. (steps per millisecond=22 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9888 steps, including 383 resets, run finished after 453 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9890 steps, including 382 resets, run finished after 458 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9892 steps, including 380 resets, run finished after 448 ms. (steps per millisecond=22 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9897 steps, including 387 resets, run finished after 461 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9925 steps, including 389 resets, run finished after 469 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9961 steps, including 382 resets, run finished after 473 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9991 steps, including 391 resets, run finished after 472 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 10021 steps, including 385 resets, run finished after 473 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 10050 steps, including 397 resets, run finished after 461 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 10051 steps, including 391 resets, run finished after 474 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 10081 steps, including 397 resets, run finished after 468 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 10083 steps, including 398 resets, run finished after 475 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 10003 steps, including 380 resets, run finished after 469 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9899 steps, including 389 resets, run finished after 468 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9850 steps, including 386 resets, run finished after 460 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9756 steps, including 383 resets, run finished after 442 ms. (steps per millisecond=22 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9757 steps, including 381 resets, run finished after 462 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9757 steps, including 450 resets, run finished after 456 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9756 steps, including 445 resets, run finished after 460 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9761 steps, including 438 resets, run finished after 458 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9687 steps, including 449 resets, run finished after 456 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9654 steps, including 444 resets, run finished after 455 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9597 steps, including 443 resets, run finished after 437 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9510 steps, including 373 resets, run finished after 447 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9510 steps, including 363 resets, run finished after 449 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9511 steps, including 374 resets, run finished after 448 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9521 steps, including 372 resets, run finished after 451 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9530 steps, including 370 resets, run finished after 449 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9578 steps, including 377 resets, run finished after 450 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9625 steps, including 371 resets, run finished after 443 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9674 steps, including 381 resets, run finished after 455 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9706 steps, including 370 resets, run finished after 455 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9759 steps, including 384 resets, run finished after 459 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9807 steps, including 389 resets, run finished after 461 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9856 steps, including 385 resets, run finished after 451 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9831 steps, including 380 resets, run finished after 463 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9807 steps, including 386 resets, run finished after 455 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9780 steps, including 380 resets, run finished after 461 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9750 steps, including 377 resets, run finished after 458 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Incomplete Parikh walk after 9752 steps, including 378 resets, run finished after 459 ms. (steps per millisecond=21 ) properties (out of 1185) seen :0 could not realise parikh vector
Support contains 1185 out of 1782 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1782/1782 places, 2886/2886 transitions.
Drop transitions removed 180 transitions
Trivial Post-agglo rules discarded 180 transitions
Performed 180 trivial Post agglomeration. Transition count delta: 180
Iterating post reduction 0 with 180 rules applied. Total rules applied 180 place count 1782 transition count 2706
Reduce places removed 180 places and 0 transitions.
Iterating post reduction 1 with 180 rules applied. Total rules applied 360 place count 1602 transition count 2706
Performed 75 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 75 Pre rules applied. Total rules applied 360 place count 1602 transition count 2631
Deduced a syphon composed of 75 places in 3 ms
Reduce places removed 75 places and 0 transitions.
Iterating global reduction 2 with 150 rules applied. Total rules applied 510 place count 1527 transition count 2631
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Deduced a syphon composed of 3 places in 3 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 2 with 6 rules applied. Total rules applied 516 place count 1524 transition count 2628
Applied a total of 516 rules in 139 ms. Remains 1524 /1782 variables (removed 258) and now considering 2628/2886 (removed 258) transitions.
Finished structural reductions, in 1 iterations. Remains : 1524/1782 places, 2628/2886 transitions.
[2022-05-17 22:28:00] [INFO ] Flatten gal took : 68 ms
[2022-05-17 22:28:00] [INFO ] Flatten gal took : 73 ms
[2022-05-17 22:28:00] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality16115291095868566052.gal : 6 ms
[2022-05-17 22:28:00] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality13298006717972810034.prop : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality16115291095868566052.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality13298006717972810034.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality16115291095868566052.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality13298006717972810034.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality13298006717972810034.prop.
SDD proceeding with computation,1185 properties remain. new max is 4
SDD size :1 after 2
SDD proceeding with computation,1185 properties remain. new max is 8
SDD size :2 after 4
SDD proceeding with computation,1185 properties remain. new max is 16
SDD size :4 after 8
SDD proceeding with computation,1185 properties remain. new max is 32
SDD size :8 after 19
SDD proceeding with computation,1185 properties remain. new max is 64
SDD size :19 after 20
SDD proceeding with computation,1185 properties remain. new max is 128
SDD size :20 after 42
SDD proceeding with computation,1185 properties remain. new max is 256
SDD size :42 after 73
SDD proceeding with computation,1185 properties remain. new max is 512
SDD size :73 after 158
SDD proceeding with computation,1185 properties remain. new max is 1024
SDD size :158 after 325
SDD proceeding with computation,1185 properties remain. new max is 2048
SDD size :325 after 762
Invariant property smplace_1625 does not hold.
Detected timeout of ITS tools.
[2022-05-17 22:28:15] [INFO ] Flatten gal took : 68 ms
[2022-05-17 22:28:15] [INFO ] Applying decomposition
[2022-05-17 22:28:15] [INFO ] Flatten gal took : 65 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph12416980878743101960.txt, -o, /tmp/graph12416980878743101960.bin, -w, /tmp/graph12416980878743101960.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph12416980878743101960.bin, -l, -1, -v, -w, /tmp/graph12416980878743101960.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-17 22:28:15] [INFO ] Decomposing Gal with order
[2022-05-17 22:28:15] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-17 22:28:15] [INFO ] Removed a total of 3000 redundant transitions.
[2022-05-17 22:28:15] [INFO ] Flatten gal took : 132 ms
[2022-05-17 22:28:15] [INFO ] Fuse similar labels procedure discarded/fused a total of 152 labels/synchronizations in 71 ms.
[2022-05-17 22:28:15] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality57708933282191334.gal : 14 ms
[2022-05-17 22:28:15] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality10157835646412160546.prop : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality57708933282191334.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality10157835646412160546.prop, --nowitness], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality57708933282191334.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality10157835646412160546.prop --nowitness
Loading property file /tmp/ReachabilityCardinality10157835646412160546.prop.
SDD proceeding with computation,1184 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,1184 properties remain. new max is 8
SDD size :1 after 8
SDD proceeding with computation,1184 properties remain. new max is 16
SDD size :8 after 320
Invariant property smplace_1642 does not hold.
Invariant property smplace_1142 does not hold.
Invariant property smplace_591 does not hold.
Invariant property smplace_66 does not hold.
SDD proceeding with computation,1180 properties remain. new max is 16
SDD size :320 after 9225
Invariant property smplace_1619 does not hold.
Invariant property smplace_1066 does not hold.
Invariant property smplace_643 does not hold.
Invariant property smplace_123 does not hold.
SDD proceeding with computation,1176 properties remain. new max is 16
SDD size :9225 after 14203
Invariant property smplace_1891 does not hold.
Invariant property smplace_1890 does not hold.
Invariant property smplace_1739 does not hold.
Invariant property smplace_1738 does not hold.
Invariant property smplace_1663 does not hold.
Invariant property smplace_1662 does not hold.
Invariant property smplace_1559 does not hold.
Invariant property smplace_1558 does not hold.
Invariant property smplace_1389 does not hold.
Invariant property smplace_1234 does not hold.
Invariant property smplace_1233 does not hold.
Invariant property smplace_1198 does not hold.
Invariant property smplace_1152 does not hold.
Invariant property smplace_1149 does not hold.
Invariant property smplace_947 does not hold.
Invariant property smplace_946 does not hold.
Invariant property smplace_863 does not hold.
Invariant property smplace_862 does not hold.
Invariant property smplace_811 does not hold.
Invariant property smplace_810 does not hold.
Invariant property smplace_711 does not hold.
Invariant property smplace_710 does not hold.
Invariant property smplace_389 does not hold.
Invariant property smplace_331 does not hold.
Invariant property smplace_330 does not hold.
Invariant property smplace_303 does not hold.
Invariant property smplace_302 does not hold.
Invariant property smplace_265 does not hold.
Invariant property smplace_227 does not hold.
Invariant property smplace_226 does not hold.
Invariant property smplace_184 does not hold.
Invariant property smplace_181 does not hold.
SDD proceeding with computation,1144 properties remain. new max is 16
SDD size :14203 after 320522
Invariant property smplace_1893 does not hold.
Invariant property smplace_1724 does not hold.
Invariant property smplace_1403 does not hold.
Invariant property smplace_1200 does not hold.
Invariant property smplace_949 does not hold.
Invariant property smplace_890 does not hold.
Invariant property smplace_401 does not hold.
Invariant property smplace_392 does not hold.
Invariant property smplace_317 does not hold.
SDD proceeding with computation,1135 properties remain. new max is 16
SDD size :320522 after 1.35163e+06
Invariant property smplace_113 does not hold.
SDD proceeding with computation,1134 properties remain. new max is 16
SDD size :1.35163e+06 after 4.21553e+06
Invariant property smplace_1748 does not hold.
Invariant property smplace_1745 does not hold.
Invariant property smplace_1634 does not hold.
Invariant property smplace_1574 does not hold.
Invariant property smplace_1551 does not hold.
Invariant property smplace_1550 does not hold.
Invariant property smplace_1241 does not hold.
Invariant property smplace_1240 does not hold.
Invariant property smplace_1158 does not hold.
Invariant property smplace_1157 does not hold.
Invariant property smplace_1135 does not hold.
Invariant property smplace_1057 does not hold.
Invariant property smplace_787 does not hold.
Invariant property smplace_786 does not hold.
Invariant property smplace_703 does not hold.
Invariant property smplace_702 does not hold.
Invariant property smplace_668 does not hold.
Invariant property smplace_599 does not hold.
Invariant property smplace_252 does not hold.
Invariant property smplace_249 does not hold.
Invariant property smplace_176 does not hold.
Invariant property smplace_173 does not hold.
Invariant property smplace_133 does not hold.
Invariant property smplace_74 does not hold.
SDD proceeding with computation,1110 properties remain. new max is 16
SDD size :4.21553e+06 after 5.26444e+06
Invariant property smplace_1886 does not hold.
Invariant property smplace_1885 does not hold.
Invariant property smplace_1883 does not hold.
Invariant property smplace_1882 does not hold.
Invariant property smplace_1671 does not hold.
Invariant property smplace_1670 does not hold.
Invariant property smplace_1665 does not hold.
Invariant property smplace_1396 does not hold.
Invariant property smplace_1394 does not hold.
Invariant property smplace_1393 does not hold.
Invariant property smplace_1210 does not hold.
Invariant property smplace_1207 does not hold.
Invariant property smplace_1205 does not hold.
Invariant property smplace_1040 does not hold.
Invariant property smplace_942 does not hold.
Invariant property smplace_941 does not hold.
Invariant property smplace_940 does not hold.
Invariant property smplace_937 does not hold.
Invariant property smplace_871 does not hold.
Invariant property smplace_870 does not hold.
Invariant property smplace_865 does not hold.
Invariant property smplace_649 does not hold.
Invariant property smplace_394 does not hold.
Invariant property smplace_393 does not hold.
Invariant property smplace_384 does not hold.
Invariant property smplace_381 does not hold.
Invariant property smplace_371 does not hold.
Invariant property smplace_370 does not hold.
Invariant property smplace_326 does not hold.
Invariant property smplace_325 does not hold.
Invariant property smplace_311 does not hold.
Invariant property smplace_310 does not hold.
Invariant property smplace_308 does not hold.
Invariant property smplace_157 does not hold.
SDD proceeding with computation,1076 properties remain. new max is 16
SDD size :5.26444e+06 after 4.42719e+07
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin8325166872665542616
[2022-05-17 22:28:30] [INFO ] Built C files in 39ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin8325166872665542616
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin8325166872665542616]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin8325166872665542616] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin8325166872665542616] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Interrupted random walk after 730458 steps, including 2 resets, run timeout after 30001 ms. (steps per millisecond=24 ) properties seen :{0=1, 4=1, 6=1, 8=1, 15=1, 20=1, 26=1, 309=1, 315=1, 316=1, 320=1, 321=1, 323=1, 346=1, 349=1, 354=1, 580=1, 587=1, 588=1, 621=1, 622=1, 624=1, 627=1, 632=1, 809=1, 810=1, 814=1, 816=1, 818=1, 821=1, 895=1, 898=1, 903=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1043) seen :0
Probabilistic random walk after 1000001 steps, saw 129501 distinct states, run finished after 12633 ms. (steps per millisecond=79 ) properties seen :{2=1, 308=1, 605=1, 790=1}
Running SMT prover for 1039 properties.
[2022-05-17 22:29:14] [INFO ] Flow matrix only has 2292 transitions (discarded 336 similar events)
// Phase 1: matrix 2292 rows 1524 cols
[2022-05-17 22:29:14] [INFO ] Computed 31 place invariants in 14 ms
[2022-05-17 22:29:50] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:1039
[2022-05-17 22:30:14] [INFO ] [Nat]Absence check using 23 positive place invariants in 21 ms returned sat
[2022-05-17 22:30:14] [INFO ] [Nat]Absence check using 23 positive and 8 generalized place invariants in 3 ms returned sat
[2022-05-17 22:30:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-17 22:31:44] [INFO ] [Nat]Absence check using state equation in 64737 ms returned unsat :0 sat :1039
[2022-05-17 22:31:44] [INFO ] State equation strengthened by 546 read => feed constraints.
[2022-05-17 22:31:44] [INFO ] [Nat]Added 546 Read/Feed constraints in 38 ms returned sat
Attempting to minimize the solution found.
[2022-05-17 22:33:35] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 1039 Parikh solutions to 1038 different solutions.
Incomplete Parikh walk after 8565 steps, including 325 resets, run finished after 371 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8520 steps, including 321 resets, run finished after 366 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8475 steps, including 321 resets, run finished after 371 ms. (steps per millisecond=22 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8505 steps, including 325 resets, run finished after 368 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8382 steps, including 318 resets, run finished after 362 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8347 steps, including 316 resets, run finished after 366 ms. (steps per millisecond=22 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8288 steps, including 315 resets, run finished after 359 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8268 steps, including 316 resets, run finished after 357 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8245 steps, including 313 resets, run finished after 362 ms. (steps per millisecond=22 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8268 steps, including 314 resets, run finished after 358 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8215 steps, including 312 resets, run finished after 354 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8272 steps, including 314 resets, run finished after 360 ms. (steps per millisecond=22 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8230 steps, including 313 resets, run finished after 356 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8252 steps, including 312 resets, run finished after 361 ms. (steps per millisecond=22 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8279 steps, including 317 resets, run finished after 362 ms. (steps per millisecond=22 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8306 steps, including 316 resets, run finished after 357 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8334 steps, including 317 resets, run finished after 362 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8359 steps, including 318 resets, run finished after 362 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8363 steps, including 318 resets, run finished after 360 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8405 steps, including 320 resets, run finished after 363 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8432 steps, including 319 resets, run finished after 369 ms. (steps per millisecond=22 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8461 steps, including 321 resets, run finished after 364 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8488 steps, including 322 resets, run finished after 368 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8487 steps, including 322 resets, run finished after 372 ms. (steps per millisecond=22 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8512 steps, including 323 resets, run finished after 368 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8511 steps, including 323 resets, run finished after 370 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8401 steps, including 319 resets, run finished after 364 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8281 steps, including 314 resets, run finished after 356 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8283 steps, including 315 resets, run finished after 360 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8185 steps, including 312 resets, run finished after 351 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8186 steps, including 311 resets, run finished after 349 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8189 steps, including 312 resets, run finished after 354 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8190 steps, including 310 resets, run finished after 356 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8150 steps, including 312 resets, run finished after 350 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8097 steps, including 307 resets, run finished after 350 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8020 steps, including 305 resets, run finished after 342 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 7935 steps, including 301 resets, run finished after 342 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 7939 steps, including 303 resets, run finished after 339 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 7970 steps, including 304 resets, run finished after 341 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8014 steps, including 306 resets, run finished after 346 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8038 steps, including 307 resets, run finished after 344 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8084 steps, including 307 resets, run finished after 345 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8108 steps, including 308 resets, run finished after 350 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8175 steps, including 310 resets, run finished after 351 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8234 steps, including 313 resets, run finished after 352 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8213 steps, including 312 resets, run finished after 353 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8209 steps, including 313 resets, run finished after 351 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8186 steps, including 311 resets, run finished after 349 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8165 steps, including 310 resets, run finished after 365 ms. (steps per millisecond=22 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8216 steps, including 313 resets, run finished after 350 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8241 steps, including 313 resets, run finished after 351 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8284 steps, including 316 resets, run finished after 359 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8338 steps, including 317 resets, run finished after 355 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8337 steps, including 319 resets, run finished after 355 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8415 steps, including 321 resets, run finished after 360 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8469 steps, including 321 resets, run finished after 360 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8546 steps, including 325 resets, run finished after 363 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8521 steps, including 323 resets, run finished after 369 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8521 steps, including 325 resets, run finished after 364 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8521 steps, including 323 resets, run finished after 368 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8496 steps, including 323 resets, run finished after 366 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8495 steps, including 323 resets, run finished after 361 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8467 steps, including 323 resets, run finished after 361 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8441 steps, including 321 resets, run finished after 375 ms. (steps per millisecond=22 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8413 steps, including 320 resets, run finished after 346 ms. (steps per millisecond=24 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8372 steps, including 320 resets, run finished after 344 ms. (steps per millisecond=24 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8319 steps, including 315 resets, run finished after 371 ms. (steps per millisecond=22 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8268 steps, including 313 resets, run finished after 361 ms. (steps per millisecond=22 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8216 steps, including 314 resets, run finished after 361 ms. (steps per millisecond=22 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8257 steps, including 314 resets, run finished after 358 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8310 steps, including 316 resets, run finished after 360 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8388 steps, including 318 resets, run finished after 357 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8295 steps, including 314 resets, run finished after 354 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8210 steps, including 313 resets, run finished after 353 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8139 steps, including 310 resets, run finished after 351 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8120 steps, including 310 resets, run finished after 347 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8146 steps, including 310 resets, run finished after 362 ms. (steps per millisecond=22 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8096 steps, including 308 resets, run finished after 351 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8143 steps, including 311 resets, run finished after 348 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8144 steps, including 308 resets, run finished after 350 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8168 steps, including 312 resets, run finished after 338 ms. (steps per millisecond=24 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8148 steps, including 310 resets, run finished after 349 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8126 steps, including 310 resets, run finished after 351 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8177 steps, including 312 resets, run finished after 354 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Incomplete Parikh walk after 8199 steps, including 314 resets, run finished after 351 ms. (steps per millisecond=23 ) properties (out of 1039) seen :0 could not realise parikh vector
Support contains 1039 out of 1524 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1524/1524 places, 2628/2628 transitions.
Drop transitions removed 77 transitions
Trivial Post-agglo rules discarded 77 transitions
Performed 77 trivial Post agglomeration. Transition count delta: 77
Iterating post reduction 0 with 77 rules applied. Total rules applied 77 place count 1524 transition count 2551
Reduce places removed 77 places and 0 transitions.
Iterating post reduction 1 with 77 rules applied. Total rules applied 154 place count 1447 transition count 2551
Performed 32 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 32 Pre rules applied. Total rules applied 154 place count 1447 transition count 2519
Deduced a syphon composed of 32 places in 4 ms
Reduce places removed 32 places and 0 transitions.
Iterating global reduction 2 with 64 rules applied. Total rules applied 218 place count 1415 transition count 2519
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Deduced a syphon composed of 7 places in 1 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 2 with 14 rules applied. Total rules applied 232 place count 1408 transition count 2512
Applied a total of 232 rules in 102 ms. Remains 1408 /1524 variables (removed 116) and now considering 2512/2628 (removed 116) transitions.
Finished structural reductions, in 1 iterations. Remains : 1408/1524 places, 2512/2628 transitions.
[2022-05-17 22:34:05] [INFO ] Flatten gal took : 87 ms
[2022-05-17 22:34:05] [INFO ] Flatten gal took : 68 ms
[2022-05-17 22:34:05] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality5109963709230382169.gal : 20 ms
[2022-05-17 22:34:05] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality3915539948103329137.prop : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality5109963709230382169.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality3915539948103329137.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality5109963709230382169.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality3915539948103329137.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality3915539948103329137.prop.
SDD proceeding with computation,1039 properties remain. new max is 4
SDD size :1 after 4
SDD proceeding with computation,1039 properties remain. new max is 8
SDD size :4 after 6
SDD proceeding with computation,1039 properties remain. new max is 16
SDD size :6 after 14
SDD proceeding with computation,1039 properties remain. new max is 32
SDD size :14 after 28
SDD proceeding with computation,1039 properties remain. new max is 64
SDD size :28 after 32
SDD proceeding with computation,1039 properties remain. new max is 128
SDD size :32 after 48
SDD proceeding with computation,1039 properties remain. new max is 256
SDD size :48 after 138
SDD proceeding with computation,1039 properties remain. new max is 512
SDD size :138 after 177
SDD proceeding with computation,1039 properties remain. new max is 1024
SDD size :177 after 418
SDD proceeding with computation,1039 properties remain. new max is 2048
SDD size :418 after 1137
Invariant property smplace_1534 does not hold.
Invariant property smplace_752 does not hold.
Detected timeout of ITS tools.
[2022-05-17 22:34:21] [INFO ] Flatten gal took : 59 ms
[2022-05-17 22:34:21] [INFO ] Applying decomposition
[2022-05-17 22:34:21] [INFO ] Flatten gal took : 61 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph17990844306723632389.txt, -o, /tmp/graph17990844306723632389.bin, -w, /tmp/graph17990844306723632389.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph17990844306723632389.bin, -l, -1, -v, -w, /tmp/graph17990844306723632389.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-17 22:34:21] [INFO ] Decomposing Gal with order
[2022-05-17 22:34:21] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-17 22:34:21] [INFO ] Removed a total of 2938 redundant transitions.
[2022-05-17 22:34:21] [INFO ] Flatten gal took : 118 ms
[2022-05-17 22:34:21] [INFO ] Fuse similar labels procedure discarded/fused a total of 187 labels/synchronizations in 43 ms.
[2022-05-17 22:34:21] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality17606755840122012621.gal : 12 ms
[2022-05-17 22:34:21] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality5744044202355535922.prop : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality17606755840122012621.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality5744044202355535922.prop, --nowitness], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality17606755840122012621.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality5744044202355535922.prop --nowitness
Loading property file /tmp/ReachabilityCardinality5744044202355535922.prop.
SDD proceeding with computation,1037 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,1037 properties remain. new max is 8
SDD size :1 after 506
SDD proceeding with computation,1037 properties remain. new max is 16
SDD size :506 after 745
SDD proceeding with computation,1037 properties remain. new max is 32
SDD size :745 after 10320
SDD proceeding with computation,1037 properties remain. new max is 64
SDD size :10320 after 14732
SDD proceeding with computation,1037 properties remain. new max is 128
SDD size :14732 after 15724
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin4147631618561631581
[2022-05-17 22:34:36] [INFO ] Built C files in 39ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin4147631618561631581
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin4147631618561631581]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin4147631618561631581] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin4147631618561631581] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Interrupted random walk after 743025 steps, including 2 resets, run timeout after 30001 ms. (steps per millisecond=24 ) properties seen :{6=1, 303=1, 603=1, 784=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1033) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1033) seen :0
Probabilistic random walk after 1000001 steps, saw 129371 distinct states, run finished after 11987 ms. (steps per millisecond=83 ) properties seen :{}
Running SMT prover for 1033 properties.
[2022-05-17 22:35:20] [INFO ] Flow matrix only has 2176 transitions (discarded 336 similar events)
// Phase 1: matrix 2176 rows 1408 cols
[2022-05-17 22:35:20] [INFO ] Computed 31 place invariants in 13 ms
[2022-05-17 22:35:53] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:1033
[2022-05-17 22:36:16] [INFO ] [Nat]Absence check using 23 positive place invariants in 20 ms returned sat
[2022-05-17 22:36:16] [INFO ] [Nat]Absence check using 23 positive and 8 generalized place invariants in 1 ms returned sat
[2022-05-17 22:36:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-17 22:37:41] [INFO ] [Nat]Absence check using state equation in 60739 ms returned unsat :0 sat :1033
[2022-05-17 22:37:41] [INFO ] State equation strengthened by 546 read => feed constraints.
[2022-05-17 22:37:41] [INFO ] [Nat]Added 546 Read/Feed constraints in 29 ms returned sat
Attempting to minimize the solution found.
Minimization took 36031 ms.
[2022-05-17 22:39:38] [INFO ] SMT Verify possible in nat domain returned unsat :0 sat :1033
Incomplete Parikh walk after 7142 steps, including 266 resets, run finished after 292 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 7102 steps, including 264 resets, run finished after 305 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 7060 steps, including 264 resets, run finished after 296 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 7086 steps, including 264 resets, run finished after 296 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 7013 steps, including 262 resets, run finished after 293 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6979 steps, including 260 resets, run finished after 292 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6959 steps, including 257 resets, run finished after 291 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6915 steps, including 258 resets, run finished after 290 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6938 steps, including 258 resets, run finished after 292 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6890 steps, including 256 resets, run finished after 277 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6925 steps, including 257 resets, run finished after 285 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6885 steps, including 257 resets, run finished after 288 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6907 steps, including 257 resets, run finished after 289 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6929 steps, including 258 resets, run finished after 289 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6954 steps, including 259 resets, run finished after 305 ms. (steps per millisecond=22 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6955 steps, including 258 resets, run finished after 279 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6957 steps, including 258 resets, run finished after 279 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6982 steps, including 261 resets, run finished after 280 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6966 steps, including 259 resets, run finished after 280 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6991 steps, including 260 resets, run finished after 281 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 7018 steps, including 261 resets, run finished after 282 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 7019 steps, including 262 resets, run finished after 289 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 7020 steps, including 262 resets, run finished after 282 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 7043 steps, including 263 resets, run finished after 282 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 7065 steps, including 261 resets, run finished after 283 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 7006 steps, including 261 resets, run finished after 281 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6906 steps, including 259 resets, run finished after 287 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6907 steps, including 258 resets, run finished after 289 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6841 steps, including 255 resets, run finished after 281 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6842 steps, including 254 resets, run finished after 274 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6843 steps, including 253 resets, run finished after 274 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6844 steps, including 254 resets, run finished after 275 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6806 steps, including 252 resets, run finished after 274 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6764 steps, including 251 resets, run finished after 272 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6671 steps, including 248 resets, run finished after 273 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6614 steps, including 246 resets, run finished after 266 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6618 steps, including 245 resets, run finished after 266 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6638 steps, including 247 resets, run finished after 267 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6681 steps, including 249 resets, run finished after 280 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6701 steps, including 248 resets, run finished after 269 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6746 steps, including 253 resets, run finished after 277 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6764 steps, including 252 resets, run finished after 306 ms. (steps per millisecond=22 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6815 steps, including 254 resets, run finished after 274 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6852 steps, including 257 resets, run finished after 276 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6830 steps, including 255 resets, run finished after 275 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6829 steps, including 256 resets, run finished after 276 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6806 steps, including 255 resets, run finished after 273 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6785 steps, including 253 resets, run finished after 272 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6855 steps, including 255 resets, run finished after 285 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6879 steps, including 254 resets, run finished after 278 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6919 steps, including 258 resets, run finished after 278 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6945 steps, including 259 resets, run finished after 279 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6948 steps, including 259 resets, run finished after 281 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6994 steps, including 262 resets, run finished after 281 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 7019 steps, including 261 resets, run finished after 284 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 7092 steps, including 263 resets, run finished after 307 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 7069 steps, including 264 resets, run finished after 297 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 7047 steps, including 262 resets, run finished after 294 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 7046 steps, including 262 resets, run finished after 295 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 7023 steps, including 262 resets, run finished after 296 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 7022 steps, including 262 resets, run finished after 294 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 7021 steps, including 261 resets, run finished after 298 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6996 steps, including 259 resets, run finished after 290 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6969 steps, including 262 resets, run finished after 294 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6932 steps, including 258 resets, run finished after 290 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6912 steps, including 259 resets, run finished after 290 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6842 steps, including 256 resets, run finished after 288 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6817 steps, including 256 resets, run finished after 286 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6856 steps, including 257 resets, run finished after 289 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6900 steps, including 259 resets, run finished after 279 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6994 steps, including 263 resets, run finished after 281 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6921 steps, including 259 resets, run finished after 288 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6887 steps, including 258 resets, run finished after 288 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6821 steps, including 254 resets, run finished after 288 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6803 steps, including 252 resets, run finished after 285 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6828 steps, including 253 resets, run finished after 285 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6760 steps, including 253 resets, run finished after 280 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6790 steps, including 252 resets, run finished after 284 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6806 steps, including 254 resets, run finished after 284 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6830 steps, including 254 resets, run finished after 286 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6811 steps, including 253 resets, run finished after 286 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6790 steps, including 254 resets, run finished after 284 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6835 steps, including 254 resets, run finished after 290 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6840 steps, including 254 resets, run finished after 286 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6886 steps, including 255 resets, run finished after 289 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6922 steps, including 260 resets, run finished after 289 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6901 steps, including 256 resets, run finished after 288 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6969 steps, including 260 resets, run finished after 293 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6991 steps, including 258 resets, run finished after 293 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6992 steps, including 260 resets, run finished after 289 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6970 steps, including 259 resets, run finished after 281 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6969 steps, including 260 resets, run finished after 280 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6945 steps, including 257 resets, run finished after 279 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6946 steps, including 258 resets, run finished after 279 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6944 steps, including 256 resets, run finished after 282 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6919 steps, including 259 resets, run finished after 278 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6917 steps, including 255 resets, run finished after 285 ms. (steps per millisecond=24 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6895 steps, including 257 resets, run finished after 288 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6877 steps, including 255 resets, run finished after 290 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6834 steps, including 254 resets, run finished after 286 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6798 steps, including 252 resets, run finished after 285 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6748 steps, including 250 resets, run finished after 284 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6798 steps, including 252 resets, run finished after 285 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6825 steps, including 253 resets, run finished after 287 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6850 steps, including 254 resets, run finished after 286 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6826 steps, including 254 resets, run finished after 287 ms. (steps per millisecond=23 ) properties (out of 1033) seen :0 could not realise parikh vector
Support contains 1033 out of 1408 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1408/1408 places, 2512/2512 transitions.
Drop transitions removed 3 transitions
Trivial Post-agglo rules discarded 3 transitions
Performed 3 trivial Post agglomeration. Transition count delta: 3
Iterating post reduction 0 with 3 rules applied. Total rules applied 3 place count 1408 transition count 2509
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 1 with 3 rules applied. Total rules applied 6 place count 1405 transition count 2509
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 2 Pre rules applied. Total rules applied 6 place count 1405 transition count 2507
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 10 place count 1403 transition count 2507
Applied a total of 10 rules in 47 ms. Remains 1403 /1408 variables (removed 5) and now considering 2507/2512 (removed 5) transitions.
Finished structural reductions, in 1 iterations. Remains : 1403/1408 places, 2507/2512 transitions.
[2022-05-17 22:40:08] [INFO ] Flatten gal took : 59 ms
[2022-05-17 22:40:08] [INFO ] Flatten gal took : 61 ms
[2022-05-17 22:40:08] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality14515995359264341667.gal : 7 ms
[2022-05-17 22:40:08] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality18244211480082875665.prop : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality14515995359264341667.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality18244211480082875665.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality14515995359264341667.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality18244211480082875665.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality18244211480082875665.prop.
SDD proceeding with computation,1033 properties remain. new max is 4
SDD size :1 after 4
SDD proceeding with computation,1033 properties remain. new max is 8
SDD size :4 after 6
SDD proceeding with computation,1033 properties remain. new max is 16
SDD size :6 after 14
SDD proceeding with computation,1033 properties remain. new max is 32
SDD size :14 after 28
SDD proceeding with computation,1033 properties remain. new max is 64
SDD size :28 after 32
SDD proceeding with computation,1033 properties remain. new max is 128
SDD size :32 after 48
SDD proceeding with computation,1033 properties remain. new max is 256
SDD size :48 after 138
SDD proceeding with computation,1033 properties remain. new max is 512
SDD size :138 after 177
SDD proceeding with computation,1033 properties remain. new max is 1024
SDD size :177 after 424
SDD proceeding with computation,1033 properties remain. new max is 2048
SDD size :424 after 1166
SDD proceeding with computation,1033 properties remain. new max is 4096
SDD size :1166 after 4047
Detected timeout of ITS tools.
[2022-05-17 22:40:28] [INFO ] Flatten gal took : 56 ms
[2022-05-17 22:40:28] [INFO ] Applying decomposition
[2022-05-17 22:40:28] [INFO ] Flatten gal took : 57 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph2520708942462648579.txt, -o, /tmp/graph2520708942462648579.bin, -w, /tmp/graph2520708942462648579.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph2520708942462648579.bin, -l, -1, -v, -w, /tmp/graph2520708942462648579.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-17 22:40:28] [INFO ] Decomposing Gal with order
[2022-05-17 22:40:28] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-17 22:40:29] [INFO ] Removed a total of 2932 redundant transitions.
[2022-05-17 22:40:29] [INFO ] Flatten gal took : 102 ms
[2022-05-17 22:40:29] [INFO ] Fuse similar labels procedure discarded/fused a total of 256 labels/synchronizations in 34 ms.
[2022-05-17 22:40:29] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality7129744138622728143.gal : 11 ms
[2022-05-17 22:40:29] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality2642738652741421178.prop : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality7129744138622728143.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality2642738652741421178.prop, --nowitness], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality7129744138622728143.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality2642738652741421178.prop --nowitness
Loading property file /tmp/ReachabilityCardinality2642738652741421178.prop.
SDD proceeding with computation,1033 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,1033 properties remain. new max is 8
SDD size :1 after 1
SDD proceeding with computation,1033 properties remain. new max is 16
SDD size :1 after 350
SDD proceeding with computation,1033 properties remain. new max is 32
SDD size :350 after 2.35178e+06
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin5695040877368990987
[2022-05-17 22:40:49] [INFO ] Built C files in 26ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin5695040877368990987
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin5695040877368990987]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin5695040877368990987] killed by timeout after 2 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin5695040877368990987] killed by timeout after 2 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Interrupted random walk after 760678 steps, including 2 resets, run timeout after 30001 ms. (steps per millisecond=25 ) properties seen :{0=1, 3=1, 4=1, 5=1, 27=1, 300=1, 301=1, 304=1, 307=1, 335=1, 568=1, 598=1, 600=1, 601=1, 778=1, 779=1, 780=1, 783=1, 831=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 1014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 1014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 1014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1014) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 1012) seen :0
Probabilistic random walk after 1000001 steps, saw 129371 distinct states, run finished after 11667 ms. (steps per millisecond=85 ) properties seen :{}
Running SMT prover for 1012 properties.
[2022-05-17 22:41:33] [INFO ] Flow matrix only has 2171 transitions (discarded 336 similar events)
// Phase 1: matrix 2171 rows 1403 cols
[2022-05-17 22:41:33] [INFO ] Computed 31 place invariants in 13 ms
[2022-05-17 22:42:05] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:1012
[2022-05-17 22:42:27] [INFO ] [Nat]Absence check using 23 positive place invariants in 19 ms returned sat
[2022-05-17 22:42:27] [INFO ] [Nat]Absence check using 23 positive and 8 generalized place invariants in 1 ms returned sat
[2022-05-17 22:42:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-17 22:43:49] [INFO ] [Nat]Absence check using state equation in 59959 ms returned unsat :0 sat :1012
[2022-05-17 22:43:49] [INFO ] State equation strengthened by 546 read => feed constraints.
[2022-05-17 22:43:49] [INFO ] [Nat]Added 546 Read/Feed constraints in 36 ms returned sat
Attempting to minimize the solution found.
Minimization took 42266 ms.
[2022-05-17 22:45:50] [INFO ] SMT Verify possible in nat domain returned unsat :0 sat :1011
Incomplete Parikh walk after 6551 steps, including 246 resets, run finished after 277 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6508 steps, including 245 resets, run finished after 261 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6447 steps, including 241 resets, run finished after 263 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6404 steps, including 240 resets, run finished after 269 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6430 steps, including 241 resets, run finished after 268 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6408 steps, including 240 resets, run finished after 268 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6370 steps, including 238 resets, run finished after 273 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6351 steps, including 237 resets, run finished after 267 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6373 steps, including 238 resets, run finished after 266 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6372 steps, including 237 resets, run finished after 267 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6397 steps, including 238 resets, run finished after 266 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6399 steps, including 240 resets, run finished after 266 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6402 steps, including 240 resets, run finished after 267 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6426 steps, including 241 resets, run finished after 270 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6409 steps, including 240 resets, run finished after 269 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6434 steps, including 241 resets, run finished after 259 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6461 steps, including 242 resets, run finished after 268 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6485 steps, including 242 resets, run finished after 268 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6486 steps, including 242 resets, run finished after 275 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6510 steps, including 244 resets, run finished after 270 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6511 steps, including 244 resets, run finished after 273 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6440 steps, including 241 resets, run finished after 266 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6376 steps, including 239 resets, run finished after 268 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6292 steps, including 236 resets, run finished after 270 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6293 steps, including 234 resets, run finished after 268 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6294 steps, including 237 resets, run finished after 266 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6295 steps, including 236 resets, run finished after 267 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6287 steps, including 237 resets, run finished after 267 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6277 steps, including 235 resets, run finished after 261 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6184 steps, including 232 resets, run finished after 256 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6148 steps, including 230 resets, run finished after 255 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6151 steps, including 232 resets, run finished after 255 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6159 steps, including 231 resets, run finished after 259 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6203 steps, including 233 resets, run finished after 258 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6223 steps, including 232 resets, run finished after 261 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6286 steps, including 234 resets, run finished after 256 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6270 steps, including 234 resets, run finished after 254 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6285 steps, including 235 resets, run finished after 252 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6332 steps, including 235 resets, run finished after 258 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6310 steps, including 236 resets, run finished after 258 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6309 steps, including 235 resets, run finished after 257 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6283 steps, including 235 resets, run finished after 271 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6280 steps, including 235 resets, run finished after 266 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6350 steps, including 238 resets, run finished after 268 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6354 steps, including 239 resets, run finished after 266 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6364 steps, including 239 resets, run finished after 268 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6368 steps, including 238 resets, run finished after 266 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6371 steps, including 240 resets, run finished after 268 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6420 steps, including 241 resets, run finished after 268 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6447 steps, including 241 resets, run finished after 261 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6502 steps, including 243 resets, run finished after 262 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6478 steps, including 243 resets, run finished after 260 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6477 steps, including 242 resets, run finished after 265 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6476 steps, including 243 resets, run finished after 265 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6475 steps, including 241 resets, run finished after 273 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6474 steps, including 242 resets, run finished after 268 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6450 steps, including 242 resets, run finished after 269 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6425 steps, including 240 resets, run finished after 269 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6399 steps, including 238 resets, run finished after 268 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6392 steps, including 239 resets, run finished after 267 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6383 steps, including 240 resets, run finished after 265 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6315 steps, including 236 resets, run finished after 267 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6274 steps, including 236 resets, run finished after 272 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6284 steps, including 236 resets, run finished after 263 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6295 steps, including 237 resets, run finished after 267 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6388 steps, including 240 resets, run finished after 272 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6349 steps, including 238 resets, run finished after 268 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6302 steps, including 238 resets, run finished after 268 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6241 steps, including 235 resets, run finished after 258 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6222 steps, including 233 resets, run finished after 252 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6264 steps, including 235 resets, run finished after 248 ms. (steps per millisecond=25 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6196 steps, including 232 resets, run finished after 248 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6210 steps, including 232 resets, run finished after 256 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6227 steps, including 232 resets, run finished after 257 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6266 steps, including 236 resets, run finished after 261 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6246 steps, including 234 resets, run finished after 258 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6225 steps, including 232 resets, run finished after 254 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6250 steps, including 235 resets, run finished after 246 ms. (steps per millisecond=25 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6255 steps, including 234 resets, run finished after 255 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6283 steps, including 235 resets, run finished after 252 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6333 steps, including 237 resets, run finished after 254 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6335 steps, including 237 resets, run finished after 257 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6402 steps, including 240 resets, run finished after 260 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6424 steps, including 240 resets, run finished after 266 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6424 steps, including 239 resets, run finished after 259 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6425 steps, including 240 resets, run finished after 262 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6423 steps, including 240 resets, run finished after 272 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6398 steps, including 238 resets, run finished after 269 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6395 steps, including 240 resets, run finished after 265 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6391 steps, including 240 resets, run finished after 264 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6367 steps, including 238 resets, run finished after 262 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6365 steps, including 239 resets, run finished after 253 ms. (steps per millisecond=25 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6359 steps, including 237 resets, run finished after 252 ms. (steps per millisecond=25 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6342 steps, including 238 resets, run finished after 254 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6279 steps, including 234 resets, run finished after 248 ms. (steps per millisecond=25 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6233 steps, including 234 resets, run finished after 254 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6218 steps, including 233 resets, run finished after 253 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6268 steps, including 234 resets, run finished after 260 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6274 steps, including 236 resets, run finished after 256 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6284 steps, including 236 resets, run finished after 255 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6245 steps, including 232 resets, run finished after 247 ms. (steps per millisecond=25 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6266 steps, including 236 resets, run finished after 249 ms. (steps per millisecond=25 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6353 steps, including 237 resets, run finished after 264 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6426 steps, including 242 resets, run finished after 266 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6493 steps, including 243 resets, run finished after 270 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6491 steps, including 245 resets, run finished after 259 ms. (steps per millisecond=25 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6489 steps, including 244 resets, run finished after 268 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6487 steps, including 244 resets, run finished after 273 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6530 steps, including 244 resets, run finished after 278 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6509 steps, including 244 resets, run finished after 278 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6488 steps, including 244 resets, run finished after 277 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6400 steps, including 241 resets, run finished after 270 ms. (steps per millisecond=23 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6381 steps, including 239 resets, run finished after 260 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6371 steps, including 238 resets, run finished after 258 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Incomplete Parikh walk after 6360 steps, including 239 resets, run finished after 258 ms. (steps per millisecond=24 ) properties (out of 1012) seen :0 could not realise parikh vector
Support contains 1012 out of 1403 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1403/1403 places, 2507/2507 transitions.
Drop transitions removed 12 transitions
Trivial Post-agglo rules discarded 12 transitions
Performed 12 trivial Post agglomeration. Transition count delta: 12
Iterating post reduction 0 with 12 rules applied. Total rules applied 12 place count 1403 transition count 2495
Reduce places removed 12 places and 0 transitions.
Iterating post reduction 1 with 12 rules applied. Total rules applied 24 place count 1391 transition count 2495
Performed 5 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 5 Pre rules applied. Total rules applied 24 place count 1391 transition count 2490
Deduced a syphon composed of 5 places in 1 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 2 with 10 rules applied. Total rules applied 34 place count 1386 transition count 2490
Applied a total of 34 rules in 48 ms. Remains 1386 /1403 variables (removed 17) and now considering 2490/2507 (removed 17) transitions.
Finished structural reductions, in 1 iterations. Remains : 1386/1403 places, 2490/2507 transitions.
[2022-05-17 22:46:20] [INFO ] Flatten gal took : 57 ms
[2022-05-17 22:46:20] [INFO ] Flatten gal took : 57 ms
[2022-05-17 22:46:20] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality12956878030894373049.gal : 7 ms
[2022-05-17 22:46:20] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality9726030626052891103.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality12956878030894373049.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality9726030626052891103.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality12956878030894373049.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality9726030626052891103.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality9726030626052891103.prop.
SDD proceeding with computation,1012 properties remain. new max is 4
SDD size :1 after 3
SDD proceeding with computation,1012 properties remain. new max is 8
SDD size :3 after 4
SDD proceeding with computation,1012 properties remain. new max is 16
SDD size :4 after 6
SDD proceeding with computation,1012 properties remain. new max is 32
SDD size :6 after 14
SDD proceeding with computation,1012 properties remain. new max is 64
SDD size :14 after 32
SDD proceeding with computation,1012 properties remain. new max is 128
SDD size :32 after 61
SDD proceeding with computation,1012 properties remain. new max is 256
SDD size :61 after 68
SDD proceeding with computation,1012 properties remain. new max is 512
SDD size :68 after 185
SDD proceeding with computation,1012 properties remain. new max is 1024
SDD size :185 after 222
SDD proceeding with computation,1012 properties remain. new max is 2048
SDD size :222 after 1141
SDD proceeding with computation,1012 properties remain. new max is 4096
SDD size :1141 after 3888
Invariant property smplace_1617 does not hold.
Invariant property smplace_1064 does not hold.
Invariant property smplace_641 does not hold.
Invariant property smplace_121 does not hold.
Detected timeout of ITS tools.
[2022-05-17 22:46:45] [INFO ] Flatten gal took : 62 ms
[2022-05-17 22:46:45] [INFO ] Applying decomposition
[2022-05-17 22:46:45] [INFO ] Flatten gal took : 59 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph11648208909673180768.txt, -o, /tmp/graph11648208909673180768.bin, -w, /tmp/graph11648208909673180768.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph11648208909673180768.bin, -l, -1, -v, -w, /tmp/graph11648208909673180768.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-17 22:46:45] [INFO ] Decomposing Gal with order
[2022-05-17 22:46:45] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-17 22:46:45] [INFO ] Removed a total of 2925 redundant transitions.
[2022-05-17 22:46:46] [INFO ] Flatten gal took : 128 ms
[2022-05-17 22:46:46] [INFO ] Fuse similar labels procedure discarded/fused a total of 194 labels/synchronizations in 23 ms.
[2022-05-17 22:46:46] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8195591442219428946.gal : 20 ms
[2022-05-17 22:46:46] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality7878882727325499150.prop : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality8195591442219428946.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality7878882727325499150.prop, --nowitness], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality8195591442219428946.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality7878882727325499150.prop --nowitness
Loading property file /tmp/ReachabilityCardinality7878882727325499150.prop.
SDD proceeding with computation,1008 properties remain. new max is 4
SDD size :1 after 4
SDD proceeding with computation,1008 properties remain. new max is 8
SDD size :4 after 1376
SDD proceeding with computation,1008 properties remain. new max is 16
SDD size :1376 after 57848
Invariant property smplace_1227 does not hold.
SDD proceeding with computation,1007 properties remain. new max is 16
SDD size :57848 after 5.24184e+06
Invariant property smplace_1633 does not hold.
Invariant property smplace_1136 does not hold.
Invariant property smplace_600 does not hold.
Invariant property smplace_73 does not hold.
SDD proceeding with computation,1003 properties remain. new max is 16
SDD size :5.24184e+06 after 5.44692e+06
SDD proceeding with computation,1003 properties remain. new max is 32
SDD size :5.44692e+06 after 6.17186e+06
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin6195520531391380606
[2022-05-17 22:47:11] [INFO ] Built C files in 36ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin6195520531391380606
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin6195520531391380606]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin6195520531391380606] killed by timeout after 2 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin6195520531391380606] killed by timeout after 2 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Interrupted random walk after 777505 steps, including 2 resets, run timeout after 30001 ms. (steps per millisecond=25 ) properties seen :{0=1, 294=1, 582=1, 757=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 999) seen :0
Probabilistic random walk after 1000001 steps, saw 129372 distinct states, run finished after 11779 ms. (steps per millisecond=84 ) properties seen :{}
Running SMT prover for 999 properties.
[2022-05-17 22:47:55] [INFO ] Flow matrix only has 2154 transitions (discarded 336 similar events)
// Phase 1: matrix 2154 rows 1386 cols
[2022-05-17 22:47:55] [INFO ] Computed 31 place invariants in 15 ms
[2022-05-17 22:48:26] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:999
[2022-05-17 22:48:48] [INFO ] [Nat]Absence check using 23 positive place invariants in 20 ms returned sat
[2022-05-17 22:48:48] [INFO ] [Nat]Absence check using 23 positive and 8 generalized place invariants in 3 ms returned sat
[2022-05-17 22:49:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-17 22:50:09] [INFO ] [Nat]Absence check using state equation in 59355 ms returned unsat :0 sat :999
[2022-05-17 22:50:09] [INFO ] State equation strengthened by 546 read => feed constraints.
[2022-05-17 22:50:09] [INFO ] [Nat]Added 546 Read/Feed constraints in 40 ms returned sat

BK_TIME_CONFINEMENT_REACHED

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

+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ StableMarking = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution StableMarking -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination StableMarking -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 1800 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m

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="Peterson-PT-7"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="gold2021"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
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 gold2021"
echo " Input is Peterson-PT-7, examination is StableMarking"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r180-tall-165277027300058"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Peterson-PT-7.tgz
mv Peterson-PT-7 execution
cd execution
if [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "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 [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "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 "StableMarking.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StableMarking.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StableMarking.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 '' StableMarking.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
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 ;