Execution Chart

Sorry, for this execution, no execution chart could be reported.

Trace from the execution

Formatting '/data/fkordon/mcc2025-input.r245-tall-174915598600224.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2025-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5832
Executing tool itstools
Input is TokenRing-PT-020, examination is Liveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r245-tall-174915598600224
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 103M
-rw-r--r-- 1 mcc users 303K May 29 14:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 1.4M May 29 14:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4M May 29 14:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 16M May 29 14:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 29 14:33 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 252K May 29 14:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 892K May 29 14:48 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5M May 29 14:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.7M May 29 14:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 975K May 29 14:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 4.7M May 29 14:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13M May 29 14:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 45M May 29 14:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 47K May 29 14:48 UpperBounds.txt
-rw-r--r-- 1 mcc users 121K May 29 14:48 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 29 14:33 equiv_col
-rw-r--r-- 1 mcc users 4 May 29 14:33 instance
-rw-r--r-- 1 mcc users 6 May 29 14:33 iscolored
-rw-r--r-- 1 mcc users 4.0M May 29 14:33 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 Liveness

=== Now, execution of the tool begins

BK_START 1749162330546

Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=Liveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=TokenRing-PT-020
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
Liveness PT
Running Version 202505121319
[2025-06-05 22:25:31] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, Liveness, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2025-06-05 22:25:31] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-05 22:25:32] [INFO ] Load time of PNML (sax parser for PT used): 303 ms
[2025-06-05 22:25:32] [INFO ] Transformed 441 places.
[2025-06-05 22:25:32] [INFO ] Transformed 8421 transitions.
[2025-06-05 22:25:32] [INFO ] Found NUPN structural information;
[2025-06-05 22:25:32] [INFO ] Parsed PT model containing 441 places and 8421 transitions and 33684 arcs in 435 ms.
Built sparse matrix representations for Structural reductions in 23 ms.31354KB memory used
Starting structural reductions in DEADLOCK mode, iteration 0 : 441/441 places, 8421/8421 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Applied a total of 0 rules in 271 ms. Remains 441 /441 variables (removed 0) and now considering 8421/8421 (removed 0) transitions.
Finished structural reductions in DEADLOCK mode , in 1 iterations and 285 ms. Remains : 441/441 places, 8421/8421 transitions.
Starting structural reductions in DEADLOCK mode, iteration 0 : 441/441 places, 8421/8421 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Applied a total of 0 rules in 183 ms. Remains 441 /441 variables (removed 0) and now considering 8421/8421 (removed 0) transitions.
// Phase 1: matrix 8421 rows 441 cols
[2025-06-05 22:25:33] [INFO ] Computed 21 invariants in 54 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-05 22:25:33] [INFO ] Implicit Places using invariants in 380 ms returned []
[2025-06-05 22:25:33] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-05 22:25:34] [INFO ] State equation strengthened by 8020 read => feed constraints.
[2025-06-05 22:25:36] [INFO ] Implicit Places using invariants and state equation in 2549 ms returned []
Implicit Place search using SMT with State Equation took 2964 ms to find 0 implicit places.
Starting Z3 with timeout 200.0 s and query timeout 20000.0 ms
[2025-06-05 22:25:37] [INFO ] Redundant transitions in 1436 ms returned []
Running 8401 sub problems to find dead transitions.
[2025-06-05 22:25:37] [INFO ] Invariant cache hit.
[2025-06-05 22:25:37] [INFO ] State equation strengthened by 8020 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 8401 unsolved
SMT process timed out in 41387ms, After SMT, problems are : Problem set: 0 solved, 8401 unsolved
Search for dead transitions found 0 dead transitions in 41461ms
Finished structural reductions in DEADLOCK mode , in 1 iterations and 46106 ms. Remains : 441/441 places, 8421/8421 transitions.
Random walk for 1250000 steps, including 0 resets, run took 8396 ms (no deadlock found). (steps per millisecond=148 )
Random directed walk for 1250000 steps, including 0 resets, run took 7997 ms (no deadlock found). (steps per millisecond=156 )
[2025-06-05 22:26:35] [INFO ] Invariant cache hit.
Starting Z3 with timeout 300.0 s and query timeout 30000.0 ms
[2025-06-05 22:26:36] [INFO ] [Real]Absence check using 21 positive place invariants in 100 ms returned unsat
Starting structural reductions in LIVENESS mode, iteration 0 : 441/441 places, 8421/8421 transitions.
Applied a total of 0 rules in 33 ms. Remains 441 /441 variables (removed 0) and now considering 8421/8421 (removed 0) transitions.
[2025-06-05 22:26:36] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-05 22:26:37] [INFO ] Implicit Places using invariants in 714 ms returned []
[2025-06-05 22:26:37] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-05 22:26:38] [INFO ] State equation strengthened by 8020 read => feed constraints.
[2025-06-05 22:27:09] [INFO ] Performed 117/441 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-05 22:27:39] [INFO ] Performed 405/441 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-05 22:27:42] [INFO ] Implicit Places using invariants and state equation in 65390 ms returned []
Implicit Place search using SMT with State Equation took 66107 ms to find 0 implicit places.
Running 8401 sub problems to find dead transitions.
[2025-06-05 22:27:42] [INFO ] Invariant cache hit.
[2025-06-05 22:27:42] [INFO ] State equation strengthened by 8020 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 8401 unsolved
SMT process timed out in 40199ms, After SMT, problems are : Problem set: 0 solved, 8401 unsolved
Search for dead transitions found 0 dead transitions in 40215ms
Finished structural reductions in LIVENESS mode , in 1 iterations and 106378 ms. Remains : 441/441 places, 8421/8421 transitions.
Initial state reduction rules removed 20 formulas.
[2025-06-05 22:28:25] [INFO ] Flatten gal took : 876 ms
[2025-06-05 22:28:25] [INFO ] Flatten gal took : 521 ms
[2025-06-05 22:28:25] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality13091926123320350240.gal : 147 ms
[2025-06-05 22:28:25] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality12324023372641270721.prop : 83 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.202505121319/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality13091926123320350240.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality12324023372641270721.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.202505121319/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...330
Loading property file /tmp/ReachabilityCardinality12324023372641270721.prop.
Reachability property qltransition_5946 is true.
SDD proceeding with computation,8400 properties remain. new max is 2
SDD size :1 after 2
Reachability property qltransition_3814 is true.
Reachability property qltransition_2417 is true.
Reachability property qltransition_432 is true.
SDD proceeding with computation,8397 properties remain. new max is 2
SDD size :2 after 5
Reachability property qltransition_5404 is true.
Reachability property qltransition_4078 is true.
Reachability property qltransition_2905 is true.
Reachability property qltransition_1739 is true.
SDD proceeding with computation,8393 properties remain. new max is 2
SDD size :5 after 11
Reachability property qltransition_7459 is true.
Reachability property qltransition_914 is true.
SDD proceeding with computation,8391 properties remain. new max is 2
SDD size :11 after 14
Reachability property qltransition_8217 is true.
Reachability property qltransition_1858 is true.
Reachability property qltransition_1489 is true.
Reachability property qltransition_1124 is true.
Reachability property qltransition_20 is true.
SDD proceeding with computation,8386 properties remain. new max is 2
SDD size :14 after 29
RANDOM walk for 40000 steps (8 resets) in 53407 ms. (0 steps per ms) remains 7485/8401 properties
BEST_FIRST walk for 124 steps (8 resets) in 36 ms. (3 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 28 ms. (4 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 21 ms. (5 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 22 ms. (5 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 26 ms. (4 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 23 ms. (5 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 29 ms. (4 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 27 ms. (4 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 28 ms. (4 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 26 ms. (4 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 31 ms. (3 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 22 ms. (5 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 34 ms. (3 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 35 ms. (3 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 28 ms. (4 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 36 ms. (3 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 31 ms. (3 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 33 ms. (3 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 36 ms. (3 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 38 ms. (3 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 35 ms. (3 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 36 ms. (3 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 35 ms. (3 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 29 ms. (4 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 30 ms. (4 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 29 ms. (4 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 31 ms. (3 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 29 ms. (4 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 29 ms. (4 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 27 ms. (4 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 30 ms. (4 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 28 ms. (4 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 27 ms. (4 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 25 ms. (4 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 27 ms. (4 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 22 ms. (5 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 25 ms. (4 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 21 ms. (5 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 25 ms. (4 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 21 ms. (5 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 27 ms. (4 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 22 ms. (5 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 21 ms. (5 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 23 ms. (5 steps per ms) remains 7485/7485 properties
BEST_FIRST walk for 124 steps (8 resets) in 27 ms. (4 steps per ms) remains 7485/7485 properties
[2025-06-05 22:28:37] [INFO ] Invariant cache hit.
[2025-06-05 22:28:37] [INFO ] State equation strengthened by 8020 read => feed constraints.
Reachability property qltransition_2065 is true.
Reachability property qltransition_347 is true.
SDD proceeding with computation,8384 properties remain. new max is 2
SDD size :29 after 33
Reachability property qltransition_7631 is true.
Reachability property qltransition_837 is true.
Reachability property qltransition_408 is true.
SDD proceeding with computation,8381 properties remain. new max is 2
SDD size :33 after 39
SDD proceeding with computation,8381 properties remain. new max is 4
SDD size :39 after 42
Reachability property qltransition_7889 is true.
Reachability property qltransition_6621 is true.
Reachability property qltransition_3649 is true.
Reachability property qltransition_3380 is true.
Reachability property qltransition_600 is true.
Reachability property qltransition_381 is true.
SDD proceeding with computation,8375 properties remain. new max is 4
SDD size :42 after 85
Reachability property qltransition_1278 is true.
Reachability property qltransition_1251 is true.
SDD proceeding with computation,8373 properties remain. new max is 4
SDD size :85 after 90
Reachability property qltransition_4049 is true.
Reachability property qltransition_2623 is true.
Reachability property qltransition_1724 is true.
SDD proceeding with computation,8370 properties remain. new max is 4
SDD size :90 after 100
SDD proceeding with computation,8370 properties remain. new max is 8
SDD size :100 after 104
Reachability property qltransition_7586 is true.
Reachability property qltransition_4867 is true.
Reachability property qltransition_4545 is true.
Reachability property qltransition_4290 is true.
SDD proceeding with computation,8366 properties remain. new max is 8
SDD size :104 after 119
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
SDD proceeding with computation,8366 properties remain. new max is 16
SDD size :119 after 123
SDD proceeding with computation,8366 properties remain. new max is 32
SDD size :123 after 132
Reachability property qltransition_7340 is true.
Reachability property qltransition_5778 is true.
Reachability property qltransition_5339 is true.
Reachability property qltransition_4515 is true.
Reachability property qltransition_2347 is true.
Reachability property qltransition_1743 is true.
Reachability property qltransition_615 is true.
Reachability property qltransition_428 is true.
Reachability property qltransition_198 is true.
SDD proceeding with computation,8357 properties remain. new max is 32
SDD size :132 after 271
Reachability property qltransition_4121 is true.
Reachability property qltransition_1817 is true.
Reachability property qltransition_275 is true.
SDD proceeding with computation,8354 properties remain. new max is 32
SDD size :271 after 291
Reachability property qltransition_5925 is true.
Reachability property qltransition_3211 is true.
Reachability property qltransition_1431 is true.
Reachability property qltransition_609 is true.
SDD proceeding with computation,8350 properties remain. new max is 32
SDD size :291 after 339
Reachability property qltransition_8161 is true.
Reachability property qltransition_7958 is true.
Reachability property qltransition_7745 is true.
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
Reachability property qltransition_3289 is true.
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 4 solved, 7481 unsolved
SMT process timed out in 14551ms, After SMT, problems are : Problem set: 7 solved, 7478 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 441 out of 441 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 441/441 places, 8421/8421 transitions.
Applied a total of 0 rules in 179 ms. Remains 441 /441 variables (removed 0) and now considering 8421/8421 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 180 ms. Remains : 441/441 places, 8421/8421 transitions.
Reachability property qltransition_1343 is true.
SDD proceeding with computation,8345 properties remain. new max is 32
SDD size :339 after 429
Reachability property qltransition_8068 is true.
Reachability property qltransition_6598 is true.
Reachability property qltransition_5005 is true.
Reachability property qltransition_3983 is true.
Reachability property qltransition_3789 is true.
Reachability property qltransition_2906 is true.
Reachability property qltransition_1776 is true.
Reachability property qltransition_1625 is true.
Reachability property qltransition_596 is true.
Reachability property qltransition_292 is true.
SDD proceeding with computation,8335 properties remain. new max is 32
SDD size :429 after 866
Reachability property qltransition_4951 is true.
Reachability property qltransition_4447 is true.
Reachability property qltransition_3747 is true.
SDD proceeding with computation,8332 properties remain. new max is 32
SDD size :866 after 893
Reachability property qltransition_7815 is true.
Reachability property qltransition_5837 is true.
Reachability property qltransition_4735 is true.
Reachability property qltransition_2492 is true.
SDD proceeding with computation,8328 properties remain. new max is 32
SDD size :893 after 968
Reachability property qltransition_7045 is true.
Reachability property qltransition_6753 is true.
Reachability property qltransition_6560 is true.
Reachability property qltransition_3329 is true.
Reachability property qltransition_483 is true.
SDD proceeding with computation,8323 properties remain. new max is 32
SDD size :968 after 1133
Reachability property qltransition_7692 is true.
Reachability property qltransition_6954 is true.
Reachability property qltransition_6547 is true.
Reachability property qltransition_4740 is true.
Reachability property qltransition_3417 is true.
Reachability property qltransition_1084 is true.
SDD proceeding with computation,8317 properties remain. new max is 32
SDD size :1133 after 1430
Reachability property qltransition_7246 is true.
Reachability property qltransition_7176 is true.
Reachability property qltransition_6459 is true.
Reachability property qltransition_6280 is true.
Reachability property qltransition_5393 is true.
Reachability property qltransition_4325 is true.
Reachability property qltransition_3451 is true.
Reachability property qltransition_2903 is true.
Reachability property qltransition_2507 is true.
Reachability property qltransition_826 is true.
Reachability property qltransition_349 is true.
SDD proceeding with computation,8306 properties remain. new max is 32
SDD size :1430 after 2869
Reachability property qltransition_5510 is true.
Reachability property qltransition_3766 is true.
Reachability property qltransition_3086 is true.
SDD proceeding with computation,8303 properties remain. new max is 32
SDD size :2869 after 2904
Reachability property qltransition_7342 is true.
Reachability property qltransition_3509 is true.
Reachability property qltransition_3223 is true.
Reachability property qltransition_450 is true.
SDD proceeding with computation,8299 properties remain. new max is 32
SDD size :2904 after 3014
Reachability property qltransition_7848 is true.
Reachability property qltransition_7232 is true.
Reachability property qltransition_5861 is true.
Reachability property qltransition_5602 is true.
Reachability property qltransition_4356 is true.
SDD proceeding with computation,8294 properties remain. new max is 32
SDD size :3014 after 3289
Reachability property qltransition_8332 is true.
Reachability property qltransition_7605 is true.
Reachability property qltransition_5561 is true.
Reachability property qltransition_5143 is true.
Reachability property qltransition_3075 is true.
Reachability property qltransition_38 is true.
SDD proceeding with computation,8288 properties remain. new max is 32
SDD size :3289 after 3861
Reachability property qltransition_8092 is true.
Reachability property qltransition_7789 is true.
Reachability property qltransition_6774 is true.
Reachability property qltransition_4280 is true.
Reachability property qltransition_3914 is true.
Reachability property qltransition_3198 is true.
Reachability property qltransition_1286 is true.
SDD proceeding with computation,8281 properties remain. new max is 32
SDD size :3861 after 4862
Reachability property qltransition_7588 is true.
Reachability property qltransition_7185 is true.
Reachability property qltransition_6371 is true.
Reachability property qltransition_5878 is true.
Reachability property qltransition_4694 is true.
Reachability property qltransition_3763 is true.
Reachability property qltransition_3564 is true.
Reachability property qltransition_3253 is true.
Reachability property qltransition_3250 is true.
Reachability property qltransition_2834 is true.
Reachability property qltransition_2690 is true.
Reachability property qltransition_2290 is true.
SDD proceeding with computation,8269 properties remain. new max is 32
SDD size :4862 after 9734
Reachability property qltransition_7439 is true.
Reachability property qltransition_6046 is true.
Reachability property qltransition_4815 is true.
SDD proceeding with computation,8266 properties remain. new max is 32
SDD size :9734 after 9778
Reachability property qltransition_7542 is true.
Reachability property qltransition_6245 is true.
Reachability property qltransition_5807 is true.
Reachability property qltransition_2046 is true.
SDD proceeding with computation,8262 properties remain. new max is 32
SDD size :9778 after 9932
Reachability property qltransition_7096 is true.
Reachability property qltransition_4806 is true.
Reachability property qltransition_3938 is true.
Reachability property qltransition_3843 is true.
Reachability property qltransition_3823 is true.
SDD proceeding with computation,8257 properties remain. new max is 32
SDD size :9932 after 10361
Reachability property qltransition_6747 is true.
Reachability property qltransition_6108 is true.
Reachability property qltransition_6017 is true.
Reachability property qltransition_4278 is true.
Reachability property qltransition_4147 is true.
Reachability property qltransition_1516 is true.
SDD proceeding with computation,8251 properties remain. new max is 32
SDD size :10361 after 11362
Reachability property qltransition_7169 is true.
Reachability property qltransition_7137 is true.
Reachability property qltransition_6423 is true.
Reachability property qltransition_2193 is true.
Reachability property qltransition_2143 is true.
Reachability property qltransition_578 is true.
Reachability property qltransition_132 is true.
SDD proceeding with computation,8244 properties remain. new max is 32
SDD size :11362 after 13364
Reachability property qltransition_8206 is true.
Reachability property qltransition_8137 is true.
Reachability property qltransition_6656 is true.
Reachability property qltransition_3753 is true.
Reachability property qltransition_3152 is true.
Reachability property qltransition_3094 is true.
Reachability property qltransition_971 is true.
Reachability property qltransition_0 is true.
SDD proceeding with computation,8236 properties remain. new max is 32
SDD size :13364 after 16796
Reachability property qltransition_7558 is true.
Reachability property qltransition_7429 is true.
RANDOM walk for 171127 steps (0 resets) in 120004 ms. (1 steps per ms) remains 7385/7478 properties
BEST_FIRST walk for 4004 steps (8 resets) in 280 ms. (14 steps per ms) remains 7359/7385 properties
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 7340/7359 properties
Reachability property qltransition_5931 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 7329/7340 properties
BEST_FIRST walk for 4002 steps (8 resets) in 235 ms. (16 steps per ms) remains 7318/7329 properties
BEST_FIRST walk for 4003 steps (8 resets) in 218 ms. (18 steps per ms) remains 7292/7318 properties
BEST_FIRST walk for 4002 steps (8 resets) in 216 ms. (18 steps per ms) remains 7289/7292 properties
Reachability property qltransition_4927 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 7282/7289 properties
BEST_FIRST walk for 4003 steps (8 resets) in 194 ms. (20 steps per ms) remains 7274/7282 properties
Reachability property qltransition_4570 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 7264/7274 properties
Reachability property qltransition_4200 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 7258/7264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 7257/7258 properties
Reachability property qltransition_3348 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 261 ms. (15 steps per ms) remains 7243/7257 properties
Reachability property qltransition_3278 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 219 ms. (18 steps per ms) remains 7236/7243 properties
BEST_FIRST walk for 4001 steps (8 resets) in 266 ms. (14 steps per ms) remains 7233/7236 properties
Reachability property qltransition_2673 is true.
Reachability property qltransition_2221 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 263 ms. (15 steps per ms) remains 7232/7233 properties
Reachability property qltransition_2159 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 239 ms. (16 steps per ms) remains 7228/7232 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 7222/7228 properties
Reachability property qltransition_1518 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 7210/7222 properties
Reachability property qltransition_682 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 275 ms. (14 steps per ms) remains 7201/7210 properties
BEST_FIRST walk for 4003 steps (8 resets) in 259 ms. (15 steps per ms) remains 7196/7201 properties
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 7194/7196 properties
SDD proceeding with computation,8223 properties remain. new max is 32
SDD size :16796 after 33603
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 7194/7194 properties
BEST_FIRST walk for 4004 steps (8 resets) in 270 ms. (14 steps per ms) remains 7194/7194 properties
BEST_FIRST walk for 4004 steps (8 resets) in 208 ms. (19 steps per ms) remains 7194/7194 properties
BEST_FIRST walk for 4002 steps (8 resets) in 196 ms. (20 steps per ms) remains 7192/7194 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 7186/7192 properties
BEST_FIRST walk for 4003 steps (8 resets) in 197 ms. (20 steps per ms) remains 7186/7186 properties
BEST_FIRST walk for 4002 steps (8 resets) in 202 ms. (19 steps per ms) remains 7183/7186 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 7182/7183 properties
Reachability property qltransition_6462 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 228 ms. (17 steps per ms) remains 7181/7182 properties
BEST_FIRST walk for 4004 steps (8 resets) in 274 ms. (14 steps per ms) remains 7180/7181 properties
Reachability property qltransition_5234 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 300 ms. (13 steps per ms) remains 7179/7180 properties
BEST_FIRST walk for 4004 steps (8 resets) in 268 ms. (14 steps per ms) remains 7178/7179 properties
BEST_FIRST walk for 4004 steps (8 resets) in 257 ms. (15 steps per ms) remains 7177/7178 properties
BEST_FIRST walk for 4004 steps (8 resets) in 276 ms. (14 steps per ms) remains 7170/7177 properties
BEST_FIRST walk for 4004 steps (8 resets) in 304 ms. (13 steps per ms) remains 7169/7170 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 7167/7169 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 7166/7167 properties
BEST_FIRST walk for 4004 steps (8 resets) in 310 ms. (12 steps per ms) remains 7165/7166 properties
BEST_FIRST walk for 4003 steps (8 resets) in 209 ms. (19 steps per ms) remains 7165/7165 properties
BEST_FIRST walk for 4004 steps (8 resets) in 242 ms. (16 steps per ms) remains 7165/7165 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 7165/7165 properties
BEST_FIRST walk for 4003 steps (8 resets) in 213 ms. (18 steps per ms) remains 7165/7165 properties
BEST_FIRST walk for 4003 steps (8 resets) in 263 ms. (15 steps per ms) remains 7165/7165 properties
Reachability property qltransition_208 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 224 ms. (17 steps per ms) remains 7165/7165 properties
SDD proceeding with computation,8220 properties remain. new max is 32
SDD size :33603 after 33657
BEST_FIRST walk for 4003 steps (8 resets) in 222 ms. (17 steps per ms) remains 7164/7165 properties
BEST_FIRST walk for 4003 steps (8 resets) in 250 ms. (15 steps per ms) remains 7164/7164 properties
BEST_FIRST walk for 4002 steps (8 resets) in 264 ms. (15 steps per ms) remains 7164/7164 properties
BEST_FIRST walk for 4002 steps (8 resets) in 245 ms. (16 steps per ms) remains 7163/7164 properties
Reachability property qltransition_6607 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 7162/7163 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 7162/7162 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 7162/7162 properties
BEST_FIRST walk for 4003 steps (8 resets) in 244 ms. (16 steps per ms) remains 7162/7162 properties
Reachability property qltransition_5041 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 7162/7162 properties
BEST_FIRST walk for 4003 steps (8 resets) in 222 ms. (17 steps per ms) remains 7161/7162 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 7161/7161 properties
BEST_FIRST walk for 4003 steps (8 resets) in 264 ms. (15 steps per ms) remains 7159/7161 properties
BEST_FIRST walk for 4004 steps (8 resets) in 265 ms. (15 steps per ms) remains 7155/7159 properties
BEST_FIRST walk for 4003 steps (8 resets) in 245 ms. (16 steps per ms) remains 7154/7155 properties
Reachability property qltransition_2769 is true.
Reachability property qltransition_2618 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 190 ms. (20 steps per ms) remains 7154/7154 properties
BEST_FIRST walk for 4004 steps (8 resets) in 257 ms. (15 steps per ms) remains 7154/7154 properties
BEST_FIRST walk for 4003 steps (8 resets) in 248 ms. (16 steps per ms) remains 7153/7154 properties
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 7152/7153 properties
BEST_FIRST walk for 4002 steps (8 resets) in 192 ms. (20 steps per ms) remains 7151/7152 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 7150/7151 properties
SDD proceeding with computation,8216 properties remain. new max is 32
SDD size :33657 after 33865
BEST_FIRST walk for 4003 steps (8 resets) in 256 ms. (15 steps per ms) remains 7150/7150 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 7148/7150 properties
BEST_FIRST walk for 4003 steps (8 resets) in 228 ms. (17 steps per ms) remains 7145/7148 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 7145/7145 properties
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 7145/7145 properties
BEST_FIRST walk for 4003 steps (8 resets) in 208 ms. (19 steps per ms) remains 7144/7145 properties
BEST_FIRST walk for 4003 steps (8 resets) in 189 ms. (21 steps per ms) remains 7144/7144 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 7144/7144 properties
Reachability property qltransition_5832 is true.
Reachability property qltransition_5473 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 262 ms. (15 steps per ms) remains 7144/7144 properties
Reachability property qltransition_5264 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 7142/7144 properties
BEST_FIRST walk for 4003 steps (8 resets) in 213 ms. (18 steps per ms) remains 7141/7142 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 7141/7141 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 7140/7141 properties
Reachability property qltransition_3409 is true.
Reachability property qltransition_3402 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 267 ms. (14 steps per ms) remains 7140/7140 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 7139/7140 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 7138/7139 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 7137/7138 properties
BEST_FIRST walk for 4004 steps (8 resets) in 238 ms. (16 steps per ms) remains 7137/7137 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 7137/7137 properties
BEST_FIRST walk for 4004 steps (8 resets) in 272 ms. (14 steps per ms) remains 7135/7137 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 7135/7135 properties
BEST_FIRST walk for 4003 steps (8 resets) in 182 ms. (21 steps per ms) remains 7135/7135 properties
BEST_FIRST walk for 4004 steps (8 resets) in 182 ms. (21 steps per ms) remains 7133/7135 properties
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 7129/7133 properties
SDD proceeding with computation,8211 properties remain. new max is 32
SDD size :33865 after 34502
BEST_FIRST walk for 4004 steps (8 resets) in 228 ms. (17 steps per ms) remains 7128/7129 properties
BEST_FIRST walk for 4002 steps (8 resets) in 275 ms. (14 steps per ms) remains 7127/7128 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 7126/7127 properties
BEST_FIRST walk for 4003 steps (8 resets) in 223 ms. (17 steps per ms) remains 7126/7126 properties
Reachability property qltransition_7391 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 261 ms. (15 steps per ms) remains 7126/7126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 7126/7126 properties
Reachability property qltransition_6921 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 7126/7126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 222 ms. (17 steps per ms) remains 7125/7126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 7122/7125 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 7121/7122 properties
Reachability property qltransition_5678 is true.
Reachability property qltransition_5383 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 7121/7121 properties
BEST_FIRST walk for 4004 steps (8 resets) in 281 ms. (14 steps per ms) remains 7120/7121 properties
BEST_FIRST walk for 4003 steps (8 resets) in 254 ms. (15 steps per ms) remains 7120/7120 properties
Reachability property qltransition_3795 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 7119/7120 properties
BEST_FIRST walk for 4002 steps (8 resets) in 209 ms. (19 steps per ms) remains 7119/7119 properties
BEST_FIRST walk for 4004 steps (8 resets) in 180 ms. (22 steps per ms) remains 7119/7119 properties
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 7116/7119 properties
BEST_FIRST walk for 4004 steps (8 resets) in 216 ms. (18 steps per ms) remains 7114/7116 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 7114/7114 properties
BEST_FIRST walk for 4004 steps (8 resets) in 242 ms. (16 steps per ms) remains 7113/7114 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 7113/7113 properties
Reachability property qltransition_919 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 7112/7113 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 7112/7112 properties
SDD proceeding with computation,8205 properties remain. new max is 32
SDD size :34502 after 36140
Reachability property qltransition_8374 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 224 ms. (17 steps per ms) remains 7112/7112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 7110/7112 properties
Reachability property qltransition_8009 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 197 ms. (20 steps per ms) remains 7110/7110 properties
BEST_FIRST walk for 4003 steps (8 resets) in 224 ms. (17 steps per ms) remains 7109/7110 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 7109/7109 properties
BEST_FIRST walk for 4003 steps (8 resets) in 219 ms. (18 steps per ms) remains 7109/7109 properties
BEST_FIRST walk for 4003 steps (8 resets) in 224 ms. (17 steps per ms) remains 7109/7109 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 7109/7109 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 7109/7109 properties
BEST_FIRST walk for 4003 steps (8 resets) in 202 ms. (19 steps per ms) remains 7108/7109 properties
Reachability property qltransition_6087 is true.
Reachability property qltransition_6050 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 248 ms. (16 steps per ms) remains 7108/7108 properties
BEST_FIRST walk for 4004 steps (8 resets) in 249 ms. (16 steps per ms) remains 7107/7108 properties
BEST_FIRST walk for 4002 steps (8 resets) in 220 ms. (18 steps per ms) remains 7106/7107 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 7105/7106 properties
BEST_FIRST walk for 4004 steps (8 resets) in 184 ms. (21 steps per ms) remains 7105/7105 properties
BEST_FIRST walk for 4003 steps (8 resets) in 189 ms. (21 steps per ms) remains 7104/7105 properties
BEST_FIRST walk for 4003 steps (8 resets) in 206 ms. (19 steps per ms) remains 7104/7104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 7101/7104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 7101/7101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 7100/7101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 7100/7100 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 7099/7100 properties
BEST_FIRST walk for 4004 steps (8 resets) in 245 ms. (16 steps per ms) remains 7099/7099 properties
BEST_FIRST walk for 4004 steps (8 resets) in 253 ms. (15 steps per ms) remains 7099/7099 properties
BEST_FIRST walk for 4003 steps (8 resets) in 224 ms. (17 steps per ms) remains 7099/7099 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 7094/7099 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 7094/7094 properties
BEST_FIRST walk for 4004 steps (8 resets) in 184 ms. (21 steps per ms) remains 7094/7094 properties
BEST_FIRST walk for 4003 steps (8 resets) in 200 ms. (19 steps per ms) remains 7094/7094 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 7094/7094 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 7094/7094 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 7094/7094 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 7087/7094 properties
BEST_FIRST walk for 4003 steps (8 resets) in 202 ms. (19 steps per ms) remains 7087/7087 properties
BEST_FIRST walk for 4003 steps (8 resets) in 203 ms. (19 steps per ms) remains 7087/7087 properties
BEST_FIRST walk for 4003 steps (8 resets) in 195 ms. (20 steps per ms) remains 7087/7087 properties
BEST_FIRST walk for 4003 steps (8 resets) in 213 ms. (18 steps per ms) remains 7087/7087 properties
BEST_FIRST walk for 4004 steps (8 resets) in 217 ms. (18 steps per ms) remains 7087/7087 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 7087/7087 properties
BEST_FIRST walk for 4003 steps (8 resets) in 205 ms. (19 steps per ms) remains 7087/7087 properties
BEST_FIRST walk for 4003 steps (8 resets) in 181 ms. (21 steps per ms) remains 7087/7087 properties
BEST_FIRST walk for 4003 steps (8 resets) in 219 ms. (18 steps per ms) remains 7084/7087 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 7081/7084 properties
BEST_FIRST walk for 4003 steps (8 resets) in 219 ms. (18 steps per ms) remains 7081/7081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 210 ms. (18 steps per ms) remains 7081/7081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 220 ms. (18 steps per ms) remains 7081/7081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 7081/7081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 216 ms. (18 steps per ms) remains 7081/7081 properties
BEST_FIRST walk for 4002 steps (8 resets) in 212 ms. (18 steps per ms) remains 7081/7081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 206 ms. (19 steps per ms) remains 7081/7081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 192 ms. (20 steps per ms) remains 7081/7081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 7080/7081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 189 ms. (21 steps per ms) remains 7080/7080 properties
BEST_FIRST walk for 4002 steps (8 resets) in 204 ms. (19 steps per ms) remains 7080/7080 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 7080/7080 properties
BEST_FIRST walk for 4003 steps (8 resets) in 252 ms. (15 steps per ms) remains 7080/7080 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 7076/7080 properties
BEST_FIRST walk for 4001 steps (8 resets) in 220 ms. (18 steps per ms) remains 7076/7076 properties
BEST_FIRST walk for 4002 steps (8 resets) in 235 ms. (16 steps per ms) remains 7076/7076 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 7075/7076 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 7075/7075 properties
BEST_FIRST walk for 4003 steps (8 resets) in 247 ms. (16 steps per ms) remains 7075/7075 properties
BEST_FIRST walk for 4002 steps (8 resets) in 267 ms. (14 steps per ms) remains 7071/7075 properties
BEST_FIRST walk for 4003 steps (8 resets) in 246 ms. (16 steps per ms) remains 7070/7071 properties
BEST_FIRST walk for 4002 steps (8 resets) in 224 ms. (17 steps per ms) remains 7070/7070 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 7067/7070 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 7067/7067 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 7067/7067 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 7064/7067 properties
BEST_FIRST walk for 4003 steps (8 resets) in 223 ms. (17 steps per ms) remains 7064/7064 properties
BEST_FIRST walk for 4003 steps (8 resets) in 249 ms. (16 steps per ms) remains 7064/7064 properties
BEST_FIRST walk for 4004 steps (8 resets) in 242 ms. (16 steps per ms) remains 7064/7064 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 7064/7064 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 7064/7064 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 7064/7064 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 7064/7064 properties
BEST_FIRST walk for 4002 steps (8 resets) in 197 ms. (20 steps per ms) remains 7063/7064 properties
BEST_FIRST walk for 4003 steps (8 resets) in 245 ms. (16 steps per ms) remains 7063/7063 properties
BEST_FIRST walk for 4003 steps (8 resets) in 257 ms. (15 steps per ms) remains 7063/7063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 7062/7063 properties
BEST_FIRST walk for 4003 steps (8 resets) in 229 ms. (17 steps per ms) remains 7062/7062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 7062/7062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 268 ms. (14 steps per ms) remains 7061/7062 properties
BEST_FIRST walk for 4000 steps (8 resets) in 276 ms. (14 steps per ms) remains 7060/7061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 7060/7060 properties
BEST_FIRST walk for 4003 steps (8 resets) in 218 ms. (18 steps per ms) remains 7060/7060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 7060/7060 properties
BEST_FIRST walk for 4002 steps (8 resets) in 248 ms. (16 steps per ms) remains 7060/7060 properties
BEST_FIRST walk for 4003 steps (8 resets) in 239 ms. (16 steps per ms) remains 7060/7060 properties
BEST_FIRST walk for 4003 steps (8 resets) in 245 ms. (16 steps per ms) remains 7060/7060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 7060/7060 properties
BEST_FIRST walk for 4003 steps (8 resets) in 256 ms. (15 steps per ms) remains 7060/7060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 215 ms. (18 steps per ms) remains 7060/7060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 7060/7060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 7060/7060 properties
BEST_FIRST walk for 4003 steps (8 resets) in 195 ms. (20 steps per ms) remains 7060/7060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 7060/7060 properties
BEST_FIRST walk for 4003 steps (8 resets) in 185 ms. (21 steps per ms) remains 7060/7060 properties
BEST_FIRST walk for 4003 steps (8 resets) in 276 ms. (14 steps per ms) remains 7060/7060 properties
BEST_FIRST walk for 4003 steps (8 resets) in 191 ms. (20 steps per ms) remains 7060/7060 properties
Reachability property qltransition_1215 is true.
Reachability property qltransition_1001 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 190 ms. (20 steps per ms) remains 7060/7060 properties
Reachability property qltransition_832 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 7060/7060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 7059/7060 properties
SDD proceeding with computation,8198 properties remain. new max is 32
SDD size :36140 after 39780
Reachability property qltransition_8221 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 272 ms. (14 steps per ms) remains 7058/7059 properties
Reachability property qltransition_7483 is true.
Reachability property qltransition_6810 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 543 ms. (7 steps per ms) remains 7058/7058 properties
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 7058/7058 properties
Reachability property qltransition_6045 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 7058/7058 properties
Reachability property qltransition_5304 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 7058/7058 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 7058/7058 properties
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 7058/7058 properties
BEST_FIRST walk for 4003 steps (8 resets) in 220 ms. (18 steps per ms) remains 7058/7058 properties
BEST_FIRST walk for 4003 steps (8 resets) in 215 ms. (18 steps per ms) remains 7057/7058 properties
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 7057/7057 properties
BEST_FIRST walk for 4003 steps (8 resets) in 221 ms. (18 steps per ms) remains 7056/7057 properties
BEST_FIRST walk for 4003 steps (8 resets) in 210 ms. (18 steps per ms) remains 7056/7056 properties
Reachability property qltransition_1648 is true.
Reachability property qltransition_1169 is true.
Reachability property qltransition_687 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 266 ms. (14 steps per ms) remains 7056/7056 properties
BEST_FIRST walk for 4003 steps (8 resets) in 258 ms. (15 steps per ms) remains 7056/7056 properties
SDD proceeding with computation,8190 properties remain. new max is 32
SDD size :39780 after 46852
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 7056/7056 properties
Reachability property qltransition_8261 is true.
Reachability property qltransition_8191 is true.
Reachability property qltransition_8155 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 7056/7056 properties
BEST_FIRST walk for 4002 steps (8 resets) in 192 ms. (20 steps per ms) remains 7056/7056 properties
BEST_FIRST walk for 4003 steps (8 resets) in 186 ms. (21 steps per ms) remains 7056/7056 properties
Reachability property qltransition_7106 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 7056/7056 properties
BEST_FIRST walk for 4003 steps (8 resets) in 220 ms. (18 steps per ms) remains 7056/7056 properties
Reachability property qltransition_6121 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 7056/7056 properties
BEST_FIRST walk for 4003 steps (8 resets) in 213 ms. (18 steps per ms) remains 7056/7056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 245 ms. (16 steps per ms) remains 7056/7056 properties
Reachability property qltransition_4206 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 7056/7056 properties
BEST_FIRST walk for 4003 steps (8 resets) in 203 ms. (19 steps per ms) remains 7056/7056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 242 ms. (16 steps per ms) remains 7056/7056 properties
BEST_FIRST walk for 4003 steps (8 resets) in 249 ms. (16 steps per ms) remains 7056/7056 properties
Reachability property qltransition_3076 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 260 ms. (15 steps per ms) remains 7056/7056 properties
BEST_FIRST walk for 4002 steps (8 resets) in 204 ms. (19 steps per ms) remains 7056/7056 properties
Reachability property qltransition_1589 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 253 ms. (15 steps per ms) remains 7056/7056 properties
BEST_FIRST walk for 4002 steps (8 resets) in 249 ms. (16 steps per ms) remains 7055/7056 properties
Reachability property qltransition_171 is true.
SDD proceeding with computation,8181 properties remain. new max is 32
SDD size :46852 after 58786
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 7054/7055 properties
Reachability property qltransition_8259 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 7054/7054 properties
Reachability property qltransition_8081 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 7054/7054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 7053/7054 properties
BEST_FIRST walk for 4003 steps (8 resets) in 256 ms. (15 steps per ms) remains 7053/7053 properties
BEST_FIRST walk for 4003 steps (8 resets) in 240 ms. (16 steps per ms) remains 7053/7053 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 7053/7053 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 7053/7053 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 7053/7053 properties
Reachability property qltransition_6924 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 192 ms. (20 steps per ms) remains 7053/7053 properties
BEST_FIRST walk for 4001 steps (8 resets) in 216 ms. (18 steps per ms) remains 7053/7053 properties
BEST_FIRST walk for 4003 steps (8 resets) in 250 ms. (15 steps per ms) remains 7053/7053 properties
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 7053/7053 properties
Reachability property qltransition_5948 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 233 ms. (17 steps per ms) remains 7053/7053 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 7053/7053 properties
Reachability property qltransition_4812 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 7053/7053 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 7053/7053 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 7052/7053 properties
Reachability property qltransition_4039 is true.
BEST_FIRST walk for 4001 steps (8 resets) in 193 ms. (20 steps per ms) remains 7052/7052 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 7052/7052 properties
BEST_FIRST walk for 4004 steps (8 resets) in 216 ms. (18 steps per ms) remains 7050/7052 properties
BEST_FIRST walk for 4003 steps (8 resets) in 214 ms. (18 steps per ms) remains 7049/7050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 228 ms. (17 steps per ms) remains 7049/7049 properties
BEST_FIRST walk for 4003 steps (8 resets) in 218 ms. (18 steps per ms) remains 7049/7049 properties
BEST_FIRST walk for 4002 steps (8 resets) in 202 ms. (19 steps per ms) remains 7049/7049 properties
BEST_FIRST walk for 4003 steps (8 resets) in 212 ms. (18 steps per ms) remains 7049/7049 properties
BEST_FIRST walk for 4003 steps (8 resets) in 262 ms. (15 steps per ms) remains 7049/7049 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 7049/7049 properties
Reachability property qltransition_2615 is true.
Reachability property qltransition_2540 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 209 ms. (19 steps per ms) remains 7049/7049 properties
Reachability property qltransition_2214 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 211 ms. (18 steps per ms) remains 7049/7049 properties
Reachability property qltransition_2139 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 209 ms. (19 steps per ms) remains 7049/7049 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 7049/7049 properties
BEST_FIRST walk for 4003 steps (8 resets) in 209 ms. (19 steps per ms) remains 7049/7049 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 7049/7049 properties
Reachability property qltransition_1138 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 7049/7049 properties
Reachability property qltransition_1117 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 221 ms. (18 steps per ms) remains 7049/7049 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 7049/7049 properties
Reachability property qltransition_557 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 191 ms. (20 steps per ms) remains 7049/7049 properties
Reachability property qltransition_91 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 7049/7049 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 7049/7049 properties
SDD proceeding with computation,8167 properties remain. new max is 32
SDD size :58786 after 117584
BEST_FIRST walk for 4002 steps (8 resets) in 217 ms. (18 steps per ms) remains 7049/7049 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 7049/7049 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 7046/7049 properties
BEST_FIRST walk for 4002 steps (8 resets) in 186 ms. (21 steps per ms) remains 7046/7046 properties
Reachability property qltransition_7566 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 203 ms. (19 steps per ms) remains 7046/7046 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 7045/7046 properties
BEST_FIRST walk for 4004 steps (8 resets) in 257 ms. (15 steps per ms) remains 7045/7045 properties
BEST_FIRST walk for 4003 steps (8 resets) in 188 ms. (21 steps per ms) remains 7045/7045 properties
BEST_FIRST walk for 4003 steps (8 resets) in 235 ms. (16 steps per ms) remains 7045/7045 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 7045/7045 properties
BEST_FIRST walk for 4001 steps (8 resets) in 264 ms. (15 steps per ms) remains 7041/7045 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 7039/7041 properties
BEST_FIRST walk for 4002 steps (8 resets) in 241 ms. (16 steps per ms) remains 7038/7039 properties
BEST_FIRST walk for 4002 steps (8 resets) in 202 ms. (19 steps per ms) remains 7037/7038 properties
BEST_FIRST walk for 4002 steps (8 resets) in 269 ms. (14 steps per ms) remains 7037/7037 properties
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 7037/7037 properties
BEST_FIRST walk for 4003 steps (8 resets) in 187 ms. (21 steps per ms) remains 7037/7037 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 7037/7037 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 7037/7037 properties
BEST_FIRST walk for 4004 steps (8 resets) in 228 ms. (17 steps per ms) remains 7037/7037 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 7037/7037 properties
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 7037/7037 properties
BEST_FIRST walk for 4002 steps (8 resets) in 221 ms. (18 steps per ms) remains 7034/7037 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 7034/7034 properties
BEST_FIRST walk for 4003 steps (8 resets) in 186 ms. (21 steps per ms) remains 7034/7034 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 7034/7034 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 7034/7034 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 7034/7034 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 7034/7034 properties
BEST_FIRST walk for 4003 steps (8 resets) in 234 ms. (17 steps per ms) remains 7033/7034 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 7033/7033 properties
Reachability property qltransition_899 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 7033/7033 properties
BEST_FIRST walk for 4003 steps (8 resets) in 184 ms. (21 steps per ms) remains 7033/7033 properties
Reachability property qltransition_509 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 195 ms. (20 steps per ms) remains 7033/7033 properties
BEST_FIRST walk for 4004 steps (8 resets) in 177 ms. (22 steps per ms) remains 7033/7033 properties
BEST_FIRST walk for 4002 steps (8 resets) in 206 ms. (19 steps per ms) remains 7033/7033 properties
SDD proceeding with computation,8164 properties remain. new max is 32
SDD size :117584 after 117649
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 7032/7033 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 7032/7032 properties
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 7032/7032 properties
Reachability property qltransition_7754 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 202 ms. (19 steps per ms) remains 7031/7032 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 7031/7031 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 7031/7031 properties
BEST_FIRST walk for 4003 steps (8 resets) in 190 ms. (20 steps per ms) remains 7031/7031 properties
BEST_FIRST walk for 4002 steps (8 resets) in 213 ms. (18 steps per ms) remains 7031/7031 properties
BEST_FIRST walk for 4002 steps (8 resets) in 199 ms. (20 steps per ms) remains 7031/7031 properties
BEST_FIRST walk for 4003 steps (8 resets) in 261 ms. (15 steps per ms) remains 7031/7031 properties
BEST_FIRST walk for 4003 steps (8 resets) in 222 ms. (17 steps per ms) remains 7031/7031 properties
BEST_FIRST walk for 4002 steps (8 resets) in 229 ms. (17 steps per ms) remains 7031/7031 properties
BEST_FIRST walk for 4003 steps (8 resets) in 237 ms. (16 steps per ms) remains 7031/7031 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 7029/7031 properties
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 7029/7029 properties
BEST_FIRST walk for 4003 steps (8 resets) in 207 ms. (19 steps per ms) remains 7029/7029 properties
BEST_FIRST walk for 4003 steps (8 resets) in 252 ms. (15 steps per ms) remains 7029/7029 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 7029/7029 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 7029/7029 properties
Reachability property qltransition_3799 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 251 ms. (15 steps per ms) remains 7029/7029 properties
BEST_FIRST walk for 4003 steps (8 resets) in 244 ms. (16 steps per ms) remains 7029/7029 properties
BEST_FIRST walk for 4002 steps (8 resets) in 221 ms. (18 steps per ms) remains 7029/7029 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 7029/7029 properties
BEST_FIRST walk for 4003 steps (8 resets) in 228 ms. (17 steps per ms) remains 7020/7029 properties
BEST_FIRST walk for 4003 steps (8 resets) in 218 ms. (18 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4003 steps (8 resets) in 210 ms. (18 steps per ms) remains 7019/7020 properties
BEST_FIRST walk for 4003 steps (8 resets) in 217 ms. (18 steps per ms) remains 7019/7019 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 7019/7019 properties
BEST_FIRST walk for 4003 steps (8 resets) in 212 ms. (18 steps per ms) remains 7019/7019 properties
BEST_FIRST walk for 4003 steps (8 resets) in 179 ms. (22 steps per ms) remains 7019/7019 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 7019/7019 properties
Reachability property qltransition_1866 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 7019/7019 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 7019/7019 properties
BEST_FIRST walk for 4003 steps (8 resets) in 204 ms. (19 steps per ms) remains 7019/7019 properties
BEST_FIRST walk for 4004 steps (8 resets) in 208 ms. (19 steps per ms) remains 7019/7019 properties
BEST_FIRST walk for 4003 steps (8 resets) in 254 ms. (15 steps per ms) remains 7018/7019 properties
Reachability property qltransition_847 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 186 ms. (21 steps per ms) remains 7018/7018 properties
BEST_FIRST walk for 4003 steps (8 resets) in 197 ms. (20 steps per ms) remains 7018/7018 properties
BEST_FIRST walk for 4002 steps (8 resets) in 190 ms. (20 steps per ms) remains 7018/7018 properties
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 7017/7018 properties
SDD proceeding with computation,8160 properties remain. new max is 32
SDD size :117649 after 117922
BEST_FIRST walk for 4003 steps (8 resets) in 241 ms. (16 steps per ms) remains 7017/7017 properties
BEST_FIRST walk for 4002 steps (8 resets) in 239 ms. (16 steps per ms) remains 7017/7017 properties
BEST_FIRST walk for 4003 steps (8 resets) in 241 ms. (16 steps per ms) remains 7017/7017 properties
BEST_FIRST walk for 4002 steps (8 resets) in 180 ms. (22 steps per ms) remains 7017/7017 properties
BEST_FIRST walk for 4003 steps (8 resets) in 236 ms. (16 steps per ms) remains 7017/7017 properties
Reachability property qltransition_7083 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 7017/7017 properties
BEST_FIRST walk for 4004 steps (8 resets) in 238 ms. (16 steps per ms) remains 7017/7017 properties
BEST_FIRST walk for 4002 steps (8 resets) in 191 ms. (20 steps per ms) remains 7017/7017 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 7017/7017 properties
BEST_FIRST walk for 4003 steps (8 resets) in 189 ms. (21 steps per ms) remains 7017/7017 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 7016/7017 properties
BEST_FIRST walk for 4003 steps (8 resets) in 186 ms. (21 steps per ms) remains 7016/7016 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 7013/7016 properties
BEST_FIRST walk for 4003 steps (8 resets) in 242 ms. (16 steps per ms) remains 7013/7013 properties
BEST_FIRST walk for 4004 steps (8 resets) in 222 ms. (17 steps per ms) remains 7013/7013 properties
Reachability property qltransition_4801 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 234 ms. (17 steps per ms) remains 7013/7013 properties
Reachability property qltransition_3847 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 251 ms. (15 steps per ms) remains 7013/7013 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 7013/7013 properties
BEST_FIRST walk for 4003 steps (8 resets) in 228 ms. (17 steps per ms) remains 7013/7013 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 7011/7013 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4002 steps (8 resets) in 200 ms. (19 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 253 ms. (15 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4003 steps (8 resets) in 234 ms. (17 steps per ms) remains 7011/7011 properties
Reachability property qltransition_2448 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 7011/7011 properties
Reachability property qltransition_1748 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4003 steps (8 resets) in 207 ms. (19 steps per ms) remains 7011/7011 properties
SDD proceeding with computation,8155 properties remain. new max is 32
SDD size :117922 after 118832
BEST_FIRST walk for 4002 steps (8 resets) in 223 ms. (17 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4003 steps (8 resets) in 255 ms. (15 steps per ms) remains 7011/7011 properties
Reachability property qltransition_7908 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 266 ms. (14 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4003 steps (8 resets) in 194 ms. (20 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4003 steps (8 resets) in 178 ms. (22 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 182 ms. (21 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 7008/7011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 7008/7008 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 7008/7008 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 7007/7008 properties
BEST_FIRST walk for 4004 steps (8 resets) in 266 ms. (14 steps per ms) remains 7007/7007 properties
BEST_FIRST walk for 4004 steps (8 resets) in 221 ms. (18 steps per ms) remains 7006/7007 properties
BEST_FIRST walk for 4002 steps (8 resets) in 219 ms. (18 steps per ms) remains 7006/7006 properties
Reachability property qltransition_5711 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 7006/7006 properties
BEST_FIRST walk for 4003 steps (8 resets) in 272 ms. (14 steps per ms) remains 7006/7006 properties
BEST_FIRST walk for 4004 steps (8 resets) in 238 ms. (16 steps per ms) remains 7006/7006 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 7006/7006 properties
BEST_FIRST walk for 4003 steps (8 resets) in 186 ms. (21 steps per ms) remains 7006/7006 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 7006/7006 properties
BEST_FIRST walk for 4003 steps (8 resets) in 243 ms. (16 steps per ms) remains 7006/7006 properties
Reachability property qltransition_3518 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 238 ms. (16 steps per ms) remains 7006/7006 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 7006/7006 properties
Reachability property qltransition_3264 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 7006/7006 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 7006/7006 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 7006/7006 properties
Reachability property qltransition_3088 is true.
Reachability property qltransition_3020 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 208 ms. (19 steps per ms) remains 7006/7006 properties
BEST_FIRST walk for 4002 steps (8 resets) in 199 ms. (20 steps per ms) remains 7006/7006 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 7005/7006 properties
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 7005/7005 properties
BEST_FIRST walk for 4004 steps (8 resets) in 208 ms. (19 steps per ms) remains 7005/7005 properties
BEST_FIRST walk for 4003 steps (8 resets) in 203 ms. (19 steps per ms) remains 7005/7005 properties
BEST_FIRST walk for 4002 steps (8 resets) in 235 ms. (16 steps per ms) remains 7005/7005 properties
BEST_FIRST walk for 4003 steps (8 resets) in 206 ms. (19 steps per ms) remains 7005/7005 properties
BEST_FIRST walk for 4004 steps (8 resets) in 208 ms. (19 steps per ms) remains 7005/7005 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 7004/7005 properties
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 7004/7004 properties
BEST_FIRST walk for 4004 steps (8 resets) in 257 ms. (15 steps per ms) remains 7004/7004 properties
SDD proceeding with computation,8149 properties remain. new max is 32
SDD size :118832 after 121380
BEST_FIRST walk for 4004 steps (8 resets) in 216 ms. (18 steps per ms) remains 7004/7004 properties
Reachability property qltransition_8399 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 7004/7004 properties
BEST_FIRST walk for 4003 steps (8 resets) in 206 ms. (19 steps per ms) remains 7004/7004 properties
BEST_FIRST walk for 4003 steps (8 resets) in 259 ms. (15 steps per ms) remains 7004/7004 properties
BEST_FIRST walk for 4004 steps (8 resets) in 177 ms. (22 steps per ms) remains 7004/7004 properties
BEST_FIRST walk for 4003 steps (8 resets) in 194 ms. (20 steps per ms) remains 7004/7004 properties
BEST_FIRST walk for 4003 steps (8 resets) in 254 ms. (15 steps per ms) remains 7004/7004 properties
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 7004/7004 properties
BEST_FIRST walk for 4003 steps (8 resets) in 215 ms. (18 steps per ms) remains 7004/7004 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 7004/7004 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 7004/7004 properties
BEST_FIRST walk for 4003 steps (8 resets) in 239 ms. (16 steps per ms) remains 7003/7004 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 7003/7003 properties
Reachability property qltransition_4503 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 210 ms. (18 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 7003/7003 properties
Reachability property qltransition_3772 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 216 ms. (18 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 239 ms. (16 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 184 ms. (21 steps per ms) remains 7003/7003 properties
Reachability property qltransition_3218 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 203 ms. (19 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 7003/7003 properties
Reachability property qltransition_2887 is true.
Reachability property qltransition_2532 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 238 ms. (16 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4002 steps (8 resets) in 216 ms. (18 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 7003/7003 properties
Reachability property qltransition_624 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 247 ms. (16 steps per ms) remains 7001/7003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 245 ms. (16 steps per ms) remains 7001/7001 properties
SDD proceeding with computation,8142 properties remain. new max is 32
SDD size :121380 after 127568
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 7001/7001 properties
BEST_FIRST walk for 4003 steps (8 resets) in 248 ms. (16 steps per ms) remains 7001/7001 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6999/7001 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 6999/6999 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 6999/6999 properties
BEST_FIRST walk for 4003 steps (8 resets) in 199 ms. (20 steps per ms) remains 6999/6999 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6999/6999 properties
BEST_FIRST walk for 4002 steps (8 resets) in 192 ms. (20 steps per ms) remains 6999/6999 properties
BEST_FIRST walk for 4004 steps (8 resets) in 182 ms. (21 steps per ms) remains 6999/6999 properties
BEST_FIRST walk for 4003 steps (8 resets) in 204 ms. (19 steps per ms) remains 6996/6999 properties
Reachability property qltransition_6596 is true.
Reachability property qltransition_6433 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 262 ms. (15 steps per ms) remains 6996/6996 properties
BEST_FIRST walk for 4004 steps (8 resets) in 224 ms. (17 steps per ms) remains 6996/6996 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 6996/6996 properties
BEST_FIRST walk for 4003 steps (8 resets) in 197 ms. (20 steps per ms) remains 6996/6996 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6996/6996 properties
Reachability property qltransition_4877 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 241 ms. (16 steps per ms) remains 6996/6996 properties
Reachability property qltransition_4557 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 242 ms. (16 steps per ms) remains 6996/6996 properties
BEST_FIRST walk for 4004 steps (8 resets) in 217 ms. (18 steps per ms) remains 6996/6996 properties
BEST_FIRST walk for 4003 steps (8 resets) in 579 ms. (6 steps per ms) remains 6996/6996 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 6996/6996 properties
BEST_FIRST walk for 4003 steps (8 resets) in 254 ms. (15 steps per ms) remains 6996/6996 properties
Reachability property qltransition_3131 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 185 ms. (21 steps per ms) remains 6996/6996 properties
BEST_FIRST walk for 4002 steps (8 resets) in 261 ms. (15 steps per ms) remains 6996/6996 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 6996/6996 properties
Reachability property qltransition_2627 is true.
Reachability property qltransition_2599 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 245 ms. (16 steps per ms) remains 6996/6996 properties
BEST_FIRST walk for 4003 steps (8 resets) in 247 ms. (16 steps per ms) remains 6996/6996 properties
BEST_FIRST walk for 4003 steps (8 resets) in 191 ms. (20 steps per ms) remains 6996/6996 properties
BEST_FIRST walk for 4002 steps (8 resets) in 202 ms. (19 steps per ms) remains 6996/6996 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 6996/6996 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 6995/6996 properties
Reachability property qltransition_1604 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 183 ms. (21 steps per ms) remains 6995/6995 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6995/6995 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 6995/6995 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 6995/6995 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 6995/6995 properties
SDD proceeding with computation,8134 properties remain. new max is 32
SDD size :127568 after 140828
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 6995/6995 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6993/6995 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4002 steps (8 resets) in 180 ms. (22 steps per ms) remains 6993/6993 properties
Reachability property qltransition_7394 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 242 ms. (16 steps per ms) remains 6993/6993 properties
Reachability property qltransition_7015 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4003 steps (8 resets) in 244 ms. (16 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 6993/6993 properties
Reachability property qltransition_5887 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4003 steps (8 resets) in 245 ms. (16 steps per ms) remains 6993/6993 properties
Reachability property qltransition_4973 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 222 ms. (17 steps per ms) remains 6993/6993 properties
Reachability property qltransition_4285 is true.
Reachability property qltransition_3954 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 235 ms. (16 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4003 steps (8 resets) in 197 ms. (20 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 217 ms. (18 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4003 steps (8 resets) in 215 ms. (18 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4003 steps (8 resets) in 209 ms. (19 steps per ms) remains 6991/6993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4003 steps (8 resets) in 192 ms. (20 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4003 steps (8 resets) in 184 ms. (21 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 6991/6991 properties
Reachability property qltransition_2777 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4002 steps (8 resets) in 250 ms. (15 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4003 steps (8 resets) in 230 ms. (17 steps per ms) remains 6991/6991 properties
Reachability property qltransition_1829 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 252 ms. (15 steps per ms) remains 6991/6991 properties
Reachability property qltransition_424 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 6991/6991 properties
SDD proceeding with computation,8125 properties remain. new max is 32
SDD size :140828 after 166022
Reachability property qltransition_8366 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 239 ms. (16 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4002 steps (8 resets) in 262 ms. (15 steps per ms) remains 6991/6991 properties
Reachability property qltransition_6795 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 264 ms. (15 steps per ms) remains 6991/6991 properties
Reachability property qltransition_6047 is true.
Reachability property qltransition_5890 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4003 steps (8 resets) in 194 ms. (20 steps per ms) remains 6991/6991 properties
Reachability property qltransition_5403 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 198 ms. (20 steps per ms) remains 6991/6991 properties
Reachability property qltransition_5192 is true.
Reachability property qltransition_5167 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 216 ms. (18 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4003 steps (8 resets) in 235 ms. (16 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 6989/6991 properties
BEST_FIRST walk for 4004 steps (8 resets) in 268 ms. (14 steps per ms) remains 6989/6989 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6989/6989 properties
BEST_FIRST walk for 4004 steps (8 resets) in 242 ms. (16 steps per ms) remains 6989/6989 properties
Reachability property qltransition_3727 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 238 ms. (16 steps per ms) remains 6989/6989 properties
BEST_FIRST walk for 4003 steps (8 resets) in 192 ms. (20 steps per ms) remains 6989/6989 properties
BEST_FIRST walk for 4003 steps (8 resets) in 192 ms. (20 steps per ms) remains 6989/6989 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 6989/6989 properties
BEST_FIRST walk for 4001 steps (8 resets) in 202 ms. (19 steps per ms) remains 6989/6989 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 6989/6989 properties
Reachability property qltransition_1836 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 239 ms. (16 steps per ms) remains 6989/6989 properties
BEST_FIRST walk for 4003 steps (8 resets) in 262 ms. (15 steps per ms) remains 6989/6989 properties
Reachability property qltransition_458 is true.
SDD proceeding with computation,8115 properties remain. new max is 32
SDD size :166022 after 208012
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 6989/6989 properties
BEST_FIRST walk for 4003 steps (8 resets) in 220 ms. (18 steps per ms) remains 6989/6989 properties
BEST_FIRST walk for 4003 steps (8 resets) in 215 ms. (18 steps per ms) remains 6989/6989 properties
BEST_FIRST walk for 4004 steps (8 resets) in 238 ms. (16 steps per ms) remains 6989/6989 properties
BEST_FIRST walk for 4003 steps (8 resets) in 243 ms. (16 steps per ms) remains 6989/6989 properties
BEST_FIRST walk for 4003 steps (8 resets) in 208 ms. (19 steps per ms) remains 6989/6989 properties
Reachability property qltransition_7703 is true.
Reachability property qltransition_7625 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6989/6989 properties
BEST_FIRST walk for 4003 steps (8 resets) in 245 ms. (16 steps per ms) remains 6989/6989 properties
BEST_FIRST walk for 4004 steps (8 resets) in 238 ms. (16 steps per ms) remains 6989/6989 properties
BEST_FIRST walk for 4003 steps (8 resets) in 246 ms. (16 steps per ms) remains 6982/6989 properties
Reachability property qltransition_7426 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 204 ms. (19 steps per ms) remains 6981/6982 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 6981/6981 properties
BEST_FIRST walk for 4004 steps (8 resets) in 217 ms. (18 steps per ms) remains 6981/6981 properties
Reachability property qltransition_6612 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 6980/6981 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4002 steps (8 resets) in 197 ms. (20 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 6980/6980 properties
Reachability property qltransition_5821 is true.
Reachability property qltransition_5660 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 248 ms. (16 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4002 steps (8 resets) in 202 ms. (19 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4003 steps (8 resets) in 209 ms. (19 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4003 steps (8 resets) in 208 ms. (19 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4003 steps (8 resets) in 267 ms. (14 steps per ms) remains 6978/6980 properties
BEST_FIRST walk for 4003 steps (8 resets) in 221 ms. (18 steps per ms) remains 6978/6978 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 6978/6978 properties
Reachability property qltransition_4763 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 6977/6978 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4003 steps (8 resets) in 250 ms. (15 steps per ms) remains 6977/6977 properties
Reachability property qltransition_4312 is true.
Reachability property qltransition_4068 is true.
Reachability property qltransition_3821 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 244 ms. (16 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4004 steps (8 resets) in 210 ms. (18 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4003 steps (8 resets) in 196 ms. (20 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4003 steps (8 resets) in 194 ms. (20 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4003 steps (8 resets) in 256 ms. (15 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4003 steps (8 resets) in 196 ms. (20 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4003 steps (8 resets) in 184 ms. (21 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4004 steps (8 resets) in 215 ms. (18 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4003 steps (8 resets) in 211 ms. (18 steps per ms) remains 6976/6977 properties
BEST_FIRST walk for 4003 steps (8 resets) in 204 ms. (19 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 6976/6976 properties
Reachability property qltransition_2337 is true.
Reachability property qltransition_2254 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 179 ms. (22 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 189 ms. (21 steps per ms) remains 6976/6976 properties
Reachability property qltransition_1872 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 185 ms. (21 steps per ms) remains 6976/6976 properties
Reachability property qltransition_1637 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 243 ms. (16 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4002 steps (8 resets) in 244 ms. (16 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 179 ms. (22 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 6976/6976 properties
Reachability property qltransition_231 is true.
BEST_FIRST walk for 4001 steps (8 resets) in 196 ms. (20 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 181 ms. (21 steps per ms) remains 6975/6976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6975/6975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 6975/6975 properties
BEST_FIRST walk for 4002 steps (8 resets) in 260 ms. (15 steps per ms) remains 6975/6975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 6975/6975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 215 ms. (18 steps per ms) remains 6975/6975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 270 ms. (14 steps per ms) remains 6975/6975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 6975/6975 properties
SDD proceeding with computation,8100 properties remain. new max is 32
SDD size :208012 after 416037
BEST_FIRST walk for 4002 steps (8 resets) in 243 ms. (16 steps per ms) remains 6971/6975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4002 steps (8 resets) in 226 ms. (17 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 6971/6971 properties
Reachability property qltransition_7627 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 181 ms. (21 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 268 ms. (14 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 278 ms. (14 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 181 ms. (21 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4002 steps (8 resets) in 223 ms. (17 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 175 ms. (22 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4002 steps (8 resets) in 226 ms. (17 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 286 ms. (13 steps per ms) remains 6967/6971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 245 ms. (16 steps per ms) remains 6967/6967 properties
BEST_FIRST walk for 4004 steps (8 resets) in 239 ms. (16 steps per ms) remains 6967/6967 properties
BEST_FIRST walk for 4004 steps (8 resets) in 249 ms. (16 steps per ms) remains 6967/6967 properties
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 6967/6967 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 6967/6967 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 6967/6967 properties
BEST_FIRST walk for 4001 steps (8 resets) in 189 ms. (21 steps per ms) remains 6967/6967 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 6967/6967 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 6966/6967 properties
BEST_FIRST walk for 4003 steps (8 resets) in 218 ms. (18 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 6965/6966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6965/6965 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 6965/6965 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 6965/6965 properties
BEST_FIRST walk for 4004 steps (8 resets) in 249 ms. (16 steps per ms) remains 6965/6965 properties
BEST_FIRST walk for 4002 steps (8 resets) in 240 ms. (16 steps per ms) remains 6965/6965 properties
BEST_FIRST walk for 4003 steps (8 resets) in 194 ms. (20 steps per ms) remains 6965/6965 properties
BEST_FIRST walk for 4003 steps (8 resets) in 195 ms. (20 steps per ms) remains 6965/6965 properties
BEST_FIRST walk for 4004 steps (8 resets) in 208 ms. (19 steps per ms) remains 6965/6965 properties
BEST_FIRST walk for 4004 steps (8 resets) in 245 ms. (16 steps per ms) remains 6965/6965 properties
BEST_FIRST walk for 4003 steps (8 resets) in 248 ms. (16 steps per ms) remains 6965/6965 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 6965/6965 properties
BEST_FIRST walk for 4002 steps (8 resets) in 232 ms. (17 steps per ms) remains 6964/6965 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 6964/6964 properties
Reachability property qltransition_1929 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 6964/6964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 230 ms. (17 steps per ms) remains 6964/6964 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 6964/6964 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 6964/6964 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 6964/6964 properties
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 6964/6964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 234 ms. (17 steps per ms) remains 6964/6964 properties
Reachability property qltransition_268 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 6964/6964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 182 ms. (21 steps per ms) remains 6964/6964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 192 ms. (20 steps per ms) remains 6964/6964 properties
BEST_FIRST walk for 4002 steps (8 resets) in 200 ms. (19 steps per ms) remains 6964/6964 properties
BEST_FIRST walk for 4002 steps (8 resets) in 217 ms. (18 steps per ms) remains 6963/6964 properties
BEST_FIRST walk for 4003 steps (8 resets) in 191 ms. (20 steps per ms) remains 6963/6963 properties
BEST_FIRST walk for 4004 steps (8 resets) in 180 ms. (22 steps per ms) remains 6963/6963 properties
BEST_FIRST walk for 4004 steps (8 resets) in 183 ms. (21 steps per ms) remains 6963/6963 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 6963/6963 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 6961/6963 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6961/6961 properties
SDD proceeding with computation,8097 properties remain. new max is 32
SDD size :416037 after 416114
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4003 steps (8 resets) in 219 ms. (18 steps per ms) remains 6961/6961 properties
Reachability property qltransition_8144 is true.
Reachability property qltransition_8074 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 254 ms. (15 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 184 ms. (21 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4003 steps (8 resets) in 196 ms. (20 steps per ms) remains 6959/6961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4003 steps (8 resets) in 213 ms. (18 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4003 steps (8 resets) in 235 ms. (16 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4002 steps (8 resets) in 224 ms. (17 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4003 steps (8 resets) in 186 ms. (21 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4002 steps (8 resets) in 191 ms. (20 steps per ms) remains 6957/6959 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 6957/6957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 6957/6957 properties
BEST_FIRST walk for 4001 steps (8 resets) in 240 ms. (16 steps per ms) remains 6957/6957 properties
BEST_FIRST walk for 4003 steps (8 resets) in 199 ms. (20 steps per ms) remains 6957/6957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6955/6957 properties
BEST_FIRST walk for 4003 steps (8 resets) in 211 ms. (18 steps per ms) remains 6954/6955 properties
BEST_FIRST walk for 4003 steps (8 resets) in 227 ms. (17 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4003 steps (8 resets) in 214 ms. (18 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4003 steps (8 resets) in 217 ms. (18 steps per ms) remains 6952/6954 properties
BEST_FIRST walk for 4003 steps (8 resets) in 205 ms. (19 steps per ms) remains 6952/6952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 6952/6952 properties
Reachability property qltransition_5073 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 215 ms. (18 steps per ms) remains 6952/6952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 222 ms. (17 steps per ms) remains 6952/6952 properties
BEST_FIRST walk for 4002 steps (8 resets) in 198 ms. (20 steps per ms) remains 6952/6952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6952/6952 properties
BEST_FIRST walk for 4003 steps (8 resets) in 187 ms. (21 steps per ms) remains 6952/6952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 6952/6952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6952/6952 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 6952/6952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 6952/6952 properties
BEST_FIRST walk for 4003 steps (8 resets) in 261 ms. (15 steps per ms) remains 6952/6952 properties
BEST_FIRST walk for 4003 steps (8 resets) in 269 ms. (14 steps per ms) remains 6952/6952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 6952/6952 properties
BEST_FIRST walk for 4002 steps (8 resets) in 181 ms. (21 steps per ms) remains 6952/6952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 208 ms. (19 steps per ms) remains 6952/6952 properties
BEST_FIRST walk for 4003 steps (8 resets) in 220 ms. (18 steps per ms) remains 6952/6952 properties
Reachability property qltransition_3007 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 6952/6952 properties
BEST_FIRST walk for 4003 steps (8 resets) in 215 ms. (18 steps per ms) remains 6952/6952 properties
BEST_FIRST walk for 4003 steps (8 resets) in 235 ms. (16 steps per ms) remains 6952/6952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 6952/6952 properties
BEST_FIRST walk for 4002 steps (8 resets) in 216 ms. (18 steps per ms) remains 6952/6952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 6952/6952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6952/6952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 6952/6952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6952/6952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 208 ms. (19 steps per ms) remains 6950/6952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6950/6950 properties
BEST_FIRST walk for 4003 steps (8 resets) in 199 ms. (20 steps per ms) remains 6950/6950 properties
BEST_FIRST walk for 4003 steps (8 resets) in 210 ms. (18 steps per ms) remains 6950/6950 properties
BEST_FIRST walk for 4003 steps (8 resets) in 241 ms. (16 steps per ms) remains 6950/6950 properties
BEST_FIRST walk for 4002 steps (8 resets) in 264 ms. (15 steps per ms) remains 6949/6950 properties
BEST_FIRST walk for 4003 steps (8 resets) in 242 ms. (16 steps per ms) remains 6949/6949 properties
BEST_FIRST walk for 4002 steps (8 resets) in 237 ms. (16 steps per ms) remains 6949/6949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 6949/6949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6949/6949 properties
BEST_FIRST walk for 4003 steps (8 resets) in 196 ms. (20 steps per ms) remains 6949/6949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 183 ms. (21 steps per ms) remains 6949/6949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 6949/6949 properties
SDD proceeding with computation,8093 properties remain. new max is 32
SDD size :416114 after 416464
BEST_FIRST walk for 4004 steps (8 resets) in 238 ms. (16 steps per ms) remains 6949/6949 properties
BEST_FIRST walk for 4003 steps (8 resets) in 218 ms. (18 steps per ms) remains 6949/6949 properties
Reachability property qltransition_8018 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 584 ms. (6 steps per ms) remains 6949/6949 properties
BEST_FIRST walk for 4003 steps (8 resets) in 250 ms. (15 steps per ms) remains 6949/6949 properties
BEST_FIRST walk for 4003 steps (8 resets) in 229 ms. (17 steps per ms) remains 6949/6949 properties
BEST_FIRST walk for 4003 steps (8 resets) in 185 ms. (21 steps per ms) remains 6949/6949 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 6949/6949 properties
BEST_FIRST walk for 4002 steps (8 resets) in 223 ms. (17 steps per ms) remains 6949/6949 properties
BEST_FIRST walk for 4003 steps (8 resets) in 252 ms. (15 steps per ms) remains 6949/6949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 236 ms. (16 steps per ms) remains 6949/6949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 6949/6949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6948/6949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4002 steps (8 resets) in 205 ms. (19 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 228 ms. (17 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4003 steps (8 resets) in 212 ms. (18 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6947/6948 properties
BEST_FIRST walk for 4003 steps (8 resets) in 196 ms. (20 steps per ms) remains 6947/6947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6947/6947 properties
BEST_FIRST walk for 4003 steps (8 resets) in 178 ms. (22 steps per ms) remains 6946/6947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 6946/6946 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 6946/6946 properties
BEST_FIRST walk for 4003 steps (8 resets) in 188 ms. (21 steps per ms) remains 6946/6946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6946/6946 properties
BEST_FIRST walk for 4003 steps (8 resets) in 197 ms. (20 steps per ms) remains 6946/6946 properties
BEST_FIRST walk for 4003 steps (8 resets) in 205 ms. (19 steps per ms) remains 6946/6946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 245 ms. (16 steps per ms) remains 6946/6946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 6946/6946 properties
BEST_FIRST walk for 4003 steps (8 resets) in 225 ms. (17 steps per ms) remains 6943/6946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 245 ms. (16 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 249 ms. (16 steps per ms) remains 6943/6943 properties
Reachability property qltransition_4103 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 242 ms. (16 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 6943/6943 properties
Reachability property qltransition_3315 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 262 ms. (15 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4003 steps (8 resets) in 224 ms. (17 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4003 steps (8 resets) in 241 ms. (16 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 6943/6943 properties
Reachability property qltransition_2334 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 230 ms. (17 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4003 steps (8 resets) in 214 ms. (18 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4001 steps (8 resets) in 253 ms. (15 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4003 steps (8 resets) in 227 ms. (17 steps per ms) remains 6943/6943 properties
Reachability property qltransition_669 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 260 ms. (15 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4003 steps (8 resets) in 231 ms. (17 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4002 steps (8 resets) in 248 ms. (16 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4002 steps (8 resets) in 198 ms. (20 steps per ms) remains 6938/6943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6937/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4003 steps (8 resets) in 237 ms. (16 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4003 steps (8 resets) in 248 ms. (16 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4003 steps (8 resets) in 235 ms. (16 steps per ms) remains 6937/6937 properties
SDD proceeding with computation,8088 properties remain. new max is 32
SDD size :416464 after 417724
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 238 ms. (16 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4003 steps (8 resets) in 227 ms. (17 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 181 ms. (22 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4003 steps (8 resets) in 236 ms. (16 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 6937/6937 properties
Reachability property qltransition_7500 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4003 steps (8 resets) in 219 ms. (18 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4002 steps (8 resets) in 244 ms. (16 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 238 ms. (16 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4003 steps (8 resets) in 218 ms. (18 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 182 ms. (21 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4002 steps (8 resets) in 235 ms. (16 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 249 ms. (16 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4002 steps (8 resets) in 221 ms. (18 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4003 steps (8 resets) in 197 ms. (20 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 238 ms. (16 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4002 steps (8 resets) in 197 ms. (20 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 6937/6937 properties
Reachability property qltransition_5368 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 205 ms. (19 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4003 steps (8 resets) in 188 ms. (21 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4003 steps (8 resets) in 212 ms. (18 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 239 ms. (16 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4002 steps (8 resets) in 198 ms. (20 steps per ms) remains 6937/6937 properties
Reachability property qltransition_3886 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4002 steps (8 resets) in 243 ms. (16 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 245 ms. (16 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 6937/6937 properties
BEST_FIRST walk for 4003 steps (8 resets) in 199 ms. (20 steps per ms) remains 6937/6937 properties
Reachability property qltransition_2733 is true.
Reachability property qltransition_2212 is true.
Reachability property qltransition_1680 is true.
SDD proceeding with computation,8082 properties remain. new max is 32
SDD size :417724 after 421532
Reachability property qltransition_8272 is true.
Reachability property qltransition_7335 is true.
Reachability property qltransition_6159 is true.
Reachability property qltransition_5044 is true.
Reachability property qltransition_3195 is true.
Reachability property qltransition_2064 is true.
Reachability property qltransition_2013 is true.
SDD proceeding with computation,8075 properties remain. new max is 32
SDD size :421532 after 431528
Reachability property qltransition_7807 is true.
Reachability property qltransition_5114 is true.
Reachability property qltransition_4934 is true.
Reachability property qltransition_4641 is true.
Reachability property qltransition_3463 is true.
Reachability property qltransition_3202 is true.
Reachability property qltransition_447 is true.
Reachability property qltransition_229 is true.
SDD proceeding with computation,8067 properties remain. new max is 32
SDD size :431528 after 454784
Reachability property qltransition_7959 is true.
Reachability property qltransition_7591 is true.
Reachability property qltransition_6879 is true.
Reachability property qltransition_6553 is true.
Reachability property qltransition_6078 is true.
Reachability property qltransition_5949 is true.
Reachability property qltransition_5611 is true.
Reachability property qltransition_4939 is true.
Reachability property qltransition_3783 is true.
SDD proceeding with computation,8058 properties remain. new max is 32
SDD size :454784 after 503234
Reachability property qltransition_8134 is true.
Reachability property qltransition_6100 is true.
Reachability property qltransition_5512 is true.
Reachability property qltransition_5243 is true.
Reachability property qltransition_5128 is true.
Reachability property qltransition_4567 is true.
Reachability property qltransition_4564 is true.
Reachability property qltransition_1452 is true.
Reachability property qltransition_580 is true.
Reachability property qltransition_290 is true.
SDD proceeding with computation,8048 properties remain. new max is 32
SDD size :503234 after 593674
Reachability property qltransition_7999 is true.
Reachability property qltransition_7899 is true.
Reachability property qltransition_7611 is true.
Reachability property qltransition_7241 is true.
Reachability property qltransition_5037 is true.
Reachability property qltransition_3816 is true.
Reachability property qltransition_2870 is true.
Reachability property qltransition_2383 is true.
Reachability property qltransition_1292 is true.
Reachability property qltransition_144 is true.
Reachability property qltransition_27 is true.
SDD proceeding with computation,8037 properties remain. new max is 32
SDD size :593674 after 652472
SDD proceeding with computation,8037 properties remain. new max is 64
SDD size :652472 after 652537
SDD proceeding with computation,8037 properties remain. new max is 128
SDD size :652537 after 652810
SDD proceeding with computation,8037 properties remain. new max is 256
SDD size :652810 after 653720
SDD proceeding with computation,8037 properties remain. new max is 512
SDD size :653720 after 662456
SDD proceeding with computation,8037 properties remain. new max is 1024
SDD size :662456 after 730966
Reachability property qltransition_8340 is true.
Reachability property qltransition_8311 is true.
Reachability property qltransition_8090 is true.
Reachability property qltransition_8007 is true.
Reachability property qltransition_7995 is true.
Reachability property qltransition_7948 is true.
Reachability property qltransition_7804 is true.
Reachability property qltransition_7680 is true.
Reachability property qltransition_7609 is true.
Reachability property qltransition_7454 is true.
Reachability property qltransition_7393 is true.
Reachability property qltransition_7287 is true.
Reachability property qltransition_7212 is true.
Reachability property qltransition_7141 is true.
Reachability property qltransition_6963 is true.
Reachability property qltransition_6740 is true.
Reachability property qltransition_6730 is true.
Reachability property qltransition_6708 is true.
Reachability property qltransition_6640 is true.
Reachability property qltransition_6579 is true.
Reachability property qltransition_6562 is true.
Reachability property qltransition_6529 is true.
Reachability property qltransition_6291 is true.
Reachability property qltransition_6246 is true.
Reachability property qltransition_5954 is true.
Reachability property qltransition_5899 is true.
Reachability property qltransition_5896 is true.
Reachability property qltransition_5868 is true.
Reachability property qltransition_5850 is true.
Reachability property qltransition_5750 is true.
Reachability property qltransition_5580 is true.
Reachability property qltransition_5529 is true.
Reachability property qltransition_5445 is true.
Reachability property qltransition_5292 is true.
Reachability property qltransition_5263 is true.
Reachability property qltransition_5250 is true.
Reachability property qltransition_5216 is true.
Reachability property qltransition_4963 is true.
Reachability property qltransition_4789 is true.
Reachability property qltransition_4761 is true.
Reachability property qltransition_4718 is true.
Reachability property qltransition_4705 is true.
Reachability property qltransition_4669 is true.
Reachability property qltransition_4612 is true.
Reachability property qltransition_4524 is true.
Reachability property qltransition_4518 is true.
Reachability property qltransition_4517 is true.
Reachability property qltransition_4408 is true.
Reachability property qltransition_4350 is true.
Reachability property qltransition_4317 is true.
Reachability property qltransition_4112 is true.
Reachability property qltransition_3971 is true.
Reachability property qltransition_3917 is true.
Reachability property qltransition_3876 is true.
Reachability property qltransition_3796 is true.
Reachability property qltransition_3559 is true.
Reachability property qltransition_3498 is true.
Reachability property qltransition_3401 is true.
Reachability property qltransition_3116 is true.
Reachability property qltransition_2731 is true.
Reachability property qltransition_2637 is true.
Reachability property qltransition_2562 is true.
Reachability property qltransition_2500 is true.
Reachability property qltransition_2307 is true.
Reachability property qltransition_2288 is true.
Reachability property qltransition_2194 is true.
Reachability property qltransition_2184 is true.
Reachability property qltransition_2128 is true.
Reachability property qltransition_2127 is true.
Reachability property qltransition_2100 is true.
Reachability property qltransition_2082 is true.
Reachability property qltransition_2000 is true.
Reachability property qltransition_1898 is true.
Reachability property qltransition_1828 is true.
Reachability property qltransition_1749 is true.
Reachability property qltransition_1520 is true.
Reachability property qltransition_1225 is true.
Reachability property qltransition_1139 is true.
Reachability property qltransition_1106 is true.
Reachability property qltransition_1058 is true.
Reachability property qltransition_913 is true.
Reachability property qltransition_813 is true.
Reachability property qltransition_802 is true.
Reachability property qltransition_454 is true.
Reachability property qltransition_451 is true.
Reachability property qltransition_317 is true.
Reachability property qltransition_192 is true.
Reachability property qltransition_173 is true.
Reachability property qltransition_172 is true.
Reachability property qltransition_163 is true.
Reachability property qltransition_149 is true.
SDD proceeding with computation,7946 properties remain. new max is 1024
SDD size :730966 after 2.67444e+06
Reachability property qltransition_8363 is true.
Reachability property qltransition_8317 is true.
Reachability property qltransition_8315 is true.
Reachability property qltransition_8295 is true.
Reachability property qltransition_8276 is true.
Reachability property qltransition_8267 is true.
Reachability property qltransition_8214 is true.
Reachability property qltransition_8124 is true.
Reachability property qltransition_8094 is true.
Probabilistic random walk after 1000000 steps, saw 175695 distinct states, run finished after 128555 ms. (steps per millisecond=7 ) properties seen :112
[2025-06-05 22:32:36] [INFO ] Invariant cache hit.
[2025-06-05 22:32:36] [INFO ] State equation strengthened by 8020 read => feed constraints.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
Reachability property qltransition_8087 is true.
Reachability property qltransition_8014 is true.
Reachability property qltransition_7987 is true.
Reachability property qltransition_7967 is true.
Reachability property qltransition_7962 is true.
Reachability property qltransition_7929 is true.
Reachability property qltransition_7904 is true.
Reachability property qltransition_7892 is true.
Reachability property qltransition_7885 is true.
Reachability property qltransition_7872 is true.
Reachability property qltransition_7853 is true.
Reachability property qltransition_7836 is true.
Reachability property qltransition_7825 is true.
Reachability property qltransition_7806 is true.
Reachability property qltransition_7801 is true.
Reachability property qltransition_7751 is true.
Reachability property qltransition_7748 is true.
Reachability property qltransition_7705 is true.
Reachability property qltransition_7700 is true.
Reachability property qltransition_7688 is true.
Reachability property qltransition_7630 is true.
Reachability property qltransition_7596 is true.
Reachability property qltransition_7562 is true.
Reachability property qltransition_7554 is true.
Reachability property qltransition_7550 is true.
Reachability property qltransition_7539 is true.
Reachability property qltransition_7533 is true.
Reachability property qltransition_7526 is true.
Reachability property qltransition_7515 is true.
Reachability property qltransition_7502 is true.
Reachability property qltransition_7463 is true.
Reachability property qltransition_7440 is true.
Reachability property qltransition_7416 is true.
Reachability property qltransition_7415 is true.
Reachability property qltransition_7411 is true.
Reachability property qltransition_7361 is true.
Reachability property qltransition_7360 is true.
Reachability property qltransition_7341 is true.
Reachability property qltransition_7271 is true.
Reachability property qltransition_7251 is true.
Reachability property qltransition_7197 is true.
Reachability property qltransition_7173 is true.
Reachability property qltransition_7136 is true.
Reachability property qltransition_7107 is true.
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 6795 unsolved
SMT process timed out in 53351ms, After SMT, problems are : Problem set: 14 solved, 6781 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 441 out of 441 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 441/441 places, 8421/8421 transitions.
Applied a total of 0 rules in 124 ms. Remains 441 /441 variables (removed 0) and now considering 8421/8421 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 124 ms. Remains : 441/441 places, 8421/8421 transitions.
RANDOM walk for 196460 steps (0 resets) in 120063 ms. (1 steps per ms) remains 6774/6781 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4002 steps (8 resets) in 251 ms. (15 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 261 ms. (15 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 265 ms. (15 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 228 ms. (17 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4003 steps (8 resets) in 204 ms. (19 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4003 steps (8 resets) in 206 ms. (19 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4003 steps (8 resets) in 189 ms. (21 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 181 ms. (22 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4003 steps (8 resets) in 267 ms. (14 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4001 steps (8 resets) in 248 ms. (16 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4003 steps (8 resets) in 202 ms. (19 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4003 steps (8 resets) in 197 ms. (20 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 249 ms. (16 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 215 ms. (18 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4003 steps (8 resets) in 242 ms. (16 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4003 steps (8 resets) in 214 ms. (18 steps per ms) remains 6774/6774 properties
BEST_FIRST walk for 4003 steps (8 resets) in 206 ms. (19 steps per ms) remains 6772/6774 properties
BEST_FIRST walk for 4003 steps (8 resets) in 242 ms. (16 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4003 steps (8 resets) in 185 ms. (21 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4003 steps (8 resets) in 192 ms. (20 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4002 steps (8 resets) in 182 ms. (21 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4003 steps (8 resets) in 236 ms. (16 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4003 steps (8 resets) in 259 ms. (15 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4003 steps (8 resets) in 200 ms. (19 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4003 steps (8 resets) in 189 ms. (21 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4003 steps (8 resets) in 190 ms. (20 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 215 ms. (18 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 215 ms. (18 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 216 ms. (18 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 222 ms. (17 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4003 steps (8 resets) in 252 ms. (15 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4003 steps (8 resets) in 253 ms. (15 steps per ms) remains 6767/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 208 ms. (19 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4003 steps (8 resets) in 236 ms. (16 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4003 steps (8 resets) in 195 ms. (20 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4003 steps (8 resets) in 218 ms. (18 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 177 ms. (22 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4003 steps (8 resets) in 206 ms. (19 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4003 steps (8 resets) in 210 ms. (18 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4003 steps (8 resets) in 186 ms. (21 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4003 steps (8 resets) in 214 ms. (18 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4003 steps (8 resets) in 247 ms. (16 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4003 steps (8 resets) in 245 ms. (16 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 208 ms. (19 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4002 steps (8 resets) in 239 ms. (16 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4003 steps (8 resets) in 235 ms. (16 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4003 steps (8 resets) in 187 ms. (21 steps per ms) remains 6767/6767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 217 ms. (18 steps per ms) remains 6766/6767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 239 ms. (16 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 184 ms. (21 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 200 ms. (19 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 210 ms. (18 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 211 ms. (18 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 205 ms. (19 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 210 ms. (18 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 202 ms. (19 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 262 ms. (15 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 181 ms. (22 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 270 ms. (14 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4002 steps (8 resets) in 251 ms. (15 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 251 ms. (15 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4002 steps (8 resets) in 226 ms. (17 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 192 ms. (20 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 241 ms. (16 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 257 ms. (15 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 230 ms. (17 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 221 ms. (18 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 187 ms. (21 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 204 ms. (19 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 203 ms. (19 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 236 ms. (16 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 215 ms. (18 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 237 ms. (16 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 215 ms. (18 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 219 ms. (18 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 259 ms. (15 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4002 steps (8 resets) in 246 ms. (16 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4003 steps (8 resets) in 185 ms. (21 steps per ms) remains 6766/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 6765/6766 properties
BEST_FIRST walk for 4004 steps (8 resets) in 238 ms. (16 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4003 steps (8 resets) in 247 ms. (16 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4004 steps (8 resets) in 249 ms. (16 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4002 steps (8 resets) in 222 ms. (17 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4003 steps (8 resets) in 200 ms. (19 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4002 steps (8 resets) in 236 ms. (16 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4004 steps (8 resets) in 242 ms. (16 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4003 steps (8 resets) in 192 ms. (20 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4003 steps (8 resets) in 238 ms. (16 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4003 steps (8 resets) in 213 ms. (18 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4002 steps (8 resets) in 195 ms. (20 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4003 steps (8 resets) in 215 ms. (18 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4002 steps (8 resets) in 213 ms. (18 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4003 steps (8 resets) in 219 ms. (18 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4003 steps (8 resets) in 203 ms. (19 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4003 steps (8 resets) in 192 ms. (20 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 6765/6765 properties
BEST_FIRST walk for 4003 steps (8 resets) in 227 ms. (17 steps per ms) remains 6764/6765 properties
BEST_FIRST walk for 4003 steps (8 resets) in 217 ms. (18 steps per ms) remains 6764/6764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 6764/6764 properties
BEST_FIRST walk for 4003 steps (8 resets) in 204 ms. (19 steps per ms) remains 6760/6764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 238 ms. (16 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4003 steps (8 resets) in 252 ms. (15 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4003 steps (8 resets) in 233 ms. (17 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 179 ms. (22 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 216 ms. (18 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4002 steps (8 resets) in 209 ms. (19 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4001 steps (8 resets) in 189 ms. (21 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4003 steps (8 resets) in 220 ms. (18 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4003 steps (8 resets) in 211 ms. (18 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4002 steps (8 resets) in 206 ms. (19 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4003 steps (8 resets) in 211 ms. (18 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4002 steps (8 resets) in 178 ms. (22 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4003 steps (8 resets) in 240 ms. (16 steps per ms) remains 6760/6760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 249 ms. (16 steps per ms) remains 6759/6760 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4003 steps (8 resets) in 208 ms. (19 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4003 steps (8 resets) in 213 ms. (18 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 222 ms. (17 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 180 ms. (22 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4003 steps (8 resets) in 252 ms. (15 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4001 steps (8 resets) in 239 ms. (16 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4002 steps (8 resets) in 239 ms. (16 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4002 steps (8 resets) in 177 ms. (22 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4003 steps (8 resets) in 231 ms. (17 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4003 steps (8 resets) in 184 ms. (21 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4003 steps (8 resets) in 246 ms. (16 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4003 steps (8 resets) in 241 ms. (16 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4003 steps (8 resets) in 249 ms. (16 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4002 steps (8 resets) in 184 ms. (21 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4003 steps (8 resets) in 195 ms. (20 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4003 steps (8 resets) in 240 ms. (16 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4002 steps (8 resets) in 232 ms. (17 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 181 ms. (22 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4003 steps (8 resets) in 179 ms. (22 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4002 steps (8 resets) in 206 ms. (19 steps per ms) remains 6753/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 184 ms. (21 steps per ms) remains 6753/6753 properties
BEST_FIRST walk for 4003 steps (8 resets) in 199 ms. (20 steps per ms) remains 6753/6753 properties
BEST_FIRST walk for 4003 steps (8 resets) in 202 ms. (19 steps per ms) remains 6753/6753 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 6753/6753 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 6753/6753 properties
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 6753/6753 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 6753/6753 properties
BEST_FIRST walk for 4003 steps (8 resets) in 192 ms. (20 steps per ms) remains 6753/6753 properties
BEST_FIRST walk for 4004 steps (8 resets) in 217 ms. (18 steps per ms) remains 6753/6753 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 6753/6753 properties
BEST_FIRST walk for 4003 steps (8 resets) in 235 ms. (16 steps per ms) remains 6753/6753 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 6753/6753 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 6753/6753 properties
BEST_FIRST walk for 4003 steps (8 resets) in 189 ms. (21 steps per ms) remains 6753/6753 properties
BEST_FIRST walk for 4003 steps (8 resets) in 196 ms. (20 steps per ms) remains 6753/6753 properties
BEST_FIRST walk for 4002 steps (8 resets) in 225 ms. (17 steps per ms) remains 6753/6753 properties
BEST_FIRST walk for 4003 steps (8 resets) in 211 ms. (18 steps per ms) remains 6748/6753 properties
BEST_FIRST walk for 4003 steps (8 resets) in 196 ms. (20 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4003 steps (8 resets) in 188 ms. (21 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4003 steps (8 resets) in 203 ms. (19 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4004 steps (8 resets) in 217 ms. (18 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4002 steps (8 resets) in 199 ms. (20 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4003 steps (8 resets) in 252 ms. (15 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4004 steps (8 resets) in 262 ms. (15 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4004 steps (8 resets) in 553 ms. (7 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4003 steps (8 resets) in 177 ms. (22 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4003 steps (8 resets) in 191 ms. (20 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4004 steps (8 resets) in 179 ms. (22 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4004 steps (8 resets) in 222 ms. (17 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4003 steps (8 resets) in 209 ms. (19 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4002 steps (8 resets) in 211 ms. (18 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4003 steps (8 resets) in 186 ms. (21 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4003 steps (8 resets) in 190 ms. (20 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4004 steps (8 resets) in 175 ms. (22 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4003 steps (8 resets) in 213 ms. (18 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4002 steps (8 resets) in 209 ms. (19 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4004 steps (8 resets) in 280 ms. (14 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4000 steps (8 resets) in 224 ms. (17 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4001 steps (8 resets) in 200 ms. (19 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4004 steps (8 resets) in 236 ms. (16 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4003 steps (8 resets) in 248 ms. (16 steps per ms) remains 6748/6748 properties
BEST_FIRST walk for 4003 steps (8 resets) in 233 ms. (17 steps per ms) remains 6747/6748 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6747/6747 properties
BEST_FIRST walk for 4003 steps (8 resets) in 187 ms. (21 steps per ms) remains 6747/6747 properties
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 6747/6747 properties
BEST_FIRST walk for 4003 steps (8 resets) in 242 ms. (16 steps per ms) remains 6747/6747 properties
BEST_FIRST walk for 4004 steps (8 resets) in 261 ms. (15 steps per ms) remains 6747/6747 properties
BEST_FIRST walk for 4003 steps (8 resets) in 211 ms. (18 steps per ms) remains 6747/6747 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6747/6747 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 6747/6747 properties
BEST_FIRST walk for 4003 steps (8 resets) in 191 ms. (20 steps per ms) remains 6747/6747 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6747/6747 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 6747/6747 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6747/6747 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 6747/6747 properties
BEST_FIRST walk for 4003 steps (8 resets) in 199 ms. (20 steps per ms) remains 6747/6747 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6747/6747 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6747/6747 properties
BEST_FIRST walk for 4004 steps (8 resets) in 261 ms. (15 steps per ms) remains 6747/6747 properties
BEST_FIRST walk for 4003 steps (8 resets) in 224 ms. (17 steps per ms) remains 6747/6747 properties
BEST_FIRST walk for 4004 steps (8 resets) in 224 ms. (17 steps per ms) remains 6747/6747 properties
BEST_FIRST walk for 4002 steps (8 resets) in 231 ms. (17 steps per ms) remains 6747/6747 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6747/6747 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6747/6747 properties
BEST_FIRST walk for 4003 steps (8 resets) in 194 ms. (20 steps per ms) remains 6747/6747 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6747/6747 properties
BEST_FIRST walk for 4003 steps (8 resets) in 189 ms. (21 steps per ms) remains 6747/6747 properties
BEST_FIRST walk for 4003 steps (8 resets) in 220 ms. (18 steps per ms) remains 6747/6747 properties
BEST_FIRST walk for 4003 steps (8 resets) in 248 ms. (16 steps per ms) remains 6747/6747 properties
BEST_FIRST walk for 4003 steps (8 resets) in 227 ms. (17 steps per ms) remains 6747/6747 properties
BEST_FIRST walk for 4002 steps (8 resets) in 198 ms. (20 steps per ms) remains 6745/6747 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 6745/6745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 6745/6745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 6745/6745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 6743/6745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 6743/6743 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 6743/6743 properties
BEST_FIRST walk for 4003 steps (8 resets) in 225 ms. (17 steps per ms) remains 6743/6743 properties
BEST_FIRST walk for 4004 steps (8 resets) in 228 ms. (17 steps per ms) remains 6743/6743 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6743/6743 properties
BEST_FIRST walk for 4003 steps (8 resets) in 247 ms. (16 steps per ms) remains 6743/6743 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 6743/6743 properties
BEST_FIRST walk for 4003 steps (8 resets) in 248 ms. (16 steps per ms) remains 6743/6743 properties
BEST_FIRST walk for 4003 steps (8 resets) in 240 ms. (16 steps per ms) remains 6743/6743 properties
BEST_FIRST walk for 4003 steps (8 resets) in 202 ms. (19 steps per ms) remains 6743/6743 properties
BEST_FIRST walk for 4003 steps (8 resets) in 182 ms. (21 steps per ms) remains 6743/6743 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 6743/6743 properties
BEST_FIRST walk for 4004 steps (8 resets) in 265 ms. (15 steps per ms) remains 6743/6743 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 6743/6743 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 6743/6743 properties
BEST_FIRST walk for 4002 steps (8 resets) in 185 ms. (21 steps per ms) remains 6743/6743 properties
BEST_FIRST walk for 4003 steps (8 resets) in 250 ms. (15 steps per ms) remains 6743/6743 properties
BEST_FIRST walk for 4002 steps (8 resets) in 260 ms. (15 steps per ms) remains 6743/6743 properties
BEST_FIRST walk for 4003 steps (8 resets) in 247 ms. (16 steps per ms) remains 6743/6743 properties
BEST_FIRST walk for 4003 steps (8 resets) in 243 ms. (16 steps per ms) remains 6743/6743 properties
BEST_FIRST walk for 4004 steps (8 resets) in 182 ms. (21 steps per ms) remains 6743/6743 properties
BEST_FIRST walk for 4003 steps (8 resets) in 191 ms. (20 steps per ms) remains 6742/6743 properties
BEST_FIRST walk for 4003 steps (8 resets) in 186 ms. (21 steps per ms) remains 6742/6742 properties
BEST_FIRST walk for 4004 steps (8 resets) in 176 ms. (22 steps per ms) remains 6742/6742 properties
BEST_FIRST walk for 4003 steps (8 resets) in 192 ms. (20 steps per ms) remains 6742/6742 properties
BEST_FIRST walk for 4003 steps (8 resets) in 205 ms. (19 steps per ms) remains 6742/6742 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 6742/6742 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 6742/6742 properties
BEST_FIRST walk for 4003 steps (8 resets) in 211 ms. (18 steps per ms) remains 6742/6742 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 6742/6742 properties
BEST_FIRST walk for 4003 steps (8 resets) in 182 ms. (21 steps per ms) remains 6742/6742 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 6742/6742 properties
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 6742/6742 properties
BEST_FIRST walk for 4002 steps (8 resets) in 211 ms. (18 steps per ms) remains 6742/6742 properties
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 6742/6742 properties
BEST_FIRST walk for 4002 steps (8 resets) in 257 ms. (15 steps per ms) remains 6742/6742 properties
BEST_FIRST walk for 4004 steps (8 resets) in 210 ms. (18 steps per ms) remains 6742/6742 properties
BEST_FIRST walk for 4004 steps (8 resets) in 184 ms. (21 steps per ms) remains 6742/6742 properties
BEST_FIRST walk for 4003 steps (8 resets) in 223 ms. (17 steps per ms) remains 6742/6742 properties
BEST_FIRST walk for 4003 steps (8 resets) in 226 ms. (17 steps per ms) remains 6742/6742 properties
BEST_FIRST walk for 4003 steps (8 resets) in 220 ms. (18 steps per ms) remains 6742/6742 properties
BEST_FIRST walk for 4003 steps (8 resets) in 213 ms. (18 steps per ms) remains 6742/6742 properties
BEST_FIRST walk for 4003 steps (8 resets) in 208 ms. (19 steps per ms) remains 6742/6742 properties
BEST_FIRST walk for 4002 steps (8 resets) in 258 ms. (15 steps per ms) remains 6742/6742 properties
BEST_FIRST walk for 4003 steps (8 resets) in 250 ms. (15 steps per ms) remains 6742/6742 properties
BEST_FIRST walk for 4001 steps (8 resets) in 227 ms. (17 steps per ms) remains 6742/6742 properties
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 6742/6742 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 6742/6742 properties
BEST_FIRST walk for 4002 steps (8 resets) in 203 ms. (19 steps per ms) remains 6742/6742 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6742/6742 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 6742/6742 properties
BEST_FIRST walk for 4004 steps (8 resets) in 242 ms. (16 steps per ms) remains 6742/6742 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 6742/6742 properties
BEST_FIRST walk for 4002 steps (8 resets) in 204 ms. (19 steps per ms) remains 6742/6742 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 6742/6742 properties
BEST_FIRST walk for 4003 steps (8 resets) in 258 ms. (15 steps per ms) remains 6742/6742 properties
BEST_FIRST walk for 4002 steps (8 resets) in 197 ms. (20 steps per ms) remains 6742/6742 properties
BEST_FIRST walk for 4003 steps (8 resets) in 255 ms. (15 steps per ms) remains 6739/6742 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 6739/6739 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 6739/6739 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 6739/6739 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6739/6739 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6739/6739 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6739/6739 properties
BEST_FIRST walk for 4003 steps (8 resets) in 259 ms. (15 steps per ms) remains 6739/6739 properties
BEST_FIRST walk for 4004 steps (8 resets) in 261 ms. (15 steps per ms) remains 6739/6739 properties
BEST_FIRST walk for 4002 steps (8 resets) in 222 ms. (17 steps per ms) remains 6739/6739 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 6739/6739 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 6739/6739 properties
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 6739/6739 properties
BEST_FIRST walk for 4004 steps (8 resets) in 266 ms. (14 steps per ms) remains 6739/6739 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 6736/6739 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 6736/6736 properties
BEST_FIRST walk for 4003 steps (8 resets) in 222 ms. (17 steps per ms) remains 6736/6736 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 6736/6736 properties
BEST_FIRST walk for 4003 steps (8 resets) in 225 ms. (17 steps per ms) remains 6736/6736 properties
BEST_FIRST walk for 4003 steps (8 resets) in 175 ms. (22 steps per ms) remains 6736/6736 properties
BEST_FIRST walk for 4004 steps (8 resets) in 208 ms. (19 steps per ms) remains 6736/6736 properties
BEST_FIRST walk for 4003 steps (8 resets) in 216 ms. (18 steps per ms) remains 6736/6736 properties
BEST_FIRST walk for 4002 steps (8 resets) in 244 ms. (16 steps per ms) remains 6736/6736 properties
BEST_FIRST walk for 4004 steps (8 resets) in 272 ms. (14 steps per ms) remains 6736/6736 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 6736/6736 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 6736/6736 properties
BEST_FIRST walk for 4003 steps (8 resets) in 202 ms. (19 steps per ms) remains 6735/6736 properties
BEST_FIRST walk for 4002 steps (8 resets) in 231 ms. (17 steps per ms) remains 6735/6735 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 6735/6735 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6735/6735 properties
BEST_FIRST walk for 4003 steps (8 resets) in 218 ms. (18 steps per ms) remains 6735/6735 properties
Reachability property qltransition_7103 is true.
Reachability property qltransition_7097 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 246 ms. (16 steps per ms) remains 6735/6735 properties
Reachability property qltransition_7078 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 191 ms. (20 steps per ms) remains 6735/6735 properties
BEST_FIRST walk for 4003 steps (8 resets) in 220 ms. (18 steps per ms) remains 6735/6735 properties
BEST_FIRST walk for 4002 steps (8 resets) in 228 ms. (17 steps per ms) remains 6735/6735 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6735/6735 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6735/6735 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 6735/6735 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6735/6735 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 6735/6735 properties
BEST_FIRST walk for 4003 steps (8 resets) in 187 ms. (21 steps per ms) remains 6735/6735 properties
BEST_FIRST walk for 4004 steps (8 resets) in 216 ms. (18 steps per ms) remains 6735/6735 properties
BEST_FIRST walk for 4002 steps (8 resets) in 222 ms. (17 steps per ms) remains 6735/6735 properties
BEST_FIRST walk for 4003 steps (8 resets) in 218 ms. (18 steps per ms) remains 6735/6735 properties
Reachability property qltransition_7069 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 6735/6735 properties
BEST_FIRST walk for 4003 steps (8 resets) in 261 ms. (15 steps per ms) remains 6735/6735 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 6735/6735 properties
BEST_FIRST walk for 4003 steps (8 resets) in 226 ms. (17 steps per ms) remains 6735/6735 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 6735/6735 properties
BEST_FIRST walk for 4002 steps (8 resets) in 211 ms. (18 steps per ms) remains 6735/6735 properties
BEST_FIRST walk for 4003 steps (8 resets) in 227 ms. (17 steps per ms) remains 6735/6735 properties
BEST_FIRST walk for 4003 steps (8 resets) in 209 ms. (19 steps per ms) remains 6735/6735 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 6735/6735 properties
BEST_FIRST walk for 4003 steps (8 resets) in 189 ms. (21 steps per ms) remains 6735/6735 properties
BEST_FIRST walk for 4004 steps (8 resets) in 210 ms. (18 steps per ms) remains 6735/6735 properties
BEST_FIRST walk for 4002 steps (8 resets) in 229 ms. (17 steps per ms) remains 6735/6735 properties
BEST_FIRST walk for 4002 steps (8 resets) in 203 ms. (19 steps per ms) remains 6735/6735 properties
BEST_FIRST walk for 4004 steps (8 resets) in 178 ms. (22 steps per ms) remains 6735/6735 properties
BEST_FIRST walk for 4003 steps (8 resets) in 205 ms. (19 steps per ms) remains 6735/6735 properties
BEST_FIRST walk for 4003 steps (8 resets) in 209 ms. (19 steps per ms) remains 6731/6735 properties
BEST_FIRST walk for 4003 steps (8 resets) in 256 ms. (15 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 245 ms. (16 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4003 steps (8 resets) in 247 ms. (16 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4003 steps (8 resets) in 191 ms. (20 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4003 steps (8 resets) in 269 ms. (14 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4003 steps (8 resets) in 248 ms. (16 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4003 steps (8 resets) in 191 ms. (20 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4003 steps (8 resets) in 190 ms. (20 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4003 steps (8 resets) in 223 ms. (17 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4003 steps (8 resets) in 255 ms. (15 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4003 steps (8 resets) in 233 ms. (17 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4002 steps (8 resets) in 257 ms. (15 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4003 steps (8 resets) in 263 ms. (15 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4002 steps (8 resets) in 248 ms. (16 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4003 steps (8 resets) in 256 ms. (15 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4003 steps (8 resets) in 272 ms. (14 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4002 steps (8 resets) in 195 ms. (20 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4003 steps (8 resets) in 244 ms. (16 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4002 steps (8 resets) in 216 ms. (18 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4003 steps (8 resets) in 240 ms. (16 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4003 steps (8 resets) in 241 ms. (16 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4003 steps (8 resets) in 242 ms. (16 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 216 ms. (18 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4003 steps (8 resets) in 213 ms. (18 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4002 steps (8 resets) in 209 ms. (19 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4003 steps (8 resets) in 194 ms. (20 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4002 steps (8 resets) in 218 ms. (18 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4002 steps (8 resets) in 196 ms. (20 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4002 steps (8 resets) in 192 ms. (20 steps per ms) remains 6731/6731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 6731/6731 properties
Reachability property qltransition_7061 is true.
Reachability property qltransition_7029 is true.
Reachability property qltransition_7012 is true.
Reachability property qltransition_6980 is true.
Reachability property qltransition_6917 is true.
Reachability property qltransition_6910 is true.
Reachability property qltransition_6896 is true.
Reachability property qltransition_6872 is true.
Reachability property qltransition_6827 is true.
Reachability property qltransition_6819 is true.
Reachability property qltransition_6818 is true.
Reachability property qltransition_6813 is true.
Reachability property qltransition_6776 is true.
Reachability property qltransition_6729 is true.
Reachability property qltransition_6715 is true.
Reachability property qltransition_6713 is true.
Reachability property qltransition_6684 is true.
Reachability property qltransition_6670 is true.
Reachability property qltransition_6644 is true.
Reachability property qltransition_6631 is true.
Reachability property qltransition_6599 is true.
Reachability property qltransition_6573 is true.
Reachability property qltransition_6546 is true.
Reachability property qltransition_6488 is true.
Reachability property qltransition_6465 is true.
Reachability property qltransition_6458 is true.
Reachability property qltransition_6452 is true.
Reachability property qltransition_6439 is true.
Reachability property qltransition_6384 is true.
Reachability property qltransition_6357 is true.
Reachability property qltransition_6316 is true.
Reachability property qltransition_6284 is true.
Reachability property qltransition_6273 is true.
Reachability property qltransition_6259 is true.
Reachability property qltransition_6182 is true.
Reachability property qltransition_6179 is true.
Reachability property qltransition_6127 is true.
Reachability property qltransition_6092 is true.
Reachability property qltransition_6059 is true.
Reachability property qltransition_6052 is true.
Reachability property qltransition_6039 is true.
Reachability property qltransition_6013 is true.
Reachability property qltransition_6006 is true.
Reachability property qltransition_5989 is true.
Reachability property qltransition_5942 is true.
Reachability property qltransition_5912 is true.
Reachability property qltransition_5910 is true.
Reachability property qltransition_5817 is true.
Reachability property qltransition_5809 is true.
Reachability property qltransition_5751 is true.
Reachability property qltransition_5740 is true.
Reachability property qltransition_5727 is true.
Reachability property qltransition_5714 is true.
Reachability property qltransition_5698 is true.
Reachability property qltransition_5696 is true.
Reachability property qltransition_5684 is true.
Reachability property qltransition_5681 is true.
Reachability property qltransition_5669 is true.
Reachability property qltransition_5666 is true.
Reachability property qltransition_5642 is true.
Reachability property qltransition_5621 is true.
Reachability property qltransition_5574 is true.
Reachability property qltransition_5557 is true.
Reachability property qltransition_5552 is true.
Reachability property qltransition_5479 is true.
Reachability property qltransition_5456 is true.
Reachability property qltransition_5429 is true.
Reachability property qltransition_5427 is true.
Reachability property qltransition_5410 is true.
Reachability property qltransition_5387 is true.
Reachability property qltransition_5376 is true.
Reachability property qltransition_5370 is true.
Reachability property qltransition_5343 is true.
Reachability property qltransition_5324 is true.
Reachability property qltransition_5303 is true.
Reachability property qltransition_5301 is true.
Reachability property qltransition_5278 is true.
Reachability property qltransition_5274 is true.
Reachability property qltransition_5266 is true.
Reachability property qltransition_5257 is true.
Reachability property qltransition_5249 is true.
Reachability property qltransition_5210 is true.
Reachability property qltransition_5208 is true.
Reachability property qltransition_5183 is true.
Reachability property qltransition_5138 is true.
Reachability property qltransition_5133 is true.
Reachability property qltransition_5131 is true.
Reachability property qltransition_5119 is true.
Reachability property qltransition_5092 is true.
Reachability property qltransition_5088 is true.
Reachability property qltransition_5068 is true.
Probabilistic random walk after 1000000 steps, saw 175695 distinct states, run finished after 161517 ms. (steps per millisecond=6 ) properties seen :0
[2025-06-05 22:37:17] [INFO ] Invariant cache hit.
[2025-06-05 22:37:17] [INFO ] State equation strengthened by 8020 read => feed constraints.
Reachability property qltransition_5038 is true.
Reachability property qltransition_4996 is true.
Reachability property qltransition_4971 is true.
Reachability property qltransition_4966 is true.
Reachability property qltransition_4957 is true.
Reachability property qltransition_4944 is true.
Reachability property qltransition_4936 is true.
Reachability property qltransition_4896 is true.
Reachability property qltransition_4893 is true.
Reachability property qltransition_4836 is true.
Reachability property qltransition_4766 is true.
Reachability property qltransition_4739 is true.
Reachability property qltransition_4723 is true.
Reachability property qltransition_4712 is true.
Starting Z3 with timeout 75.0 s and query timeout 7500.0 ms
Reachability property qltransition_4710 is true.
Reachability property qltransition_4704 is true.
Reachability property qltransition_4618 is true.
Reachability property qltransition_4590 is true.
Reachability property qltransition_4579 is true.
Reachability property qltransition_4573 is true.
Reachability property qltransition_4538 is true.
Reachability property qltransition_4529 is true.
Reachability property qltransition_4519 is true.
Reachability property qltransition_4513 is true.
Reachability property qltransition_4477 is true.
Reachability property qltransition_4463 is true.
Reachability property qltransition_4457 is true.
Reachability property qltransition_4432 is true.
Reachability property qltransition_4407 is true.
Reachability property qltransition_4396 is true.
Reachability property qltransition_4376 is true.
Reachability property qltransition_4372 is true.
Reachability property qltransition_4363 is true.
Reachability property qltransition_4343 is true.
Detected timeout of ITS tools.
[2025-06-05 22:38:26] [INFO ] Flatten gal took : 235 ms
[2025-06-05 22:38:26] [INFO ] Applying decomposition
[2025-06-05 22:38:26] [INFO ] Flatten gal took : 243 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph9888725443269571528.txt' '-o' '/tmp/graph9888725443269571528.bin' '-w' '/tmp/graph9888725443269571528.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph9888725443269571528.bin' '-l' '-1' '-v' '-w' '/tmp/graph9888725443269571528.weights' '-q' '0' '-e' '0.001'
[2025-06-05 22:38:27] [INFO ] Decomposing Gal with order
[2025-06-05 22:38:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-05 22:38:28] [INFO ] Removed a total of 19323 redundant transitions.
[2025-06-05 22:38:28] [INFO ] Flatten gal took : 785 ms
[2025-06-05 22:38:30] [INFO ] Fuse similar labels procedure discarded/fused a total of 18 labels/synchronizations in 309 ms.
[2025-06-05 22:38:30] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality13338065517815824709.gal : 66 ms
[2025-06-05 22:38:30] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality9217551601750041924.prop : 25 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.202505121319/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality13338065517815824709.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality9217551601750041924.prop' '--nowitness'

its-reach command run as :

/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...308
Loading property file /tmp/ReachabilityCardinality9217551601750041924.prop.
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 2 solved, 6713 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/441 variables, 21/462 constraints. Problems are: Problem set: 3 solved, 6712 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 441/8862 variables, and 462 constraints, problems are : Problem set: 3 solved, 6712 unsolved in 75096 ms.
Refiners :[Domain max(s): 441/441 constraints, Positive P Invariants (semi-flows): 21/21 constraints, State Equation: 0/441 constraints, ReadFeed: 0/8020 constraints, PredecessorRefiner: 6715/6715 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 3 solved, 6712 unsolved
Starting Z3 with timeout 75.0 s and query timeout 7500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 3 solved, 6712 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/441 variables, 21/462 constraints. Problems are: Problem set: 3 solved, 6712 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:38:50] [INFO ] Deduced a trap composed of 219 places in 711 ms of which 128 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:38:51] [INFO ] Deduced a trap composed of 218 places in 724 ms of which 92 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:38:52] [INFO ] Deduced a trap composed of 218 places in 638 ms of which 106 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:38:53] [INFO ] Deduced a trap composed of 218 places in 1044 ms of which 400 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:39:06] [INFO ] Deduced a trap composed of 284 places in 12550 ms of which 12006 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:39:11] [INFO ] Deduced a trap composed of 218 places in 5604 ms of which 5078 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:39:12] [INFO ] Deduced a trap composed of 218 places in 698 ms of which 177 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:39:13] [INFO ] Deduced a trap composed of 218 places in 689 ms of which 122 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:39:13] [INFO ] Deduced a trap composed of 218 places in 602 ms of which 99 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:39:14] [INFO ] Deduced a trap composed of 218 places in 641 ms of which 112 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:39:15] [INFO ] Deduced a trap composed of 218 places in 729 ms of which 113 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:39:15] [INFO ] Deduced a trap composed of 218 places in 635 ms of which 104 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:39:16] [INFO ] Deduced a trap composed of 218 places in 628 ms of which 115 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:39:17] [INFO ] Deduced a trap composed of 218 places in 624 ms of which 113 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:39:17] [INFO ] Deduced a trap composed of 218 places in 630 ms of which 104 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:39:18] [INFO ] Deduced a trap composed of 217 places in 644 ms of which 105 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:39:18] [INFO ] Deduced a trap composed of 217 places in 635 ms of which 126 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:39:19] [INFO ] Deduced a trap composed of 217 places in 667 ms of which 133 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:39:20] [INFO ] Deduced a trap composed of 217 places in 633 ms of which 116 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:39:20] [INFO ] Deduced a trap composed of 218 places in 647 ms of which 120 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/441 variables, 20/482 constraints. Problems are: Problem set: 3 solved, 6712 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 441/8862 variables, and 482 constraints, problems are : Problem set: 3 solved, 6712 unsolved in 75115 ms.
Refiners :[Domain max(s): 441/441 constraints, Positive P Invariants (semi-flows): 21/21 constraints, State Equation: 0/441 constraints, ReadFeed: 0/8020 constraints, PredecessorRefiner: 0/6715 constraints, Known Traps: 20/20 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 159259ms problems are : Problem set: 3 solved, 6712 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 441 out of 441 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 441/441 places, 8421/8421 transitions.
Applied a total of 0 rules in 133 ms. Remains 441 /441 variables (removed 0) and now considering 8421/8421 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 133 ms. Remains : 441/441 places, 8421/8421 transitions.
RANDOM walk for 175227 steps (0 resets) in 120004 ms. (1 steps per ms) remains 6690/6712 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 6690/6690 properties
BEST_FIRST walk for 4003 steps (8 resets) in 204 ms. (19 steps per ms) remains 6690/6690 properties
BEST_FIRST walk for 4003 steps (8 resets) in 214 ms. (18 steps per ms) remains 6690/6690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 6690/6690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 6690/6690 properties
BEST_FIRST walk for 4003 steps (8 resets) in 216 ms. (18 steps per ms) remains 6690/6690 properties
BEST_FIRST walk for 4003 steps (8 resets) in 202 ms. (19 steps per ms) remains 6690/6690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 6690/6690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 6690/6690 properties
BEST_FIRST walk for 4002 steps (8 resets) in 209 ms. (19 steps per ms) remains 6690/6690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 6690/6690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 210 ms. (18 steps per ms) remains 6690/6690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 6690/6690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 242 ms. (16 steps per ms) remains 6690/6690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 6690/6690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 6690/6690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6690/6690 properties
BEST_FIRST walk for 4002 steps (8 resets) in 221 ms. (18 steps per ms) remains 6690/6690 properties
BEST_FIRST walk for 4002 steps (8 resets) in 224 ms. (17 steps per ms) remains 6690/6690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 6690/6690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6690/6690 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 6690/6690 properties
BEST_FIRST walk for 4002 steps (8 resets) in 177 ms. (22 steps per ms) remains 6690/6690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 216 ms. (18 steps per ms) remains 6690/6690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 6690/6690 properties
BEST_FIRST walk for 4003 steps (8 resets) in 208 ms. (19 steps per ms) remains 6690/6690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6690/6690 properties
BEST_FIRST walk for 4002 steps (8 resets) in 200 ms. (19 steps per ms) remains 6690/6690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 6690/6690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 249 ms. (16 steps per ms) remains 6690/6690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 239 ms. (16 steps per ms) remains 6690/6690 properties
BEST_FIRST walk for 4003 steps (8 resets) in 197 ms. (20 steps per ms) remains 6690/6690 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 6687/6690 properties
BEST_FIRST walk for 4003 steps (8 resets) in 207 ms. (19 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4002 steps (8 resets) in 195 ms. (20 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4003 steps (8 resets) in 182 ms. (21 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4003 steps (8 resets) in 268 ms. (14 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4003 steps (8 resets) in 245 ms. (16 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4003 steps (8 resets) in 290 ms. (13 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4003 steps (8 resets) in 271 ms. (14 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4003 steps (8 resets) in 286 ms. (13 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4003 steps (8 resets) in 295 ms. (13 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 269 ms. (14 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4003 steps (8 resets) in 291 ms. (13 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 281 ms. (14 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4003 steps (8 resets) in 304 ms. (13 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 283 ms. (14 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4002 steps (8 resets) in 247 ms. (16 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 277 ms. (14 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 268 ms. (14 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 281 ms. (14 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4003 steps (8 resets) in 283 ms. (14 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4003 steps (8 resets) in 272 ms. (14 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 281 ms. (14 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 285 ms. (14 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4003 steps (8 resets) in 210 ms. (18 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 257 ms. (15 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 321 ms. (12 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 315 ms. (12 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 302 ms. (13 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4003 steps (8 resets) in 296 ms. (13 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 305 ms. (13 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4002 steps (8 resets) in 294 ms. (13 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 282 ms. (14 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 279 ms. (14 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4003 steps (8 resets) in 248 ms. (16 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 257 ms. (15 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 253 ms. (15 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4002 steps (8 resets) in 225 ms. (17 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4003 steps (8 resets) in 294 ms. (13 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 6687/6687 properties
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 6687/6687 properties
Interrupted probabilistic random walk after 821067 steps, run timeout after 108001 ms. (steps per millisecond=7 ) properties seen :0 out of 6687
Probabilistic random walk after 821067 steps, saw 148285 distinct states, run finished after 108008 ms. (steps per millisecond=7 ) properties seen :0
[2025-06-05 22:42:21] [INFO ] Invariant cache hit.
[2025-06-05 22:42:21] [INFO ] State equation strengthened by 8020 read => feed constraints.
Starting Z3 with timeout 90.0 s and query timeout 9000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 6687 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/441 variables, 21/462 constraints. Problems are: Problem set: 0 solved, 6687 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:43:39] [INFO ] Deduced a trap composed of 219 places in 676 ms of which 112 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:43:39] [INFO ] Deduced a trap composed of 218 places in 655 ms of which 92 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:43:40] [INFO ] Deduced a trap composed of 218 places in 664 ms of which 100 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:43:41] [INFO ] Deduced a trap composed of 218 places in 695 ms of which 123 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:43:42] [INFO ] Deduced a trap composed of 218 places in 917 ms of which 344 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:43:42] [INFO ] Deduced a trap composed of 218 places in 734 ms of which 162 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:43:55] [INFO ] Deduced a trap composed of 286 places in 12573 ms of which 12002 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:43:56] [INFO ] Deduced a trap composed of 218 places in 653 ms of which 142 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:43:56] [INFO ] Deduced a trap composed of 218 places in 686 ms of which 144 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:43:57] [INFO ] Deduced a trap composed of 218 places in 622 ms of which 95 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:43:58] [INFO ] Deduced a trap composed of 218 places in 599 ms of which 92 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:43:59] [INFO ] Deduced a trap composed of 218 places in 1283 ms of which 755 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:44:00] [INFO ] Deduced a trap composed of 218 places in 712 ms of which 125 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:44:00] [INFO ] Deduced a trap composed of 218 places in 637 ms of which 93 ms to minimize.
SMT process timed out in 99317ms, After SMT, problems are : Problem set: 0 solved, 6687 unsolved
Fused 6687 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 441 out of 441 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 441/441 places, 8421/8421 transitions.
Applied a total of 0 rules in 119 ms. Remains 441 /441 variables (removed 0) and now considering 8421/8421 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 120 ms. Remains : 441/441 places, 8421/8421 transitions.
RANDOM walk for 198073 steps (0 resets) in 120004 ms. (1 steps per ms) remains 6677/6687 properties
BEST_FIRST walk for 4003 steps (8 resets) in 211 ms. (18 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4002 steps (8 resets) in 190 ms. (20 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4002 steps (8 resets) in 217 ms. (18 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4003 steps (8 resets) in 192 ms. (20 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4002 steps (8 resets) in 204 ms. (19 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4003 steps (8 resets) in 199 ms. (20 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4004 steps (8 resets) in 176 ms. (22 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4003 steps (8 resets) in 183 ms. (21 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4002 steps (8 resets) in 262 ms. (15 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4004 steps (8 resets) in 236 ms. (16 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4003 steps (8 resets) in 245 ms. (16 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4003 steps (8 resets) in 258 ms. (15 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4003 steps (8 resets) in 216 ms. (18 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4001 steps (8 resets) in 273 ms. (14 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4003 steps (8 resets) in 209 ms. (19 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4003 steps (8 resets) in 219 ms. (18 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4003 steps (8 resets) in 205 ms. (19 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4004 steps (8 resets) in 181 ms. (22 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4004 steps (8 resets) in 182 ms. (21 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4002 steps (8 resets) in 197 ms. (20 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4003 steps (8 resets) in 211 ms. (18 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4003 steps (8 resets) in 215 ms. (18 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4004 steps (8 resets) in 208 ms. (19 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4003 steps (8 resets) in 197 ms. (20 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4002 steps (8 resets) in 197 ms. (20 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4003 steps (8 resets) in 174 ms. (22 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4003 steps (8 resets) in 189 ms. (21 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4003 steps (8 resets) in 238 ms. (16 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4004 steps (8 resets) in 423 ms. (9 steps per ms) remains 6677/6677 properties
BEST_FIRST walk for 4002 steps (8 resets) in 245 ms. (16 steps per ms) remains 6676/6677 properties
BEST_FIRST walk for 4003 steps (8 resets) in 244 ms. (16 steps per ms) remains 6676/6676 properties
BEST_FIRST walk for 4003 steps (8 resets) in 235 ms. (16 steps per ms) remains 6676/6676 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6676/6676 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6676/6676 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 6676/6676 properties
BEST_FIRST walk for 4003 steps (8 resets) in 196 ms. (20 steps per ms) remains 6676/6676 properties
BEST_FIRST walk for 4003 steps (8 resets) in 182 ms. (21 steps per ms) remains 6676/6676 properties
BEST_FIRST walk for 4004 steps (8 resets) in 217 ms. (18 steps per ms) remains 6676/6676 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6676/6676 properties
BEST_FIRST walk for 4004 steps (8 resets) in 210 ms. (18 steps per ms) remains 6676/6676 properties
BEST_FIRST walk for 4003 steps (8 resets) in 197 ms. (20 steps per ms) remains 6676/6676 properties
BEST_FIRST walk for 4004 steps (8 resets) in 215 ms. (18 steps per ms) remains 6676/6676 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 6676/6676 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 6676/6676 properties
BEST_FIRST walk for 4003 steps (8 resets) in 177 ms. (22 steps per ms) remains 6676/6676 properties
BEST_FIRST walk for 4003 steps (8 resets) in 186 ms. (21 steps per ms) remains 6676/6676 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6676/6676 properties
BEST_FIRST walk for 4003 steps (8 resets) in 175 ms. (22 steps per ms) remains 6676/6676 properties
BEST_FIRST walk for 4003 steps (8 resets) in 240 ms. (16 steps per ms) remains 6676/6676 properties
BEST_FIRST walk for 4002 steps (8 resets) in 244 ms. (16 steps per ms) remains 6676/6676 properties
BEST_FIRST walk for 4003 steps (8 resets) in 206 ms. (19 steps per ms) remains 6676/6676 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6675/6676 properties
BEST_FIRST walk for 4004 steps (8 resets) in 170 ms. (23 steps per ms) remains 6674/6675 properties
BEST_FIRST walk for 4003 steps (8 resets) in 192 ms. (20 steps per ms) remains 6674/6674 properties
BEST_FIRST walk for 4004 steps (8 resets) in 184 ms. (21 steps per ms) remains 6674/6674 properties
BEST_FIRST walk for 4002 steps (8 resets) in 192 ms. (20 steps per ms) remains 6673/6674 properties
BEST_FIRST walk for 4002 steps (8 resets) in 172 ms. (23 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4004 steps (8 resets) in 182 ms. (21 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4004 steps (8 resets) in 176 ms. (22 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4002 steps (8 resets) in 202 ms. (19 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4003 steps (8 resets) in 236 ms. (16 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4003 steps (8 resets) in 195 ms. (20 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4004 steps (8 resets) in 221 ms. (18 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4003 steps (8 resets) in 219 ms. (18 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4002 steps (8 resets) in 216 ms. (18 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4004 steps (8 resets) in 245 ms. (16 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4004 steps (8 resets) in 217 ms. (18 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4004 steps (8 resets) in 183 ms. (21 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4003 steps (8 resets) in 180 ms. (22 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4003 steps (8 resets) in 184 ms. (21 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4003 steps (8 resets) in 191 ms. (20 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4004 steps (8 resets) in 180 ms. (22 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4003 steps (8 resets) in 182 ms. (21 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4003 steps (8 resets) in 191 ms. (20 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4003 steps (8 resets) in 177 ms. (22 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4004 steps (8 resets) in 183 ms. (21 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4004 steps (8 resets) in 182 ms. (21 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4003 steps (8 resets) in 187 ms. (21 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4003 steps (8 resets) in 182 ms. (21 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4004 steps (8 resets) in 171 ms. (23 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4004 steps (8 resets) in 216 ms. (18 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4003 steps (8 resets) in 191 ms. (20 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6673/6673 properties
BEST_FIRST walk for 4002 steps (8 resets) in 179 ms. (22 steps per ms) remains 6673/6673 properties
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
petri\_inst\_inst\_mod\_flat,2.44663e+10,438.565,5847700,155585,14,7.94736e+06,1703,18367,1.9785e+07,20,2212,0
Total reachable state count : 24466267459

Verifying 6712 reachability properties.
Reachability property qltransition_1 does not hold.
ITS tools runner thread asked to quit. Dying gracefully.
Interrupted probabilistic random walk after 847507 steps, run timeout after 114001 ms. (steps per millisecond=7 ) properties seen :0 out of 6673
Probabilistic random walk after 847507 steps, saw 152347 distinct states, run finished after 114004 ms. (steps per millisecond=7 ) properties seen :0
FORMULA Liveness FALSE TECHNIQUES QUASILIVENESS_TEST
Total runtime 1261962 ms.

BK_STOP 1749163593746

--------------------
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
+ [[ Liveness = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution Liveness -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.202505121319.jar
+ VERSION=202505121319
+ echo 'Running Version 202505121319'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination Liveness -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="TokenRing-PT-020"
export BK_EXAMINATION="Liveness"
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-5832"
echo " Executing tool itstools"
echo " Input is TokenRing-PT-020, examination is Liveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r245-tall-174915598600224"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/TokenRing-PT-020.tgz
mv TokenRing-PT-020 execution
cd execution
if [ "Liveness" = "ReachabilityDeadlock" ] || [ "Liveness" = "UpperBounds" ] || [ "Liveness" = "QuasiLiveness" ] || [ "Liveness" = "StableMarking" ] || [ "Liveness" = "Liveness" ] || [ "Liveness" = "OneSafe" ] || [ "Liveness" = "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 [ "Liveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "Liveness" != "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 "Liveness.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 '' Liveness.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "Liveness" = "ReachabilityDeadlock" ] || [ "Liveness" = "QuasiLiveness" ] || [ "Liveness" = "StableMarking" ] || [ "Liveness" = "Liveness" ] || [ "Liveness" = "OneSafe" ] ; then
echo "FORMULA_NAME Liveness"
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 ;