Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/sdalzilio/mcc2026-input.r008-oct2-177944369700134.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/sdalzilio/mcc2026-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-5973
Executing tool itstools
Input is Anderson-PT-12, examination is Liveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r008-oct2-177944369700134
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.6M
-rw-r--r-- 1 mcc users 8.2K Mar 4 18:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Mar 4 18:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Mar 4 18:00 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K Mar 4 18:00 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 15 07:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Mar 15 07:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 15 07:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 15 07:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Mar 4 18:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 123K Mar 4 18:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Mar 4 18:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 76K Mar 4 18:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 15 07:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 15 07:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 iscolored
-rw-r--r-- 1 mcc users 2.1M Mar 3 18:30 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 1779654056222

Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=Liveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=Anderson-PT-12
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
Liveness PT
Running Version 202604301425
[2026-05-24 20:20:57] [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]
[2026-05-24 20:20:57] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-24 20:20:58] [INFO ] Load time of PNML (sax parser for PT used): 249 ms
[2026-05-24 20:20:58] [INFO ] Transformed 889 places.
[2026-05-24 20:20:58] [INFO ] Transformed 4152 transitions.
[2026-05-24 20:20:58] [INFO ] Found NUPN structural information;
[2026-05-24 20:20:58] [INFO ] Parsed PT model containing 889 places and 4152 transitions and 16080 arcs in 396 ms.
Built sparse matrix representations for Structural reductions in 19 ms.41930KB memory used
Starting structural reductions in DEADLOCK mode, iteration 0 : 889/889 places, 4152/4152 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 201 ms. Remains 889 /889 variables (removed 0) and now considering 4152/4152 (removed 0) transitions.
Finished structural reductions in DEADLOCK mode , in 1 iterations and 216 ms. Remains : 889/889 places, 4152/4152 transitions.
Starting structural reductions in DEADLOCK mode, iteration 0 : 889/889 places, 4152/4152 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 131 ms. Remains 889 /889 variables (removed 0) and now considering 4152/4152 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-5816059193469605575.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8078861678780744288.kers'
[2026-05-24 20:20:59] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-5816059193469605575.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8078861678780744288.kers]
Culled 0 columns in 3 ms.
// Phase 1: matrix 4152 rows 889 cols 15792 entries
Finished phase 1 with 540 SingleSign rule and 322 generalized
[2026-05-24 20:20:59] [INFO ] Computed 27 invariants in 27 ms
Computed 27 P flows in 28 ms.
Exported basis to /tmp/petrispot-output-8078861678780744288.kers
Total runtime 31 ms.
[2026-05-24 20:20:59] [INFO ] Implicit Places using invariants in 879 ms returned []
[2026-05-24 20:20:59] [INFO ] Invariant cache hit.
[2026-05-24 20:21:02] [INFO ] State equation strengthened by 132 read => feed constraints.
[2026-05-24 20:21:02] [INFO ] Implicit Places using invariants and state equation in 2745 ms returned []
Implicit Place search using SMT with State Equation took 3696 ms to find 0 implicit places.
[2026-05-24 20:21:02] [INFO ] Redundant transitions in 289 ms returned []
Running 4140 sub problems to find dead transitions.
[2026-05-24 20:21:03] [INFO ] Invariant cache hit.
[2026-05-24 20:21:03] [INFO ] State equation strengthened by 132 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/889 variables, 889/889 constraints. Problems are: Problem set: 0 solved, 4140 unsolved
SMT process timed out in 38038ms, After SMT, problems are : Problem set: 0 solved, 4140 unsolved
Search for dead transitions found 0 dead transitions in 38070ms
Finished structural reductions in DEADLOCK mode , in 1 iterations and 42276 ms. Remains : 889/889 places, 4152/4152 transitions.
Random walk for 1250000 steps, including 0 resets, run took 7384 ms (no deadlock found). (steps per millisecond=169 )
Random directed walk for 1250002 steps, including 0 resets, run took 7277 ms (no deadlock found). (steps per millisecond=171 )
[2026-05-24 20:21:55] [INFO ] Invariant cache hit.
[2026-05-24 20:21:57] [INFO ] [Real]Absence check using 13 positive place invariants in 378 ms returned sat
[2026-05-24 20:22:09] [INFO ] [Real]Absence check using 13 positive and 14 generalized place invariants in 11225 ms returned unsat
Starting structural reductions in LIVENESS mode, iteration 0 : 889/889 places, 4152/4152 transitions.
Performed 132 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 132 Pre rules applied. Total rules applied 0 place count 889 transition count 4020
Deduced a syphon composed of 132 places in 4 ms
Reduce places removed 132 places and 0 transitions.
Iterating global reduction 0 with 264 rules applied. Total rules applied 264 place count 757 transition count 4020
Applied a total of 264 rules in 80 ms. Remains 757 /889 variables (removed 132) and now considering 4020/4152 (removed 132) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-17350085275128584649.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7221593592967540375.kers'
[2026-05-24 20:22:09] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-17350085275128584649.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7221593592967540375.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 4020 rows 757 cols 15528 entries
Finished phase 1 with 408 SingleSign rule and 322 generalized
[2026-05-24 20:22:09] [INFO ] Computed 27 invariants in 17 ms
Computed 27 P flows in 17 ms.
Exported basis to /tmp/petrispot-output-7221593592967540375.kers
Total runtime 21 ms.
[2026-05-24 20:22:29] [INFO ] Implicit Places using invariants in 20461 ms returned [0]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 20511 ms to find 1 implicit places.
Starting structural reductions in LIVENESS mode, iteration 1 : 756/889 places, 4020/4152 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 144 transitions
Trivial Post-agglo rules discarded 144 transitions
Performed 144 trivial Post agglomeration. Transition count delta: 144
Iterating post reduction 0 with 144 rules applied. Total rules applied 144 place count 756 transition count 3876
Reduce places removed 144 places and 0 transitions.
Iterating post reduction 1 with 144 rules applied. Total rules applied 288 place count 612 transition count 3876
Applied a total of 288 rules in 81 ms. Remains 612 /756 variables (removed 144) and now considering 3876/4020 (removed 144) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-11092100175019720002.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3667561242860925754.kers'
[2026-05-24 20:22:29] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11092100175019720002.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3667561242860925754.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 3876 rows 612 cols 14952 entries
Finished phase 1 with 408 SingleSign rule and 178 generalized
[2026-05-24 20:22:29] [INFO ] Computed 26 invariants in 15 ms
Computed 26 P flows in 16 ms.
Exported basis to /tmp/petrispot-output-3667561242860925754.kers
Total runtime 19 ms.
[2026-05-24 20:22:46] [INFO ] Implicit Places using invariants in 16638 ms returned []
[2026-05-24 20:22:46] [INFO ] Invariant cache hit.
[2026-05-24 20:22:47] [INFO ] State equation strengthened by 252 read => feed constraints.
[2026-05-24 20:23:13] [INFO ] Implicit Places using invariants and state equation in 27029 ms returned []
Implicit Place search using SMT with State Equation took 43685 ms to find 0 implicit places.
Starting structural reductions in LIVENESS mode, iteration 2 : 612/889 places, 3876/4152 transitions.
Finished structural reductions in LIVENESS mode , in 2 iterations and 64359 ms. Remains : 612/889 places, 3876/4152 transitions.
Initial state reduction rules removed 12 formulas.
[2026-05-24 20:23:15] [INFO ] Flatten gal took : 689 ms
[2026-05-24 20:23:15] [INFO ] Flatten gal took : 344 ms
[2026-05-24 20:23:15] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality18403282739542307168.gal : 106 ms
[2026-05-24 20:23:15] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality12766155618578545583.prop : 28 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.202604301425/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality18403282739542307168.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality12766155618578545583.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.202604301425/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...330
Loading property file /tmp/ReachabilityCardinality12766155618578545583.prop.
Reachability property qltransition_3612 is true.
Reachability property qltransition_3468 is true.
Reachability property qltransition_3037 is true.
Reachability property qltransition_2761 is true.
Reachability property qltransition_2485 is true.
RANDOM walk for 40000 steps (8 resets) in 16433 ms. (2 steps per ms) remains 2440/3864 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 31 ms. (3 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 21 ms. (5 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 39 ms. (3 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 39 ms. (3 steps per ms) remains 2440/2440 properties
Reachability property qltransition_2209 is true.
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 27 ms. (4 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2440/2440 properties
Reachability property qltransition_1933 is true.
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 15 ms. (7 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 6 ms. (17 steps per ms) remains 2440/2440 properties
Reachability property qltransition_1657 is true.
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 6 ms. (17 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 6 ms. (17 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 2440/2440 properties
Reachability property qltransition_1381 is true.
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 6 ms. (17 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 6 ms. (17 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 6 ms. (17 steps per ms) remains 2440/2440 properties
Reachability property qltransition_1105 is true.
BEST_FIRST walk for 124 steps (8 resets) in 6 ms. (17 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 6 ms. (17 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 6 ms. (17 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 2440/2440 properties
BEST_FIRST walk for 124 steps (8 resets) in 7 ms. (15 steps per ms) remains 2440/2440 properties
Reachability property qltransition_829 is true.
[2026-05-24 20:23:18] [INFO ] Invariant cache hit.
[2026-05-24 20:23:18] [INFO ] State equation strengthened by 252 read => feed constraints.
Reachability property qltransition_553 is true.
Reachability property qltransition_277 is true.
SDD proceeding with computation,3851 properties remain. new max is 2
SDD size :1 after 3
Reachability property qltransition_3614 is true.
Reachability property qltransition_3469 is true.
Reachability property qltransition_3038 is true.
Reachability property qltransition_2762 is true.
Reachability property qltransition_2486 is true.
Reachability property qltransition_2210 is true.
Reachability property qltransition_1934 is true.
Reachability property qltransition_1658 is true.
Reachability property qltransition_1382 is true.
Reachability property qltransition_1106 is true.
Reachability property qltransition_830 is true.
Reachability property qltransition_554 is true.
Reachability property qltransition_278 is true.
Reachability property qltransition_1 is true.
SDD proceeding with computation,3837 properties remain. new max is 2
SDD size :3 after 6
Reachability property qltransition_3616 is true.
Reachability property qltransition_3470 is true.
Reachability property qltransition_3039 is true.
Reachability property qltransition_2763 is true.
Reachability property qltransition_2487 is true.
Reachability property qltransition_2211 is true.
Reachability property qltransition_1935 is true.
Reachability property qltransition_1659 is true.
Reachability property qltransition_1383 is true.
Reachability property qltransition_1107 is true.
Reachability property qltransition_831 is true.
Reachability property qltransition_555 is true.
Reachability property qltransition_279 is true.
Reachability property qltransition_25 is true.
SDD proceeding with computation,3823 properties remain. new max is 2
SDD size :6 after 9
Reachability property qltransition_3618 is true.
Reachability property qltransition_3471 is true.
Reachability property qltransition_3040 is true.
Reachability property qltransition_2764 is true.
Reachability property qltransition_2488 is true.
Reachability property qltransition_2212 is true.
Reachability property qltransition_1936 is true.
Reachability property qltransition_1660 is true.
Reachability property qltransition_1384 is true.
Reachability property qltransition_1108 is true.
Reachability property qltransition_832 is true.
Reachability property qltransition_556 is true.
Reachability property qltransition_280 is true.
Reachability property qltransition_49 is true.
SDD proceeding with computation,3809 properties remain. new max is 2
SDD size :9 after 12
Reachability property qltransition_3620 is true.
Reachability property qltransition_3472 is true.
Reachability property qltransition_3041 is true.
Reachability property qltransition_2765 is true.
Reachability property qltransition_2489 is true.
Reachability property qltransition_2213 is true.
Reachability property qltransition_1937 is true.
Reachability property qltransition_1661 is true.
Reachability property qltransition_1385 is true.
Reachability property qltransition_1109 is true.
Reachability property qltransition_833 is true.
Reachability property qltransition_557 is true.
Reachability property qltransition_281 is true.
Reachability property qltransition_73 is true.
SDD proceeding with computation,3795 properties remain. new max is 2
SDD size :12 after 15
Reachability property qltransition_3840 is true.
Reachability property qltransition_3838 is true.
Reachability property qltransition_3836 is true.
Reachability property qltransition_3834 is true.
Reachability property qltransition_3832 is true.
Reachability property qltransition_3590 is true.
Reachability property qltransition_3042 is true.
Reachability property qltransition_2490 is true.
Reachability property qltransition_2214 is true.
Reachability property qltransition_1938 is true.
Reachability property qltransition_1662 is true.
Reachability property qltransition_1386 is true.
Reachability property qltransition_1110 is true.
Reachability property qltransition_834 is true.
Reachability property qltransition_558 is true.
Reachability property qltransition_282 is true.
Reachability property qltransition_74 is true.
Reachability property qltransition_50 is true.
Reachability property qltransition_26 is true.
Reachability property qltransition_2 is true.
SDD proceeding with computation,3775 properties remain. new max is 2
SDD size :15 after 31
Reachability property qltransition_3591 is true.
SDD proceeding with computation,3774 properties remain. new max is 2
SDD size :31 after 34
Reachability property qltransition_2810 is true.
Reachability property qltransition_2809 is true.
SDD proceeding with computation,3772 properties remain. new max is 2
SDD size :34 after 38
SDD proceeding with computation,3772 properties remain. new max is 4
SDD size :38 after 39
Reachability property qltransition_27 is true.
SDD proceeding with computation,3771 properties remain. new max is 4
SDD size :39 after 41
Reachability property qltransition_3589 is true.
SDD proceeding with computation,3770 properties remain. new max is 4
SDD size :41 after 42
Reachability property qltransition_3588 is true.
At refinement iteration 0 (INCLUDED_ONLY) 0/277 variables, 277/277 constraints. Problems are: Problem set: 0 solved, 2440 unsolved
SDD proceeding with computation,3769 properties remain. new max is 4
SDD size :42 after 43
SMT process timed out in 9421ms, After SMT, problems are : Problem set: 1 solved, 2439 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 277 out of 612 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 612/612 places, 3876/3876 transitions.
Discarding 44 places :
Symmetric choice reduction at 0 with 44 rule applications. Total rules 44 place count 568 transition count 3832
Iterating global reduction 0 with 44 rules applied. Total rules applied 88 place count 568 transition count 3832
Applied a total of 88 rules in 237 ms. Remains 568 /612 variables (removed 44) and now considering 3832/3876 (removed 44) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 237 ms. Remains : 568/612 places, 3832/3876 transitions.
Reachability property qltransition_2785 is true.
Reachability property qltransition_3 is true.
SDD proceeding with computation,3767 properties remain. new max is 4
SDD size :43 after 46
Reachability property qltransition_4 is true.
SDD proceeding with computation,3766 properties remain. new max is 4
SDD size :46 after 49
Reachability property qltransition_2786 is true.
SDD proceeding with computation,3765 properties remain. new max is 4
SDD size :49 after 55
Reachability property qltransition_2787 is true.
SDD proceeding with computation,3764 properties remain. new max is 4
SDD size :55 after 58
Reachability property qltransition_3592 is true.
SDD proceeding with computation,3763 properties remain. new max is 4
SDD size :58 after 59
Reachability property qltransition_2811 is true.
Reachability property qltransition_2788 is true.
SDD proceeding with computation,3761 properties remain. new max is 4
SDD size :59 after 66
SDD proceeding with computation,3761 properties remain. new max is 8
SDD size :66 after 67
Reachability property qltransition_3862 is true.
Reachability property qltransition_3860 is true.
Reachability property qltransition_3858 is true.
Reachability property qltransition_3856 is true.
Reachability property qltransition_3854 is true.
Reachability property qltransition_3603 is true.
Reachability property qltransition_2812 is true.
Reachability property qltransition_2789 is true.
Reachability property qltransition_2766 is true.
Reachability property qltransition_2491 is true.
Reachability property qltransition_2215 is true.
Reachability property qltransition_1939 is true.
Reachability property qltransition_1663 is true.
Reachability property qltransition_1387 is true.
Reachability property qltransition_1111 is true.
Reachability property qltransition_835 is true.
Reachability property qltransition_559 is true.
Reachability property qltransition_283 is true.
Reachability property qltransition_75 is true.
Reachability property qltransition_51 is true.
Reachability property qltransition_28 is true.
Reachability property qltransition_5 is true.
SDD proceeding with computation,3739 properties remain. new max is 8
SDD size :67 after 148
SDD proceeding with computation,3739 properties remain. new max is 16
SDD size :148 after 158
Reachability property qltransition_3602 is true.
SDD proceeding with computation,3738 properties remain. new max is 16
SDD size :158 after 162
Reachability property qltransition_3086 is true.
Reachability property qltransition_3085 is true.
SDD proceeding with computation,3736 properties remain. new max is 16
SDD size :162 after 169
SDD proceeding with computation,3736 properties remain. new max is 32
SDD size :169 after 171
Reachability property qltransition_3087 is true.
SDD proceeding with computation,3735 properties remain. new max is 32
SDD size :171 after 187
Reachability property qltransition_3604 is true.
SDD proceeding with computation,3734 properties remain. new max is 32
SDD size :187 after 205
Reachability property qltransition_3088 is true.
SDD proceeding with computation,3733 properties remain. new max is 32
SDD size :205 after 218
Reachability property qltransition_3601 is true.
SDD proceeding with computation,3732 properties remain. new max is 32
SDD size :218 after 221
Reachability property qltransition_3600 is true.
Reachability property qltransition_3061 is true.
SDD proceeding with computation,3730 properties remain. new max is 32
SDD size :221 after 225
Reachability property qltransition_3062 is true.
SDD proceeding with computation,3729 properties remain. new max is 32
SDD size :225 after 234
Reachability property qltransition_3064 is true.
Reachability property qltransition_3063 is true.
RANDOM walk for 961156 steps (0 resets) in 120004 ms. (8 steps per ms) remains 1720/2439 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 1707/1720 properties
BEST_FIRST walk for 4004 steps (8 resets) in 142 ms. (28 steps per ms) remains 1702/1707 properties
BEST_FIRST walk for 4001 steps (8 resets) in 128 ms. (31 steps per ms) remains 1700/1702 properties
BEST_FIRST walk for 4004 steps (8 resets) in 133 ms. (29 steps per ms) remains 1698/1700 properties
SDD proceeding with computation,3727 properties remain. new max is 32
SDD size :234 after 245
BEST_FIRST walk for 4004 steps (8 resets) in 131 ms. (30 steps per ms) remains 1696/1698 properties
BEST_FIRST walk for 4002 steps (8 resets) in 104 ms. (38 steps per ms) remains 1692/1696 properties
BEST_FIRST walk for 4004 steps (8 resets) in 76 ms. (52 steps per ms) remains 1547/1692 properties
BEST_FIRST walk for 4003 steps (8 resets) in 174 ms. (22 steps per ms) remains 1547/1547 properties
BEST_FIRST walk for 4003 steps (8 resets) in 162 ms. (24 steps per ms) remains 1547/1547 properties
BEST_FIRST walk for 4002 steps (8 resets) in 124 ms. (32 steps per ms) remains 1545/1547 properties
Reachability property qltransition_3065 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 191 ms. (20 steps per ms) remains 1545/1545 properties
BEST_FIRST walk for 4002 steps (8 resets) in 164 ms. (24 steps per ms) remains 1545/1545 properties
BEST_FIRST walk for 4001 steps (8 resets) in 202 ms. (19 steps per ms) remains 1545/1545 properties
BEST_FIRST walk for 4004 steps (8 resets) in 172 ms. (23 steps per ms) remains 1541/1545 properties
BEST_FIRST walk for 4002 steps (8 resets) in 160 ms. (24 steps per ms) remains 1541/1541 properties
BEST_FIRST walk for 4003 steps (8 resets) in 150 ms. (26 steps per ms) remains 1541/1541 properties
BEST_FIRST walk for 4001 steps (8 resets) in 168 ms. (23 steps per ms) remains 1541/1541 properties
BEST_FIRST walk for 4002 steps (8 resets) in 166 ms. (23 steps per ms) remains 1541/1541 properties
BEST_FIRST walk for 4002 steps (8 resets) in 182 ms. (21 steps per ms) remains 1538/1541 properties
BEST_FIRST walk for 4002 steps (8 resets) in 178 ms. (22 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4001 steps (8 resets) in 128 ms. (31 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4001 steps (8 resets) in 131 ms. (30 steps per ms) remains 1538/1538 properties
BEST_FIRST walk for 4003 steps (8 resets) in 124 ms. (32 steps per ms) remains 1537/1538 properties
SDD proceeding with computation,3726 properties remain. new max is 32
SDD size :245 after 275
BEST_FIRST walk for 4001 steps (8 resets) in 133 ms. (29 steps per ms) remains 1537/1537 properties
BEST_FIRST walk for 4003 steps (8 resets) in 112 ms. (35 steps per ms) remains 1535/1537 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 1456/1535 properties
BEST_FIRST walk for 4003 steps (8 resets) in 63 ms. (62 steps per ms) remains 1376/1456 properties
BEST_FIRST walk for 4003 steps (8 resets) in 142 ms. (27 steps per ms) remains 1374/1376 properties
BEST_FIRST walk for 4002 steps (8 resets) in 139 ms. (28 steps per ms) remains 1374/1374 properties
BEST_FIRST walk for 4003 steps (8 resets) in 145 ms. (27 steps per ms) remains 1374/1374 properties
BEST_FIRST walk for 4001 steps (8 resets) in 142 ms. (27 steps per ms) remains 1374/1374 properties
BEST_FIRST walk for 4003 steps (8 resets) in 104 ms. (38 steps per ms) remains 1374/1374 properties
BEST_FIRST walk for 4004 steps (8 resets) in 72 ms. (54 steps per ms) remains 1340/1374 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 1289/1340 properties
BEST_FIRST walk for 4004 steps (8 resets) in 205 ms. (19 steps per ms) remains 1249/1289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 134 ms. (29 steps per ms) remains 1249/1249 properties
BEST_FIRST walk for 4003 steps (8 resets) in 130 ms. (30 steps per ms) remains 1249/1249 properties
BEST_FIRST walk for 4002 steps (8 resets) in 127 ms. (31 steps per ms) remains 1249/1249 properties
BEST_FIRST walk for 4003 steps (8 resets) in 92 ms. (43 steps per ms) remains 1249/1249 properties
BEST_FIRST walk for 4003 steps (8 resets) in 109 ms. (36 steps per ms) remains 1249/1249 properties
BEST_FIRST walk for 4002 steps (8 resets) in 110 ms. (36 steps per ms) remains 1249/1249 properties
BEST_FIRST walk for 4001 steps (8 resets) in 136 ms. (29 steps per ms) remains 1249/1249 properties
BEST_FIRST walk for 4003 steps (8 resets) in 139 ms. (28 steps per ms) remains 1249/1249 properties
BEST_FIRST walk for 4001 steps (8 resets) in 106 ms. (37 steps per ms) remains 1247/1249 properties
BEST_FIRST walk for 4001 steps (8 resets) in 114 ms. (34 steps per ms) remains 1247/1247 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 1226/1247 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 1223/1226 properties
SDD proceeding with computation,3726 properties remain. new max is 64
SDD size :275 after 289
BEST_FIRST walk for 4000 steps (8 resets) in 159 ms. (25 steps per ms) remains 1221/1223 properties
BEST_FIRST walk for 4004 steps (8 resets) in 137 ms. (29 steps per ms) remains 1220/1221 properties
BEST_FIRST walk for 4002 steps (8 resets) in 160 ms. (24 steps per ms) remains 1220/1220 properties
BEST_FIRST walk for 4004 steps (8 resets) in 64 ms. (61 steps per ms) remains 1196/1220 properties
BEST_FIRST walk for 4004 steps (8 resets) in 58 ms. (67 steps per ms) remains 1060/1196 properties
BEST_FIRST walk for 4000 steps (8 resets) in 138 ms. (28 steps per ms) remains 1060/1060 properties
BEST_FIRST walk for 4003 steps (8 resets) in 120 ms. (33 steps per ms) remains 1060/1060 properties
Reachability property qltransition_2835 is true.
Reachability property qltransition_2834 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 114 ms. (34 steps per ms) remains 1032/1060 properties
Reachability property qltransition_2833 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 100 ms. (39 steps per ms) remains 1032/1032 properties
BEST_FIRST walk for 4003 steps (8 resets) in 138 ms. (28 steps per ms) remains 1032/1032 properties
BEST_FIRST walk for 4002 steps (8 resets) in 153 ms. (25 steps per ms) remains 1031/1032 properties
BEST_FIRST walk for 4003 steps (8 resets) in 129 ms. (30 steps per ms) remains 1031/1031 properties
BEST_FIRST walk for 4003 steps (8 resets) in 173 ms. (23 steps per ms) remains 1031/1031 properties
BEST_FIRST walk for 4004 steps (8 resets) in 113 ms. (35 steps per ms) remains 1031/1031 properties
BEST_FIRST walk for 4003 steps (8 resets) in 98 ms. (40 steps per ms) remains 1031/1031 properties
BEST_FIRST walk for 4003 steps (8 resets) in 36 ms. (108 steps per ms) remains 1027/1031 properties
BEST_FIRST walk for 4003 steps (8 resets) in 46 ms. (85 steps per ms) remains 1015/1027 properties
BEST_FIRST walk for 4002 steps (8 resets) in 39 ms. (100 steps per ms) remains 1002/1015 properties
BEST_FIRST walk for 4002 steps (8 resets) in 93 ms. (42 steps per ms) remains 972/1002 properties
BEST_FIRST walk for 4004 steps (8 resets) in 83 ms. (47 steps per ms) remains 945/972 properties
BEST_FIRST walk for 4002 steps (8 resets) in 89 ms. (44 steps per ms) remains 944/945 properties
BEST_FIRST walk for 4002 steps (8 resets) in 85 ms. (46 steps per ms) remains 944/944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 95 ms. (41 steps per ms) remains 944/944 properties
BEST_FIRST walk for 4002 steps (8 resets) in 104 ms. (38 steps per ms) remains 944/944 properties
BEST_FIRST walk for 4003 steps (8 resets) in 113 ms. (35 steps per ms) remains 944/944 properties
BEST_FIRST walk for 4001 steps (8 resets) in 87 ms. (45 steps per ms) remains 944/944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 943/944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 936/943 properties
BEST_FIRST walk for 4001 steps (8 resets) in 35 ms. (111 steps per ms) remains 929/936 properties
BEST_FIRST walk for 4002 steps (8 resets) in 85 ms. (46 steps per ms) remains 895/929 properties
BEST_FIRST walk for 4003 steps (8 resets) in 110 ms. (36 steps per ms) remains 895/895 properties
BEST_FIRST walk for 4000 steps (8 resets) in 102 ms. (38 steps per ms) remains 895/895 properties
BEST_FIRST walk for 4001 steps (8 resets) in 106 ms. (37 steps per ms) remains 895/895 properties
BEST_FIRST walk for 4000 steps (8 resets) in 112 ms. (35 steps per ms) remains 895/895 properties
BEST_FIRST walk for 4003 steps (8 resets) in 79 ms. (50 steps per ms) remains 895/895 properties
BEST_FIRST walk for 4002 steps (8 resets) in 102 ms. (38 steps per ms) remains 895/895 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 895/895 properties
BEST_FIRST walk for 4004 steps (8 resets) in 66 ms. (59 steps per ms) remains 895/895 properties
BEST_FIRST walk for 4002 steps (8 resets) in 80 ms. (49 steps per ms) remains 895/895 properties
BEST_FIRST walk for 4002 steps (8 resets) in 61 ms. (64 steps per ms) remains 895/895 properties
BEST_FIRST walk for 4003 steps (8 resets) in 69 ms. (57 steps per ms) remains 894/895 properties
BEST_FIRST walk for 4001 steps (8 resets) in 107 ms. (37 steps per ms) remains 894/894 properties
BEST_FIRST walk for 4004 steps (8 resets) in 91 ms. (43 steps per ms) remains 894/894 properties
BEST_FIRST walk for 4002 steps (8 resets) in 66 ms. (59 steps per ms) remains 893/894 properties
BEST_FIRST walk for 4003 steps (8 resets) in 77 ms. (51 steps per ms) remains 893/893 properties
BEST_FIRST walk for 4002 steps (8 resets) in 88 ms. (44 steps per ms) remains 873/893 properties
BEST_FIRST walk for 4003 steps (8 resets) in 68 ms. (58 steps per ms) remains 854/873 properties
SDD proceeding with computation,3723 properties remain. new max is 64
SDD size :289 after 314
BEST_FIRST walk for 4003 steps (8 resets) in 76 ms. (51 steps per ms) remains 854/854 properties
BEST_FIRST walk for 4001 steps (8 resets) in 88 ms. (44 steps per ms) remains 854/854 properties
BEST_FIRST walk for 4002 steps (8 resets) in 78 ms. (50 steps per ms) remains 854/854 properties
BEST_FIRST walk for 4002 steps (8 resets) in 92 ms. (43 steps per ms) remains 854/854 properties
BEST_FIRST walk for 4001 steps (8 resets) in 102 ms. (38 steps per ms) remains 854/854 properties
BEST_FIRST walk for 4002 steps (8 resets) in 106 ms. (37 steps per ms) remains 854/854 properties
BEST_FIRST walk for 4003 steps (8 resets) in 69 ms. (57 steps per ms) remains 854/854 properties
BEST_FIRST walk for 4001 steps (8 resets) in 95 ms. (41 steps per ms) remains 854/854 properties
BEST_FIRST walk for 4003 steps (8 resets) in 102 ms. (38 steps per ms) remains 854/854 properties
BEST_FIRST walk for 4003 steps (8 resets) in 105 ms. (37 steps per ms) remains 854/854 properties
BEST_FIRST walk for 4003 steps (8 resets) in 98 ms. (40 steps per ms) remains 854/854 properties
BEST_FIRST walk for 4003 steps (8 resets) in 91 ms. (43 steps per ms) remains 854/854 properties
BEST_FIRST walk for 4002 steps (8 resets) in 95 ms. (41 steps per ms) remains 854/854 properties
BEST_FIRST walk for 4003 steps (8 resets) in 77 ms. (51 steps per ms) remains 854/854 properties
BEST_FIRST walk for 4002 steps (8 resets) in 80 ms. (49 steps per ms) remains 854/854 properties
BEST_FIRST walk for 4001 steps (8 resets) in 94 ms. (42 steps per ms) remains 854/854 properties
BEST_FIRST walk for 4001 steps (8 resets) in 98 ms. (40 steps per ms) remains 854/854 properties
BEST_FIRST walk for 4004 steps (8 resets) in 94 ms. (42 steps per ms) remains 854/854 properties
BEST_FIRST walk for 4002 steps (8 resets) in 84 ms. (47 steps per ms) remains 854/854 properties
BEST_FIRST walk for 4002 steps (8 resets) in 76 ms. (51 steps per ms) remains 854/854 properties
BEST_FIRST walk for 4000 steps (8 resets) in 82 ms. (48 steps per ms) remains 854/854 properties
BEST_FIRST walk for 4001 steps (8 resets) in 85 ms. (46 steps per ms) remains 854/854 properties
BEST_FIRST walk for 4003 steps (8 resets) in 95 ms. (41 steps per ms) remains 853/854 properties
BEST_FIRST walk for 4004 steps (8 resets) in 86 ms. (46 steps per ms) remains 853/853 properties
BEST_FIRST walk for 4002 steps (8 resets) in 78 ms. (50 steps per ms) remains 853/853 properties
BEST_FIRST walk for 4003 steps (8 resets) in 92 ms. (43 steps per ms) remains 853/853 properties
BEST_FIRST walk for 4001 steps (8 resets) in 89 ms. (44 steps per ms) remains 853/853 properties
BEST_FIRST walk for 4002 steps (8 resets) in 97 ms. (40 steps per ms) remains 853/853 properties
BEST_FIRST walk for 4001 steps (8 resets) in 92 ms. (43 steps per ms) remains 853/853 properties
BEST_FIRST walk for 4002 steps (8 resets) in 66 ms. (59 steps per ms) remains 853/853 properties
BEST_FIRST walk for 4004 steps (8 resets) in 72 ms. (54 steps per ms) remains 853/853 properties
BEST_FIRST walk for 4003 steps (8 resets) in 99 ms. (40 steps per ms) remains 853/853 properties
BEST_FIRST walk for 4002 steps (8 resets) in 88 ms. (44 steps per ms) remains 838/853 properties
BEST_FIRST walk for 4003 steps (8 resets) in 90 ms. (43 steps per ms) remains 838/838 properties
BEST_FIRST walk for 4002 steps (8 resets) in 78 ms. (50 steps per ms) remains 838/838 properties
BEST_FIRST walk for 4000 steps (8 resets) in 75 ms. (52 steps per ms) remains 838/838 properties
BEST_FIRST walk for 4002 steps (8 resets) in 87 ms. (45 steps per ms) remains 838/838 properties
Reachability property qltransition_52 is true.
Reachability property qltransition_29 is true.
Reachability property qltransition_6 is true.
SDD proceeding with computation,3720 properties remain. new max is 64
SDD size :314 after 340
BEST_FIRST walk for 4002 steps (8 resets) in 93 ms. (42 steps per ms) remains 838/838 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 830/838 properties
BEST_FIRST walk for 4002 steps (8 resets) in 81 ms. (48 steps per ms) remains 829/830 properties
BEST_FIRST walk for 4002 steps (8 resets) in 81 ms. (48 steps per ms) remains 829/829 properties
BEST_FIRST walk for 4003 steps (8 resets) in 36 ms. (108 steps per ms) remains 826/829 properties
BEST_FIRST walk for 4003 steps (8 resets) in 29 ms. (133 steps per ms) remains 819/826 properties
BEST_FIRST walk for 4004 steps (8 resets) in 29 ms. (133 steps per ms) remains 814/819 properties
BEST_FIRST walk for 4002 steps (8 resets) in 66 ms. (59 steps per ms) remains 807/814 properties
BEST_FIRST walk for 4003 steps (8 resets) in 70 ms. (56 steps per ms) remains 804/807 properties
BEST_FIRST walk for 4003 steps (8 resets) in 72 ms. (54 steps per ms) remains 804/804 properties
BEST_FIRST walk for 4001 steps (8 resets) in 94 ms. (42 steps per ms) remains 804/804 properties
BEST_FIRST walk for 4002 steps (8 resets) in 80 ms. (49 steps per ms) remains 804/804 properties
BEST_FIRST walk for 4000 steps (8 resets) in 78 ms. (50 steps per ms) remains 804/804 properties
Reachability property qltransition_3111 is true.
Reachability property qltransition_3110 is true.
Reachability property qltransition_3109 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 90 ms. (43 steps per ms) remains 804/804 properties
BEST_FIRST walk for 4002 steps (8 resets) in 95 ms. (41 steps per ms) remains 804/804 properties
BEST_FIRST walk for 4001 steps (8 resets) in 64 ms. (61 steps per ms) remains 804/804 properties
BEST_FIRST walk for 4003 steps (8 resets) in 53 ms. (74 steps per ms) remains 804/804 properties
BEST_FIRST walk for 4003 steps (8 resets) in 65 ms. (60 steps per ms) remains 804/804 properties
BEST_FIRST walk for 4003 steps (8 resets) in 60 ms. (65 steps per ms) remains 804/804 properties
BEST_FIRST walk for 4003 steps (8 resets) in 63 ms. (62 steps per ms) remains 804/804 properties
BEST_FIRST walk for 4002 steps (8 resets) in 68 ms. (58 steps per ms) remains 804/804 properties
BEST_FIRST walk for 4003 steps (8 resets) in 84 ms. (47 steps per ms) remains 804/804 properties
BEST_FIRST walk for 4002 steps (8 resets) in 89 ms. (44 steps per ms) remains 804/804 properties
BEST_FIRST walk for 4004 steps (8 resets) in 84 ms. (47 steps per ms) remains 804/804 properties
BEST_FIRST walk for 4003 steps (8 resets) in 84 ms. (47 steps per ms) remains 804/804 properties
BEST_FIRST walk for 4003 steps (8 resets) in 80 ms. (49 steps per ms) remains 804/804 properties
BEST_FIRST walk for 4001 steps (8 resets) in 61 ms. (64 steps per ms) remains 797/804 properties
BEST_FIRST walk for 4003 steps (8 resets) in 75 ms. (52 steps per ms) remains 797/797 properties
BEST_FIRST walk for 4004 steps (8 resets) in 97 ms. (40 steps per ms) remains 797/797 properties
BEST_FIRST walk for 4002 steps (8 resets) in 96 ms. (41 steps per ms) remains 797/797 properties
BEST_FIRST walk for 4004 steps (8 resets) in 74 ms. (53 steps per ms) remains 797/797 properties
BEST_FIRST walk for 4001 steps (8 resets) in 96 ms. (41 steps per ms) remains 797/797 properties
BEST_FIRST walk for 4004 steps (8 resets) in 83 ms. (47 steps per ms) remains 797/797 properties
BEST_FIRST walk for 4003 steps (8 resets) in 86 ms. (46 steps per ms) remains 797/797 properties
BEST_FIRST walk for 4001 steps (8 resets) in 77 ms. (51 steps per ms) remains 797/797 properties
BEST_FIRST walk for 4002 steps (8 resets) in 81 ms. (48 steps per ms) remains 797/797 properties
BEST_FIRST walk for 4002 steps (8 resets) in 72 ms. (54 steps per ms) remains 797/797 properties
BEST_FIRST walk for 4003 steps (8 resets) in 80 ms. (49 steps per ms) remains 797/797 properties
BEST_FIRST walk for 4003 steps (8 resets) in 93 ms. (42 steps per ms) remains 797/797 properties
SDD proceeding with computation,3717 properties remain. new max is 64
SDD size :340 after 374
BEST_FIRST walk for 4003 steps (8 resets) in 92 ms. (43 steps per ms) remains 797/797 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 785/797 properties
BEST_FIRST walk for 4000 steps (8 resets) in 88 ms. (44 steps per ms) remains 785/785 properties
BEST_FIRST walk for 4004 steps (8 resets) in 74 ms. (53 steps per ms) remains 785/785 properties
BEST_FIRST walk for 4003 steps (8 resets) in 97 ms. (40 steps per ms) remains 785/785 properties
BEST_FIRST walk for 4003 steps (8 resets) in 85 ms. (46 steps per ms) remains 785/785 properties
BEST_FIRST walk for 4003 steps (8 resets) in 79 ms. (50 steps per ms) remains 785/785 properties
BEST_FIRST walk for 4003 steps (8 resets) in 91 ms. (43 steps per ms) remains 785/785 properties
BEST_FIRST walk for 4002 steps (8 resets) in 85 ms. (46 steps per ms) remains 785/785 properties
BEST_FIRST walk for 4004 steps (8 resets) in 84 ms. (47 steps per ms) remains 781/785 properties
BEST_FIRST walk for 4002 steps (8 resets) in 87 ms. (45 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4001 steps (8 resets) in 85 ms. (46 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4003 steps (8 resets) in 87 ms. (45 steps per ms) remains 781/781 properties
BEST_FIRST walk for 4002 steps (8 resets) in 67 ms. (58 steps per ms) remains 758/781 properties
BEST_FIRST walk for 4003 steps (8 resets) in 80 ms. (49 steps per ms) remains 758/758 properties
BEST_FIRST walk for 4001 steps (8 resets) in 91 ms. (43 steps per ms) remains 758/758 properties
BEST_FIRST walk for 4003 steps (8 resets) in 87 ms. (45 steps per ms) remains 758/758 properties
BEST_FIRST walk for 4003 steps (8 resets) in 39 ms. (100 steps per ms) remains 758/758 properties
Reachability property qltransition_3642 is true.
Reachability property qltransition_3640 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 36 ms. (108 steps per ms) remains 758/758 properties
Reachability property qltransition_3638 is true.
Reachability property qltransition_3636 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 31 ms. (125 steps per ms) remains 751/758 properties
Reachability property qltransition_3634 is true.
BEST_FIRST walk for 4001 steps (8 resets) in 92 ms. (43 steps per ms) remains 751/751 properties
BEST_FIRST walk for 4002 steps (8 resets) in 63 ms. (62 steps per ms) remains 748/751 properties
BEST_FIRST walk for 4004 steps (8 resets) in 80 ms. (49 steps per ms) remains 748/748 properties
BEST_FIRST walk for 4003 steps (8 resets) in 65 ms. (60 steps per ms) remains 748/748 properties
BEST_FIRST walk for 4003 steps (8 resets) in 84 ms. (47 steps per ms) remains 746/748 properties
BEST_FIRST walk for 4002 steps (8 resets) in 85 ms. (46 steps per ms) remains 746/746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 86 ms. (46 steps per ms) remains 746/746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 746/746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 746/746 properties
BEST_FIRST walk for 4002 steps (8 resets) in 68 ms. (58 steps per ms) remains 746/746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 54 ms. (72 steps per ms) remains 746/746 properties
BEST_FIRST walk for 4002 steps (8 resets) in 57 ms. (69 steps per ms) remains 746/746 properties
Reachability property qltransition_3112 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 68 ms. (58 steps per ms) remains 746/746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 73 ms. (54 steps per ms) remains 746/746 properties
Reachability property qltransition_3089 is true.
Reachability property qltransition_3066 is true.
Reachability property qltransition_3043 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 91 ms. (43 steps per ms) remains 746/746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 82 ms. (48 steps per ms) remains 746/746 properties
Reachability property qltransition_2836 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 79 ms. (50 steps per ms) remains 746/746 properties
Reachability property qltransition_2813 is true.
Reachability property qltransition_2790 is true.
BEST_FIRST walk for 4000 steps (8 resets) in 88 ms. (44 steps per ms) remains 746/746 properties
Reachability property qltransition_2767 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 84 ms. (47 steps per ms) remains 746/746 properties
BEST_FIRST walk for 4002 steps (8 resets) in 84 ms. (47 steps per ms) remains 746/746 properties
Reachability property qltransition_2492 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 73 ms. (54 steps per ms) remains 746/746 properties
Reachability property qltransition_2216 is true.
BEST_FIRST walk for 4001 steps (8 resets) in 86 ms. (45 steps per ms) remains 746/746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 75 ms. (52 steps per ms) remains 746/746 properties
BEST_FIRST walk for 4004 steps (8 resets) in 74 ms. (53 steps per ms) remains 746/746 properties
Reachability property qltransition_1940 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 90 ms. (43 steps per ms) remains 746/746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 85 ms. (46 steps per ms) remains 746/746 properties
Reachability property qltransition_1664 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 80 ms. (49 steps per ms) remains 746/746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 80 ms. (49 steps per ms) remains 746/746 properties
Reachability property qltransition_1388 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 94 ms. (42 steps per ms) remains 746/746 properties
BEST_FIRST walk for 4001 steps (8 resets) in 79 ms. (50 steps per ms) remains 746/746 properties
Reachability property qltransition_1112 is true.
BEST_FIRST walk for 4001 steps (8 resets) in 79 ms. (50 steps per ms) remains 746/746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 90 ms. (43 steps per ms) remains 746/746 properties
Reachability property qltransition_836 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 83 ms. (47 steps per ms) remains 746/746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 80 ms. (49 steps per ms) remains 746/746 properties
Reachability property qltransition_560 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 91 ms. (43 steps per ms) remains 746/746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 79 ms. (50 steps per ms) remains 746/746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 85 ms. (46 steps per ms) remains 746/746 properties
BEST_FIRST walk for 4001 steps (8 resets) in 84 ms. (47 steps per ms) remains 746/746 properties
BEST_FIRST walk for 4003 steps (8 resets) in 84 ms. (47 steps per ms) remains 746/746 properties
Reachability property qltransition_76 is true.
Reachability property qltransition_53 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 91 ms. (43 steps per ms) remains 746/746 properties
Reachability property qltransition_30 is true.
Reachability property qltransition_7 is true.
SDD proceeding with computation,3692 properties remain. new max is 64
BEST_FIRST walk for 4004 steps (8 resets) in 35 ms. (111 steps per ms) remains 745/746 properties
SDD size :374 after 794
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 745/745 properties
BEST_FIRST walk for 4004 steps (8 resets) in 85 ms. (46 steps per ms) remains 744/745 properties
BEST_FIRST walk for 4001 steps (8 resets) in 95 ms. (41 steps per ms) remains 744/744 properties
BEST_FIRST walk for 4004 steps (8 resets) in 82 ms. (48 steps per ms) remains 744/744 properties
BEST_FIRST walk for 4003 steps (8 resets) in 88 ms. (44 steps per ms) remains 744/744 properties
BEST_FIRST walk for 4002 steps (8 resets) in 82 ms. (48 steps per ms) remains 744/744 properties
BEST_FIRST walk for 4002 steps (8 resets) in 70 ms. (56 steps per ms) remains 744/744 properties
BEST_FIRST walk for 4004 steps (8 resets) in 78 ms. (50 steps per ms) remains 744/744 properties
BEST_FIRST walk for 4003 steps (8 resets) in 68 ms. (58 steps per ms) remains 744/744 properties
BEST_FIRST walk for 4001 steps (8 resets) in 70 ms. (56 steps per ms) remains 744/744 properties
BEST_FIRST walk for 4003 steps (8 resets) in 71 ms. (55 steps per ms) remains 744/744 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 744/744 properties
BEST_FIRST walk for 4003 steps (8 resets) in 24 ms. (160 steps per ms) remains 743/744 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 741/743 properties
BEST_FIRST walk for 4003 steps (8 resets) in 94 ms. (42 steps per ms) remains 732/741 properties
BEST_FIRST walk for 4002 steps (8 resets) in 70 ms. (56 steps per ms) remains 729/732 properties
BEST_FIRST walk for 4001 steps (8 resets) in 64 ms. (61 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4001 steps (8 resets) in 63 ms. (62 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 71 ms. (55 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4003 steps (8 resets) in 66 ms. (59 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4002 steps (8 resets) in 72 ms. (54 steps per ms) remains 729/729 properties
Reachability property qltransition_3483 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 47 ms. (83 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4003 steps (8 resets) in 54 ms. (72 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4003 steps (8 resets) in 49 ms. (80 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4002 steps (8 resets) in 76 ms. (51 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 83 ms. (47 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4003 steps (8 resets) in 90 ms. (43 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4003 steps (8 resets) in 74 ms. (53 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4001 steps (8 resets) in 85 ms. (46 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4002 steps (8 resets) in 86 ms. (46 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4002 steps (8 resets) in 87 ms. (45 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4002 steps (8 resets) in 65 ms. (60 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4002 steps (8 resets) in 69 ms. (57 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4002 steps (8 resets) in 80 ms. (49 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4003 steps (8 resets) in 83 ms. (47 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4001 steps (8 resets) in 75 ms. (52 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4001 steps (8 resets) in 75 ms. (52 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4003 steps (8 resets) in 74 ms. (53 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 80 ms. (49 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4002 steps (8 resets) in 78 ms. (50 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4002 steps (8 resets) in 72 ms. (54 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4001 steps (8 resets) in 79 ms. (50 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4003 steps (8 resets) in 89 ms. (44 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4002 steps (8 resets) in 81 ms. (48 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4004 steps (8 resets) in 74 ms. (53 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4002 steps (8 resets) in 61 ms. (64 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4003 steps (8 resets) in 62 ms. (63 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4003 steps (8 resets) in 73 ms. (54 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4003 steps (8 resets) in 79 ms. (50 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4001 steps (8 resets) in 72 ms. (54 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4003 steps (8 resets) in 79 ms. (50 steps per ms) remains 729/729 properties
BEST_FIRST walk for 4002 steps (8 resets) in 98 ms. (40 steps per ms) remains 729/729 properties
SDD proceeding with computation,3691 properties remain. new max is 64
SDD size :794 after 945
BEST_FIRST walk for 4003 steps (8 resets) in 64 ms. (61 steps per ms) remains 705/729 properties
BEST_FIRST walk for 4003 steps (8 resets) in 78 ms. (50 steps per ms) remains 705/705 properties
BEST_FIRST walk for 4003 steps (8 resets) in 84 ms. (47 steps per ms) remains 705/705 properties
BEST_FIRST walk for 4004 steps (8 resets) in 81 ms. (48 steps per ms) remains 705/705 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 704/705 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 704/704 properties
BEST_FIRST walk for 4003 steps (8 resets) in 63 ms. (62 steps per ms) remains 704/704 properties
BEST_FIRST walk for 4003 steps (8 resets) in 81 ms. (48 steps per ms) remains 704/704 properties
BEST_FIRST walk for 4003 steps (8 resets) in 30 ms. (129 steps per ms) remains 703/704 properties
BEST_FIRST walk for 4002 steps (8 resets) in 80 ms. (49 steps per ms) remains 702/703 properties
BEST_FIRST walk for 4002 steps (8 resets) in 73 ms. (54 steps per ms) remains 702/702 properties
BEST_FIRST walk for 4003 steps (8 resets) in 76 ms. (51 steps per ms) remains 702/702 properties
BEST_FIRST walk for 4004 steps (8 resets) in 78 ms. (50 steps per ms) remains 702/702 properties
BEST_FIRST walk for 4002 steps (8 resets) in 75 ms. (52 steps per ms) remains 702/702 properties
BEST_FIRST walk for 4002 steps (8 resets) in 82 ms. (48 steps per ms) remains 702/702 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 702/702 properties
Reachability property qltransition_3484 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 59 ms. (66 steps per ms) remains 702/702 properties
BEST_FIRST walk for 4003 steps (8 resets) in 62 ms. (63 steps per ms) remains 702/702 properties
BEST_FIRST walk for 4002 steps (8 resets) in 59 ms. (66 steps per ms) remains 702/702 properties
BEST_FIRST walk for 4003 steps (8 resets) in 61 ms. (64 steps per ms) remains 702/702 properties
BEST_FIRST walk for 4002 steps (8 resets) in 64 ms. (61 steps per ms) remains 702/702 properties
BEST_FIRST walk for 4003 steps (8 resets) in 68 ms. (58 steps per ms) remains 702/702 properties
BEST_FIRST walk for 4003 steps (8 resets) in 78 ms. (50 steps per ms) remains 702/702 properties
BEST_FIRST walk for 4003 steps (8 resets) in 77 ms. (51 steps per ms) remains 702/702 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 701/702 properties
BEST_FIRST walk for 4004 steps (8 resets) in 73 ms. (54 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4002 steps (8 resets) in 69 ms. (57 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4002 steps (8 resets) in 81 ms. (48 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4002 steps (8 resets) in 82 ms. (48 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4001 steps (8 resets) in 76 ms. (51 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4002 steps (8 resets) in 78 ms. (50 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4002 steps (8 resets) in 83 ms. (47 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4003 steps (8 resets) in 81 ms. (48 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4004 steps (8 resets) in 83 ms. (47 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4003 steps (8 resets) in 73 ms. (54 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4003 steps (8 resets) in 67 ms. (58 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4003 steps (8 resets) in 77 ms. (51 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4003 steps (8 resets) in 78 ms. (50 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4002 steps (8 resets) in 81 ms. (48 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4003 steps (8 resets) in 75 ms. (52 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4003 steps (8 resets) in 71 ms. (55 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4002 steps (8 resets) in 60 ms. (65 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4002 steps (8 resets) in 84 ms. (47 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4004 steps (8 resets) in 70 ms. (56 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4003 steps (8 resets) in 82 ms. (48 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4002 steps (8 resets) in 70 ms. (56 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4003 steps (8 resets) in 66 ms. (59 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4003 steps (8 resets) in 67 ms. (58 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4002 steps (8 resets) in 59 ms. (66 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4004 steps (8 resets) in 28 ms. (138 steps per ms) remains 700/701 properties
BEST_FIRST walk for 4001 steps (8 resets) in 83 ms. (47 steps per ms) remains 700/700 properties
SDD proceeding with computation,3690 properties remain. new max is 64
SDD size :945 after 1048
BEST_FIRST walk for 4002 steps (8 resets) in 91 ms. (43 steps per ms) remains 700/700 properties
BEST_FIRST walk for 4001 steps (8 resets) in 64 ms. (61 steps per ms) remains 700/700 properties
BEST_FIRST walk for 4002 steps (8 resets) in 64 ms. (61 steps per ms) remains 700/700 properties
BEST_FIRST walk for 4002 steps (8 resets) in 67 ms. (58 steps per ms) remains 700/700 properties
BEST_FIRST walk for 4003 steps (8 resets) in 75 ms. (52 steps per ms) remains 700/700 properties
BEST_FIRST walk for 4004 steps (8 resets) in 80 ms. (49 steps per ms) remains 700/700 properties
BEST_FIRST walk for 4003 steps (8 resets) in 81 ms. (48 steps per ms) remains 700/700 properties
BEST_FIRST walk for 4002 steps (8 resets) in 77 ms. (51 steps per ms) remains 700/700 properties
BEST_FIRST walk for 4001 steps (8 resets) in 74 ms. (53 steps per ms) remains 700/700 properties
Reachability property qltransition_3482 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 38 ms. (102 steps per ms) remains 700/700 properties
BEST_FIRST walk for 4003 steps (8 resets) in 27 ms. (142 steps per ms) remains 700/700 properties
BEST_FIRST walk for 4002 steps (8 resets) in 88 ms. (44 steps per ms) remains 698/700 properties
BEST_FIRST walk for 4001 steps (8 resets) in 86 ms. (45 steps per ms) remains 698/698 properties
BEST_FIRST walk for 4004 steps (8 resets) in 79 ms. (50 steps per ms) remains 698/698 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 698/698 properties
BEST_FIRST walk for 4003 steps (8 resets) in 30 ms. (129 steps per ms) remains 697/698 properties
BEST_FIRST walk for 4002 steps (8 resets) in 28 ms. (138 steps per ms) remains 695/697 properties
BEST_FIRST walk for 4003 steps (8 resets) in 73 ms. (54 steps per ms) remains 694/695 properties
BEST_FIRST walk for 4002 steps (8 resets) in 75 ms. (52 steps per ms) remains 691/694 properties
BEST_FIRST walk for 4003 steps (8 resets) in 77 ms. (51 steps per ms) remains 689/691 properties
BEST_FIRST walk for 4001 steps (8 resets) in 67 ms. (58 steps per ms) remains 689/689 properties
BEST_FIRST walk for 4002 steps (8 resets) in 68 ms. (58 steps per ms) remains 689/689 properties
BEST_FIRST walk for 4001 steps (8 resets) in 76 ms. (51 steps per ms) remains 689/689 properties
BEST_FIRST walk for 4002 steps (8 resets) in 74 ms. (53 steps per ms) remains 689/689 properties
BEST_FIRST walk for 4003 steps (8 resets) in 54 ms. (72 steps per ms) remains 689/689 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 689/689 properties
BEST_FIRST walk for 4003 steps (8 resets) in 55 ms. (71 steps per ms) remains 689/689 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 689/689 properties
BEST_FIRST walk for 4002 steps (8 resets) in 56 ms. (70 steps per ms) remains 689/689 properties
BEST_FIRST walk for 4002 steps (8 resets) in 63 ms. (62 steps per ms) remains 689/689 properties
BEST_FIRST walk for 4001 steps (8 resets) in 76 ms. (51 steps per ms) remains 689/689 properties
BEST_FIRST walk for 4004 steps (8 resets) in 70 ms. (56 steps per ms) remains 689/689 properties
BEST_FIRST walk for 4001 steps (8 resets) in 74 ms. (53 steps per ms) remains 689/689 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 689/689 properties
BEST_FIRST walk for 4003 steps (8 resets) in 53 ms. (74 steps per ms) remains 689/689 properties
BEST_FIRST walk for 4003 steps (8 resets) in 58 ms. (67 steps per ms) remains 689/689 properties
BEST_FIRST walk for 4002 steps (8 resets) in 65 ms. (60 steps per ms) remains 689/689 properties
BEST_FIRST walk for 4002 steps (8 resets) in 71 ms. (55 steps per ms) remains 689/689 properties
BEST_FIRST walk for 4004 steps (8 resets) in 80 ms. (49 steps per ms) remains 689/689 properties
BEST_FIRST walk for 4003 steps (8 resets) in 86 ms. (46 steps per ms) remains 689/689 properties
BEST_FIRST walk for 4002 steps (8 resets) in 65 ms. (60 steps per ms) remains 689/689 properties
BEST_FIRST walk for 4002 steps (8 resets) in 61 ms. (64 steps per ms) remains 689/689 properties
BEST_FIRST walk for 4003 steps (8 resets) in 75 ms. (52 steps per ms) remains 689/689 properties
BEST_FIRST walk for 4003 steps (8 resets) in 83 ms. (47 steps per ms) remains 689/689 properties
BEST_FIRST walk for 4003 steps (8 resets) in 73 ms. (54 steps per ms) remains 689/689 properties
Reachability property qltransition_327 is true.
Reachability property qltransition_326 is true.
Reachability property qltransition_325 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 80 ms. (49 steps per ms) remains 689/689 properties
BEST_FIRST walk for 4002 steps (8 resets) in 71 ms. (55 steps per ms) remains 689/689 properties
BEST_FIRST walk for 4002 steps (8 resets) in 76 ms. (51 steps per ms) remains 689/689 properties
BEST_FIRST walk for 4003 steps (8 resets) in 78 ms. (50 steps per ms) remains 689/689 properties
SDD proceeding with computation,3686 properties remain. new max is 64
SDD size :1048 after 1080
BEST_FIRST walk for 4003 steps (8 resets) in 68 ms. (58 steps per ms) remains 689/689 properties
BEST_FIRST walk for 4004 steps (8 resets) in 64 ms. (61 steps per ms) remains 688/689 properties
BEST_FIRST walk for 4003 steps (8 resets) in 70 ms. (56 steps per ms) remains 688/688 properties
BEST_FIRST walk for 4004 steps (8 resets) in 72 ms. (54 steps per ms) remains 688/688 properties
BEST_FIRST walk for 4003 steps (8 resets) in 82 ms. (48 steps per ms) remains 688/688 properties
BEST_FIRST walk for 4002 steps (8 resets) in 79 ms. (50 steps per ms) remains 688/688 properties
BEST_FIRST walk for 4001 steps (8 resets) in 75 ms. (52 steps per ms) remains 688/688 properties
BEST_FIRST walk for 4004 steps (8 resets) in 73 ms. (54 steps per ms) remains 688/688 properties
BEST_FIRST walk for 4003 steps (8 resets) in 79 ms. (50 steps per ms) remains 688/688 properties
BEST_FIRST walk for 4003 steps (8 resets) in 63 ms. (62 steps per ms) remains 688/688 properties
BEST_FIRST walk for 4003 steps (8 resets) in 71 ms. (55 steps per ms) remains 688/688 properties
BEST_FIRST walk for 4004 steps (8 resets) in 29 ms. (133 steps per ms) remains 688/688 properties
BEST_FIRST walk for 4001 steps (8 resets) in 26 ms. (148 steps per ms) remains 688/688 properties
BEST_FIRST walk for 4003 steps (8 resets) in 29 ms. (133 steps per ms) remains 686/688 properties
BEST_FIRST walk for 4002 steps (8 resets) in 84 ms. (47 steps per ms) remains 686/686 properties
BEST_FIRST walk for 4003 steps (8 resets) in 68 ms. (58 steps per ms) remains 674/686 properties
BEST_FIRST walk for 4002 steps (8 resets) in 73 ms. (54 steps per ms) remains 674/674 properties
BEST_FIRST walk for 4003 steps (8 resets) in 81 ms. (48 steps per ms) remains 674/674 properties
BEST_FIRST walk for 4003 steps (8 resets) in 74 ms. (53 steps per ms) remains 674/674 properties
BEST_FIRST walk for 4002 steps (8 resets) in 80 ms. (49 steps per ms) remains 674/674 properties
BEST_FIRST walk for 4003 steps (8 resets) in 67 ms. (58 steps per ms) remains 674/674 properties
BEST_FIRST walk for 4003 steps (8 resets) in 58 ms. (67 steps per ms) remains 674/674 properties
BEST_FIRST walk for 4003 steps (8 resets) in 53 ms. (74 steps per ms) remains 674/674 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 674/674 properties
BEST_FIRST walk for 4003 steps (8 resets) in 57 ms. (69 steps per ms) remains 674/674 properties
BEST_FIRST walk for 4002 steps (8 resets) in 64 ms. (61 steps per ms) remains 674/674 properties
BEST_FIRST walk for 4001 steps (8 resets) in 68 ms. (57 steps per ms) remains 674/674 properties
BEST_FIRST walk for 4003 steps (8 resets) in 58 ms. (67 steps per ms) remains 674/674 properties
BEST_FIRST walk for 4001 steps (8 resets) in 74 ms. (53 steps per ms) remains 674/674 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 674/674 properties
BEST_FIRST walk for 4004 steps (8 resets) in 76 ms. (52 steps per ms) remains 674/674 properties
BEST_FIRST walk for 4003 steps (8 resets) in 67 ms. (58 steps per ms) remains 674/674 properties
BEST_FIRST walk for 4003 steps (8 resets) in 82 ms. (48 steps per ms) remains 674/674 properties
BEST_FIRST walk for 4003 steps (8 resets) in 82 ms. (48 steps per ms) remains 674/674 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 674/674 properties
BEST_FIRST walk for 4001 steps (8 resets) in 73 ms. (54 steps per ms) remains 674/674 properties
BEST_FIRST walk for 4003 steps (8 resets) in 73 ms. (54 steps per ms) remains 674/674 properties
BEST_FIRST walk for 4002 steps (8 resets) in 75 ms. (52 steps per ms) remains 674/674 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 674/674 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 674/674 properties
BEST_FIRST walk for 4002 steps (8 resets) in 62 ms. (63 steps per ms) remains 674/674 properties
BEST_FIRST walk for 4003 steps (8 resets) in 86 ms. (46 steps per ms) remains 674/674 properties
BEST_FIRST walk for 4003 steps (8 resets) in 81 ms. (48 steps per ms) remains 674/674 properties
BEST_FIRST walk for 4002 steps (8 resets) in 80 ms. (49 steps per ms) remains 674/674 properties
BEST_FIRST walk for 4001 steps (8 resets) in 73 ms. (54 steps per ms) remains 674/674 properties
BEST_FIRST walk for 4000 steps (8 resets) in 86 ms. (45 steps per ms) remains 674/674 properties
BEST_FIRST walk for 4002 steps (8 resets) in 90 ms. (43 steps per ms) remains 674/674 properties
BEST_FIRST walk for 4000 steps (8 resets) in 74 ms. (53 steps per ms) remains 674/674 properties
BEST_FIRST walk for 4003 steps (8 resets) in 33 ms. (117 steps per ms) remains 674/674 properties
BEST_FIRST walk for 4004 steps (8 resets) in 26 ms. (148 steps per ms) remains 673/674 properties
BEST_FIRST walk for 4003 steps (8 resets) in 80 ms. (49 steps per ms) remains 673/673 properties
BEST_FIRST walk for 4003 steps (8 resets) in 82 ms. (48 steps per ms) remains 672/673 properties
BEST_FIRST walk for 4002 steps (8 resets) in 84 ms. (47 steps per ms) remains 671/672 properties
BEST_FIRST walk for 4002 steps (8 resets) in 81 ms. (48 steps per ms) remains 671/671 properties
BEST_FIRST walk for 4001 steps (8 resets) in 62 ms. (63 steps per ms) remains 671/671 properties
Reachability property qltransition_329 is true.
Reachability property qltransition_328 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 671/671 properties
BEST_FIRST walk for 4002 steps (8 resets) in 122 ms. (32 steps per ms) remains 671/671 properties
BEST_FIRST walk for 4003 steps (8 resets) in 76 ms. (51 steps per ms) remains 671/671 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 671/671 properties
SDD proceeding with computation,3684 properties remain. new max is 64
SDD size :1080 after 1185
BEST_FIRST walk for 4002 steps (8 resets) in 53 ms. (74 steps per ms) remains 671/671 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 671/671 properties
BEST_FIRST walk for 4003 steps (8 resets) in 53 ms. (74 steps per ms) remains 671/671 properties
BEST_FIRST walk for 4002 steps (8 resets) in 75 ms. (52 steps per ms) remains 671/671 properties
BEST_FIRST walk for 4002 steps (8 resets) in 81 ms. (48 steps per ms) remains 671/671 properties
BEST_FIRST walk for 4002 steps (8 resets) in 65 ms. (60 steps per ms) remains 671/671 properties
BEST_FIRST walk for 4001 steps (8 resets) in 73 ms. (54 steps per ms) remains 671/671 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 671/671 properties
BEST_FIRST walk for 4003 steps (8 resets) in 56 ms. (70 steps per ms) remains 671/671 properties
BEST_FIRST walk for 4002 steps (8 resets) in 75 ms. (52 steps per ms) remains 671/671 properties
BEST_FIRST walk for 4003 steps (8 resets) in 77 ms. (51 steps per ms) remains 671/671 properties
BEST_FIRST walk for 4001 steps (8 resets) in 68 ms. (57 steps per ms) remains 671/671 properties
BEST_FIRST walk for 4003 steps (8 resets) in 74 ms. (53 steps per ms) remains 671/671 properties
BEST_FIRST walk for 4000 steps (8 resets) in 80 ms. (49 steps per ms) remains 671/671 properties
BEST_FIRST walk for 4001 steps (8 resets) in 80 ms. (49 steps per ms) remains 671/671 properties
BEST_FIRST walk for 4003 steps (8 resets) in 78 ms. (50 steps per ms) remains 671/671 properties
BEST_FIRST walk for 4002 steps (8 resets) in 71 ms. (55 steps per ms) remains 671/671 properties
BEST_FIRST walk for 4003 steps (8 resets) in 73 ms. (54 steps per ms) remains 671/671 properties
BEST_FIRST walk for 4000 steps (8 resets) in 69 ms. (57 steps per ms) remains 671/671 properties
BEST_FIRST walk for 4003 steps (8 resets) in 84 ms. (47 steps per ms) remains 671/671 properties
BEST_FIRST walk for 4003 steps (8 resets) in 80 ms. (49 steps per ms) remains 671/671 properties
BEST_FIRST walk for 4003 steps (8 resets) in 72 ms. (54 steps per ms) remains 671/671 properties
BEST_FIRST walk for 4003 steps (8 resets) in 82 ms. (48 steps per ms) remains 671/671 properties
BEST_FIRST walk for 4001 steps (8 resets) in 72 ms. (54 steps per ms) remains 671/671 properties
BEST_FIRST walk for 4003 steps (8 resets) in 66 ms. (59 steps per ms) remains 671/671 properties
BEST_FIRST walk for 4003 steps (8 resets) in 82 ms. (48 steps per ms) remains 671/671 properties
BEST_FIRST walk for 4002 steps (8 resets) in 74 ms. (53 steps per ms) remains 671/671 properties
BEST_FIRST walk for 4002 steps (8 resets) in 89 ms. (44 steps per ms) remains 671/671 properties
BEST_FIRST walk for 4002 steps (8 resets) in 77 ms. (51 steps per ms) remains 671/671 properties
BEST_FIRST walk for 4004 steps (8 resets) in 78 ms. (50 steps per ms) remains 671/671 properties
BEST_FIRST walk for 4002 steps (8 resets) in 74 ms. (53 steps per ms) remains 671/671 properties
BEST_FIRST walk for 4002 steps (8 resets) in 64 ms. (61 steps per ms) remains 671/671 properties
BEST_FIRST walk for 4003 steps (8 resets) in 34 ms. (114 steps per ms) remains 669/671 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 669/669 properties
BEST_FIRST walk for 4001 steps (8 resets) in 30 ms. (129 steps per ms) remains 669/669 properties
BEST_FIRST walk for 4002 steps (8 resets) in 78 ms. (50 steps per ms) remains 669/669 properties
BEST_FIRST walk for 4002 steps (8 resets) in 72 ms. (54 steps per ms) remains 668/669 properties
BEST_FIRST walk for 4003 steps (8 resets) in 23 ms. (166 steps per ms) remains 668/668 properties
BEST_FIRST walk for 4004 steps (8 resets) in 27 ms. (143 steps per ms) remains 666/668 properties
BEST_FIRST walk for 4003 steps (8 resets) in 30 ms. (129 steps per ms) remains 662/666 properties
BEST_FIRST walk for 4003 steps (8 resets) in 61 ms. (64 steps per ms) remains 661/662 properties
BEST_FIRST walk for 4002 steps (8 resets) in 75 ms. (52 steps per ms) remains 658/661 properties
BEST_FIRST walk for 4003 steps (8 resets) in 73 ms. (54 steps per ms) remains 658/658 properties
BEST_FIRST walk for 4002 steps (8 resets) in 59 ms. (66 steps per ms) remains 658/658 properties
BEST_FIRST walk for 4003 steps (8 resets) in 63 ms. (62 steps per ms) remains 658/658 properties
BEST_FIRST walk for 4003 steps (8 resets) in 64 ms. (61 steps per ms) remains 658/658 properties
BEST_FIRST walk for 4004 steps (8 resets) in 77 ms. (51 steps per ms) remains 657/658 properties
BEST_FIRST walk for 4003 steps (8 resets) in 76 ms. (51 steps per ms) remains 657/657 properties
SDD proceeding with computation,3684 properties remain. new max is 128
SDD size :1185 after 1248
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4003 steps (8 resets) in 52 ms. (75 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4003 steps (8 resets) in 45 ms. (87 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4003 steps (8 resets) in 46 ms. (85 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4003 steps (8 resets) in 74 ms. (53 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4003 steps (8 resets) in 74 ms. (53 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4002 steps (8 resets) in 70 ms. (56 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4003 steps (8 resets) in 79 ms. (50 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 657/657 properties
Reachability property qltransition_3481 is true.
Reachability property qltransition_3480 is true.
BEST_FIRST walk for 4002 steps (8 resets) in 73 ms. (54 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4001 steps (8 resets) in 70 ms. (56 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4002 steps (8 resets) in 76 ms. (51 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4003 steps (8 resets) in 69 ms. (57 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4002 steps (8 resets) in 74 ms. (53 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4002 steps (8 resets) in 74 ms. (53 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4001 steps (8 resets) in 73 ms. (54 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4002 steps (8 resets) in 75 ms. (52 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4003 steps (8 resets) in 82 ms. (48 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4001 steps (8 resets) in 84 ms. (47 steps per ms) remains 657/657 properties
BEST_FIRST walk for 4002 steps (8 resets) in 66 ms. (59 steps per ms) remains 656/657 properties
BEST_FIRST walk for 4001 steps (8 resets) in 62 ms. (63 steps per ms) remains 656/656 properties
BEST_FIRST walk for 4003 steps (8 resets) in 74 ms. (53 steps per ms) remains 656/656 properties
BEST_FIRST walk for 4000 steps (8 resets) in 81 ms. (48 steps per ms) remains 656/656 properties
BEST_FIRST walk for 4001 steps (8 resets) in 66 ms. (59 steps per ms) remains 656/656 properties
BEST_FIRST walk for 4002 steps (8 resets) in 72 ms. (54 steps per ms) remains 656/656 properties
BEST_FIRST walk for 4003 steps (8 resets) in 75 ms. (52 steps per ms) remains 656/656 properties
BEST_FIRST walk for 4002 steps (8 resets) in 73 ms. (54 steps per ms) remains 656/656 properties
BEST_FIRST walk for 4003 steps (8 resets) in 78 ms. (50 steps per ms) remains 656/656 properties
BEST_FIRST walk for 4001 steps (8 resets) in 67 ms. (58 steps per ms) remains 656/656 properties
BEST_FIRST walk for 4001 steps (8 resets) in 74 ms. (53 steps per ms) remains 656/656 properties
BEST_FIRST walk for 4001 steps (8 resets) in 59 ms. (66 steps per ms) remains 656/656 properties
BEST_FIRST walk for 4003 steps (8 resets) in 66 ms. (59 steps per ms) remains 656/656 properties
BEST_FIRST walk for 4002 steps (8 resets) in 75 ms. (52 steps per ms) remains 656/656 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 656/656 properties
BEST_FIRST walk for 4003 steps (8 resets) in 62 ms. (63 steps per ms) remains 656/656 properties
BEST_FIRST walk for 4002 steps (8 resets) in 66 ms. (59 steps per ms) remains 656/656 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 656/656 properties
BEST_FIRST walk for 4004 steps (8 resets) in 80 ms. (49 steps per ms) remains 655/656 properties
BEST_FIRST walk for 4001 steps (8 resets) in 74 ms. (53 steps per ms) remains 653/655 properties
BEST_FIRST walk for 4001 steps (8 resets) in 68 ms. (57 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4003 steps (8 resets) in 56 ms. (70 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4003 steps (8 resets) in 81 ms. (48 steps per ms) remains 653/653 properties
Reachability property qltransition_302 is true.
Reachability property qltransition_301 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 74 ms. (53 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4003 steps (8 resets) in 80 ms. (49 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4001 steps (8 resets) in 73 ms. (54 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 653/653 properties
SDD proceeding with computation,3680 properties remain. new max is 128
SDD size :1248 after 1282
BEST_FIRST walk for 4003 steps (8 resets) in 50 ms. (78 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4002 steps (8 resets) in 44 ms. (88 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4003 steps (8 resets) in 69 ms. (57 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4002 steps (8 resets) in 65 ms. (60 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4004 steps (8 resets) in 64 ms. (61 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4002 steps (8 resets) in 60 ms. (65 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4003 steps (8 resets) in 81 ms. (48 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4003 steps (8 resets) in 72 ms. (54 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4003 steps (8 resets) in 71 ms. (55 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4002 steps (8 resets) in 61 ms. (64 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4003 steps (8 resets) in 76 ms. (51 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4003 steps (8 resets) in 67 ms. (58 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4003 steps (8 resets) in 56 ms. (70 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4002 steps (8 resets) in 70 ms. (56 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4002 steps (8 resets) in 77 ms. (51 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4003 steps (8 resets) in 77 ms. (51 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4002 steps (8 resets) in 74 ms. (53 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4003 steps (8 resets) in 56 ms. (70 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4002 steps (8 resets) in 66 ms. (59 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4003 steps (8 resets) in 72 ms. (54 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4003 steps (8 resets) in 69 ms. (57 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4003 steps (8 resets) in 74 ms. (53 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4002 steps (8 resets) in 74 ms. (53 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4004 steps (8 resets) in 77 ms. (51 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4002 steps (8 resets) in 71 ms. (55 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4002 steps (8 resets) in 76 ms. (51 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4002 steps (8 resets) in 69 ms. (57 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4003 steps (8 resets) in 73 ms. (54 steps per ms) remains 653/653 properties
BEST_FIRST walk for 4003 steps (8 resets) in 36 ms. (108 steps per ms) remains 639/653 properties
BEST_FIRST walk for 4001 steps (8 resets) in 73 ms. (54 steps per ms) remains 639/639 properties
BEST_FIRST walk for 4003 steps (8 resets) in 71 ms. (55 steps per ms) remains 639/639 properties
BEST_FIRST walk for 4003 steps (8 resets) in 70 ms. (56 steps per ms) remains 639/639 properties
BEST_FIRST walk for 4003 steps (8 resets) in 79 ms. (50 steps per ms) remains 639/639 properties
BEST_FIRST walk for 4003 steps (8 resets) in 68 ms. (58 steps per ms) remains 639/639 properties
BEST_FIRST walk for 4001 steps (8 resets) in 66 ms. (59 steps per ms) remains 639/639 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 638/639 properties
BEST_FIRST walk for 4003 steps (8 resets) in 25 ms. (153 steps per ms) remains 638/638 properties
BEST_FIRST walk for 4003 steps (8 resets) in 27 ms. (142 steps per ms) remains 637/638 properties
BEST_FIRST walk for 4003 steps (8 resets) in 78 ms. (50 steps per ms) remains 634/637 properties
BEST_FIRST walk for 4000 steps (8 resets) in 71 ms. (55 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4003 steps (8 resets) in 66 ms. (59 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4004 steps (8 resets) in 71 ms. (55 steps per ms) remains 634/634 properties
Reachability property qltransition_305 is true.
Reachability property qltransition_304 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 64 ms. (61 steps per ms) remains 634/634 properties
Reachability property qltransition_303 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4003 steps (8 resets) in 50 ms. (78 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4002 steps (8 resets) in 41 ms. (95 steps per ms) remains 634/634 properties
SDD proceeding with computation,3677 properties remain. new max is 128
SDD size :1282 after 1342
BEST_FIRST walk for 4002 steps (8 resets) in 53 ms. (74 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4003 steps (8 resets) in 48 ms. (81 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4002 steps (8 resets) in 78 ms. (50 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4003 steps (8 resets) in 72 ms. (54 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4003 steps (8 resets) in 74 ms. (53 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4002 steps (8 resets) in 75 ms. (52 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4002 steps (8 resets) in 65 ms. (60 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4002 steps (8 resets) in 73 ms. (54 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4003 steps (8 resets) in 66 ms. (59 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4003 steps (8 resets) in 61 ms. (64 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4002 steps (8 resets) in 75 ms. (52 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4004 steps (8 resets) in 58 ms. (67 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4002 steps (8 resets) in 53 ms. (74 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4002 steps (8 resets) in 69 ms. (57 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4002 steps (8 resets) in 69 ms. (57 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4001 steps (8 resets) in 66 ms. (59 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4003 steps (8 resets) in 64 ms. (61 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4002 steps (8 resets) in 66 ms. (59 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4003 steps (8 resets) in 69 ms. (57 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4003 steps (8 resets) in 74 ms. (53 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4002 steps (8 resets) in 64 ms. (61 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4003 steps (8 resets) in 64 ms. (61 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4002 steps (8 resets) in 66 ms. (59 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4002 steps (8 resets) in 71 ms. (55 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4002 steps (8 resets) in 73 ms. (54 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4003 steps (8 resets) in 63 ms. (62 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4003 steps (8 resets) in 71 ms. (55 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4000 steps (8 resets) in 73 ms. (54 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4003 steps (8 resets) in 70 ms. (56 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4003 steps (8 resets) in 54 ms. (72 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4003 steps (8 resets) in 61 ms. (64 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4003 steps (8 resets) in 53 ms. (74 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4002 steps (8 resets) in 73 ms. (54 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4003 steps (8 resets) in 70 ms. (56 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4001 steps (8 resets) in 68 ms. (57 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4004 steps (8 resets) in 27 ms. (143 steps per ms) remains 634/634 properties
BEST_FIRST walk for 4003 steps (8 resets) in 29 ms. (133 steps per ms) remains 633/634 properties
BEST_FIRST walk for 4004 steps (8 resets) in 26 ms. (148 steps per ms) remains 632/633 properties
BEST_FIRST walk for 4003 steps (8 resets) in 61 ms. (64 steps per ms) remains 625/632 properties
BEST_FIRST walk for 4003 steps (8 resets) in 78 ms. (50 steps per ms) remains 625/625 properties
BEST_FIRST walk for 4002 steps (8 resets) in 81 ms. (48 steps per ms) remains 625/625 properties
BEST_FIRST walk for 4002 steps (8 resets) in 81 ms. (48 steps per ms) remains 625/625 properties
BEST_FIRST walk for 4003 steps (8 resets) in 74 ms. (53 steps per ms) remains 625/625 properties
BEST_FIRST walk for 4002 steps (8 resets) in 75 ms. (52 steps per ms) remains 610/625 properties
BEST_FIRST walk for 4003 steps (8 resets) in 71 ms. (55 steps per ms) remains 581/610 properties
BEST_FIRST walk for 4003 steps (8 resets) in 65 ms. (60 steps per ms) remains 569/581 properties
BEST_FIRST walk for 4003 steps (8 resets) in 58 ms. (67 steps per ms) remains 554/569 properties
BEST_FIRST walk for 4003 steps (8 resets) in 59 ms. (66 steps per ms) remains 547/554 properties
BEST_FIRST walk for 4002 steps (8 resets) in 63 ms. (62 steps per ms) remains 529/547 properties
BEST_FIRST walk for 4001 steps (8 resets) in 64 ms. (61 steps per ms) remains 519/529 properties
BEST_FIRST walk for 4003 steps (8 resets) in 62 ms. (63 steps per ms) remains 519/519 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 519/519 properties
BEST_FIRST walk for 4002 steps (8 resets) in 61 ms. (64 steps per ms) remains 519/519 properties
BEST_FIRST walk for 4004 steps (8 resets) in 58 ms. (67 steps per ms) remains 519/519 properties
BEST_FIRST walk for 4003 steps (8 resets) in 60 ms. (65 steps per ms) remains 519/519 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 519/519 properties
BEST_FIRST walk for 4002 steps (8 resets) in 62 ms. (63 steps per ms) remains 519/519 properties
BEST_FIRST walk for 4002 steps (8 resets) in 61 ms. (64 steps per ms) remains 519/519 properties
BEST_FIRST walk for 4001 steps (8 resets) in 51 ms. (76 steps per ms) remains 519/519 properties
BEST_FIRST walk for 4003 steps (8 resets) in 61 ms. (64 steps per ms) remains 519/519 properties
Reachability property qltransition_306 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 57 ms. (69 steps per ms) remains 519/519 properties
BEST_FIRST walk for 4000 steps (8 resets) in 71 ms. (55 steps per ms) remains 519/519 properties
BEST_FIRST walk for 4002 steps (8 resets) in 65 ms. (60 steps per ms) remains 519/519 properties
BEST_FIRST walk for 4002 steps (8 resets) in 53 ms. (74 steps per ms) remains 519/519 properties
BEST_FIRST walk for 4003 steps (8 resets) in 48 ms. (81 steps per ms) remains 519/519 properties
SDD proceeding with computation,3676 properties remain. new max is 128
BEST_FIRST walk for 4003 steps (8 resets) in 69 ms. (57 steps per ms) remains 519/519 properties
SDD size :1342 after 1512
BEST_FIRST walk for 4002 steps (8 resets) in 61 ms. (64 steps per ms) remains 519/519 properties
BEST_FIRST walk for 4003 steps (8 resets) in 57 ms. (69 steps per ms) remains 519/519 properties
BEST_FIRST walk for 4004 steps (8 resets) in 58 ms. (67 steps per ms) remains 519/519 properties
BEST_FIRST walk for 4001 steps (8 resets) in 57 ms. (68 steps per ms) remains 519/519 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 519/519 properties
BEST_FIRST walk for 4002 steps (8 resets) in 53 ms. (74 steps per ms) remains 519/519 properties
BEST_FIRST walk for 4002 steps (8 resets) in 51 ms. (76 steps per ms) remains 519/519 properties
BEST_FIRST walk for 4003 steps (8 resets) in 57 ms. (69 steps per ms) remains 519/519 properties
BEST_FIRST walk for 4002 steps (8 resets) in 59 ms. (66 steps per ms) remains 519/519 properties
BEST_FIRST walk for 4000 steps (8 resets) in 59 ms. (66 steps per ms) remains 519/519 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 519/519 properties
BEST_FIRST walk for 4002 steps (8 resets) in 58 ms. (67 steps per ms) remains 519/519 properties
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-13021607988021626362.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8968881912414390253.kers'
[2026-05-24 20:24:16] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13021607988021626362.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8968881912414390253.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 3832 rows 568 cols 14864 entries
Finished phase 1 with 364 SingleSign rule and 178 generalized
[2026-05-24 20:24:16] [INFO ] Computed 26 invariants in 14 ms
Computed 26 P flows in 15 ms.
Exported basis to /tmp/petrispot-output-8968881912414390253.kers
Total runtime 18 ms.
[2026-05-24 20:24:16] [INFO ] State equation strengthened by 220 read => feed constraints.
SDD proceeding with computation,3676 properties remain. new max is 256
SDD size :1512 after 1641
Reachability property qltransition_3664 is true.
Reachability property qltransition_3662 is true.
Reachability property qltransition_3660 is true.
Reachability property qltransition_3658 is true.
Reachability property qltransition_3656 is true.
Reachability property qltransition_3113 is true.
Reachability property qltransition_3090 is true.
Reachability property qltransition_3067 is true.
Reachability property qltransition_3044 is true.
Reachability property qltransition_2837 is true.
Reachability property qltransition_2814 is true.
Reachability property qltransition_2791 is true.
Reachability property qltransition_2768 is true.
Reachability property qltransition_2493 is true.
Reachability property qltransition_2217 is true.
Reachability property qltransition_1941 is true.
Reachability property qltransition_1665 is true.
Reachability property qltransition_1389 is true.
Reachability property qltransition_1113 is true.
Reachability property qltransition_837 is true.
Reachability property qltransition_330 is true.
Reachability property qltransition_307 is true.
Reachability property qltransition_284 is true.
Reachability property qltransition_77 is true.
Reachability property qltransition_54 is true.
Reachability property qltransition_31 is true.
Reachability property qltransition_8 is true.
SDD proceeding with computation,3649 properties remain. new max is 256
SDD size :1641 after 4220
Reachability property qltransition_3496 is true.
Reachability property qltransition_3495 is true.
SDD proceeding with computation,3647 properties remain. new max is 256
SDD size :4220 after 5125
Reachability property qltransition_3494 is true.
Reachability property qltransition_604 is true.
Reachability property qltransition_603 is true.
Reachability property qltransition_602 is true.
Reachability property qltransition_601 is true.
SDD proceeding with computation,3642 properties remain. new max is 256
SDD size :5125 after 5534
Reachability property qltransition_606 is true.
Reachability property qltransition_605 is true.
SDD proceeding with computation,3640 properties remain. new max is 256
SDD size :5534 after 6327
At refinement iteration 0 (INCLUDED_ONLY) 0/182 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 519 unsolved
SDD proceeding with computation,3640 properties remain. new max is 512
SDD size :6327 after 6634
At refinement iteration 1 (OVERLAPS) 384/566 variables, 14/14 constraints. Problems are: Problem set: 0 solved, 519 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/566 variables, 10/24 constraints. Problems are: Problem set: 0 solved, 519 unsolved
Reachability property qltransition_3493 is true.
Reachability property qltransition_3492 is true.
Reachability property qltransition_581 is true.
Reachability property qltransition_580 is true.
Reachability property qltransition_579 is true.
Reachability property qltransition_578 is true.
Reachability property qltransition_577 is true.
SDD proceeding with computation,3633 properties remain. new max is 512
SDD size :6634 after 7205
Reachability property qltransition_583 is true.
Reachability property qltransition_582 is true.
SDD proceeding with computation,3631 properties remain. new max is 512
SDD size :7205 after 8623
Reachability property qltransition_353 is true.
Reachability property qltransition_352 is true.
Reachability property qltransition_351 is true.
Reachability property qltransition_350 is true.
Reachability property qltransition_349 is true.
SDD proceeding with computation,3626 properties remain. new max is 512
SDD size :8623 after 9563
Reachability property qltransition_3686 is true.
Reachability property qltransition_3684 is true.
Reachability property qltransition_3682 is true.
Reachability property qltransition_3680 is true.
Reachability property qltransition_3678 is true.
Reachability property qltransition_3114 is true.
Reachability property qltransition_3091 is true.
Reachability property qltransition_3068 is true.
Reachability property qltransition_3045 is true.
Reachability property qltransition_2838 is true.
Reachability property qltransition_2815 is true.
Reachability property qltransition_2792 is true.
Reachability property qltransition_2769 is true.
Reachability property qltransition_2494 is true.
Reachability property qltransition_2218 is true.
Reachability property qltransition_1942 is true.
Reachability property qltransition_1666 is true.
Reachability property qltransition_1390 is true.
Reachability property qltransition_1114 is true.
Reachability property qltransition_607 is true.
Reachability property qltransition_584 is true.
Reachability property qltransition_561 is true.
Reachability property qltransition_354 is true.
Reachability property qltransition_331 is true.
Reachability property qltransition_308 is true.
Reachability property qltransition_285 is true.
Reachability property qltransition_78 is true.
Reachability property qltransition_55 is true.
Reachability property qltransition_32 is true.
Reachability property qltransition_9 is true.
SDD proceeding with computation,3596 properties remain. new max is 512
SDD size :9563 after 25254
Reachability property qltransition_3508 is true.
Reachability property qltransition_3507 is true.
SDD proceeding with computation,3594 properties remain. new max is 512
SDD size :25254 after 29853
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 3 (INCLUDED_ONLY) 0/566 variables, 15/39 constraints. Problems are: Problem set: 0 solved, 519 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 566/4400 variables, and 39 constraints, problems are : Problem set: 0 solved, 519 unsolved in 45023 ms.
Refiners :[Positive P Invariants (semi-flows): 14/14 constraints, Generalized P Invariants (flows): 10/12 constraints, State Equation: 0/568 constraints, ReadFeed: 0/220 constraints, PredecessorRefiner: 519/519 constraints, Known Traps: 15/15 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 519 unsolved
SDD proceeding with computation,3594 properties remain. new max is 1024
SDD size :29853 after 32175
At refinement iteration 0 (INCLUDED_ONLY) 0/182 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 519 unsolved
At refinement iteration 1 (OVERLAPS) 384/566 variables, 14/14 constraints. Problems are: Problem set: 0 solved, 519 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/566 variables, 10/24 constraints. Problems are: Problem set: 0 solved, 519 unsolved
Reachability property qltransition_3506 is true.
Reachability property qltransition_882 is true.
Reachability property qltransition_881 is true.
Reachability property qltransition_880 is true.
Reachability property qltransition_879 is true.
Reachability property qltransition_878 is true.
Reachability property qltransition_877 is true.
SDD proceeding with computation,3587 properties remain. new max is 1024
SDD size :32175 after 35643
Reachability property qltransition_883 is true.
SDD proceeding with computation,3586 properties remain. new max is 1024
SDD size :35643 after 43662
At refinement iteration 3 (INCLUDED_ONLY) 0/566 variables, 15/39 constraints. Problems are: Problem set: 0 solved, 519 unsolved
SDD proceeding with computation,3586 properties remain. new max is 2048
SDD size :43662 after 44476
Reachability property qltransition_3505 is true.
Reachability property qltransition_3504 is true.
Reachability property qltransition_860 is true.
Reachability property qltransition_859 is true.
Reachability property qltransition_858 is true.
Reachability property qltransition_857 is true.
Reachability property qltransition_856 is true.
Reachability property qltransition_855 is true.
Reachability property qltransition_854 is true.
Reachability property qltransition_853 is true.
SDD proceeding with computation,3576 properties remain. new max is 2048
SDD size :44476 after 52265
Reachability property qltransition_630 is true.
Reachability property qltransition_629 is true.
Reachability property qltransition_628 is true.
Reachability property qltransition_627 is true.
Reachability property qltransition_626 is true.
Reachability property qltransition_625 is true.
SDD proceeding with computation,3570 properties remain. new max is 2048
SDD size :52265 after 59381
Reachability property qltransition_3708 is true.
Reachability property qltransition_3706 is true.
Reachability property qltransition_3704 is true.
Reachability property qltransition_3702 is true.
Reachability property qltransition_3700 is true.
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 566/4400 variables, and 47 constraints, problems are : Problem set: 0 solved, 519 unsolved in 45042 ms.
Refiners :[Positive P Invariants (semi-flows): 14/14 constraints, Generalized P Invariants (flows): 10/12 constraints, State Equation: 0/568 constraints, ReadFeed: 0/220 constraints, PredecessorRefiner: 0/519 constraints, Known Traps: 23/23 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 90888ms problems are : Problem set: 0 solved, 519 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 182 out of 568 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 568/568 places, 3832/3832 transitions.
Discarding 61 places :
Symmetric choice reduction at 0 with 61 rule applications. Total rules 61 place count 507 transition count 3705
Iterating global reduction 0 with 61 rules applied. Total rules applied 122 place count 507 transition count 3705
Applied a total of 122 rules in 138 ms. Remains 507 /568 variables (removed 61) and now considering 3705/3832 (removed 127) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 151 ms. Remains : 507/568 places, 3705/3832 transitions.
Reachability property qltransition_3115 is true.
Reachability property qltransition_3092 is true.
Reachability property qltransition_3069 is true.
Reachability property qltransition_3046 is true.
Reachability property qltransition_2839 is true.
Reachability property qltransition_2816 is true.
Reachability property qltransition_2793 is true.
Reachability property qltransition_2770 is true.
Reachability property qltransition_2495 is true.
Reachability property qltransition_2219 is true.
Reachability property qltransition_1943 is true.
Reachability property qltransition_1667 is true.
Reachability property qltransition_1391 is true.
Reachability property qltransition_884 is true.
Reachability property qltransition_861 is true.
Reachability property qltransition_838 is true.
Reachability property qltransition_631 is true.
Reachability property qltransition_608 is true.
Reachability property qltransition_585 is true.
Reachability property qltransition_562 is true.
Reachability property qltransition_355 is true.
Reachability property qltransition_332 is true.
Reachability property qltransition_309 is true.
Reachability property qltransition_286 is true.
Reachability property qltransition_79 is true.
Reachability property qltransition_56 is true.
Reachability property qltransition_33 is true.
Reachability property qltransition_10 is true.
SDD proceeding with computation,3537 properties remain. new max is 2048
SDD size :59381 after 170262
Reachability property qltransition_3520 is true.
Reachability property qltransition_3519 is true.
SDD proceeding with computation,3535 properties remain. new max is 2048
SDD size :170262 after 190879
RANDOM walk for 3399736 steps (8 resets) in 120004 ms. (28 steps per ms) remains 509/519 properties
BEST_FIRST walk for 4002 steps (8 resets) in 35 ms. (111 steps per ms) remains 509/509 properties
BEST_FIRST walk for 4002 steps (8 resets) in 47 ms. (83 steps per ms) remains 509/509 properties
BEST_FIRST walk for 4003 steps (8 resets) in 46 ms. (85 steps per ms) remains 509/509 properties
BEST_FIRST walk for 4002 steps (8 resets) in 42 ms. (93 steps per ms) remains 509/509 properties
BEST_FIRST walk for 4003 steps (8 resets) in 40 ms. (97 steps per ms) remains 509/509 properties
BEST_FIRST walk for 4003 steps (8 resets) in 68 ms. (58 steps per ms) remains 509/509 properties
BEST_FIRST walk for 4000 steps (8 resets) in 59 ms. (66 steps per ms) remains 509/509 properties
BEST_FIRST walk for 4003 steps (8 resets) in 58 ms. (67 steps per ms) remains 509/509 properties
BEST_FIRST walk for 4003 steps (8 resets) in 68 ms. (58 steps per ms) remains 509/509 properties
BEST_FIRST walk for 4001 steps (8 resets) in 62 ms. (63 steps per ms) remains 509/509 properties
BEST_FIRST walk for 4004 steps (8 resets) in 58 ms. (67 steps per ms) remains 509/509 properties
BEST_FIRST walk for 4003 steps (8 resets) in 46 ms. (85 steps per ms) remains 509/509 properties
BEST_FIRST walk for 4003 steps (8 resets) in 57 ms. (69 steps per ms) remains 509/509 properties
BEST_FIRST walk for 4002 steps (8 resets) in 48 ms. (81 steps per ms) remains 509/509 properties
BEST_FIRST walk for 4003 steps (8 resets) in 65 ms. (60 steps per ms) remains 509/509 properties
BEST_FIRST walk for 4002 steps (8 resets) in 63 ms. (62 steps per ms) remains 509/509 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 509/509 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 509/509 properties
BEST_FIRST walk for 4002 steps (8 resets) in 52 ms. (75 steps per ms) remains 509/509 properties
BEST_FIRST walk for 4003 steps (8 resets) in 48 ms. (81 steps per ms) remains 509/509 properties
BEST_FIRST walk for 4003 steps (8 resets) in 57 ms. (69 steps per ms) remains 509/509 properties
BEST_FIRST walk for 4003 steps (8 resets) in 55 ms. (71 steps per ms) remains 509/509 properties
BEST_FIRST walk for 4003 steps (8 resets) in 61 ms. (64 steps per ms) remains 507/509 properties
BEST_FIRST walk for 4002 steps (8 resets) in 65 ms. (60 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4002 steps (8 resets) in 63 ms. (62 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4002 steps (8 resets) in 57 ms. (69 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4003 steps (8 resets) in 62 ms. (63 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4003 steps (8 resets) in 60 ms. (65 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4001 steps (8 resets) in 53 ms. (74 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 59 ms. (66 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4003 steps (8 resets) in 46 ms. (85 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4002 steps (8 resets) in 57 ms. (69 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4002 steps (8 resets) in 68 ms. (58 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4002 steps (8 resets) in 50 ms. (78 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4002 steps (8 resets) in 57 ms. (69 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4001 steps (8 resets) in 55 ms. (71 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4002 steps (8 resets) in 63 ms. (62 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4002 steps (8 resets) in 61 ms. (64 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4003 steps (8 resets) in 51 ms. (76 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4000 steps (8 resets) in 46 ms. (85 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4002 steps (8 resets) in 52 ms. (75 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4003 steps (8 resets) in 42 ms. (93 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4002 steps (8 resets) in 38 ms. (102 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4003 steps (8 resets) in 45 ms. (87 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4002 steps (8 resets) in 43 ms. (90 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4003 steps (8 resets) in 59 ms. (66 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4002 steps (8 resets) in 137 ms. (29 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4002 steps (8 resets) in 59 ms. (66 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4001 steps (8 resets) in 49 ms. (80 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4001 steps (8 resets) in 55 ms. (71 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4003 steps (8 resets) in 60 ms. (65 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4003 steps (8 resets) in 63 ms. (62 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4002 steps (8 resets) in 55 ms. (71 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4003 steps (8 resets) in 58 ms. (67 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4002 steps (8 resets) in 59 ms. (66 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4002 steps (8 resets) in 55 ms. (71 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4001 steps (8 resets) in 55 ms. (71 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4003 steps (8 resets) in 65 ms. (60 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4003 steps (8 resets) in 54 ms. (72 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4003 steps (8 resets) in 53 ms. (74 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4002 steps (8 resets) in 55 ms. (71 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4002 steps (8 resets) in 56 ms. (70 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4003 steps (8 resets) in 45 ms. (87 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4003 steps (8 resets) in 57 ms. (69 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4002 steps (8 resets) in 65 ms. (60 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4003 steps (8 resets) in 60 ms. (65 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4002 steps (8 resets) in 62 ms. (63 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4002 steps (8 resets) in 65 ms. (60 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4002 steps (8 resets) in 63 ms. (62 steps per ms) remains 507/507 properties
BEST_FIRST walk for 4003 steps (8 resets) in 56 ms. (70 steps per ms) remains 507/507 properties
SDD proceeding with computation,3535 properties remain. new max is 4096
SDD size :190879 after 230045
Reachability property qltransition_3518 is true.
Reachability property qltransition_1160 is true.
Reachability property qltransition_1159 is true.
Reachability property qltransition_1158 is true.
Reachability property qltransition_1157 is true.
Reachability property qltransition_1156 is true.
Reachability property qltransition_1155 is true.
Reachability property qltransition_1154 is true.
Reachability property qltransition_1153 is true.
SDD proceeding with computation,3526 properties remain. new max is 4096
SDD size :230045 after 282967
SDD proceeding with computation,3526 properties remain. new max is 8192
SDD size :282967 after 317799
Probabilistic random walk after 1000001 steps, saw 761800 distinct states, run finished after 47916 ms. (steps per millisecond=20 ) properties seen :0
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-2766428694989307863.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13527426266962257057.kers'
[2026-05-24 20:27:06] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-2766428694989307863.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13527426266962257057.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 3705 rows 507 cols 14472 entries
Finished phase 1 with 303 SingleSign rule and 178 generalized
[2026-05-24 20:27:06] [INFO ] Computed 26 invariants in 14 ms
Computed 26 P flows in 15 ms.
Exported basis to /tmp/petrispot-output-13527426266962257057.kers
Total runtime 18 ms.
[2026-05-24 20:27:06] [INFO ] State equation strengthened by 162 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/177 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 507 unsolved
At refinement iteration 1 (OVERLAPS) 327/504 variables, 14/14 constraints. Problems are: Problem set: 0 solved, 507 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/504 variables, 9/23 constraints. Problems are: Problem set: 0 solved, 507 unsolved
Reachability property qltransition_3517 is true.
Reachability property qltransition_3516 is true.
Reachability property qltransition_1137 is true.
Reachability property qltransition_1136 is true.
Reachability property qltransition_1135 is true.
Reachability property qltransition_1134 is true.
Reachability property qltransition_1133 is true.
Reachability property qltransition_1132 is true.
Reachability property qltransition_1131 is true.
Reachability property qltransition_1130 is true.
Reachability property qltransition_1129 is true.
Reachability property qltransition_907 is true.
Reachability property qltransition_906 is true.
Reachability property qltransition_905 is true.
Reachability property qltransition_904 is true.
Reachability property qltransition_903 is true.
Reachability property qltransition_902 is true.
Reachability property qltransition_901 is true.
SDD proceeding with computation,3508 properties remain. new max is 8192
SDD size :317799 after 421842
At refinement iteration 3 (INCLUDED_ONLY) 0/504 variables, 8/31 constraints. Problems are: Problem set: 0 solved, 507 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/504 variables, 10/41 constraints. Problems are: Problem set: 0 solved, 507 unsolved
Reachability property qltransition_3730 is true.
Reachability property qltransition_3728 is true.
Reachability property qltransition_3726 is true.
Reachability property qltransition_3724 is true.
Reachability property qltransition_3722 is true.
At refinement iteration 5 (INCLUDED_ONLY) 0/504 variables, 5/46 constraints. Problems are: Problem set: 0 solved, 507 unsolved
Reachability property qltransition_3116 is true.
Reachability property qltransition_3093 is true.
Reachability property qltransition_3070 is true.
Reachability property qltransition_3047 is true.
Reachability property qltransition_2840 is true.
Reachability property qltransition_2817 is true.
Reachability property qltransition_2794 is true.
Reachability property qltransition_2771 is true.
Reachability property qltransition_1161 is true.
Reachability property qltransition_1138 is true.
Reachability property qltransition_1115 is true.
Reachability property qltransition_908 is true.
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 504/4212 variables, and 46 constraints, problems are : Problem set: 0 solved, 507 unsolved in 75027 ms.
Refiners :[Positive P Invariants (semi-flows): 14/14 constraints, Generalized P Invariants (flows): 9/12 constraints, State Equation: 0/507 constraints, ReadFeed: 0/162 constraints, PredecessorRefiner: 507/507 constraints, Known Traps: 23/23 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 507 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/177 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 507 unsolved
At refinement iteration 1 (OVERLAPS) 327/504 variables, 14/14 constraints. Problems are: Problem set: 0 solved, 507 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/504 variables, 9/23 constraints. Problems are: Problem set: 0 solved, 507 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/504 variables, 23/46 constraints. Problems are: Problem set: 0 solved, 507 unsolved
Reachability property qltransition_885 is true.
Reachability property qltransition_862 is true.
Reachability property qltransition_839 is true.
Reachability property qltransition_632 is true.
At refinement iteration 4 (INCLUDED_ONLY) 0/504 variables, 20/66 constraints. Problems are: Problem set: 0 solved, 507 unsolved
Reachability property qltransition_609 is true.
Reachability property qltransition_586 is true.
Reachability property qltransition_563 is true.
Reachability property qltransition_356 is true.
Reachability property qltransition_333 is true.
Reachability property qltransition_310 is true.
Reachability property qltransition_287 is true.
Reachability property qltransition_80 is true.
Reachability property qltransition_57 is true.
Reachability property qltransition_34 is true.
Reachability property qltransition_11 is true.
SDD proceeding with computation,3476 properties remain. new max is 8192
SDD size :421842 after 1.27758e+06
At refinement iteration 5 (INCLUDED_ONLY) 0/504 variables, 20/86 constraints. Problems are: Problem set: 0 solved, 507 unsolved
SMT process timed out in 151547ms, After SMT, problems are : Problem set: 0 solved, 507 unsolved
Fused 507 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 177 out of 507 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 507/507 places, 3705/3705 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 505 transition count 3703
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 505 transition count 3703
Applied a total of 4 rules in 114 ms. Remains 505 /507 variables (removed 2) and now considering 3703/3705 (removed 2) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 115 ms. Remains : 505/507 places, 3703/3705 transitions.
Reachability property qltransition_3532 is true.
Reachability property qltransition_3531 is true.
RANDOM walk for 3458503 steps (8 resets) in 120004 ms. (28 steps per ms) remains 501/507 properties
BEST_FIRST walk for 4003 steps (8 resets) in 48 ms. (81 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4003 steps (8 resets) in 34 ms. (114 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 37 ms. (105 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4001 steps (8 resets) in 70 ms. (56 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4003 steps (8 resets) in 45 ms. (87 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4003 steps (8 resets) in 53 ms. (74 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 58 ms. (67 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4003 steps (8 resets) in 50 ms. (78 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4002 steps (8 resets) in 69 ms. (57 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4002 steps (8 resets) in 62 ms. (63 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4002 steps (8 resets) in 50 ms. (78 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4002 steps (8 resets) in 59 ms. (66 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4002 steps (8 resets) in 65 ms. (60 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4000 steps (8 resets) in 56 ms. (70 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4002 steps (8 resets) in 57 ms. (69 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4003 steps (8 resets) in 57 ms. (69 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4001 steps (8 resets) in 59 ms. (66 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4002 steps (8 resets) in 62 ms. (63 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4001 steps (8 resets) in 70 ms. (56 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4003 steps (8 resets) in 50 ms. (78 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4001 steps (8 resets) in 63 ms. (62 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4003 steps (8 resets) in 48 ms. (81 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4002 steps (8 resets) in 63 ms. (62 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4002 steps (8 resets) in 46 ms. (85 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4002 steps (8 resets) in 55 ms. (71 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4002 steps (8 resets) in 56 ms. (70 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4003 steps (8 resets) in 53 ms. (74 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4002 steps (8 resets) in 61 ms. (64 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4002 steps (8 resets) in 44 ms. (88 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4003 steps (8 resets) in 55 ms. (71 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4001 steps (8 resets) in 51 ms. (76 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4002 steps (8 resets) in 54 ms. (72 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4002 steps (8 resets) in 57 ms. (69 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4003 steps (8 resets) in 44 ms. (88 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4003 steps (8 resets) in 44 ms. (88 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4003 steps (8 resets) in 41 ms. (95 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4002 steps (8 resets) in 46 ms. (85 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4002 steps (8 resets) in 55 ms. (71 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4003 steps (8 resets) in 58 ms. (67 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4003 steps (8 resets) in 58 ms. (67 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4001 steps (8 resets) in 61 ms. (64 steps per ms) remains 501/501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 497/501 properties
BEST_FIRST walk for 4003 steps (8 resets) in 62 ms. (63 steps per ms) remains 497/497 properties
BEST_FIRST walk for 4001 steps (8 resets) in 57 ms. (68 steps per ms) remains 497/497 properties
BEST_FIRST walk for 4003 steps (8 resets) in 60 ms. (65 steps per ms) remains 497/497 properties
BEST_FIRST walk for 4001 steps (8 resets) in 60 ms. (65 steps per ms) remains 497/497 properties
BEST_FIRST walk for 4002 steps (8 resets) in 44 ms. (88 steps per ms) remains 497/497 properties
BEST_FIRST walk for 4002 steps (8 resets) in 61 ms. (64 steps per ms) remains 497/497 properties
BEST_FIRST walk for 4003 steps (8 resets) in 55 ms. (71 steps per ms) remains 497/497 properties
BEST_FIRST walk for 4003 steps (8 resets) in 45 ms. (87 steps per ms) remains 497/497 properties
BEST_FIRST walk for 4002 steps (8 resets) in 53 ms. (74 steps per ms) remains 497/497 properties
BEST_FIRST walk for 4002 steps (8 resets) in 60 ms. (65 steps per ms) remains 497/497 properties
BEST_FIRST walk for 4002 steps (8 resets) in 64 ms. (61 steps per ms) remains 497/497 properties
BEST_FIRST walk for 4003 steps (8 resets) in 59 ms. (66 steps per ms) remains 497/497 properties
BEST_FIRST walk for 4002 steps (8 resets) in 47 ms. (83 steps per ms) remains 497/497 properties
BEST_FIRST walk for 4003 steps (8 resets) in 49 ms. (80 steps per ms) remains 497/497 properties
BEST_FIRST walk for 4001 steps (8 resets) in 58 ms. (67 steps per ms) remains 497/497 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 497/497 properties
BEST_FIRST walk for 4002 steps (8 resets) in 56 ms. (70 steps per ms) remains 497/497 properties
BEST_FIRST walk for 4001 steps (8 resets) in 50 ms. (78 steps per ms) remains 497/497 properties
BEST_FIRST walk for 4003 steps (8 resets) in 62 ms. (63 steps per ms) remains 497/497 properties
BEST_FIRST walk for 4001 steps (8 resets) in 59 ms. (66 steps per ms) remains 497/497 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 497/497 properties
BEST_FIRST walk for 4002 steps (8 resets) in 56 ms. (70 steps per ms) remains 497/497 properties
BEST_FIRST walk for 4002 steps (8 resets) in 44 ms. (88 steps per ms) remains 497/497 properties
BEST_FIRST walk for 4002 steps (8 resets) in 58 ms. (67 steps per ms) remains 497/497 properties
BEST_FIRST walk for 4002 steps (8 resets) in 59 ms. (66 steps per ms) remains 497/497 properties
BEST_FIRST walk for 4003 steps (8 resets) in 52 ms. (75 steps per ms) remains 497/497 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 497/497 properties
BEST_FIRST walk for 4003 steps (8 resets) in 57 ms. (69 steps per ms) remains 497/497 properties
BEST_FIRST walk for 4002 steps (8 resets) in 58 ms. (67 steps per ms) remains 497/497 properties
BEST_FIRST walk for 4002 steps (8 resets) in 59 ms. (66 steps per ms) remains 497/497 properties
BEST_FIRST walk for 4002 steps (8 resets) in 45 ms. (87 steps per ms) remains 497/497 properties
BEST_FIRST walk for 4003 steps (8 resets) in 46 ms. (85 steps per ms) remains 497/497 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 497/497 properties
BEST_FIRST walk for 4003 steps (8 resets) in 46 ms. (85 steps per ms) remains 497/497 properties
BEST_FIRST walk for 4002 steps (8 resets) in 37 ms. (105 steps per ms) remains 497/497 properties
BEST_FIRST walk for 4002 steps (8 resets) in 48 ms. (81 steps per ms) remains 494/497 properties
BEST_FIRST walk for 4001 steps (8 resets) in 54 ms. (72 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4003 steps (8 resets) in 57 ms. (69 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4003 steps (8 resets) in 60 ms. (65 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4003 steps (8 resets) in 47 ms. (83 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4002 steps (8 resets) in 55 ms. (71 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4002 steps (8 resets) in 57 ms. (69 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4002 steps (8 resets) in 52 ms. (75 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4002 steps (8 resets) in 69 ms. (57 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4001 steps (8 resets) in 49 ms. (80 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4002 steps (8 resets) in 58 ms. (67 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4003 steps (8 resets) in 59 ms. (66 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4003 steps (8 resets) in 52 ms. (75 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4002 steps (8 resets) in 51 ms. (76 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4002 steps (8 resets) in 47 ms. (83 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4002 steps (8 resets) in 49 ms. (80 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4000 steps (8 resets) in 61 ms. (64 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4002 steps (8 resets) in 50 ms. (78 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4002 steps (8 resets) in 81 ms. (48 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4003 steps (8 resets) in 54 ms. (72 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4003 steps (8 resets) in 46 ms. (85 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4002 steps (8 resets) in 48 ms. (81 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4003 steps (8 resets) in 64 ms. (61 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 66 ms. (59 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4002 steps (8 resets) in 63 ms. (62 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4002 steps (8 resets) in 61 ms. (64 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4001 steps (8 resets) in 71 ms. (55 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4002 steps (8 resets) in 65 ms. (60 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4003 steps (8 resets) in 51 ms. (76 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4001 steps (8 resets) in 63 ms. (62 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4002 steps (8 resets) in 57 ms. (69 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 58 ms. (67 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4001 steps (8 resets) in 54 ms. (72 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4001 steps (8 resets) in 36 ms. (108 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4003 steps (8 resets) in 40 ms. (97 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4002 steps (8 resets) in 57 ms. (69 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4003 steps (8 resets) in 52 ms. (75 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4003 steps (8 resets) in 48 ms. (81 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4002 steps (8 resets) in 65 ms. (60 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4002 steps (8 resets) in 65 ms. (60 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4002 steps (8 resets) in 51 ms. (76 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4003 steps (8 resets) in 57 ms. (69 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4002 steps (8 resets) in 47 ms. (83 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4003 steps (8 resets) in 60 ms. (65 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4002 steps (8 resets) in 52 ms. (75 steps per ms) remains 494/494 properties
BEST_FIRST walk for 4002 steps (8 resets) in 54 ms. (72 steps per ms) remains 494/494 properties
SDD proceeding with computation,3474 properties remain. new max is 8192
SDD size :1.27758e+06 after 1.453e+06
Probabilistic random walk after 1000001 steps, saw 760614 distinct states, run finished after 46457 ms. (steps per millisecond=21 ) properties seen :0
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-5057874785482268877.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3958854390631073994.kers'
[2026-05-24 20:30:57] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-5057874785482268877.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3958854390631073994.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 3703 rows 505 cols 14468 entries
Finished phase 1 with 301 SingleSign rule and 178 generalized
[2026-05-24 20:30:57] [INFO ] Computed 26 invariants in 14 ms
Computed 26 P flows in 15 ms.
Exported basis to /tmp/petrispot-output-3958854390631073994.kers
Total runtime 18 ms.
[2026-05-24 20:30:57] [INFO ] State equation strengthened by 160 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/174 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 494 unsolved
At refinement iteration 1 (OVERLAPS) 328/502 variables, 14/14 constraints. Problems are: Problem set: 0 solved, 494 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/502 variables, 9/23 constraints. Problems are: Problem set: 0 solved, 494 unsolved
SDD proceeding with computation,3474 properties remain. new max is 16384
SDD size :1.453e+06 after 1.78938e+06
At refinement iteration 3 (INCLUDED_ONLY) 0/502 variables, 7/30 constraints. Problems are: Problem set: 0 solved, 494 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/502 variables, 14/44 constraints. Problems are: Problem set: 0 solved, 494 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/502 variables, 0/44 constraints. Problems are: Problem set: 0 solved, 494 unsolved
At refinement iteration 6 (OVERLAPS) 3/505 variables, 3/47 constraints. Problems are: Problem set: 0 solved, 494 unsolved
Reachability property qltransition_3530 is true.
Reachability property qltransition_1437 is true.
Reachability property qltransition_1436 is true.
Reachability property qltransition_1435 is true.
Reachability property qltransition_1434 is true.
Reachability property qltransition_1433 is true.
Reachability property qltransition_1432 is true.
Reachability property qltransition_1431 is true.
Reachability property qltransition_1430 is true.
Reachability property qltransition_1429 is true.
SMT process timed out in 94140ms, After SMT, problems are : Problem set: 0 solved, 494 unsolved
Fused 494 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 174 out of 505 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 505/505 places, 3703/3703 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 503 transition count 3679
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 503 transition count 3679
Applied a total of 4 rules in 136 ms. Remains 503 /505 variables (removed 2) and now considering 3679/3703 (removed 24) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 136 ms. Remains : 503/505 places, 3679/3703 transitions.
SDD proceeding with computation,3464 properties remain. new max is 16384
SDD size :1.78938e+06 after 2.27798e+06
RANDOM walk for 3500647 steps (8 resets) in 120004 ms. (29 steps per ms) remains 492/494 properties
BEST_FIRST walk for 40003 steps (8 resets) in 453 ms. (88 steps per ms) remains 492/492 properties
BEST_FIRST walk for 40002 steps (8 resets) in 406 ms. (98 steps per ms) remains 492/492 properties
BEST_FIRST walk for 40001 steps (8 resets) in 451 ms. (88 steps per ms) remains 492/492 properties
BEST_FIRST walk for 40002 steps (8 resets) in 422 ms. (94 steps per ms) remains 492/492 properties
BEST_FIRST walk for 40004 steps (8 resets) in 398 ms. (100 steps per ms) remains 492/492 properties
BEST_FIRST walk for 40004 steps (8 resets) in 593 ms. (67 steps per ms) remains 492/492 properties
BEST_FIRST walk for 40004 steps (8 resets) in 528 ms. (75 steps per ms) remains 492/492 properties
BEST_FIRST walk for 40002 steps (8 resets) in 474 ms. (84 steps per ms) remains 492/492 properties
BEST_FIRST walk for 40003 steps (8 resets) in 474 ms. (84 steps per ms) remains 492/492 properties
BEST_FIRST walk for 40002 steps (8 resets) in 538 ms. (74 steps per ms) remains 492/492 properties
BEST_FIRST walk for 40001 steps (8 resets) in 557 ms. (71 steps per ms) remains 492/492 properties
BEST_FIRST walk for 40001 steps (8 resets) in 594 ms. (67 steps per ms) remains 492/492 properties
BEST_FIRST walk for 40001 steps (8 resets) in 626 ms. (63 steps per ms) remains 492/492 properties
BEST_FIRST walk for 40001 steps (8 resets) in 496 ms. (80 steps per ms) remains 492/492 properties
BEST_FIRST walk for 40001 steps (8 resets) in 608 ms. (65 steps per ms) remains 492/492 properties
BEST_FIRST walk for 40001 steps (8 resets) in 502 ms. (79 steps per ms) remains 490/492 properties
BEST_FIRST walk for 40002 steps (8 resets) in 620 ms. (64 steps per ms) remains 490/490 properties
BEST_FIRST walk for 40003 steps (8 resets) in 560 ms. (71 steps per ms) remains 490/490 properties
BEST_FIRST walk for 40003 steps (8 resets) in 557 ms. (71 steps per ms) remains 490/490 properties
BEST_FIRST walk for 40003 steps (8 resets) in 620 ms. (64 steps per ms) remains 484/490 properties
BEST_FIRST walk for 40001 steps (8 resets) in 535 ms. (74 steps per ms) remains 484/484 properties
BEST_FIRST walk for 40004 steps (8 resets) in 563 ms. (70 steps per ms) remains 484/484 properties
BEST_FIRST walk for 40003 steps (8 resets) in 582 ms. (68 steps per ms) remains 484/484 properties
BEST_FIRST walk for 40003 steps (8 resets) in 539 ms. (74 steps per ms) remains 484/484 properties
BEST_FIRST walk for 40003 steps (8 resets) in 530 ms. (75 steps per ms) remains 484/484 properties
BEST_FIRST walk for 40003 steps (8 resets) in 633 ms. (63 steps per ms) remains 484/484 properties
BEST_FIRST walk for 40003 steps (8 resets) in 557 ms. (71 steps per ms) remains 484/484 properties
BEST_FIRST walk for 40003 steps (8 resets) in 643 ms. (62 steps per ms) remains 484/484 properties
BEST_FIRST walk for 40003 steps (8 resets) in 508 ms. (78 steps per ms) remains 484/484 properties
BEST_FIRST walk for 40004 steps (8 resets) in 562 ms. (71 steps per ms) remains 481/484 properties
BEST_FIRST walk for 40003 steps (8 resets) in 554 ms. (72 steps per ms) remains 481/481 properties
BEST_FIRST walk for 40004 steps (8 resets) in 629 ms. (63 steps per ms) remains 481/481 properties
BEST_FIRST walk for 40003 steps (8 resets) in 560 ms. (71 steps per ms) remains 481/481 properties
BEST_FIRST walk for 40004 steps (8 resets) in 560 ms. (71 steps per ms) remains 481/481 properties
BEST_FIRST walk for 40003 steps (8 resets) in 407 ms. (98 steps per ms) remains 481/481 properties
BEST_FIRST walk for 40002 steps (8 resets) in 465 ms. (85 steps per ms) remains 481/481 properties
BEST_FIRST walk for 40000 steps (8 resets) in 378 ms. (105 steps per ms) remains 481/481 properties
BEST_FIRST walk for 40004 steps (8 resets) in 353 ms. (113 steps per ms) remains 481/481 properties
BEST_FIRST walk for 40004 steps (8 resets) in 583 ms. (68 steps per ms) remains 481/481 properties
BEST_FIRST walk for 40002 steps (8 resets) in 539 ms. (74 steps per ms) remains 481/481 properties
BEST_FIRST walk for 40003 steps (8 resets) in 625 ms. (63 steps per ms) remains 481/481 properties
BEST_FIRST walk for 40003 steps (8 resets) in 510 ms. (78 steps per ms) remains 481/481 properties
BEST_FIRST walk for 40002 steps (8 resets) in 598 ms. (66 steps per ms) remains 478/481 properties
BEST_FIRST walk for 40003 steps (8 resets) in 513 ms. (77 steps per ms) remains 478/478 properties
BEST_FIRST walk for 40003 steps (8 resets) in 586 ms. (68 steps per ms) remains 478/478 properties
BEST_FIRST walk for 40003 steps (8 resets) in 522 ms. (76 steps per ms) remains 478/478 properties
BEST_FIRST walk for 40001 steps (8 resets) in 618 ms. (64 steps per ms) remains 478/478 properties
BEST_FIRST walk for 40003 steps (8 resets) in 518 ms. (77 steps per ms) remains 477/478 properties
BEST_FIRST walk for 40002 steps (8 resets) in 624 ms. (64 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40003 steps (8 resets) in 583 ms. (68 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40003 steps (8 resets) in 531 ms. (75 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40003 steps (8 resets) in 595 ms. (67 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40003 steps (8 resets) in 547 ms. (72 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40004 steps (8 resets) in 516 ms. (77 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40003 steps (8 resets) in 610 ms. (65 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40003 steps (8 resets) in 516 ms. (77 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40003 steps (8 resets) in 579 ms. (68 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40004 steps (8 resets) in 528 ms. (75 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40003 steps (8 resets) in 501 ms. (79 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40003 steps (8 resets) in 633 ms. (63 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40001 steps (8 resets) in 546 ms. (73 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40003 steps (8 resets) in 576 ms. (69 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40002 steps (8 resets) in 536 ms. (74 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40002 steps (8 resets) in 530 ms. (75 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40003 steps (8 resets) in 632 ms. (63 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40002 steps (8 resets) in 606 ms. (65 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40003 steps (8 resets) in 563 ms. (70 steps per ms) remains 469/477 properties
BEST_FIRST walk for 40003 steps (8 resets) in 611 ms. (65 steps per ms) remains 469/469 properties
BEST_FIRST walk for 40003 steps (8 resets) in 509 ms. (78 steps per ms) remains 468/469 properties
BEST_FIRST walk for 40003 steps (8 resets) in 606 ms. (65 steps per ms) remains 468/468 properties
BEST_FIRST walk for 40003 steps (8 resets) in 563 ms. (70 steps per ms) remains 468/468 properties
BEST_FIRST walk for 40004 steps (8 resets) in 530 ms. (75 steps per ms) remains 468/468 properties
Detected timeout of ITS tools.
BEST_FIRST walk for 40002 steps (8 resets) in 664 ms. (60 steps per ms) remains 468/468 properties
[2026-05-24 20:33:15] [INFO ] Flatten gal took : 145 ms
[2026-05-24 20:33:15] [INFO ] Applying decomposition
BEST_FIRST walk for 40002 steps (8 resets) in 575 ms. (69 steps per ms) remains 466/468 properties
[2026-05-24 20:33:16] [INFO ] Flatten gal took : 185 ms
BEST_FIRST walk for 40003 steps (8 resets) in 558 ms. (71 steps per ms) remains 466/466 properties
BEST_FIRST walk for 40004 steps (8 resets) in 551 ms. (72 steps per ms) remains 466/466 properties
BEST_FIRST walk for 40004 steps (8 resets) in 559 ms. (71 steps per ms) remains 466/466 properties
BEST_FIRST walk for 40003 steps (8 resets) in 576 ms. (69 steps per ms) remains 466/466 properties
BEST_FIRST walk for 40004 steps (8 resets) in 706 ms. (56 steps per ms) remains 464/466 properties
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph9849459258133036931.txt' '-o' '/tmp/graph9849459258133036931.bin' '-w' '/tmp/graph9849459258133036931.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9849459258133036931.bin' '-l' '-1' '-v' '-w' '/tmp/graph9849459258133036931.weights' '-q' '0' '-e' '0.001'
[2026-05-24 20:33:17] [INFO ] Decomposing Gal with order
[2026-05-24 20:33:17] [INFO ] Rewriting arrays to variables to allow decomposition.
BEST_FIRST walk for 40003 steps (8 resets) in 762 ms. (52 steps per ms) remains 464/464 properties
BEST_FIRST walk for 40003 steps (8 resets) in 830 ms. (48 steps per ms) remains 464/464 properties
BEST_FIRST walk for 40004 steps (8 resets) in 712 ms. (56 steps per ms) remains 464/464 properties
BEST_FIRST walk for 40003 steps (8 resets) in 800 ms. (49 steps per ms) remains 464/464 properties
[2026-05-24 20:33:17] [INFO ] Removed a total of 8096 redundant transitions.
BEST_FIRST walk for 40002 steps (8 resets) in 726 ms. (55 steps per ms) remains 463/464 properties
[2026-05-24 20:33:18] [INFO ] Flatten gal took : 875 ms
BEST_FIRST walk for 40002 steps (8 resets) in 725 ms. (55 steps per ms) remains 461/463 properties
BEST_FIRST walk for 40003 steps (8 resets) in 704 ms. (56 steps per ms) remains 461/461 properties
[2026-05-24 20:33:18] [INFO ] Fuse similar labels procedure discarded/fused a total of 520 labels/synchronizations in 171 ms.
[2026-05-24 20:33:18] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality4977374466681648734.gal : 34 ms
[2026-05-24 20:33:18] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality16729191457552965058.prop : 3 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.202604301425/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality4977374466681648734.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality16729191457552965058.prop' '--nowitness'

its-reach command run as :

/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...308
Loading property file /tmp/ReachabilityCardinality16729191457552965058.prop.
BEST_FIRST walk for 40002 steps (8 resets) in 1544 ms. (25 steps per ms) remains 461/461 properties
SDD proceeding with computation,461 properties remain. new max is 4
SDD size :1 after 2
SDD proceeding with computation,461 properties remain. new max is 8
SDD size :2 after 112
BEST_FIRST walk for 40003 steps (8 resets) in 587 ms. (68 steps per ms) remains 461/461 properties
BEST_FIRST walk for 40001 steps (8 resets) in 620 ms. (64 steps per ms) remains 461/461 properties
BEST_FIRST walk for 40002 steps (8 resets) in 474 ms. (84 steps per ms) remains 461/461 properties
SDD proceeding with computation,461 properties remain. new max is 16
SDD size :112 after 244
BEST_FIRST walk for 40003 steps (8 resets) in 649 ms. (61 steps per ms) remains 461/461 properties
BEST_FIRST walk for 40002 steps (8 resets) in 478 ms. (83 steps per ms) remains 460/461 properties
BEST_FIRST walk for 40003 steps (8 resets) in 465 ms. (85 steps per ms) remains 460/460 properties
BEST_FIRST walk for 40003 steps (8 resets) in 519 ms. (76 steps per ms) remains 460/460 properties
BEST_FIRST walk for 40002 steps (8 resets) in 657 ms. (60 steps per ms) remains 460/460 properties
BEST_FIRST walk for 40003 steps (8 resets) in 595 ms. (67 steps per ms) remains 460/460 properties
BEST_FIRST walk for 40002 steps (8 resets) in 544 ms. (73 steps per ms) remains 460/460 properties
BEST_FIRST walk for 40002 steps (8 resets) in 565 ms. (70 steps per ms) remains 460/460 properties
BEST_FIRST walk for 40003 steps (8 resets) in 476 ms. (83 steps per ms) remains 460/460 properties
BEST_FIRST walk for 40003 steps (8 resets) in 593 ms. (67 steps per ms) remains 460/460 properties
BEST_FIRST walk for 40001 steps (8 resets) in 528 ms. (75 steps per ms) remains 460/460 properties
BEST_FIRST walk for 40004 steps (8 resets) in 568 ms. (70 steps per ms) remains 460/460 properties
BEST_FIRST walk for 40003 steps (8 resets) in 524 ms. (76 steps per ms) remains 460/460 properties
BEST_FIRST walk for 40002 steps (8 resets) in 559 ms. (71 steps per ms) remains 460/460 properties
BEST_FIRST walk for 40002 steps (8 resets) in 473 ms. (84 steps per ms) remains 460/460 properties
BEST_FIRST walk for 40002 steps (8 resets) in 558 ms. (71 steps per ms) remains 459/460 properties
BEST_FIRST walk for 40002 steps (8 resets) in 545 ms. (73 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40003 steps (8 resets) in 524 ms. (76 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40003 steps (8 resets) in 548 ms. (72 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40003 steps (8 resets) in 432 ms. (92 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40001 steps (8 resets) in 419 ms. (95 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (8 resets) in 389 ms. (102 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40003 steps (8 resets) in 421 ms. (94 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40003 steps (8 resets) in 512 ms. (77 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40002 steps (8 resets) in 577 ms. (69 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40003 steps (8 resets) in 494 ms. (80 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40002 steps (8 resets) in 525 ms. (76 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40003 steps (8 resets) in 624 ms. (64 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40002 steps (8 resets) in 540 ms. (73 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (8 resets) in 564 ms. (70 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (8 resets) in 578 ms. (69 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40003 steps (8 resets) in 625 ms. (63 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (8 resets) in 477 ms. (83 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (8 resets) in 560 ms. (71 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40002 steps (8 resets) in 462 ms. (86 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40003 steps (8 resets) in 609 ms. (65 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40003 steps (8 resets) in 605 ms. (66 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40003 steps (8 resets) in 602 ms. (66 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40003 steps (8 resets) in 581 ms. (68 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40002 steps (8 resets) in 575 ms. (69 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40002 steps (8 resets) in 569 ms. (70 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40002 steps (8 resets) in 564 ms. (70 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40002 steps (8 resets) in 685 ms. (58 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40003 steps (8 resets) in 599 ms. (66 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40002 steps (8 resets) in 488 ms. (81 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40002 steps (8 resets) in 598 ms. (66 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40004 steps (8 resets) in 503 ms. (79 steps per ms) remains 459/459 properties
BEST_FIRST walk for 40002 steps (8 resets) in 515 ms. (77 steps per ms) remains 441/459 properties
BEST_FIRST walk for 40002 steps (8 resets) in 517 ms. (77 steps per ms) remains 437/441 properties
BEST_FIRST walk for 40002 steps (8 resets) in 509 ms. (78 steps per ms) remains 437/437 properties
BEST_FIRST walk for 40004 steps (8 resets) in 579 ms. (68 steps per ms) remains 437/437 properties
BEST_FIRST walk for 40002 steps (8 resets) in 404 ms. (98 steps per ms) remains 437/437 properties
BEST_FIRST walk for 40004 steps (8 resets) in 400 ms. (99 steps per ms) remains 437/437 properties
BEST_FIRST walk for 40003 steps (8 resets) in 353 ms. (113 steps per ms) remains 437/437 properties
BEST_FIRST walk for 40001 steps (8 resets) in 430 ms. (92 steps per ms) remains 437/437 properties
BEST_FIRST walk for 40003 steps (8 resets) in 569 ms. (70 steps per ms) remains 437/437 properties
BEST_FIRST walk for 40003 steps (8 resets) in 484 ms. (82 steps per ms) remains 437/437 properties
BEST_FIRST walk for 40002 steps (8 resets) in 560 ms. (71 steps per ms) remains 437/437 properties
BEST_FIRST walk for 40002 steps (8 resets) in 461 ms. (86 steps per ms) remains 437/437 properties
BEST_FIRST walk for 40003 steps (8 resets) in 551 ms. (72 steps per ms) remains 431/437 properties
BEST_FIRST walk for 40002 steps (8 resets) in 464 ms. (86 steps per ms) remains 431/431 properties
BEST_FIRST walk for 40003 steps (8 resets) in 461 ms. (86 steps per ms) remains 431/431 properties
BEST_FIRST walk for 40004 steps (8 resets) in 571 ms. (69 steps per ms) remains 431/431 properties
BEST_FIRST walk for 40003 steps (8 resets) in 530 ms. (75 steps per ms) remains 431/431 properties
BEST_FIRST walk for 40004 steps (8 resets) in 517 ms. (77 steps per ms) remains 431/431 properties
BEST_FIRST walk for 40001 steps (8 resets) in 540 ms. (73 steps per ms) remains 431/431 properties
BEST_FIRST walk for 40004 steps (8 resets) in 540 ms. (73 steps per ms) remains 431/431 properties
BEST_FIRST walk for 40001 steps (8 resets) in 515 ms. (77 steps per ms) remains 431/431 properties
BEST_FIRST walk for 40001 steps (8 resets) in 600 ms. (66 steps per ms) remains 431/431 properties
BEST_FIRST walk for 40002 steps (8 resets) in 467 ms. (85 steps per ms) remains 431/431 properties
BEST_FIRST walk for 40003 steps (8 resets) in 570 ms. (70 steps per ms) remains 431/431 properties
BEST_FIRST walk for 40003 steps (8 resets) in 473 ms. (84 steps per ms) remains 431/431 properties
BEST_FIRST walk for 40003 steps (8 resets) in 531 ms. (75 steps per ms) remains 431/431 properties
BEST_FIRST walk for 40001 steps (8 resets) in 534 ms. (74 steps per ms) remains 431/431 properties
BEST_FIRST walk for 40004 steps (8 resets) in 552 ms. (72 steps per ms) remains 431/431 properties
BEST_FIRST walk for 40003 steps (8 resets) in 590 ms. (67 steps per ms) remains 431/431 properties
BEST_FIRST walk for 40003 steps (8 resets) in 522 ms. (76 steps per ms) remains 431/431 properties
BEST_FIRST walk for 40003 steps (8 resets) in 513 ms. (77 steps per ms) remains 431/431 properties
BEST_FIRST walk for 40003 steps (8 resets) in 513 ms. (77 steps per ms) remains 431/431 properties
BEST_FIRST walk for 40001 steps (8 resets) in 590 ms. (67 steps per ms) remains 431/431 properties
BEST_FIRST walk for 40003 steps (8 resets) in 490 ms. (81 steps per ms) remains 431/431 properties
BEST_FIRST walk for 40002 steps (8 resets) in 456 ms. (87 steps per ms) remains 430/431 properties
BEST_FIRST walk for 40002 steps (8 resets) in 546 ms. (73 steps per ms) remains 430/430 properties
BEST_FIRST walk for 40002 steps (8 resets) in 533 ms. (74 steps per ms) remains 429/430 properties
BEST_FIRST walk for 40003 steps (8 resets) in 567 ms. (70 steps per ms) remains 429/429 properties
BEST_FIRST walk for 40001 steps (8 resets) in 526 ms. (75 steps per ms) remains 429/429 properties
BEST_FIRST walk for 40002 steps (8 resets) in 374 ms. (106 steps per ms) remains 429/429 properties
BEST_FIRST walk for 40004 steps (8 resets) in 412 ms. (96 steps per ms) remains 429/429 properties
BEST_FIRST walk for 40004 steps (8 resets) in 365 ms. (109 steps per ms) remains 429/429 properties
BEST_FIRST walk for 40002 steps (8 resets) in 402 ms. (99 steps per ms) remains 429/429 properties
BEST_FIRST walk for 40002 steps (8 resets) in 364 ms. (109 steps per ms) remains 429/429 properties
BEST_FIRST walk for 40002 steps (8 resets) in 571 ms. (69 steps per ms) remains 429/429 properties
BEST_FIRST walk for 40003 steps (8 resets) in 468 ms. (85 steps per ms) remains 429/429 properties
BEST_FIRST walk for 40004 steps (8 resets) in 570 ms. (70 steps per ms) remains 428/429 properties
BEST_FIRST walk for 40003 steps (8 resets) in 418 ms. (95 steps per ms) remains 428/428 properties
BEST_FIRST walk for 40002 steps (8 resets) in 490 ms. (81 steps per ms) remains 428/428 properties
BEST_FIRST walk for 40000 steps (8 resets) in 565 ms. (70 steps per ms) remains 428/428 properties
BEST_FIRST walk for 40004 steps (8 resets) in 563 ms. (70 steps per ms) remains 428/428 properties
BEST_FIRST walk for 40003 steps (8 resets) in 527 ms. (75 steps per ms) remains 428/428 properties
BEST_FIRST walk for 40002 steps (8 resets) in 565 ms. (70 steps per ms) remains 428/428 properties
BEST_FIRST walk for 40002 steps (8 resets) in 532 ms. (75 steps per ms) remains 428/428 properties
BEST_FIRST walk for 40002 steps (8 resets) in 467 ms. (85 steps per ms) remains 428/428 properties
BEST_FIRST walk for 40003 steps (8 resets) in 513 ms. (77 steps per ms) remains 428/428 properties
BEST_FIRST walk for 40002 steps (8 resets) in 510 ms. (78 steps per ms) remains 428/428 properties
BEST_FIRST walk for 40002 steps (8 resets) in 507 ms. (78 steps per ms) remains 428/428 properties
BEST_FIRST walk for 40003 steps (8 resets) in 442 ms. (90 steps per ms) remains 428/428 properties
BEST_FIRST walk for 40004 steps (8 resets) in 500 ms. (79 steps per ms) remains 427/428 properties
BEST_FIRST walk for 40002 steps (8 resets) in 491 ms. (81 steps per ms) remains 427/427 properties
BEST_FIRST walk for 40001 steps (8 resets) in 475 ms. (84 steps per ms) remains 427/427 properties
BEST_FIRST walk for 40002 steps (8 resets) in 505 ms. (79 steps per ms) remains 427/427 properties
BEST_FIRST walk for 40003 steps (8 resets) in 471 ms. (84 steps per ms) remains 427/427 properties
BEST_FIRST walk for 40004 steps (8 resets) in 483 ms. (82 steps per ms) remains 427/427 properties
BEST_FIRST walk for 40004 steps (8 resets) in 498 ms. (80 steps per ms) remains 427/427 properties
BEST_FIRST walk for 40001 steps (8 resets) in 462 ms. (86 steps per ms) remains 427/427 properties
BEST_FIRST walk for 40002 steps (8 resets) in 571 ms. (69 steps per ms) remains 427/427 properties
BEST_FIRST walk for 40001 steps (8 resets) in 519 ms. (76 steps per ms) remains 426/427 properties
BEST_FIRST walk for 40004 steps (8 resets) in 458 ms. (87 steps per ms) remains 426/426 properties
BEST_FIRST walk for 40002 steps (8 resets) in 542 ms. (73 steps per ms) remains 426/426 properties
BEST_FIRST walk for 40002 steps (8 resets) in 534 ms. (74 steps per ms) remains 426/426 properties
BEST_FIRST walk for 40004 steps (8 resets) in 554 ms. (72 steps per ms) remains 426/426 properties
BEST_FIRST walk for 40003 steps (8 resets) in 362 ms. (110 steps per ms) remains 426/426 properties
BEST_FIRST walk for 40003 steps (8 resets) in 374 ms. (106 steps per ms) remains 426/426 properties
BEST_FIRST walk for 40002 steps (8 resets) in 359 ms. (111 steps per ms) remains 426/426 properties
BEST_FIRST walk for 40004 steps (8 resets) in 363 ms. (109 steps per ms) remains 425/426 properties
BEST_FIRST walk for 40002 steps (8 resets) in 362 ms. (110 steps per ms) remains 425/425 properties
BEST_FIRST walk for 40002 steps (8 resets) in 544 ms. (73 steps per ms) remains 421/425 properties
BEST_FIRST walk for 40003 steps (8 resets) in 520 ms. (76 steps per ms) remains 421/421 properties
BEST_FIRST walk for 40002 steps (8 resets) in 516 ms. (77 steps per ms) remains 420/421 properties
BEST_FIRST walk for 40003 steps (8 resets) in 515 ms. (77 steps per ms) remains 420/420 properties
BEST_FIRST walk for 40002 steps (8 resets) in 489 ms. (81 steps per ms) remains 420/420 properties
BEST_FIRST walk for 40002 steps (8 resets) in 530 ms. (75 steps per ms) remains 420/420 properties
BEST_FIRST walk for 40002 steps (8 resets) in 444 ms. (89 steps per ms) remains 420/420 properties
BEST_FIRST walk for 40001 steps (8 resets) in 525 ms. (76 steps per ms) remains 420/420 properties
BEST_FIRST walk for 40001 steps (8 resets) in 434 ms. (91 steps per ms) remains 420/420 properties
BEST_FIRST walk for 40003 steps (8 resets) in 525 ms. (76 steps per ms) remains 420/420 properties
BEST_FIRST walk for 40003 steps (8 resets) in 467 ms. (85 steps per ms) remains 420/420 properties
BEST_FIRST walk for 40002 steps (8 resets) in 538 ms. (74 steps per ms) remains 419/420 properties
BEST_FIRST walk for 40003 steps (8 resets) in 491 ms. (81 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 576 ms. (69 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40002 steps (8 resets) in 465 ms. (85 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40003 steps (8 resets) in 538 ms. (74 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40002 steps (8 resets) in 474 ms. (84 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 485 ms. (82 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40001 steps (8 resets) in 571 ms. (69 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40002 steps (8 resets) in 517 ms. (77 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40003 steps (8 resets) in 524 ms. (76 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 556 ms. (71 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40002 steps (8 resets) in 470 ms. (84 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40001 steps (8 resets) in 521 ms. (76 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40003 steps (8 resets) in 496 ms. (80 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40003 steps (8 resets) in 432 ms. (92 steps per ms) remains 413/419 properties
BEST_FIRST walk for 40001 steps (8 resets) in 432 ms. (92 steps per ms) remains 413/413 properties
BEST_FIRST walk for 40002 steps (8 resets) in 547 ms. (72 steps per ms) remains 413/413 properties
BEST_FIRST walk for 40004 steps (8 resets) in 526 ms. (75 steps per ms) remains 413/413 properties
BEST_FIRST walk for 40003 steps (8 resets) in 540 ms. (73 steps per ms) remains 413/413 properties
BEST_FIRST walk for 40002 steps (8 resets) in 401 ms. (99 steps per ms) remains 413/413 properties
BEST_FIRST walk for 40002 steps (8 resets) in 353 ms. (113 steps per ms) remains 413/413 properties
BEST_FIRST walk for 40001 steps (8 resets) in 400 ms. (99 steps per ms) remains 413/413 properties
BEST_FIRST walk for 40002 steps (8 resets) in 459 ms. (86 steps per ms) remains 413/413 properties
BEST_FIRST walk for 40003 steps (8 resets) in 472 ms. (84 steps per ms) remains 413/413 properties
BEST_FIRST walk for 40002 steps (8 resets) in 464 ms. (86 steps per ms) remains 413/413 properties
BEST_FIRST walk for 40003 steps (8 resets) in 483 ms. (82 steps per ms) remains 413/413 properties
BEST_FIRST walk for 40004 steps (8 resets) in 465 ms. (85 steps per ms) remains 413/413 properties
BEST_FIRST walk for 40004 steps (8 resets) in 485 ms. (82 steps per ms) remains 413/413 properties
BEST_FIRST walk for 40002 steps (8 resets) in 542 ms. (73 steps per ms) remains 413/413 properties
BEST_FIRST walk for 40001 steps (8 resets) in 432 ms. (92 steps per ms) remains 413/413 properties
BEST_FIRST walk for 40002 steps (8 resets) in 489 ms. (81 steps per ms) remains 413/413 properties
BEST_FIRST walk for 40004 steps (8 resets) in 454 ms. (87 steps per ms) remains 413/413 properties
BEST_FIRST walk for 40002 steps (8 resets) in 455 ms. (87 steps per ms) remains 413/413 properties
BEST_FIRST walk for 40003 steps (8 resets) in 511 ms. (78 steps per ms) remains 413/413 properties
BEST_FIRST walk for 40003 steps (8 resets) in 484 ms. (82 steps per ms) remains 413/413 properties
BEST_FIRST walk for 40003 steps (8 resets) in 484 ms. (82 steps per ms) remains 413/413 properties
BEST_FIRST walk for 40002 steps (8 resets) in 461 ms. (86 steps per ms) remains 413/413 properties
BEST_FIRST walk for 40003 steps (8 resets) in 482 ms. (82 steps per ms) remains 413/413 properties
BEST_FIRST walk for 40001 steps (8 resets) in 455 ms. (87 steps per ms) remains 413/413 properties
BEST_FIRST walk for 40003 steps (8 resets) in 470 ms. (84 steps per ms) remains 413/413 properties
BEST_FIRST walk for 40000 steps (8 resets) in 481 ms. (82 steps per ms) remains 411/413 properties
BEST_FIRST walk for 40003 steps (8 resets) in 546 ms. (73 steps per ms) remains 411/411 properties
BEST_FIRST walk for 40001 steps (8 resets) in 543 ms. (73 steps per ms) remains 410/411 properties
BEST_FIRST walk for 40004 steps (8 resets) in 454 ms. (87 steps per ms) remains 410/410 properties
BEST_FIRST walk for 40002 steps (8 resets) in 562 ms. (71 steps per ms) remains 410/410 properties
BEST_FIRST walk for 40004 steps (8 resets) in 444 ms. (89 steps per ms) remains 410/410 properties
BEST_FIRST walk for 40004 steps (8 resets) in 360 ms. (110 steps per ms) remains 410/410 properties
BEST_FIRST walk for 40002 steps (8 resets) in 411 ms. (97 steps per ms) remains 408/410 properties
BEST_FIRST walk for 40003 steps (8 resets) in 423 ms. (94 steps per ms) remains 408/408 properties
BEST_FIRST walk for 40002 steps (8 resets) in 358 ms. (111 steps per ms) remains 408/408 properties
BEST_FIRST walk for 40001 steps (8 resets) in 506 ms. (78 steps per ms) remains 408/408 properties
BEST_FIRST walk for 40004 steps (8 resets) in 534 ms. (74 steps per ms) remains 408/408 properties
BEST_FIRST walk for 40004 steps (8 resets) in 495 ms. (80 steps per ms) remains 408/408 properties
BEST_FIRST walk for 40002 steps (8 resets) in 470 ms. (84 steps per ms) remains 408/408 properties
BEST_FIRST walk for 40002 steps (8 resets) in 493 ms. (80 steps per ms) remains 408/408 properties
BEST_FIRST walk for 40002 steps (8 resets) in 551 ms. (72 steps per ms) remains 408/408 properties
BEST_FIRST walk for 40001 steps (8 resets) in 444 ms. (89 steps per ms) remains 408/408 properties
BEST_FIRST walk for 40003 steps (8 resets) in 486 ms. (82 steps per ms) remains 408/408 properties
BEST_FIRST walk for 40004 steps (8 resets) in 463 ms. (86 steps per ms) remains 408/408 properties
BEST_FIRST walk for 40002 steps (8 resets) in 504 ms. (79 steps per ms) remains 408/408 properties
BEST_FIRST walk for 40004 steps (8 resets) in 485 ms. (82 steps per ms) remains 408/408 properties
BEST_FIRST walk for 40001 steps (8 resets) in 546 ms. (73 steps per ms) remains 408/408 properties
BEST_FIRST walk for 40003 steps (8 resets) in 473 ms. (84 steps per ms) remains 408/408 properties
BEST_FIRST walk for 40003 steps (8 resets) in 507 ms. (78 steps per ms) remains 408/408 properties
BEST_FIRST walk for 40003 steps (8 resets) in 452 ms. (88 steps per ms) remains 408/408 properties
BEST_FIRST walk for 40003 steps (8 resets) in 534 ms. (74 steps per ms) remains 408/408 properties
BEST_FIRST walk for 40004 steps (8 resets) in 499 ms. (80 steps per ms) remains 408/408 properties
BEST_FIRST walk for 40001 steps (8 resets) in 436 ms. (91 steps per ms) remains 408/408 properties
BEST_FIRST walk for 40003 steps (8 resets) in 596 ms. (67 steps per ms) remains 408/408 properties
BEST_FIRST walk for 40002 steps (8 resets) in 521 ms. (76 steps per ms) remains 408/408 properties
BEST_FIRST walk for 40001 steps (8 resets) in 486 ms. (82 steps per ms) remains 408/408 properties
BEST_FIRST walk for 40004 steps (8 resets) in 477 ms. (83 steps per ms) remains 408/408 properties
BEST_FIRST walk for 40004 steps (8 resets) in 535 ms. (74 steps per ms) remains 408/408 properties
BEST_FIRST walk for 40001 steps (8 resets) in 412 ms. (96 steps per ms) remains 408/408 properties
BEST_FIRST walk for 40002 steps (8 resets) in 530 ms. (75 steps per ms) remains 408/408 properties
BEST_FIRST walk for 40004 steps (8 resets) in 490 ms. (81 steps per ms) remains 408/408 properties
BEST_FIRST walk for 40004 steps (8 resets) in 496 ms. (80 steps per ms) remains 408/408 properties
SDD proceeding with computation,461 properties remain. new max is 32
SDD size :244 after 5.29964e+07
BEST_FIRST walk for 40003 steps (8 resets) in 545 ms. (73 steps per ms) remains 402/408 properties
BEST_FIRST walk for 40001 steps (8 resets) in 485 ms. (82 steps per ms) remains 400/402 properties
BEST_FIRST walk for 40004 steps (8 resets) in 542 ms. (73 steps per ms) remains 400/400 properties
BEST_FIRST walk for 40003 steps (8 resets) in 570 ms. (70 steps per ms) remains 400/400 properties
BEST_FIRST walk for 40003 steps (8 resets) in 421 ms. (94 steps per ms) remains 400/400 properties
BEST_FIRST walk for 40003 steps (8 resets) in 381 ms. (104 steps per ms) remains 400/400 properties
BEST_FIRST walk for 40002 steps (8 resets) in 381 ms. (104 steps per ms) remains 400/400 properties
BEST_FIRST walk for 40003 steps (8 resets) in 349 ms. (114 steps per ms) remains 400/400 properties
BEST_FIRST walk for 40003 steps (8 resets) in 457 ms. (87 steps per ms) remains 400/400 properties
BEST_FIRST walk for 40002 steps (8 resets) in 499 ms. (80 steps per ms) remains 400/400 properties
BEST_FIRST walk for 40003 steps (8 resets) in 514 ms. (77 steps per ms) remains 400/400 properties
BEST_FIRST walk for 40004 steps (8 resets) in 463 ms. (86 steps per ms) remains 400/400 properties
BEST_FIRST walk for 40003 steps (8 resets) in 541 ms. (73 steps per ms) remains 400/400 properties
BEST_FIRST walk for 40000 steps (8 resets) in 524 ms. (76 steps per ms) remains 400/400 properties
BEST_FIRST walk for 40002 steps (8 resets) in 442 ms. (90 steps per ms) remains 400/400 properties
BEST_FIRST walk for 40004 steps (8 resets) in 519 ms. (76 steps per ms) remains 400/400 properties
BEST_FIRST walk for 40004 steps (8 resets) in 462 ms. (86 steps per ms) remains 400/400 properties
BEST_FIRST walk for 40003 steps (8 resets) in 536 ms. (74 steps per ms) remains 400/400 properties
BEST_FIRST walk for 40004 steps (8 resets) in 450 ms. (88 steps per ms) remains 400/400 properties
BEST_FIRST walk for 40002 steps (8 resets) in 541 ms. (73 steps per ms) remains 400/400 properties
BEST_FIRST walk for 40004 steps (8 resets) in 408 ms. (97 steps per ms) remains 400/400 properties
BEST_FIRST walk for 40003 steps (8 resets) in 517 ms. (77 steps per ms) remains 400/400 properties
BEST_FIRST walk for 40003 steps (8 resets) in 472 ms. (84 steps per ms) remains 400/400 properties
BEST_FIRST walk for 40003 steps (8 resets) in 587 ms. (68 steps per ms) remains 399/400 properties
BEST_FIRST walk for 40004 steps (8 resets) in 462 ms. (86 steps per ms) remains 399/399 properties
BEST_FIRST walk for 40003 steps (8 resets) in 501 ms. (79 steps per ms) remains 399/399 properties
BEST_FIRST walk for 40002 steps (8 resets) in 438 ms. (91 steps per ms) remains 399/399 properties
BEST_FIRST walk for 40002 steps (8 resets) in 537 ms. (74 steps per ms) remains 399/399 properties
BEST_FIRST walk for 40003 steps (8 resets) in 461 ms. (86 steps per ms) remains 399/399 properties
BEST_FIRST walk for 40002 steps (8 resets) in 495 ms. (80 steps per ms) remains 399/399 properties
BEST_FIRST walk for 40003 steps (8 resets) in 546 ms. (73 steps per ms) remains 399/399 properties
BEST_FIRST walk for 40002 steps (8 resets) in 523 ms. (76 steps per ms) remains 399/399 properties
BEST_FIRST walk for 40004 steps (8 resets) in 454 ms. (87 steps per ms) remains 399/399 properties
BEST_FIRST walk for 40004 steps (8 resets) in 557 ms. (71 steps per ms) remains 399/399 properties
BEST_FIRST walk for 40001 steps (8 resets) in 463 ms. (86 steps per ms) remains 399/399 properties
BEST_FIRST walk for 40004 steps (8 resets) in 534 ms. (74 steps per ms) remains 399/399 properties
BEST_FIRST walk for 40003 steps (8 resets) in 531 ms. (75 steps per ms) remains 399/399 properties
BEST_FIRST walk for 40002 steps (8 resets) in 508 ms. (78 steps per ms) remains 399/399 properties
BEST_FIRST walk for 40002 steps (8 resets) in 358 ms. (111 steps per ms) remains 399/399 properties
BEST_FIRST walk for 40003 steps (8 resets) in 421 ms. (94 steps per ms) remains 399/399 properties
BEST_FIRST walk for 40004 steps (8 resets) in 358 ms. (111 steps per ms) remains 399/399 properties
BEST_FIRST walk for 40004 steps (8 resets) in 408 ms. (97 steps per ms) remains 399/399 properties
BEST_FIRST walk for 40003 steps (8 resets) in 388 ms. (102 steps per ms) remains 398/399 properties
BEST_FIRST walk for 40002 steps (8 resets) in 467 ms. (85 steps per ms) remains 398/398 properties
SDD proceeding with computation,461 properties remain. new max is 64
SDD size :5.29964e+07 after 7.47692e+07
BEST_FIRST walk for 40004 steps (8 resets) in 521 ms. (76 steps per ms) remains 398/398 properties
BEST_FIRST walk for 40003 steps (8 resets) in 419 ms. (95 steps per ms) remains 398/398 properties
BEST_FIRST walk for 40003 steps (8 resets) in 484 ms. (82 steps per ms) remains 398/398 properties
BEST_FIRST walk for 40004 steps (8 resets) in 457 ms. (87 steps per ms) remains 398/398 properties
BEST_FIRST walk for 40003 steps (8 resets) in 559 ms. (71 steps per ms) remains 396/398 properties
BEST_FIRST walk for 40002 steps (8 resets) in 514 ms. (77 steps per ms) remains 396/396 properties
SDD proceeding with computation,461 properties remain. new max is 128
SDD size :7.47692e+07 after 5.80156e+08
BEST_FIRST walk for 40003 steps (8 resets) in 508 ms. (78 steps per ms) remains 396/396 properties
BEST_FIRST walk for 40002 steps (8 resets) in 463 ms. (86 steps per ms) remains 396/396 properties
BEST_FIRST walk for 40004 steps (8 resets) in 456 ms. (87 steps per ms) remains 396/396 properties
BEST_FIRST walk for 40001 steps (8 resets) in 566 ms. (70 steps per ms) remains 396/396 properties
BEST_FIRST walk for 40000 steps (8 resets) in 461 ms. (86 steps per ms) remains 396/396 properties
BEST_FIRST walk for 40002 steps (8 resets) in 487 ms. (81 steps per ms) remains 396/396 properties
BEST_FIRST walk for 40003 steps (8 resets) in 426 ms. (93 steps per ms) remains 396/396 properties
BEST_FIRST walk for 40000 steps (8 resets) in 543 ms. (73 steps per ms) remains 396/396 properties
BEST_FIRST walk for 40004 steps (8 resets) in 470 ms. (84 steps per ms) remains 396/396 properties
BEST_FIRST walk for 40001 steps (8 resets) in 476 ms. (83 steps per ms) remains 396/396 properties
BEST_FIRST walk for 40002 steps (8 resets) in 504 ms. (79 steps per ms) remains 396/396 properties
BEST_FIRST walk for 40002 steps (8 resets) in 478 ms. (83 steps per ms) remains 396/396 properties
BEST_FIRST walk for 40001 steps (8 resets) in 609 ms. (65 steps per ms) remains 396/396 properties
BEST_FIRST walk for 40002 steps (8 resets) in 474 ms. (84 steps per ms) remains 396/396 properties
BEST_FIRST walk for 40003 steps (8 resets) in 476 ms. (83 steps per ms) remains 396/396 properties
BEST_FIRST walk for 40003 steps (8 resets) in 538 ms. (74 steps per ms) remains 396/396 properties
BEST_FIRST walk for 40003 steps (8 resets) in 451 ms. (88 steps per ms) remains 396/396 properties
BEST_FIRST walk for 40003 steps (8 resets) in 449 ms. (88 steps per ms) remains 396/396 properties
BEST_FIRST walk for 40004 steps (8 resets) in 542 ms. (73 steps per ms) remains 394/396 properties
BEST_FIRST walk for 40004 steps (8 resets) in 504 ms. (79 steps per ms) remains 394/394 properties
BEST_FIRST walk for 40003 steps (8 resets) in 507 ms. (78 steps per ms) remains 392/394 properties
BEST_FIRST walk for 40003 steps (8 resets) in 518 ms. (77 steps per ms) remains 392/392 properties
BEST_FIRST walk for 40004 steps (8 resets) in 464 ms. (86 steps per ms) remains 392/392 properties
BEST_FIRST walk for 40004 steps (8 resets) in 515 ms. (77 steps per ms) remains 392/392 properties
BEST_FIRST walk for 40003 steps (8 resets) in 509 ms. (78 steps per ms) remains 392/392 properties
BEST_FIRST walk for 40002 steps (8 resets) in 342 ms. (116 steps per ms) remains 391/392 properties
BEST_FIRST walk for 40001 steps (8 resets) in 398 ms. (100 steps per ms) remains 391/391 properties
BEST_FIRST walk for 40003 steps (8 resets) in 322 ms. (123 steps per ms) remains 391/391 properties
BEST_FIRST walk for 40003 steps (8 resets) in 389 ms. (102 steps per ms) remains 391/391 properties
BEST_FIRST walk for 40004 steps (8 resets) in 339 ms. (117 steps per ms) remains 391/391 properties
BEST_FIRST walk for 40004 steps (8 resets) in 571 ms. (69 steps per ms) remains 391/391 properties
BEST_FIRST walk for 40004 steps (8 resets) in 495 ms. (80 steps per ms) remains 385/391 properties
BEST_FIRST walk for 40002 steps (8 resets) in 465 ms. (85 steps per ms) remains 385/385 properties
BEST_FIRST walk for 40003 steps (8 resets) in 533 ms. (74 steps per ms) remains 385/385 properties
BEST_FIRST walk for 40002 steps (8 resets) in 513 ms. (77 steps per ms) remains 385/385 properties
BEST_FIRST walk for 40003 steps (8 resets) in 427 ms. (93 steps per ms) remains 385/385 properties
BEST_FIRST walk for 40004 steps (8 resets) in 558 ms. (71 steps per ms) remains 385/385 properties
BEST_FIRST walk for 40002 steps (8 resets) in 425 ms. (93 steps per ms) remains 385/385 properties
BEST_FIRST walk for 40003 steps (8 resets) in 440 ms. (90 steps per ms) remains 385/385 properties
BEST_FIRST walk for 40003 steps (8 resets) in 492 ms. (81 steps per ms) remains 385/385 properties
BEST_FIRST walk for 40003 steps (8 resets) in 506 ms. (78 steps per ms) remains 385/385 properties
BEST_FIRST walk for 40002 steps (8 resets) in 501 ms. (79 steps per ms) remains 385/385 properties
BEST_FIRST walk for 40004 steps (8 resets) in 386 ms. (103 steps per ms) remains 385/385 properties
BEST_FIRST walk for 40002 steps (8 resets) in 517 ms. (77 steps per ms) remains 385/385 properties
BEST_FIRST walk for 40003 steps (8 resets) in 455 ms. (87 steps per ms) remains 385/385 properties
BEST_FIRST walk for 40002 steps (8 resets) in 540 ms. (73 steps per ms) remains 385/385 properties
BEST_FIRST walk for 40002 steps (8 resets) in 472 ms. (84 steps per ms) remains 385/385 properties
BEST_FIRST walk for 40004 steps (8 resets) in 536 ms. (74 steps per ms) remains 385/385 properties
BEST_FIRST walk for 40003 steps (8 resets) in 442 ms. (90 steps per ms) remains 385/385 properties
BEST_FIRST walk for 40003 steps (8 resets) in 474 ms. (84 steps per ms) remains 385/385 properties
BEST_FIRST walk for 40003 steps (8 resets) in 475 ms. (84 steps per ms) remains 385/385 properties
BEST_FIRST walk for 40001 steps (8 resets) in 461 ms. (86 steps per ms) remains 385/385 properties
BEST_FIRST walk for 40003 steps (8 resets) in 480 ms. (83 steps per ms) remains 385/385 properties
BEST_FIRST walk for 40001 steps (8 resets) in 490 ms. (81 steps per ms) remains 385/385 properties
BEST_FIRST walk for 40003 steps (8 resets) in 505 ms. (79 steps per ms) remains 385/385 properties
BEST_FIRST walk for 40002 steps (8 resets) in 512 ms. (77 steps per ms) remains 360/385 properties
BEST_FIRST walk for 40003 steps (8 resets) in 529 ms. (75 steps per ms) remains 360/360 properties
BEST_FIRST walk for 40002 steps (8 resets) in 529 ms. (75 steps per ms) remains 360/360 properties
BEST_FIRST walk for 40001 steps (8 resets) in 554 ms. (72 steps per ms) remains 360/360 properties
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15157150935877030494.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2500982007634195115.kers'
[2026-05-24 20:34:16] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15157150935877030494.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2500982007634195115.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 3679 rows 503 cols 14374 entries
Finished phase 1 with 299 SingleSign rule and 178 generalized
[2026-05-24 20:34:16] [INFO ] Computed 26 invariants in 13 ms
Computed 26 P flows in 14 ms.
Exported basis to /tmp/petrispot-output-2500982007634195115.kers
Total runtime 17 ms.
[2026-05-24 20:34:16] [INFO ] State equation strengthened by 159 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/122 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 360 unsolved
At refinement iteration 1 (OVERLAPS) 377/499 variables, 14/14 constraints. Problems are: Problem set: 0 solved, 360 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/499 variables, 8/22 constraints. Problems are: Problem set: 0 solved, 360 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/499 variables, 2/24 constraints. Problems are: Problem set: 0 solved, 360 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/499 variables, 0/24 constraints. Problems are: Problem set: 0 solved, 360 unsolved
At refinement iteration 5 (OVERLAPS) 4/503 variables, 4/28 constraints. Problems are: Problem set: 0 solved, 360 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/503 variables, 20/48 constraints. Problems are: Problem set: 0 solved, 360 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/503 variables, 1/49 constraints. Problems are: Problem set: 0 solved, 360 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/503 variables, 4/53 constraints. Problems are: Problem set: 0 solved, 360 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 503/4182 variables, and 53 constraints, problems are : Problem set: 0 solved, 360 unsolved in 105032 ms.
Refiners :[Positive P Invariants (semi-flows): 14/14 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 0/503 constraints, ReadFeed: 0/159 constraints, PredecessorRefiner: 360/360 constraints, Known Traps: 27/27 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 360 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/122 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 360 unsolved
At refinement iteration 1 (OVERLAPS) 377/499 variables, 14/14 constraints. Problems are: Problem set: 0 solved, 360 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/499 variables, 8/22 constraints. Problems are: Problem set: 0 solved, 360 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/499 variables, 2/24 constraints. Problems are: Problem set: 0 solved, 360 unsolved
SDD proceeding with computation,461 properties remain. new max is 256
SDD size :5.80156e+08 after 7.34768e+09
At refinement iteration 4 (INCLUDED_ONLY) 0/499 variables, 0/24 constraints. Problems are: Problem set: 0 solved, 360 unsolved
At refinement iteration 5 (OVERLAPS) 4/503 variables, 4/28 constraints. Problems are: Problem set: 0 solved, 360 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/503 variables, 25/53 constraints. Problems are: Problem set: 0 solved, 360 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/503 variables, 5/58 constraints. Problems are: Problem set: 0 solved, 360 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 503/4182 variables, and 58 constraints, problems are : Problem set: 0 solved, 360 unsolved in 105026 ms.
Refiners :[Positive P Invariants (semi-flows): 14/14 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 0/503 constraints, ReadFeed: 0/159 constraints, PredecessorRefiner: 0/360 constraints, Known Traps: 32/32 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 210699ms problems are : Problem set: 0 solved, 360 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 122 out of 503 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 503/503 places, 3679/3679 transitions.
Discarding 44 places :
Symmetric choice reduction at 0 with 44 rule applications. Total rules 44 place count 459 transition count 3195
Iterating global reduction 0 with 44 rules applied. Total rules applied 88 place count 459 transition count 3195
Applied a total of 88 rules in 89 ms. Remains 459 /503 variables (removed 44) and now considering 3195/3679 (removed 484) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 89 ms. Remains : 459/503 places, 3195/3679 transitions.
RANDOM walk for 4000000 steps (8 resets) in 107138 ms. (37 steps per ms) remains 356/360 properties
BEST_FIRST walk for 40002 steps (8 resets) in 305 ms. (130 steps per ms) remains 356/356 properties
BEST_FIRST walk for 40004 steps (8 resets) in 318 ms. (125 steps per ms) remains 356/356 properties
BEST_FIRST walk for 40000 steps (8 resets) in 383 ms. (104 steps per ms) remains 356/356 properties
BEST_FIRST walk for 40002 steps (8 resets) in 313 ms. (127 steps per ms) remains 356/356 properties
BEST_FIRST walk for 40002 steps (8 resets) in 298 ms. (133 steps per ms) remains 355/356 properties
BEST_FIRST walk for 40003 steps (8 resets) in 466 ms. (85 steps per ms) remains 355/355 properties
BEST_FIRST walk for 40000 steps (8 resets) in 427 ms. (93 steps per ms) remains 355/355 properties
BEST_FIRST walk for 40003 steps (8 resets) in 426 ms. (93 steps per ms) remains 355/355 properties
BEST_FIRST walk for 40002 steps (8 resets) in 413 ms. (96 steps per ms) remains 355/355 properties
BEST_FIRST walk for 40003 steps (8 resets) in 479 ms. (83 steps per ms) remains 355/355 properties
BEST_FIRST walk for 40004 steps (8 resets) in 447 ms. (89 steps per ms) remains 355/355 properties
BEST_FIRST walk for 40002 steps (8 resets) in 417 ms. (95 steps per ms) remains 355/355 properties
BEST_FIRST walk for 40004 steps (8 resets) in 507 ms. (78 steps per ms) remains 355/355 properties
BEST_FIRST walk for 40003 steps (8 resets) in 442 ms. (90 steps per ms) remains 355/355 properties
BEST_FIRST walk for 40004 steps (8 resets) in 358 ms. (111 steps per ms) remains 355/355 properties
BEST_FIRST walk for 40003 steps (8 resets) in 416 ms. (95 steps per ms) remains 355/355 properties
BEST_FIRST walk for 40002 steps (8 resets) in 407 ms. (98 steps per ms) remains 352/355 properties
BEST_FIRST walk for 40003 steps (8 resets) in 469 ms. (85 steps per ms) remains 352/352 properties
BEST_FIRST walk for 40003 steps (8 resets) in 437 ms. (91 steps per ms) remains 352/352 properties
BEST_FIRST walk for 40004 steps (8 resets) in 504 ms. (79 steps per ms) remains 352/352 properties
BEST_FIRST walk for 40003 steps (8 resets) in 476 ms. (83 steps per ms) remains 352/352 properties
BEST_FIRST walk for 40003 steps (8 resets) in 505 ms. (79 steps per ms) remains 352/352 properties
BEST_FIRST walk for 40003 steps (8 resets) in 587 ms. (68 steps per ms) remains 352/352 properties
BEST_FIRST walk for 40004 steps (8 resets) in 439 ms. (90 steps per ms) remains 352/352 properties
BEST_FIRST walk for 40002 steps (8 resets) in 498 ms. (80 steps per ms) remains 349/352 properties
BEST_FIRST walk for 40003 steps (8 resets) in 413 ms. (96 steps per ms) remains 349/349 properties
BEST_FIRST walk for 40003 steps (8 resets) in 451 ms. (88 steps per ms) remains 349/349 properties
BEST_FIRST walk for 40002 steps (8 resets) in 479 ms. (83 steps per ms) remains 349/349 properties
BEST_FIRST walk for 40002 steps (8 resets) in 340 ms. (117 steps per ms) remains 349/349 properties
BEST_FIRST walk for 40004 steps (8 resets) in 308 ms. (129 steps per ms) remains 349/349 properties
BEST_FIRST walk for 40004 steps (8 resets) in 299 ms. (133 steps per ms) remains 349/349 properties
BEST_FIRST walk for 40001 steps (8 resets) in 304 ms. (131 steps per ms) remains 349/349 properties
BEST_FIRST walk for 40004 steps (8 resets) in 455 ms. (87 steps per ms) remains 349/349 properties
BEST_FIRST walk for 40001 steps (8 resets) in 451 ms. (88 steps per ms) remains 349/349 properties
BEST_FIRST walk for 40003 steps (8 resets) in 447 ms. (89 steps per ms) remains 349/349 properties
BEST_FIRST walk for 40002 steps (8 resets) in 440 ms. (90 steps per ms) remains 349/349 properties
BEST_FIRST walk for 40002 steps (8 resets) in 458 ms. (87 steps per ms) remains 349/349 properties
BEST_FIRST walk for 40003 steps (8 resets) in 510 ms. (78 steps per ms) remains 349/349 properties
BEST_FIRST walk for 40003 steps (8 resets) in 493 ms. (80 steps per ms) remains 349/349 properties
BEST_FIRST walk for 40002 steps (8 resets) in 434 ms. (91 steps per ms) remains 349/349 properties
BEST_FIRST walk for 40004 steps (8 resets) in 467 ms. (85 steps per ms) remains 349/349 properties
BEST_FIRST walk for 40003 steps (8 resets) in 404 ms. (98 steps per ms) remains 349/349 properties
BEST_FIRST walk for 40002 steps (8 resets) in 405 ms. (98 steps per ms) remains 349/349 properties
BEST_FIRST walk for 40003 steps (8 resets) in 424 ms. (94 steps per ms) remains 349/349 properties
BEST_FIRST walk for 40002 steps (8 resets) in 420 ms. (95 steps per ms) remains 349/349 properties
BEST_FIRST walk for 40004 steps (8 resets) in 453 ms. (88 steps per ms) remains 349/349 properties
BEST_FIRST walk for 40002 steps (8 resets) in 531 ms. (75 steps per ms) remains 349/349 properties
BEST_FIRST walk for 40004 steps (8 resets) in 441 ms. (90 steps per ms) remains 349/349 properties
BEST_FIRST walk for 40002 steps (8 resets) in 507 ms. (78 steps per ms) remains 349/349 properties
BEST_FIRST walk for 40004 steps (8 resets) in 426 ms. (93 steps per ms) remains 349/349 properties
BEST_FIRST walk for 40003 steps (8 resets) in 401 ms. (99 steps per ms) remains 349/349 properties
BEST_FIRST walk for 40001 steps (8 resets) in 452 ms. (88 steps per ms) remains 349/349 properties
BEST_FIRST walk for 40003 steps (8 resets) in 426 ms. (93 steps per ms) remains 349/349 properties
BEST_FIRST walk for 40003 steps (8 resets) in 483 ms. (82 steps per ms) remains 349/349 properties
BEST_FIRST walk for 40004 steps (8 resets) in 418 ms. (95 steps per ms) remains 349/349 properties
BEST_FIRST walk for 40004 steps (8 resets) in 470 ms. (84 steps per ms) remains 348/349 properties
BEST_FIRST walk for 40004 steps (8 resets) in 406 ms. (98 steps per ms) remains 348/348 properties
BEST_FIRST walk for 40002 steps (8 resets) in 419 ms. (95 steps per ms) remains 348/348 properties
BEST_FIRST walk for 40002 steps (8 resets) in 485 ms. (82 steps per ms) remains 348/348 properties
BEST_FIRST walk for 40003 steps (8 resets) in 446 ms. (89 steps per ms) remains 348/348 properties
BEST_FIRST walk for 40003 steps (8 resets) in 316 ms. (126 steps per ms) remains 348/348 properties
BEST_FIRST walk for 40002 steps (8 resets) in 336 ms. (118 steps per ms) remains 348/348 properties
BEST_FIRST walk for 40003 steps (8 resets) in 337 ms. (118 steps per ms) remains 348/348 properties
BEST_FIRST walk for 40001 steps (8 resets) in 373 ms. (106 steps per ms) remains 348/348 properties
BEST_FIRST walk for 40004 steps (8 resets) in 299 ms. (133 steps per ms) remains 348/348 properties
BEST_FIRST walk for 40004 steps (8 resets) in 496 ms. (80 steps per ms) remains 348/348 properties
BEST_FIRST walk for 40003 steps (8 resets) in 467 ms. (85 steps per ms) remains 348/348 properties
BEST_FIRST walk for 40001 steps (8 resets) in 421 ms. (94 steps per ms) remains 348/348 properties
BEST_FIRST walk for 40001 steps (8 resets) in 450 ms. (88 steps per ms) remains 348/348 properties
BEST_FIRST walk for 40001 steps (8 resets) in 485 ms. (82 steps per ms) remains 348/348 properties
BEST_FIRST walk for 40003 steps (8 resets) in 411 ms. (97 steps per ms) remains 346/348 properties
BEST_FIRST walk for 40002 steps (8 resets) in 518 ms. (77 steps per ms) remains 346/346 properties
BEST_FIRST walk for 40000 steps (8 resets) in 410 ms. (97 steps per ms) remains 346/346 properties
BEST_FIRST walk for 40002 steps (8 resets) in 511 ms. (78 steps per ms) remains 346/346 properties
BEST_FIRST walk for 40003 steps (8 resets) in 512 ms. (77 steps per ms) remains 346/346 properties
BEST_FIRST walk for 40002 steps (8 resets) in 416 ms. (95 steps per ms) remains 346/346 properties
BEST_FIRST walk for 40004 steps (8 resets) in 477 ms. (83 steps per ms) remains 346/346 properties
BEST_FIRST walk for 40003 steps (8 resets) in 438 ms. (91 steps per ms) remains 346/346 properties
BEST_FIRST walk for 40003 steps (8 resets) in 477 ms. (83 steps per ms) remains 346/346 properties
BEST_FIRST walk for 40003 steps (8 resets) in 448 ms. (89 steps per ms) remains 346/346 properties
BEST_FIRST walk for 40003 steps (8 resets) in 506 ms. (78 steps per ms) remains 346/346 properties
BEST_FIRST walk for 40002 steps (8 resets) in 435 ms. (91 steps per ms) remains 346/346 properties
BEST_FIRST walk for 40004 steps (8 resets) in 423 ms. (94 steps per ms) remains 346/346 properties
BEST_FIRST walk for 40001 steps (8 resets) in 485 ms. (82 steps per ms) remains 346/346 properties
BEST_FIRST walk for 40004 steps (8 resets) in 482 ms. (82 steps per ms) remains 346/346 properties
BEST_FIRST walk for 40001 steps (8 resets) in 407 ms. (98 steps per ms) remains 346/346 properties
BEST_FIRST walk for 40002 steps (8 resets) in 472 ms. (84 steps per ms) remains 346/346 properties
BEST_FIRST walk for 40003 steps (8 resets) in 508 ms. (78 steps per ms) remains 346/346 properties
BEST_FIRST walk for 40004 steps (8 resets) in 471 ms. (84 steps per ms) remains 346/346 properties
BEST_FIRST walk for 40004 steps (8 resets) in 402 ms. (99 steps per ms) remains 346/346 properties
BEST_FIRST walk for 40003 steps (8 resets) in 354 ms. (112 steps per ms) remains 346/346 properties
BEST_FIRST walk for 40003 steps (8 resets) in 320 ms. (124 steps per ms) remains 346/346 properties
BEST_FIRST walk for 40004 steps (8 resets) in 369 ms. (108 steps per ms) remains 346/346 properties
BEST_FIRST walk for 40004 steps (8 resets) in 437 ms. (91 steps per ms) remains 346/346 properties
BEST_FIRST walk for 40002 steps (8 resets) in 496 ms. (80 steps per ms) remains 346/346 properties
BEST_FIRST walk for 40004 steps (8 resets) in 397 ms. (100 steps per ms) remains 346/346 properties
BEST_FIRST walk for 40003 steps (8 resets) in 457 ms. (87 steps per ms) remains 346/346 properties
BEST_FIRST walk for 40001 steps (8 resets) in 376 ms. (106 steps per ms) remains 346/346 properties
BEST_FIRST walk for 40003 steps (8 resets) in 442 ms. (90 steps per ms) remains 344/346 properties
BEST_FIRST walk for 40003 steps (8 resets) in 426 ms. (93 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40003 steps (8 resets) in 496 ms. (80 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40003 steps (8 resets) in 471 ms. (84 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40003 steps (8 resets) in 415 ms. (96 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40002 steps (8 resets) in 482 ms. (82 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40002 steps (8 resets) in 434 ms. (91 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40002 steps (8 resets) in 470 ms. (84 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40004 steps (8 resets) in 476 ms. (83 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40003 steps (8 resets) in 517 ms. (77 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40003 steps (8 resets) in 455 ms. (87 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40004 steps (8 resets) in 462 ms. (86 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40002 steps (8 resets) in 504 ms. (79 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40003 steps (8 resets) in 438 ms. (91 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40002 steps (8 resets) in 490 ms. (81 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40002 steps (8 resets) in 503 ms. (79 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40002 steps (8 resets) in 460 ms. (86 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40002 steps (8 resets) in 461 ms. (86 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40004 steps (8 resets) in 323 ms. (123 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40003 steps (8 resets) in 454 ms. (87 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40003 steps (8 resets) in 336 ms. (118 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40002 steps (8 resets) in 341 ms. (116 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40002 steps (8 resets) in 444 ms. (89 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40003 steps (8 resets) in 495 ms. (80 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40001 steps (8 resets) in 444 ms. (89 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40003 steps (8 resets) in 519 ms. (76 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40002 steps (8 resets) in 461 ms. (86 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40001 steps (8 resets) in 408 ms. (97 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40003 steps (8 resets) in 429 ms. (93 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40002 steps (8 resets) in 452 ms. (88 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40003 steps (8 resets) in 504 ms. (79 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40003 steps (8 resets) in 491 ms. (81 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40004 steps (8 resets) in 424 ms. (94 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40002 steps (8 resets) in 473 ms. (84 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40003 steps (8 resets) in 478 ms. (83 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40001 steps (8 resets) in 466 ms. (85 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40002 steps (8 resets) in 473 ms. (84 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40003 steps (8 resets) in 449 ms. (88 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40003 steps (8 resets) in 496 ms. (80 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40003 steps (8 resets) in 374 ms. (106 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40002 steps (8 resets) in 434 ms. (91 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40002 steps (8 resets) in 431 ms. (92 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40002 steps (8 resets) in 525 ms. (76 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40002 steps (8 resets) in 580 ms. (68 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40002 steps (8 resets) in 478 ms. (83 steps per ms) remains 344/344 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 343/344 properties
BEST_FIRST walk for 40002 steps (8 resets) in 350 ms. (113 steps per ms) remains 343/343 properties
BEST_FIRST walk for 40002 steps (8 resets) in 314 ms. (126 steps per ms) remains 343/343 properties
BEST_FIRST walk for 40003 steps (8 resets) in 349 ms. (114 steps per ms) remains 343/343 properties
BEST_FIRST walk for 40003 steps (8 resets) in 359 ms. (111 steps per ms) remains 343/343 properties
BEST_FIRST walk for 40004 steps (8 resets) in 404 ms. (98 steps per ms) remains 343/343 properties
BEST_FIRST walk for 40004 steps (8 resets) in 485 ms. (82 steps per ms) remains 343/343 properties
BEST_FIRST walk for 40003 steps (8 resets) in 393 ms. (101 steps per ms) remains 343/343 properties
BEST_FIRST walk for 40002 steps (8 resets) in 483 ms. (82 steps per ms) remains 343/343 properties
BEST_FIRST walk for 40004 steps (8 resets) in 420 ms. (95 steps per ms) remains 343/343 properties
BEST_FIRST walk for 40003 steps (8 resets) in 504 ms. (79 steps per ms) remains 343/343 properties
BEST_FIRST walk for 40004 steps (8 resets) in 467 ms. (85 steps per ms) remains 343/343 properties
BEST_FIRST walk for 40002 steps (8 resets) in 443 ms. (90 steps per ms) remains 343/343 properties
BEST_FIRST walk for 40003 steps (8 resets) in 461 ms. (86 steps per ms) remains 343/343 properties
BEST_FIRST walk for 40003 steps (8 resets) in 419 ms. (95 steps per ms) remains 343/343 properties
BEST_FIRST walk for 40004 steps (8 resets) in 496 ms. (80 steps per ms) remains 343/343 properties
BEST_FIRST walk for 40001 steps (8 resets) in 386 ms. (103 steps per ms) remains 343/343 properties
BEST_FIRST walk for 40003 steps (8 resets) in 442 ms. (90 steps per ms) remains 343/343 properties
BEST_FIRST walk for 40004 steps (8 resets) in 417 ms. (95 steps per ms) remains 343/343 properties
BEST_FIRST walk for 40002 steps (8 resets) in 463 ms. (86 steps per ms) remains 343/343 properties
BEST_FIRST walk for 40002 steps (8 resets) in 438 ms. (91 steps per ms) remains 343/343 properties
BEST_FIRST walk for 40003 steps (8 resets) in 491 ms. (81 steps per ms) remains 343/343 properties
BEST_FIRST walk for 40002 steps (8 resets) in 459 ms. (86 steps per ms) remains 343/343 properties
BEST_FIRST walk for 40004 steps (8 resets) in 423 ms. (94 steps per ms) remains 343/343 properties
BEST_FIRST walk for 40004 steps (8 resets) in 458 ms. (87 steps per ms) remains 343/343 properties
BEST_FIRST walk for 40003 steps (8 resets) in 462 ms. (86 steps per ms) remains 343/343 properties
BEST_FIRST walk for 40002 steps (8 resets) in 468 ms. (85 steps per ms) remains 343/343 properties
BEST_FIRST walk for 40002 steps (8 resets) in 499 ms. (80 steps per ms) remains 342/343 properties
BEST_FIRST walk for 40004 steps (8 resets) in 306 ms. (130 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40004 steps (8 resets) in 364 ms. (109 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40002 steps (8 resets) in 303 ms. (131 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40004 steps (8 resets) in 357 ms. (111 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40003 steps (8 resets) in 420 ms. (95 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40001 steps (8 resets) in 482 ms. (82 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40003 steps (8 resets) in 456 ms. (87 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40003 steps (8 resets) in 477 ms. (83 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40002 steps (8 resets) in 458 ms. (87 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40003 steps (8 resets) in 487 ms. (81 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40002 steps (8 resets) in 423 ms. (94 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40002 steps (8 resets) in 479 ms. (83 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40003 steps (8 resets) in 396 ms. (100 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40001 steps (8 resets) in 454 ms. (87 steps per ms) remains 342/342 properties
BEST_FIRST walk for 40003 steps (8 resets) in 435 ms. (91 steps per ms) remains 341/342 properties
BEST_FIRST walk for 40004 steps (8 resets) in 482 ms. (82 steps per ms) remains 341/341 properties
BEST_FIRST walk for 40002 steps (8 resets) in 440 ms. (90 steps per ms) remains 341/341 properties
BEST_FIRST walk for 40003 steps (8 resets) in 378 ms. (105 steps per ms) remains 341/341 properties
BEST_FIRST walk for 40002 steps (8 resets) in 467 ms. (85 steps per ms) remains 341/341 properties
BEST_FIRST walk for 40004 steps (8 resets) in 463 ms. (86 steps per ms) remains 341/341 properties
BEST_FIRST walk for 40002 steps (8 resets) in 430 ms. (92 steps per ms) remains 341/341 properties
BEST_FIRST walk for 40003 steps (8 resets) in 456 ms. (87 steps per ms) remains 341/341 properties
BEST_FIRST walk for 40002 steps (8 resets) in 391 ms. (102 steps per ms) remains 341/341 properties
BEST_FIRST walk for 40003 steps (8 resets) in 438 ms. (91 steps per ms) remains 341/341 properties
BEST_FIRST walk for 40003 steps (8 resets) in 440 ms. (90 steps per ms) remains 341/341 properties
BEST_FIRST walk for 40001 steps (8 resets) in 449 ms. (88 steps per ms) remains 336/341 properties
BEST_FIRST walk for 40002 steps (8 resets) in 373 ms. (106 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40002 steps (8 resets) in 475 ms. (84 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40004 steps (8 resets) in 307 ms. (129 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40003 steps (8 resets) in 351 ms. (113 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40002 steps (8 resets) in 295 ms. (135 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40003 steps (8 resets) in 348 ms. (114 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40002 steps (8 resets) in 421 ms. (94 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40004 steps (8 resets) in 480 ms. (83 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40004 steps (8 resets) in 423 ms. (94 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40003 steps (8 resets) in 382 ms. (104 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40003 steps (8 resets) in 400 ms. (99 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40002 steps (8 resets) in 354 ms. (112 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40002 steps (8 resets) in 441 ms. (90 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40004 steps (8 resets) in 367 ms. (108 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40003 steps (8 resets) in 432 ms. (92 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40004 steps (8 resets) in 395 ms. (101 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40002 steps (8 resets) in 465 ms. (85 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40003 steps (8 resets) in 440 ms. (90 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40004 steps (8 resets) in 397 ms. (100 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40003 steps (8 resets) in 395 ms. (101 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40003 steps (8 resets) in 492 ms. (81 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40001 steps (8 resets) in 403 ms. (99 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40003 steps (8 resets) in 449 ms. (88 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40003 steps (8 resets) in 457 ms. (87 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40003 steps (8 resets) in 478 ms. (83 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40002 steps (8 resets) in 309 ms. (129 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40004 steps (8 resets) in 355 ms. (112 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40004 steps (8 resets) in 314 ms. (126 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40003 steps (8 resets) in 401 ms. (99 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40002 steps (8 resets) in 408 ms. (97 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40001 steps (8 resets) in 504 ms. (79 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40003 steps (8 resets) in 541 ms. (73 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40002 steps (8 resets) in 553 ms. (72 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40003 steps (8 resets) in 636 ms. (62 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40002 steps (8 resets) in 613 ms. (65 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40001 steps (8 resets) in 611 ms. (65 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40003 steps (8 resets) in 591 ms. (67 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40003 steps (8 resets) in 695 ms. (57 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40001 steps (8 resets) in 427 ms. (93 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40003 steps (8 resets) in 483 ms. (82 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40001 steps (8 resets) in 428 ms. (93 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40003 steps (8 resets) in 413 ms. (96 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40002 steps (8 resets) in 456 ms. (87 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40002 steps (8 resets) in 472 ms. (84 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40003 steps (8 resets) in 385 ms. (103 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40003 steps (8 resets) in 479 ms. (83 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40003 steps (8 resets) in 411 ms. (97 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40002 steps (8 resets) in 422 ms. (94 steps per ms) remains 336/336 properties
BEST_FIRST walk for 40003 steps (8 resets) in 428 ms. (93 steps per ms) remains 336/336 properties
SDD proceeding with computation,461 properties remain. new max is 512
SDD size :7.34768e+09 after 7.47125e+09
Interrupted probabilistic random walk after 4816269 steps, run timeout after 195001 ms. (steps per millisecond=24 ) properties seen :0 out of 336
Probabilistic random walk after 4816269 steps, saw 3629755 distinct states, run finished after 195009 ms. (steps per millisecond=24 ) properties seen :0
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-8028202461460717345.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-5475966322421246915.kers'
[2026-05-24 20:42:07] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8028202461460717345.kers, --Pflows, --basisKERS=/tmp/petrispot-output-5475966322421246915.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 3195 rows 459 cols 12486 entries
Finished phase 1 with 255 SingleSign rule and 178 generalized
[2026-05-24 20:42:07] [INFO ] Computed 26 invariants in 11 ms
Computed 26 P flows in 11 ms.
Exported basis to /tmp/petrispot-output-5475966322421246915.kers
Total runtime 13 ms.
[2026-05-24 20:42:07] [INFO ] State equation strengthened by 135 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/119 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 336 unsolved
At refinement iteration 1 (OVERLAPS) 335/454 variables, 14/14 constraints. Problems are: Problem set: 0 solved, 336 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/454 variables, 7/21 constraints. Problems are: Problem set: 0 solved, 336 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/454 variables, 0/21 constraints. Problems are: Problem set: 0 solved, 336 unsolved
At refinement iteration 4 (OVERLAPS) 5/459 variables, 5/26 constraints. Problems are: Problem set: 0 solved, 336 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/459 variables, 10/36 constraints. Problems are: Problem set: 0 solved, 336 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/459 variables, 4/40 constraints. Problems are: Problem set: 0 solved, 336 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/459 variables, 0/40 constraints. Problems are: Problem set: 0 solved, 336 unsolved
At refinement iteration 8 (OVERLAPS) 3195/3654 variables, 459/499 constraints. Problems are: Problem set: 0 solved, 336 unsolved
Detected timeout of ITS tools.
At refinement iteration 9 (INCLUDED_ONLY) 0/3654 variables, 135/634 constraints. Problems are: Problem set: 0 solved, 336 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 3654/3654 variables, and 634 constraints, problems are : Problem set: 0 solved, 336 unsolved in 120019 ms.
Refiners :[Positive P Invariants (semi-flows): 14/14 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 459/459 constraints, ReadFeed: 135/135 constraints, PredecessorRefiner: 336/336 constraints, Known Traps: 14/14 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 336 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/119 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 336 unsolved
At refinement iteration 1 (OVERLAPS) 335/454 variables, 14/14 constraints. Problems are: Problem set: 0 solved, 336 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/454 variables, 7/21 constraints. Problems are: Problem set: 0 solved, 336 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/454 variables, 0/21 constraints. Problems are: Problem set: 0 solved, 336 unsolved
At refinement iteration 4 (OVERLAPS) 5/459 variables, 5/26 constraints. Problems are: Problem set: 0 solved, 336 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/459 variables, 14/40 constraints. Problems are: Problem set: 0 solved, 336 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/459 variables, 2/42 constraints. Problems are: Problem set: 0 solved, 336 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/459 variables, 4/46 constraints. Problems are: Problem set: 0 solved, 336 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/459 variables, 1/47 constraints. Problems are: Problem set: 0 solved, 336 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/459 variables, 3/50 constraints. Problems are: Problem set: 0 solved, 336 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/459 variables, 1/51 constraints. Problems are: Problem set: 0 solved, 336 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 459/3654 variables, and 52 constraints, problems are : Problem set: 0 solved, 336 unsolved in 120027 ms.
Refiners :[Positive P Invariants (semi-flows): 14/14 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 0/459 constraints, ReadFeed: 0/135 constraints, PredecessorRefiner: 0/336 constraints, Known Traps: 26/26 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 240556ms problems are : Problem set: 0 solved, 336 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 119 out of 459 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 459/459 places, 3195/3195 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 457 transition count 3149
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 457 transition count 3149
Applied a total of 4 rules in 126 ms. Remains 457 /459 variables (removed 2) and now considering 3149/3195 (removed 46) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 127 ms. Remains : 457/459 places, 3149/3195 transitions.
RANDOM walk for 4000000 steps (8 resets) in 84184 ms. (47 steps per ms) remains 335/336 properties
BEST_FIRST walk for 40003 steps (8 resets) in 221 ms. (180 steps per ms) remains 335/335 properties
BEST_FIRST walk for 40004 steps (8 resets) in 228 ms. (174 steps per ms) remains 335/335 properties
BEST_FIRST walk for 40002 steps (8 resets) in 245 ms. (162 steps per ms) remains 335/335 properties
BEST_FIRST walk for 40003 steps (8 resets) in 223 ms. (178 steps per ms) remains 335/335 properties
BEST_FIRST walk for 40002 steps (8 resets) in 288 ms. (138 steps per ms) remains 335/335 properties
BEST_FIRST walk for 40003 steps (8 resets) in 290 ms. (137 steps per ms) remains 335/335 properties
BEST_FIRST walk for 40000 steps (8 resets) in 296 ms. (134 steps per ms) remains 335/335 properties
BEST_FIRST walk for 40002 steps (8 resets) in 307 ms. (129 steps per ms) remains 335/335 properties
BEST_FIRST walk for 40004 steps (8 resets) in 269 ms. (148 steps per ms) remains 335/335 properties
BEST_FIRST walk for 40002 steps (8 resets) in 307 ms. (129 steps per ms) remains 335/335 properties
BEST_FIRST walk for 40004 steps (8 resets) in 323 ms. (123 steps per ms) remains 335/335 properties
BEST_FIRST walk for 40003 steps (8 resets) in 306 ms. (130 steps per ms) remains 335/335 properties
BEST_FIRST walk for 40003 steps (8 resets) in 302 ms. (132 steps per ms) remains 335/335 properties
BEST_FIRST walk for 40004 steps (8 resets) in 288 ms. (138 steps per ms) remains 335/335 properties
BEST_FIRST walk for 40003 steps (8 resets) in 305 ms. (130 steps per ms) remains 335/335 properties
BEST_FIRST walk for 40001 steps (8 resets) in 317 ms. (125 steps per ms) remains 335/335 properties
BEST_FIRST walk for 40002 steps (8 resets) in 317 ms. (125 steps per ms) remains 335/335 properties
BEST_FIRST walk for 40002 steps (8 resets) in 313 ms. (127 steps per ms) remains 335/335 properties
BEST_FIRST walk for 40002 steps (8 resets) in 312 ms. (127 steps per ms) remains 335/335 properties
BEST_FIRST walk for 40002 steps (8 resets) in 312 ms. (127 steps per ms) remains 335/335 properties
BEST_FIRST walk for 40003 steps (8 resets) in 267 ms. (149 steps per ms) remains 335/335 properties
BEST_FIRST walk for 40003 steps (8 resets) in 309 ms. (129 steps per ms) remains 330/335 properties
BEST_FIRST walk for 40003 steps (8 resets) in 296 ms. (134 steps per ms) remains 329/330 properties
BEST_FIRST walk for 40002 steps (8 resets) in 304 ms. (131 steps per ms) remains 329/329 properties
BEST_FIRST walk for 40002 steps (8 resets) in 315 ms. (126 steps per ms) remains 329/329 properties
BEST_FIRST walk for 40003 steps (8 resets) in 272 ms. (146 steps per ms) remains 327/329 properties
BEST_FIRST walk for 40001 steps (8 resets) in 304 ms. (131 steps per ms) remains 327/327 properties
BEST_FIRST walk for 40003 steps (8 resets) in 218 ms. (182 steps per ms) remains 327/327 properties
BEST_FIRST walk for 40001 steps (8 resets) in 218 ms. (182 steps per ms) remains 327/327 properties
BEST_FIRST walk for 40002 steps (8 resets) in 217 ms. (183 steps per ms) remains 327/327 properties
BEST_FIRST walk for 40004 steps (8 resets) in 219 ms. (181 steps per ms) remains 327/327 properties
BEST_FIRST walk for 40003 steps (8 resets) in 300 ms. (132 steps per ms) remains 327/327 properties
BEST_FIRST walk for 40003 steps (8 resets) in 296 ms. (134 steps per ms) remains 327/327 properties
BEST_FIRST walk for 40004 steps (8 resets) in 301 ms. (132 steps per ms) remains 327/327 properties
BEST_FIRST walk for 40004 steps (8 resets) in 300 ms. (132 steps per ms) remains 327/327 properties
BEST_FIRST walk for 40004 steps (8 resets) in 305 ms. (130 steps per ms) remains 327/327 properties
BEST_FIRST walk for 40003 steps (8 resets) in 292 ms. (136 steps per ms) remains 327/327 properties
BEST_FIRST walk for 40004 steps (8 resets) in 290 ms. (137 steps per ms) remains 327/327 properties
BEST_FIRST walk for 40003 steps (8 resets) in 298 ms. (133 steps per ms) remains 326/327 properties
BEST_FIRST walk for 40004 steps (8 resets) in 309 ms. (129 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40004 steps (8 resets) in 309 ms. (129 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40003 steps (8 resets) in 319 ms. (125 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40004 steps (8 resets) in 305 ms. (130 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40002 steps (8 resets) in 283 ms. (140 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40004 steps (8 resets) in 292 ms. (136 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40002 steps (8 resets) in 304 ms. (131 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40001 steps (8 resets) in 329 ms. (121 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40004 steps (8 resets) in 303 ms. (131 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40004 steps (8 resets) in 297 ms. (134 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40001 steps (8 resets) in 315 ms. (126 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40003 steps (8 resets) in 300 ms. (132 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40003 steps (8 resets) in 297 ms. (134 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40004 steps (8 resets) in 285 ms. (139 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40003 steps (8 resets) in 276 ms. (144 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40003 steps (8 resets) in 305 ms. (130 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40003 steps (8 resets) in 298 ms. (133 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40004 steps (8 resets) in 270 ms. (147 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40003 steps (8 resets) in 305 ms. (130 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40003 steps (8 resets) in 218 ms. (182 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40003 steps (8 resets) in 211 ms. (188 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40003 steps (8 resets) in 214 ms. (186 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40003 steps (8 resets) in 212 ms. (187 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40003 steps (8 resets) in 216 ms. (184 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40002 steps (8 resets) in 312 ms. (127 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40003 steps (8 resets) in 285 ms. (139 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40004 steps (8 resets) in 313 ms. (127 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40002 steps (8 resets) in 314 ms. (126 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40001 steps (8 resets) in 306 ms. (130 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40003 steps (8 resets) in 309 ms. (129 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40004 steps (8 resets) in 282 ms. (141 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40002 steps (8 resets) in 299 ms. (133 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40002 steps (8 resets) in 302 ms. (132 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40003 steps (8 resets) in 314 ms. (126 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40003 steps (8 resets) in 314 ms. (126 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40004 steps (8 resets) in 289 ms. (137 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40003 steps (8 resets) in 286 ms. (139 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40002 steps (8 resets) in 315 ms. (126 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40003 steps (8 resets) in 315 ms. (126 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40002 steps (8 resets) in 281 ms. (141 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40004 steps (8 resets) in 299 ms. (133 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40002 steps (8 resets) in 283 ms. (140 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40001 steps (8 resets) in 317 ms. (125 steps per ms) remains 326/326 properties
BEST_FIRST walk for 40003 steps (8 resets) in 291 ms. (136 steps per ms) remains 325/326 properties
BEST_FIRST walk for 40003 steps (8 resets) in 312 ms. (127 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40003 steps (8 resets) in 284 ms. (140 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40001 steps (8 resets) in 310 ms. (128 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40002 steps (8 resets) in 223 ms. (178 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40002 steps (8 resets) in 209 ms. (190 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40004 steps (8 resets) in 212 ms. (187 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40003 steps (8 resets) in 216 ms. (184 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40004 steps (8 resets) in 295 ms. (135 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40004 steps (8 resets) in 337 ms. (118 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40003 steps (8 resets) in 284 ms. (140 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40002 steps (8 resets) in 309 ms. (129 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40003 steps (8 resets) in 310 ms. (128 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40001 steps (8 resets) in 301 ms. (132 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40004 steps (8 resets) in 301 ms. (132 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40003 steps (8 resets) in 289 ms. (137 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40003 steps (8 resets) in 279 ms. (142 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40002 steps (8 resets) in 294 ms. (135 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40002 steps (8 resets) in 297 ms. (134 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40002 steps (8 resets) in 310 ms. (128 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40003 steps (8 resets) in 299 ms. (133 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40004 steps (8 resets) in 287 ms. (138 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40002 steps (8 resets) in 278 ms. (143 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40002 steps (8 resets) in 313 ms. (127 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40003 steps (8 resets) in 294 ms. (135 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40002 steps (8 resets) in 310 ms. (128 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40003 steps (8 resets) in 284 ms. (140 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40002 steps (8 resets) in 306 ms. (130 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40002 steps (8 resets) in 287 ms. (138 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40001 steps (8 resets) in 298 ms. (133 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40003 steps (8 resets) in 217 ms. (183 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40003 steps (8 resets) in 324 ms. (123 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40004 steps (8 resets) in 371 ms. (107 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40002 steps (8 resets) in 338 ms. (118 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40004 steps (8 resets) in 465 ms. (85 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40003 steps (8 resets) in 411 ms. (97 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40002 steps (8 resets) in 554 ms. (72 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40003 steps (8 resets) in 312 ms. (127 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40003 steps (8 resets) in 298 ms. (133 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40003 steps (8 resets) in 289 ms. (137 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40002 steps (8 resets) in 305 ms. (130 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40003 steps (8 resets) in 329 ms. (121 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40003 steps (8 resets) in 283 ms. (140 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40003 steps (8 resets) in 315 ms. (126 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40004 steps (8 resets) in 294 ms. (135 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40002 steps (8 resets) in 303 ms. (131 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40003 steps (8 resets) in 285 ms. (139 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40003 steps (8 resets) in 318 ms. (125 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40003 steps (8 resets) in 309 ms. (129 steps per ms) remains 325/325 properties
BEST_FIRST walk for 40000 steps (8 resets) in 303 ms. (131 steps per ms) remains 325/325 properties
Interrupted probabilistic random walk after 2559340 steps, run timeout after 96001 ms. (steps per millisecond=26 ) properties seen :0 out of 325
Probabilistic random walk after 2559340 steps, saw 1931634 distinct states, run finished after 96011 ms. (steps per millisecond=26 ) properties seen :0
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-18118599839654608720.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14421420244320244072.kers'
[2026-05-24 20:48:17] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-18118599839654608720.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14421420244320244072.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 3149 rows 457 cols 12302 entries
Finished phase 1 with 253 SingleSign rule and 178 generalized
[2026-05-24 20:48:17] [INFO ] Computed 26 invariants in 12 ms
Computed 26 P flows in 12 ms.
Exported basis to /tmp/petrispot-output-14421420244320244072.kers
Total runtime 18 ms.
[2026-05-24 20:48:17] [INFO ] State equation strengthened by 135 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/118 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 325 unsolved
At refinement iteration 1 (OVERLAPS) 334/452 variables, 14/14 constraints. Problems are: Problem set: 0 solved, 325 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/452 variables, 7/21 constraints. Problems are: Problem set: 0 solved, 325 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/452 variables, 0/21 constraints. Problems are: Problem set: 0 solved, 325 unsolved
At refinement iteration 4 (OVERLAPS) 5/457 variables, 5/26 constraints. Problems are: Problem set: 0 solved, 325 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/457 variables, 11/37 constraints. Problems are: Problem set: 0 solved, 325 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/457 variables, 4/41 constraints. Problems are: Problem set: 0 solved, 325 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/457 variables, 1/42 constraints. Problems are: Problem set: 0 solved, 325 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/457 variables, 0/42 constraints. Problems are: Problem set: 0 solved, 325 unsolved
At refinement iteration 9 (OVERLAPS) 3149/3606 variables, 457/499 constraints. Problems are: Problem set: 0 solved, 325 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/3606 variables, 135/634 constraints. Problems are: Problem set: 0 solved, 325 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/3606 variables, 0/634 constraints. Problems are: Problem set: 0 solved, 325 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 3606/3606 variables, and 634 constraints, problems are : Problem set: 0 solved, 325 unsolved in 135035 ms.
Refiners :[Positive P Invariants (semi-flows): 14/14 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 457/457 constraints, ReadFeed: 135/135 constraints, PredecessorRefiner: 325/325 constraints, Known Traps: 16/16 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 325 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/118 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 325 unsolved
At refinement iteration 1 (OVERLAPS) 334/452 variables, 14/14 constraints. Problems are: Problem set: 0 solved, 325 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/452 variables, 7/21 constraints. Problems are: Problem set: 0 solved, 325 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/452 variables, 0/21 constraints. Problems are: Problem set: 0 solved, 325 unsolved
At refinement iteration 4 (OVERLAPS) 5/457 variables, 5/26 constraints. Problems are: Problem set: 0 solved, 325 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/457 variables, 16/42 constraints. Problems are: Problem set: 0 solved, 325 unsolved

BK_TIME_CONFINEMENT_REACHED

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

+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ Liveness = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution Liveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202604301425.jar
+ VERSION=202604301425
+ echo 'Running Version 202604301425'
+ /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="Anderson-PT-12"
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-5973"
echo " Executing tool itstools"
echo " Input is Anderson-PT-12, 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 r008-oct2-177944369700134"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "Liveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "Liveness" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "Liveness.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' 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 ;