Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2024-input.r431-smll-171690581400112.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-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-5568
Executing tool itstools
Input is TokenRing-PT-020, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r431-smll-171690581400112
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 100M
-rw-r--r-- 1 mcc users 267K Apr 11 19:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 1.3M Apr 11 19:59 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4M Apr 11 19:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 19M Apr 11 19:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:43 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 216K Apr 23 08:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 735K Apr 23 08:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1M Apr 23 08:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 5.8M Apr 23 08:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 795K Apr 11 21:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 3.8M Apr 11 21:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13M Apr 11 20:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 44M Apr 11 20:27 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 47K Apr 23 08:02 UpperBounds.txt
-rw-r--r-- 1 mcc users 121K Apr 23 08:02 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 4 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 4.0M May 18 16:43 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME QuasiLiveness

=== Now, execution of the tool begins

BK_START 1716980057920

Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=QuasiLiveness
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
QuasiLiveness PT
Running Version 202405141337
[2024-05-29 10:54:19] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2024-05-29 10:54:19] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-29 10:54:20] [INFO ] Load time of PNML (sax parser for PT used): 685 ms
[2024-05-29 10:54:20] [INFO ] Transformed 441 places.
[2024-05-29 10:54:20] [INFO ] Transformed 8421 transitions.
[2024-05-29 10:54:20] [INFO ] Found NUPN structural information;
[2024-05-29 10:54:20] [INFO ] Parsed PT model containing 441 places and 8421 transitions and 33684 arcs in 985 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 441/441 places, 8421/8421 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
[2024-05-29 10:54:21] [INFO ] Computed 21 invariants in 90 ms
[2024-05-29 10:54:23] [INFO ] Implicit Places using invariants in 2120 ms returned []
[2024-05-29 10:54:23] [INFO ] Invariant cache hit.
[2024-05-29 10:54:26] [INFO ] State equation strengthened by 8020 read => feed constraints.
[2024-05-29 10:54:58] [INFO ] Performed 311/441 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2024-05-29 10:55:08] [INFO ] Implicit Places using invariants and state equation in 44883 ms returned []
Implicit Place search using SMT with State Equation took 47071 ms to find 0 implicit places.
Running 8401 sub problems to find dead transitions.
[2024-05-29 10:55:08] [INFO ] Invariant cache hit.
[2024-05-29 10:55:08] [INFO ] State equation strengthened by 8020 read => feed constraints.
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 52063ms, After SMT, problems are : Problem set: 0 solved, 8401 unsolved
Search for dead transitions found 0 dead transitions in 52244ms
Finished structural reductions in LIVENESS mode , in 1 iterations and 99624 ms. Remains : 441/441 places, 8421/8421 transitions.
Initial state reduction rules removed 20 formulas.
[2024-05-29 10:56:03] [INFO ] Flatten gal took : 1326 ms
[2024-05-29 10:56:04] [INFO ] Flatten gal took : 824 ms
[2024-05-29 10:56:04] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality3410282074727823078.gal : 263 ms
[2024-05-29 10:56:04] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality5571691936811005074.prop : 99 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.202405141337/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality3410282074727823078.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality5571691936811005074.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.202405141337/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...328
Loading property file /tmp/ReachabilityCardinality5571691936811005074.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 89830 ms. (0 steps per ms) remains 7497/8401 properties
Reachability property qltransition_2065 is true.
BEST_FIRST walk for 124 steps (8 resets) in 41 ms. (2 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 25 ms. (4 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 54 ms. (2 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 50 ms. (2 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 36 ms. (3 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 34 ms. (3 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 29 ms. (4 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 32 ms. (3 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 30 ms. (4 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 36 ms. (3 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 26 ms. (4 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 32 ms. (3 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 27 ms. (4 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 42 ms. (2 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 31 ms. (3 steps per ms) remains 7497/7497 properties
Reachability property qltransition_347 is true.
BEST_FIRST walk for 124 steps (8 resets) in 36 ms. (3 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 27 ms. (4 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 47 ms. (2 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 26 ms. (4 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 30 ms. (4 steps per ms) remains 7497/7497 properties
SDD proceeding with computation,8384 properties remain. new max is 2
SDD size :29 after 33
BEST_FIRST walk for 124 steps (8 resets) in 35 ms. (3 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 29 ms. (4 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 78 ms. (1 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 37 ms. (3 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 47 ms. (2 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 37 ms. (3 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 39 ms. (3 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 32 ms. (3 steps per ms) remains 7497/7497 properties
Reachability property qltransition_7631 is true.
BEST_FIRST walk for 124 steps (8 resets) in 36 ms. (3 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 25 ms. (4 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 47 ms. (2 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 23 ms. (5 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 22 ms. (5 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 28 ms. (4 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 28 ms. (4 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 26 ms. (4 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 31 ms. (3 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 30 ms. (4 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 26 ms. (4 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 26 ms. (4 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 27 ms. (4 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 26 ms. (4 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 25 ms. (4 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 22 ms. (5 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 17 ms. (6 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 30 ms. (4 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 22 ms. (5 steps per ms) remains 7497/7497 properties
BEST_FIRST walk for 124 steps (8 resets) in 30 ms. (4 steps per ms) remains 7497/7497 properties
[2024-05-29 10:56:24] [INFO ] Invariant cache hit.
[2024-05-29 10:56:24] [INFO ] State equation strengthened by 8020 read => feed constraints.
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
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.
Reachability property qltransition_3289 is true.
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.
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 21 solved, 7474 unsolved
SMT process timed out in 23764ms, After SMT, problems are : Problem set: 21 solved, 7474 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 349 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 351 ms. Remains : 441/441 places, 8421/8421 transitions.
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.
RANDOM walk for 144030 steps (0 resets) in 120004 ms. (1 steps per ms) remains 7404/7474 properties
BEST_FIRST walk for 4003 steps (8 resets) in 216 ms. (18 steps per ms) remains 7384/7404 properties
BEST_FIRST walk for 4003 steps (8 resets) in 243 ms. (16 steps per ms) remains 7371/7384 properties
BEST_FIRST walk for 4003 steps (8 resets) in 254 ms. (15 steps per ms) remains 7357/7371 properties
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 7343/7357 properties
BEST_FIRST walk for 4004 steps (8 resets) in 249 ms. (16 steps per ms) remains 7337/7343 properties
BEST_FIRST walk for 4004 steps (8 resets) in 288 ms. (13 steps per ms) remains 7328/7337 properties
BEST_FIRST walk for 4003 steps (8 resets) in 313 ms. (12 steps per ms) remains 7326/7328 properties
BEST_FIRST walk for 4004 steps (8 resets) in 346 ms. (11 steps per ms) remains 7321/7326 properties
Reachability property qltransition_3753 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 350 ms. (11 steps per ms) remains 7314/7321 properties
Reachability property qltransition_3152 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 359 ms. (11 steps per ms) remains 7310/7314 properties
Reachability property qltransition_3094 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 331 ms. (12 steps per ms) remains 7302/7310 properties
BEST_FIRST walk for 4003 steps (8 resets) in 247 ms. (16 steps per ms) remains 7295/7302 properties
BEST_FIRST walk for 4003 steps (8 resets) in 242 ms. (16 steps per ms) remains 7292/7295 properties
BEST_FIRST walk for 4003 steps (8 resets) in 238 ms. (16 steps per ms) remains 7289/7292 properties
BEST_FIRST walk for 4003 steps (8 resets) in 243 ms. (16 steps per ms) remains 7283/7289 properties
Reachability property qltransition_971 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 249 ms. (16 steps per ms) remains 7279/7283 properties
BEST_FIRST walk for 4003 steps (8 resets) in 262 ms. (15 steps per ms) remains 7276/7279 properties
Reachability property qltransition_0 is true.
SDD proceeding with computation,8236 properties remain. new max is 32
SDD size :13364 after 16796
BEST_FIRST walk for 4003 steps (8 resets) in 241 ms. (16 steps per ms) remains 7263/7276 properties
BEST_FIRST walk for 4003 steps (8 resets) in 254 ms. (15 steps per ms) remains 7262/7263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 7262/7262 properties
BEST_FIRST walk for 4003 steps (8 resets) in 235 ms. (16 steps per ms) remains 7260/7262 properties
Reachability property qltransition_7558 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 7259/7260 properties
Reachability property qltransition_7429 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 7253/7259 properties
BEST_FIRST walk for 4002 steps (8 resets) in 252 ms. (15 steps per ms) remains 7251/7253 properties
BEST_FIRST walk for 4003 steps (8 resets) in 237 ms. (16 steps per ms) remains 7250/7251 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 7248/7250 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 7246/7248 properties
BEST_FIRST walk for 4002 steps (8 resets) in 232 ms. (17 steps per ms) remains 7244/7246 properties
Reachability property qltransition_5931 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 7243/7244 properties
BEST_FIRST walk for 4003 steps (8 resets) in 213 ms. (18 steps per ms) remains 7243/7243 properties
BEST_FIRST walk for 4004 steps (8 resets) in 323 ms. (12 steps per ms) remains 7239/7243 properties
Reachability property qltransition_4927 is true.
Reachability property qltransition_4570 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 7238/7239 properties
Reachability property qltransition_4200 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 7234/7238 properties
BEST_FIRST walk for 4004 steps (8 resets) in 364 ms. (10 steps per ms) remains 7233/7234 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 7232/7233 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 7232/7232 properties
BEST_FIRST walk for 4004 steps (8 resets) in 281 ms. (14 steps per ms) remains 7227/7232 properties
Reachability property qltransition_3348 is true.
Reachability property qltransition_3278 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 307 ms. (12 steps per ms) remains 7226/7227 properties
BEST_FIRST walk for 4003 steps (8 resets) in 287 ms. (13 steps per ms) remains 7220/7226 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 7217/7220 properties
BEST_FIRST walk for 4004 steps (8 resets) in 249 ms. (16 steps per ms) remains 7216/7217 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 7211/7216 properties
Reachability property qltransition_2673 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 287 ms. (13 steps per ms) remains 7206/7211 properties
Reachability property qltransition_2221 is true.
Reachability property qltransition_2159 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 7204/7206 properties
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 7203/7204 properties
BEST_FIRST walk for 4004 steps (8 resets) in 274 ms. (14 steps per ms) remains 7202/7203 properties
Reachability property qltransition_1518 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 305 ms. (13 steps per ms) remains 7201/7202 properties
BEST_FIRST walk for 4004 steps (8 resets) in 302 ms. (13 steps per ms) remains 7200/7201 properties
Reachability property qltransition_682 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 7200/7200 properties
BEST_FIRST walk for 4003 steps (8 resets) in 242 ms. (16 steps per ms) remains 7200/7200 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 7199/7200 properties
BEST_FIRST walk for 4003 steps (8 resets) in 293 ms. (13 steps per ms) remains 7199/7199 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 276 ms. (14 steps per ms) remains 7199/7199 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 7199/7199 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 7198/7199 properties
BEST_FIRST walk for 4003 steps (8 resets) in 304 ms. (13 steps per ms) remains 7195/7198 properties
BEST_FIRST walk for 4003 steps (8 resets) in 289 ms. (13 steps per ms) remains 7194/7195 properties
BEST_FIRST walk for 4004 steps (8 resets) in 285 ms. (14 steps per ms) remains 7193/7194 properties
BEST_FIRST walk for 4003 steps (8 resets) in 287 ms. (13 steps per ms) remains 7192/7193 properties
Reachability property qltransition_6462 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 298 ms. (13 steps per ms) remains 7192/7192 properties
BEST_FIRST walk for 4004 steps (8 resets) in 274 ms. (14 steps per ms) remains 7192/7192 properties
BEST_FIRST walk for 4003 steps (8 resets) in 285 ms. (13 steps per ms) remains 7190/7192 properties
Reachability property qltransition_5234 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 7187/7190 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 7186/7187 properties
BEST_FIRST walk for 4003 steps (8 resets) in 249 ms. (16 steps per ms) remains 7186/7186 properties
BEST_FIRST walk for 4003 steps (8 resets) in 241 ms. (16 steps per ms) remains 7186/7186 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 7183/7186 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 7183/7183 properties
BEST_FIRST walk for 4004 steps (8 resets) in 308 ms. (12 steps per ms) remains 7183/7183 properties
BEST_FIRST walk for 4003 steps (8 resets) in 272 ms. (14 steps per ms) remains 7182/7183 properties
BEST_FIRST walk for 4003 steps (8 resets) in 299 ms. (13 steps per ms) remains 7182/7182 properties
BEST_FIRST walk for 4002 steps (8 resets) in 267 ms. (14 steps per ms) remains 7178/7182 properties
BEST_FIRST walk for 4003 steps (8 resets) in 250 ms. (15 steps per ms) remains 7178/7178 properties
BEST_FIRST walk for 4004 steps (8 resets) in 236 ms. (16 steps per ms) remains 7177/7178 properties
BEST_FIRST walk for 4003 steps (8 resets) in 236 ms. (16 steps per ms) remains 7177/7177 properties
BEST_FIRST walk for 4003 steps (8 resets) in 245 ms. (16 steps per ms) remains 7176/7177 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 7176/7176 properties
BEST_FIRST walk for 4003 steps (8 resets) in 290 ms. (13 steps per ms) remains 7176/7176 properties
BEST_FIRST walk for 4004 steps (8 resets) in 253 ms. (15 steps per ms) remains 7176/7176 properties
BEST_FIRST walk for 4003 steps (8 resets) in 270 ms. (14 steps per ms) remains 7176/7176 properties
Reachability property qltransition_208 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 7174/7176 properties
SDD proceeding with computation,8220 properties remain. new max is 32
SDD size :33603 after 33657
BEST_FIRST walk for 4004 steps (8 resets) in 285 ms. (14 steps per ms) remains 7171/7174 properties
BEST_FIRST walk for 4003 steps (8 resets) in 292 ms. (13 steps per ms) remains 7170/7171 properties
BEST_FIRST walk for 4004 steps (8 resets) in 236 ms. (16 steps per ms) remains 7170/7170 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 7170/7170 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 7170/7170 properties
BEST_FIRST walk for 4004 steps (8 resets) in 257 ms. (15 steps per ms) remains 7168/7170 properties
BEST_FIRST walk for 4003 steps (8 resets) in 297 ms. (13 steps per ms) remains 7167/7168 properties
BEST_FIRST walk for 4002 steps (8 resets) in 284 ms. (14 steps per ms) remains 7167/7167 properties
BEST_FIRST walk for 4003 steps (8 resets) in 276 ms. (14 steps per ms) remains 7167/7167 properties
Reachability property qltransition_6607 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 287 ms. (13 steps per ms) remains 7167/7167 properties
BEST_FIRST walk for 4004 steps (8 resets) in 281 ms. (14 steps per ms) remains 7167/7167 properties
BEST_FIRST walk for 4003 steps (8 resets) in 280 ms. (14 steps per ms) remains 7167/7167 properties
BEST_FIRST walk for 4002 steps (8 resets) in 268 ms. (14 steps per ms) remains 7167/7167 properties
Reachability property qltransition_5041 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 302 ms. (13 steps per ms) remains 7166/7167 properties
BEST_FIRST walk for 4002 steps (8 resets) in 291 ms. (13 steps per ms) remains 7165/7166 properties
BEST_FIRST walk for 4003 steps (8 resets) in 250 ms. (15 steps per ms) remains 7165/7165 properties
BEST_FIRST walk for 4003 steps (8 resets) in 245 ms. (16 steps per ms) remains 7165/7165 properties
BEST_FIRST walk for 4003 steps (8 resets) in 257 ms. (15 steps per ms) remains 7165/7165 properties
BEST_FIRST walk for 4004 steps (8 resets) in 316 ms. (12 steps per ms) remains 7165/7165 properties
BEST_FIRST walk for 4003 steps (8 resets) in 279 ms. (14 steps per ms) remains 7165/7165 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 7158/7165 properties
BEST_FIRST walk for 4003 steps (8 resets) in 245 ms. (16 steps per ms) remains 7158/7158 properties
Reachability property qltransition_2769 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 269 ms. (14 steps per ms) remains 7158/7158 properties
Reachability property qltransition_2618 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 260 ms. (15 steps per ms) remains 7156/7158 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 7155/7156 properties
BEST_FIRST walk for 4003 steps (8 resets) in 299 ms. (13 steps per ms) remains 7155/7155 properties
BEST_FIRST walk for 4004 steps (8 resets) in 308 ms. (12 steps per ms) remains 7155/7155 properties
BEST_FIRST walk for 4003 steps (8 resets) in 253 ms. (15 steps per ms) remains 7155/7155 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 7155/7155 properties
BEST_FIRST walk for 4004 steps (8 resets) in 464 ms. (8 steps per ms) remains 7155/7155 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 385 ms. (10 steps per ms) remains 7154/7155 properties
BEST_FIRST walk for 4003 steps (8 resets) in 436 ms. (9 steps per ms) remains 7154/7154 properties
BEST_FIRST walk for 4002 steps (8 resets) in 370 ms. (10 steps per ms) remains 7154/7154 properties
BEST_FIRST walk for 4004 steps (8 resets) in 302 ms. (13 steps per ms) remains 7153/7154 properties
BEST_FIRST walk for 4004 steps (8 resets) in 280 ms. (14 steps per ms) remains 7153/7153 properties
BEST_FIRST walk for 4004 steps (8 resets) in 275 ms. (14 steps per ms) remains 7153/7153 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 7152/7153 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 7151/7152 properties
Reachability property qltransition_5832 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 7151/7151 properties
Reachability property qltransition_5473 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 241 ms. (16 steps per ms) remains 7148/7151 properties
Reachability property qltransition_5264 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 264 ms. (15 steps per ms) remains 7148/7148 properties
BEST_FIRST walk for 4003 steps (8 resets) in 237 ms. (16 steps per ms) remains 7147/7148 properties
BEST_FIRST walk for 4002 steps (8 resets) in 226 ms. (17 steps per ms) remains 7146/7147 properties
BEST_FIRST walk for 4003 steps (8 resets) in 250 ms. (15 steps per ms) remains 7146/7146 properties
BEST_FIRST walk for 4002 steps (8 resets) in 262 ms. (15 steps per ms) remains 7146/7146 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 7146/7146 properties
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 7146/7146 properties
Reachability property qltransition_3409 is true.
Reachability property qltransition_3402 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 267 ms. (14 steps per ms) remains 7146/7146 properties
BEST_FIRST walk for 4004 steps (8 resets) in 269 ms. (14 steps per ms) remains 7146/7146 properties
BEST_FIRST walk for 4003 steps (8 resets) in 294 ms. (13 steps per ms) remains 7146/7146 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 7146/7146 properties
BEST_FIRST walk for 4004 steps (8 resets) in 265 ms. (15 steps per ms) remains 7146/7146 properties
BEST_FIRST walk for 4002 steps (8 resets) in 245 ms. (16 steps per ms) remains 7146/7146 properties
BEST_FIRST walk for 4003 steps (8 resets) in 265 ms. (15 steps per ms) remains 7146/7146 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 7146/7146 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 7146/7146 properties
BEST_FIRST walk for 4004 steps (8 resets) in 261 ms. (15 steps per ms) remains 7146/7146 properties
BEST_FIRST walk for 4003 steps (8 resets) in 257 ms. (15 steps per ms) remains 7144/7146 properties
BEST_FIRST walk for 4003 steps (8 resets) in 257 ms. (15 steps per ms) remains 7143/7144 properties
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 7143/7143 properties
BEST_FIRST walk for 4003 steps (8 resets) in 278 ms. (14 steps per ms) remains 7143/7143 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 296 ms. (13 steps per ms) remains 7143/7143 properties
BEST_FIRST walk for 4004 steps (8 resets) in 261 ms. (15 steps per ms) remains 7143/7143 properties
BEST_FIRST walk for 4003 steps (8 resets) in 254 ms. (15 steps per ms) remains 7141/7143 properties
BEST_FIRST walk for 4003 steps (8 resets) in 236 ms. (16 steps per ms) remains 7141/7141 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 7140/7141 properties
BEST_FIRST walk for 4004 steps (8 resets) in 303 ms. (13 steps per ms) remains 7140/7140 properties
Reachability property qltransition_7391 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 300 ms. (13 steps per ms) remains 7140/7140 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 7134/7140 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 7134/7134 properties
Reachability property qltransition_6921 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 289 ms. (13 steps per ms) remains 7134/7134 properties
BEST_FIRST walk for 4003 steps (8 resets) in 265 ms. (15 steps per ms) remains 7133/7134 properties
BEST_FIRST walk for 4004 steps (8 resets) in 318 ms. (12 steps per ms) remains 7131/7133 properties
BEST_FIRST walk for 4004 steps (8 resets) in 280 ms. (14 steps per ms) remains 7131/7131 properties
Reachability property qltransition_5678 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 280 ms. (14 steps per ms) remains 7131/7131 properties
Reachability property qltransition_5383 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 7131/7131 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 7131/7131 properties
BEST_FIRST walk for 4004 steps (8 resets) in 275 ms. (14 steps per ms) remains 7131/7131 properties
BEST_FIRST walk for 4004 steps (8 resets) in 265 ms. (15 steps per ms) remains 7130/7131 properties
Reachability property qltransition_3795 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 287 ms. (13 steps per ms) remains 7130/7130 properties
BEST_FIRST walk for 4004 steps (8 resets) in 266 ms. (14 steps per ms) remains 7128/7130 properties
BEST_FIRST walk for 4004 steps (8 resets) in 267 ms. (14 steps per ms) remains 7126/7128 properties
BEST_FIRST walk for 4003 steps (8 resets) in 250 ms. (15 steps per ms) remains 7126/7126 properties
BEST_FIRST walk for 4003 steps (8 resets) in 240 ms. (16 steps per ms) remains 7126/7126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 7126/7126 properties
BEST_FIRST walk for 4003 steps (8 resets) in 265 ms. (15 steps per ms) remains 7126/7126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 7125/7126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 239 ms. (16 steps per ms) remains 7125/7125 properties
BEST_FIRST walk for 4002 steps (8 resets) in 244 ms. (16 steps per ms) remains 7125/7125 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 7125/7125 properties
BEST_FIRST walk for 4003 steps (8 resets) in 256 ms. (15 steps per ms) remains 7125/7125 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 7122/7125 properties
BEST_FIRST walk for 4004 steps (8 resets) in 269 ms. (14 steps per ms) remains 7121/7122 properties
Reachability property qltransition_919 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 282 ms. (14 steps per ms) remains 7120/7121 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 7120/7120 properties
BEST_FIRST walk for 4002 steps (8 resets) in 255 ms. (15 steps per ms) remains 7120/7120 properties
BEST_FIRST walk for 4004 steps (8 resets) in 239 ms. (16 steps per ms) remains 7120/7120 properties
BEST_FIRST walk for 4003 steps (8 resets) in 308 ms. (12 steps per ms) remains 7120/7120 properties
SDD proceeding with computation,8205 properties remain. new max is 32
SDD size :34502 after 36140
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 7120/7120 properties
Reachability property qltransition_8374 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 278 ms. (14 steps per ms) remains 7120/7120 properties
Reachability property qltransition_8009 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 281 ms. (14 steps per ms) remains 7120/7120 properties
BEST_FIRST walk for 4004 steps (8 resets) in 257 ms. (15 steps per ms) remains 7120/7120 properties
BEST_FIRST walk for 4004 steps (8 resets) in 305 ms. (13 steps per ms) remains 7120/7120 properties
BEST_FIRST walk for 4002 steps (8 resets) in 237 ms. (16 steps per ms) remains 7118/7120 properties
BEST_FIRST walk for 4003 steps (8 resets) in 286 ms. (13 steps per ms) remains 7118/7118 properties
BEST_FIRST walk for 4004 steps (8 resets) in 281 ms. (14 steps per ms) remains 7116/7118 properties
BEST_FIRST walk for 4003 steps (8 resets) in 455 ms. (8 steps per ms) remains 7116/7116 properties
Reachability property qltransition_6087 is true.
Reachability property qltransition_6050 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 282 ms. (14 steps per ms) remains 7116/7116 properties
BEST_FIRST walk for 4003 steps (8 resets) in 263 ms. (15 steps per ms) remains 7116/7116 properties
BEST_FIRST walk for 4003 steps (8 resets) in 257 ms. (15 steps per ms) remains 7115/7116 properties
BEST_FIRST walk for 4004 steps (8 resets) in 273 ms. (14 steps per ms) remains 7115/7115 properties
BEST_FIRST walk for 4003 steps (8 resets) in 263 ms. (15 steps per ms) remains 7115/7115 properties
BEST_FIRST walk for 4004 steps (8 resets) in 262 ms. (15 steps per ms) remains 7115/7115 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 7115/7115 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 7115/7115 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 7114/7115 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 7114/7114 properties
BEST_FIRST walk for 4003 steps (8 resets) in 245 ms. (16 steps per ms) remains 7114/7114 properties
BEST_FIRST walk for 4004 steps (8 resets) in 313 ms. (12 steps per ms) remains 7114/7114 properties
BEST_FIRST walk for 4003 steps (8 resets) in 260 ms. (15 steps per ms) remains 7114/7114 properties
BEST_FIRST walk for 4004 steps (8 resets) in 280 ms. (14 steps per ms) remains 7112/7114 properties
BEST_FIRST walk for 4003 steps (8 resets) in 242 ms. (16 steps per ms) remains 7111/7112 properties
BEST_FIRST walk for 4003 steps (8 resets) in 257 ms. (15 steps per ms) remains 7111/7111 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 7111/7111 properties
BEST_FIRST walk for 4003 steps (8 resets) in 226 ms. (17 steps per ms) remains 7111/7111 properties
BEST_FIRST walk for 4003 steps (8 resets) in 232 ms. (17 steps per ms) remains 7111/7111 properties
BEST_FIRST walk for 4003 steps (8 resets) in 301 ms. (13 steps per ms) remains 7111/7111 properties
BEST_FIRST walk for 4003 steps (8 resets) in 297 ms. (13 steps per ms) remains 7111/7111 properties
BEST_FIRST walk for 4004 steps (8 resets) in 280 ms. (14 steps per ms) remains 7111/7111 properties
BEST_FIRST walk for 4003 steps (8 resets) in 284 ms. (14 steps per ms) remains 7111/7111 properties
BEST_FIRST walk for 4002 steps (8 resets) in 294 ms. (13 steps per ms) remains 7111/7111 properties
BEST_FIRST walk for 4004 steps (8 resets) in 288 ms. (13 steps per ms) remains 7111/7111 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 7111/7111 properties
BEST_FIRST walk for 4003 steps (8 resets) in 230 ms. (17 steps per ms) remains 7109/7111 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 7109/7109 properties
BEST_FIRST walk for 4004 steps (8 resets) in 287 ms. (13 steps per ms) remains 7104/7109 properties
BEST_FIRST walk for 4003 steps (8 resets) in 253 ms. (15 steps per ms) remains 7104/7104 properties
BEST_FIRST walk for 4003 steps (8 resets) in 291 ms. (13 steps per ms) remains 7104/7104 properties
BEST_FIRST walk for 4003 steps (8 resets) in 263 ms. (15 steps per ms) remains 7103/7104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 224 ms. (17 steps per ms) remains 7103/7103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 276 ms. (14 steps per ms) remains 7103/7103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 268 ms. (14 steps per ms) remains 7103/7103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 266 ms. (14 steps per ms) remains 7103/7103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 7102/7103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 7102/7102 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 7102/7102 properties
BEST_FIRST walk for 4004 steps (8 resets) in 270 ms. (14 steps per ms) remains 7098/7102 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 7098/7098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 7098/7098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 243 ms. (16 steps per ms) remains 7098/7098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 7098/7098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 233 ms. (17 steps per ms) remains 7098/7098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 277 ms. (14 steps per ms) remains 7098/7098 properties
BEST_FIRST walk for 4002 steps (8 resets) in 258 ms. (15 steps per ms) remains 7098/7098 properties
BEST_FIRST walk for 4004 steps (8 resets) in 274 ms. (14 steps per ms) remains 7098/7098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 268 ms. (14 steps per ms) remains 7097/7098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 233 ms. (17 steps per ms) remains 7097/7097 properties
BEST_FIRST walk for 4003 steps (8 resets) in 239 ms. (16 steps per ms) remains 7097/7097 properties
BEST_FIRST walk for 4003 steps (8 resets) in 280 ms. (14 steps per ms) remains 7097/7097 properties
BEST_FIRST walk for 4004 steps (8 resets) in 277 ms. (14 steps per ms) remains 7097/7097 properties
BEST_FIRST walk for 4003 steps (8 resets) in 275 ms. (14 steps per ms) remains 7097/7097 properties
BEST_FIRST walk for 4004 steps (8 resets) in 274 ms. (14 steps per ms) remains 7097/7097 properties
BEST_FIRST walk for 4002 steps (8 resets) in 285 ms. (13 steps per ms) remains 7097/7097 properties
BEST_FIRST walk for 4003 steps (8 resets) in 244 ms. (16 steps per ms) remains 7097/7097 properties
BEST_FIRST walk for 4002 steps (8 resets) in 282 ms. (14 steps per ms) remains 7097/7097 properties
BEST_FIRST walk for 4004 steps (8 resets) in 268 ms. (14 steps per ms) remains 7097/7097 properties
BEST_FIRST walk for 4003 steps (8 resets) in 275 ms. (14 steps per ms) remains 7097/7097 properties
BEST_FIRST walk for 4003 steps (8 resets) in 272 ms. (14 steps per ms) remains 7096/7097 properties
BEST_FIRST walk for 4003 steps (8 resets) in 227 ms. (17 steps per ms) remains 7095/7096 properties
BEST_FIRST walk for 4003 steps (8 resets) in 255 ms. (15 steps per ms) remains 7095/7095 properties
BEST_FIRST walk for 4002 steps (8 resets) in 297 ms. (13 steps per ms) remains 7095/7095 properties
BEST_FIRST walk for 4003 steps (8 resets) in 291 ms. (13 steps per ms) remains 7095/7095 properties
BEST_FIRST walk for 4004 steps (8 resets) in 222 ms. (17 steps per ms) remains 7095/7095 properties
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 7095/7095 properties
BEST_FIRST walk for 4004 steps (8 resets) in 281 ms. (14 steps per ms) remains 7095/7095 properties
BEST_FIRST walk for 4004 steps (8 resets) in 275 ms. (14 steps per ms) remains 7095/7095 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 7095/7095 properties
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 7095/7095 properties
BEST_FIRST walk for 4004 steps (8 resets) in 384 ms. (10 steps per ms) remains 7095/7095 properties
BEST_FIRST walk for 4004 steps (8 resets) in 277 ms. (14 steps per ms) remains 7095/7095 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 7095/7095 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 7095/7095 properties
BEST_FIRST walk for 4002 steps (8 resets) in 234 ms. (17 steps per ms) remains 7095/7095 properties
BEST_FIRST walk for 4004 steps (8 resets) in 283 ms. (14 steps per ms) remains 7095/7095 properties
BEST_FIRST walk for 4004 steps (8 resets) in 216 ms. (18 steps per ms) remains 7094/7095 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 7094/7094 properties
BEST_FIRST walk for 4004 steps (8 resets) in 262 ms. (15 steps per ms) remains 7094/7094 properties
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 7094/7094 properties
BEST_FIRST walk for 4003 steps (8 resets) in 226 ms. (17 steps per ms) remains 7094/7094 properties
BEST_FIRST walk for 4003 steps (8 resets) in 256 ms. (15 steps per ms) remains 7094/7094 properties
BEST_FIRST walk for 4004 steps (8 resets) in 224 ms. (17 steps per ms) remains 7094/7094 properties
BEST_FIRST walk for 4003 steps (8 resets) in 273 ms. (14 steps per ms) remains 7094/7094 properties
BEST_FIRST walk for 4003 steps (8 resets) in 252 ms. (15 steps per ms) remains 7093/7094 properties
BEST_FIRST walk for 4003 steps (8 resets) in 227 ms. (17 steps per ms) remains 7093/7093 properties
BEST_FIRST walk for 4003 steps (8 resets) in 216 ms. (18 steps per ms) remains 7093/7093 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 7093/7093 properties
BEST_FIRST walk for 4003 steps (8 resets) in 233 ms. (17 steps per ms) remains 7093/7093 properties
BEST_FIRST walk for 4004 steps (8 resets) in 350 ms. (11 steps per ms) remains 7093/7093 properties
BEST_FIRST walk for 4002 steps (8 resets) in 335 ms. (11 steps per ms) remains 7093/7093 properties
BEST_FIRST walk for 4004 steps (8 resets) in 354 ms. (11 steps per ms) remains 7091/7093 properties
BEST_FIRST walk for 4003 steps (8 resets) in 362 ms. (11 steps per ms) remains 7091/7091 properties
BEST_FIRST walk for 4003 steps (8 resets) in 254 ms. (15 steps per ms) remains 7091/7091 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 7091/7091 properties
BEST_FIRST walk for 4003 steps (8 resets) in 230 ms. (17 steps per ms) remains 7091/7091 properties
BEST_FIRST walk for 4002 steps (8 resets) in 232 ms. (17 steps per ms) remains 7091/7091 properties
BEST_FIRST walk for 4002 steps (8 resets) in 236 ms. (16 steps per ms) remains 7091/7091 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 7091/7091 properties
BEST_FIRST walk for 4003 steps (8 resets) in 249 ms. (16 steps per ms) remains 7089/7091 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 7089/7089 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 7089/7089 properties
BEST_FIRST walk for 4003 steps (8 resets) in 244 ms. (16 steps per ms) remains 7089/7089 properties
BEST_FIRST walk for 4004 steps (8 resets) in 215 ms. (18 steps per ms) remains 7089/7089 properties
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 7089/7089 properties
BEST_FIRST walk for 4004 steps (8 resets) in 238 ms. (16 steps per ms) remains 7089/7089 properties
BEST_FIRST walk for 4003 steps (8 resets) in 295 ms. (13 steps per ms) remains 7089/7089 properties
Reachability property qltransition_1215 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 372 ms. (10 steps per ms) remains 7089/7089 properties
Reachability property qltransition_1001 is true.
Reachability property qltransition_832 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 359 ms. (11 steps per ms) remains 7089/7089 properties
BEST_FIRST walk for 4003 steps (8 resets) in 350 ms. (11 steps per ms) remains 7089/7089 properties
SDD proceeding with computation,8198 properties remain. new max is 32
SDD size :36140 after 39780
BEST_FIRST walk for 4004 steps (8 resets) in 350 ms. (11 steps per ms) remains 7089/7089 properties
Reachability property qltransition_8221 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 317 ms. (12 steps per ms) remains 7089/7089 properties
Reachability property qltransition_7483 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 349 ms. (11 steps per ms) remains 7089/7089 properties
Reachability property qltransition_6810 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 284 ms. (14 steps per ms) remains 7089/7089 properties
BEST_FIRST walk for 4003 steps (8 resets) in 346 ms. (11 steps per ms) remains 7089/7089 properties
Reachability property qltransition_6045 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 344 ms. (11 steps per ms) remains 7089/7089 properties
Reachability property qltransition_5304 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 333 ms. (11 steps per ms) remains 7087/7089 properties
BEST_FIRST walk for 4004 steps (8 resets) in 337 ms. (11 steps per ms) remains 7086/7087 properties
BEST_FIRST walk for 4003 steps (8 resets) in 326 ms. (12 steps per ms) remains 7085/7086 properties
BEST_FIRST walk for 4004 steps (8 resets) in 357 ms. (11 steps per ms) remains 7085/7085 properties
BEST_FIRST walk for 4004 steps (8 resets) in 338 ms. (11 steps per ms) remains 7085/7085 properties
BEST_FIRST walk for 4004 steps (8 resets) in 333 ms. (11 steps per ms) remains 7085/7085 properties
BEST_FIRST walk for 4004 steps (8 resets) in 311 ms. (12 steps per ms) remains 7084/7085 properties
Reachability property qltransition_1648 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 337 ms. (11 steps per ms) remains 7084/7084 properties
Reachability property qltransition_1169 is true.
Reachability property qltransition_687 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 345 ms. (11 steps per ms) remains 7084/7084 properties
BEST_FIRST walk for 4003 steps (8 resets) in 269 ms. (14 steps per ms) remains 7084/7084 properties
BEST_FIRST walk for 4003 steps (8 resets) in 319 ms. (12 steps per ms) remains 7084/7084 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 308 ms. (12 steps per ms) remains 7083/7084 properties
Reachability property qltransition_8261 is true.
Reachability property qltransition_8191 is true.
Reachability property qltransition_8155 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 303 ms. (13 steps per ms) remains 7083/7083 properties
BEST_FIRST walk for 4003 steps (8 resets) in 322 ms. (12 steps per ms) remains 7083/7083 properties
Reachability property qltransition_7106 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 300 ms. (13 steps per ms) remains 7083/7083 properties
Reachability property qltransition_6121 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 328 ms. (12 steps per ms) remains 7076/7083 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 7076/7076 properties
BEST_FIRST walk for 4003 steps (8 resets) in 294 ms. (13 steps per ms) remains 7076/7076 properties
Reachability property qltransition_4206 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 280 ms. (14 steps per ms) remains 7076/7076 properties
BEST_FIRST walk for 4004 steps (8 resets) in 304 ms. (13 steps per ms) remains 7076/7076 properties
BEST_FIRST walk for 4003 steps (8 resets) in 258 ms. (15 steps per ms) remains 7072/7076 properties
BEST_FIRST walk for 4003 steps (8 resets) in 285 ms. (13 steps per ms) remains 7072/7072 properties
BEST_FIRST walk for 4004 steps (8 resets) in 283 ms. (14 steps per ms) remains 7071/7072 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 7071/7071 properties
Reachability property qltransition_3076 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 280 ms. (14 steps per ms) remains 7071/7071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 280 ms. (14 steps per ms) remains 7071/7071 properties
Reachability property qltransition_1589 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 300 ms. (13 steps per ms) remains 7071/7071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 7071/7071 properties
BEST_FIRST walk for 4003 steps (8 resets) in 264 ms. (15 steps per ms) remains 7071/7071 properties
BEST_FIRST walk for 4002 steps (8 resets) in 274 ms. (14 steps per ms) remains 7069/7071 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 250 ms. (15 steps per ms) remains 7069/7069 properties
BEST_FIRST walk for 4002 steps (8 resets) in 249 ms. (16 steps per ms) remains 7069/7069 properties
Reachability property qltransition_8259 is true.
Reachability property qltransition_8081 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 274 ms. (14 steps per ms) remains 7068/7069 properties
BEST_FIRST walk for 4003 steps (8 resets) in 278 ms. (14 steps per ms) remains 7068/7068 properties
BEST_FIRST walk for 4003 steps (8 resets) in 256 ms. (15 steps per ms) remains 7068/7068 properties
BEST_FIRST walk for 4003 steps (8 resets) in 267 ms. (14 steps per ms) remains 7068/7068 properties
BEST_FIRST walk for 4003 steps (8 resets) in 247 ms. (16 steps per ms) remains 7068/7068 properties
BEST_FIRST walk for 4003 steps (8 resets) in 262 ms. (15 steps per ms) remains 7068/7068 properties
BEST_FIRST walk for 4003 steps (8 resets) in 230 ms. (17 steps per ms) remains 7068/7068 properties
BEST_FIRST walk for 4003 steps (8 resets) in 273 ms. (14 steps per ms) remains 7067/7068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 288 ms. (13 steps per ms) remains 7067/7067 properties
Reachability property qltransition_6924 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 7067/7067 properties
BEST_FIRST walk for 4003 steps (8 resets) in 228 ms. (17 steps per ms) remains 7067/7067 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 7066/7067 properties
BEST_FIRST walk for 4001 steps (8 resets) in 223 ms. (17 steps per ms) remains 7066/7066 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 7066/7066 properties
BEST_FIRST walk for 4003 steps (8 resets) in 236 ms. (16 steps per ms) remains 7066/7066 properties
BEST_FIRST walk for 4004 steps (8 resets) in 249 ms. (16 steps per ms) remains 7066/7066 properties
BEST_FIRST walk for 4004 steps (8 resets) in 326 ms. (12 steps per ms) remains 7066/7066 properties
BEST_FIRST walk for 4003 steps (8 resets) in 359 ms. (11 steps per ms) remains 7066/7066 properties
BEST_FIRST walk for 4004 steps (8 resets) in 358 ms. (11 steps per ms) remains 7066/7066 properties
Reachability property qltransition_5948 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 333 ms. (11 steps per ms) remains 7066/7066 properties
BEST_FIRST walk for 4003 steps (8 resets) in 268 ms. (14 steps per ms) remains 7066/7066 properties
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 7066/7066 properties
Reachability property qltransition_4812 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 262 ms. (15 steps per ms) remains 7066/7066 properties
BEST_FIRST walk for 4003 steps (8 resets) in 262 ms. (15 steps per ms) remains 7066/7066 properties
BEST_FIRST walk for 4002 steps (8 resets) in 267 ms. (14 steps per ms) remains 7066/7066 properties
Reachability property qltransition_4039 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 269 ms. (14 steps per ms) remains 7065/7066 properties
BEST_FIRST walk for 4004 steps (8 resets) in 286 ms. (13 steps per ms) remains 7065/7065 properties
BEST_FIRST walk for 4004 steps (8 resets) in 271 ms. (14 steps per ms) remains 7065/7065 properties
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 7065/7065 properties
BEST_FIRST walk for 4004 steps (8 resets) in 271 ms. (14 steps per ms) remains 7065/7065 properties
BEST_FIRST walk for 4004 steps (8 resets) in 285 ms. (14 steps per ms) remains 7065/7065 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 7065/7065 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 7065/7065 properties
BEST_FIRST walk for 4003 steps (8 resets) in 266 ms. (14 steps per ms) remains 7065/7065 properties
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 7065/7065 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 7065/7065 properties
BEST_FIRST walk for 4003 steps (8 resets) in 239 ms. (16 steps per ms) remains 7065/7065 properties
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 7065/7065 properties
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 7065/7065 properties
BEST_FIRST walk for 4003 steps (8 resets) in 251 ms. (15 steps per ms) remains 7065/7065 properties
Reachability property qltransition_2615 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 261 ms. (15 steps per ms) remains 7065/7065 properties
Reachability property qltransition_2540 is true.
Reachability property qltransition_2214 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 271 ms. (14 steps per ms) remains 7062/7065 properties
Reachability property qltransition_2139 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 265 ms. (15 steps per ms) remains 7062/7062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 7062/7062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 7062/7062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 269 ms. (14 steps per ms) remains 7062/7062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 7062/7062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 7062/7062 properties
Reachability property qltransition_1138 is true.
Reachability property qltransition_1117 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 7062/7062 properties
BEST_FIRST walk for 4002 steps (8 resets) in 278 ms. (14 steps per ms) remains 7062/7062 properties
BEST_FIRST walk for 4003 steps (8 resets) in 248 ms. (16 steps per ms) remains 7062/7062 properties
Reachability property qltransition_557 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 7062/7062 properties
Reachability property qltransition_91 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 266 ms. (14 steps per ms) remains 7062/7062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 273 ms. (14 steps per ms) remains 7062/7062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 273 ms. (14 steps per ms) remains 7062/7062 properties
SDD proceeding with computation,8167 properties remain. new max is 32
SDD size :58786 after 117584
BEST_FIRST walk for 4004 steps (8 resets) in 278 ms. (14 steps per ms) remains 7062/7062 properties
BEST_FIRST walk for 4003 steps (8 resets) in 345 ms. (11 steps per ms) remains 7062/7062 properties
BEST_FIRST walk for 4003 steps (8 resets) in 320 ms. (12 steps per ms) remains 7062/7062 properties
Reachability property qltransition_7566 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 340 ms. (11 steps per ms) remains 7062/7062 properties
BEST_FIRST walk for 4003 steps (8 resets) in 347 ms. (11 steps per ms) remains 7062/7062 properties
BEST_FIRST walk for 4003 steps (8 resets) in 294 ms. (13 steps per ms) remains 7062/7062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 7062/7062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 304 ms. (13 steps per ms) remains 7062/7062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 323 ms. (12 steps per ms) remains 7062/7062 properties
BEST_FIRST walk for 4003 steps (8 resets) in 249 ms. (16 steps per ms) remains 7062/7062 properties
BEST_FIRST walk for 4003 steps (8 resets) in 237 ms. (16 steps per ms) remains 7062/7062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 7061/7062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 267 ms. (14 steps per ms) remains 7061/7061 properties
BEST_FIRST walk for 4003 steps (8 resets) in 250 ms. (15 steps per ms) remains 7061/7061 properties
BEST_FIRST walk for 4003 steps (8 resets) in 257 ms. (15 steps per ms) remains 7061/7061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 7061/7061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 7061/7061 properties
BEST_FIRST walk for 4003 steps (8 resets) in 236 ms. (16 steps per ms) remains 7061/7061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 7061/7061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 7061/7061 properties
BEST_FIRST walk for 4003 steps (8 resets) in 240 ms. (16 steps per ms) remains 7058/7061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 7058/7058 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 7058/7058 properties
BEST_FIRST walk for 4003 steps (8 resets) in 232 ms. (17 steps per ms) remains 7058/7058 properties
BEST_FIRST walk for 4004 steps (8 resets) in 239 ms. (16 steps per ms) remains 7057/7058 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 7057/7057 properties
BEST_FIRST walk for 4003 steps (8 resets) in 294 ms. (13 steps per ms) remains 7057/7057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 380 ms. (10 steps per ms) remains 7057/7057 properties
BEST_FIRST walk for 4003 steps (8 resets) in 357 ms. (11 steps per ms) remains 7057/7057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 372 ms. (10 steps per ms) remains 7057/7057 properties
BEST_FIRST walk for 4003 steps (8 resets) in 376 ms. (10 steps per ms) remains 7057/7057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 7057/7057 properties
BEST_FIRST walk for 4003 steps (8 resets) in 258 ms. (15 steps per ms) remains 7057/7057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 281 ms. (14 steps per ms) remains 7055/7057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 270 ms. (14 steps per ms) remains 7055/7055 properties
BEST_FIRST walk for 4003 steps (8 resets) in 284 ms. (14 steps per ms) remains 7055/7055 properties
BEST_FIRST walk for 4003 steps (8 resets) in 278 ms. (14 steps per ms) remains 7055/7055 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 7055/7055 properties
BEST_FIRST walk for 4003 steps (8 resets) in 256 ms. (15 steps per ms) remains 7055/7055 properties
BEST_FIRST walk for 4004 steps (8 resets) in 271 ms. (14 steps per ms) remains 7054/7055 properties
BEST_FIRST walk for 4003 steps (8 resets) in 235 ms. (16 steps per ms) remains 7054/7054 properties
BEST_FIRST walk for 4003 steps (8 resets) in 232 ms. (17 steps per ms) remains 7054/7054 properties
BEST_FIRST walk for 4003 steps (8 resets) in 272 ms. (14 steps per ms) remains 7053/7054 properties
BEST_FIRST walk for 4003 steps (8 resets) in 276 ms. (14 steps per ms) remains 7053/7053 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 7053/7053 properties
BEST_FIRST walk for 4004 steps (8 resets) in 269 ms. (14 steps per ms) remains 7052/7053 properties
BEST_FIRST walk for 4003 steps (8 resets) in 261 ms. (15 steps per ms) remains 7052/7052 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 7052/7052 properties
Reachability property qltransition_899 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 268 ms. (14 steps per ms) remains 7052/7052 properties
BEST_FIRST walk for 4002 steps (8 resets) in 280 ms. (14 steps per ms) remains 7052/7052 properties
Reachability property qltransition_509 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 7052/7052 properties
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 7052/7052 properties
BEST_FIRST walk for 4003 steps (8 resets) in 274 ms. (14 steps per ms) remains 7052/7052 properties
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 7052/7052 properties
SDD proceeding with computation,8164 properties remain. new max is 32
SDD size :117584 after 117649
BEST_FIRST walk for 4003 steps (8 resets) in 263 ms. (15 steps per ms) remains 7052/7052 properties
BEST_FIRST walk for 4003 steps (8 resets) in 252 ms. (15 steps per ms) remains 7052/7052 properties
BEST_FIRST walk for 4003 steps (8 resets) in 243 ms. (16 steps per ms) remains 7052/7052 properties
BEST_FIRST walk for 4004 steps (8 resets) in 242 ms. (16 steps per ms) remains 7052/7052 properties
Reachability property qltransition_7754 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 237 ms. (16 steps per ms) remains 7052/7052 properties
BEST_FIRST walk for 4002 steps (8 resets) in 225 ms. (17 steps per ms) remains 7052/7052 properties
BEST_FIRST walk for 4004 steps (8 resets) in 283 ms. (14 steps per ms) remains 7052/7052 properties
BEST_FIRST walk for 4003 steps (8 resets) in 256 ms. (15 steps per ms) remains 7052/7052 properties
BEST_FIRST walk for 4003 steps (8 resets) in 279 ms. (14 steps per ms) remains 7052/7052 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 7052/7052 properties
BEST_FIRST walk for 4004 steps (8 resets) in 261 ms. (15 steps per ms) remains 7052/7052 properties
BEST_FIRST walk for 4004 steps (8 resets) in 302 ms. (13 steps per ms) remains 7052/7052 properties
BEST_FIRST walk for 4003 steps (8 resets) in 374 ms. (10 steps per ms) remains 7052/7052 properties
BEST_FIRST walk for 4002 steps (8 resets) in 364 ms. (10 steps per ms) remains 7052/7052 properties
BEST_FIRST walk for 4003 steps (8 resets) in 328 ms. (12 steps per ms) remains 7047/7052 properties
BEST_FIRST walk for 4004 steps (8 resets) in 317 ms. (12 steps per ms) remains 7047/7047 properties
BEST_FIRST walk for 4003 steps (8 resets) in 266 ms. (14 steps per ms) remains 7047/7047 properties
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 7047/7047 properties
BEST_FIRST walk for 4004 steps (8 resets) in 228 ms. (17 steps per ms) remains 7047/7047 properties
BEST_FIRST walk for 4003 steps (8 resets) in 263 ms. (15 steps per ms) remains 7047/7047 properties
BEST_FIRST walk for 4004 steps (8 resets) in 284 ms. (14 steps per ms) remains 7047/7047 properties
BEST_FIRST walk for 4002 steps (8 resets) in 310 ms. (12 steps per ms) remains 7047/7047 properties
BEST_FIRST walk for 4003 steps (8 resets) in 328 ms. (12 steps per ms) remains 7047/7047 properties
BEST_FIRST walk for 4003 steps (8 resets) in 353 ms. (11 steps per ms) remains 7046/7047 properties
BEST_FIRST walk for 4004 steps (8 resets) in 342 ms. (11 steps per ms) remains 7046/7046 properties
BEST_FIRST walk for 4003 steps (8 resets) in 360 ms. (11 steps per ms) remains 7042/7046 properties
BEST_FIRST walk for 4004 steps (8 resets) in 236 ms. (16 steps per ms) remains 7042/7042 properties
Reachability property qltransition_3799 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 7042/7042 properties
BEST_FIRST walk for 4003 steps (8 resets) in 219 ms. (18 steps per ms) remains 7042/7042 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 7042/7042 properties
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 7042/7042 properties
BEST_FIRST walk for 4004 steps (8 resets) in 288 ms. (13 steps per ms) remains 7042/7042 properties
BEST_FIRST walk for 4001 steps (8 resets) in 223 ms. (17 steps per ms) remains 7042/7042 properties
BEST_FIRST walk for 4003 steps (8 resets) in 258 ms. (15 steps per ms) remains 7042/7042 properties
BEST_FIRST walk for 4003 steps (8 resets) in 244 ms. (16 steps per ms) remains 7042/7042 properties
BEST_FIRST walk for 4004 steps (8 resets) in 262 ms. (15 steps per ms) remains 7042/7042 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 7042/7042 properties
BEST_FIRST walk for 4003 steps (8 resets) in 296 ms. (13 steps per ms) remains 7042/7042 properties
BEST_FIRST walk for 4002 steps (8 resets) in 258 ms. (15 steps per ms) remains 7042/7042 properties
BEST_FIRST walk for 4003 steps (8 resets) in 232 ms. (17 steps per ms) remains 7042/7042 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 7042/7042 properties
BEST_FIRST walk for 4003 steps (8 resets) in 248 ms. (16 steps per ms) remains 7042/7042 properties
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 7042/7042 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 7042/7042 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 7042/7042 properties
BEST_FIRST walk for 4004 steps (8 resets) in 242 ms. (16 steps per ms) remains 7042/7042 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 7042/7042 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 7042/7042 properties
Reachability property qltransition_1866 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 7040/7042 properties
BEST_FIRST walk for 4003 steps (8 resets) in 231 ms. (17 steps per ms) remains 7040/7040 properties
BEST_FIRST walk for 4004 steps (8 resets) in 324 ms. (12 steps per ms) remains 7040/7040 properties
BEST_FIRST walk for 4004 steps (8 resets) in 351 ms. (11 steps per ms) remains 7040/7040 properties
BEST_FIRST walk for 4002 steps (8 resets) in 343 ms. (11 steps per ms) remains 7040/7040 properties
BEST_FIRST walk for 4004 steps (8 resets) in 374 ms. (10 steps per ms) remains 7040/7040 properties
BEST_FIRST walk for 4004 steps (8 resets) in 274 ms. (14 steps per ms) remains 7039/7040 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 7039/7039 properties
Reachability property qltransition_847 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 7038/7039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 7038/7038 properties
BEST_FIRST walk for 4003 steps (8 resets) in 259 ms. (15 steps per ms) remains 7038/7038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 7038/7038 properties
BEST_FIRST walk for 4002 steps (8 resets) in 230 ms. (17 steps per ms) remains 7038/7038 properties
BEST_FIRST walk for 4002 steps (8 resets) in 225 ms. (17 steps per ms) remains 7038/7038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 7037/7038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 266 ms. (14 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
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 277 ms. (14 steps per ms) remains 7037/7037 properties
BEST_FIRST walk for 4002 steps (8 resets) in 346 ms. (11 steps per ms) remains 7037/7037 properties
BEST_FIRST walk for 4002 steps (8 resets) in 350 ms. (11 steps per ms) remains 7036/7037 properties
BEST_FIRST walk for 4004 steps (8 resets) in 326 ms. (12 steps per ms) remains 7036/7036 properties
BEST_FIRST walk for 4003 steps (8 resets) in 306 ms. (13 steps per ms) remains 7036/7036 properties
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 7036/7036 properties
BEST_FIRST walk for 4002 steps (8 resets) in 238 ms. (16 steps per ms) remains 7036/7036 properties
BEST_FIRST walk for 4003 steps (8 resets) in 261 ms. (15 steps per ms) remains 7036/7036 properties
Reachability property qltransition_7083 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 7036/7036 properties
BEST_FIRST walk for 4003 steps (8 resets) in 233 ms. (17 steps per ms) remains 7036/7036 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 7036/7036 properties
BEST_FIRST walk for 4004 steps (8 resets) in 239 ms. (16 steps per ms) remains 7036/7036 properties
BEST_FIRST walk for 4004 steps (8 resets) in 239 ms. (16 steps per ms) remains 7036/7036 properties
BEST_FIRST walk for 4002 steps (8 resets) in 245 ms. (16 steps per ms) remains 7034/7036 properties
BEST_FIRST walk for 4003 steps (8 resets) in 242 ms. (16 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 7034/7034 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 7034/7034 properties
BEST_FIRST walk for 4003 steps (8 resets) in 228 ms. (17 steps per ms) remains 7034/7034 properties
BEST_FIRST walk for 4003 steps (8 resets) in 228 ms. (17 steps per ms) remains 7033/7034 properties
BEST_FIRST walk for 4003 steps (8 resets) in 256 ms. (15 steps per ms) remains 7033/7033 properties
BEST_FIRST walk for 4003 steps (8 resets) in 262 ms. (15 steps per ms) remains 7033/7033 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 7033/7033 properties
BEST_FIRST walk for 4003 steps (8 resets) in 249 ms. (16 steps per ms) remains 7033/7033 properties
BEST_FIRST walk for 4004 steps (8 resets) in 375 ms. (10 steps per ms) remains 7033/7033 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 7033/7033 properties
BEST_FIRST walk for 4003 steps (8 resets) in 220 ms. (18 steps per ms) remains 7033/7033 properties
BEST_FIRST walk for 4004 steps (8 resets) in 222 ms. (17 steps per ms) remains 7033/7033 properties
Reachability property qltransition_4801 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 215 ms. (18 steps per ms) remains 7033/7033 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 7033/7033 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 7033/7033 properties
Reachability property qltransition_3847 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 7033/7033 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 7033/7033 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 7033/7033 properties
BEST_FIRST walk for 4003 steps (8 resets) in 232 ms. (17 steps per ms) remains 7033/7033 properties
BEST_FIRST walk for 4004 steps (8 resets) in 304 ms. (13 steps per ms) remains 7033/7033 properties
BEST_FIRST walk for 4003 steps (8 resets) in 303 ms. (13 steps per ms) remains 7033/7033 properties
BEST_FIRST walk for 4003 steps (8 resets) in 337 ms. (11 steps per ms) remains 7033/7033 properties
BEST_FIRST walk for 4004 steps (8 resets) in 347 ms. (11 steps per ms) remains 7033/7033 properties
BEST_FIRST walk for 4004 steps (8 resets) in 283 ms. (14 steps per ms) remains 7033/7033 properties
BEST_FIRST walk for 4003 steps (8 resets) in 307 ms. (12 steps per ms) remains 7033/7033 properties
BEST_FIRST walk for 4004 steps (8 resets) in 315 ms. (12 steps per ms) remains 7033/7033 properties
BEST_FIRST walk for 4003 steps (8 resets) in 280 ms. (14 steps per ms) remains 7033/7033 properties
BEST_FIRST walk for 4004 steps (8 resets) in 266 ms. (14 steps per ms) remains 7033/7033 properties
BEST_FIRST walk for 4004 steps (8 resets) in 278 ms. (14 steps per ms) remains 7033/7033 properties
BEST_FIRST walk for 4004 steps (8 resets) in 286 ms. (13 steps per ms) remains 7033/7033 properties
BEST_FIRST walk for 4004 steps (8 resets) in 344 ms. (11 steps per ms) remains 7032/7033 properties
BEST_FIRST walk for 4002 steps (8 resets) in 335 ms. (11 steps per ms) remains 7032/7032 properties
BEST_FIRST walk for 4003 steps (8 resets) in 329 ms. (12 steps per ms) remains 7031/7032 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 7031/7031 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 7031/7031 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 7031/7031 properties
Reachability property qltransition_2448 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 226 ms. (17 steps per ms) remains 7031/7031 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 7031/7031 properties
BEST_FIRST walk for 4004 steps (8 resets) in 224 ms. (17 steps per ms) remains 7031/7031 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 7030/7031 properties
BEST_FIRST walk for 4004 steps (8 resets) in 277 ms. (14 steps per ms) remains 7030/7030 properties
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 7030/7030 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 7030/7030 properties
Reachability property qltransition_1748 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 7030/7030 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 7030/7030 properties
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 7030/7030 properties
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 7028/7030 properties
BEST_FIRST walk for 4003 steps (8 resets) in 248 ms. (16 steps per ms) remains 7028/7028 properties
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 7028/7028 properties
BEST_FIRST walk for 4002 steps (8 resets) in 251 ms. (15 steps per ms) remains 7028/7028 properties
BEST_FIRST walk for 4003 steps (8 resets) in 227 ms. (17 steps per ms) remains 7027/7028 properties
BEST_FIRST walk for 4004 steps (8 resets) in 215 ms. (18 steps per ms) remains 7027/7027 properties
BEST_FIRST walk for 4003 steps (8 resets) in 225 ms. (17 steps per ms) remains 7027/7027 properties
BEST_FIRST walk for 4003 steps (8 resets) in 241 ms. (16 steps per ms) remains 7027/7027 properties
SDD proceeding with computation,8155 properties remain. new max is 32
SDD size :117922 after 118832
BEST_FIRST walk for 4003 steps (8 resets) in 230 ms. (17 steps per ms) remains 7027/7027 properties
BEST_FIRST walk for 4003 steps (8 resets) in 258 ms. (15 steps per ms) remains 7027/7027 properties
Reachability property qltransition_7908 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 271 ms. (14 steps per ms) remains 7027/7027 properties
BEST_FIRST walk for 4001 steps (8 resets) in 262 ms. (15 steps per ms) remains 7027/7027 properties
BEST_FIRST walk for 4003 steps (8 resets) in 280 ms. (14 steps per ms) remains 7027/7027 properties
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 7027/7027 properties
BEST_FIRST walk for 4004 steps (8 resets) in 249 ms. (16 steps per ms) remains 7027/7027 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 7026/7027 properties
BEST_FIRST walk for 4004 steps (8 resets) in 279 ms. (14 steps per ms) remains 7026/7026 properties
BEST_FIRST walk for 4004 steps (8 resets) in 271 ms. (14 steps per ms) remains 7026/7026 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 7026/7026 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 7026/7026 properties
BEST_FIRST walk for 4003 steps (8 resets) in 230 ms. (17 steps per ms) remains 7026/7026 properties
BEST_FIRST walk for 4004 steps (8 resets) in 268 ms. (14 steps per ms) remains 7026/7026 properties
BEST_FIRST walk for 4004 steps (8 resets) in 274 ms. (14 steps per ms) remains 7024/7026 properties
BEST_FIRST walk for 4004 steps (8 resets) in 285 ms. (14 steps per ms) remains 7024/7024 properties
BEST_FIRST walk for 4003 steps (8 resets) in 263 ms. (15 steps per ms) remains 7024/7024 properties
BEST_FIRST walk for 4004 steps (8 resets) in 352 ms. (11 steps per ms) remains 7024/7024 properties
BEST_FIRST walk for 4002 steps (8 resets) in 341 ms. (11 steps per ms) remains 7024/7024 properties
BEST_FIRST walk for 4004 steps (8 resets) in 349 ms. (11 steps per ms) remains 7023/7024 properties
BEST_FIRST walk for 4002 steps (8 resets) in 324 ms. (12 steps per ms) remains 7023/7023 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 7023/7023 properties
BEST_FIRST walk for 4003 steps (8 resets) in 262 ms. (15 steps per ms) remains 7023/7023 properties
Reachability property qltransition_5711 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 7022/7023 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 7022/7022 properties
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 7022/7022 properties
BEST_FIRST walk for 4003 steps (8 resets) in 230 ms. (17 steps per ms) remains 7022/7022 properties
BEST_FIRST walk for 4004 steps (8 resets) in 321 ms. (12 steps per ms) remains 7022/7022 properties
BEST_FIRST walk for 4004 steps (8 resets) in 358 ms. (11 steps per ms) remains 7022/7022 properties
BEST_FIRST walk for 4003 steps (8 resets) in 313 ms. (12 steps per ms) remains 7021/7022 properties
BEST_FIRST walk for 4004 steps (8 resets) in 308 ms. (12 steps per ms) remains 7020/7021 properties
BEST_FIRST walk for 4004 steps (8 resets) in 309 ms. (12 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4003 steps (8 resets) in 252 ms. (15 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4003 steps (8 resets) in 227 ms. (17 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4003 steps (8 resets) in 248 ms. (16 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 224 ms. (17 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 7020/7020 properties
Reachability property qltransition_3518 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 275 ms. (14 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4003 steps (8 resets) in 254 ms. (15 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 271 ms. (14 steps per ms) remains 7020/7020 properties
Reachability property qltransition_3264 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4003 steps (8 resets) in 259 ms. (15 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4003 steps (8 resets) in 260 ms. (15 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4002 steps (8 resets) in 286 ms. (13 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4003 steps (8 resets) in 220 ms. (18 steps per ms) remains 7020/7020 properties
Reachability property qltransition_3088 is true.
Reachability property qltransition_3020 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 228 ms. (17 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4002 steps (8 resets) in 282 ms. (14 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4003 steps (8 resets) in 254 ms. (15 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4003 steps (8 resets) in 275 ms. (14 steps per ms) remains 7018/7020 properties
BEST_FIRST walk for 4002 steps (8 resets) in 234 ms. (17 steps per ms) remains 7016/7018 properties
BEST_FIRST walk for 4003 steps (8 resets) in 262 ms. (15 steps per ms) remains 7016/7016 properties
BEST_FIRST walk for 4003 steps (8 resets) in 246 ms. (16 steps per ms) remains 7016/7016 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 7016/7016 properties
BEST_FIRST walk for 4002 steps (8 resets) in 240 ms. (16 steps per ms) remains 7016/7016 properties
BEST_FIRST walk for 4004 steps (8 resets) in 239 ms. (16 steps per ms) remains 7016/7016 properties
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 7016/7016 properties
BEST_FIRST walk for 4003 steps (8 resets) in 229 ms. (17 steps per ms) remains 7016/7016 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 7016/7016 properties
BEST_FIRST walk for 4003 steps (8 resets) in 242 ms. (16 steps per ms) remains 7016/7016 properties
BEST_FIRST walk for 4002 steps (8 resets) in 220 ms. (18 steps per ms) remains 7016/7016 properties
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 7016/7016 properties
BEST_FIRST walk for 4003 steps (8 resets) in 273 ms. (14 steps per ms) remains 7016/7016 properties
BEST_FIRST walk for 4003 steps (8 resets) in 271 ms. (14 steps per ms) remains 7016/7016 properties
BEST_FIRST walk for 4004 steps (8 resets) in 271 ms. (14 steps per ms) remains 7016/7016 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 7016/7016 properties
SDD proceeding with computation,8149 properties remain. new max is 32
BEST_FIRST walk for 4003 steps (8 resets) in 223 ms. (17 steps per ms) remains 7016/7016 properties
SDD size :118832 after 121380
BEST_FIRST walk for 4003 steps (8 resets) in 238 ms. (16 steps per ms) remains 7016/7016 properties
BEST_FIRST walk for 4003 steps (8 resets) in 236 ms. (16 steps per ms) remains 7016/7016 properties
Reachability property qltransition_8399 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 7016/7016 properties
BEST_FIRST walk for 4003 steps (8 resets) in 216 ms. (18 steps per ms) remains 7016/7016 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 7016/7016 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 7016/7016 properties
BEST_FIRST walk for 4003 steps (8 resets) in 235 ms. (16 steps per ms) remains 7016/7016 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 7016/7016 properties
BEST_FIRST walk for 4004 steps (8 resets) in 358 ms. (11 steps per ms) remains 7016/7016 properties
BEST_FIRST walk for 4004 steps (8 resets) in 307 ms. (13 steps per ms) remains 7016/7016 properties
BEST_FIRST walk for 4004 steps (8 resets) in 341 ms. (11 steps per ms) remains 7010/7016 properties
BEST_FIRST walk for 4002 steps (8 resets) in 352 ms. (11 steps per ms) remains 7010/7010 properties
BEST_FIRST walk for 4004 steps (8 resets) in 277 ms. (14 steps per ms) remains 7010/7010 properties
BEST_FIRST walk for 4003 steps (8 resets) in 258 ms. (15 steps per ms) remains 7010/7010 properties
BEST_FIRST walk for 4003 steps (8 resets) in 235 ms. (16 steps per ms) remains 7009/7010 properties
BEST_FIRST walk for 4003 steps (8 resets) in 235 ms. (16 steps per ms) remains 7009/7009 properties
BEST_FIRST walk for 4003 steps (8 resets) in 255 ms. (15 steps per ms) remains 7009/7009 properties
BEST_FIRST walk for 4003 steps (8 resets) in 256 ms. (15 steps per ms) remains 7009/7009 properties
BEST_FIRST walk for 4002 steps (8 resets) in 253 ms. (15 steps per ms) remains 7009/7009 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 7009/7009 properties
BEST_FIRST walk for 4002 steps (8 resets) in 234 ms. (17 steps per ms) remains 7009/7009 properties
BEST_FIRST walk for 4003 steps (8 resets) in 234 ms. (17 steps per ms) remains 7009/7009 properties
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 7009/7009 properties
BEST_FIRST walk for 4003 steps (8 resets) in 258 ms. (15 steps per ms) remains 7009/7009 properties
Reachability property qltransition_4503 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 236 ms. (16 steps per ms) remains 7009/7009 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 7009/7009 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 7009/7009 properties
BEST_FIRST walk for 4004 steps (8 resets) in 253 ms. (15 steps per ms) remains 7009/7009 properties
Reachability property qltransition_3772 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 267 ms. (14 steps per ms) remains 7009/7009 properties
BEST_FIRST walk for 4002 steps (8 resets) in 263 ms. (15 steps per ms) remains 7009/7009 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 7009/7009 properties
BEST_FIRST walk for 4004 steps (8 resets) in 339 ms. (11 steps per ms) remains 7009/7009 properties
BEST_FIRST walk for 4003 steps (8 resets) in 392 ms. (10 steps per ms) remains 7009/7009 properties
BEST_FIRST walk for 4003 steps (8 resets) in 375 ms. (10 steps per ms) remains 7008/7009 properties
BEST_FIRST walk for 4004 steps (8 resets) in 351 ms. (11 steps per ms) remains 7008/7008 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 7008/7008 properties
Reachability property qltransition_3218 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 294 ms. (13 steps per ms) remains 7002/7008 properties
BEST_FIRST walk for 4002 steps (8 resets) in 272 ms. (14 steps per ms) remains 7002/7002 properties
BEST_FIRST walk for 4003 steps (8 resets) in 313 ms. (12 steps per ms) remains 7002/7002 properties
Reachability property qltransition_2887 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 229 ms. (17 steps per ms) remains 7002/7002 properties
Reachability property qltransition_2532 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 7002/7002 properties
BEST_FIRST walk for 4004 steps (8 resets) in 275 ms. (14 steps per ms) remains 7000/7002 properties
BEST_FIRST walk for 4004 steps (8 resets) in 224 ms. (17 steps per ms) remains 7000/7000 properties
BEST_FIRST walk for 4001 steps (8 resets) in 259 ms. (15 steps per ms) remains 7000/7000 properties
BEST_FIRST walk for 4003 steps (8 resets) in 248 ms. (16 steps per ms) remains 7000/7000 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 7000/7000 properties
BEST_FIRST walk for 4003 steps (8 resets) in 329 ms. (12 steps per ms) remains 7000/7000 properties
Reachability property qltransition_624 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 257 ms. (15 steps per ms) remains 7000/7000 properties
BEST_FIRST walk for 4004 steps (8 resets) in 253 ms. (15 steps per ms) remains 7000/7000 properties
BEST_FIRST walk for 4004 steps (8 resets) in 222 ms. (17 steps per ms) remains 7000/7000 properties
BEST_FIRST walk for 4004 steps (8 resets) in 224 ms. (17 steps per ms) remains 7000/7000 properties
BEST_FIRST walk for 4004 steps (8 resets) in 271 ms. (14 steps per ms) remains 7000/7000 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 255 ms. (15 steps per ms) remains 7000/7000 properties
BEST_FIRST walk for 4003 steps (8 resets) in 264 ms. (15 steps per ms) remains 7000/7000 properties
BEST_FIRST walk for 4002 steps (8 resets) in 251 ms. (15 steps per ms) remains 7000/7000 properties
BEST_FIRST walk for 4004 steps (8 resets) in 249 ms. (16 steps per ms) remains 7000/7000 properties
BEST_FIRST walk for 4004 steps (8 resets) in 272 ms. (14 steps per ms) remains 7000/7000 properties
BEST_FIRST walk for 4002 steps (8 resets) in 256 ms. (15 steps per ms) remains 7000/7000 properties
BEST_FIRST walk for 4004 steps (8 resets) in 266 ms. (14 steps per ms) remains 7000/7000 properties
BEST_FIRST walk for 4003 steps (8 resets) in 278 ms. (14 steps per ms) remains 7000/7000 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 7000/7000 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 7000/7000 properties
BEST_FIRST walk for 4003 steps (8 resets) in 245 ms. (16 steps per ms) remains 7000/7000 properties
Reachability property qltransition_6596 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 241 ms. (16 steps per ms) remains 7000/7000 properties
Reachability property qltransition_6433 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 260 ms. (15 steps per ms) remains 7000/7000 properties
BEST_FIRST walk for 4003 steps (8 resets) in 250 ms. (15 steps per ms) remains 7000/7000 properties
BEST_FIRST walk for 4004 steps (8 resets) in 262 ms. (15 steps per ms) remains 7000/7000 properties
BEST_FIRST walk for 4003 steps (8 resets) in 228 ms. (17 steps per ms) remains 7000/7000 properties
BEST_FIRST walk for 4003 steps (8 resets) in 216 ms. (18 steps per ms) remains 7000/7000 properties
BEST_FIRST walk for 4004 steps (8 resets) in 329 ms. (12 steps per ms) remains 7000/7000 properties
BEST_FIRST walk for 4003 steps (8 resets) in 334 ms. (11 steps per ms) remains 7000/7000 properties
Reachability property qltransition_4877 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 363 ms. (10 steps per ms) remains 6999/7000 properties
Reachability property qltransition_4557 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 376 ms. (10 steps per ms) remains 6999/6999 properties
BEST_FIRST walk for 4003 steps (8 resets) in 347 ms. (11 steps per ms) remains 6999/6999 properties
BEST_FIRST walk for 4004 steps (8 resets) in 265 ms. (15 steps per ms) remains 6999/6999 properties
BEST_FIRST walk for 4003 steps (8 resets) in 269 ms. (14 steps per ms) remains 6999/6999 properties
BEST_FIRST walk for 4004 steps (8 resets) in 245 ms. (16 steps per ms) remains 6999/6999 properties
BEST_FIRST walk for 4004 steps (8 resets) in 279 ms. (14 steps per ms) remains 6999/6999 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6999/6999 properties
BEST_FIRST walk for 4003 steps (8 resets) in 239 ms. (16 steps per ms) remains 6999/6999 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 6998/6999 properties
BEST_FIRST walk for 4004 steps (8 resets) in 286 ms. (13 steps per ms) remains 6998/6998 properties
Reachability property qltransition_3131 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 6998/6998 properties
BEST_FIRST walk for 4002 steps (8 resets) in 224 ms. (17 steps per ms) remains 6998/6998 properties
BEST_FIRST walk for 4002 steps (8 resets) in 275 ms. (14 steps per ms) remains 6998/6998 properties
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 6998/6998 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 6998/6998 properties
Reachability property qltransition_2627 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 241 ms. (16 steps per ms) remains 6998/6998 properties
Reachability property qltransition_2599 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 274 ms. (14 steps per ms) remains 6998/6998 properties
BEST_FIRST walk for 4003 steps (8 resets) in 250 ms. (15 steps per ms) remains 6998/6998 properties
BEST_FIRST walk for 4003 steps (8 resets) in 260 ms. (15 steps per ms) remains 6998/6998 properties
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 6998/6998 properties
BEST_FIRST walk for 4003 steps (8 resets) in 237 ms. (16 steps per ms) remains 6998/6998 properties
BEST_FIRST walk for 4003 steps (8 resets) in 233 ms. (17 steps per ms) remains 6998/6998 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 6998/6998 properties
BEST_FIRST walk for 4004 steps (8 resets) in 245 ms. (16 steps per ms) remains 6998/6998 properties
Reachability property qltransition_1604 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 6998/6998 properties
BEST_FIRST walk for 4004 steps (8 resets) in 266 ms. (14 steps per ms) remains 6998/6998 properties
BEST_FIRST walk for 4003 steps (8 resets) in 253 ms. (15 steps per ms) remains 6998/6998 properties
BEST_FIRST walk for 4004 steps (8 resets) in 257 ms. (15 steps per ms) remains 6998/6998 properties
BEST_FIRST walk for 4002 steps (8 resets) in 230 ms. (17 steps per ms) remains 6998/6998 properties
BEST_FIRST walk for 4004 steps (8 resets) in 289 ms. (13 steps per ms) remains 6998/6998 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 239 ms. (16 steps per ms) remains 6998/6998 properties
BEST_FIRST walk for 4004 steps (8 resets) in 284 ms. (14 steps per ms) remains 6998/6998 properties
BEST_FIRST walk for 4003 steps (8 resets) in 252 ms. (15 steps per ms) remains 6998/6998 properties
Reachability property qltransition_7394 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 6998/6998 properties
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 6998/6998 properties
BEST_FIRST walk for 4004 steps (8 resets) in 257 ms. (15 steps per ms) remains 6998/6998 properties
Reachability property qltransition_7015 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 257 ms. (15 steps per ms) remains 6998/6998 properties
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 6998/6998 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 6998/6998 properties
Reachability property qltransition_5887 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 238 ms. (16 steps per ms) remains 6998/6998 properties
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 6998/6998 properties
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 6998/6998 properties
Reachability property qltransition_4973 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 256 ms. (15 steps per ms) remains 6998/6998 properties
BEST_FIRST walk for 4004 steps (8 resets) in 268 ms. (14 steps per ms) remains 6998/6998 properties
Reachability property qltransition_4285 is true.
Reachability property qltransition_3954 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 262 ms. (15 steps per ms) remains 6998/6998 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 6998/6998 properties
BEST_FIRST walk for 4003 steps (8 resets) in 207 ms. (19 steps per ms) remains 6997/6998 properties
BEST_FIRST walk for 4003 steps (8 resets) in 225 ms. (17 steps per ms) remains 6997/6997 properties
BEST_FIRST walk for 4003 steps (8 resets) in 237 ms. (16 steps per ms) remains 6997/6997 properties
BEST_FIRST walk for 4003 steps (8 resets) in 244 ms. (16 steps per ms) remains 6997/6997 properties
BEST_FIRST walk for 4002 steps (8 resets) in 245 ms. (16 steps per ms) remains 6997/6997 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 6997/6997 properties
BEST_FIRST walk for 4003 steps (8 resets) in 225 ms. (17 steps per ms) remains 6997/6997 properties
BEST_FIRST walk for 4004 steps (8 resets) in 285 ms. (14 steps per ms) remains 6997/6997 properties
BEST_FIRST walk for 4002 steps (8 resets) in 273 ms. (14 steps per ms) remains 6997/6997 properties
BEST_FIRST walk for 4004 steps (8 resets) in 270 ms. (14 steps per ms) remains 6997/6997 properties
BEST_FIRST walk for 4003 steps (8 resets) in 233 ms. (17 steps per ms) remains 6997/6997 properties
BEST_FIRST walk for 4004 steps (8 resets) in 266 ms. (14 steps per ms) remains 6993/6997 properties
BEST_FIRST walk for 4003 steps (8 resets) in 276 ms. (14 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 275 ms. (14 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4003 steps (8 resets) in 239 ms. (16 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4003 steps (8 resets) in 273 ms. (14 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4003 steps (8 resets) in 272 ms. (14 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 6993/6993 properties
Reachability property qltransition_2777 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 275 ms. (14 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4002 steps (8 resets) in 292 ms. (13 steps per ms) remains 6993/6993 properties
Reachability property qltransition_1829 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 273 ms. (14 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 253 ms. (15 steps per ms) remains 6989/6993 properties
Reachability property qltransition_424 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 6988/6989 properties
BEST_FIRST walk for 4002 steps (8 resets) in 236 ms. (16 steps per ms) remains 6988/6988 properties
SDD proceeding with computation,8125 properties remain. new max is 32
SDD size :140828 after 166022
BEST_FIRST walk for 4004 steps (8 resets) in 249 ms. (16 steps per ms) remains 6988/6988 properties
Reachability property qltransition_8366 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 329 ms. (12 steps per ms) remains 6988/6988 properties
BEST_FIRST walk for 4003 steps (8 resets) in 386 ms. (10 steps per ms) remains 6988/6988 properties
BEST_FIRST walk for 4004 steps (8 resets) in 361 ms. (11 steps per ms) remains 6988/6988 properties
Reachability property qltransition_6795 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 365 ms. (10 steps per ms) remains 6988/6988 properties
BEST_FIRST walk for 4004 steps (8 resets) in 284 ms. (14 steps per ms) remains 6988/6988 properties
Reachability property qltransition_6047 is true.
Reachability property qltransition_5890 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 6988/6988 properties
Reachability property qltransition_5403 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 274 ms. (14 steps per ms) remains 6988/6988 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 6988/6988 properties
Reachability property qltransition_5192 is true.
Reachability property qltransition_5167 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 256 ms. (15 steps per ms) remains 6988/6988 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 6988/6988 properties
BEST_FIRST walk for 4003 steps (8 resets) in 240 ms. (16 steps per ms) remains 6988/6988 properties
BEST_FIRST walk for 4004 steps (8 resets) in 269 ms. (14 steps per ms) remains 6988/6988 properties
BEST_FIRST walk for 4003 steps (8 resets) in 257 ms. (15 steps per ms) remains 6988/6988 properties
BEST_FIRST walk for 4003 steps (8 resets) in 254 ms. (15 steps per ms) remains 6988/6988 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 6988/6988 properties
BEST_FIRST walk for 4003 steps (8 resets) in 237 ms. (16 steps per ms) remains 6988/6988 properties
BEST_FIRST walk for 4003 steps (8 resets) in 246 ms. (16 steps per ms) remains 6988/6988 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 6988/6988 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 6988/6988 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 6988/6988 properties
BEST_FIRST walk for 4004 steps (8 resets) in 306 ms. (13 steps per ms) remains 6988/6988 properties
BEST_FIRST walk for 4004 steps (8 resets) in 267 ms. (14 steps per ms) remains 6988/6988 properties
Reachability property qltransition_3727 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 233 ms. (17 steps per ms) remains 6988/6988 properties
BEST_FIRST walk for 4003 steps (8 resets) in 226 ms. (17 steps per ms) remains 6988/6988 properties
BEST_FIRST walk for 4004 steps (8 resets) in 274 ms. (14 steps per ms) remains 6988/6988 properties
BEST_FIRST walk for 4003 steps (8 resets) in 293 ms. (13 steps per ms) remains 6987/6988 properties
BEST_FIRST walk for 4004 steps (8 resets) in 269 ms. (14 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4004 steps (8 resets) in 228 ms. (17 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4003 steps (8 resets) in 230 ms. (17 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4004 steps (8 resets) in 265 ms. (15 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4004 steps (8 resets) in 268 ms. (14 steps per ms) remains 6987/6987 properties
Reachability property qltransition_1836 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 273 ms. (14 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 6987/6987 properties
Reachability property qltransition_458 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 267 ms. (14 steps per ms) remains 6987/6987 properties
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 274 ms. (14 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4004 steps (8 resets) in 270 ms. (14 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4004 steps (8 resets) in 245 ms. (16 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4000 steps (8 resets) in 262 ms. (15 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4003 steps (8 resets) in 242 ms. (16 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4004 steps (8 resets) in 236 ms. (16 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4003 steps (8 resets) in 245 ms. (16 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4002 steps (8 resets) in 220 ms. (18 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4004 steps (8 resets) in 276 ms. (14 steps per ms) remains 6987/6987 properties
Reachability property qltransition_7703 is true.
Reachability property qltransition_7625 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 292 ms. (13 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4003 steps (8 resets) in 281 ms. (14 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4003 steps (8 resets) in 312 ms. (12 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4003 steps (8 resets) in 257 ms. (15 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4003 steps (8 resets) in 248 ms. (16 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4003 steps (8 resets) in 258 ms. (15 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4002 steps (8 resets) in 291 ms. (13 steps per ms) remains 6987/6987 properties
Reachability property qltransition_7426 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 259 ms. (15 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4004 steps (8 resets) in 278 ms. (14 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4004 steps (8 resets) in 266 ms. (14 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 6987/6987 properties
Reachability property qltransition_6612 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 282 ms. (14 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4002 steps (8 resets) in 278 ms. (14 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4004 steps (8 resets) in 273 ms. (14 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4003 steps (8 resets) in 242 ms. (16 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4003 steps (8 resets) in 218 ms. (18 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4003 steps (8 resets) in 231 ms. (17 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4003 steps (8 resets) in 234 ms. (17 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4003 steps (8 resets) in 245 ms. (16 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4003 steps (8 resets) in 241 ms. (16 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4003 steps (8 resets) in 279 ms. (14 steps per ms) remains 6987/6987 properties
Reachability property qltransition_5821 is true.
Reachability property qltransition_5660 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 313 ms. (12 steps per ms) remains 6987/6987 properties
BEST_FIRST walk for 4004 steps (8 resets) in 269 ms. (14 steps per ms) remains 6986/6987 properties
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 6986/6986 properties
BEST_FIRST walk for 4003 steps (8 resets) in 282 ms. (14 steps per ms) remains 6986/6986 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 6986/6986 properties
BEST_FIRST walk for 4002 steps (8 resets) in 354 ms. (11 steps per ms) remains 6986/6986 properties
BEST_FIRST walk for 4004 steps (8 resets) in 350 ms. (11 steps per ms) remains 6986/6986 properties
BEST_FIRST walk for 4003 steps (8 resets) in 337 ms. (11 steps per ms) remains 6986/6986 properties
BEST_FIRST walk for 4003 steps (8 resets) in 306 ms. (13 steps per ms) remains 6986/6986 properties
BEST_FIRST walk for 4003 steps (8 resets) in 214 ms. (18 steps per ms) remains 6986/6986 properties
BEST_FIRST walk for 4004 steps (8 resets) in 277 ms. (14 steps per ms) remains 6986/6986 properties
BEST_FIRST walk for 4004 steps (8 resets) in 285 ms. (14 steps per ms) remains 6986/6986 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 6986/6986 properties
BEST_FIRST walk for 4004 steps (8 resets) in 224 ms. (17 steps per ms) remains 6986/6986 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 6984/6986 properties
BEST_FIRST walk for 4004 steps (8 resets) in 346 ms. (11 steps per ms) remains 6984/6984 properties
BEST_FIRST walk for 4004 steps (8 resets) in 348 ms. (11 steps per ms) remains 6984/6984 properties
BEST_FIRST walk for 4004 steps (8 resets) in 342 ms. (11 steps per ms) remains 6984/6984 properties
BEST_FIRST walk for 4004 steps (8 resets) in 345 ms. (11 steps per ms) remains 6984/6984 properties
Reachability property qltransition_4763 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 363 ms. (11 steps per ms) remains 6984/6984 properties
BEST_FIRST walk for 4004 steps (8 resets) in 356 ms. (11 steps per ms) remains 6984/6984 properties
BEST_FIRST walk for 4003 steps (8 resets) in 336 ms. (11 steps per ms) remains 6984/6984 properties
BEST_FIRST walk for 4003 steps (8 resets) in 359 ms. (11 steps per ms) remains 6984/6984 properties
BEST_FIRST walk for 4004 steps (8 resets) in 304 ms. (13 steps per ms) remains 6976/6984 properties
Reachability property qltransition_4312 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 281 ms. (14 steps per ms) remains 6976/6976 properties
Reachability property qltransition_4068 is true.
Reachability property qltransition_3821 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 280 ms. (14 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 258 ms. (15 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 255 ms. (15 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 257 ms. (15 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 223 ms. (17 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 247 ms. (16 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4002 steps (8 resets) in 263 ms. (15 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 249 ms. (16 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 267 ms. (14 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 277 ms. (14 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 232 ms. (17 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4002 steps (8 resets) in 238 ms. (16 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4002 steps (8 resets) in 276 ms. (14 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 267 ms. (14 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 284 ms. (14 steps per ms) remains 6976/6976 properties
Reachability property qltransition_2337 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 6976/6976 properties
Reachability property qltransition_2254 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 275 ms. (14 steps per ms) remains 6975/6976 properties
Reachability property qltransition_1872 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 379 ms. (10 steps per ms) remains 6975/6975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 336 ms. (11 steps per ms) remains 6975/6975 properties
Reachability property qltransition_1637 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 323 ms. (12 steps per ms) remains 6975/6975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 351 ms. (11 steps per ms) remains 6975/6975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 6975/6975 properties
BEST_FIRST walk for 4003 steps (8 resets) in 242 ms. (16 steps per ms) remains 6975/6975 properties
BEST_FIRST walk for 4003 steps (8 resets) in 287 ms. (13 steps per ms) remains 6975/6975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 283 ms. (14 steps per ms) remains 6974/6975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 320 ms. (12 steps per ms) remains 6966/6974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4003 steps (8 resets) in 237 ms. (16 steps per ms) remains 6962/6966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 6962/6962 properties
Reachability property qltransition_231 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4003 steps (8 resets) in 282 ms. (14 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4003 steps (8 resets) in 276 ms. (14 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 277 ms. (14 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4003 steps (8 resets) in 233 ms. (17 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 6961/6962 properties
BEST_FIRST walk for 4003 steps (8 resets) in 220 ms. (18 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4003 steps (8 resets) in 289 ms. (13 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 267 ms. (14 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4003 steps (8 resets) in 263 ms. (15 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 288 ms. (13 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 304 ms. (13 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 238 ms. (16 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4002 steps (8 resets) in 228 ms. (17 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 6961/6961 properties
SDD proceeding with computation,8100 properties remain. new max is 32
SDD size :208012 after 416037
BEST_FIRST walk for 4004 steps (8 resets) in 302 ms. (13 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 360 ms. (11 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4002 steps (8 resets) in 349 ms. (11 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 341 ms. (11 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 316 ms. (12 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4003 steps (8 resets) in 228 ms. (17 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4003 steps (8 resets) in 233 ms. (17 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 6954/6961 properties
Reachability property qltransition_7627 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 375 ms. (10 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4004 steps (8 resets) in 384 ms. (10 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4002 steps (8 resets) in 341 ms. (11 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4003 steps (8 resets) in 347 ms. (11 steps per ms) remains 6953/6954 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 246 ms. (16 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4002 steps (8 resets) in 226 ms. (17 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4002 steps (8 resets) in 262 ms. (15 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 285 ms. (13 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 263 ms. (15 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 217 ms. (18 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 239 ms. (16 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 239 ms. (16 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4001 steps (8 resets) in 237 ms. (16 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 239 ms. (16 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4002 steps (8 resets) in 295 ms. (13 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4002 steps (8 resets) in 303 ms. (13 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 322 ms. (12 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 322 ms. (12 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 351 ms. (11 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 337 ms. (11 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 333 ms. (11 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 334 ms. (11 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 333 ms. (11 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 231 ms. (17 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 236 ms. (16 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 239 ms. (16 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4002 steps (8 resets) in 392 ms. (10 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 239 ms. (16 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4002 steps (8 resets) in 273 ms. (14 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4002 steps (8 resets) in 262 ms. (15 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 279 ms. (14 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 276 ms. (14 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 257 ms. (15 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 6949/6953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 255 ms. (15 steps per ms) remains 6949/6949 properties
BEST_FIRST walk for 4003 steps (8 resets) in 267 ms. (14 steps per ms) remains 6949/6949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 267 ms. (14 steps per ms) remains 6949/6949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6949/6949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 245 ms. (16 steps per ms) remains 6948/6949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 265 ms. (15 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 262 ms. (15 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4003 steps (8 resets) in 254 ms. (15 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 275 ms. (14 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4003 steps (8 resets) in 275 ms. (14 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4003 steps (8 resets) in 244 ms. (16 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 245 ms. (16 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4003 steps (8 resets) in 241 ms. (16 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 6947/6948 properties
BEST_FIRST walk for 4003 steps (8 resets) in 241 ms. (16 steps per ms) remains 6947/6947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6947/6947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 6947/6947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 289 ms. (13 steps per ms) remains 6947/6947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 266 ms. (14 steps per ms) remains 6947/6947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 277 ms. (14 steps per ms) remains 6947/6947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 280 ms. (14 steps per ms) remains 6945/6947 properties
BEST_FIRST walk for 4003 steps (8 resets) in 238 ms. (16 steps per ms) remains 6944/6945 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 270 ms. (14 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 249 ms. (16 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 270 ms. (14 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4002 steps (8 resets) in 267 ms. (14 steps per ms) remains 6944/6944 properties
Reachability property qltransition_1929 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 249 ms. (16 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 261 ms. (15 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 265 ms. (15 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 6943/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 6943/6943 properties
Reachability property qltransition_268 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 267 ms. (14 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4003 steps (8 resets) in 245 ms. (16 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4003 steps (8 resets) in 257 ms. (15 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4003 steps (8 resets) in 269 ms. (14 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4003 steps (8 resets) in 242 ms. (16 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 4003 steps (8 resets) in 239 ms. (16 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4002 steps (8 resets) in 207 ms. (19 steps per ms) remains 6943/6943 properties
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 239 ms. (16 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 217 ms. (18 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4003 steps (8 resets) in 246 ms. (16 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 6943/6943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 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
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 6942/6943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 242 ms. (16 steps per ms) remains 6942/6942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 6942/6942 properties
SDD proceeding with computation,8097 properties remain. new max is 32
SDD size :416037 after 416114
BEST_FIRST walk for 4003 steps (8 resets) in 228 ms. (17 steps per ms) remains 6942/6942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 6942/6942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 267 ms. (14 steps per ms) remains 6942/6942 properties
Reachability property qltransition_8144 is true.
Reachability property qltransition_8074 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 257 ms. (15 steps per ms) remains 6942/6942 properties
BEST_FIRST walk for 4003 steps (8 resets) in 281 ms. (14 steps per ms) remains 6942/6942 properties
BEST_FIRST walk for 4003 steps (8 resets) in 247 ms. (16 steps per ms) remains 6942/6942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6942/6942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 257 ms. (15 steps per ms) remains 6942/6942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 6942/6942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 6942/6942 properties
BEST_FIRST walk for 4003 steps (8 resets) in 236 ms. (16 steps per ms) remains 6942/6942 properties
BEST_FIRST walk for 4002 steps (8 resets) in 269 ms. (14 steps per ms) remains 6942/6942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 253 ms. (15 steps per ms) remains 6942/6942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 242 ms. (16 steps per ms) remains 6942/6942 properties
BEST_FIRST walk for 4003 steps (8 resets) in 220 ms. (18 steps per ms) remains 6942/6942 properties
BEST_FIRST walk for 4003 steps (8 resets) in 215 ms. (18 steps per ms) remains 6942/6942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 242 ms. (16 steps per ms) remains 6942/6942 properties
BEST_FIRST walk for 4003 steps (8 resets) in 257 ms. (15 steps per ms) remains 6942/6942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 6942/6942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 6942/6942 properties
BEST_FIRST walk for 4003 steps (8 resets) in 263 ms. (15 steps per ms) remains 6942/6942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 249 ms. (16 steps per ms) remains 6942/6942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 6942/6942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 6942/6942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 6942/6942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 273 ms. (14 steps per ms) remains 6942/6942 properties
BEST_FIRST walk for 4003 steps (8 resets) in 305 ms. (13 steps per ms) remains 6942/6942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 317 ms. (12 steps per ms) remains 6942/6942 properties
BEST_FIRST walk for 4003 steps (8 resets) in 326 ms. (12 steps per ms) remains 6941/6942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 319 ms. (12 steps per ms) remains 6941/6941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 323 ms. (12 steps per ms) remains 6941/6941 properties
BEST_FIRST walk for 4002 steps (8 resets) in 337 ms. (11 steps per ms) remains 6939/6941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 323 ms. (12 steps per ms) remains 6938/6939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 319 ms. (12 steps per ms) remains 6935/6938 properties
BEST_FIRST walk for 4002 steps (8 resets) in 281 ms. (14 steps per ms) remains 6935/6935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 270 ms. (14 steps per ms) remains 6934/6935 properties
BEST_FIRST walk for 4002 steps (8 resets) in 262 ms. (15 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 279 ms. (14 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 278 ms. (14 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4003 steps (8 resets) in 251 ms. (15 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4002 steps (8 resets) in 225 ms. (17 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4003 steps (8 resets) in 254 ms. (15 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 286 ms. (13 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4003 steps (8 resets) in 264 ms. (15 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4003 steps (8 resets) in 223 ms. (17 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4002 steps (8 resets) in 218 ms. (18 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 222 ms. (17 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 239 ms. (16 steps per ms) remains 6934/6934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 278 ms. (14 steps per ms) remains 6933/6934 properties
Reachability property qltransition_5073 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 275 ms. (14 steps per ms) remains 6933/6933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 276 ms. (14 steps per ms) remains 6933/6933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 6933/6933 properties
BEST_FIRST walk for 4003 steps (8 resets) in 256 ms. (15 steps per ms) remains 6933/6933 properties
BEST_FIRST walk for 4003 steps (8 resets) in 270 ms. (14 steps per ms) remains 6933/6933 properties
BEST_FIRST walk for 4003 steps (8 resets) in 272 ms. (14 steps per ms) remains 6933/6933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 6933/6933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 261 ms. (15 steps per ms) remains 6933/6933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 6933/6933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 271 ms. (14 steps per ms) remains 6933/6933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 6933/6933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 266 ms. (14 steps per ms) remains 6933/6933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 6933/6933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 238 ms. (16 steps per ms) remains 6932/6933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4003 steps (8 resets) in 251 ms. (15 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4003 steps (8 resets) in 277 ms. (14 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4004 steps (8 resets) in 236 ms. (16 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4003 steps (8 resets) in 228 ms. (17 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4004 steps (8 resets) in 216 ms. (18 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4003 steps (8 resets) in 220 ms. (18 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 6932/6932 properties
Reachability property qltransition_3007 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4003 steps (8 resets) in 341 ms. (11 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4004 steps (8 resets) in 344 ms. (11 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4004 steps (8 resets) in 372 ms. (10 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4004 steps (8 resets) in 302 ms. (13 steps per ms) remains 6932/6932 properties
BEST_FIRST walk for 4003 steps (8 resets) in 285 ms. (13 steps per ms) remains 6931/6932 properties
BEST_FIRST walk for 4003 steps (8 resets) in 214 ms. (18 steps per ms) remains 6931/6931 properties
BEST_FIRST walk for 4003 steps (8 resets) in 232 ms. (17 steps per ms) remains 6931/6931 properties
BEST_FIRST walk for 4003 steps (8 resets) in 227 ms. (17 steps per ms) remains 6931/6931 properties
BEST_FIRST walk for 4003 steps (8 resets) in 244 ms. (16 steps per ms) remains 6931/6931 properties
BEST_FIRST walk for 4004 steps (8 resets) in 238 ms. (16 steps per ms) remains 6931/6931 properties
BEST_FIRST walk for 4003 steps (8 resets) in 335 ms. (11 steps per ms) remains 6931/6931 properties
BEST_FIRST walk for 4004 steps (8 resets) in 330 ms. (12 steps per ms) remains 6930/6931 properties
BEST_FIRST walk for 4004 steps (8 resets) in 373 ms. (10 steps per ms) remains 6930/6930 properties
BEST_FIRST walk for 4004 steps (8 resets) in 376 ms. (10 steps per ms) remains 6930/6930 properties
BEST_FIRST walk for 4004 steps (8 resets) in 257 ms. (15 steps per ms) remains 6930/6930 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 6930/6930 properties
BEST_FIRST walk for 4002 steps (8 resets) in 271 ms. (14 steps per ms) remains 6930/6930 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 6930/6930 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 6930/6930 properties
BEST_FIRST walk for 4003 steps (8 resets) in 227 ms. (17 steps per ms) remains 6930/6930 properties
BEST_FIRST walk for 4004 steps (8 resets) in 257 ms. (15 steps per ms) remains 6930/6930 properties
BEST_FIRST walk for 4003 steps (8 resets) in 272 ms. (14 steps per ms) remains 6930/6930 properties
BEST_FIRST walk for 4004 steps (8 resets) in 236 ms. (16 steps per ms) remains 6929/6930 properties
BEST_FIRST walk for 4003 steps (8 resets) in 259 ms. (15 steps per ms) remains 6929/6929 properties
BEST_FIRST walk for 4004 steps (8 resets) in 269 ms. (14 steps per ms) remains 6929/6929 properties
BEST_FIRST walk for 4004 steps (8 resets) in 277 ms. (14 steps per ms) remains 6929/6929 properties
BEST_FIRST walk for 4003 steps (8 resets) in 222 ms. (17 steps per ms) remains 6929/6929 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 6929/6929 properties
BEST_FIRST walk for 4004 steps (8 resets) in 266 ms. (14 steps per ms) remains 6929/6929 properties
BEST_FIRST walk for 4003 steps (8 resets) in 279 ms. (14 steps per ms) remains 6929/6929 properties
BEST_FIRST walk for 4004 steps (8 resets) in 269 ms. (14 steps per ms) remains 6929/6929 properties
BEST_FIRST walk for 4003 steps (8 resets) in 258 ms. (15 steps per ms) remains 6929/6929 properties
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 6929/6929 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 6929/6929 properties
BEST_FIRST walk for 4004 steps (8 resets) in 257 ms. (15 steps per ms) remains 6929/6929 properties
BEST_FIRST walk for 4003 steps (8 resets) in 244 ms. (16 steps per ms) remains 6929/6929 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 6929/6929 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 275 ms. (14 steps per ms) remains 6929/6929 properties
BEST_FIRST walk for 4004 steps (8 resets) in 239 ms. (16 steps per ms) remains 6929/6929 properties
BEST_FIRST walk for 4003 steps (8 resets) in 243 ms. (16 steps per ms) remains 6929/6929 properties
BEST_FIRST walk for 4002 steps (8 resets) in 213 ms. (18 steps per ms) remains 6929/6929 properties
Reachability property qltransition_8018 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 254 ms. (15 steps per ms) remains 6929/6929 properties
BEST_FIRST walk for 4003 steps (8 resets) in 216 ms. (18 steps per ms) remains 6929/6929 properties
BEST_FIRST walk for 4003 steps (8 resets) in 242 ms. (16 steps per ms) remains 6929/6929 properties
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 6929/6929 properties
BEST_FIRST walk for 4001 steps (8 resets) in 234 ms. (17 steps per ms) remains 6929/6929 properties
BEST_FIRST walk for 4004 steps (8 resets) in 239 ms. (16 steps per ms) remains 6929/6929 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 6929/6929 properties
BEST_FIRST walk for 4004 steps (8 resets) in 275 ms. (14 steps per ms) remains 6927/6929 properties
BEST_FIRST walk for 4004 steps (8 resets) in 272 ms. (14 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 346 ms. (11 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 366 ms. (10 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 390 ms. (10 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 351 ms. (11 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 247 ms. (16 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 244 ms. (16 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 238 ms. (16 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 244 ms. (16 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 266 ms. (14 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 260 ms. (15 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 247 ms. (16 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 273 ms. (14 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 266 ms. (14 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 259 ms. (15 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 283 ms. (14 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 231 ms. (17 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 255 ms. (15 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 269 ms. (14 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 254 ms. (15 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4001 steps (8 resets) in 286 ms. (13 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 254 ms. (15 steps per ms) remains 6923/6927 properties
BEST_FIRST walk for 4003 steps (8 resets) in 269 ms. (14 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4003 steps (8 resets) in 242 ms. (16 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4003 steps (8 resets) in 253 ms. (15 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4003 steps (8 resets) in 245 ms. (16 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 221 ms. (18 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 236 ms. (16 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4002 steps (8 resets) in 217 ms. (18 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 208 ms. (19 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 221 ms. (18 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4003 steps (8 resets) in 243 ms. (16 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4003 steps (8 resets) in 308 ms. (12 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 345 ms. (11 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4002 steps (8 resets) in 355 ms. (11 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 350 ms. (11 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 270 ms. (14 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4003 steps (8 resets) in 263 ms. (15 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4003 steps (8 resets) in 276 ms. (14 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4003 steps (8 resets) in 285 ms. (13 steps per ms) remains 6923/6923 properties
Reachability property qltransition_4103 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 275 ms. (14 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 265 ms. (15 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4003 steps (8 resets) in 229 ms. (17 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 271 ms. (14 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4003 steps (8 resets) in 238 ms. (16 steps per ms) remains 6923/6923 properties
Reachability property qltransition_3315 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 265 ms. (15 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4003 steps (8 resets) in 236 ms. (16 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4003 steps (8 resets) in 291 ms. (13 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 279 ms. (14 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4003 steps (8 resets) in 264 ms. (15 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4002 steps (8 resets) in 214 ms. (18 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 245 ms. (16 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4002 steps (8 resets) in 211 ms. (18 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4002 steps (8 resets) in 223 ms. (17 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4003 steps (8 resets) in 250 ms. (15 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 273 ms. (14 steps per ms) remains 6923/6923 properties
Reachability property qltransition_2334 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4003 steps (8 resets) in 230 ms. (17 steps per ms) remains 6923/6923 properties
BEST_FIRST walk for 4003 steps (8 resets) in 222 ms. (17 steps per ms) remains 6922/6923 properties
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 6922/6922 properties
BEST_FIRST walk for 4004 steps (8 resets) in 274 ms. (14 steps per ms) remains 6922/6922 properties
BEST_FIRST walk for 4003 steps (8 resets) in 281 ms. (14 steps per ms) remains 6922/6922 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 6922/6922 properties
BEST_FIRST walk for 4003 steps (8 resets) in 270 ms. (14 steps per ms) remains 6922/6922 properties
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 6922/6922 properties
Reachability property qltransition_669 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 279 ms. (14 steps per ms) remains 6922/6922 properties
BEST_FIRST walk for 4003 steps (8 resets) in 248 ms. (16 steps per ms) remains 6920/6922 properties
BEST_FIRST walk for 4003 steps (8 resets) in 245 ms. (16 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4002 steps (8 resets) in 240 ms. (16 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4003 steps (8 resets) in 248 ms. (16 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4003 steps (8 resets) in 252 ms. (15 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4002 steps (8 resets) in 237 ms. (16 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4003 steps (8 resets) in 222 ms. (17 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 228 ms. (17 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 210 ms. (18 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 222 ms. (17 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4003 steps (8 resets) in 294 ms. (13 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 351 ms. (11 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4001 steps (8 resets) in 344 ms. (11 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4003 steps (8 resets) in 339 ms. (11 steps per ms) remains 6920/6920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 6919/6920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 6919/6919 properties
BEST_FIRST walk for 4003 steps (8 resets) in 273 ms. (14 steps per ms) remains 6919/6919 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 273 ms. (14 steps per ms) remains 6919/6919 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 6919/6919 properties
BEST_FIRST walk for 4004 steps (8 resets) in 269 ms. (14 steps per ms) remains 6919/6919 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 6919/6919 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6919/6919 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 6919/6919 properties
BEST_FIRST walk for 4004 steps (8 resets) in 268 ms. (14 steps per ms) remains 6919/6919 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 6919/6919 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 6919/6919 properties
BEST_FIRST walk for 4003 steps (8 resets) in 285 ms. (13 steps per ms) remains 6919/6919 properties
BEST_FIRST walk for 4004 steps (8 resets) in 355 ms. (11 steps per ms) remains 6919/6919 properties
BEST_FIRST walk for 4002 steps (8 resets) in 320 ms. (12 steps per ms) remains 6919/6919 properties
BEST_FIRST walk for 4004 steps (8 resets) in 311 ms. (12 steps per ms) remains 6919/6919 properties
BEST_FIRST walk for 4003 steps (8 resets) in 355 ms. (11 steps per ms) remains 6919/6919 properties
BEST_FIRST walk for 4004 steps (8 resets) in 271 ms. (14 steps per ms) remains 6919/6919 properties
BEST_FIRST walk for 4004 steps (8 resets) in 228 ms. (17 steps per ms) remains 6919/6919 properties
BEST_FIRST walk for 4003 steps (8 resets) in 259 ms. (15 steps per ms) remains 6919/6919 properties
BEST_FIRST walk for 4002 steps (8 resets) in 255 ms. (15 steps per ms) remains 6919/6919 properties
Reachability property qltransition_7500 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 256 ms. (15 steps per ms) remains 6919/6919 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 6919/6919 properties
BEST_FIRST walk for 4003 steps (8 resets) in 250 ms. (15 steps per ms) remains 6919/6919 properties
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 6919/6919 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 6919/6919 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 6919/6919 properties
BEST_FIRST walk for 4003 steps (8 resets) in 237 ms. (16 steps per ms) remains 6919/6919 properties
BEST_FIRST walk for 4002 steps (8 resets) in 211 ms. (18 steps per ms) remains 6919/6919 properties
BEST_FIRST walk for 4004 steps (8 resets) in 261 ms. (15 steps per ms) remains 6919/6919 properties
BEST_FIRST walk for 4002 steps (8 resets) in 265 ms. (15 steps per ms) remains 6919/6919 properties
BEST_FIRST walk for 4003 steps (8 resets) in 245 ms. (16 steps per ms) remains 6919/6919 properties
BEST_FIRST walk for 4001 steps (8 resets) in 253 ms. (15 steps per ms) remains 6919/6919 properties
BEST_FIRST walk for 4002 steps (8 resets) in 218 ms. (18 steps per ms) remains 6919/6919 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 6918/6919 properties
BEST_FIRST walk for 4003 steps (8 resets) in 275 ms. (14 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 253 ms. (15 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4003 steps (8 resets) in 260 ms. (15 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 215 ms. (18 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4001 steps (8 resets) in 300 ms. (13 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 304 ms. (13 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4003 steps (8 resets) in 299 ms. (13 steps per ms) remains 6918/6918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 352 ms. (11 steps per ms) remains 6917/6918 properties
BEST_FIRST walk for 4004 steps (8 resets) in 338 ms. (11 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 356 ms. (11 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 334 ms. (11 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 331 ms. (12 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 310 ms. (12 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 222 ms. (17 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 222 ms. (17 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 6917/6917 properties
Reachability property qltransition_5368 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 355 ms. (11 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 339 ms. (11 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 311 ms. (12 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 304 ms. (13 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 356 ms. (11 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 329 ms. (12 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 316 ms. (12 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 305 ms. (13 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 333 ms. (11 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 381 ms. (10 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 313 ms. (12 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 303 ms. (13 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 307 ms. (12 steps per ms) remains 6917/6917 properties
Reachability property qltransition_3886 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 265 ms. (15 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 212 ms. (18 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4002 steps (8 resets) in 235 ms. (16 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 216 ms. (18 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 221 ms. (18 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 230 ms. (17 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 217 ms. (18 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 217 ms. (18 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 266 ms. (14 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 224 ms. (17 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 250 ms. (15 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 335 ms. (11 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4002 steps (8 resets) in 319 ms. (12 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 431 ms. (9 steps per ms) remains 6917/6917 properties
Reachability property qltransition_2733 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 475 ms. (8 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 490 ms. (8 steps per ms) remains 6917/6917 properties
Reachability property qltransition_2212 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 463 ms. (8 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 311 ms. (12 steps per ms) remains 6917/6917 properties
Reachability property qltransition_1680 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 368 ms. (10 steps per ms) remains 6917/6917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 374 ms. (10 steps per ms) remains 6917/6917 properties
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.
Probabilistic random walk after 1000000 steps, saw 175695 distinct states, run finished after 144203 ms. (steps per millisecond=6 ) properties seen :97
[2024-05-29 11:01:48] [INFO ] Invariant cache hit.
[2024-05-29 11:01:48] [INFO ] State equation strengthened by 8020 read => feed constraints.
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 6789 unsolved
SMT process timed out in 61841ms, After SMT, problems are : Problem set: 0 solved, 6789 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 261 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 262 ms. Remains : 441/441 places, 8421/8421 transitions.
Reachability property qltransition_8124 is true.
Reachability property qltransition_8094 is true.
RANDOM walk for 176443 steps (0 resets) in 120011 ms. (1 steps per ms) remains 6772/6789 properties
BEST_FIRST walk for 4002 steps (8 resets) in 215 ms. (18 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4002 steps (8 resets) in 206 ms. (19 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 217 ms. (18 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4003 steps (8 resets) in 214 ms. (18 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 6772/6772 properties
BEST_FIRST walk for 4003 steps (8 resets) in 220 ms. (18 steps per ms) remains 6771/6772 properties
BEST_FIRST walk for 4003 steps (8 resets) in 209 ms. (19 steps per ms) remains 6771/6771 properties
BEST_FIRST walk for 4003 steps (8 resets) in 210 ms. (18 steps per ms) remains 6771/6771 properties
BEST_FIRST walk for 4003 steps (8 resets) in 230 ms. (17 steps per ms) remains 6770/6771 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 220 ms. (18 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 222 ms. (17 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4003 steps (8 resets) in 234 ms. (17 steps per ms) remains 6770/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 6769/6770 properties
BEST_FIRST walk for 4004 steps (8 resets) in 216 ms. (18 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4003 steps (8 resets) in 207 ms. (19 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4003 steps (8 resets) in 213 ms. (18 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4003 steps (8 resets) in 216 ms. (18 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4003 steps (8 resets) in 209 ms. (19 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4003 steps (8 resets) in 213 ms. (18 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4003 steps (8 resets) in 212 ms. (18 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 222 ms. (17 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4003 steps (8 resets) in 231 ms. (17 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 217 ms. (18 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4003 steps (8 resets) in 249 ms. (16 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4003 steps (8 resets) in 240 ms. (16 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 253 ms. (15 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 217 ms. (18 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4003 steps (8 resets) in 287 ms. (13 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4003 steps (8 resets) in 246 ms. (16 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 261 ms. (15 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 281 ms. (14 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4003 steps (8 resets) in 271 ms. (14 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 257 ms. (15 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4003 steps (8 resets) in 286 ms. (13 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4003 steps (8 resets) in 278 ms. (14 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4003 steps (8 resets) in 296 ms. (13 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4003 steps (8 resets) in 297 ms. (13 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4003 steps (8 resets) in 273 ms. (14 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4003 steps (8 resets) in 304 ms. (13 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4003 steps (8 resets) in 285 ms. (13 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4003 steps (8 resets) in 327 ms. (12 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4003 steps (8 resets) in 276 ms. (14 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4003 steps (8 resets) in 297 ms. (13 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4002 steps (8 resets) in 250 ms. (15 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4003 steps (8 resets) in 257 ms. (15 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 308 ms. (12 steps per ms) remains 6769/6769 properties
BEST_FIRST walk for 4004 steps (8 resets) in 309 ms. (12 steps per ms) remains 6769/6769 properties
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.
Interrupted probabilistic random walk after 707383 steps, run timeout after 105001 ms. (steps per millisecond=6 ) properties seen :0 out of 6769
Probabilistic random walk after 707383 steps, saw 129413 distinct states, run finished after 105091 ms. (steps per millisecond=6 ) properties seen :0
[2024-05-29 11:05:11] [INFO ] Invariant cache hit.
[2024-05-29 11:05:11] [INFO ] State equation strengthened by 8020 read => feed constraints.

BK_STOP 1716980727573

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

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="TokenRing-PT-020"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool itstools"
echo " Input is TokenRing-PT-020, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r431-smll-171690581400112"
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 [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "UpperBounds" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] || [ "QuasiLiveness" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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