Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r256-tall-167856441300567.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool gold2022
Input is MultiCrashLeafsetExtension-PT-S32C04, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r256-tall-167856441300567
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 20M
-rw-r--r-- 1 mcc users 15K Feb 26 02:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 94K Feb 26 02:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.2K Feb 26 02:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 02:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.5K Feb 25 16:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Feb 25 16:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 26 03:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 91K Feb 26 03:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 26 03:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 26 03:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.6K Feb 25 16:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 20M Mar 5 18:22 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME QuasiLiveness

=== Now, execution of the tool begins

BK_START 1678675862344

Running Version 202205111006
[2023-03-13 02:51:03] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2023-03-13 02:51:03] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 02:51:04] [INFO ] Load time of PNML (sax parser for PT used): 857 ms
[2023-03-13 02:51:04] [INFO ] Transformed 18180 places.
[2023-03-13 02:51:04] [INFO ] Transformed 28411 transitions.
[2023-03-13 02:51:04] [INFO ] Parsed PT model containing 18180 places and 28411 transitions in 1119 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 18180/18180 places, 28411/28411 transitions.
Reduce places removed 44 places and 0 transitions.
Drop transitions removed 4224 transitions
Trivial Post-agglo rules discarded 4224 transitions
Performed 4224 trivial Post agglomeration. Transition count delta: 4224
Iterating post reduction 0 with 4268 rules applied. Total rules applied 4268 place count 18136 transition count 24187
Reduce places removed 4224 places and 0 transitions.
Iterating post reduction 1 with 4224 rules applied. Total rules applied 8492 place count 13912 transition count 24187
Performed 264 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 264 Pre rules applied. Total rules applied 8492 place count 13912 transition count 23923
Deduced a syphon composed of 264 places in 95 ms
Reduce places removed 264 places and 0 transitions.
Iterating global reduction 2 with 528 rules applied. Total rules applied 9020 place count 13648 transition count 23923
Discarding 3960 places :
Symmetric choice reduction at 2 with 3960 rule applications. Total rules 12980 place count 9688 transition count 19963
Iterating global reduction 2 with 3960 rules applied. Total rules applied 16940 place count 9688 transition count 19963
Performed 8 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 8 Pre rules applied. Total rules applied 16940 place count 9688 transition count 19955
Deduced a syphon composed of 8 places in 17 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 2 with 16 rules applied. Total rules applied 16956 place count 9680 transition count 19955
Discarding 990 places :
Symmetric choice reduction at 2 with 990 rule applications. Total rules 17946 place count 8690 transition count 15995
Iterating global reduction 2 with 990 rules applied. Total rules applied 18936 place count 8690 transition count 15995
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 17 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 2 with 66 rules applied. Total rules applied 19002 place count 8657 transition count 15962
Applied a total of 19002 rules in 9527 ms. Remains 8657 /18180 variables (removed 9523) and now considering 15962/28411 (removed 12449) transitions.
[2023-03-13 02:51:14] [INFO ] Flow matrix only has 14906 transitions (discarded 1056 similar events)
// Phase 1: matrix 14906 rows 8657 cols
[2023-03-13 02:51:15] [INFO ] Computed 1429 place invariants in 928 ms
[2023-03-13 02:51:16] [INFO ] Implicit Places using invariants in 1926 ms returned []
Implicit Place search using SMT only with invariants took 1960 ms to find 0 implicit places.
[2023-03-13 02:51:16] [INFO ] Flow matrix only has 14906 transitions (discarded 1056 similar events)
// Phase 1: matrix 14906 rows 8657 cols
[2023-03-13 02:51:16] [INFO ] Computed 1429 place invariants in 776 ms
[2023-03-13 02:51:17] [INFO ] Dead Transitions using invariants and state equation in 1692 ms found 0 transitions.
Starting structural reductions in LIVENESS mode, iteration 1 : 8657/18180 places, 15962/28411 transitions.
Finished structural reductions, in 1 iterations. Remains : 8657/18180 places, 15962/28411 transitions.
Initial state reduction rules removed 33 formulas.
Incomplete random walk after 10000 steps, including 342 resets, run finished after 1668 ms. (steps per millisecond=5 ) properties (out of 15929) seen :1453
Running SMT prover for 14476 properties.
[2023-03-13 02:51:20] [INFO ] Flow matrix only has 14906 transitions (discarded 1056 similar events)
// Phase 1: matrix 14906 rows 8657 cols
[2023-03-13 02:51:21] [INFO ] Computed 1429 place invariants in 740 ms
[2023-03-13 02:52:28] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 02:52:28] [INFO ] After 25052ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 14476 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 3 ms.
Support contains 8229 out of 8657 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 8657/8657 places, 15962/15962 transitions.
Applied a total of 0 rules in 682 ms. Remains 8657 /8657 variables (removed 0) and now considering 15962/15962 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 8657/8657 places, 15962/15962 transitions.
Interrupted random walk after 180001 steps, including 6151 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 1405
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 13071) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 13068) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 13067) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 13067) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 13067) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 13066) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 13066) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 13066) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 13066) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 13065) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 13065) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 13063) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 13063) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 13063) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 13063) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 13063) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 13063) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 13063) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 13060) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 13060) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 13060) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 13060) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 13060) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 13060) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 13060) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 13060) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 13060) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 13059) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 13059) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 13059) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 13059) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 13059) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 13058) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 13058) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 13056) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 13054) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 13053) seen :5
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 13048) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 13048) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 13046) seen :5
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 13041) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 13039) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 13039) seen :4
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 13035) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 13034) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 13033) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 13031) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 13030) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 13030) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 13029) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 13028) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 13026) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 13025) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 13024) seen :4
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 13020) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 13018) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 13018) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 13016) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 13014) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 13011) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 13011) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 13009) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 13006) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 13006) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 13006) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 13006) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 13003) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 13003) seen :4
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12999) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12999) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12997) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 12995) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12994) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 12992) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12991) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12990) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12988) seen :4
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12984) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12984) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12983) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12983) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12982) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12982) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12979) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 12978) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12976) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12973) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12972) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12972) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12970) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12967) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12965) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12962) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12960) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 12958) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12956) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12954) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12954) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12951) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 12950) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12949) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12948) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12947) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12946) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12945) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12944) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12944) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12944) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12943) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12941) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12941) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 12939) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12939) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 12938) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12938) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12937) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12935) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12934) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12933) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12932) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12932) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12932) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12932) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12932) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12931) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12930) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12929) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12928) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12928) seen :5
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12923) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12922) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12921) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12920) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12920) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12919) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12919) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12919) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12918) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12918) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12918) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12917) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12917) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12917) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12916) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12915) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12915) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12913) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12913) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12913) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12912) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12910) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12910) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12910) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12910) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12910) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12910) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12910) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12910) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12910) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12910) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 12909) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12909) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12909) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12909) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12909) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 12909) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12909) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12907) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12904) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12904) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12904) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12904) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12904) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12904) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12904) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12904) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12903) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 12903) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12900) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12900) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12897) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12897) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12897) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12897) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12897) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12897) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12897) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12897) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12897) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12896) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12895) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12895) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12893) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12893) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 12892) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12892) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12891) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12891) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12890) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12890) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12890) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 12889) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12889) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12889) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12888) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12888) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12888) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12888) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12888) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12888) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12888) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12887) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12886) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12886) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 12884) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12883) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12883) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12883) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12883) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12883) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12883) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12883) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12882) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12881) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12879) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12879) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12879) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12879) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12879) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12878) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 12877) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12876) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12875) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12875) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12875) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12874) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12873) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12872) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12872) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12872) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12872) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12872) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12872) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12870) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12870) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12868) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12867) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12867) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12867) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12867) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12867) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12867) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12867) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12866) seen :6
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12860) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12860) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12860) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12860) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12859) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12859) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12859) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12858) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12858) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12858) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12858) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12858) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12856) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12856) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12856) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12856) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12856) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12856) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12856) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12855) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12855) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12854) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12854) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12853) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12853) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12852) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12851) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12850) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12850) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12850) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12850) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12848) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12848) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12848) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12848) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12848) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12848) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12848) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12848) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12848) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12848) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12848) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12848) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12848) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12848) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12848) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12848) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12848) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12848) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12848) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12848) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12848) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12848) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12848) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12848) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12848) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12847) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12846) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12846) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12846) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12846) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12846) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12846) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12846) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12846) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12846) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12846) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12846) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12846) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12844) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12844) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 12844) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12844) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12844) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12844) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12844) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12844) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12844) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12844) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12844) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12843) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12842) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 12841) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12838) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12837) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12837) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12837) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 12835) seen :0
Running SMT prover for 12835 properties.
[2023-03-13 02:53:50] [INFO ] Flow matrix only has 14906 transitions (discarded 1056 similar events)
// Phase 1: matrix 14906 rows 8657 cols
[2023-03-13 02:53:51] [INFO ] Computed 1429 place invariants in 700 ms
[2023-03-13 02:58:01] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 02:58:01] [INFO ] After 225062ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 12835 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 6615 out of 8657 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 8657/8657 places, 15962/15962 transitions.
Free-agglomeration rule (complex) applied 7 times.
Iterating global reduction 0 with 7 rules applied. Total rules applied 7 place count 8657 transition count 15955
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 0 with 7 rules applied. Total rules applied 14 place count 8650 transition count 15955
Applied a total of 14 rules in 1306 ms. Remains 8650 /8657 variables (removed 7) and now considering 15955/15962 (removed 7) transitions.
Finished structural reductions, in 1 iterations. Remains : 8650/8657 places, 15955/15962 transitions.
Interrupted random walk after 179992 steps, including 6158 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 20
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12815) seen :0
Interrupted probabilistic random walk after 128926 steps, run timeout after 105001 ms. (steps per millisecond=1 ) properties seen :{6375=1}
Probabilistic random walk after 128926 steps, saw 58656 distinct states, run finished after 105006 ms. (steps per millisecond=1 ) properties seen :1
Running SMT prover for 12814 properties.
[2023-03-13 03:00:24] [INFO ] Flow matrix only has 14892 transitions (discarded 1063 similar events)
// Phase 1: matrix 14892 rows 8650 cols
[2023-03-13 03:00:24] [INFO ] Computed 1429 place invariants in 731 ms
[2023-03-13 03:04:35] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 03:04:35] [INFO ] After 225133ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 12814 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 6599 out of 8650 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 8650/8650 places, 15955/15955 transitions.
Free-agglomeration rule (complex) applied 4 times.
Iterating global reduction 0 with 4 rules applied. Total rules applied 4 place count 8650 transition count 15951
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 8 place count 8646 transition count 15951
Applied a total of 8 rules in 1015 ms. Remains 8646 /8650 variables (removed 4) and now considering 15951/15955 (removed 4) transitions.
Finished structural reductions, in 1 iterations. Remains : 8646/8650 places, 15951/15955 transitions.
Interrupted random walk after 179993 steps, including 6159 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 8
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12806) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 12806) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12806) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12806) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12806) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12806) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12806) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12806) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12806) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12806) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12806) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12806) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12806) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12806) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12806) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12806) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 12806) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12806) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 12806) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12806) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12806) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12806) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12806) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12806) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12806) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12806) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12806) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12806) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12806) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12806) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12806) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12806) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12806) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12806) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12806) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 12806) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12804) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12804) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12804) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12804) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12804) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12804) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12804) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12804) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12804) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 12804) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12804) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12804) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12804) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12804) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12804) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12804) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12804) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12804) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12804) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12804) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12804) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12804) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12804) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12803) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12802) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12802) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12802) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12802) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12802) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12802) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12802) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 12802) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12802) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 12802) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12802) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12802) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12802) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12800) seen :0
Interrupted probabilistic random walk after 174481 steps, run timeout after 138002 ms. (steps per millisecond=1 ) properties seen :{}
Probabilistic random walk after 174481 steps, saw 79267 distinct states, run finished after 138007 ms. (steps per millisecond=1 ) properties seen :0
Running SMT prover for 12800 properties.
[2023-03-13 03:07:41] [INFO ] Flow matrix only has 14884 transitions (discarded 1067 similar events)
// Phase 1: matrix 14884 rows 8646 cols
[2023-03-13 03:07:42] [INFO ] Computed 1429 place invariants in 671 ms
[2023-03-13 03:11:52] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 03:11:52] [INFO ] After 225025ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 12800 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 6591 out of 8646 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 8646/8646 places, 15951/15951 transitions.
Free-agglomeration rule (complex) applied 4 times.
Iterating global reduction 0 with 4 rules applied. Total rules applied 4 place count 8646 transition count 15947
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 8 place count 8642 transition count 15947
Applied a total of 8 rules in 1113 ms. Remains 8642 /8646 variables (removed 4) and now considering 15947/15951 (removed 4) transitions.
Finished structural reductions, in 1 iterations. Remains : 8642/8646 places, 15947/15951 transitions.
Interrupted random walk after 180000 steps, including 6164 resets, run timeout after 30002 ms. (steps per millisecond=5 ) properties seen 16
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 12784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 12784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 12784) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12781) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 12781) seen :0
Interrupted probabilistic random walk after 149884 steps, run timeout after 114002 ms. (steps per millisecond=1 ) properties seen :{}
Probabilistic random walk after 149884 steps, saw 68124 distinct states, run finished after 114002 ms. (steps per millisecond=1 ) properties seen :0
Running SMT prover for 12781 properties.
[2023-03-13 03:14:25] [INFO ] Flow matrix only has 14876 transitions (discarded 1071 similar events)
// Phase 1: matrix 14876 rows 8642 cols
[2023-03-13 03:14:26] [INFO ] Computed 1429 place invariants in 668 ms
[2023-03-13 03:18:36] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 03:18:36] [INFO ] After 225061ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 12781 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 6583 out of 8642 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 8642/8642 places, 15947/15947 transitions.
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 0 with 3 rules applied. Total rules applied 3 place count 8642 transition count 15944
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 6 place count 8639 transition count 15944
Applied a total of 6 rules in 1046 ms. Remains 8639 /8642 variables (removed 3) and now considering 15944/15947 (removed 3) transitions.
Finished structural reductions, in 1 iterations. Remains : 8639/8642 places, 15944/15947 transitions.
Interrupted random walk after 180001 steps, including 6170 resets, run timeout after 30002 ms. (steps per millisecond=5 ) properties seen 10
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 12771) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12771) seen :0
Interrupted probabilistic random walk after 125661 steps, run timeout after 108002 ms. (steps per millisecond=1 ) properties seen :{}
Probabilistic random walk after 125661 steps, saw 57146 distinct states, run finished after 108003 ms. (steps per millisecond=1 ) properties seen :0
Running SMT prover for 12771 properties.
[2023-03-13 03:21:02] [INFO ] Flow matrix only has 14870 transitions (discarded 1074 similar events)
// Phase 1: matrix 14870 rows 8639 cols

BK_TIME_CONFINEMENT_REACHED

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

+ export LANG=C
+ LANG=C
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ QuasiLiveness = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ ulimit -s 65536
+ export PYTHONPATH=/usr/lib/python3.9/site-packages/
+ PYTHONPATH=/usr/lib/python3.9/site-packages/
+ export LD_LIBRARY_PATH=/usr/local/lib:
+ LD_LIBRARY_PATH=/usr/local/lib:
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202205111006.jar
+ VERSION=202205111006
+ echo 'Running Version 202205111006'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data @none -pnfolder /home/mcc/execution -examination QuasiLiveness -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=@none -Xss128m -Xms40m -Xmx8192m

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="MultiCrashLeafsetExtension-PT-S32C04"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="gold2022"
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-5348"
echo " Executing tool gold2022"
echo " Input is MultiCrashLeafsetExtension-PT-S32C04, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r256-tall-167856441300567"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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