About the Execution of ITS-Tools for TokenRing-PT-020
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 0.000 | 1800000.00 | 0.00 | 0.00 | [undef] | Time out reached |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2025-input.r245-tall-174915598600222.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2025-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5832
Executing tool itstools
Input is TokenRing-PT-020, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r245-tall-174915598600222
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 103M
-rw-r--r-- 1 mcc users 303K May 29 14:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 1.4M May 29 14:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4M May 29 14:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 16M May 29 14:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 29 14:33 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 252K May 29 14:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 892K May 29 14:48 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5M May 29 14:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.7M May 29 14:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 975K May 29 14:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 4.7M May 29 14:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13M May 29 14:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 45M May 29 14:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 47K May 29 14:48 UpperBounds.txt
-rw-r--r-- 1 mcc users 121K May 29 14:48 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 29 14:33 equiv_col
-rw-r--r-- 1 mcc users 4 May 29 14:33 instance
-rw-r--r-- 1 mcc users 6 May 29 14:33 iscolored
-rw-r--r-- 1 mcc users 4.0M May 29 14:33 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME QuasiLiveness
=== Now, execution of the tool begins
BK_START 1749162089711
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 202505121319
[2025-06-05 22:21:30] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2025-06-05 22:21:30] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-05 22:21:31] [INFO ] Load time of PNML (sax parser for PT used): 307 ms
[2025-06-05 22:21:31] [INFO ] Transformed 441 places.
[2025-06-05 22:21:31] [INFO ] Transformed 8421 transitions.
[2025-06-05 22:21:31] [INFO ] Found NUPN structural information;
[2025-06-05 22:21:31] [INFO ] Parsed PT model containing 441 places and 8421 transitions and 33684 arcs in 448 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 441/441 places, 8421/8421 transitions.
Applied a total of 0 rules in 90 ms. Remains 441 /441 variables (removed 0) and now considering 8421/8421 (removed 0) transitions.
// Phase 1: matrix 8421 rows 441 cols
[2025-06-05 22:21:31] [INFO ] Computed 21 invariants in 59 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-05 22:21:32] [INFO ] Implicit Places using invariants in 1042 ms returned []
[2025-06-05 22:21:32] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-05 22:21:33] [INFO ] State equation strengthened by 8020 read => feed constraints.
[2025-06-05 22:22:05] [INFO ] Performed 110/441 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-05 22:22:35] [INFO ] Performed 385/441 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-05 22:22:39] [INFO ] Implicit Places using invariants and state equation in 67276 ms returned []
Implicit Place search using SMT with State Equation took 68368 ms to find 0 implicit places.
Running 8401 sub problems to find dead transitions.
[2025-06-05 22:22:40] [INFO ] Invariant cache hit.
[2025-06-05 22:22:40] [INFO ] State equation strengthened by 8020 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 8401 unsolved
SMT process timed out in 41319ms, After SMT, problems are : Problem set: 0 solved, 8401 unsolved
Search for dead transitions found 0 dead transitions in 41388ms
Finished structural reductions in LIVENESS mode , in 1 iterations and 109914 ms. Remains : 441/441 places, 8421/8421 transitions.
Initial state reduction rules removed 20 formulas.
[2025-06-05 22:23:23] [INFO ] Flatten gal took : 946 ms
[2025-06-05 22:23:23] [INFO ] Flatten gal took : 554 ms
[2025-06-05 22:23:24] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality6223098612680657789.gal : 153 ms
[2025-06-05 22:23:24] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality5179833974336084368.prop : 100 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality6223098612680657789.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality5179833974336084368.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...328
Loading property file /tmp/ReachabilityCardinality5179833974336084368.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.
RANDOM walk for 40000 steps (8 resets) in 47618 ms. (0 steps per ms) remains 7522/8401 properties
BEST_FIRST walk for 124 steps (8 resets) in 56 ms. (2 steps per ms) remains 7521/7522 properties
BEST_FIRST walk for 124 steps (8 resets) in 75 ms. (1 steps per ms) remains 7521/7521 properties
BEST_FIRST walk for 124 steps (8 resets) in 37 ms. (3 steps per ms) remains 7521/7521 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 7521/7521 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 7520/7521 properties
BEST_FIRST walk for 124 steps (8 resets) in 17 ms. (6 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 16 ms. (7 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 16 ms. (7 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 16 ms. (7 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 19 ms. (6 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 25 ms. (4 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 21 ms. (5 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 21 ms. (5 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 16 ms. (7 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 15 ms. (7 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 15 ms. (7 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 15 ms. (7 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 15 ms. (7 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 15 ms. (7 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 21 ms. (5 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 15 ms. (7 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 16 ms. (7 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 16 ms. (7 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 15 ms. (7 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 15 ms. (7 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 7520/7520 properties
BEST_FIRST walk for 124 steps (8 resets) in 15 ms. (7 steps per ms) remains 7520/7520 properties
Reachability property qltransition_914 is true.
[2025-06-05 22:23:34] [INFO ] Invariant cache hit.
SDD proceeding with computation,8391 properties remain. new max is 2
SDD size :11 after 14
Reachability property qltransition_8217 is true.
[2025-06-05 22:23:34] [INFO ] State equation strengthened by 8020 read => feed constraints.
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
Reachability property qltransition_2065 is true.
Reachability property qltransition_347 is true.
SDD proceeding with computation,8384 properties remain. new max is 2
SDD size :29 after 33
Reachability property qltransition_7631 is true.
Reachability property qltransition_837 is true.
Reachability property qltransition_408 is true.
SDD proceeding with computation,8381 properties remain. new max is 2
SDD size :33 after 39
SDD proceeding with computation,8381 properties remain. new max is 4
SDD size :39 after 42
Reachability property qltransition_7889 is true.
Reachability property qltransition_6621 is true.
Reachability property qltransition_3649 is true.
Reachability property qltransition_3380 is true.
Reachability property qltransition_600 is true.
Reachability property qltransition_381 is true.
SDD proceeding with computation,8375 properties remain. new max is 4
SDD size :42 after 85
Reachability property qltransition_1278 is true.
Reachability property qltransition_1251 is true.
SDD proceeding with computation,8373 properties remain. new max is 4
SDD size :85 after 90
Reachability property qltransition_4049 is true.
Reachability property qltransition_2623 is true.
Reachability property qltransition_1724 is true.
SDD proceeding with computation,8370 properties remain. new max is 4
SDD size :90 after 100
SDD proceeding with computation,8370 properties remain. new max is 8
SDD size :100 after 104
Reachability property qltransition_7586 is true.
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
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.
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 5 solved, 7515 unsolved
SMT process timed out in 15764ms, After SMT, problems are : Problem set: 10 solved, 7510 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.
Reachability property qltransition_3211 is true.
Applied a total of 0 rules in 213 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 215 ms. Remains : 441/441 places, 8421/8421 transitions.
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.
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.
RANDOM walk for 175142 steps (0 resets) in 120004 ms. (1 steps per ms) remains 7431/7509 properties
Reachability property qltransition_578 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 7389/7431 properties
Reachability property qltransition_132 is true.
SDD proceeding with computation,8244 properties remain. new max is 32
SDD size :11362 after 13364
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 7364/7389 properties
Reachability property qltransition_8206 is true.
Reachability property qltransition_8137 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 264 ms. (15 steps per ms) remains 7346/7364 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 7341/7346 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 7337/7341 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 7333/7337 properties
Reachability property qltransition_6656 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 7325/7333 properties
BEST_FIRST walk for 4004 steps (8 resets) in 286 ms. (13 steps per ms) remains 7315/7325 properties
BEST_FIRST walk for 4004 steps (8 resets) in 245 ms. (16 steps per ms) remains 7309/7315 properties
BEST_FIRST walk for 4003 steps (8 resets) in 230 ms. (17 steps per ms) remains 7299/7309 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 7295/7299 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 7279/7295 properties
Reachability property qltransition_3753 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 189 ms. (21 steps per ms) remains 7279/7279 properties
BEST_FIRST walk for 4004 steps (8 resets) in 178 ms. (22 steps per ms) remains 7277/7279 properties
Reachability property qltransition_3152 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 215 ms. (18 steps per ms) remains 7260/7277 properties
Reachability property qltransition_3094 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 7257/7260 properties
BEST_FIRST walk for 4003 steps (8 resets) in 234 ms. (17 steps per ms) remains 7247/7257 properties
BEST_FIRST walk for 4001 steps (8 resets) in 227 ms. (17 steps per ms) remains 7247/7247 properties
Reachability property qltransition_971 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 249 ms. (16 steps per ms) remains 7244/7247 properties
BEST_FIRST walk for 4004 steps (8 resets) in 274 ms. (14 steps per ms) remains 7241/7244 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 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 7240/7241 properties
BEST_FIRST walk for 4002 steps (8 resets) in 185 ms. (21 steps per ms) remains 7240/7240 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 7239/7240 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 7238/7239 properties
BEST_FIRST walk for 4003 steps (8 resets) in 238 ms. (16 steps per ms) remains 7237/7238 properties
Reachability property qltransition_7558 is true.
Reachability property qltransition_7429 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 227 ms. (17 steps per ms) remains 7235/7237 properties
BEST_FIRST walk for 4003 steps (8 resets) in 291 ms. (13 steps per ms) remains 7231/7235 properties
BEST_FIRST walk for 4003 steps (8 resets) in 264 ms. (15 steps per ms) remains 7230/7231 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 7229/7230 properties
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 7228/7229 properties
Reachability property qltransition_5931 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 333 ms. (11 steps per ms) remains 7223/7228 properties
BEST_FIRST walk for 4004 steps (8 resets) in 268 ms. (14 steps per ms) remains 7218/7223 properties
BEST_FIRST walk for 4003 steps (8 resets) in 229 ms. (17 steps per ms) remains 7218/7218 properties
Reachability property qltransition_4927 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 228 ms. (17 steps per ms) remains 7217/7218 properties
Reachability property qltransition_4570 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 7214/7217 properties
Reachability property qltransition_4200 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 277 ms. (14 steps per ms) remains 7210/7214 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 7210/7210 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 7210/7210 properties
Reachability property qltransition_3348 is true.
Reachability property qltransition_3278 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 235 ms. (16 steps per ms) remains 7209/7210 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 7207/7209 properties
Reachability property qltransition_2673 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 185 ms. (21 steps per ms) remains 7206/7207 properties
Reachability property qltransition_2221 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 239 ms. (16 steps per ms) remains 7205/7206 properties
Reachability property qltransition_2159 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 258 ms. (15 steps per ms) remains 7205/7205 properties
Reachability property qltransition_1518 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 251 ms. (15 steps per ms) remains 7205/7205 properties
BEST_FIRST walk for 4003 steps (8 resets) in 242 ms. (16 steps per ms) remains 7204/7205 properties
Reachability property qltransition_682 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 228 ms. (17 steps per ms) remains 7204/7204 properties
BEST_FIRST walk for 4003 steps (8 resets) in 246 ms. (16 steps per ms) remains 7204/7204 properties
SDD proceeding with computation,8223 properties remain. new max is 32
SDD size :16796 after 33603
BEST_FIRST walk for 4003 steps (8 resets) in 199 ms. (20 steps per ms) remains 7199/7204 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 7199/7199 properties
BEST_FIRST walk for 4003 steps (8 resets) in 211 ms. (18 steps per ms) remains 7198/7199 properties
BEST_FIRST walk for 4004 steps (8 resets) in 228 ms. (17 steps per ms) remains 7197/7198 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 7197/7197 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 7196/7197 properties
BEST_FIRST walk for 4003 steps (8 resets) in 189 ms. (21 steps per ms) remains 7196/7196 properties
Reachability property qltransition_6462 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 7196/7196 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 7195/7196 properties
BEST_FIRST walk for 4004 steps (8 resets) in 245 ms. (16 steps per ms) remains 7192/7195 properties
Reachability property qltransition_5234 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 229 ms. (17 steps per ms) remains 7190/7192 properties
BEST_FIRST walk for 4004 steps (8 resets) in 224 ms. (17 steps per ms) remains 7190/7190 properties
BEST_FIRST walk for 4003 steps (8 resets) in 243 ms. (16 steps per ms) remains 7188/7190 properties
BEST_FIRST walk for 4004 steps (8 resets) in 173 ms. (23 steps per ms) remains 7187/7188 properties
BEST_FIRST walk for 4004 steps (8 resets) in 527 ms. (7 steps per ms) remains 7187/7187 properties
BEST_FIRST walk for 4003 steps (8 resets) in 235 ms. (16 steps per ms) remains 7187/7187 properties
BEST_FIRST walk for 4002 steps (8 resets) in 222 ms. (17 steps per ms) remains 7187/7187 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 7187/7187 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 7187/7187 properties
BEST_FIRST walk for 4002 steps (8 resets) in 241 ms. (16 steps per ms) remains 7185/7187 properties
BEST_FIRST walk for 4003 steps (8 resets) in 242 ms. (16 steps per ms) remains 7185/7185 properties
Reachability property qltransition_208 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 243 ms. (16 steps per ms) remains 7185/7185 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 7185/7185 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 180 ms. (22 steps per ms) remains 7185/7185 properties
BEST_FIRST walk for 4004 steps (8 resets) in 182 ms. (21 steps per ms) remains 7185/7185 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 7185/7185 properties
BEST_FIRST walk for 4004 steps (8 resets) in 242 ms. (16 steps per ms) remains 7183/7185 properties
BEST_FIRST walk for 4004 steps (8 resets) in 180 ms. (22 steps per ms) remains 7183/7183 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 7183/7183 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 7182/7183 properties
Reachability property qltransition_6607 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 220 ms. (18 steps per ms) remains 7181/7182 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 7179/7181 properties
BEST_FIRST walk for 4004 steps (8 resets) in 242 ms. (16 steps per ms) remains 7179/7179 properties
BEST_FIRST walk for 4003 steps (8 resets) in 231 ms. (17 steps per ms) remains 7179/7179 properties
Reachability property qltransition_5041 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 7172/7179 properties
BEST_FIRST walk for 4003 steps (8 resets) in 204 ms. (19 steps per ms) remains 7172/7172 properties
BEST_FIRST walk for 4003 steps (8 resets) in 191 ms. (20 steps per ms) remains 7172/7172 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 7171/7172 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 7171/7171 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 7171/7171 properties
BEST_FIRST walk for 4003 steps (8 resets) in 199 ms. (20 steps per ms) remains 7168/7171 properties
Reachability property qltransition_2769 is true.
Reachability property qltransition_2618 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 7168/7168 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 7168/7168 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 7168/7168 properties
BEST_FIRST walk for 4003 steps (8 resets) in 230 ms. (17 steps per ms) remains 7168/7168 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 7167/7168 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 7167/7167 properties
BEST_FIRST walk for 4004 steps (8 resets) in 208 ms. (19 steps per ms) remains 7167/7167 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 237 ms. (16 steps per ms) remains 7166/7167 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 7163/7166 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 7162/7163 properties
BEST_FIRST walk for 4004 steps (8 resets) in 181 ms. (22 steps per ms) remains 7162/7162 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 7161/7162 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 7158/7161 properties
BEST_FIRST walk for 4003 steps (8 resets) in 202 ms. (19 steps per ms) remains 7158/7158 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 7157/7158 properties
BEST_FIRST walk for 4003 steps (8 resets) in 224 ms. (17 steps per ms) remains 7157/7157 properties
BEST_FIRST walk for 4004 steps (8 resets) in 179 ms. (22 steps per ms) remains 7157/7157 properties
Reachability property qltransition_5832 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 233 ms. (17 steps per ms) remains 7154/7157 properties
Reachability property qltransition_5473 is true.
Reachability property qltransition_5264 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 7154/7154 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 7153/7154 properties
BEST_FIRST walk for 4004 steps (8 resets) in 224 ms. (17 steps per ms) remains 7153/7153 properties
BEST_FIRST walk for 4004 steps (8 resets) in 181 ms. (22 steps per ms) remains 7153/7153 properties
BEST_FIRST walk for 4003 steps (8 resets) in 183 ms. (21 steps per ms) remains 7152/7153 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 7152/7152 properties
Reachability property qltransition_3409 is true.
Reachability property qltransition_3402 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 243 ms. (16 steps per ms) remains 7152/7152 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 7152/7152 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 7152/7152 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 7149/7152 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 7148/7149 properties
BEST_FIRST walk for 4003 steps (8 resets) in 231 ms. (17 steps per ms) remains 7147/7148 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 7147/7147 properties
BEST_FIRST walk for 4003 steps (8 resets) in 176 ms. (22 steps per ms) remains 7147/7147 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 7147/7147 properties
BEST_FIRST walk for 4003 steps (8 resets) in 183 ms. (21 steps per ms) remains 7147/7147 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 7146/7147 properties
SDD proceeding with computation,8211 properties remain. new max is 32
SDD size :33865 after 34502
BEST_FIRST walk for 4002 steps (8 resets) in 186 ms. (21 steps per ms) remains 7146/7146 properties
BEST_FIRST walk for 4004 steps (8 resets) in 173 ms. (23 steps per ms) remains 7146/7146 properties
BEST_FIRST walk for 4004 steps (8 resets) in 184 ms. (21 steps per ms) remains 7146/7146 properties
BEST_FIRST walk for 4004 steps (8 resets) in 183 ms. (21 steps per ms) remains 7146/7146 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 7146/7146 properties
BEST_FIRST walk for 4003 steps (8 resets) in 233 ms. (17 steps per ms) remains 7146/7146 properties
Reachability property qltransition_7391 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 240 ms. (16 steps per ms) remains 7146/7146 properties
BEST_FIRST walk for 4003 steps (8 resets) in 197 ms. (20 steps per ms) remains 7145/7146 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 7145/7145 properties
Reachability property qltransition_6921 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 251 ms. (15 steps per ms) remains 7145/7145 properties
BEST_FIRST walk for 4002 steps (8 resets) in 255 ms. (15 steps per ms) remains 7145/7145 properties
BEST_FIRST walk for 4003 steps (8 resets) in 236 ms. (16 steps per ms) remains 7144/7145 properties
Reachability property qltransition_5678 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 210 ms. (18 steps per ms) remains 7143/7144 properties
Reachability property qltransition_5383 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 174 ms. (22 steps per ms) remains 7143/7143 properties
BEST_FIRST walk for 4003 steps (8 resets) in 177 ms. (22 steps per ms) remains 7142/7143 properties
BEST_FIRST walk for 4003 steps (8 resets) in 174 ms. (22 steps per ms) remains 7142/7142 properties
BEST_FIRST walk for 4003 steps (8 resets) in 219 ms. (18 steps per ms) remains 7142/7142 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 7142/7142 properties
Reachability property qltransition_3795 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 7142/7142 properties
BEST_FIRST walk for 4003 steps (8 resets) in 239 ms. (16 steps per ms) remains 7142/7142 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 7142/7142 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 7140/7142 properties
BEST_FIRST walk for 4003 steps (8 resets) in 234 ms. (17 steps per ms) remains 7140/7140 properties
BEST_FIRST walk for 4003 steps (8 resets) in 245 ms. (16 steps per ms) remains 7140/7140 properties
BEST_FIRST walk for 4004 steps (8 resets) in 222 ms. (17 steps per ms) remains 7140/7140 properties
BEST_FIRST walk for 4003 steps (8 resets) in 192 ms. (20 steps per ms) remains 7140/7140 properties
BEST_FIRST walk for 4004 steps (8 resets) in 178 ms. (22 steps per ms) remains 7138/7140 properties
Reachability property qltransition_919 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 227 ms. (17 steps per ms) remains 7138/7138 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 7138/7138 properties
SDD proceeding with computation,8205 properties remain. new max is 32
SDD size :34502 after 36140
BEST_FIRST walk for 4002 steps (8 resets) in 226 ms. (17 steps per ms) remains 7138/7138 properties
Reachability property qltransition_8374 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 7137/7138 properties
BEST_FIRST walk for 4004 steps (8 resets) in 183 ms. (21 steps per ms) remains 7137/7137 properties
Reachability property qltransition_8009 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 7137/7137 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 7136/7137 properties
BEST_FIRST walk for 4003 steps (8 resets) in 235 ms. (16 steps per ms) remains 7136/7136 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 7136/7136 properties
BEST_FIRST walk for 4002 steps (8 resets) in 198 ms. (20 steps per ms) remains 7135/7136 properties
BEST_FIRST walk for 4004 steps (8 resets) in 176 ms. (22 steps per ms) remains 7133/7135 properties
BEST_FIRST walk for 4003 steps (8 resets) in 199 ms. (20 steps per ms) remains 7132/7133 properties
BEST_FIRST walk for 4003 steps (8 resets) in 177 ms. (22 steps per ms) remains 7132/7132 properties
Reachability property qltransition_6087 is true.
Reachability property qltransition_6050 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 196 ms. (20 steps per ms) remains 7132/7132 properties
BEST_FIRST walk for 4004 steps (8 resets) in 210 ms. (18 steps per ms) remains 7132/7132 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 7132/7132 properties
BEST_FIRST walk for 4003 steps (8 resets) in 185 ms. (21 steps per ms) remains 7132/7132 properties
BEST_FIRST walk for 4003 steps (8 resets) in 175 ms. (22 steps per ms) remains 7129/7132 properties
BEST_FIRST walk for 4003 steps (8 resets) in 231 ms. (17 steps per ms) remains 7129/7129 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 7129/7129 properties
BEST_FIRST walk for 4003 steps (8 resets) in 217 ms. (18 steps per ms) remains 7129/7129 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 7129/7129 properties
BEST_FIRST walk for 4003 steps (8 resets) in 188 ms. (21 steps per ms) remains 7129/7129 properties
BEST_FIRST walk for 4003 steps (8 resets) in 197 ms. (20 steps per ms) remains 7129/7129 properties
BEST_FIRST walk for 4003 steps (8 resets) in 221 ms. (18 steps per ms) remains 7129/7129 properties
BEST_FIRST walk for 4002 steps (8 resets) in 209 ms. (19 steps per ms) remains 7129/7129 properties
BEST_FIRST walk for 4004 steps (8 resets) in 176 ms. (22 steps per ms) remains 7129/7129 properties
BEST_FIRST walk for 4003 steps (8 resets) in 183 ms. (21 steps per ms) remains 7128/7129 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 7126/7128 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 7126/7126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 7126/7126 properties
BEST_FIRST walk for 4003 steps (8 resets) in 238 ms. (16 steps per ms) remains 7126/7126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 7126/7126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 184 ms. (21 steps per ms) remains 7126/7126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 7126/7126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 7126/7126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 224 ms. (17 steps per ms) remains 7126/7126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 7126/7126 properties
BEST_FIRST walk for 4003 steps (8 resets) in 217 ms. (18 steps per ms) remains 7126/7126 properties
BEST_FIRST walk for 4003 steps (8 resets) in 179 ms. (22 steps per ms) remains 7126/7126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 7125/7126 properties
BEST_FIRST walk for 4003 steps (8 resets) in 227 ms. (17 steps per ms) remains 7125/7125 properties
BEST_FIRST walk for 4001 steps (8 resets) in 200 ms. (19 steps per ms) remains 7125/7125 properties
BEST_FIRST walk for 4002 steps (8 resets) in 233 ms. (17 steps per ms) remains 7125/7125 properties
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 7125/7125 properties
BEST_FIRST walk for 4003 steps (8 resets) in 226 ms. (17 steps per ms) remains 7125/7125 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 7116/7125 properties
BEST_FIRST walk for 4004 steps (8 resets) in 183 ms. (21 steps per ms) remains 7116/7116 properties
BEST_FIRST walk for 4002 steps (8 resets) in 195 ms. (20 steps per ms) remains 7116/7116 properties
BEST_FIRST walk for 4003 steps (8 resets) in 216 ms. (18 steps per ms) remains 7116/7116 properties
BEST_FIRST walk for 4003 steps (8 resets) in 243 ms. (16 steps per ms) remains 7116/7116 properties
BEST_FIRST walk for 4003 steps (8 resets) in 194 ms. (20 steps per ms) remains 7116/7116 properties
BEST_FIRST walk for 4003 steps (8 resets) in 196 ms. (20 steps per ms) remains 7114/7116 properties
BEST_FIRST walk for 4003 steps (8 resets) in 180 ms. (22 steps per ms) remains 7114/7114 properties
BEST_FIRST walk for 4003 steps (8 resets) in 196 ms. (20 steps per ms) remains 7106/7114 properties
BEST_FIRST walk for 4003 steps (8 resets) in 173 ms. (23 steps per ms) remains 7106/7106 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 7105/7106 properties
BEST_FIRST walk for 4004 steps (8 resets) in 238 ms. (16 steps per ms) remains 7103/7105 properties
BEST_FIRST walk for 4003 steps (8 resets) in 229 ms. (17 steps per ms) remains 7103/7103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 7103/7103 properties
BEST_FIRST walk for 4003 steps (8 resets) in 185 ms. (21 steps per ms) remains 7103/7103 properties
BEST_FIRST walk for 4003 steps (8 resets) in 187 ms. (21 steps per ms) remains 7103/7103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 7103/7103 properties
BEST_FIRST walk for 4003 steps (8 resets) in 231 ms. (17 steps per ms) remains 7103/7103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 224 ms. (17 steps per ms) remains 7103/7103 properties
BEST_FIRST walk for 4003 steps (8 resets) in 172 ms. (23 steps per ms) remains 7098/7103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 7098/7098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 226 ms. (17 steps per ms) remains 7098/7098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 202 ms. (19 steps per ms) remains 7097/7098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 194 ms. (20 steps per ms) remains 7097/7097 properties
BEST_FIRST walk for 4003 steps (8 resets) in 190 ms. (20 steps per ms) remains 7096/7097 properties
BEST_FIRST walk for 4004 steps (8 resets) in 176 ms. (22 steps per ms) remains 7096/7096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 7096/7096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 7096/7096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 7096/7096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 7096/7096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 217 ms. (18 steps per ms) remains 7096/7096 properties
BEST_FIRST walk for 4003 steps (8 resets) in 217 ms. (18 steps per ms) remains 7096/7096 properties
BEST_FIRST walk for 4003 steps (8 resets) in 222 ms. (17 steps per ms) remains 7096/7096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 7096/7096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 7095/7096 properties
BEST_FIRST walk for 4003 steps (8 resets) in 175 ms. (22 steps per ms) remains 7095/7095 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 7095/7095 properties
BEST_FIRST walk for 4003 steps (8 resets) in 208 ms. (19 steps per ms) remains 7095/7095 properties
BEST_FIRST walk for 4003 steps (8 resets) in 231 ms. (17 steps per ms) remains 7095/7095 properties
BEST_FIRST walk for 4003 steps (8 resets) in 238 ms. (16 steps per ms) remains 7095/7095 properties
BEST_FIRST walk for 4004 steps (8 resets) in 238 ms. (16 steps per ms) remains 7095/7095 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 7095/7095 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 7095/7095 properties
BEST_FIRST walk for 4003 steps (8 resets) in 231 ms. (17 steps per ms) remains 7094/7095 properties
BEST_FIRST walk for 4003 steps (8 resets) in 247 ms. (16 steps per ms) remains 7092/7094 properties
BEST_FIRST walk for 4003 steps (8 resets) in 222 ms. (17 steps per ms) remains 7092/7092 properties
BEST_FIRST walk for 4003 steps (8 resets) in 181 ms. (21 steps per ms) remains 7092/7092 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 7092/7092 properties
BEST_FIRST walk for 4003 steps (8 resets) in 240 ms. (16 steps per ms) remains 7091/7092 properties
BEST_FIRST walk for 4003 steps (8 resets) in 192 ms. (20 steps per ms) remains 7091/7091 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 7091/7091 properties
BEST_FIRST walk for 4003 steps (8 resets) in 226 ms. (17 steps per ms) remains 7091/7091 properties
BEST_FIRST walk for 4004 steps (8 resets) in 238 ms. (16 steps per ms) remains 7089/7091 properties
BEST_FIRST walk for 4003 steps (8 resets) in 222 ms. (17 steps per ms) remains 7089/7089 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 7089/7089 properties
BEST_FIRST walk for 4004 steps (8 resets) in 217 ms. (18 steps per ms) remains 7089/7089 properties
BEST_FIRST walk for 4003 steps (8 resets) in 225 ms. (17 steps per ms) remains 7087/7089 properties
BEST_FIRST walk for 4003 steps (8 resets) in 184 ms. (21 steps per ms) remains 7087/7087 properties
BEST_FIRST walk for 4003 steps (8 resets) in 181 ms. (21 steps per ms) remains 7087/7087 properties
BEST_FIRST walk for 4003 steps (8 resets) in 203 ms. (19 steps per ms) remains 7087/7087 properties
BEST_FIRST walk for 4003 steps (8 resets) in 222 ms. (17 steps per ms) remains 7087/7087 properties
Reachability property qltransition_1215 is true.
Reachability property qltransition_1001 is true.
Reachability property qltransition_832 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 218 ms. (18 steps per ms) remains 7087/7087 properties
BEST_FIRST walk for 4004 steps (8 resets) in 180 ms. (22 steps per ms) remains 7087/7087 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 214 ms. (18 steps per ms) remains 7087/7087 properties
Reachability property qltransition_8221 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 232 ms. (17 steps per ms) remains 7086/7087 properties
Reachability property qltransition_7483 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 239 ms. (16 steps per ms) remains 7086/7086 properties
Reachability property qltransition_6810 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 221 ms. (18 steps per ms) remains 7086/7086 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 7086/7086 properties
Reachability property qltransition_6045 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 181 ms. (22 steps per ms) remains 7086/7086 properties
BEST_FIRST walk for 4004 steps (8 resets) in 175 ms. (22 steps per ms) remains 7086/7086 properties
BEST_FIRST walk for 4002 steps (8 resets) in 168 ms. (23 steps per ms) remains 7086/7086 properties
Reachability property qltransition_5304 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 172 ms. (23 steps per ms) remains 7086/7086 properties
BEST_FIRST walk for 4003 steps (8 resets) in 175 ms. (22 steps per ms) remains 7086/7086 properties
BEST_FIRST walk for 4004 steps (8 resets) in 181 ms. (22 steps per ms) remains 7086/7086 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 7086/7086 properties
BEST_FIRST walk for 4003 steps (8 resets) in 191 ms. (20 steps per ms) remains 7086/7086 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 7085/7086 properties
BEST_FIRST walk for 4004 steps (8 resets) in 216 ms. (18 steps per ms) remains 7085/7085 properties
BEST_FIRST walk for 4004 steps (8 resets) in 249 ms. (16 steps per ms) remains 7081/7085 properties
Reachability property qltransition_1648 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 7081/7081 properties
Reachability property qltransition_1169 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 7081/7081 properties
Reachability property qltransition_687 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 202 ms. (19 steps per ms) remains 7081/7081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 7081/7081 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 228 ms. (17 steps per ms) remains 7081/7081 properties
Reachability property qltransition_8261 is true.
Reachability property qltransition_8191 is true.
Reachability property qltransition_8155 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 7081/7081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 183 ms. (21 steps per ms) remains 7081/7081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 7080/7081 properties
Reachability property qltransition_7106 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 230 ms. (17 steps per ms) remains 7080/7080 properties
Reachability property qltransition_6121 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 7080/7080 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 7074/7080 properties
BEST_FIRST walk for 4003 steps (8 resets) in 217 ms. (18 steps per ms) remains 7074/7074 properties
Reachability property qltransition_4206 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 7074/7074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 7074/7074 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 7074/7074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 7074/7074 properties
Reachability property qltransition_3076 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 7074/7074 properties
BEST_FIRST walk for 4003 steps (8 resets) in 233 ms. (17 steps per ms) remains 7074/7074 properties
Reachability property qltransition_1589 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 223 ms. (17 steps per ms) remains 7073/7074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 7073/7073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 7072/7073 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 227 ms. (17 steps per ms) remains 7072/7072 properties
Reachability property qltransition_8259 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 217 ms. (18 steps per ms) remains 7072/7072 properties
Reachability property qltransition_8081 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 177 ms. (22 steps per ms) remains 7072/7072 properties
BEST_FIRST walk for 4004 steps (8 resets) in 483 ms. (8 steps per ms) remains 7072/7072 properties
BEST_FIRST walk for 4004 steps (8 resets) in 179 ms. (22 steps per ms) remains 7072/7072 properties
BEST_FIRST walk for 4004 steps (8 resets) in 173 ms. (23 steps per ms) remains 7072/7072 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 7072/7072 properties
BEST_FIRST walk for 4004 steps (8 resets) in 173 ms. (23 steps per ms) remains 7072/7072 properties
BEST_FIRST walk for 4004 steps (8 resets) in 183 ms. (21 steps per ms) remains 7071/7072 properties
BEST_FIRST walk for 4003 steps (8 resets) in 171 ms. (23 steps per ms) remains 7071/7071 properties
Reachability property qltransition_6924 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 7071/7071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 7069/7071 properties
BEST_FIRST walk for 4003 steps (8 resets) in 220 ms. (18 steps per ms) remains 7069/7069 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 7069/7069 properties
BEST_FIRST walk for 4002 steps (8 resets) in 185 ms. (21 steps per ms) remains 7069/7069 properties
Reachability property qltransition_5948 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 170 ms. (23 steps per ms) remains 7069/7069 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 7069/7069 properties
BEST_FIRST walk for 4003 steps (8 resets) in 212 ms. (18 steps per ms) remains 7069/7069 properties
Reachability property qltransition_4812 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 208 ms. (19 steps per ms) remains 7069/7069 properties
BEST_FIRST walk for 4002 steps (8 resets) in 176 ms. (22 steps per ms) remains 7069/7069 properties
BEST_FIRST walk for 4004 steps (8 resets) in 172 ms. (23 steps per ms) remains 7069/7069 properties
Reachability property qltransition_4039 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 196 ms. (20 steps per ms) remains 7069/7069 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 7069/7069 properties
BEST_FIRST walk for 4003 steps (8 resets) in 226 ms. (17 steps per ms) remains 7068/7069 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 7068/7068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 173 ms. (23 steps per ms) remains 7068/7068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 7068/7068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 175 ms. (22 steps per ms) remains 7068/7068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 171 ms. (23 steps per ms) remains 7068/7068 properties
BEST_FIRST walk for 4003 steps (8 resets) in 203 ms. (19 steps per ms) remains 7068/7068 properties
BEST_FIRST walk for 4003 steps (8 resets) in 222 ms. (17 steps per ms) remains 7068/7068 properties
BEST_FIRST walk for 4003 steps (8 resets) in 196 ms. (20 steps per ms) remains 7068/7068 properties
Reachability property qltransition_2615 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 7068/7068 properties
Reachability property qltransition_2540 is true.
Reachability property qltransition_2214 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 216 ms. (18 steps per ms) remains 7068/7068 properties
Reachability property qltransition_2139 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 7068/7068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 7068/7068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 239 ms. (16 steps per ms) remains 7068/7068 properties
Reachability property qltransition_1138 is true.
Reachability property qltransition_1117 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 228 ms. (17 steps per ms) remains 7068/7068 properties
BEST_FIRST walk for 4003 steps (8 resets) in 220 ms. (18 steps per ms) remains 7068/7068 properties
Reachability property qltransition_557 is true.
BEST_FIRST walk for 4001 steps (8 resets) in 178 ms. (22 steps per ms) remains 7068/7068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 180 ms. (22 steps per ms) remains 7068/7068 properties
Reachability property qltransition_91 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 213 ms. (18 steps per ms) remains 7068/7068 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 232 ms. (17 steps per ms) remains 7064/7068 properties
BEST_FIRST walk for 4003 steps (8 resets) in 221 ms. (18 steps per ms) remains 7064/7064 properties
Reachability property qltransition_7566 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 222 ms. (17 steps per ms) remains 7063/7064 properties
BEST_FIRST walk for 4003 steps (8 resets) in 183 ms. (21 steps per ms) remains 7063/7063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 7063/7063 properties
BEST_FIRST walk for 4003 steps (8 resets) in 199 ms. (20 steps per ms) remains 7063/7063 properties
BEST_FIRST walk for 4003 steps (8 resets) in 188 ms. (21 steps per ms) remains 7062/7063 properties
BEST_FIRST walk for 4003 steps (8 resets) in 216 ms. (18 steps per ms) remains 7062/7062 properties
BEST_FIRST walk for 4003 steps (8 resets) in 242 ms. (16 steps per ms) remains 7062/7062 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 7062/7062 properties
BEST_FIRST walk for 4003 steps (8 resets) in 181 ms. (21 steps per ms) remains 7062/7062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 7061/7062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 7061/7061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 7061/7061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 178 ms. (22 steps per ms) remains 7061/7061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 7061/7061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 7061/7061 properties
BEST_FIRST walk for 4003 steps (8 resets) in 230 ms. (17 steps per ms) remains 7061/7061 properties
BEST_FIRST walk for 4003 steps (8 resets) in 224 ms. (17 steps per ms) remains 7061/7061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 179 ms. (22 steps per ms) remains 7061/7061 properties
BEST_FIRST walk for 4003 steps (8 resets) in 171 ms. (23 steps per ms) remains 7061/7061 properties
BEST_FIRST walk for 4003 steps (8 resets) in 172 ms. (23 steps per ms) remains 7061/7061 properties
BEST_FIRST walk for 4003 steps (8 resets) in 195 ms. (20 steps per ms) remains 7060/7061 properties
BEST_FIRST walk for 4003 steps (8 resets) in 240 ms. (16 steps per ms) remains 7059/7060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 7056/7059 properties
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 7056/7056 properties
BEST_FIRST walk for 4003 steps (8 resets) in 217 ms. (18 steps per ms) remains 7056/7056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 7056/7056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 178 ms. (22 steps per ms) remains 7056/7056 properties
BEST_FIRST walk for 4003 steps (8 resets) in 183 ms. (21 steps per ms) remains 7054/7056 properties
BEST_FIRST walk for 4003 steps (8 resets) in 169 ms. (23 steps per ms) remains 7054/7054 properties
BEST_FIRST walk for 4003 steps (8 resets) in 236 ms. (16 steps per ms) remains 7054/7054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 7054/7054 properties
Reachability property qltransition_899 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 7054/7054 properties
Reachability property qltransition_509 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 7053/7054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 178 ms. (22 steps per ms) remains 7052/7053 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 224 ms. (17 steps per ms) remains 7052/7052 properties
BEST_FIRST walk for 4003 steps (8 resets) in 208 ms. (19 steps per ms) remains 7050/7052 properties
Reachability property qltransition_7754 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 223 ms. (17 steps per ms) remains 7050/7050 properties
BEST_FIRST walk for 4003 steps (8 resets) in 232 ms. (17 steps per ms) remains 7050/7050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 7050/7050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 7050/7050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 249 ms. (16 steps per ms) remains 7047/7050 properties
BEST_FIRST walk for 4003 steps (8 resets) in 217 ms. (18 steps per ms) remains 7047/7047 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 7047/7047 properties
BEST_FIRST walk for 4003 steps (8 resets) in 168 ms. (23 steps per ms) remains 7046/7047 properties
BEST_FIRST walk for 4003 steps (8 resets) in 178 ms. (22 steps per ms) remains 7045/7046 properties
BEST_FIRST walk for 4004 steps (8 resets) in 175 ms. (22 steps per ms) remains 7045/7045 properties
BEST_FIRST walk for 4002 steps (8 resets) in 189 ms. (21 steps per ms) remains 7039/7045 properties
BEST_FIRST walk for 4001 steps (8 resets) in 166 ms. (23 steps per ms) remains 7039/7039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 7039/7039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 7035/7039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 7035/7035 properties
Reachability property qltransition_3799 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 7035/7035 properties
BEST_FIRST walk for 4004 steps (8 resets) in 222 ms. (17 steps per ms) remains 7035/7035 properties
BEST_FIRST walk for 4004 steps (8 resets) in 215 ms. (18 steps per ms) remains 7035/7035 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 7035/7035 properties
BEST_FIRST walk for 4003 steps (8 resets) in 187 ms. (21 steps per ms) remains 7035/7035 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 7035/7035 properties
BEST_FIRST walk for 4003 steps (8 resets) in 228 ms. (17 steps per ms) remains 7035/7035 properties
BEST_FIRST walk for 4003 steps (8 resets) in 185 ms. (21 steps per ms) remains 7035/7035 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 7032/7035 properties
BEST_FIRST walk for 4004 steps (8 resets) in 222 ms. (17 steps per ms) remains 7032/7032 properties
BEST_FIRST walk for 4004 steps (8 resets) in 228 ms. (17 steps per ms) remains 7032/7032 properties
Reachability property qltransition_1866 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 244 ms. (16 steps per ms) remains 7031/7032 properties
BEST_FIRST walk for 4003 steps (8 resets) in 189 ms. (21 steps per ms) remains 7031/7031 properties
BEST_FIRST walk for 4003 steps (8 resets) in 207 ms. (19 steps per ms) remains 7031/7031 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 7031/7031 properties
BEST_FIRST walk for 4004 steps (8 resets) in 221 ms. (18 steps per ms) remains 7031/7031 properties
Reachability property qltransition_847 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 184 ms. (21 steps per ms) remains 7030/7031 properties
BEST_FIRST walk for 4003 steps (8 resets) in 235 ms. (16 steps per ms) remains 7030/7030 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 7030/7030 properties
SDD proceeding with computation,8160 properties remain. new max is 32
SDD size :117649 after 117922
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 7030/7030 properties
BEST_FIRST walk for 4003 steps (8 resets) in 229 ms. (17 steps per ms) remains 7030/7030 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 7030/7030 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 7029/7030 properties
BEST_FIRST walk for 4003 steps (8 resets) in 236 ms. (16 steps per ms) remains 7029/7029 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 7029/7029 properties
Reachability property qltransition_7083 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 7029/7029 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 7029/7029 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 7029/7029 properties
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 7029/7029 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 7029/7029 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 7029/7029 properties
BEST_FIRST walk for 4003 steps (8 resets) in 255 ms. (15 steps per ms) remains 7025/7029 properties
Reachability property qltransition_4801 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 7025/7025 properties
BEST_FIRST walk for 4003 steps (8 resets) in 224 ms. (17 steps per ms) remains 7023/7025 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 7021/7023 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 7020/7021 properties
Reachability property qltransition_3847 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 204 ms. (19 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4003 steps (8 resets) in 203 ms. (19 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 184 ms. (21 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4003 steps (8 resets) in 178 ms. (22 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 178 ms. (22 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 177 ms. (22 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 7020/7020 properties
Reachability property qltransition_2448 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 238 ms. (16 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 7020/7020 properties
Reachability property qltransition_1748 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 217 ms. (18 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4003 steps (8 resets) in 239 ms. (16 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4003 steps (8 resets) in 229 ms. (17 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 175 ms. (22 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4002 steps (8 resets) in 223 ms. (17 steps per ms) remains 7020/7020 properties
SDD proceeding with computation,8155 properties remain. new max is 32
SDD size :117922 after 118832
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 171 ms. (23 steps per ms) remains 7020/7020 properties
Reachability property qltransition_7908 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 179 ms. (22 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 7020/7020 properties
BEST_FIRST walk for 4003 steps (8 resets) in 230 ms. (17 steps per ms) remains 7019/7020 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 7019/7019 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 7019/7019 properties
BEST_FIRST walk for 4003 steps (8 resets) in 216 ms. (18 steps per ms) remains 7019/7019 properties
BEST_FIRST walk for 4003 steps (8 resets) in 202 ms. (19 steps per ms) remains 7019/7019 properties
BEST_FIRST walk for 4004 steps (8 resets) in 183 ms. (21 steps per ms) remains 7019/7019 properties
BEST_FIRST walk for 4004 steps (8 resets) in 171 ms. (23 steps per ms) remains 7019/7019 properties
BEST_FIRST walk for 4004 steps (8 resets) in 215 ms. (18 steps per ms) remains 7019/7019 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 7019/7019 properties
Reachability property qltransition_5711 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 7015/7019 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 7015/7015 properties
BEST_FIRST walk for 4004 steps (8 resets) in 176 ms. (22 steps per ms) remains 7015/7015 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 7015/7015 properties
BEST_FIRST walk for 4004 steps (8 resets) in 215 ms. (18 steps per ms) remains 7015/7015 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 7015/7015 properties
BEST_FIRST walk for 4004 steps (8 resets) in 238 ms. (16 steps per ms) remains 7015/7015 properties
BEST_FIRST walk for 4004 steps (8 resets) in 184 ms. (21 steps per ms) remains 7015/7015 properties
BEST_FIRST walk for 4004 steps (8 resets) in 217 ms. (18 steps per ms) remains 7015/7015 properties
Reachability property qltransition_3518 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 7015/7015 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 7011/7015 properties
Reachability property qltransition_3264 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 7011/7011 properties
BEST_FIRST walk for 4002 steps (8 resets) in 219 ms. (18 steps per ms) remains 7011/7011 properties
Reachability property qltransition_3088 is true.
Reachability property qltransition_3020 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 7010/7011 properties
BEST_FIRST walk for 4002 steps (8 resets) in 222 ms. (17 steps per ms) remains 7010/7010 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 7010/7010 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 7010/7010 properties
BEST_FIRST walk for 4004 steps (8 resets) in 224 ms. (17 steps per ms) remains 7010/7010 properties
BEST_FIRST walk for 4003 steps (8 resets) in 167 ms. (23 steps per ms) remains 7010/7010 properties
BEST_FIRST walk for 4004 steps (8 resets) in 176 ms. (22 steps per ms) remains 7010/7010 properties
BEST_FIRST walk for 4004 steps (8 resets) in 169 ms. (23 steps per ms) remains 7010/7010 properties
BEST_FIRST walk for 4003 steps (8 resets) in 181 ms. (21 steps per ms) remains 7010/7010 properties
BEST_FIRST walk for 4004 steps (8 resets) in 179 ms. (22 steps per ms) remains 7010/7010 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 7010/7010 properties
BEST_FIRST walk for 4003 steps (8 resets) in 216 ms. (18 steps per ms) remains 7010/7010 properties
BEST_FIRST walk for 4003 steps (8 resets) in 237 ms. (16 steps per ms) remains 7008/7010 properties
SDD proceeding with computation,8149 properties remain. new max is 32
SDD size :118832 after 121380
BEST_FIRST walk for 4003 steps (8 resets) in 226 ms. (17 steps per ms) remains 7008/7008 properties
Reachability property qltransition_8399 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 7008/7008 properties
BEST_FIRST walk for 4002 steps (8 resets) in 212 ms. (18 steps per ms) remains 7008/7008 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 7008/7008 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 7008/7008 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 7008/7008 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 7008/7008 properties
BEST_FIRST walk for 4002 steps (8 resets) in 231 ms. (17 steps per ms) remains 7008/7008 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 7008/7008 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 7008/7008 properties
BEST_FIRST walk for 4004 steps (8 resets) in 216 ms. (18 steps per ms) remains 7008/7008 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 7008/7008 properties
BEST_FIRST walk for 4004 steps (8 resets) in 183 ms. (21 steps per ms) remains 7008/7008 properties
BEST_FIRST walk for 4003 steps (8 resets) in 182 ms. (21 steps per ms) remains 7008/7008 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 7007/7008 properties
BEST_FIRST walk for 4003 steps (8 resets) in 226 ms. (17 steps per ms) remains 7007/7007 properties
Reachability property qltransition_4503 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 239 ms. (16 steps per ms) remains 7007/7007 properties
BEST_FIRST walk for 4002 steps (8 resets) in 225 ms. (17 steps per ms) remains 7007/7007 properties
Reachability property qltransition_3772 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 7007/7007 properties
BEST_FIRST walk for 4003 steps (8 resets) in 230 ms. (17 steps per ms) remains 7007/7007 properties
BEST_FIRST walk for 4001 steps (8 resets) in 186 ms. (21 steps per ms) remains 7006/7007 properties
BEST_FIRST walk for 4003 steps (8 resets) in 180 ms. (22 steps per ms) remains 7006/7006 properties
Reachability property qltransition_3218 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 216 ms. (18 steps per ms) remains 7006/7006 properties
BEST_FIRST walk for 4003 steps (8 resets) in 221 ms. (18 steps per ms) remains 7006/7006 properties
BEST_FIRST walk for 4004 steps (8 resets) in 224 ms. (17 steps per ms) remains 7006/7006 properties
Reachability property qltransition_2887 is true.
Reachability property qltransition_2532 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 214 ms. (18 steps per ms) remains 7006/7006 properties
BEST_FIRST walk for 4002 steps (8 resets) in 230 ms. (17 steps per ms) remains 7006/7006 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 7006/7006 properties
BEST_FIRST walk for 4004 steps (8 resets) in 222 ms. (17 steps per ms) remains 7006/7006 properties
BEST_FIRST walk for 4003 steps (8 resets) in 197 ms. (20 steps per ms) remains 7006/7006 properties
Reachability property qltransition_624 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 7006/7006 properties
BEST_FIRST walk for 4003 steps (8 resets) in 223 ms. (17 steps per ms) remains 7005/7006 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 7005/7005 properties
SDD proceeding with computation,8142 properties remain. new max is 32
SDD size :121380 after 127568
BEST_FIRST walk for 4003 steps (8 resets) in 230 ms. (17 steps per ms) remains 7005/7005 properties
BEST_FIRST walk for 4003 steps (8 resets) in 228 ms. (17 steps per ms) remains 7004/7005 properties
BEST_FIRST walk for 4003 steps (8 resets) in 248 ms. (16 steps per ms) remains 7004/7004 properties
BEST_FIRST walk for 4003 steps (8 resets) in 185 ms. (21 steps per ms) remains 7004/7004 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 7004/7004 properties
BEST_FIRST walk for 4003 steps (8 resets) in 179 ms. (22 steps per ms) remains 7004/7004 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 7004/7004 properties
BEST_FIRST walk for 4004 steps (8 resets) in 221 ms. (18 steps per ms) remains 7003/7004 properties
Reachability property qltransition_6596 is true.
Reachability property qltransition_6433 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 221 ms. (18 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 180 ms. (22 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 7003/7003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 192 ms. (20 steps per ms) remains 6996/7003 properties
BEST_FIRST walk for 4002 steps (8 resets) in 172 ms. (23 steps per ms) remains 6996/6996 properties
BEST_FIRST walk for 4003 steps (8 resets) in 180 ms. (22 steps per ms) remains 6996/6996 properties
Reachability property qltransition_4877 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 6996/6996 properties
Reachability property qltransition_4557 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 6996/6996 properties
BEST_FIRST walk for 4004 steps (8 resets) in 524 ms. (7 steps per ms) remains 6996/6996 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 6996/6996 properties
BEST_FIRST walk for 4004 steps (8 resets) in 176 ms. (22 steps per ms) remains 6996/6996 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 6996/6996 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 6996/6996 properties
Reachability property qltransition_3131 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 6996/6996 properties
BEST_FIRST walk for 4004 steps (8 resets) in 173 ms. (23 steps per ms) remains 6996/6996 properties
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 6996/6996 properties
BEST_FIRST walk for 4002 steps (8 resets) in 221 ms. (18 steps per ms) remains 6996/6996 properties
Reachability property qltransition_2627 is true.
Reachability property qltransition_2599 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 195 ms. (20 steps per ms) remains 6996/6996 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 6996/6996 properties
BEST_FIRST walk for 4003 steps (8 resets) in 229 ms. (17 steps per ms) remains 6996/6996 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 6994/6996 properties
Reachability property qltransition_1604 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6994/6994 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 6994/6994 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 6994/6994 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 6994/6994 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 224 ms. (17 steps per ms) remains 6994/6994 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 6994/6994 properties
Reachability property qltransition_7394 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 228 ms. (17 steps per ms) remains 6994/6994 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 6994/6994 properties
Reachability property qltransition_7015 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 6994/6994 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6994/6994 properties
BEST_FIRST walk for 4003 steps (8 resets) in 180 ms. (22 steps per ms) remains 6994/6994 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 6994/6994 properties
Reachability property qltransition_5887 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 215 ms. (18 steps per ms) remains 6994/6994 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 6994/6994 properties
Reachability property qltransition_4973 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 191 ms. (20 steps per ms) remains 6994/6994 properties
Reachability property qltransition_4285 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 218 ms. (18 steps per ms) remains 6994/6994 properties
Reachability property qltransition_3954 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 221 ms. (18 steps per ms) remains 6994/6994 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 6994/6994 properties
BEST_FIRST walk for 4002 steps (8 resets) in 194 ms. (20 steps per ms) remains 6994/6994 properties
BEST_FIRST walk for 4003 steps (8 resets) in 169 ms. (23 steps per ms) remains 6994/6994 properties
BEST_FIRST walk for 4003 steps (8 resets) in 175 ms. (22 steps per ms) remains 6993/6994 properties
BEST_FIRST walk for 4003 steps (8 resets) in 169 ms. (23 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4003 steps (8 resets) in 219 ms. (18 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 6992/6993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 216 ms. (18 steps per ms) remains 6984/6992 properties
BEST_FIRST walk for 4003 steps (8 resets) in 180 ms. (22 steps per ms) remains 6984/6984 properties
BEST_FIRST walk for 4003 steps (8 resets) in 169 ms. (23 steps per ms) remains 6984/6984 properties
BEST_FIRST walk for 4004 steps (8 resets) in 166 ms. (23 steps per ms) remains 6984/6984 properties
Reachability property qltransition_2777 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 216 ms. (18 steps per ms) remains 6984/6984 properties
BEST_FIRST walk for 4003 steps (8 resets) in 226 ms. (17 steps per ms) remains 6984/6984 properties
BEST_FIRST walk for 4003 steps (8 resets) in 211 ms. (18 steps per ms) remains 6984/6984 properties
BEST_FIRST walk for 4002 steps (8 resets) in 217 ms. (18 steps per ms) remains 6984/6984 properties
Reachability property qltransition_1829 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 238 ms. (16 steps per ms) remains 6984/6984 properties
Reachability property qltransition_424 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 239 ms. (16 steps per ms) remains 6984/6984 properties
SDD proceeding with computation,8125 properties remain. new max is 32
SDD size :140828 after 166022
BEST_FIRST walk for 4003 steps (8 resets) in 190 ms. (20 steps per ms) remains 6984/6984 properties
Reachability property qltransition_8366 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 222 ms. (17 steps per ms) remains 6984/6984 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 6984/6984 properties
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 6984/6984 properties
Reachability property qltransition_6795 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6984/6984 properties
BEST_FIRST walk for 4003 steps (8 resets) in 178 ms. (22 steps per ms) remains 6984/6984 properties
Reachability property qltransition_6047 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 192 ms. (20 steps per ms) remains 6984/6984 properties
Reachability property qltransition_5890 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 6984/6984 properties
Reachability property qltransition_5403 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 236 ms. (16 steps per ms) remains 6984/6984 properties
Reachability property qltransition_5192 is true.
Reachability property qltransition_5167 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 224 ms. (17 steps per ms) remains 6984/6984 properties
BEST_FIRST walk for 4003 steps (8 resets) in 214 ms. (18 steps per ms) remains 6984/6984 properties
BEST_FIRST walk for 4003 steps (8 resets) in 224 ms. (17 steps per ms) remains 6984/6984 properties
BEST_FIRST walk for 4003 steps (8 resets) in 205 ms. (19 steps per ms) remains 6984/6984 properties
BEST_FIRST walk for 4004 steps (8 resets) in 179 ms. (22 steps per ms) remains 6984/6984 properties
BEST_FIRST walk for 4002 steps (8 resets) in 183 ms. (21 steps per ms) remains 6980/6984 properties
BEST_FIRST walk for 4004 steps (8 resets) in 169 ms. (23 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4004 steps (8 resets) in 174 ms. (22 steps per ms) remains 6980/6980 properties
BEST_FIRST walk for 4001 steps (8 resets) in 193 ms. (20 steps per ms) remains 6978/6980 properties
Reachability property qltransition_3727 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 180 ms. (22 steps per ms) remains 6978/6978 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6978/6978 properties
BEST_FIRST walk for 4004 steps (8 resets) in 217 ms. (18 steps per ms) remains 6978/6978 properties
BEST_FIRST walk for 4002 steps (8 resets) in 225 ms. (17 steps per ms) remains 6978/6978 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 6978/6978 properties
Reachability property qltransition_1836 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 227 ms. (17 steps per ms) remains 6978/6978 properties
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 6978/6978 properties
Reachability property qltransition_458 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 6978/6978 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 226 ms. (17 steps per ms) remains 6978/6978 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 6978/6978 properties
BEST_FIRST walk for 4004 steps (8 resets) in 178 ms. (22 steps per ms) remains 6978/6978 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 6978/6978 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 6978/6978 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 6978/6978 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 6978/6978 properties
Reachability property qltransition_7703 is true.
Reachability property qltransition_7625 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 236 ms. (16 steps per ms) remains 6978/6978 properties
BEST_FIRST walk for 4003 steps (8 resets) in 206 ms. (19 steps per ms) remains 6978/6978 properties
BEST_FIRST walk for 4003 steps (8 resets) in 226 ms. (17 steps per ms) remains 6978/6978 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 6978/6978 properties
Reachability property qltransition_7426 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 214 ms. (18 steps per ms) remains 6978/6978 properties
BEST_FIRST walk for 4004 steps (8 resets) in 180 ms. (22 steps per ms) remains 6978/6978 properties
BEST_FIRST walk for 4004 steps (8 resets) in 217 ms. (18 steps per ms) remains 6977/6978 properties
Reachability property qltransition_6612 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4003 steps (8 resets) in 231 ms. (17 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4003 steps (8 resets) in 216 ms. (18 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4004 steps (8 resets) in 179 ms. (22 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4004 steps (8 resets) in 183 ms. (21 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4004 steps (8 resets) in 165 ms. (24 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4004 steps (8 resets) in 176 ms. (22 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4002 steps (8 resets) in 226 ms. (17 steps per ms) remains 6977/6977 properties
Reachability property qltransition_5821 is true.
Reachability property qltransition_5660 is true.
BEST_FIRST walk for 4001 steps (8 resets) in 228 ms. (17 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4003 steps (8 resets) in 234 ms. (17 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4002 steps (8 resets) in 220 ms. (18 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4003 steps (8 resets) in 228 ms. (17 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4004 steps (8 resets) in 210 ms. (18 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4003 steps (8 resets) in 179 ms. (22 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4003 steps (8 resets) in 245 ms. (16 steps per ms) remains 6977/6977 properties
Reachability property qltransition_4763 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 224 ms. (17 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4004 steps (8 resets) in 217 ms. (18 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4002 steps (8 resets) in 220 ms. (18 steps per ms) remains 6977/6977 properties
Reachability property qltransition_4312 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 6977/6977 properties
Reachability property qltransition_4068 is true.
Reachability property qltransition_3821 is true.
BEST_FIRST walk for 4001 steps (8 resets) in 219 ms. (18 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4003 steps (8 resets) in 211 ms. (18 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4003 steps (8 resets) in 187 ms. (21 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4004 steps (8 resets) in 215 ms. (18 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4003 steps (8 resets) in 241 ms. (16 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4004 steps (8 resets) in 221 ms. (18 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 6976/6977 properties
Reachability property qltransition_2337 is true.
Reachability property qltransition_2254 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 179 ms. (22 steps per ms) remains 6976/6976 properties
Reachability property qltransition_1872 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 163 ms. (24 steps per ms) remains 6976/6976 properties
Reachability property qltransition_1637 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 231 ms. (17 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4002 steps (8 resets) in 227 ms. (17 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 181 ms. (22 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 184 ms. (21 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 6976/6976 properties
Reachability property qltransition_231 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 6975/6976 properties
BEST_FIRST walk for 4003 steps (8 resets) in 227 ms. (17 steps per ms) remains 6975/6975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 6975/6975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 6974/6975 properties
BEST_FIRST walk for 4002 steps (8 resets) in 217 ms. (18 steps per ms) remains 6974/6974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 174 ms. (22 steps per ms) remains 6974/6974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 217 ms. (18 steps per ms) remains 6974/6974 properties
BEST_FIRST walk for 4003 steps (8 resets) in 216 ms. (18 steps per ms) remains 6974/6974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 6974/6974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 6974/6974 properties
SDD proceeding with computation,8100 properties remain. new max is 32
SDD size :208012 after 416037
BEST_FIRST walk for 4003 steps (8 resets) in 223 ms. (17 steps per ms) remains 6974/6974 properties
BEST_FIRST walk for 4002 steps (8 resets) in 233 ms. (17 steps per ms) remains 6974/6974 properties
BEST_FIRST walk for 4003 steps (8 resets) in 231 ms. (17 steps per ms) remains 6974/6974 properties
BEST_FIRST walk for 4003 steps (8 resets) in 220 ms. (18 steps per ms) remains 6974/6974 properties
Reachability property qltransition_7627 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 202 ms. (19 steps per ms) remains 6974/6974 properties
BEST_FIRST walk for 4003 steps (8 resets) in 236 ms. (16 steps per ms) remains 6974/6974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6974/6974 properties
BEST_FIRST walk for 4002 steps (8 resets) in 193 ms. (20 steps per ms) remains 6974/6974 properties
BEST_FIRST walk for 4002 steps (8 resets) in 207 ms. (19 steps per ms) remains 6974/6974 properties
BEST_FIRST walk for 4003 steps (8 resets) in 215 ms. (18 steps per ms) remains 6974/6974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 210 ms. (18 steps per ms) remains 6974/6974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 6974/6974 properties
BEST_FIRST walk for 4003 steps (8 resets) in 172 ms. (23 steps per ms) remains 6974/6974 properties
BEST_FIRST walk for 4003 steps (8 resets) in 170 ms. (23 steps per ms) remains 6974/6974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 175 ms. (22 steps per ms) remains 6974/6974 properties
BEST_FIRST walk for 4003 steps (8 resets) in 184 ms. (21 steps per ms) remains 6974/6974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 167 ms. (23 steps per ms) remains 6974/6974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 173 ms. (23 steps per ms) remains 6974/6974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 167 ms. (23 steps per ms) remains 6974/6974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 6974/6974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 215 ms. (18 steps per ms) remains 6974/6974 properties
BEST_FIRST walk for 4003 steps (8 resets) in 205 ms. (19 steps per ms) remains 6974/6974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6974/6974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 177 ms. (22 steps per ms) remains 6973/6974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 178 ms. (22 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 175 ms. (22 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 228 ms. (17 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4002 steps (8 resets) in 216 ms. (18 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 211 ms. (18 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4002 steps (8 resets) in 235 ms. (16 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 221 ms. (18 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 226 ms. (17 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 220 ms. (18 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 179 ms. (22 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 179 ms. (22 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 216 ms. (18 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4002 steps (8 resets) in 222 ms. (17 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 221 ms. (18 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 173 ms. (23 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 182 ms. (21 steps per ms) remains 6973/6973 properties
Reachability property qltransition_1929 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 181 ms. (21 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 181 ms. (22 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 6973/6973 properties
Reachability property qltransition_268 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 180 ms. (22 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 226 ms. (17 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 227 ms. (17 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 218 ms. (18 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 306 ms. (13 steps per ms) remains 6972/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 249 ms. (16 steps per ms) remains 6972/6972 properties
BEST_FIRST walk for 4003 steps (8 resets) in 270 ms. (14 steps per ms) remains 6972/6972 properties
SDD proceeding with computation,8097 properties remain. new max is 32
SDD size :416037 after 416114
BEST_FIRST walk for 4004 steps (8 resets) in 272 ms. (14 steps per ms) remains 6972/6972 properties
BEST_FIRST walk for 4004 steps (8 resets) in 266 ms. (14 steps per ms) remains 6972/6972 properties
Reachability property qltransition_8144 is true.
Reachability property qltransition_8074 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 285 ms. (14 steps per ms) remains 6972/6972 properties
BEST_FIRST walk for 4003 steps (8 resets) in 206 ms. (19 steps per ms) remains 6972/6972 properties
BEST_FIRST walk for 4003 steps (8 resets) in 297 ms. (13 steps per ms) remains 6972/6972 properties
BEST_FIRST walk for 4004 steps (8 resets) in 311 ms. (12 steps per ms) remains 6971/6972 properties
BEST_FIRST walk for 4004 steps (8 resets) in 381 ms. (10 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 266 ms. (14 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 302 ms. (13 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 283 ms. (14 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 330 ms. (12 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 294 ms. (13 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 262 ms. (15 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 287 ms. (13 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 278 ms. (14 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4002 steps (8 resets) in 358 ms. (11 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 273 ms. (14 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 290 ms. (13 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 253 ms. (15 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 287 ms. (13 steps per ms) remains 6969/6971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 250 ms. (15 steps per ms) remains 6969/6969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6969/6969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 181 ms. (22 steps per ms) remains 6969/6969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 172 ms. (23 steps per ms) remains 6969/6969 properties
Reachability property qltransition_5073 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 177 ms. (22 steps per ms) remains 6969/6969 properties
BEST_FIRST walk for 4003 steps (8 resets) in 188 ms. (21 steps per ms) remains 6969/6969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 6969/6969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 6969/6969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6969/6969 properties
BEST_FIRST walk for 4003 steps (8 resets) in 169 ms. (23 steps per ms) remains 6969/6969 properties
BEST_FIRST walk for 4002 steps (8 resets) in 175 ms. (22 steps per ms) remains 6969/6969 properties
BEST_FIRST walk for 4003 steps (8 resets) in 170 ms. (23 steps per ms) remains 6969/6969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6968/6969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 221 ms. (18 steps per ms) remains 6968/6968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 6968/6968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 500 ms. (7 steps per ms) remains 6968/6968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 184 ms. (21 steps per ms) remains 6968/6968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6968/6968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 181 ms. (22 steps per ms) remains 6968/6968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 177 ms. (22 steps per ms) remains 6968/6968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 6968/6968 properties
Reachability property qltransition_3007 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 238 ms. (16 steps per ms) remains 6968/6968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 6968/6968 properties
BEST_FIRST walk for 4003 steps (8 resets) in 210 ms. (18 steps per ms) remains 6968/6968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 176 ms. (22 steps per ms) remains 6968/6968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 182 ms. (21 steps per ms) remains 6962/6968 properties
BEST_FIRST walk for 4003 steps (8 resets) in 212 ms. (18 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 222 ms. (17 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4003 steps (8 resets) in 227 ms. (17 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 179 ms. (22 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4003 steps (8 resets) in 175 ms. (22 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4003 steps (8 resets) in 174 ms. (22 steps per ms) remains 6961/6962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 172 ms. (23 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4003 steps (8 resets) in 249 ms. (16 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 210 ms. (18 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4003 steps (8 resets) in 216 ms. (18 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4003 steps (8 resets) in 186 ms. (21 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4003 steps (8 resets) in 186 ms. (21 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4003 steps (8 resets) in 229 ms. (17 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
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 217 ms. (18 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4003 steps (8 resets) in 232 ms. (17 steps per ms) remains 6961/6961 properties
Reachability property qltransition_8018 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 180 ms. (22 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4003 steps (8 resets) in 183 ms. (21 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4003 steps (8 resets) in 183 ms. (21 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4003 steps (8 resets) in 225 ms. (17 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 178 ms. (22 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
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4003 steps (8 resets) in 197 ms. (20 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4002 steps (8 resets) in 173 ms. (23 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 182 ms. (21 steps per ms) remains 6961/6961 properties
BEST_FIRST walk for 4003 steps (8 resets) in 219 ms. (18 steps per ms) remains 6960/6961 properties
BEST_FIRST walk for 4002 steps (8 resets) in 220 ms. (18 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4004 steps (8 resets) in 221 ms. (18 steps per ms) remains 6958/6960 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6958/6958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 217 ms. (18 steps per ms) remains 6958/6958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6958/6958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 176 ms. (22 steps per ms) remains 6958/6958 properties
BEST_FIRST walk for 4003 steps (8 resets) in 179 ms. (22 steps per ms) remains 6958/6958 properties
BEST_FIRST walk for 4003 steps (8 resets) in 236 ms. (16 steps per ms) remains 6958/6958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 217 ms. (18 steps per ms) remains 6958/6958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6958/6958 properties
BEST_FIRST walk for 4003 steps (8 resets) in 196 ms. (20 steps per ms) remains 6958/6958 properties
BEST_FIRST walk for 4003 steps (8 resets) in 216 ms. (18 steps per ms) remains 6958/6958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 6958/6958 properties
BEST_FIRST walk for 4003 steps (8 resets) in 180 ms. (22 steps per ms) remains 6958/6958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 170 ms. (23 steps per ms) remains 6958/6958 properties
BEST_FIRST walk for 4002 steps (8 resets) in 176 ms. (22 steps per ms) remains 6956/6958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 215 ms. (18 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4003 steps (8 resets) in 236 ms. (16 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4003 steps (8 resets) in 213 ms. (18 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 182 ms. (21 steps per ms) remains 6956/6956 properties
Reachability property qltransition_4103 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 224 ms. (17 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4003 steps (8 resets) in 207 ms. (19 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6956/6956 properties
Reachability property qltransition_3315 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 172 ms. (23 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4003 steps (8 resets) in 221 ms. (18 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4002 steps (8 resets) in 226 ms. (17 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4003 steps (8 resets) in 204 ms. (19 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6955/6956 properties
BEST_FIRST walk for 4003 steps (8 resets) in 184 ms. (21 steps per ms) remains 6954/6955 properties
BEST_FIRST walk for 4003 steps (8 resets) in 220 ms. (18 steps per ms) remains 6954/6954 properties
Reachability property qltransition_2334 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 223 ms. (17 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4003 steps (8 resets) in 189 ms. (21 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4003 steps (8 resets) in 190 ms. (20 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4003 steps (8 resets) in 226 ms. (17 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4004 steps (8 resets) in 178 ms. (22 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4004 steps (8 resets) in 174 ms. (22 steps per ms) remains 6954/6954 properties
Reachability property qltransition_669 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4004 steps (8 resets) in 215 ms. (18 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4002 steps (8 resets) in 213 ms. (18 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4002 steps (8 resets) in 178 ms. (22 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4004 steps (8 resets) in 170 ms. (23 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4003 steps (8 resets) in 175 ms. (22 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4002 steps (8 resets) in 201 ms. (19 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4004 steps (8 resets) in 217 ms. (18 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4003 steps (8 resets) in 219 ms. (18 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4003 steps (8 resets) in 183 ms. (21 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4003 steps (8 resets) in 172 ms. (23 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4003 steps (8 resets) in 182 ms. (21 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4003 steps (8 resets) in 178 ms. (22 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 6954/6954 properties
SDD proceeding with computation,8088 properties remain. new max is 32
SDD size :416464 after 417724
BEST_FIRST walk for 4003 steps (8 resets) in 196 ms. (20 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4003 steps (8 resets) in 247 ms. (16 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4003 steps (8 resets) in 181 ms. (21 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4003 steps (8 resets) in 170 ms. (23 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4003 steps (8 resets) in 244 ms. (16 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4003 steps (8 resets) in 206 ms. (19 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4003 steps (8 resets) in 187 ms. (21 steps per ms) remains 6953/6954 properties
BEST_FIRST walk for 4003 steps (8 resets) in 180 ms. (22 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 175 ms. (22 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 173 ms. (23 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 179 ms. (22 steps per ms) remains 6953/6953 properties
Reachability property qltransition_7500 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 207 ms. (19 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4002 steps (8 resets) in 227 ms. (17 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 251 ms. (15 steps per ms) remains 6946/6953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 195 ms. (20 steps per ms) remains 6946/6946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 6946/6946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 242 ms. (16 steps per ms) remains 6946/6946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 208 ms. (19 steps per ms) remains 6946/6946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 6946/6946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 215 ms. (18 steps per ms) remains 6946/6946 properties
BEST_FIRST walk for 4003 steps (8 resets) in 248 ms. (16 steps per ms) remains 6946/6946 properties
BEST_FIRST walk for 4003 steps (8 resets) in 231 ms. (17 steps per ms) remains 6946/6946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 210 ms. (18 steps per ms) remains 6946/6946 properties
BEST_FIRST walk for 4003 steps (8 resets) in 233 ms. (17 steps per ms) remains 6946/6946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 6946/6946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 6946/6946 properties
BEST_FIRST walk for 4003 steps (8 resets) in 174 ms. (22 steps per ms) remains 6946/6946 properties
BEST_FIRST walk for 4003 steps (8 resets) in 185 ms. (21 steps per ms) remains 6946/6946 properties
BEST_FIRST walk for 4003 steps (8 resets) in 181 ms. (21 steps per ms) remains 6946/6946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 183 ms. (21 steps per ms) remains 6946/6946 properties
BEST_FIRST walk for 4003 steps (8 resets) in 183 ms. (21 steps per ms) remains 6940/6946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 183 ms. (21 steps per ms) remains 6940/6940 properties
Reachability property qltransition_5368 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6940/6940 properties
BEST_FIRST walk for 4003 steps (8 resets) in 248 ms. (16 steps per ms) remains 6940/6940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 6940/6940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 6940/6940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 175 ms. (22 steps per ms) remains 6940/6940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 6940/6940 properties
Reachability property qltransition_3886 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6940/6940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 6940/6940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 216 ms. (18 steps per ms) remains 6940/6940 properties
BEST_FIRST walk for 4003 steps (8 resets) in 186 ms. (21 steps per ms) remains 6940/6940 properties
BEST_FIRST walk for 4003 steps (8 resets) in 211 ms. (18 steps per ms) remains 6940/6940 properties
BEST_FIRST walk for 4003 steps (8 resets) in 207 ms. (19 steps per ms) remains 6940/6940 properties
BEST_FIRST walk for 4002 steps (8 resets) in 217 ms. (18 steps per ms) remains 6940/6940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6940/6940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6940/6940 properties
Reachability property qltransition_2733 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 6940/6940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 6940/6940 properties
BEST_FIRST walk for 4003 steps (8 resets) in 182 ms. (21 steps per ms) remains 6940/6940 properties
Reachability property qltransition_2212 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 172 ms. (23 steps per ms) remains 6940/6940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 173 ms. (23 steps per ms) remains 6940/6940 properties
Reachability property qltransition_1680 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6940/6940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 6940/6940 properties
BEST_FIRST walk for 4002 steps (8 resets) in 206 ms. (19 steps per ms) remains 6940/6940 properties
BEST_FIRST walk for 4003 steps (8 resets) in 182 ms. (21 steps per ms) remains 6940/6940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6940/6940 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 6940/6940 properties
BEST_FIRST walk for 4002 steps (8 resets) in 183 ms. (21 steps per ms) remains 6940/6940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6939/6940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 180 ms. (22 steps per ms) remains 6939/6939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 183 ms. (21 steps per ms) remains 6939/6939 properties
BEST_FIRST walk for 4003 steps (8 resets) in 238 ms. (16 steps per ms) remains 6939/6939 properties
BEST_FIRST walk for 4003 steps (8 resets) in 244 ms. (16 steps per ms) remains 6939/6939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 6939/6939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 217 ms. (18 steps per ms) remains 6939/6939 properties
BEST_FIRST walk for 4002 steps (8 resets) in 173 ms. (23 steps per ms) remains 6939/6939 properties
BEST_FIRST walk for 4003 steps (8 resets) in 210 ms. (18 steps per ms) remains 6939/6939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 6939/6939 properties
BEST_FIRST walk for 4002 steps (8 resets) in 219 ms. (18 steps per ms) remains 6939/6939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6939/6939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 181 ms. (22 steps per ms) remains 6939/6939 properties
SDD proceeding with computation,8082 properties remain. new max is 32
SDD size :417724 after 421532
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 6939/6939 properties
BEST_FIRST walk for 4001 steps (8 resets) in 185 ms. (21 steps per ms) remains 6939/6939 properties
BEST_FIRST walk for 4003 steps (8 resets) in 221 ms. (18 steps per ms) remains 6939/6939 properties
Reachability property qltransition_8272 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 206 ms. (19 steps per ms) remains 6939/6939 properties
BEST_FIRST walk for 4002 steps (8 resets) in 222 ms. (17 steps per ms) remains 6939/6939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 6939/6939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 183 ms. (21 steps per ms) remains 6939/6939 properties
BEST_FIRST walk for 4001 steps (8 resets) in 189 ms. (21 steps per ms) remains 6939/6939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 173 ms. (23 steps per ms) remains 6939/6939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 168 ms. (23 steps per ms) remains 6939/6939 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 6939/6939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 6938/6939 properties
BEST_FIRST walk for 4003 steps (8 resets) in 196 ms. (20 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 223 ms. (17 steps per ms) remains 6938/6938 properties
Reachability property qltransition_7335 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 220 ms. (18 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 234 ms. (17 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 220 ms. (18 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 225 ms. (17 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4002 steps (8 resets) in 185 ms. (21 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 177 ms. (22 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6938/6938 properties
Reachability property qltransition_6159 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 178 ms. (22 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 179 ms. (22 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 239 ms. (16 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 224 ms. (17 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 208 ms. (19 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 235 ms. (16 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 225 ms. (17 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4002 steps (8 resets) in 229 ms. (17 steps per ms) remains 6938/6938 properties
Reachability property qltransition_5044 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 175 ms. (22 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 170 ms. (23 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 222 ms. (17 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 193 ms. (20 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 216 ms. (18 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 216 ms. (18 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 173 ms. (23 steps per ms) remains 6938/6938 properties
Reachability property qltransition_3195 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 217 ms. (18 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 223 ms. (17 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 196 ms. (20 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 198 ms. (20 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 180 ms. (22 steps per ms) remains 6938/6938 properties
Reachability property qltransition_2064 is true.
Reachability property qltransition_2013 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 220 ms. (18 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 224 ms. (17 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4002 steps (8 resets) in 234 ms. (17 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 225 ms. (17 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 176 ms. (22 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 6938/6938 properties
SDD proceeding with computation,8075 properties remain. new max is 32
SDD size :421532 after 431528
Reachability property qltransition_7807 is true.
Reachability property qltransition_5114 is true.
Reachability property qltransition_4934 is true.
Reachability property qltransition_4641 is true.
Reachability property qltransition_3463 is true.
Reachability property qltransition_3202 is true.
Reachability property qltransition_447 is true.
Reachability property qltransition_229 is true.
SDD proceeding with computation,8067 properties remain. new max is 32
SDD size :431528 after 454784
Reachability property qltransition_7959 is true.
Reachability property qltransition_7591 is true.
Reachability property qltransition_6879 is true.
Reachability property qltransition_6553 is true.
Reachability property qltransition_6078 is true.
Reachability property qltransition_5949 is true.
Reachability property qltransition_5611 is true.
Reachability property qltransition_4939 is true.
Reachability property qltransition_3783 is true.
SDD proceeding with computation,8058 properties remain. new max is 32
SDD size :454784 after 503234
Reachability property qltransition_8134 is true.
Reachability property qltransition_6100 is true.
Reachability property qltransition_5512 is true.
Reachability property qltransition_5243 is true.
Reachability property qltransition_5128 is true.
Reachability property qltransition_4567 is true.
Reachability property qltransition_4564 is true.
Reachability property qltransition_1452 is true.
Reachability property qltransition_580 is true.
Reachability property qltransition_290 is true.
SDD proceeding with computation,8048 properties remain. new max is 32
SDD size :503234 after 593674
Reachability property qltransition_7999 is true.
Reachability property qltransition_7899 is true.
Reachability property qltransition_7611 is true.
Reachability property qltransition_7241 is true.
Reachability property qltransition_5037 is true.
Reachability property qltransition_3816 is true.
Reachability property qltransition_2870 is true.
Reachability property qltransition_2383 is true.
Reachability property qltransition_1292 is true.
Reachability property qltransition_144 is true.
Reachability property qltransition_27 is true.
SDD proceeding with computation,8037 properties remain. new max is 32
SDD size :593674 after 652472
SDD proceeding with computation,8037 properties remain. new max is 64
SDD size :652472 after 652537
SDD proceeding with computation,8037 properties remain. new max is 128
SDD size :652537 after 652810
SDD proceeding with computation,8037 properties remain. new max is 256
SDD size :652810 after 653720
SDD proceeding with computation,8037 properties remain. new max is 512
SDD size :653720 after 662456
SDD proceeding with computation,8037 properties remain. new max is 1024
SDD size :662456 after 730966
Reachability property qltransition_8340 is true.
Reachability property qltransition_8311 is true.
Reachability property qltransition_8090 is true.
Reachability property qltransition_8007 is true.
Reachability property qltransition_7995 is true.
Reachability property qltransition_7948 is true.
Reachability property qltransition_7804 is true.
Reachability property qltransition_7680 is true.
Reachability property qltransition_7609 is true.
Reachability property qltransition_7454 is true.
Reachability property qltransition_7393 is true.
Reachability property qltransition_7287 is true.
Reachability property qltransition_7212 is true.
Reachability property qltransition_7141 is true.
Reachability property qltransition_6963 is true.
Reachability property qltransition_6740 is true.
Reachability property qltransition_6730 is true.
Reachability property qltransition_6708 is true.
Reachability property qltransition_6640 is true.
Reachability property qltransition_6579 is true.
Reachability property qltransition_6562 is true.
Reachability property qltransition_6529 is true.
Reachability property qltransition_6291 is true.
Reachability property qltransition_6246 is true.
Reachability property qltransition_5954 is true.
Reachability property qltransition_5899 is true.
Reachability property qltransition_5896 is true.
Reachability property qltransition_5868 is true.
Reachability property qltransition_5850 is true.
Reachability property qltransition_5750 is true.
Reachability property qltransition_5580 is true.
Reachability property qltransition_5529 is true.
Reachability property qltransition_5445 is true.
Reachability property qltransition_5292 is true.
Reachability property qltransition_5263 is true.
Reachability property qltransition_5250 is true.
Reachability property qltransition_5216 is true.
Reachability property qltransition_4963 is true.
Reachability property qltransition_4789 is true.
Reachability property qltransition_4761 is true.
Reachability property qltransition_4718 is true.
Reachability property qltransition_4705 is true.
Reachability property qltransition_4669 is true.
Reachability property qltransition_4612 is true.
Reachability property qltransition_4524 is true.
Reachability property qltransition_4518 is true.
Reachability property qltransition_4517 is true.
Reachability property qltransition_4408 is true.
Reachability property qltransition_4350 is true.
Reachability property qltransition_4317 is true.
Reachability property qltransition_4112 is true.
Reachability property qltransition_3971 is true.
Reachability property qltransition_3917 is true.
Reachability property qltransition_3876 is true.
Reachability property qltransition_3796 is true.
Reachability property qltransition_3559 is true.
Reachability property qltransition_3498 is true.
Reachability property qltransition_3401 is true.
Reachability property qltransition_3116 is true.
Reachability property qltransition_2731 is true.
Reachability property qltransition_2637 is true.
Reachability property qltransition_2562 is true.
Reachability property qltransition_2500 is true.
Reachability property qltransition_2307 is true.
Reachability property qltransition_2288 is true.
Reachability property qltransition_2194 is true.
Reachability property qltransition_2184 is true.
Reachability property qltransition_2128 is true.
Reachability property qltransition_2127 is true.
Reachability property qltransition_2100 is true.
Reachability property qltransition_2082 is true.
Reachability property qltransition_2000 is true.
Reachability property qltransition_1898 is true.
Reachability property qltransition_1828 is true.
Reachability property qltransition_1749 is true.
Reachability property qltransition_1520 is true.
Reachability property qltransition_1225 is true.
Reachability property qltransition_1139 is true.
Reachability property qltransition_1106 is true.
Reachability property qltransition_1058 is true.
Reachability property qltransition_913 is true.
Reachability property qltransition_813 is true.
Reachability property qltransition_802 is true.
Reachability property qltransition_454 is true.
Reachability property qltransition_451 is true.
Reachability property qltransition_317 is true.
Reachability property qltransition_192 is true.
Reachability property qltransition_173 is true.
Reachability property qltransition_172 is true.
Reachability property qltransition_163 is true.
Reachability property qltransition_149 is true.
SDD proceeding with computation,7946 properties remain. new max is 1024
SDD size :730966 after 2.67444e+06
Reachability property qltransition_8363 is true.
Reachability property qltransition_8317 is true.
Reachability property qltransition_8315 is true.
Reachability property qltransition_8295 is true.
Reachability property qltransition_8276 is true.
Reachability property qltransition_8267 is true.
Reachability property qltransition_8214 is true.
Reachability property qltransition_8124 is true.
Reachability property qltransition_8094 is true.
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.
Probabilistic random walk after 1000000 steps, saw 175695 distinct states, run finished after 154377 ms. (steps per millisecond=6 ) properties seen :108
[2025-06-05 22:28:10] [INFO ] Invariant cache hit.
[2025-06-05 22:28:10] [INFO ] State equation strengthened by 8020 read => feed constraints.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
Reachability property qltransition_7103 is true.
Reachability property qltransition_7097 is true.
Reachability property qltransition_7078 is true.
Reachability property qltransition_7069 is true.
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 6786 unsolved
SMT process timed out in 53450ms, After SMT, problems are : Problem set: 3 solved, 6783 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 143 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 143 ms. Remains : 441/441 places, 8421/8421 transitions.
Reachability property qltransition_7061 is true.
Reachability property qltransition_7029 is true.
Reachability property qltransition_7012 is true.
Reachability property qltransition_6980 is true.
Reachability property qltransition_6917 is true.
Reachability property qltransition_6910 is true.
Reachability property qltransition_6896 is true.
Reachability property qltransition_6872 is true.
Reachability property qltransition_6827 is true.
Reachability property qltransition_6819 is true.
Reachability property qltransition_6818 is true.
Reachability property qltransition_6813 is true.
Reachability property qltransition_6776 is true.
Reachability property qltransition_6729 is true.
Reachability property qltransition_6715 is true.
Reachability property qltransition_6713 is true.
Reachability property qltransition_6684 is true.
Reachability property qltransition_6670 is true.
Reachability property qltransition_6644 is true.
Reachability property qltransition_6631 is true.
Reachability property qltransition_6599 is true.
Reachability property qltransition_6573 is true.
Reachability property qltransition_6546 is true.
Reachability property qltransition_6488 is true.
Reachability property qltransition_6465 is true.
Reachability property qltransition_6458 is true.
Reachability property qltransition_6452 is true.
Reachability property qltransition_6439 is true.
Reachability property qltransition_6384 is true.
Reachability property qltransition_6357 is true.
Reachability property qltransition_6316 is true.
Reachability property qltransition_6284 is true.
Reachability property qltransition_6273 is true.
Reachability property qltransition_6259 is true.
RANDOM walk for 206994 steps (0 resets) in 120006 ms. (1 steps per ms) remains 6759/6783 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4003 steps (8 resets) in 226 ms. (17 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4001 steps (8 resets) in 205 ms. (19 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4003 steps (8 resets) in 190 ms. (20 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4003 steps (8 resets) in 176 ms. (22 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4002 steps (8 resets) in 170 ms. (23 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 221 ms. (18 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4003 steps (8 resets) in 218 ms. (18 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 224 ms. (17 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4001 steps (8 resets) in 175 ms. (22 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4002 steps (8 resets) in 212 ms. (18 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4002 steps (8 resets) in 186 ms. (21 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4003 steps (8 resets) in 179 ms. (22 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4003 steps (8 resets) in 165 ms. (24 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4003 steps (8 resets) in 222 ms. (17 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4003 steps (8 resets) in 220 ms. (18 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4003 steps (8 resets) in 228 ms. (17 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4002 steps (8 resets) in 224 ms. (17 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4003 steps (8 resets) in 232 ms. (17 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4002 steps (8 resets) in 181 ms. (21 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 174 ms. (22 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4003 steps (8 resets) in 184 ms. (21 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4002 steps (8 resets) in 234 ms. (17 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4003 steps (8 resets) in 228 ms. (17 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4003 steps (8 resets) in 202 ms. (19 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4003 steps (8 resets) in 224 ms. (17 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 216 ms. (18 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 173 ms. (23 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4003 steps (8 resets) in 229 ms. (17 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4003 steps (8 resets) in 229 ms. (17 steps per ms) remains 6759/6759 properties
BEST_FIRST walk for 4003 steps (8 resets) in 180 ms. (22 steps per ms) remains 6755/6759 properties
BEST_FIRST walk for 4003 steps (8 resets) in 177 ms. (22 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 169 ms. (23 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 181 ms. (22 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4003 steps (8 resets) in 176 ms. (22 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 170 ms. (23 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4003 steps (8 resets) in 172 ms. (23 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4003 steps (8 resets) in 222 ms. (17 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4003 steps (8 resets) in 229 ms. (17 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4001 steps (8 resets) in 214 ms. (18 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 216 ms. (18 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 182 ms. (21 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4003 steps (8 resets) in 228 ms. (17 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4002 steps (8 resets) in 227 ms. (17 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4003 steps (8 resets) in 224 ms. (17 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 176 ms. (22 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 177 ms. (22 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 175 ms. (22 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 179 ms. (22 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4003 steps (8 resets) in 223 ms. (17 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4003 steps (8 resets) in 231 ms. (17 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 177 ms. (22 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4003 steps (8 resets) in 222 ms. (17 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4002 steps (8 resets) in 233 ms. (17 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4002 steps (8 resets) in 233 ms. (17 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4003 steps (8 resets) in 242 ms. (16 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 228 ms. (17 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 182 ms. (21 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 172 ms. (23 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 179 ms. (22 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6755/6755 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 6753/6755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6753/6753 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 6752/6753 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 172 ms. (23 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 181 ms. (22 steps per ms) remains 6752/6752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 181 ms. (22 steps per ms) remains 6751/6752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4003 steps (8 resets) in 169 ms. (23 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4003 steps (8 resets) in 175 ms. (22 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 169 ms. (23 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4003 steps (8 resets) in 218 ms. (18 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4003 steps (8 resets) in 202 ms. (19 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4003 steps (8 resets) in 229 ms. (17 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 6751/6751 properties
BEST_FIRST walk for 4003 steps (8 resets) in 196 ms. (20 steps per ms) remains 6750/6751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4003 steps (8 resets) in 219 ms. (18 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4003 steps (8 resets) in 240 ms. (16 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 182 ms. (21 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4003 steps (8 resets) in 182 ms. (21 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 176 ms. (22 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 169 ms. (23 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 182 ms. (21 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4003 steps (8 resets) in 173 ms. (23 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 173 ms. (23 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4003 steps (8 resets) in 173 ms. (23 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 174 ms. (22 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4003 steps (8 resets) in 222 ms. (17 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 203 ms. (19 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4002 steps (8 resets) in 200 ms. (19 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4002 steps (8 resets) in 167 ms. (23 steps per ms) remains 6750/6750 properties
BEST_FIRST walk for 4002 steps (8 resets) in 187 ms. (21 steps per ms) remains 6749/6750 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4003 steps (8 resets) in 229 ms. (17 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 194 ms. (20 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4003 steps (8 resets) in 218 ms. (18 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 216 ms. (18 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4003 steps (8 resets) in 199 ms. (20 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4003 steps (8 resets) in 206 ms. (19 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 208 ms. (19 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4003 steps (8 resets) in 210 ms. (18 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4002 steps (8 resets) in 182 ms. (21 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 171 ms. (23 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4003 steps (8 resets) in 174 ms. (22 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 170 ms. (23 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 171 ms. (23 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4003 steps (8 resets) in 181 ms. (21 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 174 ms. (22 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4003 steps (8 resets) in 212 ms. (18 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 224 ms. (17 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 228 ms. (17 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 173 ms. (23 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 171 ms. (23 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 176 ms. (22 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4002 steps (8 resets) in 185 ms. (21 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4003 steps (8 resets) in 225 ms. (17 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4003 steps (8 resets) in 167 ms. (23 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 184 ms. (21 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4003 steps (8 resets) in 148 ms. (26 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 224 ms. (17 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4003 steps (8 resets) in 208 ms. (19 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 168 ms. (23 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4003 steps (8 resets) in 222 ms. (17 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 176 ms. (22 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4003 steps (8 resets) in 224 ms. (17 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4002 steps (8 resets) in 168 ms. (23 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 186 ms. (21 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4003 steps (8 resets) in 212 ms. (18 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4004 steps (8 resets) in 217 ms. (18 steps per ms) remains 6749/6749 properties
BEST_FIRST walk for 4003 steps (8 resets) in 213 ms. (18 steps per ms) remains 6749/6749 properties
Reachability property qltransition_6182 is true.
Reachability property qltransition_6179 is true.
Reachability property qltransition_6127 is true.
Reachability property qltransition_6092 is true.
Reachability property qltransition_6059 is true.
Reachability property qltransition_6052 is true.
Reachability property qltransition_6039 is true.
Reachability property qltransition_6013 is true.
Reachability property qltransition_6006 is true.
Reachability property qltransition_5989 is true.
Reachability property qltransition_5942 is true.
Reachability property qltransition_5912 is true.
Reachability property qltransition_5910 is true.
Reachability property qltransition_5817 is true.
Reachability property qltransition_5809 is true.
Reachability property qltransition_5751 is true.
Reachability property qltransition_5740 is true.
Reachability property qltransition_5727 is true.
Reachability property qltransition_5714 is true.
Reachability property qltransition_5698 is true.
Reachability property qltransition_5696 is true.
Reachability property qltransition_5684 is true.
Reachability property qltransition_5681 is true.
Reachability property qltransition_5669 is true.
Reachability property qltransition_5666 is true.
Reachability property qltransition_5642 is true.
Reachability property qltransition_5621 is true.
Reachability property qltransition_5574 is true.
Reachability property qltransition_5557 is true.
Reachability property qltransition_5552 is true.
Reachability property qltransition_5479 is true.
Reachability property qltransition_5456 is true.
Reachability property qltransition_5429 is true.
Reachability property qltransition_5427 is true.
Reachability property qltransition_5410 is true.
Reachability property qltransition_5387 is true.
Reachability property qltransition_5376 is true.
Reachability property qltransition_5370 is true.
Reachability property qltransition_5343 is true.
Reachability property qltransition_5324 is true.
Reachability property qltransition_5303 is true.
Reachability property qltransition_5301 is true.
Reachability property qltransition_5278 is true.
Reachability property qltransition_5274 is true.
Reachability property qltransition_5266 is true.
Reachability property qltransition_5257 is true.
Reachability property qltransition_5249 is true.
Reachability property qltransition_5210 is true.
Reachability property qltransition_5208 is true.
Reachability property qltransition_5183 is true.
Reachability property qltransition_5138 is true.
Reachability property qltransition_5133 is true.
Reachability property qltransition_5131 is true.
Reachability property qltransition_5119 is true.
Reachability property qltransition_5092 is true.
Reachability property qltransition_5088 is true.
Reachability property qltransition_5068 is true.
Reachability property qltransition_5038 is true.
Reachability property qltransition_4996 is true.
Reachability property qltransition_4971 is true.
Reachability property qltransition_4966 is true.
Reachability property qltransition_4957 is true.
Reachability property qltransition_4944 is true.
Reachability property qltransition_4936 is true.
Reachability property qltransition_4896 is true.
Reachability property qltransition_4893 is true.
Reachability property qltransition_4836 is true.
Reachability property qltransition_4766 is true.
Reachability property qltransition_4739 is true.
Reachability property qltransition_4723 is true.
Reachability property qltransition_4712 is true.
Interrupted probabilistic random walk after 814244 steps, run timeout after 126002 ms. (steps per millisecond=6 ) properties seen :0 out of 6749
Probabilistic random walk after 814244 steps, saw 147077 distinct states, run finished after 126007 ms. (steps per millisecond=6 ) properties seen :0
[2025-06-05 22:31:52] [INFO ] Invariant cache hit.
[2025-06-05 22:31:52] [INFO ] State equation strengthened by 8020 read => feed constraints.
Starting Z3 with timeout 75.0 s and query timeout 7500.0 ms
Reachability property qltransition_4710 is true.
Reachability property qltransition_4704 is true.
Reachability property qltransition_4618 is true.
Reachability property qltransition_4590 is true.
Reachability property qltransition_4579 is true.
Reachability property qltransition_4573 is true.
Reachability property qltransition_4538 is true.
Reachability property qltransition_4529 is true.
Reachability property qltransition_4519 is true.
Reachability property qltransition_4513 is true.
Reachability property qltransition_4477 is true.
Reachability property qltransition_4463 is true.
Reachability property qltransition_4457 is true.
Reachability property qltransition_4432 is true.
Reachability property qltransition_4407 is true.
Reachability property qltransition_4396 is true.
Reachability property qltransition_4376 is true.
Reachability property qltransition_4372 is true.
Reachability property qltransition_4363 is true.
Reachability property qltransition_4343 is true.
Reachability property qltransition_4298 is true.
Reachability property qltransition_4262 is true.
Reachability property qltransition_4209 is true.
Reachability property qltransition_4182 is true.
Reachability property qltransition_4176 is true.
Reachability property qltransition_4169 is true.
Reachability property qltransition_4163 is true.
Reachability property qltransition_4134 is true.
Reachability property qltransition_4093 is true.
Reachability property qltransition_4092 is true.
Reachability property qltransition_4079 is true.
Reachability property qltransition_4028 is true.
Reachability property qltransition_3979 is true.
Reachability property qltransition_3972 is true.
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 6729 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/441 variables, 21/462 constraints. Problems are: Problem set: 6 solved, 6723 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:33:09] [INFO ] Deduced a trap composed of 219 places in 660 ms of which 107 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:33:10] [INFO ] Deduced a trap composed of 219 places in 681 ms of which 103 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:33:10] [INFO ] Deduced a trap composed of 219 places in 647 ms of which 144 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:33:11] [INFO ] Deduced a trap composed of 219 places in 590 ms of which 33 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:33:12] [INFO ] Deduced a trap composed of 219 places in 581 ms of which 35 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
Reachability property qltransition_3958 is true.
Reachability property qltransition_3953 is true.
Reachability property qltransition_3898 is true.
Reachability property qltransition_3859 is true.
Reachability property qltransition_3824 is true.
Reachability property qltransition_3793 is true.
Reachability property qltransition_3755 is true.
Reachability property qltransition_3728 is true.
Reachability property qltransition_3716 is true.
Reachability property qltransition_3701 is true.
Reachability property qltransition_3691 is true.
Reachability property qltransition_3678 is true.
Reachability property qltransition_3643 is true.
Reachability property qltransition_3635 is true.
Reachability property qltransition_3629 is true.
Detected timeout of ITS tools.
[2025-06-05 22:33:24] [INFO ] Deduced a trap composed of 282 places in 12567 ms of which 12001 ms to minimize.
SMT process timed out in 92350ms, After SMT, problems are : Problem set: 9 solved, 6720 unsolved
Fused 6720 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 441 out of 441 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 441/441 places, 8421/8421 transitions.
[2025-06-05 22:33:24] [INFO ] Flatten gal took : 236 ms
[2025-06-05 22:33:24] [INFO ] Applying decomposition
Applied a total of 0 rules in 168 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 169 ms. Remains : 441/441 places, 8421/8421 transitions.
[2025-06-05 22:33:25] [INFO ] Flatten gal took : 318 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph10372628025690163972.txt' '-o' '/tmp/graph10372628025690163972.bin' '-w' '/tmp/graph10372628025690163972.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph10372628025690163972.bin' '-l' '-1' '-v' '-w' '/tmp/graph10372628025690163972.weights' '-q' '0' '-e' '0.001'
[2025-06-05 22:33:26] [INFO ] Decomposing Gal with order
[2025-06-05 22:33:26] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-05 22:33:27] [INFO ] Removed a total of 19266 redundant transitions.
[2025-06-05 22:33:28] [INFO ] Flatten gal took : 1109 ms
[2025-06-05 22:33:29] [INFO ] Fuse similar labels procedure discarded/fused a total of 161 labels/synchronizations in 171 ms.
[2025-06-05 22:33:29] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality17649363124784256984.gal : 71 ms
[2025-06-05 22:33:29] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality12050139831799785094.prop : 33 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality17649363124784256984.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality12050139831799785094.prop' '--nowitness'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...309
Loading property file /tmp/ReachabilityCardinality12050139831799785094.prop.
RANDOM walk for 203875 steps (0 resets) in 120004 ms. (1 steps per ms) remains 6717/6720 properties
BEST_FIRST walk for 4003 steps (8 resets) in 211 ms. (18 steps per ms) remains 6717/6717 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 6717/6717 properties
BEST_FIRST walk for 4004 steps (8 resets) in 174 ms. (22 steps per ms) remains 6717/6717 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 6717/6717 properties
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 6717/6717 properties
BEST_FIRST walk for 4003 steps (8 resets) in 204 ms. (19 steps per ms) remains 6717/6717 properties
BEST_FIRST walk for 4003 steps (8 resets) in 173 ms. (23 steps per ms) remains 6717/6717 properties
BEST_FIRST walk for 4003 steps (8 resets) in 171 ms. (23 steps per ms) remains 6717/6717 properties
BEST_FIRST walk for 4004 steps (8 resets) in 175 ms. (22 steps per ms) remains 6717/6717 properties
BEST_FIRST walk for 4004 steps (8 resets) in 167 ms. (23 steps per ms) remains 6717/6717 properties
BEST_FIRST walk for 4004 steps (8 resets) in 184 ms. (21 steps per ms) remains 6717/6717 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6717/6717 properties
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 6717/6717 properties
BEST_FIRST walk for 4004 steps (8 resets) in 176 ms. (22 steps per ms) remains 6717/6717 properties
BEST_FIRST walk for 4002 steps (8 resets) in 178 ms. (22 steps per ms) remains 6717/6717 properties
BEST_FIRST walk for 4004 steps (8 resets) in 180 ms. (22 steps per ms) remains 6716/6717 properties
BEST_FIRST walk for 4004 steps (8 resets) in 177 ms. (22 steps per ms) remains 6716/6716 properties
BEST_FIRST walk for 4003 steps (8 resets) in 183 ms. (21 steps per ms) remains 6716/6716 properties
BEST_FIRST walk for 4003 steps (8 resets) in 175 ms. (22 steps per ms) remains 6716/6716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 179 ms. (22 steps per ms) remains 6716/6716 properties
BEST_FIRST walk for 4003 steps (8 resets) in 175 ms. (22 steps per ms) remains 6716/6716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 6716/6716 properties
BEST_FIRST walk for 4003 steps (8 resets) in 166 ms. (23 steps per ms) remains 6716/6716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6716/6716 properties
BEST_FIRST walk for 4001 steps (8 resets) in 190 ms. (20 steps per ms) remains 6716/6716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 6716/6716 properties
BEST_FIRST walk for 4003 steps (8 resets) in 231 ms. (17 steps per ms) remains 6716/6716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 174 ms. (22 steps per ms) remains 6716/6716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 6716/6716 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 6716/6716 properties
BEST_FIRST walk for 4001 steps (8 resets) in 247 ms. (16 steps per ms) remains 6715/6716 properties
BEST_FIRST walk for 4002 steps (8 resets) in 199 ms. (20 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4002 steps (8 resets) in 224 ms. (17 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 236 ms. (16 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4002 steps (8 resets) in 211 ms. (18 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 176 ms. (22 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 226 ms. (17 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 600 ms. (6 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 182 ms. (21 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4002 steps (8 resets) in 176 ms. (22 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4002 steps (8 resets) in 187 ms. (21 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 173 ms. (23 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 181 ms. (22 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 172 ms. (23 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 175 ms. (22 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4002 steps (8 resets) in 167 ms. (23 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 171 ms. (23 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 238 ms. (16 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 229 ms. (17 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 222 ms. (17 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 211 ms. (18 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 208 ms. (19 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 228 ms. (17 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 260 ms. (15 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 261 ms. (15 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 268 ms. (14 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 217 ms. (18 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 253 ms. (15 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 213 ms. (18 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 216 ms. (18 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 169 ms. (23 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 188 ms. (21 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 177 ms. (22 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 166 ms. (23 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 181 ms. (22 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 180 ms. (22 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 203 ms. (19 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 206 ms. (19 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 6715/6715 properties
Interrupted probabilistic random walk after 645081 steps, run timeout after 105001 ms. (steps per millisecond=6 ) properties seen :0 out of 6715
Probabilistic random walk after 645081 steps, saw 119621 distinct states, run finished after 105001 ms. (steps per millisecond=6 ) properties seen :0
[2025-06-05 22:35:45] [INFO ] Invariant cache hit.
[2025-06-05 22:35:45] [INFO ] State equation strengthened by 8020 read => feed constraints.
Starting Z3 with timeout 90.0 s and query timeout 9000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 6715 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/441 variables, 21/462 constraints. Problems are: Problem set: 0 solved, 6715 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:37:22] [INFO ] Deduced a trap composed of 219 places in 615 ms of which 104 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:37:22] [INFO ] Deduced a trap composed of 219 places in 603 ms of which 107 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:37:23] [INFO ] Deduced a trap composed of 219 places in 653 ms of which 128 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:37:24] [INFO ] Deduced a trap composed of 219 places in 667 ms of which 146 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:37:25] [INFO ] Deduced a trap composed of 219 places in 692 ms of which 163 ms to minimize.
SMT process timed out in 99386ms, After SMT, problems are : Problem set: 0 solved, 6715 unsolved
Fused 6715 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 441 out of 441 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 441/441 places, 8421/8421 transitions.
Applied a total of 0 rules in 130 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 130 ms. Remains : 441/441 places, 8421/8421 transitions.
RANDOM walk for 203168 steps (0 resets) in 120004 ms. (1 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 204 ms. (19 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 193 ms. (20 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4002 steps (8 resets) in 195 ms. (20 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 228 ms. (17 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 228 ms. (17 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 223 ms. (17 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 165 ms. (24 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 176 ms. (22 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 216 ms. (18 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 226 ms. (17 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 220 ms. (18 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 231 ms. (17 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 195 ms. (20 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 228 ms. (17 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 205 ms. (19 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 169 ms. (23 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 178 ms. (22 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 206 ms. (19 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 223 ms. (17 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 221 ms. (18 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 221 ms. (18 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 224 ms. (17 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 177 ms. (22 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4002 steps (8 resets) in 173 ms. (23 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 177 ms. (22 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4002 steps (8 resets) in 222 ms. (17 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 210 ms. (18 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 227 ms. (17 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 174 ms. (22 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 176 ms. (22 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 183 ms. (21 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 221 ms. (18 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 229 ms. (17 steps per ms) remains 6715/6715 properties
BEST_FIRST walk for 4004 steps (8 resets) in 182 ms. (21 steps per ms) remains 6715/6715 properties
Interrupted probabilistic random walk after 614532 steps, run timeout after 99001 ms. (steps per millisecond=6 ) properties seen :0 out of 6715
Probabilistic random walk after 614532 steps, saw 114819 distinct states, run finished after 99002 ms. (steps per millisecond=6 ) properties seen :0
[2025-06-05 22:39:37] [INFO ] Invariant cache hit.
[2025-06-05 22:39:37] [INFO ] State equation strengthened by 8020 read => feed constraints.
Starting Z3 with timeout 105.0 s and query timeout 10500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 6715 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/441 variables, 21/462 constraints. Problems are: Problem set: 0 solved, 6715 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:40:56] [INFO ] Deduced a trap composed of 219 places in 700 ms of which 105 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:40:56] [INFO ] Deduced a trap composed of 219 places in 685 ms of which 111 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:40:57] [INFO ] Deduced a trap composed of 219 places in 700 ms of which 124 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:40:58] [INFO ] Deduced a trap composed of 219 places in 719 ms of which 149 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:40:59] [INFO ] Deduced a trap composed of 219 places in 680 ms of which 160 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:40:59] [INFO ] Deduced a trap composed of 218 places in 751 ms of which 176 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:41:00] [INFO ] Deduced a trap composed of 217 places in 627 ms of which 32 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:41:01] [INFO ] Deduced a trap composed of 217 places in 670 ms of which 104 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:41:01] [INFO ] Deduced a trap composed of 217 places in 677 ms of which 112 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:41:02] [INFO ] Deduced a trap composed of 218 places in 568 ms of which 32 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:41:03] [INFO ] Deduced a trap composed of 218 places in 657 ms of which 97 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:41:03] [INFO ] Deduced a trap composed of 218 places in 600 ms of which 31 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:41:04] [INFO ] Deduced a trap composed of 218 places in 668 ms of which 99 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:41:05] [INFO ] Deduced a trap composed of 218 places in 587 ms of which 31 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:41:05] [INFO ] Deduced a trap composed of 218 places in 698 ms of which 130 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:41:06] [INFO ] Deduced a trap composed of 218 places in 766 ms of which 176 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:41:07] [INFO ] Deduced a trap composed of 217 places in 638 ms of which 114 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:41:08] [INFO ] Deduced a trap composed of 217 places in 704 ms of which 112 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:41:08] [INFO ] Deduced a trap composed of 218 places in 704 ms of which 128 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:41:09] [INFO ] Deduced a trap composed of 218 places in 704 ms of which 150 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/441 variables, 20/482 constraints. Problems are: Problem set: 0 solved, 6715 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 441/8862 variables, and 482 constraints, problems are : Problem set: 0 solved, 6715 unsolved in 105178 ms.
Refiners :[Domain max(s): 441/441 constraints, Positive P Invariants (semi-flows): 21/21 constraints, State Equation: 0/441 constraints, ReadFeed: 0/8020 constraints, PredecessorRefiner: 6715/6715 constraints, Known Traps: 20/20 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 6715 unsolved
Starting Z3 with timeout 105.0 s and query timeout 10500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 6715 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/441 variables, 21/462 constraints. Problems are: Problem set: 0 solved, 6715 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/441 variables, 20/482 constraints. Problems are: Problem set: 0 solved, 6715 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:42:56] [INFO ] Deduced a trap composed of 219 places in 727 ms of which 139 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:42:56] [INFO ] Deduced a trap composed of 219 places in 705 ms of which 142 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:42:57] [INFO ] Deduced a trap composed of 218 places in 686 ms of which 140 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:42:58] [INFO ] Deduced a trap composed of 218 places in 709 ms of which 120 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:42:59] [INFO ] Deduced a trap composed of 218 places in 737 ms of which 147 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:42:59] [INFO ] Deduced a trap composed of 218 places in 820 ms of which 223 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:43:00] [INFO ] Deduced a trap composed of 218 places in 681 ms of which 107 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:43:01] [INFO ] Deduced a trap composed of 218 places in 635 ms of which 97 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:43:02] [INFO ] Deduced a trap composed of 218 places in 741 ms of which 142 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:43:02] [INFO ] Deduced a trap composed of 218 places in 815 ms of which 269 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:43:03] [INFO ] Deduced a trap composed of 218 places in 598 ms of which 31 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:43:04] [INFO ] Deduced a trap composed of 218 places in 663 ms of which 94 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:43:04] [INFO ] Deduced a trap composed of 218 places in 638 ms of which 89 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:43:05] [INFO ] Deduced a trap composed of 218 places in 645 ms of which 96 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:43:06] [INFO ] Deduced a trap composed of 218 places in 662 ms of which 96 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:43:06] [INFO ] Deduced a trap composed of 218 places in 701 ms of which 125 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:43:07] [INFO ] Deduced a trap composed of 218 places in 654 ms of which 90 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:43:08] [INFO ] Deduced a trap composed of 218 places in 667 ms of which 96 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:43:08] [INFO ] Deduced a trap composed of 218 places in 653 ms of which 94 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:43:09] [INFO ] Deduced a trap composed of 218 places in 662 ms of which 95 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/441 variables, 20/502 constraints. Problems are: Problem set: 0 solved, 6715 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 441/8862 variables, and 502 constraints, problems are : Problem set: 0 solved, 6715 unsolved in 105143 ms.
Refiners :[Domain max(s): 441/441 constraints, Positive P Invariants (semi-flows): 21/21 constraints, State Equation: 0/441 constraints, ReadFeed: 0/8020 constraints, PredecessorRefiner: 0/6715 constraints, Known Traps: 40/40 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 219172ms problems are : Problem set: 0 solved, 6715 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 134 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 135 ms. Remains : 441/441 places, 8421/8421 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 441/441 places, 8421/8421 transitions.
Applied a total of 0 rules in 116 ms. Remains 441 /441 variables (removed 0) and now considering 8421/8421 (removed 0) transitions.
[2025-06-05 22:43:17] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-05 22:43:17] [INFO ] Implicit Places using invariants in 96 ms returned []
[2025-06-05 22:43:17] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-05 22:43:18] [INFO ] State equation strengthened by 8020 read => feed constraints.
[2025-06-05 22:43:19] [INFO ] Implicit Places using invariants and state equation in 2436 ms returned []
Implicit Place search using SMT with State Equation took 2539 ms to find 0 implicit places.
Starting Z3 with timeout 200.0 s and query timeout 20000.0 ms
[2025-06-05 22:43:21] [INFO ] Redundant transitions in 1338 ms returned []
Running 8401 sub problems to find dead transitions.
[2025-06-05 22:43:21] [INFO ] Invariant cache hit.
[2025-06-05 22:43:21] [INFO ] State equation strengthened by 8020 read => feed constraints.
Detected timeout of ITS tools.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 8401 unsolved
SMT process timed out in 48290ms, After SMT, problems are : Problem set: 0 solved, 8401 unsolved
Search for dead transitions found 0 dead transitions in 48308ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 52348 ms. Remains : 441/441 places, 8421/8421 transitions.
RANDOM walk for 1941 steps (0 resets) in 930 ms. (2 steps per ms) remains 0/441 properties
RANDOM walk for 234259 steps (0 resets) in 120004 ms. (1 steps per ms) remains 6710/6715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 158 ms. (25 steps per ms) remains 6710/6710 properties
BEST_FIRST walk for 4002 steps (8 resets) in 159 ms. (25 steps per ms) remains 6710/6710 properties
BEST_FIRST walk for 4003 steps (8 resets) in 149 ms. (26 steps per ms) remains 6710/6710 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 6710/6710 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 6710/6710 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 6710/6710 properties
BEST_FIRST walk for 4002 steps (8 resets) in 159 ms. (25 steps per ms) remains 6710/6710 properties
BEST_FIRST walk for 4003 steps (8 resets) in 158 ms. (25 steps per ms) remains 6710/6710 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 6710/6710 properties
BEST_FIRST walk for 4004 steps (8 resets) in 166 ms. (23 steps per ms) remains 6710/6710 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 6710/6710 properties
BEST_FIRST walk for 4004 steps (8 resets) in 161 ms. (24 steps per ms) remains 6710/6710 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 6710/6710 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 6710/6710 properties
BEST_FIRST walk for 4004 steps (8 resets) in 167 ms. (23 steps per ms) remains 6710/6710 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 6710/6710 properties
BEST_FIRST walk for 4004 steps (8 resets) in 160 ms. (24 steps per ms) remains 6710/6710 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6710/6710 properties
BEST_FIRST walk for 4002 steps (8 resets) in 155 ms. (25 steps per ms) remains 6709/6710 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 6709/6709 properties
BEST_FIRST walk for 4003 steps (8 resets) in 157 ms. (25 steps per ms) remains 6709/6709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 6709/6709 properties
BEST_FIRST walk for 4003 steps (8 resets) in 151 ms. (26 steps per ms) remains 6709/6709 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 6709/6709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 6709/6709 properties
BEST_FIRST walk for 4003 steps (8 resets) in 164 ms. (24 steps per ms) remains 6708/6709 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 164 ms. (24 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 150 ms. (26 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 172 ms. (23 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 167 ms. (23 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 159 ms. (25 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 159 ms. (25 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4003 steps (8 resets) in 154 ms. (25 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4002 steps (8 resets) in 161 ms. (24 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 164 ms. (24 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 160 ms. (24 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 161 ms. (24 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 163 ms. (24 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4003 steps (8 resets) in 152 ms. (26 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4003 steps (8 resets) in 149 ms. (26 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4003 steps (8 resets) in 159 ms. (25 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4003 steps (8 resets) in 156 ms. (25 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 159 ms. (25 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4003 steps (8 resets) in 150 ms. (26 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4003 steps (8 resets) in 166 ms. (23 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4003 steps (8 resets) in 179 ms. (22 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4003 steps (8 resets) in 153 ms. (25 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4003 steps (8 resets) in 162 ms. (24 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4002 steps (8 resets) in 156 ms. (25 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4003 steps (8 resets) in 164 ms. (24 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4002 steps (8 resets) in 154 ms. (25 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4003 steps (8 resets) in 153 ms. (25 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4002 steps (8 resets) in 163 ms. (24 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 173 ms. (23 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4003 steps (8 resets) in 151 ms. (26 steps per ms) remains 6708/6708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 161 ms. (24 steps per ms) remains 6707/6708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 159 ms. (25 steps per ms) remains 6707/6707 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 6707/6707 properties
BEST_FIRST walk for 4004 steps (8 resets) in 165 ms. (24 steps per ms) remains 6706/6707 properties
BEST_FIRST walk for 4003 steps (8 resets) in 148 ms. (26 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4003 steps (8 resets) in 151 ms. (26 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4003 steps (8 resets) in 157 ms. (25 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4002 steps (8 resets) in 159 ms. (25 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4003 steps (8 resets) in 169 ms. (23 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4004 steps (8 resets) in 162 ms. (24 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4004 steps (8 resets) in 164 ms. (24 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4004 steps (8 resets) in 150 ms. (26 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4003 steps (8 resets) in 143 ms. (27 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4004 steps (8 resets) in 159 ms. (25 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4002 steps (8 resets) in 165 ms. (24 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4004 steps (8 resets) in 161 ms. (24 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4001 steps (8 resets) in 162 ms. (24 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4003 steps (8 resets) in 158 ms. (25 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4002 steps (8 resets) in 155 ms. (25 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4004 steps (8 resets) in 159 ms. (25 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4003 steps (8 resets) in 160 ms. (24 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4003 steps (8 resets) in 157 ms. (25 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4003 steps (8 resets) in 164 ms. (24 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4004 steps (8 resets) in 163 ms. (24 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4003 steps (8 resets) in 151 ms. (26 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4003 steps (8 resets) in 154 ms. (25 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4003 steps (8 resets) in 150 ms. (26 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4003 steps (8 resets) in 149 ms. (26 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4003 steps (8 resets) in 163 ms. (24 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4003 steps (8 resets) in 158 ms. (25 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4003 steps (8 resets) in 156 ms. (25 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4004 steps (8 resets) in 150 ms. (26 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4003 steps (8 resets) in 160 ms. (24 steps per ms) remains 6706/6706 properties
BEST_FIRST walk for 4003 steps (8 resets) in 161 ms. (24 steps per ms) remains 6706/6706 properties
Interrupted probabilistic random walk after 651447 steps, run timeout after 105001 ms. (steps per millisecond=6 ) properties seen :0 out of 6706
Probabilistic random walk after 651447 steps, saw 120628 distinct states, run finished after 105001 ms. (steps per millisecond=6 ) properties seen :0
[2025-06-05 22:46:30] [INFO ] Invariant cache hit.
[2025-06-05 22:46:30] [INFO ] State equation strengthened by 8020 read => feed constraints.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 6706 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/441 variables, 21/462 constraints. Problems are: Problem set: 0 solved, 6706 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:47:42] [INFO ] Deduced a trap composed of 219 places in 632 ms of which 107 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:47:43] [INFO ] Deduced a trap composed of 218 places in 596 ms of which 95 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:47:46] [INFO ] Deduced a trap composed of 218 places in 2952 ms of which 2409 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:47:47] [INFO ] Deduced a trap composed of 218 places in 662 ms of which 115 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:47:47] [INFO ] Deduced a trap composed of 218 places in 631 ms of which 121 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:47:48] [INFO ] Deduced a trap composed of 218 places in 639 ms of which 108 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:47:49] [INFO ] Deduced a trap composed of 218 places in 590 ms of which 102 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:47:49] [INFO ] Deduced a trap composed of 218 places in 640 ms of which 124 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:47:50] [INFO ] Deduced a trap composed of 218 places in 955 ms of which 439 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:47:51] [INFO ] Deduced a trap composed of 218 places in 804 ms of which 291 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:47:52] [INFO ] Deduced a trap composed of 218 places in 648 ms of which 96 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:47:52] [INFO ] Deduced a trap composed of 218 places in 647 ms of which 143 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:47:53] [INFO ] Deduced a trap composed of 217 places in 673 ms of which 136 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:47:54] [INFO ] Deduced a trap composed of 218 places in 735 ms of which 221 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:47:55] [INFO ] Deduced a trap composed of 219 places in 892 ms of which 281 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:47:55] [INFO ] Deduced a trap composed of 219 places in 657 ms of which 106 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:47:56] [INFO ] Deduced a trap composed of 219 places in 674 ms of which 176 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:47:57] [INFO ] Deduced a trap composed of 219 places in 604 ms of which 117 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:47:58] [INFO ] Deduced a trap composed of 218 places in 691 ms of which 165 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:47:58] [INFO ] Deduced a trap composed of 218 places in 810 ms of which 281 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/441 variables, 20/482 constraints. Problems are: Problem set: 0 solved, 6706 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 441/8862 variables, and 482 constraints, problems are : Problem set: 0 solved, 6706 unsolved in 120134 ms.
Refiners :[Domain max(s): 441/441 constraints, Positive P Invariants (semi-flows): 21/21 constraints, State Equation: 0/441 constraints, ReadFeed: 0/8020 constraints, PredecessorRefiner: 6706/6706 constraints, Known Traps: 20/20 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 6706 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 6706 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/441 variables, 21/462 constraints. Problems are: Problem set: 0 solved, 6706 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/441 variables, 20/482 constraints. Problems are: Problem set: 0 solved, 6706 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:49:48] [INFO ] Deduced a trap composed of 219 places in 611 ms of which 100 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:49:48] [INFO ] Deduced a trap composed of 219 places in 655 ms of which 141 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:49:49] [INFO ] Deduced a trap composed of 219 places in 688 ms of which 135 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:49:50] [INFO ] Deduced a trap composed of 219 places in 643 ms of which 106 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:49:51] [INFO ] Deduced a trap composed of 218 places in 656 ms of which 106 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:49:56] [INFO ] Deduced a trap composed of 218 places in 5713 ms of which 5211 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:49:57] [INFO ] Deduced a trap composed of 218 places in 690 ms of which 127 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:49:58] [INFO ] Deduced a trap composed of 218 places in 950 ms of which 401 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:49:59] [INFO ] Deduced a trap composed of 218 places in 662 ms of which 117 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:49:59] [INFO ] Deduced a trap composed of 218 places in 736 ms of which 176 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:50:00] [INFO ] Deduced a trap composed of 218 places in 685 ms of which 124 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:50:01] [INFO ] Deduced a trap composed of 217 places in 654 ms of which 105 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:50:02] [INFO ] Deduced a trap composed of 217 places in 675 ms of which 164 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:50:02] [INFO ] Deduced a trap composed of 217 places in 670 ms of which 153 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:50:03] [INFO ] Deduced a trap composed of 217 places in 664 ms of which 117 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:50:04] [INFO ] Deduced a trap composed of 217 places in 619 ms of which 107 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:50:04] [INFO ] Deduced a trap composed of 217 places in 621 ms of which 95 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:50:05] [INFO ] Deduced a trap composed of 217 places in 612 ms of which 112 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:50:05] [INFO ] Deduced a trap composed of 217 places in 655 ms of which 129 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-05 22:50:06] [INFO ] Deduced a trap composed of 217 places in 671 ms of which 112 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/441 variables, 20/502 constraints. Problems are: Problem set: 0 solved, 6706 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 441/8862 variables, and 502 constraints, problems are : Problem set: 0 solved, 6706 unsolved in 120170 ms.
Refiners :[Domain max(s): 441/441 constraints, Positive P Invariants (semi-flows): 21/21 constraints, State Equation: 0/441 constraints, ReadFeed: 0/8020 constraints, PredecessorRefiner: 0/6706 constraints, Known Traps: 40/40 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 249661ms problems are : Problem set: 0 solved, 6706 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 127 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 129 ms. Remains : 441/441 places, 8421/8421 transitions.
RANDOM walk for 154675 steps (0 resets) in 120005 ms. (1 steps per ms) remains 6699/6706 properties
BEST_FIRST walk for 4003 steps (8 resets) in 220 ms. (18 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4002 steps (8 resets) in 212 ms. (18 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 181 ms. (22 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4003 steps (8 resets) in 195 ms. (20 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 224 ms. (17 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 184 ms. (21 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4003 steps (8 resets) in 213 ms. (18 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4003 steps (8 resets) in 216 ms. (18 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 192 ms. (20 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4003 steps (8 resets) in 217 ms. (18 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 210 ms. (18 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 190 ms. (20 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4003 steps (8 resets) in 187 ms. (21 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4003 steps (8 resets) in 186 ms. (21 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4003 steps (8 resets) in 231 ms. (17 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4003 steps (8 resets) in 210 ms. (18 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 181 ms. (22 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 178 ms. (22 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 199 ms. (20 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 207 ms. (19 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4002 steps (8 resets) in 211 ms. (18 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4002 steps (8 resets) in 214 ms. (18 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 217 ms. (18 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4003 steps (8 resets) in 247 ms. (16 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4003 steps (8 resets) in 176 ms. (22 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 180 ms. (22 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4003 steps (8 resets) in 207 ms. (19 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 178 ms. (22 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4003 steps (8 resets) in 212 ms. (18 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4003 steps (8 resets) in 201 ms. (19 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4003 steps (8 resets) in 219 ms. (18 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 236 ms. (16 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4003 steps (8 resets) in 221 ms. (18 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 6699/6699 properties
BEST_FIRST walk for 4002 steps (8 resets) in 196 ms. (20 steps per ms) remains 6699/6699 properties
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ QuasiLiveness = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202505121319.jar
+ VERSION=202505121319
+ echo 'Running Version 202505121319'
+ /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-5832"
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 r245-tall-174915598600222"
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.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] ; then
echo "FORMULA_NAME QuasiLiveness"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;