Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2025-input.r266-tall-174931350500312.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2025-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-5832
Executing tool gold2024
Input is MedleyB-PT-B10, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r266-tall-174931350500312
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 36M
-rw-r--r-- 1 mcc users 8.1K Jun 6 09:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 91K Jun 6 09:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Jun 6 09:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K Jun 6 09:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Jun 6 12:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Jun 6 12:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Jun 6 12:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Jun 6 12:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Jun 5 20:08 NewModel
-rw-r--r-- 1 mcc users 11K Jun 6 09:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 111K Jun 6 09:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Jun 6 09:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 66K Jun 6 09:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Jun 6 12:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Jun 6 12:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jun 5 20:08 equiv_col
-rw-r--r-- 1 mcc users 4 Jun 5 20:08 instance
-rw-r--r-- 1 mcc users 6 Jun 5 20:08 iscolored
-rw-r--r-- 1 mcc users 36M Jun 5 20:08 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 1749324173282

Invoking MCC driver with
BK_TOOL=gold2024
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=MedleyB-PT-B10
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2025-06-07 19:22:54] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -timeout, 180, -rebuildPNML]
[2025-06-07 19:22:54] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-07 19:22:56] [INFO ] Load time of PNML (sax parser for PT used): 1500 ms
[2025-06-07 19:22:56] [INFO ] Transformed 1234 places.
[2025-06-07 19:22:56] [INFO ] Transformed 41201 transitions.
[2025-06-07 19:22:56] [INFO ] Found NUPN structural information;
[2025-06-07 19:22:56] [INFO ] Parsed PT model containing 1234 places and 41201 transitions and 720567 arcs in 1843 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 1234/1234 places, 41201/41201 transitions.
Graph (trivial) has 1260 edges and 1234 vertex of which 180 / 1234 are part of one of the 27 SCC in 18 ms
Free SCC test removed 153 places
Ensure Unique test removed 171 transitions
Reduce isomorphic transitions removed 171 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 786 transitions
Trivial Post-agglo rules discarded 786 transitions
Performed 786 trivial Post agglomeration. Transition count delta: 786
Iterating post reduction 0 with 786 rules applied. Total rules applied 787 place count 1081 transition count 40244
Reduce places removed 786 places and 0 transitions.
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 9 transitions
Trivial Post-agglo rules discarded 9 transitions
Performed 9 trivial Post agglomeration. Transition count delta: 9
Iterating post reduction 1 with 804 rules applied. Total rules applied 1591 place count 295 transition count 40226
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 2 with 9 rules applied. Total rules applied 1600 place count 286 transition count 40226
Performed 27 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 27 Pre rules applied. Total rules applied 1600 place count 286 transition count 40199
Deduced a syphon composed of 27 places in 79 ms
Reduce places removed 27 places and 0 transitions.
Iterating global reduction 3 with 54 rules applied. Total rules applied 1654 place count 259 transition count 40199
Performed 85 Post agglomeration using F-continuation condition.Transition count delta: 85
Deduced a syphon composed of 85 places in 15 ms
Reduce places removed 85 places and 0 transitions.
Iterating global reduction 3 with 170 rules applied. Total rules applied 1824 place count 174 transition count 40114
Performed 21 Post agglomeration using F-continuation condition.Transition count delta: -8
Deduced a syphon composed of 21 places in 22 ms
Reduce places removed 21 places and 0 transitions.
Iterating global reduction 3 with 42 rules applied. Total rules applied 1866 place count 153 transition count 40122
Applied a total of 1866 rules in 14391 ms. Remains 153 /1234 variables (removed 1081) and now considering 40122/41201 (removed 1079) transitions.
[2025-06-07 19:23:11] [INFO ] Flow matrix only has 40095 transitions (discarded 27 similar events)
// Phase 1: matrix 40095 rows 153 cols
[2025-06-07 19:23:11] [INFO ] Computed 10 invariants in 568 ms
[2025-06-07 19:23:26] [INFO ] Implicit Places using invariants in 15092 ms returned []
Implicit Place search using SMT only with invariants took 15143 ms to find 0 implicit places.
Running 40106 sub problems to find dead transitions.
[2025-06-07 19:23:26] [INFO ] Flow matrix only has 40095 transitions (discarded 27 similar events)
[2025-06-07 19:23:26] [INFO ] Invariant cache hit.
[2025-06-07 19:24:00] [INFO ] State equation strengthened by 529 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/152 variables, 152/152 constraints. Problems are: Problem set: 0 solved, 40106 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 152/40248 variables, and 152 constraints, problems are : Problem set: 0 solved, 40106 unsolved in 30650 ms.
Refiners :[Domain max(s): 152/153 constraints, Positive P Invariants (semi-flows): 0/10 constraints, State Equation: 0/153 constraints, ReadFeed: 0/529 constraints, PredecessorRefiner: 40106/94 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 40106 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/152 variables, 152/152 constraints. Problems are: Problem set: 0 solved, 40106 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 152/40248 variables, and 152 constraints, problems are : Problem set: 0 solved, 40106 unsolved in 30510 ms.
Refiners :[Domain max(s): 152/153 constraints, Positive P Invariants (semi-flows): 0/10 constraints, State Equation: 0/153 constraints, ReadFeed: 0/529 constraints, PredecessorRefiner: 40012/94 constraints, Known Traps: 0/0 constraints]
After SMT, in 796208ms problems are : Problem set: 0 solved, 40106 unsolved
Search for dead transitions found 0 dead transitions in 796666ms
Starting structural reductions in LIVENESS mode, iteration 1 : 153/1234 places, 40122/41201 transitions.
Finished structural reductions in LIVENESS mode , in 1 iterations and 826443 ms. Remains : 153/1234 places, 40122/41201 transitions.
Discarding 148 transitions out of 40122. Remains 39974
Initial state reduction rules removed 1 formulas.
RANDOM walk for 40000 steps (2712 resets) in 31607 ms. (1 steps per ms) remains 39959/39973 properties
BEST_FIRST walk for 124 steps (4 resets) in 65 ms. (1 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 160 ms. (0 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 172 ms. (0 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 181 ms. (0 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 154 ms. (0 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 57 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 50 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 56 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 53 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 44 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 51 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 52 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 46 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 52 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 52 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 56 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 55 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 55 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 56 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 56 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 48 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 55 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 52 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 56 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 54 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 53 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 56 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 55 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 53 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 53 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 55 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 52 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 52 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 44 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 52 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 50 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 53 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 56 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 58 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 52 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 56 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 52 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 47 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 45 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 53 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 44 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 56 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 50 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 52 ms. (2 steps per ms) remains 39959/39959 properties
BEST_FIRST walk for 124 steps (4 resets) in 52 ms. (2 steps per ms) remains 39959/39959 properties
Interrupted probabilistic random walk after 10109 steps, run timeout after 27113 ms. (steps per millisecond=0 ) properties seen :148 out of 39959
Probabilistic random walk after 10109 steps, saw 7280 distinct states, run finished after 27122 ms. (steps per millisecond=0 ) properties seen :148
[2025-06-07 19:38:12] [INFO ] Flow matrix only has 40095 transitions (discarded 27 similar events)
[2025-06-07 19:38:12] [INFO ] Invariant cache hit.
[2025-06-07 19:38:46] [INFO ] State equation strengthened by 529 read => feed constraints.
SMT process timed out in 778268ms, After SMT, problems are : Problem set: 0 solved, 39811 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 120 out of 153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 153/153 places, 40122/40122 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 28 transitions
Reduce isomorphic transitions removed 28 transitions.
Iterating post reduction 0 with 28 rules applied. Total rules applied 28 place count 153 transition count 40094
Free-agglomeration rule applied 5 times.
Iterating global reduction 1 with 5 rules applied. Total rules applied 33 place count 153 transition count 40089
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 1 with 5 rules applied. Total rules applied 38 place count 148 transition count 40089
Applied a total of 38 rules in 1204 ms. Remains 148 /153 variables (removed 5) and now considering 40089/40122 (removed 33) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1206 ms. Remains : 148/153 places, 40089/40122 transitions.
RANDOM walk for 129008 steps (7902 resets) in 120018 ms. (1 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (17 resets) in 675 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4003 steps (16 resets) in 675 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4003 steps (17 resets) in 671 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4003 steps (16 resets) in 743 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (17 resets) in 676 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4003 steps (17 resets) in 676 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (17 resets) in 688 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (16 resets) in 669 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (17 resets) in 676 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4003 steps (17 resets) in 676 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (17 resets) in 689 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (16 resets) in 673 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (18 resets) in 692 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (16 resets) in 698 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (18 resets) in 704 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4003 steps (17 resets) in 709 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4003 steps (17 resets) in 672 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4002 steps (16 resets) in 676 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (18 resets) in 669 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (19 resets) in 673 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (16 resets) in 676 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4002 steps (17 resets) in 664 ms. (6 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (17 resets) in 680 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (16 resets) in 682 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (19 resets) in 669 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (15 resets) in 661 ms. (6 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4002 steps (17 resets) in 668 ms. (5 steps per ms) remains 39811/39811 properties
BEST_FIRST walk for 4004 steps (16 resets) in 669 ms. (5 steps per ms) remains 39805/39811 properties
BEST_FIRST walk for 4003 steps (19 resets) in 671 ms. (5 steps per ms) remains 39787/39805 properties
BEST_FIRST walk for 4004 steps (17 resets) in 670 ms. (5 steps per ms) remains 39772/39787 properties
BEST_FIRST walk for 4003 steps (10 resets) in 692 ms. (5 steps per ms) remains 39767/39772 properties
BEST_FIRST walk for 4004 steps (18 resets) in 682 ms. (5 steps per ms) remains 39766/39767 properties
BEST_FIRST walk for 4003 steps (13 resets) in 672 ms. (5 steps per ms) remains 39764/39766 properties
BEST_FIRST walk for 4004 steps (12 resets) in 675 ms. (5 steps per ms) remains 39762/39764 properties
BEST_FIRST walk for 4004 steps (13 resets) in 670 ms. (5 steps per ms) remains 39761/39762 properties
BEST_FIRST walk for 4004 steps (15 resets) in 677 ms. (5 steps per ms) remains 39760/39761 properties
BEST_FIRST walk for 4003 steps (15 resets) in 677 ms. (5 steps per ms) remains 39760/39760 properties
BEST_FIRST walk for 4004 steps (15 resets) in 677 ms. (5 steps per ms) remains 39760/39760 properties
BEST_FIRST walk for 4004 steps (12 resets) in 668 ms. (5 steps per ms) remains 39760/39760 properties
BEST_FIRST walk for 4003 steps (13 resets) in 678 ms. (5 steps per ms) remains 39759/39760 properties
BEST_FIRST walk for 4004 steps (20 resets) in 684 ms. (5 steps per ms) remains 39759/39759 properties
BEST_FIRST walk for 4004 steps (16 resets) in 688 ms. (5 steps per ms) remains 39758/39759 properties
BEST_FIRST walk for 4004 steps (14 resets) in 676 ms. (5 steps per ms) remains 39757/39758 properties
BEST_FIRST walk for 4003 steps (17 resets) in 673 ms. (5 steps per ms) remains 39757/39757 properties
BEST_FIRST walk for 4003 steps (13 resets) in 672 ms. (5 steps per ms) remains 39756/39757 properties
BEST_FIRST walk for 4003 steps (13 resets) in 672 ms. (5 steps per ms) remains 39755/39756 properties
BEST_FIRST walk for 4004 steps (15 resets) in 676 ms. (5 steps per ms) remains 39754/39755 properties
BEST_FIRST walk for 4004 steps (14 resets) in 672 ms. (5 steps per ms) remains 39753/39754 properties
BEST_FIRST walk for 4004 steps (17 resets) in 671 ms. (5 steps per ms) remains 39749/39753 properties
BEST_FIRST walk for 4004 steps (18 resets) in 683 ms. (5 steps per ms) remains 39749/39749 properties
BEST_FIRST walk for 4004 steps (13 resets) in 676 ms. (5 steps per ms) remains 39748/39749 properties
BEST_FIRST walk for 4004 steps (13 resets) in 688 ms. (5 steps per ms) remains 39747/39748 properties
BEST_FIRST walk for 4004 steps (10 resets) in 676 ms. (5 steps per ms) remains 39746/39747 properties
BEST_FIRST walk for 4004 steps (14 resets) in 666 ms. (6 steps per ms) remains 39745/39746 properties
BEST_FIRST walk for 4004 steps (19 resets) in 681 ms. (5 steps per ms) remains 39744/39745 properties
BEST_FIRST walk for 4004 steps (17 resets) in 690 ms. (5 steps per ms) remains 39743/39744 properties
BEST_FIRST walk for 4003 steps (16 resets) in 671 ms. (5 steps per ms) remains 39743/39743 properties
BEST_FIRST walk for 4003 steps (15 resets) in 677 ms. (5 steps per ms) remains 39742/39743 properties
BEST_FIRST walk for 4003 steps (17 resets) in 671 ms. (5 steps per ms) remains 39741/39742 properties
BEST_FIRST walk for 4004 steps (13 resets) in 670 ms. (5 steps per ms) remains 39740/39741 properties
BEST_FIRST walk for 4004 steps (23 resets) in 681 ms. (5 steps per ms) remains 39740/39740 properties
BEST_FIRST walk for 4004 steps (15 resets) in 669 ms. (5 steps per ms) remains 39740/39740 properties
BEST_FIRST walk for 4004 steps (18 resets) in 679 ms. (5 steps per ms) remains 39739/39740 properties
BEST_FIRST walk for 4003 steps (16 resets) in 687 ms. (5 steps per ms) remains 39738/39739 properties
BEST_FIRST walk for 4003 steps (13 resets) in 681 ms. (5 steps per ms) remains 39738/39738 properties
BEST_FIRST walk for 4004 steps (14 resets) in 673 ms. (5 steps per ms) remains 39737/39738 properties
BEST_FIRST walk for 4004 steps (11 resets) in 676 ms. (5 steps per ms) remains 39735/39737 properties
BEST_FIRST walk for 4004 steps (11 resets) in 668 ms. (5 steps per ms) remains 39732/39735 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 39728/39732 properties
BEST_FIRST walk for 4004 steps (19 resets) in 672 ms. (5 steps per ms) remains 39728/39728 properties
BEST_FIRST walk for 4004 steps (11 resets) in 679 ms. (5 steps per ms) remains 39727/39728 properties
BEST_FIRST walk for 4002 steps (15 resets) in 680 ms. (5 steps per ms) remains 39726/39727 properties
BEST_FIRST walk for 4003 steps (14 resets) in 673 ms. (5 steps per ms) remains 39725/39726 properties
BEST_FIRST walk for 4004 steps (12 resets) in 671 ms. (5 steps per ms) remains 39724/39725 properties
BEST_FIRST walk for 4003 steps (15 resets) in 688 ms. (5 steps per ms) remains 39724/39724 properties
BEST_FIRST walk for 4004 steps (16 resets) in 676 ms. (5 steps per ms) remains 39724/39724 properties
BEST_FIRST walk for 4004 steps (11 resets) in 670 ms. (5 steps per ms) remains 39723/39724 properties
BEST_FIRST walk for 4004 steps (15 resets) in 671 ms. (5 steps per ms) remains 39723/39723 properties
BEST_FIRST walk for 4002 steps (18 resets) in 674 ms. (5 steps per ms) remains 39722/39723 properties
BEST_FIRST walk for 4004 steps (14 resets) in 682 ms. (5 steps per ms) remains 39721/39722 properties
BEST_FIRST walk for 4004 steps (13 resets) in 676 ms. (5 steps per ms) remains 39720/39721 properties
BEST_FIRST walk for 4003 steps (12 resets) in 671 ms. (5 steps per ms) remains 39719/39720 properties
BEST_FIRST walk for 4003 steps (14 resets) in 684 ms. (5 steps per ms) remains 39718/39719 properties
BEST_FIRST walk for 4003 steps (14 resets) in 670 ms. (5 steps per ms) remains 39717/39718 properties
BEST_FIRST walk for 4004 steps (16 resets) in 673 ms. (5 steps per ms) remains 39716/39717 properties
BEST_FIRST walk for 4002 steps (17 resets) in 678 ms. (5 steps per ms) remains 39716/39716 properties
BEST_FIRST walk for 4003 steps (16 resets) in 675 ms. (5 steps per ms) remains 39715/39716 properties
BEST_FIRST walk for 4004 steps (20 resets) in 680 ms. (5 steps per ms) remains 39714/39715 properties
BEST_FIRST walk for 4003 steps (14 resets) in 683 ms. (5 steps per ms) remains 39713/39714 properties
BEST_FIRST walk for 4004 steps (12 resets) in 685 ms. (5 steps per ms) remains 39712/39713 properties
BEST_FIRST walk for 4003 steps (13 resets) in 679 ms. (5 steps per ms) remains 39711/39712 properties
BEST_FIRST walk for 4004 steps (22 resets) in 674 ms. (5 steps per ms) remains 39711/39711 properties
BEST_FIRST walk for 4004 steps (24 resets) in 677 ms. (5 steps per ms) remains 39711/39711 properties
BEST_FIRST walk for 4003 steps (17 resets) in 682 ms. (5 steps per ms) remains 39711/39711 properties
BEST_FIRST walk for 4003 steps (16 resets) in 681 ms. (5 steps per ms) remains 39710/39711 properties
BEST_FIRST walk for 4004 steps (14 resets) in 682 ms. (5 steps per ms) remains 39709/39710 properties
BEST_FIRST walk for 4004 steps (13 resets) in 685 ms. (5 steps per ms) remains 39708/39709 properties
BEST_FIRST walk for 4004 steps (16 resets) in 672 ms. (5 steps per ms) remains 39707/39708 properties
BEST_FIRST walk for 4003 steps (17 resets) in 685 ms. (5 steps per ms) remains 39706/39707 properties
BEST_FIRST walk for 4004 steps (17 resets) in 685 ms. (5 steps per ms) remains 39705/39706 properties
BEST_FIRST walk for 4002 steps (18 resets) in 673 ms. (5 steps per ms) remains 39704/39705 properties
BEST_FIRST walk for 4002 steps (15 resets) in 675 ms. (5 steps per ms) remains 39703/39704 properties
BEST_FIRST walk for 4004 steps (16 resets) in 683 ms. (5 steps per ms) remains 39702/39703 properties
BEST_FIRST walk for 4003 steps (14 resets) in 682 ms. (5 steps per ms) remains 39701/39702 properties
BEST_FIRST walk for 4004 steps (17 resets) in 673 ms. (5 steps per ms) remains 39701/39701 properties
BEST_FIRST walk for 4001 steps (16 resets) in 667 ms. (5 steps per ms) remains 39701/39701 properties
BEST_FIRST walk for 4004 steps (13 resets) in 686 ms. (5 steps per ms) remains 39701/39701 properties
BEST_FIRST walk for 4004 steps (13 resets) in 671 ms. (5 steps per ms) remains 39700/39701 properties
BEST_FIRST walk for 4004 steps (14 resets) in 674 ms. (5 steps per ms) remains 39700/39700 properties
BEST_FIRST walk for 4003 steps (19 resets) in 680 ms. (5 steps per ms) remains 39699/39700 properties
BEST_FIRST walk for 4003 steps (12 resets) in 674 ms. (5 steps per ms) remains 39699/39699 properties
BEST_FIRST walk for 4003 steps (14 resets) in 678 ms. (5 steps per ms) remains 39699/39699 properties
BEST_FIRST walk for 4003 steps (16 resets) in 680 ms. (5 steps per ms) remains 39699/39699 properties
BEST_FIRST walk for 4004 steps (19 resets) in 667 ms. (5 steps per ms) remains 39699/39699 properties
BEST_FIRST walk for 4004 steps (14 resets) in 685 ms. (5 steps per ms) remains 39698/39699 properties
BEST_FIRST walk for 4004 steps (15 resets) in 679 ms. (5 steps per ms) remains 39697/39698 properties
BEST_FIRST walk for 4002 steps (10 resets) in 679 ms. (5 steps per ms) remains 39696/39697 properties
BEST_FIRST walk for 4004 steps (21 resets) in 685 ms. (5 steps per ms) remains 39696/39696 properties
BEST_FIRST walk for 4004 steps (18 resets) in 673 ms. (5 steps per ms) remains 39695/39696 properties
BEST_FIRST walk for 4004 steps (15 resets) in 677 ms. (5 steps per ms) remains 39694/39695 properties
BEST_FIRST walk for 4002 steps (14 resets) in 671 ms. (5 steps per ms) remains 39693/39694 properties
BEST_FIRST walk for 4004 steps (11 resets) in 675 ms. (5 steps per ms) remains 39693/39693 properties
BEST_FIRST walk for 4003 steps (11 resets) in 670 ms. (5 steps per ms) remains 39693/39693 properties
BEST_FIRST walk for 4004 steps (20 resets) in 671 ms. (5 steps per ms) remains 39693/39693 properties
BEST_FIRST walk for 4004 steps (17 resets) in 679 ms. (5 steps per ms) remains 39692/39693 properties
BEST_FIRST walk for 4004 steps (19 resets) in 673 ms. (5 steps per ms) remains 39691/39692 properties
BEST_FIRST walk for 4003 steps (14 resets) in 669 ms. (5 steps per ms) remains 39690/39691 properties
BEST_FIRST walk for 4004 steps (17 resets) in 669 ms. (5 steps per ms) remains 39690/39690 properties
BEST_FIRST walk for 4004 steps (21 resets) in 686 ms. (5 steps per ms) remains 39690/39690 properties
BEST_FIRST walk for 4003 steps (16 resets) in 683 ms. (5 steps per ms) remains 39689/39690 properties
BEST_FIRST walk for 4004 steps (16 resets) in 672 ms. (5 steps per ms) remains 39688/39689 properties
BEST_FIRST walk for 4003 steps (15 resets) in 675 ms. (5 steps per ms) remains 39687/39688 properties
BEST_FIRST walk for 4004 steps (13 resets) in 672 ms. (5 steps per ms) remains 39686/39687 properties
BEST_FIRST walk for 4002 steps (13 resets) in 776 ms. (5 steps per ms) remains 39685/39686 properties
BEST_FIRST walk for 4004 steps (19 resets) in 671 ms. (5 steps per ms) remains 39685/39685 properties
BEST_FIRST walk for 4004 steps (16 resets) in 672 ms. (5 steps per ms) remains 39684/39685 properties
BEST_FIRST walk for 4003 steps (17 resets) in 674 ms. (5 steps per ms) remains 39684/39684 properties
BEST_FIRST walk for 4003 steps (17 resets) in 680 ms. (5 steps per ms) remains 39683/39684 properties
BEST_FIRST walk for 4003 steps (10 resets) in 669 ms. (5 steps per ms) remains 39682/39683 properties
BEST_FIRST walk for 4003 steps (19 resets) in 682 ms. (5 steps per ms) remains 39681/39682 properties
BEST_FIRST walk for 4004 steps (19 resets) in 673 ms. (5 steps per ms) remains 39681/39681 properties
BEST_FIRST walk for 4003 steps (15 resets) in 683 ms. (5 steps per ms) remains 39680/39681 properties
BEST_FIRST walk for 4003 steps (19 resets) in 667 ms. (5 steps per ms) remains 39679/39680 properties
BEST_FIRST walk for 4003 steps (14 resets) in 681 ms. (5 steps per ms) remains 39679/39679 properties
BEST_FIRST walk for 4004 steps (10 resets) in 673 ms. (5 steps per ms) remains 39678/39679 properties
BEST_FIRST walk for 4003 steps (16 resets) in 675 ms. (5 steps per ms) remains 39677/39678 properties
BEST_FIRST walk for 4004 steps (13 resets) in 688 ms. (5 steps per ms) remains 39676/39677 properties
BEST_FIRST walk for 4004 steps (16 resets) in 680 ms. (5 steps per ms) remains 39675/39676 properties
BEST_FIRST walk for 4004 steps (18 resets) in 679 ms. (5 steps per ms) remains 39674/39675 properties
BEST_FIRST walk for 4004 steps (17 resets) in 669 ms. (5 steps per ms) remains 39673/39674 properties
BEST_FIRST walk for 4004 steps (18 resets) in 674 ms. (5 steps per ms) remains 39673/39673 properties
BEST_FIRST walk for 4003 steps (14 resets) in 680 ms. (5 steps per ms) remains 39672/39673 properties
BEST_FIRST walk for 4004 steps (19 resets) in 672 ms. (5 steps per ms) remains 39671/39672 properties
BEST_FIRST walk for 4004 steps (16 resets) in 674 ms. (5 steps per ms) remains 39670/39671 properties
BEST_FIRST walk for 4004 steps (13 resets) in 671 ms. (5 steps per ms) remains 39670/39670 properties
BEST_FIRST walk for 4003 steps (19 resets) in 679 ms. (5 steps per ms) remains 39670/39670 properties
BEST_FIRST walk for 4004 steps (18 resets) in 667 ms. (5 steps per ms) remains 39670/39670 properties
BEST_FIRST walk for 4003 steps (17 resets) in 669 ms. (5 steps per ms) remains 39670/39670 properties
BEST_FIRST walk for 4003 steps (19 resets) in 671 ms. (5 steps per ms) remains 39670/39670 properties
BEST_FIRST walk for 4004 steps (16 resets) in 673 ms. (5 steps per ms) remains 39669/39670 properties
BEST_FIRST walk for 4004 steps (15 resets) in 674 ms. (5 steps per ms) remains 39668/39669 properties
BEST_FIRST walk for 4004 steps (10 resets) in 669 ms. (5 steps per ms) remains 39667/39668 properties
BEST_FIRST walk for 4004 steps (15 resets) in 680 ms. (5 steps per ms) remains 39666/39667 properties
BEST_FIRST walk for 4004 steps (18 resets) in 680 ms. (5 steps per ms) remains 39665/39666 properties
BEST_FIRST walk for 4004 steps (20 resets) in 684 ms. (5 steps per ms) remains 39664/39665 properties
BEST_FIRST walk for 4002 steps (18 resets) in 682 ms. (5 steps per ms) remains 39664/39664 properties
BEST_FIRST walk for 4003 steps (12 resets) in 674 ms. (5 steps per ms) remains 39664/39664 properties
BEST_FIRST walk for 4004 steps (13 resets) in 672 ms. (5 steps per ms) remains 39663/39664 properties
BEST_FIRST walk for 4004 steps (17 resets) in 673 ms. (5 steps per ms) remains 39662/39663 properties
BEST_FIRST walk for 4004 steps (13 resets) in 667 ms. (5 steps per ms) remains 39659/39662 properties
BEST_FIRST walk for 4004 steps (11 resets) in 676 ms. (5 steps per ms) remains 39658/39659 properties
BEST_FIRST walk for 4004 steps (10 resets) in 676 ms. (5 steps per ms) remains 39655/39658 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 39653/39655 properties
BEST_FIRST walk for 4003 steps (11 resets) in 671 ms. (5 steps per ms) remains 39650/39653 properties
BEST_FIRST walk for 4004 steps (8 resets) in 660 ms. (6 steps per ms) remains 39648/39650 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 39645/39648 properties
BEST_FIRST walk for 4004 steps (8 resets) in 657 ms. (6 steps per ms) remains 39645/39645 properties
BEST_FIRST walk for 4004 steps (20 resets) in 672 ms. (5 steps per ms) remains 39644/39645 properties
BEST_FIRST walk for 4003 steps (16 resets) in 680 ms. (5 steps per ms) remains 39644/39644 properties
BEST_FIRST walk for 4004 steps (16 resets) in 668 ms. (5 steps per ms) remains 39644/39644 properties
BEST_FIRST walk for 4004 steps (15 resets) in 674 ms. (5 steps per ms) remains 39643/39644 properties
BEST_FIRST walk for 4003 steps (16 resets) in 664 ms. (6 steps per ms) remains 39642/39643 properties
BEST_FIRST walk for 4003 steps (16 resets) in 672 ms. (5 steps per ms) remains 39641/39642 properties
BEST_FIRST walk for 4003 steps (16 resets) in 694 ms. (5 steps per ms) remains 39640/39641 properties
BEST_FIRST walk for 4003 steps (10 resets) in 672 ms. (5 steps per ms) remains 39639/39640 properties
BEST_FIRST walk for 4004 steps (14 resets) in 686 ms. (5 steps per ms) remains 39638/39639 properties
BEST_FIRST walk for 4002 steps (16 resets) in 667 ms. (5 steps per ms) remains 39637/39638 properties
BEST_FIRST walk for 4003 steps (20 resets) in 673 ms. (5 steps per ms) remains 39637/39637 properties
BEST_FIRST walk for 4004 steps (19 resets) in 678 ms. (5 steps per ms) remains 39637/39637 properties
BEST_FIRST walk for 4004 steps (11 resets) in 688 ms. (5 steps per ms) remains 39637/39637 properties
BEST_FIRST walk for 4004 steps (14 resets) in 679 ms. (5 steps per ms) remains 39636/39637 properties
BEST_FIRST walk for 4003 steps (18 resets) in 669 ms. (5 steps per ms) remains 39636/39636 properties
BEST_FIRST walk for 4004 steps (14 resets) in 674 ms. (5 steps per ms) remains 39635/39636 properties
BEST_FIRST walk for 4003 steps (17 resets) in 673 ms. (5 steps per ms) remains 39634/39635 properties
BEST_FIRST walk for 4004 steps (20 resets) in 671 ms. (5 steps per ms) remains 39634/39634 properties
BEST_FIRST walk for 4003 steps (16 resets) in 671 ms. (5 steps per ms) remains 39633/39634 properties
BEST_FIRST walk for 4004 steps (21 resets) in 711 ms. (5 steps per ms) remains 39633/39633 properties
BEST_FIRST walk for 4004 steps (14 resets) in 681 ms. (5 steps per ms) remains 39632/39633 properties
BEST_FIRST walk for 4004 steps (14 resets) in 682 ms. (5 steps per ms) remains 39631/39632 properties
BEST_FIRST walk for 4004 steps (16 resets) in 672 ms. (5 steps per ms) remains 39630/39631 properties
BEST_FIRST walk for 4004 steps (14 resets) in 684 ms. (5 steps per ms) remains 39629/39630 properties
BEST_FIRST walk for 4004 steps (18 resets) in 676 ms. (5 steps per ms) remains 39629/39629 properties
BEST_FIRST walk for 4004 steps (14 resets) in 680 ms. (5 steps per ms) remains 39629/39629 properties
BEST_FIRST walk for 4004 steps (14 resets) in 667 ms. (5 steps per ms) remains 39629/39629 properties
BEST_FIRST walk for 4004 steps (18 resets) in 680 ms. (5 steps per ms) remains 39629/39629 properties
BEST_FIRST walk for 4004 steps (17 resets) in 689 ms. (5 steps per ms) remains 39628/39629 properties
BEST_FIRST walk for 4004 steps (19 resets) in 681 ms. (5 steps per ms) remains 39628/39628 properties
BEST_FIRST walk for 4004 steps (14 resets) in 678 ms. (5 steps per ms) remains 39628/39628 properties
BEST_FIRST walk for 4004 steps (17 resets) in 681 ms. (5 steps per ms) remains 39628/39628 properties
BEST_FIRST walk for 4004 steps (17 resets) in 673 ms. (5 steps per ms) remains 39627/39628 properties
BEST_FIRST walk for 4004 steps (18 resets) in 669 ms. (5 steps per ms) remains 39626/39627 properties
BEST_FIRST walk for 4002 steps (15 resets) in 684 ms. (5 steps per ms) remains 39626/39626 properties
BEST_FIRST walk for 4004 steps (18 resets) in 687 ms. (5 steps per ms) remains 39625/39626 properties
BEST_FIRST walk for 4004 steps (15 resets) in 675 ms. (5 steps per ms) remains 39624/39625 properties
BEST_FIRST walk for 4002 steps (14 resets) in 670 ms. (5 steps per ms) remains 39623/39624 properties
BEST_FIRST walk for 4004 steps (15 resets) in 673 ms. (5 steps per ms) remains 39622/39623 properties
BEST_FIRST walk for 4004 steps (14 resets) in 670 ms. (5 steps per ms) remains 39621/39622 properties
BEST_FIRST walk for 4004 steps (14 resets) in 675 ms. (5 steps per ms) remains 39620/39621 properties
BEST_FIRST walk for 4004 steps (16 resets) in 679 ms. (5 steps per ms) remains 39619/39620 properties
BEST_FIRST walk for 4004 steps (11 resets) in 677 ms. (5 steps per ms) remains 39619/39619 properties
BEST_FIRST walk for 4004 steps (12 resets) in 676 ms. (5 steps per ms) remains 39618/39619 properties
BEST_FIRST walk for 4004 steps (15 resets) in 678 ms. (5 steps per ms) remains 39617/39618 properties
BEST_FIRST walk for 4003 steps (16 resets) in 669 ms. (5 steps per ms) remains 39617/39617 properties
BEST_FIRST walk for 4003 steps (13 resets) in 675 ms. (5 steps per ms) remains 39617/39617 properties
BEST_FIRST walk for 4004 steps (12 resets) in 675 ms. (5 steps per ms) remains 39616/39617 properties
BEST_FIRST walk for 4004 steps (12 resets) in 681 ms. (5 steps per ms) remains 39615/39616 properties
BEST_FIRST walk for 4004 steps (18 resets) in 669 ms. (5 steps per ms) remains 39614/39615 properties
BEST_FIRST walk for 4004 steps (16 resets) in 680 ms. (5 steps per ms) remains 39613/39614 properties
BEST_FIRST walk for 4004 steps (18 resets) in 682 ms. (5 steps per ms) remains 39612/39613 properties
BEST_FIRST walk for 4004 steps (16 resets) in 675 ms. (5 steps per ms) remains 39611/39612 properties
BEST_FIRST walk for 4004 steps (12 resets) in 671 ms. (5 steps per ms) remains 39610/39611 properties
BEST_FIRST walk for 4004 steps (17 resets) in 677 ms. (5 steps per ms) remains 39609/39610 properties
BEST_FIRST walk for 4004 steps (18 resets) in 670 ms. (5 steps per ms) remains 39609/39609 properties
BEST_FIRST walk for 4004 steps (17 resets) in 668 ms. (5 steps per ms) remains 39608/39609 properties
BEST_FIRST walk for 4004 steps (11 resets) in 667 ms. (5 steps per ms) remains 39607/39608 properties
BEST_FIRST walk for 4004 steps (12 resets) in 679 ms. (5 steps per ms) remains 39606/39607 properties
BEST_FIRST walk for 4003 steps (11 resets) in 667 ms. (5 steps per ms) remains 39605/39606 properties
BEST_FIRST walk for 4003 steps (16 resets) in 674 ms. (5 steps per ms) remains 39604/39605 properties
BEST_FIRST walk for 4003 steps (19 resets) in 695 ms. (5 steps per ms) remains 39603/39604 properties
BEST_FIRST walk for 4004 steps (16 resets) in 677 ms. (5 steps per ms) remains 39602/39603 properties
BEST_FIRST walk for 4004 steps (12 resets) in 675 ms. (5 steps per ms) remains 39601/39602 properties
BEST_FIRST walk for 4004 steps (18 resets) in 674 ms. (5 steps per ms) remains 39600/39601 properties
BEST_FIRST walk for 4003 steps (17 resets) in 689 ms. (5 steps per ms) remains 39599/39600 properties
BEST_FIRST walk for 4004 steps (15 resets) in 674 ms. (5 steps per ms) remains 39598/39599 properties
BEST_FIRST walk for 4003 steps (15 resets) in 663 ms. (6 steps per ms) remains 39598/39598 properties
BEST_FIRST walk for 4004 steps (12 resets) in 670 ms. (5 steps per ms) remains 39597/39598 properties
BEST_FIRST walk for 4003 steps (18 resets) in 671 ms. (5 steps per ms) remains 39596/39597 properties
BEST_FIRST walk for 4004 steps (13 resets) in 680 ms. (5 steps per ms) remains 39596/39596 properties
BEST_FIRST walk for 4004 steps (17 resets) in 676 ms. (5 steps per ms) remains 39595/39596 properties
BEST_FIRST walk for 4003 steps (13 resets) in 676 ms. (5 steps per ms) remains 39594/39595 properties
BEST_FIRST walk for 4004 steps (13 resets) in 679 ms. (5 steps per ms) remains 39593/39594 properties
BEST_FIRST walk for 4004 steps (16 resets) in 679 ms. (5 steps per ms) remains 39593/39593 properties
BEST_FIRST walk for 4003 steps (14 resets) in 671 ms. (5 steps per ms) remains 39592/39593 properties
BEST_FIRST walk for 4004 steps (16 resets) in 682 ms. (5 steps per ms) remains 39592/39592 properties
BEST_FIRST walk for 4004 steps (17 resets) in 684 ms. (5 steps per ms) remains 39591/39592 properties
BEST_FIRST walk for 4004 steps (14 resets) in 672 ms. (5 steps per ms) remains 39590/39591 properties
BEST_FIRST walk for 4004 steps (11 resets) in 680 ms. (5 steps per ms) remains 39589/39590 properties
BEST_FIRST walk for 4003 steps (18 resets) in 674 ms. (5 steps per ms) remains 39589/39589 properties
BEST_FIRST walk for 4004 steps (21 resets) in 679 ms. (5 steps per ms) remains 39588/39589 properties
BEST_FIRST walk for 4004 steps (22 resets) in 678 ms. (5 steps per ms) remains 39588/39588 properties
BEST_FIRST walk for 4003 steps (10 resets) in 668 ms. (5 steps per ms) remains 39587/39588 properties
BEST_FIRST walk for 4003 steps (18 resets) in 670 ms. (5 steps per ms) remains 39586/39587 properties
BEST_FIRST walk for 4003 steps (19 resets) in 684 ms. (5 steps per ms) remains 39586/39586 properties
BEST_FIRST walk for 4004 steps (13 resets) in 676 ms. (5 steps per ms) remains 39585/39586 properties
BEST_FIRST walk for 4004 steps (13 resets) in 679 ms. (5 steps per ms) remains 39584/39585 properties
BEST_FIRST walk for 4004 steps (15 resets) in 683 ms. (5 steps per ms) remains 39584/39584 properties
BEST_FIRST walk for 4004 steps (14 resets) in 676 ms. (5 steps per ms) remains 39584/39584 properties
BEST_FIRST walk for 4003 steps (16 resets) in 672 ms. (5 steps per ms) remains 39584/39584 properties
BEST_FIRST walk for 4004 steps (14 resets) in 668 ms. (5 steps per ms) remains 39584/39584 properties
BEST_FIRST walk for 4003 steps (17 resets) in 681 ms. (5 steps per ms) remains 39583/39584 properties
BEST_FIRST walk for 4003 steps (20 resets) in 671 ms. (5 steps per ms) remains 39582/39583 properties
BEST_FIRST walk for 4003 steps (18 resets) in 663 ms. (6 steps per ms) remains 39582/39582 properties
BEST_FIRST walk for 4004 steps (11 resets) in 677 ms. (5 steps per ms) remains 39581/39582 properties
BEST_FIRST walk for 4004 steps (16 resets) in 670 ms. (5 steps per ms) remains 39581/39581 properties
BEST_FIRST walk for 4004 steps (15 resets) in 669 ms. (5 steps per ms) remains 39581/39581 properties
BEST_FIRST walk for 4004 steps (18 resets) in 661 ms. (6 steps per ms) remains 39580/39581 properties
BEST_FIRST walk for 4004 steps (14 resets) in 684 ms. (5 steps per ms) remains 39579/39580 properties
BEST_FIRST walk for 4003 steps (13 resets) in 676 ms. (5 steps per ms) remains 39578/39579 properties
BEST_FIRST walk for 4002 steps (11 resets) in 668 ms. (5 steps per ms) remains 39577/39578 properties
BEST_FIRST walk for 4003 steps (22 resets) in 677 ms. (5 steps per ms) remains 39577/39577 properties
BEST_FIRST walk for 4004 steps (14 resets) in 680 ms. (5 steps per ms) remains 39577/39577 properties
BEST_FIRST walk for 4003 steps (14 resets) in 671 ms. (5 steps per ms) remains 39577/39577 properties
BEST_FIRST walk for 4003 steps (17 resets) in 676 ms. (5 steps per ms) remains 39577/39577 properties
BEST_FIRST walk for 4004 steps (18 resets) in 668 ms. (5 steps per ms) remains 39576/39577 properties
BEST_FIRST walk for 4004 steps (20 resets) in 674 ms. (5 steps per ms) remains 39576/39576 properties
BEST_FIRST walk for 4004 steps (20 resets) in 679 ms. (5 steps per ms) remains 39576/39576 properties
BEST_FIRST walk for 4004 steps (13 resets) in 672 ms. (5 steps per ms) remains 39575/39576 properties
BEST_FIRST walk for 4004 steps (11 resets) in 672 ms. (5 steps per ms) remains 39575/39575 properties
BEST_FIRST walk for 4004 steps (13 resets) in 672 ms. (5 steps per ms) remains 39574/39575 properties
BEST_FIRST walk for 4004 steps (14 resets) in 688 ms. (5 steps per ms) remains 39573/39574 properties
BEST_FIRST walk for 4004 steps (18 resets) in 680 ms. (5 steps per ms) remains 39573/39573 properties
BEST_FIRST walk for 4004 steps (13 resets) in 670 ms. (5 steps per ms) remains 39572/39573 properties
BEST_FIRST walk for 4004 steps (18 resets) in 688 ms. (5 steps per ms) remains 39572/39572 properties
BEST_FIRST walk for 4004 steps (11 resets) in 665 ms. (6 steps per ms) remains 39571/39572 properties
BEST_FIRST walk for 4004 steps (15 resets) in 677 ms. (5 steps per ms) remains 39570/39571 properties
BEST_FIRST walk for 4004 steps (10 resets) in 663 ms. (6 steps per ms) remains 39569/39570 properties
BEST_FIRST walk for 4004 steps (13 resets) in 669 ms. (5 steps per ms) remains 39568/39569 properties
BEST_FIRST walk for 4004 steps (18 resets) in 677 ms. (5 steps per ms) remains 39568/39568 properties
BEST_FIRST walk for 4004 steps (16 resets) in 676 ms. (5 steps per ms) remains 39567/39568 properties
BEST_FIRST walk for 4004 steps (11 resets) in 685 ms. (5 steps per ms) remains 39566/39567 properties
BEST_FIRST walk for 4004 steps (15 resets) in 692 ms. (5 steps per ms) remains 39566/39566 properties
BEST_FIRST walk for 4004 steps (13 resets) in 674 ms. (5 steps per ms) remains 39566/39566 properties
BEST_FIRST walk for 4004 steps (13 resets) in 674 ms. (5 steps per ms) remains 39565/39566 properties
BEST_FIRST walk for 4003 steps (17 resets) in 678 ms. (5 steps per ms) remains 39565/39565 properties
BEST_FIRST walk for 4004 steps (16 resets) in 672 ms. (5 steps per ms) remains 39565/39565 properties
BEST_FIRST walk for 4004 steps (15 resets) in 670 ms. (5 steps per ms) remains 39565/39565 properties
BEST_FIRST walk for 4003 steps (17 resets) in 676 ms. (5 steps per ms) remains 39564/39565 properties
BEST_FIRST walk for 4003 steps (16 resets) in 665 ms. (6 steps per ms) remains 39563/39564 properties
BEST_FIRST walk for 4004 steps (13 resets) in 670 ms. (5 steps per ms) remains 39562/39563 properties
BEST_FIRST walk for 4003 steps (13 resets) in 669 ms. (5 steps per ms) remains 39561/39562 properties
BEST_FIRST walk for 4004 steps (15 resets) in 682 ms. (5 steps per ms) remains 39560/39561 properties
BEST_FIRST walk for 4004 steps (12 resets) in 676 ms. (5 steps per ms) remains 39559/39560 properties
BEST_FIRST walk for 4004 steps (12 resets) in 657 ms. (6 steps per ms) remains 39559/39559 properties
BEST_FIRST walk for 4004 steps (12 resets) in 680 ms. (5 steps per ms) remains 39559/39559 properties
BEST_FIRST walk for 4004 steps (20 resets) in 682 ms. (5 steps per ms) remains 39558/39559 properties
BEST_FIRST walk for 4004 steps (21 resets) in 681 ms. (5 steps per ms) remains 39558/39558 properties
BEST_FIRST walk for 4004 steps (15 resets) in 677 ms. (5 steps per ms) remains 39557/39558 properties
BEST_FIRST walk for 4004 steps (17 resets) in 673 ms. (5 steps per ms) remains 39556/39557 properties
BEST_FIRST walk for 4004 steps (19 resets) in 669 ms. (5 steps per ms) remains 39555/39556 properties
BEST_FIRST walk for 4004 steps (15 resets) in 673 ms. (5 steps per ms) remains 39554/39555 properties
BEST_FIRST walk for 4004 steps (17 resets) in 674 ms. (5 steps per ms) remains 39554/39554 properties
BEST_FIRST walk for 4004 steps (12 resets) in 679 ms. (5 steps per ms) remains 39553/39554 properties
BEST_FIRST walk for 4004 steps (16 resets) in 676 ms. (5 steps per ms) remains 39553/39553 properties
BEST_FIRST walk for 4004 steps (11 resets) in 673 ms. (5 steps per ms) remains 39552/39553 properties
BEST_FIRST walk for 4003 steps (20 resets) in 676 ms. (5 steps per ms) remains 39552/39552 properties
BEST_FIRST walk for 4004 steps (15 resets) in 676 ms. (5 steps per ms) remains 39552/39552 properties
BEST_FIRST walk for 4004 steps (17 resets) in 836 ms. (4 steps per ms) remains 39552/39552 properties
BEST_FIRST walk for 4004 steps (14 resets) in 685 ms. (5 steps per ms) remains 39551/39552 properties
BEST_FIRST walk for 4001 steps (13 resets) in 682 ms. (5 steps per ms) remains 39550/39551 properties
BEST_FIRST walk for 4004 steps (19 resets) in 675 ms. (5 steps per ms) remains 39549/39550 properties
BEST_FIRST walk for 4004 steps (13 resets) in 669 ms. (5 steps per ms) remains 39548/39549 properties
BEST_FIRST walk for 4003 steps (16 resets) in 674 ms. (5 steps per ms) remains 39547/39548 properties
BEST_FIRST walk for 4004 steps (14 resets) in 666 ms. (6 steps per ms) remains 39546/39547 properties
BEST_FIRST walk for 4004 steps (21 resets) in 678 ms. (5 steps per ms) remains 39546/39546 properties
BEST_FIRST walk for 4003 steps (13 resets) in 676 ms. (5 steps per ms) remains 39545/39546 properties
BEST_FIRST walk for 4003 steps (22 resets) in 690 ms. (5 steps per ms) remains 39545/39545 properties
BEST_FIRST walk for 4003 steps (13 resets) in 690 ms. (5 steps per ms) remains 39544/39545 properties
BEST_FIRST walk for 4003 steps (12 resets) in 680 ms. (5 steps per ms) remains 39543/39544 properties
BEST_FIRST walk for 4003 steps (14 resets) in 672 ms. (5 steps per ms) remains 39542/39543 properties
BEST_FIRST walk for 4003 steps (10 resets) in 667 ms. (5 steps per ms) remains 39542/39542 properties
BEST_FIRST walk for 4004 steps (21 resets) in 685 ms. (5 steps per ms) remains 39541/39542 properties
BEST_FIRST walk for 4003 steps (14 resets) in 671 ms. (5 steps per ms) remains 39540/39541 properties
BEST_FIRST walk for 4004 steps (17 resets) in 686 ms. (5 steps per ms) remains 39540/39540 properties
BEST_FIRST walk for 4003 steps (16 resets) in 681 ms. (5 steps per ms) remains 39540/39540 properties
BEST_FIRST walk for 4004 steps (21 resets) in 722 ms. (5 steps per ms) remains 39539/39540 properties
BEST_FIRST walk for 4004 steps (19 resets) in 679 ms. (5 steps per ms) remains 39539/39539 properties
BEST_FIRST walk for 4004 steps (19 resets) in 682 ms. (5 steps per ms) remains 39539/39539 properties
BEST_FIRST walk for 4003 steps (13 resets) in 685 ms. (5 steps per ms) remains 39539/39539 properties
BEST_FIRST walk for 4003 steps (15 resets) in 673 ms. (5 steps per ms) remains 39538/39539 properties
BEST_FIRST walk for 4004 steps (11 resets) in 687 ms. (5 steps per ms) remains 39537/39538 properties
BEST_FIRST walk for 4004 steps (19 resets) in 672 ms. (5 steps per ms) remains 39536/39537 properties
BEST_FIRST walk for 4003 steps (19 resets) in 690 ms. (5 steps per ms) remains 39536/39536 properties
BEST_FIRST walk for 4003 steps (13 resets) in 665 ms. (6 steps per ms) remains 39535/39536 properties
BEST_FIRST walk for 4003 steps (13 resets) in 690 ms. (5 steps per ms) remains 39534/39535 properties
BEST_FIRST walk for 4004 steps (14 resets) in 684 ms. (5 steps per ms) remains 39533/39534 properties
BEST_FIRST walk for 4004 steps (15 resets) in 676 ms. (5 steps per ms) remains 39533/39533 properties
BEST_FIRST walk for 4004 steps (15 resets) in 677 ms. (5 steps per ms) remains 39533/39533 properties
BEST_FIRST walk for 4003 steps (14 resets) in 673 ms. (5 steps per ms) remains 39532/39533 properties
BEST_FIRST walk for 4004 steps (18 resets) in 673 ms. (5 steps per ms) remains 39532/39532 properties
BEST_FIRST walk for 4002 steps (12 resets) in 671 ms. (5 steps per ms) remains 39532/39532 properties
BEST_FIRST walk for 4004 steps (17 resets) in 688 ms. (5 steps per ms) remains 39531/39532 properties
BEST_FIRST walk for 4003 steps (16 resets) in 681 ms. (5 steps per ms) remains 39530/39531 properties
BEST_FIRST walk for 4004 steps (21 resets) in 688 ms. (5 steps per ms) remains 39530/39530 properties
BEST_FIRST walk for 4004 steps (13 resets) in 664 ms. (6 steps per ms) remains 39530/39530 properties
BEST_FIRST walk for 4003 steps (12 resets) in 667 ms. (5 steps per ms) remains 39529/39530 properties
BEST_FIRST walk for 4004 steps (15 resets) in 674 ms. (5 steps per ms) remains 39528/39529 properties
BEST_FIRST walk for 4004 steps (15 resets) in 701 ms. (5 steps per ms) remains 39527/39528 properties
BEST_FIRST walk for 4003 steps (20 resets) in 685 ms. (5 steps per ms) remains 39527/39527 properties
BEST_FIRST walk for 4004 steps (15 resets) in 671 ms. (5 steps per ms) remains 39526/39527 properties
BEST_FIRST walk for 4004 steps (16 resets) in 676 ms. (5 steps per ms) remains 39525/39526 properties
BEST_FIRST walk for 4004 steps (14 resets) in 682 ms. (5 steps per ms) remains 39525/39525 properties
BEST_FIRST walk for 4004 steps (17 resets) in 687 ms. (5 steps per ms) remains 39524/39525 properties
BEST_FIRST walk for 4004 steps (14 resets) in 670 ms. (5 steps per ms) remains 39523/39524 properties
BEST_FIRST walk for 4004 steps (16 resets) in 687 ms. (5 steps per ms) remains 39522/39523 properties
BEST_FIRST walk for 4003 steps (15 resets) in 691 ms. (5 steps per ms) remains 39521/39522 properties
BEST_FIRST walk for 4004 steps (12 resets) in 676 ms. (5 steps per ms) remains 39521/39521 properties
BEST_FIRST walk for 4004 steps (11 resets) in 671 ms. (5 steps per ms) remains 39520/39521 properties
BEST_FIRST walk for 4004 steps (14 resets) in 689 ms. (5 steps per ms) remains 39519/39520 properties
BEST_FIRST walk for 4004 steps (12 resets) in 671 ms. (5 steps per ms) remains 39518/39519 properties
BEST_FIRST walk for 4004 steps (17 resets) in 677 ms. (5 steps per ms) remains 39518/39518 properties
BEST_FIRST walk for 4004 steps (13 resets) in 676 ms. (5 steps per ms) remains 39517/39518 properties
BEST_FIRST walk for 4003 steps (15 resets) in 670 ms. (5 steps per ms) remains 39516/39517 properties
BEST_FIRST walk for 4004 steps (17 resets) in 667 ms. (5 steps per ms) remains 39515/39516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 680 ms. (5 steps per ms) remains 39514/39515 properties
BEST_FIRST walk for 4004 steps (15 resets) in 675 ms. (5 steps per ms) remains 39513/39514 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 39512/39513 properties
BEST_FIRST walk for 4002 steps (18 resets) in 677 ms. (5 steps per ms) remains 39512/39512 properties
BEST_FIRST walk for 4003 steps (16 resets) in 670 ms. (5 steps per ms) remains 39511/39512 properties
BEST_FIRST walk for 4003 steps (15 resets) in 689 ms. (5 steps per ms) remains 39511/39511 properties
BEST_FIRST walk for 4004 steps (18 resets) in 687 ms. (5 steps per ms) remains 39510/39511 properties
BEST_FIRST walk for 4004 steps (19 resets) in 684 ms. (5 steps per ms) remains 39510/39510 properties
BEST_FIRST walk for 4004 steps (13 resets) in 666 ms. (6 steps per ms) remains 39510/39510 properties
BEST_FIRST walk for 4003 steps (11 resets) in 685 ms. (5 steps per ms) remains 39509/39510 properties
BEST_FIRST walk for 4004 steps (16 resets) in 680 ms. (5 steps per ms) remains 39509/39509 properties
BEST_FIRST walk for 4003 steps (18 resets) in 715 ms. (5 steps per ms) remains 39509/39509 properties
BEST_FIRST walk for 4004 steps (20 resets) in 692 ms. (5 steps per ms) remains 39509/39509 properties
BEST_FIRST walk for 4003 steps (12 resets) in 672 ms. (5 steps per ms) remains 39508/39509 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 39507/39508 properties
BEST_FIRST walk for 4004 steps (11 resets) in 707 ms. (5 steps per ms) remains 39506/39507 properties

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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
++ perl -pe 's/.*\.//g'
+ 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="MedleyB-PT-B10"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="gold2024"
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-5832"
echo " Executing tool gold2024"
echo " Input is MedleyB-PT-B10, 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 r266-tall-174931350500312"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/MedleyB-PT-B10.tgz
mv MedleyB-PT-B10 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.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 ;