Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2022-input.r193-tajo-165281576900047.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2022-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is RERS17pb114-PT-1, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r193-tajo-165281576900047
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 7.3K Apr 29 17:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Apr 29 17:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.5K Apr 29 17:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 65K Apr 29 17:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:34 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K May 9 08:32 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K May 9 08:32 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K May 9 08:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 9 08:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 9 08:32 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 9 08:32 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 10 09:34 equiv_col
-rw-r--r-- 1 mcc users 2 May 10 09:34 instance
-rw-r--r-- 1 mcc users 6 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 73M May 10 09:34 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 1653136468827

Running Version 202205111006
[2022-05-21 12:34:30] [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]
[2022-05-21 12:34:30] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-21 12:34:32] [INFO ] Load time of PNML (sax parser for PT used): 2290 ms
[2022-05-21 12:34:32] [INFO ] Transformed 1446 places.
[2022-05-21 12:34:33] [INFO ] Transformed 151085 transitions.
[2022-05-21 12:34:33] [INFO ] Found NUPN structural information;
[2022-05-21 12:34:33] [INFO ] Parsed PT model containing 1446 places and 151085 transitions in 3052 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 1446/1446 places, 151085/151085 transitions.
Ensure Unique test removed 17 places
Iterating post reduction 0 with 17 rules applied. Total rules applied 17 place count 1429 transition count 151085
Applied a total of 17 rules in 2742 ms. Remains 1429 /1446 variables (removed 17) and now considering 151085/151085 (removed 0) transitions.
[2022-05-21 12:34:36] [INFO ] Flow matrix only has 84691 transitions (discarded 66394 similar events)
// Phase 1: matrix 84691 rows 1429 cols
[2022-05-21 12:34:36] [INFO ] Computed 18 place invariants in 661 ms
[2022-05-21 12:34:47] [INFO ] Implicit Places using invariants in 11644 ms returned []
Implicit Place search using SMT only with invariants took 11679 ms to find 0 implicit places.
[2022-05-21 12:34:47] [INFO ] Flow matrix only has 84691 transitions (discarded 66394 similar events)
// Phase 1: matrix 84691 rows 1429 cols
[2022-05-21 12:34:48] [INFO ] Computed 18 place invariants in 444 ms
[2022-05-21 12:35:18] [INFO ] Performed 82474/151085 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-05-21 12:35:43] [INFO ] Dead Transitions using invariants and state equation in 55930 ms found 0 transitions.
Starting structural reductions in LIVENESS mode, iteration 1 : 1429/1446 places, 151085/151085 transitions.
Finished structural reductions, in 1 iterations. Remains : 1429/1446 places, 151085/151085 transitions.
Discarding 9356 transitions out of 151085. Remains 141729
Initial state reduction rules removed 1 formulas.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 4534 ms. (steps per millisecond=2 ) properties (out of 141728) seen :1379
Interrupted probabilistic random walk after 1655 steps, run timeout after 24107 ms. (steps per millisecond=0 ) properties seen :{749=1, 763=1, 1052=1, 1134=1, 1138=1, 1153=1, 1290=1, 1944=1, 2587=1, 2603=1, 2946=1, 2948=1, 3550=1, 4012=1, 5120=1, 5144=1, 5236=1, 5247=1, 5250=1, 5259=1, 5289=1, 5306=1, 5313=1, 5315=1, 5323=1, 5331=1, 5337=1, 6844=1, 7329=1, 7991=1, 10310=1, 11071=1, 11324=1, 11783=1, 11794=1, 11796=1, 11802=1, 11804=1, 11806=1, 11880=1, 12118=1, 12848=1, 12850=1, 12852=1, 12854=1, 12856=1, 13039=1, 13309=1, 13323=1, 13369=1, 13383=1, 14138=1, 14306=1, 14327=1, 14403=1, 14425=1, 14722=1, 15751=1, 15763=1, 15789=1, 15813=1, 15825=1, 15876=1, 16880=1, 16906=1, 17048=1, 17443=1, 17504=1, 17513=1, 17550=1, 17568=1, 17574=1, 17597=1, 17645=1, 18103=1, 18592=1, 18596=1, 20970=1, 20984=1, 21054=1, 21075=1, 21150=1, 22049=1, 22074=1, 22076=1, 22328=1, 22331=1, 22343=1, 22349=1, 22389=1, 23406=1, 23419=1, 23571=1, 24513=1, 24530=1, 24537=1, 24874=1, 27809=1, 27829=1, 27830=1, 27832=1, 27840=1, 27843=1, 27867=1, 27881=1, 28157=1, 28885=1, 28887=1, 28893=1, 28901=1, 30025=1, 30039=1, 30102=1, 31329=1, 31394=1, 31396=1, 31404=1, 31409=1, 31424=1, 32358=1, 34349=1, 34352=1, 34358=1, 34362=1, 34364=1, 34366=1, 34370=1, 34372=1, 34906=1, 35267=1, 35717=1, 36316=1, 37961=1, 37975=1, 40912=1, 41823=1, 41829=1, 42083=1, 43593=1, 43597=1, 43612=1, 43617=1, 44030=1, 44484=1, 44493=1, 44566=1, 44669=1, 45326=1, 45328=1, 45425=1, 46413=1, 46514=1, 46583=1, 46601=1, 47089=1, 47109=1, 47629=1, 47679=1, 47853=1, 48678=1, 48679=1, 48730=1, 49704=1, 50876=1, 50946=1, 50964=1, 51706=1, 52832=1, 52862=1, 54526=1, 54710=1, 56218=1, 56823=1, 57295=1, 59017=1, 59287=1, 59507=1, 59510=1, 59514=1, 59831=1, 59846=1, 60067=1, 61821=1, 61892=1, 63839=1, 66027=1, 67145=1, 72898=1, 72907=1, 72928=1, 73926=1, 74600=1, 74998=1, 75577=1, 75680=1, 75692=1, 75713=1, 76007=1, 77559=1, 77565=1, 77701=1, 77747=1, 78421=1, 78495=1, 78507=1, 78529=1, 78718=1, 79209=1, 79451=1, 80285=1, 81354=1, 81365=1, 81935=1, 82507=1, 82527=1, 82543=1, 82559=1, 82581=1, 83440=1, 84513=1, 85631=1, 87749=1, 88385=1, 88458=1, 88527=1, 88618=1, 88886=1, 89606=1, 90713=1, 94097=1, 94940=1, 95055=1, 95799=1, 96079=1, 99134=1, 100153=1, 101272=1, 101604=1, 101645=1, 102876=1, 103473=1, 104226=1, 104408=1, 104429=1, 104501=1, 105294=1, 105375=1, 105389=1, 105665=1, 105696=1, 105730=1, 105945=1, 106339=1, 106433=1, 106570=1, 108508=1, 108815=1, 109629=1, 109677=1, 111400=1, 111410=1, 112162=1, 112174=1, 112295=1, 112329=1, 112338=1, 112357=1, 112369=1, 112375=1, 112734=1, 113310=1, 113441=1, 113450=1, 114297=1, 114330=1, 114789=1, 115178=1, 115192=1, 115211=1, 115354=1, 115377=1, 115380=1, 115386=1, 115505=1, 115578=1, 116210=1, 116250=1, 117375=1, 117381=1, 117818=1, 118274=1, 118808=1, 119666=1, 119675=1, 120096=1, 121110=1, 121996=1, 124153=1, 124867=1, 124872=1, 125961=1, 128215=1, 129756=1, 129963=1, 130006=1, 131524=1, 132101=1, 132129=1, 132660=1, 132911=1, 134519=1, 134522=1, 134988=1, 135001=1, 135004=1, 136113=1, 137654=1, 137670=1, 137708=1, 137937=1, 138017=1, 138909=1, 139989=1, 139996=1}
Probabilistic random walk after 1655 steps, saw 1181 distinct states, run finished after 24115 ms. (steps per millisecond=0 ) properties seen :324
Running SMT prover for 140022 properties.
[2022-05-21 12:36:20] [INFO ] Flow matrix only has 84691 transitions (discarded 66394 similar events)
// Phase 1: matrix 84691 rows 1429 cols
[2022-05-21 12:36:20] [INFO ] Computed 18 place invariants in 325 ms
[2022-05-21 12:36:46] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-05-21 12:36:46] [INFO ] After 25043ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 140022 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 24 ms.
Support contains 1428 out of 1429 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 1429/1429 places, 151085/151085 transitions.
Drop transitions removed 512 transitions
Reduce isomorphic transitions removed 512 transitions.
Iterating post reduction 0 with 512 rules applied. Total rules applied 512 place count 1429 transition count 150573
Applied a total of 512 rules in 1866 ms. Remains 1429 /1429 variables (removed 0) and now considering 150573/151085 (removed 512) transitions.
Finished structural reductions, in 1 iterations. Remains : 1429/1429 places, 150573/151085 transitions.
Interrupted random walk after 79531 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen 9081
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 215 ms. (steps per millisecond=4 ) properties (out of 130941) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 130940) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130940) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130939) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 130937) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 130931) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 130929) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130928) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 130926) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 130926) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130925) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 130920) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130919) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130919) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 130919) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 130918) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130918) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130918) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 130918) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 130917) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 130916) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 130915) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 130914) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 130912) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 130912) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130911) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130909) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130909) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 130908) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130908) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 130908) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 130908) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 130904) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 130904) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130901) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130901) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 130900) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 130897) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 130897) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130894) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 130894) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 130894) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130894) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130891) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 130891) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130891) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 130891) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130891) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 130890) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 130889) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130888) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 130888) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130888) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130888) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 130888) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 130888) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 130888) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 130888) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 130888) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130888) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130888) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130888) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130888) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 130888) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130888) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130885) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 130885) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 130884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 130884) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 130883) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 130883) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 130882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130882) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 130881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 130881) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 130881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 130881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 130881) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 130880) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 130880) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 130879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 130879) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 130879) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 130877) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130877) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130876) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 130876) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 130876) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 130872) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 130872) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 130871) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 130870) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130869) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 130869) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 130869) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 130867) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130867) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 130867) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 130867) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 130867) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 130867) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130866) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 130866) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130865) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130865) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 130865) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130865) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 130865) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 130865) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 130865) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 130865) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 130865) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130865) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130865) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130865) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 130865) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 130864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 130864) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 130863) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 130863) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 130863) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 130863) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 130863) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130863) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130863) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 130863) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 130863) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130863) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 130863) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130862) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 130861) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 130861) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130861) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 130861) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 130861) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130861) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 130860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 130860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 130860) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130859) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 130859) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 130857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 130857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 130857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 130857) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 130857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 130857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 130857) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 130856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 130856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 130856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 130856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 130856) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 130855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 130855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 130855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 130855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 130855) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 130855) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 130855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130855) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 130855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 130855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 130855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 130855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 130855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 130855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 130855) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 130854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 130854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 130854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130854) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 130854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 130854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 130854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 130854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 130854) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 130853) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 130853) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 130853) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 130853) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130852) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 130852) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 130852) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 130852) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 130851) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 130849) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130849) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130849) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 130848) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 130848) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 130848) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 130848) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 130845) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 130845) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130845) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130845) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 130844) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 130844) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130844) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130844) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 130844) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 130844) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 130844) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 130843) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130843) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130843) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130843) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130843) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 130843) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 130842) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130842) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 130842) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130842) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130842) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130842) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130842) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 130842) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 130842) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130842) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130842) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130840) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130840) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130839) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 130839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 130839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 130839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 130839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 130839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 130839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 130839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 130839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 130839) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 130839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 130839) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 130839) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 130839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130839) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130839) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 130839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 130839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 130839) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130838) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130838) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130838) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 130838) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 130838) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130838) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 130838) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 130838) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 130838) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 130838) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 130838) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 130837) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 130837) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 130837) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130836) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130836) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130836) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 194 ms. (steps per millisecond=5 ) properties (out of 130834) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 130834) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 130834) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 130834) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 130834) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130834) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 130834) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 130834) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 130834) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 130834) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 130834) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 130832) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 130832) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 130832) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 130832) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 130832) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 130832) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 130832) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 130832) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130832) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 130832) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130832) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130831) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 130831) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130831) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 130831) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130831) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 130831) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130831) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130831) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130831) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130831) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 130831) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 130831) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 130831) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 130830) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 130830) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 130830) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130830) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130830) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130830) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130830) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 130830) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 130829) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130828) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 130828) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 130828) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 130828) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130828) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130828) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130828) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 130828) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 130828) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 130828) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 130828) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130828) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130828) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130828) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 130828) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 130828) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130828) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 130828) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 130828) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130828) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130828) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130828) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 130828) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130828) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130828) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130828) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 130827) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 130827) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130827) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 130827) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 130827) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 130827) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 130827) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130827) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 130827) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130827) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130827) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130827) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 130826) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130826) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 130825) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130825) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 130825) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130825) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130825) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130825) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130825) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 130825) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130825) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 130825) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130825) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 130825) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 130825) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130825) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 130825) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 130825) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 130825) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 130824) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130824) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130824) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 130823) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130823) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130823) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130823) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 130823) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 130823) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130823) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 130821) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 130820) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130820) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130819) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130819) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 130819) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130819) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 130819) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130819) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 130819) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130819) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 130819) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 130819) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 130819) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 130819) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130815) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 130814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 130814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 130814) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 130813) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 130813) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130813) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 130813) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130813) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130813) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130813) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 130813) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130813) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130813) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 130813) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130809) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 130809) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 130809) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 130809) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 130809) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130808) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130808) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130808) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130808) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130808) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 130807) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 130807) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 130807) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130807) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130807) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 130807) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 130807) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 130807) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 130807) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130807) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 130807) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 130807) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130807) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 130807) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 130807) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 130806) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 130806) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130806) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130805) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 130803) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130803) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 130800) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 130800) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 130800) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130800) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130800) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 130800) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 130800) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 130800) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130800) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 130800) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130798) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 130798) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 130798) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130798) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 130798) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 130798) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 130798) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 130798) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 130798) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130798) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 130798) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130798) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 130798) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130796) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130796) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 130796) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130796) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130796) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130796) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130792) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 130792) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130792) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 130792) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 130792) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130792) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130792) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130792) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 130792) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 130792) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130792) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130792) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130792) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130792) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 130792) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 130792) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130792) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130792) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130792) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130792) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130792) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 130792) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 130792) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130792) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 130792) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 130792) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 130791) seen :0
Interrupted probabilistic random walk after 29355 steps, run timeout after 387021 ms. (steps per millisecond=0 ) properties seen :{76=1, 79=1, 108=1, 120=1, 123=1, 150=1, 192=1, 197=1, 206=1, 219=1, 230=1, 231=1, 243=1, 255=1, 258=1, 312=1, 320=1, 324=1, 336=1, 367=1, 388=1, 550=1, 618=1, 656=1, 686=1, 699=1, 717=1, 720=1, 734=1, 838=1, 844=1, 935=1, 937=1, 939=1, 963=1, 985=1, 1077=1, 1220=1, 1524=1, 1533=1, 1624=1, 1735=1, 2029=1, 2037=1, 2199=1, 2204=1, 2473=1, 2493=1, 2505=1, 2509=1, 2588=1, 2592=1, 2599=1, 2608=1, 2809=1, 2811=1, 2813=1, 2815=1, 2817=1, 2825=1, 2827=1, 2835=1, 2837=1, 2839=1, 2842=1, 2844=1, 2848=1, 2850=1, 2852=1, 2854=1, 2856=1, 2859=1, 2865=1, 2871=1, 2887=1, 2902=1, 2926=1, 2930=1, 2948=1, 2981=1, 3041=1, 3074=1, 3173=1, 3194=1, 3268=1, 3271=1, 3281=1, 3284=1, 3290=1, 3305=1, 3317=1, 3320=1, 3353=1, 3354=1, 3496=1, 3517=1, 3523=1, 3529=1, 3534=1, 3538=1, 3546=1, 3603=1, 3812=1, 4000=1, 4216=1, 4267=1, 4269=1, 4280=1, 4304=1, 4316=1, 4601=1, 4922=1, 4927=1, 4928=1, 4948=1, 4954=1, 4982=1, 4987=1, 4996=1, 5076=1, 5088=1, 5174=1, 5181=1, 5185=1, 5269=1, 5307=1, 5309=1, 5313=1, 5334=1, 5345=1, 5356=1, 5379=1, 5696=1, 5796=1, 5828=1, 5888=1, 5913=1, 5930=1, 5955=1, 6114=1, 6117=1, 6122=1, 6129=1, 6135=1, 6147=1, 6161=1, 6186=1, 6189=1, 6222=1, 6389=1, 6425=1, 6450=1, 6495=1, 6630=1, 6710=1, 6819=1, 7464=1, 7469=1, 7484=1, 7490=1, 7783=1, 7790=1, 7793=1, 7799=1, 7801=1, 7819=1, 7825=1, 7831=1, 7835=1, 8144=1, 8149=1, 8170=1, 8176=1, 8186=1, 8194=1, 8200=1, 8206=1, 8310=1, 8315=1, 8470=1, 8609=1, 8676=1, 8748=1, 8822=1, 8827=1, 8898=1, 9037=1, 9045=1, 9084=1, 9096=1, 9192=1, 9228=1, 9236=1, 9238=1, 9246=1, 9419=1, 9433=1, 9445=1, 9478=1, 9511=1, 9569=1, 9610=1, 9617=1, 9695=1, 9734=1, 9738=1, 9746=1, 9773=1, 9783=1, 9866=1, 10275=1, 10322=1, 10573=1, 10599=1, 10670=1, 10983=1, 10999=1, 11091=1, 11217=1, 11345=1, 11372=1, 11391=1, 11421=1, 12112=1, 12167=1, 12218=1, 12413=1, 12427=1, 12487=1, 12498=1, 12863=1, 12867=1, 13046=1, 13144=1, 13158=1, 13161=1, 13169=1, 13263=1, 13325=1, 13346=1, 13349=1, 13373=1, 13414=1, 13656=1, 13715=1, 13718=1, 13729=1, 13767=1, 13770=1, 13851=1, 13866=1, 13904=1, 13967=1, 13984=1, 14002=1, 14008=1, 14023=1, 14059=1, 14071=1, 14221=1, 14225=1, 14240=1, 14253=1, 14268=1, 14271=1, 14276=1, 14288=1, 14303=1, 14328=1, 14332=1, 14361=1, 14376=1, 14379=1, 14382=1, 14391=1, 14408=1, 14529=1, 14728=1, 14762=1, 14802=1, 14816=1, 14821=1, 14825=1, 14829=1, 14834=1, 14842=1, 14846=1, 14851=1, 14852=1, 14856=1, 14865=1, 14887=1, 14917=1, 15075=1, 15088=1, 15093=1, 15097=1, 15162=1, 15164=1, 15187=1, 15285=1, 15375=1, 15405=1, 15414=1, 15427=1, 15434=1, 15447=1, 15462=1, 15543=1, 15753=1, 15842=1, 15873=1, 15877=1, 15898=1, 15917=1, 15953=1, 15963=1, 15967=1, 16032=1, 16330=1, 16378=1, 16432=1, 16842=1, 16857=1, 16868=1, 16883=1, 16897=1, 16901=1, 16999=1, 17001=1, 17008=1, 17013=1, 17336=1, 17495=1, 17519=1, 17520=1, 17534=1, 17536=1, 17538=1, 17539=1, 17541=1, 17543=1, 17549=1, 17553=1, 17556=1, 17562=1, 17564=1, 17569=1, 17574=1, 17576=1, 17580=1, 17582=1, 17584=1, 17587=1, 17687=1, 17692=1, 17698=1, 17701=1, 17702=1, 17711=1, 17713=1, 17721=1, 17723=1, 17730=1, 17732=1, 17734=1, 17749=1, 17773=1, 18490=1, 18501=1, 18624=1, 18657=1, 18676=1, 18716=1, 18799=1, 18846=1, 19116=1, 19184=1, 19188=1, 19189=1, 19241=1, 19260=1, 19276=1, 19280=1, 19319=1, 19335=1, 19553=1, 19555=1, 19562=1, 19573=1, 19575=1, 19583=1, 19596=1, 19626=1, 19691=1, 19743=1, 19747=1, 19748=1, 19765=1, 19771=1, 19773=1, 19781=1, 19782=1, 19785=1, 19786=1, 19790=1, 19791=1, 19801=1, 19803=1, 19809=1, 20108=1, 20109=1, 20112=1, 20121=1, 20123=1, 20127=1, 20143=1, 20239=1, 20268=1, 20433=1, 20444=1, 20447=1, 20450=1, 20457=1, 20468=1, 20543=1, 20551=1, 20570=1, 20579=1, 20636=1, 20640=1, 20682=1, 20776=1, 20811=1, 21164=1, 21190=1, 21205=1, 21407=1, 21421=1, 21425=1, 21432=1, 21441=1, 21848=1, 21900=1, 21947=1, 22109=1, 22709=1, 22854=1, 22864=1, 22935=1, 22946=1, 23053=1, 23091=1, 23177=1, 23184=1, 23424=1, 23569=1, 23590=1, 23596=1, 24037=1, 24038=1, 24042=1, 24044=1, 24051=1, 24054=1, 24055=1, 24060=1, 24255=1, 24369=1, 24398=1, 24441=1, 24444=1, 24460=1, 24475=1, 24507=1, 24542=1, 24670=1, 24857=1, 24858=1, 24870=1, 24913=1, 24927=1, 25077=1, 25214=1, 25226=1, 25604=1, 25624=1, 25639=1, 25831=1, 25862=1, 25865=1, 25876=1, 25889=1, 25897=1, 25900=1, 25901=1, 25920=1, 25933=1, 25940=1, 25943=1, 25946=1, 25947=1, 25950=1, 26046=1, 26160=1, 26208=1, 26246=1, 26462=1, 26468=1, 26588=1, 26713=1, 26723=1, 26727=1, 26730=1, 26746=1, 26779=1, 26900=1, 26902=1, 26910=1, 26928=1, 26934=1, 26954=1, 27320=1, 27348=1, 27383=1, 27422=1, 27499=1, 27873=1, 27980=1, 28025=1, 28072=1, 28306=1, 28466=1, 28702=1, 28870=1, 28890=1, 28892=1, 28898=1, 28959=1, 29047=1, 29197=1, 29212=1, 29223=1, 29225=1, 29244=1, 29440=1, 29826=1, 29880=1, 29889=1, 29895=1, 29896=1, 30075=1, 30106=1, 30234=1, 30240=1, 30251=1, 30338=1, 30414=1, 30482=1, 30497=1, 30647=1, 30659=1, 30671=1, 30819=1, 31065=1, 31067=1, 31069=1, 31070=1, 31088=1, 31090=1, 31092=1, 31097=1, 31105=1, 31136=1, 31151=1, 31176=1, 31180=1, 31186=1, 31190=1, 31191=1, 31246=1, 31249=1, 31253=1, 31257=1, 31323=1, 31377=1, 31407=1, 31899=1, 31901=1, 31902=1, 31907=1, 31910=1, 31914=1, 31921=1, 32003=1, 32020=1, 32053=1, 32350=1, 32364=1, 32395=1, 32891=1, 32904=1, 32970=1, 32976=1, 33103=1, 33146=1, 33269=1, 33284=1, 33290=1, 33329=1, 33350=1, 33530=1, 33545=1, 33566=1, 33720=1, 33791=1, 33797=1, 33807=1, 33813=1, 33815=1, 33816=1, 34007=1, 34009=1, 34022=1, 34277=1, 34329=1, 34373=1, 34374=1, 34375=1, 34382=1, 34669=1, 34949=1, 34951=1, 34958=1, 34967=1, 34975=1, 34977=1, 34978=1, 34982=1, 34987=1, 35574=1, 36260=1, 36273=1, 36322=1, 36360=1, 36515=1, 36564=1, 36579=1, 36595=1, 37073=1, 37179=1, 37193=1, 37215=1, 37681=1, 37756=1, 37828=1, 37912=1, 37928=1, 37959=1, 38025=1, 38027=1, 38055=1, 38062=1, 38078=1, 38123=1, 38182=1, 38191=1, 38532=1, 38653=1, 38715=1, 39145=1, 39151=1, 39248=1, 39560=1, 39991=1, 40040=1, 40047=1, 40087=1, 40113=1, 40115=1, 40259=1, 40378=1, 40405=1, 40416=1, 40471=1, 40481=1, 40795=1, 40798=1, 40832=1, 40860=1, 40863=1, 40917=1, 40943=1, 41155=1, 41193=1, 41327=1, 41335=1, 41360=1, 41365=1, 41484=1, 41577=1, 41624=1, 42298=1, 42305=1, 42475=1, 42537=1, 42543=1, 42560=1, 42606=1, 43105=1, 43119=1, 43128=1, 43143=1, 43163=1, 43220=1, 43278=1, 43387=1, 43467=1, 43474=1, 43499=1, 43505=1, 43553=1, 43582=1, 43587=1, 43615=1, 43623=1, 43697=1, 43713=1, 43758=1, 43764=1, 43775=1, 43786=1, 44089=1, 44136=1, 44140=1, 44142=1, 44143=1, 44145=1, 44149=1, 44151=1, 44247=1, 44457=1, 44459=1, 44466=1, 44484=1, 44498=1, 44508=1, 44658=1, 44681=1, 44684=1, 44829=1, 44843=1, 45265=1, 45277=1, 45520=1, 45560=1, 45609=1, 45643=1, 45718=1, 45725=1, 46502=1, 46662=1, 46673=1, 46674=1, 46675=1, 46679=1, 46891=1, 46897=1, 46922=1, 46964=1, 47218=1, 47266=1, 47329=1, 47629=1, 47850=1, 47895=1, 47973=1, 48255=1, 48364=1, 48554=1, 48640=1, 48718=1, 48995=1, 49004=1, 49017=1, 49165=1, 49335=1, 49496=1, 49504=1, 49506=1, 49517=1, 49919=1, 49941=1, 49953=1, 49989=1, 50000=1, 50004=1, 50005=1, 50007=1, 50016=1, 50115=1, 50239=1, 50382=1, 50387=1, 50407=1, 50423=1, 50427=1, 50540=1, 50564=1, 50928=1, 50954=1, 50962=1, 50968=1, 50991=1, 51031=1, 51407=1, 51673=1, 51727=1, 51755=1, 51795=1, 51801=1, 51930=1, 52125=1, 52655=1, 52776=1, 52863=1, 52867=1, 53022=1, 53026=1, 53035=1, 53075=1, 53104=1, 53160=1, 53275=1, 53284=1, 53524=1, 53559=1, 53632=1, 53648=1, 53921=1, 54179=1, 54448=1, 54616=1, 54638=1, 54649=1, 54970=1, 55130=1, 55155=1, 55163=1, 55184=1, 55481=1, 55969=1, 56003=1, 56008=1, 56046=1, 56053=1, 56104=1, 56144=1, 57167=1, 57213=1, 57220=1, 57233=1, 57518=1, 57600=1, 57855=1, 57958=1, 58091=1, 58215=1, 58898=1, 59066=1, 59192=1, 59205=1, 59551=1, 59598=1, 59709=1, 59819=1, 59894=1, 59899=1, 59916=1, 60003=1, 60110=1, 60125=1, 60127=1, 60371=1, 60741=1, 60761=1, 60796=1, 60802=1, 60832=1, 60846=1, 61215=1, 61504=1, 61513=1, 61572=1, 62085=1, 62262=1, 62310=1, 62385=1, 62677=1, 62806=1, 62812=1, 62891=1, 63256=1, 63313=1, 63449=1, 63466=1, 63702=1, 64017=1, 64036=1, 64097=1, 64136=1, 64296=1, 64310=1, 64347=1, 64773=1, 64800=1, 64881=1, 64889=1, 64905=1, 64913=1, 65164=1, 65178=1, 65249=1, 65275=1, 65410=1, 65499=1, 65546=1, 65620=1, 65851=1, 66062=1, 66215=1, 66368=1, 66652=1, 66737=1, 67137=1, 67146=1, 67151=1, 67220=1, 67225=1, 67244=1, 67249=1, 67269=1, 67619=1, 67629=1, 67687=1, 67715=1, 67842=1, 68060=1, 68071=1, 68078=1, 68089=1, 68366=1, 68480=1, 68495=1, 68503=1, 69046=1, 69272=1, 69279=1, 69282=1, 69515=1, 69564=1, 69809=1, 69819=1, 69852=1, 70160=1, 70233=1, 70521=1, 70530=1, 70568=1, 70585=1, 70866=1, 70959=1, 71510=1, 71514=1, 72050=1, 72057=1, 72097=1, 72103=1, 72111=1, 72117=1, 72125=1, 72127=1, 72364=1, 72421=1, 72710=1, 72736=1, 72738=1, 72830=1, 73369=1, 73386=1, 73387=1, 73395=1, 73475=1, 73518=1, 73557=1, 73559=1, 73565=1, 73570=1, 73585=1, 73591=1, 73597=1, 73600=1, 73622=1, 73626=1, 73629=1, 73713=1, 73786=1, 73791=1, 73796=1, 73806=1, 74152=1, 74443=1, 74458=1, 74489=1, 74599=1, 75291=1, 75304=1, 75481=1, 75522=1, 75524=1, 75716=1, 75824=1, 75939=1, 75986=1, 76023=1, 76065=1, 76232=1, 76249=1, 76286=1, 76313=1, 76327=1, 76342=1, 76710=1, 76724=1, 76844=1, 76911=1, 77122=1, 77128=1, 77148=1, 77155=1, 77655=1, 77686=1, 78191=1, 78194=1, 78456=1, 78462=1, 78482=1, 78484=1, 78622=1, 78716=1, 78804=1, 78815=1, 78822=1, 78845=1, 78854=1, 78872=1, 79015=1, 79311=1, 79626=1, 79639=1, 79663=1, 79843=1, 80834=1, 80837=1, 80840=1, 80841=1, 80843=1, 80844=1, 80845=1, 81044=1, 81164=1, 81343=1, 81375=1, 81625=1, 81852=1, 82275=1, 82401=1, 82438=1, 82466=1, 82499=1, 82669=1, 82673=1, 82674=1, 82675=1, 83285=1, 83313=1, 83328=1, 83381=1, 83414=1, 83420=1, 83454=1, 83688=1, 83809=1, 84118=1, 84120=1, 84127=1, 84219=1, 84271=1, 84355=1, 84560=1, 84573=1, 85015=1, 85051=1, 85134=1, 85153=1, 85157=1, 85165=1, 85184=1, 85283=1, 85300=1, 85343=1, 85355=1, 85358=1, 85361=1, 85379=1, 85399=1, 85839=1, 85862=1, 85879=1, 85898=1, 86056=1, 86087=1, 86251=1, 86344=1, 86662=1, 87452=1, 87941=1, 87950=1, 88403=1, 88421=1, 88502=1, 88519=1, 88527=1, 88667=1, 89358=1, 89587=1, 89881=1, 89909=1, 90004=1, 90478=1, 90655=1, 90678=1, 90922=1, 91261=1, 91267=1, 91312=1, 91321=1, 91327=1, 91430=1, 91449=1, 91689=1, 91696=1, 91731=1, 92187=1, 92688=1, 92735=1, 92757=1, 93018=1, 93348=1, 93661=1, 93687=1, 93691=1, 93720=1, 94129=1, 94399=1, 94414=1, 94438=1, 94440=1, 94450=1, 94456=1, 94464=1, 94681=1, 94694=1, 94729=1, 94738=1, 94934=1, 94939=1, 95475=1, 96239=1, 96245=1, 96562=1, 96821=1, 96822=1, 96946=1, 96956=1, 96993=1, 97012=1, 97035=1, 97132=1, 97134=1, 97136=1, 97148=1, 97196=1, 97765=1, 97815=1, 97828=1, 97900=1, 97957=1, 98096=1, 98132=1, 98142=1, 98155=1, 98194=1, 98258=1, 98269=1, 98289=1, 98356=1, 98450=1, 98475=1, 98503=1, 98544=1, 98557=1, 99030=1, 99039=1, 99133=1, 99141=1, 99147=1, 99151=1, 99153=1, 99361=1, 99363=1, 99367=1, 99378=1, 99394=1, 99595=1, 99793=1, 99865=1, 99882=1, 99890=1, 99893=1, 99896=1, 100051=1, 100570=1, 100806=1, 100839=1, 101132=1, 101161=1, 101167=1, 101172=1, 101179=1, 101191=1, 101428=1, 101431=1, 101445=1, 101478=1, 101487=1, 101490=1, 101549=1, 101790=1, 102179=1, 102275=1, 102280=1, 102316=1, 102319=1, 102352=1, 102436=1, 102463=1, 102481=1, 102670=1, 102683=1, 102686=1, 102969=1, 103050=1, 103052=1, 103055=1, 103067=1, 103075=1, 103078=1, 103097=1, 103107=1, 103131=1, 103138=1, 103231=1, 103390=1, 103409=1, 103455=1, 103460=1, 103467=1, 103784=1, 103917=1, 103920=1, 103929=1, 103941=1, 103954=1, 104532=1, 104615=1, 104714=1, 104797=1, 104807=1, 104949=1, 105449=1, 105538=1, 105601=1, 105628=1, 105729=1, 105745=1, 105749=1, 106362=1, 106400=1, 106460=1, 106467=1, 106495=1, 106552=1, 107303=1, 107315=1, 107317=1, 107324=1, 107343=1, 107374=1, 107432=1, 107687=1, 107700=1, 107712=1, 108106=1, 108112=1, 108285=1, 108461=1, 108540=1, 108556=1, 108753=1, 109108=1, 109146=1, 109259=1, 109340=1, 109383=1, 109386=1, 109404=1, 109409=1, 109677=1, 109679=1, 109751=1, 109764=1, 109765=1, 109778=1, 109893=1, 109907=1, 109979=1, 110700=1, 110703=1, 110712=1, 110743=1, 110747=1, 110993=1, 111060=1, 111064=1, 111119=1, 111161=1, 111292=1, 111294=1, 111533=1, 111572=1, 111863=1, 111936=1, 111991=1, 112108=1, 112127=1, 112129=1, 113064=1, 113073=1, 113775=1, 113781=1, 114117=1, 114266=1, 114303=1, 114505=1, 114522=1, 114703=1, 114715=1, 114741=1, 114918=1, 114926=1, 114952=1, 114956=1, 115381=1, 115598=1, 115621=1, 115624=1, 115628=1, 115638=1, 115798=1, 116145=1, 116152=1, 116359=1, 116460=1, 116476=1, 116524=1, 116546=1, 116585=1, 116586=1, 116589=1, 116599=1, 116634=1, 116689=1, 117601=1, 117780=1, 117792=1, 117932=1, 118100=1, 118122=1, 118133=1, 118136=1, 118158=1, 118164=1, 118448=1, 118471=1, 118531=1, 118556=1, 118566=1, 118963=1, 118973=1, 118976=1, 119062=1, 119165=1, 119170=1, 119270=1, 119273=1, 119317=1, 119323=1, 119328=1, 119443=1, 119532=1, 119752=1, 119813=1, 119832=1, 120065=1, 120069=1, 120137=1, 120204=1, 120215=1, 120259=1, 120285=1, 120315=1, 120350=1, 120380=1, 120529=1, 120586=1, 120606=1, 120787=1, 120815=1, 120823=1, 121014=1, 121016=1, 121027=1, 121156=1, 121161=1, 121165=1, 121208=1, 121356=1, 121503=1, 121586=1, 121868=1, 122055=1, 122153=1, 122159=1, 122169=1, 122196=1, 122434=1, 122485=1, 122501=1, 122505=1, 122724=1, 122769=1, 123132=1, 123142=1, 123167=1, 123174=1, 123186=1, 123220=1, 123234=1, 123347=1, 123349=1, 123374=1, 123583=1, 123600=1, 123790=1, 123818=1, 123929=1, 123992=1, 123998=1, 124500=1, 124504=1, 124507=1, 124515=1, 124517=1, 124519=1, 124522=1, 124799=1, 124852=1, 124865=1, 124893=1, 124910=1, 124922=1, 124926=1, 125332=1, 125359=1, 125450=1, 125699=1, 125716=1, 125717=1, 125733=1, 125735=1, 125791=1, 125900=1, 126154=1, 126211=1, 126356=1, 126370=1, 126437=1, 126611=1, 126702=1, 126709=1, 126712=1, 126721=1, 126745=1, 126758=1, 126823=1, 126825=1, 126833=1, 126837=1, 126951=1, 127423=1, 127562=1, 127572=1, 127612=1, 127713=1, 127769=1, 127827=1, 127923=1, 128140=1, 128162=1, 128355=1, 128360=1, 128375=1, 128390=1, 128392=1, 128549=1, 128553=1, 128565=1, 128686=1, 128703=1, 128726=1, 128755=1, 128762=1, 129177=1, 129263=1, 129293=1, 129396=1, 129440=1, 129442=1, 129455=1, 129458=1, 129465=1, 129635=1, 129793=1, 129825=1, 129956=1, 130002=1, 130346=1, 130465=1, 130467=1, 130473=1}
Probabilistic random walk after 29355 steps, saw 24069 distinct states, run finished after 387026 ms. (steps per millisecond=0 ) properties seen :1561
Running SMT prover for 129230 properties.
[2022-05-21 12:45:26] [INFO ] Flow matrix only has 84690 transitions (discarded 65883 similar events)
// Phase 1: matrix 84690 rows 1429 cols
[2022-05-21 12:45:27] [INFO ] Computed 18 place invariants in 380 ms
[2022-05-21 12:49:12] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-05-21 12:49:12] [INFO ] After 225023ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 129230 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 13 ms.
Support contains 1427 out of 1429 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 1429/1429 places, 150573/150573 transitions.
Applied a total of 0 rules in 1022 ms. Remains 1429 /1429 variables (removed 0) and now considering 150573/150573 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1429/1429 places, 150573/150573 transitions.
Interrupted random walk after 108201 steps, including 0 resets, run timeout after 30004 ms. (steps per millisecond=3 ) properties seen 8046
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 121184) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 121184) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 121184) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 121184) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 121184) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 121184) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 121183) seen :0
Interrupted probabilistic random walk after 11735 steps, run timeout after 117009 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 11735 steps, saw 9783 distinct states, run finished after 117023 ms. (steps per millisecond=0 ) properties seen :0
Running SMT prover for 121183 properties.
[2022-05-21 12:51:51] [INFO ] Flow matrix only has 84690 transitions (discarded 65883 similar events)
// Phase 1: matrix 84690 rows 1429 cols
[2022-05-21 12:51:51] [INFO ] Computed 18 place invariants in 250 ms
[2022-05-21 12:55:37] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-05-21 12:55:37] [INFO ] After 225026ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 121183 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 11 ms.
Support contains 1426 out of 1429 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 1429/1429 places, 150573/150573 transitions.
Applied a total of 0 rules in 907 ms. Remains 1429 /1429 variables (removed 0) and now considering 150573/150573 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1429/1429 places, 150573/150573 transitions.
Interrupted random walk after 117749 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=3 ) properties seen 6298
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 114885) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 114885) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 114885) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 114884) seen :0
Interrupted probabilistic random walk after 10611 steps, run timeout after 117107 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 10611 steps, saw 8827 distinct states, run finished after 117109 ms. (steps per millisecond=0 ) properties seen :0
Running SMT prover for 114884 properties.
[2022-05-21 12:58:15] [INFO ] Flow matrix only has 84690 transitions (discarded 65883 similar events)
// Phase 1: matrix 84690 rows 1429 cols
[2022-05-21 12:58:15] [INFO ] Computed 18 place invariants in 356 ms
[2022-05-21 13:02:01] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-05-21 13:02:01] [INFO ] After 225030ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 114884 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 11 ms.
Support contains 1426 out of 1429 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 1429/1429 places, 150573/150573 transitions.
Applied a total of 0 rules in 1046 ms. Remains 1429 /1429 variables (removed 0) and now considering 150573/150573 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1429/1429 places, 150573/150573 transitions.
Interrupted random walk after 103760 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=3 ) properties seen 4330
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 110554) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 110554) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 110554) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 110554) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 110554) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 110554) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 110554) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 110554) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 110554) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 110554) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 110554) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 110553) seen :0

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="RERS17pb114-PT-1"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is RERS17pb114-PT-1, 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 r193-tajo-165281576900047"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb114-PT-1.tgz
mv RERS17pb114-PT-1 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 ;