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-171620124200232.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 QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r012-smll-171620124200232
=====================================================================

--------------------
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 QuasiLiveness

=== Now, execution of the tool begins

BK_START 1716267762265

Invoking MCC driver with
BK_TOOL=greatspnxred
BK_EXAMINATION=QuasiLiveness
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:02:44] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -timeout, 180, -rebuildPNML]
[2024-05-21 05:02:44] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-21 05:02:44] [INFO ] Load time of PNML (sax parser for PT used): 580 ms
[2024-05-21 05:02:44] [INFO ] Transformed 749 places.
[2024-05-21 05:02:44] [INFO ] Transformed 3245 transitions.
[2024-05-21 05:02:44] [INFO ] Found NUPN structural information;
[2024-05-21 05:02:44] [INFO ] Parsed PT model containing 749 places and 3245 transitions and 12540 arcs in 791 ms.
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 19 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 201 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:02:45] [INFO ] Computed 25 invariants in 135 ms
[2024-05-21 05:02:48] [INFO ] Implicit Places using invariants in 3526 ms returned [0]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 3698 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 38 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:02:49] [INFO ] Computed 24 invariants in 59 ms
[2024-05-21 05:02:51] [INFO ] Implicit Places using invariants in 2090 ms returned []
[2024-05-21 05:02:51] [INFO ] Invariant cache hit.
[2024-05-21 05:02:52] [INFO ] State equation strengthened by 209 read => feed constraints.
[2024-05-21 05:03:01] [INFO ] Implicit Places using invariants and state equation in 9999 ms returned []
Implicit Place search using SMT with State Equation took 12092 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 16075 ms. Remains : 517/749 places, 3014/3245 transitions.
Initial state reduction rules removed 11 formulas.
RANDOM walk for 40000 steps (8 resets) in 12547 ms. (3 steps per ms) remains 1779/3003 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 35 ms. (3 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 19 ms. (6 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 6 ms. (17 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 6 ms. (17 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 6 ms. (17 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 6 ms. (17 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 6 ms. (17 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 6 ms. (17 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 6 ms. (17 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 6 ms. (17 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 6 ms. (17 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 6 ms. (17 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 6 ms. (17 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 1779/1779 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 1779/1779 properties
[2024-05-21 05:03:05] [INFO ] Invariant cache hit.
[2024-05-21 05:03:05] [INFO ] State equation strengthened by 209 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/235 variables, 235/235 constraints. Problems are: Problem set: 0 solved, 1779 unsolved
SMT process timed out in 15556ms, After SMT, problems are : Problem set: 0 solved, 1779 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 232 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 233 ms. Remains : 480/517 places, 2977/3014 transitions.
RANDOM walk for 965580 steps (0 resets) in 120007 ms. (8 steps per ms) remains 1129/1779 properties
BEST_FIRST walk for 4002 steps (8 resets) in 155 ms. (25 steps per ms) remains 1126/1129 properties
BEST_FIRST walk for 4003 steps (8 resets) in 129 ms. (30 steps per ms) remains 1125/1126 properties
BEST_FIRST walk for 4003 steps (8 resets) in 113 ms. (35 steps per ms) remains 1125/1125 properties
BEST_FIRST walk for 4003 steps (8 resets) in 108 ms. (36 steps per ms) remains 1125/1125 properties
BEST_FIRST walk for 4003 steps (8 resets) in 58 ms. (67 steps per ms) remains 1016/1125 properties
BEST_FIRST walk for 4003 steps (8 resets) in 125 ms. (31 steps per ms) remains 1016/1016 properties
BEST_FIRST walk for 4000 steps (8 resets) in 107 ms. (37 steps per ms) remains 1016/1016 properties
BEST_FIRST walk for 4002 steps (8 resets) in 123 ms. (32 steps per ms) remains 1015/1016 properties
BEST_FIRST walk for 4003 steps (8 resets) in 149 ms. (26 steps per ms) remains 1015/1015 properties
BEST_FIRST walk for 4002 steps (8 resets) in 159 ms. (25 steps per ms) remains 1014/1015 properties
BEST_FIRST walk for 4000 steps (8 resets) in 158 ms. (25 steps per ms) remains 1014/1014 properties
BEST_FIRST walk for 4002 steps (8 resets) in 128 ms. (31 steps per ms) remains 1014/1014 properties
BEST_FIRST walk for 4001 steps (8 resets) in 178 ms. (22 steps per ms) remains 1014/1014 properties
BEST_FIRST walk for 4002 steps (8 resets) in 134 ms. (29 steps per ms) remains 1014/1014 properties
BEST_FIRST walk for 4003 steps (8 resets) in 256 ms. (15 steps per ms) remains 1014/1014 properties
BEST_FIRST walk for 4003 steps (8 resets) in 145 ms. (27 steps per ms) remains 1014/1014 properties
BEST_FIRST walk for 4001 steps (8 resets) in 138 ms. (28 steps per ms) remains 1013/1014 properties
BEST_FIRST walk for 4004 steps (8 resets) in 125 ms. (31 steps per ms) remains 1012/1013 properties
BEST_FIRST walk for 4003 steps (8 resets) in 126 ms. (31 steps per ms) remains 1012/1012 properties
BEST_FIRST walk for 4003 steps (8 resets) in 60 ms. (65 steps per ms) remains 946/1012 properties
BEST_FIRST walk for 4004 steps (8 resets) in 80 ms. (49 steps per ms) remains 753/946 properties
BEST_FIRST walk for 4002 steps (8 resets) in 126 ms. (31 steps per ms) remains 753/753 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 721/753 properties
BEST_FIRST walk for 4001 steps (8 resets) in 47 ms. (83 steps per ms) remains 620/721 properties
BEST_FIRST walk for 4003 steps (8 resets) in 91 ms. (43 steps per ms) remains 620/620 properties
BEST_FIRST walk for 4003 steps (8 resets) in 93 ms. (42 steps per ms) remains 620/620 properties
BEST_FIRST walk for 4003 steps (8 resets) in 84 ms. (47 steps per ms) remains 620/620 properties
BEST_FIRST walk for 4001 steps (8 resets) in 87 ms. (45 steps per ms) remains 620/620 properties
BEST_FIRST walk for 4004 steps (8 resets) in 92 ms. (43 steps per ms) remains 620/620 properties
BEST_FIRST walk for 4003 steps (8 resets) in 97 ms. (40 steps per ms) remains 620/620 properties
BEST_FIRST walk for 4003 steps (8 resets) in 32 ms. (121 steps per ms) remains 616/620 properties
BEST_FIRST walk for 4003 steps (8 resets) in 39 ms. (100 steps per ms) remains 541/616 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 524/541 properties
BEST_FIRST walk for 4003 steps (8 resets) in 77 ms. (51 steps per ms) remains 520/524 properties
BEST_FIRST walk for 4002 steps (8 resets) in 80 ms. (49 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4004 steps (8 resets) in 77 ms. (51 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4003 steps (8 resets) in 55 ms. (71 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4002 steps (8 resets) in 56 ms. (70 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4002 steps (8 resets) in 53 ms. (74 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4002 steps (8 resets) in 57 ms. (69 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4001 steps (8 resets) in 55 ms. (71 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4001 steps (8 resets) in 57 ms. (68 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4003 steps (8 resets) in 54 ms. (72 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4003 steps (8 resets) in 54 ms. (72 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4003 steps (8 resets) in 55 ms. (71 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4002 steps (8 resets) in 40 ms. (97 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4003 steps (8 resets) in 41 ms. (95 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4002 steps (8 resets) in 41 ms. (95 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4003 steps (8 resets) in 40 ms. (97 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4003 steps (8 resets) in 55 ms. (71 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4002 steps (8 resets) in 53 ms. (74 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4003 steps (8 resets) in 55 ms. (71 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4002 steps (8 resets) in 53 ms. (74 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4003 steps (8 resets) in 24 ms. (160 steps per ms) remains 479/520 properties
BEST_FIRST walk for 4001 steps (8 resets) in 50 ms. (78 steps per ms) remains 479/479 properties
BEST_FIRST walk for 4003 steps (8 resets) in 51 ms. (76 steps per ms) remains 479/479 properties
BEST_FIRST walk for 4002 steps (8 resets) in 48 ms. (81 steps per ms) remains 479/479 properties
BEST_FIRST walk for 4003 steps (8 resets) in 25 ms. (153 steps per ms) remains 474/479 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 474/474 properties
BEST_FIRST walk for 4002 steps (8 resets) in 47 ms. (83 steps per ms) remains 474/474 properties
BEST_FIRST walk for 4003 steps (8 resets) in 50 ms. (78 steps per ms) remains 474/474 properties
BEST_FIRST walk for 4002 steps (8 resets) in 53 ms. (74 steps per ms) remains 474/474 properties
BEST_FIRST walk for 4002 steps (8 resets) in 48 ms. (81 steps per ms) remains 470/474 properties
BEST_FIRST walk for 4003 steps (8 resets) in 50 ms. (78 steps per ms) remains 470/470 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 470/470 properties
BEST_FIRST walk for 4002 steps (8 resets) in 49 ms. (80 steps per ms) remains 470/470 properties
BEST_FIRST walk for 4002 steps (8 resets) in 27 ms. (142 steps per ms) remains 438/470 properties
BEST_FIRST walk for 4003 steps (8 resets) in 42 ms. (93 steps per ms) remains 438/438 properties
BEST_FIRST walk for 4003 steps (8 resets) in 45 ms. (87 steps per ms) remains 438/438 properties
BEST_FIRST walk for 4002 steps (8 resets) in 45 ms. (87 steps per ms) remains 438/438 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 438/438 properties
BEST_FIRST walk for 4002 steps (8 resets) in 48 ms. (81 steps per ms) remains 438/438 properties
BEST_FIRST walk for 4002 steps (8 resets) in 48 ms. (81 steps per ms) remains 438/438 properties
BEST_FIRST walk for 4003 steps (8 resets) in 56 ms. (70 steps per ms) remains 438/438 properties
BEST_FIRST walk for 4001 steps (8 resets) in 45 ms. (86 steps per ms) remains 426/438 properties
BEST_FIRST walk for 4002 steps (8 resets) in 48 ms. (81 steps per ms) remains 426/426 properties
BEST_FIRST walk for 4002 steps (8 resets) in 45 ms. (87 steps per ms) remains 426/426 properties
BEST_FIRST walk for 4001 steps (8 resets) in 46 ms. (85 steps per ms) remains 416/426 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 416/416 properties
BEST_FIRST walk for 4003 steps (8 resets) in 45 ms. (87 steps per ms) remains 416/416 properties
BEST_FIRST walk for 4002 steps (8 resets) in 43 ms. (90 steps per ms) remains 416/416 properties
BEST_FIRST walk for 4002 steps (8 resets) in 46 ms. (85 steps per ms) remains 416/416 properties
BEST_FIRST walk for 4002 steps (8 resets) in 42 ms. (93 steps per ms) remains 416/416 properties
BEST_FIRST walk for 4002 steps (8 resets) in 45 ms. (87 steps per ms) remains 416/416 properties
BEST_FIRST walk for 4002 steps (8 resets) in 34 ms. (114 steps per ms) remains 416/416 properties
BEST_FIRST walk for 4003 steps (8 resets) in 36 ms. (108 steps per ms) remains 416/416 properties
BEST_FIRST walk for 4003 steps (8 resets) in 34 ms. (114 steps per ms) remains 416/416 properties
BEST_FIRST walk for 4002 steps (8 resets) in 44 ms. (88 steps per ms) remains 416/416 properties
BEST_FIRST walk for 4003 steps (8 resets) in 44 ms. (88 steps per ms) remains 416/416 properties
BEST_FIRST walk for 4002 steps (8 resets) in 44 ms. (88 steps per ms) remains 416/416 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 416/416 properties
BEST_FIRST walk for 4003 steps (8 resets) in 48 ms. (81 steps per ms) remains 416/416 properties
BEST_FIRST walk for 4003 steps (8 resets) in 44 ms. (88 steps per ms) remains 416/416 properties
BEST_FIRST walk for 4003 steps (8 resets) in 44 ms. (88 steps per ms) remains 416/416 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 416/416 properties
BEST_FIRST walk for 4002 steps (8 resets) in 45 ms. (87 steps per ms) remains 416/416 properties
BEST_FIRST walk for 4003 steps (8 resets) in 44 ms. (88 steps per ms) remains 416/416 properties
BEST_FIRST walk for 4003 steps (8 resets) in 42 ms. (93 steps per ms) remains 415/416 properties
BEST_FIRST walk for 4001 steps (8 resets) in 45 ms. (86 steps per ms) remains 413/415 properties
BEST_FIRST walk for 4003 steps (8 resets) in 45 ms. (87 steps per ms) remains 413/413 properties
BEST_FIRST walk for 4003 steps (8 resets) in 45 ms. (87 steps per ms) remains 408/413 properties
BEST_FIRST walk for 4003 steps (8 resets) in 44 ms. (88 steps per ms) remains 408/408 properties
BEST_FIRST walk for 4002 steps (8 resets) in 55 ms. (71 steps per ms) remains 408/408 properties
BEST_FIRST walk for 4003 steps (8 resets) in 52 ms. (75 steps per ms) remains 408/408 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 408/408 properties
BEST_FIRST walk for 4003 steps (8 resets) in 50 ms. (78 steps per ms) remains 408/408 properties
BEST_FIRST walk for 4003 steps (8 resets) in 46 ms. (85 steps per ms) remains 408/408 properties
BEST_FIRST walk for 4001 steps (8 resets) in 46 ms. (85 steps per ms) remains 408/408 properties
BEST_FIRST walk for 4002 steps (8 resets) in 44 ms. (88 steps per ms) remains 408/408 properties
BEST_FIRST walk for 4002 steps (8 resets) in 44 ms. (88 steps per ms) remains 408/408 properties
BEST_FIRST walk for 4001 steps (8 resets) in 44 ms. (88 steps per ms) remains 408/408 properties
BEST_FIRST walk for 4003 steps (8 resets) in 43 ms. (90 steps per ms) remains 408/408 properties
BEST_FIRST walk for 4003 steps (8 resets) in 42 ms. (93 steps per ms) remains 396/408 properties
BEST_FIRST walk for 4003 steps (8 resets) in 43 ms. (90 steps per ms) remains 396/396 properties
BEST_FIRST walk for 4003 steps (8 resets) in 46 ms. (85 steps per ms) remains 396/396 properties
BEST_FIRST walk for 4003 steps (8 resets) in 52 ms. (75 steps per ms) remains 396/396 properties
BEST_FIRST walk for 4003 steps (8 resets) in 44 ms. (88 steps per ms) remains 396/396 properties
BEST_FIRST walk for 4001 steps (8 resets) in 44 ms. (88 steps per ms) remains 396/396 properties
BEST_FIRST walk for 4002 steps (8 resets) in 40 ms. (97 steps per ms) remains 396/396 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 396/396 properties
BEST_FIRST walk for 4002 steps (8 resets) in 33 ms. (117 steps per ms) remains 396/396 properties
BEST_FIRST walk for 4003 steps (8 resets) in 33 ms. (117 steps per ms) remains 396/396 properties
BEST_FIRST walk for 4003 steps (8 resets) in 44 ms. (88 steps per ms) remains 396/396 properties
BEST_FIRST walk for 4001 steps (8 resets) in 42 ms. (93 steps per ms) remains 396/396 properties
BEST_FIRST walk for 4003 steps (8 resets) in 40 ms. (97 steps per ms) remains 396/396 properties
BEST_FIRST walk for 4002 steps (8 resets) in 20 ms. (190 steps per ms) remains 383/396 properties
BEST_FIRST walk for 4003 steps (8 resets) in 45 ms. (87 steps per ms) remains 383/383 properties
BEST_FIRST walk for 4002 steps (8 resets) in 42 ms. (93 steps per ms) remains 383/383 properties
BEST_FIRST walk for 4003 steps (8 resets) in 43 ms. (90 steps per ms) remains 383/383 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 382/383 properties
BEST_FIRST walk for 4003 steps (8 resets) in 40 ms. (97 steps per ms) remains 382/382 properties
BEST_FIRST walk for 4001 steps (8 resets) in 43 ms. (90 steps per ms) remains 382/382 properties
BEST_FIRST walk for 4002 steps (8 resets) in 45 ms. (87 steps per ms) remains 382/382 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 382/382 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 382/382 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 382/382 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 382/382 properties
BEST_FIRST walk for 4002 steps (8 resets) in 45 ms. (87 steps per ms) remains 382/382 properties
BEST_FIRST walk for 4002 steps (8 resets) in 47 ms. (83 steps per ms) remains 382/382 properties
BEST_FIRST walk for 4003 steps (8 resets) in 42 ms. (93 steps per ms) remains 378/382 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 378/378 properties
BEST_FIRST walk for 4003 steps (8 resets) in 41 ms. (95 steps per ms) remains 378/378 properties
BEST_FIRST walk for 4003 steps (8 resets) in 49 ms. (80 steps per ms) remains 378/378 properties
BEST_FIRST walk for 4003 steps (8 resets) in 50 ms. (78 steps per ms) remains 378/378 properties
BEST_FIRST walk for 4003 steps (8 resets) in 41 ms. (95 steps per ms) remains 378/378 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 378/378 properties
BEST_FIRST walk for 4003 steps (8 resets) in 36 ms. (108 steps per ms) remains 378/378 properties
BEST_FIRST walk for 4003 steps (8 resets) in 45 ms. (87 steps per ms) remains 378/378 properties
BEST_FIRST walk for 4002 steps (8 resets) in 45 ms. (87 steps per ms) remains 378/378 properties
BEST_FIRST walk for 4002 steps (8 resets) in 51 ms. (76 steps per ms) remains 378/378 properties
BEST_FIRST walk for 4002 steps (8 resets) in 41 ms. (95 steps per ms) remains 378/378 properties
BEST_FIRST walk for 4002 steps (8 resets) in 42 ms. (93 steps per ms) remains 378/378 properties
BEST_FIRST walk for 4003 steps (8 resets) in 43 ms. (90 steps per ms) remains 378/378 properties
BEST_FIRST walk for 4003 steps (8 resets) in 42 ms. (93 steps per ms) remains 378/378 properties
BEST_FIRST walk for 4001 steps (8 resets) in 43 ms. (90 steps per ms) remains 378/378 properties
BEST_FIRST walk for 4002 steps (8 resets) in 44 ms. (88 steps per ms) remains 378/378 properties
BEST_FIRST walk for 4002 steps (8 resets) in 44 ms. (88 steps per ms) remains 378/378 properties
BEST_FIRST walk for 4003 steps (8 resets) in 54 ms. (72 steps per ms) remains 378/378 properties
BEST_FIRST walk for 4003 steps (8 resets) in 43 ms. (90 steps per ms) remains 378/378 properties
BEST_FIRST walk for 4002 steps (8 resets) in 42 ms. (93 steps per ms) remains 378/378 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 378/378 properties
BEST_FIRST walk for 4003 steps (8 resets) in 41 ms. (95 steps per ms) remains 378/378 properties
BEST_FIRST walk for 4003 steps (8 resets) in 40 ms. (97 steps per ms) remains 378/378 properties
BEST_FIRST walk for 4003 steps (8 resets) in 42 ms. (93 steps per ms) remains 378/378 properties
BEST_FIRST walk for 4003 steps (8 resets) in 40 ms. (97 steps per ms) remains 378/378 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 378/378 properties
BEST_FIRST walk for 4000 steps (8 resets) in 42 ms. (93 steps per ms) remains 378/378 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 378/378 properties
BEST_FIRST walk for 4003 steps (8 resets) in 44 ms. (88 steps per ms) remains 378/378 properties
BEST_FIRST walk for 4002 steps (8 resets) in 43 ms. (90 steps per ms) remains 378/378 properties
BEST_FIRST walk for 4003 steps (8 resets) in 42 ms. (93 steps per ms) remains 378/378 properties
BEST_FIRST walk for 4003 steps (8 resets) in 42 ms. (93 steps per ms) remains 378/378 properties
BEST_FIRST walk for 4002 steps (8 resets) in 41 ms. (95 steps per ms) remains 378/378 properties
BEST_FIRST walk for 4003 steps (8 resets) in 42 ms. (93 steps per ms) remains 373/378 properties
BEST_FIRST walk for 4003 steps (8 resets) in 40 ms. (97 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4003 steps (8 resets) in 39 ms. (100 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 4003 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 32 ms. (121 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 4003 steps (8 resets) in 31 ms. (125 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4004 steps (8 resets) in 29 ms. (133 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4002 steps (8 resets) in 48 ms. (81 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 46 ms. (85 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4002 steps (8 resets) in 47 ms. (83 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4002 steps (8 resets) in 40 ms. (97 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4002 steps (8 resets) in 39 ms. (100 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4002 steps (8 resets) in 40 ms. (97 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 37 ms. (105 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 4001 steps (8 resets) in 40 ms. (97 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4002 steps (8 resets) in 42 ms. (93 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 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 4001 steps (8 resets) in 42 ms. (93 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4002 steps (8 resets) in 42 ms. (93 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4000 steps (8 resets) in 40 ms. (97 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4002 steps (8 resets) in 40 ms. (97 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4002 steps (8 resets) in 42 ms. (93 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4002 steps (8 resets) in 40 ms. (97 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 4002 steps (8 resets) in 41 ms. (95 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 4002 steps (8 resets) in 41 ms. (95 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 40 ms. (97 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4003 steps (8 resets) in 49 ms. (80 steps per ms) remains 373/373 properties
BEST_FIRST walk for 4002 steps (8 resets) in 44 ms. (88 steps per ms) remains 372/373 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 372/372 properties
BEST_FIRST walk for 4000 steps (8 resets) in 41 ms. (95 steps per ms) remains 372/372 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 372/372 properties
BEST_FIRST walk for 4003 steps (8 resets) in 40 ms. (97 steps per ms) remains 372/372 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 372/372 properties
BEST_FIRST walk for 4003 steps (8 resets) in 41 ms. (95 steps per ms) remains 372/372 properties
BEST_FIRST walk for 4003 steps (8 resets) in 39 ms. (100 steps per ms) remains 372/372 properties
BEST_FIRST walk for 4002 steps (8 resets) in 44 ms. (88 steps per ms) remains 372/372 properties
BEST_FIRST walk for 4002 steps (8 resets) in 42 ms. (93 steps per ms) remains 372/372 properties
BEST_FIRST walk for 4001 steps (8 resets) in 39 ms. (100 steps per ms) remains 372/372 properties
BEST_FIRST walk for 4003 steps (8 resets) in 42 ms. (93 steps per ms) remains 372/372 properties
BEST_FIRST walk for 4002 steps (8 resets) in 39 ms. (100 steps per ms) remains 372/372 properties
BEST_FIRST walk for 4000 steps (8 resets) in 43 ms. (90 steps per ms) remains 372/372 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 372/372 properties
BEST_FIRST walk for 4002 steps (8 resets) in 45 ms. (87 steps per ms) remains 372/372 properties
BEST_FIRST walk for 4003 steps (8 resets) in 46 ms. (85 steps per ms) remains 372/372 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 372/372 properties
BEST_FIRST walk for 4003 steps (8 resets) in 41 ms. (95 steps per ms) remains 372/372 properties
BEST_FIRST walk for 4001 steps (8 resets) in 40 ms. (97 steps per ms) remains 372/372 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 372/372 properties
BEST_FIRST walk for 4003 steps (8 resets) in 40 ms. (97 steps per ms) remains 365/372 properties
BEST_FIRST walk for 4003 steps (8 resets) in 43 ms. (90 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4003 steps (8 resets) in 39 ms. (100 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4002 steps (8 resets) in 43 ms. (90 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4002 steps (8 resets) in 40 ms. (97 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4003 steps (8 resets) in 40 ms. (97 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4003 steps (8 resets) in 41 ms. (95 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4003 steps (8 resets) in 31 ms. (125 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4004 steps (8 resets) in 30 ms. (129 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4003 steps (8 resets) in 38 ms. (102 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4003 steps (8 resets) in 40 ms. (97 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4001 steps (8 resets) in 41 ms. (95 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4002 steps (8 resets) in 40 ms. (97 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4002 steps (8 resets) in 35 ms. (111 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4002 steps (8 resets) in 40 ms. (97 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4003 steps (8 resets) in 41 ms. (95 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4003 steps (8 resets) in 42 ms. (93 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4003 steps (8 resets) in 41 ms. (95 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4003 steps (8 resets) in 42 ms. (93 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4001 steps (8 resets) in 43 ms. (90 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4001 steps (8 resets) in 38 ms. (102 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4000 steps (8 resets) in 45 ms. (86 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4002 steps (8 resets) in 40 ms. (97 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4001 steps (8 resets) in 42 ms. (93 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4002 steps (8 resets) in 42 ms. (93 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4001 steps (8 resets) in 40 ms. (97 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4002 steps (8 resets) in 42 ms. (93 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4002 steps (8 resets) in 42 ms. (93 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4002 steps (8 resets) in 30 ms. (129 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4003 steps (8 resets) in 41 ms. (95 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4003 steps (8 resets) in 44 ms. (88 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4003 steps (8 resets) in 41 ms. (95 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4003 steps (8 resets) in 44 ms. (88 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4003 steps (8 resets) in 50 ms. (78 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4003 steps (8 resets) in 42 ms. (93 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4003 steps (8 resets) in 43 ms. (90 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4002 steps (8 resets) in 40 ms. (97 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4001 steps (8 resets) in 40 ms. (97 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4002 steps (8 resets) in 43 ms. (90 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4003 steps (8 resets) in 41 ms. (95 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4003 steps (8 resets) in 40 ms. (97 steps per ms) remains 365/365 properties
BEST_FIRST walk for 4001 steps (8 resets) in 41 ms. (95 steps per ms) remains 365/365 properties
// Phase 1: matrix 2977 rows 480 cols
[2024-05-21 05:03:55] [INFO ] Computed 24 invariants in 34 ms
[2024-05-21 05:03:55] [INFO ] State equation strengthened by 183 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/161 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 365 unsolved
At refinement iteration 1 (OVERLAPS) 306/467 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 365 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/467 variables, 1/13 constraints. Problems are: Problem set: 0 solved, 365 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/467 variables, 0/13 constraints. Problems are: Problem set: 0 solved, 365 unsolved
At refinement iteration 4 (OVERLAPS) 13/480 variables, 11/24 constraints. Problems are: Problem set: 0 solved, 365 unsolved
[2024-05-21 05:04:12] [INFO ] Deduced a trap composed of 141 places in 1336 ms of which 49 ms to minimize.
[2024-05-21 05:04:13] [INFO ] Deduced a trap composed of 163 places in 929 ms of which 6 ms to minimize.
[2024-05-21 05:04:13] [INFO ] Deduced a trap composed of 207 places in 827 ms of which 9 ms to minimize.
[2024-05-21 05:04:14] [INFO ] Deduced a trap composed of 157 places in 848 ms of which 5 ms to minimize.
[2024-05-21 05:04:15] [INFO ] Deduced a trap composed of 148 places in 955 ms of which 6 ms to minimize.
[2024-05-21 05:04:16] [INFO ] Deduced a trap composed of 228 places in 761 ms of which 5 ms to minimize.
[2024-05-21 05:04:17] [INFO ] Deduced a trap composed of 220 places in 798 ms of which 5 ms to minimize.
[2024-05-21 05:04:18] [INFO ] Deduced a trap composed of 239 places in 784 ms of which 6 ms to minimize.
[2024-05-21 05:04:18] [INFO ] Deduced a trap composed of 210 places in 778 ms of which 5 ms to minimize.
[2024-05-21 05:04:19] [INFO ] Deduced a trap composed of 198 places in 778 ms of which 5 ms to minimize.
[2024-05-21 05:04:20] [INFO ] Deduced a trap composed of 150 places in 790 ms of which 5 ms to minimize.
[2024-05-21 05:04:21] [INFO ] Deduced a trap composed of 213 places in 790 ms of which 5 ms to minimize.
[2024-05-21 05:04:22] [INFO ] Deduced a trap composed of 276 places in 788 ms of which 5 ms to minimize.
[2024-05-21 05:04:22] [INFO ] Deduced a trap composed of 188 places in 705 ms of which 5 ms to minimize.
[2024-05-21 05:04:23] [INFO ] Deduced a trap composed of 142 places in 800 ms of which 5 ms to minimize.
[2024-05-21 05:04:24] [INFO ] Deduced a trap composed of 207 places in 810 ms of which 5 ms to minimize.
[2024-05-21 05:04:25] [INFO ] Deduced a trap composed of 206 places in 782 ms of which 5 ms to minimize.
[2024-05-21 05:04:26] [INFO ] Deduced a trap composed of 203 places in 792 ms of which 5 ms to minimize.
[2024-05-21 05:04:27] [INFO ] Deduced a trap composed of 228 places in 875 ms of which 6 ms to minimize.
[2024-05-21 05:04:27] [INFO ] Deduced a trap composed of 140 places in 789 ms of which 5 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/480 variables, 20/44 constraints. Problems are: Problem set: 0 solved, 365 unsolved
[2024-05-21 05:04:29] [INFO ] Deduced a trap composed of 222 places in 781 ms of which 5 ms to minimize.
[2024-05-21 05:04:30] [INFO ] Deduced a trap composed of 116 places in 780 ms of which 5 ms to minimize.
[2024-05-21 05:04:31] [INFO ] Deduced a trap composed of 206 places in 740 ms of which 5 ms to minimize.
[2024-05-21 05:04:32] [INFO ] Deduced a trap composed of 136 places in 786 ms of which 5 ms to minimize.
[2024-05-21 05:04:33] [INFO ] Deduced a trap composed of 169 places in 800 ms of which 5 ms to minimize.
[2024-05-21 05:04:33] [INFO ] Deduced a trap composed of 103 places in 792 ms of which 5 ms to minimize.
[2024-05-21 05:04:34] [INFO ] Deduced a trap composed of 130 places in 785 ms of which 5 ms to minimize.
[2024-05-21 05:04:35] [INFO ] Deduced a trap composed of 122 places in 814 ms of which 5 ms to minimize.
[2024-05-21 05:04:36] [INFO ] Deduced a trap composed of 83 places in 776 ms of which 5 ms to minimize.
[2024-05-21 05:04:37] [INFO ] Deduced a trap composed of 142 places in 807 ms of which 5 ms to minimize.
[2024-05-21 05:04:37] [INFO ] Deduced a trap composed of 214 places in 803 ms of which 5 ms to minimize.
[2024-05-21 05:04:38] [INFO ] Deduced a trap composed of 191 places in 751 ms of which 5 ms to minimize.
[2024-05-21 05:04:39] [INFO ] Deduced a trap composed of 194 places in 810 ms of which 5 ms to minimize.
[2024-05-21 05:04:40] [INFO ] Deduced a trap composed of 197 places in 781 ms of which 5 ms to minimize.
[2024-05-21 05:04:41] [INFO ] Deduced a trap composed of 213 places in 889 ms of which 6 ms to minimize.
[2024-05-21 05:04:42] [INFO ] Deduced a trap composed of 138 places in 838 ms of which 6 ms to minimize.
[2024-05-21 05:04:42] [INFO ] Deduced a trap composed of 273 places in 775 ms of which 5 ms to minimize.
SMT process timed out in 47086ms, After SMT, problems are : Problem set: 0 solved, 365 unsolved
Fused 365 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 161 out of 480 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 480/480 places, 2977/2977 transitions.
Discarding 44 places :
Symmetric choice reduction at 0 with 44 rule applications. Total rules 44 place count 436 transition count 2853
Iterating global reduction 0 with 44 rules applied. Total rules applied 88 place count 436 transition count 2853
Applied a total of 88 rules in 93 ms. Remains 436 /480 variables (removed 44) and now considering 2853/2977 (removed 124) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 94 ms. Remains : 436/480 places, 2853/2977 transitions.
RANDOM walk for 3964166 steps (8 resets) in 117062 ms. (33 steps per ms) remains 352/365 properties
BEST_FIRST walk for 40003 steps (8 resets) in 289 ms. (137 steps per ms) remains 352/352 properties
BEST_FIRST walk for 40003 steps (8 resets) in 309 ms. (129 steps per ms) remains 352/352 properties
BEST_FIRST walk for 40002 steps (8 resets) in 296 ms. (134 steps per ms) remains 352/352 properties
BEST_FIRST walk for 40004 steps (8 resets) in 292 ms. (136 steps per ms) remains 352/352 properties
BEST_FIRST walk for 40003 steps (8 resets) in 392 ms. (101 steps per ms) remains 347/352 properties
BEST_FIRST walk for 40001 steps (8 resets) in 402 ms. (99 steps per ms) remains 347/347 properties
BEST_FIRST walk for 40003 steps (8 resets) in 380 ms. (104 steps per ms) remains 347/347 properties
BEST_FIRST walk for 40002 steps (8 resets) in 401 ms. (99 steps per ms) remains 347/347 properties
BEST_FIRST walk for 40004 steps (8 resets) in 386 ms. (103 steps per ms) remains 347/347 properties
BEST_FIRST walk for 40002 steps (8 resets) in 369 ms. (108 steps per ms) remains 347/347 properties
BEST_FIRST walk for 40004 steps (8 resets) in 406 ms. (98 steps per ms) remains 347/347 properties
BEST_FIRST walk for 40003 steps (8 resets) in 382 ms. (104 steps per ms) remains 347/347 properties
BEST_FIRST walk for 40003 steps (8 resets) in 361 ms. (110 steps per ms) remains 347/347 properties
BEST_FIRST walk for 40001 steps (8 resets) in 372 ms. (107 steps per ms) remains 347/347 properties
BEST_FIRST walk for 40003 steps (8 resets) in 382 ms. (104 steps per ms) remains 345/347 properties
BEST_FIRST walk for 40003 steps (8 resets) in 345 ms. (115 steps per ms) remains 345/345 properties
BEST_FIRST walk for 40003 steps (8 resets) in 377 ms. (105 steps per ms) remains 345/345 properties
BEST_FIRST walk for 40003 steps (8 resets) in 381 ms. (104 steps per ms) remains 345/345 properties
BEST_FIRST walk for 40000 steps (8 resets) in 394 ms. (101 steps per ms) remains 345/345 properties
BEST_FIRST walk for 40003 steps (8 resets) in 385 ms. (103 steps per ms) remains 345/345 properties
BEST_FIRST walk for 40004 steps (8 resets) in 380 ms. (104 steps per ms) remains 345/345 properties
BEST_FIRST walk for 40004 steps (8 resets) in 402 ms. (99 steps per ms) remains 345/345 properties
BEST_FIRST walk for 40003 steps (8 resets) in 398 ms. (100 steps per ms) remains 345/345 properties
BEST_FIRST walk for 40002 steps (8 resets) in 428 ms. (93 steps per ms) remains 345/345 properties
BEST_FIRST walk for 40003 steps (8 resets) in 386 ms. (103 steps per ms) remains 344/345 properties
BEST_FIRST walk for 40003 steps (8 resets) in 386 ms. (103 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40002 steps (8 resets) in 372 ms. (107 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40004 steps (8 resets) in 387 ms. (103 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40004 steps (8 resets) in 368 ms. (108 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40002 steps (8 resets) in 383 ms. (104 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40003 steps (8 resets) in 299 ms. (133 steps per ms) remains 342/344 properties
BEST_FIRST walk for 40004 steps (8 resets) in 284 ms. (140 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40003 steps (8 resets) in 288 ms. (138 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40004 steps (8 resets) in 287 ms. (138 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40003 steps (8 resets) in 386 ms. (103 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40001 steps (8 resets) in 388 ms. (102 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40004 steps (8 resets) in 389 ms. (102 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40004 steps (8 resets) in 371 ms. (107 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40003 steps (8 resets) in 375 ms. (106 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40003 steps (8 resets) in 401 ms. (99 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40003 steps (8 resets) in 381 ms. (104 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40004 steps (8 resets) in 395 ms. (101 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40001 steps (8 resets) in 406 ms. (98 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40003 steps (8 resets) in 380 ms. (104 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40002 steps (8 resets) in 356 ms. (112 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40004 steps (8 resets) in 402 ms. (99 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40002 steps (8 resets) in 389 ms. (102 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40003 steps (8 resets) in 374 ms. (106 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40004 steps (8 resets) in 372 ms. (107 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40004 steps (8 resets) in 397 ms. (100 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40004 steps (8 resets) in 378 ms. (105 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40003 steps (8 resets) in 362 ms. (110 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40002 steps (8 resets) in 396 ms. (100 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40004 steps (8 resets) in 394 ms. (101 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40001 steps (8 resets) in 387 ms. (103 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40003 steps (8 resets) in 388 ms. (102 steps per ms) remains 302/342 properties
BEST_FIRST walk for 40002 steps (8 resets) in 261 ms. (152 steps per ms) remains 302/302 properties
BEST_FIRST walk for 40004 steps (8 resets) in 259 ms. (153 steps per ms) remains 302/302 properties
BEST_FIRST walk for 40003 steps (8 resets) in 335 ms. (119 steps per ms) remains 302/302 properties
BEST_FIRST walk for 40002 steps (8 resets) in 347 ms. (114 steps per ms) remains 302/302 properties
BEST_FIRST walk for 40003 steps (8 resets) in 376 ms. (106 steps per ms) remains 302/302 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 302/302 properties
BEST_FIRST walk for 40002 steps (8 resets) in 354 ms. (112 steps per ms) remains 302/302 properties
BEST_FIRST walk for 40004 steps (8 resets) in 360 ms. (110 steps per ms) remains 302/302 properties
BEST_FIRST walk for 40003 steps (8 resets) in 347 ms. (114 steps per ms) remains 302/302 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 302/302 properties
BEST_FIRST walk for 40003 steps (8 resets) in 341 ms. (116 steps per ms) remains 302/302 properties
BEST_FIRST walk for 40003 steps (8 resets) in 344 ms. (115 steps per ms) remains 302/302 properties
BEST_FIRST walk for 40001 steps (8 resets) in 358 ms. (111 steps per ms) remains 302/302 properties
BEST_FIRST walk for 40002 steps (8 resets) in 371 ms. (107 steps per ms) remains 302/302 properties
BEST_FIRST walk for 40003 steps (8 resets) in 336 ms. (118 steps per ms) remains 302/302 properties
BEST_FIRST walk for 40002 steps (8 resets) in 362 ms. (110 steps per ms) remains 302/302 properties
BEST_FIRST walk for 40003 steps (8 resets) in 330 ms. (120 steps per ms) remains 302/302 properties
BEST_FIRST walk for 40003 steps (8 resets) in 341 ms. (116 steps per ms) remains 302/302 properties
BEST_FIRST walk for 40002 steps (8 resets) in 365 ms. (109 steps per ms) remains 296/302 properties
BEST_FIRST walk for 40003 steps (8 resets) in 365 ms. (109 steps per ms) remains 296/296 properties
BEST_FIRST walk for 40002 steps (8 resets) in 338 ms. (118 steps per ms) remains 296/296 properties
BEST_FIRST walk for 40001 steps (8 resets) in 331 ms. (120 steps per ms) remains 296/296 properties
BEST_FIRST walk for 40002 steps (8 resets) in 358 ms. (111 steps per ms) remains 296/296 properties
BEST_FIRST walk for 40000 steps (8 resets) in 259 ms. (153 steps per ms) remains 296/296 properties
BEST_FIRST walk for 40004 steps (8 resets) in 265 ms. (150 steps per ms) remains 296/296 properties
BEST_FIRST walk for 40002 steps (8 resets) in 260 ms. (153 steps per ms) remains 296/296 properties
BEST_FIRST walk for 40003 steps (8 resets) in 353 ms. (113 steps per ms) remains 296/296 properties
BEST_FIRST walk for 40001 steps (8 resets) in 359 ms. (111 steps per ms) remains 296/296 properties
BEST_FIRST walk for 40003 steps (8 resets) in 340 ms. (117 steps per ms) remains 296/296 properties
BEST_FIRST walk for 40004 steps (8 resets) in 357 ms. (111 steps per ms) remains 294/296 properties
BEST_FIRST walk for 40000 steps (8 resets) in 347 ms. (114 steps per ms) remains 294/294 properties
BEST_FIRST walk for 40004 steps (8 resets) in 340 ms. (117 steps per ms) remains 293/294 properties
BEST_FIRST walk for 40003 steps (8 resets) in 339 ms. (117 steps per ms) remains 293/293 properties
BEST_FIRST walk for 40002 steps (8 resets) in 339 ms. (117 steps per ms) remains 293/293 properties
BEST_FIRST walk for 40002 steps (8 resets) in 329 ms. (121 steps per ms) remains 293/293 properties
BEST_FIRST walk for 40003 steps (8 resets) in 357 ms. (111 steps per ms) remains 293/293 properties
BEST_FIRST walk for 40003 steps (8 resets) in 337 ms. (118 steps per ms) remains 293/293 properties
BEST_FIRST walk for 40002 steps (8 resets) in 326 ms. (122 steps per ms) remains 293/293 properties
BEST_FIRST walk for 40003 steps (8 resets) in 322 ms. (123 steps per ms) remains 278/293 properties
BEST_FIRST walk for 40004 steps (8 resets) in 324 ms. (123 steps per ms) remains 274/278 properties
BEST_FIRST walk for 40004 steps (8 resets) in 319 ms. (125 steps per ms) remains 274/274 properties
BEST_FIRST walk for 40003 steps (8 resets) in 248 ms. (160 steps per ms) remains 274/274 properties
BEST_FIRST walk for 40002 steps (8 resets) in 246 ms. (161 steps per ms) remains 274/274 properties
BEST_FIRST walk for 40003 steps (8 resets) in 342 ms. (116 steps per ms) remains 274/274 properties
BEST_FIRST walk for 40003 steps (8 resets) in 321 ms. (124 steps per ms) remains 274/274 properties
BEST_FIRST walk for 40002 steps (8 resets) in 331 ms. (120 steps per ms) remains 274/274 properties
BEST_FIRST walk for 40003 steps (8 resets) in 303 ms. (131 steps per ms) remains 274/274 properties
BEST_FIRST walk for 40002 steps (8 resets) in 331 ms. (120 steps per ms) remains 274/274 properties
BEST_FIRST walk for 40003 steps (8 resets) in 347 ms. (114 steps per ms) remains 274/274 properties
BEST_FIRST walk for 40004 steps (8 resets) in 319 ms. (125 steps per ms) remains 274/274 properties
BEST_FIRST walk for 40004 steps (8 resets) in 345 ms. (115 steps per ms) remains 274/274 properties
BEST_FIRST walk for 40002 steps (8 resets) in 336 ms. (118 steps per ms) remains 274/274 properties
BEST_FIRST walk for 40002 steps (8 resets) in 290 ms. (137 steps per ms) remains 274/274 properties
BEST_FIRST walk for 40003 steps (8 resets) in 332 ms. (120 steps per ms) remains 272/274 properties
BEST_FIRST walk for 40004 steps (8 resets) in 301 ms. (132 steps per ms) remains 272/272 properties
BEST_FIRST walk for 40003 steps (8 resets) in 326 ms. (122 steps per ms) remains 272/272 properties
BEST_FIRST walk for 40003 steps (8 resets) in 328 ms. (121 steps per ms) remains 272/272 properties
BEST_FIRST walk for 40003 steps (8 resets) in 313 ms. (127 steps per ms) remains 272/272 properties
BEST_FIRST walk for 40003 steps (8 resets) in 312 ms. (127 steps per ms) remains 272/272 properties
BEST_FIRST walk for 40001 steps (8 resets) in 321 ms. (124 steps per ms) remains 272/272 properties
BEST_FIRST walk for 40003 steps (8 resets) in 285 ms. (139 steps per ms) remains 272/272 properties
BEST_FIRST walk for 40002 steps (8 resets) in 328 ms. (121 steps per ms) remains 272/272 properties
BEST_FIRST walk for 40004 steps (8 resets) in 327 ms. (121 steps per ms) remains 272/272 properties
BEST_FIRST walk for 40004 steps (8 resets) in 343 ms. (116 steps per ms) remains 269/272 properties
BEST_FIRST walk for 40004 steps (8 resets) in 338 ms. (118 steps per ms) remains 269/269 properties
BEST_FIRST walk for 40002 steps (8 resets) in 313 ms. (127 steps per ms) remains 269/269 properties
BEST_FIRST walk for 40002 steps (8 resets) in 317 ms. (125 steps per ms) remains 265/269 properties
BEST_FIRST walk for 40002 steps (8 resets) in 328 ms. (121 steps per ms) remains 265/265 properties
BEST_FIRST walk for 40000 steps (8 resets) in 244 ms. (163 steps per ms) remains 265/265 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 265/265 properties
BEST_FIRST walk for 40003 steps (8 resets) in 238 ms. (167 steps per ms) remains 265/265 properties
BEST_FIRST walk for 40003 steps (8 resets) in 241 ms. (165 steps per ms) remains 265/265 properties
BEST_FIRST walk for 40003 steps (8 resets) in 335 ms. (119 steps per ms) remains 264/265 properties
BEST_FIRST walk for 40001 steps (8 resets) in 318 ms. (125 steps per ms) remains 264/264 properties
BEST_FIRST walk for 40003 steps (8 resets) in 303 ms. (131 steps per ms) remains 264/264 properties
BEST_FIRST walk for 40003 steps (8 resets) in 316 ms. (126 steps per ms) remains 263/264 properties
BEST_FIRST walk for 40003 steps (8 resets) in 314 ms. (126 steps per ms) remains 263/263 properties
BEST_FIRST walk for 40002 steps (8 resets) in 333 ms. (119 steps per ms) remains 263/263 properties
BEST_FIRST walk for 40004 steps (8 resets) in 336 ms. (118 steps per ms) remains 263/263 properties
BEST_FIRST walk for 40003 steps (8 resets) in 328 ms. (121 steps per ms) remains 263/263 properties
BEST_FIRST walk for 40004 steps (8 resets) in 328 ms. (121 steps per ms) remains 263/263 properties
BEST_FIRST walk for 40003 steps (8 resets) in 339 ms. (117 steps per ms) remains 263/263 properties
BEST_FIRST walk for 40004 steps (8 resets) in 330 ms. (120 steps per ms) remains 263/263 properties
BEST_FIRST walk for 40004 steps (8 resets) in 309 ms. (129 steps per ms) remains 263/263 properties
BEST_FIRST walk for 40004 steps (8 resets) in 319 ms. (125 steps per ms) remains 263/263 properties
BEST_FIRST walk for 40003 steps (8 resets) in 321 ms. (124 steps per ms) remains 262/263 properties
BEST_FIRST walk for 40003 steps (8 resets) in 310 ms. (128 steps per ms) remains 257/262 properties
BEST_FIRST walk for 40003 steps (8 resets) in 313 ms. (127 steps per ms) remains 257/257 properties
BEST_FIRST walk for 40003 steps (8 resets) in 305 ms. (130 steps per ms) remains 257/257 properties
BEST_FIRST walk for 40001 steps (8 resets) in 329 ms. (121 steps per ms) remains 257/257 properties
BEST_FIRST walk for 40003 steps (8 resets) in 231 ms. (172 steps per ms) remains 257/257 properties
BEST_FIRST walk for 40003 steps (8 resets) in 330 ms. (120 steps per ms) remains 256/257 properties
BEST_FIRST walk for 40002 steps (8 resets) in 311 ms. (128 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40002 steps (8 resets) in 322 ms. (123 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40003 steps (8 resets) in 307 ms. (129 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40003 steps (8 resets) in 300 ms. (132 steps per ms) remains 255/256 properties
BEST_FIRST walk for 40003 steps (8 resets) in 285 ms. (139 steps per ms) remains 254/255 properties
BEST_FIRST walk for 40004 steps (8 resets) in 317 ms. (125 steps per ms) remains 253/254 properties
BEST_FIRST walk for 40004 steps (8 resets) in 286 ms. (139 steps per ms) remains 253/253 properties
BEST_FIRST walk for 40002 steps (8 resets) in 303 ms. (131 steps per ms) remains 253/253 properties
BEST_FIRST walk for 40002 steps (8 resets) in 321 ms. (124 steps per ms) remains 253/253 properties
BEST_FIRST walk for 40004 steps (8 resets) in 315 ms. (126 steps per ms) remains 253/253 properties
BEST_FIRST walk for 40002 steps (8 resets) in 324 ms. (123 steps per ms) remains 253/253 properties
BEST_FIRST walk for 40003 steps (8 resets) in 298 ms. (133 steps per ms) remains 253/253 properties
BEST_FIRST walk for 40003 steps (8 resets) in 296 ms. (134 steps per ms) remains 253/253 properties
BEST_FIRST walk for 40002 steps (8 resets) in 341 ms. (116 steps per ms) remains 253/253 properties
BEST_FIRST walk for 40002 steps (8 resets) in 302 ms. (132 steps per ms) remains 253/253 properties
BEST_FIRST walk for 40003 steps (8 resets) in 315 ms. (126 steps per ms) remains 253/253 properties
BEST_FIRST walk for 40002 steps (8 resets) in 327 ms. (121 steps per ms) remains 253/253 properties
BEST_FIRST walk for 40002 steps (8 resets) in 304 ms. (131 steps per ms) remains 253/253 properties
BEST_FIRST walk for 40002 steps (8 resets) in 293 ms. (136 steps per ms) remains 253/253 properties
BEST_FIRST walk for 40004 steps (8 resets) in 332 ms. (120 steps per ms) remains 253/253 properties
BEST_FIRST walk for 40002 steps (8 resets) in 231 ms. (172 steps per ms) remains 253/253 properties
BEST_FIRST walk for 40004 steps (8 resets) in 233 ms. (170 steps per ms) remains 253/253 properties
BEST_FIRST walk for 40002 steps (8 resets) in 299 ms. (133 steps per ms) remains 250/253 properties
BEST_FIRST walk for 40002 steps (8 resets) in 335 ms. (119 steps per ms) remains 250/250 properties
BEST_FIRST walk for 40004 steps (8 resets) in 280 ms. (142 steps per ms) remains 250/250 properties
BEST_FIRST walk for 40004 steps (8 resets) in 315 ms. (126 steps per ms) remains 250/250 properties
BEST_FIRST walk for 40004 steps (8 resets) in 287 ms. (138 steps per ms) remains 250/250 properties
BEST_FIRST walk for 40003 steps (8 resets) in 301 ms. (132 steps per ms) remains 250/250 properties
BEST_FIRST walk for 40003 steps (8 resets) in 319 ms. (125 steps per ms) remains 250/250 properties
BEST_FIRST walk for 40002 steps (8 resets) in 325 ms. (122 steps per ms) remains 250/250 properties
BEST_FIRST walk for 40003 steps (8 resets) in 305 ms. (130 steps per ms) remains 250/250 properties
BEST_FIRST walk for 40003 steps (8 resets) in 290 ms. (137 steps per ms) remains 250/250 properties
BEST_FIRST walk for 40002 steps (8 resets) in 302 ms. (132 steps per ms) remains 250/250 properties
BEST_FIRST walk for 40002 steps (8 resets) in 309 ms. (129 steps per ms) remains 250/250 properties
BEST_FIRST walk for 40003 steps (8 resets) in 327 ms. (121 steps per ms) remains 250/250 properties
BEST_FIRST walk for 40002 steps (8 resets) in 292 ms. (136 steps per ms) remains 239/250 properties
BEST_FIRST walk for 40004 steps (8 resets) in 282 ms. (141 steps per ms) remains 239/239 properties
BEST_FIRST walk for 40003 steps (8 resets) in 223 ms. (178 steps per ms) remains 239/239 properties
BEST_FIRST walk for 40003 steps (8 resets) in 310 ms. (128 steps per ms) remains 239/239 properties
BEST_FIRST walk for 40001 steps (8 resets) in 326 ms. (122 steps per ms) remains 239/239 properties
BEST_FIRST walk for 40002 steps (8 resets) in 309 ms. (129 steps per ms) remains 239/239 properties
BEST_FIRST walk for 40004 steps (8 resets) in 327 ms. (121 steps per ms) remains 239/239 properties
BEST_FIRST walk for 40003 steps (8 resets) in 287 ms. (138 steps per ms) remains 239/239 properties
BEST_FIRST walk for 40003 steps (8 resets) in 314 ms. (126 steps per ms) remains 239/239 properties
BEST_FIRST walk for 40002 steps (8 resets) in 304 ms. (131 steps per ms) remains 239/239 properties
BEST_FIRST walk for 40003 steps (8 resets) in 313 ms. (127 steps per ms) remains 239/239 properties
BEST_FIRST walk for 40002 steps (8 resets) in 320 ms. (124 steps per ms) remains 239/239 properties
BEST_FIRST walk for 40002 steps (8 resets) in 298 ms. (133 steps per ms) remains 239/239 properties
BEST_FIRST walk for 40003 steps (8 resets) in 310 ms. (128 steps per ms) remains 239/239 properties
BEST_FIRST walk for 40002 steps (8 resets) in 291 ms. (136 steps per ms) remains 239/239 properties
BEST_FIRST walk for 40002 steps (8 resets) in 296 ms. (134 steps per ms) remains 239/239 properties
BEST_FIRST walk for 40003 steps (8 resets) in 293 ms. (136 steps per ms) remains 232/239 properties
BEST_FIRST walk for 40004 steps (8 resets) in 287 ms. (138 steps per ms) remains 232/232 properties
BEST_FIRST walk for 40004 steps (8 resets) in 220 ms. (181 steps per ms) remains 232/232 properties
BEST_FIRST walk for 40004 steps (8 resets) in 218 ms. (182 steps per ms) remains 232/232 properties
BEST_FIRST walk for 40004 steps (8 resets) in 220 ms. (181 steps per ms) remains 232/232 properties
BEST_FIRST walk for 40004 steps (8 resets) in 289 ms. (137 steps per ms) remains 232/232 properties
BEST_FIRST walk for 40003 steps (8 resets) in 300 ms. (132 steps per ms) remains 230/232 properties
BEST_FIRST walk for 40004 steps (8 resets) in 304 ms. (131 steps per ms) remains 230/230 properties
BEST_FIRST walk for 40000 steps (8 resets) in 281 ms. (141 steps per ms) remains 230/230 properties
BEST_FIRST walk for 40003 steps (8 resets) in 301 ms. (132 steps per ms) remains 230/230 properties
BEST_FIRST walk for 40003 steps (8 resets) in 297 ms. (134 steps per ms) remains 230/230 properties
BEST_FIRST walk for 40002 steps (8 resets) in 285 ms. (139 steps per ms) remains 230/230 properties
BEST_FIRST walk for 40001 steps (8 resets) in 289 ms. (137 steps per ms) remains 230/230 properties
BEST_FIRST walk for 40002 steps (8 resets) in 312 ms. (127 steps per ms) remains 230/230 properties
BEST_FIRST walk for 40003 steps (8 resets) in 274 ms. (145 steps per ms) remains 230/230 properties
BEST_FIRST walk for 40002 steps (8 resets) in 313 ms. (127 steps per ms) remains 230/230 properties
BEST_FIRST walk for 40004 steps (8 resets) in 295 ms. (135 steps per ms) remains 230/230 properties
BEST_FIRST walk for 40002 steps (8 resets) in 311 ms. (128 steps per ms) remains 230/230 properties
BEST_FIRST walk for 40002 steps (8 resets) in 307 ms. (129 steps per ms) remains 223/230 properties
BEST_FIRST walk for 40004 steps (8 resets) in 288 ms. (138 steps per ms) remains 223/223 properties
BEST_FIRST walk for 40003 steps (8 resets) in 301 ms. (132 steps per ms) remains 223/223 properties
BEST_FIRST walk for 40003 steps (8 resets) in 288 ms. (138 steps per ms) remains 223/223 properties
BEST_FIRST walk for 40003 steps (8 resets) in 216 ms. (184 steps per ms) remains 223/223 properties
BEST_FIRST walk for 40002 steps (8 resets) in 212 ms. (187 steps per ms) remains 223/223 properties
BEST_FIRST walk for 40004 steps (8 resets) in 275 ms. (144 steps per ms) remains 223/223 properties
BEST_FIRST walk for 40001 steps (8 resets) in 281 ms. (141 steps per ms) remains 223/223 properties
BEST_FIRST walk for 40002 steps (8 resets) in 278 ms. (143 steps per ms) remains 223/223 properties
BEST_FIRST walk for 40003 steps (8 resets) in 290 ms. (137 steps per ms) remains 223/223 properties
BEST_FIRST walk for 40002 steps (8 resets) in 288 ms. (138 steps per ms) remains 223/223 properties
BEST_FIRST walk for 40004 steps (8 resets) in 276 ms. (144 steps per ms) remains 223/223 properties
BEST_FIRST walk for 40002 steps (8 resets) in 299 ms. (133 steps per ms) remains 223/223 properties
BEST_FIRST walk for 40002 steps (8 resets) in 309 ms. (129 steps per ms) remains 223/223 properties
BEST_FIRST walk for 40002 steps (8 resets) in 301 ms. (132 steps per ms) remains 223/223 properties
BEST_FIRST walk for 40004 steps (8 resets) in 295 ms. (135 steps per ms) remains 216/223 properties
BEST_FIRST walk for 40003 steps (8 resets) in 237 ms. (168 steps per ms) remains 216/216 properties
BEST_FIRST walk for 40004 steps (8 resets) in 289 ms. (137 steps per ms) remains 216/216 properties
BEST_FIRST walk for 40002 steps (8 resets) in 293 ms. (136 steps per ms) remains 216/216 properties
BEST_FIRST walk for 40002 steps (8 resets) in 275 ms. (144 steps per ms) remains 216/216 properties
BEST_FIRST walk for 40002 steps (8 resets) in 290 ms. (137 steps per ms) remains 216/216 properties
BEST_FIRST walk for 40003 steps (8 resets) in 289 ms. (137 steps per ms) remains 212/216 properties
BEST_FIRST walk for 40004 steps (8 resets) in 272 ms. (146 steps per ms) remains 212/212 properties
BEST_FIRST walk for 40004 steps (8 resets) in 277 ms. (143 steps per ms) remains 212/212 properties
BEST_FIRST walk for 40003 steps (8 resets) in 258 ms. (154 steps per ms) remains 212/212 properties
BEST_FIRST walk for 40002 steps (8 resets) in 275 ms. (144 steps per ms) remains 212/212 properties
BEST_FIRST walk for 40003 steps (8 resets) in 277 ms. (143 steps per ms) remains 192/212 properties
BEST_FIRST walk for 40003 steps (8 resets) in 282 ms. (141 steps per ms) remains 181/192 properties
// Phase 1: matrix 2853 rows 436 cols
[2024-05-21 05:05:35] [INFO ] Computed 24 invariants in 22 ms
[2024-05-21 05:05:35] [INFO ] State equation strengthened by 143 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/87 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 181 unsolved
At refinement iteration 1 (OVERLAPS) 322/409 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 181 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/409 variables, 0/11 constraints. Problems are: Problem set: 0 solved, 181 unsolved
At refinement iteration 3 (OVERLAPS) 26/435 variables, 12/23 constraints. Problems are: Problem set: 0 solved, 181 unsolved
[2024-05-21 05:05:42] [INFO ] Deduced a trap composed of 70 places in 776 ms of which 5 ms to minimize.
[2024-05-21 05:05:43] [INFO ] Deduced a trap composed of 76 places in 759 ms of which 4 ms to minimize.
[2024-05-21 05:05:43] [INFO ] Deduced a trap composed of 72 places in 747 ms of which 5 ms to minimize.
[2024-05-21 05:05:44] [INFO ] Deduced a trap composed of 154 places in 719 ms of which 5 ms to minimize.
[2024-05-21 05:05:45] [INFO ] Deduced a trap composed of 155 places in 728 ms of which 5 ms to minimize.
[2024-05-21 05:05:46] [INFO ] Deduced a trap composed of 90 places in 710 ms of which 5 ms to minimize.
[2024-05-21 05:05:46] [INFO ] Deduced a trap composed of 55 places in 725 ms of which 5 ms to minimize.
[2024-05-21 05:05:47] [INFO ] Deduced a trap composed of 112 places in 724 ms of which 5 ms to minimize.
[2024-05-21 05:05:48] [INFO ] Deduced a trap composed of 74 places in 729 ms of which 4 ms to minimize.
[2024-05-21 05:05:48] [INFO ] Deduced a trap composed of 98 places in 664 ms of which 4 ms to minimize.
[2024-05-21 05:05:49] [INFO ] Deduced a trap composed of 154 places in 683 ms of which 4 ms to minimize.
[2024-05-21 05:05:50] [INFO ] Deduced a trap composed of 83 places in 741 ms of which 5 ms to minimize.
[2024-05-21 05:05:51] [INFO ] Deduced a trap composed of 91 places in 718 ms of which 5 ms to minimize.
[2024-05-21 05:05:51] [INFO ] Deduced a trap composed of 178 places in 658 ms of which 6 ms to minimize.
[2024-05-21 05:05:52] [INFO ] Deduced a trap composed of 136 places in 687 ms of which 5 ms to minimize.
[2024-05-21 05:05:53] [INFO ] Deduced a trap composed of 165 places in 683 ms of which 4 ms to minimize.
[2024-05-21 05:05:53] [INFO ] Deduced a trap composed of 76 places in 688 ms of which 5 ms to minimize.
[2024-05-21 05:05:54] [INFO ] Deduced a trap composed of 160 places in 708 ms of which 4 ms to minimize.
[2024-05-21 05:05:55] [INFO ] Deduced a trap composed of 111 places in 701 ms of which 4 ms to minimize.
[2024-05-21 05:05:56] [INFO ] Deduced a trap composed of 93 places in 685 ms of which 10 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/435 variables, 20/43 constraints. Problems are: Problem set: 0 solved, 181 unsolved
[2024-05-21 05:05:57] [INFO ] Deduced a trap composed of 166 places in 680 ms of which 4 ms to minimize.
[2024-05-21 05:05:57] [INFO ] Deduced a trap composed of 153 places in 625 ms of which 4 ms to minimize.
[2024-05-21 05:05:58] [INFO ] Deduced a trap composed of 116 places in 691 ms of which 4 ms to minimize.
[2024-05-21 05:05:59] [INFO ] Deduced a trap composed of 95 places in 716 ms of which 4 ms to minimize.
[2024-05-21 05:05:59] [INFO ] Deduced a trap composed of 140 places in 668 ms of which 5 ms to minimize.
[2024-05-21 05:06:00] [INFO ] Deduced a trap composed of 161 places in 858 ms of which 4 ms to minimize.
[2024-05-21 05:06:01] [INFO ] Deduced a trap composed of 145 places in 729 ms of which 4 ms to minimize.
[2024-05-21 05:06:02] [INFO ] Deduced a trap composed of 127 places in 739 ms of which 5 ms to minimize.
[2024-05-21 05:06:03] [INFO ] Deduced a trap composed of 147 places in 721 ms of which 4 ms to minimize.
[2024-05-21 05:06:03] [INFO ] Deduced a trap composed of 107 places in 654 ms of which 4 ms to minimize.
[2024-05-21 05:06:04] [INFO ] Deduced a trap composed of 168 places in 673 ms of which 4 ms to minimize.
[2024-05-21 05:06:05] [INFO ] Deduced a trap composed of 128 places in 678 ms of which 4 ms to minimize.
[2024-05-21 05:06:05] [INFO ] Deduced a trap composed of 128 places in 700 ms of which 4 ms to minimize.
[2024-05-21 05:06:06] [INFO ] Deduced a trap composed of 147 places in 686 ms of which 5 ms to minimize.
[2024-05-21 05:06:07] [INFO ] Deduced a trap composed of 121 places in 673 ms of which 4 ms to minimize.
[2024-05-21 05:06:07] [INFO ] Deduced a trap composed of 177 places in 686 ms of which 4 ms to minimize.
[2024-05-21 05:06:08] [INFO ] Deduced a trap composed of 151 places in 701 ms of which 4 ms to minimize.
[2024-05-21 05:06:09] [INFO ] Deduced a trap composed of 143 places in 676 ms of which 5 ms to minimize.
[2024-05-21 05:06:10] [INFO ] Deduced a trap composed of 146 places in 693 ms of which 4 ms to minimize.
[2024-05-21 05:06:10] [INFO ] Deduced a trap composed of 158 places in 627 ms of which 5 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/435 variables, 20/63 constraints. Problems are: Problem set: 0 solved, 181 unsolved
[2024-05-21 05:06:11] [INFO ] Deduced a trap composed of 71 places in 683 ms of which 4 ms to minimize.
[2024-05-21 05:06:12] [INFO ] Deduced a trap composed of 148 places in 673 ms of which 5 ms to minimize.
[2024-05-21 05:06:13] [INFO ] Deduced a trap composed of 170 places in 688 ms of which 4 ms to minimize.
[2024-05-21 05:06:13] [INFO ] Deduced a trap composed of 136 places in 718 ms of which 5 ms to minimize.
[2024-05-21 05:06:14] [INFO ] Deduced a trap composed of 133 places in 689 ms of which 8 ms to minimize.
[2024-05-21 05:06:15] [INFO ] Deduced a trap composed of 132 places in 677 ms of which 4 ms to minimize.
[2024-05-21 05:06:15] [INFO ] Deduced a trap composed of 121 places in 705 ms of which 5 ms to minimize.
[2024-05-21 05:06:16] [INFO ] Deduced a trap composed of 54 places in 715 ms of which 4 ms to minimize.
[2024-05-21 05:06:17] [INFO ] Deduced a trap composed of 140 places in 701 ms of which 4 ms to minimize.
[2024-05-21 05:06:18] [INFO ] Deduced a trap composed of 143 places in 673 ms of which 4 ms to minimize.
[2024-05-21 05:06:19] [INFO ] Deduced a trap composed of 172 places in 687 ms of which 5 ms to minimize.
[2024-05-21 05:06:20] [INFO ] Deduced a trap composed of 206 places in 684 ms of which 4 ms to minimize.
[2024-05-21 05:06:20] [INFO ] Deduced a trap composed of 137 places in 704 ms of which 4 ms to minimize.
[2024-05-21 05:06:21] [INFO ] Deduced a trap composed of 107 places in 677 ms of which 4 ms to minimize.
[2024-05-21 05:06:22] [INFO ] Deduced a trap composed of 168 places in 677 ms of which 5 ms to minimize.
[2024-05-21 05:06:22] [INFO ] Deduced a trap composed of 139 places in 674 ms of which 4 ms to minimize.
[2024-05-21 05:06:23] [INFO ] Deduced a trap composed of 178 places in 703 ms of which 4 ms to minimize.
[2024-05-21 05:06:24] [INFO ] Deduced a trap composed of 152 places in 701 ms of which 4 ms to minimize.
[2024-05-21 05:06:24] [INFO ] Deduced a trap composed of 198 places in 697 ms of which 5 ms to minimize.
[2024-05-21 05:06:25] [INFO ] Deduced a trap composed of 96 places in 701 ms of which 4 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/435 variables, 20/83 constraints. Problems are: Problem set: 0 solved, 181 unsolved
[2024-05-21 05:06:28] [INFO ] Deduced a trap composed of 111 places in 688 ms of which 4 ms to minimize.
[2024-05-21 05:06:29] [INFO ] Deduced a trap composed of 115 places in 727 ms of which 4 ms to minimize.
[2024-05-21 05:06:30] [INFO ] Deduced a trap composed of 71 places in 695 ms of which 5 ms to minimize.
[2024-05-21 05:06:31] [INFO ] Deduced a trap composed of 161 places in 670 ms of which 4 ms to minimize.
[2024-05-21 05:06:31] [INFO ] Deduced a trap composed of 102 places in 710 ms of which 4 ms to minimize.
[2024-05-21 05:06:32] [INFO ] Deduced a trap composed of 99 places in 698 ms of which 4 ms to minimize.
[2024-05-21 05:06:33] [INFO ] Deduced a trap composed of 95 places in 701 ms of which 4 ms to minimize.
[2024-05-21 05:06:34] [INFO ] Deduced a trap composed of 133 places in 698 ms of which 4 ms to minimize.
[2024-05-21 05:06:34] [INFO ] Deduced a trap composed of 169 places in 681 ms of which 4 ms to minimize.
[2024-05-21 05:06:35] [INFO ] Deduced a trap composed of 102 places in 689 ms of which 5 ms to minimize.
[2024-05-21 05:06:36] [INFO ] Deduced a trap composed of 98 places in 677 ms of which 5 ms to minimize.
[2024-05-21 05:06:36] [INFO ] Deduced a trap composed of 118 places in 671 ms of which 4 ms to minimize.
[2024-05-21 05:06:37] [INFO ] Deduced a trap composed of 124 places in 743 ms of which 5 ms to minimize.
[2024-05-21 05:06:38] [INFO ] Deduced a trap composed of 95 places in 756 ms of which 5 ms to minimize.
[2024-05-21 05:06:39] [INFO ] Deduced a trap composed of 156 places in 742 ms of which 5 ms to minimize.
[2024-05-21 05:06:39] [INFO ] Deduced a trap composed of 100 places in 740 ms of which 4 ms to minimize.
[2024-05-21 05:06:41] [INFO ] Deduced a trap composed of 94 places in 761 ms of which 4 ms to minimize.
[2024-05-21 05:06:42] [INFO ] Deduced a trap composed of 62 places in 639 ms of which 4 ms to minimize.
[2024-05-21 05:06:44] [INFO ] Deduced a trap composed of 116 places in 710 ms of which 4 ms to minimize.
[2024-05-21 05:06:44] [INFO ] Deduced a trap composed of 71 places in 678 ms of which 4 ms to minimize.
At refinement iteration 7 (INCLUDED_ONLY) 0/435 variables, 20/103 constraints. Problems are: Problem set: 0 solved, 181 unsolved
[2024-05-21 05:06:47] [INFO ] Deduced a trap composed of 134 places in 695 ms of which 4 ms to minimize.
[2024-05-21 05:06:48] [INFO ] Deduced a trap composed of 64 places in 646 ms of which 7 ms to minimize.
[2024-05-21 05:06:50] [INFO ] Deduced a trap composed of 72 places in 724 ms of which 4 ms to minimize.
Error getting values : (error "ParserException while parsing response: ((s0 1.0)
(s1 0.0)
(s3 0.0)
(s4 0.0)
(s5 0.0)
(s6 0.0)
(s7 0.0)
(s8 0.0)
(s9 0.0)
(s10 0.0)
(s11 0.0)
(s12 0.0)
(s13 0.0)
(s14 0.0)
(s15 0.0)
(s16 0.0)
(s17 0.0)
(s18 0.0)
(s19 0.0)
(s20 0.0)
(s21 0.0)
(s22 0.0)
(s23 0.0)
(s24 0.0)
(s25 0.0)
(s26 0.0)
(s27 0.0)
(s28 0.0)
(s29 0.0)
(s30 0.0)
(s31 1.0)
(s32 0.0)
(s33 0.0)
(s34 0.0)
(s35 0.0)
(s36 0.0)
(s37 0.0)
(s38 0.0)
(s39 0.0)
(s40 0.0)
(s41 0.0)
(s42 timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 435/3289 variables, and 106 constraints, problems are : Problem set: 0 solved, 181 unsolved in 75016 ms.
Refiners :[Positive P Invariants (semi-flows): 11/12 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 0/436 constraints, ReadFeed: 0/143 constraints, PredecessorRefiner: 181/181 constraints, Known Traps: 83/83 constraints]
Escalating to Integer solving :Problem set: 0 solved, 181 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/87 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 181 unsolved
At refinement iteration 1 (OVERLAPS) 322/409 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 181 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/409 variables, 0/11 constraints. Problems are: Problem set: 0 solved, 181 unsolved
At refinement iteration 3 (OVERLAPS) 26/435 variables, 12/23 constraints. Problems are: Problem set: 0 solved, 181 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/435 variables, 83/106 constraints. Problems are: Problem set: 0 solved, 181 unsolved
[2024-05-21 05:07:00] [INFO ] Deduced a trap composed of 139 places in 738 ms of which 4 ms to minimize.
[2024-05-21 05:07:01] [INFO ] Deduced a trap composed of 128 places in 671 ms of which 4 ms to minimize.
[2024-05-21 05:07:02] [INFO ] Deduced a trap composed of 161 places in 676 ms of which 5 ms to minimize.
[2024-05-21 05:07:02] [INFO ] Deduced a trap composed of 105 places in 658 ms of which 4 ms to minimize.
[2024-05-21 05:07:04] [INFO ] Deduced a trap composed of 151 places in 629 ms of which 4 ms to minimize.
[2024-05-21 05:07:05] [INFO ] Deduced a trap composed of 109 places in 639 ms of which 4 ms to minimize.
[2024-05-21 05:07:06] [INFO ] Deduced a trap composed of 76 places in 772 ms of which 4 ms to minimize.
[2024-05-21 05:07:06] [INFO ] Deduced a trap composed of 124 places in 650 ms of which 5 ms to minimize.
[2024-05-21 05:07:07] [INFO ] Deduced a trap composed of 155 places in 660 ms of which 5 ms to minimize.
[2024-05-21 05:07:08] [INFO ] Deduced a trap composed of 128 places in 731 ms of which 4 ms to minimize.
[2024-05-21 05:07:08] [INFO ] Deduced a trap composed of 117 places in 725 ms of which 5 ms to minimize.
[2024-05-21 05:07:09] [INFO ] Deduced a trap composed of 74 places in 727 ms of which 5 ms to minimize.
[2024-05-21 05:07:10] [INFO ] Deduced a trap composed of 79 places in 727 ms of which 4 ms to minimize.
[2024-05-21 05:07:11] [INFO ] Deduced a trap composed of 120 places in 727 ms of which 5 ms to minimize.
[2024-05-21 05:07:11] [INFO ] Deduced a trap composed of 60 places in 722 ms of which 5 ms to minimize.
[2024-05-21 05:07:12] [INFO ] Deduced a trap composed of 68 places in 721 ms of which 4 ms to minimize.
[2024-05-21 05:07:13] [INFO ] Deduced a trap composed of 52 places in 733 ms of which 4 ms to minimize.
[2024-05-21 05:07:14] [INFO ] Deduced a trap composed of 71 places in 725 ms of which 5 ms to minimize.
[2024-05-21 05:07:14] [INFO ] Deduced a trap composed of 82 places in 723 ms of which 4 ms to minimize.
[2024-05-21 05:07:15] [INFO ] Deduced a trap composed of 64 places in 666 ms of which 4 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/435 variables, 20/126 constraints. Problems are: Problem set: 0 solved, 181 unsolved
[2024-05-21 05:07:24] [INFO ] Deduced a trap composed of 125 places in 721 ms of which 4 ms to minimize.
[2024-05-21 05:07:25] [INFO ] Deduced a trap composed of 128 places in 677 ms of which 4 ms to minimize.
[2024-05-21 05:07:26] [INFO ] Deduced a trap composed of 171 places in 744 ms of which 5 ms to minimize.
[2024-05-21 05:07:26] [INFO ] Deduced a trap composed of 93 places in 678 ms of which 4 ms to minimize.
[2024-05-21 05:07:27] [INFO ] Deduced a trap composed of 151 places in 629 ms of which 4 ms to minimize.
[2024-05-21 05:07:28] [INFO ] Deduced a trap composed of 98 places in 636 ms of which 4 ms to minimize.
[2024-05-21 05:07:28] [INFO ] Deduced a trap composed of 129 places in 651 ms of which 4 ms to minimize.
[2024-05-21 05:07:29] [INFO ] Deduced a trap composed of 130 places in 610 ms of which 4 ms to minimize.
[2024-05-21 05:07:30] [INFO ] Deduced a trap composed of 148 places in 643 ms of which 4 ms to minimize.
[2024-05-21 05:07:30] [INFO ] Deduced a trap composed of 169 places in 680 ms of which 4 ms to minimize.
[2024-05-21 05:07:31] [INFO ] Deduced a trap composed of 177 places in 665 ms of which 4 ms to minimize.
[2024-05-21 05:07:32] [INFO ] Deduced a trap composed of 107 places in 661 ms of which 4 ms to minimize.
[2024-05-21 05:07:36] [INFO ] Deduced a trap composed of 111 places in 640 ms of which 4 ms to minimize.
[2024-05-21 05:07:37] [INFO ] Deduced a trap composed of 115 places in 665 ms of which 4 ms to minimize.
[2024-05-21 05:07:37] [INFO ] Deduced a trap composed of 130 places in 636 ms of which 4 ms to minimize.
[2024-05-21 05:07:38] [INFO ] Deduced a trap composed of 129 places in 680 ms of which 4 ms to minimize.
[2024-05-21 05:07:39] [INFO ] Deduced a trap composed of 129 places in 675 ms of which 4 ms to minimize.
[2024-05-21 05:07:39] [INFO ] Deduced a trap composed of 186 places in 649 ms of which 4 ms to minimize.
[2024-05-21 05:07:40] [INFO ] Deduced a trap composed of 184 places in 648 ms of which 4 ms to minimize.
[2024-05-21 05:07:41] [INFO ] Deduced a trap composed of 129 places in 710 ms of which 4 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/435 variables, 20/146 constraints. Problems are: Problem set: 0 solved, 181 unsolved
[2024-05-21 05:07:58] [INFO ] Deduced a trap composed of 82 places in 697 ms of which 5 ms to minimize.
[2024-05-21 05:07:59] [INFO ] Deduced a trap composed of 60 places in 651 ms of which 4 ms to minimize.
[2024-05-21 05:08:00] [INFO ] Deduced a trap composed of 80 places in 651 ms of which 5 ms to minimize.
[2024-05-21 05:08:00] [INFO ] Deduced a trap composed of 74 places in 704 ms of which 4 ms to minimize.
[2024-05-21 05:08:01] [INFO ] Deduced a trap composed of 53 places in 708 ms of which 4 ms to minimize.
[2024-05-21 05:08:02] [INFO ] Deduced a trap composed of 101 places in 665 ms of which 4 ms to minimize.
[2024-05-21 05:08:03] [INFO ] Deduced a trap composed of 76 places in 764 ms of which 5 ms to minimize.
[2024-05-21 05:08:03] [INFO ] Deduced a trap composed of 106 places in 661 ms of which 5 ms to minimize.
[2024-05-21 05:08:04] [INFO ] Deduced a trap composed of 82 places in 681 ms of which 6 ms to minimize.
[2024-05-21 05:08:05] [INFO ] Deduced a trap composed of 95 places in 730 ms of which 5 ms to minimize.
[2024-05-21 05:08:06] [INFO ] Deduced a trap composed of 103 places in 739 ms of which 5 ms to minimize.
[2024-05-21 05:08:06] [INFO ] Deduced a trap composed of 107 places in 736 ms of which 4 ms to minimize.
SMT process timed out in 151421ms, After SMT, problems are : Problem set: 0 solved, 181 unsolved
Fused 181 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 87 out of 436 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 436/436 places, 2853/2853 transitions.
Discarding 59 places :
Symmetric choice reduction at 0 with 59 rule applications. Total rules 59 place count 377 transition count 2274
Iterating global reduction 0 with 59 rules applied. Total rules applied 118 place count 377 transition count 2274
Applied a total of 118 rules in 86 ms. Remains 377 /436 variables (removed 59) and now considering 2274/2853 (removed 579) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 87 ms. Remains : 377/436 places, 2274/2853 transitions.
RANDOM walk for 4000000 steps (8 resets) in 73982 ms. (54 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40003 steps (8 resets) in 311 ms. (128 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40004 steps (8 resets) in 292 ms. (136 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40003 steps (8 resets) in 409 ms. (97 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40002 steps (8 resets) in 456 ms. (87 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40003 steps (8 resets) in 514 ms. (77 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40003 steps (8 resets) in 409 ms. (97 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40003 steps (8 resets) in 439 ms. (90 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40003 steps (8 resets) in 392 ms. (101 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40003 steps (8 resets) in 452 ms. (88 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40003 steps (8 resets) in 542 ms. (73 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40003 steps (8 resets) in 513 ms. (77 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40002 steps (8 resets) in 462 ms. (86 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40004 steps (8 resets) in 352 ms. (113 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40003 steps (8 resets) in 294 ms. (135 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40004 steps (8 resets) in 386 ms. (103 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40003 steps (8 resets) in 377 ms. (105 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40003 steps (8 resets) in 459 ms. (86 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40002 steps (8 resets) in 451 ms. (88 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40001 steps (8 resets) in 454 ms. (87 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40002 steps (8 resets) in 475 ms. (84 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40002 steps (8 resets) in 475 ms. (84 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40002 steps (8 resets) in 535 ms. (74 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40004 steps (8 resets) in 273 ms. (146 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40003 steps (8 resets) in 358 ms. (111 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40001 steps (8 resets) in 372 ms. (107 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40002 steps (8 resets) in 572 ms. (69 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40002 steps (8 resets) in 537 ms. (74 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40002 steps (8 resets) in 499 ms. (80 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40001 steps (8 resets) in 354 ms. (112 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40003 steps (8 resets) in 409 ms. (97 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40003 steps (8 resets) in 419 ms. (95 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40004 steps (8 resets) in 542 ms. (73 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40003 steps (8 resets) in 395 ms. (101 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40003 steps (8 resets) in 316 ms. (126 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40003 steps (8 resets) in 282 ms. (141 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40002 steps (8 resets) in 318 ms. (125 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40002 steps (8 resets) in 362 ms. (110 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40002 steps (8 resets) in 402 ms. (99 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40003 steps (8 resets) in 347 ms. (114 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40003 steps (8 resets) in 418 ms. (95 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40003 steps (8 resets) in 371 ms. (107 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40001 steps (8 resets) in 407 ms. (98 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40003 steps (8 resets) in 362 ms. (110 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40003 steps (8 resets) in 371 ms. (107 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40003 steps (8 resets) in 423 ms. (94 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40003 steps (8 resets) in 288 ms. (138 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40003 steps (8 resets) in 281 ms. (141 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40003 steps (8 resets) in 326 ms. (122 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40003 steps (8 resets) in 355 ms. (112 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40003 steps (8 resets) in 425 ms. (93 steps per ms) remains 181/181 properties
Interrupted probabilistic random walk after 1729262 steps, run timeout after 78001 ms. (steps per millisecond=22 ) properties seen :0 out of 181
Probabilistic random walk after 1729262 steps, saw 1225619 distinct states, run finished after 78011 ms. (steps per millisecond=22 ) properties seen :0
// Phase 1: matrix 2274 rows 377 cols
[2024-05-21 05:09:51] [INFO ] Computed 24 invariants in 15 ms
[2024-05-21 05:09:51] [INFO ] State equation strengthened by 110 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/87 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 181 unsolved
At refinement iteration 1 (OVERLAPS) 263/350 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 181 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/350 variables, 0/11 constraints. Problems are: Problem set: 0 solved, 181 unsolved
At refinement iteration 3 (OVERLAPS) 26/376 variables, 12/23 constraints. Problems are: Problem set: 0 solved, 181 unsolved
[2024-05-21 05:09:57] [INFO ] Deduced a trap composed of 94 places in 523 ms of which 4 ms to minimize.
[2024-05-21 05:09:57] [INFO ] Deduced a trap composed of 56 places in 534 ms of which 4 ms to minimize.
[2024-05-21 05:09:58] [INFO ] Deduced a trap composed of 108 places in 514 ms of which 4 ms to minimize.
[2024-05-21 05:09:58] [INFO ] Deduced a trap composed of 82 places in 512 ms of which 3 ms to minimize.
[2024-05-21 05:09:59] [INFO ] Deduced a trap composed of 108 places in 470 ms of which 4 ms to minimize.
[2024-05-21 05:10:00] [INFO ] Deduced a trap composed of 83 places in 559 ms of which 4 ms to minimize.
[2024-05-21 05:10:00] [INFO ] Deduced a trap composed of 92 places in 543 ms of which 4 ms to minimize.
[2024-05-21 05:10:01] [INFO ] Deduced a trap composed of 71 places in 538 ms of which 4 ms to minimize.
[2024-05-21 05:10:01] [INFO ] Deduced a trap composed of 92 places in 529 ms of which 4 ms to minimize.
[2024-05-21 05:10:02] [INFO ] Deduced a trap composed of 191 places in 520 ms of which 3 ms to minimize.
[2024-05-21 05:10:02] [INFO ] Deduced a trap composed of 167 places in 491 ms of which 4 ms to minimize.
[2024-05-21 05:10:03] [INFO ] Deduced a trap composed of 81 places in 519 ms of which 4 ms to minimize.
[2024-05-21 05:10:03] [INFO ] Deduced a trap composed of 124 places in 507 ms of which 4 ms to minimize.
[2024-05-21 05:10:04] [INFO ] Deduced a trap composed of 96 places in 512 ms of which 3 ms to minimize.
[2024-05-21 05:10:04] [INFO ] Deduced a trap composed of 130 places in 519 ms of which 3 ms to minimize.
[2024-05-21 05:10:05] [INFO ] Deduced a trap composed of 80 places in 684 ms of which 4 ms to minimize.
[2024-05-21 05:10:06] [INFO ] Deduced a trap composed of 73 places in 546 ms of which 4 ms to minimize.
[2024-05-21 05:10:06] [INFO ] Deduced a trap composed of 109 places in 535 ms of which 3 ms to minimize.
[2024-05-21 05:10:07] [INFO ] Deduced a trap composed of 144 places in 545 ms of which 3 ms to minimize.
[2024-05-21 05:10:07] [INFO ] Deduced a trap composed of 113 places in 543 ms of which 4 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/376 variables, 20/43 constraints. Problems are: Problem set: 0 solved, 181 unsolved
[2024-05-21 05:10:08] [INFO ] Deduced a trap composed of 113 places in 671 ms of which 6 ms to minimize.
[2024-05-21 05:10:09] [INFO ] Deduced a trap composed of 64 places in 831 ms of which 6 ms to minimize.
[2024-05-21 05:10:10] [INFO ] Deduced a trap composed of 139 places in 895 ms of which 6 ms to minimize.
[2024-05-21 05:10:11] [INFO ] Deduced a trap composed of 110 places in 847 ms of which 6 ms to minimize.
[2024-05-21 05:10:12] [INFO ] Deduced a trap composed of 96 places in 865 ms of which 6 ms to minimize.
[2024-05-21 05:10:13] [INFO ] Deduced a trap composed of 99 places in 858 ms of which 6 ms to minimize.
[2024-05-21 05:10:13] [INFO ] Deduced a trap composed of 89 places in 653 ms of which 3 ms to minimize.
[2024-05-21 05:10:14] [INFO ] Deduced a trap composed of 91 places in 836 ms of which 6 ms to minimize.
[2024-05-21 05:10:15] [INFO ] Deduced a trap composed of 128 places in 701 ms of which 4 ms to minimize.
[2024-05-21 05:10:16] [INFO ] Deduced a trap composed of 124 places in 717 ms of which 4 ms to minimize.
[2024-05-21 05:10:16] [INFO ] Deduced a trap composed of 101 places in 810 ms of which 4 ms to minimize.
[2024-05-21 05:10:17] [INFO ] Deduced a trap composed of 93 places in 885 ms of which 6 ms to minimize.
[2024-05-21 05:10:18] [INFO ] Deduced a trap composed of 123 places in 864 ms of which 6 ms to minimize.
[2024-05-21 05:10:19] [INFO ] Deduced a trap composed of 68 places in 895 ms of which 5 ms to minimize.
[2024-05-21 05:10:20] [INFO ] Deduced a trap composed of 69 places in 860 ms of which 6 ms to minimize.
[2024-05-21 05:10:21] [INFO ] Deduced a trap composed of 97 places in 906 ms of which 6 ms to minimize.
[2024-05-21 05:10:22] [INFO ] Deduced a trap composed of 66 places in 900 ms of which 6 ms to minimize.
[2024-05-21 05:10:23] [INFO ] Deduced a trap composed of 71 places in 889 ms of which 6 ms to minimize.
[2024-05-21 05:10:24] [INFO ] Deduced a trap composed of 91 places in 891 ms of which 6 ms to minimize.
[2024-05-21 05:10:25] [INFO ] Deduced a trap composed of 68 places in 879 ms of which 7 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/376 variables, 20/63 constraints. Problems are: Problem set: 0 solved, 181 unsolved
[2024-05-21 05:10:26] [INFO ] Deduced a trap composed of 63 places in 801 ms of which 6 ms to minimize.
[2024-05-21 05:10:27] [INFO ] Deduced a trap composed of 88 places in 896 ms of which 6 ms to minimize.
[2024-05-21 05:10:28] [INFO ] Deduced a trap composed of 81 places in 861 ms of which 5 ms to minimize.
[2024-05-21 05:10:29] [INFO ] Deduced a trap composed of 156 places in 771 ms of which 4 ms to minimize.
[2024-05-21 05:10:30] [INFO ] Deduced a trap composed of 104 places in 555 ms of which 4 ms to minimize.
[2024-05-21 05:10:30] [INFO ] Deduced a trap composed of 154 places in 706 ms of which 6 ms to minimize.
[2024-05-21 05:10:31] [INFO ] Deduced a trap composed of 163 places in 850 ms of which 6 ms to minimize.
[2024-05-21 05:10:32] [INFO ] Deduced a trap composed of 126 places in 768 ms of which 4 ms to minimize.
[2024-05-21 05:10:33] [INFO ] Deduced a trap composed of 154 places in 713 ms of which 5 ms to minimize.
[2024-05-21 05:10:34] [INFO ] Deduced a trap composed of 162 places in 916 ms of which 6 ms to minimize.
[2024-05-21 05:10:34] [INFO ] Deduced a trap composed of 102 places in 861 ms of which 6 ms to minimize.
[2024-05-21 05:10:35] [INFO ] Deduced a trap composed of 101 places in 876 ms of which 6 ms to minimize.
[2024-05-21 05:10:36] [INFO ] Deduced a trap composed of 127 places in 895 ms of which 6 ms to minimize.
[2024-05-21 05:10:37] [INFO ] Deduced a trap composed of 124 places in 919 ms of which 6 ms to minimize.
[2024-05-21 05:10:38] [INFO ] Deduced a trap composed of 116 places in 902 ms of which 6 ms to minimize.
[2024-05-21 05:10:39] [INFO ] Deduced a trap composed of 107 places in 880 ms of which 6 ms to minimize.
[2024-05-21 05:10:40] [INFO ] Deduced a trap composed of 113 places in 899 ms of which 6 ms to minimize.
[2024-05-21 05:10:41] [INFO ] Deduced a trap composed of 117 places in 900 ms of which 6 ms to minimize.
[2024-05-21 05:10:42] [INFO ] Deduced a trap composed of 121 places in 913 ms of which 6 ms to minimize.
[2024-05-21 05:10:42] [INFO ] Deduced a trap composed of 134 places in 595 ms of which 4 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/376 variables, 20/83 constraints. Problems are: Problem set: 0 solved, 181 unsolved
[2024-05-21 05:10:46] [INFO ] Deduced a trap composed of 89 places in 556 ms of which 4 ms to minimize.
[2024-05-21 05:10:46] [INFO ] Deduced a trap composed of 156 places in 591 ms of which 4 ms to minimize.
[2024-05-21 05:10:47] [INFO ] Deduced a trap composed of 123 places in 603 ms of which 4 ms to minimize.
[2024-05-21 05:10:48] [INFO ] Deduced a trap composed of 86 places in 592 ms of which 4 ms to minimize.
[2024-05-21 05:10:48] [INFO ] Deduced a trap composed of 71 places in 588 ms of which 4 ms to minimize.
[2024-05-21 05:10:49] [INFO ] Deduced a trap composed of 142 places in 599 ms of which 4 ms to minimize.
[2024-05-21 05:10:49] [INFO ] Deduced a trap composed of 86 places in 586 ms of which 4 ms to minimize.
[2024-05-21 05:10:50] [INFO ] Deduced a trap composed of 52 places in 556 ms of which 4 ms to minimize.
[2024-05-21 05:10:51] [INFO ] Deduced a trap composed of 128 places in 579 ms of which 4 ms to minimize.
[2024-05-21 05:10:51] [INFO ] Deduced a trap composed of 93 places in 582 ms of which 3 ms to minimize.
[2024-05-21 05:10:52] [INFO ] Deduced a trap composed of 124 places in 641 ms of which 4 ms to minimize.
[2024-05-21 05:10:53] [INFO ] Deduced a trap composed of 131 places in 673 ms of which 4 ms to minimize.
[2024-05-21 05:10:53] [INFO ] Deduced a trap composed of 119 places in 578 ms of which 4 ms to minimize.
[2024-05-21 05:10:54] [INFO ] Deduced a trap composed of 133 places in 568 ms of which 4 ms to minimize.
[2024-05-21 05:10:54] [INFO ] Deduced a trap composed of 148 places in 578 ms of which 4 ms to minimize.
[2024-05-21 05:10:55] [INFO ] Deduced a trap composed of 174 places in 580 ms of which 4 ms to minimize.
[2024-05-21 05:10:56] [INFO ] Deduced a trap composed of 145 places in 572 ms of which 5 ms to minimize.
[2024-05-21 05:10:56] [INFO ] Deduced a trap composed of 64 places in 679 ms of which 4 ms to minimize.
[2024-05-21 05:10:57] [INFO ] Deduced a trap composed of 144 places in 596 ms of which 4 ms to minimize.
[2024-05-21 05:10:57] [INFO ] Deduced a trap composed of 134 places in 583 ms of which 4 ms to minimize.
At refinement iteration 7 (INCLUDED_ONLY) 0/376 variables, 20/103 constraints. Problems are: Problem set: 0 solved, 181 unsolved
[2024-05-21 05:10:59] [INFO ] Deduced a trap composed of 73 places in 576 ms of which 5 ms to minimize.
[2024-05-21 05:11:00] [INFO ] Deduced a trap composed of 77 places in 573 ms of which 4 ms to minimize.
[2024-05-21 05:11:00] [INFO ] Deduced a trap composed of 93 places in 572 ms of which 5 ms to minimize.
[2024-05-21 05:11:01] [INFO ] Deduced a trap composed of 89 places in 600 ms of which 4 ms to minimize.
[2024-05-21 05:11:02] [INFO ] Deduced a trap composed of 106 places in 613 ms of which 4 ms to minimize.
[2024-05-21 05:11:03] [INFO ] Deduced a trap composed of 66 places in 600 ms of which 4 ms to minimize.
[2024-05-21 05:11:03] [INFO ] Deduced a trap composed of 86 places in 599 ms of which 4 ms to minimize.
[2024-05-21 05:11:04] [INFO ] Deduced a trap composed of 62 places in 605 ms of which 4 ms to minimize.
[2024-05-21 05:11:05] [INFO ] Deduced a trap composed of 108 places in 609 ms of which 4 ms to minimize.
[2024-05-21 05:11:05] [INFO ] Deduced a trap composed of 106 places in 614 ms of which 4 ms to minimize.
[2024-05-21 05:11:06] [INFO ] Deduced a trap composed of 133 places in 610 ms of which 4 ms to minimize.
[2024-05-21 05:11:07] [INFO ] Deduced a trap composed of 85 places in 653 ms of which 5 ms to minimize.
[2024-05-21 05:11:07] [INFO ] Deduced a trap composed of 89 places in 716 ms of which 4 ms to minimize.
[2024-05-21 05:11:08] [INFO ] Deduced a trap composed of 108 places in 607 ms of which 4 ms to minimize.
[2024-05-21 05:11:09] [INFO ] Deduced a trap composed of 107 places in 610 ms of which 4 ms to minimize.
[2024-05-21 05:11:09] [INFO ] Deduced a trap composed of 51 places in 643 ms of which 4 ms to minimize.
[2024-05-21 05:11:10] [INFO ] Deduced a trap composed of 60 places in 597 ms of which 4 ms to minimize.
[2024-05-21 05:11:11] [INFO ] Deduced a trap composed of 85 places in 582 ms of which 4 ms to minimize.
[2024-05-21 05:11:11] [INFO ] Deduced a trap composed of 137 places in 684 ms of which 5 ms to minimize.
[2024-05-21 05:11:12] [INFO ] Deduced a trap composed of 120 places in 535 ms of which 4 ms to minimize.
At refinement iteration 8 (INCLUDED_ONLY) 0/376 variables, 20/123 constraints. Problems are: Problem set: 0 solved, 181 unsolved
[2024-05-21 05:11:18] [INFO ] Deduced a trap composed of 119 places in 605 ms of which 4 ms to minimize.
[2024-05-21 05:11:18] [INFO ] Deduced a trap composed of 143 places in 588 ms of which 4 ms to minimize.
[2024-05-21 05:11:19] [INFO ] Deduced a trap composed of 150 places in 546 ms of which 4 ms to minimize.
[2024-05-21 05:11:20] [INFO ] Deduced a trap composed of 79 places in 608 ms of which 4 ms to minimize.
[2024-05-21 05:11:21] [INFO ] Deduced a trap composed of 94 places in 562 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 376/2651 variables, and 128 constraints, problems are : Problem set: 0 solved, 181 unsolved in 90014 ms.
Refiners :[Positive P Invariants (semi-flows): 11/12 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 0/377 constraints, ReadFeed: 0/110 constraints, PredecessorRefiner: 181/181 constraints, Known Traps: 105/105 constraints]
Escalating to Integer solving :Problem set: 0 solved, 181 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/87 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 181 unsolved
At refinement iteration 1 (OVERLAPS) 263/350 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 181 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/350 variables, 0/11 constraints. Problems are: Problem set: 0 solved, 181 unsolved
At refinement iteration 3 (OVERLAPS) 26/376 variables, 12/23 constraints. Problems are: Problem set: 0 solved, 181 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/376 variables, 105/128 constraints. Problems are: Problem set: 0 solved, 181 unsolved
[2024-05-21 05:11:36] [INFO ] Deduced a trap composed of 72 places in 752 ms of which 4 ms to minimize.
[2024-05-21 05:11:38] [INFO ] Deduced a trap composed of 87 places in 856 ms of which 6 ms to minimize.
[2024-05-21 05:11:39] [INFO ] Deduced a trap composed of 65 places in 886 ms of which 6 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/376 variables, 3/131 constraints. Problems are: Problem set: 0 solved, 181 unsolved
[2024-05-21 05:11:48] [INFO ] Deduced a trap composed of 105 places in 882 ms of which 6 ms to minimize.
[2024-05-21 05:11:49] [INFO ] Deduced a trap composed of 95 places in 863 ms of which 6 ms to minimize.
[2024-05-21 05:11:49] [INFO ] Deduced a trap composed of 43 places in 854 ms of which 5 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/376 variables, 3/134 constraints. Problems are: Problem set: 0 solved, 181 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/376 variables, 0/134 constraints. Problems are: Problem set: 0 solved, 181 unsolved
At refinement iteration 8 (OVERLAPS) 1/377 variables, 1/135 constraints. Problems are: Problem set: 0 solved, 181 unsolved
[2024-05-21 05:12:11] [INFO ] Deduced a trap composed of 92 places in 609 ms of which 4 ms to minimize.
[2024-05-21 05:12:11] [INFO ] Deduced a trap composed of 68 places in 575 ms of which 4 ms to minimize.
[2024-05-21 05:12:12] [INFO ] Deduced a trap composed of 110 places in 591 ms of which 4 ms to minimize.
[2024-05-21 05:12:12] [INFO ] Deduced a trap composed of 125 places in 598 ms of which 4 ms to minimize.
[2024-05-21 05:12:13] [INFO ] Deduced a trap composed of 112 places in 586 ms of which 4 ms to minimize.
[2024-05-21 05:12:14] [INFO ] Deduced a trap composed of 99 places in 596 ms of which 4 ms to minimize.
[2024-05-21 05:12:14] [INFO ] Deduced a trap composed of 100 places in 592 ms of which 4 ms to minimize.
[2024-05-21 05:12:15] [INFO ] Deduced a trap composed of 92 places in 700 ms of which 4 ms to minimize.
[2024-05-21 05:12:16] [INFO ] Deduced a trap composed of 75 places in 611 ms of which 4 ms to minimize.
[2024-05-21 05:12:18] [INFO ] Deduced a trap composed of 103 places in 600 ms of which 4 ms to minimize.
[2024-05-21 05:12:18] [INFO ] Deduced a trap composed of 98 places in 708 ms of which 6 ms to minimize.
[2024-05-21 05:12:19] [INFO ] Deduced a trap composed of 114 places in 730 ms of which 3 ms to minimize.
[2024-05-21 05:12:20] [INFO ] Deduced a trap composed of 88 places in 609 ms of which 4 ms to minimize.
[2024-05-21 05:12:21] [INFO ] Deduced a trap composed of 124 places in 704 ms of which 4 ms to minimize.
[2024-05-21 05:12:21] [INFO ] Deduced a trap composed of 91 places in 626 ms of which 4 ms to minimize.
[2024-05-21 05:12:22] [INFO ] Deduced a trap composed of 84 places in 605 ms of which 4 ms to minimize.
[2024-05-21 05:12:23] [INFO ] Deduced a trap composed of 129 places in 623 ms of which 4 ms to minimize.
At refinement iteration 9 (INCLUDED_ONLY) 0/377 variables, 17/152 constraints. Problems are: Problem set: 0 solved, 181 unsolved
[2024-05-21 05:12:25] [INFO ] Deduced a trap composed of 55 places in 605 ms of which 5 ms to minimize.
[2024-05-21 05:12:29] [INFO ] Deduced a trap composed of 43 places in 553 ms of which 3 ms to minimize.
[2024-05-21 05:12:30] [INFO ] Deduced a trap composed of 124 places in 602 ms of which 3 ms to minimize.
[2024-05-21 05:12:30] [INFO ] Deduced a trap composed of 123 places in 614 ms of which 4 ms to minimize.
[2024-05-21 05:12:31] [INFO ] Deduced a trap composed of 111 places in 626 ms of which 4 ms to minimize.
[2024-05-21 05:12:32] [INFO ] Deduced a trap composed of 110 places in 647 ms of which 5 ms to minimize.
[2024-05-21 05:12:32] [INFO ] Deduced a trap composed of 126 places in 590 ms of which 5 ms to minimize.
[2024-05-21 05:12:33] [INFO ] Deduced a trap composed of 119 places in 612 ms of which 4 ms to minimize.
[2024-05-21 05:12:34] [INFO ] Deduced a trap composed of 111 places in 597 ms of which 4 ms to minimize.
[2024-05-21 05:12:34] [INFO ] Deduced a trap composed of 55 places in 570 ms of which 4 ms to minimize.
[2024-05-21 05:12:35] [INFO ] Deduced a trap composed of 92 places in 609 ms of which 4 ms to minimize.
At refinement iteration 10 (INCLUDED_ONLY) 0/377 variables, 11/163 constraints. Problems are: Problem set: 0 solved, 181 unsolved
[2024-05-21 05:12:40] [INFO ] Deduced a trap composed of 69 places in 584 ms of which 4 ms to minimize.
[2024-05-21 05:12:42] [INFO ] Deduced a trap composed of 53 places in 618 ms of which 4 ms to minimize.
At refinement iteration 11 (INCLUDED_ONLY) 0/377 variables, 2/165 constraints. Problems are: Problem set: 0 solved, 181 unsolved
[2024-05-21 05:12:47] [INFO ] Deduced a trap composed of 65 places in 601 ms of which 4 ms to minimize.
[2024-05-21 05:12:49] [INFO ] Deduced a trap composed of 107 places in 613 ms of which 4 ms to minimize.
At refinement iteration 12 (INCLUDED_ONLY) 0/377 variables, 2/167 constraints. Problems are: Problem set: 0 solved, 181 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 377/2651 variables, and 167 constraints, problems are : Problem set: 0 solved, 181 unsolved in 90011 ms.
Refiners :[Positive P Invariants (semi-flows): 12/12 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 0/377 constraints, ReadFeed: 0/110 constraints, PredecessorRefiner: 0/181 constraints, Known Traps: 143/143 constraints]
After SMT, in 180914ms problems are : Problem set: 0 solved, 181 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 87 out of 377 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 377/377 places, 2274/2274 transitions.
Applied a total of 0 rules in 43 ms. Remains 377 /377 variables (removed 0) and now considering 2274/2274 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 45 ms. Remains : 377/377 places, 2274/2274 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 377/377 places, 2274/2274 transitions.
Applied a total of 0 rules in 38 ms. Remains 377 /377 variables (removed 0) and now considering 2274/2274 (removed 0) transitions.
[2024-05-21 05:12:52] [INFO ] Invariant cache hit.
[2024-05-21 05:12:53] [INFO ] Implicit Places using invariants in 660 ms returned []
[2024-05-21 05:12:53] [INFO ] Invariant cache hit.
[2024-05-21 05:12:54] [INFO ] State equation strengthened by 110 read => feed constraints.
[2024-05-21 05:12:57] [INFO ] Implicit Places using invariants and state equation in 3796 ms returned []
Implicit Place search using SMT with State Equation took 4460 ms to find 0 implicit places.
[2024-05-21 05:12:57] [INFO ] Redundant transitions in 148 ms returned []
Running 2263 sub problems to find dead transitions.
[2024-05-21 05:12:57] [INFO ] Invariant cache hit.
[2024-05-21 05:12:57] [INFO ] State equation strengthened by 110 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/377 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 2263 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/377 variables, 12/24 constraints. Problems are: Problem set: 0 solved, 2263 unsolved
[2024-05-21 05:13:28] [INFO ] Deduced a trap composed of 91 places in 754 ms of which 4 ms to minimize.
[2024-05-21 05:13:29] [INFO ] Deduced a trap composed of 120 places in 628 ms of which 4 ms to minimize.
[2024-05-21 05:13:30] [INFO ] Deduced a trap composed of 115 places in 584 ms of which 5 ms to minimize.
[2024-05-21 05:13:30] [INFO ] Deduced a trap composed of 96 places in 618 ms of which 4 ms to minimize.
[2024-05-21 05:13:31] [INFO ] Deduced a trap composed of 111 places in 613 ms of which 7 ms to minimize.
[2024-05-21 05:13:32] [INFO ] Deduced a trap composed of 76 places in 718 ms of which 6 ms to minimize.
[2024-05-21 05:13:33] [INFO ] Deduced a trap composed of 103 places in 826 ms of which 4 ms to minimize.
[2024-05-21 05:13:33] [INFO ] Deduced a trap composed of 110 places in 548 ms of which 4 ms to minimize.
[2024-05-21 05:13:34] [INFO ] Deduced a trap composed of 135 places in 695 ms of which 5 ms to minimize.
[2024-05-21 05:13:34] [INFO ] Deduced a trap composed of 136 places in 603 ms of which 4 ms to minimize.
[2024-05-21 05:13:35] [INFO ] Deduced a trap composed of 209 places in 589 ms of which 6 ms to minimize.
SMT process timed out in 38158ms, After SMT, problems are : Problem set: 0 solved, 2263 unsolved
Search for dead transitions found 0 dead transitions in 38196ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 42867 ms. Remains : 377/377 places, 2274/2274 transitions.
RANDOM walk for 400000 steps (8 resets) in 5837 ms. (68 steps per ms) remains 3/87 properties
Running SMT prover for 3 properties.
[2024-05-21 05:13:37] [INFO ] Invariant cache hit.
[2024-05-21 05:13:37] [INFO ] [Real]Absence check using 12 positive place invariants in 6 ms returned sat
[2024-05-21 05:13:37] [INFO ] [Real]Absence check using 12 positive and 12 generalized place invariants in 20 ms returned sat
[2024-05-21 05:13:38] [INFO ] After 1244ms SMT Verify possible using state equation in real domain returned unsat :0 sat :3
[2024-05-21 05:13:38] [INFO ] State equation strengthened by 110 read => feed constraints.
[2024-05-21 05:13:39] [INFO ] After 405ms SMT Verify possible using 110 Read/Feed constraints in real domain returned unsat :0 sat :3
TRAPS : Iteration 0
[2024-05-21 05:13:39] [INFO ] After 890ms SMT Verify possible using trap constraints in real domain returned unsat :0 sat :0 real:3
[2024-05-21 05:13:39] [INFO ] After 2293ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:3
[2024-05-21 05:13:39] [INFO ] [Nat]Absence check using 12 positive place invariants in 6 ms returned sat
[2024-05-21 05:13:39] [INFO ] [Nat]Absence check using 12 positive and 12 generalized place invariants in 13 ms returned sat
[2024-05-21 05:13:41] [INFO ] After 1489ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :3
[2024-05-21 05:13:41] [INFO ] After 278ms SMT Verify possible using 110 Read/Feed constraints in natural domain returned unsat :0 sat :3
TRAPS : Iteration 0
[2024-05-21 05:13:42] [INFO ] After 769ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :3
[2024-05-21 05:13:42] [INFO ] After 2632ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :3
RANDOM walk for 3344787 steps (8 resets) in 120004 ms. (27 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40003 steps (8 resets) in 517 ms. (77 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40001 steps (8 resets) in 434 ms. (91 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40003 steps (8 resets) in 530 ms. (75 steps per ms) remains 181/181 properties
BEST_FIRST walk for 40003 steps (8 resets) in 467 ms. (85 steps per ms) remains 180/181 properties
BEST_FIRST walk for 40004 steps (8 resets) in 792 ms. (50 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40003 steps (8 resets) in 630 ms. (63 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40003 steps (8 resets) in 579 ms. (68 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40002 steps (8 resets) in 708 ms. (56 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40003 steps (8 resets) in 603 ms. (66 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40004 steps (8 resets) in 668 ms. (59 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40003 steps (8 resets) in 522 ms. (76 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40003 steps (8 resets) in 583 ms. (68 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40002 steps (8 resets) in 656 ms. (60 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40003 steps (8 resets) in 588 ms. (67 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40002 steps (8 resets) in 647 ms. (61 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40002 steps (8 resets) in 647 ms. (61 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40002 steps (8 resets) in 816 ms. (48 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40002 steps (8 resets) in 576 ms. (69 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40002 steps (8 resets) in 524 ms. (76 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40003 steps (8 resets) in 769 ms. (51 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40002 steps (8 resets) in 819 ms. (48 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40001 steps (8 resets) in 651 ms. (61 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40002 steps (8 resets) in 521 ms. (76 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40002 steps (8 resets) in 449 ms. (88 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40004 steps (8 resets) in 555 ms. (71 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40002 steps (8 resets) in 599 ms. (66 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40003 steps (8 resets) in 878 ms. (45 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40004 steps (8 resets) in 697 ms. (57 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40002 steps (8 resets) in 870 ms. (45 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40001 steps (8 resets) in 512 ms. (77 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40002 steps (8 resets) in 625 ms. (63 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40004 steps (8 resets) in 579 ms. (68 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40002 steps (8 resets) in 562 ms. (71 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40003 steps (8 resets) in 439 ms. (90 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40004 steps (8 resets) in 417 ms. (95 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40001 steps (8 resets) in 403 ms. (99 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40004 steps (8 resets) in 768 ms. (52 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40003 steps (8 resets) in 718 ms. (55 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40003 steps (8 resets) in 679 ms. (58 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40004 steps (8 resets) in 593 ms. (67 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40003 steps (8 resets) in 670 ms. (59 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40002 steps (8 resets) in 681 ms. (58 steps per ms) remains 180/180 properties
BEST_FIRST walk for 40004 steps (8 resets) in 510 ms. (78 steps per ms) remains 178/180 properties
BEST_FIRST walk for 40003 steps (8 resets) in 625 ms. (63 steps per ms) remains 178/178 properties
BEST_FIRST walk for 40004 steps (8 resets) in 765 ms. (52 steps per ms) remains 178/178 properties
BEST_FIRST walk for 40003 steps (8 resets) in 561 ms. (71 steps per ms) remains 178/178 properties
BEST_FIRST walk for 40004 steps (8 resets) in 382 ms. (104 steps per ms) remains 176/178 properties
BEST_FIRST walk for 40004 steps (8 resets) in 627 ms. (63 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40002 steps (8 resets) in 837 ms. (47 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40002 steps (8 resets) in 566 ms. (70 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40004 steps (8 resets) in 671 ms. (59 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40002 steps (8 resets) in 686 ms. (58 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40003 steps (8 resets) in 642 ms. (62 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40002 steps (8 resets) in 682 ms. (58 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40001 steps (8 resets) in 846 ms. (47 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40003 steps (8 resets) in 622 ms. (64 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40002 steps (8 resets) in 712 ms. (56 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40001 steps (8 resets) in 658 ms. (60 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40004 steps (8 resets) in 422 ms. (94 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40003 steps (8 resets) in 497 ms. (80 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40004 steps (8 resets) in 673 ms. (59 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40001 steps (8 resets) in 656 ms. (60 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40004 steps (8 resets) in 447 ms. (89 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40002 steps (8 resets) in 599 ms. (66 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40002 steps (8 resets) in 661 ms. (60 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40004 steps (8 resets) in 602 ms. (66 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40002 steps (8 resets) in 591 ms. (67 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40002 steps (8 resets) in 748 ms. (53 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40004 steps (8 resets) in 739 ms. (54 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40003 steps (8 resets) in 675 ms. (59 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40002 steps (8 resets) in 810 ms. (49 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40001 steps (8 resets) in 710 ms. (56 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40003 steps (8 resets) in 592 ms. (67 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40003 steps (8 resets) in 620 ms. (64 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40000 steps (8 resets) in 746 ms. (53 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40002 steps (8 resets) in 585 ms. (68 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40002 steps (8 resets) in 458 ms. (87 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40004 steps (8 resets) in 505 ms. (79 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40003 steps (8 resets) in 635 ms. (62 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40003 steps (8 resets) in 384 ms. (103 steps per ms) remains 176/176 properties
BEST_FIRST walk for 40001 steps (8 resets) in 799 ms. (50 steps per ms) remains 175/176 properties
BEST_FIRST walk for 40003 steps (8 resets) in 527 ms. (75 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40003 steps (8 resets) in 778 ms. (51 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40003 steps (8 resets) in 709 ms. (56 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40001 steps (8 resets) in 753 ms. (53 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40003 steps (8 resets) in 572 ms. (69 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40002 steps (8 resets) in 663 ms. (60 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40002 steps (8 resets) in 586 ms. (68 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40003 steps (8 resets) in 622 ms. (64 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 620 ms. (64 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40002 steps (8 resets) in 981 ms. (40 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 824 ms. (48 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40002 steps (8 resets) in 578 ms. (69 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40003 steps (8 resets) in 534 ms. (74 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40002 steps (8 resets) in 680 ms. (58 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40002 steps (8 resets) in 842 ms. (47 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40003 steps (8 resets) in 611 ms. (65 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40003 steps (8 resets) in 665 ms. (60 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40002 steps (8 resets) in 640 ms. (62 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40001 steps (8 resets) in 710 ms. (56 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40003 steps (8 resets) in 645 ms. (61 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40001 steps (8 resets) in 840 ms. (47 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 751 ms. (53 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40002 steps (8 resets) in 572 ms. (69 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40003 steps (8 resets) in 667 ms. (59 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40003 steps (8 resets) in 580 ms. (68 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 621 ms. (64 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40002 steps (8 resets) in 604 ms. (66 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40003 steps (8 resets) in 664 ms. (60 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40003 steps (8 resets) in 545 ms. (73 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40001 steps (8 resets) in 553 ms. (72 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 451 ms. (88 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40004 steps (8 resets) in 461 ms. (86 steps per ms) remains 175/175 properties
BEST_FIRST walk for 40002 steps (8 resets) in 703 ms. (56 steps per ms) remains 172/175 properties
BEST_FIRST walk for 40002 steps (8 resets) in 760 ms. (52 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40002 steps (8 resets) in 655 ms. (60 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40003 steps (8 resets) in 595 ms. (67 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40004 steps (8 resets) in 593 ms. (67 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40002 steps (8 resets) in 488 ms. (81 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40001 steps (8 resets) in 645 ms. (61 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40003 steps (8 resets) in 596 ms. (67 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40004 steps (8 resets) in 674 ms. (59 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40002 steps (8 resets) in 641 ms. (62 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40003 steps (8 resets) in 730 ms. (54 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40004 steps (8 resets) in 523 ms. (76 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40002 steps (8 resets) in 799 ms. (50 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40004 steps (8 resets) in 544 ms. (73 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40002 steps (8 resets) in 622 ms. (64 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40002 steps (8 resets) in 522 ms. (76 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40003 steps (8 resets) in 673 ms. (59 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40004 steps (8 resets) in 553 ms. (72 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40001 steps (8 resets) in 493 ms. (80 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40003 steps (8 resets) in 549 ms. (72 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40004 steps (8 resets) in 703 ms. (56 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40003 steps (8 resets) in 559 ms. (71 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40001 steps (8 resets) in 622 ms. (64 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40002 steps (8 resets) in 455 ms. (87 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40002 steps (8 resets) in 512 ms. (77 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40003 steps (8 resets) in 468 ms. (85 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40002 steps (8 resets) in 587 ms. (68 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40004 steps (8 resets) in 609 ms. (65 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40002 steps (8 resets) in 522 ms. (76 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40003 steps (8 resets) in 637 ms. (62 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40002 steps (8 resets) in 582 ms. (68 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40002 steps (8 resets) in 641 ms. (62 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40003 steps (8 resets) in 585 ms. (68 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40004 steps (8 resets) in 581 ms. (68 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40004 steps (8 resets) in 670 ms. (59 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40002 steps (8 resets) in 644 ms. (62 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40004 steps (8 resets) in 665 ms. (60 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40003 steps (8 resets) in 520 ms. (76 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40002 steps (8 resets) in 671 ms. (59 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40002 steps (8 resets) in 667 ms. (59 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40003 steps (8 resets) in 439 ms. (90 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40002 steps (8 resets) in 505 ms. (79 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40003 steps (8 resets) in 572 ms. (69 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40002 steps (8 resets) in 661 ms. (60 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40003 steps (8 resets) in 562 ms. (71 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40004 steps (8 resets) in 689 ms. (57 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40001 steps (8 resets) in 773 ms. (51 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40001 steps (8 resets) in 451 ms. (88 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40004 steps (8 resets) in 653 ms. (61 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40003 steps (8 resets) in 697 ms. (57 steps per ms) remains 172/172 properties
Interrupted probabilistic random walk after 5443540 steps, run timeout after 192001 ms. (steps per millisecond=28 ) properties seen :0 out of 172
Probabilistic random walk after 5443540 steps, saw 3836896 distinct states, run finished after 192003 ms. (steps per millisecond=28 ) properties seen :0
[2024-05-21 05:17:58] [INFO ] Invariant cache hit.
[2024-05-21 05:17:58] [INFO ] State equation strengthened by 110 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/87 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 172 unsolved
At refinement iteration 1 (OVERLAPS) 263/350 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 172 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/350 variables, 0/11 constraints. Problems are: Problem set: 0 solved, 172 unsolved
At refinement iteration 3 (OVERLAPS) 26/376 variables, 12/23 constraints. Problems are: Problem set: 0 solved, 172 unsolved
[2024-05-21 05:18:06] [INFO ] Deduced a trap composed of 124 places in 902 ms of which 7 ms to minimize.
[2024-05-21 05:18:10] [INFO ] Deduced a trap composed of 93 places in 788 ms of which 6 ms to minimize.
[2024-05-21 05:18:11] [INFO ] Deduced a trap composed of 97 places in 932 ms of which 6 ms to minimize.
[2024-05-21 05:18:12] [INFO ] Deduced a trap composed of 134 places in 915 ms of which 6 ms to minimize.
[2024-05-21 05:18:13] [INFO ] Deduced a trap composed of 101 places in 865 ms of which 6 ms to minimize.
[2024-05-21 05:18:14] [INFO ] Deduced a trap composed of 111 places in 898 ms of which 6 ms to minimize.
[2024-05-21 05:18:15] [INFO ] Deduced a trap composed of 64 places in 877 ms of which 6 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/376 variables, 7/30 constraints. Problems are: Problem set: 0 solved, 172 unsolved
[2024-05-21 05:18:18] [INFO ] Deduced a trap composed of 67 places in 922 ms of which 7 ms to minimize.
[2024-05-21 05:18:19] [INFO ] Deduced a trap composed of 78 places in 933 ms of which 6 ms to minimize.
[2024-05-21 05:18:19] [INFO ] Deduced a trap composed of 115 places in 860 ms of which 4 ms to minimize.
[2024-05-21 05:18:20] [INFO ] Deduced a trap composed of 102 places in 663 ms of which 4 ms to minimize.
[2024-05-21 05:18:21] [INFO ] Deduced a trap composed of 159 places in 602 ms of which 4 ms to minimize.
[2024-05-21 05:18:21] [INFO ] Deduced a trap composed of 139 places in 600 ms of which 4 ms to minimize.
[2024-05-21 05:18:22] [INFO ] Deduced a trap composed of 135 places in 608 ms of which 4 ms to minimize.
[2024-05-21 05:18:23] [INFO ] Deduced a trap composed of 164 places in 583 ms of which 4 ms to minimize.
[2024-05-21 05:18:23] [INFO ] Deduced a trap composed of 118 places in 623 ms of which 4 ms to minimize.
[2024-05-21 05:18:24] [INFO ] Deduced a trap composed of 141 places in 588 ms of which 3 ms to minimize.
[2024-05-21 05:18:25] [INFO ] Deduced a trap composed of 75 places in 620 ms of which 4 ms to minimize.
[2024-05-21 05:18:25] [INFO ] Deduced a trap composed of 115 places in 594 ms of which 4 ms to minimize.
[2024-05-21 05:18:26] [INFO ] Deduced a trap composed of 123 places in 612 ms of which 5 ms to minimize.
[2024-05-21 05:18:26] [INFO ] Deduced a trap composed of 127 places in 599 ms of which 4 ms to minimize.
[2024-05-21 05:18:27] [INFO ] Deduced a trap composed of 149 places in 617 ms of which 4 ms to minimize.
[2024-05-21 05:18:28] [INFO ] Deduced a trap composed of 103 places in 589 ms of which 4 ms to minimize.
[2024-05-21 05:18:28] [INFO ] Deduced a trap composed of 127 places in 643 ms of which 4 ms to minimize.
[2024-05-21 05:18:29] [INFO ] Deduced a trap composed of 128 places in 636 ms of which 4 ms to minimize.
[2024-05-21 05:18:30] [INFO ] Deduced a trap composed of 135 places in 634 ms of which 4 ms to minimize.
[2024-05-21 05:18:30] [INFO ] Deduced a trap composed of 139 places in 598 ms of which 4 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/376 variables, 20/50 constraints. Problems are: Problem set: 0 solved, 172 unsolved
[2024-05-21 05:18:31] [INFO ] Deduced a trap composed of 155 places in 504 ms of which 4 ms to minimize.
[2024-05-21 05:18:32] [INFO ] Deduced a trap composed of 143 places in 653 ms of which 4 ms to minimize.
[2024-05-21 05:18:32] [INFO ] Deduced a trap composed of 133 places in 693 ms of which 4 ms to minimize.
[2024-05-21 05:18:33] [INFO ] Deduced a trap composed of 127 places in 622 ms of which 4 ms to minimize.
[2024-05-21 05:18:34] [INFO ] Deduced a trap composed of 117 places in 582 ms of which 4 ms to minimize.
[2024-05-21 05:18:34] [INFO ] Deduced a trap composed of 126 places in 574 ms of which 4 ms to minimize.
[2024-05-21 05:18:35] [INFO ] Deduced a trap composed of 100 places in 584 ms of which 4 ms to minimize.
[2024-05-21 05:18:35] [INFO ] Deduced a trap composed of 91 places in 626 ms of which 4 ms to minimize.
[2024-05-21 05:18:36] [INFO ] Deduced a trap composed of 124 places in 628 ms of which 4 ms to minimize.
[2024-05-21 05:18:37] [INFO ] Deduced a trap composed of 150 places in 609 ms of which 4 ms to minimize.
[2024-05-21 05:18:37] [INFO ] Deduced a trap composed of 119 places in 604 ms of which 4 ms to minimize.
[2024-05-21 05:18:38] [INFO ] Deduced a trap composed of 101 places in 603 ms of which 4 ms to minimize.
[2024-05-21 05:18:39] [INFO ] Deduced a trap composed of 78 places in 601 ms of which 4 ms to minimize.
[2024-05-21 05:18:39] [INFO ] Deduced a trap composed of 101 places in 615 ms of which 4 ms to minimize.
[2024-05-21 05:18:40] [INFO ] Deduced a trap composed of 70 places in 613 ms of which 3 ms to minimize.
[2024-05-21 05:18:41] [INFO ] Deduced a trap composed of 99 places in 468 ms of which 4 ms to minimize.
[2024-05-21 05:18:41] [INFO ] Deduced a trap composed of 91 places in 614 ms of which 4 ms to minimize.
[2024-05-21 05:18:42] [INFO ] Deduced a trap composed of 84 places in 609 ms of which 4 ms to minimize.
[2024-05-21 05:18:42] [INFO ] Deduced a trap composed of 86 places in 517 ms of which 4 ms to minimize.
[2024-05-21 05:18:43] [INFO ] Deduced a trap composed of 104 places in 610 ms of which 4 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/376 variables, 20/70 constraints. Problems are: Problem set: 0 solved, 172 unsolved
[2024-05-21 05:18:47] [INFO ] Deduced a trap composed of 129 places in 787 ms of which 6 ms to minimize.
[2024-05-21 05:18:48] [INFO ] Deduced a trap composed of 159 places in 877 ms of which 5 ms to minimize.
[2024-05-21 05:18:49] [INFO ] Deduced a trap composed of 172 places in 798 ms of which 6 ms to minimize.
[2024-05-21 05:18:50] [INFO ] Deduced a trap composed of 168 places in 824 ms of which 5 ms to minimize.
[2024-05-21 05:18:51] [INFO ] Deduced a trap composed of 134 places in 737 ms of which 5 ms to minimize.
[2024-05-21 05:18:51] [INFO ] Deduced a trap composed of 142 places in 735 ms of which 4 ms to minimize.
[2024-05-21 05:18:52] [INFO ] Deduced a trap composed of 179 places in 690 ms of which 5 ms to minimize.
[2024-05-21 05:18:53] [INFO ] Deduced a trap composed of 159 places in 675 ms of which 4 ms to minimize.
[2024-05-21 05:18:53] [INFO ] Deduced a trap composed of 135 places in 624 ms of which 4 ms to minimize.
[2024-05-21 05:18:54] [INFO ] Deduced a trap composed of 138 places in 807 ms of which 6 ms to minimize.
[2024-05-21 05:18:55] [INFO ] Deduced a trap composed of 146 places in 827 ms of which 5 ms to minimize.
[2024-05-21 05:18:56] [INFO ] Deduced a trap composed of 150 places in 768 ms of which 5 ms to minimize.
[2024-05-21 05:18:57] [INFO ] Deduced a trap composed of 140 places in 712 ms of which 5 ms to minimize.
[2024-05-21 05:18:58] [INFO ] Deduced a trap composed of 179 places in 719 ms of which 6 ms to minimize.
[2024-05-21 05:18:58] [INFO ] Deduced a trap composed of 161 places in 644 ms of which 4 ms to minimize.
[2024-05-21 05:18:59] [INFO ] Deduced a trap composed of 104 places in 798 ms of which 4 ms to minimize.
[2024-05-21 05:19:00] [INFO ] Deduced a trap composed of 120 places in 770 ms of which 4 ms to minimize.
[2024-05-21 05:19:01] [INFO ] Deduced a trap composed of 159 places in 721 ms of which 5 ms to minimize.
[2024-05-21 05:19:01] [INFO ] Deduced a trap composed of 145 places in 749 ms of which 4 ms to minimize.
[2024-05-21 05:19:03] [INFO ] Deduced a trap composed of 99 places in 661 ms of which 4 ms to minimize.
At refinement iteration 7 (INCLUDED_ONLY) 0/376 variables, 20/90 constraints. Problems are: Problem set: 0 solved, 172 unsolved
[2024-05-21 05:19:05] [INFO ] Deduced a trap composed of 49 places in 830 ms of which 6 ms to minimize.
[2024-05-21 05:19:05] [INFO ] Deduced a trap composed of 73 places in 743 ms of which 6 ms to minimize.
[2024-05-21 05:19:06] [INFO ] Deduced a trap composed of 64 places in 760 ms of which 6 ms to minimize.
[2024-05-21 05:19:07] [INFO ] Deduced a trap composed of 53 places in 772 ms of which 5 ms to minimize.
[2024-05-21 05:19:08] [INFO ] Deduced a trap composed of 48 places in 757 ms of which 5 ms to minimize.
[2024-05-21 05:19:09] [INFO ] Deduced a trap composed of 65 places in 732 ms of which 4 ms to minimize.
[2024-05-21 05:19:10] [INFO ] Deduced a trap composed of 98 places in 667 ms of which 5 ms to minimize.
[2024-05-21 05:19:10] [INFO ] Deduced a trap composed of 80 places in 653 ms of which 5 ms to minimize.
[2024-05-21 05:19:11] [INFO ] Deduced a trap composed of 73 places in 698 ms of which 5 ms to minimize.
[2024-05-21 05:19:12] [INFO ] Deduced a trap composed of 43 places in 734 ms of which 6 ms to minimize.
[2024-05-21 05:19:13] [INFO ] Deduced a trap composed of 137 places in 796 ms of which 5 ms to minimize.
[2024-05-21 05:19:14] [INFO ] Deduced a trap composed of 138 places in 726 ms of which 5 ms to minimize.
[2024-05-21 05:19:15] [INFO ] Deduced a trap composed of 53 places in 740 ms of which 5 ms to minimize.
[2024-05-21 05:19:16] [INFO ] Deduced a trap composed of 185 places in 691 ms of which 4 ms to minimize.
[2024-05-21 05:19:17] [INFO ] Deduced a trap composed of 103 places in 707 ms of which 4 ms to minimize.
[2024-05-21 05:19:17] [INFO ] Deduced a trap composed of 59 places in 646 ms of which 4 ms to minimize.
[2024-05-21 05:19:18] [INFO ] Deduced a trap composed of 113 places in 591 ms of which 4 ms to minimize.
[2024-05-21 05:19:19] [INFO ] Deduced a trap composed of 70 places in 724 ms of which 6 ms to minimize.
[2024-05-21 05:19:20] [INFO ] Deduced a trap composed of 66 places in 860 ms of which 6 ms to minimize.
[2024-05-21 05:19:21] [INFO ] Deduced a trap composed of 114 places in 821 ms of which 6 ms to minimize.
At refinement iteration 8 (INCLUDED_ONLY) 0/376 variables, 20/110 constraints. Problems are: Problem set: 0 solved, 172 unsolved
[2024-05-21 05:19:26] [INFO ] Deduced a trap composed of 84 places in 798 ms of which 5 ms to minimize.
[2024-05-21 05:19:28] [INFO ] Deduced a trap composed of 114 places in 776 ms of which 4 ms to minimize.
[2024-05-21 05:19:28] [INFO ] Deduced a trap composed of 44 places in 713 ms of which 5 ms to minimize.
[2024-05-21 05:19:32] [INFO ] Deduced a trap composed of 102 places in 782 ms of which 6 ms to minimize.
[2024-05-21 05:19:33] [INFO ] Deduced a trap composed of 142 places in 888 ms of which 5 ms to minimize.
[2024-05-21 05:19:34] [INFO ] Deduced a trap composed of 156 places in 880 ms of which 6 ms to minimize.
[2024-05-21 05:19:35] [INFO ] Deduced a trap composed of 113 places in 905 ms of which 6 ms to minimize.
[2024-05-21 05:19:36] [INFO ] Deduced a trap composed of 104 places in 798 ms of which 6 ms to minimize.
[2024-05-21 05:19:37] [INFO ] Deduced a trap composed of 140 places in 925 ms of which 6 ms to minimize.
[2024-05-21 05:19:37] [INFO ] Deduced a trap composed of 112 places in 903 ms of which 6 ms to minimize.
[2024-05-21 05:19:38] [INFO ] Deduced a trap composed of 131 places in 899 ms of which 5 ms to minimize.
[2024-05-21 05:19:39] [INFO ] Deduced a trap composed of 81 places in 895 ms of which 6 ms to minimize.
[2024-05-21 05:19:40] [INFO ] Deduced a trap composed of 128 places in 840 ms of which 6 ms to minimize.
[2024-05-21 05:19:41] [INFO ] Deduced a trap composed of 66 places in 868 ms of which 6 ms to minimize.
At refinement iteration 9 (INCLUDED_ONLY) 0/376 variables, 14/124 constraints. Problems are: Problem set: 0 solved, 172 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 376/2651 variables, and 124 constraints, problems are : Problem set: 0 solved, 172 unsolved in 105020 ms.
Refiners :[Positive P Invariants (semi-flows): 11/12 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 0/377 constraints, ReadFeed: 0/110 constraints, PredecessorRefiner: 172/172 constraints, Known Traps: 101/101 constraints]
Escalating to Integer solving :Problem set: 0 solved, 172 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/87 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 172 unsolved
At refinement iteration 1 (OVERLAPS) 263/350 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 172 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/350 variables, 0/11 constraints. Problems are: Problem set: 0 solved, 172 unsolved
At refinement iteration 3 (OVERLAPS) 26/376 variables, 12/23 constraints. Problems are: Problem set: 0 solved, 172 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/376 variables, 101/124 constraints. Problems are: Problem set: 0 solved, 172 unsolved
[2024-05-21 05:19:50] [INFO ] Deduced a trap composed of 85 places in 812 ms of which 6 ms to minimize.
[2024-05-21 05:19:50] [INFO ] Deduced a trap composed of 166 places in 825 ms of which 5 ms to minimize.
[2024-05-21 05:19:51] [INFO ] Deduced a trap composed of 83 places in 728 ms of which 5 ms to minimize.
[2024-05-21 05:19:52] [INFO ] Deduced a trap composed of 87 places in 761 ms of which 5 ms to minimize.
[2024-05-21 05:19:54] [INFO ] Deduced a trap composed of 77 places in 757 ms of which 6 ms to minimize.
[2024-05-21 05:19:55] [INFO ] Deduced a trap composed of 66 places in 859 ms of which 5 ms to minimize.
[2024-05-21 05:19:56] [INFO ] Deduced a trap composed of 75 places in 857 ms of which 5 ms to minimize.
[2024-05-21 05:19:57] [INFO ] Deduced a trap composed of 77 places in 855 ms of which 6 ms to minimize.
[2024-05-21 05:19:57] [INFO ] Deduced a trap composed of 75 places in 845 ms of which 5 ms to minimize.
[2024-05-21 05:19:59] [INFO ] Deduced a trap composed of 97 places in 867 ms of which 6 ms to minimize.
[2024-05-21 05:20:00] [INFO ] Deduced a trap composed of 78 places in 806 ms of which 6 ms to minimize.
[2024-05-21 05:20:00] [INFO ] Deduced a trap composed of 67 places in 844 ms of which 6 ms to minimize.
[2024-05-21 05:20:01] [INFO ] Deduced a trap composed of 95 places in 771 ms of which 6 ms to minimize.
[2024-05-21 05:20:02] [INFO ] Deduced a trap composed of 73 places in 796 ms of which 5 ms to minimize.
[2024-05-21 05:20:03] [INFO ] Deduced a trap composed of 70 places in 843 ms of which 6 ms to minimize.
[2024-05-21 05:20:04] [INFO ] Deduced a trap composed of 88 places in 851 ms of which 6 ms to minimize.
[2024-05-21 05:20:05] [INFO ] Deduced a trap composed of 103 places in 903 ms of which 6 ms to minimize.
[2024-05-21 05:20:06] [INFO ] Deduced a trap composed of 101 places in 854 ms of which 5 ms to minimize.
[2024-05-21 05:20:07] [INFO ] Deduced a trap composed of 57 places in 912 ms of which 6 ms to minimize.
[2024-05-21 05:20:08] [INFO ] Deduced a trap composed of 123 places in 893 ms of which 6 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/376 variables, 20/144 constraints. Problems are: Problem set: 0 solved, 172 unsolved
[2024-05-21 05:20:15] [INFO ] Deduced a trap composed of 123 places in 869 ms of which 6 ms to minimize.
[2024-05-21 05:20:16] [INFO ] Deduced a trap composed of 140 places in 885 ms of which 6 ms to minimize.
[2024-05-21 05:20:17] [INFO ] Deduced a trap composed of 123 places in 897 ms of which 6 ms to minimize.
[2024-05-21 05:20:18] [INFO ] Deduced a trap composed of 131 places in 829 ms of which 6 ms to minimize.
[2024-05-21 05:20:18] [INFO ] Deduced a trap composed of 105 places in 561 ms of which 4 ms to minimize.
[2024-05-21 05:20:19] [INFO ] Deduced a trap composed of 91 places in 523 ms of which 3 ms to minimize.
[2024-05-21 05:20:20] [INFO ] Deduced a trap composed of 128 places in 880 ms of which 6 ms to minimize.
[2024-05-21 05:20:21] [INFO ] Deduced a trap composed of 132 places in 895 ms of which 6 ms to minimize.
[2024-05-21 05:20:21] [INFO ] Deduced a trap composed of 127 places in 801 ms of which 6 ms to minimize.
[2024-05-21 05:20:22] [INFO ] Deduced a trap composed of 124 places in 832 ms of which 6 ms to minimize.
[2024-05-21 05:20:23] [INFO ] Deduced a trap composed of 96 places in 877 ms of which 6 ms to minimize.
[2024-05-21 05:20:24] [INFO ] Deduced a trap composed of 84 places in 868 ms of which 6 ms to minimize.
[2024-05-21 05:20:25] [INFO ] Deduced a trap composed of 94 places in 866 ms of which 6 ms to minimize.
[2024-05-21 05:20:26] [INFO ] Deduced a trap composed of 91 places in 799 ms of which 5 ms to minimize.
[2024-05-21 05:20:27] [INFO ] Deduced a trap composed of 84 places in 733 ms of which 5 ms to minimize.
[2024-05-21 05:20:27] [INFO ] Deduced a trap composed of 92 places in 713 ms of which 5 ms to minimize.
[2024-05-21 05:20:28] [INFO ] Deduced a trap composed of 82 places in 727 ms of which 5 ms to minimize.
[2024-05-21 05:20:29] [INFO ] Deduced a trap composed of 72 places in 803 ms of which 5 ms to minimize.
[2024-05-21 05:20:30] [INFO ] Deduced a trap composed of 118 places in 849 ms of which 6 ms to minimize.
[2024-05-21 05:20:31] [INFO ] Deduced a trap composed of 82 places in 901 ms of which 5 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/376 variables, 20/164 constraints. Problems are: Problem set: 0 solved, 172 unsolved
[2024-05-21 05:20:39] [INFO ] Deduced a trap composed of 132 places in 856 ms of which 6 ms to minimize.
[2024-05-21 05:20:40] [INFO ] Deduced a trap composed of 127 places in 852 ms of which 5 ms to minimize.
[2024-05-21 05:20:42] [INFO ] Deduced a trap composed of 128 places in 778 ms of which 5 ms to minimize.
[2024-05-21 05:20:42] [INFO ] Deduced a trap composed of 126 places in 781 ms of which 5 ms to minimize.
[2024-05-21 05:20:43] [INFO ] Deduced a trap composed of 81 places in 842 ms of which 6 ms to minimize.
[2024-05-21 05:20:44] [INFO ] Deduced a trap composed of 81 places in 886 ms of which 6 ms to minimize.
[2024-05-21 05:20:45] [INFO ] Deduced a trap composed of 100 places in 853 ms of which 5 ms to minimize.
[2024-05-21 05:20:46] [INFO ] Deduced a trap composed of 87 places in 873 ms of which 6 ms to minimize.
[2024-05-21 05:20:58] [INFO ] Deduced a trap composed of 73 places in 552 ms of which 4 ms to minimize.
[2024-05-21 05:20:58] [INFO ] Deduced a trap composed of 80 places in 489 ms of which 4 ms to minimize.
[2024-05-21 05:20:59] [INFO ] Deduced a trap composed of 97 places in 594 ms of which 4 ms to minimize.
[2024-05-21 05:21:00] [INFO ] Deduced a trap composed of 53 places in 584 ms of which 4 ms to minimize.
At refinement iteration 7 (INCLUDED_ONLY) 0/376 variables, 12/176 constraints. Problems are: Problem set: 0 solved, 172 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/376 variables, 0/176 constraints. Problems are: Problem set: 0 solved, 172 unsolved
At refinement iteration 9 (OVERLAPS) 1/377 variables, 1/177 constraints. Problems are: Problem set: 0 solved, 172 unsolved
[2024-05-21 05:21:22] [INFO ] Deduced a trap composed of 103 places in 831 ms of which 6 ms to minimize.
[2024-05-21 05:21:23] [INFO ] Deduced a trap composed of 100 places in 842 ms of which 5 ms to minimize.
[2024-05-21 05:21:24] [INFO ] Deduced a trap composed of 87 places in 776 ms of which 5 ms to minimize.
[2024-05-21 05:21:24] [INFO ] Deduced a trap composed of 113 places in 709 ms of which 6 ms to minimize.
[2024-05-21 05:21:25] [INFO ] Deduced a trap composed of 90 places in 830 ms of which 6 ms to minimize.
[2024-05-21 05:21:26] [INFO ] Deduced a trap composed of 111 places in 647 ms of which 4 ms to minimize.
[2024-05-21 05:21:27] [INFO ] Deduced a trap composed of 75 places in 631 ms of which 6 ms to minimize.
[2024-05-21 05:21:27] [INFO ] Deduced a trap composed of 84 places in 602 ms of which 4 ms to minimize.
[2024-05-21 05:21:28] [INFO ] Deduced a trap composed of 98 places in 742 ms of which 4 ms to minimize.
[2024-05-21 05:21:30] [INFO ] Deduced a trap composed of 95 places in 600 ms of which 4 ms to minimize.
SMT process timed out in 211244ms, After SMT, problems are : Problem set: 0 solved, 172 unsolved
Fused 172 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 87 out of 377 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 377/377 places, 2274/2274 transitions.
Applied a total of 0 rules in 41 ms. Remains 377 /377 variables (removed 0) and now considering 2274/2274 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 41 ms. Remains : 377/377 places, 2274/2274 transitions.
RANDOM walk for 4000000 steps (8 resets) in 67269 ms. (59 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40003 steps (8 resets) in 509 ms. (78 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40003 steps (8 resets) in 629 ms. (63 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40003 steps (8 resets) in 572 ms. (69 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40004 steps (8 resets) in 814 ms. (49 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40004 steps (8 resets) in 708 ms. (56 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40004 steps (8 resets) in 792 ms. (50 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40003 steps (8 resets) in 938 ms. (42 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40001 steps (8 resets) in 836 ms. (47 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40003 steps (8 resets) in 923 ms. (43 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40003 steps (8 resets) in 837 ms. (47 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40002 steps (8 resets) in 811 ms. (49 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40001 steps (8 resets) in 793 ms. (50 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40001 steps (8 resets) in 794 ms. (50 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40002 steps (8 resets) in 893 ms. (44 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40002 steps (8 resets) in 837 ms. (47 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40002 steps (8 resets) in 793 ms. (50 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40004 steps (8 resets) in 760 ms. (52 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40002 steps (8 resets) in 861 ms. (46 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40003 steps (8 resets) in 871 ms. (45 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40002 steps (8 resets) in 821 ms. (48 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40003 steps (8 resets) in 907 ms. (44 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40003 steps (8 resets) in 602 ms. (66 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40004 steps (8 resets) in 661 ms. (60 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40003 steps (8 resets) in 593 ms. (67 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40002 steps (8 resets) in 832 ms. (48 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40003 steps (8 resets) in 779 ms. (51 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40002 steps (8 resets) in 824 ms. (48 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40004 steps (8 resets) in 787 ms. (50 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40002 steps (8 resets) in 881 ms. (45 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40003 steps (8 resets) in 921 ms. (43 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40002 steps (8 resets) in 822 ms. (48 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40004 steps (8 resets) in 664 ms. (60 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40003 steps (8 resets) in 667 ms. (59 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40003 steps (8 resets) in 646 ms. (61 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40003 steps (8 resets) in 680 ms. (58 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40002 steps (8 resets) in 893 ms. (44 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40003 steps (8 resets) in 896 ms. (44 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40004 steps (8 resets) in 825 ms. (48 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40002 steps (8 resets) in 774 ms. (51 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40004 steps (8 resets) in 872 ms. (45 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40004 steps (8 resets) in 729 ms. (54 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40004 steps (8 resets) in 728 ms. (54 steps per ms) remains 172/172 properties
BEST_FIRST walk for 40002 steps (8 resets) in 838 ms. (47 steps per ms) remains 171/172 properties
BEST_FIRST walk for 40001 steps (8 resets) in 807 ms. (49 steps per ms) remains 171/171 properties
BEST_FIRST walk for 40002 steps (8 resets) in 669 ms. (59 steps per ms) remains 171/171 properties
BEST_FIRST walk for 40003 steps (8 resets) in 819 ms. (48 steps per ms) remains 171/171 properties
BEST_FIRST walk for 40003 steps (8 resets) in 781 ms. (51 steps per ms) remains 171/171 properties
BEST_FIRST walk for 40002 steps (8 resets) in 676 ms. (59 steps per ms) remains 171/171 properties
BEST_FIRST walk for 40002 steps (8 resets) in 881 ms. (45 steps per ms) remains 171/171 properties
BEST_FIRST walk for 40003 steps (8 resets) in 860 ms. (46 steps per ms) remains 171/171 properties
BEST_FIRST walk for 40002 steps (8 resets) in 821 ms. (48 steps per ms) remains 171/171 properties
BEST_FIRST walk for 40003 steps (8 resets) in 738 ms. (54 steps per ms) remains 171/171 properties
BEST_FIRST walk for 40003 steps (8 resets) in 747 ms. (53 steps per ms) remains 171/171 properties
BEST_FIRST walk for 40003 steps (8 resets) in 813 ms. (49 steps per ms) remains 171/171 properties
BEST_FIRST walk for 40003 steps (8 resets) in 791 ms. (50 steps per ms) remains 171/171 properties
BEST_FIRST walk for 40003 steps (8 resets) in 779 ms. (51 steps per ms) remains 171/171 properties
BEST_FIRST walk for 40002 steps (8 resets) in 586 ms. (68 steps per ms) remains 171/171 properties
BEST_FIRST walk for 40003 steps (8 resets) in 628 ms. (63 steps per ms) remains 171/171 properties
BEST_FIRST walk for 40002 steps (8 resets) in 704 ms. (56 steps per ms) remains 171/171 properties
BEST_FIRST walk for 40002 steps (8 resets) in 815 ms. (49 steps per ms) remains 171/171 properties
BEST_FIRST walk for 40003 steps (8 resets) in 756 ms. (52 steps per ms) remains 171/171 properties
BEST_FIRST walk for 40002 steps (8 resets) in 838 ms. (47 steps per ms) remains 170/171 properties
BEST_FIRST walk for 40004 steps (8 resets) in 828 ms. (48 steps per ms) remains 170/170 properties
BEST_FIRST walk for 40004 steps (8 resets) in 854 ms. (46 steps per ms) remains 170/170 properties
BEST_FIRST walk for 40001 steps (8 resets) in 744 ms. (53 steps per ms) remains 170/170 properties
BEST_FIRST walk for 40002 steps (8 resets) in 890 ms. (44 steps per ms) remains 170/170 properties
BEST_FIRST walk for 40001 steps (8 resets) in 801 ms. (49 steps per ms) remains 170/170 properties
BEST_FIRST walk for 40002 steps (8 resets) in 705 ms. (56 steps per ms) remains 170/170 properties
BEST_FIRST walk for 40004 steps (8 resets) in 732 ms. (54 steps per ms) remains 170/170 properties
BEST_FIRST walk for 40004 steps (8 resets) in 824 ms. (48 steps per ms) remains 170/170 properties
BEST_FIRST walk for 40003 steps (8 resets) in 882 ms. (45 steps per ms) remains 170/170 properties
BEST_FIRST walk for 40004 steps (8 resets) in 868 ms. (46 steps per ms) remains 170/170 properties
BEST_FIRST walk for 40003 steps (8 resets) in 897 ms. (44 steps per ms) remains 170/170 properties
BEST_FIRST walk for 40003 steps (8 resets) in 868 ms. (46 steps per ms) remains 170/170 properties
BEST_FIRST walk for 40003 steps (8 resets) in 628 ms. (63 steps per ms) remains 170/170 properties
BEST_FIRST walk for 40003 steps (8 resets) in 690 ms. (57 steps per ms) remains 170/170 properties
BEST_FIRST walk for 40002 steps (8 resets) in 604 ms. (66 steps per ms) remains 168/170 properties
BEST_FIRST walk for 40002 steps (8 resets) in 669 ms. (59 steps per ms) remains 168/168 properties
BEST_FIRST walk for 40002 steps (8 resets) in 730 ms. (54 steps per ms) remains 168/168 properties
BEST_FIRST walk for 40003 steps (8 resets) in 752 ms. (53 steps per ms) remains 168/168 properties
BEST_FIRST walk for 40002 steps (8 resets) in 937 ms. (42 steps per ms) remains 168/168 properties
BEST_FIRST walk for 40003 steps (8 resets) in 853 ms. (46 steps per ms) remains 168/168 properties
BEST_FIRST walk for 40004 steps (8 resets) in 941 ms. (42 steps per ms) remains 168/168 properties
BEST_FIRST walk for 40002 steps (8 resets) in 880 ms. (45 steps per ms) remains 168/168 properties
BEST_FIRST walk for 40004 steps (8 resets) in 857 ms. (46 steps per ms) remains 168/168 properties
BEST_FIRST walk for 40004 steps (8 resets) in 785 ms. (50 steps per ms) remains 168/168 properties
BEST_FIRST walk for 40002 steps (8 resets) in 717 ms. (55 steps per ms) remains 168/168 properties
BEST_FIRST walk for 40002 steps (8 resets) in 910 ms. (43 steps per ms) remains 168/168 properties
BEST_FIRST walk for 40003 steps (8 resets) in 756 ms. (52 steps per ms) remains 168/168 properties
BEST_FIRST walk for 40004 steps (8 resets) in 760 ms. (52 steps per ms) remains 168/168 properties
BEST_FIRST walk for 40003 steps (8 resets) in 689 ms. (57 steps per ms) remains 168/168 properties
BEST_FIRST walk for 40003 steps (8 resets) in 690 ms. (57 steps per ms) remains 168/168 properties
BEST_FIRST walk for 40004 steps (8 resets) in 834 ms. (47 steps per ms) remains 167/168 properties
BEST_FIRST walk for 40002 steps (8 resets) in 850 ms. (47 steps per ms) remains 167/167 properties
BEST_FIRST walk for 40002 steps (8 resets) in 887 ms. (45 steps per ms) remains 167/167 properties
BEST_FIRST walk for 40003 steps (8 resets) in 844 ms. (47 steps per ms) remains 167/167 properties
BEST_FIRST walk for 40002 steps (8 resets) in 879 ms. (45 steps per ms) remains 167/167 properties
BEST_FIRST walk for 40004 steps (8 resets) in 856 ms. (46 steps per ms) remains 167/167 properties
BEST_FIRST walk for 40003 steps (8 resets) in 863 ms. (46 steps per ms) remains 167/167 properties
BEST_FIRST walk for 40004 steps (8 resets) in 641 ms. (62 steps per ms) remains 167/167 properties
BEST_FIRST walk for 40003 steps (8 resets) in 829 ms. (48 steps per ms) remains 167/167 properties
BEST_FIRST walk for 40002 steps (8 resets) in 788 ms. (50 steps per ms) remains 167/167 properties
BEST_FIRST walk for 40004 steps (8 resets) in 768 ms. (52 steps per ms) remains 167/167 properties
BEST_FIRST walk for 40003 steps (8 resets) in 901 ms. (44 steps per ms) remains 167/167 properties
BEST_FIRST walk for 40003 steps (8 resets) in 812 ms. (49 steps per ms) remains 167/167 properties
BEST_FIRST walk for 40003 steps (8 resets) in 746 ms. (53 steps per ms) remains 167/167 properties
BEST_FIRST walk for 40003 steps (8 resets) in 1001 ms. (39 steps per ms) remains 165/167 properties
BEST_FIRST walk for 40003 steps (8 resets) in 880 ms. (45 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 642 ms. (62 steps per ms) remains 165/165 properties
BEST_FIRST walk for 40004 steps (8 resets) in 578 ms. (69 steps per ms) remains 164/165 properties
BEST_FIRST walk for 40003 steps (8 resets) in 636 ms. (62 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40002 steps (8 resets) in 784 ms. (50 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40002 steps (8 resets) in 885 ms. (45 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40002 steps (8 resets) in 680 ms. (58 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40002 steps (8 resets) in 809 ms. (49 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40004 steps (8 resets) in 840 ms. (47 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40001 steps (8 resets) in 769 ms. (51 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40004 steps (8 resets) in 712 ms. (56 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40002 steps (8 resets) in 720 ms. (55 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40003 steps (8 resets) in 834 ms. (47 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40004 steps (8 resets) in 628 ms. (63 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40003 steps (8 resets) in 728 ms. (54 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40002 steps (8 resets) in 795 ms. (50 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40002 steps (8 resets) in 799 ms. (50 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40004 steps (8 resets) in 761 ms. (52 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40003 steps (8 resets) in 944 ms. (42 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40002 steps (8 resets) in 870 ms. (45 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40004 steps (8 resets) in 737 ms. (54 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40002 steps (8 resets) in 818 ms. (48 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40003 steps (8 resets) in 868 ms. (46 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40003 steps (8 resets) in 885 ms. (45 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40004 steps (8 resets) in 771 ms. (51 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40003 steps (8 resets) in 608 ms. (65 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40003 steps (8 resets) in 601 ms. (66 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40004 steps (8 resets) in 562 ms. (71 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40003 steps (8 resets) in 727 ms. (54 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40004 steps (8 resets) in 825 ms. (48 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40004 steps (8 resets) in 708 ms. (56 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40003 steps (8 resets) in 802 ms. (49 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40002 steps (8 resets) in 737 ms. (54 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40003 steps (8 resets) in 1001 ms. (39 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40003 steps (8 resets) in 876 ms. (45 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40002 steps (8 resets) in 669 ms. (59 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40002 steps (8 resets) in 756 ms. (52 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40003 steps (8 resets) in 910 ms. (43 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40004 steps (8 resets) in 897 ms. (44 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40003 steps (8 resets) in 688 ms. (58 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40003 steps (8 resets) in 790 ms. (50 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40002 steps (8 resets) in 707 ms. (56 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40002 steps (8 resets) in 571 ms. (69 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40003 steps (8 resets) in 608 ms. (65 steps per ms) remains 164/164 properties
BEST_FIRST walk for 40002 steps (8 resets) in 942 ms. (42 steps per ms) remains 163/164 properties
BEST_FIRST walk for 40001 steps (8 resets) in 818 ms. (48 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40004 steps (8 resets) in 823 ms. (48 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40003 steps (8 resets) in 777 ms. (51 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40002 steps (8 resets) in 816 ms. (48 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40004 steps (8 resets) in 819 ms. (48 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40001 steps (8 resets) in 761 ms. (52 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40003 steps (8 resets) in 896 ms. (44 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40004 steps (8 resets) in 921 ms. (43 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40004 steps (8 resets) in 775 ms. (51 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40002 steps (8 resets) in 741 ms. (53 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40003 steps (8 resets) in 823 ms. (48 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40004 steps (8 resets) in 713 ms. (56 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40003 steps (8 resets) in 844 ms. (47 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40002 steps (8 resets) in 881 ms. (45 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40002 steps (8 resets) in 804 ms. (49 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40003 steps (8 resets) in 850 ms. (47 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40003 steps (8 resets) in 796 ms. (50 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40002 steps (8 resets) in 933 ms. (42 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40002 steps (8 resets) in 671 ms. (59 steps per ms) remains 163/163 properties
BEST_FIRST walk for 40003 steps (8 resets) in 814 ms. (49 steps per ms) remains 158/163 properties
Interrupted probabilistic random walk after 3873857 steps, run timeout after 174001 ms. (steps per millisecond=22 ) properties seen :0 out of 158
Probabilistic random walk after 3873857 steps, saw 2749668 distinct states, run finished after 174004 ms. (steps per millisecond=22 ) properties seen :0
[2024-05-21 05:25:22] [INFO ] Invariant cache hit.
[2024-05-21 05:25:22] [INFO ] State equation strengthened by 110 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/82 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 158 unsolved
At refinement iteration 1 (OVERLAPS) 267/349 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 158 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/349 variables, 0/11 constraints. Problems are: Problem set: 0 solved, 158 unsolved
At refinement iteration 3 (OVERLAPS) 27/376 variables, 12/23 constraints. Problems are: Problem set: 0 solved, 158 unsolved
[2024-05-21 05:25:28] [INFO ] Deduced a trap composed of 111 places in 744 ms of which 4 ms to minimize.
[2024-05-21 05:25:29] [INFO ] Deduced a trap composed of 148 places in 613 ms of which 5 ms to minimize.
[2024-05-21 05:25:29] [INFO ] Deduced a trap composed of 141 places in 625 ms of which 4 ms to minimize.
[2024-05-21 05:25:30] [INFO ] Deduced a trap composed of 75 places in 644 ms of which 6 ms to minimize.
[2024-05-21 05:25:31] [INFO ] Deduced a trap composed of 120 places in 658 ms of which 4 ms to minimize.
[2024-05-21 05:25:31] [INFO ] Deduced a trap composed of 115 places in 703 ms of which 4 ms to minimize.
[2024-05-21 05:25:32] [INFO ] Deduced a trap composed of 93 places in 630 ms of which 4 ms to minimize.
[2024-05-21 05:25:33] [INFO ] Deduced a trap composed of 123 places in 649 ms of which 4 ms to minimize.
[2024-05-21 05:25:33] [INFO ] Deduced a trap composed of 121 places in 583 ms of which 4 ms to minimize.
[2024-05-21 05:25:34] [INFO ] Deduced a trap composed of 106 places in 672 ms of which 4 ms to minimize.
[2024-05-21 05:25:35] [INFO ] Deduced a trap composed of 142 places in 756 ms of which 6 ms to minimize.
[2024-05-21 05:25:36] [INFO ] Deduced a trap composed of 122 places in 768 ms of which 5 ms to minimize.
[2024-05-21 05:25:36] [INFO ] Deduced a trap composed of 138 places in 634 ms of which 4 ms to minimize.
[2024-05-21 05:25:37] [INFO ] Deduced a trap composed of 123 places in 736 ms of which 3 ms to minimize.
[2024-05-21 05:25:38] [INFO ] Deduced a trap composed of 95 places in 560 ms of which 4 ms to minimize.
[2024-05-21 05:25:38] [INFO ] Deduced a trap composed of 136 places in 559 ms of which 4 ms to minimize.
[2024-05-21 05:25:39] [INFO ] Deduced a trap composed of 123 places in 647 ms of which 5 ms to minimize.
[2024-05-21 05:25:40] [INFO ] Deduced a trap composed of 118 places in 788 ms of which 5 ms to minimize.
[2024-05-21 05:25:40] [INFO ] Deduced a trap composed of 102 places in 638 ms of which 4 ms to minimize.
[2024-05-21 05:25:41] [INFO ] Deduced a trap composed of 62 places in 617 ms of which 4 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/376 variables, 20/43 constraints. Problems are: Problem set: 0 solved, 158 unsolved
[2024-05-21 05:25:42] [INFO ] Deduced a trap composed of 75 places in 601 ms of which 4 ms to minimize.
[2024-05-21 05:25:42] [INFO ] Deduced a trap composed of 102 places in 665 ms of which 5 ms to minimize.
[2024-05-21 05:25:43] [INFO ] Deduced a trap composed of 87 places in 675 ms of which 6 ms to minimize.
[2024-05-21 05:25:44] [INFO ] Deduced a trap composed of 109 places in 674 ms of which 4 ms to minimize.
[2024-05-21 05:25:45] [INFO ] Deduced a trap composed of 91 places in 750 ms of which 4 ms to minimize.
[2024-05-21 05:25:45] [INFO ] Deduced a trap composed of 128 places in 588 ms of which 4 ms to minimize.
[2024-05-21 05:25:46] [INFO ] Deduced a trap composed of 96 places in 551 ms of which 4 ms to minimize.
[2024-05-21 05:25:46] [INFO ] Deduced a trap composed of 102 places in 551 ms of which 3 ms to minimize.
[2024-05-21 05:25:47] [INFO ] Deduced a trap composed of 128 places in 547 ms of which 4 ms to minimize.
[2024-05-21 05:25:47] [INFO ] Deduced a trap composed of 86 places in 577 ms of which 4 ms to minimize.
[2024-05-21 05:25:48] [INFO ] Deduced a trap composed of 108 places in 568 ms of which 4 ms to minimize.
[2024-05-21 05:25:49] [INFO ] Deduced a trap composed of 90 places in 736 ms of which 5 ms to minimize.
[2024-05-21 05:25:49] [INFO ] Deduced a trap composed of 75 places in 592 ms of which 4 ms to minimize.
[2024-05-21 05:25:50] [INFO ] Deduced a trap composed of 78 places in 543 ms of which 4 ms to minimize.
[2024-05-21 05:25:51] [INFO ] Deduced a trap composed of 60 places in 577 ms of which 4 ms to minimize.
[2024-05-21 05:25:51] [INFO ] Deduced a trap composed of 156 places in 582 ms of which 4 ms to minimize.
[2024-05-21 05:25:52] [INFO ] Deduced a trap composed of 148 places in 562 ms of which 4 ms to minimize.
[2024-05-21 05:25:52] [INFO ] Deduced a trap composed of 193 places in 575 ms of which 4 ms to minimize.
[2024-05-21 05:25:53] [INFO ] Deduced a trap composed of 147 places in 590 ms of which 4 ms to minimize.
[2024-05-21 05:25:54] [INFO ] Deduced a trap composed of 105 places in 584 ms of which 4 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/376 variables, 20/63 constraints. Problems are: Problem set: 0 solved, 158 unsolved
[2024-05-21 05:25:55] [INFO ] Deduced a trap composed of 67 places in 681 ms of which 5 ms to minimize.
[2024-05-21 05:25:56] [INFO ] Deduced a trap composed of 60 places in 647 ms of which 4 ms to minimize.
[2024-05-21 05:25:56] [INFO ] Deduced a trap composed of 75 places in 533 ms of which 4 ms to minimize.
[2024-05-21 05:25:57] [INFO ] Deduced a trap composed of 63 places in 535 ms of which 4 ms to minimize.
[2024-05-21 05:25:58] [INFO ] Deduced a trap composed of 96 places in 545 ms of which 3 ms to minimize.
[2024-05-21 05:25:59] [INFO ] Deduced a trap composed of 114 places in 518 ms of which 4 ms to minimize.
[2024-05-21 05:26:00] [INFO ] Deduced a trap composed of 145 places in 624 ms of which 4 ms to minimize.
[2024-05-21 05:26:00] [INFO ] Deduced a trap composed of 119 places in 541 ms of which 4 ms to minimize.
[2024-05-21 05:26:01] [INFO ] Deduced a trap composed of 106 places in 635 ms of which 4 ms to minimize.
[2024-05-21 05:26:02] [INFO ] Deduced a trap composed of 84 places in 683 ms of which 5 ms to minimize.
[2024-05-21 05:26:03] [INFO ] Deduced a trap composed of 112 places in 569 ms of which 4 ms to minimize.
[2024-05-21 05:26:03] [INFO ] Deduced a trap composed of 70 places in 539 ms of which 4 ms to minimize.
[2024-05-21 05:26:04] [INFO ] Deduced a trap composed of 140 places in 553 ms of which 4 ms to minimize.
[2024-05-21 05:26:04] [INFO ] Deduced a trap composed of 138 places in 593 ms of which 3 ms to minimize.
[2024-05-21 05:26:05] [INFO ] Deduced a trap composed of 75 places in 572 ms of which 4 ms to minimize.
[2024-05-21 05:26:06] [INFO ] Deduced a trap composed of 124 places in 566 ms of which 4 ms to minimize.
[2024-05-21 05:26:06] [INFO ] Deduced a trap composed of 103 places in 561 ms of which 3 ms to minimize.
[2024-05-21 05:26:07] [INFO ] Deduced a trap composed of 73 places in 562 ms of which 4 ms to minimize.
[2024-05-21 05:26:07] [INFO ] Deduced a trap composed of 43 places in 474 ms of which 4 ms to minimize.
[2024-05-21 05:26:08] [INFO ] Deduced a trap composed of 43 places in 484 ms of which 4 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/376 variables, 20/83 constraints. Problems are: Problem set: 0 solved, 158 unsolved
[2024-05-21 05:26:12] [INFO ] Deduced a trap composed of 122 places in 651 ms of which 5 ms to minimize.
[2024-05-21 05:26:14] [INFO ] Deduced a trap composed of 99 places in 561 ms of which 4 ms to minimize.
[2024-05-21 05:26:14] [INFO ] Deduced a trap composed of 73 places in 573 ms of which 4 ms to minimize.
[2024-05-21 05:26:15] [INFO ] Deduced a trap composed of 109 places in 581 ms of which 4 ms to minimize.
[2024-05-21 05:26:16] [INFO ] Deduced a trap composed of 118 places in 625 ms of which 5 ms to minimize.
[2024-05-21 05:26:16] [INFO ] Deduced a trap composed of 101 places in 671 ms of which 5 ms to minimize.
[2024-05-21 05:26:17] [INFO ] Deduced a trap composed of 98 places in 633 ms of which 4 ms to minimize.
[2024-05-21 05:26:18] [INFO ] Deduced a trap composed of 107 places in 630 ms of which 5 ms to minimize.
[2024-05-21 05:26:18] [INFO ] Deduced a trap composed of 103 places in 672 ms of which 5 ms to minimize.
[2024-05-21 05:26:19] [INFO ] Deduced a trap composed of 71 places in 719 ms of which 4 ms to minimize.
[2024-05-21 05:26:20] [INFO ] Deduced a trap composed of 59 places in 719 ms of which 5 ms to minimize.
[2024-05-21 05:26:21] [INFO ] Deduced a trap composed of 57 places in 709 ms of which 5 ms to minimize.
[2024-05-21 05:26:21] [INFO ] Deduced a trap composed of 62 places in 645 ms of which 3 ms to minimize.
[2024-05-21 05:26:22] [INFO ] Deduced a trap composed of 158 places in 684 ms of which 4 ms to minimize.
[2024-05-21 05:26:22] [INFO ] Deduced a trap composed of 120 places in 535 ms of which 3 ms to minimize.
[2024-05-21 05:26:23] [INFO ] Deduced a trap composed of 136 places in 538 ms of which 3 ms to minimize.
[2024-05-21 05:26:24] [INFO ] Deduced a trap composed of 61 places in 505 ms of which 3 ms to minimize.
At refinement iteration 7 (INCLUDED_ONLY) 0/376 variables, 17/100 constraints. Problems are: Problem set: 0 solved, 158 unsolved
[2024-05-21 05:26:26] [INFO ] Deduced a trap composed of 163 places in 568 ms of which 4 ms to minimize.
[2024-05-21 05:26:27] [INFO ] Deduced a trap composed of 75 places in 746 ms of which 5 ms to minimize.
[2024-05-21 05:26:28] [INFO ] Deduced a trap composed of 98 places in 713 ms of which 4 ms to minimize.
[2024-05-21 05:26:28] [INFO ] Deduced a trap composed of 69 places in 594 ms of which 5 ms to minimize.
[2024-05-21 05:26:29] [INFO ] Deduced a trap composed of 70 places in 648 ms of which 4 ms to minimize.
[2024-05-21 05:26:30] [INFO ] Deduced a trap composed of 62 places in 549 ms of which 4 ms to minimize.
[2024-05-21 05:26:33] [INFO ] Deduced a trap composed of 103 places in 594 ms of which 3 ms to minimize.
[2024-05-21 05:26:33] [INFO ] Deduced a trap composed of 107 places in 567 ms of which 4 ms to minimize.
[2024-05-21 05:26:34] [INFO ] Deduced a trap composed of 98 places in 596 ms of which 4 ms to minimize.
[2024-05-21 05:26:34] [INFO ] Deduced a trap composed of 119 places in 569 ms of which 4 ms to minimize.
[2024-05-21 05:26:35] [INFO ] Deduced a trap composed of 81 places in 623 ms of which 4 ms to minimize.
[2024-05-21 05:26:36] [INFO ] Deduced a trap composed of 70 places in 664 ms of which 4 ms to minimize.
At refinement iteration 8 (INCLUDED_ONLY) 0/376 variables, 12/112 constraints. Problems are: Problem set: 0 solved, 158 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/376 variables, 0/112 constraints. Problems are: Problem set: 0 solved, 158 unsolved
At refinement iteration 10 (OVERLAPS) 1/377 variables, 1/113 constraints. Problems are: Problem set: 0 solved, 158 unsolved
[2024-05-21 05:26:48] [INFO ] Deduced a trap composed of 43 places in 622 ms of which 3 ms to minimize.
[2024-05-21 05:26:49] [INFO ] Deduced a trap composed of 75 places in 611 ms of which 4 ms to minimize.
[2024-05-21 05:26:49] [INFO ] Deduced a trap composed of 152 places in 639 ms of which 4 ms to minimize.
[2024-05-21 05:26:50] [INFO ] Deduced a trap composed of 91 places in 641 ms of which 4 ms to minimize.
[2024-05-21 05:26:51] [INFO ] Deduced a trap composed of 106 places in 760 ms of which 4 ms to minimize.
[2024-05-21 05:26:52] [INFO ] Deduced a trap composed of 105 places in 617 ms of which 4 ms to minimize.
[2024-05-21 05:26:52] [INFO ] Deduced a trap composed of 66 places in 604 ms of which 4 ms to minimize.
[2024-05-21 05:26:53] [INFO ] Deduced a trap composed of 120 places in 578 ms of which 4 ms to minimize.
[2024-05-21 05:26:54] [INFO ] Deduced a trap composed of 83 places in 761 ms of which 4 ms to minimize.
[2024-05-21 05:26:54] [INFO ] Deduced a trap composed of 111 places in 558 ms of which 3 ms to minimize.
[2024-05-21 05:26:55] [INFO ] Deduced a trap composed of 51 places in 665 ms of which 5 ms to minimize.
[2024-05-21 05:26:55] [INFO ] Deduced a trap composed of 102 places in 601 ms of which 3 ms to minimize.
[2024-05-21 05:26:57] [INFO ] Deduced a trap composed of 85 places in 679 ms of which 4 ms to minimize.
[2024-05-21 05:26:57] [INFO ] Deduced a trap composed of 87 places in 665 ms of which 4 ms to minimize.
[2024-05-21 05:26:58] [INFO ] Deduced a trap composed of 59 places in 631 ms of which 4 ms to minimize.
[2024-05-21 05:26:59] [INFO ] Deduced a trap composed of 96 places in 631 ms of which 4 ms to minimize.
[2024-05-21 05:26:59] [INFO ] Deduced a trap composed of 58 places in 616 ms of which 4 ms to minimize.
[2024-05-21 05:27:00] [INFO ] Deduced a trap composed of 141 places in 648 ms of which 4 ms to minimize.
[2024-05-21 05:27:01] [INFO ] Deduced a trap composed of 118 places in 593 ms of which 4 ms to minimize.
[2024-05-21 05:27:01] [INFO ] Deduced a trap composed of 53 places in 607 ms of which 3 ms to minimize.
At refinement iteration 11 (INCLUDED_ONLY) 0/377 variables, 20/133 constraints. Problems are: Problem set: 0 solved, 158 unsolved
[2024-05-21 05:27:03] [INFO ] Deduced a trap composed of 48 places in 560 ms of which 5 ms to minimize.
At refinement iteration 12 (INCLUDED_ONLY) 0/377 variables, 1/134 constraints. Problems are: Problem set: 0 solved, 158 unsolved
[2024-05-21 05:27:14] [INFO ] Deduced a trap composed of 88 places in 939 ms of which 6 ms to minimize.
[2024-05-21 05:27:15] [INFO ] Deduced a trap composed of 92 places in 969 ms of which 7 ms to minimize.
[2024-05-21 05:27:16] [INFO ] Deduced a trap composed of 80 places in 891 ms of which 5 ms to minimize.
[2024-05-21 05:27:17] [INFO ] Deduced a trap composed of 68 places in 888 ms of which 6 ms to minimize.
[2024-05-21 05:27:19] [INFO ] Deduced a trap composed of 95 places in 952 ms of which 6 ms to minimize.
[2024-05-21 05:27:20] [INFO ] Deduced a trap composed of 85 places in 921 ms of which 6 ms to minimize.
[2024-05-21 05:27:21] [INFO ] Deduced a trap composed of 108 places in 941 ms of which 6 ms to minimize.
[2024-05-21 05:27:22] [INFO ] Deduced a trap composed of 62 places in 848 ms of which 6 ms to minimize.
[2024-05-21 05:27:22] [INFO ] Deduced a trap composed of 86 places in 812 ms of which 5 ms to minimize.
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 377/2651 variables, and 143 constraints, problems are : Problem set: 0 solved, 158 unsolved in 120015 ms.
Refiners :[Positive P Invariants (semi-flows): 12/12 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 0/377 constraints, ReadFeed: 0/110 constraints, PredecessorRefiner: 158/158 constraints, Known Traps: 119/119 constraints]
Escalating to Integer solving :Problem set: 0 solved, 158 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/82 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 158 unsolved
At refinement iteration 1 (OVERLAPS) 267/349 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 158 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/349 variables, 0/11 constraints. Problems are: Problem set: 0 solved, 158 unsolved
At refinement iteration 3 (OVERLAPS) 27/376 variables, 12/23 constraints. Problems are: Problem set: 0 solved, 158 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/376 variables, 117/140 constraints. Problems are: Problem set: 0 solved, 158 unsolved
[2024-05-21 05:27:31] [INFO ] Deduced a trap composed of 115 places in 915 ms of which 6 ms to minimize.
[2024-05-21 05:27:32] [INFO ] Deduced a trap composed of 107 places in 904 ms of which 6 ms to minimize.
[2024-05-21 05:27:34] [INFO ] Deduced a trap composed of 43 places in 929 ms of which 6 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/376 variables, 3/143 constraints. Problems are: Problem set: 0 solved, 158 unsolved
[2024-05-21 05:27:41] [INFO ] Deduced a trap composed of 117 places in 974 ms of which 6 ms to minimize.
[2024-05-21 05:27:42] [INFO ] Deduced a trap composed of 110 places in 850 ms of which 6 ms to minimize.
[2024-05-21 05:27:43] [INFO ] Deduced a trap composed of 115 places in 893 ms of which 6 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/376 variables, 3/146 constraints. Problems are: Problem set: 0 solved, 158 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/376 variables, 0/146 constraints. Problems are: Problem set: 0 solved, 158 unsolved
At refinement iteration 8 (OVERLAPS) 1/377 variables, 1/147 constraints. Problems are: Problem set: 0 solved, 158 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/377 variables, 2/149 constraints. Problems are: Problem set: 0 solved, 158 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/377 variables, 0/149 constraints. Problems are: Problem set: 0 solved, 158 unsolved
At refinement iteration 11 (OVERLAPS) 2274/2651 variables, 377/526 constraints. Problems are: Problem set: 0 solved, 158 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/2651 variables, 110/636 constraints. Problems are: Problem set: 0 solved, 158 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/2651 variables, 158/794 constraints. Problems are: Problem set: 0 solved, 158 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 2651/2651 variables, and 794 constraints, problems are : Problem set: 0 solved, 158 unsolved in 120018 ms.
Refiners :[Positive P Invariants (semi-flows): 12/12 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 377/377 constraints, ReadFeed: 110/110 constraints, PredecessorRefiner: 158/158 constraints, Known Traps: 125/125 constraints]
After SMT, in 241022ms problems are : Problem set: 0 solved, 158 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 82 out of 377 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 377/377 places, 2274/2274 transitions.
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 3 place count 374 transition count 2211
Iterating global reduction 0 with 3 rules applied. Total rules applied 6 place count 374 transition count 2211
Applied a total of 6 rules in 97 ms. Remains 374 /377 variables (removed 3) and now considering 2211/2274 (removed 63) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 97 ms. Remains : 374/377 places, 2211/2274 transitions.
RANDOM walk for 4000000 steps (8 resets) in 66412 ms. (60 steps per ms) remains 157/158 properties
BEST_FIRST walk for 40004 steps (8 resets) in 664 ms. (60 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40002 steps (8 resets) in 791 ms. (50 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40002 steps (8 resets) in 772 ms. (51 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40003 steps (8 resets) in 794 ms. (50 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40003 steps (8 resets) in 1082 ms. (36 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40001 steps (8 resets) in 817 ms. (48 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40003 steps (8 resets) in 1065 ms. (37 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40003 steps (8 resets) in 693 ms. (57 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40003 steps (8 resets) in 720 ms. (55 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1062 ms. (37 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40003 steps (8 resets) in 1052 ms. (37 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40003 steps (8 resets) in 698 ms. (57 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40002 steps (8 resets) in 634 ms. (62 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40001 steps (8 resets) in 942 ms. (42 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40001 steps (8 resets) in 910 ms. (43 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40003 steps (8 resets) in 926 ms. (43 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40000 steps (8 resets) in 988 ms. (40 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40002 steps (8 resets) in 1053 ms. (37 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40002 steps (8 resets) in 855 ms. (46 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40002 steps (8 resets) in 663 ms. (60 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40004 steps (8 resets) in 735 ms. (54 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40004 steps (8 resets) in 573 ms. (69 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40002 steps (8 resets) in 1136 ms. (35 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40001 steps (8 resets) in 898 ms. (44 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40003 steps (8 resets) in 851 ms. (46 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40003 steps (8 resets) in 828 ms. (48 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40004 steps (8 resets) in 756 ms. (52 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40002 steps (8 resets) in 1016 ms. (39 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40003 steps (8 resets) in 1024 ms. (39 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1014 ms. (39 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40004 steps (8 resets) in 815 ms. (49 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40003 steps (8 resets) in 683 ms. (58 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40003 steps (8 resets) in 592 ms. (67 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40001 steps (8 resets) in 1205 ms. (33 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1137 ms. (35 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40003 steps (8 resets) in 697 ms. (57 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40003 steps (8 resets) in 1407 ms. (28 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40002 steps (8 resets) in 1295 ms. (30 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40003 steps (8 resets) in 1084 ms. (36 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40002 steps (8 resets) in 1436 ms. (27 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40003 steps (8 resets) in 832 ms. (48 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40003 steps (8 resets) in 765 ms. (52 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40003 steps (8 resets) in 1145 ms. (34 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40003 steps (8 resets) in 1312 ms. (30 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40002 steps (8 resets) in 1137 ms. (35 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40003 steps (8 resets) in 769 ms. (51 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40004 steps (8 resets) in 962 ms. (41 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40001 steps (8 resets) in 993 ms. (40 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40003 steps (8 resets) in 987 ms. (40 steps per ms) remains 157/157 properties
BEST_FIRST walk for 40003 steps (8 resets) in 922 ms. (43 steps per ms) remains 157/157 properties
Interrupted probabilistic random walk after 1606736 steps, run timeout after 99001 ms. (steps per millisecond=16 ) properties seen :0 out of 157
Probabilistic random walk after 1606736 steps, saw 1139797 distinct states, run finished after 99002 ms. (steps per millisecond=16 ) properties seen :0
// Phase 1: matrix 2211 rows 374 cols
[2024-05-21 05:31:36] [INFO ] Computed 24 invariants in 11 ms
[2024-05-21 05:31:36] [INFO ] State equation strengthened by 110 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/82 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 157 unsolved
At refinement iteration 1 (OVERLAPS) 264/346 variables, 11/11 constraints. Problems are: Problem set: 0 solved, 157 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/346 variables, 0/11 constraints. Problems are: Problem set: 0 solved, 157 unsolved
At refinement iteration 3 (OVERLAPS) 27/373 variables, 12/23 constraints. Problems are: Problem set: 0 solved, 157 unsolved
[2024-05-21 05:31:41] [INFO ] Deduced a trap composed of 148 places in 493 ms of which 4 ms to minimize.
[2024-05-21 05:31:42] [INFO ] Deduced a trap composed of 123 places in 765 ms of which 5 ms to minimize.
[2024-05-21 05:31:43] [INFO ] Deduced a trap composed of 114 places in 697 ms of which 4 ms to minimize.
[2024-05-21 05:31:43] [INFO ] Deduced a trap composed of 58 places in 650 ms of which 6 ms to minimize.
[2024-05-21 05:31:44] [INFO ] Deduced a trap composed of 56 places in 694 ms of which 6 ms to minimize.
[2024-05-21 05:31:45] [INFO ] Deduced a trap composed of 137 places in 616 ms of which 6 ms to minimize.
[2024-05-21 05:31:46] [INFO ] Deduced a trap composed of 133 places in 708 ms of which 4 ms to minimize.
[2024-05-21 05:31:46] [INFO ] Deduced a trap composed of 143 places in 602 ms of which 3 ms to minimize.
[2024-05-21 05:31:47] [INFO ] Deduced a trap composed of 118 places in 615 ms of which 5 ms to minimize.
[2024-05-21 05:31:48] [INFO ] Deduced a trap composed of 113 places in 742 ms of which 5 ms to minimize.
[2024-05-21 05:31:48] [INFO ] Deduced a trap composed of 118 places in 518 ms of which 3 ms to minimize.
[2024-05-21 05:31:49] [INFO ] Deduced a trap composed of 106 places in 718 ms of which 4 ms to minimize.
[2024-05-21 05:31:50] [INFO ] Deduced a trap composed of 128 places in 678 ms of which 5 ms to minimize.
[2024-05-21 05:31:50] [INFO ] Deduced a trap composed of 128 places in 534 ms of which 4 ms to minimize.
[2024-05-21 05:31:51] [INFO ] Deduced a trap composed of 83 places in 575 ms of which 4 ms to minimize.
[2024-05-21 05:31:52] [INFO ] Deduced a trap composed of 133 places in 585 ms of which 4 ms to minimize.
[2024-05-21 05:31:52] [INFO ] Deduced a trap composed of 108 places in 692 ms of which 5 ms to minimize.
[2024-05-21 05:31:53] [INFO ] Deduced a trap composed of 127 places in 758 ms of which 6 ms to minimize.
[2024-05-21 05:31:54] [INFO ] Deduced a trap composed of 85 places in 618 ms of which 4 ms to minimize.
[2024-05-21 05:31:54] [INFO ] Deduced a trap composed of 136 places in 691 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, 157 unsolved
[2024-05-21 05:31:56] [INFO ] Deduced a trap composed of 73 places in 677 ms of which 5 ms to minimize.
[2024-05-21 05:31:56] [INFO ] Deduced a trap composed of 110 places in 626 ms of which 4 ms to minimize.
[2024-05-21 05:31:57] [INFO ] Deduced a trap composed of 131 places in 676 ms of which 5 ms to minimize.
[2024-05-21 05:31:58] [INFO ] Deduced a trap composed of 67 places in 660 ms of which 4 ms to minimize.
[2024-05-21 05:31:58] [INFO ] Deduced a trap composed of 72 places in 648 ms of which 4 ms to minimize.
[2024-05-21 05:31:59] [INFO ] Deduced a trap composed of 55 places in 738 ms of which 4 ms to minimize.
[2024-05-21 05:32:00] [INFO ] Deduced a trap composed of 103 places in 612 ms of which 4 ms to minimize.
[2024-05-21 05:32:02] [INFO ] Deduced a trap composed of 94 places in 573 ms of which 4 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/373 variables, 8/51 constraints. Problems are: Problem set: 0 solved, 157 unsolved
[2024-05-21 05:32:06] [INFO ] Deduced a trap composed of 103 places in 576 ms of which 4 ms to minimize.
[2024-05-21 05:32:07] [INFO ] Deduced a trap composed of 75 places in 710 ms of which 5 ms to minimize.
[2024-05-21 05:32:08] [INFO ] Deduced a trap composed of 53 places in 608 ms of which 7 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/373 variables, 3/54 constraints. Problems are: Problem set: 0 solved, 157 unsolved
[2024-05-21 05:32:13] [INFO ] Deduced a trap composed of 110 places in 829 ms of which 6 ms to minimize.
[2024-05-21 05:32:14] [INFO ] Deduced a trap composed of 214 places in 624 ms of which 5 ms to minimize.
[2024-05-21 05:32:14] [INFO ] Deduced a trap composed of 151 places in 665 ms of which 5 ms to minimize.
At refinement iteration 7 (INCLUDED_ONLY) 0/373 variables, 3/57 constraints. Problems are: Problem set: 0 solved, 157 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/373 variables, 0/57 constraints. Problems are: Problem set: 0 solved, 157 unsolved
At refinement iteration 9 (OVERLAPS) 1/374 variables, 1/58 constraints. Problems are: Problem set: 0 solved, 157 unsolved
[2024-05-21 05:32:21] [INFO ] Deduced a trap composed of 81 places in 624 ms of which 4 ms to minimize.
[2024-05-21 05:32:22] [INFO ] Deduced a trap composed of 62 places in 735 ms of which 5 ms to minimize.
[2024-05-21 05:32:23] [INFO ] Deduced a trap composed of 119 places in 719 ms of which 4 ms to minimize.
[2024-05-21 05:32:24] [INFO ] Deduced a trap composed of 101 places in 568 ms of which 4 ms to minimize.
[2024-05-21 05:32:24] [INFO ] Deduced a trap composed of 78 places in 670 ms of which 3 ms to minimize.
[2024-05-21 05:32:25] [INFO ] Deduced a trap composed of 106 places in 667 ms of which 4 ms to minimize.
[2024-05-21 05:32:26] [INFO ] Deduced a trap composed of 77 places in 737 ms of which 5 ms to minimize.
[2024-05-21 05:32:28] [INFO ] Deduced a trap composed of 110 places in 873 ms of which 6 ms to minimize.
[2024-05-21 05:32:29] [INFO ] Deduced a trap composed of 112 places in 843 ms of which 6 ms to minimize.
[2024-05-21 05:32:30] [INFO ] Deduced a trap composed of 124 places in 838 ms of which 6 ms to minimize.
[2024-05-21 05:32:30] [INFO ] Deduced a trap composed of 141 places in 848 ms of which 6 ms to minimize.
[2024-05-21 05:32:31] [INFO ] Deduced a trap composed of 60 places in 872 ms of which 7 ms to minimize.
[2024-05-21 05:32:32] [INFO ] Deduced a trap composed of 69 places in 872 ms of which 6 ms to minimize.
[2024-05-21 05:32:33] [INFO ] Deduced a trap composed of 64 places in 852 ms of which 6 ms to minimize.
[2024-05-21 05:32:34] [INFO ] Deduced a trap composed of 63 places in 907 ms of which 5 ms to minimize.
[2024-05-21 05:32:35] [INFO ] Deduced a trap composed of 80 places in 920 ms of which 6 ms to minimize.
[2024-05-21 05:32:36] [INFO ] Deduced a trap composed of 71 places in 824 ms of which 5 ms to minimize.
[2024-05-21 05:32:37] [INFO ] Deduced a trap composed of 68 places in 844 ms of which 5 ms to minimize.
[2024-05-21 05:32:39] [INFO ] Deduced a trap composed of 125 places in 823 ms of which 6 ms to minimize.
[2024-05-21 05:32:39] [INFO ] Deduced a trap composed of 105 places in 904 ms of which 7 ms to minimize.
At refinement iteration 10 (INCLUDED_ONLY) 0/374 variables, 20/78 constraints. Problems are: Problem set: 0 solved, 157 unsolved

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