About the Execution of GreatSPN+red for Anderson-PT-11
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 8125.483 | 1800000.00 | 3090839.00 | 3071.70 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r012-smll-171620124200234.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool greatspnxred
Input is Anderson-PT-11, examination is Liveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r012-smll-171620124200234
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.1M
-rw-r--r-- 1 mcc users 7.4K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.8K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 22 14:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 22 14:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 19 07:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 19 17:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.3K Apr 12 15:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 90K Apr 12 15:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Apr 12 15:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 78K Apr 12 15:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K May 19 07:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 19 15:23 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 3 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 1.6M May 18 16:42 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 Liveness
=== Now, execution of the tool begins
BK_START 1716268467437
Invoking MCC driver with
BK_TOOL=greatspnxred
BK_EXAMINATION=Liveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=Anderson-PT-11
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2024-05-21 05:14:29] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, Liveness, -timeout, 180, -rebuildPNML]
[2024-05-21 05:14:29] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-21 05:14:30] [INFO ] Load time of PNML (sax parser for PT used): 551 ms
[2024-05-21 05:14:30] [INFO ] Transformed 749 places.
[2024-05-21 05:14:30] [INFO ] Transformed 3245 transitions.
[2024-05-21 05:14:30] [INFO ] Found NUPN structural information;
[2024-05-21 05:14:30] [INFO ] Parsed PT model containing 749 places and 3245 transitions and 12540 arcs in 858 ms.
Built sparse matrix representations for Structural reductions in 20 ms.29730KB memory used
Starting structural reductions in DEADLOCK mode, iteration 0 : 749/749 places, 3245/3245 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Applied a total of 0 rules in 245 ms. Remains 749 /749 variables (removed 0) and now considering 3245/3245 (removed 0) transitions.
Finished structural reductions in DEADLOCK mode , in 1 iterations and 279 ms. Remains : 749/749 places, 3245/3245 transitions.
Starting structural reductions in DEADLOCK mode, iteration 0 : 749/749 places, 3245/3245 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Applied a total of 0 rules in 167 ms. Remains 749 /749 variables (removed 0) and now considering 3245/3245 (removed 0) transitions.
// Phase 1: matrix 3245 rows 749 cols
[2024-05-21 05:14:31] [INFO ] Computed 25 invariants in 161 ms
[2024-05-21 05:14:32] [INFO ] Implicit Places using invariants in 953 ms returned []
[2024-05-21 05:14:32] [INFO ] Invariant cache hit.
[2024-05-21 05:14:36] [INFO ] State equation strengthened by 110 read => feed constraints.
[2024-05-21 05:14:36] [INFO ] Implicit Places using invariants and state equation in 4133 ms returned []
Implicit Place search using SMT with State Equation took 5152 ms to find 0 implicit places.
[2024-05-21 05:14:36] [INFO ] Redundant transitions in 242 ms returned []
Running 3234 sub problems to find dead transitions.
[2024-05-21 05:14:36] [INFO ] Invariant cache hit.
[2024-05-21 05:14:36] [INFO ] State equation strengthened by 110 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/749 variables, 749/749 constraints. Problems are: Problem set: 0 solved, 3234 unsolved
SMT process timed out in 46635ms, After SMT, problems are : Problem set: 0 solved, 3234 unsolved
Search for dead transitions found 0 dead transitions in 46722ms
Finished structural reductions in DEADLOCK mode , in 1 iterations and 52327 ms. Remains : 749/749 places, 3245/3245 transitions.
Random walk for 1250000 steps, including 0 resets, run took 6740 ms (no deadlock found). (steps per millisecond=185 )
Random directed walk for 1250000 steps, including 0 resets, run took 5848 ms (no deadlock found). (steps per millisecond=213 )
[2024-05-21 05:15:35] [INFO ] Invariant cache hit.
[2024-05-21 05:15:36] [INFO ] [Real]Absence check using 12 positive place invariants in 48 ms returned sat
[2024-05-21 05:15:38] [INFO ] [Real]Absence check using 12 positive and 13 generalized place invariants in 1436 ms returned unsat
Starting structural reductions in LIVENESS mode, iteration 0 : 749/749 places, 3245/3245 transitions.
Performed 110 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 110 Pre rules applied. Total rules applied 0 place count 749 transition count 3135
Deduced a syphon composed of 110 places in 4 ms
Reduce places removed 110 places and 0 transitions.
Iterating global reduction 0 with 220 rules applied. Total rules applied 220 place count 639 transition count 3135
Applied a total of 220 rules in 91 ms. Remains 639 /749 variables (removed 110) and now considering 3135/3245 (removed 110) transitions.
// Phase 1: matrix 3135 rows 639 cols
[2024-05-21 05:15:38] [INFO ] Computed 25 invariants in 68 ms
[2024-05-21 05:15:41] [INFO ] Implicit Places using invariants in 2651 ms returned [0]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 2662 ms to find 1 implicit places.
Starting structural reductions in LIVENESS mode, iteration 1 : 638/749 places, 3135/3245 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 121 transitions
Trivial Post-agglo rules discarded 121 transitions
Performed 121 trivial Post agglomeration. Transition count delta: 121
Iterating post reduction 0 with 121 rules applied. Total rules applied 121 place count 638 transition count 3014
Reduce places removed 121 places and 0 transitions.
Iterating post reduction 1 with 121 rules applied. Total rules applied 242 place count 517 transition count 3014
Applied a total of 242 rules in 41 ms. Remains 517 /638 variables (removed 121) and now considering 3014/3135 (removed 121) transitions.
// Phase 1: matrix 3014 rows 517 cols
[2024-05-21 05:15:41] [INFO ] Computed 24 invariants in 52 ms
[2024-05-21 05:15:42] [INFO ] Implicit Places using invariants in 1902 ms returned []
[2024-05-21 05:15:42] [INFO ] Invariant cache hit.
[2024-05-21 05:15:44] [INFO ] State equation strengthened by 209 read => feed constraints.
[2024-05-21 05:15:51] [INFO ] Implicit Places using invariants and state equation in 8932 ms returned []
Implicit Place search using SMT with State Equation took 10845 ms to find 0 implicit places.
Starting structural reductions in LIVENESS mode, iteration 2 : 517/749 places, 3014/3245 transitions.
Finished structural reductions in LIVENESS mode , in 2 iterations and 13640 ms. Remains : 517/749 places, 3014/3245 transitions.
Initial state reduction rules removed 11 formulas.
RANDOM walk for 40000 steps (8 resets) in 12190 ms. (3 steps per ms) remains 1802/3003 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 1802/1802 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 1802/1802 properties
[2024-05-21 05:15:55] [INFO ] Invariant cache hit.
[2024-05-21 05:15:55] [INFO ] State equation strengthened by 209 read => feed constraints.
Error getting values : (error "ParserException while parsing response: ((s1 1.0)
(s2 1.0)
(s3 1.0)
(s4 1.0)
(s5 1.0)
(s6 1.0)
(s7 1.0)
(s8 1.0)
(s11 1.0)
(s12 1.0)
(s13 1.0)
(s14 1.0)
(s15 1.0)
(s16 1.0)
(s17 1.0)
(s18 1.0)
(s19 1.0)
(s20 1.0)
(s21 1.0)
(s22 1.0)
(s23 1.0)
(s24 1.0)
(s25 1.0)
(s26 1.0)
(s27 1.0)
(s28 1.0)
(s29 1.0)
(s30 1.0)
(s31 1.0)
(s32 1.0)
(s33 1.0)
(s34 1.0)
(s35 1.0)
(s36 1.0)
(s37 1.0)
(s38 1.0)
(s39 1.0)
(s40 1.0)
(s41 1.0)
(s42 1.0)
(s43 1.0)
(s44 1.0)
(s45 1.0)
(s46 1.0)
(s47 1.0)
(s48 1.0)
(s49 1.0)
(s50 1.0)
(s51 1.0)
(s52 1.0)
(s53 1.0)
(s54 1.0)
(s55 1.0)
(s56 1.0)
(s57 1.0)
(s58 1.0)
(s59 1.0)
(s60 1.0)
(s61 1.0)
(s62 1.0)
(s63 1.0)
(s64 1.0)
(s65 1.0)
(s66 1.0)
(s67 1.0)
(s68 1.0)
(s69 1.0)
(s70 1.0)
(s71 1.0)
(s72 1.0)
(s73 1.0)
(s74 1.0)
(s75 1.0)
(s76 1.0)
(s77 1.0)
(s78 1.0)
(s79 1.0)
(s80 1.0)
(s81 1.0)
(s82 1.0)
(s83 1.0)
(s84 1.0)
(s85 1.0)
(s86 1.0)
(s87 1.0)
(s88 1.0)
(s89 1.0)
(s90 1.0)
(s91 1.0)
(s92 1.0)
(s93 1.0)
(s94 1.0)
(s95 1.0)
(s96 1.0)
(s97 1.0)
(s98 1.0)
(s99 1.0)
(s100 1.0)
(s101 1.0)
(s102 1.0)
(s103 1.0)
(s104 1.0)
(s105 1.0)
(s106 1.0)
(s107 1.0)
(s108 1.0)
(s109 1.0)
(s110 1.0)
(s111 1.0)
(s112 1.0)
(s113 1.0)
(s114 1.0)
(s115 1.0)
(s116 1.0)
(s117 1.0)
(s118 1.0)
(s119 1.0)
(s120 1.0)
(s121 1.0)
(s122 1.0)
(s123 1.0)
(s124 1.0)
(s125 1.0)
(s126 1.0)
(s127 1.0)
(s128 1.0)
(s129 1.0)
(s130 1.0)
(s131 1.0)
(s132 1.0)
(s133 1.0)
(s134 1.0)
(s135 1.0)
(s136 1.0)
(s137 1.0)
(s138 1.0)
(s139 1.0)
(s140 1.0)
(s141 1.0)
(s142 1.0)
(s143 1.0)
(s144 1.0)
(s145 1.0)
(s146 1.0)
(s147 1.0)
(s148 1.0)
(s149 1.0)
(s150 1.0)
(s151 1.0)
(s152 1.0)
(s153 1.0)
(s164 1.0)
(s168 1.0)
(s169 1.0)
(s170 1.0)
(s171 1.0)
(s172 1.0)
(s173 1.0)
(s174 1.0)
(s185 1.0)
(s188 1.0)
(s189 1.0)
(s190 1.0)
(s191 1.0)
(s192 1.0)
(s193 1.0)
(s194 1.0)
(s195 1.0)
(s206 1.0)
(s211 1.0)
(s212 1.0)
(s213 1.0)
(s214 1.0)
(s215 1.0)
(s216 1.0)
(s227 1.0)
(s230 timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/235 variables, 235/235 constraints. Problems are: Problem set: 0 solved, 1802 unsolved
SMT process timed out in 14087ms, After SMT, problems are : Problem set: 0 solved, 1802 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 235 out of 517 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 517/517 places, 3014/3014 transitions.
Discarding 37 places :
Symmetric choice reduction at 0 with 37 rule applications. Total rules 37 place count 480 transition count 2977
Iterating global reduction 0 with 37 rules applied. Total rules applied 74 place count 480 transition count 2977
Applied a total of 74 rules in 132 ms. Remains 480 /517 variables (removed 37) and now considering 2977/3014 (removed 37) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 133 ms. Remains : 480/517 places, 2977/3014 transitions.
RANDOM walk for 1070299 steps (0 resets) in 120004 ms. (8 steps per ms) remains 1145/1802 properties
BEST_FIRST walk for 4002 steps (8 resets) in 120 ms. (33 steps per ms) remains 1145/1145 properties
BEST_FIRST walk for 4003 steps (8 resets) in 112 ms. (35 steps per ms) remains 1129/1145 properties
BEST_FIRST walk for 4003 steps (8 resets) in 106 ms. (37 steps per ms) remains 1126/1129 properties
BEST_FIRST walk for 4003 steps (8 resets) in 86 ms. (46 steps per ms) remains 1124/1126 properties
BEST_FIRST walk for 4003 steps (8 resets) in 48 ms. (81 steps per ms) remains 1045/1124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 960/1045 properties
BEST_FIRST walk for 4001 steps (8 resets) in 42 ms. (93 steps per ms) remains 884/960 properties
BEST_FIRST walk for 4003 steps (8 resets) in 102 ms. (38 steps per ms) remains 884/884 properties
BEST_FIRST walk for 4003 steps (8 resets) in 110 ms. (36 steps per ms) remains 884/884 properties
BEST_FIRST walk for 4003 steps (8 resets) in 92 ms. (43 steps per ms) remains 884/884 properties
BEST_FIRST walk for 4003 steps (8 resets) in 91 ms. (43 steps per ms) remains 884/884 properties
BEST_FIRST walk for 4003 steps (8 resets) in 92 ms. (43 steps per ms) remains 884/884 properties
BEST_FIRST walk for 4003 steps (8 resets) in 130 ms. (30 steps per ms) remains 873/884 properties
BEST_FIRST walk for 4004 steps (8 resets) in 181 ms. (22 steps per ms) remains 872/873 properties
BEST_FIRST walk for 4003 steps (8 resets) in 129 ms. (30 steps per ms) remains 872/872 properties
BEST_FIRST walk for 4003 steps (8 resets) in 149 ms. (26 steps per ms) remains 872/872 properties
BEST_FIRST walk for 4002 steps (8 resets) in 145 ms. (27 steps per ms) remains 871/872 properties
BEST_FIRST walk for 4003 steps (8 resets) in 127 ms. (31 steps per ms) remains 871/871 properties
BEST_FIRST walk for 4003 steps (8 resets) in 134 ms. (29 steps per ms) remains 871/871 properties
BEST_FIRST walk for 4003 steps (8 resets) in 127 ms. (31 steps per ms) remains 871/871 properties
BEST_FIRST walk for 4000 steps (8 resets) in 122 ms. (32 steps per ms) remains 869/871 properties
BEST_FIRST walk for 4003 steps (8 resets) in 67 ms. (58 steps per ms) remains 729/869 properties
BEST_FIRST walk for 4003 steps (8 resets) in 115 ms. (34 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4002 steps (8 resets) in 100 ms. (39 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4003 steps (8 resets) in 106 ms. (37 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4002 steps (8 resets) in 109 ms. (36 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4003 steps (8 resets) in 103 ms. (38 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4003 steps (8 resets) in 40 ms. (97 steps per ms) remains 706/729 properties
BEST_FIRST walk for 4003 steps (8 resets) in 46 ms. (85 steps per ms) remains 698/706 properties
BEST_FIRST walk for 4002 steps (8 resets) in 118 ms. (33 steps per ms) remains 698/698 properties
BEST_FIRST walk for 4002 steps (8 resets) in 105 ms. (37 steps per ms) remains 698/698 properties
BEST_FIRST walk for 4004 steps (8 resets) in 96 ms. (41 steps per ms) remains 698/698 properties
BEST_FIRST walk for 4001 steps (8 resets) in 98 ms. (40 steps per ms) remains 698/698 properties
BEST_FIRST walk for 4003 steps (8 resets) in 71 ms. (55 steps per ms) remains 698/698 properties
BEST_FIRST walk for 4004 steps (8 resets) in 72 ms. (54 steps per ms) remains 698/698 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 697/698 properties
BEST_FIRST walk for 4003 steps (8 resets) in 72 ms. (54 steps per ms) remains 695/697 properties
BEST_FIRST walk for 4002 steps (8 resets) in 77 ms. (51 steps per ms) remains 695/695 properties
BEST_FIRST walk for 4003 steps (8 resets) in 76 ms. (51 steps per ms) remains 695/695 properties
BEST_FIRST walk for 4002 steps (8 resets) in 87 ms. (45 steps per ms) remains 695/695 properties
BEST_FIRST walk for 4001 steps (8 resets) in 88 ms. (44 steps per ms) remains 695/695 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 683/695 properties
BEST_FIRST walk for 4002 steps (8 resets) in 95 ms. (41 steps per ms) remains 683/683 properties
BEST_FIRST walk for 4003 steps (8 resets) in 84 ms. (47 steps per ms) remains 683/683 properties
BEST_FIRST walk for 4001 steps (8 resets) in 80 ms. (49 steps per ms) remains 683/683 properties
BEST_FIRST walk for 4002 steps (8 resets) in 80 ms. (49 steps per ms) remains 683/683 properties
BEST_FIRST walk for 4002 steps (8 resets) in 83 ms. (47 steps per ms) remains 683/683 properties
BEST_FIRST walk for 4001 steps (8 resets) in 89 ms. (44 steps per ms) remains 683/683 properties
BEST_FIRST walk for 4002 steps (8 resets) in 81 ms. (48 steps per ms) remains 683/683 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 683/683 properties
BEST_FIRST walk for 4003 steps (8 resets) in 56 ms. (70 steps per ms) remains 683/683 properties
BEST_FIRST walk for 4002 steps (8 resets) in 55 ms. (71 steps per ms) remains 683/683 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 682/683 properties
BEST_FIRST walk for 4001 steps (8 resets) in 72 ms. (54 steps per ms) remains 682/682 properties
BEST_FIRST walk for 4003 steps (8 resets) in 69 ms. (57 steps per ms) remains 679/682 properties
BEST_FIRST walk for 4003 steps (8 resets) in 74 ms. (53 steps per ms) remains 679/679 properties
BEST_FIRST walk for 4003 steps (8 resets) in 73 ms. (54 steps per ms) remains 679/679 properties
BEST_FIRST walk for 4002 steps (8 resets) in 70 ms. (56 steps per ms) remains 679/679 properties
BEST_FIRST walk for 4004 steps (8 resets) in 73 ms. (54 steps per ms) remains 679/679 properties
BEST_FIRST walk for 4003 steps (8 resets) in 73 ms. (54 steps per ms) remains 679/679 properties
BEST_FIRST walk for 4004 steps (8 resets) in 70 ms. (56 steps per ms) remains 679/679 properties
BEST_FIRST walk for 4002 steps (8 resets) in 77 ms. (51 steps per ms) remains 679/679 properties
BEST_FIRST walk for 4003 steps (8 resets) in 72 ms. (54 steps per ms) remains 679/679 properties
BEST_FIRST walk for 4003 steps (8 resets) in 72 ms. (54 steps per ms) remains 679/679 properties
BEST_FIRST walk for 4001 steps (8 resets) in 72 ms. (54 steps per ms) remains 679/679 properties
BEST_FIRST walk for 4001 steps (8 resets) in 72 ms. (54 steps per ms) remains 679/679 properties
BEST_FIRST walk for 4002 steps (8 resets) in 73 ms. (54 steps per ms) remains 679/679 properties
BEST_FIRST walk for 4001 steps (8 resets) in 72 ms. (54 steps per ms) remains 679/679 properties
BEST_FIRST walk for 4003 steps (8 resets) in 69 ms. (57 steps per ms) remains 667/679 properties
BEST_FIRST walk for 4002 steps (8 resets) in 74 ms. (53 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4002 steps (8 resets) in 68 ms. (58 steps per ms) remains 667/667 properties
BEST_FIRST walk for 4004 steps (8 resets) in 66 ms. (59 steps per ms) remains 665/667 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 640/665 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 568/640 properties
BEST_FIRST walk for 4003 steps (8 resets) in 60 ms. (65 steps per ms) remains 566/568 properties
BEST_FIRST walk for 4002 steps (8 resets) in 56 ms. (70 steps per ms) remains 564/566 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 564/564 properties
BEST_FIRST walk for 4002 steps (8 resets) in 58 ms. (67 steps per ms) remains 564/564 properties
BEST_FIRST walk for 4002 steps (8 resets) in 62 ms. (63 steps per ms) remains 564/564 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 564/564 properties
BEST_FIRST walk for 4002 steps (8 resets) in 59 ms. (66 steps per ms) remains 564/564 properties
BEST_FIRST walk for 4003 steps (8 resets) in 58 ms. (67 steps per ms) remains 564/564 properties
BEST_FIRST walk for 4002 steps (8 resets) in 61 ms. (64 steps per ms) remains 564/564 properties
BEST_FIRST walk for 4002 steps (8 resets) in 60 ms. (65 steps per ms) remains 564/564 properties
BEST_FIRST walk for 4003 steps (8 resets) in 54 ms. (72 steps per ms) remains 533/564 properties
BEST_FIRST walk for 4003 steps (8 resets) in 57 ms. (69 steps per ms) remains 533/533 properties
BEST_FIRST walk for 4002 steps (8 resets) in 56 ms. (70 steps per ms) remains 532/533 properties
BEST_FIRST walk for 4002 steps (8 resets) in 58 ms. (67 steps per ms) remains 532/532 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 532/532 properties
BEST_FIRST walk for 4003 steps (8 resets) in 26 ms. (148 steps per ms) remains 530/532 properties
BEST_FIRST walk for 4003 steps (8 resets) in 59 ms. (66 steps per ms) remains 530/530 properties
BEST_FIRST walk for 4002 steps (8 resets) in 59 ms. (66 steps per ms) remains 530/530 properties
BEST_FIRST walk for 4003 steps (8 resets) in 57 ms. (69 steps per ms) remains 530/530 properties
BEST_FIRST walk for 4003 steps (8 resets) in 70 ms. (56 steps per ms) remains 509/530 properties
BEST_FIRST walk for 4003 steps (8 resets) in 57 ms. (69 steps per ms) remains 509/509 properties
BEST_FIRST walk for 4002 steps (8 resets) in 57 ms. (69 steps per ms) remains 509/509 properties
BEST_FIRST walk for 4003 steps (8 resets) in 56 ms. (70 steps per ms) remains 509/509 properties
BEST_FIRST walk for 4001 steps (8 resets) in 56 ms. (70 steps per ms) remains 501/509 properties
BEST_FIRST walk for 4002 steps (8 resets) in 55 ms. (71 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4002 steps (8 resets) in 53 ms. (74 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4003 steps (8 resets) in 41 ms. (95 steps per ms) remains 494/501 properties
BEST_FIRST walk for 4003 steps (8 resets) in 40 ms. (97 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4001 steps (8 resets) in 39 ms. (100 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4002 steps (8 resets) in 51 ms. (76 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4001 steps (8 resets) in 52 ms. (75 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4001 steps (8 resets) in 53 ms. (74 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4002 steps (8 resets) in 59 ms. (66 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4002 steps (8 resets) in 56 ms. (70 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4003 steps (8 resets) in 52 ms. (75 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4001 steps (8 resets) in 71 ms. (55 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4002 steps (8 resets) in 60 ms. (65 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4002 steps (8 resets) in 54 ms. (72 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4002 steps (8 resets) in 52 ms. (75 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4002 steps (8 resets) in 54 ms. (72 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4003 steps (8 resets) in 29 ms. (133 steps per ms) remains 489/494 properties
BEST_FIRST walk for 4002 steps (8 resets) in 57 ms. (69 steps per ms) remains 489/489 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 467/489 properties
BEST_FIRST walk for 4002 steps (8 resets) in 51 ms. (76 steps per ms) remains 467/467 properties
BEST_FIRST walk for 4001 steps (8 resets) in 51 ms. (76 steps per ms) remains 467/467 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 466/467 properties
BEST_FIRST walk for 4001 steps (8 resets) in 52 ms. (75 steps per ms) remains 466/466 properties
BEST_FIRST walk for 4002 steps (8 resets) in 51 ms. (76 steps per ms) remains 466/466 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 466/466 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 466/466 properties
BEST_FIRST walk for 4001 steps (8 resets) in 60 ms. (65 steps per ms) remains 466/466 properties
BEST_FIRST walk for 4002 steps (8 resets) in 57 ms. (69 steps per ms) remains 466/466 properties
BEST_FIRST walk for 4002 steps (8 resets) in 59 ms. (66 steps per ms) remains 466/466 properties
BEST_FIRST walk for 4003 steps (8 resets) in 29 ms. (133 steps per ms) remains 457/466 properties
BEST_FIRST walk for 4001 steps (8 resets) in 62 ms. (63 steps per ms) remains 457/457 properties
BEST_FIRST walk for 4002 steps (8 resets) in 59 ms. (66 steps per ms) remains 457/457 properties
BEST_FIRST walk for 4003 steps (8 resets) in 61 ms. (64 steps per ms) remains 457/457 properties
BEST_FIRST walk for 4002 steps (8 resets) in 60 ms. (65 steps per ms) remains 457/457 properties
BEST_FIRST walk for 4002 steps (8 resets) in 66 ms. (59 steps per ms) remains 457/457 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 457/457 properties
BEST_FIRST walk for 4002 steps (8 resets) in 43 ms. (90 steps per ms) remains 457/457 properties
BEST_FIRST walk for 4002 steps (8 resets) in 45 ms. (87 steps per ms) remains 457/457 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 457/457 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 457/457 properties
BEST_FIRST walk for 4000 steps (8 resets) in 60 ms. (65 steps per ms) remains 457/457 properties
BEST_FIRST walk for 4002 steps (8 resets) in 82 ms. (48 steps per ms) remains 457/457 properties
BEST_FIRST walk for 4001 steps (8 resets) in 60 ms. (65 steps per ms) remains 457/457 properties
BEST_FIRST walk for 4001 steps (8 resets) in 57 ms. (68 steps per ms) remains 457/457 properties
BEST_FIRST walk for 4002 steps (8 resets) in 63 ms. (62 steps per ms) remains 457/457 properties
BEST_FIRST walk for 4003 steps (8 resets) in 60 ms. (65 steps per ms) remains 457/457 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 457/457 properties
BEST_FIRST walk for 4001 steps (8 resets) in 59 ms. (66 steps per ms) remains 457/457 properties
BEST_FIRST walk for 4001 steps (8 resets) in 59 ms. (66 steps per ms) remains 456/457 properties
BEST_FIRST walk for 4003 steps (8 resets) in 64 ms. (61 steps per ms) remains 456/456 properties
BEST_FIRST walk for 4003 steps (8 resets) in 61 ms. (64 steps per ms) remains 456/456 properties
BEST_FIRST walk for 4002 steps (8 resets) in 60 ms. (65 steps per ms) remains 456/456 properties
BEST_FIRST walk for 4002 steps (8 resets) in 61 ms. (64 steps per ms) remains 456/456 properties
BEST_FIRST walk for 4003 steps (8 resets) in 62 ms. (63 steps per ms) remains 456/456 properties
BEST_FIRST walk for 4002 steps (8 resets) in 59 ms. (66 steps per ms) remains 456/456 properties
BEST_FIRST walk for 4003 steps (8 resets) in 58 ms. (67 steps per ms) remains 456/456 properties
BEST_FIRST walk for 4001 steps (8 resets) in 59 ms. (66 steps per ms) remains 456/456 properties
BEST_FIRST walk for 4002 steps (8 resets) in 60 ms. (65 steps per ms) remains 456/456 properties
BEST_FIRST walk for 4003 steps (8 resets) in 50 ms. (78 steps per ms) remains 429/456 properties
BEST_FIRST walk for 4002 steps (8 resets) in 50 ms. (78 steps per ms) remains 429/429 properties
BEST_FIRST walk for 4003 steps (8 resets) in 57 ms. (69 steps per ms) remains 429/429 properties
BEST_FIRST walk for 4002 steps (8 resets) in 55 ms. (71 steps per ms) remains 429/429 properties
BEST_FIRST walk for 4004 steps (8 resets) in 72 ms. (54 steps per ms) remains 421/429 properties
BEST_FIRST walk for 4002 steps (8 resets) in 59 ms. (66 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4002 steps (8 resets) in 55 ms. (71 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4003 steps (8 resets) in 54 ms. (72 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4002 steps (8 resets) in 54 ms. (72 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4003 steps (8 resets) in 56 ms. (70 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4003 steps (8 resets) in 41 ms. (95 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4003 steps (8 resets) in 54 ms. (72 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4002 steps (8 resets) in 58 ms. (67 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4003 steps (8 resets) in 60 ms. (65 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4002 steps (8 resets) in 55 ms. (71 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4002 steps (8 resets) in 56 ms. (70 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4003 steps (8 resets) in 55 ms. (71 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4002 steps (8 resets) in 56 ms. (70 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4003 steps (8 resets) in 50 ms. (78 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4002 steps (8 resets) in 55 ms. (71 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4003 steps (8 resets) in 59 ms. (66 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4001 steps (8 resets) in 57 ms. (68 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4001 steps (8 resets) in 43 ms. (90 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4003 steps (8 resets) in 46 ms. (85 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4003 steps (8 resets) in 49 ms. (80 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4003 steps (8 resets) in 57 ms. (69 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4003 steps (8 resets) in 48 ms. (81 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4003 steps (8 resets) in 47 ms. (83 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4003 steps (8 resets) in 48 ms. (81 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4002 steps (8 resets) in 48 ms. (81 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4002 steps (8 resets) in 47 ms. (83 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4003 steps (8 resets) in 48 ms. (81 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4001 steps (8 resets) in 48 ms. (81 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4002 steps (8 resets) in 49 ms. (80 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4002 steps (8 resets) in 38 ms. (102 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4003 steps (8 resets) in 36 ms. (108 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4003 steps (8 resets) in 48 ms. (81 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4002 steps (8 resets) in 45 ms. (87 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4003 steps (8 resets) in 47 ms. (83 steps per ms) remains 421/421 properties
BEST_FIRST walk for 4002 steps (8 resets) in 45 ms. (87 steps per ms) remains 419/421 properties
BEST_FIRST walk for 4003 steps (8 resets) in 47 ms. (83 steps per ms) remains 419/419 properties
BEST_FIRST walk for 4002 steps (8 resets) in 49 ms. (80 steps per ms) remains 419/419 properties
BEST_FIRST walk for 4003 steps (8 resets) in 45 ms. (87 steps per ms) remains 419/419 properties
BEST_FIRST walk for 4002 steps (8 resets) in 47 ms. (83 steps per ms) remains 419/419 properties
BEST_FIRST walk for 4003 steps (8 resets) in 46 ms. (85 steps per ms) remains 419/419 properties
BEST_FIRST walk for 4002 steps (8 resets) in 47 ms. (83 steps per ms) remains 419/419 properties
BEST_FIRST walk for 4003 steps (8 resets) in 51 ms. (76 steps per ms) remains 419/419 properties
BEST_FIRST walk for 4000 steps (8 resets) in 47 ms. (83 steps per ms) remains 419/419 properties
BEST_FIRST walk for 4003 steps (8 resets) in 48 ms. (81 steps per ms) remains 419/419 properties
BEST_FIRST walk for 4001 steps (8 resets) in 46 ms. (85 steps per ms) remains 419/419 properties
BEST_FIRST walk for 4002 steps (8 resets) in 46 ms. (85 steps per ms) remains 419/419 properties
BEST_FIRST walk for 4001 steps (8 resets) in 47 ms. (83 steps per ms) remains 419/419 properties
BEST_FIRST walk for 4003 steps (8 resets) in 44 ms. (88 steps per ms) remains 419/419 properties
BEST_FIRST walk for 4003 steps (8 resets) in 49 ms. (80 steps per ms) remains 419/419 properties
BEST_FIRST walk for 4002 steps (8 resets) in 45 ms. (87 steps per ms) remains 419/419 properties
BEST_FIRST walk for 4003 steps (8 resets) in 46 ms. (85 steps per ms) remains 419/419 properties
BEST_FIRST walk for 4003 steps (8 resets) in 47 ms. (83 steps per ms) remains 419/419 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 419/419 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 419/419 properties
BEST_FIRST walk for 4002 steps (8 resets) in 71 ms. (55 steps per ms) remains 419/419 properties
BEST_FIRST walk for 4003 steps (8 resets) in 47 ms. (83 steps per ms) remains 404/419 properties
BEST_FIRST walk for 4000 steps (8 resets) in 56 ms. (70 steps per ms) remains 404/404 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 404/404 properties
BEST_FIRST walk for 4003 steps (8 resets) in 57 ms. (69 steps per ms) remains 404/404 properties
BEST_FIRST walk for 4003 steps (8 resets) in 52 ms. (75 steps per ms) remains 404/404 properties
BEST_FIRST walk for 4003 steps (8 resets) in 55 ms. (71 steps per ms) remains 404/404 properties
BEST_FIRST walk for 4001 steps (8 resets) in 57 ms. (68 steps per ms) remains 404/404 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 404/404 properties
BEST_FIRST walk for 4003 steps (8 resets) in 42 ms. (93 steps per ms) remains 404/404 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 404/404 properties
BEST_FIRST walk for 4001 steps (8 resets) in 53 ms. (74 steps per ms) remains 404/404 properties
BEST_FIRST walk for 4002 steps (8 resets) in 55 ms. (71 steps per ms) remains 404/404 properties
BEST_FIRST walk for 4001 steps (8 resets) in 53 ms. (74 steps per ms) remains 404/404 properties
BEST_FIRST walk for 4003 steps (8 resets) in 56 ms. (70 steps per ms) remains 404/404 properties
BEST_FIRST walk for 4003 steps (8 resets) in 53 ms. (74 steps per ms) remains 404/404 properties
BEST_FIRST walk for 4002 steps (8 resets) in 57 ms. (69 steps per ms) remains 404/404 properties
BEST_FIRST walk for 4002 steps (8 resets) in 53 ms. (74 steps per ms) remains 404/404 properties
BEST_FIRST walk for 4002 steps (8 resets) in 60 ms. (65 steps per ms) remains 404/404 properties
BEST_FIRST walk for 4003 steps (8 resets) in 54 ms. (72 steps per ms) remains 404/404 properties
BEST_FIRST walk for 4002 steps (8 resets) in 54 ms. (72 steps per ms) remains 404/404 properties
BEST_FIRST walk for 4002 steps (8 resets) in 53 ms. (74 steps per ms) remains 404/404 properties
BEST_FIRST walk for 4003 steps (8 resets) in 58 ms. (67 steps per ms) remains 404/404 properties
BEST_FIRST walk for 4000 steps (8 resets) in 55 ms. (71 steps per ms) remains 404/404 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 404/404 properties
BEST_FIRST walk for 4002 steps (8 resets) in 59 ms. (66 steps per ms) remains 404/404 properties
BEST_FIRST walk for 4003 steps (8 resets) in 57 ms. (69 steps per ms) remains 404/404 properties
BEST_FIRST walk for 4003 steps (8 resets) in 71 ms. (55 steps per ms) remains 404/404 properties
BEST_FIRST walk for 4000 steps (8 resets) in 53 ms. (74 steps per ms) remains 404/404 properties
BEST_FIRST walk for 4002 steps (8 resets) in 56 ms. (70 steps per ms) remains 404/404 properties
BEST_FIRST walk for 4002 steps (8 resets) in 45 ms. (87 steps per ms) remains 404/404 properties
BEST_FIRST walk for 4001 steps (8 resets) in 44 ms. (88 steps per ms) remains 400/404 properties
BEST_FIRST walk for 4002 steps (8 resets) in 47 ms. (83 steps per ms) remains 400/400 properties
BEST_FIRST walk for 4003 steps (8 resets) in 45 ms. (87 steps per ms) remains 400/400 properties
BEST_FIRST walk for 4001 steps (8 resets) in 44 ms. (88 steps per ms) remains 400/400 properties
BEST_FIRST walk for 4002 steps (8 resets) in 44 ms. (88 steps per ms) remains 400/400 properties
BEST_FIRST walk for 4001 steps (8 resets) in 46 ms. (85 steps per ms) remains 400/400 properties
BEST_FIRST walk for 4001 steps (8 resets) in 47 ms. (83 steps per ms) remains 400/400 properties
BEST_FIRST walk for 4002 steps (8 resets) in 33 ms. (117 steps per ms) remains 400/400 properties
BEST_FIRST walk for 4003 steps (8 resets) in 35 ms. (111 steps per ms) remains 400/400 properties
BEST_FIRST walk for 4003 steps (8 resets) in 33 ms. (117 steps per ms) remains 400/400 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 400/400 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 400/400 properties
BEST_FIRST walk for 4001 steps (8 resets) in 43 ms. (90 steps per ms) remains 400/400 properties
BEST_FIRST walk for 4000 steps (8 resets) in 46 ms. (85 steps per ms) remains 400/400 properties
BEST_FIRST walk for 4002 steps (8 resets) in 79 ms. (50 steps per ms) remains 400/400 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 400/400 properties
BEST_FIRST walk for 4002 steps (8 resets) in 41 ms. (95 steps per ms) remains 400/400 properties
BEST_FIRST walk for 4002 steps (8 resets) in 43 ms. (90 steps per ms) remains 400/400 properties
BEST_FIRST walk for 4002 steps (8 resets) in 45 ms. (87 steps per ms) remains 400/400 properties
BEST_FIRST walk for 4002 steps (8 resets) in 43 ms. (90 steps per ms) remains 400/400 properties
BEST_FIRST walk for 4003 steps (8 resets) in 47 ms. (83 steps per ms) remains 394/400 properties
BEST_FIRST walk for 4001 steps (8 resets) in 46 ms. (85 steps per ms) remains 394/394 properties
BEST_FIRST walk for 4002 steps (8 resets) in 45 ms. (87 steps per ms) remains 394/394 properties
BEST_FIRST walk for 4003 steps (8 resets) in 44 ms. (88 steps per ms) remains 394/394 properties
BEST_FIRST walk for 4002 steps (8 resets) in 46 ms. (85 steps per ms) remains 394/394 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 394/394 properties
BEST_FIRST walk for 4001 steps (8 resets) in 42 ms. (93 steps per ms) remains 394/394 properties
BEST_FIRST walk for 4002 steps (8 resets) in 49 ms. (80 steps per ms) remains 394/394 properties
BEST_FIRST walk for 4001 steps (8 resets) in 44 ms. (88 steps per ms) remains 394/394 properties
BEST_FIRST walk for 4001 steps (8 resets) in 45 ms. (86 steps per ms) remains 394/394 properties
BEST_FIRST walk for 4002 steps (8 resets) in 45 ms. (87 steps per ms) remains 394/394 properties
BEST_FIRST walk for 4001 steps (8 resets) in 48 ms. (81 steps per ms) remains 394/394 properties
BEST_FIRST walk for 4003 steps (8 resets) in 46 ms. (85 steps per ms) remains 394/394 properties
BEST_FIRST walk for 4001 steps (8 resets) in 45 ms. (86 steps per ms) remains 388/394 properties
BEST_FIRST walk for 4002 steps (8 resets) in 45 ms. (87 steps per ms) remains 382/388 properties
BEST_FIRST walk for 4003 steps (8 resets) in 42 ms. (93 steps per ms) remains 382/382 properties
BEST_FIRST walk for 4002 steps (8 resets) in 43 ms. (90 steps per ms) remains 382/382 properties
BEST_FIRST walk for 4001 steps (8 resets) in 44 ms. (88 steps per ms) remains 382/382 properties
BEST_FIRST walk for 4003 steps (8 resets) in 42 ms. (93 steps per ms) remains 382/382 properties
BEST_FIRST walk for 4002 steps (8 resets) in 42 ms. (93 steps per ms) remains 375/382 properties
BEST_FIRST walk for 4001 steps (8 resets) in 49 ms. (80 steps per ms) remains 375/375 properties
BEST_FIRST walk for 4003 steps (8 resets) in 53 ms. (74 steps per ms) remains 375/375 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 374/375 properties
BEST_FIRST walk for 4002 steps (8 resets) in 50 ms. (78 steps per ms) remains 374/374 properties
BEST_FIRST walk for 4003 steps (8 resets) in 50 ms. (78 steps per ms) remains 374/374 properties
BEST_FIRST walk for 4001 steps (8 resets) in 53 ms. (74 steps per ms) remains 374/374 properties
BEST_FIRST walk for 4001 steps (8 resets) in 40 ms. (97 steps per ms) remains 374/374 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 374/374 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 374/374 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 374/374 properties
BEST_FIRST walk for 4003 steps (8 resets) in 49 ms. (80 steps per ms) remains 374/374 properties
BEST_FIRST walk for 4003 steps (8 resets) in 52 ms. (75 steps per ms) remains 374/374 properties
BEST_FIRST walk for 4000 steps (8 resets) in 54 ms. (72 steps per ms) remains 374/374 properties
BEST_FIRST walk for 4002 steps (8 resets) in 52 ms. (75 steps per ms) remains 374/374 properties
BEST_FIRST walk for 4002 steps (8 resets) in 50 ms. (78 steps per ms) remains 374/374 properties
BEST_FIRST walk for 4001 steps (8 resets) in 49 ms. (80 steps per ms) remains 374/374 properties
BEST_FIRST walk for 4003 steps (8 resets) in 52 ms. (75 steps per ms) remains 374/374 properties
BEST_FIRST walk for 4002 steps (8 resets) in 56 ms. (70 steps per ms) remains 374/374 properties
BEST_FIRST walk for 4002 steps (8 resets) in 56 ms. (70 steps per ms) remains 374/374 properties
BEST_FIRST walk for 4003 steps (8 resets) in 28 ms. (138 steps per ms) remains 373/374 properties
BEST_FIRST walk for 4003 steps (8 resets) in 56 ms. (70 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4003 steps (8 resets) in 51 ms. (76 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4003 steps (8 resets) in 53 ms. (74 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4002 steps (8 resets) in 53 ms. (74 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4003 steps (8 resets) in 55 ms. (71 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4001 steps (8 resets) in 53 ms. (74 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4001 steps (8 resets) in 55 ms. (71 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4001 steps (8 resets) in 52 ms. (75 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4003 steps (8 resets) in 63 ms. (62 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4003 steps (8 resets) in 53 ms. (74 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4002 steps (8 resets) in 55 ms. (71 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4002 steps (8 resets) in 53 ms. (74 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4003 steps (8 resets) in 53 ms. (74 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4003 steps (8 resets) in 44 ms. (88 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4003 steps (8 resets) in 45 ms. (87 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4003 steps (8 resets) in 43 ms. (90 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4003 steps (8 resets) in 32 ms. (121 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4002 steps (8 resets) in 34 ms. (114 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4003 steps (8 resets) in 42 ms. (93 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4003 steps (8 resets) in 44 ms. (88 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4003 steps (8 resets) in 41 ms. (95 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4002 steps (8 resets) in 41 ms. (95 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4003 steps (8 resets) in 43 ms. (90 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4003 steps (8 resets) in 45 ms. (87 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4003 steps (8 resets) in 41 ms. (95 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4002 steps (8 resets) in 43 ms. (90 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4002 steps (8 resets) in 43 ms. (90 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4002 steps (8 resets) in 43 ms. (90 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4003 steps (8 resets) in 46 ms. (85 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4001 steps (8 resets) in 44 ms. (88 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4002 steps (8 resets) in 41 ms. (95 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4001 steps (8 resets) in 42 ms. (93 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4001 steps (8 resets) in 42 ms. (93 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4002 steps (8 resets) in 44 ms. (88 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4003 steps (8 resets) in 44 ms. (88 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4003 steps (8 resets) in 43 ms. (90 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4003 steps (8 resets) in 43 ms. (90 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4003 steps (8 resets) in 43 ms. (90 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4002 steps (8 resets) in 41 ms. (95 steps per ms) remains 369/373 properties
BEST_FIRST walk for 4003 steps (8 resets) in 42 ms. (93 steps per ms) remains 368/369 properties
BEST_FIRST walk for 4001 steps (8 resets) in 43 ms. (90 steps per ms) remains 368/368 properties
BEST_FIRST walk for 4002 steps (8 resets) in 43 ms. (90 steps per ms) remains 368/368 properties
BEST_FIRST walk for 4003 steps (8 resets) in 42 ms. (93 steps per ms) remains 368/368 properties
BEST_FIRST walk for 4002 steps (8 resets) in 42 ms. (93 steps per ms) remains 368/368 properties
BEST_FIRST walk for 4003 steps (8 resets) in 41 ms. (95 steps per ms) remains 368/368 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 368/368 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 368/368 properties
BEST_FIRST walk for 4002 steps (8 resets) in 45 ms. (87 steps per ms) remains 368/368 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 368/368 properties
BEST_FIRST walk for 4002 steps (8 resets) in 40 ms. (97 steps per ms) remains 368/368 properties
BEST_FIRST walk for 4002 steps (8 resets) in 43 ms. (90 steps per ms) remains 368/368 properties
BEST_FIRST walk for 4001 steps (8 resets) in 45 ms. (86 steps per ms) remains 368/368 properties
BEST_FIRST walk for 4001 steps (8 resets) in 47 ms. (83 steps per ms) remains 367/368 properties
BEST_FIRST walk for 4002 steps (8 resets) in 44 ms. (88 steps per ms) remains 367/367 properties
BEST_FIRST walk for 4002 steps (8 resets) in 45 ms. (87 steps per ms) remains 367/367 properties
BEST_FIRST walk for 4000 steps (8 resets) in 45 ms. (86 steps per ms) remains 367/367 properties
BEST_FIRST walk for 4002 steps (8 resets) in 47 ms. (83 steps per ms) remains 367/367 properties
BEST_FIRST walk for 4003 steps (8 resets) in 24 ms. (160 steps per ms) remains 350/367 properties
BEST_FIRST walk for 4002 steps (8 resets) in 43 ms. (90 steps per ms) remains 350/350 properties
BEST_FIRST walk for 4002 steps (8 resets) in 40 ms. (97 steps per ms) remains 350/350 properties
BEST_FIRST walk for 4001 steps (8 resets) in 44 ms. (88 steps per ms) remains 350/350 properties
BEST_FIRST walk for 4001 steps (8 resets) in 70 ms. (56 steps per ms) remains 350/350 properties
BEST_FIRST walk for 4001 steps (8 resets) in 45 ms. (86 steps per ms) remains 350/350 properties
BEST_FIRST walk for 4001 steps (8 resets) in 46 ms. (85 steps per ms) remains 350/350 properties
BEST_FIRST walk for 4002 steps (8 resets) in 46 ms. (85 steps per ms) remains 350/350 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 350/350 properties
BEST_FIRST walk for 4002 steps (8 resets) in 46 ms. (85 steps per ms) remains 336/350 properties
BEST_FIRST walk for 4002 steps (8 resets) in 46 ms. (85 steps per ms) remains 330/336 properties
BEST_FIRST walk for 4003 steps (8 resets) in 45 ms. (87 steps per ms) remains 322/330 properties
BEST_FIRST walk for 4002 steps (8 resets) in 42 ms. (93 steps per ms) remains 318/322 properties
BEST_FIRST walk for 4003 steps (8 resets) in 39 ms. (100 steps per ms) remains 318/318 properties
BEST_FIRST walk for 4003 steps (8 resets) in 39 ms. (100 steps per ms) remains 318/318 properties
BEST_FIRST walk for 4003 steps (8 resets) in 40 ms. (97 steps per ms) remains 318/318 properties
BEST_FIRST walk for 4003 steps (8 resets) in 38 ms. (102 steps per ms) remains 318/318 properties
BEST_FIRST walk for 4002 steps (8 resets) in 37 ms. (105 steps per ms) remains 318/318 properties
BEST_FIRST walk for 4003 steps (8 resets) in 38 ms. (102 steps per ms) remains 318/318 properties
BEST_FIRST walk for 4003 steps (8 resets) in 37 ms. (105 steps per ms) remains 318/318 properties
BEST_FIRST walk for 4001 steps (8 resets) in 40 ms. (97 steps per ms) remains 318/318 properties
BEST_FIRST walk for 4003 steps (8 resets) in 40 ms. (97 steps per ms) remains 318/318 properties
BEST_FIRST walk for 4003 steps (8 resets) in 41 ms. (95 steps per ms) remains 318/318 properties
BEST_FIRST walk for 4001 steps (8 resets) in 40 ms. (97 steps per ms) remains 318/318 properties
BEST_FIRST walk for 4004 steps (8 resets) in 37 ms. (105 steps per ms) remains 318/318 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 318/318 properties
BEST_FIRST walk for 4003 steps (8 resets) in 38 ms. (102 steps per ms) remains 318/318 properties
BEST_FIRST walk for 4002 steps (8 resets) in 41 ms. (95 steps per ms) remains 318/318 properties
// Phase 1: matrix 2977 rows 480 cols
[2024-05-21 05:16:46] [INFO ] Computed 24 invariants in 26 ms
[2024-05-21 05:16:46] [INFO ] State equation strengthened by 183 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/132 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 318 unsolved
At refinement iteration 1 (OVERLAPS) 334/466 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 318 unsolved
[2024-05-21 05:16:56] [INFO ] Deduced a trap composed of 343 places in 849 ms of which 63 ms to minimize.
[2024-05-21 05:16:57] [INFO ] Deduced a trap composed of 345 places in 697 ms of which 7 ms to minimize.
[2024-05-21 05:16:57] [INFO ] Deduced a trap composed of 346 places in 553 ms of which 5 ms to minimize.
[2024-05-21 05:16:58] [INFO ] Deduced a trap composed of 305 places in 566 ms of which 9 ms to minimize.
[2024-05-21 05:16:59] [INFO ] Deduced a trap composed of 365 places in 704 ms of which 5 ms to minimize.
[2024-05-21 05:16:59] [INFO ] Deduced a trap composed of 345 places in 430 ms of which 6 ms to minimize.
[2024-05-21 05:17:00] [INFO ] Deduced a trap composed of 343 places in 409 ms of which 4 ms to minimize.
[2024-05-21 05:17:00] [INFO ] Deduced a trap composed of 301 places in 524 ms of which 6 ms to minimize.
[2024-05-21 05:17:01] [INFO ] Deduced a trap composed of 305 places in 514 ms of which 5 ms to minimize.
[2024-05-21 05:17:01] [INFO ] Deduced a trap composed of 302 places in 535 ms of which 7 ms to minimize.
[2024-05-21 05:17:02] [INFO ] Deduced a trap composed of 282 places in 634 ms of which 5 ms to minimize.
[2024-05-21 05:17:03] [INFO ] Deduced a trap composed of 322 places in 666 ms of which 7 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/466 variables, 12/24 constraints. Problems are: Problem set: 0 solved, 318 unsolved
[2024-05-21 05:17:09] [INFO ] Deduced a trap composed of 343 places in 564 ms of which 9 ms to minimize.
[2024-05-21 05:17:10] [INFO ] Deduced a trap composed of 331 places in 625 ms of which 7 ms to minimize.
[2024-05-21 05:17:10] [INFO ] Deduced a trap composed of 342 places in 572 ms of which 5 ms to minimize.
[2024-05-21 05:17:11] [INFO ] Deduced a trap composed of 343 places in 457 ms of which 5 ms to minimize.
[2024-05-21 05:17:12] [INFO ] Deduced a trap composed of 327 places in 657 ms of which 7 ms to minimize.
[2024-05-21 05:17:12] [INFO ] Deduced a trap composed of 310 places in 472 ms of which 5 ms to minimize.
[2024-05-21 05:17:13] [INFO ] Deduced a trap composed of 323 places in 458 ms of which 5 ms to minimize.
[2024-05-21 05:17:13] [INFO ] Deduced a trap composed of 306 places in 468 ms of which 5 ms to minimize.
[2024-05-21 05:17:14] [INFO ] Deduced a trap composed of 305 places in 473 ms of which 5 ms to minimize.
[2024-05-21 05:17:14] [INFO ] Deduced a trap composed of 306 places in 508 ms of which 5 ms to minimize.
[2024-05-21 05:17:15] [INFO ] Deduced a trap composed of 326 places in 515 ms of which 4 ms to minimize.
[2024-05-21 05:17:15] [INFO ] Deduced a trap composed of 346 places in 721 ms of which 6 ms to minimize.
[2024-05-21 05:17:16] [INFO ] Deduced a trap composed of 306 places in 560 ms of which 4 ms to minimize.
[2024-05-21 05:17:16] [INFO ] Deduced a trap composed of 284 places in 530 ms of which 5 ms to minimize.
[2024-05-21 05:17:17] [INFO ] Deduced a trap composed of 325 places in 490 ms of which 4 ms to minimize.
[2024-05-21 05:17:17] [INFO ] Deduced a trap composed of 285 places in 505 ms of which 5 ms to minimize.
[2024-05-21 05:17:18] [INFO ] Deduced a trap composed of 307 places in 497 ms of which 5 ms to minimize.
[2024-05-21 05:17:19] [INFO ] Deduced a trap composed of 265 places in 507 ms of which 5 ms to minimize.
[2024-05-21 05:17:19] [INFO ] Deduced a trap composed of 309 places in 508 ms of which 5 ms to minimize.
[2024-05-21 05:17:20] [INFO ] Deduced a trap composed of 304 places in 495 ms of which 5 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/466 variables, 20/44 constraints. Problems are: Problem set: 0 solved, 318 unsolved
[2024-05-21 05:17:28] [INFO ] Deduced a trap composed of 281 places in 612 ms of which 7 ms to minimize.
[2024-05-21 05:17:29] [INFO ] Deduced a trap composed of 343 places in 601 ms of which 5 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/466 variables, 2/46 constraints. Problems are: Problem set: 0 solved, 318 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 466/3457 variables, and 46 constraints, problems are : Problem set: 0 solved, 318 unsolved in 45021 ms.
Refiners :[Positive P Invariants (semi-flows): 12/12 constraints, Generalized P Invariants (flows): 0/12 constraints, State Equation: 0/480 constraints, ReadFeed: 0/183 constraints, PredecessorRefiner: 318/318 constraints, Known Traps: 34/34 constraints]
Escalating to Integer solving :Problem set: 0 solved, 318 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/132 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 318 unsolved
At refinement iteration 1 (OVERLAPS) 334/466 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 318 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/466 variables, 34/46 constraints. Problems are: Problem set: 0 solved, 318 unsolved
[2024-05-21 05:17:39] [INFO ] Deduced a trap composed of 346 places in 473 ms of which 7 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/466 variables, 1/47 constraints. Problems are: Problem set: 0 solved, 318 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/466 variables, 0/47 constraints. Problems are: Problem set: 0 solved, 318 unsolved
At refinement iteration 5 (OVERLAPS) 14/480 variables, 12/59 constraints. Problems are: Problem set: 0 solved, 318 unsolved
[2024-05-21 05:17:48] [INFO ] Deduced a trap composed of 287 places in 804 ms of which 5 ms to minimize.
[2024-05-21 05:17:49] [INFO ] Deduced a trap composed of 189 places in 1109 ms of which 6 ms to minimize.
[2024-05-21 05:17:50] [INFO ] Deduced a trap composed of 122 places in 854 ms of which 5 ms to minimize.
[2024-05-21 05:17:51] [INFO ] Deduced a trap composed of 204 places in 940 ms of which 5 ms to minimize.
[2024-05-21 05:17:51] [INFO ] Deduced a trap composed of 99 places in 783 ms of which 5 ms to minimize.
[2024-05-21 05:17:52] [INFO ] Deduced a trap composed of 143 places in 769 ms of which 5 ms to minimize.
[2024-05-21 05:17:53] [INFO ] Deduced a trap composed of 118 places in 783 ms of which 4 ms to minimize.
[2024-05-21 05:17:54] [INFO ] Deduced a trap composed of 151 places in 934 ms of which 5 ms to minimize.
[2024-05-21 05:17:55] [INFO ] Deduced a trap composed of 136 places in 776 ms of which 5 ms to minimize.
[2024-05-21 05:17:55] [INFO ] Deduced a trap composed of 102 places in 679 ms of which 5 ms to minimize.
[2024-05-21 05:17:56] [INFO ] Deduced a trap composed of 226 places in 799 ms of which 5 ms to minimize.
[2024-05-21 05:17:57] [INFO ] Deduced a trap composed of 297 places in 752 ms of which 4 ms to minimize.
[2024-05-21 05:17:58] [INFO ] Deduced a trap composed of 170 places in 851 ms of which 7 ms to minimize.
[2024-05-21 05:17:59] [INFO ] Deduced a trap composed of 195 places in 870 ms of which 6 ms to minimize.
[2024-05-21 05:18:00] [INFO ] Deduced a trap composed of 231 places in 1021 ms of which 7 ms to minimize.
[2024-05-21 05:18:01] [INFO ] Deduced a trap composed of 209 places in 1034 ms of which 7 ms to minimize.
[2024-05-21 05:18:02] [INFO ] Deduced a trap composed of 247 places in 1162 ms of which 8 ms to minimize.
[2024-05-21 05:18:03] [INFO ] Deduced a trap composed of 239 places in 1137 ms of which 7 ms to minimize.
[2024-05-21 05:18:05] [INFO ] Deduced a trap composed of 177 places in 1216 ms of which 8 ms to minimize.
[2024-05-21 05:18:06] [INFO ] Deduced a trap composed of 193 places in 1174 ms of which 8 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/480 variables, 20/79 constraints. Problems are: Problem set: 0 solved, 318 unsolved
[2024-05-21 05:18:11] [INFO ] Deduced a trap composed of 222 places in 1215 ms of which 36 ms to minimize.
[2024-05-21 05:18:12] [INFO ] Deduced a trap composed of 176 places in 1131 ms of which 15 ms to minimize.
[2024-05-21 05:18:13] [INFO ] Deduced a trap composed of 174 places in 1239 ms of which 8 ms to minimize.
[2024-05-21 05:18:15] [INFO ] Deduced a trap composed of 158 places in 1116 ms of which 7 ms to minimize.
[2024-05-21 05:18:16] [INFO ] Deduced a trap composed of 108 places in 1176 ms of which 7 ms to minimize.
[2024-05-21 05:18:17] [INFO ] Deduced a trap composed of 114 places in 1085 ms of which 7 ms to minimize.
[2024-05-21 05:18:18] [INFO ] Deduced a trap composed of 132 places in 1163 ms of which 7 ms to minimize.
SMT process timed out in 92061ms, After SMT, problems are : Problem set: 0 solved, 318 unsolved
Fused 318 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 132 out of 480 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 480/480 places, 2977/2977 transitions.
Discarding 66 places :
Symmetric choice reduction at 0 with 66 rule applications. Total rules 66 place count 414 transition count 2751
Iterating global reduction 0 with 66 rules applied. Total rules applied 132 place count 414 transition count 2751
Applied a total of 132 rules in 187 ms. Remains 414 /480 variables (removed 66) and now considering 2751/2977 (removed 226) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 187 ms. Remains : 414/480 places, 2751/2977 transitions.
RANDOM walk for 4000000 steps (8 resets) in 102992 ms. (38 steps per ms) remains 308/318 properties
BEST_FIRST walk for 40003 steps (8 resets) in 350 ms. (113 steps per ms) remains 308/308 properties
BEST_FIRST walk for 40003 steps (8 resets) in 418 ms. (95 steps per ms) remains 308/308 properties
BEST_FIRST walk for 40003 steps (8 resets) in 487 ms. (81 steps per ms) remains 308/308 properties
BEST_FIRST walk for 40004 steps (8 resets) in 854 ms. (46 steps per ms) remains 308/308 properties
BEST_FIRST walk for 40002 steps (8 resets) in 656 ms. (60 steps per ms) remains 308/308 properties
BEST_FIRST walk for 40004 steps (8 resets) in 634 ms. (62 steps per ms) remains 308/308 properties
BEST_FIRST walk for 40002 steps (8 resets) in 737 ms. (54 steps per ms) remains 308/308 properties
BEST_FIRST walk for 40004 steps (8 resets) in 619 ms. (64 steps per ms) remains 308/308 properties
BEST_FIRST walk for 40002 steps (8 resets) in 672 ms. (59 steps per ms) remains 308/308 properties
BEST_FIRST walk for 40001 steps (8 resets) in 691 ms. (57 steps per ms) remains 308/308 properties
BEST_FIRST walk for 40003 steps (8 resets) in 717 ms. (55 steps per ms) remains 307/308 properties
BEST_FIRST walk for 40004 steps (8 resets) in 895 ms. (44 steps per ms) remains 307/307 properties
BEST_FIRST walk for 40002 steps (8 resets) in 872 ms. (45 steps per ms) remains 307/307 properties
BEST_FIRST walk for 40002 steps (8 resets) in 748 ms. (53 steps per ms) remains 307/307 properties
BEST_FIRST walk for 40004 steps (8 resets) in 620 ms. (64 steps per ms) remains 307/307 properties
BEST_FIRST walk for 40003 steps (8 resets) in 725 ms. (55 steps per ms) remains 291/307 properties
BEST_FIRST walk for 40002 steps (8 resets) in 838 ms. (47 steps per ms) remains 289/291 properties
BEST_FIRST walk for 40003 steps (8 resets) in 927 ms. (43 steps per ms) remains 285/289 properties
BEST_FIRST walk for 40003 steps (8 resets) in 714 ms. (55 steps per ms) remains 285/285 properties
BEST_FIRST walk for 40004 steps (8 resets) in 466 ms. (85 steps per ms) remains 281/285 properties
BEST_FIRST walk for 40002 steps (8 resets) in 769 ms. (51 steps per ms) remains 279/281 properties
BEST_FIRST walk for 40002 steps (8 resets) in 714 ms. (55 steps per ms) remains 279/279 properties
BEST_FIRST walk for 40003 steps (8 resets) in 674 ms. (59 steps per ms) remains 279/279 properties
BEST_FIRST walk for 40004 steps (8 resets) in 655 ms. (60 steps per ms) remains 279/279 properties
BEST_FIRST walk for 40003 steps (8 resets) in 665 ms. (60 steps per ms) remains 279/279 properties
BEST_FIRST walk for 40003 steps (8 resets) in 594 ms. (67 steps per ms) remains 278/279 properties
BEST_FIRST walk for 40004 steps (8 resets) in 634 ms. (62 steps per ms) remains 278/278 properties
BEST_FIRST walk for 40003 steps (8 resets) in 614 ms. (65 steps per ms) remains 278/278 properties
BEST_FIRST walk for 40003 steps (8 resets) in 655 ms. (60 steps per ms) remains 278/278 properties
BEST_FIRST walk for 40004 steps (8 resets) in 600 ms. (66 steps per ms) remains 278/278 properties
BEST_FIRST walk for 40003 steps (8 resets) in 634 ms. (62 steps per ms) remains 278/278 properties
BEST_FIRST walk for 40003 steps (8 resets) in 627 ms. (63 steps per ms) remains 278/278 properties
BEST_FIRST walk for 40003 steps (8 resets) in 584 ms. (68 steps per ms) remains 278/278 properties
BEST_FIRST walk for 40002 steps (8 resets) in 524 ms. (76 steps per ms) remains 278/278 properties
BEST_FIRST walk for 40003 steps (8 resets) in 605 ms. (66 steps per ms) remains 278/278 properties
BEST_FIRST walk for 40001 steps (8 resets) in 615 ms. (64 steps per ms) remains 278/278 properties
BEST_FIRST walk for 40003 steps (8 resets) in 1054 ms. (37 steps per ms) remains 278/278 properties
BEST_FIRST walk for 40001 steps (8 resets) in 872 ms. (45 steps per ms) remains 278/278 properties
BEST_FIRST walk for 40003 steps (8 resets) in 661 ms. (60 steps per ms) remains 278/278 properties
BEST_FIRST walk for 40001 steps (8 resets) in 821 ms. (48 steps per ms) remains 278/278 properties
BEST_FIRST walk for 40002 steps (8 resets) in 770 ms. (51 steps per ms) remains 278/278 properties
BEST_FIRST walk for 40002 steps (8 resets) in 687 ms. (58 steps per ms) remains 266/278 properties
BEST_FIRST walk for 40002 steps (8 resets) in 491 ms. (81 steps per ms) remains 266/266 properties
BEST_FIRST walk for 40003 steps (8 resets) in 524 ms. (76 steps per ms) remains 266/266 properties
BEST_FIRST walk for 40003 steps (8 resets) in 784 ms. (50 steps per ms) remains 266/266 properties
BEST_FIRST walk for 40002 steps (8 resets) in 777 ms. (51 steps per ms) remains 266/266 properties
BEST_FIRST walk for 40003 steps (8 resets) in 627 ms. (63 steps per ms) remains 264/266 properties
BEST_FIRST walk for 40001 steps (8 resets) in 647 ms. (61 steps per ms) remains 264/264 properties
BEST_FIRST walk for 40000 steps (8 resets) in 640 ms. (62 steps per ms) remains 264/264 properties
BEST_FIRST walk for 40003 steps (8 resets) in 609 ms. (65 steps per ms) remains 264/264 properties
BEST_FIRST walk for 40002 steps (8 resets) in 591 ms. (67 steps per ms) remains 264/264 properties
BEST_FIRST walk for 40003 steps (8 resets) in 628 ms. (63 steps per ms) remains 264/264 properties
BEST_FIRST walk for 40004 steps (8 resets) in 640 ms. (62 steps per ms) remains 264/264 properties
BEST_FIRST walk for 40002 steps (8 resets) in 627 ms. (63 steps per ms) remains 264/264 properties
BEST_FIRST walk for 40004 steps (8 resets) in 521 ms. (76 steps per ms) remains 264/264 properties
BEST_FIRST walk for 40002 steps (8 resets) in 634 ms. (62 steps per ms) remains 264/264 properties
BEST_FIRST walk for 40003 steps (8 resets) in 792 ms. (50 steps per ms) remains 264/264 properties
BEST_FIRST walk for 40003 steps (8 resets) in 520 ms. (76 steps per ms) remains 264/264 properties
BEST_FIRST walk for 40003 steps (8 resets) in 678 ms. (58 steps per ms) remains 264/264 properties
BEST_FIRST walk for 40003 steps (8 resets) in 652 ms. (61 steps per ms) remains 264/264 properties
BEST_FIRST walk for 40004 steps (8 resets) in 676 ms. (59 steps per ms) remains 264/264 properties
BEST_FIRST walk for 40004 steps (8 resets) in 598 ms. (66 steps per ms) remains 259/264 properties
BEST_FIRST walk for 40003 steps (8 resets) in 576 ms. (69 steps per ms) remains 258/259 properties
BEST_FIRST walk for 40003 steps (8 resets) in 624 ms. (64 steps per ms) remains 255/258 properties
BEST_FIRST walk for 40004 steps (8 resets) in 602 ms. (66 steps per ms) remains 255/255 properties
BEST_FIRST walk for 40003 steps (8 resets) in 744 ms. (53 steps per ms) remains 255/255 properties
BEST_FIRST walk for 40004 steps (8 resets) in 463 ms. (86 steps per ms) remains 255/255 properties
BEST_FIRST walk for 40004 steps (8 resets) in 701 ms. (56 steps per ms) remains 254/255 properties
BEST_FIRST walk for 40003 steps (8 resets) in 711 ms. (56 steps per ms) remains 253/254 properties
BEST_FIRST walk for 40002 steps (8 resets) in 447 ms. (89 steps per ms) remains 250/253 properties
BEST_FIRST walk for 40003 steps (8 resets) in 570 ms. (70 steps per ms) remains 250/250 properties
BEST_FIRST walk for 40002 steps (8 resets) in 665 ms. (60 steps per ms) remains 250/250 properties
BEST_FIRST walk for 40001 steps (8 resets) in 657 ms. (60 steps per ms) remains 250/250 properties
BEST_FIRST walk for 40003 steps (8 resets) in 640 ms. (62 steps per ms) remains 239/250 properties
BEST_FIRST walk for 40004 steps (8 resets) in 558 ms. (71 steps per ms) remains 239/239 properties
BEST_FIRST walk for 40003 steps (8 resets) in 564 ms. (70 steps per ms) remains 239/239 properties
BEST_FIRST walk for 40003 steps (8 resets) in 575 ms. (69 steps per ms) remains 239/239 properties
BEST_FIRST walk for 40001 steps (8 resets) in 439 ms. (90 steps per ms) remains 239/239 properties
BEST_FIRST walk for 40004 steps (8 resets) in 550 ms. (72 steps per ms) remains 239/239 properties
BEST_FIRST walk for 40003 steps (8 resets) in 522 ms. (76 steps per ms) remains 220/239 properties
BEST_FIRST walk for 40001 steps (8 resets) in 741 ms. (53 steps per ms) remains 220/220 properties
BEST_FIRST walk for 40002 steps (8 resets) in 767 ms. (52 steps per ms) remains 216/220 properties
BEST_FIRST walk for 40003 steps (8 resets) in 508 ms. (78 steps per ms) remains 216/216 properties
BEST_FIRST walk for 40002 steps (8 resets) in 419 ms. (95 steps per ms) remains 216/216 properties
BEST_FIRST walk for 40003 steps (8 resets) in 551 ms. (72 steps per ms) remains 216/216 properties
BEST_FIRST walk for 40003 steps (8 resets) in 666 ms. (59 steps per ms) remains 216/216 properties
BEST_FIRST walk for 40001 steps (8 resets) in 679 ms. (58 steps per ms) remains 216/216 properties
BEST_FIRST walk for 40002 steps (8 resets) in 700 ms. (57 steps per ms) remains 216/216 properties
BEST_FIRST walk for 40003 steps (8 resets) in 678 ms. (58 steps per ms) remains 216/216 properties
BEST_FIRST walk for 40003 steps (8 resets) in 516 ms. (77 steps per ms) remains 216/216 properties
BEST_FIRST walk for 40001 steps (8 resets) in 526 ms. (75 steps per ms) remains 216/216 properties
BEST_FIRST walk for 40001 steps (8 resets) in 683 ms. (58 steps per ms) remains 216/216 properties
BEST_FIRST walk for 40003 steps (8 resets) in 669 ms. (59 steps per ms) remains 216/216 properties
BEST_FIRST walk for 40004 steps (8 resets) in 628 ms. (63 steps per ms) remains 210/216 properties
BEST_FIRST walk for 40003 steps (8 resets) in 628 ms. (63 steps per ms) remains 210/210 properties
BEST_FIRST walk for 40004 steps (8 resets) in 577 ms. (69 steps per ms) remains 210/210 properties
BEST_FIRST walk for 40003 steps (8 resets) in 458 ms. (87 steps per ms) remains 210/210 properties
BEST_FIRST walk for 40003 steps (8 resets) in 577 ms. (69 steps per ms) remains 210/210 properties
BEST_FIRST walk for 40002 steps (8 resets) in 643 ms. (62 steps per ms) remains 210/210 properties
BEST_FIRST walk for 40003 steps (8 resets) in 585 ms. (68 steps per ms) remains 210/210 properties
BEST_FIRST walk for 40002 steps (8 resets) in 514 ms. (77 steps per ms) remains 210/210 properties
BEST_FIRST walk for 40003 steps (8 resets) in 515 ms. (77 steps per ms) remains 210/210 properties
BEST_FIRST walk for 40004 steps (8 resets) in 596 ms. (67 steps per ms) remains 210/210 properties
BEST_FIRST walk for 40004 steps (8 resets) in 643 ms. (62 steps per ms) remains 210/210 properties
BEST_FIRST walk for 40002 steps (8 resets) in 538 ms. (74 steps per ms) remains 210/210 properties
BEST_FIRST walk for 40003 steps (8 resets) in 654 ms. (61 steps per ms) remains 210/210 properties
BEST_FIRST walk for 40001 steps (8 resets) in 642 ms. (62 steps per ms) remains 210/210 properties
BEST_FIRST walk for 40004 steps (8 resets) in 538 ms. (74 steps per ms) remains 210/210 properties
BEST_FIRST walk for 40003 steps (8 resets) in 483 ms. (82 steps per ms) remains 210/210 properties
BEST_FIRST walk for 40003 steps (8 resets) in 556 ms. (71 steps per ms) remains 210/210 properties
BEST_FIRST walk for 40002 steps (8 resets) in 562 ms. (71 steps per ms) remains 210/210 properties
BEST_FIRST walk for 40003 steps (8 resets) in 479 ms. (83 steps per ms) remains 210/210 properties
BEST_FIRST walk for 40002 steps (8 resets) in 667 ms. (59 steps per ms) remains 206/210 properties
BEST_FIRST walk for 40004 steps (8 resets) in 527 ms. (75 steps per ms) remains 206/206 properties
BEST_FIRST walk for 40003 steps (8 resets) in 633 ms. (63 steps per ms) remains 206/206 properties
BEST_FIRST walk for 40003 steps (8 resets) in 398 ms. (100 steps per ms) remains 206/206 properties
BEST_FIRST walk for 40003 steps (8 resets) in 431 ms. (92 steps per ms) remains 206/206 properties
BEST_FIRST walk for 40004 steps (8 resets) in 554 ms. (72 steps per ms) remains 204/206 properties
BEST_FIRST walk for 40001 steps (8 resets) in 637 ms. (62 steps per ms) remains 200/204 properties
BEST_FIRST walk for 40002 steps (8 resets) in 735 ms. (54 steps per ms) remains 200/200 properties
BEST_FIRST walk for 40003 steps (8 resets) in 661 ms. (60 steps per ms) remains 200/200 properties
BEST_FIRST walk for 40002 steps (8 resets) in 638 ms. (62 steps per ms) remains 200/200 properties
BEST_FIRST walk for 40004 steps (8 resets) in 582 ms. (68 steps per ms) remains 200/200 properties
BEST_FIRST walk for 40002 steps (8 resets) in 644 ms. (62 steps per ms) remains 200/200 properties
BEST_FIRST walk for 40003 steps (8 resets) in 556 ms. (71 steps per ms) remains 200/200 properties
BEST_FIRST walk for 40002 steps (8 resets) in 585 ms. (68 steps per ms) remains 200/200 properties
BEST_FIRST walk for 40002 steps (8 resets) in 536 ms. (74 steps per ms) remains 200/200 properties
BEST_FIRST walk for 40002 steps (8 resets) in 555 ms. (71 steps per ms) remains 200/200 properties
BEST_FIRST walk for 40003 steps (8 resets) in 561 ms. (71 steps per ms) remains 200/200 properties
BEST_FIRST walk for 40004 steps (8 resets) in 552 ms. (72 steps per ms) remains 192/200 properties
BEST_FIRST walk for 40003 steps (8 resets) in 421 ms. (94 steps per ms) remains 192/192 properties
BEST_FIRST walk for 40004 steps (8 resets) in 488 ms. (81 steps per ms) remains 192/192 properties
BEST_FIRST walk for 40003 steps (8 resets) in 431 ms. (92 steps per ms) remains 192/192 properties
BEST_FIRST walk for 40003 steps (8 resets) in 408 ms. (97 steps per ms) remains 192/192 properties
BEST_FIRST walk for 40004 steps (8 resets) in 574 ms. (69 steps per ms) remains 192/192 properties
BEST_FIRST walk for 40004 steps (8 resets) in 557 ms. (71 steps per ms) remains 191/192 properties
BEST_FIRST walk for 40003 steps (8 resets) in 514 ms. (77 steps per ms) remains 191/191 properties
BEST_FIRST walk for 40004 steps (8 resets) in 504 ms. (79 steps per ms) remains 191/191 properties
BEST_FIRST walk for 40003 steps (8 resets) in 520 ms. (76 steps per ms) remains 191/191 properties
BEST_FIRST walk for 40004 steps (8 resets) in 536 ms. (74 steps per ms) remains 191/191 properties
BEST_FIRST walk for 40001 steps (8 resets) in 481 ms. (82 steps per ms) remains 191/191 properties
BEST_FIRST walk for 40004 steps (8 resets) in 556 ms. (71 steps per ms) remains 191/191 properties
BEST_FIRST walk for 40003 steps (8 resets) in 504 ms. (79 steps per ms) remains 191/191 properties
BEST_FIRST walk for 40002 steps (8 resets) in 529 ms. (75 steps per ms) remains 191/191 properties
BEST_FIRST walk for 40003 steps (8 resets) in 464 ms. (86 steps per ms) remains 191/191 properties
BEST_FIRST walk for 40002 steps (8 resets) in 457 ms. (87 steps per ms) remains 191/191 properties
BEST_FIRST walk for 40003 steps (8 resets) in 580 ms. (68 steps per ms) remains 191/191 properties
BEST_FIRST walk for 40002 steps (8 resets) in 475 ms. (84 steps per ms) remains 191/191 properties
BEST_FIRST walk for 40002 steps (8 resets) in 482 ms. (82 steps per ms) remains 190/191 properties
BEST_FIRST walk for 40002 steps (8 resets) in 484 ms. (82 steps per ms) remains 190/190 properties
BEST_FIRST walk for 40002 steps (8 resets) in 464 ms. (86 steps per ms) remains 187/190 properties
BEST_FIRST walk for 40002 steps (8 resets) in 650 ms. (61 steps per ms) remains 187/187 properties
BEST_FIRST walk for 40002 steps (8 resets) in 508 ms. (78 steps per ms) remains 187/187 properties
BEST_FIRST walk for 40002 steps (8 resets) in 483 ms. (82 steps per ms) remains 187/187 properties
BEST_FIRST walk for 40004 steps (8 resets) in 515 ms. (77 steps per ms) remains 187/187 properties
BEST_FIRST walk for 40004 steps (8 resets) in 572 ms. (69 steps per ms) remains 187/187 properties
BEST_FIRST walk for 40004 steps (8 resets) in 635 ms. (62 steps per ms) remains 187/187 properties
BEST_FIRST walk for 40002 steps (8 resets) in 658 ms. (60 steps per ms) remains 187/187 properties
BEST_FIRST walk for 40003 steps (8 resets) in 607 ms. (65 steps per ms) remains 187/187 properties
BEST_FIRST walk for 40002 steps (8 resets) in 608 ms. (65 steps per ms) remains 187/187 properties
BEST_FIRST walk for 40003 steps (8 resets) in 499 ms. (80 steps per ms) remains 185/187 properties
BEST_FIRST walk for 40003 steps (8 resets) in 509 ms. (78 steps per ms) remains 185/185 properties
BEST_FIRST walk for 40003 steps (8 resets) in 584 ms. (68 steps per ms) remains 185/185 properties
BEST_FIRST walk for 40003 steps (8 resets) in 575 ms. (69 steps per ms) remains 185/185 properties
BEST_FIRST walk for 40001 steps (8 resets) in 603 ms. (66 steps per ms) remains 185/185 properties
BEST_FIRST walk for 40004 steps (8 resets) in 526 ms. (75 steps per ms) remains 185/185 properties
BEST_FIRST walk for 40002 steps (8 resets) in 507 ms. (78 steps per ms) remains 185/185 properties
BEST_FIRST walk for 40002 steps (8 resets) in 486 ms. (82 steps per ms) remains 185/185 properties
BEST_FIRST walk for 40002 steps (8 resets) in 512 ms. (77 steps per ms) remains 185/185 properties
BEST_FIRST walk for 40003 steps (8 resets) in 554 ms. (72 steps per ms) remains 185/185 properties
BEST_FIRST walk for 40003 steps (8 resets) in 559 ms. (71 steps per ms) remains 185/185 properties
BEST_FIRST walk for 40002 steps (8 resets) in 487 ms. (81 steps per ms) remains 180/185 properties
BEST_FIRST walk for 40003 steps (8 resets) in 512 ms. (77 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40003 steps (8 resets) in 353 ms. (113 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40003 steps (8 resets) in 458 ms. (87 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40002 steps (8 resets) in 358 ms. (111 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40002 steps (8 resets) in 479 ms. (83 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40001 steps (8 resets) in 663 ms. (60 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40004 steps (8 resets) in 338 ms. (118 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40001 steps (8 resets) in 548 ms. (72 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40003 steps (8 resets) in 482 ms. (82 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40004 steps (8 resets) in 554 ms. (72 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40004 steps (8 resets) in 541 ms. (73 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40003 steps (8 resets) in 537 ms. (74 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40002 steps (8 resets) in 620 ms. (64 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40001 steps (8 resets) in 736 ms. (54 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40002 steps (8 resets) in 658 ms. (60 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40004 steps (8 resets) in 650 ms. (61 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40002 steps (8 resets) in 571 ms. (69 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40003 steps (8 resets) in 405 ms. (98 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40003 steps (8 resets) in 538 ms. (74 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40003 steps (8 resets) in 663 ms. (60 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40001 steps (8 resets) in 536 ms. (74 steps per ms) remains 177/180 properties
BEST_FIRST walk for 40003 steps (8 resets) in 341 ms. (116 steps per ms) remains 177/177 properties
BEST_FIRST walk for 40001 steps (8 resets) in 471 ms. (84 steps per ms) remains 177/177 properties
BEST_FIRST walk for 40003 steps (8 resets) in 508 ms. (78 steps per ms) remains 177/177 properties
BEST_FIRST walk for 40002 steps (8 resets) in 490 ms. (81 steps per ms) remains 177/177 properties
BEST_FIRST walk for 40003 steps (8 resets) in 491 ms. (81 steps per ms) remains 177/177 properties
BEST_FIRST walk for 40002 steps (8 resets) in 497 ms. (80 steps per ms) remains 177/177 properties
BEST_FIRST walk for 40003 steps (8 resets) in 473 ms. (84 steps per ms) remains 177/177 properties
BEST_FIRST walk for 40001 steps (8 resets) in 466 ms. (85 steps per ms) remains 177/177 properties
BEST_FIRST walk for 40003 steps (8 resets) in 563 ms. (70 steps per ms) remains 177/177 properties
BEST_FIRST walk for 40003 steps (8 resets) in 507 ms. (78 steps per ms) remains 177/177 properties
BEST_FIRST walk for 40002 steps (8 resets) in 425 ms. (93 steps per ms) remains 177/177 properties
BEST_FIRST walk for 40001 steps (8 resets) in 396 ms. (100 steps per ms) remains 171/177 properties
BEST_FIRST walk for 40002 steps (8 resets) in 589 ms. (67 steps per ms) remains 156/171 properties
// Phase 1: matrix 2751 rows 414 cols
[2024-05-21 05:19:30] [INFO ] Computed 24 invariants in 14 ms
[2024-05-21 05:19:30] [INFO ] State equation strengthened by 125 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/84 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 156 unsolved
At refinement iteration 1 (OVERLAPS) 303/387 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 156 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/387 variables, 0/11 constraints. Problems are: Problem set: 0 solved, 156 unsolved
At refinement iteration 3 (OVERLAPS) 26/413 variables, 12/23 constraints. Problems are: Problem set: 0 solved, 156 unsolved
[2024-05-21 05:19:38] [INFO ] Deduced a trap composed of 154 places in 1108 ms of which 7 ms to minimize.
[2024-05-21 05:19:39] [INFO ] Deduced a trap composed of 83 places in 1072 ms of which 7 ms to minimize.
[2024-05-21 05:19:40] [INFO ] Deduced a trap composed of 98 places in 1070 ms of which 6 ms to minimize.
[2024-05-21 05:19:41] [INFO ] Deduced a trap composed of 180 places in 958 ms of which 7 ms to minimize.
[2024-05-21 05:19:43] [INFO ] Deduced a trap composed of 161 places in 1057 ms of which 7 ms to minimize.
[2024-05-21 05:19:44] [INFO ] Deduced a trap composed of 86 places in 944 ms of which 6 ms to minimize.
[2024-05-21 05:19:44] [INFO ] Deduced a trap composed of 121 places in 893 ms of which 7 ms to minimize.
[2024-05-21 05:19:46] [INFO ] Deduced a trap composed of 139 places in 1078 ms of which 6 ms to minimize.
[2024-05-21 05:19:47] [INFO ] Deduced a trap composed of 109 places in 1034 ms of which 7 ms to minimize.
[2024-05-21 05:19:48] [INFO ] Deduced a trap composed of 149 places in 907 ms of which 6 ms to minimize.
[2024-05-21 05:19:48] [INFO ] Deduced a trap composed of 129 places in 860 ms of which 6 ms to minimize.
[2024-05-21 05:19:49] [INFO ] Deduced a trap composed of 109 places in 890 ms of which 6 ms to minimize.
[2024-05-21 05:19:50] [INFO ] Deduced a trap composed of 152 places in 842 ms of which 5 ms to minimize.
[2024-05-21 05:19:51] [INFO ] Deduced a trap composed of 102 places in 811 ms of which 6 ms to minimize.
[2024-05-21 05:19:52] [INFO ] Deduced a trap composed of 135 places in 782 ms of which 5 ms to minimize.
[2024-05-21 05:19:53] [INFO ] Deduced a trap composed of 87 places in 744 ms of which 5 ms to minimize.
[2024-05-21 05:19:53] [INFO ] Deduced a trap composed of 104 places in 708 ms of which 5 ms to minimize.
[2024-05-21 05:19:54] [INFO ] Deduced a trap composed of 117 places in 674 ms of which 4 ms to minimize.
[2024-05-21 05:19:55] [INFO ] Deduced a trap composed of 155 places in 622 ms of which 4 ms to minimize.
[2024-05-21 05:19:55] [INFO ] Deduced a trap composed of 116 places in 816 ms of which 6 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/413 variables, 20/43 constraints. Problems are: Problem set: 0 solved, 156 unsolved
[2024-05-21 05:19:57] [INFO ] Deduced a trap composed of 112 places in 1027 ms of which 7 ms to minimize.
[2024-05-21 05:19:58] [INFO ] Deduced a trap composed of 143 places in 1067 ms of which 7 ms to minimize.
[2024-05-21 05:19:59] [INFO ] Deduced a trap composed of 115 places in 959 ms of which 6 ms to minimize.
[2024-05-21 05:20:00] [INFO ] Deduced a trap composed of 147 places in 1071 ms of which 7 ms to minimize.
[2024-05-21 05:20:01] [INFO ] Deduced a trap composed of 76 places in 954 ms of which 7 ms to minimize.
[2024-05-21 05:20:02] [INFO ] Deduced a trap composed of 107 places in 1038 ms of which 7 ms to minimize.
[2024-05-21 05:20:03] [INFO ] Deduced a trap composed of 135 places in 984 ms of which 6 ms to minimize.
[2024-05-21 05:20:04] [INFO ] Deduced a trap composed of 97 places in 1009 ms of which 6 ms to minimize.
[2024-05-21 05:20:06] [INFO ] Deduced a trap composed of 135 places in 1025 ms of which 6 ms to minimize.
[2024-05-21 05:20:07] [INFO ] Deduced a trap composed of 142 places in 995 ms of which 6 ms to minimize.
[2024-05-21 05:20:08] [INFO ] Deduced a trap composed of 117 places in 1039 ms of which 7 ms to minimize.
[2024-05-21 05:20:09] [INFO ] Deduced a trap composed of 94 places in 997 ms of which 6 ms to minimize.
[2024-05-21 05:20:10] [INFO ] Deduced a trap composed of 85 places in 992 ms of which 7 ms to minimize.
[2024-05-21 05:20:11] [INFO ] Deduced a trap composed of 172 places in 910 ms of which 6 ms to minimize.
[2024-05-21 05:20:12] [INFO ] Deduced a trap composed of 95 places in 1000 ms of which 7 ms to minimize.
[2024-05-21 05:20:13] [INFO ] Deduced a trap composed of 68 places in 934 ms of which 4 ms to minimize.
[2024-05-21 05:20:14] [INFO ] Deduced a trap composed of 135 places in 882 ms of which 6 ms to minimize.
[2024-05-21 05:20:14] [INFO ] Deduced a trap composed of 129 places in 963 ms of which 13 ms to minimize.
[2024-05-21 05:20:16] [INFO ] Deduced a trap composed of 145 places in 1090 ms of which 7 ms to minimize.
[2024-05-21 05:20:17] [INFO ] Deduced a trap composed of 145 places in 1055 ms of which 6 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/413 variables, 20/63 constraints. Problems are: Problem set: 0 solved, 156 unsolved
[2024-05-21 05:20:19] [INFO ] Deduced a trap composed of 64 places in 1018 ms of which 6 ms to minimize.
[2024-05-21 05:20:21] [INFO ] Deduced a trap composed of 96 places in 1057 ms of which 7 ms to minimize.
[2024-05-21 05:20:23] [INFO ] Deduced a trap composed of 87 places in 1055 ms of which 7 ms to minimize.
[2024-05-21 05:20:24] [INFO ] Deduced a trap composed of 139 places in 1075 ms of which 7 ms to minimize.
[2024-05-21 05:20:25] [INFO ] Deduced a trap composed of 149 places in 1007 ms of which 7 ms to minimize.
[2024-05-21 05:20:26] [INFO ] Deduced a trap composed of 63 places in 962 ms of which 6 ms to minimize.
[2024-05-21 05:20:27] [INFO ] Deduced a trap composed of 83 places in 1015 ms of which 6 ms to minimize.
[2024-05-21 05:20:28] [INFO ] Deduced a trap composed of 136 places in 948 ms of which 5 ms to minimize.
[2024-05-21 05:20:29] [INFO ] Deduced a trap composed of 135 places in 828 ms of which 4 ms to minimize.
[2024-05-21 05:20:29] [INFO ] Deduced a trap composed of 108 places in 704 ms of which 7 ms to minimize.
[2024-05-21 05:20:30] [INFO ] Deduced a trap composed of 129 places in 1022 ms of which 7 ms to minimize.
[2024-05-21 05:20:31] [INFO ] Deduced a trap composed of 82 places in 923 ms of which 5 ms to minimize.
[2024-05-21 05:20:32] [INFO ] Deduced a trap composed of 158 places in 857 ms of which 5 ms to minimize.
[2024-05-21 05:20:33] [INFO ] Deduced a trap composed of 84 places in 863 ms of which 4 ms to minimize.
[2024-05-21 05:20:34] [INFO ] Deduced a trap composed of 151 places in 792 ms of which 6 ms to minimize.
[2024-05-21 05:20:35] [INFO ] Deduced a trap composed of 80 places in 844 ms of which 4 ms to minimize.
[2024-05-21 05:20:36] [INFO ] Deduced a trap composed of 106 places in 755 ms of which 4 ms to minimize.
[2024-05-21 05:20:36] [INFO ] Deduced a trap composed of 53 places in 943 ms of which 6 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/413 variables, 18/81 constraints. Problems are: Problem set: 0 solved, 156 unsolved
[2024-05-21 05:20:46] [INFO ] Deduced a trap composed of 61 places in 1079 ms of which 7 ms to minimize.
SMT process timed out in 76365ms, After SMT, problems are : Problem set: 0 solved, 156 unsolved
Fused 156 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 84 out of 414 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 414/414 places, 2751/2751 transitions.
Discarding 40 places :
Symmetric choice reduction at 0 with 40 rule applications. Total rules 40 place count 374 transition count 2211
Iterating global reduction 0 with 40 rules applied. Total rules applied 80 place count 374 transition count 2211
Applied a total of 80 rules in 105 ms. Remains 374 /414 variables (removed 40) and now considering 2211/2751 (removed 540) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 105 ms. Remains : 374/414 places, 2211/2751 transitions.
RANDOM walk for 3986295 steps (8 resets) in 104877 ms. (38 steps per ms) remains 155/156 properties
BEST_FIRST walk for 40001 steps (8 resets) in 307 ms. (129 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 331 ms. (120 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40003 steps (8 resets) in 285 ms. (139 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40002 steps (8 resets) in 435 ms. (91 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40001 steps (8 resets) in 372 ms. (107 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 732 ms. (54 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40003 steps (8 resets) in 395 ms. (101 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40003 steps (8 resets) in 538 ms. (74 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40003 steps (8 resets) in 389 ms. (102 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40003 steps (8 resets) in 548 ms. (72 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 388 ms. (102 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40003 steps (8 resets) in 532 ms. (75 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40003 steps (8 resets) in 525 ms. (76 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40002 steps (8 resets) in 611 ms. (65 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40002 steps (8 resets) in 377 ms. (105 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40003 steps (8 resets) in 485 ms. (82 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 373 ms. (106 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 379 ms. (105 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40003 steps (8 resets) in 433 ms. (92 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40003 steps (8 resets) in 488 ms. (81 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40002 steps (8 resets) in 333 ms. (119 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 343 ms. (116 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40002 steps (8 resets) in 426 ms. (93 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40001 steps (8 resets) in 426 ms. (93 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40003 steps (8 resets) in 308 ms. (129 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40002 steps (8 resets) in 309 ms. (129 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40002 steps (8 resets) in 441 ms. (90 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 494 ms. (80 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40001 steps (8 resets) in 320 ms. (124 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 375 ms. (106 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40001 steps (8 resets) in 409 ms. (97 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40002 steps (8 resets) in 584 ms. (68 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40001 steps (8 resets) in 536 ms. (74 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 632 ms. (63 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40001 steps (8 resets) in 502 ms. (79 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40003 steps (8 resets) in 486 ms. (82 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40002 steps (8 resets) in 597 ms. (66 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40003 steps (8 resets) in 510 ms. (78 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40003 steps (8 resets) in 538 ms. (74 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40003 steps (8 resets) in 614 ms. (65 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40000 steps (8 resets) in 462 ms. (86 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40002 steps (8 resets) in 537 ms. (74 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 418 ms. (95 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40002 steps (8 resets) in 303 ms. (131 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40003 steps (8 resets) in 357 ms. (111 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40003 steps (8 resets) in 385 ms. (103 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40002 steps (8 resets) in 397 ms. (100 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40002 steps (8 resets) in 593 ms. (67 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 551 ms. (72 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40002 steps (8 resets) in 549 ms. (72 steps per ms) remains 155/155 properties
Interrupted probabilistic random walk after 3512898 steps, run timeout after 114001 ms. (steps per millisecond=30 ) properties seen :0 out of 155
Probabilistic random walk after 3512898 steps, saw 2457591 distinct states, run finished after 114016 ms. (steps per millisecond=30 ) properties seen :0
// Phase 1: matrix 2211 rows 374 cols
[2024-05-21 05:23:19] [INFO ] Computed 24 invariants in 12 ms
[2024-05-21 05:23:19] [INFO ] State equation strengthened by 110 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/84 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 155 unsolved
At refinement iteration 1 (OVERLAPS) 263/347 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 155 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/347 variables, 0/11 constraints. Problems are: Problem set: 0 solved, 155 unsolved
At refinement iteration 3 (OVERLAPS) 26/373 variables, 12/23 constraints. Problems are: Problem set: 0 solved, 155 unsolved
[2024-05-21 05:23:25] [INFO ] Deduced a trap composed of 73 places in 674 ms of which 4 ms to minimize.
[2024-05-21 05:23:26] [INFO ] Deduced a trap composed of 91 places in 558 ms of which 4 ms to minimize.
[2024-05-21 05:23:26] [INFO ] Deduced a trap composed of 62 places in 700 ms of which 3 ms to minimize.
[2024-05-21 05:23:27] [INFO ] Deduced a trap composed of 112 places in 564 ms of which 3 ms to minimize.
[2024-05-21 05:23:28] [INFO ] Deduced a trap composed of 140 places in 749 ms of which 6 ms to minimize.
[2024-05-21 05:23:29] [INFO ] Deduced a trap composed of 67 places in 783 ms of which 5 ms to minimize.
[2024-05-21 05:23:29] [INFO ] Deduced a trap composed of 111 places in 629 ms of which 4 ms to minimize.
[2024-05-21 05:23:30] [INFO ] Deduced a trap composed of 95 places in 628 ms of which 5 ms to minimize.
[2024-05-21 05:23:31] [INFO ] Deduced a trap composed of 53 places in 566 ms of which 4 ms to minimize.
[2024-05-21 05:23:31] [INFO ] Deduced a trap composed of 93 places in 662 ms of which 5 ms to minimize.
[2024-05-21 05:23:32] [INFO ] Deduced a trap composed of 90 places in 650 ms of which 5 ms to minimize.
[2024-05-21 05:23:33] [INFO ] Deduced a trap composed of 172 places in 717 ms of which 5 ms to minimize.
[2024-05-21 05:23:33] [INFO ] Deduced a trap composed of 121 places in 618 ms of which 3 ms to minimize.
[2024-05-21 05:23:34] [INFO ] Deduced a trap composed of 125 places in 502 ms of which 4 ms to minimize.
[2024-05-21 05:23:34] [INFO ] Deduced a trap composed of 168 places in 448 ms of which 3 ms to minimize.
[2024-05-21 05:23:35] [INFO ] Deduced a trap composed of 120 places in 518 ms of which 4 ms to minimize.
[2024-05-21 05:23:35] [INFO ] Deduced a trap composed of 63 places in 522 ms of which 4 ms to minimize.
[2024-05-21 05:23:36] [INFO ] Deduced a trap composed of 161 places in 505 ms of which 4 ms to minimize.
[2024-05-21 05:23:37] [INFO ] Deduced a trap composed of 79 places in 765 ms of which 6 ms to minimize.
[2024-05-21 05:23:37] [INFO ] Deduced a trap composed of 175 places in 626 ms of which 4 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/373 variables, 20/43 constraints. Problems are: Problem set: 0 solved, 155 unsolved
[2024-05-21 05:23:38] [INFO ] Deduced a trap composed of 133 places in 520 ms of which 4 ms to minimize.
[2024-05-21 05:23:39] [INFO ] Deduced a trap composed of 74 places in 555 ms of which 5 ms to minimize.
[2024-05-21 05:23:39] [INFO ] Deduced a trap composed of 97 places in 562 ms of which 4 ms to minimize.
[2024-05-21 05:23:40] [INFO ] Deduced a trap composed of 55 places in 524 ms of which 4 ms to minimize.
[2024-05-21 05:23:41] [INFO ] Deduced a trap composed of 83 places in 500 ms of which 3 ms to minimize.
[2024-05-21 05:23:43] [INFO ] Deduced a trap composed of 151 places in 679 ms of which 5 ms to minimize.
[2024-05-21 05:23:43] [INFO ] Deduced a trap composed of 137 places in 644 ms of which 5 ms to minimize.
[2024-05-21 05:23:44] [INFO ] Deduced a trap composed of 74 places in 556 ms of which 3 ms to minimize.
[2024-05-21 05:23:46] [INFO ] Deduced a trap composed of 155 places in 567 ms of which 4 ms to minimize.
[2024-05-21 05:23:46] [INFO ] Deduced a trap composed of 131 places in 575 ms of which 4 ms to minimize.
[2024-05-21 05:23:47] [INFO ] Deduced a trap composed of 72 places in 626 ms of which 4 ms to minimize.
[2024-05-21 05:23:48] [INFO ] Deduced a trap composed of 53 places in 561 ms of which 4 ms to minimize.
[2024-05-21 05:23:48] [INFO ] Deduced a trap composed of 166 places in 534 ms of which 4 ms to minimize.
[2024-05-21 05:23:49] [INFO ] Deduced a trap composed of 82 places in 667 ms of which 4 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/373 variables, 14/57 constraints. Problems are: Problem set: 0 solved, 155 unsolved
[2024-05-21 05:23:50] [INFO ] Deduced a trap composed of 109 places in 548 ms of which 4 ms to minimize.
[2024-05-21 05:23:51] [INFO ] Deduced a trap composed of 142 places in 556 ms of which 5 ms to minimize.
[2024-05-21 05:23:52] [INFO ] Deduced a trap composed of 70 places in 707 ms of which 5 ms to minimize.
[2024-05-21 05:23:54] [INFO ] Deduced a trap composed of 99 places in 796 ms of which 5 ms to minimize.
[2024-05-21 05:23:55] [INFO ] Deduced a trap composed of 80 places in 750 ms of which 5 ms to minimize.
[2024-05-21 05:23:55] [INFO ] Deduced a trap composed of 88 places in 682 ms of which 5 ms to minimize.
[2024-05-21 05:23:56] [INFO ] Deduced a trap composed of 133 places in 617 ms of which 5 ms to minimize.
[2024-05-21 05:23:57] [INFO ] Deduced a trap composed of 143 places in 567 ms of which 4 ms to minimize.
[2024-05-21 05:23:57] [INFO ] Deduced a trap composed of 79 places in 533 ms of which 4 ms to minimize.
[2024-05-21 05:23:58] [INFO ] Deduced a trap composed of 115 places in 668 ms of which 5 ms to minimize.
[2024-05-21 05:23:58] [INFO ] Deduced a trap composed of 44 places in 606 ms of which 4 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/373 variables, 11/68 constraints. Problems are: Problem set: 0 solved, 155 unsolved
[2024-05-21 05:24:02] [INFO ] Deduced a trap composed of 134 places in 596 ms of which 5 ms to minimize.
[2024-05-21 05:24:03] [INFO ] Deduced a trap composed of 120 places in 620 ms of which 4 ms to minimize.
[2024-05-21 05:24:04] [INFO ] Deduced a trap composed of 93 places in 644 ms of which 4 ms to minimize.
At refinement iteration 7 (INCLUDED_ONLY) 0/373 variables, 3/71 constraints. Problems are: Problem set: 0 solved, 155 unsolved
[2024-05-21 05:24:07] [INFO ] Deduced a trap composed of 48 places in 726 ms of which 4 ms to minimize.
[2024-05-21 05:24:07] [INFO ] Deduced a trap composed of 137 places in 486 ms of which 3 ms to minimize.
[2024-05-21 05:24:08] [INFO ] Deduced a trap composed of 130 places in 692 ms of which 5 ms to minimize.
[2024-05-21 05:24:09] [INFO ] Deduced a trap composed of 133 places in 612 ms of which 4 ms to minimize.
[2024-05-21 05:24:09] [INFO ] Deduced a trap composed of 144 places in 631 ms of which 4 ms to minimize.
[2024-05-21 05:24:10] [INFO ] Deduced a trap composed of 106 places in 698 ms of which 4 ms to minimize.
[2024-05-21 05:24:11] [INFO ] Deduced a trap composed of 86 places in 638 ms of which 4 ms to minimize.
[2024-05-21 05:24:11] [INFO ] Deduced a trap composed of 140 places in 563 ms of which 4 ms to minimize.
[2024-05-21 05:24:12] [INFO ] Deduced a trap composed of 80 places in 756 ms of which 6 ms to minimize.
[2024-05-21 05:24:13] [INFO ] Deduced a trap composed of 101 places in 764 ms of which 5 ms to minimize.
[2024-05-21 05:24:13] [INFO ] Deduced a trap composed of 135 places in 542 ms of which 4 ms to minimize.
[2024-05-21 05:24:14] [INFO ] Deduced a trap composed of 103 places in 649 ms of which 5 ms to minimize.
[2024-05-21 05:24:15] [INFO ] Deduced a trap composed of 111 places in 666 ms of which 4 ms to minimize.
[2024-05-21 05:24:15] [INFO ] Deduced a trap composed of 94 places in 527 ms of which 4 ms to minimize.
[2024-05-21 05:24:16] [INFO ] Deduced a trap composed of 144 places in 569 ms of which 4 ms to minimize.
[2024-05-21 05:24:16] [INFO ] Deduced a trap composed of 105 places in 656 ms of which 4 ms to minimize.
[2024-05-21 05:24:18] [INFO ] Deduced a trap composed of 104 places in 666 ms of which 4 ms to minimize.
[2024-05-21 05:24:18] [INFO ] Deduced a trap composed of 58 places in 462 ms of which 4 ms to minimize.
[2024-05-21 05:24:19] [INFO ] Deduced a trap composed of 58 places in 639 ms of which 4 ms to minimize.
At refinement iteration 8 (INCLUDED_ONLY) 0/373 variables, 19/90 constraints. Problems are: Problem set: 0 solved, 155 unsolved
[2024-05-21 05:24:23] [INFO ] Deduced a trap composed of 65 places in 762 ms of which 4 ms to minimize.
[2024-05-21 05:24:24] [INFO ] Deduced a trap composed of 101 places in 668 ms of which 4 ms to minimize.
[2024-05-21 05:24:24] [INFO ] Deduced a trap composed of 93 places in 618 ms of which 4 ms to minimize.
[2024-05-21 05:24:25] [INFO ] Deduced a trap composed of 107 places in 686 ms of which 4 ms to minimize.
[2024-05-21 05:24:26] [INFO ] Deduced a trap composed of 105 places in 606 ms of which 6 ms to minimize.
[2024-05-21 05:24:27] [INFO ] Deduced a trap composed of 89 places in 774 ms of which 5 ms to minimize.
[2024-05-21 05:24:27] [INFO ] Deduced a trap composed of 80 places in 564 ms of which 5 ms to minimize.
[2024-05-21 05:24:28] [INFO ] Deduced a trap composed of 103 places in 783 ms of which 5 ms to minimize.
[2024-05-21 05:24:31] [INFO ] Deduced a trap composed of 134 places in 595 ms of which 6 ms to minimize.
[2024-05-21 05:24:32] [INFO ] Deduced a trap composed of 142 places in 842 ms of which 5 ms to minimize.
[2024-05-21 05:24:32] [INFO ] Deduced a trap composed of 127 places in 724 ms of which 5 ms to minimize.
[2024-05-21 05:24:33] [INFO ] Deduced a trap composed of 63 places in 659 ms of which 4 ms to minimize.
[2024-05-21 05:24:34] [INFO ] Deduced a trap composed of 117 places in 672 ms of which 4 ms to minimize.
[2024-05-21 05:24:34] [INFO ] Deduced a trap composed of 97 places in 497 ms of which 3 ms to minimize.
[2024-05-21 05:24:35] [INFO ] Deduced a trap composed of 102 places in 639 ms of which 6 ms to minimize.
[2024-05-21 05:24:36] [INFO ] Deduced a trap composed of 160 places in 759 ms of which 5 ms to minimize.
[2024-05-21 05:24:36] [INFO ] Deduced a trap composed of 75 places in 694 ms of which 4 ms to minimize.
[2024-05-21 05:24:37] [INFO ] Deduced a trap composed of 95 places in 593 ms of which 4 ms to minimize.
[2024-05-21 05:24:38] [INFO ] Deduced a trap composed of 100 places in 620 ms of which 4 ms to minimize.
[2024-05-21 05:24:38] [INFO ] Deduced a trap composed of 56 places in 660 ms of which 6 ms to minimize.
At refinement iteration 9 (INCLUDED_ONLY) 0/373 variables, 20/110 constraints. Problems are: Problem set: 0 solved, 155 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/373 variables, 0/110 constraints. Problems are: Problem set: 0 solved, 155 unsolved
At refinement iteration 11 (OVERLAPS) 1/374 variables, 1/111 constraints. Problems are: Problem set: 0 solved, 155 unsolved
[2024-05-21 05:24:48] [INFO ] Deduced a trap composed of 130 places in 587 ms of which 4 ms to minimize.
[2024-05-21 05:24:49] [INFO ] Deduced a trap composed of 128 places in 729 ms of which 6 ms to minimize.
[2024-05-21 05:24:49] [INFO ] Deduced a trap composed of 96 places in 513 ms of which 3 ms to minimize.
[2024-05-21 05:24:50] [INFO ] Deduced a trap composed of 64 places in 549 ms of which 6 ms to minimize.
SMT process timed out in 90925ms, After SMT, problems are : Problem set: 0 solved, 155 unsolved
Fused 155 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 84 out of 374 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 374/374 places, 2211/2211 transitions.
Applied a total of 0 rules in 55 ms. Remains 374 /374 variables (removed 0) and now considering 2211/2211 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 56 ms. Remains : 374/374 places, 2211/2211 transitions.
RANDOM walk for 4000000 steps (8 resets) in 63024 ms. (63 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40002 steps (8 resets) in 178 ms. (223 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 177 ms. (224 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 178 ms. (223 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40002 steps (8 resets) in 232 ms. (171 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 217 ms. (183 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40003 steps (8 resets) in 251 ms. (158 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40003 steps (8 resets) in 247 ms. (161 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40003 steps (8 resets) in 243 ms. (163 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40002 steps (8 resets) in 227 ms. (175 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40002 steps (8 resets) in 248 ms. (160 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 232 ms. (171 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40002 steps (8 resets) in 234 ms. (170 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40002 steps (8 resets) in 241 ms. (165 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40003 steps (8 resets) in 231 ms. (172 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40002 steps (8 resets) in 332 ms. (120 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40001 steps (8 resets) in 336 ms. (118 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40003 steps (8 resets) in 325 ms. (122 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40003 steps (8 resets) in 484 ms. (82 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40001 steps (8 resets) in 591 ms. (67 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 411 ms. (97 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 430 ms. (92 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40002 steps (8 resets) in 400 ms. (99 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 444 ms. (89 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40002 steps (8 resets) in 353 ms. (113 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40003 steps (8 resets) in 248 ms. (160 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40003 steps (8 resets) in 257 ms. (155 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40002 steps (8 resets) in 335 ms. (119 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 396 ms. (100 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 501 ms. (79 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40003 steps (8 resets) in 354 ms. (112 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40001 steps (8 resets) in 355 ms. (112 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40003 steps (8 resets) in 385 ms. (103 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 413 ms. (96 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40001 steps (8 resets) in 376 ms. (106 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40002 steps (8 resets) in 335 ms. (119 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40004 steps (8 resets) in 392 ms. (101 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40001 steps (8 resets) in 333 ms. (119 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40003 steps (8 resets) in 410 ms. (97 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40002 steps (8 resets) in 331 ms. (120 steps per ms) remains 155/155 properties
BEST_FIRST walk for 40002 steps (8 resets) in 309 ms. (129 steps per ms) remains 153/155 properties
BEST_FIRST walk for 40002 steps (8 resets) in 330 ms. (120 steps per ms) remains 153/153 properties
BEST_FIRST walk for 40004 steps (8 resets) in 361 ms. (110 steps per ms) remains 153/153 properties
BEST_FIRST walk for 40002 steps (8 resets) in 327 ms. (121 steps per ms) remains 153/153 properties
BEST_FIRST walk for 40004 steps (8 resets) in 252 ms. (158 steps per ms) remains 153/153 properties
BEST_FIRST walk for 40003 steps (8 resets) in 489 ms. (81 steps per ms) remains 153/153 properties
BEST_FIRST walk for 40004 steps (8 resets) in 292 ms. (136 steps per ms) remains 153/153 properties
BEST_FIRST walk for 40002 steps (8 resets) in 346 ms. (115 steps per ms) remains 153/153 properties
BEST_FIRST walk for 40000 steps (8 resets) in 326 ms. (122 steps per ms) remains 153/153 properties
BEST_FIRST walk for 40001 steps (8 resets) in 322 ms. (123 steps per ms) remains 153/153 properties
BEST_FIRST walk for 40002 steps (8 resets) in 328 ms. (121 steps per ms) remains 153/153 properties
BEST_FIRST walk for 40002 steps (8 resets) in 358 ms. (111 steps per ms) remains 153/153 properties
BEST_FIRST walk for 40001 steps (8 resets) in 318 ms. (125 steps per ms) remains 153/153 properties
BEST_FIRST walk for 40003 steps (8 resets) in 401 ms. (99 steps per ms) remains 153/153 properties
BEST_FIRST walk for 40004 steps (8 resets) in 526 ms. (75 steps per ms) remains 153/153 properties
BEST_FIRST walk for 40002 steps (8 resets) in 326 ms. (122 steps per ms) remains 153/153 properties
BEST_FIRST walk for 40003 steps (8 resets) in 246 ms. (161 steps per ms) remains 153/153 properties
BEST_FIRST walk for 40002 steps (8 resets) in 361 ms. (110 steps per ms) remains 153/153 properties
BEST_FIRST walk for 40003 steps (8 resets) in 353 ms. (113 steps per ms) remains 150/153 properties
BEST_FIRST walk for 40003 steps (8 resets) in 451 ms. (88 steps per ms) remains 150/150 properties
BEST_FIRST walk for 40003 steps (8 resets) in 458 ms. (87 steps per ms) remains 150/150 properties
BEST_FIRST walk for 40002 steps (8 resets) in 370 ms. (107 steps per ms) remains 150/150 properties
BEST_FIRST walk for 40003 steps (8 resets) in 427 ms. (93 steps per ms) remains 150/150 properties
BEST_FIRST walk for 40002 steps (8 resets) in 370 ms. (107 steps per ms) remains 150/150 properties
BEST_FIRST walk for 40002 steps (8 resets) in 319 ms. (125 steps per ms) remains 150/150 properties
BEST_FIRST walk for 40004 steps (8 resets) in 303 ms. (131 steps per ms) remains 150/150 properties
BEST_FIRST walk for 40003 steps (8 resets) in 352 ms. (113 steps per ms) remains 150/150 properties
BEST_FIRST walk for 40003 steps (8 resets) in 438 ms. (91 steps per ms) remains 150/150 properties
BEST_FIRST walk for 40004 steps (8 resets) in 364 ms. (109 steps per ms) remains 150/150 properties
BEST_FIRST walk for 40004 steps (8 resets) in 431 ms. (92 steps per ms) remains 150/150 properties
BEST_FIRST walk for 40002 steps (8 resets) in 375 ms. (106 steps per ms) remains 147/150 properties
BEST_FIRST walk for 40003 steps (8 resets) in 464 ms. (86 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 421 ms. (94 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 420 ms. (95 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 483 ms. (82 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 445 ms. (89 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 471 ms. (84 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 411 ms. (97 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 344 ms. (115 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 332 ms. (120 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 430 ms. (92 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 397 ms. (100 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 426 ms. (93 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 447 ms. (89 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 446 ms. (89 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 493 ms. (80 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 353 ms. (113 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 526 ms. (75 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 376 ms. (106 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 266 ms. (149 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 352 ms. (113 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 351 ms. (113 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 362 ms. (110 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40001 steps (8 resets) in 551 ms. (72 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 448 ms. (89 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 451 ms. (88 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 431 ms. (92 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 467 ms. (85 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 370 ms. (107 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 350 ms. (113 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 450 ms. (88 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 409 ms. (97 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 362 ms. (110 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 377 ms. (105 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 423 ms. (94 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 460 ms. (86 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 338 ms. (118 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 299 ms. (133 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 292 ms. (136 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 280 ms. (142 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 483 ms. (82 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40000 steps (8 resets) in 338 ms. (117 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 302 ms. (132 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 337 ms. (118 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 411 ms. (97 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 385 ms. (103 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 355 ms. (112 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 401 ms. (99 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 387 ms. (103 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 466 ms. (85 steps per ms) remains 147/147 properties
Interrupted probabilistic random walk after 3059971 steps, run timeout after 99001 ms. (steps per millisecond=30 ) properties seen :0 out of 147
Probabilistic random walk after 3059971 steps, saw 2149246 distinct states, run finished after 99005 ms. (steps per millisecond=30 ) properties seen :0
[2024-05-21 05:27:02] [INFO ] Invariant cache hit.
[2024-05-21 05:27:02] [INFO ] State equation strengthened by 110 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/81 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 147 unsolved
At refinement iteration 1 (OVERLAPS) 265/346 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 147 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/346 variables, 0/11 constraints. Problems are: Problem set: 0 solved, 147 unsolved
At refinement iteration 3 (OVERLAPS) 27/373 variables, 12/23 constraints. Problems are: Problem set: 0 solved, 147 unsolved
[2024-05-21 05:27:09] [INFO ] Deduced a trap composed of 114 places in 892 ms of which 6 ms to minimize.
[2024-05-21 05:27:10] [INFO ] Deduced a trap composed of 113 places in 875 ms of which 6 ms to minimize.
[2024-05-21 05:27:11] [INFO ] Deduced a trap composed of 131 places in 839 ms of which 6 ms to minimize.
[2024-05-21 05:27:12] [INFO ] Deduced a trap composed of 121 places in 775 ms of which 6 ms to minimize.
[2024-05-21 05:27:13] [INFO ] Deduced a trap composed of 91 places in 759 ms of which 5 ms to minimize.
[2024-05-21 05:27:14] [INFO ] Deduced a trap composed of 108 places in 817 ms of which 7 ms to minimize.
[2024-05-21 05:27:14] [INFO ] Deduced a trap composed of 112 places in 858 ms of which 6 ms to minimize.
[2024-05-21 05:27:15] [INFO ] Deduced a trap composed of 61 places in 876 ms of which 6 ms to minimize.
[2024-05-21 05:27:16] [INFO ] Deduced a trap composed of 70 places in 865 ms of which 6 ms to minimize.
[2024-05-21 05:27:19] [INFO ] Deduced a trap composed of 133 places in 879 ms of which 6 ms to minimize.
[2024-05-21 05:27:20] [INFO ] Deduced a trap composed of 109 places in 848 ms of which 5 ms to minimize.
[2024-05-21 05:27:22] [INFO ] Deduced a trap composed of 66 places in 862 ms of which 6 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/373 variables, 12/35 constraints. Problems are: Problem set: 0 solved, 147 unsolved
[2024-05-21 05:27:25] [INFO ] Deduced a trap composed of 89 places in 816 ms of which 6 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/373 variables, 1/36 constraints. Problems are: Problem set: 0 solved, 147 unsolved
[2024-05-21 05:27:28] [INFO ] Deduced a trap composed of 122 places in 661 ms of which 6 ms to minimize.
[2024-05-21 05:27:29] [INFO ] Deduced a trap composed of 77 places in 647 ms of which 5 ms to minimize.
[2024-05-21 05:27:30] [INFO ] Deduced a trap composed of 77 places in 763 ms of which 5 ms to minimize.
[2024-05-21 05:27:30] [INFO ] Deduced a trap composed of 75 places in 782 ms of which 6 ms to minimize.
[2024-05-21 05:27:31] [INFO ] Deduced a trap composed of 92 places in 823 ms of which 6 ms to minimize.
[2024-05-21 05:27:32] [INFO ] Deduced a trap composed of 129 places in 884 ms of which 6 ms to minimize.
[2024-05-21 05:27:33] [INFO ] Deduced a trap composed of 59 places in 857 ms of which 6 ms to minimize.
[2024-05-21 05:27:34] [INFO ] Deduced a trap composed of 51 places in 865 ms of which 5 ms to minimize.
[2024-05-21 05:27:35] [INFO ] Deduced a trap composed of 104 places in 883 ms of which 6 ms to minimize.
[2024-05-21 05:27:36] [INFO ] Deduced a trap composed of 96 places in 888 ms of which 6 ms to minimize.
[2024-05-21 05:27:37] [INFO ] Deduced a trap composed of 143 places in 885 ms of which 6 ms to minimize.
[2024-05-21 05:27:38] [INFO ] Deduced a trap composed of 138 places in 884 ms of which 6 ms to minimize.
[2024-05-21 05:27:39] [INFO ] Deduced a trap composed of 76 places in 907 ms of which 6 ms to minimize.
[2024-05-21 05:27:39] [INFO ] Deduced a trap composed of 173 places in 894 ms of which 6 ms to minimize.
[2024-05-21 05:27:40] [INFO ] Deduced a trap composed of 157 places in 842 ms of which 6 ms to minimize.
[2024-05-21 05:27:41] [INFO ] Deduced a trap composed of 140 places in 900 ms of which 6 ms to minimize.
[2024-05-21 05:27:42] [INFO ] Deduced a trap composed of 167 places in 832 ms of which 5 ms to minimize.
[2024-05-21 05:27:43] [INFO ] Deduced a trap composed of 158 places in 824 ms of which 6 ms to minimize.
[2024-05-21 05:27:44] [INFO ] Deduced a trap composed of 48 places in 856 ms of which 6 ms to minimize.
[2024-05-21 05:27:45] [INFO ] Deduced a trap composed of 66 places in 876 ms of which 6 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/373 variables, 20/56 constraints. Problems are: Problem set: 0 solved, 147 unsolved
[2024-05-21 05:27:49] [INFO ] Deduced a trap composed of 50 places in 855 ms of which 6 ms to minimize.
[2024-05-21 05:27:50] [INFO ] Deduced a trap composed of 106 places in 872 ms of which 6 ms to minimize.
[2024-05-21 05:27:51] [INFO ] Deduced a trap composed of 61 places in 868 ms of which 6 ms to minimize.
[2024-05-21 05:27:52] [INFO ] Deduced a trap composed of 98 places in 773 ms of which 5 ms to minimize.
[2024-05-21 05:27:53] [INFO ] Deduced a trap composed of 76 places in 841 ms of which 6 ms to minimize.
[2024-05-21 05:27:53] [INFO ] Deduced a trap composed of 113 places in 825 ms of which 6 ms to minimize.
[2024-05-21 05:27:54] [INFO ] Deduced a trap composed of 116 places in 697 ms of which 4 ms to minimize.
[2024-05-21 05:27:55] [INFO ] Deduced a trap composed of 164 places in 707 ms of which 6 ms to minimize.
[2024-05-21 05:27:56] [INFO ] Deduced a trap composed of 130 places in 830 ms of which 6 ms to minimize.
[2024-05-21 05:27:57] [INFO ] Deduced a trap composed of 112 places in 773 ms of which 6 ms to minimize.
[2024-05-21 05:27:58] [INFO ] Deduced a trap composed of 159 places in 848 ms of which 6 ms to minimize.
[2024-05-21 05:27:58] [INFO ] Deduced a trap composed of 81 places in 843 ms of which 6 ms to minimize.
[2024-05-21 05:27:59] [INFO ] Deduced a trap composed of 127 places in 788 ms of which 6 ms to minimize.
[2024-05-21 05:28:00] [INFO ] Deduced a trap composed of 59 places in 852 ms of which 6 ms to minimize.
[2024-05-21 05:28:01] [INFO ] Deduced a trap composed of 74 places in 866 ms of which 6 ms to minimize.
[2024-05-21 05:28:02] [INFO ] Deduced a trap composed of 79 places in 841 ms of which 5 ms to minimize.
[2024-05-21 05:28:03] [INFO ] Deduced a trap composed of 73 places in 725 ms of which 4 ms to minimize.
[2024-05-21 05:28:03] [INFO ] Deduced a trap composed of 60 places in 687 ms of which 4 ms to minimize.
[2024-05-21 05:28:04] [INFO ] Deduced a trap composed of 102 places in 700 ms of which 4 ms to minimize.
[2024-05-21 05:28:05] [INFO ] Deduced a trap composed of 138 places in 700 ms of which 3 ms to minimize.
At refinement iteration 7 (INCLUDED_ONLY) 0/373 variables, 20/76 constraints. Problems are: Problem set: 0 solved, 147 unsolved
[2024-05-21 05:28:07] [INFO ] Deduced a trap composed of 82 places in 826 ms of which 6 ms to minimize.
[2024-05-21 05:28:09] [INFO ] Deduced a trap composed of 53 places in 882 ms of which 7 ms to minimize.
[2024-05-21 05:28:10] [INFO ] Deduced a trap composed of 52 places in 883 ms of which 6 ms to minimize.
[2024-05-21 05:28:11] [INFO ] Deduced a trap composed of 127 places in 783 ms of which 6 ms to minimize.
[2024-05-21 05:28:11] [INFO ] Deduced a trap composed of 85 places in 854 ms of which 6 ms to minimize.
[2024-05-21 05:28:12] [INFO ] Deduced a trap composed of 92 places in 784 ms of which 6 ms to minimize.
[2024-05-21 05:28:13] [INFO ] Deduced a trap composed of 96 places in 837 ms of which 8 ms to minimize.
[2024-05-21 05:28:14] [INFO ] Deduced a trap composed of 131 places in 814 ms of which 6 ms to minimize.
[2024-05-21 05:28:15] [INFO ] Deduced a trap composed of 144 places in 729 ms of which 5 ms to minimize.
[2024-05-21 05:28:16] [INFO ] Deduced a trap composed of 142 places in 837 ms of which 6 ms to minimize.
[2024-05-21 05:28:17] [INFO ] Deduced a trap composed of 135 places in 762 ms of which 6 ms to minimize.
[2024-05-21 05:28:18] [INFO ] Deduced a trap composed of 124 places in 843 ms of which 6 ms to minimize.
[2024-05-21 05:28:19] [INFO ] Deduced a trap composed of 87 places in 865 ms of which 6 ms to minimize.
[2024-05-21 05:28:20] [INFO ] Deduced a trap composed of 213 places in 852 ms of which 6 ms to minimize.
[2024-05-21 05:28:21] [INFO ] Deduced a trap composed of 72 places in 819 ms of which 6 ms to minimize.
[2024-05-21 05:28:22] [INFO ] Deduced a trap composed of 157 places in 867 ms of which 6 ms to minimize.
[2024-05-21 05:28:23] [INFO ] Deduced a trap composed of 167 places in 852 ms of which 6 ms to minimize.
[2024-05-21 05:28:23] [INFO ] Deduced a trap composed of 100 places in 726 ms of which 5 ms to minimize.
[2024-05-21 05:28:24] [INFO ] Deduced a trap composed of 63 places in 676 ms of which 5 ms to minimize.
[2024-05-21 05:28:25] [INFO ] Deduced a trap composed of 123 places in 658 ms of which 4 ms to minimize.
At refinement iteration 8 (INCLUDED_ONLY) 0/373 variables, 20/96 constraints. Problems are: Problem set: 0 solved, 147 unsolved
[2024-05-21 05:28:27] [INFO ] Deduced a trap composed of 61 places in 633 ms of which 4 ms to minimize.
[2024-05-21 05:28:28] [INFO ] Deduced a trap composed of 91 places in 694 ms of which 4 ms to minimize.
[2024-05-21 05:28:29] [INFO ] Deduced a trap composed of 57 places in 778 ms of which 5 ms to minimize.
[2024-05-21 05:28:30] [INFO ] Deduced a trap composed of 79 places in 523 ms of which 4 ms to minimize.
[2024-05-21 05:28:31] [INFO ] Deduced a trap composed of 70 places in 527 ms of which 3 ms to minimize.
[2024-05-21 05:28:32] [INFO ] Deduced a trap composed of 59 places in 518 ms of which 3 ms to minimize.
[2024-05-21 05:28:32] [INFO ] Deduced a trap composed of 53 places in 516 ms of which 3 ms to minimize.
[2024-05-21 05:28:33] [INFO ] Deduced a trap composed of 132 places in 675 ms of which 6 ms to minimize.
[2024-05-21 05:28:33] [INFO ] Deduced a trap composed of 59 places in 529 ms of which 4 ms to minimize.
At refinement iteration 9 (INCLUDED_ONLY) 0/373 variables, 9/105 constraints. Problems are: Problem set: 0 solved, 147 unsolved
[2024-05-21 05:28:42] [INFO ] Deduced a trap composed of 91 places in 732 ms of which 6 ms to minimize.
[2024-05-21 05:28:43] [INFO ] Deduced a trap composed of 65 places in 725 ms of which 5 ms to minimize.
[2024-05-21 05:28:44] [INFO ] Deduced a trap composed of 95 places in 868 ms of which 6 ms to minimize.
[2024-05-21 05:28:44] [INFO ] Deduced a trap composed of 83 places in 786 ms of which 6 ms to minimize.
[2024-05-21 05:28:45] [INFO ] Deduced a trap composed of 78 places in 888 ms of which 6 ms to minimize.
[2024-05-21 05:28:46] [INFO ] Deduced a trap composed of 64 places in 865 ms of which 6 ms to minimize.
[2024-05-21 05:28:47] [INFO ] Deduced a trap composed of 118 places in 810 ms of which 5 ms to minimize.
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 373/2585 variables, and 112 constraints, problems are : Problem set: 0 solved, 147 unsolved in 105021 ms.
Refiners :[Positive P Invariants (semi-flows): 11/12 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 0/374 constraints, ReadFeed: 0/110 constraints, PredecessorRefiner: 147/147 constraints, Known Traps: 89/89 constraints]
Escalating to Integer solving :Problem set: 0 solved, 147 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/81 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 147 unsolved
At refinement iteration 1 (OVERLAPS) 265/346 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 147 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/346 variables, 0/11 constraints. Problems are: Problem set: 0 solved, 147 unsolved
At refinement iteration 3 (OVERLAPS) 27/373 variables, 12/23 constraints. Problems are: Problem set: 0 solved, 147 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/373 variables, 89/112 constraints. Problems are: Problem set: 0 solved, 147 unsolved
[2024-05-21 05:28:55] [INFO ] Deduced a trap composed of 68 places in 685 ms of which 6 ms to minimize.
[2024-05-21 05:28:56] [INFO ] Deduced a trap composed of 54 places in 529 ms of which 3 ms to minimize.
[2024-05-21 05:28:57] [INFO ] Deduced a trap composed of 113 places in 455 ms of which 4 ms to minimize.
[2024-05-21 05:28:58] [INFO ] Deduced a trap composed of 122 places in 739 ms of which 5 ms to minimize.
[2024-05-21 05:28:58] [INFO ] Deduced a trap composed of 72 places in 708 ms of which 6 ms to minimize.
[2024-05-21 05:28:59] [INFO ] Deduced a trap composed of 137 places in 700 ms of which 4 ms to minimize.
[2024-05-21 05:29:00] [INFO ] Deduced a trap composed of 129 places in 834 ms of which 6 ms to minimize.
[2024-05-21 05:29:01] [INFO ] Deduced a trap composed of 130 places in 672 ms of which 4 ms to minimize.
[2024-05-21 05:29:02] [INFO ] Deduced a trap composed of 126 places in 705 ms of which 5 ms to minimize.
[2024-05-21 05:29:02] [INFO ] Deduced a trap composed of 107 places in 652 ms of which 5 ms to minimize.
[2024-05-21 05:29:03] [INFO ] Deduced a trap composed of 87 places in 648 ms of which 4 ms to minimize.
[2024-05-21 05:29:04] [INFO ] Deduced a trap composed of 82 places in 788 ms of which 5 ms to minimize.
[2024-05-21 05:29:04] [INFO ] Deduced a trap composed of 86 places in 673 ms of which 4 ms to minimize.
[2024-05-21 05:29:05] [INFO ] Deduced a trap composed of 125 places in 678 ms of which 4 ms to minimize.
[2024-05-21 05:29:06] [INFO ] Deduced a trap composed of 121 places in 911 ms of which 6 ms to minimize.
[2024-05-21 05:29:07] [INFO ] Deduced a trap composed of 141 places in 854 ms of which 6 ms to minimize.
[2024-05-21 05:29:08] [INFO ] Deduced a trap composed of 146 places in 843 ms of which 6 ms to minimize.
[2024-05-21 05:29:09] [INFO ] Deduced a trap composed of 99 places in 839 ms of which 6 ms to minimize.
[2024-05-21 05:29:10] [INFO ] Deduced a trap composed of 83 places in 834 ms of which 5 ms to minimize.
[2024-05-21 05:29:11] [INFO ] Deduced a trap composed of 89 places in 802 ms of which 8 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/373 variables, 20/132 constraints. Problems are: Problem set: 0 solved, 147 unsolved
[2024-05-21 05:29:17] [INFO ] Deduced a trap composed of 139 places in 543 ms of which 4 ms to minimize.
[2024-05-21 05:29:17] [INFO ] Deduced a trap composed of 94 places in 496 ms of which 3 ms to minimize.
[2024-05-21 05:29:18] [INFO ] Deduced a trap composed of 63 places in 705 ms of which 5 ms to minimize.
[2024-05-21 05:29:20] [INFO ] Deduced a trap composed of 110 places in 726 ms of which 6 ms to minimize.
[2024-05-21 05:29:21] [INFO ] Deduced a trap composed of 69 places in 531 ms of which 5 ms to minimize.
[2024-05-21 05:29:22] [INFO ] Deduced a trap composed of 92 places in 872 ms of which 6 ms to minimize.
[2024-05-21 05:29:23] [INFO ] Deduced a trap composed of 62 places in 683 ms of which 4 ms to minimize.
[2024-05-21 05:29:24] [INFO ] Deduced a trap composed of 46 places in 628 ms of which 4 ms to minimize.
[2024-05-21 05:29:26] [INFO ] Deduced a trap composed of 65 places in 578 ms of which 4 ms to minimize.
[2024-05-21 05:29:26] [INFO ] Deduced a trap composed of 66 places in 578 ms of which 4 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/373 variables, 10/142 constraints. Problems are: Problem set: 0 solved, 147 unsolved
[2024-05-21 05:29:33] [INFO ] Deduced a trap composed of 172 places in 556 ms of which 4 ms to minimize.
[2024-05-21 05:29:34] [INFO ] Deduced a trap composed of 151 places in 510 ms of which 4 ms to minimize.
[2024-05-21 05:29:34] [INFO ] Deduced a trap composed of 69 places in 594 ms of which 4 ms to minimize.
[2024-05-21 05:29:35] [INFO ] Deduced a trap composed of 83 places in 547 ms of which 4 ms to minimize.
At refinement iteration 7 (INCLUDED_ONLY) 0/373 variables, 4/146 constraints. Problems are: Problem set: 0 solved, 147 unsolved
[2024-05-21 05:29:54] [INFO ] Deduced a trap composed of 65 places in 569 ms of which 6 ms to minimize.
[2024-05-21 05:29:54] [INFO ] Deduced a trap composed of 92 places in 750 ms of which 5 ms to minimize.
At refinement iteration 8 (INCLUDED_ONLY) 0/373 variables, 2/148 constraints. Problems are: Problem set: 0 solved, 147 unsolved
[2024-05-21 05:30:04] [INFO ] Deduced a trap composed of 170 places in 724 ms of which 5 ms to minimize.
[2024-05-21 05:30:05] [INFO ] Deduced a trap composed of 166 places in 743 ms of which 5 ms to minimize.
[2024-05-21 05:30:05] [INFO ] Deduced a trap composed of 74 places in 607 ms of which 4 ms to minimize.
[2024-05-21 05:30:06] [INFO ] Deduced a trap composed of 77 places in 565 ms of which 4 ms to minimize.
At refinement iteration 9 (INCLUDED_ONLY) 0/373 variables, 4/152 constraints. Problems are: Problem set: 0 solved, 147 unsolved
[2024-05-21 05:30:13] [INFO ] Deduced a trap composed of 93 places in 613 ms of which 4 ms to minimize.
[2024-05-21 05:30:14] [INFO ] Deduced a trap composed of 82 places in 786 ms of which 5 ms to minimize.
[2024-05-21 05:30:14] [INFO ] Deduced a trap composed of 105 places in 784 ms of which 4 ms to minimize.
[2024-05-21 05:30:15] [INFO ] Deduced a trap composed of 75 places in 669 ms of which 6 ms to minimize.
[2024-05-21 05:30:16] [INFO ] Deduced a trap composed of 92 places in 790 ms of which 6 ms to minimize.
[2024-05-21 05:30:17] [INFO ] Deduced a trap composed of 83 places in 695 ms of which 4 ms to minimize.
[2024-05-21 05:30:23] [INFO ] Deduced a trap composed of 75 places in 569 ms of which 4 ms to minimize.
[2024-05-21 05:30:24] [INFO ] Deduced a trap composed of 50 places in 575 ms of which 4 ms to minimize.
At refinement iteration 10 (INCLUDED_ONLY) 0/373 variables, 8/160 constraints. Problems are: Problem set: 0 solved, 147 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 373/2585 variables, and 160 constraints, problems are : Problem set: 0 solved, 147 unsolved in 105029 ms.
Refiners :[Positive P Invariants (semi-flows): 11/12 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 0/374 constraints, ReadFeed: 0/110 constraints, PredecessorRefiner: 0/147 constraints, Known Traps: 137/137 constraints]
After SMT, in 210722ms problems are : Problem set: 0 solved, 147 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 81 out of 374 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 374/374 places, 2211/2211 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 373 transition count 2190
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 373 transition count 2190
Applied a total of 2 rules in 69 ms. Remains 373 /374 variables (removed 1) and now considering 2190/2211 (removed 21) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 71 ms. Remains : 373/374 places, 2190/2211 transitions.
RANDOM walk for 4000000 steps (8 resets) in 62326 ms. (64 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 344 ms. (115 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 487 ms. (81 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 527 ms. (75 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 596 ms. (67 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 627 ms. (63 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 581 ms. (68 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 532 ms. (75 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 552 ms. (72 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 804 ms. (49 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 659 ms. (60 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 866 ms. (46 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 806 ms. (49 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 485 ms. (82 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 585 ms. (68 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40001 steps (8 resets) in 579 ms. (68 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 730 ms. (54 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 611 ms. (65 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 696 ms. (57 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 570 ms. (70 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 884 ms. (45 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 576 ms. (69 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 584 ms. (68 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 531 ms. (75 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 448 ms. (89 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40001 steps (8 resets) in 415 ms. (96 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 568 ms. (70 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 897 ms. (44 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 707 ms. (56 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 440 ms. (90 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40000 steps (8 resets) in 524 ms. (76 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 704 ms. (56 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 849 ms. (47 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40001 steps (8 resets) in 704 ms. (56 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 619 ms. (64 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 680 ms. (58 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40001 steps (8 resets) in 520 ms. (76 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 625 ms. (63 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40000 steps (8 resets) in 514 ms. (77 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 551 ms. (72 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 626 ms. (63 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 700 ms. (57 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 571 ms. (69 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 381 ms. (104 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 647 ms. (61 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 635 ms. (62 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 584 ms. (68 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 646 ms. (61 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 614 ms. (65 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 621 ms. (64 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 534 ms. (74 steps per ms) remains 147/147 properties
Interrupted probabilistic random walk after 2373787 steps, run timeout after 84001 ms. (steps per millisecond=28 ) properties seen :0 out of 147
Probabilistic random walk after 2373787 steps, saw 1688100 distinct states, run finished after 84002 ms. (steps per millisecond=28 ) properties seen :0
// Phase 1: matrix 2190 rows 373 cols
[2024-05-21 05:32:25] [INFO ] Computed 24 invariants in 25 ms
[2024-05-21 05:32:25] [INFO ] State equation strengthened by 110 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/81 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 147 unsolved
At refinement iteration 1 (OVERLAPS) 264/345 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 147 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/345 variables, 0/11 constraints. Problems are: Problem set: 0 solved, 147 unsolved
At refinement iteration 3 (OVERLAPS) 27/372 variables, 12/23 constraints. Problems are: Problem set: 0 solved, 147 unsolved
[2024-05-21 05:32:33] [INFO ] Deduced a trap composed of 159 places in 887 ms of which 6 ms to minimize.
[2024-05-21 05:32:34] [INFO ] Deduced a trap composed of 122 places in 778 ms of which 5 ms to minimize.
[2024-05-21 05:32:35] [INFO ] Deduced a trap composed of 56 places in 770 ms of which 6 ms to minimize.
[2024-05-21 05:32:35] [INFO ] Deduced a trap composed of 150 places in 800 ms of which 6 ms to minimize.
[2024-05-21 05:32:36] [INFO ] Deduced a trap composed of 144 places in 784 ms of which 6 ms to minimize.
[2024-05-21 05:32:37] [INFO ] Deduced a trap composed of 53 places in 901 ms of which 6 ms to minimize.
[2024-05-21 05:32:39] [INFO ] Deduced a trap composed of 95 places in 890 ms of which 6 ms to minimize.
[2024-05-21 05:32:40] [INFO ] Deduced a trap composed of 120 places in 854 ms of which 6 ms to minimize.
[2024-05-21 05:32:41] [INFO ] Deduced a trap composed of 129 places in 841 ms of which 5 ms to minimize.
[2024-05-21 05:32:41] [INFO ] Deduced a trap composed of 97 places in 703 ms of which 6 ms to minimize.
[2024-05-21 05:32:42] [INFO ] Deduced a trap composed of 107 places in 899 ms of which 7 ms to minimize.
[2024-05-21 05:32:43] [INFO ] Deduced a trap composed of 114 places in 851 ms of which 6 ms to minimize.
[2024-05-21 05:32:44] [INFO ] Deduced a trap composed of 155 places in 848 ms of which 6 ms to minimize.
[2024-05-21 05:32:45] [INFO ] Deduced a trap composed of 130 places in 878 ms of which 6 ms to minimize.
[2024-05-21 05:32:46] [INFO ] Deduced a trap composed of 174 places in 841 ms of which 6 ms to minimize.
[2024-05-21 05:32:47] [INFO ] Deduced a trap composed of 166 places in 844 ms of which 6 ms to minimize.
[2024-05-21 05:32:47] [INFO ] Deduced a trap composed of 192 places in 577 ms of which 3 ms to minimize.
[2024-05-21 05:32:48] [INFO ] Deduced a trap composed of 47 places in 714 ms of which 4 ms to minimize.
[2024-05-21 05:32:49] [INFO ] Deduced a trap composed of 88 places in 834 ms of which 5 ms to minimize.
[2024-05-21 05:32:50] [INFO ] Deduced a trap composed of 109 places in 721 ms of which 4 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/372 variables, 20/43 constraints. Problems are: Problem set: 0 solved, 147 unsolved
[2024-05-21 05:32:52] [INFO ] Deduced a trap composed of 228 places in 807 ms of which 6 ms to minimize.
[2024-05-21 05:32:53] [INFO ] Deduced a trap composed of 107 places in 781 ms of which 6 ms to minimize.
[2024-05-21 05:32:54] [INFO ] Deduced a trap composed of 121 places in 852 ms of which 6 ms to minimize.
[2024-05-21 05:32:55] [INFO ] Deduced a trap composed of 72 places in 869 ms of which 6 ms to minimize.
[2024-05-21 05:32:56] [INFO ] Deduced a trap composed of 94 places in 790 ms of which 5 ms to minimize.
[2024-05-21 05:32:57] [INFO ] Deduced a trap composed of 137 places in 758 ms of which 5 ms to minimize.
[2024-05-21 05:32:57] [INFO ] Deduced a trap composed of 122 places in 797 ms of which 5 ms to minimize.
[2024-05-21 05:32:58] [INFO ] Deduced a trap composed of 136 places in 835 ms of which 6 ms to minimize.
[2024-05-21 05:32:59] [INFO ] Deduced a trap composed of 123 places in 824 ms of which 6 ms to minimize.
[2024-05-21 05:33:00] [INFO ] Deduced a trap composed of 124 places in 852 ms of which 6 ms to minimize.
[2024-05-21 05:33:01] [INFO ] Deduced a trap composed of 68 places in 877 ms of which 5 ms to minimize.
[2024-05-21 05:33:02] [INFO ] Deduced a trap composed of 65 places in 930 ms of which 6 ms to minimize.
[2024-05-21 05:33:03] [INFO ] Deduced a trap composed of 60 places in 803 ms of which 4 ms to minimize.
[2024-05-21 05:33:04] [INFO ] Deduced a trap composed of 87 places in 776 ms of which 6 ms to minimize.
[2024-05-21 05:33:04] [INFO ] Deduced a trap composed of 95 places in 873 ms of which 6 ms to minimize.
[2024-05-21 05:33:06] [INFO ] Deduced a trap composed of 104 places in 838 ms of which 6 ms to minimize.
[2024-05-21 05:33:06] [INFO ] Deduced a trap composed of 122 places in 813 ms of which 6 ms to minimize.
[2024-05-21 05:33:07] [INFO ] Deduced a trap composed of 112 places in 555 ms of which 4 ms to minimize.
[2024-05-21 05:33:08] [INFO ] Deduced a trap composed of 80 places in 626 ms of which 5 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/372 variables, 19/62 constraints. Problems are: Problem set: 0 solved, 147 unsolved
[2024-05-21 05:33:11] [INFO ] Deduced a trap composed of 196 places in 707 ms of which 3 ms to minimize.
[2024-05-21 05:33:11] [INFO ] Deduced a trap composed of 84 places in 679 ms of which 6 ms to minimize.
[2024-05-21 05:33:12] [INFO ] Deduced a trap composed of 70 places in 810 ms of which 6 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/372 variables, 3/65 constraints. Problems are: Problem set: 0 solved, 147 unsolved
[2024-05-21 05:33:20] [INFO ] Deduced a trap composed of 124 places in 867 ms of which 6 ms to minimize.
[2024-05-21 05:33:21] [INFO ] Deduced a trap composed of 125 places in 830 ms of which 6 ms to minimize.
[2024-05-21 05:33:22] [INFO ] Deduced a trap composed of 119 places in 857 ms of which 7 ms to minimize.
[2024-05-21 05:33:23] [INFO ] Deduced a trap composed of 155 places in 672 ms of which 6 ms to minimize.
[2024-05-21 05:33:23] [INFO ] Deduced a trap composed of 100 places in 608 ms of which 4 ms to minimize.
At refinement iteration 7 (INCLUDED_ONLY) 0/372 variables, 5/70 constraints. Problems are: Problem set: 0 solved, 147 unsolved
[2024-05-21 05:33:28] [INFO ] Deduced a trap composed of 121 places in 726 ms of which 6 ms to minimize.
[2024-05-21 05:33:29] [INFO ] Deduced a trap composed of 136 places in 827 ms of which 6 ms to minimize.
[2024-05-21 05:33:29] [INFO ] Deduced a trap composed of 134 places in 696 ms of which 6 ms to minimize.
[2024-05-21 05:33:30] [INFO ] Deduced a trap composed of 126 places in 762 ms of which 6 ms to minimize.
[2024-05-21 05:33:31] [INFO ] Deduced a trap composed of 124 places in 718 ms of which 5 ms to minimize.
[2024-05-21 05:33:32] [INFO ] Deduced a trap composed of 96 places in 745 ms of which 5 ms to minimize.
[2024-05-21 05:33:33] [INFO ] Deduced a trap composed of 73 places in 800 ms of which 6 ms to minimize.
[2024-05-21 05:33:33] [INFO ] Deduced a trap composed of 139 places in 732 ms of which 5 ms to minimize.
[2024-05-21 05:33:34] [INFO ] Deduced a trap composed of 121 places in 829 ms of which 5 ms to minimize.
[2024-05-21 05:33:35] [INFO ] Deduced a trap composed of 93 places in 794 ms of which 6 ms to minimize.
[2024-05-21 05:33:36] [INFO ] Deduced a trap composed of 177 places in 696 ms of which 6 ms to minimize.
[2024-05-21 05:33:37] [INFO ] Deduced a trap composed of 132 places in 857 ms of which 6 ms to minimize.
[2024-05-21 05:33:37] [INFO ] Deduced a trap composed of 104 places in 816 ms of which 6 ms to minimize.
[2024-05-21 05:33:38] [INFO ] Deduced a trap composed of 98 places in 846 ms of which 6 ms to minimize.
[2024-05-21 05:33:39] [INFO ] Deduced a trap composed of 143 places in 828 ms of which 5 ms to minimize.
[2024-05-21 05:33:40] [INFO ] Deduced a trap composed of 87 places in 844 ms of which 6 ms to minimize.
[2024-05-21 05:33:41] [INFO ] Deduced a trap composed of 105 places in 863 ms of which 5 ms to minimize.
[2024-05-21 05:33:42] [INFO ] Deduced a trap composed of 120 places in 824 ms of which 5 ms to minimize.
[2024-05-21 05:33:43] [INFO ] Deduced a trap composed of 113 places in 865 ms of which 6 ms to minimize.
At refinement iteration 8 (INCLUDED_ONLY) 0/372 variables, 19/89 constraints. Problems are: Problem set: 0 solved, 147 unsolved
[2024-05-21 05:33:47] [INFO ] Deduced a trap composed of 112 places in 889 ms of which 6 ms to minimize.
[2024-05-21 05:33:48] [INFO ] Deduced a trap composed of 103 places in 909 ms of which 6 ms to minimize.
[2024-05-21 05:33:49] [INFO ] Deduced a trap composed of 127 places in 793 ms of which 6 ms to minimize.
[2024-05-21 05:33:49] [INFO ] Deduced a trap composed of 111 places in 903 ms of which 6 ms to minimize.
[2024-05-21 05:33:50] [INFO ] Deduced a trap composed of 158 places in 785 ms of which 4 ms to minimize.
[2024-05-21 05:33:51] [INFO ] Deduced a trap composed of 156 places in 753 ms of which 6 ms to minimize.
[2024-05-21 05:33:52] [INFO ] Deduced a trap composed of 114 places in 623 ms of which 5 ms to minimize.
[2024-05-21 05:33:52] [INFO ] Deduced a trap composed of 105 places in 556 ms of which 6 ms to minimize.
[2024-05-21 05:33:53] [INFO ] Deduced a trap composed of 55 places in 824 ms of which 6 ms to minimize.
[2024-05-21 05:33:54] [INFO ] Deduced a trap composed of 106 places in 774 ms of which 6 ms to minimize.
[2024-05-21 05:33:55] [INFO ] Deduced a trap composed of 123 places in 837 ms of which 6 ms to minimize.
[2024-05-21 05:33:56] [INFO ] Deduced a trap composed of 121 places in 845 ms of which 5 ms to minimize.
[2024-05-21 05:33:56] [INFO ] Deduced a trap composed of 123 places in 855 ms of which 6 ms to minimize.
[2024-05-21 05:33:57] [INFO ] Deduced a trap composed of 83 places in 765 ms of which 6 ms to minimize.
[2024-05-21 05:33:58] [INFO ] Deduced a trap composed of 82 places in 870 ms of which 6 ms to minimize.
[2024-05-21 05:33:59] [INFO ] Deduced a trap composed of 72 places in 753 ms of which 4 ms to minimize.
[2024-05-21 05:33:59] [INFO ] Deduced a trap composed of 116 places in 485 ms of which 3 ms to minimize.
[2024-05-21 05:34:00] [INFO ] Deduced a trap composed of 140 places in 725 ms of which 4 ms to minimize.
[2024-05-21 05:34:01] [INFO ] Deduced a trap composed of 135 places in 757 ms of which 6 ms to minimize.
[2024-05-21 05:34:02] [INFO ] Deduced a trap composed of 141 places in 728 ms of which 6 ms to minimize.
At refinement iteration 9 (INCLUDED_ONLY) 0/372 variables, 20/109 constraints. Problems are: Problem set: 0 solved, 147 unsolved
[2024-05-21 05:34:06] [INFO ] Deduced a trap composed of 61 places in 804 ms of which 6 ms to minimize.
[2024-05-21 05:34:07] [INFO ] Deduced a trap composed of 88 places in 789 ms of which 5 ms to minimize.
[2024-05-21 05:34:08] [INFO ] Deduced a trap composed of 134 places in 764 ms of which 6 ms to minimize.
[2024-05-21 05:34:09] [INFO ] Deduced a trap composed of 88 places in 738 ms of which 5 ms to minimize.
[2024-05-21 05:34:10] [INFO ] Deduced a trap composed of 134 places in 696 ms of which 4 ms to minimize.
[2024-05-21 05:34:11] [INFO ] Deduced a trap composed of 70 places in 702 ms of which 6 ms to minimize.
[2024-05-21 05:34:13] [INFO ] Deduced a trap composed of 124 places in 732 ms of which 5 ms to minimize.
[2024-05-21 05:34:13] [INFO ] Deduced a trap composed of 110 places in 867 ms of which 6 ms to minimize.
[2024-05-21 05:34:14] [INFO ] Deduced a trap composed of 168 places in 835 ms of which 6 ms to minimize.
At refinement iteration 10 (INCLUDED_ONLY) 0/372 variables, 9/118 constraints. Problems are: Problem set: 0 solved, 147 unsolved
[2024-05-21 05:34:19] [INFO ] Deduced a trap composed of 173 places in 605 ms of which 4 ms to minimize.
[2024-05-21 05:34:20] [INFO ] Deduced a trap composed of 119 places in 697 ms of which 3 ms to minimize.
[2024-05-21 05:34:21] [INFO ] Deduced a trap composed of 64 places in 588 ms of which 3 ms to minimize.
[2024-05-21 05:34:22] [INFO ] Deduced a trap composed of 58 places in 634 ms of which 4 ms to minimize.
[2024-05-21 05:34:22] [INFO ] Deduced a trap composed of 129 places in 499 ms of which 4 ms to minimize.
[2024-05-21 05:34:23] [INFO ] Deduced a trap composed of 60 places in 818 ms of which 6 ms to minimize.
[2024-05-21 05:34:24] [INFO ] Deduced a trap composed of 66 places in 776 ms of which 6 ms to minimize.
[2024-05-21 05:34:25] [INFO ] Deduced a trap composed of 71 places in 855 ms of which 6 ms to minimize.
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 372/2563 variables, and 126 constraints, problems are : Problem set: 0 solved, 147 unsolved in 120014 ms.
Refiners :[Positive P Invariants (semi-flows): 11/12 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 0/373 constraints, ReadFeed: 0/110 constraints, PredecessorRefiner: 147/147 constraints, Known Traps: 103/103 constraints]
Escalating to Integer solving :Problem set: 0 solved, 147 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/81 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 147 unsolved
At refinement iteration 1 (OVERLAPS) 264/345 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 147 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/345 variables, 0/11 constraints. Problems are: Problem set: 0 solved, 147 unsolved
At refinement iteration 3 (OVERLAPS) 27/372 variables, 12/23 constraints. Problems are: Problem set: 0 solved, 147 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/372 variables, 103/126 constraints. Problems are: Problem set: 0 solved, 147 unsolved
[2024-05-21 05:34:31] [INFO ] Deduced a trap composed of 110 places in 722 ms of which 4 ms to minimize.
[2024-05-21 05:34:32] [INFO ] Deduced a trap composed of 107 places in 820 ms of which 6 ms to minimize.
[2024-05-21 05:34:33] [INFO ] Deduced a trap composed of 101 places in 708 ms of which 3 ms to minimize.
[2024-05-21 05:34:34] [INFO ] Deduced a trap composed of 151 places in 827 ms of which 6 ms to minimize.
[2024-05-21 05:34:35] [INFO ] Deduced a trap composed of 94 places in 671 ms of which 6 ms to minimize.
[2024-05-21 05:34:35] [INFO ] Deduced a trap composed of 80 places in 831 ms of which 6 ms to minimize.
[2024-05-21 05:34:36] [INFO ] Deduced a trap composed of 114 places in 810 ms of which 6 ms to minimize.
[2024-05-21 05:34:37] [INFO ] Deduced a trap composed of 82 places in 793 ms of which 6 ms to minimize.
[2024-05-21 05:34:38] [INFO ] Deduced a trap composed of 58 places in 924 ms of which 6 ms to minimize.
[2024-05-21 05:34:39] [INFO ] Deduced a trap composed of 105 places in 911 ms of which 6 ms to minimize.
[2024-05-21 05:34:40] [INFO ] Deduced a trap composed of 73 places in 795 ms of which 6 ms to minimize.
[2024-05-21 05:34:41] [INFO ] Deduced a trap composed of 120 places in 871 ms of which 6 ms to minimize.
[2024-05-21 05:34:42] [INFO ] Deduced a trap composed of 81 places in 907 ms of which 7 ms to minimize.
[2024-05-21 05:34:42] [INFO ] Deduced a trap composed of 76 places in 723 ms of which 4 ms to minimize.
[2024-05-21 05:34:43] [INFO ] Deduced a trap composed of 113 places in 613 ms of which 5 ms to minimize.
[2024-05-21 05:34:44] [INFO ] Deduced a trap composed of 104 places in 673 ms of which 4 ms to minimize.
[2024-05-21 05:34:44] [INFO ] Deduced a trap composed of 143 places in 515 ms of which 4 ms to minimize.
[2024-05-21 05:34:45] [INFO ] Deduced a trap composed of 152 places in 550 ms of which 4 ms to minimize.
[2024-05-21 05:34:45] [INFO ] Deduced a trap composed of 128 places in 563 ms of which 3 ms to minimize.
[2024-05-21 05:34:46] [INFO ] Deduced a trap composed of 96 places in 554 ms of which 4 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/372 variables, 20/146 constraints. Problems are: Problem set: 0 solved, 147 unsolved
[2024-05-21 05:34:49] [INFO ] Deduced a trap composed of 54 places in 473 ms of which 4 ms to minimize.
[2024-05-21 05:34:50] [INFO ] Deduced a trap composed of 182 places in 491 ms of which 4 ms to minimize.
[2024-05-21 05:34:51] [INFO ] Deduced a trap composed of 144 places in 569 ms of which 3 ms to minimize.
[2024-05-21 05:34:52] [INFO ] Deduced a trap composed of 107 places in 507 ms of which 4 ms to minimize.
[2024-05-21 05:34:52] [INFO ] Deduced a trap composed of 187 places in 534 ms of which 4 ms to minimize.
[2024-05-21 05:34:53] [INFO ] Deduced a trap composed of 170 places in 562 ms of which 4 ms to minimize.
[2024-05-21 05:34:53] [INFO ] Deduced a trap composed of 157 places in 538 ms of which 4 ms to minimize.
[2024-05-21 05:34:54] [INFO ] Deduced a trap composed of 139 places in 548 ms of which 4 ms to minimize.
[2024-05-21 05:34:55] [INFO ] Deduced a trap composed of 140 places in 582 ms of which 4 ms to minimize.
[2024-05-21 05:34:55] [INFO ] Deduced a trap composed of 107 places in 551 ms of which 4 ms to minimize.
[2024-05-21 05:34:56] [INFO ] Deduced a trap composed of 83 places in 547 ms of which 4 ms to minimize.
[2024-05-21 05:34:57] [INFO ] Deduced a trap composed of 78 places in 554 ms of which 4 ms to minimize.
[2024-05-21 05:34:57] [INFO ] Deduced a trap composed of 135 places in 488 ms of which 3 ms to minimize.
[2024-05-21 05:34:58] [INFO ] Deduced a trap composed of 131 places in 570 ms of which 4 ms to minimize.
[2024-05-21 05:34:58] [INFO ] Deduced a trap composed of 132 places in 557 ms of which 4 ms to minimize.
[2024-05-21 05:34:59] [INFO ] Deduced a trap composed of 162 places in 556 ms of which 4 ms to minimize.
[2024-05-21 05:34:59] [INFO ] Deduced a trap composed of 95 places in 534 ms of which 3 ms to minimize.
[2024-05-21 05:35:00] [INFO ] Deduced a trap composed of 55 places in 459 ms of which 4 ms to minimize.
[2024-05-21 05:35:01] [INFO ] Deduced a trap composed of 83 places in 558 ms of which 4 ms to minimize.
[2024-05-21 05:35:01] [INFO ] Deduced a trap composed of 85 places in 550 ms of which 4 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/372 variables, 20/166 constraints. Problems are: Problem set: 0 solved, 147 unsolved
[2024-05-21 05:35:03] [INFO ] Deduced a trap composed of 116 places in 513 ms of which 4 ms to minimize.
[2024-05-21 05:35:03] [INFO ] Deduced a trap composed of 57 places in 556 ms of which 4 ms to minimize.
[2024-05-21 05:35:04] [INFO ] Deduced a trap composed of 107 places in 557 ms of which 4 ms to minimize.
[2024-05-21 05:35:05] [INFO ] Deduced a trap composed of 84 places in 507 ms of which 3 ms to minimize.
[2024-05-21 05:35:05] [INFO ] Deduced a trap composed of 178 places in 553 ms of which 3 ms to minimize.
[2024-05-21 05:35:06] [INFO ] Deduced a trap composed of 175 places in 539 ms of which 4 ms to minimize.
[2024-05-21 05:35:06] [INFO ] Deduced a trap composed of 112 places in 550 ms of which 4 ms to minimize.
[2024-05-21 05:35:07] [INFO ] Deduced a trap composed of 122 places in 559 ms of which 3 ms to minimize.
[2024-05-21 05:35:08] [INFO ] Deduced a trap composed of 68 places in 558 ms of which 4 ms to minimize.
[2024-05-21 05:35:08] [INFO ] Deduced a trap composed of 77 places in 567 ms of which 4 ms to minimize.
[2024-05-21 05:35:09] [INFO ] Deduced a trap composed of 43 places in 563 ms of which 4 ms to minimize.
[2024-05-21 05:35:10] [INFO ] Deduced a trap composed of 73 places in 560 ms of which 4 ms to minimize.
[2024-05-21 05:35:10] [INFO ] Deduced a trap composed of 53 places in 557 ms of which 4 ms to minimize.
[2024-05-21 05:35:11] [INFO ] Deduced a trap composed of 65 places in 555 ms of which 4 ms to minimize.
[2024-05-21 05:35:11] [INFO ] Deduced a trap composed of 92 places in 565 ms of which 4 ms to minimize.
[2024-05-21 05:35:12] [INFO ] Deduced a trap composed of 69 places in 563 ms of which 4 ms to minimize.
[2024-05-21 05:35:13] [INFO ] Deduced a trap composed of 129 places in 768 ms of which 5 ms to minimize.
[2024-05-21 05:35:14] [INFO ] Deduced a trap composed of 128 places in 743 ms of which 5 ms to minimize.
[2024-05-21 05:35:14] [INFO ] Deduced a trap composed of 92 places in 523 ms of which 4 ms to minimize.
[2024-05-21 05:35:15] [INFO ] Deduced a trap composed of 113 places in 695 ms of which 22 ms to minimize.
At refinement iteration 7 (INCLUDED_ONLY) 0/372 variables, 20/186 constraints. Problems are: Problem set: 0 solved, 147 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/372 variables, 0/186 constraints. Problems are: Problem set: 0 solved, 147 unsolved
At refinement iteration 9 (OVERLAPS) 1/373 variables, 1/187 constraints. Problems are: Problem set: 0 solved, 147 unsolved
[2024-05-21 05:35:24] [INFO ] Deduced a trap composed of 87 places in 652 ms of which 3 ms to minimize.
[2024-05-21 05:35:25] [INFO ] Deduced a trap composed of 84 places in 671 ms of which 4 ms to minimize.
[2024-05-21 05:35:26] [INFO ] Deduced a trap composed of 86 places in 663 ms of which 4 ms to minimize.
[2024-05-21 05:35:27] [INFO ] Deduced a trap composed of 82 places in 801 ms of which 7 ms to minimize.
[2024-05-21 05:35:27] [INFO ] Deduced a trap composed of 86 places in 671 ms of which 4 ms to minimize.
[2024-05-21 05:35:28] [INFO ] Deduced a trap composed of 88 places in 613 ms of which 4 ms to minimize.
[2024-05-21 05:35:29] [INFO ] Deduced a trap composed of 84 places in 774 ms of which 5 ms to minimize.
[2024-05-21 05:35:30] [INFO ] Deduced a trap composed of 77 places in 669 ms of which 4 ms to minimize.
[2024-05-21 05:35:30] [INFO ] Deduced a trap composed of 83 places in 713 ms of which 4 ms to minimize.
[2024-05-21 05:35:31] [INFO ] Deduced a trap composed of 84 places in 727 ms of which 4 ms to minimize.
[2024-05-21 05:35:32] [INFO ] Deduced a trap composed of 104 places in 875 ms of which 6 ms to minimize.
[2024-05-21 05:35:33] [INFO ] Deduced a trap composed of 75 places in 917 ms of which 6 ms to minimize.
[2024-05-21 05:35:34] [INFO ] Deduced a trap composed of 89 places in 883 ms of which 6 ms to minimize.
[2024-05-21 05:35:35] [INFO ] Deduced a trap composed of 72 places in 866 ms of which 7 ms to minimize.
[2024-05-21 05:35:36] [INFO ] Deduced a trap composed of 68 places in 894 ms of which 6 ms to minimize.
[2024-05-21 05:35:37] [INFO ] Deduced a trap composed of 85 places in 897 ms of which 6 ms to minimize.
[2024-05-21 05:35:38] [INFO ] Deduced a trap composed of 155 places in 843 ms of which 6 ms to minimize.
[2024-05-21 05:35:39] [INFO ] Deduced a trap composed of 86 places in 877 ms of which 4 ms to minimize.
[2024-05-21 05:35:40] [INFO ] Deduced a trap composed of 136 places in 629 ms of which 6 ms to minimize.
[2024-05-21 05:35:41] [INFO ] Deduced a trap composed of 120 places in 822 ms of which 6 ms to minimize.
At refinement iteration 10 (INCLUDED_ONLY) 0/373 variables, 20/207 constraints. Problems are: Problem set: 0 solved, 147 unsolved
[2024-05-21 05:35:48] [INFO ] Deduced a trap composed of 133 places in 840 ms of which 6 ms to minimize.
[2024-05-21 05:35:50] [INFO ] Deduced a trap composed of 123 places in 864 ms of which 6 ms to minimize.
[2024-05-21 05:35:50] [INFO ] Deduced a trap composed of 109 places in 907 ms of which 6 ms to minimize.
[2024-05-21 05:35:51] [INFO ] Deduced a trap composed of 92 places in 824 ms of which 6 ms to minimize.
[2024-05-21 05:35:52] [INFO ] Deduced a trap composed of 100 places in 757 ms of which 6 ms to minimize.
[2024-05-21 05:35:53] [INFO ] Deduced a trap composed of 80 places in 873 ms of which 6 ms to minimize.
[2024-05-21 05:35:54] [INFO ] Deduced a trap composed of 85 places in 797 ms of which 6 ms to minimize.
[2024-05-21 05:35:55] [INFO ] Deduced a trap composed of 84 places in 767 ms of which 6 ms to minimize.
[2024-05-21 05:35:56] [INFO ] Deduced a trap composed of 43 places in 897 ms of which 6 ms to minimize.
[2024-05-21 05:35:57] [INFO ] Deduced a trap composed of 124 places in 805 ms of which 5 ms to minimize.
[2024-05-21 05:35:58] [INFO ] Deduced a trap composed of 104 places in 840 ms of which 6 ms to minimize.
[2024-05-21 05:35:58] [INFO ] Deduced a trap composed of 99 places in 876 ms of which 6 ms to minimize.
[2024-05-21 05:35:59] [INFO ] Deduced a trap composed of 93 places in 814 ms of which 6 ms to minimize.
At refinement iteration 11 (INCLUDED_ONLY) 0/373 variables, 13/220 constraints. Problems are: Problem set: 0 solved, 147 unsolved
[2024-05-21 05:36:13] [INFO ] Deduced a trap composed of 153 places in 801 ms of which 5 ms to minimize.
[2024-05-21 05:36:13] [INFO ] Deduced a trap composed of 110 places in 780 ms of which 6 ms to minimize.
[2024-05-21 05:36:15] [INFO ] Deduced a trap composed of 44 places in 892 ms of which 6 ms to minimize.
At refinement iteration 12 (INCLUDED_ONLY) 0/373 variables, 3/223 constraints. Problems are: Problem set: 0 solved, 147 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/373 variables, 0/223 constraints. Problems are: Problem set: 0 solved, 147 unsolved
SMT process timed out in 240702ms, After SMT, problems are : Problem set: 0 solved, 147 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 81 out of 373 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 373/373 places, 2190/2190 transitions.
Applied a total of 0 rules in 61 ms. Remains 373 /373 variables (removed 0) and now considering 2190/2190 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 62 ms. Remains : 373/373 places, 2190/2190 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 373/373 places, 2190/2190 transitions.
Applied a total of 0 rules in 59 ms. Remains 373 /373 variables (removed 0) and now considering 2190/2190 (removed 0) transitions.
[2024-05-21 05:36:26] [INFO ] Invariant cache hit.
[2024-05-21 05:36:26] [INFO ] Implicit Places using invariants in 780 ms returned []
[2024-05-21 05:36:27] [INFO ] Invariant cache hit.
[2024-05-21 05:36:28] [INFO ] State equation strengthened by 110 read => feed constraints.
[2024-05-21 05:36:30] [INFO ] Implicit Places using invariants and state equation in 3704 ms returned []
Implicit Place search using SMT with State Equation took 4493 ms to find 0 implicit places.
[2024-05-21 05:36:30] [INFO ] Redundant transitions in 195 ms returned []
Running 2179 sub problems to find dead transitions.
[2024-05-21 05:36:30] [INFO ] Invariant cache hit.
[2024-05-21 05:36:30] [INFO ] State equation strengthened by 110 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/373 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 2179 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/373 variables, 12/24 constraints. Problems are: Problem set: 0 solved, 2179 unsolved
[2024-05-21 05:37:07] [INFO ] Deduced a trap composed of 117 places in 638 ms of which 5 ms to minimize.
[2024-05-21 05:37:08] [INFO ] Deduced a trap composed of 141 places in 639 ms of which 4 ms to minimize.
[2024-05-21 05:37:09] [INFO ] Deduced a trap composed of 103 places in 670 ms of which 4 ms to minimize.
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 373/2563 variables, and 27 constraints, problems are : Problem set: 0 solved, 2179 unsolved in 30049 ms.
Refiners :[Positive P Invariants (semi-flows): 12/12 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 0/373 constraints, ReadFeed: 0/110 constraints, PredecessorRefiner: 2179/2179 constraints, Known Traps: 3/3 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2179 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/373 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 2179 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/373 variables, 12/24 constraints. Problems are: Problem set: 0 solved, 2179 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/373 variables, 3/27 constraints. Problems are: Problem set: 0 solved, 2179 unsolved
[2024-05-21 05:37:14] [INFO ] Deduced a trap composed of 63 places in 526 ms of which 4 ms to minimize.
[2024-05-21 05:37:14] [INFO ] Deduced a trap composed of 94 places in 499 ms of which 3 ms to minimize.
[2024-05-21 05:37:15] [INFO ] Deduced a trap composed of 55 places in 556 ms of which 3 ms to minimize.
[2024-05-21 05:37:15] [INFO ] Deduced a trap composed of 52 places in 559 ms of which 4 ms to minimize.
[2024-05-21 05:37:16] [INFO ] Deduced a trap composed of 74 places in 626 ms of which 4 ms to minimize.
[2024-05-21 05:37:17] [INFO ] Deduced a trap composed of 61 places in 604 ms of which 4 ms to minimize.
[2024-05-21 05:37:18] [INFO ] Deduced a trap composed of 116 places in 592 ms of which 4 ms to minimize.
[2024-05-21 05:37:18] [INFO ] Deduced a trap composed of 116 places in 521 ms of which 3 ms to minimize.
[2024-05-21 05:37:19] [INFO ] Deduced a trap composed of 168 places in 554 ms of which 4 ms to minimize.
[2024-05-21 05:37:19] [INFO ] Deduced a trap composed of 160 places in 496 ms of which 4 ms to minimize.
[2024-05-21 05:37:20] [INFO ] Deduced a trap composed of 89 places in 558 ms of which 3 ms to minimize.
[2024-05-21 05:37:20] [INFO ] Deduced a trap composed of 145 places in 504 ms of which 4 ms to minimize.
[2024-05-21 05:37:21] [INFO ] Deduced a trap composed of 133 places in 555 ms of which 4 ms to minimize.
[2024-05-21 05:37:21] [INFO ] Deduced a trap composed of 83 places in 483 ms of which 3 ms to minimize.
[2024-05-21 05:37:22] [INFO ] Deduced a trap composed of 90 places in 566 ms of which 4 ms to minimize.
[2024-05-21 05:37:22] [INFO ] Deduced a trap composed of 93 places in 468 ms of which 4 ms to minimize.
[2024-05-21 05:37:23] [INFO ] Deduced a trap composed of 94 places in 571 ms of which 3 ms to minimize.
[2024-05-21 05:37:24] [INFO ] Deduced a trap composed of 177 places in 565 ms of which 3 ms to minimize.
[2024-05-21 05:37:24] [INFO ] Deduced a trap composed of 109 places in 547 ms of which 4 ms to minimize.
[2024-05-21 05:37:25] [INFO ] Deduced a trap composed of 132 places in 558 ms of which 3 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/373 variables, 20/47 constraints. Problems are: Problem set: 0 solved, 2179 unsolved
[2024-05-21 05:37:27] [INFO ] Deduced a trap composed of 172 places in 582 ms of which 4 ms to minimize.
[2024-05-21 05:37:28] [INFO ] Deduced a trap composed of 154 places in 546 ms of which 3 ms to minimize.
[2024-05-21 05:37:28] [INFO ] Deduced a trap composed of 135 places in 618 ms of which 4 ms to minimize.
[2024-05-21 05:37:29] [INFO ] Deduced a trap composed of 84 places in 552 ms of which 4 ms to minimize.
[2024-05-21 05:37:30] [INFO ] Deduced a trap composed of 79 places in 568 ms of which 4 ms to minimize.
[2024-05-21 05:37:30] [INFO ] Deduced a trap composed of 114 places in 569 ms of which 4 ms to minimize.
[2024-05-21 05:37:31] [INFO ] Deduced a trap composed of 66 places in 568 ms of which 4 ms to minimize.
[2024-05-21 05:37:31] [INFO ] Deduced a trap composed of 103 places in 512 ms of which 3 ms to minimize.
[2024-05-21 05:37:32] [INFO ] Deduced a trap composed of 112 places in 567 ms of which 4 ms to minimize.
[2024-05-21 05:37:33] [INFO ] Deduced a trap composed of 90 places in 564 ms of which 4 ms to minimize.
[2024-05-21 05:37:33] [INFO ] Deduced a trap composed of 81 places in 537 ms of which 3 ms to minimize.
[2024-05-21 05:37:34] [INFO ] Deduced a trap composed of 143 places in 552 ms of which 4 ms to minimize.
[2024-05-21 05:37:34] [INFO ] Deduced a trap composed of 114 places in 577 ms of which 5 ms to minimize.
[2024-05-21 05:37:35] [INFO ] Deduced a trap composed of 141 places in 807 ms of which 5 ms to minimize.
[2024-05-21 05:37:36] [INFO ] Deduced a trap composed of 88 places in 648 ms of which 4 ms to minimize.
[2024-05-21 05:37:36] [INFO ] Deduced a trap composed of 129 places in 617 ms of which 6 ms to minimize.
[2024-05-21 05:37:37] [INFO ] Deduced a trap composed of 123 places in 752 ms of which 4 ms to minimize.
[2024-05-21 05:37:38] [INFO ] Deduced a trap composed of 46 places in 550 ms of which 6 ms to minimize.
[2024-05-21 05:37:38] [INFO ] Deduced a trap composed of 114 places in 587 ms of which 3 ms to minimize.
[2024-05-21 05:37:39] [INFO ] Deduced a trap composed of 109 places in 751 ms of which 5 ms to minimize.
SMT process timed out in 68616ms, After SMT, problems are : Problem set: 0 solved, 2179 unsolved
Search for dead transitions found 0 dead transitions in 68656ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 73422 ms. Remains : 373/373 places, 2190/2190 transitions.
RANDOM walk for 400000 steps (8 resets) in 6120 ms. (65 steps per ms) remains 3/81 properties
Running SMT prover for 3 properties.
[2024-05-21 05:37:41] [INFO ] Invariant cache hit.
[2024-05-21 05:37:41] [INFO ] [Real]Absence check using 12 positive place invariants in 7 ms returned sat
[2024-05-21 05:37:41] [INFO ] [Real]Absence check using 12 positive and 12 generalized place invariants in 11 ms returned sat
[2024-05-21 05:37:42] [INFO ] After 1300ms SMT Verify possible using state equation in real domain returned unsat :0 sat :3
[2024-05-21 05:37:42] [INFO ] State equation strengthened by 110 read => feed constraints.
[2024-05-21 05:37:43] [INFO ] After 683ms SMT Verify possible using 110 Read/Feed constraints in real domain returned unsat :0 sat :3
TRAPS : Iteration 0
[2024-05-21 05:37:44] [INFO ] After 1358ms SMT Verify possible using trap constraints in real domain returned unsat :0 sat :0 real:3
[2024-05-21 05:37:44] [INFO ] After 2774ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:3
[2024-05-21 05:37:44] [INFO ] [Nat]Absence check using 12 positive place invariants in 9 ms returned sat
[2024-05-21 05:37:44] [INFO ] [Nat]Absence check using 12 positive and 12 generalized place invariants in 13 ms returned sat
[2024-05-21 05:37:45] [INFO ] After 1264ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :3
[2024-05-21 05:37:46] [INFO ] After 848ms SMT Verify possible using 110 Read/Feed constraints in natural domain returned unsat :0 sat :3
TRAPS : Iteration 0
[2024-05-21 05:37:47] [INFO ] After 1389ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :3
[2024-05-21 05:37:47] [INFO ] After 3082ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :3
RANDOM walk for 2386479 steps (5 resets) in 120004 ms. (19 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 623 ms. (64 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 585 ms. (68 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 544 ms. (73 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 789 ms. (50 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 825 ms. (48 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 884 ms. (45 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 765 ms. (52 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 768 ms. (52 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 784 ms. (50 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 710 ms. (56 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 742 ms. (53 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 844 ms. (47 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 793 ms. (50 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 878 ms. (45 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 831 ms. (48 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 921 ms. (43 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 878 ms. (45 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 874 ms. (45 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 918 ms. (43 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 855 ms. (46 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 773 ms. (51 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 636 ms. (62 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 752 ms. (53 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 862 ms. (46 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 883 ms. (45 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 594 ms. (67 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 810 ms. (49 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 745 ms. (53 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 707 ms. (56 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 963 ms. (41 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 1098 ms. (36 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 785 ms. (50 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 702 ms. (56 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 971 ms. (41 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 890 ms. (44 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 728 ms. (54 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 823 ms. (48 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40001 steps (8 resets) in 754 ms. (52 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 864 ms. (46 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 709 ms. (56 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 710 ms. (56 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 842 ms. (47 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 593 ms. (67 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 871 ms. (45 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40004 steps (8 resets) in 779 ms. (51 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 724 ms. (55 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 743 ms. (53 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 892 ms. (44 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40003 steps (8 resets) in 807 ms. (49 steps per ms) remains 147/147 properties
BEST_FIRST walk for 40002 steps (8 resets) in 691 ms. (57 steps per ms) remains 147/147 properties
Interrupted probabilistic random walk after 2821009 steps, run timeout after 126001 ms. (steps per millisecond=22 ) properties seen :0 out of 147
Probabilistic random walk after 2821009 steps, saw 1995358 distinct states, run finished after 126002 ms. (steps per millisecond=22 ) properties seen :0
[2024-05-21 05:40:35] [INFO ] Invariant cache hit.
[2024-05-21 05:40:35] [INFO ] State equation strengthened by 110 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/81 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 147 unsolved
At refinement iteration 1 (OVERLAPS) 264/345 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 147 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/345 variables, 0/11 constraints. Problems are: Problem set: 0 solved, 147 unsolved
At refinement iteration 3 (OVERLAPS) 27/372 variables, 12/23 constraints. Problems are: Problem set: 0 solved, 147 unsolved
[2024-05-21 05:40:40] [INFO ] Deduced a trap composed of 216 places in 540 ms of which 4 ms to minimize.
[2024-05-21 05:40:41] [INFO ] Deduced a trap composed of 146 places in 716 ms of which 5 ms to minimize.
[2024-05-21 05:40:42] [INFO ] Deduced a trap composed of 104 places in 657 ms of which 4 ms to minimize.
[2024-05-21 05:40:42] [INFO ] Deduced a trap composed of 132 places in 558 ms of which 4 ms to minimize.
[2024-05-21 05:40:43] [INFO ] Deduced a trap composed of 93 places in 688 ms of which 3 ms to minimize.
[2024-05-21 05:40:44] [INFO ] Deduced a trap composed of 136 places in 572 ms of which 3 ms to minimize.
[2024-05-21 05:40:44] [INFO ] Deduced a trap composed of 150 places in 495 ms of which 3 ms to minimize.
[2024-05-21 05:40:45] [INFO ] Deduced a trap composed of 70 places in 605 ms of which 6 ms to minimize.
[2024-05-21 05:40:45] [INFO ] Deduced a trap composed of 173 places in 674 ms of which 5 ms to minimize.
[2024-05-21 05:40:46] [INFO ] Deduced a trap composed of 148 places in 642 ms of which 4 ms to minimize.
[2024-05-21 05:40:47] [INFO ] Deduced a trap composed of 116 places in 552 ms of which 3 ms to minimize.
[2024-05-21 05:40:47] [INFO ] Deduced a trap composed of 126 places in 629 ms of which 4 ms to minimize.
[2024-05-21 05:40:48] [INFO ] Deduced a trap composed of 116 places in 516 ms of which 4 ms to minimize.
[2024-05-21 05:40:48] [INFO ] Deduced a trap composed of 77 places in 538 ms of which 3 ms to minimize.
[2024-05-21 05:40:49] [INFO ] Deduced a trap composed of 99 places in 634 ms of which 6 ms to minimize.
[2024-05-21 05:40:50] [INFO ] Deduced a trap composed of 90 places in 571 ms of which 6 ms to minimize.
[2024-05-21 05:40:50] [INFO ] Deduced a trap composed of 103 places in 634 ms of which 4 ms to minimize.
[2024-05-21 05:40:51] [INFO ] Deduced a trap composed of 138 places in 552 ms of which 3 ms to minimize.
[2024-05-21 05:40:51] [INFO ] Deduced a trap composed of 97 places in 544 ms of which 3 ms to minimize.
[2024-05-21 05:40:52] [INFO ] Deduced a trap composed of 61 places in 573 ms of which 4 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/372 variables, 20/43 constraints. Problems are: Problem set: 0 solved, 147 unsolved
[2024-05-21 05:40:53] [INFO ] Deduced a trap composed of 105 places in 717 ms of which 5 ms to minimize.
[2024-05-21 05:40:54] [INFO ] Deduced a trap composed of 128 places in 761 ms of which 6 ms to minimize.
[2024-05-21 05:40:55] [INFO ] Deduced a trap composed of 151 places in 730 ms of which 5 ms to minimize.
[2024-05-21 05:40:55] [INFO ] Deduced a trap composed of 130 places in 498 ms of which 4 ms to minimize.
[2024-05-21 05:40:56] [INFO ] Deduced a trap composed of 81 places in 548 ms of which 4 ms to minimize.
[2024-05-21 05:40:56] [INFO ] Deduced a trap composed of 109 places in 504 ms of which 3 ms to minimize.
[2024-05-21 05:40:57] [INFO ] Deduced a trap composed of 79 places in 572 ms of which 4 ms to minimize.
[2024-05-21 05:40:58] [INFO ] Deduced a trap composed of 163 places in 552 ms of which 4 ms to minimize.
[2024-05-21 05:40:58] [INFO ] Deduced a trap composed of 107 places in 591 ms of which 5 ms to minimize.
[2024-05-21 05:40:59] [INFO ] Deduced a trap composed of 129 places in 605 ms of which 3 ms to minimize.
[2024-05-21 05:40:59] [INFO ] Deduced a trap composed of 127 places in 552 ms of which 3 ms to minimize.
[2024-05-21 05:41:00] [INFO ] Deduced a trap composed of 79 places in 556 ms of which 3 ms to minimize.
[2024-05-21 05:41:01] [INFO ] Deduced a trap composed of 80 places in 567 ms of which 4 ms to minimize.
[2024-05-21 05:41:01] [INFO ] Deduced a trap composed of 141 places in 571 ms of which 4 ms to minimize.
[2024-05-21 05:41:02] [INFO ] Deduced a trap composed of 77 places in 670 ms of which 4 ms to minimize.
[2024-05-21 05:41:03] [INFO ] Deduced a trap composed of 82 places in 763 ms of which 5 ms to minimize.
[2024-05-21 05:41:03] [INFO ] Deduced a trap composed of 101 places in 586 ms of which 4 ms to minimize.
[2024-05-21 05:41:04] [INFO ] Deduced a trap composed of 68 places in 748 ms of which 5 ms to minimize.
[2024-05-21 05:41:05] [INFO ] Deduced a trap composed of 154 places in 733 ms of which 5 ms to minimize.
[2024-05-21 05:41:06] [INFO ] Deduced a trap composed of 113 places in 637 ms of which 4 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/372 variables, 20/63 constraints. Problems are: Problem set: 0 solved, 147 unsolved
[2024-05-21 05:41:07] [INFO ] Deduced a trap composed of 61 places in 582 ms of which 4 ms to minimize.
[2024-05-21 05:41:07] [INFO ] Deduced a trap composed of 116 places in 549 ms of which 4 ms to minimize.
[2024-05-21 05:41:08] [INFO ] Deduced a trap composed of 98 places in 709 ms of which 3 ms to minimize.
[2024-05-21 05:41:09] [INFO ] Deduced a trap composed of 75 places in 644 ms of which 4 ms to minimize.
[2024-05-21 05:41:10] [INFO ] Deduced a trap composed of 189 places in 577 ms of which 4 ms to minimize.
[2024-05-21 05:41:10] [INFO ] Deduced a trap composed of 138 places in 636 ms of which 4 ms to minimize.
[2024-05-21 05:41:11] [INFO ] Deduced a trap composed of 148 places in 640 ms of which 5 ms to minimize.
[2024-05-21 05:41:12] [INFO ] Deduced a trap composed of 90 places in 663 ms of which 4 ms to minimize.
[2024-05-21 05:41:12] [INFO ] Deduced a trap composed of 87 places in 675 ms of which 6 ms to minimize.
[2024-05-21 05:41:13] [INFO ] Deduced a trap composed of 96 places in 611 ms of which 4 ms to minimize.
[2024-05-21 05:41:13] [INFO ] Deduced a trap composed of 115 places in 543 ms of which 4 ms to minimize.
[2024-05-21 05:41:14] [INFO ] Deduced a trap composed of 70 places in 599 ms of which 3 ms to minimize.
[2024-05-21 05:41:15] [INFO ] Deduced a trap composed of 128 places in 642 ms of which 3 ms to minimize.
[2024-05-21 05:41:16] [INFO ] Deduced a trap composed of 89 places in 513 ms of which 4 ms to minimize.
[2024-05-21 05:41:16] [INFO ] Deduced a trap composed of 112 places in 576 ms of which 3 ms to minimize.
[2024-05-21 05:41:17] [INFO ] Deduced a trap composed of 99 places in 700 ms of which 5 ms to minimize.
[2024-05-21 05:41:18] [INFO ] Deduced a trap composed of 66 places in 619 ms of which 5 ms to minimize.
[2024-05-21 05:41:18] [INFO ] Deduced a trap composed of 140 places in 716 ms of which 5 ms to minimize.
[2024-05-21 05:41:19] [INFO ] Deduced a trap composed of 122 places in 660 ms of which 4 ms to minimize.
[2024-05-21 05:41:20] [INFO ] Deduced a trap composed of 92 places in 663 ms of which 4 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/372 variables, 20/83 constraints. Problems are: Problem set: 0 solved, 147 unsolved
[2024-05-21 05:41:24] [INFO ] Deduced a trap composed of 110 places in 522 ms of which 4 ms to minimize.
[2024-05-21 05:41:25] [INFO ] Deduced a trap composed of 141 places in 637 ms of which 4 ms to minimize.
[2024-05-21 05:41:25] [INFO ] Deduced a trap composed of 69 places in 542 ms of which 5 ms to minimize.
[2024-05-21 05:41:26] [INFO ] Deduced a trap composed of 74 places in 777 ms of which 5 ms to minimize.
[2024-05-21 05:41:27] [INFO ] Deduced a trap composed of 117 places in 613 ms of which 4 ms to minimize.
[2024-05-21 05:41:27] [INFO ] Deduced a trap composed of 78 places in 574 ms of which 6 ms to minimize.
[2024-05-21 05:41:28] [INFO ] Deduced a trap composed of 137 places in 769 ms of which 5 ms to minimize.
[2024-05-21 05:41:29] [INFO ] Deduced a trap composed of 99 places in 612 ms of which 5 ms to minimize.
[2024-05-21 05:41:29] [INFO ] Deduced a trap composed of 125 places in 563 ms of which 4 ms to minimize.
[2024-05-21 05:41:30] [INFO ] Deduced a trap composed of 87 places in 540 ms of which 4 ms to minimize.
[2024-05-21 05:41:30] [INFO ] Deduced a trap composed of 132 places in 578 ms of which 6 ms to minimize.
[2024-05-21 05:41:31] [INFO ] Deduced a trap composed of 107 places in 570 ms of which 5 ms to minimize.
[2024-05-21 05:41:32] [INFO ] Deduced a trap composed of 84 places in 739 ms of which 5 ms to minimize.
[2024-05-21 05:41:33] [INFO ] Deduced a trap composed of 124 places in 598 ms of which 3 ms to minimize.
[2024-05-21 05:41:33] [INFO ] Deduced a trap composed of 112 places in 503 ms of which 4 ms to minimize.
[2024-05-21 05:41:35] [INFO ] Deduced a trap composed of 102 places in 695 ms of which 4 ms to minimize.
[2024-05-21 05:41:35] [INFO ] Deduced a trap composed of 104 places in 577 ms of which 5 ms to minimize.
[2024-05-21 05:41:36] [INFO ] Deduced a trap composed of 127 places in 633 ms of which 5 ms to minimize.
[2024-05-21 05:41:37] [INFO ] Deduced a trap composed of 111 places in 619 ms of which 4 ms to minimize.
[2024-05-21 05:41:37] [INFO ] Deduced a trap composed of 135 places in 540 ms of which 4 ms to minimize.
At refinement iteration 7 (INCLUDED_ONLY) 0/372 variables, 20/103 constraints. Problems are: Problem set: 0 solved, 147 unsolved
[2024-05-21 05:41:48] [INFO ] Deduced a trap composed of 206 places in 578 ms of which 4 ms to minimize.
[2024-05-21 05:41:48] [INFO ] Deduced a trap composed of 96 places in 469 ms of which 4 ms to minimize.
[2024-05-21 05:41:49] [INFO ] Deduced a trap composed of 184 places in 569 ms of which 4 ms to minimize.
[2024-05-21 05:41:50] [INFO ] Deduced a trap composed of 182 places in 514 ms of which 4 ms to minimize.
[2024-05-21 05:41:50] [INFO ] Deduced a trap composed of 167 places in 536 ms of which 4 ms to minimize.
[2024-05-21 05:41:51] [INFO ] Deduced a trap composed of 170 places in 585 ms of which 5 ms to minimize.
[2024-05-21 05:41:51] [INFO ] Deduced a trap composed of 121 places in 665 ms of which 4 ms to minimize.
[2024-05-21 05:41:52] [INFO ] Deduced a trap composed of 170 places in 737 ms of which 4 ms to minimize.
[2024-05-21 05:41:53] [INFO ] Deduced a trap composed of 120 places in 560 ms of which 4 ms to minimize.
[2024-05-21 05:41:53] [INFO ] Deduced a trap composed of 113 places in 579 ms of which 5 ms to minimize.
[2024-05-21 05:41:54] [INFO ] Deduced a trap composed of 73 places in 639 ms of which 3 ms to minimize.
[2024-05-21 05:41:54] [INFO ] Deduced a trap composed of 128 places in 467 ms of which 4 ms to minimize.
[2024-05-21 05:41:55] [INFO ] Deduced a trap composed of 71 places in 669 ms of which 3 ms to minimize.
[2024-05-21 05:41:56] [INFO ] Deduced a trap composed of 128 places in 535 ms of which 4 ms to minimize.
[2024-05-21 05:41:56] [INFO ] Deduced a trap composed of 116 places in 538 ms of which 4 ms to minimize.
[2024-05-21 05:41:57] [INFO ] Deduced a trap composed of 111 places in 618 ms of which 5 ms to minimize.
[2024-05-21 05:41:57] [INFO ] Deduced a trap composed of 89 places in 579 ms of which 5 ms to minimize.
[2024-05-21 05:41:58] [INFO ] Deduced a trap composed of 94 places in 775 ms of which 5 ms to minimize.
[2024-05-21 05:41:59] [INFO ] Deduced a trap composed of 120 places in 622 ms of which 4 ms to minimize.
[2024-05-21 05:41:59] [INFO ] Deduced a trap composed of 148 places in 540 ms of which 4 ms to minimize.
At refinement iteration 8 (INCLUDED_ONLY) 0/372 variables, 20/123 constraints. Problems are: Problem set: 0 solved, 147 unsolved
[2024-05-21 05:42:11] [INFO ] Deduced a trap composed of 87 places in 631 ms of which 5 ms to minimize.
[2024-05-21 05:42:11] [INFO ] Deduced a trap composed of 67 places in 759 ms of which 4 ms to minimize.
[2024-05-21 05:42:12] [INFO ] Deduced a trap composed of 87 places in 647 ms of which 5 ms to minimize.
[2024-05-21 05:42:13] [INFO ] Deduced a trap composed of 113 places in 581 ms of which 4 ms to minimize.
[2024-05-21 05:42:14] [INFO ] Deduced a trap composed of 99 places in 567 ms of which 4 ms to minimize.
[2024-05-21 05:42:14] [INFO ] Deduced a trap composed of 100 places in 534 ms of which 4 ms to minimize.
[2024-05-21 05:42:15] [INFO ] Deduced a trap composed of 108 places in 574 ms of which 4 ms to minimize.
[2024-05-21 05:42:15] [INFO ] Deduced a trap composed of 93 places in 530 ms of which 4 ms to minimize.
[2024-05-21 05:42:16] [INFO ] Deduced a trap composed of 96 places in 670 ms of which 4 ms to minimize.
[2024-05-21 05:42:17] [INFO ] Deduced a trap composed of 84 places in 575 ms of which 4 ms to minimize.
[2024-05-21 05:42:18] [INFO ] Deduced a trap composed of 161 places in 773 ms of which 7 ms to minimize.
[2024-05-21 05:42:18] [INFO ] Deduced a trap composed of 118 places in 664 ms of which 4 ms to minimize.
[2024-05-21 05:42:19] [INFO ] Deduced a trap composed of 89 places in 640 ms of which 4 ms to minimize.
[2024-05-21 05:42:20] [INFO ] Deduced a trap composed of 58 places in 629 ms of which 5 ms to minimize.
[2024-05-21 05:42:20] [INFO ] Deduced a trap composed of 58 places in 672 ms of which 4 ms to minimize.
[2024-05-21 05:42:21] [INFO ] Deduced a trap composed of 56 places in 566 ms of which 4 ms to minimize.
[2024-05-21 05:42:21] [INFO ] Deduced a trap composed of 54 places in 550 ms of which 4 ms to minimize.
[2024-05-21 05:42:22] [INFO ] Deduced a trap composed of 49 places in 626 ms of which 4 ms to minimize.
[2024-05-21 05:42:23] [INFO ] Deduced a trap composed of 50 places in 507 ms of which 4 ms to minimize.
[2024-05-21 05:42:23] [INFO ] Deduced a trap composed of 46 places in 714 ms of which 4 ms to minimize.
At refinement iteration 9 (INCLUDED_ONLY) 0/372 variables, 20/143 constraints. Problems are: Problem set: 0 solved, 147 unsolved
[2024-05-21 05:42:35] [INFO ] Deduced a trap composed of 110 places in 530 ms of which 3 ms to minimize.
[2024-05-21 05:42:35] [INFO ] Deduced a trap composed of 65 places in 547 ms of which 4 ms to minimize.
[2024-05-21 05:42:36] [INFO ] Deduced a trap composed of 131 places in 760 ms of which 6 ms to minimize.
[2024-05-21 05:42:37] [INFO ] Deduced a trap composed of 125 places in 877 ms of which 6 ms to minimize.
[2024-05-21 05:42:38] [INFO ] Deduced a trap composed of 113 places in 835 ms of which 6 ms to minimize.
[2024-05-21 05:42:39] [INFO ] Deduced a trap composed of 135 places in 774 ms of which 5 ms to minimize.
[2024-05-21 05:42:40] [INFO ] Deduced a trap composed of 121 places in 794 ms of which 6 ms to minimize.
[2024-05-21 05:42:41] [INFO ] Deduced a trap composed of 127 places in 874 ms of which 6 ms to minimize.
[2024-05-21 05:42:42] [INFO ] Deduced a trap composed of 43 places in 819 ms of which 5 ms to minimize.
[2024-05-21 05:42:43] [INFO ] Deduced a trap composed of 78 places in 871 ms of which 6 ms to minimize.
[2024-05-21 05:42:44] [INFO ] Deduced a trap composed of 75 places in 819 ms of which 5 ms to minimize.
[2024-05-21 05:42:45] [INFO ] Deduced a trap composed of 87 places in 797 ms of which 6 ms to minimize.
[2024-05-21 05:42:46] [INFO ] Deduced a trap composed of 59 places in 767 ms of which 5 ms to minimize.
[2024-05-21 05:42:47] [INFO ] Deduced a trap composed of 120 places in 823 ms of which 6 ms to minimize.
[2024-05-21 05:42:47] [INFO ] Deduced a trap composed of 57 places in 839 ms of which 6 ms to minimize.
[2024-05-21 05:42:48] [INFO ] Deduced a trap composed of 80 places in 859 ms of which 6 ms to minimize.
[2024-05-21 05:42:49] [INFO ] Deduced a trap composed of 121 places in 831 ms of which 5 ms to minimize.
[2024-05-21 05:42:50] [INFO ] Deduced a trap composed of 71 places in 854 ms of which 5 ms to minimize.
[2024-05-21 05:42:51] [INFO ] Deduced a trap composed of 108 places in 802 ms of which 5 ms to minimize.
SMT process timed out in 135900ms, After SMT, problems are : Problem set: 0 solved, 147 unsolved
Fused 147 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 81 out of 373 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 373/373 places, 2190/2190 transitions.
Applied a total of 0 rules in 57 ms. Remains 373 /373 variables (removed 0) and now considering 2190/2190 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 57 ms. Remains : 373/373 places, 2190/2190 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 373/373 places, 2190/2190 transitions.
Applied a total of 0 rules in 55 ms. Remains 373 /373 variables (removed 0) and now considering 2190/2190 (removed 0) transitions.
[2024-05-21 05:42:51] [INFO ] Invariant cache hit.
[2024-05-21 05:42:52] [INFO ] Implicit Places using invariants in 805 ms returned []
[2024-05-21 05:42:52] [INFO ] Invariant cache hit.
[2024-05-21 05:42:53] [INFO ] State equation strengthened by 110 read => feed constraints.
[2024-05-21 05:42:55] [INFO ] Implicit Places using invariants and state equation in 3279 ms returned []
Implicit Place search using SMT with State Equation took 4087 ms to find 0 implicit places.
[2024-05-21 05:42:55] [INFO ] Redundant transitions in 89 ms returned []
Running 2179 sub problems to find dead transitions.
[2024-05-21 05:42:55] [INFO ] Invariant cache hit.
[2024-05-21 05:42:55] [INFO ] State equation strengthened by 110 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/373 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 2179 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/373 variables, 12/24 constraints. Problems are: Problem set: 0 solved, 2179 unsolved
[2024-05-21 05:43:34] [INFO ] Deduced a trap composed of 117 places in 900 ms of which 7 ms to minimize.
SMT process timed out in 38211ms, After SMT, problems are : Problem set: 0 solved, 2179 unsolved
Search for dead transitions found 0 dead transitions in 38244ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 42489 ms. Remains : 373/373 places, 2190/2190 transitions.
RANDOM walk for 344558 steps (7 resets) in 9636 ms. (35 steps per ms) remains 0/81 properties
Attempting over-approximation, by ignoring read arcs.
Performed 121 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 121 Pre rules applied. Total rules applied 0 place count 373 transition count 2069
Deduced a syphon composed of 121 places in 0 ms
Reduce places removed 121 places and 0 transitions.
Iterating global reduction 0 with 242 rules applied. Total rules applied 242 place count 252 transition count 2069
Applied a total of 242 rules in 69 ms. Remains 252 /373 variables (removed 121) and now considering 2069/2190 (removed 121) transitions.
Running SMT prover for 147 properties.
// Phase 1: matrix 2069 rows 252 cols
[2024-05-21 05:43:37] [INFO ] Computed 24 invariants in 25 ms
[2024-05-21 05:43:38] [INFO ] [Real]Absence check using 12 positive place invariants in 9 ms returned sat
[2024-05-21 05:43:38] [INFO ] [Real]Absence check using 12 positive and 12 generalized place invariants in 11 ms returned sat
[2024-05-21 05:44:04] [INFO ] After 26633ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:147
[2024-05-21 05:44:05] [INFO ] [Nat]Absence check using 12 positive place invariants in 9 ms returned sat
[2024-05-21 05:44:05] [INFO ] [Nat]Absence check using 12 positive and 12 generalized place invariants in 16 ms returned sat
[2024-05-21 05:44:25] [INFO ] After 19040ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :147
TRAPS : Iteration 0
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination Liveness -timeout 180 -rebuildPNML
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="Anderson-PT-11"
export BK_EXAMINATION="Liveness"
export BK_TOOL="greatspnxred"
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-5568"
echo " Executing tool greatspnxred"
echo " Input is Anderson-PT-11, examination is Liveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r012-smll-171620124200234"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Anderson-PT-11.tgz
mv Anderson-PT-11 execution
cd execution
if [ "Liveness" = "ReachabilityDeadlock" ] || [ "Liveness" = "UpperBounds" ] || [ "Liveness" = "QuasiLiveness" ] || [ "Liveness" = "StableMarking" ] || [ "Liveness" = "Liveness" ] || [ "Liveness" = "OneSafe" ] || [ "Liveness" = "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 [ "Liveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "Liveness" != "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 "Liveness.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property Liveness.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "Liveness.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 '
echo "FORMULA_NAME $x"
done
elif [ "Liveness" = "ReachabilityDeadlock" ] || [ "Liveness" = "QuasiLiveness" ] || [ "Liveness" = "StableMarking" ] || [ "Liveness" = "Liveness" ] || [ "Liveness" = "OneSafe" ] ; then
echo "FORMULA_NAME Liveness"
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 ;