Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2025-input.r245-tall-174915598600227.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 QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r245-tall-174915598600227
=====================================================================

--------------------
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 QuasiLiveness

=== Now, execution of the tool begins

BK_START 1750356802996

Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=TokenRing-PT-030
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
QuasiLiveness PT
Running Version 202505121319
[2025-06-19 18:13:24] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2025-06-19 18:13:24] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-19 18:13:24] [INFO ] Load time of PNML (sax parser for PT used): 691 ms
[2025-06-19 18:13:25] [INFO ] Transformed 961 places.
[2025-06-19 18:13:25] [INFO ] Transformed 27931 transitions.
[2025-06-19 18:13:25] [INFO ] Found NUPN structural information;
[2025-06-19 18:13:25] [INFO ] Parsed PT model containing 961 places and 27931 transitions and 111724 arcs in 936 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 961/961 places, 27931/27931 transitions.
Applied a total of 0 rules in 227 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:13:25] [INFO ] Computed 31 invariants in 164 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-19 18:13:28] [INFO ] Implicit Places using invariants in 2794 ms returned []
Implicit Place search using SMT only with invariants took 2829 ms to find 0 implicit places.
Running 27901 sub problems to find dead transitions.
[2025-06-19 18:13:28] [INFO ] Invariant cache hit.
[2025-06-19 18:13:29] [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 137787ms, After SMT, problems are : Problem set: 0 solved, 27901 unsolved
Search for dead transitions found 0 dead transitions in 137909ms
Finished structural reductions in LIVENESS mode , in 1 iterations and 141099 ms. Remains : 961/961 places, 27931/27931 transitions.
Initial state reduction rules removed 30 formulas.
[2025-06-19 18:15:49] [INFO ] Flatten gal took : 1675 ms
RANDOM walk for 40000 steps (8 resets) in 11637 ms. (3 steps per ms) remains 27492/27901 properties
BEST_FIRST walk for 124 steps (0 resets) in 72 ms. (1 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 85 ms. (1 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 68 ms. (1 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 80 ms. (1 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 79 ms. (1 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 65 ms. (1 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 83 ms. (1 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 66 ms. (1 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 50 ms. (2 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 57 ms. (2 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 73 ms. (1 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 57 ms. (2 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 53 ms. (2 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 54 ms. (2 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 53 ms. (2 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 47 ms. (2 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 52 ms. (2 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 61 ms. (2 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 65 ms. (1 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 61 ms. (2 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 53 ms. (2 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 59 ms. (2 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 61 ms. (2 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 65 ms. (1 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 46 ms. (2 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 51 ms. (2 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 58 ms. (2 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 61 ms. (2 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 50 ms. (2 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 59 ms. (2 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 61 ms. (2 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 46 ms. (2 steps per ms) remains 27492/27492 properties
[2025-06-19 18:15:51] [INFO ] Flatten gal took : 1165 ms
BEST_FIRST walk for 124 steps (0 resets) in 49 ms. (2 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 63 ms. (1 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 51 ms. (2 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 59 ms. (2 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 73 ms. (1 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 79 ms. (1 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 77 ms. (1 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 74 ms. (1 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 60 ms. (2 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 69 ms. (1 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 84 ms. (1 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 58 ms. (2 steps per ms) remains 27492/27492 properties
[2025-06-19 18:15:51] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality2031118275712153844.gal : 226 ms
BEST_FIRST walk for 124 steps (0 resets) in 53 ms. (2 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 49 ms. (2 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 48 ms. (2 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 67 ms. (1 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 69 ms. (1 steps per ms) remains 27492/27492 properties
BEST_FIRST walk for 124 steps (0 resets) in 71 ms. (1 steps per ms) remains 27492/27492 properties
[2025-06-19 18:15:51] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality8019785208838955946.prop : 150 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/ReachabilityCardinality2031118275712153844.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality8019785208838955946.prop' '--nowitness' '--gen-order' 'FOLLOW'

its-reach command run as :

/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...328
Loading property file /tmp/ReachabilityCardinality8019785208838955946.prop.
Interrupted probabilistic random walk after 3965 steps, run timeout after 12008 ms. (steps per millisecond=0 ) properties seen :749 out of 27492
Probabilistic random walk after 3965 steps, saw 2096 distinct states, run finished after 12034 ms. (steps per millisecond=0 ) properties seen :749
[2025-06-19 18:16:03] [INFO ] Invariant cache hit.
[2025-06-19 18:16:04] [INFO ] State equation strengthened by 27030 read => feed constraints.
Reachability property qltransition_15556 is true.
SDD proceeding with computation,27491 properties remain. new max is 2
SDD size :1 after 2
Reachability property qltransition_12159 is true.
Reachability property qltransition_3260 is true.
SDD proceeding with computation,27489 properties remain. new max is 2
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,27485 properties remain. new max is 2
SDD size :5 after 11
Reachability property qltransition_24975 is true.
Reachability property qltransition_10832 is true.
SDD proceeding with computation,27483 properties remain. new max is 2
SDD size :11 after 14
Reachability property qltransition_15718 is true.
Reachability property qltransition_12331 is true.
Reachability property qltransition_7952 is true.
Reachability property qltransition_3587 is true.
SDD proceeding with computation,27479 properties remain. new max is 2
SDD size :14 after 29
Reachability property qltransition_22686 is true.
Reachability property qltransition_497 is true.
SDD proceeding with computation,27477 properties remain. new max is 2
SDD size :29 after 33
Reachability property qltransition_3096 is true.
SDD proceeding with computation,27476 properties remain. new max is 2
SDD size :33 after 39
SDD proceeding with computation,27476 properties remain. new max is 4
SDD size :39 after 42
Reachability property qltransition_26047 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,27471 properties remain. new max is 4
SDD size :42 after 85
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
SMT process timed out in 127012ms, After SMT, problems are : Problem set: 12 solved, 26731 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 434 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 448 ms. Remains : 961/961 places, 27931/27931 transitions.
Reachability property qltransition_19510 is true.
SDD proceeding with computation,27470 properties remain. new max is 4
SDD size :85 after 90
Reachability property qltransition_22865 is true.
Reachability property qltransition_2347 is true.
SDD proceeding with computation,27468 properties remain. new max is 4
SDD size :90 after 100
RANDOM walk for 719942 steps (0 resets) in 120019 ms. (5 steps per ms) remains 26708/26731 properties
BEST_FIRST walk for 4004 steps (8 resets) in 539 ms. (7 steps per ms) remains 26683/26708 properties
BEST_FIRST walk for 4004 steps (8 resets) in 481 ms. (8 steps per ms) remains 26667/26683 properties
BEST_FIRST walk for 4004 steps (8 resets) in 404 ms. (9 steps per ms) remains 26659/26667 properties
BEST_FIRST walk for 4004 steps (8 resets) in 565 ms. (7 steps per ms) remains 26653/26659 properties
BEST_FIRST walk for 4003 steps (8 resets) in 561 ms. (7 steps per ms) remains 26647/26653 properties
BEST_FIRST walk for 4004 steps (8 resets) in 591 ms. (6 steps per ms) remains 26644/26647 properties
BEST_FIRST walk for 4004 steps (8 resets) in 482 ms. (8 steps per ms) remains 26637/26644 properties
BEST_FIRST walk for 4004 steps (8 resets) in 454 ms. (8 steps per ms) remains 26633/26637 properties
BEST_FIRST walk for 4004 steps (8 resets) in 528 ms. (7 steps per ms) remains 26632/26633 properties
BEST_FIRST walk for 4004 steps (8 resets) in 610 ms. (6 steps per ms) remains 26632/26632 properties
BEST_FIRST walk for 4004 steps (8 resets) in 555 ms. (7 steps per ms) remains 26630/26632 properties
BEST_FIRST walk for 4004 steps (8 resets) in 563 ms. (7 steps per ms) remains 26624/26630 properties
BEST_FIRST walk for 4003 steps (8 resets) in 575 ms. (6 steps per ms) remains 26622/26624 properties
BEST_FIRST walk for 4004 steps (8 resets) in 551 ms. (7 steps per ms) remains 26621/26622 properties
BEST_FIRST walk for 4004 steps (8 resets) in 544 ms. (7 steps per ms) remains 26619/26621 properties
BEST_FIRST walk for 4003 steps (8 resets) in 528 ms. (7 steps per ms) remains 26618/26619 properties
BEST_FIRST walk for 4004 steps (8 resets) in 549 ms. (7 steps per ms) remains 26618/26618 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 26616/26618 properties
BEST_FIRST walk for 4004 steps (8 resets) in 661 ms. (6 steps per ms) remains 26614/26616 properties
BEST_FIRST walk for 4003 steps (8 resets) in 535 ms. (7 steps per ms) remains 26613/26614 properties
BEST_FIRST walk for 4004 steps (8 resets) in 538 ms. (7 steps per ms) remains 26612/26613 properties
BEST_FIRST walk for 4004 steps (8 resets) in 628 ms. (6 steps per ms) remains 26612/26612 properties
BEST_FIRST walk for 4004 steps (8 resets) in 570 ms. (7 steps per ms) remains 26612/26612 properties
BEST_FIRST walk for 4004 steps (8 resets) in 572 ms. (6 steps per ms) remains 26612/26612 properties
BEST_FIRST walk for 4002 steps (8 resets) in 573 ms. (6 steps per ms) remains 26610/26612 properties
BEST_FIRST walk for 4004 steps (8 resets) in 550 ms. (7 steps per ms) remains 26609/26610 properties
BEST_FIRST walk for 4003 steps (8 resets) in 647 ms. (6 steps per ms) remains 26608/26609 properties
SDD proceeding with computation,27468 properties remain. new max is 8
SDD size :100 after 104
BEST_FIRST walk for 4004 steps (8 resets) in 591 ms. (6 steps per ms) remains 26608/26608 properties
BEST_FIRST walk for 4004 steps (8 resets) in 529 ms. (7 steps per ms) remains 26606/26608 properties
BEST_FIRST walk for 4003 steps (8 resets) in 433 ms. (9 steps per ms) remains 26604/26606 properties
BEST_FIRST walk for 4004 steps (8 resets) in 416 ms. (9 steps per ms) remains 26603/26604 properties
BEST_FIRST walk for 4004 steps (8 resets) in 351 ms. (11 steps per ms) remains 26602/26603 properties
BEST_FIRST walk for 4004 steps (8 resets) in 360 ms. (11 steps per ms) remains 26601/26602 properties
BEST_FIRST walk for 4004 steps (8 resets) in 350 ms. (11 steps per ms) remains 26598/26601 properties
BEST_FIRST walk for 4003 steps (8 resets) in 364 ms. (10 steps per ms) remains 26598/26598 properties
BEST_FIRST walk for 4004 steps (8 resets) in 396 ms. (10 steps per ms) remains 26594/26598 properties
BEST_FIRST walk for 4004 steps (8 resets) in 403 ms. (9 steps per ms) remains 26594/26594 properties
BEST_FIRST walk for 4004 steps (8 resets) in 411 ms. (9 steps per ms) remains 26592/26594 properties
BEST_FIRST walk for 4004 steps (8 resets) in 354 ms. (11 steps per ms) remains 26592/26592 properties
BEST_FIRST walk for 4003 steps (8 resets) in 433 ms. (9 steps per ms) remains 26591/26592 properties
BEST_FIRST walk for 4004 steps (8 resets) in 366 ms. (10 steps per ms) remains 26591/26591 properties
BEST_FIRST walk for 4004 steps (8 resets) in 461 ms. (8 steps per ms) remains 26590/26591 properties
BEST_FIRST walk for 4003 steps (8 resets) in 397 ms. (10 steps per ms) remains 26589/26590 properties
BEST_FIRST walk for 4004 steps (8 resets) in 474 ms. (8 steps per ms) remains 26589/26589 properties
BEST_FIRST walk for 4003 steps (8 resets) in 383 ms. (10 steps per ms) remains 26588/26589 properties
BEST_FIRST walk for 4004 steps (8 resets) in 415 ms. (9 steps per ms) remains 26586/26588 properties
BEST_FIRST walk for 4004 steps (8 resets) in 460 ms. (8 steps per ms) remains 26586/26586 properties
BEST_FIRST walk for 4004 steps (8 resets) in 391 ms. (10 steps per ms) remains 26585/26586 properties
BEST_FIRST walk for 4004 steps (8 resets) in 384 ms. (10 steps per ms) remains 26585/26585 properties
BEST_FIRST walk for 4003 steps (8 resets) in 413 ms. (9 steps per ms) remains 26583/26585 properties
BEST_FIRST walk for 4004 steps (8 resets) in 470 ms. (8 steps per ms) remains 26583/26583 properties
BEST_FIRST walk for 4003 steps (8 resets) in 409 ms. (9 steps per ms) remains 26582/26583 properties
BEST_FIRST walk for 4004 steps (8 resets) in 510 ms. (7 steps per ms) remains 26581/26582 properties
BEST_FIRST walk for 4004 steps (8 resets) in 490 ms. (8 steps per ms) remains 26580/26581 properties
BEST_FIRST walk for 4004 steps (8 resets) in 483 ms. (8 steps per ms) remains 26579/26580 properties
BEST_FIRST walk for 4004 steps (8 resets) in 383 ms. (10 steps per ms) remains 26578/26579 properties
BEST_FIRST walk for 4004 steps (8 resets) in 370 ms. (10 steps per ms) remains 26578/26578 properties
BEST_FIRST walk for 4004 steps (8 resets) in 367 ms. (10 steps per ms) remains 26578/26578 properties
BEST_FIRST walk for 4004 steps (8 resets) in 369 ms. (10 steps per ms) remains 26576/26578 properties
BEST_FIRST walk for 4004 steps (8 resets) in 406 ms. (9 steps per ms) remains 26576/26576 properties
BEST_FIRST walk for 4004 steps (8 resets) in 491 ms. (8 steps per ms) remains 26575/26576 properties
BEST_FIRST walk for 4004 steps (8 resets) in 391 ms. (10 steps per ms) remains 26574/26575 properties
BEST_FIRST walk for 4004 steps (8 resets) in 367 ms. (10 steps per ms) remains 26574/26574 properties
BEST_FIRST walk for 4004 steps (8 resets) in 425 ms. (9 steps per ms) remains 26574/26574 properties
BEST_FIRST walk for 4004 steps (8 resets) in 467 ms. (8 steps per ms) remains 26573/26574 properties
Reachability property qltransition_15938 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 450 ms. (8 steps per ms) remains 26573/26573 properties
BEST_FIRST walk for 4004 steps (8 resets) in 509 ms. (7 steps per ms) remains 26573/26573 properties
BEST_FIRST walk for 4004 steps (8 resets) in 396 ms. (10 steps per ms) remains 26573/26573 properties
Reachability property qltransition_14498 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 453 ms. (8 steps per ms) remains 26573/26573 properties
BEST_FIRST walk for 4003 steps (8 resets) in 369 ms. (10 steps per ms) remains 26573/26573 properties
BEST_FIRST walk for 4004 steps (8 resets) in 420 ms. (9 steps per ms) remains 26573/26573 properties
BEST_FIRST walk for 4004 steps (8 resets) in 411 ms. (9 steps per ms) remains 26572/26573 properties
Reachability property qltransition_12443 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 428 ms. (9 steps per ms) remains 26571/26572 properties
BEST_FIRST walk for 4004 steps (8 resets) in 350 ms. (11 steps per ms) remains 26570/26571 properties
BEST_FIRST walk for 4004 steps (8 resets) in 434 ms. (9 steps per ms) remains 26568/26570 properties
BEST_FIRST walk for 4004 steps (8 resets) in 391 ms. (10 steps per ms) remains 26568/26568 properties
BEST_FIRST walk for 4004 steps (8 resets) in 398 ms. (10 steps per ms) remains 26568/26568 properties
BEST_FIRST walk for 4004 steps (8 resets) in 475 ms. (8 steps per ms) remains 26567/26568 properties
Reachability property qltransition_9172 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 436 ms. (9 steps per ms) remains 26567/26567 properties
BEST_FIRST walk for 4004 steps (8 resets) in 557 ms. (7 steps per ms) remains 26567/26567 properties
BEST_FIRST walk for 4004 steps (8 resets) in 484 ms. (8 steps per ms) remains 26567/26567 properties
BEST_FIRST walk for 4003 steps (8 resets) in 407 ms. (9 steps per ms) remains 26567/26567 properties
BEST_FIRST walk for 4003 steps (8 resets) in 406 ms. (9 steps per ms) remains 26567/26567 properties
BEST_FIRST walk for 4004 steps (8 resets) in 440 ms. (9 steps per ms) remains 26567/26567 properties
BEST_FIRST walk for 4004 steps (8 resets) in 380 ms. (10 steps per ms) remains 26567/26567 properties
BEST_FIRST walk for 4004 steps (8 resets) in 398 ms. (10 steps per ms) remains 26566/26567 properties
BEST_FIRST walk for 4004 steps (8 resets) in 502 ms. (7 steps per ms) remains 26566/26566 properties
BEST_FIRST walk for 4004 steps (8 resets) in 378 ms. (10 steps per ms) remains 26566/26566 properties
BEST_FIRST walk for 4004 steps (8 resets) in 458 ms. (8 steps per ms) remains 26566/26566 properties
BEST_FIRST walk for 4004 steps (8 resets) in 429 ms. (9 steps per ms) remains 26566/26566 properties
BEST_FIRST walk for 4003 steps (8 resets) in 376 ms. (10 steps per ms) remains 26566/26566 properties
BEST_FIRST walk for 4004 steps (8 resets) in 407 ms. (9 steps per ms) remains 26563/26566 properties
BEST_FIRST walk for 4004 steps (8 resets) in 477 ms. (8 steps per ms) remains 26563/26563 properties
BEST_FIRST walk for 4004 steps (8 resets) in 405 ms. (9 steps per ms) remains 26561/26563 properties
BEST_FIRST walk for 4003 steps (8 resets) in 478 ms. (8 steps per ms) remains 26560/26561 properties
SDD proceeding with computation,27464 properties remain. new max is 8
SDD size :104 after 119
BEST_FIRST walk for 4004 steps (8 resets) in 404 ms. (9 steps per ms) remains 26560/26560 properties
BEST_FIRST walk for 4004 steps (8 resets) in 365 ms. (10 steps per ms) remains 26559/26560 properties
BEST_FIRST walk for 4004 steps (8 resets) in 392 ms. (10 steps per ms) remains 26556/26559 properties
BEST_FIRST walk for 4004 steps (8 resets) in 449 ms. (8 steps per ms) remains 26556/26556 properties
BEST_FIRST walk for 4004 steps (8 resets) in 428 ms. (9 steps per ms) remains 26556/26556 properties
BEST_FIRST walk for 4004 steps (8 resets) in 360 ms. (11 steps per ms) remains 26555/26556 properties
BEST_FIRST walk for 4003 steps (8 resets) in 368 ms. (10 steps per ms) remains 26555/26555 properties
BEST_FIRST walk for 4003 steps (8 resets) in 424 ms. (9 steps per ms) remains 26555/26555 properties
BEST_FIRST walk for 4004 steps (8 resets) in 472 ms. (8 steps per ms) remains 26555/26555 properties
BEST_FIRST walk for 4004 steps (8 resets) in 503 ms. (7 steps per ms) remains 26555/26555 properties
BEST_FIRST walk for 4004 steps (8 resets) in 410 ms. (9 steps per ms) remains 26555/26555 properties
BEST_FIRST walk for 4004 steps (8 resets) in 408 ms. (9 steps per ms) remains 26554/26555 properties
BEST_FIRST walk for 4004 steps (8 resets) in 377 ms. (10 steps per ms) remains 26554/26554 properties
BEST_FIRST walk for 4004 steps (8 resets) in 472 ms. (8 steps per ms) remains 26554/26554 properties
BEST_FIRST walk for 4004 steps (8 resets) in 410 ms. (9 steps per ms) remains 26554/26554 properties
BEST_FIRST walk for 4004 steps (8 resets) in 349 ms. (11 steps per ms) remains 26554/26554 properties
BEST_FIRST walk for 4003 steps (8 resets) in 400 ms. (9 steps per ms) remains 26554/26554 properties
BEST_FIRST walk for 4004 steps (8 resets) in 373 ms. (10 steps per ms) remains 26554/26554 properties
BEST_FIRST walk for 4004 steps (8 resets) in 456 ms. (8 steps per ms) remains 26554/26554 properties
BEST_FIRST walk for 4004 steps (8 resets) in 359 ms. (11 steps per ms) remains 26553/26554 properties
BEST_FIRST walk for 4004 steps (8 resets) in 473 ms. (8 steps per ms) remains 26553/26553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 416 ms. (9 steps per ms) remains 26553/26553 properties
BEST_FIRST walk for 4003 steps (8 resets) in 441 ms. (9 steps per ms) remains 26553/26553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 380 ms. (10 steps per ms) remains 26553/26553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 462 ms. (8 steps per ms) remains 26553/26553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 436 ms. (9 steps per ms) remains 26553/26553 properties
BEST_FIRST walk for 4003 steps (8 resets) in 420 ms. (9 steps per ms) remains 26553/26553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 431 ms. (9 steps per ms) remains 26553/26553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 384 ms. (10 steps per ms) remains 26553/26553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 430 ms. (9 steps per ms) remains 26553/26553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 420 ms. (9 steps per ms) remains 26553/26553 properties
BEST_FIRST walk for 4003 steps (8 resets) in 431 ms. (9 steps per ms) remains 26553/26553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 386 ms. (10 steps per ms) remains 26553/26553 properties
BEST_FIRST walk for 4003 steps (8 resets) in 444 ms. (8 steps per ms) remains 26553/26553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 411 ms. (9 steps per ms) remains 26552/26553 properties
BEST_FIRST walk for 4003 steps (8 resets) in 516 ms. (7 steps per ms) remains 26552/26552 properties
BEST_FIRST walk for 4004 steps (8 resets) in 478 ms. (8 steps per ms) remains 26552/26552 properties
BEST_FIRST walk for 4004 steps (8 resets) in 412 ms. (9 steps per ms) remains 26552/26552 properties
BEST_FIRST walk for 4004 steps (8 resets) in 392 ms. (10 steps per ms) remains 26551/26552 properties
BEST_FIRST walk for 4004 steps (8 resets) in 438 ms. (9 steps per ms) remains 26551/26551 properties
BEST_FIRST walk for 4003 steps (8 resets) in 405 ms. (9 steps per ms) remains 26551/26551 properties
BEST_FIRST walk for 4004 steps (8 resets) in 442 ms. (9 steps per ms) remains 26551/26551 properties
BEST_FIRST walk for 4003 steps (8 resets) in 362 ms. (11 steps per ms) remains 26550/26551 properties
BEST_FIRST walk for 4003 steps (8 resets) in 373 ms. (10 steps per ms) remains 26550/26550 properties
BEST_FIRST walk for 4004 steps (8 resets) in 366 ms. (10 steps per ms) remains 26550/26550 properties
BEST_FIRST walk for 4004 steps (8 resets) in 374 ms. (10 steps per ms) remains 26550/26550 properties
BEST_FIRST walk for 4003 steps (8 resets) in 427 ms. (9 steps per ms) remains 26549/26550 properties
BEST_FIRST walk for 4004 steps (8 resets) in 361 ms. (11 steps per ms) remains 26549/26549 properties
BEST_FIRST walk for 4004 steps (8 resets) in 378 ms. (10 steps per ms) remains 26549/26549 properties
BEST_FIRST walk for 4004 steps (8 resets) in 439 ms. (9 steps per ms) remains 26549/26549 properties
BEST_FIRST walk for 4004 steps (8 resets) in 374 ms. (10 steps per ms) remains 26549/26549 properties
BEST_FIRST walk for 4004 steps (8 resets) in 375 ms. (10 steps per ms) remains 26549/26549 properties
BEST_FIRST walk for 4003 steps (8 resets) in 464 ms. (8 steps per ms) remains 26548/26549 properties
BEST_FIRST walk for 4004 steps (8 resets) in 411 ms. (9 steps per ms) remains 26548/26548 properties
BEST_FIRST walk for 4004 steps (8 resets) in 426 ms. (9 steps per ms) remains 26548/26548 properties
BEST_FIRST walk for 4004 steps (8 resets) in 367 ms. (10 steps per ms) remains 26548/26548 properties
BEST_FIRST walk for 4004 steps (8 resets) in 470 ms. (8 steps per ms) remains 26548/26548 properties
BEST_FIRST walk for 4004 steps (8 resets) in 377 ms. (10 steps per ms) remains 26547/26548 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 26546/26547 properties
BEST_FIRST walk for 4004 steps (8 resets) in 423 ms. (9 steps per ms) remains 26546/26546 properties
BEST_FIRST walk for 4004 steps (8 resets) in 549 ms. (7 steps per ms) remains 26546/26546 properties
SDD proceeding with computation,27464 properties remain. new max is 16
SDD size :119 after 123
BEST_FIRST walk for 4004 steps (8 resets) in 415 ms. (9 steps per ms) remains 26546/26546 properties
BEST_FIRST walk for 4004 steps (8 resets) in 411 ms. (9 steps per ms) remains 26546/26546 properties
BEST_FIRST walk for 4003 steps (8 resets) in 384 ms. (10 steps per ms) remains 26546/26546 properties
BEST_FIRST walk for 4004 steps (8 resets) in 405 ms. (9 steps per ms) remains 26546/26546 properties
BEST_FIRST walk for 4003 steps (8 resets) in 372 ms. (10 steps per ms) remains 26546/26546 properties
BEST_FIRST walk for 4004 steps (8 resets) in 413 ms. (9 steps per ms) remains 26546/26546 properties
BEST_FIRST walk for 4004 steps (8 resets) in 406 ms. (9 steps per ms) remains 26546/26546 properties
BEST_FIRST walk for 4004 steps (8 resets) in 409 ms. (9 steps per ms) remains 26545/26546 properties
BEST_FIRST walk for 4004 steps (8 resets) in 471 ms. (8 steps per ms) remains 26545/26545 properties
BEST_FIRST walk for 4003 steps (8 resets) in 396 ms. (10 steps per ms) remains 26545/26545 properties
BEST_FIRST walk for 4003 steps (8 resets) in 364 ms. (10 steps per ms) remains 26545/26545 properties
BEST_FIRST walk for 4004 steps (8 resets) in 412 ms. (9 steps per ms) remains 26543/26545 properties
BEST_FIRST walk for 4004 steps (8 resets) in 453 ms. (8 steps per ms) remains 26543/26543 properties
BEST_FIRST walk for 4004 steps (8 resets) in 409 ms. (9 steps per ms) remains 26543/26543 properties
BEST_FIRST walk for 4004 steps (8 resets) in 434 ms. (9 steps per ms) remains 26543/26543 properties
BEST_FIRST walk for 4004 steps (8 resets) in 441 ms. (9 steps per ms) remains 26543/26543 properties
BEST_FIRST walk for 4004 steps (8 resets) in 359 ms. (11 steps per ms) remains 26543/26543 properties
BEST_FIRST walk for 4004 steps (8 resets) in 378 ms. (10 steps per ms) remains 26543/26543 properties
BEST_FIRST walk for 4004 steps (8 resets) in 354 ms. (11 steps per ms) remains 26543/26543 properties
BEST_FIRST walk for 4004 steps (8 resets) in 473 ms. (8 steps per ms) remains 26543/26543 properties
BEST_FIRST walk for 4004 steps (8 resets) in 431 ms. (9 steps per ms) remains 26543/26543 properties
BEST_FIRST walk for 4003 steps (8 resets) in 398 ms. (10 steps per ms) remains 26543/26543 properties
BEST_FIRST walk for 4004 steps (8 resets) in 425 ms. (9 steps per ms) remains 26543/26543 properties
BEST_FIRST walk for 4004 steps (8 resets) in 431 ms. (9 steps per ms) remains 26543/26543 properties
BEST_FIRST walk for 4004 steps (8 resets) in 633 ms. (6 steps per ms) remains 26543/26543 properties
BEST_FIRST walk for 4003 steps (8 resets) in 503 ms. (7 steps per ms) remains 26543/26543 properties
BEST_FIRST walk for 4004 steps (8 resets) in 403 ms. (9 steps per ms) remains 26543/26543 properties
BEST_FIRST walk for 4004 steps (8 resets) in 447 ms. (8 steps per ms) remains 26543/26543 properties
BEST_FIRST walk for 4004 steps (8 resets) in 404 ms. (9 steps per ms) remains 26543/26543 properties
BEST_FIRST walk for 4004 steps (8 resets) in 370 ms. (10 steps per ms) remains 26543/26543 properties
BEST_FIRST walk for 4004 steps (8 resets) in 483 ms. (8 steps per ms) remains 26543/26543 properties
BEST_FIRST walk for 4004 steps (8 resets) in 403 ms. (9 steps per ms) remains 26543/26543 properties
BEST_FIRST walk for 4004 steps (8 resets) in 377 ms. (10 steps per ms) remains 26543/26543 properties
BEST_FIRST walk for 4003 steps (8 resets) in 412 ms. (9 steps per ms) remains 26543/26543 properties
BEST_FIRST walk for 4003 steps (8 resets) in 406 ms. (9 steps per ms) remains 26543/26543 properties
BEST_FIRST walk for 4004 steps (8 resets) in 427 ms. (9 steps per ms) remains 26542/26543 properties
BEST_FIRST walk for 4004 steps (8 resets) in 371 ms. (10 steps per ms) remains 26542/26542 properties
BEST_FIRST walk for 4004 steps (8 resets) in 440 ms. (9 steps per ms) remains 26542/26542 properties
BEST_FIRST walk for 4004 steps (8 resets) in 420 ms. (9 steps per ms) remains 26542/26542 properties
BEST_FIRST walk for 4004 steps (8 resets) in 463 ms. (8 steps per ms) remains 26542/26542 properties
BEST_FIRST walk for 4003 steps (8 resets) in 382 ms. (10 steps per ms) remains 26542/26542 properties
BEST_FIRST walk for 4004 steps (8 resets) in 408 ms. (9 steps per ms) remains 26542/26542 properties
BEST_FIRST walk for 4004 steps (8 resets) in 401 ms. (9 steps per ms) remains 26542/26542 properties
BEST_FIRST walk for 4004 steps (8 resets) in 411 ms. (9 steps per ms) remains 26540/26542 properties
BEST_FIRST walk for 4003 steps (8 resets) in 431 ms. (9 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 371 ms. (10 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 369 ms. (10 steps per ms) remains 26538/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 447 ms. (8 steps per ms) remains 26538/26538 properties
BEST_FIRST walk for 4004 steps (8 resets) in 429 ms. (9 steps per ms) remains 26537/26538 properties
BEST_FIRST walk for 4003 steps (8 resets) in 593 ms. (6 steps per ms) remains 26537/26537 properties
BEST_FIRST walk for 4004 steps (8 resets) in 511 ms. (7 steps per ms) remains 26537/26537 properties
BEST_FIRST walk for 4004 steps (8 resets) in 381 ms. (10 steps per ms) remains 26537/26537 properties
BEST_FIRST walk for 4004 steps (8 resets) in 369 ms. (10 steps per ms) remains 26535/26537 properties
BEST_FIRST walk for 4004 steps (8 resets) in 370 ms. (10 steps per ms) remains 26535/26535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 447 ms. (8 steps per ms) remains 26535/26535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 442 ms. (9 steps per ms) remains 26535/26535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 381 ms. (10 steps per ms) remains 26535/26535 properties
SDD proceeding with computation,27464 properties remain. new max is 32
SDD size :123 after 129
BEST_FIRST walk for 4004 steps (8 resets) in 431 ms. (9 steps per ms) remains 26535/26535 properties
BEST_FIRST walk for 4003 steps (8 resets) in 403 ms. (9 steps per ms) remains 26535/26535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 426 ms. (9 steps per ms) remains 26535/26535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 371 ms. (10 steps per ms) remains 26535/26535 properties
BEST_FIRST walk for 4003 steps (8 resets) in 411 ms. (9 steps per ms) remains 26535/26535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 476 ms. (8 steps per ms) remains 26535/26535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 374 ms. (10 steps per ms) remains 26535/26535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 475 ms. (8 steps per ms) remains 26535/26535 properties
BEST_FIRST walk for 4003 steps (8 resets) in 417 ms. (9 steps per ms) remains 26535/26535 properties
BEST_FIRST walk for 4003 steps (8 resets) in 413 ms. (9 steps per ms) remains 26535/26535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 398 ms. (10 steps per ms) remains 26535/26535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 458 ms. (8 steps per ms) remains 26535/26535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 353 ms. (11 steps per ms) remains 26535/26535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 464 ms. (8 steps per ms) remains 26535/26535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 378 ms. (10 steps per ms) remains 26535/26535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 368 ms. (10 steps per ms) remains 26535/26535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 479 ms. (8 steps per ms) remains 26534/26535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 441 ms. (9 steps per ms) remains 26534/26534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 426 ms. (9 steps per ms) remains 26532/26534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 483 ms. (8 steps per ms) remains 26532/26532 properties
BEST_FIRST walk for 4004 steps (8 resets) in 436 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 358 ms. (11 steps per ms) remains 26532/26532 properties
BEST_FIRST walk for 4004 steps (8 resets) in 423 ms. (9 steps per ms) remains 26531/26532 properties
BEST_FIRST walk for 4003 steps (8 resets) in 472 ms. (8 steps per ms) remains 26531/26531 properties
BEST_FIRST walk for 4004 steps (8 resets) in 404 ms. (9 steps per ms) remains 26531/26531 properties
BEST_FIRST walk for 4004 steps (8 resets) in 451 ms. (8 steps per ms) remains 26531/26531 properties
BEST_FIRST walk for 4004 steps (8 resets) in 430 ms. (9 steps per ms) remains 26530/26531 properties
BEST_FIRST walk for 4003 steps (8 resets) in 369 ms. (10 steps per ms) remains 26530/26530 properties
BEST_FIRST walk for 4004 steps (8 resets) in 479 ms. (8 steps per ms) remains 26529/26530 properties
BEST_FIRST walk for 4004 steps (8 resets) in 403 ms. (9 steps per ms) remains 26529/26529 properties
BEST_FIRST walk for 4004 steps (8 resets) in 371 ms. (10 steps per ms) remains 26529/26529 properties
BEST_FIRST walk for 4004 steps (8 resets) in 410 ms. (9 steps per ms) remains 26529/26529 properties
BEST_FIRST walk for 4004 steps (8 resets) in 432 ms. (9 steps per ms) remains 26529/26529 properties
BEST_FIRST walk for 4003 steps (8 resets) in 366 ms. (10 steps per ms) remains 26529/26529 properties
BEST_FIRST walk for 4004 steps (8 resets) in 375 ms. (10 steps per ms) remains 26528/26529 properties
BEST_FIRST walk for 4003 steps (8 resets) in 355 ms. (11 steps per ms) remains 26528/26528 properties
BEST_FIRST walk for 4002 steps (8 resets) in 400 ms. (9 steps per ms) remains 26528/26528 properties
BEST_FIRST walk for 4004 steps (8 resets) in 400 ms. (9 steps per ms) remains 26528/26528 properties
BEST_FIRST walk for 4004 steps (8 resets) in 461 ms. (8 steps per ms) remains 26528/26528 properties
BEST_FIRST walk for 4004 steps (8 resets) in 408 ms. (9 steps per ms) remains 26528/26528 properties
BEST_FIRST walk for 4004 steps (8 resets) in 374 ms. (10 steps per ms) remains 26528/26528 properties
BEST_FIRST walk for 4004 steps (8 resets) in 456 ms. (8 steps per ms) remains 26528/26528 properties
BEST_FIRST walk for 4004 steps (8 resets) in 524 ms. (7 steps per ms) remains 26528/26528 properties
BEST_FIRST walk for 4004 steps (8 resets) in 458 ms. (8 steps per ms) remains 26528/26528 properties
BEST_FIRST walk for 4004 steps (8 resets) in 353 ms. (11 steps per ms) remains 26528/26528 properties
BEST_FIRST walk for 4004 steps (8 resets) in 369 ms. (10 steps per ms) remains 26528/26528 properties
BEST_FIRST walk for 4003 steps (8 resets) in 354 ms. (11 steps per ms) remains 26528/26528 properties
BEST_FIRST walk for 4003 steps (8 resets) in 363 ms. (10 steps per ms) remains 26527/26528 properties
BEST_FIRST walk for 4004 steps (8 resets) in 366 ms. (10 steps per ms) remains 26527/26527 properties
BEST_FIRST walk for 4004 steps (8 resets) in 362 ms. (11 steps per ms) remains 26527/26527 properties
BEST_FIRST walk for 4003 steps (8 resets) in 396 ms. (10 steps per ms) remains 26527/26527 properties
BEST_FIRST walk for 4003 steps (8 resets) in 365 ms. (10 steps per ms) remains 26527/26527 properties
BEST_FIRST walk for 4004 steps (8 resets) in 378 ms. (10 steps per ms) remains 26527/26527 properties
BEST_FIRST walk for 4004 steps (8 resets) in 425 ms. (9 steps per ms) remains 26526/26527 properties
BEST_FIRST walk for 4004 steps (8 resets) in 406 ms. (9 steps per ms) remains 26526/26526 properties
BEST_FIRST walk for 4004 steps (8 resets) in 367 ms. (10 steps per ms) remains 26526/26526 properties
BEST_FIRST walk for 4004 steps (8 resets) in 355 ms. (11 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 408 ms. (9 steps per ms) remains 26526/26526 properties
BEST_FIRST walk for 4004 steps (8 resets) in 423 ms. (9 steps per ms) remains 26526/26526 properties
BEST_FIRST walk for 4003 steps (8 resets) in 395 ms. (10 steps per ms) remains 26525/26526 properties
BEST_FIRST walk for 4004 steps (8 resets) in 386 ms. (10 steps per ms) remains 26525/26525 properties
BEST_FIRST walk for 4003 steps (8 resets) in 371 ms. (10 steps per ms) remains 26525/26525 properties
BEST_FIRST walk for 4004 steps (8 resets) in 450 ms. (8 steps per ms) remains 26525/26525 properties
BEST_FIRST walk for 4004 steps (8 resets) in 572 ms. (6 steps per ms) remains 26525/26525 properties
BEST_FIRST walk for 4004 steps (8 resets) in 365 ms. (10 steps per ms) remains 26525/26525 properties
BEST_FIRST walk for 4004 steps (8 resets) in 393 ms. (10 steps per ms) remains 26524/26525 properties
BEST_FIRST walk for 4004 steps (8 resets) in 469 ms. (8 steps per ms) remains 26524/26524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 571 ms. (7 steps per ms) remains 26524/26524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 552 ms. (7 steps per ms) remains 26524/26524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 482 ms. (8 steps per ms) remains 26524/26524 properties
SDD proceeding with computation,27464 properties remain. new max is 64
SDD size :129 after 132
BEST_FIRST walk for 4004 steps (8 resets) in 593 ms. (6 steps per ms) remains 26524/26524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 567 ms. (7 steps per ms) remains 26524/26524 properties
BEST_FIRST walk for 4003 steps (8 resets) in 576 ms. (6 steps per ms) remains 26524/26524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 567 ms. (7 steps per ms) remains 26524/26524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 574 ms. (6 steps per ms) remains 26524/26524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 583 ms. (6 steps per ms) remains 26524/26524 properties
BEST_FIRST walk for 4003 steps (8 resets) in 428 ms. (9 steps per ms) remains 26524/26524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 566 ms. (7 steps per ms) remains 26524/26524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 550 ms. (7 steps per ms) remains 26524/26524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 402 ms. (9 steps per ms) remains 26524/26524 properties
BEST_FIRST walk for 4003 steps (8 resets) in 366 ms. (10 steps per ms) remains 26524/26524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 391 ms. (10 steps per ms) remains 26524/26524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 471 ms. (8 steps per ms) remains 26524/26524 properties
Reachability property qltransition_21994 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 401 ms. (9 steps per ms) remains 26524/26524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 444 ms. (8 steps per ms) remains 26523/26524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 403 ms. (9 steps per ms) remains 26523/26523 properties
Reachability property qltransition_20663 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 419 ms. (9 steps per ms) remains 26523/26523 properties
Reachability property qltransition_19675 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 420 ms. (9 steps per ms) remains 26523/26523 properties
BEST_FIRST walk for 4004 steps (8 resets) in 406 ms. (9 steps per ms) remains 26523/26523 properties
BEST_FIRST walk for 4004 steps (8 resets) in 459 ms. (8 steps per ms) remains 26523/26523 properties
BEST_FIRST walk for 4003 steps (8 resets) in 387 ms. (10 steps per ms) remains 26522/26523 properties
BEST_FIRST walk for 4004 steps (8 resets) in 446 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 485 ms. (8 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 560 ms. (7 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4003 steps (8 resets) in 578 ms. (6 steps per ms) remains 26522/26522 properties
Reachability property qltransition_15271 is true.
Reachability property qltransition_15228 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 565 ms. (7 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 482 ms. (8 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 600 ms. (6 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 585 ms. (6 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 572 ms. (6 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 493 ms. (8 steps per ms) remains 26522/26522 properties
Reachability property qltransition_12392 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 467 ms. (8 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 643 ms. (6 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 529 ms. (7 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 533 ms. (7 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 616 ms. (6 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 611 ms. (6 steps per ms) remains 26521/26522 properties
BEST_FIRST walk for 4003 steps (8 resets) in 558 ms. (7 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 557 ms. (7 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 589 ms. (6 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 370 ms. (10 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 619 ms. (6 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4002 steps (8 resets) in 573 ms. (6 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 600 ms. (6 steps per ms) remains 26520/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 565 ms. (7 steps per ms) remains 26520/26520 properties
BEST_FIRST walk for 4004 steps (8 resets) in 556 ms. (7 steps per ms) remains 26520/26520 properties
BEST_FIRST walk for 4004 steps (8 resets) in 625 ms. (6 steps per ms) remains 26520/26520 properties
BEST_FIRST walk for 4004 steps (8 resets) in 499 ms. (8 steps per ms) remains 26520/26520 properties
BEST_FIRST walk for 4004 steps (8 resets) in 507 ms. (7 steps per ms) remains 26520/26520 properties
Reachability property qltransition_3026 is true.
Reachability property qltransition_2749 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 647 ms. (6 steps per ms) remains 26520/26520 properties
BEST_FIRST walk for 4004 steps (8 resets) in 606 ms. (6 steps per ms) remains 26520/26520 properties
BEST_FIRST walk for 4004 steps (8 resets) in 449 ms. (8 steps per ms) remains 26520/26520 properties
BEST_FIRST walk for 4003 steps (8 resets) in 408 ms. (9 steps per ms) remains 26520/26520 properties
BEST_FIRST walk for 4004 steps (8 resets) in 368 ms. (10 steps per ms) remains 26520/26520 properties
BEST_FIRST walk for 4004 steps (8 resets) in 392 ms. (10 steps per ms) remains 26520/26520 properties
BEST_FIRST walk for 4004 steps (8 resets) in 425 ms. (9 steps per ms) remains 26520/26520 properties
SDD proceeding with computation,27456 properties remain. new max is 64
SDD size :132 after 271
BEST_FIRST walk for 4003 steps (8 resets) in 365 ms. (10 steps per ms) remains 26520/26520 properties
BEST_FIRST walk for 4003 steps (8 resets) in 526 ms. (7 steps per ms) remains 26520/26520 properties
BEST_FIRST walk for 4004 steps (8 resets) in 515 ms. (7 steps per ms) remains 26520/26520 properties
BEST_FIRST walk for 4004 steps (8 resets) in 441 ms. (9 steps per ms) remains 26520/26520 properties
BEST_FIRST walk for 4004 steps (8 resets) in 523 ms. (7 steps per ms) remains 26520/26520 properties
Reachability property qltransition_26796 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 593 ms. (6 steps per ms) remains 26520/26520 properties
BEST_FIRST walk for 4004 steps (8 resets) in 584 ms. (6 steps per ms) remains 26520/26520 properties
BEST_FIRST walk for 4004 steps (8 resets) in 518 ms. (7 steps per ms) remains 26519/26520 properties
BEST_FIRST walk for 4003 steps (8 resets) in 555 ms. (7 steps per ms) remains 26519/26519 properties
BEST_FIRST walk for 4004 steps (8 resets) in 609 ms. (6 steps per ms) remains 26519/26519 properties
BEST_FIRST walk for 4004 steps (8 resets) in 577 ms. (6 steps per ms) remains 26519/26519 properties
BEST_FIRST walk for 4004 steps (8 resets) in 605 ms. (6 steps per ms) remains 26519/26519 properties
BEST_FIRST walk for 4004 steps (8 resets) in 477 ms. (8 steps per ms) remains 26519/26519 properties
BEST_FIRST walk for 4004 steps (8 resets) in 621 ms. (6 steps per ms) remains 26519/26519 properties
BEST_FIRST walk for 4004 steps (8 resets) in 581 ms. (6 steps per ms) remains 26518/26519 properties
BEST_FIRST walk for 4003 steps (8 resets) in 612 ms. (6 steps per ms) remains 26518/26518 properties
BEST_FIRST walk for 4004 steps (8 resets) in 570 ms. (7 steps per ms) remains 26517/26518 properties
Reachability property qltransition_20186 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 611 ms. (6 steps per ms) remains 26517/26517 properties
BEST_FIRST walk for 4003 steps (8 resets) in 526 ms. (7 steps per ms) remains 26516/26517 properties
BEST_FIRST walk for 4004 steps (8 resets) in 589 ms. (6 steps per ms) remains 26516/26516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 522 ms. (7 steps per ms) remains 26516/26516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 529 ms. (7 steps per ms) remains 26516/26516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 390 ms. (10 steps per ms) remains 26516/26516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 407 ms. (9 steps per ms) remains 26516/26516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 405 ms. (9 steps per ms) remains 26516/26516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 455 ms. (8 steps per ms) remains 26516/26516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 400 ms. (9 steps per ms) remains 26516/26516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 370 ms. (10 steps per ms) remains 26516/26516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 371 ms. (10 steps per ms) remains 26516/26516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 391 ms. (10 steps per ms) remains 26516/26516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 414 ms. (9 steps per ms) remains 26516/26516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 374 ms. (10 steps per ms) remains 26516/26516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 379 ms. (10 steps per ms) remains 26516/26516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 392 ms. (10 steps per ms) remains 26516/26516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 463 ms. (8 steps per ms) remains 26516/26516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 368 ms. (10 steps per ms) remains 26516/26516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 368 ms. (10 steps per ms) remains 26516/26516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 415 ms. (9 steps per ms) remains 26515/26516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 427 ms. (9 steps per ms) remains 26515/26515 properties
BEST_FIRST walk for 4004 steps (8 resets) in 389 ms. (10 steps per ms) remains 26515/26515 properties
BEST_FIRST walk for 4004 steps (8 resets) in 468 ms. (8 steps per ms) remains 26515/26515 properties
BEST_FIRST walk for 4004 steps (8 resets) in 388 ms. (10 steps per ms) remains 26515/26515 properties
BEST_FIRST walk for 4004 steps (8 resets) in 393 ms. (10 steps per ms) remains 26515/26515 properties
BEST_FIRST walk for 4004 steps (8 resets) in 460 ms. (8 steps per ms) remains 26515/26515 properties
BEST_FIRST walk for 4004 steps (8 resets) in 452 ms. (8 steps per ms) remains 26515/26515 properties
BEST_FIRST walk for 4003 steps (8 resets) in 412 ms. (9 steps per ms) remains 26515/26515 properties
BEST_FIRST walk for 4004 steps (8 resets) in 531 ms. (7 steps per ms) remains 26515/26515 properties
BEST_FIRST walk for 4004 steps (8 resets) in 415 ms. (9 steps per ms) remains 26515/26515 properties
BEST_FIRST walk for 4003 steps (8 resets) in 456 ms. (8 steps per ms) remains 26515/26515 properties
BEST_FIRST walk for 4004 steps (8 resets) in 450 ms. (8 steps per ms) remains 26515/26515 properties
BEST_FIRST walk for 4002 steps (8 resets) in 375 ms. (10 steps per ms) remains 26515/26515 properties
BEST_FIRST walk for 4004 steps (8 resets) in 379 ms. (10 steps per ms) remains 26514/26515 properties
Reachability property qltransition_6763 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 427 ms. (9 steps per ms) remains 26514/26514 properties
BEST_FIRST walk for 4004 steps (8 resets) in 432 ms. (9 steps per ms) remains 26514/26514 properties
BEST_FIRST walk for 4004 steps (8 resets) in 375 ms. (10 steps per ms) remains 26514/26514 properties
BEST_FIRST walk for 4004 steps (8 resets) in 353 ms. (11 steps per ms) remains 26514/26514 properties
BEST_FIRST walk for 4004 steps (8 resets) in 397 ms. (10 steps per ms) remains 26514/26514 properties
BEST_FIRST walk for 4003 steps (8 resets) in 371 ms. (10 steps per ms) remains 26514/26514 properties
BEST_FIRST walk for 4004 steps (8 resets) in 356 ms. (11 steps per ms) remains 26514/26514 properties
BEST_FIRST walk for 4004 steps (8 resets) in 431 ms. (9 steps per ms) remains 26514/26514 properties
BEST_FIRST walk for 4004 steps (8 resets) in 421 ms. (9 steps per ms) remains 26514/26514 properties
BEST_FIRST walk for 4004 steps (8 resets) in 369 ms. (10 steps per ms) remains 26514/26514 properties
BEST_FIRST walk for 4004 steps (8 resets) in 433 ms. (9 steps per ms) remains 26514/26514 properties
BEST_FIRST walk for 4003 steps (8 resets) in 383 ms. (10 steps per ms) remains 26514/26514 properties
BEST_FIRST walk for 4004 steps (8 resets) in 413 ms. (9 steps per ms) remains 26514/26514 properties
BEST_FIRST walk for 4004 steps (8 resets) in 388 ms. (10 steps per ms) remains 26514/26514 properties
BEST_FIRST walk for 4004 steps (8 resets) in 383 ms. (10 steps per ms) remains 26513/26514 properties
BEST_FIRST walk for 4003 steps (8 resets) in 378 ms. (10 steps per ms) remains 26513/26513 properties
BEST_FIRST walk for 4004 steps (8 resets) in 458 ms. (8 steps per ms) remains 26513/26513 properties
BEST_FIRST walk for 4004 steps (8 resets) in 399 ms. (10 steps per ms) remains 26513/26513 properties
BEST_FIRST walk for 4004 steps (8 resets) in 482 ms. (8 steps per ms) remains 26513/26513 properties
SDD proceeding with computation,27453 properties remain. new max is 64
SDD size :271 after 291
BEST_FIRST walk for 4003 steps (8 resets) in 526 ms. (7 steps per ms) remains 26513/26513 properties
BEST_FIRST walk for 4003 steps (8 resets) in 463 ms. (8 steps per ms) remains 26513/26513 properties
BEST_FIRST walk for 4004 steps (8 resets) in 358 ms. (11 steps per ms) remains 26513/26513 properties
BEST_FIRST walk for 4004 steps (8 resets) in 458 ms. (8 steps per ms) remains 26513/26513 properties
BEST_FIRST walk for 4004 steps (8 resets) in 408 ms. (9 steps per ms) remains 26513/26513 properties
BEST_FIRST walk for 4004 steps (8 resets) in 363 ms. (11 steps per ms) remains 26513/26513 properties
BEST_FIRST walk for 4004 steps (8 resets) in 359 ms. (11 steps per ms) remains 26513/26513 properties
BEST_FIRST walk for 4003 steps (8 resets) in 354 ms. (11 steps per ms) remains 26512/26513 properties
BEST_FIRST walk for 4004 steps (8 resets) in 472 ms. (8 steps per ms) remains 26512/26512 properties
BEST_FIRST walk for 4004 steps (8 resets) in 361 ms. (11 steps per ms) remains 26512/26512 properties
BEST_FIRST walk for 4004 steps (8 resets) in 363 ms. (11 steps per ms) remains 26512/26512 properties
BEST_FIRST walk for 4004 steps (8 resets) in 374 ms. (10 steps per ms) remains 26512/26512 properties
BEST_FIRST walk for 4004 steps (8 resets) in 372 ms. (10 steps per ms) remains 26512/26512 properties
BEST_FIRST walk for 4004 steps (8 resets) in 397 ms. (10 steps per ms) remains 26512/26512 properties
BEST_FIRST walk for 4002 steps (8 resets) in 459 ms. (8 steps per ms) remains 26512/26512 properties
BEST_FIRST walk for 4004 steps (8 resets) in 394 ms. (10 steps per ms) remains 26512/26512 properties
BEST_FIRST walk for 4004 steps (8 resets) in 409 ms. (9 steps per ms) remains 26512/26512 properties
BEST_FIRST walk for 4004 steps (8 resets) in 428 ms. (9 steps per ms) remains 26512/26512 properties
BEST_FIRST walk for 4003 steps (8 resets) in 415 ms. (9 steps per ms) remains 26512/26512 properties
BEST_FIRST walk for 4003 steps (8 resets) in 355 ms. (11 steps per ms) remains 26512/26512 properties
BEST_FIRST walk for 4004 steps (8 resets) in 351 ms. (11 steps per ms) remains 26512/26512 properties
BEST_FIRST walk for 4004 steps (8 resets) in 386 ms. (10 steps per ms) remains 26511/26512 properties
BEST_FIRST walk for 4004 steps (8 resets) in 420 ms. (9 steps per ms) remains 26510/26511 properties
BEST_FIRST walk for 4003 steps (8 resets) in 414 ms. (9 steps per ms) remains 26510/26510 properties
BEST_FIRST walk for 4004 steps (8 resets) in 366 ms. (10 steps per ms) remains 26509/26510 properties
BEST_FIRST walk for 4004 steps (8 resets) in 549 ms. (7 steps per ms) remains 26509/26509 properties
BEST_FIRST walk for 4004 steps (8 resets) in 469 ms. (8 steps per ms) remains 26509/26509 properties
BEST_FIRST walk for 4004 steps (8 resets) in 481 ms. (8 steps per ms) remains 26509/26509 properties
BEST_FIRST walk for 4004 steps (8 resets) in 372 ms. (10 steps per ms) remains 26509/26509 properties
BEST_FIRST walk for 4004 steps (8 resets) in 362 ms. (11 steps per ms) remains 26509/26509 properties
BEST_FIRST walk for 4004 steps (8 resets) in 360 ms. (11 steps per ms) remains 26509/26509 properties
BEST_FIRST walk for 4004 steps (8 resets) in 422 ms. (9 steps per ms) remains 26509/26509 properties
Reachability property qltransition_18819 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 545 ms. (7 steps per ms) remains 26509/26509 properties
BEST_FIRST walk for 4004 steps (8 resets) in 586 ms. (6 steps per ms) remains 26508/26509 properties
BEST_FIRST walk for 4004 steps (8 resets) in 564 ms. (7 steps per ms) remains 26508/26508 properties
BEST_FIRST walk for 4004 steps (8 resets) in 599 ms. (6 steps per ms) remains 26507/26508 properties
BEST_FIRST walk for 4004 steps (8 resets) in 566 ms. (7 steps per ms) remains 26507/26507 properties
BEST_FIRST walk for 4003 steps (8 resets) in 542 ms. (7 steps per ms) remains 26507/26507 properties
BEST_FIRST walk for 4004 steps (8 resets) in 522 ms. (7 steps per ms) remains 26507/26507 properties
BEST_FIRST walk for 4004 steps (8 resets) in 434 ms. (9 steps per ms) remains 26507/26507 properties
BEST_FIRST walk for 4004 steps (8 resets) in 452 ms. (8 steps per ms) remains 26506/26507 properties
BEST_FIRST walk for 4004 steps (8 resets) in 413 ms. (9 steps per ms) remains 26506/26506 properties
BEST_FIRST walk for 4004 steps (8 resets) in 380 ms. (10 steps per ms) remains 26506/26506 properties
Reachability property qltransition_14180 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 366 ms. (10 steps per ms) remains 26506/26506 properties
Reachability property qltransition_14022 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 349 ms. (11 steps per ms) remains 26506/26506 properties
BEST_FIRST walk for 4004 steps (8 resets) in 466 ms. (8 steps per ms) remains 26505/26506 properties
BEST_FIRST walk for 4004 steps (8 resets) in 441 ms. (9 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 361 ms. (11 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 442 ms. (9 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4003 steps (8 resets) in 418 ms. (9 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 488 ms. (8 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 643 ms. (6 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 659 ms. (6 steps per ms) remains 26505/26505 properties
Reachability property qltransition_10874 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 602 ms. (6 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 605 ms. (6 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 603 ms. (6 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 545 ms. (7 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 539 ms. (7 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 495 ms. (8 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 479 ms. (8 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 575 ms. (6 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 409 ms. (9 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 412 ms. (9 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4003 steps (8 resets) in 446 ms. (8 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 412 ms. (9 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 404 ms. (9 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4003 steps (8 resets) in 362 ms. (11 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 387 ms. (10 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 378 ms. (10 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 396 ms. (10 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4003 steps (8 resets) in 432 ms. (9 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 391 ms. (10 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 437 ms. (9 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 421 ms. (9 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 364 ms. (10 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 407 ms. (9 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 373 ms. (10 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 436 ms. (9 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4003 steps (8 resets) in 526 ms. (7 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4003 steps (8 resets) in 511 ms. (7 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 471 ms. (8 steps per ms) remains 26505/26505 properties
SDD proceeding with computation,27449 properties remain. new max is 64
SDD size :291 after 339
BEST_FIRST walk for 4004 steps (8 resets) in 378 ms. (10 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 410 ms. (9 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 438 ms. (9 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 393 ms. (10 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 428 ms. (9 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 380 ms. (10 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 396 ms. (10 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4002 steps (8 resets) in 407 ms. (9 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 404 ms. (9 steps per ms) remains 26503/26505 properties
BEST_FIRST walk for 4002 steps (8 resets) in 408 ms. (9 steps per ms) remains 26503/26503 properties
BEST_FIRST walk for 4004 steps (8 resets) in 461 ms. (8 steps per ms) remains 26503/26503 properties
BEST_FIRST walk for 4004 steps (8 resets) in 390 ms. (10 steps per ms) remains 26503/26503 properties
BEST_FIRST walk for 4003 steps (8 resets) in 475 ms. (8 steps per ms) remains 26503/26503 properties
BEST_FIRST walk for 4004 steps (8 resets) in 354 ms. (11 steps per ms) remains 26503/26503 properties
BEST_FIRST walk for 4004 steps (8 resets) in 444 ms. (8 steps per ms) remains 26503/26503 properties
BEST_FIRST walk for 4004 steps (8 resets) in 416 ms. (9 steps per ms) remains 26503/26503 properties
BEST_FIRST walk for 4003 steps (8 resets) in 423 ms. (9 steps per ms) remains 26503/26503 properties
BEST_FIRST walk for 4004 steps (8 resets) in 390 ms. (10 steps per ms) remains 26503/26503 properties
BEST_FIRST walk for 4004 steps (8 resets) in 369 ms. (10 steps per ms) remains 26503/26503 properties
BEST_FIRST walk for 4004 steps (8 resets) in 363 ms. (11 steps per ms) remains 26503/26503 properties
BEST_FIRST walk for 4003 steps (8 resets) in 471 ms. (8 steps per ms) remains 26502/26503 properties
BEST_FIRST walk for 4004 steps (8 resets) in 494 ms. (8 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4003 steps (8 resets) in 564 ms. (7 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 394 ms. (10 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4003 steps (8 resets) in 409 ms. (9 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 393 ms. (10 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 354 ms. (11 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 406 ms. (9 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 384 ms. (10 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 459 ms. (8 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 350 ms. (11 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 361 ms. (11 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 360 ms. (11 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 397 ms. (10 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 444 ms. (8 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 427 ms. (9 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 368 ms. (10 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 363 ms. (11 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 410 ms. (9 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 362 ms. (11 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 383 ms. (10 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 454 ms. (8 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 354 ms. (11 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4003 steps (8 resets) in 396 ms. (10 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 451 ms. (8 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 400 ms. (9 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4003 steps (8 resets) in 440 ms. (9 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 475 ms. (8 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 518 ms. (7 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 446 ms. (8 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 404 ms. (9 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 409 ms. (9 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 371 ms. (10 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 405 ms. (9 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 380 ms. (10 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 454 ms. (8 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 393 ms. (10 steps per ms) remains 26501/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 434 ms. (9 steps per ms) remains 26501/26501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 398 ms. (10 steps per ms) remains 26501/26501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 360 ms. (11 steps per ms) remains 26501/26501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 464 ms. (8 steps per ms) remains 26501/26501 properties
BEST_FIRST walk for 4003 steps (8 resets) in 381 ms. (10 steps per ms) remains 26501/26501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 395 ms. (10 steps per ms) remains 26501/26501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 421 ms. (9 steps per ms) remains 26501/26501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 26501/26501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 367 ms. (10 steps per ms) remains 26501/26501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 459 ms. (8 steps per ms) remains 26501/26501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 401 ms. (9 steps per ms) remains 26501/26501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 355 ms. (11 steps per ms) remains 26501/26501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 362 ms. (11 steps per ms) remains 26501/26501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 350 ms. (11 steps per ms) remains 26501/26501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 455 ms. (8 steps per ms) remains 26501/26501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 445 ms. (8 steps per ms) remains 26501/26501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 504 ms. (7 steps per ms) remains 26501/26501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 415 ms. (9 steps per ms) remains 26501/26501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 360 ms. (11 steps per ms) remains 26501/26501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 385 ms. (10 steps per ms) remains 26500/26501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 446 ms. (8 steps per ms) remains 26500/26500 properties
BEST_FIRST walk for 4004 steps (8 resets) in 383 ms. (10 steps per ms) remains 26500/26500 properties
BEST_FIRST walk for 4004 steps (8 resets) in 348 ms. (11 steps per ms) remains 26500/26500 properties
BEST_FIRST walk for 4004 steps (8 resets) in 476 ms. (8 steps per ms) remains 26500/26500 properties
BEST_FIRST walk for 4004 steps (8 resets) in 399 ms. (10 steps per ms) remains 26500/26500 properties
BEST_FIRST walk for 4004 steps (8 resets) in 349 ms. (11 steps per ms) remains 26500/26500 properties
BEST_FIRST walk for 4004 steps (8 resets) in 424 ms. (9 steps per ms) remains 26499/26500 properties
BEST_FIRST walk for 4003 steps (8 resets) in 365 ms. (10 steps per ms) remains 26499/26499 properties
BEST_FIRST walk for 4004 steps (8 resets) in 448 ms. (8 steps per ms) remains 26499/26499 properties
BEST_FIRST walk for 4004 steps (8 resets) in 379 ms. (10 steps per ms) remains 26499/26499 properties
BEST_FIRST walk for 4004 steps (8 resets) in 455 ms. (8 steps per ms) remains 26499/26499 properties
BEST_FIRST walk for 4004 steps (8 resets) in 411 ms. (9 steps per ms) remains 26499/26499 properties
BEST_FIRST walk for 4004 steps (8 resets) in 457 ms. (8 steps per ms) remains 26499/26499 properties
BEST_FIRST walk for 4004 steps (8 resets) in 390 ms. (10 steps per ms) remains 26499/26499 properties
BEST_FIRST walk for 4004 steps (8 resets) in 418 ms. (9 steps per ms) remains 26499/26499 properties
BEST_FIRST walk for 4004 steps (8 resets) in 355 ms. (11 steps per ms) remains 26498/26499 properties
BEST_FIRST walk for 4004 steps (8 resets) in 362 ms. (11 steps per ms) remains 26497/26498 properties
BEST_FIRST walk for 4004 steps (8 resets) in 385 ms. (10 steps per ms) remains 26497/26497 properties
BEST_FIRST walk for 4004 steps (8 resets) in 388 ms. (10 steps per ms) remains 26497/26497 properties
BEST_FIRST walk for 4003 steps (8 resets) in 369 ms. (10 steps per ms) remains 26497/26497 properties
BEST_FIRST walk for 4004 steps (8 resets) in 422 ms. (9 steps per ms) remains 26497/26497 properties
BEST_FIRST walk for 4004 steps (8 resets) in 460 ms. (8 steps per ms) remains 26496/26497 properties
BEST_FIRST walk for 4003 steps (8 resets) in 536 ms. (7 steps per ms) remains 26496/26496 properties
BEST_FIRST walk for 4004 steps (8 resets) in 415 ms. (9 steps per ms) remains 26496/26496 properties
BEST_FIRST walk for 4004 steps (8 resets) in 425 ms. (9 steps per ms) remains 26496/26496 properties
BEST_FIRST walk for 4004 steps (8 resets) in 398 ms. (10 steps per ms) remains 26496/26496 properties
BEST_FIRST walk for 4004 steps (8 resets) in 446 ms. (8 steps per ms) remains 26496/26496 properties
BEST_FIRST walk for 4003 steps (8 resets) in 401 ms. (9 steps per ms) remains 26495/26496 properties
BEST_FIRST walk for 4004 steps (8 resets) in 391 ms. (10 steps per ms) remains 26495/26495 properties
BEST_FIRST walk for 4004 steps (8 resets) in 466 ms. (8 steps per ms) remains 26495/26495 properties
BEST_FIRST walk for 4004 steps (8 resets) in 382 ms. (10 steps per ms) remains 26494/26495 properties
BEST_FIRST walk for 4004 steps (8 resets) in 406 ms. (9 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 450 ms. (8 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 403 ms. (9 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 396 ms. (10 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4003 steps (8 resets) in 406 ms. (9 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 388 ms. (10 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 378 ms. (10 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 398 ms. (10 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4003 steps (8 resets) in 450 ms. (8 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 388 ms. (10 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 376 ms. (10 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4003 steps (8 resets) in 482 ms. (8 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 425 ms. (9 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 450 ms. (8 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4003 steps (8 resets) in 537 ms. (7 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 582 ms. (6 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 517 ms. (7 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 632 ms. (6 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 397 ms. (10 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 484 ms. (8 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 420 ms. (9 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 357 ms. (11 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4003 steps (8 resets) in 529 ms. (7 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 388 ms. (10 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 378 ms. (10 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 448 ms. (8 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 420 ms. (9 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 413 ms. (9 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 412 ms. (9 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 360 ms. (11 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4003 steps (8 resets) in 356 ms. (11 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4003 steps (8 resets) in 355 ms. (11 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 366 ms. (10 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 392 ms. (10 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4003 steps (8 resets) in 355 ms. (11 steps per ms) remains 26493/26494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 352 ms. (11 steps per ms) remains 26493/26493 properties
BEST_FIRST walk for 4004 steps (8 resets) in 361 ms. (11 steps per ms) remains 26493/26493 properties
BEST_FIRST walk for 4003 steps (8 resets) in 445 ms. (8 steps per ms) remains 26493/26493 properties
BEST_FIRST walk for 4004 steps (8 resets) in 425 ms. (9 steps per ms) remains 26493/26493 properties
BEST_FIRST walk for 4003 steps (8 resets) in 443 ms. (9 steps per ms) remains 26493/26493 properties
BEST_FIRST walk for 4004 steps (8 resets) in 406 ms. (9 steps per ms) remains 26493/26493 properties
BEST_FIRST walk for 4003 steps (8 resets) in 392 ms. (10 steps per ms) remains 26493/26493 properties
BEST_FIRST walk for 4003 steps (8 resets) in 566 ms. (7 steps per ms) remains 26493/26493 properties
BEST_FIRST walk for 4003 steps (8 resets) in 497 ms. (8 steps per ms) remains 26492/26493 properties
BEST_FIRST walk for 4004 steps (8 resets) in 444 ms. (8 steps per ms) remains 26492/26492 properties
BEST_FIRST walk for 4004 steps (8 resets) in 383 ms. (10 steps per ms) remains 26492/26492 properties
BEST_FIRST walk for 4004 steps (8 resets) in 399 ms. (10 steps per ms) remains 26492/26492 properties
BEST_FIRST walk for 4004 steps (8 resets) in 400 ms. (9 steps per ms) remains 26492/26492 properties
BEST_FIRST walk for 4004 steps (8 resets) in 361 ms. (11 steps per ms) remains 26492/26492 properties
BEST_FIRST walk for 4004 steps (8 resets) in 428 ms. (9 steps per ms) remains 26492/26492 properties
BEST_FIRST walk for 4004 steps (8 resets) in 369 ms. (10 steps per ms) remains 26492/26492 properties
BEST_FIRST walk for 4004 steps (8 resets) in 366 ms. (10 steps per ms) remains 26492/26492 properties
BEST_FIRST walk for 4004 steps (8 resets) in 446 ms. (8 steps per ms) remains 26492/26492 properties
BEST_FIRST walk for 4004 steps (8 resets) in 415 ms. (9 steps per ms) remains 26492/26492 properties
BEST_FIRST walk for 4004 steps (8 resets) in 355 ms. (11 steps per ms) remains 26492/26492 properties
BEST_FIRST walk for 4004 steps (8 resets) in 367 ms. (10 steps per ms) remains 26492/26492 properties
BEST_FIRST walk for 4004 steps (8 resets) in 361 ms. (11 steps per ms) remains 26492/26492 properties
BEST_FIRST walk for 4003 steps (8 resets) in 368 ms. (10 steps per ms) remains 26492/26492 properties
BEST_FIRST walk for 4003 steps (8 resets) in 357 ms. (11 steps per ms) remains 26492/26492 properties
BEST_FIRST walk for 4004 steps (8 resets) in 395 ms. (10 steps per ms) remains 26492/26492 properties
BEST_FIRST walk for 4004 steps (8 resets) in 408 ms. (9 steps per ms) remains 26492/26492 properties
BEST_FIRST walk for 4003 steps (8 resets) in 384 ms. (10 steps per ms) remains 26491/26492 properties
BEST_FIRST walk for 4004 steps (8 resets) in 440 ms. (9 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 390 ms. (10 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 353 ms. (11 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4003 steps (8 resets) in 426 ms. (9 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 397 ms. (10 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 528 ms. (7 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 489 ms. (8 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4003 steps (8 resets) in 452 ms. (8 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 372 ms. (10 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 428 ms. (9 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 394 ms. (10 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 434 ms. (9 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4003 steps (8 resets) in 427 ms. (9 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 348 ms. (11 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 344 ms. (11 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 370 ms. (10 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 364 ms. (10 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 353 ms. (11 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 357 ms. (11 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 441 ms. (9 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 395 ms. (10 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 430 ms. (9 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 413 ms. (9 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 366 ms. (10 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 466 ms. (8 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 395 ms. (10 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 415 ms. (9 steps per ms) remains 26490/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 399 ms. (10 steps per ms) remains 26489/26490 properties
BEST_FIRST walk for 4003 steps (8 resets) in 431 ms. (9 steps per ms) remains 26489/26489 properties
BEST_FIRST walk for 4004 steps (8 resets) in 421 ms. (9 steps per ms) remains 26489/26489 properties
BEST_FIRST walk for 4004 steps (8 resets) in 492 ms. (8 steps per ms) remains 26489/26489 properties
BEST_FIRST walk for 4003 steps (8 resets) in 452 ms. (8 steps per ms) remains 26489/26489 properties
BEST_FIRST walk for 4004 steps (8 resets) in 443 ms. (9 steps per ms) remains 26489/26489 properties
BEST_FIRST walk for 4004 steps (8 resets) in 352 ms. (11 steps per ms) remains 26489/26489 properties
BEST_FIRST walk for 4004 steps (8 resets) in 357 ms. (11 steps per ms) remains 26489/26489 properties
BEST_FIRST walk for 4004 steps (8 resets) in 439 ms. (9 steps per ms) remains 26489/26489 properties
BEST_FIRST walk for 4004 steps (8 resets) in 390 ms. (10 steps per ms) remains 26489/26489 properties
BEST_FIRST walk for 4004 steps (8 resets) in 347 ms. (11 steps per ms) remains 26489/26489 properties
BEST_FIRST walk for 4003 steps (8 resets) in 419 ms. (9 steps per ms) remains 26489/26489 properties
BEST_FIRST walk for 4004 steps (8 resets) in 354 ms. (11 steps per ms) remains 26489/26489 properties
BEST_FIRST walk for 4003 steps (8 resets) in 368 ms. (10 steps per ms) remains 26489/26489 properties
BEST_FIRST walk for 4004 steps (8 resets) in 350 ms. (11 steps per ms) remains 26489/26489 properties
BEST_FIRST walk for 4004 steps (8 resets) in 450 ms. (8 steps per ms) remains 26488/26489 properties
BEST_FIRST walk for 4004 steps (8 resets) in 382 ms. (10 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4003 steps (8 resets) in 426 ms. (9 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 412 ms. (9 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4002 steps (8 resets) in 372 ms. (10 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 419 ms. (9 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 397 ms. (10 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 375 ms. (10 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 428 ms. (9 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 365 ms. (10 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 361 ms. (11 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 351 ms. (11 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4003 steps (8 resets) in 349 ms. (11 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 432 ms. (9 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 422 ms. (9 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4002 steps (8 resets) in 437 ms. (9 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 399 ms. (10 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 385 ms. (10 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 449 ms. (8 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 393 ms. (10 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 347 ms. (11 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 398 ms. (10 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 452 ms. (8 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 375 ms. (10 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 358 ms. (11 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4003 steps (8 resets) in 343 ms. (11 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 362 ms. (11 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 352 ms. (11 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 411 ms. (9 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 510 ms. (7 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 603 ms. (6 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 546 ms. (7 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 566 ms. (7 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 550 ms. (7 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4002 steps (8 resets) in 547 ms. (7 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4003 steps (8 resets) in 540 ms. (7 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 551 ms. (7 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 575 ms. (6 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 562 ms. (7 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 643 ms. (6 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 664 ms. (6 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 632 ms. (6 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4003 steps (8 resets) in 599 ms. (6 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 549 ms. (7 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 571 ms. (7 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 527 ms. (7 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 550 ms. (7 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 570 ms. (7 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4003 steps (8 resets) in 575 ms. (6 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 580 ms. (6 steps per ms) remains 26488/26488 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.
SDD proceeding with computation,27445 properties remain. new max is 64
SDD size :339 after 387
SDD proceeding with computation,27445 properties remain. new max is 128
SDD size :387 after 401
SDD proceeding with computation,27445 properties remain. new max is 256
SDD size :401 after 429
Reachability property qltransition_27689 is true.
Reachability property qltransition_26059 is true.
Reachability property qltransition_25453 is true.
Reachability property qltransition_22108 is true.
Reachability property qltransition_20778 is true.
Reachability property qltransition_20597 is true.
Reachability property qltransition_15557 is true.
Reachability property qltransition_14193 is true.
Reachability property qltransition_10672 is true.
Reachability property qltransition_8811 is true.
Reachability property qltransition_8102 is true.
Reachability property qltransition_7202 is true.
Reachability property qltransition_4212 is true.
Reachability property qltransition_3274 is true.
Reachability property qltransition_1528 is true.
SDD proceeding with computation,27430 properties remain. new max is 256
SDD size :429 after 968
Reachability property qltransition_27670 is true.
Reachability property qltransition_26830 is true.
Reachability property qltransition_25357 is true.
Reachability property qltransition_25125 is true.
Reachability property qltransition_24041 is true.
Reachability property qltransition_21749 is true.
Reachability property qltransition_21610 is true.
Reachability property qltransition_21153 is true.
Reachability property qltransition_20925 is true.
Reachability property qltransition_20195 is true.
Reachability property qltransition_19461 is true.
Reachability property qltransition_19419 is true.
Reachability property qltransition_11813 is true.
Reachability property qltransition_11223 is true.
Reachability property qltransition_10174 is true.
Reachability property qltransition_9207 is true.
Reachability property qltransition_5678 is true.
Reachability property qltransition_5265 is true.
Reachability property qltransition_292 is true.
SDD proceeding with computation,27411 properties remain. new max is 256
SDD size :968 after 2861
Reachability property qltransition_27845 is true.
Reachability property qltransition_27692 is true.
Reachability property qltransition_27546 is true.
Reachability property qltransition_22809 is true.
Reachability property qltransition_22697 is true.
Reachability property qltransition_21215 is true.
Reachability property qltransition_20451 is true.
Reachability property qltransition_16759 is true.
Reachability property qltransition_15870 is true.
Reachability property qltransition_14987 is true.
Reachability property qltransition_12371 is true.
Reachability property qltransition_12201 is true.
Reachability property qltransition_11632 is true.
Reachability property qltransition_10877 is true.
Reachability property qltransition_9569 is true.
Reachability property qltransition_9180 is true.
Reachability property qltransition_9169 is true.
Reachability property qltransition_8565 is true.
Reachability property qltransition_8558 is true.
Reachability property qltransition_6707 is true.
Reachability property qltransition_3795 is true.
Reachability property qltransition_2866 is true.
Reachability property qltransition_2844 is true.
Reachability property qltransition_2685 is true.
Reachability property qltransition_2095 is true.
SDD proceeding with computation,27386 properties remain. new max is 256
SDD size :2861 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_23707 is true.
Reachability property qltransition_21587 is true.
Reachability property qltransition_20706 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_10161 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_6410 is true.
Reachability property qltransition_5465 is true.
Reachability property qltransition_3997 is true.
Reachability property qltransition_1844 is true.
Reachability property qltransition_1428 is true.
Reachability property qltransition_165 is true.
SDD proceeding with computation,27363 properties remain. new max is 256
SDD size :4862 after 10361
Reachability property qltransition_27553 is true.
Reachability property qltransition_26554 is true.
Reachability property qltransition_26057 is true.
Reachability property qltransition_24257 is true.
Reachability property qltransition_23980 is true.
Reachability property qltransition_22808 is true.
Reachability property qltransition_22323 is true.
Reachability property qltransition_20575 is true.
Reachability property qltransition_18738 is true.
Reachability property qltransition_14958 is true.
Reachability property qltransition_14638 is true.
Reachability property qltransition_14394 is true.
Reachability property qltransition_13124 is true.
Reachability property qltransition_12945 is true.
Reachability property qltransition_12858 is true.
Reachability property qltransition_12429 is true.
Reachability property qltransition_11861 is true.
Reachability property qltransition_10907 is true.
Reachability property qltransition_8407 is true.
Reachability property qltransition_8323 is true.
Reachability property qltransition_7917 is true.
Reachability property qltransition_7906 is true.
Reachability property qltransition_7834 is true.
Reachability property qltransition_7780 is true.
Reachability property qltransition_6372 is true.
Reachability property qltransition_5930 is true.
Reachability property qltransition_4570 is true.
Reachability property qltransition_3785 is true.
Reachability property qltransition_2673 is true.
Reachability property qltransition_2484 is true.
Reachability property qltransition_1013 is true.
Reachability property qltransition_395 is true.
SDD proceeding with computation,27331 properties remain. new max is 256
SDD size :10361 after 33603
Reachability property qltransition_25606 is true.
Reachability property qltransition_25162 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_14823 is true.
Reachability property qltransition_14081 is true.
Reachability property qltransition_11150 is true.
Reachability property qltransition_11110 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_4791 is true.
Reachability property qltransition_4756 is true.
Reachability property qltransition_3790 is true.
Reachability property qltransition_3643 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,27306 properties remain. new max is 256
SDD size :33603 after 39780
Reachability property qltransition_27859 is true.
Reachability property qltransition_26827 is true.
Reachability property qltransition_26563 is true.
Reachability property qltransition_25934 is true.
Reachability property qltransition_25498 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_14005 is true.
Reachability property qltransition_13507 is true.
Reachability property qltransition_13040 is true.
Reachability property qltransition_12326 is true.
Reachability property qltransition_11573 is true.
Reachability property qltransition_11096 is true.
Reachability property qltransition_10596 is true.
Reachability property qltransition_9262 is true.
Reachability property qltransition_8579 is true.
Reachability property qltransition_6569 is true.
Reachability property qltransition_6463 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_2649 is true.
Reachability property qltransition_1849 is true.
Reachability property qltransition_796 is true.
SDD proceeding with computation,27275 properties remain. new max is 256
SDD size :39780 after 117649
Reachability property qltransition_26140 is true.
Reachability property qltransition_25233 is true.
Reachability property qltransition_23431 is true.
Reachability property qltransition_20035 is true.
Reachability property qltransition_18552 is true.
Reachability property qltransition_17518 is true.
Reachability property qltransition_16535 is true.
Reachability property qltransition_15592 is true.
Reachability property qltransition_14710 is true.
Reachability property qltransition_11784 is true.
Reachability property qltransition_11731 is true.
Reachability property qltransition_10756 is true.
Reachability property qltransition_9850 is true.
Reachability property qltransition_8760 is true.
Reachability property qltransition_7095 is true.
Reachability property qltransition_6966 is true.
Reachability property qltransition_4464 is true.
Reachability property qltransition_2903 is true.
Reachability property qltransition_2159 is true.
Reachability property qltransition_1916 is true.
Reachability property qltransition_1543 is true.
Reachability property qltransition_1305 is true.
SDD proceeding with computation,27253 properties remain. new max is 256
SDD size :117649 after 127568
Reachability property qltransition_27513 is true.
Reachability property qltransition_26212 is true.
Reachability property qltransition_21825 is true.
Reachability property qltransition_19841 is true.
Reachability property qltransition_14528 is true.
Reachability property qltransition_13443 is true.
Reachability property qltransition_11165 is true.
Reachability property qltransition_923 is true.
SDD proceeding with computation,27245 properties remain. new max is 256
SDD size :127568 after 134913
SDD proceeding with computation,27245 properties remain. new max is 512
SDD size :134913 after 135550
Reachability property qltransition_22095 is true.
Reachability property qltransition_19313 is true.
Reachability property qltransition_16543 is true.
Reachability property qltransition_13679 is true.
Reachability property qltransition_2281 is true.
Reachability property qltransition_2034 is true.
Reachability property qltransition_1978 is true.
Reachability property qltransition_1286 is true.
Reachability property qltransition_102 is true.
SDD proceeding with computation,27236 properties remain. new max is 512
SDD size :135550 after 153035
Reachability property qltransition_23761 is true.
Reachability property qltransition_22780 is true.
Reachability property qltransition_22172 is true.
Reachability property qltransition_21442 is true.
Reachability property qltransition_16463 is true.
Reachability property qltransition_13626 is true.
Reachability property qltransition_12340 is true.
Reachability property qltransition_9702 is true.
Reachability property qltransition_6337 is true.
Reachability property qltransition_3311 is true.
SDD proceeding with computation,27226 properties remain. new max is 512
SDD size :153035 after 196078
Reachability property qltransition_25595 is true.
Reachability property qltransition_25204 is true.
Reachability property qltransition_24521 is true.
Reachability property qltransition_23678 is true.
Reachability property qltransition_22989 is true.
Reachability property qltransition_22825 is true.
Reachability property qltransition_21158 is true.
Reachability property qltransition_20372 is true.
Reachability property qltransition_20309 is true.
Reachability property qltransition_20246 is true.
Reachability property qltransition_18230 is true.
Reachability property qltransition_16257 is true.
Reachability property qltransition_16153 is true.
Reachability property qltransition_13458 is true.
Reachability property qltransition_11700 is true.
Reachability property qltransition_4959 is true.
Reachability property qltransition_3210 is true.
Reachability property qltransition_401 is true.
SDD proceeding with computation,27208 properties remain. new max is 512
SDD size :196078 after 416114
Reachability property qltransition_27758 is true.
Reachability property qltransition_27714 is true.
Reachability property qltransition_27668 is true.
Reachability property qltransition_27204 is true.
Reachability property qltransition_26681 is true.
Reachability property qltransition_26167 is true.
Reachability property qltransition_25439 is true.
Reachability property qltransition_24538 is true.
Reachability property qltransition_24271 is true.
Reachability property qltransition_22626 is true.
Reachability property qltransition_22272 is true.
Reachability property qltransition_21152 is true.
Reachability property qltransition_20619 is true.
Reachability property qltransition_20223 is true.
Reachability property qltransition_20171 is true.
Reachability property qltransition_18947 is true.
Reachability property qltransition_18872 is true.
Reachability property qltransition_17882 is true.
Reachability property qltransition_17501 is true.
Reachability property qltransition_17164 is true.
Reachability property qltransition_16878 is true.
Reachability property qltransition_16789 is true.
Reachability property qltransition_16619 is true.
Reachability property qltransition_16352 is true.
Reachability property qltransition_15796 is true.
Reachability property qltransition_15669 is true.
Reachability property qltransition_15624 is true.
Reachability property qltransition_14826 is true.
Reachability property qltransition_14245 is true.
Reachability property qltransition_14095 is true.
Reachability property qltransition_13979 is true.
Reachability property qltransition_12971 is true.
Reachability property qltransition_12655 is true.
Reachability property qltransition_11093 is true.
Reachability property qltransition_9960 is true.
Reachability property qltransition_9879 is true.
Reachability property qltransition_9809 is true.
Reachability property qltransition_9509 is true.
Reachability property qltransition_8994 is true.
Reachability property qltransition_8138 is true.
Reachability property qltransition_7862 is true.
Reachability property qltransition_7503 is true.
Reachability property qltransition_7248 is true.
Reachability property qltransition_6727 is true.
Reachability property qltransition_6635 is true.
Reachability property qltransition_6517 is true.
Reachability property qltransition_6298 is true.
Reachability property qltransition_5829 is true.
Reachability property qltransition_5825 is true.
Reachability property qltransition_5120 is true.
Reachability property qltransition_4666 is true.
Reachability property qltransition_4596 is true.
Reachability property qltransition_4541 is true.
Reachability property qltransition_4355 is true.
Reachability property qltransition_1427 is true.
Reachability property qltransition_915 is true.
Reachability property qltransition_769 is true.
SDD proceeding with computation,27151 properties remain. new max is 512
SDD size :416114 after 742900
Reachability property qltransition_27675 is true.
Reachability property qltransition_27452 is true.
Reachability property qltransition_27400 is true.
Reachability property qltransition_27288 is true.
Reachability property qltransition_26477 is true.
Reachability property qltransition_25296 is true.
Reachability property qltransition_24793 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_22079 is true.
Reachability property qltransition_21589 is true.
Reachability property qltransition_21257 is true.
Reachability property qltransition_20291 is true.
Reachability property qltransition_19533 is true.
Reachability property qltransition_18849 is true.
Reachability property qltransition_18356 is true.
Reachability property qltransition_18200 is true.
Reachability property qltransition_17724 is true.
Reachability property qltransition_17472 is true.
Reachability property qltransition_17277 is true.
Reachability property qltransition_17203 is true.
Reachability property qltransition_17065 is true.
Reachability property qltransition_16727 is true.
Reachability property qltransition_16063 is true.
Reachability property qltransition_15369 is true.
Reachability property qltransition_15325 is true.
Reachability property qltransition_14281 is true.
Reachability property qltransition_14050 is true.
Reachability property qltransition_13791 is true.
Reachability property qltransition_13586 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_11865 is true.
Reachability property qltransition_11477 is true.
Reachability property qltransition_11385 is true.
Reachability property qltransition_10366 is true.
Reachability property qltransition_9803 is true.
Reachability property qltransition_9785 is true.
Reachability property qltransition_9672 is true.
Reachability property qltransition_9316 is true.
Reachability property qltransition_8839 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_6573 is true.
Reachability property qltransition_6483 is true.
Reachability property qltransition_5648 is true.
Reachability property qltransition_5392 is true.
Reachability property qltransition_5192 is true.
Reachability property qltransition_4252 is true.
Reachability property qltransition_3677 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_1105 is true.
Reachability property qltransition_733 is true.
SDD proceeding with computation,27086 properties remain. new max is 512
SDD size :742900 after 1.81268e+06
Reachability property qltransition_27803 is true.
Reachability property qltransition_27603 is true.
Reachability property qltransition_27602 is true.
Reachability property qltransition_27167 is true.
Reachability property qltransition_27068 is true.
Reachability property qltransition_26647 is true.
Reachability property qltransition_26490 is true.
Reachability property qltransition_26356 is true.
Reachability property qltransition_26076 is true.
Reachability property qltransition_25835 is true.
Reachability property qltransition_25825 is true.
Reachability property qltransition_25600 is true.
Reachability property qltransition_25040 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_21712 is true.
Reachability property qltransition_21692 is true.
Reachability property qltransition_21550 is true.
Reachability property qltransition_21094 is true.
Reachability property qltransition_20969 is true.
Reachability property qltransition_20682 is true.
Reachability property qltransition_20569 is true.
Reachability property qltransition_20402 is true.
Reachability property qltransition_18942 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_17781 is true.
Reachability property qltransition_17047 is true.
Reachability property qltransition_16930 is true.
Reachability property qltransition_16849 is true.
Reachability property qltransition_16561 is true.
Reachability property qltransition_16462 is true.
Reachability property qltransition_16433 is true.
Reachability property qltransition_16359 is true.
Reachability property qltransition_16330 is true.
Reachability property qltransition_16239 is true.
Reachability property qltransition_16081 is true.
Reachability property qltransition_15758 is true.
Reachability property qltransition_15633 is true.
Reachability property qltransition_15540 is true.
Reachability property qltransition_14999 is true.
Reachability property qltransition_14735 is true.
Reachability property qltransition_14516 is true.
Reachability property qltransition_14109 is true.
Reachability property qltransition_13756 is true.
Reachability property qltransition_13466 is true.
Reachability property qltransition_13404 is true.
Reachability property qltransition_13360 is true.
Reachability property qltransition_13280 is true.
Reachability property qltransition_12835 is true.
Reachability property qltransition_11197 is true.
Reachability property qltransition_11158 is true.
Reachability property qltransition_11084 is true.
Reachability property qltransition_10949 is true.
Reachability property qltransition_10243 is true.
Reachability property qltransition_10046 is true.
Reachability property qltransition_9775 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_8830 is true.
Reachability property qltransition_8601 is true.
Reachability property qltransition_8417 is true.
Reachability property qltransition_8344 is true.
Reachability property qltransition_8231 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_7611 is true.
Reachability property qltransition_7514 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_5345 is true.
Reachability property qltransition_5174 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_3178 is true.
Reachability property qltransition_3142 is true.
Reachability property qltransition_3131 is true.
Reachability property qltransition_2663 is true.
Reachability property qltransition_2508 is true.
Reachability property qltransition_2409 is true.
Reachability property qltransition_2395 is true.
Reachability property qltransition_2336 is true.
Reachability property qltransition_2127 is true.
Reachability property qltransition_1845 is true.
Reachability property qltransition_570 is true.
Reachability property qltransition_493 is true.
SDD proceeding with computation,26984 properties remain. new max is 512
SDD size :1.81268e+06 after 6.57466e+06
Reachability property qltransition_27187 is true.
Reachability property qltransition_26867 is true.
Reachability property qltransition_26668 is true.
Reachability property qltransition_26633 is true.
Reachability property qltransition_26578 is true.
Reachability property qltransition_26380 is true.
Reachability property qltransition_26175 is true.
Reachability property qltransition_25896 is true.
Reachability property qltransition_25828 is true.
Reachability property qltransition_25642 is true.
Reachability property qltransition_25597 is true.
Reachability property qltransition_25538 is true.
Reachability property qltransition_24909 is true.
Reachability property qltransition_24741 is true.
Reachability property qltransition_24657 is true.
Reachability property qltransition_24572 is true.
Reachability property qltransition_24498 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_22866 is true.
Reachability property qltransition_22849 is true.
Reachability property qltransition_21753 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_21237 is true.
Reachability property qltransition_21049 is true.
Reachability property qltransition_20533 is true.
Reachability property qltransition_19754 is true.
Reachability property qltransition_19416 is true.
Reachability property qltransition_19105 is true.
Reachability property qltransition_18909 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_18326 is true.
Detected timeout of ITS tools.
[2025-06-19 18:25:53] [INFO ] Flatten gal took : 1176 ms
[2025-06-19 18:25:53] [INFO ] Applying decomposition
[2025-06-19 18:25:54] [INFO ] Flatten gal took : 704 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/graph16967244434572224831.txt' '-o' '/tmp/graph16967244434572224831.bin' '-w' '/tmp/graph16967244434572224831.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph16967244434572224831.bin' '-l' '-1' '-v' '-w' '/tmp/graph16967244434572224831.weights' '-q' '0' '-e' '0.001'
[2025-06-19 18:25:57] [INFO ] Decomposing Gal with order
[2025-06-19 18:25:57] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-19 18:26:00] [INFO ] Removed a total of 65453 redundant transitions.
[2025-06-19 18:26:00] [INFO ] Flatten gal took : 2526 ms
[2025-06-19 18:26:19] [INFO ] Fuse similar labels procedure discarded/fused a total of 857 labels/synchronizations in 982 ms.
[2025-06-19 18:26:19] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality4045623097546317449.gal : 106 ms
[2025-06-19 18:26:19] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality5090398557246579304.prop : 143 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/ReachabilityCardinality4045623097546317449.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality5090398557246579304.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
Loading property file /tmp/ReachabilityCardinality5090398557246579304.prop.
Interrupted probabilistic random walk after 638645 steps, run timeout after 408002 ms. (steps per millisecond=1 ) properties seen :126 out of 26488
Probabilistic random walk after 638645 steps, saw 115084 distinct states, run finished after 408004 ms. (steps per millisecond=1 ) properties seen :126
[2025-06-19 18:27:16] [INFO ] Invariant cache hit.
[2025-06-19 18:27:16] [INFO ] State equation strengthened by 27030 read => feed constraints.
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, 25956 unsolved
SMT process timed out in 151894ms, After SMT, problems are : Problem set: 0 solved, 25956 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 326 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 326 ms. Remains : 961/961 places, 27931/27931 transitions.
RANDOM walk for 719844 steps (0 resets) in 120014 ms. (5 steps per ms) remains 25941/25956 properties
BEST_FIRST walk for 4003 steps (8 resets) in 429 ms. (9 steps per ms) remains 25941/25941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 424 ms. (9 steps per ms) remains 25941/25941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 371 ms. (10 steps per ms) remains 25941/25941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 449 ms. (8 steps per ms) remains 25941/25941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 331 ms. (12 steps per ms) remains 25941/25941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 333 ms. (11 steps per ms) remains 25941/25941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 375 ms. (10 steps per ms) remains 25941/25941 properties
BEST_FIRST walk for 4003 steps (8 resets) in 354 ms. (11 steps per ms) remains 25941/25941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 337 ms. (11 steps per ms) remains 25941/25941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 340 ms. (11 steps per ms) remains 25941/25941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 327 ms. (12 steps per ms) remains 25941/25941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 346 ms. (11 steps per ms) remains 25941/25941 properties
BEST_FIRST walk for 4003 steps (8 resets) in 433 ms. (9 steps per ms) remains 25940/25941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 360 ms. (11 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4003 steps (8 resets) in 329 ms. (12 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 451 ms. (8 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 328 ms. (12 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 344 ms. (11 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 355 ms. (11 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 362 ms. (11 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 406 ms. (9 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 374 ms. (10 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4003 steps (8 resets) in 323 ms. (12 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 326 ms. (12 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4003 steps (8 resets) in 430 ms. (9 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4003 steps (8 resets) in 331 ms. (12 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 433 ms. (9 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4003 steps (8 resets) in 384 ms. (10 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 339 ms. (11 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 431 ms. (9 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 415 ms. (9 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 465 ms. (8 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4003 steps (8 resets) in 379 ms. (10 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4003 steps (8 resets) in 404 ms. (9 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4003 steps (8 resets) in 330 ms. (12 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 335 ms. (11 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 324 ms. (12 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 335 ms. (11 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 395 ms. (10 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 333 ms. (11 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4002 steps (8 resets) in 326 ms. (12 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 325 ms. (12 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 325 ms. (12 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 326 ms. (12 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 321 ms. (12 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 388 ms. (10 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4003 steps (8 resets) in 405 ms. (9 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 404 ms. (9 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 508 ms. (7 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 425 ms. (9 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 457 ms. (8 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 412 ms. (9 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 367 ms. (10 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 327 ms. (12 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4003 steps (8 resets) in 440 ms. (9 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4003 steps (8 resets) in 371 ms. (10 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 449 ms. (8 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 407 ms. (9 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 326 ms. (12 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 396 ms. (10 steps per ms) remains 25940/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 354 ms. (11 steps per ms) remains 25940/25940 properties
Interrupted probabilistic random walk after 153824 steps, run timeout after 111004 ms. (steps per millisecond=1 ) properties seen :0 out of 25940
Probabilistic random walk after 153824 steps, saw 32971 distinct states, run finished after 111004 ms. (steps per millisecond=1 ) properties seen :0
[2025-06-19 18:32:17] [INFO ] Invariant cache hit.
[2025-06-19 18:32:18] [INFO ] State equation strengthened by 27030 read => feed constraints.
Starting Z3 with timeout 75.0 s and query timeout 7500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/961 variables, 961/961 constraints. Problems are: Problem set: 0 solved, 25940 unsolved
SMT process timed out in 237142ms, After SMT, problems are : Problem set: 0 solved, 25940 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 800 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 805 ms. Remains : 961/961 places, 27931/27931 transitions.
Detected timeout of ITS tools.
RANDOM walk for 719932 steps (0 resets) in 120006 ms. (5 steps per ms) remains 25934/25940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 364 ms. (10 steps per ms) remains 25934/25934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 328 ms. (12 steps per ms) remains 25934/25934 properties
BEST_FIRST walk for 4003 steps (8 resets) in 439 ms. (9 steps per ms) remains 25934/25934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 345 ms. (11 steps per ms) remains 25934/25934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 320 ms. (12 steps per ms) remains 25934/25934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 25934/25934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 25934/25934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 25934/25934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 309 ms. (12 steps per ms) remains 25934/25934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 25934/25934 properties
BEST_FIRST walk for 4003 steps (8 resets) in 324 ms. (12 steps per ms) remains 25934/25934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 303 ms. (13 steps per ms) remains 25934/25934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 25934/25934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 25934/25934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 360 ms. (11 steps per ms) remains 25934/25934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 304 ms. (13 steps per ms) remains 25934/25934 properties
BEST_FIRST walk for 4003 steps (8 resets) in 294 ms. (13 steps per ms) remains 25934/25934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 25934/25934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 289 ms. (13 steps per ms) remains 25934/25934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 25934/25934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 25934/25934 properties
BEST_FIRST walk for 4003 steps (8 resets) in 302 ms. (13 steps per ms) remains 25934/25934 properties
BEST_FIRST walk for 4003 steps (8 resets) in 304 ms. (13 steps per ms) remains 25934/25934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 25934/25934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 25934/25934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 25934/25934 properties
BEST_FIRST walk for 4003 steps (8 resets) in 301 ms. (13 steps per ms) remains 25934/25934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 303 ms. (13 steps per ms) remains 25934/25934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 25934/25934 properties
BEST_FIRST walk for 4003 steps (8 resets) in 291 ms. (13 steps per ms) remains 25934/25934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 25934/25934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 288 ms. (13 steps per ms) remains 25934/25934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 357 ms. (11 steps per ms) remains 25934/25934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 364 ms. (10 steps per ms) remains 25934/25934 properties
BEST_FIRST walk for 4003 steps (8 resets) in 394 ms. (10 steps per ms) remains 25934/25934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 398 ms. (10 steps per ms) remains 25933/25934 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4003 steps (8 resets) in 289 ms. (13 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4003 steps (8 resets) in 296 ms. (13 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 304 ms. (13 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4002 steps (8 resets) in 295 ms. (13 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4003 steps (8 resets) in 296 ms. (13 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4003 steps (8 resets) in 304 ms. (13 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4003 steps (8 resets) in 307 ms. (12 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4003 steps (8 resets) in 300 ms. (13 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 309 ms. (12 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4003 steps (8 resets) in 302 ms. (13 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 314 ms. (12 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4003 steps (8 resets) in 304 ms. (13 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 302 ms. (13 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4003 steps (8 resets) in 295 ms. (13 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 304 ms. (13 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4002 steps (8 resets) in 333 ms. (11 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 343 ms. (11 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4003 steps (8 resets) in 339 ms. (11 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4003 steps (8 resets) in 343 ms. (11 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 344 ms. (11 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 314 ms. (12 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 286 ms. (13 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4003 steps (8 resets) in 284 ms. (14 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 284 ms. (14 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 286 ms. (13 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 315 ms. (12 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 289 ms. (13 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 303 ms. (13 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4003 steps (8 resets) in 296 ms. (13 steps per ms) remains 25933/25933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 25933/25933 properties
Interrupted probabilistic random walk after 159024 steps, run timeout after 111005 ms. (steps per millisecond=1 ) properties seen :0 out of 25933
Probabilistic random walk after 159024 steps, saw 33947 distinct states, run finished after 111006 ms. (steps per millisecond=1 ) properties seen :0
[2025-06-19 18:38:45] [INFO ] Invariant cache hit.
[2025-06-19 18:38:45] [INFO ] State equation strengthened by 27030 read => feed constraints.
Starting Z3 with timeout 90.0 s and query timeout 9000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/961 variables, 961/961 constraints. Problems are: Problem set: 0 solved, 25933 unsolved
SMT process timed out in 201183ms, After SMT, problems are : Problem set: 0 solved, 25933 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 117 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 130 ms. Remains : 961/961 places, 27931/27931 transitions.
RANDOM walk for 719999 steps (0 resets) in 120007 ms. (5 steps per ms) remains 25921/25933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 25921/25921 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 25921/25921 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 25921/25921 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 25921/25921 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 25921/25921 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 25921/25921 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 25921/25921 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 25921/25921 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 25921/25921 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 25921/25921 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 25921/25921 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 25920/25921 properties
BEST_FIRST walk for 4003 steps (8 resets) in 295 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 302 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 287 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 326 ms. (12 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4003 steps (8 resets) in 293 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4002 steps (8 resets) in 291 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4003 steps (8 resets) in 297 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 310 ms. (12 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 286 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 280 ms. (14 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 288 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 312 ms. (12 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 303 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4003 steps (8 resets) in 290 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 289 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4003 steps (8 resets) in 287 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4003 steps (8 resets) in 299 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 288 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 289 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 25920/25920 properties
BEST_FIRST walk for 4004 steps (8 resets) in 303 ms. (13 steps per ms) remains 25920/25920 properties

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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