Execution Chart

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

Trace from the execution

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

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

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

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

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME Liveness

=== Now, execution of the tool begins

BK_START 1716980508214

Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=Liveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=TokenRing-PT-020
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
Liveness PT
Running Version 202405141337
[2024-05-29 11:01:50] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, Liveness, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2024-05-29 11:01:50] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-29 11:01:52] [INFO ] Load time of PNML (sax parser for PT used): 1056 ms
[2024-05-29 11:01:52] [INFO ] Transformed 441 places.
[2024-05-29 11:01:52] [INFO ] Transformed 8421 transitions.
[2024-05-29 11:01:52] [INFO ] Found NUPN structural information;
[2024-05-29 11:01:52] [INFO ] Parsed PT model containing 441 places and 8421 transitions and 33684 arcs in 1451 ms.
Built sparse matrix representations for Structural reductions in 56 ms.135163KB memory used
Starting structural reductions in DEADLOCK mode, iteration 0 : 441/441 places, 8421/8421 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Applied a total of 0 rules in 405 ms. Remains 441 /441 variables (removed 0) and now considering 8421/8421 (removed 0) transitions.
Finished structural reductions in DEADLOCK mode , in 1 iterations and 431 ms. Remains : 441/441 places, 8421/8421 transitions.
Starting structural reductions in DEADLOCK mode, iteration 0 : 441/441 places, 8421/8421 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Applied a total of 0 rules in 249 ms. Remains 441 /441 variables (removed 0) and now considering 8421/8421 (removed 0) transitions.
// Phase 1: matrix 8421 rows 441 cols
[2024-05-29 11:01:54] [INFO ] Computed 21 invariants in 135 ms
[2024-05-29 11:01:54] [INFO ] Implicit Places using invariants in 780 ms returned []
[2024-05-29 11:01:54] [INFO ] Invariant cache hit.
[2024-05-29 11:01:57] [INFO ] State equation strengthened by 8020 read => feed constraints.
[2024-05-29 11:01:59] [INFO ] Implicit Places using invariants and state equation in 4313 ms returned []
Implicit Place search using SMT with State Equation took 5154 ms to find 0 implicit places.
[2024-05-29 11:02:00] [INFO ] Redundant transitions in 1561 ms returned []
Running 8401 sub problems to find dead transitions.
[2024-05-29 11:02:01] [INFO ] Invariant cache hit.
[2024-05-29 11:02:01] [INFO ] State equation strengthened by 8020 read => feed constraints.
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 8401 unsolved
SMT process timed out in 53527ms, After SMT, problems are : Problem set: 0 solved, 8401 unsolved
Search for dead transitions found 0 dead transitions in 53701ms
Finished structural reductions in DEADLOCK mode , in 1 iterations and 60777 ms. Remains : 441/441 places, 8421/8421 transitions.
Random walk for 1250000 steps, including 0 resets, run took 10780 ms (no deadlock found). (steps per millisecond=115 )
Random directed walk for 1250000 steps, including 0 resets, run took 9773 ms (no deadlock found). (steps per millisecond=127 )
[2024-05-29 11:03:15] [INFO ] Invariant cache hit.
[2024-05-29 11:03:17] [INFO ] [Real]Absence check using 21 positive place invariants in 68 ms returned unsat
Starting structural reductions in LIVENESS mode, iteration 0 : 441/441 places, 8421/8421 transitions.
Applied a total of 0 rules in 43 ms. Remains 441 /441 variables (removed 0) and now considering 8421/8421 (removed 0) transitions.
[2024-05-29 11:03:17] [INFO ] Invariant cache hit.
[2024-05-29 11:03:18] [INFO ] Implicit Places using invariants in 1134 ms returned []
[2024-05-29 11:03:18] [INFO ] Invariant cache hit.
[2024-05-29 11:03:20] [INFO ] State equation strengthened by 8020 read => feed constraints.
[2024-05-29 11:03:51] [INFO ] Performed 296/441 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2024-05-29 11:04:03] [INFO ] Implicit Places using invariants and state equation in 44886 ms returned []
Implicit Place search using SMT with State Equation took 46026 ms to find 0 implicit places.
Running 8401 sub problems to find dead transitions.
[2024-05-29 11:04:03] [INFO ] Invariant cache hit.
[2024-05-29 11:04:03] [INFO ] State equation strengthened by 8020 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 0 solved, 8401 unsolved
SMT process timed out in 49195ms, After SMT, problems are : Problem set: 0 solved, 8401 unsolved
Search for dead transitions found 0 dead transitions in 49299ms
Finished structural reductions in LIVENESS mode , in 1 iterations and 95388 ms. Remains : 441/441 places, 8421/8421 transitions.
Initial state reduction rules removed 20 formulas.
[2024-05-29 11:04:54] [INFO ] Flatten gal took : 1159 ms
[2024-05-29 11:04:55] [INFO ] Flatten gal took : 806 ms
[2024-05-29 11:04:56] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality17973014470739197314.gal : 282 ms
[2024-05-29 11:04:56] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality18238216495680300889.prop : 138 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality17973014470739197314.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality18238216495680300889.prop' '--nowitness' '--gen-order' 'FOLLOW'

its-reach command run as :

