About the Execution of ITS-Tools for ErlangenMainframeV2-PT-aP11C06
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 14985.371 | 1800000.00 | 3876391.00 | 3192.70 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2026-input.r344-smll-178021500900112.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-aP11C06, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r344-smll-178021500900112
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 95M
-rw-r--r-- 1 mcc users 6.5K May 27 09:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K May 27 09:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.8K May 27 09:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K May 27 09:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K May 27 10:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K May 27 10:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 27 10:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 27 10:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 26 18:17 NewModel
-rw-r--r-- 1 mcc users 17K May 27 10:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 191K May 27 10:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.1K May 27 09:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 42K May 27 09:59 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 27 10:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 27 10:38 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 95M 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 1780312344606
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-aP11C06
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
QuasiLiveness PT
Running Version 202604301425
[2026-06-01 11:12:26] [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 11:12:26] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-06-01 11:12:31] [INFO ] Load time of PNML (sax parser for PT used): 4773 ms
[2026-06-01 11:12:31] [INFO ] Transformed 101 places.
[2026-06-01 11:12:32] [INFO ] Transformed 70091 transitions.
[2026-06-01 11:12:32] [INFO ] Found NUPN structural information;
[2026-06-01 11:12:32] [INFO ] Parsed PT model containing 101 places and 70091 transitions and 1913335 arcs in 5457 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 101/101 places, 70091/70091 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 17 transitions
Trivial Post-agglo rules discarded 17 transitions
Performed 17 trivial Post agglomeration. Transition count delta: 17
Iterating post reduction 0 with 18 rules applied. Total rules applied 18 place count 101 transition count 70073
Reduce places removed 17 places and 0 transitions.
Iterating post reduction 1 with 17 rules applied. Total rules applied 35 place count 84 transition count 70073
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 35 place count 84 transition count 70072
Deduced a syphon composed of 1 places in 206 ms
Ensure Unique test removed 1 places
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 3 rules applied. Total rules applied 38 place count 82 transition count 70072
Applied a total of 38 rules in 5600 ms. Remains 82 /101 variables (removed 19) and now considering 70072/70091 (removed 19) transitions.
[2026-06-01 11:12:38] [INFO ] Flow matrix only has 70068 transitions (discarded 4 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-17180364146231119440.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-5621479634207361478.kers'
[2026-06-01 11:12:38] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-17180364146231119440.kers, --Pflows, --basisKERS=/tmp/petrispot-output-5621479634207361478.kers]
Normalized transition count is 70067 out of 70068 initially.
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 316 ms.
// Phase 1: matrix 70067 rows 81 cols 1773216 entries
Finished phase 1 with 50 SingleSign rule and 3 generalized
[2026-06-01 11:12:40] [INFO ] Computed 29 invariants in 1513 ms
Computed 29 P flows in 1515 ms.
Exported basis to /tmp/petrispot-output-5621479634207361478.kers
Total runtime 1895 ms.
[2026-06-01 11:13:11] [INFO ] Performed 41/82 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-06-01 11:14:01] [INFO ] Performed 63/82 implicitness test of which 1 returned IMPLICIT in 80 seconds.
[2026-06-01 11:14:04] [INFO ] Implicit Places using invariants in 86879 ms returned [63]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 87223 ms to find 1 implicit places.
Starting structural reductions in LIVENESS mode, iteration 1 : 81/101 places, 70072/70091 transitions.
Applied a total of 0 rules in 861 ms. Remains 81 /81 variables (removed 0) and now considering 70072/70072 (removed 0) transitions.
Finished structural reductions in LIVENESS mode , in 2 iterations and 93731 ms. Remains : 81/101 places, 70072/70091 transitions.
Discarding 36 transitions out of 70072. Remains 70036
Initial state reduction rules removed 1 formulas.
RANDOM walk for 40000 steps (8 resets) in 95189 ms. (0 steps per ms) remains 69969/70035 properties
BEST_FIRST walk for 124 steps (8 resets) in 794 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 1080 ms. (0 steps per ms) remains 69969/69969 properties
[2026-06-01 11:25:59] [INFO ] Flatten gal took : 19579 ms
BEST_FIRST walk for 124 steps (8 resets) in 938 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 816 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 827 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 772 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 787 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 762 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 859 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 869 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 860 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 869 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 816 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 857 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 879 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 858 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 815 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 909 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 937 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 742 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 702 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 777 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 787 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 771 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 856 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 964 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 842 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 844 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 759 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 803 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 853 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 875 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 833 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 1528 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 927 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 1050 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 991 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 828 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 795 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 838 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 745 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 782 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 861 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 826 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 817 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 772 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 831 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 780 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 783 ms. (0 steps per ms) remains 69969/69969 properties
BEST_FIRST walk for 124 steps (8 resets) in 812 ms. (0 steps per ms) remains 69969/69969 properties
[2026-06-01 11:26:14] [INFO ] Flatten gal took : 15073 ms
[2026-06-01 11:26:16] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality9265127681117303086.gal : 1965 ms
[2026-06-01 11:26:17] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality13388344657192335366.prop : 954 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/ReachabilityCardinality9265127681117303086.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality13388344657192335366.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
Interrupted probabilistic random walk after 19161 steps, run timeout after 108040 ms. (steps per millisecond=0 ) properties seen :27 out of 69969
Probabilistic random walk after 19161 steps, saw 11387 distinct states, run finished after 108063 ms. (steps per millisecond=0 ) properties seen :27
[2026-06-01 11:27:59] [INFO ] Flow matrix only has 70068 transitions (discarded 4 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15767235441538216180.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11067872789073433691.kers'
[2026-06-01 11:27:59] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15767235441538216180.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11067872789073433691.kers]
Normalized transition count is 70067 out of 70068 initially.
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 320 ms.
// Phase 1: matrix 70067 rows 80 cols 1703232 entries
Loading property file /tmp/ReachabilityCardinality13388344657192335366.prop.
Finished phase 1 with 50 SingleSign rule and 3 generalized
[2026-06-01 11:28:01] [INFO ] Computed 28 invariants in 1632 ms
Computed 28 P flows in 1634 ms.
Exported basis to /tmp/petrispot-output-11067872789073433691.kers
Total runtime 1871 ms.
[2026-06-01 11:28:03] [INFO ] State equation strengthened by 39 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
SDD proceeding with computation,69969 properties remain. new max is 4
SDD size :1 after 25
SMT process timed out in 453119ms, After SMT, problems are : Problem set: 0 solved, 69942 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 67 out of 81 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 81/81 places, 70072/70072 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 0 with 5 rules applied. Total rules applied 5 place count 81 transition count 70067
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 6 place count 80 transition count 70058
Iterating global reduction 1 with 1 rules applied. Total rules applied 7 place count 80 transition count 70058
Free-agglomeration rule applied 2 times.
Iterating global reduction 1 with 2 rules applied. Total rules applied 9 place count 80 transition count 70056
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 11 place count 78 transition count 70056
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 12 place count 78 transition count 70063
Reduce places removed 1 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 14 place count 77 transition count 70062
Applied a total of 14 rules in 8976 ms. Remains 77 /81 variables (removed 4) and now considering 70062/70072 (removed 10) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 8984 ms. Remains : 77/81 places, 70062/70072 transitions.
RANDOM walk for 33852 steps (0 resets) in 120005 ms. (0 steps per ms) remains 69830/69942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1192 ms. (3 steps per ms) remains 69829/69830 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1448 ms. (2 steps per ms) remains 69827/69829 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1263 ms. (3 steps per ms) remains 69825/69827 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1322 ms. (3 steps per ms) remains 69823/69825 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1088 ms. (3 steps per ms) remains 69821/69823 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1135 ms. (3 steps per ms) remains 69819/69821 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1205 ms. (3 steps per ms) remains 69817/69819 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1422 ms. (2 steps per ms) remains 69815/69817 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1288 ms. (3 steps per ms) remains 69813/69815 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1187 ms. (3 steps per ms) remains 69811/69813 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1360 ms. (2 steps per ms) remains 69809/69811 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1145 ms. (3 steps per ms) remains 69807/69809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1117 ms. (3 steps per ms) remains 69805/69807 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1384 ms. (2 steps per ms) remains 69803/69805 properties
Detected timeout of ITS tools.
BEST_FIRST walk for 4004 steps (8 resets) in 1243 ms. (3 steps per ms) remains 69801/69803 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1112 ms. (3 steps per ms) remains 69799/69801 properties
BEST_FIRST walk for 4003 steps (8 resets) in 997 ms. (4 steps per ms) remains 69797/69799 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1044 ms. (3 steps per ms) remains 69795/69797 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1089 ms. (3 steps per ms) remains 69793/69795 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1068 ms. (3 steps per ms) remains 69791/69793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 863 ms. (4 steps per ms) remains 69789/69791 properties
BEST_FIRST walk for 4004 steps (8 resets) in 944 ms. (4 steps per ms) remains 69787/69789 properties
BEST_FIRST walk for 4004 steps (8 resets) in 979 ms. (4 steps per ms) remains 69785/69787 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1188 ms. (3 steps per ms) remains 69783/69785 properties
BEST_FIRST walk for 4004 steps (8 resets) in 987 ms. (4 steps per ms) remains 69781/69783 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2807 ms. (1 steps per ms) remains 69779/69781 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1093 ms. (3 steps per ms) remains 69777/69779 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1151 ms. (3 steps per ms) remains 69775/69777 properties
BEST_FIRST walk for 4003 steps (8 resets) in 958 ms. (4 steps per ms) remains 69773/69775 properties
BEST_FIRST walk for 4003 steps (8 resets) in 947 ms. (4 steps per ms) remains 69771/69773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1249 ms. (3 steps per ms) remains 69769/69771 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1276 ms. (3 steps per ms) remains 69767/69769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1130 ms. (3 steps per ms) remains 69765/69767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1512 ms. (2 steps per ms) remains 69763/69765 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1192 ms. (3 steps per ms) remains 69761/69763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1042 ms. (3 steps per ms) remains 69759/69761 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1389 ms. (2 steps per ms) remains 69757/69759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 983 ms. (4 steps per ms) remains 69755/69757 properties
BEST_FIRST walk for 4003 steps (8 resets) in 988 ms. (4 steps per ms) remains 69753/69755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1192 ms. (3 steps per ms) remains 69751/69753 properties
BEST_FIRST walk for 4004 steps (8 resets) in 961 ms. (4 steps per ms) remains 69749/69751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1111 ms. (3 steps per ms) remains 69747/69749 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1861 ms. (2 steps per ms) remains 69745/69747 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1216 ms. (3 steps per ms) remains 69743/69745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1132 ms. (3 steps per ms) remains 69741/69743 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1132 ms. (3 steps per ms) remains 69739/69741 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1244 ms. (3 steps per ms) remains 69737/69739 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1615 ms. (2 steps per ms) remains 69735/69737 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1476 ms. (2 steps per ms) remains 69733/69735 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1283 ms. (3 steps per ms) remains 69731/69733 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1393 ms. (2 steps per ms) remains 69729/69731 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1277 ms. (3 steps per ms) remains 69727/69729 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1262 ms. (3 steps per ms) remains 69725/69727 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1291 ms. (3 steps per ms) remains 69723/69725 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1451 ms. (2 steps per ms) remains 69721/69723 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1450 ms. (2 steps per ms) remains 69719/69721 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1223 ms. (3 steps per ms) remains 69717/69719 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1155 ms. (3 steps per ms) remains 69715/69717 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1220 ms. (3 steps per ms) remains 69713/69715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1206 ms. (3 steps per ms) remains 69711/69713 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1164 ms. (3 steps per ms) remains 69709/69711 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1118 ms. (3 steps per ms) remains 69707/69709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1103 ms. (3 steps per ms) remains 69705/69707 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1130 ms. (3 steps per ms) remains 69703/69705 properties
BEST_FIRST walk for 4003 steps (8 resets) in 950 ms. (4 steps per ms) remains 69701/69703 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1095 ms. (3 steps per ms) remains 69699/69701 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1299 ms. (3 steps per ms) remains 69697/69699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1359 ms. (2 steps per ms) remains 69695/69697 properties
[2026-06-01 11:36:37] [INFO ] Flatten gal took : 16197 ms
[2026-06-01 11:36:37] [INFO ] Applying decomposition
BEST_FIRST walk for 4004 steps (8 resets) in 1270 ms. (3 steps per ms) remains 69693/69695 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1158 ms. (3 steps per ms) remains 69691/69693 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1136 ms. (3 steps per ms) remains 69689/69691 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1137 ms. (3 steps per ms) remains 69687/69689 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1192 ms. (3 steps per ms) remains 69685/69687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1148 ms. (3 steps per ms) remains 69683/69685 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1178 ms. (3 steps per ms) remains 69681/69683 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1272 ms. (3 steps per ms) remains 69679/69681 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1092 ms. (3 steps per ms) remains 69677/69679 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1371 ms. (2 steps per ms) remains 69675/69677 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1323 ms. (3 steps per ms) remains 69673/69675 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2529 ms. (1 steps per ms) remains 69671/69673 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1068 ms. (3 steps per ms) remains 69669/69671 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1156 ms. (3 steps per ms) remains 69667/69669 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1130 ms. (3 steps per ms) remains 69665/69667 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1228 ms. (3 steps per ms) remains 69663/69665 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1030 ms. (3 steps per ms) remains 69661/69663 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1089 ms. (3 steps per ms) remains 69659/69661 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1151 ms. (3 steps per ms) remains 69657/69659 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1063 ms. (3 steps per ms) remains 69655/69657 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1088 ms. (3 steps per ms) remains 69653/69655 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1213 ms. (3 steps per ms) remains 69651/69653 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1169 ms. (3 steps per ms) remains 69650/69651 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1268 ms. (3 steps per ms) remains 69648/69650 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1328 ms. (3 steps per ms) remains 69646/69648 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1432 ms. (2 steps per ms) remains 69644/69646 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1076 ms. (3 steps per ms) remains 69642/69644 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1212 ms. (3 steps per ms) remains 69640/69642 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1188 ms. (3 steps per ms) remains 69638/69640 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1192 ms. (3 steps per ms) remains 69636/69638 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1210 ms. (3 steps per ms) remains 69634/69636 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1274 ms. (3 steps per ms) remains 69632/69634 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1126 ms. (3 steps per ms) remains 69630/69632 properties
BEST_FIRST walk for 4004 steps (8 resets) in 945 ms. (4 steps per ms) remains 69628/69630 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1030 ms. (3 steps per ms) remains 69626/69628 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1027 ms. (3 steps per ms) remains 69624/69626 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1069 ms. (3 steps per ms) remains 69622/69624 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1168 ms. (3 steps per ms) remains 69620/69622 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1165 ms. (3 steps per ms) remains 69618/69620 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1180 ms. (3 steps per ms) remains 69616/69618 properties
BEST_FIRST walk for 4004 steps (8 resets) in 980 ms. (4 steps per ms) remains 69614/69616 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1044 ms. (3 steps per ms) remains 69612/69614 properties
[2026-06-01 11:36:52] [INFO ] Flatten gal took : 14569 ms
BEST_FIRST walk for 4004 steps (8 resets) in 1150 ms. (3 steps per ms) remains 69610/69612 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1164 ms. (3 steps per ms) remains 69608/69610 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1473 ms. (2 steps per ms) remains 69606/69608 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1262 ms. (3 steps per ms) remains 69604/69606 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1796 ms. (2 steps per ms) remains 69602/69604 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1220 ms. (3 steps per ms) remains 69600/69602 properties
BEST_FIRST walk for 4004 steps (8 resets) in 968 ms. (4 steps per ms) remains 69598/69600 properties
BEST_FIRST walk for 4004 steps (8 resets) in 982 ms. (4 steps per ms) remains 69596/69598 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1412 ms. (2 steps per ms) remains 69594/69596 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1271 ms. (3 steps per ms) remains 69592/69594 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1629 ms. (2 steps per ms) remains 69590/69592 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1477 ms. (2 steps per ms) remains 69588/69590 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2853 ms. (1 steps per ms) remains 69586/69588 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1821 ms. (2 steps per ms) remains 69584/69586 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1013 ms. (3 steps per ms) remains 69582/69584 properties
BEST_FIRST walk for 4004 steps (8 resets) in 950 ms. (4 steps per ms) remains 69580/69582 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1081 ms. (3 steps per ms) remains 69578/69580 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2117 ms. (1 steps per ms) remains 69576/69578 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1308 ms. (3 steps per ms) remains 69574/69576 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2009 ms. (1 steps per ms) remains 69572/69574 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1553 ms. (2 steps per ms) remains 69570/69572 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1942 ms. (2 steps per ms) remains 69568/69570 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1301 ms. (3 steps per ms) remains 69566/69568 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1381 ms. (2 steps per ms) remains 69564/69566 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1833 ms. (2 steps per ms) remains 69562/69564 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1959 ms. (2 steps per ms) remains 69560/69562 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1672 ms. (2 steps per ms) remains 69558/69560 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1911 ms. (2 steps per ms) remains 69556/69558 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2203 ms. (1 steps per ms) remains 69554/69556 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2586 ms. (1 steps per ms) remains 69552/69554 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1814 ms. (2 steps per ms) remains 69550/69552 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2030 ms. (1 steps per ms) remains 69548/69550 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2774 ms. (1 steps per ms) remains 69546/69548 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2099 ms. (1 steps per ms) remains 69544/69546 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1794 ms. (2 steps per ms) remains 69542/69544 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2689 ms. (1 steps per ms) remains 69540/69542 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1697 ms. (2 steps per ms) remains 69538/69540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1887 ms. (2 steps per ms) remains 69536/69538 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2047 ms. (1 steps per ms) remains 69534/69536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1448 ms. (2 steps per ms) remains 69532/69534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1755 ms. (2 steps per ms) remains 69530/69532 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1881 ms. (2 steps per ms) remains 69528/69530 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1413 ms. (2 steps per ms) remains 69526/69528 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1587 ms. (2 steps per ms) remains 69524/69526 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1386 ms. (2 steps per ms) remains 69522/69524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1296 ms. (3 steps per ms) remains 69520/69522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1554 ms. (2 steps per ms) remains 69518/69520 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1887 ms. (2 steps per ms) remains 69516/69518 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1071 ms. (3 steps per ms) remains 69514/69516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1135 ms. (3 steps per ms) remains 69512/69514 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1135 ms. (3 steps per ms) remains 69510/69512 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1208 ms. (3 steps per ms) remains 69508/69510 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1390 ms. (2 steps per ms) remains 69506/69508 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1475 ms. (2 steps per ms) remains 69504/69506 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1039 ms. (3 steps per ms) remains 69502/69504 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1317 ms. (3 steps per ms) remains 69500/69502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1778 ms. (2 steps per ms) remains 69498/69500 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1750 ms. (2 steps per ms) remains 69496/69498 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1894 ms. (2 steps per ms) remains 69494/69496 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1666 ms. (2 steps per ms) remains 69492/69494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1695 ms. (2 steps per ms) remains 69490/69492 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1750 ms. (2 steps per ms) remains 69488/69490 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1467 ms. (2 steps per ms) remains 69486/69488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1169 ms. (3 steps per ms) remains 69484/69486 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1678 ms. (2 steps per ms) remains 69482/69484 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1617 ms. (2 steps per ms) remains 69480/69482 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1289 ms. (3 steps per ms) remains 69478/69480 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1394 ms. (2 steps per ms) remains 69476/69478 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1557 ms. (2 steps per ms) remains 69474/69476 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1442 ms. (2 steps per ms) remains 69472/69474 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1288 ms. (3 steps per ms) remains 69470/69472 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1464 ms. (2 steps per ms) remains 69468/69470 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1119 ms. (3 steps per ms) remains 69466/69468 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1620 ms. (2 steps per ms) remains 69465/69466 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1508 ms. (2 steps per ms) remains 69463/69465 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1500 ms. (2 steps per ms) remains 69461/69463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1858 ms. (2 steps per ms) remains 69459/69461 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1346 ms. (2 steps per ms) remains 69457/69459 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1398 ms. (2 steps per ms) remains 69455/69457 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1526 ms. (2 steps per ms) remains 69453/69455 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1261 ms. (3 steps per ms) remains 69451/69453 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1204 ms. (3 steps per ms) remains 69450/69451 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1576 ms. (2 steps per ms) remains 69448/69450 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1346 ms. (2 steps per ms) remains 69446/69448 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1448 ms. (2 steps per ms) remains 69444/69446 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1641 ms. (2 steps per ms) remains 69442/69444 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1176 ms. (3 steps per ms) remains 69440/69442 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1046 ms. (3 steps per ms) remains 69438/69440 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1267 ms. (3 steps per ms) remains 69436/69438 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1353 ms. (2 steps per ms) remains 69434/69436 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1104 ms. (3 steps per ms) remains 69432/69434 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1220 ms. (3 steps per ms) remains 69430/69432 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1247 ms. (3 steps per ms) remains 69428/69430 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1168 ms. (3 steps per ms) remains 69426/69428 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1269 ms. (3 steps per ms) remains 69424/69426 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1026 ms. (3 steps per ms) remains 69422/69424 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1106 ms. (3 steps per ms) remains 69420/69422 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1235 ms. (3 steps per ms) remains 69418/69420 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1011 ms. (3 steps per ms) remains 69416/69418 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1540 ms. (2 steps per ms) remains 69414/69416 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1317 ms. (3 steps per ms) remains 69412/69414 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1071 ms. (3 steps per ms) remains 69410/69412 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1016 ms. (3 steps per ms) remains 69409/69410 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1099 ms. (3 steps per ms) remains 69408/69409 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2362 ms. (1 steps per ms) remains 69406/69408 properties
BEST_FIRST walk for 4004 steps (8 resets) in 985 ms. (4 steps per ms) remains 69404/69406 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1168 ms. (3 steps per ms) remains 69402/69404 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1363 ms. (2 steps per ms) remains 69400/69402 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1242 ms. (3 steps per ms) remains 69399/69400 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1112 ms. (3 steps per ms) remains 69397/69399 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1024 ms. (3 steps per ms) remains 69395/69397 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1119 ms. (3 steps per ms) remains 69393/69395 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1095 ms. (3 steps per ms) remains 69391/69393 properties
BEST_FIRST walk for 4004 steps (8 resets) in 928 ms. (4 steps per ms) remains 69389/69391 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1012 ms. (3 steps per ms) remains 69387/69389 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1085 ms. (3 steps per ms) remains 69385/69387 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1007 ms. (3 steps per ms) remains 69383/69385 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1056 ms. (3 steps per ms) remains 69381/69383 properties
BEST_FIRST walk for 4004 steps (8 resets) in 907 ms. (4 steps per ms) remains 69379/69381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1011 ms. (3 steps per ms) remains 69377/69379 properties
BEST_FIRST walk for 4004 steps (8 resets) in 993 ms. (4 steps per ms) remains 69375/69377 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1088 ms. (3 steps per ms) remains 69373/69375 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1133 ms. (3 steps per ms) remains 69371/69373 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1117 ms. (3 steps per ms) remains 69369/69371 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1080 ms. (3 steps per ms) remains 69367/69369 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1096 ms. (3 steps per ms) remains 69365/69367 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1028 ms. (3 steps per ms) remains 69363/69365 properties
BEST_FIRST walk for 4003 steps (8 resets) in 994 ms. (4 steps per ms) remains 69361/69363 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1028 ms. (3 steps per ms) remains 69359/69361 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1021 ms. (3 steps per ms) remains 69357/69359 properties
BEST_FIRST walk for 4004 steps (8 resets) in 907 ms. (4 steps per ms) remains 69355/69357 properties
BEST_FIRST walk for 4004 steps (8 resets) in 934 ms. (4 steps per ms) remains 69353/69355 properties
BEST_FIRST walk for 4004 steps (8 resets) in 894 ms. (4 steps per ms) remains 69351/69353 properties
BEST_FIRST walk for 4004 steps (8 resets) in 958 ms. (4 steps per ms) remains 69349/69351 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1001 ms. (3 steps per ms) remains 69347/69349 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1094 ms. (3 steps per ms) remains 69345/69347 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1064 ms. (3 steps per ms) remains 69343/69345 properties
BEST_FIRST walk for 4004 steps (8 resets) in 944 ms. (4 steps per ms) remains 69341/69343 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1028 ms. (3 steps per ms) remains 69339/69341 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1103 ms. (3 steps per ms) remains 69337/69339 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1103 ms. (3 steps per ms) remains 69335/69337 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1095 ms. (3 steps per ms) remains 69333/69335 properties
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph478385110287089943.txt' '-o' '/tmp/graph478385110287089943.bin' '-w' '/tmp/graph478385110287089943.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph478385110287089943.bin' '-l' '-1' '-v' '-w' '/tmp/graph478385110287089943.weights' '-q' '0' '-e' '0.001'
[2026-06-01 11:37:50] [INFO ] Decomposing Gal with order
[2026-06-01 11:37:50] [INFO ] Rewriting arrays to variables to allow decomposition.
BEST_FIRST walk for 4004 steps (8 resets) in 1221 ms. (3 steps per ms) remains 69331/69333 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1405 ms. (2 steps per ms) remains 69329/69331 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1441 ms. (2 steps per ms) remains 69327/69329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1261 ms. (3 steps per ms) remains 69325/69327 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1618 ms. (2 steps per ms) remains 69323/69325 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1445 ms. (2 steps per ms) remains 69321/69323 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1254 ms. (3 steps per ms) remains 69320/69321 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1239 ms. (3 steps per ms) remains 69318/69320 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1174 ms. (3 steps per ms) remains 69316/69318 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1008 ms. (3 steps per ms) remains 69314/69316 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1086 ms. (3 steps per ms) remains 69312/69314 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1068 ms. (3 steps per ms) remains 69310/69312 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1166 ms. (3 steps per ms) remains 69308/69310 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1135 ms. (3 steps per ms) remains 69306/69308 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1143 ms. (3 steps per ms) remains 69304/69306 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1178 ms. (3 steps per ms) remains 69302/69304 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1047 ms. (3 steps per ms) remains 69300/69302 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1047 ms. (3 steps per ms) remains 69298/69300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1167 ms. (3 steps per ms) remains 69296/69298 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1154 ms. (3 steps per ms) remains 69294/69296 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2447 ms. (1 steps per ms) remains 69292/69294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1027 ms. (3 steps per ms) remains 69290/69292 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2600 ms. (1 steps per ms) remains 69288/69290 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1411 ms. (2 steps per ms) remains 69286/69288 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1476 ms. (2 steps per ms) remains 69284/69286 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1564 ms. (2 steps per ms) remains 69282/69284 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1261 ms. (3 steps per ms) remains 69280/69282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1531 ms. (2 steps per ms) remains 69278/69280 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1388 ms. (2 steps per ms) remains 69276/69278 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1364 ms. (2 steps per ms) remains 69274/69276 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1533 ms. (2 steps per ms) remains 69272/69274 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2016 ms. (1 steps per ms) remains 69270/69272 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1407 ms. (2 steps per ms) remains 69268/69270 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1304 ms. (3 steps per ms) remains 69266/69268 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2321 ms. (1 steps per ms) remains 69264/69266 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1369 ms. (2 steps per ms) remains 69262/69264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1263 ms. (3 steps per ms) remains 69260/69262 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1655 ms. (2 steps per ms) remains 69258/69260 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1526 ms. (2 steps per ms) remains 69256/69258 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1536 ms. (2 steps per ms) remains 69254/69256 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1901 ms. (2 steps per ms) remains 69252/69254 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1297 ms. (3 steps per ms) remains 69250/69252 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1148 ms. (3 steps per ms) remains 69248/69250 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1753 ms. (2 steps per ms) remains 69246/69248 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1370 ms. (2 steps per ms) remains 69244/69246 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1501 ms. (2 steps per ms) remains 69242/69244 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1319 ms. (3 steps per ms) remains 69240/69242 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1491 ms. (2 steps per ms) remains 69238/69240 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1178 ms. (3 steps per ms) remains 69236/69238 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1307 ms. (3 steps per ms) remains 69234/69236 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1444 ms. (2 steps per ms) remains 69232/69234 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1134 ms. (3 steps per ms) remains 69230/69232 properties
BEST_FIRST walk for 4004 steps (8 resets) in 926 ms. (4 steps per ms) remains 69228/69230 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1083 ms. (3 steps per ms) remains 69226/69228 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1038 ms. (3 steps per ms) remains 69224/69226 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1144 ms. (3 steps per ms) remains 69222/69224 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1542 ms. (2 steps per ms) remains 69220/69222 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1044 ms. (3 steps per ms) remains 69218/69220 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1091 ms. (3 steps per ms) remains 69216/69218 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1001 ms. (3 steps per ms) remains 69214/69216 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1564 ms. (2 steps per ms) remains 69212/69214 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1012 ms. (3 steps per ms) remains 69210/69212 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1103 ms. (3 steps per ms) remains 69208/69210 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1586 ms. (2 steps per ms) remains 69206/69208 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1341 ms. (2 steps per ms) remains 69204/69206 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1591 ms. (2 steps per ms) remains 69202/69204 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1661 ms. (2 steps per ms) remains 69200/69202 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1331 ms. (3 steps per ms) remains 69198/69200 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1201 ms. (3 steps per ms) remains 69196/69198 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1641 ms. (2 steps per ms) remains 69194/69196 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1867 ms. (2 steps per ms) remains 69192/69194 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1567 ms. (2 steps per ms) remains 69190/69192 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1108 ms. (3 steps per ms) remains 69188/69190 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1218 ms. (3 steps per ms) remains 69186/69188 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1315 ms. (3 steps per ms) remains 69184/69186 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1420 ms. (2 steps per ms) remains 69182/69184 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1434 ms. (2 steps per ms) remains 69180/69182 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2003 ms. (1 steps per ms) remains 69179/69180 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1240 ms. (3 steps per ms) remains 69177/69179 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1158 ms. (3 steps per ms) remains 69176/69177 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1091 ms. (3 steps per ms) remains 69174/69176 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1140 ms. (3 steps per ms) remains 69172/69174 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1300 ms. (3 steps per ms) remains 69170/69172 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1127 ms. (3 steps per ms) remains 69168/69170 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1125 ms. (3 steps per ms) remains 69166/69168 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1237 ms. (3 steps per ms) remains 69164/69166 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1650 ms. (2 steps per ms) remains 69162/69164 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1074 ms. (3 steps per ms) remains 69160/69162 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1111 ms. (3 steps per ms) remains 69158/69160 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1226 ms. (3 steps per ms) remains 69156/69158 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1117 ms. (3 steps per ms) remains 69154/69156 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1351 ms. (2 steps per ms) remains 69152/69154 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1407 ms. (2 steps per ms) remains 69150/69152 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1202 ms. (3 steps per ms) remains 69148/69150 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1307 ms. (3 steps per ms) remains 69146/69148 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1516 ms. (2 steps per ms) remains 69144/69146 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1168 ms. (3 steps per ms) remains 69142/69144 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1185 ms. (3 steps per ms) remains 69140/69142 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1353 ms. (2 steps per ms) remains 69139/69140 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1278 ms. (3 steps per ms) remains 69137/69139 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1391 ms. (2 steps per ms) remains 69135/69137 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1441 ms. (2 steps per ms) remains 69133/69135 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1491 ms. (2 steps per ms) remains 69131/69133 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1245 ms. (3 steps per ms) remains 69129/69131 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1052 ms. (3 steps per ms) remains 69127/69129 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1283 ms. (3 steps per ms) remains 69125/69127 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1748 ms. (2 steps per ms) remains 69123/69125 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1331 ms. (3 steps per ms) remains 69121/69123 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1270 ms. (3 steps per ms) remains 69119/69121 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1427 ms. (2 steps per ms) remains 69117/69119 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1589 ms. (2 steps per ms) remains 69115/69117 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1546 ms. (2 steps per ms) remains 69113/69115 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1259 ms. (3 steps per ms) remains 69111/69113 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1210 ms. (3 steps per ms) remains 69109/69111 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1502 ms. (2 steps per ms) remains 69107/69109 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1529 ms. (2 steps per ms) remains 69105/69107 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1630 ms. (2 steps per ms) remains 69103/69105 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1672 ms. (2 steps per ms) remains 69101/69103 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1406 ms. (2 steps per ms) remains 69099/69101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1136 ms. (3 steps per ms) remains 69097/69099 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1061 ms. (3 steps per ms) remains 69095/69097 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1203 ms. (3 steps per ms) remains 69093/69095 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1001 ms. (3 steps per ms) remains 69091/69093 properties
[2026-06-01 11:38:38] [INFO ] Removed a total of 1038103 redundant transitions.
BEST_FIRST walk for 4004 steps (8 resets) in 1238 ms. (3 steps per ms) remains 69089/69091 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1293 ms. (3 steps per ms) remains 69087/69089 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1147 ms. (3 steps per ms) remains 69085/69087 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1256 ms. (3 steps per ms) remains 69083/69085 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1219 ms. (3 steps per ms) remains 69081/69083 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1450 ms. (2 steps per ms) remains 69079/69081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1012 ms. (3 steps per ms) remains 69077/69079 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1116 ms. (3 steps per ms) remains 69075/69077 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1206 ms. (3 steps per ms) remains 69073/69075 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1537 ms. (2 steps per ms) remains 69071/69073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1168 ms. (3 steps per ms) remains 69069/69071 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1635 ms. (2 steps per ms) remains 69067/69069 properties
[2026-06-01 11:38:43] [INFO ] Flatten gal took : 37982 ms
BEST_FIRST walk for 4004 steps (8 resets) in 1662 ms. (2 steps per ms) remains 69066/69067 properties
BEST_FIRST walk for 4004 steps (8 resets) in 945 ms. (4 steps per ms) remains 69064/69066 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1047 ms. (3 steps per ms) remains 69062/69064 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1016 ms. (3 steps per ms) remains 69060/69062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1405 ms. (2 steps per ms) remains 69058/69060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2494 ms. (1 steps per ms) remains 69056/69058 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1529 ms. (2 steps per ms) remains 69054/69056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1414 ms. (2 steps per ms) remains 69052/69054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1677 ms. (2 steps per ms) remains 69050/69052 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1298 ms. (3 steps per ms) remains 69048/69050 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1538 ms. (2 steps per ms) remains 69046/69048 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1208 ms. (3 steps per ms) remains 69044/69046 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1270 ms. (3 steps per ms) remains 69042/69044 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1100 ms. (3 steps per ms) remains 69040/69042 properties
BEST_FIRST walk for 4004 steps (8 resets) in 976 ms. (4 steps per ms) remains 69038/69040 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1115 ms. (3 steps per ms) remains 69036/69038 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2192 ms. (1 steps per ms) remains 69034/69036 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1085 ms. (3 steps per ms) remains 69032/69034 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1067 ms. (3 steps per ms) remains 69030/69032 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1477 ms. (2 steps per ms) remains 69028/69030 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1199 ms. (3 steps per ms) remains 69026/69028 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1243 ms. (3 steps per ms) remains 69024/69026 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1183 ms. (3 steps per ms) remains 69022/69024 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1415 ms. (2 steps per ms) remains 69020/69022 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1718 ms. (2 steps per ms) remains 69018/69020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1328 ms. (3 steps per ms) remains 69016/69018 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1228 ms. (3 steps per ms) remains 69014/69016 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1366 ms. (2 steps per ms) remains 69012/69014 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1160 ms. (3 steps per ms) remains 69010/69012 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1298 ms. (3 steps per ms) remains 69009/69010 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1401 ms. (2 steps per ms) remains 69007/69009 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1506 ms. (2 steps per ms) remains 69005/69007 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1251 ms. (3 steps per ms) remains 69003/69005 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1147 ms. (3 steps per ms) remains 69001/69003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1283 ms. (3 steps per ms) remains 68999/69001 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1635 ms. (2 steps per ms) remains 68998/68999 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1539 ms. (2 steps per ms) remains 68996/68998 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1396 ms. (2 steps per ms) remains 68994/68996 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1285 ms. (3 steps per ms) remains 68992/68994 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1263 ms. (3 steps per ms) remains 68990/68992 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1309 ms. (3 steps per ms) remains 68988/68990 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1163 ms. (3 steps per ms) remains 68986/68988 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1124 ms. (3 steps per ms) remains 68984/68986 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1218 ms. (3 steps per ms) remains 68982/68984 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1182 ms. (3 steps per ms) remains 68980/68982 properties
BEST_FIRST walk for 4004 steps (8 resets) in 969 ms. (4 steps per ms) remains 68978/68980 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1892 ms. (2 steps per ms) remains 68976/68978 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1072 ms. (3 steps per ms) remains 68974/68976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1087 ms. (3 steps per ms) remains 68972/68974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1191 ms. (3 steps per ms) remains 68970/68972 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1019 ms. (3 steps per ms) remains 68968/68970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1106 ms. (3 steps per ms) remains 68966/68968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1131 ms. (3 steps per ms) remains 68964/68966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1992 ms. (2 steps per ms) remains 68962/68964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1442 ms. (2 steps per ms) remains 68960/68962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1444 ms. (2 steps per ms) remains 68958/68960 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1454 ms. (2 steps per ms) remains 68956/68958 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1482 ms. (2 steps per ms) remains 68954/68956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1536 ms. (2 steps per ms) remains 68952/68954 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1293 ms. (3 steps per ms) remains 68950/68952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1424 ms. (2 steps per ms) remains 68948/68950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1116 ms. (3 steps per ms) remains 68946/68948 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1555 ms. (2 steps per ms) remains 68944/68946 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1662 ms. (2 steps per ms) remains 68942/68944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2135 ms. (1 steps per ms) remains 68940/68942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1195 ms. (3 steps per ms) remains 68938/68940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1077 ms. (3 steps per ms) remains 68936/68938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1356 ms. (2 steps per ms) remains 68934/68936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1442 ms. (2 steps per ms) remains 68932/68934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1501 ms. (2 steps per ms) remains 68930/68932 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1304 ms. (3 steps per ms) remains 68928/68930 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1588 ms. (2 steps per ms) remains 68927/68928 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1543 ms. (2 steps per ms) remains 68925/68927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1166 ms. (3 steps per ms) remains 68923/68925 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1247 ms. (3 steps per ms) remains 68921/68923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1461 ms. (2 steps per ms) remains 68919/68921 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1161 ms. (3 steps per ms) remains 68917/68919 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1042 ms. (3 steps per ms) remains 68915/68917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1050 ms. (3 steps per ms) remains 68913/68915 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1118 ms. (3 steps per ms) remains 68911/68913 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1115 ms. (3 steps per ms) remains 68909/68911 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1055 ms. (3 steps per ms) remains 68907/68909 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1021 ms. (3 steps per ms) remains 68905/68907 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1096 ms. (3 steps per ms) remains 68903/68905 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1304 ms. (3 steps per ms) remains 68901/68903 properties
[2026-06-01 11:39:16] [INFO ] Fuse similar labels procedure discarded/fused a total of 8 labels/synchronizations in 19406 ms.
BEST_FIRST walk for 4004 steps (8 resets) in 1186 ms. (3 steps per ms) remains 68899/68901 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1211 ms. (3 steps per ms) remains 68897/68899 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1374 ms. (2 steps per ms) remains 68895/68897 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1280 ms. (3 steps per ms) remains 68893/68895 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1145 ms. (3 steps per ms) remains 68891/68893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 994 ms. (4 steps per ms) remains 68889/68891 properties
[2026-06-01 11:39:18] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality7566431895900088556.gal : 938 ms
BEST_FIRST walk for 4004 steps (8 resets) in 1209 ms. (3 steps per ms) remains 68887/68889 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1201 ms. (3 steps per ms) remains 68885/68887 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1116 ms. (3 steps per ms) remains 68883/68885 properties
[2026-06-01 11:39:19] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality3475554461605480906.prop : 1027 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/ReachabilityCardinality7566431895900088556.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality3475554461605480906.prop' '--nowitness'
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 ...307
BEST_FIRST walk for 4004 steps (8 resets) in 1136 ms. (3 steps per ms) remains 68881/68883 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1128 ms. (3 steps per ms) remains 68879/68881 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1225 ms. (3 steps per ms) remains 68877/68879 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1010 ms. (3 steps per ms) remains 68875/68877 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1092 ms. (3 steps per ms) remains 68873/68875 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1086 ms. (3 steps per ms) remains 68871/68873 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1035 ms. (3 steps per ms) remains 68869/68871 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1069 ms. (3 steps per ms) remains 68867/68869 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1089 ms. (3 steps per ms) remains 68865/68867 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1204 ms. (3 steps per ms) remains 68863/68865 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1121 ms. (3 steps per ms) remains 68861/68863 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1131 ms. (3 steps per ms) remains 68859/68861 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1022 ms. (3 steps per ms) remains 68857/68859 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1080 ms. (3 steps per ms) remains 68855/68857 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1186 ms. (3 steps per ms) remains 68853/68855 properties
BEST_FIRST walk for 4004 steps (8 resets) in 900 ms. (4 steps per ms) remains 68851/68853 properties
BEST_FIRST walk for 4003 steps (8 resets) in 990 ms. (4 steps per ms) remains 68849/68851 properties
BEST_FIRST walk for 4004 steps (8 resets) in 962 ms. (4 steps per ms) remains 68847/68849 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1098 ms. (3 steps per ms) remains 68845/68847 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1047 ms. (3 steps per ms) remains 68843/68845 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1097 ms. (3 steps per ms) remains 68841/68843 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1028 ms. (3 steps per ms) remains 68839/68841 properties
BEST_FIRST walk for 4003 steps (8 resets) in 953 ms. (4 steps per ms) remains 68837/68839 properties
BEST_FIRST walk for 4003 steps (8 resets) in 992 ms. (4 steps per ms) remains 68835/68837 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1125 ms. (3 steps per ms) remains 68833/68835 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1095 ms. (3 steps per ms) remains 68831/68833 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1173 ms. (3 steps per ms) remains 68829/68831 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1070 ms. (3 steps per ms) remains 68827/68829 properties
BEST_FIRST walk for 4004 steps (8 resets) in 894 ms. (4 steps per ms) remains 68825/68827 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1088 ms. (3 steps per ms) remains 68823/68825 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1062 ms. (3 steps per ms) remains 68821/68823 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1029 ms. (3 steps per ms) remains 68819/68821 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1057 ms. (3 steps per ms) remains 68817/68819 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1025 ms. (3 steps per ms) remains 68815/68817 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1108 ms. (3 steps per ms) remains 68813/68815 properties
BEST_FIRST walk for 4004 steps (8 resets) in 900 ms. (4 steps per ms) remains 68811/68813 properties
BEST_FIRST walk for 4004 steps (8 resets) in 980 ms. (4 steps per ms) remains 68809/68811 properties
BEST_FIRST walk for 4004 steps (8 resets) in 974 ms. (4 steps per ms) remains 68807/68809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1013 ms. (3 steps per ms) remains 68805/68807 properties
BEST_FIRST walk for 4004 steps (8 resets) in 998 ms. (4 steps per ms) remains 68803/68805 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1161 ms. (3 steps per ms) remains 68801/68803 properties
BEST_FIRST walk for 4004 steps (8 resets) in 986 ms. (4 steps per ms) remains 68799/68801 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1211 ms. (3 steps per ms) remains 68797/68799 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1022 ms. (3 steps per ms) remains 68795/68797 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1052 ms. (3 steps per ms) remains 68793/68795 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1097 ms. (3 steps per ms) remains 68791/68793 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1116 ms. (3 steps per ms) remains 68789/68791 properties
BEST_FIRST walk for 4002 steps (8 resets) in 966 ms. (4 steps per ms) remains 68787/68789 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1081 ms. (3 steps per ms) remains 68785/68787 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1084 ms. (3 steps per ms) remains 68783/68785 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1110 ms. (3 steps per ms) remains 68781/68783 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1026 ms. (3 steps per ms) remains 68779/68781 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1057 ms. (3 steps per ms) remains 68777/68779 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1065 ms. (3 steps per ms) remains 68775/68777 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1059 ms. (3 steps per ms) remains 68773/68775 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1142 ms. (3 steps per ms) remains 68771/68773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1162 ms. (3 steps per ms) remains 68769/68771 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1174 ms. (3 steps per ms) remains 68767/68769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1223 ms. (3 steps per ms) remains 68766/68767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 966 ms. (4 steps per ms) remains 68764/68766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1046 ms. (3 steps per ms) remains 68762/68764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 992 ms. (4 steps per ms) remains 68760/68762 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1113 ms. (3 steps per ms) remains 68758/68760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1059 ms. (3 steps per ms) remains 68756/68758 properties
BEST_FIRST walk for 4003 steps (8 resets) in 974 ms. (4 steps per ms) remains 68754/68756 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1095 ms. (3 steps per ms) remains 68752/68754 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1067 ms. (3 steps per ms) remains 68750/68752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 962 ms. (4 steps per ms) remains 68748/68750 properties
BEST_FIRST walk for 4003 steps (8 resets) in 987 ms. (4 steps per ms) remains 68746/68748 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1100 ms. (3 steps per ms) remains 68744/68746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1067 ms. (3 steps per ms) remains 68742/68744 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1052 ms. (3 steps per ms) remains 68740/68742 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1092 ms. (3 steps per ms) remains 68738/68740 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1187 ms. (3 steps per ms) remains 68736/68738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1348 ms. (2 steps per ms) remains 68735/68736 properties
BEST_FIRST walk for 4003 steps (8 resets) in 901 ms. (4 steps per ms) remains 68733/68735 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1137 ms. (3 steps per ms) remains 68731/68733 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1012 ms. (3 steps per ms) remains 68729/68731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1130 ms. (3 steps per ms) remains 68727/68729 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1049 ms. (3 steps per ms) remains 68725/68727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1184 ms. (3 steps per ms) remains 68723/68725 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1147 ms. (3 steps per ms) remains 68721/68723 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1090 ms. (3 steps per ms) remains 68720/68721 properties
BEST_FIRST walk for 4004 steps (8 resets) in 925 ms. (4 steps per ms) remains 68718/68720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1073 ms. (3 steps per ms) remains 68716/68718 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1039 ms. (3 steps per ms) remains 68714/68716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1075 ms. (3 steps per ms) remains 68712/68714 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1099 ms. (3 steps per ms) remains 68710/68712 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1065 ms. (3 steps per ms) remains 68708/68710 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1130 ms. (3 steps per ms) remains 68706/68708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1090 ms. (3 steps per ms) remains 68704/68706 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1079 ms. (3 steps per ms) remains 68702/68704 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1029 ms. (3 steps per ms) remains 68700/68702 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1118 ms. (3 steps per ms) remains 68698/68700 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1110 ms. (3 steps per ms) remains 68696/68698 properties
BEST_FIRST walk for 4004 steps (8 resets) in 989 ms. (4 steps per ms) remains 68694/68696 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1057 ms. (3 steps per ms) remains 68693/68694 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1105 ms. (3 steps per ms) remains 68691/68693 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1137 ms. (3 steps per ms) remains 68689/68691 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1134 ms. (3 steps per ms) remains 68687/68689 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1165 ms. (3 steps per ms) remains 68685/68687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 990 ms. (4 steps per ms) remains 68683/68685 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1040 ms. (3 steps per ms) remains 68681/68683 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1133 ms. (3 steps per ms) remains 68679/68681 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1223 ms. (3 steps per ms) remains 68677/68679 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1107 ms. (3 steps per ms) remains 68675/68677 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1211 ms. (3 steps per ms) remains 68673/68675 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1127 ms. (3 steps per ms) remains 68671/68673 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1104 ms. (3 steps per ms) remains 68669/68671 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1125 ms. (3 steps per ms) remains 68667/68669 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1082 ms. (3 steps per ms) remains 68665/68667 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1102 ms. (3 steps per ms) remains 68663/68665 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1058 ms. (3 steps per ms) remains 68661/68663 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1143 ms. (3 steps per ms) remains 68659/68661 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1149 ms. (3 steps per ms) remains 68657/68659 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1021 ms. (3 steps per ms) remains 68655/68657 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1035 ms. (3 steps per ms) remains 68653/68655 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1006 ms. (3 steps per ms) remains 68652/68653 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1022 ms. (3 steps per ms) remains 68650/68652 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1083 ms. (3 steps per ms) remains 68648/68650 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1102 ms. (3 steps per ms) remains 68646/68648 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1111 ms. (3 steps per ms) remains 68644/68646 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1187 ms. (3 steps per ms) remains 68642/68644 properties
BEST_FIRST walk for 4004 steps (8 resets) in 978 ms. (4 steps per ms) remains 68640/68642 properties
BEST_FIRST walk for 4004 steps (8 resets) in 992 ms. (4 steps per ms) remains 68638/68640 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1027 ms. (3 steps per ms) remains 68636/68638 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1126 ms. (3 steps per ms) remains 68634/68636 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1028 ms. (3 steps per ms) remains 68632/68634 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1027 ms. (3 steps per ms) remains 68630/68632 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1276 ms. (3 steps per ms) remains 68628/68630 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1287 ms. (3 steps per ms) remains 68626/68628 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1000 ms. (3 steps per ms) remains 68624/68626 properties
BEST_FIRST walk for 4004 steps (8 resets) in 975 ms. (4 steps per ms) remains 68622/68624 properties
BEST_FIRST walk for 4004 steps (8 resets) in 984 ms. (4 steps per ms) remains 68620/68622 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1050 ms. (3 steps per ms) remains 68618/68620 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1218 ms. (3 steps per ms) remains 68616/68618 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1178 ms. (3 steps per ms) remains 68614/68616 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1307 ms. (3 steps per ms) remains 68612/68614 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1195 ms. (3 steps per ms) remains 68610/68612 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1090 ms. (3 steps per ms) remains 68608/68610 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1093 ms. (3 steps per ms) remains 68606/68608 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1204 ms. (3 steps per ms) remains 68604/68606 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1141 ms. (3 steps per ms) remains 68603/68604 properties
BEST_FIRST walk for 4004 steps (8 resets) in 972 ms. (4 steps per ms) remains 68601/68603 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1023 ms. (3 steps per ms) remains 68599/68601 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1038 ms. (3 steps per ms) remains 68597/68599 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1086 ms. (3 steps per ms) remains 68595/68597 properties
BEST_FIRST walk for 4004 steps (8 resets) in 979 ms. (4 steps per ms) remains 68593/68595 properties
BEST_FIRST walk for 4003 steps (8 resets) in 888 ms. (4 steps per ms) remains 68591/68593 properties
BEST_FIRST walk for 4003 steps (8 resets) in 967 ms. (4 steps per ms) remains 68589/68591 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1074 ms. (3 steps per ms) remains 68587/68589 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1232 ms. (3 steps per ms) remains 68585/68587 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1103 ms. (3 steps per ms) remains 68583/68585 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1032 ms. (3 steps per ms) remains 68581/68583 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1005 ms. (3 steps per ms) remains 68579/68581 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1148 ms. (3 steps per ms) remains 68577/68579 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1055 ms. (3 steps per ms) remains 68575/68577 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1005 ms. (3 steps per ms) remains 68573/68575 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1022 ms. (3 steps per ms) remains 68571/68573 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1053 ms. (3 steps per ms) remains 68569/68571 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1089 ms. (3 steps per ms) remains 68567/68569 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1193 ms. (3 steps per ms) remains 68565/68567 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1138 ms. (3 steps per ms) remains 68563/68565 properties
BEST_FIRST walk for 4004 steps (8 resets) in 839 ms. (4 steps per ms) remains 68561/68563 properties
BEST_FIRST walk for 4004 steps (8 resets) in 938 ms. (4 steps per ms) remains 68559/68561 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1086 ms. (3 steps per ms) remains 68557/68559 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1152 ms. (3 steps per ms) remains 68555/68557 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1035 ms. (3 steps per ms) remains 68553/68555 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1118 ms. (3 steps per ms) remains 68551/68553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1239 ms. (3 steps per ms) remains 68549/68551 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1199 ms. (3 steps per ms) remains 68547/68549 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1069 ms. (3 steps per ms) remains 68545/68547 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1042 ms. (3 steps per ms) remains 68543/68545 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1160 ms. (3 steps per ms) remains 68541/68543 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1026 ms. (3 steps per ms) remains 68539/68541 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1105 ms. (3 steps per ms) remains 68537/68539 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1120 ms. (3 steps per ms) remains 68535/68537 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1016 ms. (3 steps per ms) remains 68533/68535 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1062 ms. (3 steps per ms) remains 68531/68533 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1261 ms. (3 steps per ms) remains 68529/68531 properties
BEST_FIRST walk for 4003 steps (8 resets) in 912 ms. (4 steps per ms) remains 68527/68529 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1201 ms. (3 steps per ms) remains 68525/68527 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1109 ms. (3 steps per ms) remains 68523/68525 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1137 ms. (3 steps per ms) remains 68521/68523 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1173 ms. (3 steps per ms) remains 68519/68521 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1133 ms. (3 steps per ms) remains 68517/68519 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1168 ms. (3 steps per ms) remains 68515/68517 properties
BEST_FIRST walk for 4004 steps (8 resets) in 978 ms. (4 steps per ms) remains 68513/68515 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1176 ms. (3 steps per ms) remains 68511/68513 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1211 ms. (3 steps per ms) remains 68509/68511 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1178 ms. (3 steps per ms) remains 68507/68509 properties
BEST_FIRST walk for 4003 steps (8 resets) in 959 ms. (4 steps per ms) remains 68505/68507 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1018 ms. (3 steps per ms) remains 68503/68505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1183 ms. (3 steps per ms) remains 68501/68503 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1113 ms. (3 steps per ms) remains 68499/68501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1019 ms. (3 steps per ms) remains 68497/68499 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1186 ms. (3 steps per ms) remains 68495/68497 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1100 ms. (3 steps per ms) remains 68493/68495 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1104 ms. (3 steps per ms) remains 68491/68493 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1171 ms. (3 steps per ms) remains 68489/68491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1178 ms. (3 steps per ms) remains 68487/68489 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1104 ms. (3 steps per ms) remains 68485/68487 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1252 ms. (3 steps per ms) remains 68483/68485 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1149 ms. (3 steps per ms) remains 68481/68483 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1223 ms. (3 steps per ms) remains 68479/68481 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1136 ms. (3 steps per ms) remains 68477/68479 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1176 ms. (3 steps per ms) remains 68475/68477 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1003 ms. (3 steps per ms) remains 68473/68475 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1197 ms. (3 steps per ms) remains 68471/68473 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1104 ms. (3 steps per ms) remains 68469/68471 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1255 ms. (3 steps per ms) remains 68467/68469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1014 ms. (3 steps per ms) remains 68465/68467 properties
BEST_FIRST walk for 4004 steps (8 resets) in 995 ms. (4 steps per ms) remains 68463/68465 properties
BEST_FIRST walk for 4004 steps (8 resets) in 959 ms. (4 steps per ms) remains 68461/68463 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1030 ms. (3 steps per ms) remains 68459/68461 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1034 ms. (3 steps per ms) remains 68457/68459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1318 ms. (3 steps per ms) remains 68455/68457 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1111 ms. (3 steps per ms) remains 68453/68455 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1236 ms. (3 steps per ms) remains 68451/68453 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1128 ms. (3 steps per ms) remains 68449/68451 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1110 ms. (3 steps per ms) remains 68447/68449 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1081 ms. (3 steps per ms) remains 68446/68447 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1106 ms. (3 steps per ms) remains 68444/68446 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1047 ms. (3 steps per ms) remains 68442/68444 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1119 ms. (3 steps per ms) remains 68440/68442 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1240 ms. (3 steps per ms) remains 68438/68440 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1178 ms. (3 steps per ms) remains 68436/68438 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1027 ms. (3 steps per ms) remains 68434/68436 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1007 ms. (3 steps per ms) remains 68432/68434 properties
BEST_FIRST walk for 4003 steps (8 resets) in 961 ms. (4 steps per ms) remains 68430/68432 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1132 ms. (3 steps per ms) remains 68428/68430 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1121 ms. (3 steps per ms) remains 68426/68428 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1197 ms. (3 steps per ms) remains 68424/68426 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1188 ms. (3 steps per ms) remains 68422/68424 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1209 ms. (3 steps per ms) remains 68420/68422 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1087 ms. (3 steps per ms) remains 68418/68420 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1048 ms. (3 steps per ms) remains 68416/68418 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1115 ms. (3 steps per ms) remains 68414/68416 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1102 ms. (3 steps per ms) remains 68412/68414 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1067 ms. (3 steps per ms) remains 68410/68412 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1150 ms. (3 steps per ms) remains 68408/68410 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1202 ms. (3 steps per ms) remains 68406/68408 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1065 ms. (3 steps per ms) remains 68404/68406 properties
BEST_FIRST walk for 4004 steps (8 resets) in 982 ms. (4 steps per ms) remains 68402/68404 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1045 ms. (3 steps per ms) remains 68400/68402 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1035 ms. (3 steps per ms) remains 68398/68400 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1175 ms. (3 steps per ms) remains 68396/68398 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1151 ms. (3 steps per ms) remains 68394/68396 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1162 ms. (3 steps per ms) remains 68392/68394 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1175 ms. (3 steps per ms) remains 68390/68392 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1218 ms. (3 steps per ms) remains 68388/68390 properties
BEST_FIRST walk for 4004 steps (8 resets) in 994 ms. (4 steps per ms) remains 68386/68388 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1300 ms. (3 steps per ms) remains 68384/68386 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1187 ms. (3 steps per ms) remains 68382/68384 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1059 ms. (3 steps per ms) remains 68380/68382 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1002 ms. (3 steps per ms) remains 68379/68380 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1174 ms. (3 steps per ms) remains 68377/68379 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1167 ms. (3 steps per ms) remains 68375/68377 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1204 ms. (3 steps per ms) remains 68373/68375 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1049 ms. (3 steps per ms) remains 68371/68373 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1081 ms. (3 steps per ms) remains 68369/68371 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1185 ms. (3 steps per ms) remains 68367/68369 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1103 ms. (3 steps per ms) remains 68365/68367 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1134 ms. (3 steps per ms) remains 68363/68365 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1189 ms. (3 steps per ms) remains 68361/68363 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1205 ms. (3 steps per ms) remains 68359/68361 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1235 ms. (3 steps per ms) remains 68357/68359 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1023 ms. (3 steps per ms) remains 68355/68357 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1062 ms. (3 steps per ms) remains 68353/68355 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1184 ms. (3 steps per ms) remains 68351/68353 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1363 ms. (2 steps per ms) remains 68349/68351 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1080 ms. (3 steps per ms) remains 68347/68349 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1135 ms. (3 steps per ms) remains 68345/68347 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1216 ms. (3 steps per ms) remains 68343/68345 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1164 ms. (3 steps per ms) remains 68341/68343 properties
BEST_FIRST walk for 4004 steps (8 resets) in 996 ms. (4 steps per ms) remains 68339/68341 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1108 ms. (3 steps per ms) remains 68338/68339 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1021 ms. (3 steps per ms) remains 68336/68338 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1183 ms. (3 steps per ms) remains 68334/68336 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1166 ms. (3 steps per ms) remains 68332/68334 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1225 ms. (3 steps per ms) remains 68330/68332 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1276 ms. (3 steps per ms) remains 68328/68330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1102 ms. (3 steps per ms) remains 68326/68328 properties
BEST_FIRST walk for 4004 steps (8 resets) in 992 ms. (4 steps per ms) remains 68324/68326 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1007 ms. (3 steps per ms) remains 68322/68324 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1001 ms. (3 steps per ms) remains 68320/68322 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1076 ms. (3 steps per ms) remains 68318/68320 properties
BEST_FIRST walk for 4004 steps (8 resets) in 997 ms. (4 steps per ms) remains 68316/68318 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1132 ms. (3 steps per ms) remains 68314/68316 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1030 ms. (3 steps per ms) remains 68312/68314 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1032 ms. (3 steps per ms) remains 68310/68312 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1035 ms. (3 steps per ms) remains 68308/68310 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1053 ms. (3 steps per ms) remains 68306/68308 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1060 ms. (3 steps per ms) remains 68304/68306 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1083 ms. (3 steps per ms) remains 68302/68304 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1148 ms. (3 steps per ms) remains 68300/68302 properties
BEST_FIRST walk for 4004 steps (8 resets) in 982 ms. (4 steps per ms) remains 68298/68300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1069 ms. (3 steps per ms) remains 68296/68298 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1117 ms. (3 steps per ms) remains 68294/68296 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1050 ms. (3 steps per ms) remains 68292/68294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1334 ms. (2 steps per ms) remains 68290/68292 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1196 ms. (3 steps per ms) remains 68288/68290 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1151 ms. (3 steps per ms) remains 68286/68288 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1037 ms. (3 steps per ms) remains 68284/68286 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1073 ms. (3 steps per ms) remains 68282/68284 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1054 ms. (3 steps per ms) remains 68280/68282 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1066 ms. (3 steps per ms) remains 68278/68280 properties
BEST_FIRST walk for 4002 steps (8 resets) in 894 ms. (4 steps per ms) remains 68276/68278 properties
BEST_FIRST walk for 4004 steps (8 resets) in 958 ms. (4 steps per ms) remains 68274/68276 properties
BEST_FIRST walk for 4004 steps (8 resets) in 918 ms. (4 steps per ms) remains 68272/68274 properties
BEST_FIRST walk for 4004 steps (8 resets) in 981 ms. (4 steps per ms) remains 68270/68272 properties
BEST_FIRST walk for 4004 steps (8 resets) in 975 ms. (4 steps per ms) remains 68268/68270 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1076 ms. (3 steps per ms) remains 68266/68268 properties
BEST_FIRST walk for 4004 steps (8 resets) in 935 ms. (4 steps per ms) remains 68264/68266 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1014 ms. (3 steps per ms) remains 68262/68264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 938 ms. (4 steps per ms) remains 68260/68262 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1107 ms. (3 steps per ms) remains 68258/68260 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1149 ms. (3 steps per ms) remains 68256/68258 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1057 ms. (3 steps per ms) remains 68254/68256 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1024 ms. (3 steps per ms) remains 68252/68254 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1002 ms. (3 steps per ms) remains 68250/68252 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1080 ms. (3 steps per ms) remains 68248/68250 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1080 ms. (3 steps per ms) remains 68246/68248 properties
BEST_FIRST walk for 4004 steps (8 resets) in 899 ms. (4 steps per ms) remains 68244/68246 properties
BEST_FIRST walk for 4003 steps (8 resets) in 999 ms. (4 steps per ms) remains 68242/68244 properties
BEST_FIRST walk for 4004 steps (8 resets) in 969 ms. (4 steps per ms) remains 68240/68242 properties
BEST_FIRST walk for 4004 steps (8 resets) in 989 ms. (4 steps per ms) remains 68238/68240 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1036 ms. (3 steps per ms) remains 68236/68238 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1092 ms. (3 steps per ms) remains 68234/68236 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1262 ms. (3 steps per ms) remains 68232/68234 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1320 ms. (3 steps per ms) remains 68231/68232 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1274 ms. (3 steps per ms) remains 68229/68231 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1174 ms. (3 steps per ms) remains 68227/68229 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1161 ms. (3 steps per ms) remains 68225/68227 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1016 ms. (3 steps per ms) remains 68223/68225 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1001 ms. (3 steps per ms) remains 68221/68223 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1005 ms. (3 steps per ms) remains 68220/68221 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1070 ms. (3 steps per ms) remains 68218/68220 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1198 ms. (3 steps per ms) remains 68216/68218 properties
BEST_FIRST walk for 4004 steps (8 resets) in 988 ms. (4 steps per ms) remains 68214/68216 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1005 ms. (3 steps per ms) remains 68212/68214 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1141 ms. (3 steps per ms) remains 68210/68212 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1188 ms. (3 steps per ms) remains 68208/68210 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1032 ms. (3 steps per ms) remains 68206/68208 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1032 ms. (3 steps per ms) remains 68204/68206 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1333 ms. (3 steps per ms) remains 68202/68204 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1194 ms. (3 steps per ms) remains 68200/68202 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1096 ms. (3 steps per ms) remains 68198/68200 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1128 ms. (3 steps per ms) remains 68196/68198 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1145 ms. (3 steps per ms) remains 68194/68196 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1189 ms. (3 steps per ms) remains 68192/68194 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1131 ms. (3 steps per ms) remains 68190/68192 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1122 ms. (3 steps per ms) remains 68188/68190 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1162 ms. (3 steps per ms) remains 68186/68188 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1218 ms. (3 steps per ms) remains 68184/68186 properties
BEST_FIRST walk for 4004 steps (8 resets) in 992 ms. (4 steps per ms) remains 68182/68184 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1026 ms. (3 steps per ms) remains 68180/68182 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1071 ms. (3 steps per ms) remains 68178/68180 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1098 ms. (3 steps per ms) remains 68176/68178 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1019 ms. (3 steps per ms) remains 68174/68176 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1238 ms. (3 steps per ms) remains 68172/68174 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1222 ms. (3 steps per ms) remains 68170/68172 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1140 ms. (3 steps per ms) remains 68168/68170 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1040 ms. (3 steps per ms) remains 68166/68168 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1000 ms. (3 steps per ms) remains 68164/68166 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1198 ms. (3 steps per ms) remains 68162/68164 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1295 ms. (3 steps per ms) remains 68160/68162 properties
BEST_FIRST walk for 4004 steps (8 resets) in 973 ms. (4 steps per ms) remains 68158/68160 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1092 ms. (3 steps per ms) remains 68156/68158 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1080 ms. (3 steps per ms) remains 68154/68156 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1049 ms. (3 steps per ms) remains 68153/68154 properties
BEST_FIRST walk for 4004 steps (8 resets) in 974 ms. (4 steps per ms) remains 68151/68153 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1042 ms. (3 steps per ms) remains 68149/68151 properties
BEST_FIRST walk for 4004 steps (8 resets) in 961 ms. (4 steps per ms) remains 68147/68149 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1025 ms. (3 steps per ms) remains 68145/68147 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1034 ms. (3 steps per ms) remains 68143/68145 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1269 ms. (3 steps per ms) remains 68141/68143 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1137 ms. (3 steps per ms) remains 68139/68141 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1233 ms. (3 steps per ms) remains 68138/68139 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1146 ms. (3 steps per ms) remains 68136/68138 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1016 ms. (3 steps per ms) remains 68134/68136 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1085 ms. (3 steps per ms) remains 68132/68134 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1271 ms. (3 steps per ms) remains 68130/68132 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1136 ms. (3 steps per ms) remains 68128/68130 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1143 ms. (3 steps per ms) remains 68126/68128 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1179 ms. (3 steps per ms) remains 68124/68126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1230 ms. (3 steps per ms) remains 68122/68124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 949 ms. (4 steps per ms) remains 68120/68122 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1029 ms. (3 steps per ms) remains 68118/68120 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1023 ms. (3 steps per ms) remains 68117/68118 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1009 ms. (3 steps per ms) remains 68115/68117 properties
BEST_FIRST walk for 4004 steps (8 resets) in 988 ms. (4 steps per ms) remains 68113/68115 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1070 ms. (3 steps per ms) remains 68111/68113 properties
BEST_FIRST walk for 4004 steps (8 resets) in 945 ms. (4 steps per ms) remains 68109/68111 properties
BEST_FIRST walk for 4004 steps (8 resets) in 985 ms. (4 steps per ms) remains 68107/68109 properties
BEST_FIRST walk for 4004 steps (8 resets) in 960 ms. (4 steps per ms) remains 68105/68107 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1187 ms. (3 steps per ms) remains 68103/68105 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1091 ms. (3 steps per ms) remains 68101/68103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1071 ms. (3 steps per ms) remains 68099/68101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 947 ms. (4 steps per ms) remains 68097/68099 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1043 ms. (3 steps per ms) remains 68095/68097 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1141 ms. (3 steps per ms) remains 68093/68095 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1172 ms. (3 steps per ms) remains 68091/68093 properties
BEST_FIRST walk for 4004 steps (8 resets) in 844 ms. (4 steps per ms) remains 68089/68091 properties
BEST_FIRST walk for 4004 steps (8 resets) in 964 ms. (4 steps per ms) remains 68087/68089 properties
BEST_FIRST walk for 4004 steps (8 resets) in 983 ms. (4 steps per ms) remains 68085/68087 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1045 ms. (3 steps per ms) remains 68083/68085 properties
BEST_FIRST walk for 4004 steps (8 resets) in 929 ms. (4 steps per ms) remains 68081/68083 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1149 ms. (3 steps per ms) remains 68079/68081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1082 ms. (3 steps per ms) remains 68077/68079 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1156 ms. (3 steps per ms) remains 68075/68077 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1020 ms. (3 steps per ms) remains 68073/68075 properties
BEST_FIRST walk for 4004 steps (8 resets) in 977 ms. (4 steps per ms) remains 68071/68073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1380 ms. (2 steps per ms) remains 68069/68071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1096 ms. (3 steps per ms) remains 68067/68069 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1120 ms. (3 steps per ms) remains 68065/68067 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1071 ms. (3 steps per ms) remains 68063/68065 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1107 ms. (3 steps per ms) remains 68061/68063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1128 ms. (3 steps per ms) remains 68059/68061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 957 ms. (4 steps per ms) remains 68057/68059 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1042 ms. (3 steps per ms) remains 68055/68057 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1779 ms. (2 steps per ms) remains 68053/68055 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1254 ms. (3 steps per ms) remains 68051/68053 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1120 ms. (3 steps per ms) remains 68049/68051 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1196 ms. (3 steps per ms) remains 68047/68049 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1165 ms. (3 steps per ms) remains 68045/68047 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1195 ms. (3 steps per ms) remains 68043/68045 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1128 ms. (3 steps per ms) remains 68041/68043 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1152 ms. (3 steps per ms) remains 68039/68041 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1196 ms. (3 steps per ms) remains 68037/68039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1086 ms. (3 steps per ms) remains 68035/68037 properties
BEST_FIRST walk for 4004 steps (8 resets) in 994 ms. (4 steps per ms) remains 68033/68035 properties
BEST_FIRST walk for 4004 steps (8 resets) in 996 ms. (4 steps per ms) remains 68031/68033 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1035 ms. (3 steps per ms) remains 68029/68031 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1047 ms. (3 steps per ms) remains 68027/68029 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1029 ms. (3 steps per ms) remains 68025/68027 properties
BEST_FIRST walk for 4004 steps (8 resets) in 951 ms. (4 steps per ms) remains 68023/68025 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1073 ms. (3 steps per ms) remains 68021/68023 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1046 ms. (3 steps per ms) remains 68019/68021 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1222 ms. (3 steps per ms) remains 68017/68019 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1129 ms. (3 steps per ms) remains 68015/68017 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1160 ms. (3 steps per ms) remains 68013/68015 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1213 ms. (3 steps per ms) remains 68011/68013 properties
BEST_FIRST walk for 4004 steps (8 resets) in 903 ms. (4 steps per ms) remains 68009/68011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1040 ms. (3 steps per ms) remains 68007/68009 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1031 ms. (3 steps per ms) remains 68005/68007 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1024 ms. (3 steps per ms) remains 68003/68005 properties
BEST_FIRST walk for 4004 steps (8 resets) in 966 ms. (4 steps per ms) remains 68001/68003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1049 ms. (3 steps per ms) remains 67999/68001 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1149 ms. (3 steps per ms) remains 67997/67999 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1256 ms. (3 steps per ms) remains 67995/67997 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1113 ms. (3 steps per ms) remains 67993/67995 properties
BEST_FIRST walk for 4004 steps (8 resets) in 975 ms. (4 steps per ms) remains 67991/67993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1039 ms. (3 steps per ms) remains 67989/67991 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1026 ms. (3 steps per ms) remains 67987/67989 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1013 ms. (3 steps per ms) remains 67985/67987 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1038 ms. (3 steps per ms) remains 67983/67985 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1118 ms. (3 steps per ms) remains 67981/67983 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1130 ms. (3 steps per ms) remains 67979/67981 properties
BEST_FIRST walk for 4004 steps (8 resets) in 950 ms. (4 steps per ms) remains 67977/67979 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1302 ms. (3 steps per ms) remains 67975/67977 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1097 ms. (3 steps per ms) remains 67973/67975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1173 ms. (3 steps per ms) remains 67971/67973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1036 ms. (3 steps per ms) remains 67969/67971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1017 ms. (3 steps per ms) remains 67967/67969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1032 ms. (3 steps per ms) remains 67965/67967 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1077 ms. (3 steps per ms) remains 67963/67965 properties
BEST_FIRST walk for 4004 steps (8 resets) in 871 ms. (4 steps per ms) remains 67961/67963 properties
BEST_FIRST walk for 4004 steps (8 resets) in 970 ms. (4 steps per ms) remains 67959/67961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1050 ms. (3 steps per ms) remains 67958/67959 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1102 ms. (3 steps per ms) remains 67956/67958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 991 ms. (4 steps per ms) remains 67954/67956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 962 ms. (4 steps per ms) remains 67952/67954 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1112 ms. (3 steps per ms) remains 67950/67952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1059 ms. (3 steps per ms) remains 67948/67950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 960 ms. (4 steps per ms) remains 67946/67948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1031 ms. (3 steps per ms) remains 67944/67946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1006 ms. (3 steps per ms) remains 67942/67944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1061 ms. (3 steps per ms) remains 67940/67942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 990 ms. (4 steps per ms) remains 67938/67940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1257 ms. (3 steps per ms) remains 67936/67938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1234 ms. (3 steps per ms) remains 67934/67936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1208 ms. (3 steps per ms) remains 67932/67934 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1165 ms. (3 steps per ms) remains 67930/67932 properties
BEST_FIRST walk for 4004 steps (8 resets) in 999 ms. (4 steps per ms) remains 67928/67930 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1111 ms. (3 steps per ms) remains 67926/67928 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1114 ms. (3 steps per ms) remains 67924/67926 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1125 ms. (3 steps per ms) remains 67922/67924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1115 ms. (3 steps per ms) remains 67920/67922 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1121 ms. (3 steps per ms) remains 67918/67920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1093 ms. (3 steps per ms) remains 67916/67918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1107 ms. (3 steps per ms) remains 67914/67916 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1162 ms. (3 steps per ms) remains 67912/67914 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1075 ms. (3 steps per ms) remains 67910/67912 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1134 ms. (3 steps per ms) remains 67908/67910 properties
BEST_FIRST walk for 4004 steps (8 resets) in 920 ms. (4 steps per ms) remains 67906/67908 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1007 ms. (3 steps per ms) remains 67904/67906 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1017 ms. (3 steps per ms) remains 67902/67904 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1121 ms. (3 steps per ms) remains 67900/67902 properties
BEST_FIRST walk for 4004 steps (8 resets) in 879 ms. (4 steps per ms) remains 67898/67900 properties
BEST_FIRST walk for 4003 steps (8 resets) in 973 ms. (4 steps per ms) remains 67896/67898 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1031 ms. (3 steps per ms) remains 67894/67896 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1012 ms. (3 steps per ms) remains 67892/67894 properties
BEST_FIRST walk for 4004 steps (8 resets) in 965 ms. (4 steps per ms) remains 67890/67892 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1075 ms. (3 steps per ms) remains 67888/67890 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1168 ms. (3 steps per ms) remains 67886/67888 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1213 ms. (3 steps per ms) remains 67884/67886 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1130 ms. (3 steps per ms) remains 67882/67884 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1167 ms. (3 steps per ms) remains 67880/67882 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1067 ms. (3 steps per ms) remains 67878/67880 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1235 ms. (3 steps per ms) remains 67877/67878 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1079 ms. (3 steps per ms) remains 67876/67877 properties
BEST_FIRST walk for 4004 steps (8 resets) in 998 ms. (4 steps per ms) remains 67874/67876 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1084 ms. (3 steps per ms) remains 67872/67874 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1209 ms. (3 steps per ms) remains 67871/67872 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1130 ms. (3 steps per ms) remains 67869/67871 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1137 ms. (3 steps per ms) remains 67868/67869 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1051 ms. (3 steps per ms) remains 67866/67868 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1165 ms. (3 steps per ms) remains 67864/67866 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1096 ms. (3 steps per ms) remains 67862/67864 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1012 ms. (3 steps per ms) remains 67861/67862 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1138 ms. (3 steps per ms) remains 67860/67861 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1180 ms. (3 steps per ms) remains 67858/67860 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1012 ms. (3 steps per ms) remains 67856/67858 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1089 ms. (3 steps per ms) remains 67855/67856 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1072 ms. (3 steps per ms) remains 67853/67855 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1124 ms. (3 steps per ms) remains 67851/67853 properties
BEST_FIRST walk for 4004 steps (8 resets) in 920 ms. (4 steps per ms) remains 67849/67851 properties
BEST_FIRST walk for 4004 steps (8 resets) in 981 ms. (4 steps per ms) remains 67847/67849 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1020 ms. (3 steps per ms) remains 67845/67847 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1083 ms. (3 steps per ms) remains 67843/67845 properties
BEST_FIRST walk for 4003 steps (8 resets) in 917 ms. (4 steps per ms) remains 67841/67843 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1001 ms. (3 steps per ms) remains 67839/67841 properties
BEST_FIRST walk for 4004 steps (8 resets) in 989 ms. (4 steps per ms) remains 67837/67839 properties
BEST_FIRST walk for 4004 steps (8 resets) in 979 ms. (4 steps per ms) remains 67835/67837 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1069 ms. (3 steps per ms) remains 67833/67835 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1120 ms. (3 steps per ms) remains 67831/67833 properties
BEST_FIRST walk for 4004 steps (8 resets) in 980 ms. (4 steps per ms) remains 67829/67831 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1171 ms. (3 steps per ms) remains 67827/67829 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1052 ms. (3 steps per ms) remains 67825/67827 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1067 ms. (3 steps per ms) remains 67823/67825 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1099 ms. (3 steps per ms) remains 67821/67823 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1125 ms. (3 steps per ms) remains 67819/67821 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1058 ms. (3 steps per ms) remains 67817/67819 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1077 ms. (3 steps per ms) remains 67815/67817 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1042 ms. (3 steps per ms) remains 67813/67815 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1196 ms. (3 steps per ms) remains 67811/67813 properties
BEST_FIRST walk for 4004 steps (8 resets) in 980 ms. (4 steps per ms) remains 67809/67811 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1018 ms. (3 steps per ms) remains 67807/67809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1004 ms. (3 steps per ms) remains 67805/67807 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1123 ms. (3 steps per ms) remains 67803/67805 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1169 ms. (3 steps per ms) remains 67801/67803 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1241 ms. (3 steps per ms) remains 67799/67801 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1307 ms. (3 steps per ms) remains 67797/67799 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1198 ms. (3 steps per ms) remains 67795/67797 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1104 ms. (3 steps per ms) remains 67793/67795 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1110 ms. (3 steps per ms) remains 67791/67793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1162 ms. (3 steps per ms) remains 67789/67791 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1026 ms. (3 steps per ms) remains 67787/67789 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1231 ms. (3 steps per ms) remains 67785/67787 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1185 ms. (3 steps per ms) remains 67783/67785 properties
BEST_FIRST walk for 4003 steps (8 resets) in 956 ms. (4 steps per ms) remains 67782/67783 properties
BEST_FIRST walk for 4004 steps (8 resets) in 997 ms. (4 steps per ms) remains 67781/67782 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1070 ms. (3 steps per ms) remains 67779/67781 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1027 ms. (3 steps per ms) remains 67777/67779 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1043 ms. (3 steps per ms) remains 67775/67777 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1023 ms. (3 steps per ms) remains 67773/67775 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1098 ms. (3 steps per ms) remains 67771/67773 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1124 ms. (3 steps per ms) remains 67769/67771 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1161 ms. (3 steps per ms) remains 67767/67769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1049 ms. (3 steps per ms) remains 67765/67767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1023 ms. (3 steps per ms) remains 67763/67765 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1053 ms. (3 steps per ms) remains 67761/67763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1098 ms. (3 steps per ms) remains 67759/67761 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1044 ms. (3 steps per ms) remains 67757/67759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1100 ms. (3 steps per ms) remains 67755/67757 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1059 ms. (3 steps per ms) remains 67753/67755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1077 ms. (3 steps per ms) remains 67751/67753 properties
BEST_FIRST walk for 4003 steps (8 resets) in 850 ms. (4 steps per ms) remains 67749/67751 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-aP11C06"
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-aP11C06, 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-178021500900112"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ErlangenMainframeV2-PT-aP11C06.tgz
mv ErlangenMainframeV2-PT-aP11C06 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 '
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 ;