MCC'2026- Execution of r344-smll-178021500800007

About the Execution of ITS-Tools for ErlangenMainframeV1-PT-aP10C08

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
16190.184	1800000.00	3840145.00	36841.50	[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-178021500800007.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 ErlangenMainframeV1-PT-aP10C08, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r344-smll-178021500800007
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 92M
-rw-r--r-- 1 mcc users 6.8K May 27 08:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 73K May 27 08:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K May 27 08:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 40K May 27 08:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K May 27 10:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 27 10:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 27 10:28 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 27 10:28 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 26 18:17 NewModel
-rw-r--r-- 1 mcc users 9.2K May 27 08:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 94K May 27 08:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.2K May 27 08:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 74K May 27 08:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 27 10:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 27 10:28 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 92M 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 1780293773373

Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=ErlangenMainframeV1-PT-aP10C08
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
QuasiLiveness PT
Running Version 202604301425
[2026-06-01 06:02:55] [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 06:02:55] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-06-01 06:02:59] [INFO ] Load time of PNML (sax parser for PT used): 4225 ms
[2026-06-01 06:02:59] [INFO ] Transformed 100 places.
[2026-06-01 06:03:00] [INFO ] Transformed 78842 transitions.
[2026-06-01 06:03:00] [INFO ] Found NUPN structural information;
[2026-06-01 06:03:00] [INFO ] Parsed PT model containing 100 places and 78842 transitions and 1837527 arcs in 5092 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 100/100 places, 78842/78842 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 18 transitions
Trivial Post-agglo rules discarded 18 transitions
Performed 18 trivial Post agglomeration. Transition count delta: 18
Iterating post reduction 0 with 19 rules applied. Total rules applied 19 place count 100 transition count 78823
Reduce places removed 18 places and 0 transitions.
Iterating post reduction 1 with 18 rules applied. Total rules applied 37 place count 82 transition count 78823
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 37 place count 82 transition count 78822
Deduced a syphon composed of 1 places in 91 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 39 place count 81 transition count 78822
Applied a total of 39 rules in 3979 ms. Remains 81 /100 variables (removed 19) and now considering 78822/78842 (removed 20) transitions.
[2026-06-01 06:03:04] [INFO ] Flow matrix only has 78818 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-3896028861108494358.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-18289471785050732557.kers'
[2026-06-01 06:03:05] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3896028861108494358.kers, --Pflows, --basisKERS=/tmp/petrispot-output-18289471785050732557.kers]
Normalized transition count is 78817 out of 78818 initially.
Culled 0 columns in 330 ms.
// Phase 1: matrix 78817 rows 81 cols 1837373 entries
Finished phase 1 with 52 SingleSign rule and 3 generalized
[2026-06-01 06:03:07] [INFO ] Computed 26 invariants in 1720 ms
Computed 26 P flows in 1721 ms.
Exported basis to /tmp/petrispot-output-18289471785050732557.kers
Total runtime 1982 ms.
[2026-06-01 06:04:13] [INFO ] Performed 62/81 implicitness test of which 1 returned IMPLICIT in 65 seconds.
[2026-06-01 06:04:16] [INFO ] Implicit Places using invariants in 71898 ms returned [62]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 72209 ms to find 1 implicit places.
Starting structural reductions in LIVENESS mode, iteration 1 : 80/100 places, 78822/78842 transitions.
Applied a total of 0 rules in 931 ms. Remains 80 /80 variables (removed 0) and now considering 78822/78822 (removed 0) transitions.
Finished structural reductions in LIVENESS mode , in 2 iterations and 77161 ms. Remains : 80/100 places, 78822/78842 transitions.
Discarding 37 transitions out of 78822. Remains 78785
Initial state reduction rules removed 1 formulas.
[2026-06-01 06:14:03] [INFO ] Flatten gal took : 20135 ms
RANDOM walk for 36247 steps (8 resets) in 120021 ms. (0 steps per ms) remains 78692/78784 properties
BEST_FIRST walk for 124 steps (8 resets) in 969 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 1213 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 1001 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 1134 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 1386 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 865 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 895 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 836 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 830 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 731 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 1354 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 760 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 803 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 749 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 750 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 662 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 768 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 782 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 828 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 805 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 817 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 771 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 896 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 1033 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 804 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 1338 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 911 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 834 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 855 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 842 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 835 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 740 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 778 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 704 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 1002 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 832 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 758 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 802 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 796 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 800 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 778 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 819 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 798 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 774 ms. (0 steps per ms) remains 78692/78692 properties
[2026-06-01 06:14:19] [INFO ] Flatten gal took : 16007 ms
BEST_FIRST walk for 124 steps (8 resets) in 802 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 889 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 934 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 892 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 1102 ms. (0 steps per ms) remains 78692/78692 properties
BEST_FIRST walk for 124 steps (8 resets) in 1213 ms. (0 steps per ms) remains 78692/78692 properties
[2026-06-01 06:14:23] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality500430452726295243.gal : 2558 ms
[2026-06-01 06:14:24] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality5321822285673087445.prop : 1138 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/ReachabilityCardinality500430452726295243.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality5321822285673087445.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 ...327
Interrupted probabilistic random walk after 20583 steps, run timeout after 129009 ms. (steps per millisecond=0 ) properties seen :6 out of 78692
Probabilistic random walk after 20583 steps, saw 12340 distinct states, run finished after 129030 ms. (steps per millisecond=0 ) properties seen :6
[2026-06-01 06:16:31] [INFO ] Flow matrix only has 78818 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-12071473783515514298.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8701363015836418747.kers'
[2026-06-01 06:16:31] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12071473783515514298.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8701363015836418747.kers]
Normalized transition count is 78817 out of 78818 initially.
Culled 0 columns in 341 ms.
// Phase 1: matrix 78817 rows 80 cols 1758641 entries
Finished phase 1 with 52 SingleSign rule and 3 generalized
[2026-06-01 06:16:33] [INFO ] Computed 25 invariants in 2104 ms
Computed 25 P flows in 2108 ms.
Exported basis to /tmp/petrispot-output-8701363015836418747.kers
Total runtime 2367 ms.
Loading property file /tmp/ReachabilityCardinality5321822285673087445.prop.
[2026-06-01 06:16:35] [INFO ] State equation strengthened by 38 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
SDD proceeding with computation,78692 properties remain. new max is 4
SDD size :1 after 23
Detected timeout of ITS tools.
[2026-06-01 06:24:44] [INFO ] Flatten gal took : 15930 ms
[2026-06-01 06:24:44] [INFO ] Applying decomposition
[2026-06-01 06:24:56] [INFO ] Flatten gal took : 12638 ms
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/graph9501414636560389428.txt' '-o' '/tmp/graph9501414636560389428.bin' '-w' '/tmp/graph9501414636560389428.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9501414636560389428.bin' '-l' '-1' '-v' '-w' '/tmp/graph9501414636560389428.weights' '-q' '0' '-e' '0.001'
[2026-06-01 06:25:43] [INFO ] Decomposing Gal with order
[2026-06-01 06:25:43] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-06-01 06:26:16] [INFO ] Removed a total of 1045400 redundant transitions.
[2026-06-01 06:26:21] [INFO ] Flatten gal took : 27612 ms
[2026-06-01 06:26:35] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 4618 ms.
[2026-06-01 06:26:37] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality4585207536813839682.gal : 910 ms
[2026-06-01 06:26:38] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality16225745723790316925.prop : 1008 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/ReachabilityCardinality4585207536813839682.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality16225745723790316925.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 ...308
SMT process timed out in 755120ms, After SMT, problems are : Problem set: 0 solved, 78686 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 64 out of 80 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 80/80 places, 78822/78822 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 80 transition count 78817
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 6 place count 79 transition count 78808
Iterating global reduction 1 with 1 rules applied. Total rules applied 7 place count 79 transition count 78808
Free-agglomeration rule applied 4 times.
Iterating global reduction 1 with 4 rules applied. Total rules applied 11 place count 79 transition count 78804
Reduce places removed 4 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 1 with 6 rules applied. Total rules applied 17 place count 75 transition count 78802
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 18 place count 74 transition count 78796
Iterating global reduction 2 with 1 rules applied. Total rules applied 19 place count 74 transition count 78796
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 20 place count 74 transition count 78795
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 3 with 1 rules applied. Total rules applied 21 place count 74 transition count 78799
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 3 with 2 rules applied. Total rules applied 23 place count 73 transition count 78798
Applied a total of 23 rules in 20459 ms. Remains 73 /80 variables (removed 7) and now considering 78798/78822 (removed 24) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 20475 ms. Remains : 73/80 places, 78798/78822 transitions.
RANDOM walk for 30300 steps (0 resets) in 120007 ms. (0 steps per ms) remains 78555/78686 properties
BEST_FIRST walk for 4004 steps (8 resets) in 995 ms. (4 steps per ms) remains 78553/78555 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1151 ms. (3 steps per ms) remains 78551/78553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1103 ms. (3 steps per ms) remains 78550/78551 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1182 ms. (3 steps per ms) remains 78548/78550 properties
BEST_FIRST walk for 4004 steps (8 resets) in 908 ms. (4 steps per ms) remains 78546/78548 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1138 ms. (3 steps per ms) remains 78544/78546 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1093 ms. (3 steps per ms) remains 78542/78544 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1107 ms. (3 steps per ms) remains 78540/78542 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1276 ms. (3 steps per ms) remains 78538/78540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1163 ms. (3 steps per ms) remains 78536/78538 properties
BEST_FIRST walk for 4004 steps (8 resets) in 990 ms. (4 steps per ms) remains 78534/78536 properties
BEST_FIRST walk for 4003 steps (8 resets) in 851 ms. (4 steps per ms) remains 78532/78534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1005 ms. (3 steps per ms) remains 78530/78532 properties
BEST_FIRST walk for 4004 steps (8 resets) in 965 ms. (4 steps per ms) remains 78528/78530 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1168 ms. (3 steps per ms) remains 78526/78528 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1131 ms. (3 steps per ms) remains 78524/78526 properties
BEST_FIRST walk for 4004 steps (8 resets) in 923 ms. (4 steps per ms) remains 78522/78524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 883 ms. (4 steps per ms) remains 78520/78522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 932 ms. (4 steps per ms) remains 78518/78520 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1003 ms. (3 steps per ms) remains 78516/78518 properties
BEST_FIRST walk for 4004 steps (8 resets) in 915 ms. (4 steps per ms) remains 78514/78516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 920 ms. (4 steps per ms) remains 78512/78514 properties
BEST_FIRST walk for 4004 steps (8 resets) in 950 ms. (4 steps per ms) remains 78510/78512 properties
BEST_FIRST walk for 4004 steps (8 resets) in 977 ms. (4 steps per ms) remains 78508/78510 properties
BEST_FIRST walk for 4004 steps (8 resets) in 958 ms. (4 steps per ms) remains 78506/78508 properties
BEST_FIRST walk for 4004 steps (8 resets) in 927 ms. (4 steps per ms) remains 78504/78506 properties
BEST_FIRST walk for 4003 steps (8 resets) in 964 ms. (4 steps per ms) remains 78503/78504 properties
BEST_FIRST walk for 4004 steps (8 resets) in 988 ms. (4 steps per ms) remains 78501/78503 properties
BEST_FIRST walk for 4004 steps (8 resets) in 845 ms. (4 steps per ms) remains 78499/78501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 899 ms. (4 steps per ms) remains 78497/78499 properties
BEST_FIRST walk for 4004 steps (8 resets) in 966 ms. (4 steps per ms) remains 78495/78497 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1032 ms. (3 steps per ms) remains 78493/78495 properties
BEST_FIRST walk for 4004 steps (8 resets) in 928 ms. (4 steps per ms) remains 78491/78493 properties
BEST_FIRST walk for 4004 steps (8 resets) in 917 ms. (4 steps per ms) remains 78489/78491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 970 ms. (4 steps per ms) remains 78487/78489 properties
BEST_FIRST walk for 4004 steps (8 resets) in 959 ms. (4 steps per ms) remains 78485/78487 properties
BEST_FIRST walk for 4002 steps (8 resets) in 911 ms. (4 steps per ms) remains 78483/78485 properties
BEST_FIRST walk for 4003 steps (8 resets) in 895 ms. (4 steps per ms) remains 78481/78483 properties
BEST_FIRST walk for 4004 steps (8 resets) in 900 ms. (4 steps per ms) remains 78479/78481 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1017 ms. (3 steps per ms) remains 78477/78479 properties
BEST_FIRST walk for 4004 steps (8 resets) in 987 ms. (4 steps per ms) remains 78475/78477 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1012 ms. (3 steps per ms) remains 78473/78475 properties
BEST_FIRST walk for 4003 steps (8 resets) in 979 ms. (4 steps per ms) remains 78471/78473 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1034 ms. (3 steps per ms) remains 78469/78471 properties
BEST_FIRST walk for 4004 steps (8 resets) in 976 ms. (4 steps per ms) remains 78467/78469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 836 ms. (4 steps per ms) remains 78465/78467 properties
BEST_FIRST walk for 4004 steps (8 resets) in 908 ms. (4 steps per ms) remains 78463/78465 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1075 ms. (3 steps per ms) remains 78460/78463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 875 ms. (4 steps per ms) remains 78458/78460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 853 ms. (4 steps per ms) remains 78456/78458 properties
BEST_FIRST walk for 4004 steps (8 resets) in 969 ms. (4 steps per ms) remains 78454/78456 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1064 ms. (3 steps per ms) remains 78452/78454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1005 ms. (3 steps per ms) remains 78450/78452 properties
BEST_FIRST walk for 4003 steps (8 resets) in 939 ms. (4 steps per ms) remains 78448/78450 properties
BEST_FIRST walk for 4003 steps (8 resets) in 875 ms. (4 steps per ms) remains 78446/78448 properties
BEST_FIRST walk for 4003 steps (8 resets) in 914 ms. (4 steps per ms) remains 78444/78446 properties
BEST_FIRST walk for 4003 steps (8 resets) in 803 ms. (4 steps per ms) remains 78442/78444 properties
BEST_FIRST walk for 4004 steps (8 resets) in 920 ms. (4 steps per ms) remains 78440/78442 properties
BEST_FIRST walk for 4004 steps (8 resets) in 949 ms. (4 steps per ms) remains 78438/78440 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1019 ms. (3 steps per ms) remains 78436/78438 properties
BEST_FIRST walk for 4004 steps (8 resets) in 976 ms. (4 steps per ms) remains 78434/78436 properties
BEST_FIRST walk for 4004 steps (8 resets) in 936 ms. (4 steps per ms) remains 78432/78434 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1045 ms. (3 steps per ms) remains 78430/78432 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1080 ms. (3 steps per ms) remains 78428/78430 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1031 ms. (3 steps per ms) remains 78426/78428 properties
BEST_FIRST walk for 4003 steps (8 resets) in 975 ms. (4 steps per ms) remains 78424/78426 properties
BEST_FIRST walk for 4004 steps (8 resets) in 894 ms. (4 steps per ms) remains 78422/78424 properties
BEST_FIRST walk for 4004 steps (8 resets) in 976 ms. (4 steps per ms) remains 78420/78422 properties
BEST_FIRST walk for 4004 steps (8 resets) in 972 ms. (4 steps per ms) remains 78418/78420 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1011 ms. (3 steps per ms) remains 78416/78418 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1211 ms. (3 steps per ms) remains 78414/78416 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1093 ms. (3 steps per ms) remains 78412/78414 properties
BEST_FIRST walk for 4002 steps (8 resets) in 947 ms. (4 steps per ms) remains 78410/78412 properties
BEST_FIRST walk for 4004 steps (8 resets) in 952 ms. (4 steps per ms) remains 78408/78410 properties
BEST_FIRST walk for 4004 steps (8 resets) in 974 ms. (4 steps per ms) remains 78406/78408 properties
BEST_FIRST walk for 4004 steps (8 resets) in 973 ms. (4 steps per ms) remains 78405/78406 properties
BEST_FIRST walk for 4004 steps (8 resets) in 934 ms. (4 steps per ms) remains 78403/78405 properties
BEST_FIRST walk for 4004 steps (8 resets) in 938 ms. (4 steps per ms) remains 78401/78403 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1009 ms. (3 steps per ms) remains 78399/78401 properties
BEST_FIRST walk for 4002 steps (8 resets) in 896 ms. (4 steps per ms) remains 78397/78399 properties
BEST_FIRST walk for 4004 steps (8 resets) in 906 ms. (4 steps per ms) remains 78395/78397 properties
BEST_FIRST walk for 4004 steps (8 resets) in 974 ms. (4 steps per ms) remains 78393/78395 properties
BEST_FIRST walk for 4004 steps (8 resets) in 918 ms. (4 steps per ms) remains 78391/78393 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1059 ms. (3 steps per ms) remains 78389/78391 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1021 ms. (3 steps per ms) remains 78387/78389 properties
BEST_FIRST walk for 4004 steps (8 resets) in 907 ms. (4 steps per ms) remains 78385/78387 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1041 ms. (3 steps per ms) remains 78383/78385 properties
BEST_FIRST walk for 4003 steps (8 resets) in 888 ms. (4 steps per ms) remains 78381/78383 properties
BEST_FIRST walk for 4004 steps (8 resets) in 917 ms. (4 steps per ms) remains 78379/78381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 930 ms. (4 steps per ms) remains 78377/78379 properties
BEST_FIRST walk for 4004 steps (8 resets) in 834 ms. (4 steps per ms) remains 78375/78377 properties
BEST_FIRST walk for 4004 steps (8 resets) in 912 ms. (4 steps per ms) remains 78373/78375 properties
BEST_FIRST walk for 4004 steps (8 resets) in 967 ms. (4 steps per ms) remains 78371/78373 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1015 ms. (3 steps per ms) remains 78369/78371 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1009 ms. (3 steps per ms) remains 78367/78369 properties
BEST_FIRST walk for 4004 steps (8 resets) in 962 ms. (4 steps per ms) remains 78365/78367 properties
BEST_FIRST walk for 4004 steps (8 resets) in 885 ms. (4 steps per ms) remains 78363/78365 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1016 ms. (3 steps per ms) remains 78361/78363 properties
BEST_FIRST walk for 4004 steps (8 resets) in 987 ms. (4 steps per ms) remains 78359/78361 properties
BEST_FIRST walk for 4004 steps (8 resets) in 964 ms. (4 steps per ms) remains 78357/78359 properties
BEST_FIRST walk for 4003 steps (8 resets) in 907 ms. (4 steps per ms) remains 78355/78357 properties
BEST_FIRST walk for 4004 steps (8 resets) in 937 ms. (4 steps per ms) remains 78353/78355 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1010 ms. (3 steps per ms) remains 78351/78353 properties
BEST_FIRST walk for 4004 steps (8 resets) in 934 ms. (4 steps per ms) remains 78349/78351 properties
BEST_FIRST walk for 4003 steps (8 resets) in 866 ms. (4 steps per ms) remains 78347/78349 properties
BEST_FIRST walk for 4004 steps (8 resets) in 962 ms. (4 steps per ms) remains 78345/78347 properties
BEST_FIRST walk for 4004 steps (8 resets) in 921 ms. (4 steps per ms) remains 78343/78345 properties
BEST_FIRST walk for 4004 steps (8 resets) in 927 ms. (4 steps per ms) remains 78341/78343 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1093 ms. (3 steps per ms) remains 78339/78341 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1056 ms. (3 steps per ms) remains 78337/78339 properties
BEST_FIRST walk for 4004 steps (8 resets) in 975 ms. (4 steps per ms) remains 78335/78337 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1046 ms. (3 steps per ms) remains 78333/78335 properties
BEST_FIRST walk for 4003 steps (8 resets) in 866 ms. (4 steps per ms) remains 78331/78333 properties
BEST_FIRST walk for 4003 steps (8 resets) in 963 ms. (4 steps per ms) remains 78329/78331 properties
BEST_FIRST walk for 4004 steps (8 resets) in 869 ms. (4 steps per ms) remains 78327/78329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 946 ms. (4 steps per ms) remains 78326/78327 properties
BEST_FIRST walk for 4003 steps (8 resets) in 939 ms. (4 steps per ms) remains 78324/78326 properties
BEST_FIRST walk for 4004 steps (8 resets) in 941 ms. (4 steps per ms) remains 78322/78324 properties
BEST_FIRST walk for 4004 steps (8 resets) in 975 ms. (4 steps per ms) remains 78320/78322 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1020 ms. (3 steps per ms) remains 78318/78320 properties
BEST_FIRST walk for 4003 steps (8 resets) in 995 ms. (4 steps per ms) remains 78316/78318 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1033 ms. (3 steps per ms) remains 78314/78316 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1032 ms. (3 steps per ms) remains 78312/78314 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1046 ms. (3 steps per ms) remains 78310/78312 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1013 ms. (3 steps per ms) remains 78308/78310 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1009 ms. (3 steps per ms) remains 78306/78308 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1003 ms. (3 steps per ms) remains 78304/78306 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1031 ms. (3 steps per ms) remains 78302/78304 properties
BEST_FIRST walk for 4003 steps (8 resets) in 923 ms. (4 steps per ms) remains 78300/78302 properties
BEST_FIRST walk for 4004 steps (8 resets) in 979 ms. (4 steps per ms) remains 78298/78300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 976 ms. (4 steps per ms) remains 78296/78298 properties
BEST_FIRST walk for 4004 steps (8 resets) in 903 ms. (4 steps per ms) remains 78294/78296 properties
BEST_FIRST walk for 4003 steps (8 resets) in 977 ms. (4 steps per ms) remains 78292/78294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 994 ms. (4 steps per ms) remains 78290/78292 properties
BEST_FIRST walk for 4003 steps (8 resets) in 890 ms. (4 steps per ms) remains 78288/78290 properties
BEST_FIRST walk for 4004 steps (8 resets) in 999 ms. (4 steps per ms) remains 78286/78288 properties
BEST_FIRST walk for 4003 steps (8 resets) in 907 ms. (4 steps per ms) remains 78284/78286 properties
BEST_FIRST walk for 4004 steps (8 resets) in 945 ms. (4 steps per ms) remains 78282/78284 properties
BEST_FIRST walk for 4004 steps (8 resets) in 909 ms. (4 steps per ms) remains 78280/78282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1287 ms. (3 steps per ms) remains 78278/78280 properties
BEST_FIRST walk for 4003 steps (8 resets) in 908 ms. (4 steps per ms) remains 78276/78278 properties
BEST_FIRST walk for 4002 steps (8 resets) in 919 ms. (4 steps per ms) remains 78274/78276 properties
BEST_FIRST walk for 4004 steps (8 resets) in 988 ms. (4 steps per ms) remains 78272/78274 properties
BEST_FIRST walk for 4004 steps (8 resets) in 983 ms. (4 steps per ms) remains 78270/78272 properties
BEST_FIRST walk for 4004 steps (8 resets) in 980 ms. (4 steps per ms) remains 78269/78270 properties
BEST_FIRST walk for 4004 steps (8 resets) in 987 ms. (4 steps per ms) remains 78267/78269 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1019 ms. (3 steps per ms) remains 78265/78267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1002 ms. (3 steps per ms) remains 78263/78265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1008 ms. (3 steps per ms) remains 78261/78263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1006 ms. (3 steps per ms) remains 78259/78261 properties
BEST_FIRST walk for 4003 steps (8 resets) in 992 ms. (4 steps per ms) remains 78257/78259 properties
BEST_FIRST walk for 4004 steps (8 resets) in 909 ms. (4 steps per ms) remains 78255/78257 properties
BEST_FIRST walk for 4004 steps (8 resets) in 936 ms. (4 steps per ms) remains 78253/78255 properties
BEST_FIRST walk for 4004 steps (8 resets) in 990 ms. (4 steps per ms) remains 78251/78253 properties
BEST_FIRST walk for 4004 steps (8 resets) in 887 ms. (4 steps per ms) remains 78249/78251 properties
BEST_FIRST walk for 4004 steps (8 resets) in 958 ms. (4 steps per ms) remains 78247/78249 properties
BEST_FIRST walk for 4004 steps (8 resets) in 923 ms. (4 steps per ms) remains 78245/78247 properties
BEST_FIRST walk for 4004 steps (8 resets) in 967 ms. (4 steps per ms) remains 78243/78245 properties
BEST_FIRST walk for 4004 steps (8 resets) in 953 ms. (4 steps per ms) remains 78241/78243 properties
BEST_FIRST walk for 4003 steps (8 resets) in 949 ms. (4 steps per ms) remains 78239/78241 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1051 ms. (3 steps per ms) remains 78237/78239 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1005 ms. (3 steps per ms) remains 78235/78237 properties
BEST_FIRST walk for 4003 steps (8 resets) in 990 ms. (4 steps per ms) remains 78234/78235 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1018 ms. (3 steps per ms) remains 78232/78234 properties
BEST_FIRST walk for 4004 steps (8 resets) in 985 ms. (4 steps per ms) remains 78230/78232 properties
BEST_FIRST walk for 4004 steps (8 resets) in 983 ms. (4 steps per ms) remains 78228/78230 properties
BEST_FIRST walk for 4004 steps (8 resets) in 888 ms. (4 steps per ms) remains 78226/78228 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1061 ms. (3 steps per ms) remains 78224/78226 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1026 ms. (3 steps per ms) remains 78222/78224 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1053 ms. (3 steps per ms) remains 78220/78222 properties
BEST_FIRST walk for 4003 steps (8 resets) in 979 ms. (4 steps per ms) remains 78218/78220 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1050 ms. (3 steps per ms) remains 78216/78218 properties
BEST_FIRST walk for 4004 steps (8 resets) in 928 ms. (4 steps per ms) remains 78214/78216 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1111 ms. (3 steps per ms) remains 78212/78214 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1076 ms. (3 steps per ms) remains 78210/78212 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1110 ms. (3 steps per ms) remains 78208/78210 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1082 ms. (3 steps per ms) remains 78206/78208 properties
BEST_FIRST walk for 4004 steps (8 resets) in 997 ms. (4 steps per ms) remains 78204/78206 properties
BEST_FIRST walk for 4004 steps (8 resets) in 999 ms. (4 steps per ms) remains 78202/78204 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1004 ms. (3 steps per ms) remains 78200/78202 properties
BEST_FIRST walk for 4004 steps (8 resets) in 904 ms. (4 steps per ms) remains 78198/78200 properties
BEST_FIRST walk for 4004 steps (8 resets) in 984 ms. (4 steps per ms) remains 78196/78198 properties
BEST_FIRST walk for 4004 steps (8 resets) in 951 ms. (4 steps per ms) remains 78195/78196 properties
BEST_FIRST walk for 4003 steps (8 resets) in 976 ms. (4 steps per ms) remains 78193/78195 properties
BEST_FIRST walk for 4004 steps (8 resets) in 928 ms. (4 steps per ms) remains 78191/78193 properties
BEST_FIRST walk for 4003 steps (8 resets) in 943 ms. (4 steps per ms) remains 78189/78191 properties
BEST_FIRST walk for 4004 steps (8 resets) in 999 ms. (4 steps per ms) remains 78187/78189 properties
BEST_FIRST walk for 4004 steps (8 resets) in 930 ms. (4 steps per ms) remains 78185/78187 properties
BEST_FIRST walk for 4004 steps (8 resets) in 864 ms. (4 steps per ms) remains 78183/78185 properties
BEST_FIRST walk for 4004 steps (8 resets) in 894 ms. (4 steps per ms) remains 78181/78183 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1002 ms. (3 steps per ms) remains 78179/78181 properties
BEST_FIRST walk for 4004 steps (8 resets) in 862 ms. (4 steps per ms) remains 78177/78179 properties
BEST_FIRST walk for 4004 steps (8 resets) in 962 ms. (4 steps per ms) remains 78176/78177 properties
BEST_FIRST walk for 4004 steps (8 resets) in 919 ms. (4 steps per ms) remains 78174/78176 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1026 ms. (3 steps per ms) remains 78172/78174 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1100 ms. (3 steps per ms) remains 78170/78172 properties
BEST_FIRST walk for 4004 steps (8 resets) in 996 ms. (4 steps per ms) remains 78168/78170 properties
BEST_FIRST walk for 4002 steps (8 resets) in 970 ms. (4 steps per ms) remains 78166/78168 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1018 ms. (3 steps per ms) remains 78164/78166 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1059 ms. (3 steps per ms) remains 78162/78164 properties
BEST_FIRST walk for 4004 steps (8 resets) in 816 ms. (4 steps per ms) remains 78160/78162 properties
BEST_FIRST walk for 4004 steps (8 resets) in 955 ms. (4 steps per ms) remains 78158/78160 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1023 ms. (3 steps per ms) remains 78156/78158 properties
BEST_FIRST walk for 4004 steps (8 resets) in 943 ms. (4 steps per ms) remains 78154/78156 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1005 ms. (3 steps per ms) remains 78152/78154 properties
BEST_FIRST walk for 4004 steps (8 resets) in 917 ms. (4 steps per ms) remains 78150/78152 properties
BEST_FIRST walk for 4003 steps (8 resets) in 958 ms. (4 steps per ms) remains 78148/78150 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1478 ms. (2 steps per ms) remains 78146/78148 properties
BEST_FIRST walk for 4004 steps (8 resets) in 940 ms. (4 steps per ms) remains 78144/78146 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1009 ms. (3 steps per ms) remains 78142/78144 properties
BEST_FIRST walk for 4004 steps (8 resets) in 972 ms. (4 steps per ms) remains 78140/78142 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1049 ms. (3 steps per ms) remains 78138/78140 properties
BEST_FIRST walk for 4003 steps (8 resets) in 919 ms. (4 steps per ms) remains 78136/78138 properties
BEST_FIRST walk for 4004 steps (8 resets) in 969 ms. (4 steps per ms) remains 78134/78136 properties
BEST_FIRST walk for 4003 steps (8 resets) in 870 ms. (4 steps per ms) remains 78132/78134 properties
BEST_FIRST walk for 4004 steps (8 resets) in 901 ms. (4 steps per ms) remains 78130/78132 properties
BEST_FIRST walk for 4003 steps (8 resets) in 946 ms. (4 steps per ms) remains 78128/78130 properties
BEST_FIRST walk for 4004 steps (8 resets) in 995 ms. (4 steps per ms) remains 78126/78128 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1007 ms. (3 steps per ms) remains 78124/78126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 988 ms. (4 steps per ms) remains 78122/78124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 921 ms. (4 steps per ms) remains 78121/78122 properties
BEST_FIRST walk for 4004 steps (8 resets) in 873 ms. (4 steps per ms) remains 78119/78121 properties
BEST_FIRST walk for 4004 steps (8 resets) in 934 ms. (4 steps per ms) remains 78117/78119 properties
BEST_FIRST walk for 4003 steps (8 resets) in 975 ms. (4 steps per ms) remains 78115/78117 properties
BEST_FIRST walk for 4004 steps (8 resets) in 911 ms. (4 steps per ms) remains 78114/78115 properties
BEST_FIRST walk for 4004 steps (8 resets) in 889 ms. (4 steps per ms) remains 78113/78114 properties
BEST_FIRST walk for 4003 steps (8 resets) in 915 ms. (4 steps per ms) remains 78111/78113 properties
BEST_FIRST walk for 4004 steps (8 resets) in 904 ms. (4 steps per ms) remains 78109/78111 properties
BEST_FIRST walk for 4003 steps (8 resets) in 902 ms. (4 steps per ms) remains 78107/78109 properties
BEST_FIRST walk for 4004 steps (8 resets) in 947 ms. (4 steps per ms) remains 78105/78107 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1004 ms. (3 steps per ms) remains 78103/78105 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1029 ms. (3 steps per ms) remains 78101/78103 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1016 ms. (3 steps per ms) remains 78099/78101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 949 ms. (4 steps per ms) remains 78097/78099 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1006 ms. (3 steps per ms) remains 78095/78097 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1047 ms. (3 steps per ms) remains 78093/78095 properties
BEST_FIRST walk for 4004 steps (8 resets) in 925 ms. (4 steps per ms) remains 78091/78093 properties
BEST_FIRST walk for 4003 steps (8 resets) in 951 ms. (4 steps per ms) remains 78089/78091 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1040 ms. (3 steps per ms) remains 78087/78089 properties
BEST_FIRST walk for 4004 steps (8 resets) in 994 ms. (4 steps per ms) remains 78085/78087 properties
BEST_FIRST walk for 4004 steps (8 resets) in 980 ms. (4 steps per ms) remains 78083/78085 properties
BEST_FIRST walk for 4003 steps (8 resets) in 996 ms. (4 steps per ms) remains 78081/78083 properties
BEST_FIRST walk for 4003 steps (8 resets) in 964 ms. (4 steps per ms) remains 78079/78081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1069 ms. (3 steps per ms) remains 78077/78079 properties
BEST_FIRST walk for 4003 steps (8 resets) in 935 ms. (4 steps per ms) remains 78075/78077 properties
BEST_FIRST walk for 4004 steps (8 resets) in 999 ms. (4 steps per ms) remains 78073/78075 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1121 ms. (3 steps per ms) remains 78071/78073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1110 ms. (3 steps per ms) remains 78069/78071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1062 ms. (3 steps per ms) remains 78067/78069 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1053 ms. (3 steps per ms) remains 78065/78067 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1048 ms. (3 steps per ms) remains 78063/78065 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1063 ms. (3 steps per ms) remains 78061/78063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 937 ms. (4 steps per ms) remains 78059/78061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 976 ms. (4 steps per ms) remains 78057/78059 properties
BEST_FIRST walk for 4004 steps (8 resets) in 922 ms. (4 steps per ms) remains 78056/78057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1112 ms. (3 steps per ms) remains 78054/78056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 961 ms. (4 steps per ms) remains 78052/78054 properties
BEST_FIRST walk for 4003 steps (8 resets) in 917 ms. (4 steps per ms) remains 78050/78052 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1050 ms. (3 steps per ms) remains 78048/78050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1066 ms. (3 steps per ms) remains 78046/78048 properties
BEST_FIRST walk for 4004 steps (8 resets) in 911 ms. (4 steps per ms) remains 78044/78046 properties
BEST_FIRST walk for 4004 steps (8 resets) in 938 ms. (4 steps per ms) remains 78042/78044 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1013 ms. (3 steps per ms) remains 78041/78042 properties
BEST_FIRST walk for 4004 steps (8 resets) in 998 ms. (4 steps per ms) remains 78039/78041 properties
BEST_FIRST walk for 4004 steps (8 resets) in 906 ms. (4 steps per ms) remains 78037/78039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 980 ms. (4 steps per ms) remains 78035/78037 properties
BEST_FIRST walk for 4004 steps (8 resets) in 939 ms. (4 steps per ms) remains 78033/78035 properties
BEST_FIRST walk for 4004 steps (8 resets) in 984 ms. (4 steps per ms) remains 78031/78033 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1078 ms. (3 steps per ms) remains 78029/78031 properties
BEST_FIRST walk for 4004 steps (8 resets) in 991 ms. (4 steps per ms) remains 78027/78029 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1117 ms. (3 steps per ms) remains 78025/78027 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1208 ms. (3 steps per ms) remains 78023/78025 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1021 ms. (3 steps per ms) remains 78021/78023 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1058 ms. (3 steps per ms) remains 78019/78021 properties
BEST_FIRST walk for 4004 steps (8 resets) in 996 ms. (4 steps per ms) remains 78017/78019 properties
BEST_FIRST walk for 4004 steps (8 resets) in 900 ms. (4 steps per ms) remains 78015/78017 properties
BEST_FIRST walk for 4004 steps (8 resets) in 931 ms. (4 steps per ms) remains 78013/78015 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1083 ms. (3 steps per ms) remains 78011/78013 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1131 ms. (3 steps per ms) remains 78009/78011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 972 ms. (4 steps per ms) remains 78007/78009 properties
BEST_FIRST walk for 4004 steps (8 resets) in 987 ms. (4 steps per ms) remains 78005/78007 properties
BEST_FIRST walk for 4004 steps (8 resets) in 885 ms. (4 steps per ms) remains 78003/78005 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1104 ms. (3 steps per ms) remains 78001/78003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1051 ms. (3 steps per ms) remains 77999/78001 properties
BEST_FIRST walk for 4003 steps (8 resets) in 990 ms. (4 steps per ms) remains 77997/77999 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1030 ms. (3 steps per ms) remains 77995/77997 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1100 ms. (3 steps per ms) remains 77993/77995 properties
BEST_FIRST walk for 4003 steps (8 resets) in 894 ms. (4 steps per ms) remains 77991/77993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 933 ms. (4 steps per ms) remains 77989/77991 properties
BEST_FIRST walk for 4004 steps (8 resets) in 820 ms. (4 steps per ms) remains 77987/77989 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1016 ms. (3 steps per ms) remains 77985/77987 properties
BEST_FIRST walk for 4004 steps (8 resets) in 956 ms. (4 steps per ms) remains 77983/77985 properties
BEST_FIRST walk for 4004 steps (8 resets) in 905 ms. (4 steps per ms) remains 77981/77983 properties
BEST_FIRST walk for 4004 steps (8 resets) in 968 ms. (4 steps per ms) remains 77979/77981 properties
BEST_FIRST walk for 4004 steps (8 resets) in 950 ms. (4 steps per ms) remains 77977/77979 properties
BEST_FIRST walk for 4004 steps (8 resets) in 825 ms. (4 steps per ms) remains 77975/77977 properties
BEST_FIRST walk for 4004 steps (8 resets) in 784 ms. (5 steps per ms) remains 77973/77975 properties
BEST_FIRST walk for 4003 steps (8 resets) in 776 ms. (5 steps per ms) remains 77971/77973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1009 ms. (3 steps per ms) remains 77969/77971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1139 ms. (3 steps per ms) remains 77967/77969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 977 ms. (4 steps per ms) remains 77965/77967 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1087 ms. (3 steps per ms) remains 77963/77965 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1074 ms. (3 steps per ms) remains 77961/77963 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1095 ms. (3 steps per ms) remains 77959/77961 properties
BEST_FIRST walk for 4003 steps (8 resets) in 988 ms. (4 steps per ms) remains 77958/77959 properties
BEST_FIRST walk for 4003 steps (8 resets) in 972 ms. (4 steps per ms) remains 77956/77958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1012 ms. (3 steps per ms) remains 77954/77956 properties
BEST_FIRST walk for 4003 steps (8 resets) in 910 ms. (4 steps per ms) remains 77952/77954 properties
BEST_FIRST walk for 4004 steps (8 resets) in 935 ms. (4 steps per ms) remains 77950/77952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 974 ms. (4 steps per ms) remains 77948/77950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 975 ms. (4 steps per ms) remains 77946/77948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 870 ms. (4 steps per ms) remains 77944/77946 properties
BEST_FIRST walk for 4002 steps (8 resets) in 960 ms. (4 steps per ms) remains 77942/77944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 990 ms. (4 steps per ms) remains 77941/77942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 972 ms. (4 steps per ms) remains 77939/77941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 916 ms. (4 steps per ms) remains 77937/77939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1383 ms. (2 steps per ms) remains 77935/77937 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1485 ms. (2 steps per ms) remains 77933/77935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1243 ms. (3 steps per ms) remains 77931/77933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 925 ms. (4 steps per ms) remains 77929/77931 properties
BEST_FIRST walk for 4004 steps (8 resets) in 981 ms. (4 steps per ms) remains 77927/77929 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1155 ms. (3 steps per ms) remains 77925/77927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 940 ms. (4 steps per ms) remains 77923/77925 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1539 ms. (2 steps per ms) remains 77921/77923 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1178 ms. (3 steps per ms) remains 77919/77921 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1372 ms. (2 steps per ms) remains 77917/77919 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1350 ms. (2 steps per ms) remains 77915/77917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1137 ms. (3 steps per ms) remains 77913/77915 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1210 ms. (3 steps per ms) remains 77911/77913 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1270 ms. (3 steps per ms) remains 77909/77911 properties
BEST_FIRST walk for 4004 steps (8 resets) in 832 ms. (4 steps per ms) remains 77907/77909 properties
BEST_FIRST walk for 4002 steps (8 resets) in 829 ms. (4 steps per ms) remains 77905/77907 properties
BEST_FIRST walk for 4004 steps (8 resets) in 908 ms. (4 steps per ms) remains 77903/77905 properties
BEST_FIRST walk for 4004 steps (8 resets) in 981 ms. (4 steps per ms) remains 77901/77903 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1029 ms. (3 steps per ms) remains 77899/77901 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1057 ms. (3 steps per ms) remains 77897/77899 properties
BEST_FIRST walk for 4004 steps (8 resets) in 961 ms. (4 steps per ms) remains 77895/77897 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1067 ms. (3 steps per ms) remains 77893/77895 properties
BEST_FIRST walk for 4004 steps (8 resets) in 977 ms. (4 steps per ms) remains 77891/77893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 917 ms. (4 steps per ms) remains 77889/77891 properties
BEST_FIRST walk for 4004 steps (8 resets) in 950 ms. (4 steps per ms) remains 77887/77889 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1085 ms. (3 steps per ms) remains 77885/77887 properties
BEST_FIRST walk for 4004 steps (8 resets) in 972 ms. (4 steps per ms) remains 77883/77885 properties
BEST_FIRST walk for 4003 steps (8 resets) in 976 ms. (4 steps per ms) remains 77881/77883 properties
BEST_FIRST walk for 4004 steps (8 resets) in 971 ms. (4 steps per ms) remains 77879/77881 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1022 ms. (3 steps per ms) remains 77878/77879 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1070 ms. (3 steps per ms) remains 77876/77878 properties
BEST_FIRST walk for 4004 steps (8 resets) in 942 ms. (4 steps per ms) remains 77874/77876 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1063 ms. (3 steps per ms) remains 77872/77874 properties
BEST_FIRST walk for 4004 steps (8 resets) in 951 ms. (4 steps per ms) remains 77870/77872 properties
BEST_FIRST walk for 4004 steps (8 resets) in 924 ms. (4 steps per ms) remains 77868/77870 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1006 ms. (3 steps per ms) remains 77866/77868 properties
BEST_FIRST walk for 4004 steps (8 resets) in 981 ms. (4 steps per ms) remains 77864/77866 properties
BEST_FIRST walk for 4004 steps (8 resets) in 970 ms. (4 steps per ms) remains 77862/77864 properties
BEST_FIRST walk for 4004 steps (8 resets) in 924 ms. (4 steps per ms) remains 77860/77862 properties
BEST_FIRST walk for 4004 steps (8 resets) in 985 ms. (4 steps per ms) remains 77858/77860 properties
BEST_FIRST walk for 4004 steps (8 resets) in 966 ms. (4 steps per ms) remains 77857/77858 properties
BEST_FIRST walk for 4004 steps (8 resets) in 986 ms. (4 steps per ms) remains 77855/77857 properties
BEST_FIRST walk for 4003 steps (8 resets) in 917 ms. (4 steps per ms) remains 77853/77855 properties
BEST_FIRST walk for 4004 steps (8 resets) in 939 ms. (4 steps per ms) remains 77851/77853 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1282 ms. (3 steps per ms) remains 77849/77851 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1418 ms. (2 steps per ms) remains 77847/77849 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1246 ms. (3 steps per ms) remains 77845/77847 properties
BEST_FIRST walk for 4003 steps (8 resets) in 825 ms. (4 steps per ms) remains 77843/77845 properties
BEST_FIRST walk for 4004 steps (8 resets) in 933 ms. (4 steps per ms) remains 77841/77843 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1063 ms. (3 steps per ms) remains 77839/77841 properties
BEST_FIRST walk for 4004 steps (8 resets) in 971 ms. (4 steps per ms) remains 77837/77839 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1063 ms. (3 steps per ms) remains 77835/77837 properties
BEST_FIRST walk for 4003 steps (8 resets) in 820 ms. (4 steps per ms) remains 77833/77835 properties
BEST_FIRST walk for 4004 steps (8 resets) in 884 ms. (4 steps per ms) remains 77831/77833 properties
BEST_FIRST walk for 4004 steps (8 resets) in 979 ms. (4 steps per ms) remains 77829/77831 properties
BEST_FIRST walk for 4002 steps (8 resets) in 907 ms. (4 steps per ms) remains 77827/77829 properties
BEST_FIRST walk for 4004 steps (8 resets) in 864 ms. (4 steps per ms) remains 77825/77827 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1053 ms. (3 steps per ms) remains 77823/77825 properties
BEST_FIRST walk for 4004 steps (8 resets) in 997 ms. (4 steps per ms) remains 77821/77823 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1008 ms. (3 steps per ms) remains 77819/77821 properties
BEST_FIRST walk for 4004 steps (8 resets) in 997 ms. (4 steps per ms) remains 77817/77819 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1021 ms. (3 steps per ms) remains 77815/77817 properties
BEST_FIRST walk for 4004 steps (8 resets) in 894 ms. (4 steps per ms) remains 77814/77815 properties
BEST_FIRST walk for 4004 steps (8 resets) in 956 ms. (4 steps per ms) remains 77813/77814 properties
BEST_FIRST walk for 4004 steps (8 resets) in 968 ms. (4 steps per ms) remains 77811/77813 properties
BEST_FIRST walk for 4004 steps (8 resets) in 870 ms. (4 steps per ms) remains 77809/77811 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1024 ms. (3 steps per ms) remains 77807/77809 properties
BEST_FIRST walk for 4004 steps (8 resets) in 873 ms. (4 steps per ms) remains 77805/77807 properties
BEST_FIRST walk for 4003 steps (8 resets) in 915 ms. (4 steps per ms) remains 77804/77805 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1001 ms. (3 steps per ms) remains 77802/77804 properties
BEST_FIRST walk for 4004 steps (8 resets) in 967 ms. (4 steps per ms) remains 77800/77802 properties
BEST_FIRST walk for 4004 steps (8 resets) in 988 ms. (4 steps per ms) remains 77798/77800 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1015 ms. (3 steps per ms) remains 77796/77798 properties
BEST_FIRST walk for 4004 steps (8 resets) in 823 ms. (4 steps per ms) remains 77794/77796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 947 ms. (4 steps per ms) remains 77792/77794 properties
BEST_FIRST walk for 4004 steps (8 resets) in 952 ms. (4 steps per ms) remains 77790/77792 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1092 ms. (3 steps per ms) remains 77788/77790 properties
BEST_FIRST walk for 4003 steps (8 resets) in 861 ms. (4 steps per ms) remains 77786/77788 properties
BEST_FIRST walk for 4003 steps (8 resets) in 952 ms. (4 steps per ms) remains 77784/77786 properties
BEST_FIRST walk for 4004 steps (8 resets) in 869 ms. (4 steps per ms) remains 77783/77784 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1028 ms. (3 steps per ms) remains 77781/77783 properties
BEST_FIRST walk for 4004 steps (8 resets) in 905 ms. (4 steps per ms) remains 77779/77781 properties
BEST_FIRST walk for 4004 steps (8 resets) in 979 ms. (4 steps per ms) remains 77777/77779 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1370 ms. (2 steps per ms) remains 77775/77777 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1420 ms. (2 steps per ms) remains 77773/77775 properties
BEST_FIRST walk for 4003 steps (8 resets) in 942 ms. (4 steps per ms) remains 77771/77773 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1097 ms. (3 steps per ms) remains 77769/77771 properties
BEST_FIRST walk for 4003 steps (8 resets) in 827 ms. (4 steps per ms) remains 77767/77769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1000 ms. (4 steps per ms) remains 77765/77767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 978 ms. (4 steps per ms) remains 77763/77765 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1063 ms. (3 steps per ms) remains 77761/77763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 989 ms. (4 steps per ms) remains 77759/77761 properties
BEST_FIRST walk for 4002 steps (8 resets) in 926 ms. (4 steps per ms) remains 77757/77759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 940 ms. (4 steps per ms) remains 77755/77757 properties
BEST_FIRST walk for 4004 steps (8 resets) in 924 ms. (4 steps per ms) remains 77754/77755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1116 ms. (3 steps per ms) remains 77752/77754 properties
BEST_FIRST walk for 4004 steps (8 resets) in 998 ms. (4 steps per ms) remains 77750/77752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 880 ms. (4 steps per ms) remains 77748/77750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 948 ms. (4 steps per ms) remains 77746/77748 properties
BEST_FIRST walk for 4003 steps (8 resets) in 970 ms. (4 steps per ms) remains 77744/77746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 973 ms. (4 steps per ms) remains 77742/77744 properties
BEST_FIRST walk for 4004 steps (8 resets) in 823 ms. (4 steps per ms) remains 77741/77742 properties
BEST_FIRST walk for 4003 steps (8 resets) in 977 ms. (4 steps per ms) remains 77739/77741 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1009 ms. (3 steps per ms) remains 77737/77739 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1105 ms. (3 steps per ms) remains 77735/77737 properties
BEST_FIRST walk for 4004 steps (8 resets) in 979 ms. (4 steps per ms) remains 77733/77735 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1026 ms. (3 steps per ms) remains 77731/77733 properties
Loading property file /tmp/ReachabilityCardinality16225745723790316925.prop.
BEST_FIRST walk for 4004 steps (8 resets) in 1074 ms. (3 steps per ms) remains 77729/77731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1025 ms. (3 steps per ms) remains 77727/77729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 886 ms. (4 steps per ms) remains 77725/77727 properties
BEST_FIRST walk for 4004 steps (8 resets) in 967 ms. (4 steps per ms) remains 77723/77725 properties
BEST_FIRST walk for 4004 steps (8 resets) in 920 ms. (4 steps per ms) remains 77722/77723 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1031 ms. (3 steps per ms) remains 77720/77722 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1095 ms. (3 steps per ms) remains 77718/77720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 911 ms. (4 steps per ms) remains 77716/77718 properties
BEST_FIRST walk for 4004 steps (8 resets) in 951 ms. (4 steps per ms) remains 77715/77716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1025 ms. (3 steps per ms) remains 77713/77715 properties
BEST_FIRST walk for 4002 steps (8 resets) in 901 ms. (4 steps per ms) remains 77711/77713 properties
BEST_FIRST walk for 4004 steps (8 resets) in 976 ms. (4 steps per ms) remains 77709/77711 properties
BEST_FIRST walk for 4004 steps (8 resets) in 924 ms. (4 steps per ms) remains 77707/77709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1005 ms. (3 steps per ms) remains 77705/77707 properties
BEST_FIRST walk for 4003 steps (8 resets) in 767 ms. (5 steps per ms) remains 77703/77705 properties
BEST_FIRST walk for 4004 steps (8 resets) in 889 ms. (4 steps per ms) remains 77701/77703 properties
BEST_FIRST walk for 4003 steps (8 resets) in 954 ms. (4 steps per ms) remains 77699/77701 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1085 ms. (3 steps per ms) remains 77697/77699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 960 ms. (4 steps per ms) remains 77695/77697 properties
BEST_FIRST walk for 4004 steps (8 resets) in 931 ms. (4 steps per ms) remains 77693/77695 properties
BEST_FIRST walk for 4004 steps (8 resets) in 977 ms. (4 steps per ms) remains 77691/77693 properties
BEST_FIRST walk for 4004 steps (8 resets) in 978 ms. (4 steps per ms) remains 77689/77691 properties
BEST_FIRST walk for 4004 steps (8 resets) in 970 ms. (4 steps per ms) remains 77687/77689 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1075 ms. (3 steps per ms) remains 77685/77687 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1049 ms. (3 steps per ms) remains 77683/77685 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1086 ms. (3 steps per ms) remains 77681/77683 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1096 ms. (3 steps per ms) remains 77679/77681 properties
BEST_FIRST walk for 4004 steps (8 resets) in 962 ms. (4 steps per ms) remains 77677/77679 properties
BEST_FIRST walk for 4004 steps (8 resets) in 956 ms. (4 steps per ms) remains 77675/77677 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1006 ms. (3 steps per ms) remains 77673/77675 properties
BEST_FIRST walk for 4004 steps (8 resets) in 920 ms. (4 steps per ms) remains 77671/77673 properties
BEST_FIRST walk for 4004 steps (8 resets) in 966 ms. (4 steps per ms) remains 77669/77671 properties
BEST_FIRST walk for 4004 steps (8 resets) in 993 ms. (4 steps per ms) remains 77667/77669 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1018 ms. (3 steps per ms) remains 77665/77667 properties
BEST_FIRST walk for 4003 steps (8 resets) in 932 ms. (4 steps per ms) remains 77663/77665 properties
BEST_FIRST walk for 4004 steps (8 resets) in 915 ms. (4 steps per ms) remains 77661/77663 properties
BEST_FIRST walk for 4004 steps (8 resets) in 879 ms. (4 steps per ms) remains 77659/77661 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1025 ms. (3 steps per ms) remains 77657/77659 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1004 ms. (3 steps per ms) remains 77655/77657 properties
BEST_FIRST walk for 4004 steps (8 resets) in 938 ms. (4 steps per ms) remains 77653/77655 properties
BEST_FIRST walk for 4004 steps (8 resets) in 916 ms. (4 steps per ms) remains 77651/77653 properties
BEST_FIRST walk for 4004 steps (8 resets) in 957 ms. (4 steps per ms) remains 77649/77651 properties
BEST_FIRST walk for 4004 steps (8 resets) in 925 ms. (4 steps per ms) remains 77647/77649 properties
BEST_FIRST walk for 4004 steps (8 resets) in 957 ms. (4 steps per ms) remains 77645/77647 properties
BEST_FIRST walk for 4004 steps (8 resets) in 952 ms. (4 steps per ms) remains 77643/77645 properties
BEST_FIRST walk for 4004 steps (8 resets) in 990 ms. (4 steps per ms) remains 77641/77643 properties
BEST_FIRST walk for 4004 steps (8 resets) in 869 ms. (4 steps per ms) remains 77639/77641 properties
BEST_FIRST walk for 4004 steps (8 resets) in 946 ms. (4 steps per ms) remains 77637/77639 properties
BEST_FIRST walk for 4004 steps (8 resets) in 916 ms. (4 steps per ms) remains 77635/77637 properties
BEST_FIRST walk for 4004 steps (8 resets) in 984 ms. (4 steps per ms) remains 77634/77635 properties
BEST_FIRST walk for 4004 steps (8 resets) in 862 ms. (4 steps per ms) remains 77632/77634 properties
BEST_FIRST walk for 4004 steps (8 resets) in 998 ms. (4 steps per ms) remains 77631/77632 properties
BEST_FIRST walk for 4004 steps (8 resets) in 896 ms. (4 steps per ms) remains 77629/77631 properties
BEST_FIRST walk for 4004 steps (8 resets) in 967 ms. (4 steps per ms) remains 77627/77629 properties
BEST_FIRST walk for 4004 steps (8 resets) in 902 ms. (4 steps per ms) remains 77625/77627 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1024 ms. (3 steps per ms) remains 77623/77625 properties
BEST_FIRST walk for 4004 steps (8 resets) in 954 ms. (4 steps per ms) remains 77622/77623 properties
BEST_FIRST walk for 4004 steps (8 resets) in 993 ms. (4 steps per ms) remains 77620/77622 properties
BEST_FIRST walk for 4004 steps (8 resets) in 954 ms. (4 steps per ms) remains 77619/77620 properties
BEST_FIRST walk for 4004 steps (8 resets) in 911 ms. (4 steps per ms) remains 77617/77619 properties
BEST_FIRST walk for 4004 steps (8 resets) in 975 ms. (4 steps per ms) remains 77615/77617 properties
BEST_FIRST walk for 4004 steps (8 resets) in 999 ms. (4 steps per ms) remains 77613/77615 properties
BEST_FIRST walk for 4004 steps (8 resets) in 922 ms. (4 steps per ms) remains 77611/77613 properties
BEST_FIRST walk for 4004 steps (8 resets) in 900 ms. (4 steps per ms) remains 77609/77611 properties
BEST_FIRST walk for 4004 steps (8 resets) in 945 ms. (4 steps per ms) remains 77607/77609 properties
BEST_FIRST walk for 4004 steps (8 resets) in 926 ms. (4 steps per ms) remains 77606/77607 properties
BEST_FIRST walk for 4004 steps (8 resets) in 978 ms. (4 steps per ms) remains 77604/77606 properties
BEST_FIRST walk for 4004 steps (8 resets) in 980 ms. (4 steps per ms) remains 77602/77604 properties
BEST_FIRST walk for 4003 steps (8 resets) in 964 ms. (4 steps per ms) remains 77600/77602 properties
BEST_FIRST walk for 4004 steps (8 resets) in 953 ms. (4 steps per ms) remains 77598/77600 properties
BEST_FIRST walk for 4004 steps (8 resets) in 941 ms. (4 steps per ms) remains 77596/77598 properties
BEST_FIRST walk for 4003 steps (8 resets) in 942 ms. (4 steps per ms) remains 77594/77596 properties
BEST_FIRST walk for 4003 steps (8 resets) in 924 ms. (4 steps per ms) remains 77593/77594 properties
BEST_FIRST walk for 4004 steps (8 resets) in 994 ms. (4 steps per ms) remains 77591/77593 properties
BEST_FIRST walk for 4003 steps (8 resets) in 874 ms. (4 steps per ms) remains 77589/77591 properties
BEST_FIRST walk for 4004 steps (8 resets) in 957 ms. (4 steps per ms) remains 77587/77589 properties
BEST_FIRST walk for 4004 steps (8 resets) in 970 ms. (4 steps per ms) remains 77585/77587 properties
BEST_FIRST walk for 4004 steps (8 resets) in 980 ms. (4 steps per ms) remains 77584/77585 properties
BEST_FIRST walk for 4003 steps (8 resets) in 891 ms. (4 steps per ms) remains 77582/77584 properties
BEST_FIRST walk for 4004 steps (8 resets) in 925 ms. (4 steps per ms) remains 77580/77582 properties
BEST_FIRST walk for 4003 steps (8 resets) in 887 ms. (4 steps per ms) remains 77578/77580 properties
BEST_FIRST walk for 4004 steps (8 resets) in 980 ms. (4 steps per ms) remains 77576/77578 properties
BEST_FIRST walk for 4003 steps (8 resets) in 809 ms. (4 steps per ms) remains 77574/77576 properties
BEST_FIRST walk for 4004 steps (8 resets) in 886 ms. (4 steps per ms) remains 77572/77574 properties
BEST_FIRST walk for 4004 steps (8 resets) in 994 ms. (4 steps per ms) remains 77570/77572 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1060 ms. (3 steps per ms) remains 77568/77570 properties
BEST_FIRST walk for 4002 steps (8 resets) in 943 ms. (4 steps per ms) remains 77566/77568 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1037 ms. (3 steps per ms) remains 77564/77566 properties
BEST_FIRST walk for 4004 steps (8 resets) in 921 ms. (4 steps per ms) remains 77562/77564 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1046 ms. (3 steps per ms) remains 77560/77562 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1011 ms. (3 steps per ms) remains 77558/77560 properties
BEST_FIRST walk for 4004 steps (8 resets) in 995 ms. (4 steps per ms) remains 77556/77558 properties
BEST_FIRST walk for 4004 steps (8 resets) in 957 ms. (4 steps per ms) remains 77554/77556 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1049 ms. (3 steps per ms) remains 77553/77554 properties
BEST_FIRST walk for 4003 steps (8 resets) in 965 ms. (4 steps per ms) remains 77551/77553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 982 ms. (4 steps per ms) remains 77549/77551 properties
BEST_FIRST walk for 4004 steps (8 resets) in 905 ms. (4 steps per ms) remains 77547/77549 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1036 ms. (3 steps per ms) remains 77546/77547 properties
BEST_FIRST walk for 4003 steps (8 resets) in 891 ms. (4 steps per ms) remains 77544/77546 properties
BEST_FIRST walk for 4003 steps (8 resets) in 931 ms. (4 steps per ms) remains 77542/77544 properties
BEST_FIRST walk for 4004 steps (8 resets) in 857 ms. (4 steps per ms) remains 77540/77542 properties
BEST_FIRST walk for 4004 steps (8 resets) in 949 ms. (4 steps per ms) remains 77538/77540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 961 ms. (4 steps per ms) remains 77536/77538 properties
BEST_FIRST walk for 4004 steps (8 resets) in 995 ms. (4 steps per ms) remains 77534/77536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 960 ms. (4 steps per ms) remains 77532/77534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 945 ms. (4 steps per ms) remains 77530/77532 properties
BEST_FIRST walk for 4004 steps (8 resets) in 999 ms. (4 steps per ms) remains 77528/77530 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1006 ms. (3 steps per ms) remains 77526/77528 properties
BEST_FIRST walk for 4004 steps (8 resets) in 867 ms. (4 steps per ms) remains 77524/77526 properties
BEST_FIRST walk for 4003 steps (8 resets) in 858 ms. (4 steps per ms) remains 77523/77524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1053 ms. (3 steps per ms) remains 77521/77523 properties
BEST_FIRST walk for 4004 steps (8 resets) in 873 ms. (4 steps per ms) remains 77519/77521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 967 ms. (4 steps per ms) remains 77517/77519 properties
BEST_FIRST walk for 4004 steps (8 resets) in 929 ms. (4 steps per ms) remains 77515/77517 properties
BEST_FIRST walk for 4004 steps (8 resets) in 959 ms. (4 steps per ms) remains 77513/77515 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1055 ms. (3 steps per ms) remains 77511/77513 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1020 ms. (3 steps per ms) remains 77509/77511 properties
BEST_FIRST walk for 4004 steps (8 resets) in 943 ms. (4 steps per ms) remains 77507/77509 properties
BEST_FIRST walk for 4004 steps (8 resets) in 851 ms. (4 steps per ms) remains 77505/77507 properties
BEST_FIRST walk for 4004 steps (8 resets) in 857 ms. (4 steps per ms) remains 77503/77505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 961 ms. (4 steps per ms) remains 77501/77503 properties
BEST_FIRST walk for 4004 steps (8 resets) in 949 ms. (4 steps per ms) remains 77499/77501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 926 ms. (4 steps per ms) remains 77497/77499 properties
BEST_FIRST walk for 4004 steps (8 resets) in 958 ms. (4 steps per ms) remains 77495/77497 properties
BEST_FIRST walk for 4004 steps (8 resets) in 917 ms. (4 steps per ms) remains 77493/77495 properties
BEST_FIRST walk for 4004 steps (8 resets) in 883 ms. (4 steps per ms) remains 77491/77493 properties
BEST_FIRST walk for 4003 steps (8 resets) in 964 ms. (4 steps per ms) remains 77489/77491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 960 ms. (4 steps per ms) remains 77487/77489 properties
BEST_FIRST walk for 4002 steps (8 resets) in 873 ms. (4 steps per ms) remains 77485/77487 properties
BEST_FIRST walk for 4003 steps (8 resets) in 935 ms. (4 steps per ms) remains 77483/77485 properties
BEST_FIRST walk for 4004 steps (8 resets) in 936 ms. (4 steps per ms) remains 77481/77483 properties
BEST_FIRST walk for 4004 steps (8 resets) in 989 ms. (4 steps per ms) remains 77480/77481 properties
BEST_FIRST walk for 4004 steps (8 resets) in 917 ms. (4 steps per ms) remains 77478/77480 properties
BEST_FIRST walk for 4004 steps (8 resets) in 953 ms. (4 steps per ms) remains 77476/77478 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1036 ms. (3 steps per ms) remains 77474/77476 properties
BEST_FIRST walk for 4003 steps (8 resets) in 996 ms. (4 steps per ms) remains 77472/77474 properties
BEST_FIRST walk for 4004 steps (8 resets) in 926 ms. (4 steps per ms) remains 77470/77472 properties
BEST_FIRST walk for 4004 steps (8 resets) in 948 ms. (4 steps per ms) remains 77468/77470 properties
BEST_FIRST walk for 4004 steps (8 resets) in 924 ms. (4 steps per ms) remains 77466/77468 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1069 ms. (3 steps per ms) remains 77464/77466 properties
BEST_FIRST walk for 4003 steps (8 resets) in 845 ms. (4 steps per ms) remains 77462/77464 properties
BEST_FIRST walk for 4004 steps (8 resets) in 896 ms. (4 steps per ms) remains 77461/77462 properties
BEST_FIRST walk for 4003 steps (8 resets) in 978 ms. (4 steps per ms) remains 77459/77461 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1097 ms. (3 steps per ms) remains 77457/77459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 911 ms. (4 steps per ms) remains 77455/77457 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1002 ms. (3 steps per ms) remains 77453/77455 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1002 ms. (3 steps per ms) remains 77451/77453 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1069 ms. (3 steps per ms) remains 77449/77451 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1021 ms. (3 steps per ms) remains 77448/77449 properties
BEST_FIRST walk for 4004 steps (8 resets) in 948 ms. (4 steps per ms) remains 77446/77448 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1011 ms. (3 steps per ms) remains 77444/77446 properties
BEST_FIRST walk for 4004 steps (8 resets) in 964 ms. (4 steps per ms) remains 77442/77444 properties
BEST_FIRST walk for 4004 steps (8 resets) in 986 ms. (4 steps per ms) remains 77440/77442 properties
BEST_FIRST walk for 4003 steps (8 resets) in 891 ms. (4 steps per ms) remains 77438/77440 properties
BEST_FIRST walk for 4004 steps (8 resets) in 976 ms. (4 steps per ms) remains 77436/77438 properties
BEST_FIRST walk for 4004 steps (8 resets) in 924 ms. (4 steps per ms) remains 77434/77436 properties
BEST_FIRST walk for 4003 steps (8 resets) in 851 ms. (4 steps per ms) remains 77432/77434 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1038 ms. (3 steps per ms) remains 77430/77432 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1039 ms. (3 steps per ms) remains 77428/77430 properties
BEST_FIRST walk for 4003 steps (8 resets) in 968 ms. (4 steps per ms) remains 77426/77428 properties
BEST_FIRST walk for 4003 steps (8 resets) in 944 ms. (4 steps per ms) remains 77424/77426 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1053 ms. (3 steps per ms) remains 77422/77424 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1001 ms. (3 steps per ms) remains 77421/77422 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1106 ms. (3 steps per ms) remains 77419/77421 properties
BEST_FIRST walk for 4004 steps (8 resets) in 945 ms. (4 steps per ms) remains 77417/77419 properties
BEST_FIRST walk for 4004 steps (8 resets) in 933 ms. (4 steps per ms) remains 77415/77417 properties
BEST_FIRST walk for 4004 steps (8 resets) in 948 ms. (4 steps per ms) remains 77413/77415 properties
BEST_FIRST walk for 4004 steps (8 resets) in 966 ms. (4 steps per ms) remains 77411/77413 properties
BEST_FIRST walk for 4004 steps (8 resets) in 925 ms. (4 steps per ms) remains 77409/77411 properties
BEST_FIRST walk for 4003 steps (8 resets) in 944 ms. (4 steps per ms) remains 77407/77409 properties
BEST_FIRST walk for 4004 steps (8 resets) in 975 ms. (4 steps per ms) remains 77405/77407 properties
BEST_FIRST walk for 4003 steps (8 resets) in 984 ms. (4 steps per ms) remains 77403/77405 properties
BEST_FIRST walk for 4004 steps (8 resets) in 927 ms. (4 steps per ms) remains 77401/77403 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1011 ms. (3 steps per ms) remains 77399/77401 properties
BEST_FIRST walk for 4004 steps (8 resets) in 922 ms. (4 steps per ms) remains 77398/77399 properties
BEST_FIRST walk for 4004 steps (8 resets) in 970 ms. (4 steps per ms) remains 77396/77398 properties
BEST_FIRST walk for 4004 steps (8 resets) in 828 ms. (4 steps per ms) remains 77394/77396 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1062 ms. (3 steps per ms) remains 77392/77394 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="ErlangenMainframeV1-PT-aP10C08"
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 ErlangenMainframeV1-PT-aP10C08, 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-178021500800007"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ErlangenMainframeV1-PT-aP10C08.tgz
mv ErlangenMainframeV1-PT-aP10C08 execution
cd execution
if [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "UpperBounds" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] || [ "QuasiLiveness" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "QuasiLiveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "QuasiLiveness" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "QuasiLiveness.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' QuasiLiveness.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] ; then
echo "FORMULA_NAME QuasiLiveness"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;