About the Execution of ITS-Tools for TokenRing-PT-030
| 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-174915598600229.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-030, examination is Liveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r245-tall-174915598600229
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 244M
-rw-r--r-- 1 mcc users 1.2M May 29 14:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 5.8M May 29 14:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 17M May 29 14:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 59M 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 516K May 29 14:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 1.8M May 29 14:48 LTLCardinality.xml
-rw-r--r-- 1 mcc users 9.0M May 29 14:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 25M May 29 14:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 375K May 29 14:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 1.6M May 29 14:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 25M May 29 14:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 86M May 29 14:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 102K May 29 14:48 UpperBounds.txt
-rw-r--r-- 1 mcc users 262K 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 14M May 29 14:33 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME Liveness
=== Now, execution of the tool begins
BK_START 1750357092240
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=Liveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=TokenRing-PT-030
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
Liveness PT
Running Version 202505121319
[2025-06-19 18:18:13] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, Liveness, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2025-06-19 18:18:13] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-19 18:18:14] [INFO ] Load time of PNML (sax parser for PT used): 730 ms
[2025-06-19 18:18:14] [INFO ] Transformed 961 places.
[2025-06-19 18:18:14] [INFO ] Transformed 27931 transitions.
[2025-06-19 18:18:14] [INFO ] Found NUPN structural information;
[2025-06-19 18:18:14] [INFO ] Parsed PT model containing 961 places and 27931 transitions and 111724 arcs in 988 ms.
Built sparse matrix representations for Structural reductions in 130 ms.135319KB memory used
Starting structural reductions in DEADLOCK mode, iteration 0 : 961/961 places, 27931/27931 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Applied a total of 0 rules in 304 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
Finished structural reductions in DEADLOCK mode , in 1 iterations and 329 ms. Remains : 961/961 places, 27931/27931 transitions.
Starting structural reductions in DEADLOCK mode, iteration 0 : 961/961 places, 27931/27931 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Applied a total of 0 rules in 237 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
// Phase 1: matrix 27931 rows 961 cols
[2025-06-19 18:18:16] [INFO ] Computed 31 invariants in 138 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-19 18:18:17] [INFO ] Implicit Places using invariants in 575 ms returned []
Implicit Place search using SMT only with invariants took 616 ms to find 0 implicit places.
Running 27901 sub problems to find dead transitions.
[2025-06-19 18:18:17] [INFO ] Invariant cache hit.
[2025-06-19 18:18:17] [INFO ] State equation strengthened by 27030 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
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/961 variables, 961/961 constraints. Problems are: Problem set: 0 solved, 27901 unsolved
SMT process timed out in 142795ms, After SMT, problems are : Problem set: 0 solved, 27901 unsolved
Search for dead transitions found 0 dead transitions in 142923ms
Finished structural reductions in DEADLOCK mode , in 1 iterations and 143901 ms. Remains : 961/961 places, 27931/27931 transitions.
Interrupted Random walk after 1014523 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=33 )
[2025-06-19 18:21:10] [INFO ] Invariant cache hit.
Starting Z3 with timeout 300.0 s and query timeout 30000.0 ms
[2025-06-19 18:21:15] [INFO ] [Real]Absence check using 31 positive place invariants in 571 ms returned unsat
Starting structural reductions in LIVENESS mode, iteration 0 : 961/961 places, 27931/27931 transitions.
Applied a total of 0 rules in 107 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
[2025-06-19 18:21:15] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-19 18:21:17] [INFO ] Implicit Places using invariants in 2463 ms returned []
Implicit Place search using SMT only with invariants took 2465 ms to find 0 implicit places.
Running 27901 sub problems to find dead transitions.
[2025-06-19 18:21:18] [INFO ] Invariant cache hit.
[2025-06-19 18:21:18] [INFO ] State equation strengthened by 27030 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/961 variables, 961/961 constraints. Problems are: Problem set: 0 solved, 27901 unsolved
SMT process timed out in 141942ms, After SMT, problems are : Problem set: 0 solved, 27901 unsolved
Search for dead transitions found 0 dead transitions in 142011ms
Finished structural reductions in LIVENESS mode , in 1 iterations and 144665 ms. Remains : 961/961 places, 27931/27931 transitions.
Initial state reduction rules removed 30 formulas.
RANDOM walk for 40000 steps (8 resets) in 7235 ms. (5 steps per ms) remains 27469/27901 properties
BEST_FIRST walk for 124 steps (0 resets) in 41 ms. (2 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 50 ms. (2 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 29 ms. (4 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 34 ms. (3 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 20 ms. (5 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 26 ms. (4 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 19 ms. (6 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 20 ms. (5 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 17 ms. (6 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 25 ms. (4 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 19 ms. (6 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 29 ms. (4 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 25 ms. (4 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 28 ms. (4 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 19 ms. (6 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 37 ms. (3 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 26 ms. (4 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 28 ms. (4 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 32 ms. (3 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 28 ms. (4 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 28 ms. (4 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 24 ms. (4 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 25 ms. (4 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 27 ms. (4 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 18 ms. (6 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 31 ms. (3 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 28 ms. (4 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 32 ms. (3 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 16 ms. (7 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 15 ms. (7 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 26 ms. (4 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 31 ms. (3 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 16 ms. (7 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 58 ms. (2 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 16 ms. (7 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 28 ms. (4 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 20 ms. (5 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 26 ms. (4 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 24 ms. (4 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 36 ms. (3 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 21 ms. (5 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 30 ms. (4 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 21 ms. (5 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 17 ms. (6 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 22 ms. (5 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 31 ms. (3 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 27 ms. (4 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 23 ms. (5 steps per ms) remains 27469/27469 properties
BEST_FIRST walk for 124 steps (0 resets) in 25 ms. (4 steps per ms) remains 27469/27469 properties
[2025-06-19 18:23:43] [INFO ] Flatten gal took : 1444 ms
[2025-06-19 18:23:44] [INFO ] Flatten gal took : 909 ms
[2025-06-19 18:23:44] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality1376964550852045378.gal : 241 ms
[2025-06-19 18:23:44] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality14355008381007333954.prop : 122 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/ReachabilityCardinality1376964550852045378.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality14355008381007333954.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 ...329
Loading property file /tmp/ReachabilityCardinality14355008381007333954.prop.
Interrupted probabilistic random walk after 2645 steps, run timeout after 6002 ms. (steps per millisecond=0 ) properties seen :668 out of 27469
Probabilistic random walk after 2645 steps, saw 1666 distinct states, run finished after 6008 ms. (steps per millisecond=0 ) properties seen :668
[2025-06-19 18:23:49] [INFO ] Invariant cache hit.
[2025-06-19 18:23:49] [INFO ] State equation strengthened by 27030 read => feed constraints.
SDD proceeding with computation,27469 properties remain. new max is 4
SDD size :1 after 2
Reachability property qltransition_12159 is true.
Reachability property qltransition_3260 is true.
SDD proceeding with computation,27467 properties remain. new max is 4
SDD size :2 after 5
Reachability property qltransition_19087 is true.
Reachability property qltransition_18786 is true.
Reachability property qltransition_8418 is true.
Reachability property qltransition_792 is true.
SDD proceeding with computation,27463 properties remain. new max is 4
SDD size :5 after 11
Reachability property qltransition_24975 is true.
SDD proceeding with computation,27462 properties remain. new max is 4
SDD size :11 after 14
Reachability property qltransition_19306 is true.
Reachability property qltransition_12331 is true.
Reachability property qltransition_3587 is true.
SDD proceeding with computation,27459 properties remain. new max is 4
SDD size :14 after 29
Reachability property qltransition_22686 is true.
Reachability property qltransition_497 is true.
SDD proceeding with computation,27457 properties remain. new max is 4
SDD size :29 after 33
Reachability property qltransition_3096 is true.
Reachability property qltransition_477 is true.
Reachability property qltransition_82 is true.
SDD proceeding with computation,27454 properties remain. new max is 4
SDD size :33 after 39
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
SDD proceeding with computation,27454 properties remain. new max is 8
SDD size :39 after 42
SMT process timed out in 114302ms, After SMT, problems are : Problem set: 9 solved, 26792 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 961 out of 961 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 961/961 places, 27931/27931 transitions.
Applied a total of 0 rules in 168 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 170 ms. Remains : 961/961 places, 27931/27931 transitions.
Reachability property qltransition_26047 is true.
Reachability property qltransition_23130 is true.
Reachability property qltransition_23014 is true.
Reachability property qltransition_20270 is true.
Reachability property qltransition_19400 is true.
Reachability property qltransition_918 is true.
SDD proceeding with computation,27448 properties remain. new max is 8
SDD size :42 after 85
RANDOM walk for 719944 steps (0 resets) in 120009 ms. (5 steps per ms) remains 26730/26792 properties
BEST_FIRST walk for 4003 steps (8 resets) in 554 ms. (7 steps per ms) remains 26706/26730 properties
BEST_FIRST walk for 4004 steps (8 resets) in 466 ms. (8 steps per ms) remains 26691/26706 properties
BEST_FIRST walk for 4004 steps (8 resets) in 495 ms. (8 steps per ms) remains 26681/26691 properties
BEST_FIRST walk for 4004 steps (8 resets) in 454 ms. (8 steps per ms) remains 26677/26681 properties
BEST_FIRST walk for 4004 steps (8 resets) in 424 ms. (9 steps per ms) remains 26671/26677 properties
BEST_FIRST walk for 4004 steps (8 resets) in 401 ms. (9 steps per ms) remains 26665/26671 properties
BEST_FIRST walk for 4004 steps (8 resets) in 409 ms. (9 steps per ms) remains 26663/26665 properties
BEST_FIRST walk for 4004 steps (8 resets) in 501 ms. (7 steps per ms) remains 26659/26663 properties
BEST_FIRST walk for 4004 steps (8 resets) in 430 ms. (9 steps per ms) remains 26657/26659 properties
BEST_FIRST walk for 4003 steps (8 resets) in 481 ms. (8 steps per ms) remains 26652/26657 properties
BEST_FIRST walk for 4003 steps (8 resets) in 511 ms. (7 steps per ms) remains 26647/26652 properties
BEST_FIRST walk for 4003 steps (8 resets) in 408 ms. (9 steps per ms) remains 26644/26647 properties
BEST_FIRST walk for 4004 steps (8 resets) in 465 ms. (8 steps per ms) remains 26640/26644 properties
BEST_FIRST walk for 4004 steps (8 resets) in 564 ms. (7 steps per ms) remains 26637/26640 properties
BEST_FIRST walk for 4004 steps (8 resets) in 467 ms. (8 steps per ms) remains 26637/26637 properties
BEST_FIRST walk for 4004 steps (8 resets) in 584 ms. (6 steps per ms) remains 26635/26637 properties
BEST_FIRST walk for 4004 steps (8 resets) in 642 ms. (6 steps per ms) remains 26634/26635 properties
BEST_FIRST walk for 4004 steps (8 resets) in 509 ms. (7 steps per ms) remains 26634/26634 properties
BEST_FIRST walk for 4003 steps (8 resets) in 459 ms. (8 steps per ms) remains 26634/26634 properties
BEST_FIRST walk for 4004 steps (8 resets) in 503 ms. (7 steps per ms) remains 26632/26634 properties
BEST_FIRST walk for 4003 steps (8 resets) in 470 ms. (8 steps per ms) remains 26631/26632 properties
BEST_FIRST walk for 4004 steps (8 resets) in 511 ms. (7 steps per ms) remains 26630/26631 properties
BEST_FIRST walk for 4004 steps (8 resets) in 478 ms. (8 steps per ms) remains 26629/26630 properties
BEST_FIRST walk for 4003 steps (8 resets) in 410 ms. (9 steps per ms) remains 26629/26629 properties
BEST_FIRST walk for 4002 steps (8 resets) in 407 ms. (9 steps per ms) remains 26629/26629 properties
BEST_FIRST walk for 4004 steps (8 resets) in 516 ms. (7 steps per ms) remains 26629/26629 properties
BEST_FIRST walk for 4004 steps (8 resets) in 425 ms. (9 steps per ms) remains 26628/26629 properties
BEST_FIRST walk for 4004 steps (8 resets) in 501 ms. (7 steps per ms) remains 26627/26628 properties
BEST_FIRST walk for 4004 steps (8 resets) in 466 ms. (8 steps per ms) remains 26625/26627 properties
BEST_FIRST walk for 4004 steps (8 resets) in 430 ms. (9 steps per ms) remains 26625/26625 properties
BEST_FIRST walk for 4004 steps (8 resets) in 437 ms. (9 steps per ms) remains 26625/26625 properties
BEST_FIRST walk for 4004 steps (8 resets) in 468 ms. (8 steps per ms) remains 26622/26625 properties
BEST_FIRST walk for 4004 steps (8 resets) in 472 ms. (8 steps per ms) remains 26621/26622 properties
BEST_FIRST walk for 4002 steps (8 resets) in 418 ms. (9 steps per ms) remains 26619/26621 properties
BEST_FIRST walk for 4004 steps (8 resets) in 480 ms. (8 steps per ms) remains 26617/26619 properties
BEST_FIRST walk for 4004 steps (8 resets) in 466 ms. (8 steps per ms) remains 26616/26617 properties
BEST_FIRST walk for 4004 steps (8 resets) in 437 ms. (9 steps per ms) remains 26616/26616 properties
BEST_FIRST walk for 4004 steps (8 resets) in 436 ms. (9 steps per ms) remains 26614/26616 properties
BEST_FIRST walk for 4002 steps (8 resets) in 444 ms. (8 steps per ms) remains 26613/26614 properties
BEST_FIRST walk for 4004 steps (8 resets) in 449 ms. (8 steps per ms) remains 26612/26613 properties
BEST_FIRST walk for 4004 steps (8 resets) in 509 ms. (7 steps per ms) remains 26610/26612 properties
BEST_FIRST walk for 4004 steps (8 resets) in 456 ms. (8 steps per ms) remains 26609/26610 properties
BEST_FIRST walk for 4004 steps (8 resets) in 483 ms. (8 steps per ms) remains 26609/26609 properties
BEST_FIRST walk for 4004 steps (8 resets) in 414 ms. (9 steps per ms) remains 26608/26609 properties
BEST_FIRST walk for 4004 steps (8 resets) in 497 ms. (8 steps per ms) remains 26606/26608 properties
BEST_FIRST walk for 4004 steps (8 resets) in 515 ms. (7 steps per ms) remains 26606/26606 properties
BEST_FIRST walk for 4004 steps (8 resets) in 489 ms. (8 steps per ms) remains 26606/26606 properties
BEST_FIRST walk for 4004 steps (8 resets) in 469 ms. (8 steps per ms) remains 26606/26606 properties
BEST_FIRST walk for 4004 steps (8 resets) in 496 ms. (8 steps per ms) remains 26605/26606 properties
BEST_FIRST walk for 4004 steps (8 resets) in 469 ms. (8 steps per ms) remains 26604/26605 properties
BEST_FIRST walk for 4004 steps (8 resets) in 478 ms. (8 steps per ms) remains 26603/26604 properties
BEST_FIRST walk for 4003 steps (8 resets) in 461 ms. (8 steps per ms) remains 26602/26603 properties
BEST_FIRST walk for 4004 steps (8 resets) in 534 ms. (7 steps per ms) remains 26602/26602 properties
BEST_FIRST walk for 4004 steps (8 resets) in 503 ms. (7 steps per ms) remains 26602/26602 properties
BEST_FIRST walk for 4004 steps (8 resets) in 481 ms. (8 steps per ms) remains 26602/26602 properties
BEST_FIRST walk for 4004 steps (8 resets) in 490 ms. (8 steps per ms) remains 26602/26602 properties
BEST_FIRST walk for 4003 steps (8 resets) in 459 ms. (8 steps per ms) remains 26601/26602 properties
BEST_FIRST walk for 4004 steps (8 resets) in 499 ms. (8 steps per ms) remains 26597/26601 properties
BEST_FIRST walk for 4004 steps (8 resets) in 477 ms. (8 steps per ms) remains 26596/26597 properties
BEST_FIRST walk for 4004 steps (8 resets) in 463 ms. (8 steps per ms) remains 26596/26596 properties
BEST_FIRST walk for 4004 steps (8 resets) in 501 ms. (7 steps per ms) remains 26596/26596 properties
BEST_FIRST walk for 4004 steps (8 resets) in 461 ms. (8 steps per ms) remains 26596/26596 properties
BEST_FIRST walk for 4004 steps (8 resets) in 505 ms. (7 steps per ms) remains 26596/26596 properties
BEST_FIRST walk for 4004 steps (8 resets) in 434 ms. (9 steps per ms) remains 26596/26596 properties
BEST_FIRST walk for 4004 steps (8 resets) in 501 ms. (7 steps per ms) remains 26595/26596 properties
BEST_FIRST walk for 4004 steps (8 resets) in 440 ms. (9 steps per ms) remains 26595/26595 properties
BEST_FIRST walk for 4003 steps (8 resets) in 430 ms. (9 steps per ms) remains 26595/26595 properties
BEST_FIRST walk for 4004 steps (8 resets) in 542 ms. (7 steps per ms) remains 26594/26595 properties
BEST_FIRST walk for 4004 steps (8 resets) in 463 ms. (8 steps per ms) remains 26594/26594 properties
BEST_FIRST walk for 4004 steps (8 resets) in 515 ms. (7 steps per ms) remains 26593/26594 properties
BEST_FIRST walk for 4003 steps (8 resets) in 460 ms. (8 steps per ms) remains 26593/26593 properties
BEST_FIRST walk for 4004 steps (8 resets) in 415 ms. (9 steps per ms) remains 26593/26593 properties
BEST_FIRST walk for 4004 steps (8 resets) in 446 ms. (8 steps per ms) remains 26593/26593 properties
BEST_FIRST walk for 4003 steps (8 resets) in 492 ms. (8 steps per ms) remains 26593/26593 properties
BEST_FIRST walk for 4004 steps (8 resets) in 506 ms. (7 steps per ms) remains 26593/26593 properties
BEST_FIRST walk for 4003 steps (8 resets) in 546 ms. (7 steps per ms) remains 26592/26593 properties
BEST_FIRST walk for 4004 steps (8 resets) in 493 ms. (8 steps per ms) remains 26592/26592 properties
BEST_FIRST walk for 4004 steps (8 resets) in 411 ms. (9 steps per ms) remains 26592/26592 properties
BEST_FIRST walk for 4004 steps (8 resets) in 492 ms. (8 steps per ms) remains 26591/26592 properties
BEST_FIRST walk for 4003 steps (8 resets) in 455 ms. (8 steps per ms) remains 26591/26591 properties
BEST_FIRST walk for 4003 steps (8 resets) in 520 ms. (7 steps per ms) remains 26590/26591 properties
BEST_FIRST walk for 4004 steps (8 resets) in 483 ms. (8 steps per ms) remains 26590/26590 properties
BEST_FIRST walk for 4003 steps (8 resets) in 424 ms. (9 steps per ms) remains 26590/26590 properties
BEST_FIRST walk for 4004 steps (8 resets) in 441 ms. (9 steps per ms) remains 26588/26590 properties
BEST_FIRST walk for 4004 steps (8 resets) in 488 ms. (8 steps per ms) remains 26588/26588 properties
BEST_FIRST walk for 4004 steps (8 resets) in 427 ms. (9 steps per ms) remains 26587/26588 properties
BEST_FIRST walk for 4004 steps (8 resets) in 421 ms. (9 steps per ms) remains 26586/26587 properties
BEST_FIRST walk for 4004 steps (8 resets) in 492 ms. (8 steps per ms) remains 26586/26586 properties
BEST_FIRST walk for 4003 steps (8 resets) in 405 ms. (9 steps per ms) remains 26586/26586 properties
BEST_FIRST walk for 4004 steps (8 resets) in 506 ms. (7 steps per ms) remains 26586/26586 properties
BEST_FIRST walk for 4004 steps (8 resets) in 401 ms. (9 steps per ms) remains 26586/26586 properties
BEST_FIRST walk for 4004 steps (8 resets) in 482 ms. (8 steps per ms) remains 26585/26586 properties
BEST_FIRST walk for 4004 steps (8 resets) in 410 ms. (9 steps per ms) remains 26584/26585 properties
BEST_FIRST walk for 4004 steps (8 resets) in 497 ms. (8 steps per ms) remains 26583/26584 properties
BEST_FIRST walk for 4004 steps (8 resets) in 455 ms. (8 steps per ms) remains 26583/26583 properties
BEST_FIRST walk for 4004 steps (8 resets) in 455 ms. (8 steps per ms) remains 26582/26583 properties
BEST_FIRST walk for 4003 steps (8 resets) in 430 ms. (9 steps per ms) remains 26581/26582 properties
BEST_FIRST walk for 4004 steps (8 resets) in 497 ms. (8 steps per ms) remains 26581/26581 properties
BEST_FIRST walk for 4003 steps (8 resets) in 433 ms. (9 steps per ms) remains 26581/26581 properties
BEST_FIRST walk for 4004 steps (8 resets) in 437 ms. (9 steps per ms) remains 26581/26581 properties
BEST_FIRST walk for 4004 steps (8 resets) in 394 ms. (10 steps per ms) remains 26581/26581 properties
BEST_FIRST walk for 4004 steps (8 resets) in 474 ms. (8 steps per ms) remains 26581/26581 properties
BEST_FIRST walk for 4004 steps (8 resets) in 518 ms. (7 steps per ms) remains 26581/26581 properties
BEST_FIRST walk for 4004 steps (8 resets) in 638 ms. (6 steps per ms) remains 26581/26581 properties
BEST_FIRST walk for 4004 steps (8 resets) in 499 ms. (8 steps per ms) remains 26581/26581 properties
BEST_FIRST walk for 4004 steps (8 resets) in 479 ms. (8 steps per ms) remains 26581/26581 properties
BEST_FIRST walk for 4004 steps (8 resets) in 454 ms. (8 steps per ms) remains 26580/26581 properties
BEST_FIRST walk for 4004 steps (8 resets) in 445 ms. (8 steps per ms) remains 26580/26580 properties
BEST_FIRST walk for 4004 steps (8 resets) in 479 ms. (8 steps per ms) remains 26580/26580 properties
BEST_FIRST walk for 4004 steps (8 resets) in 474 ms. (8 steps per ms) remains 26579/26580 properties
BEST_FIRST walk for 4004 steps (8 resets) in 459 ms. (8 steps per ms) remains 26579/26579 properties
BEST_FIRST walk for 4004 steps (8 resets) in 456 ms. (8 steps per ms) remains 26579/26579 properties
BEST_FIRST walk for 4004 steps (8 resets) in 445 ms. (8 steps per ms) remains 26579/26579 properties
BEST_FIRST walk for 4004 steps (8 resets) in 423 ms. (9 steps per ms) remains 26579/26579 properties
BEST_FIRST walk for 4004 steps (8 resets) in 558 ms. (7 steps per ms) remains 26579/26579 properties
BEST_FIRST walk for 4004 steps (8 resets) in 474 ms. (8 steps per ms) remains 26579/26579 properties
BEST_FIRST walk for 4004 steps (8 resets) in 465 ms. (8 steps per ms) remains 26579/26579 properties
BEST_FIRST walk for 4004 steps (8 resets) in 438 ms. (9 steps per ms) remains 26579/26579 properties
BEST_FIRST walk for 4004 steps (8 resets) in 426 ms. (9 steps per ms) remains 26579/26579 properties
BEST_FIRST walk for 4004 steps (8 resets) in 407 ms. (9 steps per ms) remains 26579/26579 properties
BEST_FIRST walk for 4004 steps (8 resets) in 460 ms. (8 steps per ms) remains 26579/26579 properties
BEST_FIRST walk for 4004 steps (8 resets) in 453 ms. (8 steps per ms) remains 26579/26579 properties
BEST_FIRST walk for 4004 steps (8 resets) in 448 ms. (8 steps per ms) remains 26579/26579 properties
BEST_FIRST walk for 4004 steps (8 resets) in 458 ms. (8 steps per ms) remains 26579/26579 properties
BEST_FIRST walk for 4004 steps (8 resets) in 453 ms. (8 steps per ms) remains 26579/26579 properties
BEST_FIRST walk for 4004 steps (8 resets) in 432 ms. (9 steps per ms) remains 26579/26579 properties
BEST_FIRST walk for 4004 steps (8 resets) in 444 ms. (8 steps per ms) remains 26579/26579 properties
BEST_FIRST walk for 4004 steps (8 resets) in 539 ms. (7 steps per ms) remains 26579/26579 properties
BEST_FIRST walk for 4004 steps (8 resets) in 488 ms. (8 steps per ms) remains 26578/26579 properties
BEST_FIRST walk for 4003 steps (8 resets) in 415 ms. (9 steps per ms) remains 26578/26578 properties
BEST_FIRST walk for 4004 steps (8 resets) in 430 ms. (9 steps per ms) remains 26578/26578 properties
BEST_FIRST walk for 4003 steps (8 resets) in 446 ms. (8 steps per ms) remains 26577/26578 properties
BEST_FIRST walk for 4004 steps (8 resets) in 490 ms. (8 steps per ms) remains 26577/26577 properties
BEST_FIRST walk for 4004 steps (8 resets) in 422 ms. (9 steps per ms) remains 26577/26577 properties
BEST_FIRST walk for 4004 steps (8 resets) in 431 ms. (9 steps per ms) remains 26577/26577 properties
BEST_FIRST walk for 4004 steps (8 resets) in 498 ms. (8 steps per ms) remains 26576/26577 properties
BEST_FIRST walk for 4003 steps (8 resets) in 459 ms. (8 steps per ms) remains 26576/26576 properties
BEST_FIRST walk for 4004 steps (8 resets) in 477 ms. (8 steps per ms) remains 26575/26576 properties
BEST_FIRST walk for 4004 steps (8 resets) in 414 ms. (9 steps per ms) remains 26574/26575 properties
BEST_FIRST walk for 4004 steps (8 resets) in 547 ms. (7 steps per ms) remains 26574/26574 properties
BEST_FIRST walk for 4003 steps (8 resets) in 418 ms. (9 steps per ms) remains 26574/26574 properties
BEST_FIRST walk for 4004 steps (8 resets) in 419 ms. (9 steps per ms) remains 26574/26574 properties
BEST_FIRST walk for 4004 steps (8 resets) in 460 ms. (8 steps per ms) remains 26574/26574 properties
BEST_FIRST walk for 4004 steps (8 resets) in 435 ms. (9 steps per ms) remains 26573/26574 properties
BEST_FIRST walk for 4003 steps (8 resets) in 496 ms. (8 steps per ms) remains 26573/26573 properties
BEST_FIRST walk for 4004 steps (8 resets) in 385 ms. (10 steps per ms) remains 26573/26573 properties
BEST_FIRST walk for 4004 steps (8 resets) in 451 ms. (8 steps per ms) remains 26573/26573 properties
BEST_FIRST walk for 4003 steps (8 resets) in 453 ms. (8 steps per ms) remains 26573/26573 properties
BEST_FIRST walk for 4004 steps (8 resets) in 453 ms. (8 steps per ms) remains 26573/26573 properties
BEST_FIRST walk for 4004 steps (8 resets) in 411 ms. (9 steps per ms) remains 26573/26573 properties
BEST_FIRST walk for 4004 steps (8 resets) in 486 ms. (8 steps per ms) remains 26573/26573 properties
BEST_FIRST walk for 4004 steps (8 resets) in 467 ms. (8 steps per ms) remains 26573/26573 properties
BEST_FIRST walk for 4004 steps (8 resets) in 471 ms. (8 steps per ms) remains 26573/26573 properties
BEST_FIRST walk for 4003 steps (8 resets) in 624 ms. (6 steps per ms) remains 26573/26573 properties
BEST_FIRST walk for 4004 steps (8 resets) in 459 ms. (8 steps per ms) remains 26573/26573 properties
BEST_FIRST walk for 4004 steps (8 resets) in 491 ms. (8 steps per ms) remains 26573/26573 properties
BEST_FIRST walk for 4004 steps (8 resets) in 436 ms. (9 steps per ms) remains 26573/26573 properties
BEST_FIRST walk for 4004 steps (8 resets) in 429 ms. (9 steps per ms) remains 26573/26573 properties
BEST_FIRST walk for 4004 steps (8 resets) in 473 ms. (8 steps per ms) remains 26573/26573 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 26572/26573 properties
BEST_FIRST walk for 4004 steps (8 resets) in 385 ms. (10 steps per ms) remains 26572/26572 properties
BEST_FIRST walk for 4004 steps (8 resets) in 410 ms. (9 steps per ms) remains 26572/26572 properties
BEST_FIRST walk for 4004 steps (8 resets) in 466 ms. (8 steps per ms) remains 26571/26572 properties
BEST_FIRST walk for 4004 steps (8 resets) in 428 ms. (9 steps per ms) remains 26571/26571 properties
BEST_FIRST walk for 4004 steps (8 resets) in 443 ms. (9 steps per ms) remains 26571/26571 properties
BEST_FIRST walk for 4004 steps (8 resets) in 391 ms. (10 steps per ms) remains 26571/26571 properties
BEST_FIRST walk for 4004 steps (8 resets) in 384 ms. (10 steps per ms) remains 26571/26571 properties
BEST_FIRST walk for 4004 steps (8 resets) in 372 ms. (10 steps per ms) remains 26571/26571 properties
Reachability property qltransition_19510 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 485 ms. (8 steps per ms) remains 26571/26571 properties
BEST_FIRST walk for 4004 steps (8 resets) in 439 ms. (9 steps per ms) remains 26571/26571 properties
BEST_FIRST walk for 4004 steps (8 resets) in 536 ms. (7 steps per ms) remains 26571/26571 properties
BEST_FIRST walk for 4004 steps (8 resets) in 428 ms. (9 steps per ms) remains 26571/26571 properties
BEST_FIRST walk for 4003 steps (8 resets) in 432 ms. (9 steps per ms) remains 26570/26571 properties
BEST_FIRST walk for 4004 steps (8 resets) in 432 ms. (9 steps per ms) remains 26569/26570 properties
BEST_FIRST walk for 4002 steps (8 resets) in 387 ms. (10 steps per ms) remains 26568/26569 properties
BEST_FIRST walk for 4003 steps (8 resets) in 445 ms. (8 steps per ms) remains 26568/26568 properties
BEST_FIRST walk for 4004 steps (8 resets) in 445 ms. (8 steps per ms) remains 26568/26568 properties
BEST_FIRST walk for 4004 steps (8 resets) in 441 ms. (9 steps per ms) remains 26568/26568 properties
BEST_FIRST walk for 4004 steps (8 resets) in 470 ms. (8 steps per ms) remains 26568/26568 properties
BEST_FIRST walk for 4004 steps (8 resets) in 388 ms. (10 steps per ms) remains 26568/26568 properties
BEST_FIRST walk for 4004 steps (8 resets) in 479 ms. (8 steps per ms) remains 26568/26568 properties
BEST_FIRST walk for 4004 steps (8 resets) in 473 ms. (8 steps per ms) remains 26568/26568 properties
BEST_FIRST walk for 4004 steps (8 resets) in 494 ms. (8 steps per ms) remains 26566/26568 properties
BEST_FIRST walk for 4004 steps (8 resets) in 475 ms. (8 steps per ms) remains 26566/26566 properties
BEST_FIRST walk for 4004 steps (8 resets) in 499 ms. (8 steps per ms) remains 26566/26566 properties
BEST_FIRST walk for 4004 steps (8 resets) in 454 ms. (8 steps per ms) remains 26566/26566 properties
BEST_FIRST walk for 4004 steps (8 resets) in 423 ms. (9 steps per ms) remains 26565/26566 properties
BEST_FIRST walk for 4004 steps (8 resets) in 472 ms. (8 steps per ms) remains 26564/26565 properties
BEST_FIRST walk for 4004 steps (8 resets) in 422 ms. (9 steps per ms) remains 26563/26564 properties
BEST_FIRST walk for 4004 steps (8 resets) in 462 ms. (8 steps per ms) remains 26562/26563 properties
SDD proceeding with computation,27447 properties remain. new max is 8
SDD size :85 after 90
BEST_FIRST walk for 4004 steps (8 resets) in 461 ms. (8 steps per ms) remains 26562/26562 properties
BEST_FIRST walk for 4003 steps (8 resets) in 497 ms. (8 steps per ms) remains 26562/26562 properties
BEST_FIRST walk for 4004 steps (8 resets) in 438 ms. (9 steps per ms) remains 26561/26562 properties
BEST_FIRST walk for 4004 steps (8 resets) in 483 ms. (8 steps per ms) remains 26561/26561 properties
BEST_FIRST walk for 4003 steps (8 resets) in 425 ms. (9 steps per ms) remains 26561/26561 properties
BEST_FIRST walk for 4004 steps (8 resets) in 386 ms. (10 steps per ms) remains 26561/26561 properties
BEST_FIRST walk for 4004 steps (8 resets) in 460 ms. (8 steps per ms) remains 26561/26561 properties
BEST_FIRST walk for 4004 steps (8 resets) in 389 ms. (10 steps per ms) remains 26561/26561 properties
BEST_FIRST walk for 4004 steps (8 resets) in 473 ms. (8 steps per ms) remains 26561/26561 properties
BEST_FIRST walk for 4004 steps (8 resets) in 447 ms. (8 steps per ms) remains 26561/26561 properties
Reachability property qltransition_22865 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 396 ms. (10 steps per ms) remains 26561/26561 properties
BEST_FIRST walk for 4004 steps (8 resets) in 393 ms. (10 steps per ms) remains 26561/26561 properties
BEST_FIRST walk for 4003 steps (8 resets) in 391 ms. (10 steps per ms) remains 26561/26561 properties
BEST_FIRST walk for 4004 steps (8 resets) in 401 ms. (9 steps per ms) remains 26561/26561 properties
BEST_FIRST walk for 4004 steps (8 resets) in 405 ms. (9 steps per ms) remains 26561/26561 properties
BEST_FIRST walk for 4004 steps (8 resets) in 386 ms. (10 steps per ms) remains 26561/26561 properties
BEST_FIRST walk for 4004 steps (8 resets) in 471 ms. (8 steps per ms) remains 26561/26561 properties
Reachability property qltransition_18578 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 397 ms. (10 steps per ms) remains 26561/26561 properties
BEST_FIRST walk for 4004 steps (8 resets) in 489 ms. (8 steps per ms) remains 26561/26561 properties
BEST_FIRST walk for 4004 steps (8 resets) in 496 ms. (8 steps per ms) remains 26561/26561 properties
BEST_FIRST walk for 4004 steps (8 resets) in 454 ms. (8 steps per ms) remains 26561/26561 properties
BEST_FIRST walk for 4003 steps (8 resets) in 614 ms. (6 steps per ms) remains 26561/26561 properties
BEST_FIRST walk for 4004 steps (8 resets) in 409 ms. (9 steps per ms) remains 26560/26561 properties
BEST_FIRST walk for 4004 steps (8 resets) in 460 ms. (8 steps per ms) remains 26559/26560 properties
BEST_FIRST walk for 4004 steps (8 resets) in 372 ms. (10 steps per ms) remains 26559/26559 properties
BEST_FIRST walk for 4004 steps (8 resets) in 482 ms. (8 steps per ms) remains 26559/26559 properties
BEST_FIRST walk for 4004 steps (8 resets) in 424 ms. (9 steps per ms) remains 26559/26559 properties
BEST_FIRST walk for 4004 steps (8 resets) in 493 ms. (8 steps per ms) remains 26559/26559 properties
BEST_FIRST walk for 4004 steps (8 resets) in 444 ms. (8 steps per ms) remains 26559/26559 properties
BEST_FIRST walk for 4004 steps (8 resets) in 492 ms. (8 steps per ms) remains 26559/26559 properties
BEST_FIRST walk for 4004 steps (8 resets) in 407 ms. (9 steps per ms) remains 26558/26559 properties
BEST_FIRST walk for 4004 steps (8 resets) in 493 ms. (8 steps per ms) remains 26558/26558 properties
BEST_FIRST walk for 4003 steps (8 resets) in 395 ms. (10 steps per ms) remains 26558/26558 properties
BEST_FIRST walk for 4004 steps (8 resets) in 392 ms. (10 steps per ms) remains 26558/26558 properties
BEST_FIRST walk for 4003 steps (8 resets) in 474 ms. (8 steps per ms) remains 26558/26558 properties
BEST_FIRST walk for 4004 steps (8 resets) in 496 ms. (8 steps per ms) remains 26558/26558 properties
BEST_FIRST walk for 4004 steps (8 resets) in 431 ms. (9 steps per ms) remains 26558/26558 properties
BEST_FIRST walk for 4004 steps (8 resets) in 514 ms. (7 steps per ms) remains 26558/26558 properties
BEST_FIRST walk for 4004 steps (8 resets) in 423 ms. (9 steps per ms) remains 26558/26558 properties
Reachability property qltransition_2347 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 392 ms. (10 steps per ms) remains 26558/26558 properties
BEST_FIRST walk for 4004 steps (8 resets) in 487 ms. (8 steps per ms) remains 26558/26558 properties
BEST_FIRST walk for 4004 steps (8 resets) in 489 ms. (8 steps per ms) remains 26558/26558 properties
SDD proceeding with computation,27444 properties remain. new max is 8
SDD size :90 after 100
BEST_FIRST walk for 4004 steps (8 resets) in 481 ms. (8 steps per ms) remains 26558/26558 properties
BEST_FIRST walk for 4004 steps (8 resets) in 460 ms. (8 steps per ms) remains 26558/26558 properties
BEST_FIRST walk for 4004 steps (8 resets) in 437 ms. (9 steps per ms) remains 26557/26558 properties
BEST_FIRST walk for 4004 steps (8 resets) in 491 ms. (8 steps per ms) remains 26557/26557 properties
BEST_FIRST walk for 4004 steps (8 resets) in 512 ms. (7 steps per ms) remains 26556/26557 properties
BEST_FIRST walk for 4004 steps (8 resets) in 463 ms. (8 steps per ms) remains 26556/26556 properties
BEST_FIRST walk for 4003 steps (8 resets) in 542 ms. (7 steps per ms) remains 26556/26556 properties
BEST_FIRST walk for 4004 steps (8 resets) in 473 ms. (8 steps per ms) remains 26556/26556 properties
BEST_FIRST walk for 4004 steps (8 resets) in 384 ms. (10 steps per ms) remains 26556/26556 properties
BEST_FIRST walk for 4004 steps (8 resets) in 502 ms. (7 steps per ms) remains 26556/26556 properties
BEST_FIRST walk for 4004 steps (8 resets) in 416 ms. (9 steps per ms) remains 26555/26556 properties
BEST_FIRST walk for 4004 steps (8 resets) in 499 ms. (8 steps per ms) remains 26555/26555 properties
BEST_FIRST walk for 4004 steps (8 resets) in 446 ms. (8 steps per ms) remains 26555/26555 properties
BEST_FIRST walk for 4004 steps (8 resets) in 515 ms. (7 steps per ms) remains 26555/26555 properties
BEST_FIRST walk for 4004 steps (8 resets) in 438 ms. (9 steps per ms) remains 26555/26555 properties
BEST_FIRST walk for 4004 steps (8 resets) in 395 ms. (10 steps per ms) remains 26555/26555 properties
BEST_FIRST walk for 4003 steps (8 resets) in 378 ms. (10 steps per ms) remains 26555/26555 properties
BEST_FIRST walk for 4004 steps (8 resets) in 482 ms. (8 steps per ms) remains 26555/26555 properties
BEST_FIRST walk for 4004 steps (8 resets) in 427 ms. (9 steps per ms) remains 26555/26555 properties
BEST_FIRST walk for 4003 steps (8 resets) in 428 ms. (9 steps per ms) remains 26555/26555 properties
BEST_FIRST walk for 4004 steps (8 resets) in 481 ms. (8 steps per ms) remains 26555/26555 properties
BEST_FIRST walk for 4004 steps (8 resets) in 422 ms. (9 steps per ms) remains 26555/26555 properties
BEST_FIRST walk for 4004 steps (8 resets) in 423 ms. (9 steps per ms) remains 26555/26555 properties
BEST_FIRST walk for 4004 steps (8 resets) in 444 ms. (8 steps per ms) remains 26555/26555 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 26555/26555 properties
BEST_FIRST walk for 4004 steps (8 resets) in 430 ms. (9 steps per ms) remains 26555/26555 properties
BEST_FIRST walk for 4003 steps (8 resets) in 478 ms. (8 steps per ms) remains 26555/26555 properties
BEST_FIRST walk for 4004 steps (8 resets) in 398 ms. (10 steps per ms) remains 26555/26555 properties
BEST_FIRST walk for 4004 steps (8 resets) in 483 ms. (8 steps per ms) remains 26555/26555 properties
BEST_FIRST walk for 4003 steps (8 resets) in 430 ms. (9 steps per ms) remains 26555/26555 properties
BEST_FIRST walk for 4004 steps (8 resets) in 386 ms. (10 steps per ms) remains 26555/26555 properties
BEST_FIRST walk for 4003 steps (8 resets) in 478 ms. (8 steps per ms) remains 26555/26555 properties
BEST_FIRST walk for 4004 steps (8 resets) in 455 ms. (8 steps per ms) remains 26555/26555 properties
BEST_FIRST walk for 4004 steps (8 resets) in 540 ms. (7 steps per ms) remains 26555/26555 properties
BEST_FIRST walk for 4003 steps (8 resets) in 469 ms. (8 steps per ms) remains 26555/26555 properties
BEST_FIRST walk for 4004 steps (8 resets) in 406 ms. (9 steps per ms) remains 26555/26555 properties
BEST_FIRST walk for 4004 steps (8 resets) in 455 ms. (8 steps per ms) remains 26555/26555 properties
BEST_FIRST walk for 4003 steps (8 resets) in 487 ms. (8 steps per ms) remains 26553/26555 properties
BEST_FIRST walk for 4004 steps (8 resets) in 402 ms. (9 steps per ms) remains 26553/26553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 474 ms. (8 steps per ms) remains 26553/26553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 427 ms. (9 steps per ms) remains 26553/26553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 424 ms. (9 steps per ms) remains 26553/26553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 407 ms. (9 steps per ms) remains 26553/26553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 491 ms. (8 steps per ms) remains 26553/26553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 413 ms. (9 steps per ms) remains 26553/26553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 381 ms. (10 steps per ms) remains 26553/26553 properties
BEST_FIRST walk for 4003 steps (8 resets) in 381 ms. (10 steps per ms) remains 26553/26553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 378 ms. (10 steps per ms) remains 26553/26553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 389 ms. (10 steps per ms) remains 26553/26553 properties
BEST_FIRST walk for 4003 steps (8 resets) in 398 ms. (10 steps per ms) remains 26553/26553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 489 ms. (8 steps per ms) remains 26552/26553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 451 ms. (8 steps per ms) remains 26552/26552 properties
BEST_FIRST walk for 4004 steps (8 resets) in 475 ms. (8 steps per ms) remains 26551/26552 properties
BEST_FIRST walk for 4004 steps (8 resets) in 411 ms. (9 steps per ms) remains 26551/26551 properties
SDD proceeding with computation,27444 properties remain. new max is 16
SDD size :100 after 104
BEST_FIRST walk for 4004 steps (8 resets) in 484 ms. (8 steps per ms) remains 26551/26551 properties
BEST_FIRST walk for 4004 steps (8 resets) in 402 ms. (9 steps per ms) remains 26551/26551 properties
BEST_FIRST walk for 4004 steps (8 resets) in 486 ms. (8 steps per ms) remains 26551/26551 properties
BEST_FIRST walk for 4004 steps (8 resets) in 455 ms. (8 steps per ms) remains 26551/26551 properties
BEST_FIRST walk for 4003 steps (8 resets) in 445 ms. (8 steps per ms) remains 26551/26551 properties
BEST_FIRST walk for 4003 steps (8 resets) in 500 ms. (7 steps per ms) remains 26550/26551 properties
BEST_FIRST walk for 4004 steps (8 resets) in 584 ms. (6 steps per ms) remains 26550/26550 properties
BEST_FIRST walk for 4004 steps (8 resets) in 489 ms. (8 steps per ms) remains 26550/26550 properties
BEST_FIRST walk for 4004 steps (8 resets) in 495 ms. (8 steps per ms) remains 26550/26550 properties
BEST_FIRST walk for 4004 steps (8 resets) in 493 ms. (8 steps per ms) remains 26550/26550 properties
BEST_FIRST walk for 4004 steps (8 resets) in 440 ms. (9 steps per ms) remains 26550/26550 properties
BEST_FIRST walk for 4004 steps (8 resets) in 460 ms. (8 steps per ms) remains 26550/26550 properties
BEST_FIRST walk for 4004 steps (8 resets) in 393 ms. (10 steps per ms) remains 26550/26550 properties
BEST_FIRST walk for 4004 steps (8 resets) in 395 ms. (10 steps per ms) remains 26550/26550 properties
BEST_FIRST walk for 4004 steps (8 resets) in 402 ms. (9 steps per ms) remains 26550/26550 properties
BEST_FIRST walk for 4004 steps (8 resets) in 421 ms. (9 steps per ms) remains 26550/26550 properties
BEST_FIRST walk for 4004 steps (8 resets) in 477 ms. (8 steps per ms) remains 26549/26550 properties
BEST_FIRST walk for 4004 steps (8 resets) in 428 ms. (9 steps per ms) remains 26548/26549 properties
BEST_FIRST walk for 4004 steps (8 resets) in 385 ms. (10 steps per ms) remains 26548/26548 properties
BEST_FIRST walk for 4003 steps (8 resets) in 377 ms. (10 steps per ms) remains 26548/26548 properties
BEST_FIRST walk for 4003 steps (8 resets) in 383 ms. (10 steps per ms) remains 26548/26548 properties
BEST_FIRST walk for 4003 steps (8 resets) in 392 ms. (10 steps per ms) remains 26547/26548 properties
BEST_FIRST walk for 4004 steps (8 resets) in 381 ms. (10 steps per ms) remains 26547/26547 properties
BEST_FIRST walk for 4004 steps (8 resets) in 513 ms. (7 steps per ms) remains 26547/26547 properties
BEST_FIRST walk for 4004 steps (8 resets) in 405 ms. (9 steps per ms) remains 26547/26547 properties
Reachability property qltransition_15938 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 441 ms. (9 steps per ms) remains 26547/26547 properties
BEST_FIRST walk for 4004 steps (8 resets) in 393 ms. (10 steps per ms) remains 26547/26547 properties
BEST_FIRST walk for 4004 steps (8 resets) in 418 ms. (9 steps per ms) remains 26547/26547 properties
Reachability property qltransition_14498 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 381 ms. (10 steps per ms) remains 26547/26547 properties
BEST_FIRST walk for 4004 steps (8 resets) in 396 ms. (10 steps per ms) remains 26547/26547 properties
BEST_FIRST walk for 4004 steps (8 resets) in 449 ms. (8 steps per ms) remains 26547/26547 properties
BEST_FIRST walk for 4004 steps (8 resets) in 441 ms. (9 steps per ms) remains 26547/26547 properties
BEST_FIRST walk for 4004 steps (8 resets) in 542 ms. (7 steps per ms) remains 26547/26547 properties
Reachability property qltransition_12443 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 546 ms. (7 steps per ms) remains 26547/26547 properties
BEST_FIRST walk for 4004 steps (8 resets) in 498 ms. (8 steps per ms) remains 26547/26547 properties
BEST_FIRST walk for 4003 steps (8 resets) in 428 ms. (9 steps per ms) remains 26546/26547 properties
BEST_FIRST walk for 4004 steps (8 resets) in 382 ms. (10 steps per ms) remains 26546/26546 properties
BEST_FIRST walk for 4003 steps (8 resets) in 391 ms. (10 steps per ms) remains 26545/26546 properties
BEST_FIRST walk for 4004 steps (8 resets) in 386 ms. (10 steps per ms) remains 26545/26545 properties
BEST_FIRST walk for 4004 steps (8 resets) in 488 ms. (8 steps per ms) remains 26545/26545 properties
Reachability property qltransition_9172 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 422 ms. (9 steps per ms) remains 26545/26545 properties
BEST_FIRST walk for 4004 steps (8 resets) in 509 ms. (7 steps per ms) remains 26545/26545 properties
BEST_FIRST walk for 4004 steps (8 resets) in 422 ms. (9 steps per ms) remains 26545/26545 properties
BEST_FIRST walk for 4004 steps (8 resets) in 474 ms. (8 steps per ms) remains 26545/26545 properties
BEST_FIRST walk for 4004 steps (8 resets) in 385 ms. (10 steps per ms) remains 26545/26545 properties
BEST_FIRST walk for 4004 steps (8 resets) in 440 ms. (9 steps per ms) remains 26545/26545 properties
BEST_FIRST walk for 4004 steps (8 resets) in 392 ms. (10 steps per ms) remains 26545/26545 properties
BEST_FIRST walk for 4004 steps (8 resets) in 380 ms. (10 steps per ms) remains 26545/26545 properties
BEST_FIRST walk for 4003 steps (8 resets) in 491 ms. (8 steps per ms) remains 26545/26545 properties
BEST_FIRST walk for 4004 steps (8 resets) in 416 ms. (9 steps per ms) remains 26545/26545 properties
BEST_FIRST walk for 4002 steps (8 resets) in 507 ms. (7 steps per ms) remains 26545/26545 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 26545/26545 properties
BEST_FIRST walk for 4004 steps (8 resets) in 383 ms. (10 steps per ms) remains 26545/26545 properties
BEST_FIRST walk for 4004 steps (8 resets) in 384 ms. (10 steps per ms) remains 26545/26545 properties
BEST_FIRST walk for 4004 steps (8 resets) in 480 ms. (8 steps per ms) remains 26544/26545 properties
BEST_FIRST walk for 4004 steps (8 resets) in 399 ms. (10 steps per ms) remains 26544/26544 properties
BEST_FIRST walk for 4004 steps (8 resets) in 427 ms. (9 steps per ms) remains 26544/26544 properties
SDD proceeding with computation,27440 properties remain. new max is 16
SDD size :104 after 119
BEST_FIRST walk for 4004 steps (8 resets) in 492 ms. (8 steps per ms) remains 26544/26544 properties
BEST_FIRST walk for 4003 steps (8 resets) in 470 ms. (8 steps per ms) remains 26543/26544 properties
BEST_FIRST walk for 4004 steps (8 resets) in 433 ms. (9 steps per ms) remains 26543/26543 properties
BEST_FIRST walk for 4004 steps (8 resets) in 435 ms. (9 steps per ms) remains 26543/26543 properties
BEST_FIRST walk for 4004 steps (8 resets) in 468 ms. (8 steps per ms) remains 26543/26543 properties
BEST_FIRST walk for 4004 steps (8 resets) in 548 ms. (7 steps per ms) remains 26543/26543 properties
BEST_FIRST walk for 4004 steps (8 resets) in 418 ms. (9 steps per ms) remains 26543/26543 properties
BEST_FIRST walk for 4004 steps (8 resets) in 478 ms. (8 steps per ms) remains 26543/26543 properties
BEST_FIRST walk for 4004 steps (8 resets) in 429 ms. (9 steps per ms) remains 26540/26543 properties
BEST_FIRST walk for 4004 steps (8 resets) in 493 ms. (8 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4003 steps (8 resets) in 502 ms. (7 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 517 ms. (7 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 429 ms. (9 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4003 steps (8 resets) in 476 ms. (8 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 406 ms. (9 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 435 ms. (9 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 379 ms. (10 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 427 ms. (9 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 377 ms. (10 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4003 steps (8 resets) in 413 ms. (9 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 409 ms. (9 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 381 ms. (10 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 493 ms. (8 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 411 ms. (9 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 381 ms. (10 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 381 ms. (10 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 414 ms. (9 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 384 ms. (10 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 422 ms. (9 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 492 ms. (8 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 530 ms. (7 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 572 ms. (6 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 442 ms. (9 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 440 ms. (9 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 488 ms. (8 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 384 ms. (10 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 483 ms. (8 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 386 ms. (10 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 389 ms. (10 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 383 ms. (10 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 416 ms. (9 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 461 ms. (8 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 441 ms. (9 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 381 ms. (10 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 414 ms. (9 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 491 ms. (8 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 439 ms. (9 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4003 steps (8 resets) in 495 ms. (8 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 383 ms. (10 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 393 ms. (10 steps per ms) remains 26539/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 502 ms. (7 steps per ms) remains 26539/26539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 389 ms. (10 steps per ms) remains 26539/26539 properties
BEST_FIRST walk for 4003 steps (8 resets) in 444 ms. (8 steps per ms) remains 26539/26539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 483 ms. (8 steps per ms) remains 26539/26539 properties
SDD proceeding with computation,27440 properties remain. new max is 32
SDD size :119 after 123
BEST_FIRST walk for 4004 steps (8 resets) in 478 ms. (8 steps per ms) remains 26539/26539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 490 ms. (8 steps per ms) remains 26539/26539 properties
BEST_FIRST walk for 4003 steps (8 resets) in 396 ms. (10 steps per ms) remains 26539/26539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 482 ms. (8 steps per ms) remains 26539/26539 properties
BEST_FIRST walk for 4003 steps (8 resets) in 590 ms. (6 steps per ms) remains 26539/26539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 475 ms. (8 steps per ms) remains 26538/26539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 476 ms. (8 steps per ms) remains 26538/26538 properties
BEST_FIRST walk for 4004 steps (8 resets) in 475 ms. (8 steps per ms) remains 26538/26538 properties
BEST_FIRST walk for 4004 steps (8 resets) in 419 ms. (9 steps per ms) remains 26538/26538 properties
BEST_FIRST walk for 4003 steps (8 resets) in 479 ms. (8 steps per ms) remains 26538/26538 properties
BEST_FIRST walk for 4004 steps (8 resets) in 400 ms. (9 steps per ms) remains 26538/26538 properties
BEST_FIRST walk for 4003 steps (8 resets) in 468 ms. (8 steps per ms) remains 26538/26538 properties
BEST_FIRST walk for 4004 steps (8 resets) in 443 ms. (9 steps per ms) remains 26538/26538 properties
BEST_FIRST walk for 4004 steps (8 resets) in 436 ms. (9 steps per ms) remains 26538/26538 properties
BEST_FIRST walk for 4003 steps (8 resets) in 417 ms. (9 steps per ms) remains 26538/26538 properties
BEST_FIRST walk for 4004 steps (8 resets) in 435 ms. (9 steps per ms) remains 26538/26538 properties
BEST_FIRST walk for 4004 steps (8 resets) in 436 ms. (9 steps per ms) remains 26538/26538 properties
BEST_FIRST walk for 4004 steps (8 resets) in 463 ms. (8 steps per ms) remains 26538/26538 properties
BEST_FIRST walk for 4004 steps (8 resets) in 491 ms. (8 steps per ms) remains 26538/26538 properties
BEST_FIRST walk for 4004 steps (8 resets) in 412 ms. (9 steps per ms) remains 26538/26538 properties
BEST_FIRST walk for 4004 steps (8 resets) in 472 ms. (8 steps per ms) remains 26538/26538 properties
BEST_FIRST walk for 4004 steps (8 resets) in 423 ms. (9 steps per ms) remains 26538/26538 properties
BEST_FIRST walk for 4004 steps (8 resets) in 490 ms. (8 steps per ms) remains 26538/26538 properties
BEST_FIRST walk for 4004 steps (8 resets) in 389 ms. (10 steps per ms) remains 26538/26538 properties
BEST_FIRST walk for 4004 steps (8 resets) in 507 ms. (7 steps per ms) remains 26538/26538 properties
BEST_FIRST walk for 4004 steps (8 resets) in 479 ms. (8 steps per ms) remains 26538/26538 properties
BEST_FIRST walk for 4004 steps (8 resets) in 441 ms. (9 steps per ms) remains 26538/26538 properties
BEST_FIRST walk for 4003 steps (8 resets) in 478 ms. (8 steps per ms) remains 26538/26538 properties
BEST_FIRST walk for 4004 steps (8 resets) in 416 ms. (9 steps per ms) remains 26538/26538 properties
BEST_FIRST walk for 4003 steps (8 resets) in 486 ms. (8 steps per ms) remains 26537/26538 properties
BEST_FIRST walk for 4004 steps (8 resets) in 461 ms. (8 steps per ms) remains 26537/26537 properties
BEST_FIRST walk for 4004 steps (8 resets) in 462 ms. (8 steps per ms) remains 26537/26537 properties
BEST_FIRST walk for 4004 steps (8 resets) in 566 ms. (7 steps per ms) remains 26536/26537 properties
BEST_FIRST walk for 4004 steps (8 resets) in 454 ms. (8 steps per ms) remains 26536/26536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 399 ms. (10 steps per ms) remains 26536/26536 properties
BEST_FIRST walk for 4003 steps (8 resets) in 385 ms. (10 steps per ms) remains 26536/26536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 392 ms. (10 steps per ms) remains 26536/26536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 413 ms. (9 steps per ms) remains 26536/26536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 463 ms. (8 steps per ms) remains 26536/26536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 425 ms. (9 steps per ms) remains 26536/26536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 465 ms. (8 steps per ms) remains 26535/26536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 416 ms. (9 steps per ms) remains 26535/26535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 435 ms. (9 steps per ms) remains 26535/26535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 484 ms. (8 steps per ms) remains 26535/26535 properties
BEST_FIRST walk for 4003 steps (8 resets) in 439 ms. (9 steps per ms) remains 26535/26535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 386 ms. (10 steps per ms) remains 26534/26535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 430 ms. (9 steps per ms) remains 26534/26534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 474 ms. (8 steps per ms) remains 26534/26534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 517 ms. (7 steps per ms) remains 26534/26534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 495 ms. (8 steps per ms) remains 26534/26534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 384 ms. (10 steps per ms) remains 26534/26534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 373 ms. (10 steps per ms) remains 26534/26534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 409 ms. (9 steps per ms) remains 26534/26534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 423 ms. (9 steps per ms) remains 26533/26534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 419 ms. (9 steps per ms) remains 26533/26533 properties
BEST_FIRST walk for 4004 steps (8 resets) in 481 ms. (8 steps per ms) remains 26533/26533 properties
SDD proceeding with computation,27440 properties remain. new max is 64
SDD size :123 after 132
BEST_FIRST walk for 4004 steps (8 resets) in 413 ms. (9 steps per ms) remains 26533/26533 properties
BEST_FIRST walk for 4004 steps (8 resets) in 516 ms. (7 steps per ms) remains 26533/26533 properties
BEST_FIRST walk for 4004 steps (8 resets) in 552 ms. (7 steps per ms) remains 26532/26533 properties
BEST_FIRST walk for 4004 steps (8 resets) in 579 ms. (6 steps per ms) remains 26532/26532 properties
BEST_FIRST walk for 4004 steps (8 resets) in 432 ms. (9 steps per ms) remains 26532/26532 properties
BEST_FIRST walk for 4004 steps (8 resets) in 416 ms. (9 steps per ms) remains 26532/26532 properties
BEST_FIRST walk for 4004 steps (8 resets) in 449 ms. (8 steps per ms) remains 26532/26532 properties
BEST_FIRST walk for 4004 steps (8 resets) in 430 ms. (9 steps per ms) remains 26532/26532 properties
BEST_FIRST walk for 4004 steps (8 resets) in 499 ms. (8 steps per ms) remains 26532/26532 properties
BEST_FIRST walk for 4003 steps (8 resets) in 419 ms. (9 steps per ms) remains 26532/26532 properties
BEST_FIRST walk for 4004 steps (8 resets) in 444 ms. (8 steps per ms) remains 26532/26532 properties
BEST_FIRST walk for 4004 steps (8 resets) in 380 ms. (10 steps per ms) remains 26531/26532 properties
BEST_FIRST walk for 4004 steps (8 resets) in 444 ms. (8 steps per ms) remains 26530/26531 properties
BEST_FIRST walk for 4004 steps (8 resets) in 376 ms. (10 steps per ms) remains 26529/26530 properties
BEST_FIRST walk for 4004 steps (8 resets) in 463 ms. (8 steps per ms) remains 26529/26529 properties
BEST_FIRST walk for 4003 steps (8 resets) in 386 ms. (10 steps per ms) remains 26529/26529 properties
Reachability property qltransition_21994 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 491 ms. (8 steps per ms) remains 26529/26529 properties
BEST_FIRST walk for 4004 steps (8 resets) in 405 ms. (9 steps per ms) remains 26529/26529 properties
BEST_FIRST walk for 4004 steps (8 resets) in 397 ms. (10 steps per ms) remains 26529/26529 properties
Reachability property qltransition_20663 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 450 ms. (8 steps per ms) remains 26529/26529 properties
BEST_FIRST walk for 4004 steps (8 resets) in 383 ms. (10 steps per ms) remains 26529/26529 properties
BEST_FIRST walk for 4003 steps (8 resets) in 380 ms. (10 steps per ms) remains 26529/26529 properties
Reachability property qltransition_19675 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 487 ms. (8 steps per ms) remains 26529/26529 properties
BEST_FIRST walk for 4004 steps (8 resets) in 396 ms. (10 steps per ms) remains 26529/26529 properties
BEST_FIRST walk for 4004 steps (8 resets) in 406 ms. (9 steps per ms) remains 26529/26529 properties
BEST_FIRST walk for 4004 steps (8 resets) in 480 ms. (8 steps per ms) remains 26529/26529 properties
BEST_FIRST walk for 4004 steps (8 resets) in 442 ms. (9 steps per ms) remains 26529/26529 properties
BEST_FIRST walk for 4004 steps (8 resets) in 385 ms. (10 steps per ms) remains 26528/26529 properties
BEST_FIRST walk for 4004 steps (8 resets) in 458 ms. (8 steps per ms) remains 26528/26528 properties
BEST_FIRST walk for 4003 steps (8 resets) in 479 ms. (8 steps per ms) remains 26528/26528 properties
BEST_FIRST walk for 4004 steps (8 resets) in 519 ms. (7 steps per ms) remains 26528/26528 properties
BEST_FIRST walk for 4004 steps (8 resets) in 486 ms. (8 steps per ms) remains 26528/26528 properties
Reachability property qltransition_15271 is true.
Reachability property qltransition_15228 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 472 ms. (8 steps per ms) remains 26528/26528 properties
BEST_FIRST walk for 4004 steps (8 resets) in 399 ms. (10 steps per ms) remains 26528/26528 properties
BEST_FIRST walk for 4004 steps (8 resets) in 452 ms. (8 steps per ms) remains 26528/26528 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 26528/26528 properties
BEST_FIRST walk for 4004 steps (8 resets) in 386 ms. (10 steps per ms) remains 26528/26528 properties
BEST_FIRST walk for 4004 steps (8 resets) in 462 ms. (8 steps per ms) remains 26528/26528 properties
Reachability property qltransition_12392 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 423 ms. (9 steps per ms) remains 26528/26528 properties
BEST_FIRST walk for 4004 steps (8 resets) in 475 ms. (8 steps per ms) remains 26528/26528 properties
BEST_FIRST walk for 4004 steps (8 resets) in 406 ms. (9 steps per ms) remains 26528/26528 properties
Reachability property qltransition_10520 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 476 ms. (8 steps per ms) remains 26528/26528 properties
BEST_FIRST walk for 4004 steps (8 resets) in 460 ms. (8 steps per ms) remains 26528/26528 properties
BEST_FIRST walk for 4004 steps (8 resets) in 393 ms. (10 steps per ms) remains 26528/26528 properties
BEST_FIRST walk for 4004 steps (8 resets) in 433 ms. (9 steps per ms) remains 26527/26528 properties
BEST_FIRST walk for 4004 steps (8 resets) in 448 ms. (8 steps per ms) remains 26526/26527 properties
BEST_FIRST walk for 4003 steps (8 resets) in 390 ms. (10 steps per ms) remains 26526/26526 properties
BEST_FIRST walk for 4004 steps (8 resets) in 394 ms. (10 steps per ms) remains 26526/26526 properties
BEST_FIRST walk for 4003 steps (8 resets) in 379 ms. (10 steps per ms) remains 26526/26526 properties
BEST_FIRST walk for 4004 steps (8 resets) in 476 ms. (8 steps per ms) remains 26526/26526 properties
BEST_FIRST walk for 4004 steps (8 resets) in 395 ms. (10 steps per ms) remains 26526/26526 properties
BEST_FIRST walk for 4003 steps (8 resets) in 485 ms. (8 steps per ms) remains 26526/26526 properties
BEST_FIRST walk for 4003 steps (8 resets) in 428 ms. (9 steps per ms) remains 26526/26526 properties
BEST_FIRST walk for 4003 steps (8 resets) in 383 ms. (10 steps per ms) remains 26526/26526 properties
BEST_FIRST walk for 4004 steps (8 resets) in 384 ms. (10 steps per ms) remains 26526/26526 properties
BEST_FIRST walk for 4004 steps (8 resets) in 484 ms. (8 steps per ms) remains 26526/26526 properties
BEST_FIRST walk for 4004 steps (8 resets) in 513 ms. (7 steps per ms) remains 26526/26526 properties
BEST_FIRST walk for 4004 steps (8 resets) in 608 ms. (6 steps per ms) remains 26526/26526 properties
BEST_FIRST walk for 4004 steps (8 resets) in 438 ms. (9 steps per ms) remains 26526/26526 properties
Reachability property qltransition_3026 is true.
Reachability property qltransition_2749 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 486 ms. (8 steps per ms) remains 26526/26526 properties
BEST_FIRST walk for 4004 steps (8 resets) in 489 ms. (8 steps per ms) remains 26526/26526 properties
BEST_FIRST walk for 4004 steps (8 resets) in 441 ms. (9 steps per ms) remains 26526/26526 properties
BEST_FIRST walk for 4004 steps (8 resets) in 492 ms. (8 steps per ms) remains 26526/26526 properties
BEST_FIRST walk for 4003 steps (8 resets) in 399 ms. (10 steps per ms) remains 26526/26526 properties
BEST_FIRST walk for 4004 steps (8 resets) in 405 ms. (9 steps per ms) remains 26526/26526 properties
SDD proceeding with computation,27431 properties remain. new max is 64
SDD size :132 after 271
BEST_FIRST walk for 4004 steps (8 resets) in 507 ms. (7 steps per ms) remains 26526/26526 properties
BEST_FIRST walk for 4003 steps (8 resets) in 388 ms. (10 steps per ms) remains 26526/26526 properties
BEST_FIRST walk for 4004 steps (8 resets) in 395 ms. (10 steps per ms) remains 26525/26526 properties
BEST_FIRST walk for 4004 steps (8 resets) in 494 ms. (8 steps per ms) remains 26525/26525 properties
Reachability property qltransition_26796 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 423 ms. (9 steps per ms) remains 26525/26525 properties
BEST_FIRST walk for 4004 steps (8 resets) in 382 ms. (10 steps per ms) remains 26525/26525 properties
BEST_FIRST walk for 4004 steps (8 resets) in 378 ms. (10 steps per ms) remains 26525/26525 properties
BEST_FIRST walk for 4004 steps (8 resets) in 477 ms. (8 steps per ms) remains 26525/26525 properties
BEST_FIRST walk for 4004 steps (8 resets) in 410 ms. (9 steps per ms) remains 26525/26525 properties
BEST_FIRST walk for 4004 steps (8 resets) in 499 ms. (8 steps per ms) remains 26525/26525 properties
BEST_FIRST walk for 4004 steps (8 resets) in 435 ms. (9 steps per ms) remains 26525/26525 properties
BEST_FIRST walk for 4004 steps (8 resets) in 479 ms. (8 steps per ms) remains 26525/26525 properties
BEST_FIRST walk for 4002 steps (8 resets) in 412 ms. (9 steps per ms) remains 26525/26525 properties
BEST_FIRST walk for 4004 steps (8 resets) in 394 ms. (10 steps per ms) remains 26525/26525 properties
BEST_FIRST walk for 4004 steps (8 resets) in 440 ms. (9 steps per ms) remains 26525/26525 properties
BEST_FIRST walk for 4003 steps (8 resets) in 381 ms. (10 steps per ms) remains 26525/26525 properties
BEST_FIRST walk for 4003 steps (8 resets) in 470 ms. (8 steps per ms) remains 26525/26525 properties
BEST_FIRST walk for 4004 steps (8 resets) in 393 ms. (10 steps per ms) remains 26525/26525 properties
BEST_FIRST walk for 4004 steps (8 resets) in 524 ms. (7 steps per ms) remains 26525/26525 properties
BEST_FIRST walk for 4003 steps (8 resets) in 489 ms. (8 steps per ms) remains 26525/26525 properties
BEST_FIRST walk for 4004 steps (8 resets) in 588 ms. (6 steps per ms) remains 26525/26525 properties
Reachability property qltransition_20186 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 492 ms. (8 steps per ms) remains 26525/26525 properties
BEST_FIRST walk for 4004 steps (8 resets) in 481 ms. (8 steps per ms) remains 26525/26525 properties
BEST_FIRST walk for 4004 steps (8 resets) in 431 ms. (9 steps per ms) remains 26525/26525 properties
BEST_FIRST walk for 4004 steps (8 resets) in 375 ms. (10 steps per ms) remains 26525/26525 properties
BEST_FIRST walk for 4004 steps (8 resets) in 486 ms. (8 steps per ms) remains 26525/26525 properties
BEST_FIRST walk for 4003 steps (8 resets) in 413 ms. (9 steps per ms) remains 26524/26525 properties
BEST_FIRST walk for 4004 steps (8 resets) in 446 ms. (8 steps per ms) remains 26524/26524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 492 ms. (8 steps per ms) remains 26524/26524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 26524/26524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 466 ms. (8 steps per ms) remains 26524/26524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 459 ms. (8 steps per ms) remains 26524/26524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 388 ms. (10 steps per ms) remains 26524/26524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 424 ms. (9 steps per ms) remains 26524/26524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 433 ms. (9 steps per ms) remains 26524/26524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 445 ms. (8 steps per ms) remains 26524/26524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 447 ms. (8 steps per ms) remains 26523/26524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 471 ms. (8 steps per ms) remains 26523/26523 properties
BEST_FIRST walk for 4004 steps (8 resets) in 379 ms. (10 steps per ms) remains 26523/26523 properties
BEST_FIRST walk for 4003 steps (8 resets) in 384 ms. (10 steps per ms) remains 26523/26523 properties
BEST_FIRST walk for 4004 steps (8 resets) in 393 ms. (10 steps per ms) remains 26523/26523 properties
BEST_FIRST walk for 4004 steps (8 resets) in 463 ms. (8 steps per ms) remains 26523/26523 properties
BEST_FIRST walk for 4003 steps (8 resets) in 392 ms. (10 steps per ms) remains 26523/26523 properties
BEST_FIRST walk for 4004 steps (8 resets) in 481 ms. (8 steps per ms) remains 26523/26523 properties
BEST_FIRST walk for 4004 steps (8 resets) in 434 ms. (9 steps per ms) remains 26523/26523 properties
BEST_FIRST walk for 4004 steps (8 resets) in 458 ms. (8 steps per ms) remains 26523/26523 properties
BEST_FIRST walk for 4004 steps (8 resets) in 505 ms. (7 steps per ms) remains 26523/26523 properties
BEST_FIRST walk for 4004 steps (8 resets) in 581 ms. (6 steps per ms) remains 26523/26523 properties
BEST_FIRST walk for 4004 steps (8 resets) in 400 ms. (9 steps per ms) remains 26523/26523 properties
BEST_FIRST walk for 4004 steps (8 resets) in 434 ms. (9 steps per ms) remains 26523/26523 properties
BEST_FIRST walk for 4004 steps (8 resets) in 386 ms. (10 steps per ms) remains 26523/26523 properties
BEST_FIRST walk for 4004 steps (8 resets) in 378 ms. (10 steps per ms) remains 26523/26523 properties
BEST_FIRST walk for 4004 steps (8 resets) in 383 ms. (10 steps per ms) remains 26523/26523 properties
Reachability property qltransition_6763 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 470 ms. (8 steps per ms) remains 26523/26523 properties
BEST_FIRST walk for 4004 steps (8 resets) in 410 ms. (9 steps per ms) remains 26523/26523 properties
BEST_FIRST walk for 4004 steps (8 resets) in 482 ms. (8 steps per ms) remains 26523/26523 properties
BEST_FIRST walk for 4004 steps (8 resets) in 477 ms. (8 steps per ms) remains 26523/26523 properties
BEST_FIRST walk for 4003 steps (8 resets) in 436 ms. (9 steps per ms) remains 26523/26523 properties
BEST_FIRST walk for 4004 steps (8 resets) in 379 ms. (10 steps per ms) remains 26523/26523 properties
BEST_FIRST walk for 4004 steps (8 resets) in 483 ms. (8 steps per ms) remains 26523/26523 properties
BEST_FIRST walk for 4004 steps (8 resets) in 425 ms. (9 steps per ms) remains 26522/26523 properties
BEST_FIRST walk for 4004 steps (8 resets) in 479 ms. (8 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 443 ms. (9 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4003 steps (8 resets) in 388 ms. (10 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4003 steps (8 resets) in 466 ms. (8 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 426 ms. (9 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 433 ms. (9 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4003 steps (8 resets) in 446 ms. (8 steps per ms) remains 26522/26522 properties
SDD proceeding with computation,27428 properties remain. new max is 64
SDD size :271 after 291
BEST_FIRST walk for 4004 steps (8 resets) in 443 ms. (9 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 440 ms. (9 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 424 ms. (9 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 392 ms. (10 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 479 ms. (8 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 489 ms. (8 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 589 ms. (6 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4003 steps (8 resets) in 470 ms. (8 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 384 ms. (10 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 469 ms. (8 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 406 ms. (9 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 405 ms. (9 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4003 steps (8 resets) in 414 ms. (9 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 490 ms. (8 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 524 ms. (7 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 492 ms. (8 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 408 ms. (9 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4003 steps (8 resets) in 433 ms. (9 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 422 ms. (9 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4003 steps (8 resets) in 492 ms. (8 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 387 ms. (10 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 391 ms. (10 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 429 ms. (9 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 427 ms. (9 steps per ms) remains 26522/26522 properties
Reachability property qltransition_18819 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 384 ms. (10 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 478 ms. (8 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 461 ms. (8 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 423 ms. (9 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 397 ms. (10 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 405 ms. (9 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 386 ms. (10 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 405 ms. (9 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 513 ms. (7 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4003 steps (8 resets) in 431 ms. (9 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 541 ms. (7 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 428 ms. (9 steps per ms) remains 26521/26522 properties
Reachability property qltransition_14180 is true.
Reachability property qltransition_14022 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 378 ms. (10 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 416 ms. (9 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 379 ms. (10 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 382 ms. (10 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 492 ms. (8 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 416 ms. (9 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 386 ms. (10 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 374 ms. (10 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 380 ms. (10 steps per ms) remains 26521/26521 properties
Reachability property qltransition_10874 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 479 ms. (8 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4003 steps (8 resets) in 442 ms. (9 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 375 ms. (10 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4003 steps (8 resets) in 478 ms. (8 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 433 ms. (9 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 509 ms. (7 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4003 steps (8 resets) in 441 ms. (9 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 413 ms. (9 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 437 ms. (9 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 392 ms. (10 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 428 ms. (9 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 485 ms. (8 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4003 steps (8 resets) in 412 ms. (9 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 385 ms. (10 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4003 steps (8 resets) in 459 ms. (8 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4003 steps (8 resets) in 480 ms. (8 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 614 ms. (6 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 449 ms. (8 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 411 ms. (9 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 492 ms. (8 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4003 steps (8 resets) in 399 ms. (10 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4003 steps (8 resets) in 397 ms. (10 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4003 steps (8 resets) in 519 ms. (7 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 405 ms. (9 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 421 ms. (9 steps per ms) remains 26521/26521 properties
SDD proceeding with computation,27424 properties remain. new max is 64
SDD size :291 after 339
BEST_FIRST walk for 4004 steps (8 resets) in 440 ms. (9 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 369 ms. (10 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 391 ms. (10 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 483 ms. (8 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4003 steps (8 resets) in 391 ms. (10 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 467 ms. (8 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 446 ms. (8 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 380 ms. (10 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 371 ms. (10 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 408 ms. (9 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 432 ms. (9 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4003 steps (8 resets) in 413 ms. (9 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4002 steps (8 resets) in 481 ms. (8 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 410 ms. (9 steps per ms) remains 26521/26521 properties
Reachability property qltransition_23661 is true.
Reachability property qltransition_17005 is true.
Reachability property qltransition_16752 is true.
Reachability property qltransition_9055 is true.
Reachability property qltransition_3292 is true.
SDD proceeding with computation,27419 properties remain. new max is 64
SDD size :339 after 429
Reachability property qltransition_27689 is true.
Reachability property qltransition_25453 is true.
Reachability property qltransition_20778 is true.
Reachability property qltransition_12398 is true.
Reachability property qltransition_10672 is true.
Reachability property qltransition_7202 is true.
Reachability property qltransition_4212 is true.
Reachability property qltransition_3274 is true.
Reachability property qltransition_3271 is true.
Reachability property qltransition_1528 is true.
SDD proceeding with computation,27409 properties remain. new max is 64
SDD size :429 after 866
Reachability property qltransition_22108 is true.
Reachability property qltransition_15557 is true.
Reachability property qltransition_14193 is true.
SDD proceeding with computation,27406 properties remain. new max is 64
SDD size :866 after 893
Reachability property qltransition_26059 is true.
Reachability property qltransition_20597 is true.
Reachability property qltransition_8811 is true.
Reachability property qltransition_8102 is true.
SDD proceeding with computation,27402 properties remain. new max is 64
SDD size :893 after 968
Reachability property qltransition_26830 is true.
Reachability property qltransition_24041 is true.
Reachability property qltransition_21153 is true.
Reachability property qltransition_20195 is true.
Reachability property qltransition_19419 is true.
SDD proceeding with computation,27397 properties remain. new max is 64
SDD size :968 after 1133
Reachability property qltransition_27670 is true.
Reachability property qltransition_25357 is true.
Reachability property qltransition_21610 is true.
Reachability property qltransition_11223 is true.
Reachability property qltransition_5265 is true.
SDD proceeding with computation,27392 properties remain. new max is 64
SDD size :1133 after 1340
SDD proceeding with computation,27392 properties remain. new max is 128
SDD size :1340 after 1430
Reachability property qltransition_25125 is true.
Reachability property qltransition_21749 is true.
Reachability property qltransition_20925 is true.
Reachability property qltransition_20451 is true.
Reachability property qltransition_19461 is true.
Reachability property qltransition_14987 is true.
Reachability property qltransition_12201 is true.
Reachability property qltransition_11813 is true.
Reachability property qltransition_10174 is true.
Reachability property qltransition_9207 is true.
Reachability property qltransition_9169 is true.
Reachability property qltransition_545 is true.
SDD proceeding with computation,27380 properties remain. new max is 128
SDD size :1430 after 2904
Reachability property qltransition_27845 is true.
Reachability property qltransition_22809 is true.
Reachability property qltransition_21215 is true.
Reachability property qltransition_16363 is true.
Reachability property qltransition_15870 is true.
Reachability property qltransition_10877 is true.
Reachability property qltransition_2866 is true.
Reachability property qltransition_2095 is true.
SDD proceeding with computation,27372 properties remain. new max is 128
SDD size :2904 after 3289
Reachability property qltransition_27692 is true.
Reachability property qltransition_27546 is true.
Reachability property qltransition_22697 is true.
Reachability property qltransition_16759 is true.
Reachability property qltransition_12371 is true.
Reachability property qltransition_11632 is true.
Reachability property qltransition_9569 is true.
Reachability property qltransition_8558 is true.
Reachability property qltransition_3795 is true.
Reachability property qltransition_2844 is true.
Reachability property qltransition_2685 is true.
SDD proceeding with computation,27361 properties remain. new max is 128
SDD size :3289 after 4862
Reachability property qltransition_27711 is true.
Reachability property qltransition_24227 is true.
Reachability property qltransition_24099 is true.
Reachability property qltransition_23736 is true.
Reachability property qltransition_21587 is true.
Reachability property qltransition_20067 is true.
Reachability property qltransition_18831 is true.
Reachability property qltransition_17551 is true.
Reachability property qltransition_16075 is true.
Reachability property qltransition_13444 is true.
Reachability property qltransition_9200 is true.
Reachability property qltransition_7925 is true.
Reachability property qltransition_7199 is true.
Reachability property qltransition_6792 is true.
Reachability property qltransition_5465 is true.
Reachability property qltransition_3273 is true.
Reachability property qltransition_1428 is true.
Reachability property qltransition_165 is true.
SDD proceeding with computation,27343 properties remain. new max is 128
SDD size :4862 after 9932
Reachability property qltransition_23980 is true.
Reachability property qltransition_23707 is true.
Reachability property qltransition_22323 is true.
Reachability property qltransition_20706 is true.
Reachability property qltransition_20575 is true.
Reachability property qltransition_14958 is true.
Reachability property qltransition_13124 is true.
Reachability property qltransition_12429 is true.
Reachability property qltransition_10161 is true.
Reachability property qltransition_8407 is true.
Reachability property qltransition_7917 is true.
Reachability property qltransition_7906 is true.
Reachability property qltransition_6372 is true.
Reachability property qltransition_5930 is true.
Reachability property qltransition_3997 is true.
Reachability property qltransition_1844 is true.
Reachability property qltransition_1013 is true.
SDD proceeding with computation,27326 properties remain. new max is 128
SDD size :9932 after 12363
SDD proceeding with computation,27326 properties remain. new max is 256
SDD size :12363 after 12407
SDD proceeding with computation,27326 properties remain. new max is 512
SDD size :12407 after 12792
Reachability property qltransition_26057 is true.
Reachability property qltransition_22808 is true.
Reachability property qltransition_14638 is true.
Reachability property qltransition_12858 is true.
Reachability property qltransition_7780 is true.
Reachability property qltransition_3785 is true.
Reachability property qltransition_395 is true.
SDD proceeding with computation,27319 properties remain. new max is 512
SDD size :12792 after 16796
Reachability property qltransition_27553 is true.
Reachability property qltransition_26554 is true.
Reachability property qltransition_25162 is true.
Reachability property qltransition_24257 is true.
Reachability property qltransition_22068 is true.
Reachability property qltransition_21418 is true.
Reachability property qltransition_19898 is true.
Reachability property qltransition_18059 is true.
Reachability property qltransition_17576 is true.
Reachability property qltransition_16055 is true.
Reachability property qltransition_15167 is true.
Reachability property qltransition_14394 is true.
Reachability property qltransition_14081 is true.
Reachability property qltransition_12945 is true.
Reachability property qltransition_11861 is true.
Reachability property qltransition_11150 is true.
Reachability property qltransition_11110 is true.
Reachability property qltransition_10907 is true.
Reachability property qltransition_10123 is true.
Reachability property qltransition_9531 is true.
Reachability property qltransition_8777 is true.
Reachability property qltransition_8719 is true.
Reachability property qltransition_8323 is true.
Reachability property qltransition_7834 is true.
Reachability property qltransition_4791 is true.
Reachability property qltransition_4756 is true.
Reachability property qltransition_4570 is true.
Reachability property qltransition_3790 is true.
Reachability property qltransition_3643 is true.
Reachability property qltransition_2673 is true.
Reachability property qltransition_2484 is true.
Reachability property qltransition_1961 is true.
Reachability property qltransition_1587 is true.
Reachability property qltransition_544 is true.
Reachability property qltransition_225 is true.
SDD proceeding with computation,27284 properties remain. new max is 512
SDD size :16796 after 39780
Reachability property qltransition_27859 is true.
Reachability property qltransition_27011 is true.
Reachability property qltransition_26827 is true.
Reachability property qltransition_26563 is true.
Reachability property qltransition_26140 is true.
Reachability property qltransition_25498 is true.
Reachability property qltransition_25233 is true.
Reachability property qltransition_24760 is true.
Reachability property qltransition_24225 is true.
Reachability property qltransition_24015 is true.
Reachability property qltransition_21230 is true.
Reachability property qltransition_20994 is true.
Reachability property qltransition_20074 is true.
Reachability property qltransition_17518 is true.
Reachability property qltransition_16535 is true.
Reachability property qltransition_16097 is true.
Reachability property qltransition_14710 is true.
Reachability property qltransition_14005 is true.
Reachability property qltransition_13507 is true.
Reachability property qltransition_13040 is true.
Reachability property qltransition_12326 is true.
Reachability property qltransition_11784 is true.
Reachability property qltransition_11731 is true.
Reachability property qltransition_11573 is true.
Reachability property qltransition_11096 is true.
Reachability property qltransition_10843 is true.
Reachability property qltransition_10756 is true.
Reachability property qltransition_10596 is true.
Reachability property qltransition_9850 is true.
Reachability property qltransition_9262 is true.
Reachability property qltransition_8760 is true.
Reachability property qltransition_8579 is true.
Reachability property qltransition_7095 is true.
Reachability property qltransition_6569 is true.
Reachability property qltransition_6451 is true.
Reachability property qltransition_6182 is true.
Reachability property qltransition_5179 is true.
Reachability property qltransition_4788 is true.
Reachability property qltransition_4089 is true.
Reachability property qltransition_3798 is true.
Reachability property qltransition_2903 is true.
Reachability property qltransition_2649 is true.
Reachability property qltransition_2159 is true.
Reachability property qltransition_1849 is true.
Reachability property qltransition_796 is true.
SDD proceeding with computation,27239 properties remain. new max is 512
SDD size :39780 after 121380
Reachability property qltransition_27714 is true.
Reachability property qltransition_27513 is true.
Reachability property qltransition_27204 is true.
Reachability property qltransition_26681 is true.
Reachability property qltransition_26212 is true.
Reachability property qltransition_25595 is true.
Reachability property qltransition_25439 is true.
Reachability property qltransition_25204 is true.
Reachability property qltransition_24755 is true.
Reachability property qltransition_24521 is true.
Reachability property qltransition_24271 is true.
Reachability property qltransition_23761 is true.
Reachability property qltransition_23678 is true.
Reachability property qltransition_23431 is true.
Reachability property qltransition_22989 is true.
Reachability property qltransition_22825 is true.
Reachability property qltransition_22780 is true.
Reachability property qltransition_22272 is true.
Reachability property qltransition_22172 is true.
Reachability property qltransition_22095 is true.
Reachability property qltransition_21825 is true.
Reachability property qltransition_21442 is true.
Reachability property qltransition_21158 is true.
Reachability property qltransition_21152 is true.
Reachability property qltransition_20372 is true.
Reachability property qltransition_20309 is true.
Reachability property qltransition_20246 is true.
Reachability property qltransition_20035 is true.
Reachability property qltransition_19841 is true.
Reachability property qltransition_19313 is true.
Reachability property qltransition_18872 is true.
Reachability property qltransition_18230 is true.
Reachability property qltransition_16878 is true.
Reachability property qltransition_16619 is true.
Reachability property qltransition_16543 is true.
Reachability property qltransition_16463 is true.
Reachability property qltransition_16352 is true.
Reachability property qltransition_16257 is true.
Reachability property qltransition_16153 is true.
Reachability property qltransition_15624 is true.
Reachability property qltransition_15592 is true.
Reachability property qltransition_14528 is true.
Reachability property qltransition_14245 is true.
Reachability property qltransition_13679 is true.
Reachability property qltransition_13626 is true.
Reachability property qltransition_13458 is true.
Reachability property qltransition_13443 is true.
Reachability property qltransition_12971 is true.
Reachability property qltransition_12340 is true.
Reachability property qltransition_11700 is true.
Reachability property qltransition_11165 is true.
Reachability property qltransition_11009 is true.
Reachability property qltransition_9702 is true.
Reachability property qltransition_9509 is true.
Reachability property qltransition_7862 is true.
Reachability property qltransition_7503 is true.
Reachability property qltransition_7248 is true.
Reachability property qltransition_6966 is true.
Reachability property qltransition_6337 is true.
Reachability property qltransition_6298 is true.
Reachability property qltransition_6136 is true.
Reachability property qltransition_5829 is true.
Reachability property qltransition_5120 is true.
Reachability property qltransition_4959 is true.
Reachability property qltransition_4666 is true.
Reachability property qltransition_4596 is true.
Reachability property qltransition_4464 is true.
Reachability property qltransition_3311 is true.
Reachability property qltransition_3210 is true.
Reachability property qltransition_2281 is true.
Reachability property qltransition_2034 is true.
Reachability property qltransition_1978 is true.
Reachability property qltransition_1916 is true.
Reachability property qltransition_1543 is true.
Reachability property qltransition_1427 is true.
Reachability property qltransition_1286 is true.
Reachability property qltransition_923 is true.
Reachability property qltransition_915 is true.
Reachability property qltransition_769 is true.
Reachability property qltransition_401 is true.
Reachability property qltransition_102 is true.
SDD proceeding with computation,27158 properties remain. new max is 512
SDD size :121380 after 454784
Reachability property qltransition_27758 is true.
Reachability property qltransition_27675 is true.
Reachability property qltransition_27668 is true.
Reachability property qltransition_27452 is true.
Reachability property qltransition_27400 is true.
Reachability property qltransition_27288 is true.
Reachability property qltransition_26167 is true.
Reachability property qltransition_25296 is true.
Reachability property qltransition_24793 is true.
Reachability property qltransition_24538 is true.
Reachability property qltransition_24476 is true.
Reachability property qltransition_24295 is true.
Reachability property qltransition_24060 is true.
Reachability property qltransition_23534 is true.
Reachability property qltransition_23403 is true.
Reachability property qltransition_22804 is true.
Reachability property qltransition_22682 is true.
Reachability property qltransition_22626 is true.
Reachability property qltransition_22079 is true.
Reachability property qltransition_21589 is true.
Reachability property qltransition_21257 is true.
Reachability property qltransition_20619 is true.
Reachability property qltransition_20291 is true.
Reachability property qltransition_20223 is true.
Reachability property qltransition_20171 is true.
Reachability property qltransition_19533 is true.
Reachability property qltransition_18947 is true.
Reachability property qltransition_18356 is true.
Reachability property qltransition_18200 is true.
Reachability property qltransition_17882 is true.
Reachability property qltransition_17724 is true.
Reachability property qltransition_17501 is true.
Reachability property qltransition_17277 is true.
Reachability property qltransition_17203 is true.
Reachability property qltransition_17164 is true.
Reachability property qltransition_17065 is true.
Reachability property qltransition_16789 is true.
Reachability property qltransition_16727 is true.
Reachability property qltransition_16063 is true.
Reachability property qltransition_15796 is true.
Reachability property qltransition_15669 is true.
Reachability property qltransition_15325 is true.
Reachability property qltransition_14826 is true.
Reachability property qltransition_14095 is true.
Reachability property qltransition_14050 is true.
Reachability property qltransition_13979 is true.
Reachability property qltransition_13791 is true.
Reachability property qltransition_13566 is true.
Reachability property qltransition_12688 is true.
Reachability property qltransition_12554 is true.
Reachability property qltransition_12466 is true.
Reachability property qltransition_12402 is true.
Reachability property qltransition_11865 is true.
Reachability property qltransition_11385 is true.
Reachability property qltransition_11093 is true.
Reachability property qltransition_10366 is true.
Reachability property qltransition_9879 is true.
Reachability property qltransition_9803 is true.
Reachability property qltransition_9672 is true.
Reachability property qltransition_9316 is true.
Reachability property qltransition_8994 is true.
Reachability property qltransition_8839 is true.
Reachability property qltransition_8138 is true.
Reachability property qltransition_7469 is true.
Reachability property qltransition_7223 is true.
Reachability property qltransition_7183 is true.
Reachability property qltransition_7152 is true.
Reachability property qltransition_6727 is true.
Reachability property qltransition_6635 is true.
Reachability property qltransition_6573 is true.
Reachability property qltransition_6517 is true.
Reachability property qltransition_6483 is true.
Reachability property qltransition_5825 is true.
Reachability property qltransition_5648 is true.
Reachability property qltransition_5317 is true.
Reachability property qltransition_4541 is true.
Reachability property qltransition_4355 is true.
Reachability property qltransition_4252 is true.
Reachability property qltransition_3327 is true.
Reachability property qltransition_2629 is true.
Reachability property qltransition_1683 is true.
Reachability property qltransition_1341 is true.
Reachability property qltransition_733 is true.
SDD proceeding with computation,27075 properties remain. new max is 512
SDD size :454784 after 1.63503e+06
Reachability property qltransition_27803 is true.
Reachability property qltransition_27603 is true.
Reachability property qltransition_27068 is true.
Reachability property qltransition_26647 is true.
Reachability property qltransition_26490 is true.
Reachability property qltransition_26477 is true.
Reachability property qltransition_26076 is true.
Reachability property qltransition_25825 is true.
Reachability property qltransition_25600 is true.
Reachability property qltransition_25040 is true.
Reachability property qltransition_24043 is true.
Reachability property qltransition_23905 is true.
Reachability property qltransition_23410 is true.
Reachability property qltransition_23134 is true.
Reachability property qltransition_22986 is true.
Reachability property qltransition_22551 is true.
Reachability property qltransition_21744 is true.
Reachability property qltransition_21692 is true.
Reachability property qltransition_21550 is true.
Reachability property qltransition_21094 is true.
Reachability property qltransition_20682 is true.
Reachability property qltransition_20402 is true.
Reachability property qltransition_18942 is true.
Reachability property qltransition_18849 is true.
Reachability property qltransition_18735 is true.
Reachability property qltransition_18681 is true.
Reachability property qltransition_18380 is true.
Reachability property qltransition_18207 is true.
Reachability property qltransition_18138 is true.
Reachability property qltransition_17907 is true.
Reachability property qltransition_17472 is true.
Reachability property qltransition_17047 is true.
Reachability property qltransition_16930 is true.
Reachability property qltransition_16561 is true.
Reachability property qltransition_16433 is true.
Reachability property qltransition_16359 is true.
Reachability property qltransition_16330 is true.
Reachability property qltransition_15633 is true.
Reachability property qltransition_15540 is true.
Reachability property qltransition_15369 is true.
Reachability property qltransition_14999 is true.
Reachability property qltransition_14281 is true.
Reachability property qltransition_14109 is true.
Reachability property qltransition_13756 is true.
Reachability property qltransition_13586 is true.
Reachability property qltransition_13404 is true.
Reachability property qltransition_13280 is true.
Reachability property qltransition_11477 is true.
Reachability property qltransition_11197 is true.
Reachability property qltransition_10949 is true.
Reachability property qltransition_10046 is true.
Reachability property qltransition_9602 is true.
Reachability property qltransition_9469 is true.
Reachability property qltransition_9376 is true.
Reachability property qltransition_9270 is true.
Reachability property qltransition_8344 is true.
Reachability property qltransition_8206 is true.
Reachability property qltransition_8119 is true.
Reachability property qltransition_8005 is true.
Reachability property qltransition_7911 is true.
Reachability property qltransition_6716 is true.
Reachability property qltransition_6367 is true.
Reachability property qltransition_6236 is true.
Reachability property qltransition_5455 is true.
Reachability property qltransition_5392 is true.
Reachability property qltransition_5192 is true.
Reachability property qltransition_4086 is true.
Reachability property qltransition_4058 is true.
Reachability property qltransition_3684 is true.
Reachability property qltransition_3542 is true.
Reachability property qltransition_3142 is true.
Reachability property qltransition_2663 is true.
Reachability property qltransition_2508 is true.
Reachability property qltransition_2395 is true.
Reachability property qltransition_2127 is true.
Reachability property qltransition_1105 is true.
Reachability property qltransition_570 is true.
SDD proceeding with computation,26998 properties remain. new max is 512
SDD size :1.63503e+06 after 5.44481e+06
Reachability property qltransition_27602 is true.
Reachability property qltransition_27187 is true.
Reachability property qltransition_27167 is true.
Reachability property qltransition_26668 is true.
Reachability property qltransition_26633 is true.
Reachability property qltransition_26578 is true.
Reachability property qltransition_26356 is true.
Reachability property qltransition_26175 is true.
Reachability property qltransition_25835 is true.
Reachability property qltransition_25642 is true.
Reachability property qltransition_25597 is true.
Reachability property qltransition_24909 is true.
Reachability property qltransition_24741 is true.
Reachability property qltransition_24657 is true.
Reachability property qltransition_24130 is true.
Reachability property qltransition_24074 is true.
Reachability property qltransition_24058 is true.
Reachability property qltransition_23144 is true.
Reachability property qltransition_21753 is true.
Reachability property qltransition_21712 is true.
Reachability property qltransition_21695 is true.
Reachability property qltransition_21512 is true.
Reachability property qltransition_21349 is true.
Reachability property qltransition_21300 is true.
Reachability property qltransition_21049 is true.
Reachability property qltransition_20569 is true.
Reachability property qltransition_20533 is true.
Reachability property qltransition_19416 is true.
Reachability property qltransition_18705 is true.
Reachability property qltransition_18598 is true.
Reachability property qltransition_18568 is true.
Reachability property qltransition_18558 is true.
Reachability property qltransition_18527 is true.
Reachability property qltransition_18517 is true.
Reachability property qltransition_18122 is true.
Reachability property qltransition_17781 is true.
Reachability property qltransition_16849 is true.
Reachability property qltransition_16812 is true.
Reachability property qltransition_16600 is true.
Reachability property qltransition_16462 is true.
Reachability property qltransition_16407 is true.
Reachability property qltransition_16383 is true.
Reachability property qltransition_16239 is true.
Reachability property qltransition_16081 is true.
Reachability property qltransition_15758 is true.
Detected timeout of ITS tools.
[2025-06-19 18:33:45] [INFO ] Flatten gal took : 725 ms
[2025-06-19 18:33:45] [INFO ] Applying decomposition
[2025-06-19 18:33:46] [INFO ] Flatten gal took : 575 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/graph11458394376875508449.txt' '-o' '/tmp/graph11458394376875508449.bin' '-w' '/tmp/graph11458394376875508449.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph11458394376875508449.bin' '-l' '-1' '-v' '-w' '/tmp/graph11458394376875508449.weights' '-q' '0' '-e' '0.001'
[2025-06-19 18:33:48] [INFO ] Decomposing Gal with order
[2025-06-19 18:33:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-19 18:33:51] [INFO ] Removed a total of 65337 redundant transitions.
[2025-06-19 18:33:51] [INFO ] Flatten gal took : 1960 ms
[2025-06-19 18:34:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 790 labels/synchronizations in 932 ms.
[2025-06-19 18:34:08] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8130415667070077077.gal : 124 ms
[2025-06-19 18:34:08] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality7066882546548435820.prop : 165 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/ReachabilityCardinality8130415667070077077.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality7066882546548435820.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 ...307
Interrupted probabilistic random walk after 560147 steps, run timeout after 381001 ms. (steps per millisecond=1 ) properties seen :147 out of 26521
Probabilistic random walk after 560147 steps, saw 101884 distinct states, run finished after 381002 ms. (steps per millisecond=1 ) properties seen :147
[2025-06-19 18:34:12] [INFO ] Invariant cache hit.
[2025-06-19 18:34:12] [INFO ] State equation strengthened by 27030 read => feed constraints.
Loading property file /tmp/ReachabilityCardinality7066882546548435820.prop.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/961 variables, 961/961 constraints. Problems are: Problem set: 0 solved, 25983 unsolved
SMT process timed out in 147043ms, After SMT, problems are : Problem set: 0 solved, 25983 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 961 out of 961 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 961/961 places, 27931/27931 transitions.
Applied a total of 0 rules in 400 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 400 ms. Remains : 961/961 places, 27931/27931 transitions.
RANDOM walk for 719968 steps (0 resets) in 120010 ms. (5 steps per ms) remains 25974/25983 properties
BEST_FIRST walk for 4004 steps (8 resets) in 474 ms. (8 steps per ms) remains 25974/25974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 25974/25974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 471 ms. (8 steps per ms) remains 25974/25974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 399 ms. (10 steps per ms) remains 25974/25974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 475 ms. (8 steps per ms) remains 25974/25974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 373 ms. (10 steps per ms) remains 25974/25974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 408 ms. (9 steps per ms) remains 25974/25974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 440 ms. (9 steps per ms) remains 25974/25974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 390 ms. (10 steps per ms) remains 25974/25974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 25973/25974 properties
BEST_FIRST walk for 4004 steps (8 resets) in 509 ms. (7 steps per ms) remains 25973/25973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 559 ms. (7 steps per ms) remains 25973/25973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 548 ms. (7 steps per ms) remains 25973/25973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 363 ms. (11 steps per ms) remains 25973/25973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 419 ms. (9 steps per ms) remains 25973/25973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 396 ms. (10 steps per ms) remains 25973/25973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 358 ms. (11 steps per ms) remains 25973/25973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 379 ms. (10 steps per ms) remains 25973/25973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 399 ms. (10 steps per ms) remains 25973/25973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 460 ms. (8 steps per ms) remains 25973/25973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 404 ms. (9 steps per ms) remains 25973/25973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 465 ms. (8 steps per ms) remains 25973/25973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 420 ms. (9 steps per ms) remains 25973/25973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 356 ms. (11 steps per ms) remains 25973/25973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 360 ms. (11 steps per ms) remains 25973/25973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 454 ms. (8 steps per ms) remains 25973/25973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 377 ms. (10 steps per ms) remains 25973/25973 properties
BEST_FIRST walk for 4002 steps (8 resets) in 447 ms. (8 steps per ms) remains 25973/25973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 486 ms. (8 steps per ms) remains 25973/25973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 422 ms. (9 steps per ms) remains 25973/25973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 460 ms. (8 steps per ms) remains 25973/25973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 383 ms. (10 steps per ms) remains 25973/25973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 414 ms. (9 steps per ms) remains 25973/25973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 481 ms. (8 steps per ms) remains 25973/25973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 382 ms. (10 steps per ms) remains 25973/25973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 431 ms. (9 steps per ms) remains 25972/25973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 433 ms. (9 steps per ms) remains 25972/25972 properties
BEST_FIRST walk for 4004 steps (8 resets) in 407 ms. (9 steps per ms) remains 25972/25972 properties
BEST_FIRST walk for 4004 steps (8 resets) in 485 ms. (8 steps per ms) remains 25972/25972 properties
BEST_FIRST walk for 4003 steps (8 resets) in 426 ms. (9 steps per ms) remains 25972/25972 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 25972/25972 properties
BEST_FIRST walk for 4004 steps (8 resets) in 477 ms. (8 steps per ms) remains 25972/25972 properties
BEST_FIRST walk for 4004 steps (8 resets) in 396 ms. (10 steps per ms) remains 25972/25972 properties
BEST_FIRST walk for 4004 steps (8 resets) in 375 ms. (10 steps per ms) remains 25972/25972 properties
BEST_FIRST walk for 4004 steps (8 resets) in 376 ms. (10 steps per ms) remains 25972/25972 properties
BEST_FIRST walk for 4004 steps (8 resets) in 421 ms. (9 steps per ms) remains 25972/25972 properties
BEST_FIRST walk for 4004 steps (8 resets) in 462 ms. (8 steps per ms) remains 25971/25972 properties
BEST_FIRST walk for 4004 steps (8 resets) in 441 ms. (9 steps per ms) remains 25971/25971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 440 ms. (9 steps per ms) remains 25970/25971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 582 ms. (6 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 565 ms. (7 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 527 ms. (7 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 435 ms. (9 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 371 ms. (10 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 367 ms. (10 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 367 ms. (10 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 467 ms. (8 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 422 ms. (9 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 356 ms. (11 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 359 ms. (11 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 448 ms. (8 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 423 ms. (9 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 383 ms. (10 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 427 ms. (9 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 418 ms. (9 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 425 ms. (9 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 392 ms. (10 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 443 ms. (9 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 437 ms. (9 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 402 ms. (9 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 429 ms. (9 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 467 ms. (8 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 416 ms. (9 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 418 ms. (9 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 501 ms. (7 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 452 ms. (8 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 450 ms. (8 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 438 ms. (9 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 495 ms. (8 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 426 ms. (9 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 397 ms. (10 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 386 ms. (10 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 376 ms. (10 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 389 ms. (10 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 381 ms. (10 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 416 ms. (9 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 495 ms. (8 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 526 ms. (7 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 605 ms. (6 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 507 ms. (7 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 495 ms. (8 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 418 ms. (9 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 383 ms. (10 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 395 ms. (10 steps per ms) remains 25970/25970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 434 ms. (9 steps per ms) remains 25969/25970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 485 ms. (8 steps per ms) remains 25969/25969 properties
BEST_FIRST walk for 4003 steps (8 resets) in 453 ms. (8 steps per ms) remains 25969/25969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 401 ms. (9 steps per ms) remains 25969/25969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 492 ms. (8 steps per ms) remains 25969/25969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 467 ms. (8 steps per ms) remains 25969/25969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 441 ms. (9 steps per ms) remains 25969/25969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 483 ms. (8 steps per ms) remains 25969/25969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 432 ms. (9 steps per ms) remains 25969/25969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 25969/25969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 483 ms. (8 steps per ms) remains 25969/25969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 476 ms. (8 steps per ms) remains 25969/25969 properties
BEST_FIRST walk for 4003 steps (8 resets) in 425 ms. (9 steps per ms) remains 25969/25969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 490 ms. (8 steps per ms) remains 25969/25969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 481 ms. (8 steps per ms) remains 25969/25969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 409 ms. (9 steps per ms) remains 25969/25969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 530 ms. (7 steps per ms) remains 25969/25969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 458 ms. (8 steps per ms) remains 25969/25969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 423 ms. (9 steps per ms) remains 25969/25969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 488 ms. (8 steps per ms) remains 25969/25969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 428 ms. (9 steps per ms) remains 25969/25969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 393 ms. (10 steps per ms) remains 25969/25969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 378 ms. (10 steps per ms) remains 25969/25969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 383 ms. (10 steps per ms) remains 25969/25969 properties
BEST_FIRST walk for 4003 steps (8 resets) in 376 ms. (10 steps per ms) remains 25968/25969 properties
BEST_FIRST walk for 4003 steps (8 resets) in 472 ms. (8 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4002 steps (8 resets) in 384 ms. (10 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 374 ms. (10 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 487 ms. (8 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 494 ms. (8 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 581 ms. (6 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 423 ms. (9 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4003 steps (8 resets) in 455 ms. (8 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 436 ms. (9 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 367 ms. (10 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 408 ms. (9 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4003 steps (8 resets) in 450 ms. (8 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4003 steps (8 resets) in 404 ms. (9 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 443 ms. (9 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 439 ms. (9 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4003 steps (8 resets) in 369 ms. (10 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 468 ms. (8 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4003 steps (8 resets) in 393 ms. (10 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 466 ms. (8 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 353 ms. (11 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 359 ms. (11 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 438 ms. (9 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 363 ms. (11 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 399 ms. (10 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4003 steps (8 resets) in 442 ms. (9 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 501 ms. (7 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 500 ms. (7 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4003 steps (8 resets) in 438 ms. (9 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 480 ms. (8 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 468 ms. (8 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 420 ms. (9 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 427 ms. (9 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 381 ms. (10 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4003 steps (8 resets) in 472 ms. (8 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 407 ms. (9 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 368 ms. (10 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 392 ms. (10 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 516 ms. (7 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 524 ms. (7 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 443 ms. (9 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 474 ms. (8 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 362 ms. (11 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 376 ms. (10 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4003 steps (8 resets) in 366 ms. (10 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 378 ms. (10 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 429 ms. (9 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 374 ms. (10 steps per ms) remains 25968/25968 properties
BEST_FIRST walk for 4003 steps (8 resets) in 427 ms. (9 steps per ms) remains 25968/25968 properties
Interrupted probabilistic random walk after 220134 steps, run timeout after 159002 ms. (steps per millisecond=1 ) properties seen :0 out of 25968
Probabilistic random walk after 220134 steps, saw 45238 distinct states, run finished after 159005 ms. (steps per millisecond=1 ) properties seen :0
[2025-06-19 18:40:13] [INFO ] Invariant cache hit.
[2025-06-19 18:40:13] [INFO ] State equation strengthened by 27030 read => feed constraints.
Detected timeout of ITS tools.
Starting Z3 with timeout 75.0 s and query timeout 7500.0 ms
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/961 variables, 961/961 constraints. Problems are: Problem set: 0 solved, 25968 unsolved
SMT process timed out in 322298ms, After SMT, problems are : Problem set: 0 solved, 25968 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 961 out of 961 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 961/961 places, 27931/27931 transitions.
Applied a total of 0 rules in 194 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 196 ms. Remains : 961/961 places, 27931/27931 transitions.
RANDOM walk for 719992 steps (0 resets) in 120006 ms. (5 steps per ms) remains 25958/25968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 302 ms. (13 steps per ms) remains 25958/25958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 289 ms. (13 steps per ms) remains 25958/25958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 25958/25958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 25958/25958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 25958/25958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 304 ms. (13 steps per ms) remains 25958/25958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 25958/25958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 25958/25958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 336 ms. (11 steps per ms) remains 25958/25958 properties
BEST_FIRST walk for 4003 steps (8 resets) in 343 ms. (11 steps per ms) remains 25958/25958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 411 ms. (9 steps per ms) remains 25958/25958 properties
BEST_FIRST walk for 4003 steps (8 resets) in 408 ms. (9 steps per ms) remains 25957/25958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 25957/25957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 25956/25957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 289 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4003 steps (8 resets) in 296 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4003 steps (8 resets) in 307 ms. (12 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4002 steps (8 resets) in 293 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 309 ms. (12 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4003 steps (8 resets) in 295 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 304 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 305 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4003 steps (8 resets) in 291 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4003 steps (8 resets) in 289 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 309 ms. (12 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 438 ms. (9 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 364 ms. (10 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 393 ms. (10 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 316 ms. (12 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 346 ms. (11 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 289 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 25956/25956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 25956/25956 properties
Interrupted probabilistic random walk after 155524 steps, run timeout after 105001 ms. (steps per millisecond=1 ) properties seen :0 out of 25956
Probabilistic random walk after 155524 steps, saw 33330 distinct states, run finished after 105002 ms. (steps per millisecond=1 ) properties seen :0
[2025-06-19 18:47:56] [INFO ] Invariant cache hit.
[2025-06-19 18:47:56] [INFO ] State equation strengthened by 27030 read => feed constraints.
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
+ [[ Liveness = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution Liveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202505121319.jar
+ VERSION=202505121319
+ echo 'Running Version 202505121319'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination Liveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="TokenRing-PT-030"
export BK_EXAMINATION="Liveness"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5832"
echo " Executing tool itstools"
echo " Input is TokenRing-PT-030, examination is Liveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r245-tall-174915598600229"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/TokenRing-PT-030.tgz
mv TokenRing-PT-030 execution
cd execution
if [ "Liveness" = "ReachabilityDeadlock" ] || [ "Liveness" = "UpperBounds" ] || [ "Liveness" = "QuasiLiveness" ] || [ "Liveness" = "StableMarking" ] || [ "Liveness" = "Liveness" ] || [ "Liveness" = "OneSafe" ] || [ "Liveness" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "Liveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "Liveness" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "Liveness.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "Liveness" = "ReachabilityDeadlock" ] || [ "Liveness" = "QuasiLiveness" ] || [ "Liveness" = "StableMarking" ] || [ "Liveness" = "Liveness" ] || [ "Liveness" = "OneSafe" ] ; then
echo "FORMULA_NAME Liveness"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;