MCC'2026- Execution of r344-smll-178021500900177

About the Execution of ITS-Tools for ErlangenMainframeV2-PT-bP10C08

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
16183.808	1800000.00	3434398.00	37852.10	[undef]	Time out reached

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2026-input.r344-smll-178021500900177.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2026-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-5973
Executing tool itstools
Input is ErlangenMainframeV2-PT-bP10C08, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r344-smll-178021500900177
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 101M
-rw-r--r-- 1 mcc users 5.8K May 27 09:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 56K May 27 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K May 27 09:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K May 27 09:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K May 27 10:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K May 27 10:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 27 10:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 27 10:44 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 26 18:17 NewModel
-rw-r--r-- 1 mcc users 17K May 27 09:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 190K May 27 09:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.1K May 27 09:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K May 27 09:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 27 10:44 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 27 10:44 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 26 18:17 equiv_col
-rw-r--r-- 1 mcc users 8 May 26 18:17 instance
-rw-r--r-- 1 mcc users 6 May 26 18:17 iscolored
-rw-r--r-- 1 mcc users 100M May 26 18:17 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 1780320447705

Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=ErlangenMainframeV2-PT-bP10C08
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
QuasiLiveness PT
Running Version 202604301425
[2026-06-01 13:27:30] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2026-06-01 13:27:30] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-06-01 13:27:35] [INFO ] Load time of PNML (sax parser for PT used): 5090 ms
[2026-06-01 13:27:35] [INFO ] Transformed 345 places.
[2026-06-01 13:27:36] [INFO ] Transformed 79094 transitions.
[2026-06-01 13:27:36] [INFO ] Found NUPN structural information;
[2026-06-01 13:27:36] [INFO ] Parsed PT model containing 345 places and 79094 transitions and 1995500 arcs in 6030 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 345/345 places, 79094/79094 transitions.
Graph (trivial) has 295 edges and 345 vertex of which 12 / 345 are part of one of the 5 SCC in 51 ms
Free SCC test removed 7 places
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 133 transitions
Trivial Post-agglo rules discarded 133 transitions
Performed 133 trivial Post agglomeration. Transition count delta: 133
Iterating post reduction 0 with 133 rules applied. Total rules applied 134 place count 338 transition count 78953
Reduce places removed 133 places and 0 transitions.
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 3 transitions
Trivial Post-agglo rules discarded 3 transitions
Performed 3 trivial Post agglomeration. Transition count delta: 3
Iterating post reduction 1 with 145 rules applied. Total rules applied 279 place count 205 transition count 78941
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 282 place count 202 transition count 78941
Performed 4 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 4 Pre rules applied. Total rules applied 282 place count 202 transition count 78937
Deduced a syphon composed of 4 places in 332 ms
Ensure Unique test removed 1 places
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 3 with 9 rules applied. Total rules applied 291 place count 197 transition count 78937
Performed 54 Post agglomeration using F-continuation condition.
Performed 94 Post agglomeration using F-continuation condition.Transition count delta: 94
Deduced a syphon composed of 94 places in 161 ms
Reduce places removed 94 places and 0 transitions.
Iterating global reduction 3 with 188 rules applied. Total rules applied 479 place count 103 transition count 78843
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 4 places in 48 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 3 with 8 rules applied. Total rules applied 487 place count 99 transition count 78843
Applied a total of 487 rules in 57399 ms. Remains 99 /345 variables (removed 246) and now considering 78843/79094 (removed 251) transitions.
[2026-06-01 13:28:34] [INFO ] Flow matrix only has 78821 transitions (discarded 22 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-9430808275294916280.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11396919471491444795.kers'
[2026-06-01 13:28:34] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9430808275294916280.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11396919471491444795.kers]
Normalized transition count is 78820 out of 78821 initially.
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 348 ms.
// Phase 1: matrix 78820 rows 98 cols 1837441 entries
Finished phase 1 with 69 SingleSign rule and 3 generalized
[2026-06-01 13:28:36] [INFO ] Computed 27 invariants in 1892 ms
Computed 27 P flows in 1893 ms.
Exported basis to /tmp/petrispot-output-11396919471491444795.kers
Total runtime 2230 ms.
[2026-06-01 13:29:07] [INFO ] Performed 28/99 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-06-01 13:29:37] [INFO ] Performed 65/99 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2026-06-01 13:31:16] [INFO ] Performed 77/99 implicitness test of which 1 returned IMPLICIT in 159 seconds.
[2026-06-01 13:31:16] [INFO ] Implicit Places using invariants in 162906 ms returned [77]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 163227 ms to find 1 implicit places.
Starting structural reductions in LIVENESS mode, iteration 1 : 98/345 places, 78843/79094 transitions.
Applied a total of 0 rules in 1097 ms. Remains 98 /98 variables (removed 0) and now considering 78843/78843 (removed 0) transitions.
Finished structural reductions in LIVENESS mode , in 2 iterations and 221781 ms. Remains : 98/345 places, 78843/79094 transitions.
Discarding 52 transitions out of 78843. Remains 78791
Initial state reduction rules removed 1 formulas.
[2026-06-01 13:41:58] [INFO ] Flatten gal took : 22252 ms
RANDOM walk for 34968 steps (799 resets) in 120033 ms. (0 steps per ms) remains 78728/78790 properties
BEST_FIRST walk for 120 steps (0 resets) in 122 ms. (0 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 200 ms. (0 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 166 ms. (0 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 154 ms. (0 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 120 ms. (0 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 175 ms. (0 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 125 ms. (0 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 130 ms. (0 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 158 ms. (0 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 146 ms. (0 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 117 ms. (1 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 117 ms. (1 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 115 ms. (1 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 135 ms. (0 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 149 ms. (0 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 163 ms. (0 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 129 ms. (0 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 130 ms. (0 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 118 ms. (1 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 129 ms. (0 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 119 ms. (1 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 116 ms. (1 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 120 ms. (0 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 126 ms. (0 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 118 ms. (1 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 133 ms. (0 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 128 ms. (0 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 122 ms. (0 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 128 ms. (0 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 138 ms. (0 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 115 ms. (1 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 108 ms. (1 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 121 ms. (0 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 109 ms. (1 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 128 ms. (0 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 128 ms. (0 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 129 ms. (0 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 121 ms. (0 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 109 ms. (1 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 127 ms. (0 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 128 ms. (0 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 125 ms. (0 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 115 ms. (1 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 124 ms. (0 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 123 ms. (0 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 109 ms. (1 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 137 ms. (0 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 131 ms. (0 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 154 ms. (0 steps per ms) remains 78728/78728 properties
BEST_FIRST walk for 120 steps (0 resets) in 172 ms. (0 steps per ms) remains 78728/78728 properties
[2026-06-01 13:42:14] [INFO ] Flatten gal took : 15726 ms
[2026-06-01 13:42:16] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality7132256436490271408.gal : 2056 ms
[2026-06-01 13:42:17] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality14096867119002051111.prop : 889 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality7132256436490271408.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality14096867119002051111.prop' '--nowitness' '--gen-order' 'FOLLOW'

its-reach command run as :

/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...329
Probabilistic random walk after 30000 steps, saw 7596 distinct states, run finished after 91753 ms. (steps per millisecond=0 ) properties seen :10
[2026-06-01 13:43:34] [INFO ] Flow matrix only has 78821 transitions (discarded 22 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-14933911452666380398.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6863750389672365145.kers'
[2026-06-01 13:43:34] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14933911452666380398.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6863750389672365145.kers]
Normalized transition count is 78820 out of 78821 initially.
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 312 ms.
// Phase 1: matrix 78820 rows 97 cols 1758709 entries
Finished phase 1 with 69 SingleSign rule and 3 generalized
[2026-06-01 13:43:36] [INFO ] Computed 26 invariants in 1599 ms
Computed 26 P flows in 1599 ms.
Exported basis to /tmp/petrispot-output-6863750389672365145.kers
Total runtime 1849 ms.
[2026-06-01 13:43:38] [INFO ] State equation strengthened by 29 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
Loading property file /tmp/ReachabilityCardinality14096867119002051111.prop.
Detected timeout of ITS tools.
[2026-06-01 13:52:37] [INFO ] Flatten gal took : 15795 ms
[2026-06-01 13:52:37] [INFO ] Applying decomposition
SMT process timed out in 551063ms, After SMT, problems are : Problem set: 0 solved, 78718 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 68 out of 98 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 98/98 places, 78843/78843 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 0 with 7 rules applied. Total rules applied 7 place count 98 transition count 78836
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 9 place count 96 transition count 78836
Free-agglomeration rule applied 6 times.
Iterating global reduction 2 with 6 rules applied. Total rules applied 15 place count 96 transition count 78830
Reduce places removed 6 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 22 transitions
Reduce isomorphic transitions removed 22 transitions.
Iterating post reduction 2 with 28 rules applied. Total rules applied 43 place count 90 transition count 78808
[2026-06-01 13:52:51] [INFO ] Flatten gal took : 13794 ms
Free-agglomeration rule applied 4 times.
Iterating global reduction 3 with 4 rules applied. Total rules applied 47 place count 90 transition count 78804
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 3 with 4 rules applied. Total rules applied 51 place count 86 transition count 78804
Applied a total of 51 rules in 10074 ms. Remains 86 /98 variables (removed 12) and now considering 78804/78843 (removed 39) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 10098 ms. Remains : 86/98 places, 78804/78843 transitions.
RANDOM walk for 32101 steps (0 resets) in 120047 ms. (0 steps per ms) remains 78662/78718 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1082 ms. (3 steps per ms) remains 78654/78662 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1122 ms. (3 steps per ms) remains 78647/78654 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1250 ms. (3 steps per ms) remains 78644/78647 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1183 ms. (3 steps per ms) remains 78639/78644 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1021 ms. (3 steps per ms) remains 78635/78639 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1027 ms. (3 steps per ms) remains 78628/78635 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1015 ms. (3 steps per ms) remains 78623/78628 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1255 ms. (3 steps per ms) remains 78619/78623 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1362 ms. (2 steps per ms) remains 78615/78619 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1335 ms. (2 steps per ms) remains 78609/78615 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1392 ms. (2 steps per ms) remains 78603/78609 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1233 ms. (3 steps per ms) remains 78597/78603 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1190 ms. (3 steps per ms) remains 78591/78597 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1046 ms. (3 steps per ms) remains 78585/78591 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1544 ms. (2 steps per ms) remains 78577/78585 properties
BEST_FIRST walk for 4004 steps (8 resets) in 910 ms. (4 steps per ms) remains 78572/78577 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1029 ms. (3 steps per ms) remains 78566/78572 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1397 ms. (2 steps per ms) remains 78559/78566 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1033 ms. (3 steps per ms) remains 78553/78559 properties
BEST_FIRST walk for 4003 steps (8 resets) in 3471 ms. (1 steps per ms) remains 78550/78553 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1339 ms. (2 steps per ms) remains 78545/78550 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1084 ms. (3 steps per ms) remains 78539/78545 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1484 ms. (2 steps per ms) remains 78530/78539 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1192 ms. (3 steps per ms) remains 78525/78530 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1078 ms. (3 steps per ms) remains 78521/78525 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1047 ms. (3 steps per ms) remains 78514/78521 properties
BEST_FIRST walk for 4003 steps (8 resets) in 935 ms. (4 steps per ms) remains 78510/78514 properties
BEST_FIRST walk for 4004 steps (8 resets) in 967 ms. (4 steps per ms) remains 78507/78510 properties
BEST_FIRST walk for 4003 steps (8 resets) in 998 ms. (4 steps per ms) remains 78501/78507 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1023 ms. (3 steps per ms) remains 78494/78501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1112 ms. (3 steps per ms) remains 78488/78494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1065 ms. (3 steps per ms) remains 78484/78488 properties
BEST_FIRST walk for 4003 steps (8 resets) in 836 ms. (4 steps per ms) remains 78478/78484 properties
BEST_FIRST walk for 4003 steps (8 resets) in 851 ms. (4 steps per ms) remains 78471/78478 properties
BEST_FIRST walk for 4004 steps (8 resets) in 853 ms. (4 steps per ms) remains 78463/78471 properties
BEST_FIRST walk for 4003 steps (8 resets) in 957 ms. (4 steps per ms) remains 78457/78463 properties
BEST_FIRST walk for 4003 steps (8 resets) in 886 ms. (4 steps per ms) remains 78450/78457 properties
BEST_FIRST walk for 4003 steps (8 resets) in 889 ms. (4 steps per ms) remains 78446/78450 properties
BEST_FIRST walk for 4004 steps (8 resets) in 944 ms. (4 steps per ms) remains 78441/78446 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1021 ms. (3 steps per ms) remains 78436/78441 properties
BEST_FIRST walk for 4003 steps (8 resets) in 951 ms. (4 steps per ms) remains 78431/78436 properties
BEST_FIRST walk for 4004 steps (8 resets) in 938 ms. (4 steps per ms) remains 78424/78431 properties
BEST_FIRST walk for 4003 steps (8 resets) in 965 ms. (4 steps per ms) remains 78418/78424 properties
BEST_FIRST walk for 4003 steps (8 resets) in 947 ms. (4 steps per ms) remains 78411/78418 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1025 ms. (3 steps per ms) remains 78406/78411 properties
BEST_FIRST walk for 4004 steps (8 resets) in 969 ms. (4 steps per ms) remains 78398/78406 properties
BEST_FIRST walk for 4004 steps (8 resets) in 918 ms. (4 steps per ms) remains 78393/78398 properties
BEST_FIRST walk for 4003 steps (8 resets) in 945 ms. (4 steps per ms) remains 78389/78393 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1006 ms. (3 steps per ms) remains 78383/78389 properties
BEST_FIRST walk for 4004 steps (8 resets) in 930 ms. (4 steps per ms) remains 78377/78383 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1012 ms. (3 steps per ms) remains 78372/78377 properties
BEST_FIRST walk for 4003 steps (8 resets) in 964 ms. (4 steps per ms) remains 78368/78372 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1036 ms. (3 steps per ms) remains 78360/78368 properties
BEST_FIRST walk for 4004 steps (8 resets) in 969 ms. (4 steps per ms) remains 78353/78360 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1025 ms. (3 steps per ms) remains 78347/78353 properties
BEST_FIRST walk for 4003 steps (8 resets) in 906 ms. (4 steps per ms) remains 78341/78347 properties
BEST_FIRST walk for 4003 steps (8 resets) in 856 ms. (4 steps per ms) remains 78336/78341 properties
BEST_FIRST walk for 4002 steps (8 resets) in 952 ms. (4 steps per ms) remains 78332/78336 properties
BEST_FIRST walk for 4004 steps (8 resets) in 993 ms. (4 steps per ms) remains 78325/78332 properties
BEST_FIRST walk for 4003 steps (8 resets) in 952 ms. (4 steps per ms) remains 78319/78325 properties
BEST_FIRST walk for 4004 steps (8 resets) in 967 ms. (4 steps per ms) remains 78313/78319 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1008 ms. (3 steps per ms) remains 78307/78313 properties
BEST_FIRST walk for 4004 steps (8 resets) in 910 ms. (4 steps per ms) remains 78303/78307 properties
BEST_FIRST walk for 4003 steps (8 resets) in 863 ms. (4 steps per ms) remains 78298/78303 properties
BEST_FIRST walk for 4004 steps (8 resets) in 968 ms. (4 steps per ms) remains 78293/78298 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1008 ms. (3 steps per ms) remains 78287/78293 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1078 ms. (3 steps per ms) remains 78279/78287 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1040 ms. (3 steps per ms) remains 78271/78279 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1054 ms. (3 steps per ms) remains 78266/78271 properties
[2026-06-01 13:53:50] [WARNING] Could not apply decomposition. Using flat GAL structure.
java.util.concurrent.TimeoutException: Subprocess running '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph6356606287822704321.txt' '-o' '/tmp/graph6356606287822704321.bin' '-w' '/tmp/graph6356606287822704321.weights' killed by timeout after 10 SECONDS
at fr.lip6.move.gal.process.Runner.waitForOrTimeout(Runner.java:76)
at fr.lip6.move.gal.process.Runner.runTool(Runner.java:47)
at fr.lip6.move.gal.process.Runner.runTool(Runner.java:27)
at fr.lip6.move.gal.louvain.GraphBuilder.convertGraphToBin(GraphBuilder.java:258)
at fr.lip6.move.gal.louvain.GraphBuilder.computeLouvain(GraphBuilder.java:189)
at fr.lip6.move.gal.louvain.GraphBuilder.computeLouvain(GraphBuilder.java:157)
at fr.lip6.move.gal.application.mcc.MccTranslator.applyOrder(MccTranslator.java:114)
at fr.lip6.move.gal.application.mcc.MccTranslator.flattenSpec(MccTranslator.java:230)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.verifyWithSDD(GlobalPropertySolver.java:714)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.lambda$2(ReachabilitySolver.java:71)
at java.base/java.lang.Thread.run(Thread.java:1583)
BEST_FIRST walk for 4004 steps (8 resets) in 1125 ms. (3 steps per ms) remains 78262/78266 properties
BEST_FIRST walk for 4003 steps (8 resets) in 923 ms. (4 steps per ms) remains 78257/78262 properties
BEST_FIRST walk for 4004 steps (8 resets) in 944 ms. (4 steps per ms) remains 78253/78257 properties
BEST_FIRST walk for 4004 steps (8 resets) in 949 ms. (4 steps per ms) remains 78246/78253 properties
BEST_FIRST walk for 4004 steps (8 resets) in 812 ms. (4 steps per ms) remains 78241/78246 properties
BEST_FIRST walk for 4003 steps (8 resets) in 926 ms. (4 steps per ms) remains 78236/78241 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1115 ms. (3 steps per ms) remains 78229/78236 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1019 ms. (3 steps per ms) remains 78223/78229 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1007 ms. (3 steps per ms) remains 78215/78223 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1019 ms. (3 steps per ms) remains 78210/78215 properties
BEST_FIRST walk for 4003 steps (8 resets) in 909 ms. (4 steps per ms) remains 78204/78210 properties
BEST_FIRST walk for 4004 steps (8 resets) in 934 ms. (4 steps per ms) remains 78198/78204 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1383 ms. (2 steps per ms) remains 78193/78198 properties
BEST_FIRST walk for 4004 steps (8 resets) in 811 ms. (4 steps per ms) remains 78186/78193 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1529 ms. (2 steps per ms) remains 78180/78186 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1043 ms. (3 steps per ms) remains 78173/78180 properties
BEST_FIRST walk for 4003 steps (8 resets) in 856 ms. (4 steps per ms) remains 78168/78173 properties
BEST_FIRST walk for 4003 steps (8 resets) in 928 ms. (4 steps per ms) remains 78161/78168 properties
BEST_FIRST walk for 4003 steps (8 resets) in 938 ms. (4 steps per ms) remains 78154/78161 properties
BEST_FIRST walk for 4003 steps (8 resets) in 935 ms. (4 steps per ms) remains 78148/78154 properties
BEST_FIRST walk for 4004 steps (8 resets) in 913 ms. (4 steps per ms) remains 78142/78148 properties
BEST_FIRST walk for 4004 steps (8 resets) in 945 ms. (4 steps per ms) remains 78134/78142 properties
BEST_FIRST walk for 4003 steps (8 resets) in 852 ms. (4 steps per ms) remains 78126/78134 properties
BEST_FIRST walk for 4004 steps (8 resets) in 910 ms. (4 steps per ms) remains 78120/78126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 961 ms. (4 steps per ms) remains 78114/78120 properties
BEST_FIRST walk for 4004 steps (8 resets) in 954 ms. (4 steps per ms) remains 78107/78114 properties
BEST_FIRST walk for 4004 steps (8 resets) in 899 ms. (4 steps per ms) remains 78102/78107 properties
BEST_FIRST walk for 4002 steps (8 resets) in 896 ms. (4 steps per ms) remains 78095/78102 properties
BEST_FIRST walk for 4004 steps (8 resets) in 879 ms. (4 steps per ms) remains 78088/78095 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1306 ms. (3 steps per ms) remains 78082/78088 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1007 ms. (3 steps per ms) remains 78077/78082 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1183 ms. (3 steps per ms) remains 78072/78077 properties
BEST_FIRST walk for 4002 steps (8 resets) in 848 ms. (4 steps per ms) remains 78065/78072 properties
BEST_FIRST walk for 4003 steps (8 resets) in 886 ms. (4 steps per ms) remains 78062/78065 properties
BEST_FIRST walk for 4004 steps (8 resets) in 988 ms. (4 steps per ms) remains 78057/78062 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1151 ms. (3 steps per ms) remains 78049/78057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 992 ms. (4 steps per ms) remains 78045/78049 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1037 ms. (3 steps per ms) remains 78040/78045 properties
BEST_FIRST walk for 4004 steps (8 resets) in 913 ms. (4 steps per ms) remains 78036/78040 properties
BEST_FIRST walk for 4003 steps (8 resets) in 995 ms. (4 steps per ms) remains 78030/78036 properties
BEST_FIRST walk for 4004 steps (8 resets) in 911 ms. (4 steps per ms) remains 78023/78030 properties
BEST_FIRST walk for 4002 steps (8 resets) in 959 ms. (4 steps per ms) remains 78017/78023 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1053 ms. (3 steps per ms) remains 78011/78017 properties
BEST_FIRST walk for 4004 steps (8 resets) in 985 ms. (4 steps per ms) remains 78005/78011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1013 ms. (3 steps per ms) remains 77998/78005 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1056 ms. (3 steps per ms) remains 77991/77998 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1068 ms. (3 steps per ms) remains 77984/77991 properties
BEST_FIRST walk for 4003 steps (8 resets) in 876 ms. (4 steps per ms) remains 77978/77984 properties
BEST_FIRST walk for 4003 steps (8 resets) in 928 ms. (4 steps per ms) remains 77973/77978 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1383 ms. (2 steps per ms) remains 77967/77973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1047 ms. (3 steps per ms) remains 77960/77967 properties
BEST_FIRST walk for 4003 steps (8 resets) in 980 ms. (4 steps per ms) remains 77954/77960 properties
BEST_FIRST walk for 4004 steps (8 resets) in 986 ms. (4 steps per ms) remains 77948/77954 properties
BEST_FIRST walk for 4003 steps (8 resets) in 959 ms. (4 steps per ms) remains 77940/77948 properties
BEST_FIRST walk for 4001 steps (8 resets) in 872 ms. (4 steps per ms) remains 77935/77940 properties
[2026-06-01 13:54:05] [INFO ] Flatten gal took : 15833 ms
BEST_FIRST walk for 4004 steps (8 resets) in 894 ms. (4 steps per ms) remains 77929/77935 properties
BEST_FIRST walk for 4003 steps (8 resets) in 981 ms. (4 steps per ms) remains 77922/77929 properties
BEST_FIRST walk for 4004 steps (8 resets) in 974 ms. (4 steps per ms) remains 77917/77922 properties
BEST_FIRST walk for 4003 steps (8 resets) in 905 ms. (4 steps per ms) remains 77913/77917 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1056 ms. (3 steps per ms) remains 77909/77913 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1038 ms. (3 steps per ms) remains 77901/77909 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1066 ms. (3 steps per ms) remains 77895/77901 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1020 ms. (3 steps per ms) remains 77890/77895 properties
BEST_FIRST walk for 4002 steps (8 resets) in 857 ms. (4 steps per ms) remains 77883/77890 properties
[2026-06-01 13:54:08] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality1339683972680439107.gal : 2025 ms
BEST_FIRST walk for 4004 steps (8 resets) in 904 ms. (4 steps per ms) remains 77877/77883 properties
BEST_FIRST walk for 4004 steps (8 resets) in 975 ms. (4 steps per ms) remains 77870/77877 properties
BEST_FIRST walk for 4004 steps (8 resets) in 938 ms. (4 steps per ms) remains 77864/77870 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1029 ms. (3 steps per ms) remains 77859/77864 properties
[2026-06-01 13:54:09] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality5367407550338022391.prop : 962 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality1339683972680439107.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality5367407550338022391.prop' '--nowitness' '--gen-order' 'FOLLOW'

its-reach command run as :

/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...328
BEST_FIRST walk for 4003 steps (8 resets) in 1017 ms. (3 steps per ms) remains 77853/77859 properties
BEST_FIRST walk for 4004 steps (8 resets) in 967 ms. (4 steps per ms) remains 77847/77853 properties
BEST_FIRST walk for 4003 steps (8 resets) in 946 ms. (4 steps per ms) remains 77844/77847 properties
BEST_FIRST walk for 4003 steps (8 resets) in 964 ms. (4 steps per ms) remains 77837/77844 properties
BEST_FIRST walk for 4003 steps (8 resets) in 812 ms. (4 steps per ms) remains 77831/77837 properties
BEST_FIRST walk for 4003 steps (8 resets) in 963 ms. (4 steps per ms) remains 77825/77831 properties
BEST_FIRST walk for 4003 steps (8 resets) in 959 ms. (4 steps per ms) remains 77820/77825 properties
BEST_FIRST walk for 4003 steps (8 resets) in 969 ms. (4 steps per ms) remains 77814/77820 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1034 ms. (3 steps per ms) remains 77808/77814 properties
BEST_FIRST walk for 4002 steps (8 resets) in 988 ms. (4 steps per ms) remains 77802/77808 properties
BEST_FIRST walk for 4003 steps (8 resets) in 872 ms. (4 steps per ms) remains 77799/77802 properties
BEST_FIRST walk for 4003 steps (8 resets) in 926 ms. (4 steps per ms) remains 77794/77799 properties
BEST_FIRST walk for 4004 steps (8 resets) in 922 ms. (4 steps per ms) remains 77789/77794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 885 ms. (4 steps per ms) remains 77784/77789 properties
BEST_FIRST walk for 4004 steps (8 resets) in 925 ms. (4 steps per ms) remains 77776/77784 properties
BEST_FIRST walk for 4003 steps (8 resets) in 978 ms. (4 steps per ms) remains 77768/77776 properties
BEST_FIRST walk for 4004 steps (8 resets) in 886 ms. (4 steps per ms) remains 77764/77768 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1078 ms. (3 steps per ms) remains 77758/77764 properties
BEST_FIRST walk for 4002 steps (8 resets) in 886 ms. (4 steps per ms) remains 77755/77758 properties
BEST_FIRST walk for 4003 steps (8 resets) in 833 ms. (4 steps per ms) remains 77751/77755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 840 ms. (4 steps per ms) remains 77745/77751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 893 ms. (4 steps per ms) remains 77742/77745 properties
BEST_FIRST walk for 4003 steps (8 resets) in 892 ms. (4 steps per ms) remains 77735/77742 properties
BEST_FIRST walk for 4004 steps (8 resets) in 899 ms. (4 steps per ms) remains 77728/77735 properties
BEST_FIRST walk for 4004 steps (8 resets) in 994 ms. (4 steps per ms) remains 77724/77728 properties
BEST_FIRST walk for 4004 steps (8 resets) in 891 ms. (4 steps per ms) remains 77718/77724 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1026 ms. (3 steps per ms) remains 77711/77718 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1007 ms. (3 steps per ms) remains 77703/77711 properties
BEST_FIRST walk for 4003 steps (8 resets) in 983 ms. (4 steps per ms) remains 77697/77703 properties
BEST_FIRST walk for 4004 steps (8 resets) in 826 ms. (4 steps per ms) remains 77692/77697 properties
BEST_FIRST walk for 4003 steps (8 resets) in 913 ms. (4 steps per ms) remains 77685/77692 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1005 ms. (3 steps per ms) remains 77677/77685 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1019 ms. (3 steps per ms) remains 77671/77677 properties
BEST_FIRST walk for 4004 steps (8 resets) in 932 ms. (4 steps per ms) remains 77664/77671 properties
BEST_FIRST walk for 4003 steps (8 resets) in 895 ms. (4 steps per ms) remains 77659/77664 properties
BEST_FIRST walk for 4003 steps (8 resets) in 979 ms. (4 steps per ms) remains 77655/77659 properties
BEST_FIRST walk for 4004 steps (8 resets) in 886 ms. (4 steps per ms) remains 77651/77655 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1262 ms. (3 steps per ms) remains 77645/77651 properties
BEST_FIRST walk for 4004 steps (8 resets) in 967 ms. (4 steps per ms) remains 77638/77645 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1027 ms. (3 steps per ms) remains 77633/77638 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1038 ms. (3 steps per ms) remains 77627/77633 properties
BEST_FIRST walk for 4001 steps (8 resets) in 958 ms. (4 steps per ms) remains 77620/77627 properties
BEST_FIRST walk for 4003 steps (8 resets) in 956 ms. (4 steps per ms) remains 77617/77620 properties
BEST_FIRST walk for 4004 steps (8 resets) in 967 ms. (4 steps per ms) remains 77611/77617 properties
BEST_FIRST walk for 4004 steps (8 resets) in 876 ms. (4 steps per ms) remains 77606/77611 properties
BEST_FIRST walk for 4004 steps (8 resets) in 927 ms. (4 steps per ms) remains 77598/77606 properties
BEST_FIRST walk for 4004 steps (8 resets) in 889 ms. (4 steps per ms) remains 77591/77598 properties
BEST_FIRST walk for 4004 steps (8 resets) in 864 ms. (4 steps per ms) remains 77585/77591 properties
BEST_FIRST walk for 4003 steps (8 resets) in 829 ms. (4 steps per ms) remains 77580/77585 properties
BEST_FIRST walk for 4004 steps (8 resets) in 833 ms. (4 steps per ms) remains 77575/77580 properties
BEST_FIRST walk for 4004 steps (8 resets) in 854 ms. (4 steps per ms) remains 77570/77575 properties
BEST_FIRST walk for 4004 steps (8 resets) in 883 ms. (4 steps per ms) remains 77565/77570 properties
BEST_FIRST walk for 4004 steps (8 resets) in 878 ms. (4 steps per ms) remains 77560/77565 properties
BEST_FIRST walk for 4001 steps (8 resets) in 938 ms. (4 steps per ms) remains 77556/77560 properties
BEST_FIRST walk for 4003 steps (8 resets) in 968 ms. (4 steps per ms) remains 77549/77556 properties
BEST_FIRST walk for 4004 steps (8 resets) in 911 ms. (4 steps per ms) remains 77544/77549 properties
BEST_FIRST walk for 4004 steps (8 resets) in 860 ms. (4 steps per ms) remains 77540/77544 properties
BEST_FIRST walk for 4004 steps (8 resets) in 931 ms. (4 steps per ms) remains 77532/77540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 929 ms. (4 steps per ms) remains 77527/77532 properties
BEST_FIRST walk for 4001 steps (8 resets) in 829 ms. (4 steps per ms) remains 77521/77527 properties
BEST_FIRST walk for 4004 steps (8 resets) in 908 ms. (4 steps per ms) remains 77515/77521 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1004 ms. (3 steps per ms) remains 77508/77515 properties
BEST_FIRST walk for 4004 steps (8 resets) in 924 ms. (4 steps per ms) remains 77503/77508 properties
BEST_FIRST walk for 4003 steps (8 resets) in 992 ms. (4 steps per ms) remains 77497/77503 properties
BEST_FIRST walk for 4004 steps (8 resets) in 971 ms. (4 steps per ms) remains 77491/77497 properties
BEST_FIRST walk for 4003 steps (8 resets) in 809 ms. (4 steps per ms) remains 77484/77491 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1011 ms. (3 steps per ms) remains 77479/77484 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1007 ms. (3 steps per ms) remains 77473/77479 properties
BEST_FIRST walk for 4002 steps (8 resets) in 939 ms. (4 steps per ms) remains 77467/77473 properties
BEST_FIRST walk for 4003 steps (8 resets) in 960 ms. (4 steps per ms) remains 77462/77467 properties
BEST_FIRST walk for 4004 steps (8 resets) in 874 ms. (4 steps per ms) remains 77457/77462 properties
BEST_FIRST walk for 4004 steps (8 resets) in 983 ms. (4 steps per ms) remains 77451/77457 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1017 ms. (3 steps per ms) remains 77444/77451 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1048 ms. (3 steps per ms) remains 77439/77444 properties
BEST_FIRST walk for 4002 steps (8 resets) in 974 ms. (4 steps per ms) remains 77435/77439 properties
BEST_FIRST walk for 4004 steps (8 resets) in 949 ms. (4 steps per ms) remains 77429/77435 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1096 ms. (3 steps per ms) remains 77425/77429 properties
BEST_FIRST walk for 4003 steps (8 resets) in 928 ms. (4 steps per ms) remains 77418/77425 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1203 ms. (3 steps per ms) remains 77410/77418 properties
BEST_FIRST walk for 4004 steps (8 resets) in 877 ms. (4 steps per ms) remains 77403/77410 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1000 ms. (4 steps per ms) remains 77398/77403 properties
BEST_FIRST walk for 4004 steps (8 resets) in 999 ms. (4 steps per ms) remains 77392/77398 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1027 ms. (3 steps per ms) remains 77387/77392 properties
BEST_FIRST walk for 4003 steps (8 resets) in 964 ms. (4 steps per ms) remains 77380/77387 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1072 ms. (3 steps per ms) remains 77375/77380 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1084 ms. (3 steps per ms) remains 77369/77375 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1068 ms. (3 steps per ms) remains 77363/77369 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1109 ms. (3 steps per ms) remains 77358/77363 properties
BEST_FIRST walk for 4004 steps (8 resets) in 899 ms. (4 steps per ms) remains 77352/77358 properties
BEST_FIRST walk for 4003 steps (8 resets) in 951 ms. (4 steps per ms) remains 77346/77352 properties
BEST_FIRST walk for 4004 steps (8 resets) in 942 ms. (4 steps per ms) remains 77340/77346 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1047 ms. (3 steps per ms) remains 77335/77340 properties
BEST_FIRST walk for 4004 steps (8 resets) in 987 ms. (4 steps per ms) remains 77328/77335 properties
BEST_FIRST walk for 4002 steps (8 resets) in 982 ms. (4 steps per ms) remains 77324/77328 properties
BEST_FIRST walk for 4004 steps (8 resets) in 939 ms. (4 steps per ms) remains 77318/77324 properties
BEST_FIRST walk for 4003 steps (8 resets) in 992 ms. (4 steps per ms) remains 77313/77318 properties
BEST_FIRST walk for 4002 steps (8 resets) in 878 ms. (4 steps per ms) remains 77307/77313 properties
BEST_FIRST walk for 4004 steps (8 resets) in 922 ms. (4 steps per ms) remains 77303/77307 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1318 ms. (3 steps per ms) remains 77298/77303 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1089 ms. (3 steps per ms) remains 77291/77298 properties
BEST_FIRST walk for 4003 steps (8 resets) in 930 ms. (4 steps per ms) remains 77287/77291 properties
BEST_FIRST walk for 4004 steps (8 resets) in 863 ms. (4 steps per ms) remains 77284/77287 properties
BEST_FIRST walk for 4003 steps (8 resets) in 928 ms. (4 steps per ms) remains 77277/77284 properties
BEST_FIRST walk for 4002 steps (8 resets) in 959 ms. (4 steps per ms) remains 77272/77277 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1041 ms. (3 steps per ms) remains 77264/77272 properties
BEST_FIRST walk for 4002 steps (8 resets) in 971 ms. (4 steps per ms) remains 77259/77264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1054 ms. (3 steps per ms) remains 77254/77259 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1040 ms. (3 steps per ms) remains 77248/77254 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1221 ms. (3 steps per ms) remains 77242/77248 properties
BEST_FIRST walk for 4004 steps (8 resets) in 981 ms. (4 steps per ms) remains 77237/77242 properties
BEST_FIRST walk for 4004 steps (8 resets) in 942 ms. (4 steps per ms) remains 77229/77237 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1123 ms. (3 steps per ms) remains 77223/77229 properties
BEST_FIRST walk for 4002 steps (8 resets) in 933 ms. (4 steps per ms) remains 77217/77223 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1334 ms. (2 steps per ms) remains 77210/77217 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1324 ms. (3 steps per ms) remains 77205/77210 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1223 ms. (3 steps per ms) remains 77197/77205 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1227 ms. (3 steps per ms) remains 77191/77197 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1200 ms. (3 steps per ms) remains 77185/77191 properties
BEST_FIRST walk for 4003 steps (8 resets) in 948 ms. (4 steps per ms) remains 77180/77185 properties
BEST_FIRST walk for 4004 steps (8 resets) in 897 ms. (4 steps per ms) remains 77176/77180 properties
BEST_FIRST walk for 4003 steps (8 resets) in 959 ms. (4 steps per ms) remains 77169/77176 properties
BEST_FIRST walk for 4004 steps (8 resets) in 13929 ms. (0 steps per ms) remains 77165/77169 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1120 ms. (3 steps per ms) remains 77160/77165 properties
BEST_FIRST walk for 4004 steps (8 resets) in 895 ms. (4 steps per ms) remains 77155/77160 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1089 ms. (3 steps per ms) remains 77147/77155 properties
BEST_FIRST walk for 4004 steps (8 resets) in 918 ms. (4 steps per ms) remains 77142/77147 properties
BEST_FIRST walk for 4004 steps (8 resets) in 885 ms. (4 steps per ms) remains 77135/77142 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2896 ms. (1 steps per ms) remains 77131/77135 properties
BEST_FIRST walk for 4004 steps (8 resets) in 853 ms. (4 steps per ms) remains 77127/77131 properties
BEST_FIRST walk for 4004 steps (8 resets) in 905 ms. (4 steps per ms) remains 77120/77127 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1232 ms. (3 steps per ms) remains 77113/77120 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1114 ms. (3 steps per ms) remains 77104/77113 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1290 ms. (3 steps per ms) remains 77099/77104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1230 ms. (3 steps per ms) remains 77096/77099 properties
BEST_FIRST walk for 4003 steps (8 resets) in 4783 ms. (0 steps per ms) remains 77092/77096 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1466 ms. (2 steps per ms) remains 77086/77092 properties
BEST_FIRST walk for 4003 steps (8 resets) in 7052 ms. (0 steps per ms) remains 77081/77086 properties
BEST_FIRST walk for 4003 steps (8 resets) in 942 ms. (4 steps per ms) remains 77077/77081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 868 ms. (4 steps per ms) remains 77073/77077 properties
BEST_FIRST walk for 4003 steps (8 resets) in 932 ms. (4 steps per ms) remains 77067/77073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 953 ms. (4 steps per ms) remains 77064/77067 properties
BEST_FIRST walk for 4003 steps (8 resets) in 940 ms. (4 steps per ms) remains 77059/77064 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1068 ms. (3 steps per ms) remains 77056/77059 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1026 ms. (3 steps per ms) remains 77052/77056 properties
BEST_FIRST walk for 4003 steps (8 resets) in 935 ms. (4 steps per ms) remains 77046/77052 properties
BEST_FIRST walk for 4003 steps (8 resets) in 935 ms. (4 steps per ms) remains 77040/77046 properties
BEST_FIRST walk for 4004 steps (8 resets) in 927 ms. (4 steps per ms) remains 77035/77040 properties
BEST_FIRST walk for 4004 steps (8 resets) in 960 ms. (4 steps per ms) remains 77030/77035 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1177 ms. (3 steps per ms) remains 77025/77030 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1069 ms. (3 steps per ms) remains 77021/77025 properties
BEST_FIRST walk for 4003 steps (8 resets) in 7897 ms. (0 steps per ms) remains 77015/77021 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1120 ms. (3 steps per ms) remains 77010/77015 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1195 ms. (3 steps per ms) remains 77005/77010 properties
BEST_FIRST walk for 4004 steps (8 resets) in 4645 ms. (0 steps per ms) remains 77001/77005 properties
BEST_FIRST walk for 4002 steps (8 resets) in 2018 ms. (1 steps per ms) remains 76996/77001 properties
BEST_FIRST walk for 4001 steps (8 resets) in 2079 ms. (1 steps per ms) remains 76991/76996 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2230 ms. (1 steps per ms) remains 76987/76991 properties
BEST_FIRST walk for 4002 steps (8 resets) in 3053 ms. (1 steps per ms) remains 76984/76987 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2972 ms. (1 steps per ms) remains 76979/76984 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1953 ms. (2 steps per ms) remains 76976/76979 properties
BEST_FIRST walk for 4004 steps (8 resets) in 7031 ms. (0 steps per ms) remains 76970/76976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1368 ms. (2 steps per ms) remains 76966/76970 properties
BEST_FIRST walk for 4002 steps (8 resets) in 4974 ms. (0 steps per ms) remains 76961/76966 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1824 ms. (2 steps per ms) remains 76954/76961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1482 ms. (2 steps per ms) remains 76949/76954 properties
BEST_FIRST walk for 4003 steps (8 resets) in 982 ms. (4 steps per ms) remains 76946/76949 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1151 ms. (3 steps per ms) remains 76940/76946 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1305 ms. (3 steps per ms) remains 76936/76940 properties
BEST_FIRST walk for 4003 steps (8 resets) in 7515 ms. (0 steps per ms) remains 76930/76936 properties
BEST_FIRST walk for 4002 steps (8 resets) in 3139 ms. (1 steps per ms) remains 76924/76930 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3806 ms. (1 steps per ms) remains 76917/76924 properties
BEST_FIRST walk for 4001 steps (8 resets) in 2470 ms. (1 steps per ms) remains 76911/76917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1267 ms. (3 steps per ms) remains 76905/76911 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1514 ms. (2 steps per ms) remains 76898/76905 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1229 ms. (3 steps per ms) remains 76891/76898 properties
BEST_FIRST walk for 4002 steps (8 resets) in 7848 ms. (0 steps per ms) remains 76884/76891 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2681 ms. (1 steps per ms) remains 76877/76884 properties
BEST_FIRST walk for 4001 steps (8 resets) in 3238 ms. (1 steps per ms) remains 76873/76877 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3765 ms. (1 steps per ms) remains 76867/76873 properties
BEST_FIRST walk for 4003 steps (8 resets) in 3664 ms. (1 steps per ms) remains 76862/76867 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3288 ms. (1 steps per ms) remains 76857/76862 properties
BEST_FIRST walk for 4004 steps (8 resets) in 9836 ms. (0 steps per ms) remains 76853/76857 properties
BEST_FIRST walk for 4004 steps (8 resets) in 5221 ms. (0 steps per ms) remains 76848/76853 properties
BEST_FIRST walk for 4003 steps (8 resets) in 9336 ms. (0 steps per ms) remains 76844/76848 properties
BEST_FIRST walk for 4004 steps (8 resets) in 7911 ms. (0 steps per ms) remains 76837/76844 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1314 ms. (3 steps per ms) remains 76829/76837 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1462 ms. (2 steps per ms) remains 76824/76829 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1032 ms. (3 steps per ms) remains 76818/76824 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1689 ms. (2 steps per ms) remains 76812/76818 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1443 ms. (2 steps per ms) remains 76807/76812 properties
BEST_FIRST walk for 4004 steps (8 resets) in 6400 ms. (0 steps per ms) remains 76803/76807 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2485 ms. (1 steps per ms) remains 76796/76803 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2908 ms. (1 steps per ms) remains 76790/76796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1082 ms. (3 steps per ms) remains 76783/76790 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1201 ms. (3 steps per ms) remains 76777/76783 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1298 ms. (3 steps per ms) remains 76770/76777 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1027 ms. (3 steps per ms) remains 76766/76770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 984 ms. (4 steps per ms) remains 76761/76766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1081 ms. (3 steps per ms) remains 76755/76761 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2751 ms. (1 steps per ms) remains 76749/76755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1054 ms. (3 steps per ms) remains 76744/76749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 896 ms. (4 steps per ms) remains 76736/76744 properties
BEST_FIRST walk for 4002 steps (8 resets) in 894 ms. (4 steps per ms) remains 76729/76736 properties
BEST_FIRST walk for 4004 steps (8 resets) in 900 ms. (4 steps per ms) remains 76725/76729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 821 ms. (4 steps per ms) remains 76718/76725 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1160 ms. (3 steps per ms) remains 76713/76718 properties
BEST_FIRST walk for 4003 steps (8 resets) in 854 ms. (4 steps per ms) remains 76707/76713 properties
BEST_FIRST walk for 4004 steps (8 resets) in 840 ms. (4 steps per ms) remains 76700/76707 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1100 ms. (3 steps per ms) remains 76693/76700 properties
BEST_FIRST walk for 4004 steps (8 resets) in 984 ms. (4 steps per ms) remains 76688/76693 properties
BEST_FIRST walk for 4003 steps (8 resets) in 900 ms. (4 steps per ms) remains 76682/76688 properties
BEST_FIRST walk for 4003 steps (8 resets) in 868 ms. (4 steps per ms) remains 76679/76682 properties
BEST_FIRST walk for 4004 steps (8 resets) in 967 ms. (4 steps per ms) remains 76676/76679 properties
BEST_FIRST walk for 4004 steps (8 resets) in 960 ms. (4 steps per ms) remains 76668/76676 properties
BEST_FIRST walk for 4004 steps (8 resets) in 951 ms. (4 steps per ms) remains 76662/76668 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1094 ms. (3 steps per ms) remains 76656/76662 properties
BEST_FIRST walk for 4003 steps (8 resets) in 863 ms. (4 steps per ms) remains 76651/76656 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1007 ms. (3 steps per ms) remains 76647/76651 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1012 ms. (3 steps per ms) remains 76644/76647 properties
BEST_FIRST walk for 4003 steps (8 resets) in 945 ms. (4 steps per ms) remains 76641/76644 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1033 ms. (3 steps per ms) remains 76638/76641 properties
BEST_FIRST walk for 4004 steps (8 resets) in 935 ms. (4 steps per ms) remains 76633/76638 properties
BEST_FIRST walk for 4003 steps (8 resets) in 962 ms. (4 steps per ms) remains 76626/76633 properties
BEST_FIRST walk for 4003 steps (8 resets) in 925 ms. (4 steps per ms) remains 76622/76626 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1051 ms. (3 steps per ms) remains 76616/76622 properties
BEST_FIRST walk for 4002 steps (8 resets) in 890 ms. (4 steps per ms) remains 76610/76616 properties
BEST_FIRST walk for 4004 steps (8 resets) in 947 ms. (4 steps per ms) remains 76606/76610 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1024 ms. (3 steps per ms) remains 76599/76606 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1000 ms. (3 steps per ms) remains 76593/76599 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1047 ms. (3 steps per ms) remains 76590/76593 properties
BEST_FIRST walk for 4003 steps (8 resets) in 856 ms. (4 steps per ms) remains 76586/76590 properties
BEST_FIRST walk for 4004 steps (8 resets) in 879 ms. (4 steps per ms) remains 76581/76586 properties
BEST_FIRST walk for 4001 steps (8 resets) in 980 ms. (4 steps per ms) remains 76574/76581 properties
BEST_FIRST walk for 4004 steps (8 resets) in 909 ms. (4 steps per ms) remains 76569/76574 properties
BEST_FIRST walk for 4003 steps (8 resets) in 924 ms. (4 steps per ms) remains 76562/76569 properties
BEST_FIRST walk for 4003 steps (8 resets) in 855 ms. (4 steps per ms) remains 76556/76562 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2398 ms. (1 steps per ms) remains 76551/76556 properties
BEST_FIRST walk for 4004 steps (8 resets) in 945 ms. (4 steps per ms) remains 76544/76551 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1030 ms. (3 steps per ms) remains 76538/76544 properties
BEST_FIRST walk for 4003 steps (8 resets) in 981 ms. (4 steps per ms) remains 76532/76538 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1015 ms. (3 steps per ms) remains 76524/76532 properties
BEST_FIRST walk for 4004 steps (8 resets) in 973 ms. (4 steps per ms) remains 76521/76524 properties
BEST_FIRST walk for 4003 steps (8 resets) in 922 ms. (4 steps per ms) remains 76516/76521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 923 ms. (4 steps per ms) remains 76513/76516 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1036 ms. (3 steps per ms) remains 76505/76513 properties
BEST_FIRST walk for 4003 steps (8 resets) in 975 ms. (4 steps per ms) remains 76498/76505 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1074 ms. (3 steps per ms) remains 76490/76498 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1091 ms. (3 steps per ms) remains 76485/76490 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1023 ms. (3 steps per ms) remains 76481/76485 properties
BEST_FIRST walk for 4004 steps (8 resets) in 969 ms. (4 steps per ms) remains 76473/76481 properties
BEST_FIRST walk for 4002 steps (8 resets) in 974 ms. (4 steps per ms) remains 76467/76473 properties
BEST_FIRST walk for 4003 steps (8 resets) in 933 ms. (4 steps per ms) remains 76462/76467 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1072 ms. (3 steps per ms) remains 76459/76462 properties
BEST_FIRST walk for 4001 steps (8 resets) in 1002 ms. (3 steps per ms) remains 76453/76459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1082 ms. (3 steps per ms) remains 76447/76453 properties
BEST_FIRST walk for 1586 steps (4 resets) in 31196 ms. (0 steps per ms) remains 76443/76447 properties
BEST_FIRST walk for 4004 steps (8 resets) in 4901 ms. (0 steps per ms) remains 76437/76443 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1472 ms. (2 steps per ms) remains 76434/76437 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1009 ms. (3 steps per ms) remains 76433/76434 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1510 ms. (2 steps per ms) remains 76429/76433 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1363 ms. (2 steps per ms) remains 76424/76429 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1112 ms. (3 steps per ms) remains 76417/76424 properties
BEST_FIRST walk for 4003 steps (8 resets) in 9775 ms. (0 steps per ms) remains 76412/76417 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1668 ms. (2 steps per ms) remains 76407/76412 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1301 ms. (3 steps per ms) remains 76401/76407 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1508 ms. (2 steps per ms) remains 76396/76401 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1014 ms. (3 steps per ms) remains 76392/76396 properties
BEST_FIRST walk for 4004 steps (8 resets) in 871 ms. (4 steps per ms) remains 76384/76392 properties
BEST_FIRST walk for 4004 steps (8 resets) in 923 ms. (4 steps per ms) remains 76377/76384 properties
BEST_FIRST walk for 4002 steps (8 resets) in 893 ms. (4 steps per ms) remains 76372/76377 properties
BEST_FIRST walk for 4004 steps (8 resets) in 902 ms. (4 steps per ms) remains 76366/76372 properties
BEST_FIRST walk for 4004 steps (8 resets) in 882 ms. (4 steps per ms) remains 76361/76366 properties
BEST_FIRST walk for 4003 steps (8 resets) in 943 ms. (4 steps per ms) remains 76357/76361 properties
BEST_FIRST walk for 4004 steps (8 resets) in 972 ms. (4 steps per ms) remains 76351/76357 properties
BEST_FIRST walk for 4003 steps (8 resets) in 3011 ms. (1 steps per ms) remains 76345/76351 properties
BEST_FIRST walk for 4003 steps (8 resets) in 911 ms. (4 steps per ms) remains 76340/76345 properties
BEST_FIRST walk for 4003 steps (8 resets) in 934 ms. (4 steps per ms) remains 76334/76340 properties
BEST_FIRST walk for 4004 steps (8 resets) in 802 ms. (4 steps per ms) remains 76328/76334 properties
BEST_FIRST walk for 4003 steps (8 resets) in 846 ms. (4 steps per ms) remains 76323/76328 properties
BEST_FIRST walk for 4004 steps (8 resets) in 842 ms. (4 steps per ms) remains 76316/76323 properties
BEST_FIRST walk for 4004 steps (8 resets) in 872 ms. (4 steps per ms) remains 76310/76316 properties
BEST_FIRST walk for 4004 steps (8 resets) in 990 ms. (4 steps per ms) remains 76305/76310 properties
BEST_FIRST walk for 4003 steps (8 resets) in 944 ms. (4 steps per ms) remains 76300/76305 properties
BEST_FIRST walk for 4003 steps (8 resets) in 919 ms. (4 steps per ms) remains 76296/76300 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1605 ms. (2 steps per ms) remains 76290/76296 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1285 ms. (3 steps per ms) remains 76285/76290 properties
BEST_FIRST walk for 4003 steps (8 resets) in 896 ms. (4 steps per ms) remains 76281/76285 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1002 ms. (3 steps per ms) remains 76276/76281 properties
BEST_FIRST walk for 4004 steps (8 resets) in 999 ms. (4 steps per ms) remains 76273/76276 properties
BEST_FIRST walk for 4004 steps (8 resets) in 903 ms. (4 steps per ms) remains 76268/76273 properties
BEST_FIRST walk for 4004 steps (8 resets) in 840 ms. (4 steps per ms) remains 76260/76268 properties
BEST_FIRST walk for 4001 steps (8 resets) in 974 ms. (4 steps per ms) remains 76257/76260 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1047 ms. (3 steps per ms) remains 76252/76257 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1118 ms. (3 steps per ms) remains 76247/76252 properties
BEST_FIRST walk for 4003 steps (8 resets) in 951 ms. (4 steps per ms) remains 76240/76247 properties
BEST_FIRST walk for 4004 steps (8 resets) in 928 ms. (4 steps per ms) remains 76232/76240 properties
BEST_FIRST walk for 4002 steps (8 resets) in 969 ms. (4 steps per ms) remains 76226/76232 properties
BEST_FIRST walk for 4004 steps (8 resets) in 978 ms. (4 steps per ms) remains 76220/76226 properties
BEST_FIRST walk for 4003 steps (8 resets) in 902 ms. (4 steps per ms) remains 76216/76220 properties
BEST_FIRST walk for 4004 steps (8 resets) in 967 ms. (4 steps per ms) remains 76212/76216 properties
BEST_FIRST walk for 4004 steps (8 resets) in 914 ms. (4 steps per ms) remains 76206/76212 properties
BEST_FIRST walk for 4004 steps (8 resets) in 877 ms. (4 steps per ms) remains 76199/76206 properties
BEST_FIRST walk for 4002 steps (8 resets) in 863 ms. (4 steps per ms) remains 76193/76199 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1019 ms. (3 steps per ms) remains 76191/76193 properties
BEST_FIRST walk for 4004 steps (8 resets) in 958 ms. (4 steps per ms) remains 76186/76191 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1022 ms. (3 steps per ms) remains 76182/76186 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1005 ms. (3 steps per ms) remains 76175/76182 properties
BEST_FIRST walk for 4004 steps (8 resets) in 888 ms. (4 steps per ms) remains 76170/76175 properties
BEST_FIRST walk for 4002 steps (8 resets) in 959 ms. (4 steps per ms) remains 76165/76170 properties
BEST_FIRST walk for 4004 steps (8 resets) in 981 ms. (4 steps per ms) remains 76161/76165 properties
BEST_FIRST walk for 4003 steps (8 resets) in 890 ms. (4 steps per ms) remains 76155/76161 properties
BEST_FIRST walk for 4003 steps (8 resets) in 850 ms. (4 steps per ms) remains 76147/76155 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1006 ms. (3 steps per ms) remains 76143/76147 properties
BEST_FIRST walk for 4003 steps (8 resets) in 903 ms. (4 steps per ms) remains 76141/76143 properties
BEST_FIRST walk for 4004 steps (8 resets) in 813 ms. (4 steps per ms) remains 76135/76141 properties
BEST_FIRST walk for 4003 steps (8 resets) in 928 ms. (4 steps per ms) remains 76129/76135 properties
BEST_FIRST walk for 4003 steps (8 resets) in 872 ms. (4 steps per ms) remains 76123/76129 properties
BEST_FIRST walk for 4004 steps (8 resets) in 903 ms. (4 steps per ms) remains 76115/76123 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1038 ms. (3 steps per ms) remains 76112/76115 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1184 ms. (3 steps per ms) remains 76106/76112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1092 ms. (3 steps per ms) remains 76105/76106 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1011 ms. (3 steps per ms) remains 76098/76105 properties
BEST_FIRST walk for 4003 steps (8 resets) in 978 ms. (4 steps per ms) remains 76093/76098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 933 ms. (4 steps per ms) remains 76088/76093 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1014 ms. (3 steps per ms) remains 76081/76088 properties
BEST_FIRST walk for 4003 steps (8 resets) in 891 ms. (4 steps per ms) remains 76075/76081 properties
BEST_FIRST walk for 4002 steps (8 resets) in 939 ms. (4 steps per ms) remains 76068/76075 properties
BEST_FIRST walk for 4002 steps (8 resets) in 851 ms. (4 steps per ms) remains 76061/76068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 916 ms. (4 steps per ms) remains 76057/76061 properties
BEST_FIRST walk for 4003 steps (8 resets) in 960 ms. (4 steps per ms) remains 76052/76057 properties
BEST_FIRST walk for 4003 steps (8 resets) in 889 ms. (4 steps per ms) remains 76047/76052 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1015 ms. (3 steps per ms) remains 76045/76047 properties
BEST_FIRST walk for 4004 steps (8 resets) in 954 ms. (4 steps per ms) remains 76039/76045 properties
BEST_FIRST walk for 4003 steps (8 resets) in 931 ms. (4 steps per ms) remains 76032/76039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 917 ms. (4 steps per ms) remains 76026/76032 properties
BEST_FIRST walk for 4003 steps (8 resets) in 943 ms. (4 steps per ms) remains 76018/76026 properties
BEST_FIRST walk for 4004 steps (8 resets) in 947 ms. (4 steps per ms) remains 76016/76018 properties
BEST_FIRST walk for 4004 steps (8 resets) in 848 ms. (4 steps per ms) remains 76010/76016 properties
BEST_FIRST walk for 4004 steps (8 resets) in 827 ms. (4 steps per ms) remains 76006/76010 properties
BEST_FIRST walk for 4003 steps (8 resets) in 813 ms. (4 steps per ms) remains 76000/76006 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1602 ms. (2 steps per ms) remains 75993/76000 properties
BEST_FIRST walk for 4003 steps (8 resets) in 931 ms. (4 steps per ms) remains 75988/75993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 865 ms. (4 steps per ms) remains 75982/75988 properties
BEST_FIRST walk for 4004 steps (8 resets) in 879 ms. (4 steps per ms) remains 75979/75982 properties
BEST_FIRST walk for 4002 steps (8 resets) in 890 ms. (4 steps per ms) remains 75972/75979 properties
BEST_FIRST walk for 4004 steps (8 resets) in 906 ms. (4 steps per ms) remains 75966/75972 properties
BEST_FIRST walk for 4003 steps (8 resets) in 848 ms. (4 steps per ms) remains 75961/75966 properties
BEST_FIRST walk for 4002 steps (8 resets) in 893 ms. (4 steps per ms) remains 75955/75961 properties
BEST_FIRST walk for 4003 steps (8 resets) in 875 ms. (4 steps per ms) remains 75950/75955 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1141 ms. (3 steps per ms) remains 75943/75950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3119 ms. (1 steps per ms) remains 75938/75943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3598 ms. (1 steps per ms) remains 75932/75938 properties
BEST_FIRST walk for 4002 steps (8 resets) in 8623 ms. (0 steps per ms) remains 75926/75932 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2723 ms. (1 steps per ms) remains 75923/75926 properties
BEST_FIRST walk for 4003 steps (8 resets) in 4743 ms. (0 steps per ms) remains 75917/75923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 948 ms. (4 steps per ms) remains 75912/75917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 932 ms. (4 steps per ms) remains 75906/75912 properties
BEST_FIRST walk for 4002 steps (8 resets) in 984 ms. (4 steps per ms) remains 75900/75906 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1052 ms. (3 steps per ms) remains 75895/75900 properties
BEST_FIRST walk for 4003 steps (8 resets) in 929 ms. (4 steps per ms) remains 75890/75895 properties
BEST_FIRST walk for 4003 steps (8 resets) in 912 ms. (4 steps per ms) remains 75886/75890 properties
BEST_FIRST walk for 4004 steps (8 resets) in 946 ms. (4 steps per ms) remains 75880/75886 properties
BEST_FIRST walk for 4003 steps (8 resets) in 865 ms. (4 steps per ms) remains 75874/75880 properties
BEST_FIRST walk for 4003 steps (8 resets) in 981 ms. (4 steps per ms) remains 75869/75874 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1073 ms. (3 steps per ms) remains 75861/75869 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1167 ms. (3 steps per ms) remains 75857/75861 properties
BEST_FIRST walk for 4003 steps (8 resets) in 930 ms. (4 steps per ms) remains 75852/75857 properties
BEST_FIRST walk for 4004 steps (8 resets) in 835 ms. (4 steps per ms) remains 75848/75852 properties
BEST_FIRST walk for 4003 steps (8 resets) in 963 ms. (4 steps per ms) remains 75842/75848 properties
BEST_FIRST walk for 4003 steps (8 resets) in 969 ms. (4 steps per ms) remains 75840/75842 properties
BEST_FIRST walk for 4004 steps (8 resets) in 900 ms. (4 steps per ms) remains 75833/75840 properties
BEST_FIRST walk for 4003 steps (8 resets) in 967 ms. (4 steps per ms) remains 75828/75833 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1101 ms. (3 steps per ms) remains 75823/75828 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1050 ms. (3 steps per ms) remains 75817/75823 properties
BEST_FIRST walk for 4004 steps (8 resets) in 843 ms. (4 steps per ms) remains 75814/75817 properties
BEST_FIRST walk for 4003 steps (8 resets) in 958 ms. (4 steps per ms) remains 75806/75814 properties
BEST_FIRST walk for 4003 steps (8 resets) in 917 ms. (4 steps per ms) remains 75801/75806 properties
BEST_FIRST walk for 4003 steps (8 resets) in 960 ms. (4 steps per ms) remains 75795/75801 properties
BEST_FIRST walk for 4003 steps (8 resets) in 829 ms. (4 steps per ms) remains 75789/75795 properties
BEST_FIRST walk for 4004 steps (8 resets) in 979 ms. (4 steps per ms) remains 75783/75789 properties
BEST_FIRST walk for 4004 steps (8 resets) in 958 ms. (4 steps per ms) remains 75777/75783 properties
BEST_FIRST walk for 4004 steps (8 resets) in 854 ms. (4 steps per ms) remains 75773/75777 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1057 ms. (3 steps per ms) remains 75769/75773 properties
BEST_FIRST walk for 4003 steps (8 resets) in 913 ms. (4 steps per ms) remains 75762/75769 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1065 ms. (3 steps per ms) remains 75757/75762 properties
BEST_FIRST walk for 4002 steps (8 resets) in 820 ms. (4 steps per ms) remains 75750/75757 properties
BEST_FIRST walk for 4004 steps (8 resets) in 843 ms. (4 steps per ms) remains 75745/75750 properties
BEST_FIRST walk for 4003 steps (8 resets) in 785 ms. (5 steps per ms) remains 75739/75745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 917 ms. (4 steps per ms) remains 75736/75739 properties
BEST_FIRST walk for 4002 steps (8 resets) in 953 ms. (4 steps per ms) remains 75731/75736 properties
BEST_FIRST walk for 4004 steps (8 resets) in 976 ms. (4 steps per ms) remains 75725/75731 properties
BEST_FIRST walk for 4001 steps (8 resets) in 930 ms. (4 steps per ms) remains 75721/75725 properties
BEST_FIRST walk for 4004 steps (8 resets) in 965 ms. (4 steps per ms) remains 75715/75721 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1028 ms. (3 steps per ms) remains 75710/75715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1001 ms. (3 steps per ms) remains 75705/75710 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1021 ms. (3 steps per ms) remains 75700/75705 properties
BEST_FIRST walk for 4004 steps (8 resets) in 944 ms. (4 steps per ms) remains 75697/75700 properties
BEST_FIRST walk for 4002 steps (8 resets) in 931 ms. (4 steps per ms) remains 75692/75697 properties
BEST_FIRST walk for 4004 steps (8 resets) in 964 ms. (4 steps per ms) remains 75688/75692 properties
BEST_FIRST walk for 4003 steps (8 resets) in 994 ms. (4 steps per ms) remains 75683/75688 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1117 ms. (3 steps per ms) remains 75676/75683 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1309 ms. (3 steps per ms) remains 75672/75676 properties
BEST_FIRST walk for 4004 steps (8 resets) in 943 ms. (4 steps per ms) remains 75667/75672 properties
BEST_FIRST walk for 4001 steps (8 resets) in 944 ms. (4 steps per ms) remains 75661/75667 properties
BEST_FIRST walk for 4002 steps (8 resets) in 924 ms. (4 steps per ms) remains 75657/75661 properties
BEST_FIRST walk for 4004 steps (8 resets) in 974 ms. (4 steps per ms) remains 75652/75657 properties
BEST_FIRST walk for 4003 steps (8 resets) in 811 ms. (4 steps per ms) remains 75649/75652 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1159 ms. (3 steps per ms) remains 75644/75649 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1019 ms. (3 steps per ms) remains 75638/75644 properties
BEST_FIRST walk for 4003 steps (8 resets) in 915 ms. (4 steps per ms) remains 75632/75638 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1012 ms. (3 steps per ms) remains 75625/75632 properties
BEST_FIRST walk for 4003 steps (8 resets) in 962 ms. (4 steps per ms) remains 75619/75625 properties
BEST_FIRST walk for 4003 steps (8 resets) in 909 ms. (4 steps per ms) remains 75614/75619 properties
BEST_FIRST walk for 4004 steps (8 resets) in 836 ms. (4 steps per ms) remains 75610/75614 properties
BEST_FIRST walk for 4003 steps (8 resets) in 866 ms. (4 steps per ms) remains 75606/75610 properties
BEST_FIRST walk for 4003 steps (8 resets) in 897 ms. (4 steps per ms) remains 75602/75606 properties
BEST_FIRST walk for 4004 steps (8 resets) in 913 ms. (4 steps per ms) remains 75596/75602 properties
BEST_FIRST walk for 4004 steps (8 resets) in 889 ms. (4 steps per ms) remains 75591/75596 properties
BEST_FIRST walk for 4003 steps (8 resets) in 834 ms. (4 steps per ms) remains 75587/75591 properties
BEST_FIRST walk for 4004 steps (8 resets) in 872 ms. (4 steps per ms) remains 75581/75587 properties
BEST_FIRST walk for 4002 steps (8 resets) in 871 ms. (4 steps per ms) remains 75577/75581 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1016 ms. (3 steps per ms) remains 75573/75577 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1004 ms. (3 steps per ms) remains 75566/75573 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1047 ms. (3 steps per ms) remains 75561/75566 properties
BEST_FIRST walk for 4003 steps (8 resets) in 914 ms. (4 steps per ms) remains 75554/75561 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1026 ms. (3 steps per ms) remains 75548/75554 properties
BEST_FIRST walk for 4004 steps (8 resets) in 931 ms. (4 steps per ms) remains 75542/75548 properties
BEST_FIRST walk for 4003 steps (8 resets) in 878 ms. (4 steps per ms) remains 75537/75542 properties
BEST_FIRST walk for 4004 steps (8 resets) in 961 ms. (4 steps per ms) remains 75531/75537 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1006 ms. (3 steps per ms) remains 75525/75531 properties
BEST_FIRST walk for 4004 steps (8 resets) in 858 ms. (4 steps per ms) remains 75518/75525 properties
BEST_FIRST walk for 4002 steps (8 resets) in 886 ms. (4 steps per ms) remains 75514/75518 properties
BEST_FIRST walk for 4004 steps (8 resets) in 874 ms. (4 steps per ms) remains 75509/75514 properties
BEST_FIRST walk for 4003 steps (8 resets) in 900 ms. (4 steps per ms) remains 75507/75509 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1329 ms. (3 steps per ms) remains 75500/75507 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1100 ms. (3 steps per ms) remains 75493/75500 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1051 ms. (3 steps per ms) remains 75487/75493 properties
BEST_FIRST walk for 4003 steps (8 resets) in 985 ms. (4 steps per ms) remains 75484/75487 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1018 ms. (3 steps per ms) remains 75478/75484 properties
BEST_FIRST walk for 4003 steps (8 resets) in 869 ms. (4 steps per ms) remains 75475/75478 properties
BEST_FIRST walk for 4003 steps (8 resets) in 887 ms. (4 steps per ms) remains 75470/75475 properties
BEST_FIRST walk for 4004 steps (8 resets) in 862 ms. (4 steps per ms) remains 75463/75470 properties
BEST_FIRST walk for 4003 steps (8 resets) in 886 ms. (4 steps per ms) remains 75460/75463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 888 ms. (4 steps per ms) remains 75456/75460 properties
BEST_FIRST walk for 4002 steps (8 resets) in 891 ms. (4 steps per ms) remains 75450/75456 properties
BEST_FIRST walk for 4003 steps (8 resets) in 841 ms. (4 steps per ms) remains 75444/75450 properties
BEST_FIRST walk for 4002 steps (8 resets) in 955 ms. (4 steps per ms) remains 75439/75444 properties
BEST_FIRST walk for 4002 steps (8 resets) in 900 ms. (4 steps per ms) remains 75434/75439 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1049 ms. (3 steps per ms) remains 75429/75434 properties
BEST_FIRST walk for 4004 steps (8 resets) in 912 ms. (4 steps per ms) remains 75424/75429 properties
BEST_FIRST walk for 4003 steps (8 resets) in 825 ms. (4 steps per ms) remains 75419/75424 properties
BEST_FIRST walk for 4003 steps (8 resets) in 806 ms. (4 steps per ms) remains 75414/75419 properties
BEST_FIRST walk for 4001 steps (8 resets) in 900 ms. (4 steps per ms) remains 75408/75414 properties
BEST_FIRST walk for 4003 steps (8 resets) in 904 ms. (4 steps per ms) remains 75404/75408 properties
BEST_FIRST walk for 4002 steps (8 resets) in 841 ms. (4 steps per ms) remains 75397/75404 properties
BEST_FIRST walk for 4004 steps (8 resets) in 932 ms. (4 steps per ms) remains 75392/75397 properties
BEST_FIRST walk for 4003 steps (8 resets) in 932 ms. (4 steps per ms) remains 75386/75392 properties
BEST_FIRST walk for 4003 steps (8 resets) in 894 ms. (4 steps per ms) remains 75381/75386 properties
BEST_FIRST walk for 4003 steps (8 resets) in 872 ms. (4 steps per ms) remains 75380/75381 properties
BEST_FIRST walk for 4002 steps (8 resets) in 857 ms. (4 steps per ms) remains 75375/75380 properties
BEST_FIRST walk for 4003 steps (8 resets) in 911 ms. (4 steps per ms) remains 75368/75375 properties
BEST_FIRST walk for 4004 steps (8 resets) in 858 ms. (4 steps per ms) remains 75362/75368 properties
BEST_FIRST walk for 4004 steps (8 resets) in 971 ms. (4 steps per ms) remains 75356/75362 properties
BEST_FIRST walk for 4004 steps (8 resets) in 855 ms. (4 steps per ms) remains 75350/75356 properties
BEST_FIRST walk for 4003 steps (8 resets) in 862 ms. (4 steps per ms) remains 75347/75350 properties
BEST_FIRST walk for 4002 steps (8 resets) in 906 ms. (4 steps per ms) remains 75340/75347 properties
BEST_FIRST walk for 4003 steps (8 resets) in 916 ms. (4 steps per ms) remains 75335/75340 properties
BEST_FIRST walk for 4004 steps (8 resets) in 883 ms. (4 steps per ms) remains 75331/75335 properties
BEST_FIRST walk for 4003 steps (8 resets) in 901 ms. (4 steps per ms) remains 75325/75331 properties
BEST_FIRST walk for 4002 steps (8 resets) in 868 ms. (4 steps per ms) remains 75320/75325 properties
BEST_FIRST walk for 4003 steps (8 resets) in 831 ms. (4 steps per ms) remains 75314/75320 properties
BEST_FIRST walk for 4003 steps (8 resets) in 937 ms. (4 steps per ms) remains 75309/75314 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1113 ms. (3 steps per ms) remains 75301/75309 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1132 ms. (3 steps per ms) remains 75293/75301 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1181 ms. (3 steps per ms) remains 75288/75293 properties
BEST_FIRST walk for 4004 steps (8 resets) in 901 ms. (4 steps per ms) remains 75282/75288 properties
BEST_FIRST walk for 4003 steps (8 resets) in 879 ms. (4 steps per ms) remains 75275/75282 properties
BEST_FIRST walk for 4003 steps (8 resets) in 960 ms. (4 steps per ms) remains 75271/75275 properties
BEST_FIRST walk for 4004 steps (8 resets) in 936 ms. (4 steps per ms) remains 75267/75271 properties

BK_TIME_CONFINEMENT_REACHED

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

+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ QuasiLiveness = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202604301425.jar
+ VERSION=202604301425
+ echo 'Running Version 202604301425'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800

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="ErlangenMainframeV2-PT-bP10C08"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="itstools"
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-5973"
echo " Executing tool itstools"
echo " Input is ErlangenMainframeV2-PT-bP10C08, 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 r344-smll-178021500900177"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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