/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...330
Loading property file /tmp/ReachabilityCardinality18238216495680300889.prop.
Reachability property qltransition_5946 is true.
RANDOM walk for 40000 steps (8 resets) in 46872 ms. (0 steps per ms) remains 7475/8401 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 59 ms. (2 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 59 ms. (2 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 71 ms. (1 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 17 ms. (6 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 23 ms. (5 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 17 ms. (6 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 16 ms. (7 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 15 ms. (7 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 27 ms. (4 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 21 ms. (5 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 15 ms. (7 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 15 ms. (7 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 22 ms. (5 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 17 ms. (6 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 30 ms. (4 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 15 ms. (7 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 17 ms. (6 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 7475/7475 properties
SDD proceeding with computation,8400 properties remain. new max is 2
SDD size :1 after 2
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 16 ms. (7 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 16 ms. (7 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 17 ms. (6 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 15 ms. (7 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 17 ms. (6 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 16 ms. (7 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 15 ms. (7 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 19 ms. (6 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 17 ms. (6 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 16 ms. (7 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 19 ms. (6 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 16 ms. (7 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 15 ms. (7 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 19 ms. (6 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 15 ms. (7 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 17 ms. (6 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 33 ms. (3 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 16 ms. (7 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 19 ms. (6 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 7475/7475 properties
BEST_FIRST walk for 124 steps (8 resets) in 16 ms. (7 steps per ms) remains 7475/7475 properties
[2024-05-29 11:05:05] [INFO ] Invariant cache hit.
[2024-05-29 11:05:05] [INFO ] State equation strengthened by 8020 read => feed constraints.
Reachability property qltransition_3814 is true.
Reachability property qltransition_2417 is true.
Reachability property qltransition_432 is true.
SDD proceeding with computation,8397 properties remain. new max is 2
SDD size :2 after 5
Reachability property qltransition_5404 is true.
Reachability property qltransition_4078 is true.
Reachability property qltransition_2905 is true.
Reachability property qltransition_1739 is true.
SDD proceeding with computation,8393 properties remain. new max is 2
SDD size :5 after 11
Reachability property qltransition_7459 is true.
Reachability property qltransition_914 is true.
SDD proceeding with computation,8391 properties remain. new max is 2
SDD size :11 after 14
Reachability property qltransition_8217 is true.
Reachability property qltransition_1858 is true.
Reachability property qltransition_1489 is true.
Reachability property qltransition_1124 is true.
Reachability property qltransition_20 is true.
SDD proceeding with computation,8386 properties remain. new max is 2
SDD size :14 after 29
Reachability property qltransition_2065 is true.
Reachability property qltransition_347 is true.
SDD proceeding with computation,8384 properties remain. new max is 2
SDD size :29 after 33
Reachability property qltransition_7631 is true.
Reachability property qltransition_837 is true.
Reachability property qltransition_408 is true.
SDD proceeding with computation,8381 properties remain. new max is 2
SDD size :33 after 39
SDD proceeding with computation,8381 properties remain. new max is 4
SDD size :39 after 42
Reachability property qltransition_7889 is true.
Reachability property qltransition_6621 is true.
Reachability property qltransition_3649 is true.
Reachability property qltransition_3380 is true.
Reachability property qltransition_600 is true.
Reachability property qltransition_381 is true.
SDD proceeding with computation,8375 properties remain. new max is 4
SDD size :42 after 85
Reachability property qltransition_1278 is true.
Reachability property qltransition_1251 is true.
SDD proceeding with computation,8373 properties remain. new max is 4
SDD size :85 after 90
Reachability property qltransition_4049 is true.
Reachability property qltransition_2623 is true.
Reachability property qltransition_1724 is true.
SDD proceeding with computation,8370 properties remain. new max is 4
SDD size :90 after 100
SDD proceeding with computation,8370 properties remain. new max is 8
SDD size :100 after 104
Reachability property qltransition_7586 is true.
Reachability property qltransition_4867 is true.
Reachability property qltransition_4545 is true.
Reachability property qltransition_4290 is true.
SDD proceeding with computation,8366 properties remain. new max is 8
SDD size :104 after 119
SDD proceeding with computation,8366 properties remain. new max is 16
SDD size :119 after 123
SDD proceeding with computation,8366 properties remain. new max is 32
SDD size :123 after 132
Reachability property qltransition_7340 is true.
Reachability property qltransition_5778 is true.
Reachability property qltransition_5339 is true.
Reachability property qltransition_4515 is true.
Reachability property qltransition_2347 is true.
Reachability property qltransition_1743 is true.
Reachability property qltransition_615 is true.
Reachability property qltransition_428 is true.
Reachability property qltransition_198 is true.
SDD proceeding with computation,8357 properties remain. new max is 32
SDD size :132 after 271
Reachability property qltransition_4121 is true.
Reachability property qltransition_1817 is true.
Reachability property qltransition_275 is true.
SDD proceeding with computation,8354 properties remain. new max is 32
SDD size :271 after 291
Reachability property qltransition_5925 is true.
Reachability property qltransition_3211 is true.
At refinement iteration 0 (INCLUDED_ONLY) 0/441 variables, 441/441 constraints. Problems are: Problem set: 5 solved, 7470 unsolved
Reachability property qltransition_1431 is true.
SMT process timed out in 24500ms, After SMT, problems are : Problem set: 5 solved, 7470 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 441 out of 441 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 441/441 places, 8421/8421 transitions.
Reachability property qltransition_609 is true.
Applied a total of 0 rules in 257 ms. Remains 441 /441 variables (removed 0) and now considering 8421/8421 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 259 ms. Remains : 441/441 places, 8421/8421 transitions.
SDD proceeding with computation,8350 properties remain. new max is 32
SDD size :291 after 339
Reachability property qltransition_8161 is true.
Reachability property qltransition_7958 is true.
Reachability property qltransition_7745 is true.
Reachability property qltransition_3289 is true.
Reachability property qltransition_1343 is true.
SDD proceeding with computation,8345 properties remain. new max is 32
SDD size :339 after 429
Reachability property qltransition_8068 is true.
Reachability property qltransition_6598 is true.
Reachability property qltransition_5005 is true.
Reachability property qltransition_3983 is true.
Reachability property qltransition_3789 is true.
Reachability property qltransition_2906 is true.
Reachability property qltransition_1776 is true.
Reachability property qltransition_1625 is true.
Reachability property qltransition_596 is true.
Reachability property qltransition_292 is true.
SDD proceeding with computation,8335 properties remain. new max is 32
SDD size :429 after 866
Reachability property qltransition_4951 is true.
Reachability property qltransition_4447 is true.
Reachability property qltransition_3747 is true.
SDD proceeding with computation,8332 properties remain. new max is 32
SDD size :866 after 893
Reachability property qltransition_7815 is true.
Reachability property qltransition_5837 is true.
Reachability property qltransition_4735 is true.
Reachability property qltransition_2492 is true.
SDD proceeding with computation,8328 properties remain. new max is 32
SDD size :893 after 968
Reachability property qltransition_7045 is true.
Reachability property qltransition_6753 is true.
Reachability property qltransition_6560 is true.
Reachability property qltransition_3329 is true.
Reachability property qltransition_483 is true.
SDD proceeding with computation,8323 properties remain. new max is 32
SDD size :968 after 1133
Reachability property qltransition_7692 is true.
Reachability property qltransition_6954 is true.
Reachability property qltransition_6547 is true.
Reachability property qltransition_4740 is true.
Reachability property qltransition_3417 is true.
Reachability property qltransition_1084 is true.
SDD proceeding with computation,8317 properties remain. new max is 32
SDD size :1133 after 1430
Reachability property qltransition_7246 is true.
Reachability property qltransition_7176 is true.
Reachability property qltransition_6459 is true.
Reachability property qltransition_6280 is true.
Reachability property qltransition_5393 is true.
Reachability property qltransition_4325 is true.
Reachability property qltransition_3451 is true.
Reachability property qltransition_2903 is true.
Reachability property qltransition_2507 is true.
Reachability property qltransition_826 is true.
Reachability property qltransition_349 is true.
SDD proceeding with computation,8306 properties remain. new max is 32
SDD size :1430 after 2869
Reachability property qltransition_5510 is true.
Reachability property qltransition_3766 is true.
Reachability property qltransition_3086 is true.
SDD proceeding with computation,8303 properties remain. new max is 32
SDD size :2869 after 2904
Reachability property qltransition_7342 is true.
Reachability property qltransition_3509 is true.
Reachability property qltransition_3223 is true.
Reachability property qltransition_450 is true.
SDD proceeding with computation,8299 properties remain. new max is 32
SDD size :2904 after 3014
Reachability property qltransition_7848 is true.
Reachability property qltransition_7232 is true.
Reachability property qltransition_5861 is true.
Reachability property qltransition_5602 is true.
Reachability property qltransition_4356 is true.
SDD proceeding with computation,8294 properties remain. new max is 32
SDD size :3014 after 3289
Reachability property qltransition_8332 is true.
Reachability property qltransition_7605 is true.
Reachability property qltransition_5561 is true.
Reachability property qltransition_5143 is true.
Reachability property qltransition_3075 is true.
Reachability property qltransition_38 is true.
SDD proceeding with computation,8288 properties remain. new max is 32
SDD size :3289 after 3861
Reachability property qltransition_8092 is true.
Reachability property qltransition_7789 is true.
Reachability property qltransition_6774 is true.
Reachability property qltransition_4280 is true.
Reachability property qltransition_3914 is true.
Reachability property qltransition_3198 is true.
Reachability property qltransition_1286 is true.
SDD proceeding with computation,8281 properties remain. new max is 32
SDD size :3861 after 4862
Reachability property qltransition_7588 is true.
Reachability property qltransition_7185 is true.
Reachability property qltransition_6371 is true.
Reachability property qltransition_5878 is true.
Reachability property qltransition_4694 is true.
Reachability property qltransition_3763 is true.
Reachability property qltransition_3564 is true.
Reachability property qltransition_3253 is true.
Reachability property qltransition_3250 is true.
Reachability property qltransition_2834 is true.
Reachability property qltransition_2690 is true.
Reachability property qltransition_2290 is true.
SDD proceeding with computation,8269 properties remain. new max is 32
SDD size :4862 after 9734
Reachability property qltransition_7439 is true.
Reachability property qltransition_6046 is true.
Reachability property qltransition_4815 is true.
SDD proceeding with computation,8266 properties remain. new max is 32
SDD size :9734 after 9778
Reachability property qltransition_7542 is true.
Reachability property qltransition_6245 is true.
Reachability property qltransition_5807 is true.
Reachability property qltransition_2046 is true.
RANDOM walk for 150577 steps (0 resets) in 120004 ms. (1 steps per ms) remains 7374/7470 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 7344/7374 properties
BEST_FIRST walk for 4004 steps (8 resets) in 269 ms. (14 steps per ms) remains 7323/7344 properties
BEST_FIRST walk for 4004 steps (8 resets) in 257 ms. (15 steps per ms) remains 7312/7323 properties
SDD proceeding with computation,8262 properties remain. new max is 32
SDD size :9778 after 9932
BEST_FIRST walk for 4002 steps (8 resets) in 279 ms. (14 steps per ms) remains 7303/7312 properties
BEST_FIRST walk for 4003 steps (8 resets) in 290 ms. (13 steps per ms) remains 7301/7303 properties
BEST_FIRST walk for 4004 steps (8 resets) in 328 ms. (12 steps per ms) remains 7295/7301 properties
Reachability property qltransition_7096 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 351 ms. (11 steps per ms) remains 7289/7295 properties
BEST_FIRST walk for 4004 steps (8 resets) in 312 ms. (12 steps per ms) remains 7287/7289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 325 ms. (12 steps per ms) remains 7285/7287 properties
BEST_FIRST walk for 4004 steps (8 resets) in 328 ms. (12 steps per ms) remains 7283/7285 properties
BEST_FIRST walk for 4003 steps (8 resets) in 306 ms. (13 steps per ms) remains 7279/7283 properties
Reachability property qltransition_4806 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 336 ms. (11 steps per ms) remains 7270/7279 properties
Reachability property qltransition_3938 is true.
Reachability property qltransition_3843 is true.
Reachability property qltransition_3823 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 330 ms. (12 steps per ms) remains 7267/7270 properties
BEST_FIRST walk for 4003 steps (8 resets) in 227 ms. (17 steps per ms) remains 7266/7267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 7257/7266 properties
BEST_FIRST walk for 4004 steps (8 resets) in 222 ms. (17 steps per ms) remains 7255/7257 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 7253/7255 properties
BEST_FIRST walk for 4003 steps (8 resets) in 219 ms. (18 steps per ms) remains 7251/7253 properties
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 7248/7251 properties
BEST_FIRST walk for 4004 steps (8 resets) in 268 ms. (14 steps per ms) remains 7248/7248 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 7246/7248 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 7240/7246 properties
SDD proceeding with computation,8257 properties remain. new max is 32
SDD size :9932 after 10361
BEST_FIRST walk for 4004 steps (8 resets) in 245 ms. (16 steps per ms) remains 7238/7240 properties
BEST_FIRST walk for 4003 steps (8 resets) in 236 ms. (16 steps per ms) remains 7238/7238 properties
BEST_FIRST walk for 4003 steps (8 resets) in 228 ms. (17 steps per ms) remains 7238/7238 properties
BEST_FIRST walk for 4003 steps (8 resets) in 225 ms. (17 steps per ms) remains 7238/7238 properties
BEST_FIRST walk for 4003 steps (8 resets) in 214 ms. (18 steps per ms) remains 7237/7238 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 7237/7237 properties
BEST_FIRST walk for 4003 steps (8 resets) in 233 ms. (17 steps per ms) remains 7237/7237 properties
Reachability property qltransition_6747 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 7236/7237 properties
Reachability property qltransition_6108 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 7235/7236 properties
Reachability property qltransition_6017 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 7234/7235 properties
BEST_FIRST walk for 4003 steps (8 resets) in 226 ms. (17 steps per ms) remains 7234/7234 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 7234/7234 properties
Reachability property qltransition_4278 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 269 ms. (14 steps per ms) remains 7232/7234 properties
Reachability property qltransition_4147 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 277 ms. (14 steps per ms) remains 7228/7232 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 7226/7228 properties
BEST_FIRST walk for 4002 steps (8 resets) in 260 ms. (15 steps per ms) remains 7224/7226 properties
BEST_FIRST walk for 4002 steps (8 resets) in 269 ms. (14 steps per ms) remains 7210/7224 properties
Reachability property qltransition_1516 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 269 ms. (14 steps per ms) remains 7208/7210 properties
BEST_FIRST walk for 4003 steps (8 resets) in 263 ms. (15 steps per ms) remains 7208/7208 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 7203/7208 properties
SDD proceeding with computation,8251 properties remain. new max is 32
SDD size :10361 after 11362
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 7203/7203 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 7202/7203 properties
BEST_FIRST walk for 4003 steps (8 resets) in 271 ms. (14 steps per ms) remains 7202/7202 properties
BEST_FIRST walk for 4003 steps (8 resets) in 255 ms. (15 steps per ms) remains 7201/7202 properties
Reachability property qltransition_7169 is true.
Reachability property qltransition_7137 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 266 ms. (14 steps per ms) remains 7198/7201 properties
BEST_FIRST walk for 4004 steps (8 resets) in 284 ms. (14 steps per ms) remains 7198/7198 properties
BEST_FIRST walk for 4004 steps (8 resets) in 266 ms. (14 steps per ms) remains 7198/7198 properties
Reachability property qltransition_6423 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 7198/7198 properties
BEST_FIRST walk for 4004 steps (8 resets) in 322 ms. (12 steps per ms) remains 7192/7198 properties
BEST_FIRST walk for 4004 steps (8 resets) in 375 ms. (10 steps per ms) remains 7191/7192 properties
BEST_FIRST walk for 4003 steps (8 resets) in 304 ms. (13 steps per ms) remains 7190/7191 properties
BEST_FIRST walk for 4004 steps (8 resets) in 412 ms. (9 steps per ms) remains 7190/7190 properties
BEST_FIRST walk for 4004 steps (8 resets) in 337 ms. (11 steps per ms) remains 7188/7190 properties
BEST_FIRST walk for 4004 steps (8 resets) in 382 ms. (10 steps per ms) remains 7182/7188 properties
BEST_FIRST walk for 4004 steps (8 resets) in 312 ms. (12 steps per ms) remains 7182/7182 properties
BEST_FIRST walk for 4004 steps (8 resets) in 347 ms. (11 steps per ms) remains 7181/7182 properties
Reachability property qltransition_2193 is true.
Reachability property qltransition_2143 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 313 ms. (12 steps per ms) remains 7177/7181 properties
BEST_FIRST walk for 4003 steps (8 resets) in 284 ms. (14 steps per ms) remains 7176/7177 properties
BEST_FIRST walk for 4004 steps (8 resets) in 286 ms. (13 steps per ms) remains 7174/7176 properties
Reachability property qltransition_578 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 341 ms. (11 steps per ms) remains 7171/7174 properties
Reachability property qltransition_132 is true.
SDD proceeding with computation,8244 properties remain. new max is 32
SDD size :11362 after 13364
BEST_FIRST walk for 4003 steps (8 resets) in 326 ms. (12 steps per ms) remains 7171/7171 properties
Reachability property qltransition_8206 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 275 ms. (14 steps per ms) remains 7171/7171 properties
Reachability property qltransition_8137 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 384 ms. (10 steps per ms) remains 7171/7171 properties
BEST_FIRST walk for 4003 steps (8 resets) in 314 ms. (12 steps per ms) remains 7171/7171 properties
BEST_FIRST walk for 4002 steps (8 resets) in 289 ms. (13 steps per ms) remains 7167/7171 properties
Reachability property qltransition_6656 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 7159/7167 properties
BEST_FIRST walk for 4003 steps (8 resets) in 269 ms. (14 steps per ms) remains 7158/7159 properties
BEST_FIRST walk for 4003 steps (8 resets) in 254 ms. (15 steps per ms) remains 7158/7158 properties
BEST_FIRST walk for 4002 steps (8 resets) in 261 ms. (15 steps per ms) remains 7158/7158 properties
BEST_FIRST walk for 4003 steps (8 resets) in 309 ms. (12 steps per ms) remains 7158/7158 properties
Reachability property qltransition_3753 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 346 ms. (11 steps per ms) remains 7158/7158 properties
Reachability property qltransition_3152 is true.
Reachability property qltransition_3094 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 338 ms. (11 steps per ms) remains 7152/7158 properties
BEST_FIRST walk for 4004 steps (8 resets) in 327 ms. (12 steps per ms) remains 7151/7152 properties
BEST_FIRST walk for 4004 steps (8 resets) in 352 ms. (11 steps per ms) remains 7150/7151 properties
Reachability property qltransition_971 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 319 ms. (12 steps per ms) remains 7149/7150 properties
Reachability property qltransition_0 is true.
SDD proceeding with computation,8236 properties remain. new max is 32
SDD size :13364 after 16796
BEST_FIRST walk for 4003 steps (8 resets) in 320 ms. (12 steps per ms) remains 7149/7149 properties
BEST_FIRST walk for 4004 steps (8 resets) in 310 ms. (12 steps per ms) remains 7144/7149 properties
BEST_FIRST walk for 4002 steps (8 resets) in 332 ms. (12 steps per ms) remains 7144/7144 properties
Reachability property qltransition_7558 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 309 ms. (12 steps per ms) remains 7144/7144 properties
Reachability property qltransition_7429 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 318 ms. (12 steps per ms) remains 7140/7144 properties
BEST_FIRST walk for 4004 steps (8 resets) in 306 ms. (13 steps per ms) remains 7140/7140 properties
BEST_FIRST walk for 4003 steps (8 resets) in 265 ms. (15 steps per ms) remains 7140/7140 properties
BEST_FIRST walk for 4004 steps (8 resets) in 286 ms. (13 steps per ms) remains 7140/7140 properties
BEST_FIRST walk for 4003 steps (8 resets) in 254 ms. (15 steps per ms) remains 7140/7140 properties
BEST_FIRST walk for 4002 steps (8 resets) in 260 ms. (15 steps per ms) remains 7139/7140 properties
BEST_FIRST walk for 4003 steps (8 resets) in 248 ms. (16 steps per ms) remains 7139/7139 properties
Reachability property qltransition_5931 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 272 ms. (14 steps per ms) remains 7138/7139 properties
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 7138/7138 properties
BEST_FIRST walk for 4004 steps (8 resets) in 306 ms. (13 steps per ms) remains 7137/7138 properties
BEST_FIRST walk for 4003 steps (8 resets) in 336 ms. (11 steps per ms) remains 7137/7137 properties
Reachability property qltransition_4927 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 306 ms. (13 steps per ms) remains 7137/7137 properties
Reachability property qltransition_4570 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 358 ms. (11 steps per ms) remains 7129/7137 properties
Reachability property qltransition_4200 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 337 ms. (11 steps per ms) remains 7129/7129 properties
BEST_FIRST walk for 4004 steps (8 resets) in 326 ms. (12 steps per ms) remains 7129/7129 properties
BEST_FIRST walk for 4004 steps (8 resets) in 328 ms. (12 steps per ms) remains 7128/7129 properties
Reachability property qltransition_3348 is true.
Reachability property qltransition_3278 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 336 ms. (11 steps per ms) remains 7128/7128 properties
BEST_FIRST walk for 4004 steps (8 resets) in 306 ms. (13 steps per ms) remains 7128/7128 properties
BEST_FIRST walk for 4003 steps (8 resets) in 270 ms. (14 steps per ms) remains 7128/7128 properties
Reachability property qltransition_2673 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 338 ms. (11 steps per ms) remains 7124/7128 properties
Reachability property qltransition_2221 is true.
Reachability property qltransition_2159 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 324 ms. (12 steps per ms) remains 7120/7124 properties
BEST_FIRST walk for 4003 steps (8 resets) in 260 ms. (15 steps per ms) remains 7120/7120 properties
Reachability property qltransition_1518 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 7119/7120 properties
BEST_FIRST walk for 4004 steps (8 resets) in 267 ms. (14 steps per ms) remains 7117/7119 properties
BEST_FIRST walk for 4003 steps (8 resets) in 237 ms. (16 steps per ms) remains 7116/7117 properties
Reachability property qltransition_682 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 7116/7116 properties
BEST_FIRST walk for 4002 steps (8 resets) in 310 ms. (12 steps per ms) remains 7116/7116 properties
SDD proceeding with computation,8223 properties remain. new max is 32
SDD size :16796 after 33603
BEST_FIRST walk for 4004 steps (8 resets) in 265 ms. (15 steps per ms) remains 7116/7116 properties
BEST_FIRST walk for 4004 steps (8 resets) in 238 ms. (16 steps per ms) remains 7116/7116 properties
BEST_FIRST walk for 4003 steps (8 resets) in 285 ms. (13 steps per ms) remains 7116/7116 properties
BEST_FIRST walk for 4004 steps (8 resets) in 314 ms. (12 steps per ms) remains 7116/7116 properties
BEST_FIRST walk for 4003 steps (8 resets) in 257 ms. (15 steps per ms) remains 7115/7116 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 7114/7115 properties
BEST_FIRST walk for 4004 steps (8 resets) in 303 ms. (13 steps per ms) remains 7114/7114 properties
Reachability property qltransition_6462 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 7114/7114 properties
BEST_FIRST walk for 4004 steps (8 resets) in 289 ms. (13 steps per ms) remains 7114/7114 properties
BEST_FIRST walk for 4004 steps (8 resets) in 284 ms. (14 steps per ms) remains 7114/7114 properties
BEST_FIRST walk for 4003 steps (8 resets) in 250 ms. (15 steps per ms) remains 7114/7114 properties
Reachability property qltransition_5234 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 7114/7114 properties
BEST_FIRST walk for 4003 steps (8 resets) in 293 ms. (13 steps per ms) remains 7114/7114 properties
BEST_FIRST walk for 4003 steps (8 resets) in 282 ms. (14 steps per ms) remains 7113/7114 properties
BEST_FIRST walk for 4004 steps (8 resets) in 242 ms. (16 steps per ms) remains 7112/7113 properties
BEST_FIRST walk for 4003 steps (8 resets) in 254 ms. (15 steps per ms) remains 7110/7112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 7110/7110 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 7110/7110 properties
BEST_FIRST walk for 4002 steps (8 resets) in 285 ms. (13 steps per ms) remains 7110/7110 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 7109/7110 properties
BEST_FIRST walk for 4004 steps (8 resets) in 281 ms. (14 steps per ms) remains 7109/7109 properties
BEST_FIRST walk for 4004 steps (8 resets) in 303 ms. (13 steps per ms) remains 7108/7109 properties
BEST_FIRST walk for 4002 steps (8 resets) in 254 ms. (15 steps per ms) remains 7108/7108 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 7106/7108 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 7105/7106 properties
BEST_FIRST walk for 4003 steps (8 resets) in 231 ms. (17 steps per ms) remains 7105/7105 properties
Reachability property qltransition_208 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 260 ms. (15 steps per ms) remains 7104/7105 properties
SDD proceeding with computation,8220 properties remain. new max is 32
SDD size :33603 after 33657
BEST_FIRST walk for 4004 steps (8 resets) in 278 ms. (14 steps per ms) remains 7103/7104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 310 ms. (12 steps per ms) remains 7101/7103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 306 ms. (13 steps per ms) remains 7100/7101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 333 ms. (11 steps per ms) remains 7100/7100 properties
BEST_FIRST walk for 4004 steps (8 resets) in 315 ms. (12 steps per ms) remains 7100/7100 properties
BEST_FIRST walk for 4003 steps (8 resets) in 303 ms. (13 steps per ms) remains 7100/7100 properties
Reachability property qltransition_6607 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 348 ms. (11 steps per ms) remains 7100/7100 properties
BEST_FIRST walk for 4002 steps (8 resets) in 318 ms. (12 steps per ms) remains 7100/7100 properties
BEST_FIRST walk for 4004 steps (8 resets) in 319 ms. (12 steps per ms) remains 7100/7100 properties
Reachability property qltransition_5041 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 342 ms. (11 steps per ms) remains 7100/7100 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 7100/7100 properties
BEST_FIRST walk for 4004 steps (8 resets) in 257 ms. (15 steps per ms) remains 7100/7100 properties
BEST_FIRST walk for 4004 steps (8 resets) in 323 ms. (12 steps per ms) remains 7100/7100 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 7100/7100 properties
BEST_FIRST walk for 4004 steps (8 resets) in 286 ms. (13 steps per ms) remains 7100/7100 properties
BEST_FIRST walk for 4004 steps (8 resets) in 321 ms. (12 steps per ms) remains 7099/7100 properties
Reachability property qltransition_2769 is true.
Reachability property qltransition_2618 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 311 ms. (12 steps per ms) remains 7099/7099 properties
BEST_FIRST walk for 4003 steps (8 resets) in 315 ms. (12 steps per ms) remains 7099/7099 properties
BEST_FIRST walk for 4004 steps (8 resets) in 262 ms. (15 steps per ms) remains 7098/7099 properties
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 7098/7098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 313 ms. (12 steps per ms) remains 7096/7098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 268 ms. (14 steps per ms) remains 7095/7096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 7095/7095 properties
SDD proceeding with computation,8216 properties remain. new max is 32
SDD size :33657 after 33865
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 7095/7095 properties
BEST_FIRST walk for 4003 steps (8 resets) in 297 ms. (13 steps per ms) remains 7095/7095 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 7094/7095 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 7094/7094 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 7093/7094 properties
BEST_FIRST walk for 4004 steps (8 resets) in 268 ms. (14 steps per ms) remains 7093/7093 properties
BEST_FIRST walk for 4004 steps (8 resets) in 267 ms. (14 steps per ms) remains 7093/7093 properties
BEST_FIRST walk for 4003 steps (8 resets) in 313 ms. (12 steps per ms) remains 7092/7093 properties
Reachability property qltransition_5832 is true.
Reachability property qltransition_5473 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 266 ms. (14 steps per ms) remains 7092/7092 properties
Reachability property qltransition_5264 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 276 ms. (14 steps per ms) remains 7092/7092 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 7092/7092 properties
BEST_FIRST walk for 4003 steps (8 resets) in 265 ms. (15 steps per ms) remains 7092/7092 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 7089/7092 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 7089/7089 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 7089/7089 properties
BEST_FIRST walk for 4004 steps (8 resets) in 236 ms. (16 steps per ms) remains 7088/7089 properties
Reachability property qltransition_3409 is true.
Reachability property qltransition_3402 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 7088/7088 properties
BEST_FIRST walk for 4003 steps (8 resets) in 235 ms. (16 steps per ms) remains 7082/7088 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 7082/7082 properties
BEST_FIRST walk for 4003 steps (8 resets) in 222 ms. (17 steps per ms) remains 7082/7082 properties
BEST_FIRST walk for 4003 steps (8 resets) in 243 ms. (16 steps per ms) remains 7081/7082 properties
BEST_FIRST walk for 4003 steps (8 resets) in 228 ms. (17 steps per ms) remains 7080/7081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 220 ms. (18 steps per ms) remains 7080/7080 properties
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 7080/7080 properties
BEST_FIRST walk for 4004 steps (8 resets) in 249 ms. (16 steps per ms) remains 7079/7080 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 7079/7079 properties
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 7079/7079 properties
BEST_FIRST walk for 4003 steps (8 resets) in 272 ms. (14 steps per ms) remains 7079/7079 properties
BEST_FIRST walk for 4003 steps (8 resets) in 244 ms. (16 steps per ms) remains 7078/7079 properties
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 7078/7078 properties
SDD proceeding with computation,8211 properties remain. new max is 32
SDD size :33865 after 34502
BEST_FIRST walk for 4004 steps (8 resets) in 271 ms. (14 steps per ms) remains 7078/7078 properties
BEST_FIRST walk for 4002 steps (8 resets) in 275 ms. (14 steps per ms) remains 7078/7078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 7078/7078 properties
Reachability property qltransition_7391 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 245 ms. (16 steps per ms) remains 7078/7078 properties
BEST_FIRST walk for 4003 steps (8 resets) in 266 ms. (14 steps per ms) remains 7078/7078 properties
Reachability property qltransition_6921 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 360 ms. (11 steps per ms) remains 7078/7078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 369 ms. (10 steps per ms) remains 7078/7078 properties
BEST_FIRST walk for 4002 steps (8 resets) in 376 ms. (10 steps per ms) remains 7078/7078 properties
Reachability property qltransition_5678 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 305 ms. (13 steps per ms) remains 7078/7078 properties
Reachability property qltransition_5383 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 7078/7078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 338 ms. (11 steps per ms) remains 7078/7078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 343 ms. (11 steps per ms) remains 7078/7078 properties
Reachability property qltransition_3795 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 345 ms. (11 steps per ms) remains 7075/7078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 312 ms. (12 steps per ms) remains 7075/7075 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 7073/7075 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 7073/7073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 276 ms. (14 steps per ms) remains 7073/7073 properties
BEST_FIRST walk for 4003 steps (8 resets) in 334 ms. (11 steps per ms) remains 7073/7073 properties
BEST_FIRST walk for 4003 steps (8 resets) in 305 ms. (13 steps per ms) remains 7073/7073 properties
BEST_FIRST walk for 4003 steps (8 resets) in 214 ms. (18 steps per ms) remains 7073/7073 properties
BEST_FIRST walk for 4003 steps (8 resets) in 275 ms. (14 steps per ms) remains 7073/7073 properties
Reachability property qltransition_919 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 249 ms. (16 steps per ms) remains 7073/7073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 272 ms. (14 steps per ms) remains 7073/7073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 245 ms. (16 steps per ms) remains 7073/7073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 7073/7073 properties
SDD proceeding with computation,8205 properties remain. new max is 32
SDD size :34502 after 36140
Reachability property qltransition_8374 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 265 ms. (15 steps per ms) remains 7071/7073 properties
Reachability property qltransition_8009 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 262 ms. (15 steps per ms) remains 7071/7071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 7071/7071 properties
BEST_FIRST walk for 4003 steps (8 resets) in 266 ms. (14 steps per ms) remains 7071/7071 properties
BEST_FIRST walk for 4003 steps (8 resets) in 267 ms. (14 steps per ms) remains 7070/7071 properties
BEST_FIRST walk for 4002 steps (8 resets) in 302 ms. (13 steps per ms) remains 7070/7070 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 7070/7070 properties
BEST_FIRST walk for 4004 steps (8 resets) in 323 ms. (12 steps per ms) remains 7070/7070 properties
Reachability property qltransition_6087 is true.
Reachability property qltransition_6050 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 320 ms. (12 steps per ms) remains 7070/7070 properties
BEST_FIRST walk for 4003 steps (8 resets) in 311 ms. (12 steps per ms) remains 7069/7070 properties
BEST_FIRST walk for 4003 steps (8 resets) in 271 ms. (14 steps per ms) remains 7069/7069 properties
BEST_FIRST walk for 4003 steps (8 resets) in 275 ms. (14 steps per ms) remains 7069/7069 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 7069/7069 properties
BEST_FIRST walk for 4003 steps (8 resets) in 317 ms. (12 steps per ms) remains 7068/7069 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 7068/7068 properties
BEST_FIRST walk for 4003 steps (8 resets) in 253 ms. (15 steps per ms) remains 7067/7068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 311 ms. (12 steps per ms) remains 7066/7067 properties
BEST_FIRST walk for 4004 steps (8 resets) in 340 ms. (11 steps per ms) remains 7062/7066 properties
BEST_FIRST walk for 4003 steps (8 resets) in 281 ms. (14 steps per ms) remains 7062/7062 properties
BEST_FIRST walk for 4003 steps (8 resets) in 264 ms. (15 steps per ms) remains 7062/7062 properties
BEST_FIRST walk for 4002 steps (8 resets) in 246 ms. (16 steps per ms) remains 7062/7062 properties
BEST_FIRST walk for 4003 steps (8 resets) in 313 ms. (12 steps per ms) remains 7062/7062 properties
BEST_FIRST walk for 4003 steps (8 resets) in 721 ms. (5 steps per ms) remains 7061/7062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 327 ms. (12 steps per ms) remains 7060/7061 properties
BEST_FIRST walk for 4002 steps (8 resets) in 290 ms. (13 steps per ms) remains 7060/7060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 7060/7060 properties
BEST_FIRST walk for 4002 steps (8 resets) in 310 ms. (12 steps per ms) remains 7060/7060 properties
BEST_FIRST walk for 4003 steps (8 resets) in 318 ms. (12 steps per ms) remains 7060/7060 properties
BEST_FIRST walk for 4003 steps (8 resets) in 263 ms. (15 steps per ms) remains 7060/7060 properties
BEST_FIRST walk for 4003 steps (8 resets) in 261 ms. (15 steps per ms) remains 7060/7060 properties
BEST_FIRST walk for 4003 steps (8 resets) in 233 ms. (17 steps per ms) remains 7059/7060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 262 ms. (15 steps per ms) remains 7059/7059 properties
BEST_FIRST walk for 4003 steps (8 resets) in 246 ms. (16 steps per ms) remains 7058/7059 properties
BEST_FIRST walk for 4004 steps (8 resets) in 265 ms. (15 steps per ms) remains 7057/7058 properties
BEST_FIRST walk for 4003 steps (8 resets) in 296 ms. (13 steps per ms) remains 7045/7057 properties
BEST_FIRST walk for 4003 steps (8 resets) in 252 ms. (15 steps per ms) remains 7045/7045 properties
BEST_FIRST walk for 4003 steps (8 resets) in 257 ms. (15 steps per ms) remains 7044/7045 properties
BEST_FIRST walk for 4003 steps (8 resets) in 278 ms. (14 steps per ms) remains 7041/7044 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 7041/7041 properties
BEST_FIRST walk for 4004 steps (8 resets) in 285 ms. (14 steps per ms) remains 7041/7041 properties
BEST_FIRST walk for 4003 steps (8 resets) in 272 ms. (14 steps per ms) remains 7041/7041 properties
BEST_FIRST walk for 4004 steps (8 resets) in 270 ms. (14 steps per ms) remains 7041/7041 properties
BEST_FIRST walk for 4004 steps (8 resets) in 275 ms. (14 steps per ms) remains 7041/7041 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 7041/7041 properties
BEST_FIRST walk for 4004 steps (8 resets) in 279 ms. (14 steps per ms) remains 7041/7041 properties
BEST_FIRST walk for 4003 steps (8 resets) in 260 ms. (15 steps per ms) remains 7041/7041 properties
BEST_FIRST walk for 4004 steps (8 resets) in 270 ms. (14 steps per ms) remains 7041/7041 properties
BEST_FIRST walk for 4004 steps (8 resets) in 279 ms. (14 steps per ms) remains 7040/7041 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 7039/7040 properties
BEST_FIRST walk for 4003 steps (8 resets) in 232 ms. (17 steps per ms) remains 7039/7039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 253 ms. (15 steps per ms) remains 7039/7039 properties
BEST_FIRST walk for 4003 steps (8 resets) in 237 ms. (16 steps per ms) remains 7039/7039 properties
BEST_FIRST walk for 4002 steps (8 resets) in 227 ms. (17 steps per ms) remains 7038/7039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 7038/7038 properties
BEST_FIRST walk for 4003 steps (8 resets) in 227 ms. (17 steps per ms) remains 7038/7038 properties
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 7037/7038 properties
BEST_FIRST walk for 4002 steps (8 resets) in 361 ms. (11 steps per ms) remains 7037/7037 properties
BEST_FIRST walk for 4002 steps (8 resets) in 304 ms. (13 steps per ms) remains 7036/7037 properties
BEST_FIRST walk for 4002 steps (8 resets) in 282 ms. (14 steps per ms) remains 7031/7036 properties
BEST_FIRST walk for 4004 steps (8 resets) in 346 ms. (11 steps per ms) remains 7031/7031 properties
BEST_FIRST walk for 4004 steps (8 resets) in 313 ms. (12 steps per ms) remains 7031/7031 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 7030/7031 properties
BEST_FIRST walk for 4004 steps (8 resets) in 339 ms. (11 steps per ms) remains 7030/7030 properties
BEST_FIRST walk for 4004 steps (8 resets) in 322 ms. (12 steps per ms) remains 7030/7030 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 7030/7030 properties
BEST_FIRST walk for 4003 steps (8 resets) in 329 ms. (12 steps per ms) remains 7029/7030 properties
BEST_FIRST walk for 4004 steps (8 resets) in 307 ms. (13 steps per ms) remains 7029/7029 properties
BEST_FIRST walk for 4002 steps (8 resets) in 292 ms. (13 steps per ms) remains 7029/7029 properties
BEST_FIRST walk for 4004 steps (8 resets) in 315 ms. (12 steps per ms) remains 7029/7029 properties
BEST_FIRST walk for 4004 steps (8 resets) in 307 ms. (13 steps per ms) remains 7029/7029 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 7029/7029 properties
BEST_FIRST walk for 4004 steps (8 resets) in 275 ms. (14 steps per ms) remains 7027/7029 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 7027/7027 properties
BEST_FIRST walk for 4003 steps (8 resets) in 271 ms. (14 steps per ms) remains 7024/7027 properties
BEST_FIRST walk for 4002 steps (8 resets) in 323 ms. (12 steps per ms) remains 7024/7024 properties
BEST_FIRST walk for 4003 steps (8 resets) in 308 ms. (12 steps per ms) remains 7024/7024 properties
BEST_FIRST walk for 4003 steps (8 resets) in 272 ms. (14 steps per ms) remains 7024/7024 properties
BEST_FIRST walk for 4003 steps (8 resets) in 349 ms. (11 steps per ms) remains 7021/7024 properties
BEST_FIRST walk for 4004 steps (8 resets) in 324 ms. (12 steps per ms) remains 7020/7021 properties
BEST_FIRST walk for 4004 steps (8 resets) in 317 ms. (12 steps per ms) remains 7019/7020 properties
BEST_FIRST walk for 4003 steps (8 resets) in 260 ms. (15 steps per ms) remains 7019/7019 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 7019/7019 properties
BEST_FIRST walk for 4002 steps (8 resets) in 260 ms. (15 steps per ms) remains 7019/7019 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 7019/7019 properties
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 7019/7019 properties
BEST_FIRST walk for 4003 steps (8 resets) in 253 ms. (15 steps per ms) remains 7019/7019 properties
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 7019/7019 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 7019/7019 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 7019/7019 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 7019/7019 properties
BEST_FIRST walk for 4004 steps (8 resets) in 261 ms. (15 steps per ms) remains 7019/7019 properties
BEST_FIRST walk for 4004 steps (8 resets) in 344 ms. (11 steps per ms) remains 7019/7019 properties
BEST_FIRST walk for 4003 steps (8 resets) in 343 ms. (11 steps per ms) remains 7019/7019 properties
BEST_FIRST walk for 4002 steps (8 resets) in 363 ms. (10 steps per ms) remains 7019/7019 properties
BEST_FIRST walk for 4004 steps (8 resets) in 314 ms. (12 steps per ms) remains 7019/7019 properties
BEST_FIRST walk for 4002 steps (8 resets) in 263 ms. (15 steps per ms) remains 7019/7019 properties
BEST_FIRST walk for 4004 steps (8 resets) in 277 ms. (14 steps per ms) remains 7018/7019 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 7017/7018 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 7017/7017 properties
BEST_FIRST walk for 4003 steps (8 resets) in 253 ms. (15 steps per ms) remains 7017/7017 properties
BEST_FIRST walk for 4003 steps (8 resets) in 258 ms. (15 steps per ms) remains 7017/7017 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 7017/7017 properties
BEST_FIRST walk for 4003 steps (8 resets) in 256 ms. (15 steps per ms) remains 7015/7017 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 7015/7015 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 7015/7015 properties
Reachability property qltransition_1215 is true.
Reachability property qltransition_1001 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 7015/7015 properties
Reachability property qltransition_832 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 273 ms. (14 steps per ms) remains 7015/7015 properties
BEST_FIRST walk for 4004 steps (8 resets) in 228 ms. (17 steps per ms) remains 7015/7015 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 7015/7015 properties
SDD proceeding with computation,8198 properties remain. new max is 32
SDD size :36140 after 39780
BEST_FIRST walk for 4004 steps (8 resets) in 265 ms. (15 steps per ms) remains 7015/7015 properties
Reachability property qltransition_8221 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 7014/7015 properties
Reachability property qltransition_7483 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 7014/7014 properties
BEST_FIRST walk for 4003 steps (8 resets) in 273 ms. (14 steps per ms) remains 7011/7014 properties
BEST_FIRST walk for 4003 steps (8 resets) in 267 ms. (14 steps per ms) remains 7011/7011 properties
Reachability property qltransition_6810 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 299 ms. (13 steps per ms) remains 7010/7011 properties
BEST_FIRST walk for 4003 steps (8 resets) in 336 ms. (11 steps per ms) remains 7010/7010 properties
Reachability property qltransition_6045 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 7010/7010 properties
Reachability property qltransition_5304 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 227 ms. (17 steps per ms) remains 7010/7010 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 7010/7010 properties
BEST_FIRST walk for 4003 steps (8 resets) in 254 ms. (15 steps per ms) remains 7009/7010 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 7009/7009 properties
BEST_FIRST walk for 4003 steps (8 resets) in 243 ms. (16 steps per ms) remains 7009/7009 properties
BEST_FIRST walk for 4003 steps (8 resets) in 272 ms. (14 steps per ms) remains 7009/7009 properties
BEST_FIRST walk for 4003 steps (8 resets) in 259 ms. (15 steps per ms) remains 7008/7009 properties
BEST_FIRST walk for 4003 steps (8 resets) in 237 ms. (16 steps per ms) remains 7008/7008 properties
BEST_FIRST walk for 4003 steps (8 resets) in 252 ms. (15 steps per ms) remains 7008/7008 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 7008/7008 properties
Reachability property qltransition_1648 is true.
Reachability property qltransition_1169 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 266 ms. (14 steps per ms) remains 7008/7008 properties
Reachability property qltransition_687 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 7008/7008 properties
BEST_FIRST walk for 4003 steps (8 resets) in 254 ms. (15 steps per ms) remains 7005/7008 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 7005/7005 properties
BEST_FIRST walk for 4002 steps (8 resets) in 249 ms. (16 steps per ms) remains 7005/7005 properties
SDD proceeding with computation,8190 properties remain. new max is 32
SDD size :39780 after 46852
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 7002/7005 properties
Reachability property qltransition_8261 is true.
Reachability property qltransition_8191 is true.
Reachability property qltransition_8155 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 7002/7002 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 7002/7002 properties
Reachability property qltransition_7106 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 266 ms. (14 steps per ms) remains 7001/7002 properties
Reachability property qltransition_6121 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 262 ms. (15 steps per ms) remains 6999/7001 properties
BEST_FIRST walk for 4003 steps (8 resets) in 262 ms. (15 steps per ms) remains 6999/6999 properties
BEST_FIRST walk for 4003 steps (8 resets) in 224 ms. (17 steps per ms) remains 6998/6999 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 6997/6998 properties
Reachability property qltransition_4206 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 253 ms. (15 steps per ms) remains 6997/6997 properties
BEST_FIRST walk for 4002 steps (8 resets) in 238 ms. (16 steps per ms) remains 6995/6997 properties
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 6995/6995 properties
BEST_FIRST walk for 4003 steps (8 resets) in 261 ms. (15 steps per ms) remains 6995/6995 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 6995/6995 properties
BEST_FIRST walk for 4003 steps (8 resets) in 244 ms. (16 steps per ms) remains 6995/6995 properties
Reachability property qltransition_3076 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 262 ms. (15 steps per ms) remains 6995/6995 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 6995/6995 properties
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 6995/6995 properties
Reachability property qltransition_1589 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 6995/6995 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 6995/6995 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6995/6995 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 6995/6995 properties
Reachability property qltransition_171 is true.
SDD proceeding with computation,8181 properties remain. new max is 32
SDD size :46852 after 58786
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 6995/6995 properties
BEST_FIRST walk for 4003 steps (8 resets) in 254 ms. (15 steps per ms) remains 6994/6995 properties
Reachability property qltransition_8259 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 230 ms. (17 steps per ms) remains 6994/6994 properties
Reachability property qltransition_8081 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 249 ms. (16 steps per ms) remains 6994/6994 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 6994/6994 properties
BEST_FIRST walk for 4003 steps (8 resets) in 249 ms. (16 steps per ms) remains 6993/6994 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 249 ms. (16 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4003 steps (8 resets) in 243 ms. (16 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4003 steps (8 resets) in 219 ms. (18 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4003 steps (8 resets) in 227 ms. (17 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4003 steps (8 resets) in 227 ms. (17 steps per ms) remains 6993/6993 properties
Reachability property qltransition_6924 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 224 ms. (17 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4002 steps (8 resets) in 222 ms. (17 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4003 steps (8 resets) in 226 ms. (17 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4003 steps (8 resets) in 232 ms. (17 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4003 steps (8 resets) in 264 ms. (15 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4003 steps (8 resets) in 253 ms. (15 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 270 ms. (14 steps per ms) remains 6993/6993 properties
Reachability property qltransition_5948 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4003 steps (8 resets) in 260 ms. (15 steps per ms) remains 6993/6993 properties
Reachability property qltransition_4812 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 6993/6993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 268 ms. (14 steps per ms) remains 6991/6993 properties
BEST_FIRST walk for 4003 steps (8 resets) in 245 ms. (16 steps per ms) remains 6991/6991 properties
Reachability property qltransition_4039 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 266 ms. (14 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4003 steps (8 resets) in 254 ms. (15 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 6991/6991 properties
BEST_FIRST walk for 4002 steps (8 resets) in 262 ms. (15 steps per ms) remains 6990/6991 properties
BEST_FIRST walk for 4004 steps (8 resets) in 265 ms. (15 steps per ms) remains 6990/6990 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 6990/6990 properties
BEST_FIRST walk for 4002 steps (8 resets) in 265 ms. (15 steps per ms) remains 6990/6990 properties
BEST_FIRST walk for 4004 steps (8 resets) in 279 ms. (14 steps per ms) remains 6990/6990 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 6990/6990 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 6990/6990 properties
BEST_FIRST walk for 4003 steps (8 resets) in 233 ms. (17 steps per ms) remains 6990/6990 properties
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 6989/6990 properties
BEST_FIRST walk for 4004 steps (8 resets) in 228 ms. (17 steps per ms) remains 6988/6989 properties
BEST_FIRST walk for 4004 steps (8 resets) in 262 ms. (15 steps per ms) remains 6988/6988 properties
BEST_FIRST walk for 4003 steps (8 resets) in 247 ms. (16 steps per ms) remains 6988/6988 properties
BEST_FIRST walk for 4004 steps (8 resets) in 271 ms. (14 steps per ms) remains 6988/6988 properties
Reachability property qltransition_2615 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 257 ms. (15 steps per ms) remains 6986/6988 properties
Reachability property qltransition_2540 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 266 ms. (14 steps per ms) remains 6984/6986 properties
Reachability property qltransition_2214 is true.
Reachability property qltransition_2139 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 235 ms. (16 steps per ms) remains 6984/6984 properties
BEST_FIRST walk for 4002 steps (8 resets) in 226 ms. (17 steps per ms) remains 6984/6984 properties
BEST_FIRST walk for 4002 steps (8 resets) in 248 ms. (16 steps per ms) remains 6979/6984 properties
BEST_FIRST walk for 4004 steps (8 resets) in 228 ms. (17 steps per ms) remains 6979/6979 properties
BEST_FIRST walk for 4004 steps (8 resets) in 261 ms. (15 steps per ms) remains 6979/6979 properties
BEST_FIRST walk for 4004 steps (8 resets) in 249 ms. (16 steps per ms) remains 6979/6979 properties
BEST_FIRST walk for 4003 steps (8 resets) in 252 ms. (15 steps per ms) remains 6977/6979 properties
Reachability property qltransition_1138 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 228 ms. (17 steps per ms) remains 6977/6977 properties
Reachability property qltransition_1117 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 241 ms. (16 steps per ms) remains 6977/6977 properties
BEST_FIRST walk for 4003 steps (8 resets) in 246 ms. (16 steps per ms) remains 6976/6977 properties
BEST_FIRST walk for 4004 steps (8 resets) in 242 ms. (16 steps per ms) remains 6976/6976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 6975/6976 properties
Reachability property qltransition_557 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 6975/6975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 6975/6975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 271 ms. (14 steps per ms) remains 6975/6975 properties
Reachability property qltransition_91 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 361 ms. (11 steps per ms) remains 6975/6975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 337 ms. (11 steps per ms) remains 6975/6975 properties
SDD proceeding with computation,8167 properties remain. new max is 32
SDD size :58786 after 117584
BEST_FIRST walk for 4003 steps (8 resets) in 345 ms. (11 steps per ms) remains 6975/6975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 279 ms. (14 steps per ms) remains 6975/6975 properties
BEST_FIRST walk for 4003 steps (8 resets) in 313 ms. (12 steps per ms) remains 6975/6975 properties
Reachability property qltransition_7566 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 335 ms. (11 steps per ms) remains 6975/6975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 6975/6975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 275 ms. (14 steps per ms) remains 6975/6975 properties
BEST_FIRST walk for 4003 steps (8 resets) in 240 ms. (16 steps per ms) remains 6975/6975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 6975/6975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 266 ms. (14 steps per ms) remains 6975/6975 properties
BEST_FIRST walk for 4002 steps (8 resets) in 247 ms. (16 steps per ms) remains 6975/6975 properties
BEST_FIRST walk for 4003 steps (8 resets) in 308 ms. (12 steps per ms) remains 6973/6975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 262 ms. (15 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4002 steps (8 resets) in 256 ms. (15 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 264 ms. (15 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 248 ms. (16 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 221 ms. (18 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 6973/6973 properties
BEST_FIRST walk for 4003 steps (8 resets) in 245 ms. (16 steps per ms) remains 6972/6973 properties
BEST_FIRST walk for 4002 steps (8 resets) in 242 ms. (16 steps per ms) remains 6972/6972 properties
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 6972/6972 properties
BEST_FIRST walk for 4004 steps (8 resets) in 236 ms. (16 steps per ms) remains 6972/6972 properties
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 6972/6972 properties
BEST_FIRST walk for 4002 steps (8 resets) in 239 ms. (16 steps per ms) remains 6972/6972 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 6971/6972 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 227 ms. (17 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4002 steps (8 resets) in 251 ms. (15 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 247 ms. (16 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 234 ms. (17 steps per ms) remains 6971/6971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 6970/6971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 243 ms. (16 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 260 ms. (15 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 250 ms. (15 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4003 steps (8 resets) in 269 ms. (14 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 245 ms. (16 steps per ms) remains 6970/6970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 274 ms. (14 steps per ms) remains 6969/6970 properties
BEST_FIRST walk for 4002 steps (8 resets) in 245 ms. (16 steps per ms) remains 6969/6969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 6969/6969 properties
BEST_FIRST walk for 4003 steps (8 resets) in 240 ms. (16 steps per ms) remains 6969/6969 properties
Reachability property qltransition_899 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 216 ms. (18 steps per ms) remains 6969/6969 properties
BEST_FIRST walk for 4003 steps (8 resets) in 253 ms. (15 steps per ms) remains 6969/6969 properties
Reachability property qltransition_509 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 277 ms. (14 steps per ms) remains 6969/6969 properties
BEST_FIRST walk for 4003 steps (8 resets) in 237 ms. (16 steps per ms) remains 6969/6969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 228 ms. (17 steps per ms) remains 6969/6969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 6969/6969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 6969/6969 properties
SDD proceeding with computation,8164 properties remain. new max is 32
SDD size :117584 after 117649
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 6969/6969 properties
BEST_FIRST walk for 4003 steps (8 resets) in 219 ms. (18 steps per ms) remains 6969/6969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 6969/6969 properties
BEST_FIRST walk for 4003 steps (8 resets) in 231 ms. (17 steps per ms) remains 6969/6969 properties
Reachability property qltransition_7754 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 252 ms. (15 steps per ms) remains 6966/6969 properties
BEST_FIRST walk for 4003 steps (8 resets) in 273 ms. (14 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 287 ms. (13 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 325 ms. (12 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 359 ms. (11 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4002 steps (8 resets) in 318 ms. (12 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4003 steps (8 resets) in 255 ms. (15 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4003 steps (8 resets) in 255 ms. (15 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4003 steps (8 resets) in 280 ms. (14 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4003 steps (8 resets) in 296 ms. (13 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 344 ms. (11 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 322 ms. (12 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 265 ms. (15 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4003 steps (8 resets) in 358 ms. (11 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4003 steps (8 resets) in 342 ms. (11 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4003 steps (8 resets) in 326 ms. (12 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4003 steps (8 resets) in 310 ms. (12 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4003 steps (8 resets) in 280 ms. (14 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 6966/6966 properties
Reachability property qltransition_3799 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 284 ms. (14 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4003 steps (8 resets) in 263 ms. (15 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 236 ms. (16 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4003 steps (8 resets) in 299 ms. (13 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 287 ms. (13 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 313 ms. (12 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4002 steps (8 resets) in 310 ms. (12 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4003 steps (8 resets) in 252 ms. (15 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4002 steps (8 resets) in 250 ms. (15 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4003 steps (8 resets) in 251 ms. (15 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 277 ms. (14 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 358 ms. (11 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4003 steps (8 resets) in 345 ms. (11 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 284 ms. (14 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4003 steps (8 resets) in 296 ms. (13 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 279 ms. (14 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 336 ms. (11 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 337 ms. (11 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 6966/6966 properties
Reachability property qltransition_1866 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4001 steps (8 resets) in 318 ms. (12 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4003 steps (8 resets) in 312 ms. (12 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 285 ms. (14 steps per ms) remains 6966/6966 properties
BEST_FIRST walk for 4002 steps (8 resets) in 306 ms. (13 steps per ms) remains 6965/6966 properties
Reachability property qltransition_847 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 500 ms. (7 steps per ms) remains 6965/6965 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 6965/6965 properties
BEST_FIRST walk for 4004 steps (8 resets) in 282 ms. (14 steps per ms) remains 6965/6965 properties
BEST_FIRST walk for 4003 steps (8 resets) in 283 ms. (14 steps per ms) remains 6965/6965 properties
BEST_FIRST walk for 4002 steps (8 resets) in 293 ms. (13 steps per ms) remains 6965/6965 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 6965/6965 properties
SDD proceeding with computation,8160 properties remain. new max is 32
SDD size :117649 after 117922
BEST_FIRST walk for 4003 steps (8 resets) in 235 ms. (16 steps per ms) remains 6965/6965 properties
BEST_FIRST walk for 4003 steps (8 resets) in 300 ms. (13 steps per ms) remains 6965/6965 properties
BEST_FIRST walk for 4003 steps (8 resets) in 307 ms. (12 steps per ms) remains 6965/6965 properties
BEST_FIRST walk for 4004 steps (8 resets) in 280 ms. (14 steps per ms) remains 6965/6965 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 6965/6965 properties
BEST_FIRST walk for 4003 steps (8 resets) in 286 ms. (13 steps per ms) remains 6965/6965 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 6965/6965 properties
Reachability property qltransition_7083 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 254 ms. (15 steps per ms) remains 6965/6965 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 6965/6965 properties
BEST_FIRST walk for 4004 steps (8 resets) in 269 ms. (14 steps per ms) remains 6963/6965 properties
BEST_FIRST walk for 4004 steps (8 resets) in 281 ms. (14 steps per ms) remains 6963/6963 properties
BEST_FIRST walk for 4003 steps (8 resets) in 270 ms. (14 steps per ms) remains 6963/6963 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 6963/6963 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 6963/6963 properties
BEST_FIRST walk for 4004 steps (8 resets) in 266 ms. (14 steps per ms) remains 6963/6963 properties
BEST_FIRST walk for 4003 steps (8 resets) in 259 ms. (15 steps per ms) remains 6963/6963 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 6963/6963 properties
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 6963/6963 properties
BEST_FIRST walk for 4004 steps (8 resets) in 277 ms. (14 steps per ms) remains 6963/6963 properties
Reachability property qltransition_4801 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 6963/6963 properties
BEST_FIRST walk for 4003 steps (8 resets) in 282 ms. (14 steps per ms) remains 6963/6963 properties
BEST_FIRST walk for 4004 steps (8 resets) in 269 ms. (14 steps per ms) remains 6963/6963 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 6963/6963 properties
Reachability property qltransition_3847 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 6963/6963 properties
BEST_FIRST walk for 4004 steps (8 resets) in 261 ms. (15 steps per ms) remains 6963/6963 properties
BEST_FIRST walk for 4004 steps (8 resets) in 242 ms. (16 steps per ms) remains 6963/6963 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 6962/6963 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 6962/6962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 6960/6962 properties
BEST_FIRST walk for 4003 steps (8 resets) in 220 ms. (18 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4004 steps (8 resets) in 228 ms. (17 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4002 steps (8 resets) in 209 ms. (19 steps per ms) remains 6960/6960 properties
BEST_FIRST walk for 4004 steps (8 resets) in 279 ms. (14 steps per ms) remains 6959/6960 properties
BEST_FIRST walk for 4004 steps (8 resets) in 351 ms. (11 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4004 steps (8 resets) in 330 ms. (12 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4003 steps (8 resets) in 338 ms. (11 steps per ms) remains 6959/6959 properties
BEST_FIRST walk for 4004 steps (8 resets) in 307 ms. (13 steps per ms) remains 6956/6959 properties
BEST_FIRST walk for 4003 steps (8 resets) in 212 ms. (18 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4002 steps (8 resets) in 248 ms. (16 steps per ms) remains 6956/6956 properties
Reachability property qltransition_2448 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4003 steps (8 resets) in 238 ms. (16 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4003 steps (8 resets) in 235 ms. (16 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 6956/6956 properties
Reachability property qltransition_1748 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4002 steps (8 resets) in 247 ms. (16 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4003 steps (8 resets) in 209 ms. (19 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4003 steps (8 resets) in 234 ms. (17 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4002 steps (8 resets) in 215 ms. (18 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 6956/6956 properties
SDD proceeding with computation,8155 properties remain. new max is 32
SDD size :117922 after 118832
BEST_FIRST walk for 4002 steps (8 resets) in 236 ms. (16 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 262 ms. (15 steps per ms) remains 6956/6956 properties
Reachability property qltransition_7908 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 230 ms. (17 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 262 ms. (15 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4002 steps (8 resets) in 241 ms. (16 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4003 steps (8 resets) in 324 ms. (12 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4002 steps (8 resets) in 313 ms. (12 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 311 ms. (12 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4003 steps (8 resets) in 276 ms. (14 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4003 steps (8 resets) in 260 ms. (15 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4003 steps (8 resets) in 313 ms. (12 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 323 ms. (12 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 344 ms. (11 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 317 ms. (12 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4003 steps (8 resets) in 268 ms. (14 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4003 steps (8 resets) in 285 ms. (13 steps per ms) remains 6956/6956 properties
Reachability property qltransition_5711 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 308 ms. (12 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 302 ms. (13 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 303 ms. (13 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4003 steps (8 resets) in 302 ms. (13 steps per ms) remains 6956/6956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 6954/6956 properties
BEST_FIRST walk for 4003 steps (8 resets) in 272 ms. (14 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4003 steps (8 resets) in 250 ms. (15 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4004 steps (8 resets) in 322 ms. (12 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4004 steps (8 resets) in 276 ms. (14 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 6954/6954 properties
Reachability property qltransition_3518 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 319 ms. (12 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4003 steps (8 resets) in 307 ms. (12 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4003 steps (8 resets) in 255 ms. (15 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4003 steps (8 resets) in 270 ms. (14 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4004 steps (8 resets) in 261 ms. (15 steps per ms) remains 6954/6954 properties
Reachability property qltransition_3264 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 242 ms. (16 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4004 steps (8 resets) in 288 ms. (13 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4004 steps (8 resets) in 262 ms. (15 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4003 steps (8 resets) in 272 ms. (14 steps per ms) remains 6954/6954 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 6953/6954 properties
BEST_FIRST walk for 4003 steps (8 resets) in 322 ms. (12 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 414 ms. (9 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 474 ms. (8 steps per ms) remains 6953/6953 properties
Reachability property qltransition_3088 is true.
Reachability property qltransition_3020 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 415 ms. (9 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 270 ms. (14 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 228 ms. (17 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 252 ms. (15 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 238 ms. (16 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 255 ms. (15 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 221 ms. (18 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 207 ms. (19 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 208 ms. (19 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 236 ms. (16 steps per ms) remains 6953/6953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 224 ms. (17 steps per ms) remains 6948/6953 properties
BEST_FIRST walk for 4003 steps (8 resets) in 218 ms. (18 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4003 steps (8 resets) in 231 ms. (17 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4003 steps (8 resets) in 240 ms. (16 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 222 ms. (17 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 6948/6948 properties
SDD proceeding with computation,8149 properties remain. new max is 32
SDD size :118832 after 121380
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4003 steps (8 resets) in 221 ms. (18 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4003 steps (8 resets) in 209 ms. (19 steps per ms) remains 6948/6948 properties
Reachability property qltransition_8399 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4003 steps (8 resets) in 239 ms. (16 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4003 steps (8 resets) in 225 ms. (17 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 6948/6948 properties
BEST_FIRST walk for 4003 steps (8 resets) in 244 ms. (16 steps per ms) remains 6945/6948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 224 ms. (17 steps per ms) remains 6945/6945 properties
BEST_FIRST walk for 4003 steps (8 resets) in 230 ms. (17 steps per ms) remains 6944/6945 properties
BEST_FIRST walk for 4004 steps (8 resets) in 222 ms. (17 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 238 ms. (16 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 228 ms. (17 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4002 steps (8 resets) in 229 ms. (17 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 224 ms. (17 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 221 ms. (18 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4002 steps (8 resets) in 236 ms. (16 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 222 ms. (17 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 219 ms. (18 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 225 ms. (17 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 246 ms. (16 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 233 ms. (17 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 214 ms. (18 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4001 steps (8 resets) in 235 ms. (16 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 214 ms. (18 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 214 ms. (18 steps per ms) remains 6944/6944 properties
Reachability property qltransition_4503 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 6944/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 6941/6944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 6941/6941 properties
BEST_FIRST walk for 4003 steps (8 resets) in 230 ms. (17 steps per ms) remains 6941/6941 properties
Reachability property qltransition_3772 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 213 ms. (18 steps per ms) remains 6941/6941 properties
BEST_FIRST walk for 4002 steps (8 resets) in 226 ms. (17 steps per ms) remains 6941/6941 properties
BEST_FIRST walk for 4003 steps (8 resets) in 260 ms. (15 steps per ms) remains 6941/6941 properties
BEST_FIRST walk for 4001 steps (8 resets) in 271 ms. (14 steps per ms) remains 6941/6941 properties
BEST_FIRST walk for 4001 steps (8 resets) in 271 ms. (14 steps per ms) remains 6941/6941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 6940/6941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 6940/6940 properties
Reachability property qltransition_3218 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 269 ms. (14 steps per ms) remains 6940/6940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 267 ms. (14 steps per ms) remains 6940/6940 properties
BEST_FIRST walk for 4003 steps (8 resets) in 229 ms. (17 steps per ms) remains 6940/6940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 6940/6940 properties
Reachability property qltransition_2887 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 264 ms. (15 steps per ms) remains 6940/6940 properties
Reachability property qltransition_2532 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 272 ms. (14 steps per ms) remains 6938/6940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 255 ms. (15 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 249 ms. (16 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 250 ms. (15 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 245 ms. (16 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 247 ms. (16 steps per ms) remains 6938/6938 properties
Reachability property qltransition_624 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 262 ms. (15 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 265 ms. (15 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4002 steps (8 resets) in 259 ms. (15 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4002 steps (8 resets) in 274 ms. (14 steps per ms) remains 6938/6938 properties
SDD proceeding with computation,8142 properties remain. new max is 32
SDD size :121380 after 127568
BEST_FIRST walk for 4003 steps (8 resets) in 274 ms. (14 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 257 ms. (15 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 228 ms. (17 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 259 ms. (15 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 275 ms. (14 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 272 ms. (14 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 221 ms. (18 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 267 ms. (14 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 268 ms. (14 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 271 ms. (14 steps per ms) remains 6938/6938 properties
Reachability property qltransition_6596 is true.
Reachability property qltransition_6433 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 260 ms. (15 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 268 ms. (14 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 260 ms. (15 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 263 ms. (15 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 276 ms. (14 steps per ms) remains 6938/6938 properties
Reachability property qltransition_4877 is true.
Reachability property qltransition_4557 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 282 ms. (14 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 268 ms. (14 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 6938/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 257 ms. (15 steps per ms) remains 6936/6938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 253 ms. (15 steps per ms) remains 6936/6936 properties
BEST_FIRST walk for 4003 steps (8 resets) in 249 ms. (16 steps per ms) remains 6936/6936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 6936/6936 properties
BEST_FIRST walk for 4002 steps (8 resets) in 218 ms. (18 steps per ms) remains 6936/6936 properties
BEST_FIRST walk for 4002 steps (8 resets) in 225 ms. (17 steps per ms) remains 6936/6936 properties
BEST_FIRST walk for 4003 steps (8 resets) in 229 ms. (17 steps per ms) remains 6936/6936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 6936/6936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 6936/6936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 6936/6936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 6936/6936 properties
Reachability property qltransition_3131 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 6936/6936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 6935/6936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 6935/6935 properties
BEST_FIRST walk for 4003 steps (8 resets) in 224 ms. (17 steps per ms) remains 6935/6935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 6935/6935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 6935/6935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 6935/6935 properties
BEST_FIRST walk for 4003 steps (8 resets) in 221 ms. (18 steps per ms) remains 6935/6935 properties
BEST_FIRST walk for 4003 steps (8 resets) in 210 ms. (18 steps per ms) remains 6935/6935 properties
Reachability property qltransition_2627 is true.
Reachability property qltransition_2599 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 242 ms. (16 steps per ms) remains 6935/6935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 6935/6935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 6935/6935 properties
BEST_FIRST walk for 4003 steps (8 resets) in 264 ms. (15 steps per ms) remains 6935/6935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 6935/6935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 6935/6935 properties
Reachability property qltransition_1604 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 6935/6935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 6935/6935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 6935/6935 properties
BEST_FIRST walk for 4003 steps (8 resets) in 259 ms. (15 steps per ms) remains 6935/6935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 244 ms. (16 steps per ms) remains 6935/6935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 269 ms. (14 steps per ms) remains 6933/6935 properties
SDD proceeding with computation,8134 properties remain. new max is 32
SDD size :127568 after 140828
BEST_FIRST walk for 4003 steps (8 resets) in 257 ms. (15 steps per ms) remains 6933/6933 properties
BEST_FIRST walk for 4003 steps (8 resets) in 276 ms. (14 steps per ms) remains 6933/6933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 242 ms. (16 steps per ms) remains 6933/6933 properties
Reachability property qltransition_7394 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 6933/6933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6933/6933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6933/6933 properties
BEST_FIRST walk for 4003 steps (8 resets) in 239 ms. (16 steps per ms) remains 6933/6933 properties
Reachability property qltransition_7015 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 275 ms. (14 steps per ms) remains 6933/6933 properties
BEST_FIRST walk for 4002 steps (8 resets) in 281 ms. (14 steps per ms) remains 6930/6933 properties
BEST_FIRST walk for 4002 steps (8 resets) in 215 ms. (18 steps per ms) remains 6930/6930 properties
Reachability property qltransition_5887 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 6930/6930 properties
BEST_FIRST walk for 4003 steps (8 resets) in 260 ms. (15 steps per ms) remains 6930/6930 properties
BEST_FIRST walk for 4003 steps (8 resets) in 258 ms. (15 steps per ms) remains 6930/6930 properties
Reachability property qltransition_4973 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 229 ms. (17 steps per ms) remains 6930/6930 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 6930/6930 properties
Reachability property qltransition_4285 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 251 ms. (15 steps per ms) remains 6930/6930 properties
Reachability property qltransition_3954 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 223 ms. (17 steps per ms) remains 6929/6930 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 6928/6929 properties
BEST_FIRST walk for 4003 steps (8 resets) in 341 ms. (11 steps per ms) remains 6928/6928 properties
BEST_FIRST walk for 4003 steps (8 resets) in 335 ms. (11 steps per ms) remains 6928/6928 properties
BEST_FIRST walk for 4003 steps (8 resets) in 349 ms. (11 steps per ms) remains 6928/6928 properties
BEST_FIRST walk for 4003 steps (8 resets) in 304 ms. (13 steps per ms) remains 6928/6928 properties
BEST_FIRST walk for 4003 steps (8 resets) in 249 ms. (16 steps per ms) remains 6928/6928 properties
BEST_FIRST walk for 4003 steps (8 resets) in 253 ms. (15 steps per ms) remains 6928/6928 properties
BEST_FIRST walk for 4004 steps (8 resets) in 287 ms. (13 steps per ms) remains 6928/6928 properties
BEST_FIRST walk for 4003 steps (8 resets) in 250 ms. (15 steps per ms) remains 6928/6928 properties
BEST_FIRST walk for 4004 steps (8 resets) in 281 ms. (14 steps per ms) remains 6928/6928 properties
BEST_FIRST walk for 4004 steps (8 resets) in 253 ms. (15 steps per ms) remains 6928/6928 properties
BEST_FIRST walk for 4004 steps (8 resets) in 265 ms. (15 steps per ms) remains 6928/6928 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 6928/6928 properties
BEST_FIRST walk for 4003 steps (8 resets) in 286 ms. (13 steps per ms) remains 6928/6928 properties
BEST_FIRST walk for 4003 steps (8 resets) in 277 ms. (14 steps per ms) remains 6928/6928 properties
BEST_FIRST walk for 4002 steps (8 resets) in 273 ms. (14 steps per ms) remains 6928/6928 properties
Reachability property qltransition_2777 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 272 ms. (14 steps per ms) remains 6928/6928 properties
BEST_FIRST walk for 4004 steps (8 resets) in 271 ms. (14 steps per ms) remains 6928/6928 properties
BEST_FIRST walk for 4003 steps (8 resets) in 268 ms. (14 steps per ms) remains 6928/6928 properties
BEST_FIRST walk for 4004 steps (8 resets) in 271 ms. (14 steps per ms) remains 6928/6928 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 6928/6928 properties
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 6928/6928 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 6928/6928 properties
Reachability property qltransition_1829 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 6928/6928 properties
BEST_FIRST walk for 4003 steps (8 resets) in 273 ms. (14 steps per ms) remains 6928/6928 properties
Reachability property qltransition_424 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 232 ms. (17 steps per ms) remains 6928/6928 properties
SDD proceeding with computation,8125 properties remain. new max is 32
SDD size :140828 after 166022
BEST_FIRST walk for 4003 steps (8 resets) in 274 ms. (14 steps per ms) remains 6928/6928 properties
Reachability property qltransition_8366 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 249 ms. (16 steps per ms) remains 6928/6928 properties
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 6928/6928 properties
BEST_FIRST walk for 4003 steps (8 resets) in 275 ms. (14 steps per ms) remains 6928/6928 properties
Reachability property qltransition_6795 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 227 ms. (17 steps per ms) remains 6928/6928 properties
Reachability property qltransition_6047 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 269 ms. (14 steps per ms) remains 6928/6928 properties
Reachability property qltransition_5890 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 267 ms. (14 steps per ms) remains 6928/6928 properties
Reachability property qltransition_5403 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 307 ms. (12 steps per ms) remains 6927/6928 properties
BEST_FIRST walk for 4002 steps (8 resets) in 224 ms. (17 steps per ms) remains 6927/6927 properties
Reachability property qltransition_5192 is true.
Reachability property qltransition_5167 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 249 ms. (16 steps per ms) remains 6927/6927 properties
BEST_FIRST walk for 4002 steps (8 resets) in 275 ms. (14 steps per ms) remains 6925/6927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 6925/6925 properties
BEST_FIRST walk for 4002 steps (8 resets) in 228 ms. (17 steps per ms) remains 6925/6925 properties
BEST_FIRST walk for 4004 steps (8 resets) in 265 ms. (15 steps per ms) remains 6925/6925 properties
BEST_FIRST walk for 4003 steps (8 resets) in 259 ms. (15 steps per ms) remains 6925/6925 properties
BEST_FIRST walk for 4003 steps (8 resets) in 257 ms. (15 steps per ms) remains 6925/6925 properties
BEST_FIRST walk for 4004 steps (8 resets) in 253 ms. (15 steps per ms) remains 6925/6925 properties
BEST_FIRST walk for 4003 steps (8 resets) in 257 ms. (15 steps per ms) remains 6925/6925 properties
BEST_FIRST walk for 4004 steps (8 resets) in 267 ms. (14 steps per ms) remains 6925/6925 properties
Reachability property qltransition_3727 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 245 ms. (16 steps per ms) remains 6925/6925 properties
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 6925/6925 properties
BEST_FIRST walk for 4004 steps (8 resets) in 268 ms. (14 steps per ms) remains 6925/6925 properties
BEST_FIRST walk for 4003 steps (8 resets) in 262 ms. (15 steps per ms) remains 6925/6925 properties
BEST_FIRST walk for 4004 steps (8 resets) in 257 ms. (15 steps per ms) remains 6925/6925 properties
BEST_FIRST walk for 4004 steps (8 resets) in 233 ms. (17 steps per ms) remains 6925/6925 properties
BEST_FIRST walk for 4004 steps (8 resets) in 224 ms. (17 steps per ms) remains 6925/6925 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 6916/6925 properties
BEST_FIRST walk for 4003 steps (8 resets) in 245 ms. (16 steps per ms) remains 6916/6916 properties
Reachability property qltransition_1836 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 259 ms. (15 steps per ms) remains 6916/6916 properties
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 6916/6916 properties
Reachability property qltransition_458 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 247 ms. (16 steps per ms) remains 6916/6916 properties
SDD proceeding with computation,8115 properties remain. new max is 32
SDD size :166022 after 208012
BEST_FIRST walk for 4003 steps (8 resets) in 266 ms. (14 steps per ms) remains 6916/6916 properties
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 6916/6916 properties
BEST_FIRST walk for 4004 steps (8 resets) in 270 ms. (14 steps per ms) remains 6915/6916 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4002 steps (8 resets) in 234 ms. (17 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4003 steps (8 resets) in 242 ms. (16 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 6915/6915 properties
Reachability property qltransition_7703 is true.
Reachability property qltransition_7625 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 262 ms. (15 steps per ms) remains 6915/6915 properties
BEST_FIRST walk for 4003 steps (8 resets) in 272 ms. (14 steps per ms) remains 6914/6915 properties
BEST_FIRST walk for 4003 steps (8 resets) in 256 ms. (15 steps per ms) remains 6914/6914 properties
BEST_FIRST walk for 4004 steps (8 resets) in 262 ms. (15 steps per ms) remains 6914/6914 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 6914/6914 properties
BEST_FIRST walk for 4003 steps (8 resets) in 216 ms. (18 steps per ms) remains 6914/6914 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 6914/6914 properties
BEST_FIRST walk for 4002 steps (8 resets) in 219 ms. (18 steps per ms) remains 6914/6914 properties
Reachability property qltransition_7426 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 232 ms. (17 steps per ms) remains 6914/6914 properties
BEST_FIRST walk for 4003 steps (8 resets) in 221 ms. (18 steps per ms) remains 6914/6914 properties
BEST_FIRST walk for 4003 steps (8 resets) in 224 ms. (17 steps per ms) remains 6914/6914 properties
BEST_FIRST walk for 4003 steps (8 resets) in 216 ms. (18 steps per ms) remains 6914/6914 properties
BEST_FIRST walk for 4003 steps (8 resets) in 214 ms. (18 steps per ms) remains 6914/6914 properties
BEST_FIRST walk for 4002 steps (8 resets) in 226 ms. (17 steps per ms) remains 6914/6914 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 6914/6914 properties
BEST_FIRST walk for 4003 steps (8 resets) in 214 ms. (18 steps per ms) remains 6914/6914 properties
Reachability property qltransition_6612 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 268 ms. (14 steps per ms) remains 6914/6914 properties
BEST_FIRST walk for 4003 steps (8 resets) in 241 ms. (16 steps per ms) remains 6914/6914 properties
BEST_FIRST walk for 4004 steps (8 resets) in 257 ms. (15 steps per ms) remains 6914/6914 properties
BEST_FIRST walk for 4003 steps (8 resets) in 230 ms. (17 steps per ms) remains 6914/6914 properties
BEST_FIRST walk for 4003 steps (8 resets) in 276 ms. (14 steps per ms) remains 6914/6914 properties
BEST_FIRST walk for 4004 steps (8 resets) in 268 ms. (14 steps per ms) remains 6914/6914 properties
BEST_FIRST walk for 4003 steps (8 resets) in 242 ms. (16 steps per ms) remains 6914/6914 properties
BEST_FIRST walk for 4003 steps (8 resets) in 254 ms. (15 steps per ms) remains 6913/6914 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 6913/6913 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 6913/6913 properties
Reachability property qltransition_5821 is true.
Reachability property qltransition_5660 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 6913/6913 properties
BEST_FIRST walk for 4003 steps (8 resets) in 226 ms. (17 steps per ms) remains 6913/6913 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 6913/6913 properties
BEST_FIRST walk for 4003 steps (8 resets) in 275 ms. (14 steps per ms) remains 6913/6913 properties
BEST_FIRST walk for 4004 steps (8 resets) in 238 ms. (16 steps per ms) remains 6913/6913 properties
BEST_FIRST walk for 4003 steps (8 resets) in 262 ms. (15 steps per ms) remains 6913/6913 properties
BEST_FIRST walk for 4004 steps (8 resets) in 279 ms. (14 steps per ms) remains 6913/6913 properties
BEST_FIRST walk for 4004 steps (8 resets) in 222 ms. (17 steps per ms) remains 6913/6913 properties
BEST_FIRST walk for 4002 steps (8 resets) in 227 ms. (17 steps per ms) remains 6913/6913 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 6913/6913 properties
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 6913/6913 properties
BEST_FIRST walk for 4003 steps (8 resets) in 263 ms. (15 steps per ms) remains 6913/6913 properties
BEST_FIRST walk for 4004 steps (8 resets) in 255 ms. (15 steps per ms) remains 6913/6913 properties
BEST_FIRST walk for 4003 steps (8 resets) in 259 ms. (15 steps per ms) remains 6913/6913 properties
BEST_FIRST walk for 4003 steps (8 resets) in 234 ms. (17 steps per ms) remains 6912/6913 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 6912/6912 properties
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 6912/6912 properties
BEST_FIRST walk for 4004 steps (8 resets) in 261 ms. (15 steps per ms) remains 6912/6912 properties
Reachability property qltransition_4763 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 223 ms. (17 steps per ms) remains 6912/6912 properties
BEST_FIRST walk for 4004 steps (8 resets) in 266 ms. (14 steps per ms) remains 6912/6912 properties
BEST_FIRST walk for 4002 steps (8 resets) in 273 ms. (14 steps per ms) remains 6912/6912 properties
BEST_FIRST walk for 4004 steps (8 resets) in 236 ms. (16 steps per ms) remains 6912/6912 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 6912/6912 properties
Reachability property qltransition_4312 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 255 ms. (15 steps per ms) remains 6912/6912 properties
Reachability property qltransition_4068 is true.
Reachability property qltransition_3821 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 259 ms. (15 steps per ms) remains 6908/6912 properties
BEST_FIRST walk for 4003 steps (8 resets) in 275 ms. (14 steps per ms) remains 6908/6908 properties
BEST_FIRST walk for 4003 steps (8 resets) in 249 ms. (16 steps per ms) remains 6908/6908 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 6908/6908 properties
BEST_FIRST walk for 4003 steps (8 resets) in 251 ms. (15 steps per ms) remains 6908/6908 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 6903/6908 properties
BEST_FIRST walk for 4002 steps (8 resets) in 246 ms. (16 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4002 steps (8 resets) in 239 ms. (16 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4003 steps (8 resets) in 242 ms. (16 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4004 steps (8 resets) in 262 ms. (15 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4003 steps (8 resets) in 345 ms. (11 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4004 steps (8 resets) in 305 ms. (13 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4002 steps (8 resets) in 288 ms. (13 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4003 steps (8 resets) in 344 ms. (11 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4002 steps (8 resets) in 323 ms. (12 steps per ms) remains 6903/6903 properties
Reachability property qltransition_2337 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 320 ms. (12 steps per ms) remains 6903/6903 properties
Reachability property qltransition_2254 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 312 ms. (12 steps per ms) remains 6903/6903 properties
Reachability property qltransition_1872 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 6903/6903 properties
Reachability property qltransition_1637 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 320 ms. (12 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4003 steps (8 resets) in 274 ms. (14 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4004 steps (8 resets) in 265 ms. (15 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4004 steps (8 resets) in 313 ms. (12 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4004 steps (8 resets) in 346 ms. (11 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4004 steps (8 resets) in 271 ms. (14 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4003 steps (8 resets) in 262 ms. (15 steps per ms) remains 6903/6903 properties
Reachability property qltransition_231 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 335 ms. (11 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4003 steps (8 resets) in 316 ms. (12 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4004 steps (8 resets) in 288 ms. (13 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4004 steps (8 resets) in 253 ms. (15 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4004 steps (8 resets) in 325 ms. (12 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4003 steps (8 resets) in 319 ms. (12 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4004 steps (8 resets) in 257 ms. (15 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4002 steps (8 resets) in 307 ms. (12 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4003 steps (8 resets) in 300 ms. (13 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4004 steps (8 resets) in 306 ms. (13 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4004 steps (8 resets) in 277 ms. (14 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4003 steps (8 resets) in 249 ms. (16 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4003 steps (8 resets) in 229 ms. (17 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4003 steps (8 resets) in 233 ms. (17 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4003 steps (8 resets) in 303 ms. (13 steps per ms) remains 6903/6903 properties
SDD proceeding with computation,8100 properties remain. new max is 32
SDD size :208012 after 416037
BEST_FIRST walk for 4002 steps (8 resets) in 292 ms. (13 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4004 steps (8 resets) in 279 ms. (14 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4004 steps (8 resets) in 248 ms. (16 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4003 steps (8 resets) in 256 ms. (15 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4004 steps (8 resets) in 242 ms. (16 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4003 steps (8 resets) in 244 ms. (16 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4004 steps (8 resets) in 253 ms. (15 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4004 steps (8 resets) in 283 ms. (14 steps per ms) remains 6903/6903 properties
BEST_FIRST walk for 4004 steps (8 resets) in 278 ms. (14 steps per ms) remains 6903/6903 properties
Reachability property qltransition_7627 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 6902/6903 properties
BEST_FIRST walk for 4002 steps (8 resets) in 318 ms. (12 steps per ms) remains 6896/6902 properties
BEST_FIRST walk for 4002 steps (8 resets) in 277 ms. (14 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4004 steps (8 resets) in 282 ms. (14 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4003 steps (8 resets) in 294 ms. (13 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4004 steps (8 resets) in 277 ms. (14 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4003 steps (8 resets) in 226 ms. (17 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4003 steps (8 resets) in 267 ms. (14 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4002 steps (8 resets) in 254 ms. (15 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4004 steps (8 resets) in 276 ms. (14 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4003 steps (8 resets) in 274 ms. (14 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4003 steps (8 resets) in 215 ms. (18 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4003 steps (8 resets) in 254 ms. (15 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4004 steps (8 resets) in 263 ms. (15 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4004 steps (8 resets) in 379 ms. (10 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4003 steps (8 resets) in 269 ms. (14 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4004 steps (8 resets) in 253 ms. (15 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4003 steps (8 resets) in 252 ms. (15 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4004 steps (8 resets) in 280 ms. (14 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4004 steps (8 resets) in 252 ms. (15 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4003 steps (8 resets) in 239 ms. (16 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4002 steps (8 resets) in 236 ms. (16 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4004 steps (8 resets) in 281 ms. (14 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4003 steps (8 resets) in 226 ms. (17 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4003 steps (8 resets) in 229 ms. (17 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4003 steps (8 resets) in 253 ms. (15 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4003 steps (8 resets) in 221 ms. (18 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4004 steps (8 resets) in 221 ms. (18 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4003 steps (8 resets) in 230 ms. (17 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4004 steps (8 resets) in 232 ms. (17 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4004 steps (8 resets) in 223 ms. (17 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4002 steps (8 resets) in 232 ms. (17 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4004 steps (8 resets) in 229 ms. (17 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4004 steps (8 resets) in 249 ms. (16 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4002 steps (8 resets) in 234 ms. (17 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4004 steps (8 resets) in 227 ms. (17 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4003 steps (8 resets) in 236 ms. (16 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4004 steps (8 resets) in 234 ms. (17 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4004 steps (8 resets) in 241 ms. (16 steps per ms) remains 6896/6896 properties
BEST_FIRST walk for 4003 steps (8 resets) in 237 ms. (16 steps per ms) remains 6893/6896 properties
BEST_FIRST walk for 4003 steps (8 resets) in 225 ms. (17 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4003 steps (8 resets) in 222 ms. (17 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 231 ms. (17 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4003 steps (8 resets) in 262 ms. (15 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 267 ms. (14 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 225 ms. (17 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4003 steps (8 resets) in 228 ms. (17 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 222 ms. (17 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4002 steps (8 resets) in 217 ms. (18 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 239 ms. (16 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 275 ms. (14 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4003 steps (8 resets) in 234 ms. (17 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4003 steps (8 resets) in 273 ms. (14 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 254 ms. (15 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4002 steps (8 resets) in 265 ms. (15 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4003 steps (8 resets) in 239 ms. (16 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4002 steps (8 resets) in 232 ms. (17 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4003 steps (8 resets) in 250 ms. (15 steps per ms) remains 6893/6893 properties
Reachability property qltransition_1929 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 272 ms. (14 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4002 steps (8 resets) in 265 ms. (15 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 237 ms. (16 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4002 steps (8 resets) in 250 ms. (15 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 212 ms. (18 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4003 steps (8 resets) in 251 ms. (15 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 260 ms. (15 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 256 ms. (15 steps per ms) remains 6893/6893 properties
Reachability property qltransition_268 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 264 ms. (15 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 213 ms. (18 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4003 steps (8 resets) in 235 ms. (16 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 272 ms. (14 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4001 steps (8 resets) in 248 ms. (16 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4003 steps (8 resets) in 258 ms. (15 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 209 ms. (19 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4003 steps (8 resets) in 256 ms. (15 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4003 steps (8 resets) in 245 ms. (16 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 250 ms. (15 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4002 steps (8 resets) in 252 ms. (15 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4004 steps (8 resets) in 259 ms. (15 steps per ms) remains 6893/6893 properties
BEST_FIRST walk for 4002 steps (8 resets) in 244 ms. (16 steps per ms) remains 6893/6893 properties
SDD proceeding with computation,8097 properties remain. new max is 32
SDD size :416037 after 416114
Reachability property qltransition_8144 is true.
Reachability property qltransition_8074 is true.
Reachability property qltransition_5073 is true.
Reachability property qltransition_3007 is true.
SDD proceeding with computation,8093 properties remain. new max is 32
SDD size :416114 after 416464
Reachability property qltransition_8018 is true.
Reachability property qltransition_4103 is true.
Reachability property qltransition_3315 is true.
Reachability property qltransition_2334 is true.
Reachability property qltransition_669 is true.
SDD proceeding with computation,8088 properties remain. new max is 32
SDD size :416464 after 417724
Reachability property qltransition_7500 is true.
Reachability property qltransition_5368 is true.
Reachability property qltransition_3886 is true.
Reachability property qltransition_2733 is true.
Reachability property qltransition_2212 is true.
Reachability property qltransition_1680 is true.
SDD proceeding with computation,8082 properties remain. new max is 32
SDD size :417724 after 421532
Reachability property qltransition_8272 is true.
Reachability property qltransition_7335 is true.
Reachability property qltransition_6159 is true.
Reachability property qltransition_5044 is true.
Reachability property qltransition_3195 is true.
Reachability property qltransition_2064 is true.
Reachability property qltransition_2013 is true.
SDD proceeding with computation,8075 properties remain. new max is 32
SDD size :421532 after 431528
Reachability property qltransition_7807 is true.
Reachability property qltransition_5114 is true.
Reachability property qltransition_4934 is true.
Reachability property qltransition_4641 is true.
Reachability property qltransition_3463 is true.
Reachability property qltransition_3202 is true.
Reachability property qltransition_447 is true.
Reachability property qltransition_229 is true.
SDD proceeding with computation,8067 properties remain. new max is 32
SDD size :431528 after 454784
Reachability property qltransition_7959 is true.
Reachability property qltransition_7591 is true.
Reachability property qltransition_6879 is true.
Reachability property qltransition_6553 is true.
Reachability property qltransition_6078 is true.
Reachability property qltransition_5949 is true.
Reachability property qltransition_5611 is true.
Reachability property qltransition_4939 is true.
Reachability property qltransition_3783 is true.
SDD proceeding with computation,8058 properties remain. new max is 32
SDD size :454784 after 503234
Reachability property qltransition_8134 is true.
Reachability property qltransition_6100 is true.
Reachability property qltransition_5512 is true.
Reachability property qltransition_5243 is true.
Reachability property qltransition_5128 is true.
Reachability property qltransition_4567 is true.
Reachability property qltransition_4564 is true.
Reachability property qltransition_1452 is true.
Reachability property qltransition_580 is true.
Reachability property qltransition_290 is true.
SDD proceeding with computation,8048 properties remain. new max is 32
SDD size :503234 after 593674
Reachability property qltransition_7999 is true.
Reachability property qltransition_7899 is true.
Reachability property qltransition_7611 is true.
Reachability property qltransition_7241 is true.
Reachability property qltransition_5037 is true.
Reachability property qltransition_3816 is true.
Reachability property qltransition_2870 is true.
Reachability property qltransition_2383 is true.
Reachability property qltransition_1292 is true.
Reachability property qltransition_144 is true.
Reachability property qltransition_27 is true.
SDD proceeding with computation,8037 properties remain. new max is 32
SDD size :593674 after 742900
Reachability property qltransition_7287 is true.
Reachability property qltransition_7141 is true.
Reachability property qltransition_6740 is true.
Reachability property qltransition_6562 is true.
Reachability property qltransition_5868 is true.
Reachability property qltransition_5445 is true.
Reachability property qltransition_4963 is true.
Reachability property qltransition_4408 is true.
Reachability property qltransition_2731 is true.
Reachability property qltransition_2288 is true.
Reachability property qltransition_1898 is true.
Reachability property qltransition_1139 is true.
Reachability property qltransition_913 is true.
Reachability property qltransition_813 is true.
Reachability property qltransition_173 is true.
Reachability property qltransition_172 is true.
SDD proceeding with computation,8021 properties remain. new max is 32
SDD size :742900 after 1.48581e+06
Reachability property qltransition_6246 is true.
Reachability property qltransition_4669 is true.
Reachability property qltransition_2637 is true.
SDD proceeding with computation,8018 properties remain. new max is 32
SDD size :1.48581e+06 after 1.4859e+06
Reachability property qltransition_6708 is true.
Reachability property qltransition_4612 is true.
Reachability property qltransition_2562 is true.
Reachability property qltransition_2100 is true.
SDD proceeding with computation,8014 properties remain. new max is 32
SDD size :1.4859e+06 after 1.48634e+06
Reachability property qltransition_7948 is true.
Reachability property qltransition_7804 is true.
Reachability property qltransition_7680 is true.
Reachability property qltransition_7454 is true.
Reachability property qltransition_5580 is true.
Probabilistic random walk after 1000000 steps, saw 175695 distinct states, run finished after 156101 ms. (steps per millisecond=6 ) properties seen :114
[2024-05-29 11:10:15] [INFO ] Invariant cache hit.
[2024-05-29 11:10:15] [INFO ] State equation strengthened by 8020 read => feed constraints.
SDD proceeding with computation,8009 properties remain. new max is 32
SDD size :1.48634e+06 after 1.48769e+06

BK_STOP 1716981032600

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool itstools"
echo " Input is TokenRing-PT-020, examination is Liveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r431-smll-171690581400114"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/TokenRing-PT-020.tgz
mv TokenRing-PT-020 execution
cd execution
if [ "Liveness" = "ReachabilityDeadlock" ] || [ "Liveness" = "UpperBounds" ] || [ "Liveness" = "QuasiLiveness" ] || [ "Liveness" = "StableMarking" ] || [ "Liveness" = "Liveness" ] || [ "Liveness" = "OneSafe" ] || [ "Liveness" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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