fond
Model Checking Contest 2022
12th edition, Bergen, Norway, June 21, 2022
Execution of r324-tall-165472293700412
Last Updated
Jun 22, 2022

About the Execution of 2021-gold for RERS2020-PT-pb105

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
16235.428 1800000.00 3435924.00 17196.20 [undef] Time out reached

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 86M
-rw-r--r-- 1 mcc users 6.8K Jun 7 17:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Jun 7 17:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Jun 7 17:39 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Jun 7 17:39 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Jun 6 15:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Jun 6 15:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Jun 6 15:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Jun 6 15:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Jun 6 12:11 NewModel
-rw-r--r-- 1 mcc users 15K Jun 7 17:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 158K Jun 7 17:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.8K Jun 7 17:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 55K Jun 7 17:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Jun 6 15:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Jun 6 15:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jun 6 12:11 equiv_col
-rw-r--r-- 1 mcc users 6 Jun 6 12:11 instance
-rw-r--r-- 1 mcc users 6 Jun 6 12:11 iscolored
-rw-r--r-- 1 mcc users 85M Jun 6 12:11 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 1654755514490

Running Version 0
[2022-06-09 06:18:36] [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-06-09 06:18:36] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-06-09 06:18:38] [INFO ] Load time of PNML (sax parser for PT used): 2620 ms
[2022-06-09 06:18:39] [INFO ] Transformed 1982 places.
[2022-06-09 06:18:39] [INFO ] Transformed 153412 transitions.
[2022-06-09 06:18:39] [INFO ] Found NUPN structural information;
[2022-06-09 06:18:39] [INFO ] Parsed PT model containing 1982 places and 153412 transitions in 3210 ms.
Starting structural reductions, iteration 0 : 1982/1982 places, 153412/153412 transitions.
Graph (trivial) has 1755 edges and 1982 vertex of which 115 / 1982 are part of one of the 43 SCC in 62 ms
Free SCC test removed 72 places
Ensure Unique test removed 4359 transitions
Reduce isomorphic transitions removed 4359 transitions.
Ensure Unique test removed 10 places
Reduce places removed 11 places and 0 transitions.
Drop transitions removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 0 with 13 rules applied. Total rules applied 14 place count 1899 transition count 149051
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 16 place count 1897 transition count 149051
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 3 Pre rules applied. Total rules applied 16 place count 1897 transition count 149048
Deduced a syphon composed of 3 places in 211 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 2 with 6 rules applied. Total rules applied 22 place count 1894 transition count 149048
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 23 place count 1893 transition count 149047
Iterating global reduction 2 with 1 rules applied. Total rules applied 24 place count 1893 transition count 149047
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 25 place count 1893 transition count 149046
Performed 18 Post agglomeration using F-continuation condition.Transition count delta: 18
Deduced a syphon composed of 18 places in 108 ms
Reduce places removed 18 places and 0 transitions.
Iterating global reduction 3 with 36 rules applied. Total rules applied 61 place count 1875 transition count 149028
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 62 place count 1875 transition count 149027
Performed 31 Post agglomeration using F-continuation condition.Transition count delta: -97
Deduced a syphon composed of 31 places in 187 ms
Reduce places removed 31 places and 0 transitions.
Iterating global reduction 4 with 62 rules applied. Total rules applied 124 place count 1844 transition count 149124
Ensure Unique test removed 12 transitions
Reduce isomorphic transitions removed 12 transitions.
Iterating post reduction 4 with 12 rules applied. Total rules applied 136 place count 1844 transition count 149112
Applied a total of 136 rules in 5257 ms. Remains 1844 /1982 variables (removed 138) and now considering 149112/153412 (removed 4300) transitions.
[2022-06-09 06:18:45] [INFO ] Flow matrix only has 104750 transitions (discarded 44362 similar events)
// Phase 1: matrix 104750 rows 1844 cols
[2022-06-09 06:18:45] [INFO ] Computed 10 place invariants in 584 ms
[2022-06-09 06:18:55] [INFO ] Implicit Places using invariants in 10822 ms returned []
Implicit Place search using SMT only with invariants took 10851 ms to find 0 implicit places.
[2022-06-09 06:18:55] [INFO ] Flow matrix only has 104750 transitions (discarded 44362 similar events)
// Phase 1: matrix 104750 rows 1844 cols
[2022-06-09 06:18:56] [INFO ] Computed 10 place invariants in 513 ms
[2022-06-09 06:19:26] [INFO ] Performed 81466/149112 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-06-09 06:19:50] [INFO ] Dead Transitions using invariants and state equation in 54635 ms returned []
Finished structural reductions, in 1 iterations. Remains : 1844/1982 places, 149112/153412 transitions.
Discarding 60983 transitions out of 149112. Remains 88129
[2022-06-09 06:19:51] [INFO ] Initial state test concluded for 1 properties.
Interrupted random walk after 1775 steps, including 0 resets, run timeout after 30004 ms. (steps per millisecond=0 ) properties seen :{74=1, 173=1, 455=1, 750=1, 1044=1, 1086=1, 1113=1, 1162=1, 1189=1, 1211=1, 1495=1, 1541=1, 1543=1, 2015=1, 2099=1, 2228=1, 2446=1, 2464=1, 2470=1, 2714=1, 2717=1, 2802=1, 2818=1, 2840=1, 2884=1, 2909=1, 2916=1, 2962=1, 3009=1, 3119=1, 3309=1, 3359=1, 3455=1, 3493=1, 3542=1, 3660=1, 3850=1, 4365=1, 4504=1, 4801=1, 4810=1, 4835=1, 5006=1, 5049=1, 5273=1, 5284=1, 5293=1, 5297=1, 5455=1, 5492=1, 5710=1, 5734=1, 5744=1, 5751=1, 5754=1, 5793=1, 5805=1, 5928=1, 5992=1, 6023=1, 6066=1, 6089=1, 6096=1, 6181=1, 6184=1, 6192=1, 6203=1, 6208=1, 6219=1, 6229=1, 6259=1, 6275=1, 6337=1, 6391=1, 6404=1, 6427=1, 6433=1, 6470=1, 6481=1, 6492=1, 6502=1, 6530=1, 6616=1, 6624=1, 6665=1, 6764=1, 6921=1, 6923=1, 6929=1, 6970=1, 7000=1, 7024=1, 7624=1, 8185=1, 8197=1, 8235=1, 8322=1, 8352=1, 8370=1, 8527=1, 8537=1, 8539=1, 8545=1, 8546=1, 8548=1, 8558=1, 8574=1, 8601=1, 8605=1, 8627=1, 8637=1, 8693=1, 8764=1, 8769=1, 8795=1, 9232=1, 9243=1, 9253=1, 9263=1, 9385=1, 9395=1, 9410=1, 9457=1, 9474=1, 9485=1, 9491=1, 9502=1, 9510=1, 9512=1, 9518=1, 9584=1, 9630=1, 9697=1, 9794=1, 9796=1, 9995=1, 10023=1, 10121=1, 10206=1, 10330=1, 10356=1, 10427=1, 10503=1, 10649=1, 10697=1, 10699=1, 10771=1, 10857=1, 10931=1, 11203=1, 11242=1, 11302=1, 11315=1, 11335=1, 11350=1, 11359=1, 11419=1, 11422=1, 11434=1, 11447=1, 11468=1, 11497=1, 11506=1, 11530=1, 11545=1, 11597=1, 11602=1, 11620=1, 11639=1, 11652=1, 11662=1, 11735=1, 11821=1, 11833=1, 11838=1, 11887=1, 11890=1, 11930=1, 11931=1, 11957=1, 11970=1, 12137=1, 12166=1, 12190=1, 12256=1, 12278=1, 12315=1, 12339=1, 12360=1, 12429=1, 12441=1, 12550=1, 12563=1, 12593=1, 12674=1, 12677=1, 12725=1, 12732=1, 12811=1, 12820=1, 12822=1, 12950=1, 13007=1, 13030=1, 13165=1, 13178=1, 13194=1, 13214=1, 13220=1, 13378=1, 13704=1, 13709=1, 13719=1, 13724=1, 13726=1, 13796=1, 13837=1, 14450=1, 14501=1, 14505=1, 14511=1, 14512=1, 14539=1, 14854=1, 15018=1, 15028=1, 15071=1, 15138=1, 15253=1, 15343=1, 15372=1, 15459=1, 15475=1, 15507=1, 15554=1, 16166=1, 16251=1, 16330=1, 16350=1, 16352=1, 16353=1, 16359=1, 16371=1, 16387=1, 16408=1, 16617=1, 16635=1, 16705=1, 16733=1, 16740=1, 16812=1, 16843=1, 16906=1, 16916=1, 16949=1, 16984=1, 17029=1, 17034=1, 17046=1, 17058=1, 17109=1, 17120=1, 17144=1, 17176=1, 17216=1, 17231=1, 17250=1, 17253=1, 17287=1, 17348=1, 17349=1, 17351=1, 17358=1, 17366=1, 17604=1, 17843=1, 17884=1, 18003=1, 18031=1, 18146=1, 18156=1, 18585=1, 18587=1, 18682=1, 18705=1, 18807=1, 18812=1, 18861=1, 19046=1, 19058=1, 19090=1, 19118=1, 19317=1, 19450=1, 19465=1, 19469=1, 19493=1, 19725=1, 19735=1, 19979=1, 19991=1, 20285=1, 20324=1, 20371=1, 20504=1, 20560=1, 20603=1, 20643=1, 20654=1, 20850=1, 21515=1, 21667=1, 21672=1, 21699=1, 21733=1, 21825=1, 22043=1, 22073=1, 22076=1, 22090=1, 22094=1, 22097=1, 22099=1, 22109=1, 22129=1, 22162=1, 22230=1, 22269=1, 22288=1, 22289=1, 22292=1, 22294=1, 22306=1, 22321=1, 22392=1, 22500=1, 22505=1, 22520=1, 22538=1, 22549=1, 22566=1, 22584=1, 22600=1, 22604=1, 22608=1, 22620=1, 22627=1, 22680=1, 22734=1, 22785=1, 22787=1, 23057=1, 23224=1, 23300=1, 23309=1, 23326=1, 23398=1, 23426=1, 23491=1, 23499=1, 23574=1, 23601=1, 23602=1, 23605=1, 23606=1, 23617=1, 23685=1, 23721=1, 23771=1, 23803=1, 23835=1, 23940=1, 24400=1, 24463=1, 24468=1, 24472=1, 24490=1, 24527=1, 24536=1, 24545=1, 24553=1, 24648=1, 24695=1, 24747=1, 24756=1, 24977=1, 24979=1, 24991=1, 25023=1, 25082=1, 25120=1, 25328=1, 25330=1, 25356=1, 25392=1, 25466=1, 25582=1, 25624=1, 25763=1, 25981=1, 25985=1, 25992=1, 26158=1, 26196=1, 26199=1, 26208=1, 26257=1, 26317=1, 26437=1, 26443=1, 26531=1, 26570=1, 26784=1, 27049=1, 27078=1, 27112=1, 27165=1, 27234=1, 27255=1, 27446=1, 27489=1, 27559=1, 27575=1, 27709=1, 27733=1, 27856=1, 27861=1, 27863=1, 27965=1, 27973=1, 27994=1, 27997=1, 28016=1, 28020=1, 28034=1, 28036=1, 28044=1, 28189=1, 28200=1, 28212=1, 28216=1, 28288=1, 28318=1, 28338=1, 28519=1, 28564=1, 28586=1, 28588=1, 28597=1, 28808=1, 28812=1, 28818=1, 28853=1, 28906=1, 28913=1, 28981=1, 28996=1, 29342=1, 29499=1, 29500=1, 29504=1, 29510=1, 29551=1, 29553=1, 29615=1, 29644=1, 29646=1, 29649=1, 29663=1, 29668=1, 29681=1, 29683=1, 29745=1, 30174=1, 30197=1, 30225=1, 30226=1, 30402=1, 30521=1, 30541=1, 30622=1, 30740=1, 30751=1, 30845=1, 30881=1, 30889=1, 30918=1, 30949=1, 31012=1, 31077=1, 31081=1, 31088=1, 31089=1, 31105=1, 31174=1, 31229=1, 31256=1, 31265=1, 31301=1, 31303=1, 31319=1, 31332=1, 31432=1, 31456=1, 31462=1, 31474=1, 31506=1, 31732=1, 31761=1, 31812=1, 31955=1, 31979=1, 31983=1, 31990=1, 32002=1, 32112=1, 32307=1, 32475=1, 32478=1, 32481=1, 32671=1, 32715=1, 32748=1, 32751=1, 32754=1, 32756=1, 32784=1, 32862=1, 32871=1, 32917=1, 32921=1, 32950=1, 33047=1, 33464=1, 33465=1, 33590=1, 33711=1, 33867=1, 33887=1, 33914=1, 33922=1, 33934=1, 33937=1, 33965=1, 33995=1, 34014=1, 34019=1, 34036=1, 34050=1, 34279=1, 34287=1, 34419=1, 34475=1, 34490=1, 34506=1, 34507=1, 34542=1, 34678=1, 34679=1, 34682=1, 34689=1, 34787=1, 34795=1, 34802=1, 34823=1, 34879=1, 34960=1, 35039=1, 35059=1, 35068=1, 35083=1, 35110=1, 35152=1, 35190=1, 35778=1, 35810=1, 35924=1, 35940=1, 35972=1, 35978=1, 35986=1, 35993=1, 36020=1, 36025=1, 36037=1, 36044=1, 36062=1, 36086=1, 36196=1, 36237=1, 36401=1, 36435=1, 36448=1, 36497=1, 36517=1, 36541=1, 36673=1, 36733=1, 36806=1, 36811=1, 36964=1, 37077=1, 37191=1, 37342=1, 37512=1, 37522=1, 37643=1, 37792=1, 37847=1, 37951=1, 38113=1, 38132=1, 38185=1, 38261=1, 38303=1, 38351=1, 38481=1, 38660=1, 38834=1, 38855=1, 38870=1, 38898=1, 38919=1, 38934=1, 38943=1, 38965=1, 38975=1, 38978=1, 38984=1, 38991=1, 39001=1, 39022=1, 39044=1, 39047=1, 39059=1, 39061=1, 39066=1, 39096=1, 39265=1, 39272=1, 39292=1, 39309=1, 39310=1, 39315=1, 39482=1, 39483=1, 39485=1, 39494=1, 39496=1, 39506=1, 39510=1, 39517=1, 39520=1, 39527=1, 39532=1, 39533=1, 39536=1, 39547=1, 39551=1, 39553=1, 39555=1, 39562=1, 39563=1, 39565=1, 39572=1, 39574=1, 39596=1, 39606=1, 39624=1, 39626=1, 39664=1, 39680=1, 39716=1, 39724=1, 39750=1, 39796=1, 39925=1, 39966=1, 39977=1, 39992=1, 39999=1, 40014=1, 40016=1, 40019=1, 40158=1, 40212=1, 40226=1, 40237=1, 40298=1, 40622=1, 40648=1, 40657=1, 40900=1, 40931=1, 41108=1, 41138=1, 41244=1, 41265=1, 41276=1, 41285=1, 41304=1, 41338=1, 41372=1, 41415=1, 41467=1, 41613=1, 41679=1, 41687=1, 41708=1, 41858=1, 41932=1, 41977=1, 42368=1, 42376=1, 42389=1, 42403=1, 42418=1, 42494=1, 42538=1, 42556=1, 42776=1, 42790=1, 42810=1, 42848=1, 42954=1, 42957=1, 42962=1, 42967=1, 42984=1, 42986=1, 42996=1, 43114=1, 43150=1, 43278=1, 43279=1, 43401=1, 43561=1, 43614=1, 43618=1, 43633=1, 43640=1, 43876=1, 44023=1, 44090=1, 44108=1, 44158=1, 44449=1, 44555=1, 44559=1, 44573=1, 44621=1, 44665=1, 44712=1, 45170=1, 45227=1, 45230=1, 45278=1, 45290=1, 45570=1, 45600=1, 45605=1, 45609=1, 45610=1, 46146=1, 46165=1, 46210=1, 46244=1, 46510=1, 46528=1, 46541=1, 46544=1, 46545=1, 46553=1, 46608=1, 46635=1, 46646=1, 46832=1, 47075=1, 47102=1, 47203=1, 47462=1, 47549=1, 47559=1, 47580=1, 47940=1, 48086=1, 48139=1, 48158=1, 48162=1, 48196=1, 48221=1, 48250=1, 48288=1, 48310=1, 48318=1, 48494=1, 48504=1, 48506=1, 48616=1, 48674=1, 48814=1, 48846=1, 48875=1, 48955=1, 48985=1, 49218=1, 49233=1, 49273=1, 49289=1, 49303=1, 49310=1, 49311=1, 49523=1, 49530=1, 49548=1, 49558=1, 49593=1, 49609=1, 49623=1, 49752=1, 49758=1, 49774=1, 49817=1, 49967=1, 49974=1, 50100=1, 50103=1, 50194=1, 50309=1, 50461=1, 50468=1, 50537=1, 50556=1, 50614=1, 50617=1, 50620=1, 50642=1, 50645=1, 50664=1, 50667=1, 50675=1, 50681=1, 50837=1, 50859=1, 50866=1, 50871=1, 50878=1, 51041=1, 51043=1, 51047=1, 51083=1, 51317=1, 51449=1, 51497=1, 51505=1, 51518=1, 51524=1, 51563=1, 51594=1, 51669=1, 51710=1, 51779=1, 51780=1, 51788=1, 51807=1, 51824=1, 51977=1, 52116=1, 52340=1, 52343=1, 52391=1, 52408=1, 52426=1, 52441=1, 52457=1, 52496=1, 52534=1, 52545=1, 52612=1, 52670=1, 52988=1, 53347=1, 53355=1, 53371=1, 53393=1, 53402=1, 53917=1, 54117=1, 54280=1, 54319=1, 54324=1, 54367=1, 54728=1, 54812=1, 54820=1, 54854=1, 54864=1, 55144=1, 55155=1, 55173=1, 55198=1, 55205=1, 55345=1, 55376=1, 55377=1, 55415=1, 55421=1, 55505=1, 55530=1, 55667=1, 55712=1, 55721=1, 55861=1, 55865=1, 55876=1, 55894=1, 55905=1, 55971=1, 56135=1, 56154=1, 56423=1, 56424=1, 56488=1, 56494=1, 56961=1, 56973=1, 56986=1, 57178=1, 57341=1, 57397=1, 57644=1, 57701=1, 57772=1, 57902=1, 58074=1, 58091=1, 58443=1, 58454=1, 58775=1, 58806=1, 58810=1, 58848=1, 59255=1, 59327=1, 59361=1, 59563=1, 59609=1, 59698=1, 59832=1, 59835=1, 59962=1, 59970=1, 60071=1, 60074=1, 60094=1, 60100=1, 60108=1, 60127=1, 60215=1, 61028=1, 61043=1, 61073=1, 61227=1, 61229=1, 61236=1, 61275=1, 61287=1, 61360=1, 61432=1, 61451=1, 61508=1, 61618=1, 61655=1, 61707=1, 62097=1, 62122=1, 62388=1, 62463=1, 62630=1, 62664=1, 62669=1, 62676=1, 63016=1, 63048=1, 63058=1, 63091=1, 63232=1, 63250=1, 63286=1, 63331=1, 63365=1, 63594=1, 63895=1, 63973=1, 63978=1, 64017=1, 64062=1, 64095=1, 64109=1, 64302=1, 64489=1, 64491=1, 64504=1, 64570=1, 64630=1, 64636=1, 65045=1, 65238=1, 65280=1, 65425=1, 65475=1, 65544=1, 65588=1, 65847=1, 65860=1, 65875=1, 65879=1, 65921=1, 66110=1, 66321=1, 66335=1, 66353=1, 66377=1, 66379=1, 66384=1, 67158=1, 67369=1, 67390=1, 67405=1, 67417=1, 67432=1, 67470=1, 67706=1, 67850=1, 67860=1, 67871=1, 67882=1, 67897=1, 67994=1, 68010=1, 68120=1, 68121=1, 68453=1, 68472=1, 68475=1, 68587=1, 68602=1, 68618=1, 68658=1, 68699=1, 68703=1, 68723=1, 68827=1, 69032=1, 69171=1, 69487=1, 69494=1, 69531=1, 69552=1, 69649=1, 69652=1, 69672=1, 69681=1, 69693=1, 69708=1, 69713=1, 70019=1, 70215=1, 70223=1, 70227=1, 70229=1, 70246=1, 70290=1, 70329=1, 70344=1, 70478=1, 70574=1, 70736=1, 70759=1, 70789=1, 70818=1, 70825=1, 70843=1, 70867=1, 70869=1, 70943=1, 70996=1, 71188=1, 71208=1, 71228=1, 71252=1, 71262=1, 71273=1, 71277=1, 71278=1, 71294=1, 71300=1, 71729=1, 71750=1, 71751=1, 71757=1, 71806=1, 71905=1, 71929=1, 72157=1, 72195=1, 72223=1, 72448=1, 72453=1, 72549=1, 72609=1, 72809=1, 72957=1, 72967=1, 73025=1, 73235=1, 74050=1, 74155=1, 74178=1, 74199=1, 74249=1, 74834=1, 74884=1, 75005=1, 75010=1, 75476=1, 75493=1, 75547=1, 75583=1, 75604=1, 75608=1, 75626=1, 75656=1, 75730=1, 75915=1, 75924=1, 75932=1, 76395=1, 76408=1, 76417=1, 76552=1, 76668=1, 76670=1, 76722=1, 76885=1, 76919=1, 76924=1, 77008=1, 77035=1, 77052=1, 77054=1, 77068=1, 77123=1, 77135=1, 77179=1, 77197=1, 77251=1, 77396=1, 77450=1, 77453=1, 77454=1, 77460=1, 77465=1, 77470=1, 77511=1, 77558=1, 77615=1, 77617=1, 77623=1, 77629=1, 77643=1, 77909=1, 78045=1, 78051=1, 78247=1, 78298=1, 78314=1, 78331=1, 78448=1, 78458=1, 78461=1, 78492=1, 78861=1, 78869=1, 79891=1, 79903=1, 80133=1, 80192=1, 80360=1, 80388=1, 80639=1, 80675=1, 81795=1, 81882=1, 81904=1, 82268=1, 82276=1, 82285=1, 82289=1, 82312=1, 82379=1, 82420=1, 82454=1, 82734=1, 83082=1, 83129=1, 83131=1, 83238=1, 83251=1, 83492=1, 83510=1, 83525=1, 84079=1, 84280=1, 84312=1, 84329=1, 84468=1, 84656=1, 84680=1, 84687=1, 84691=1, 84704=1, 84714=1, 84720=1, 84728=1, 84756=1, 84766=1, 84972=1, 85031=1, 85254=1, 85585=1, 85635=1, 85791=1, 85880=1, 85900=1, 86507=1, 86670=1, 86772=1, 86798=1, 87189=1, 87225=1, 87230=1, 87253=1, 87327=1, 87681=1, 87683=1, 87708=1, 87711=1, 87752=1, 87753=1, 87798=1, 87812=1, 87814=1, 87818=1, 87826=1, 87832=1, 87840=1, 87850=1, 87858=1, 87876=1, 87886=1, 87893=1, 87910=1, 87919=1, 87920=1, 87923=1}
Interrupted probabilistic random walk after 4293 steps, run timeout after 30013 ms. (steps per millisecond=0 ) properties seen :{446=1, 770=1, 1204=1, 1392=1, 1535=1, 1549=1, 1708=1, 1766=1, 2205=1, 2241=1, 2311=1, 2549=1, 2674=1, 2837=1, 2884=1, 2923=1, 2957=1, 2987=1, 3001=1, 3654=1, 3883=1, 4076=1, 4825=1, 4856=1, 4874=1, 5107=1, 5247=1, 5268=1, 5295=1, 5436=1, 5645=1, 5673=1, 6131=1, 6254=1, 6474=1, 6500=1, 6506=1, 6956=1, 7256=1, 7413=1, 7617=1, 7620=1, 7654=1, 7816=1, 8216=1, 8225=1, 8247=1, 8421=1, 8458=1, 8462=1, 8489=1, 9376=1, 9484=1, 9519=1, 9561=1, 9864=1, 10208=1, 10556=1, 11226=1, 11267=1, 11296=1, 11476=1, 12146=1, 13083=1, 13507=1, 13655=1, 13706=1, 13872=1, 14668=1, 15010=1, 15207=1, 15217=1, 15275=1, 15321=1, 15938=1, 16241=1, 16761=1, 16883=1, 16933=1, 16959=1, 17136=1, 17497=1, 17709=1, 19014=1, 19394=1, 20747=1, 20775=1, 21404=1, 21960=1, 21979=1, 22249=1, 22281=1, 22302=1, 22446=1, 23095=1, 23124=1, 23328=1, 23413=1, 24250=1, 24365=1, 24523=1, 24619=1, 24966=1, 25006=1, 25007=1, 25744=1, 25957=1, 26450=1, 26776=1, 27276=1, 27432=1, 27615=1, 27730=1, 27749=1, 27766=1, 27780=1, 27877=1, 27882=1, 28057=1, 28076=1, 28103=1, 28159=1, 28180=1, 28247=1, 28324=1, 28526=1, 28562=1, 29103=1, 29110=1, 29391=1, 29975=1, 29985=1, 29989=1, 30162=1, 30207=1, 30366=1, 30369=1, 30603=1, 30661=1, 30668=1, 30724=1, 30785=1, 30792=1, 30800=1, 31216=1, 31390=1, 31513=1, 31819=1, 31860=1, 31928=1, 32244=1, 32378=1, 32433=1, 32482=1, 32719=1, 32758=1, 32933=1, 32935=1, 33382=1, 33390=1, 33403=1, 33483=1, 33559=1, 33575=1, 33596=1, 33631=1, 33667=1, 33695=1, 33765=1, 33801=1, 33804=1, 33859=1, 33861=1, 33864=1, 33953=1, 34080=1, 34130=1, 34145=1, 34176=1, 34201=1, 34241=1, 34372=1, 34415=1, 34636=1, 34679=1, 34896=1, 35211=1, 35277=1, 35408=1, 35432=1, 35497=1, 35577=1, 35810=1, 35976=1, 36048=1, 36778=1, 36782=1, 37078=1, 37083=1, 38352=1, 38439=1, 39041=1, 39074=1, 39494=1, 39544=1, 39547=1, 39772=1, 39843=1, 40258=1, 40436=1, 40561=1, 40588=1, 40595=1, 40804=1, 40824=1, 40986=1, 41407=1, 41424=1, 41439=1, 41448=1, 41612=1, 41692=1, 41977=1, 42004=1, 42110=1, 42412=1, 42566=1, 42575=1, 42665=1, 42883=1, 42911=1, 42924=1, 42972=1, 42988=1, 43317=1, 43394=1, 43550=1, 43754=1, 43765=1, 43804=1, 43806=1, 43918=1, 43939=1, 44251=1, 44522=1, 44843=1, 44987=1, 45839=1, 46303=1, 47369=1, 47398=1, 48312=1, 48863=1, 49093=1, 49181=1, 49762=1, 49763=1, 49770=1, 50044=1, 50234=1, 50601=1, 50654=1, 50687=1, 50713=1, 50948=1, 51003=1, 51133=1, 51479=1, 51599=1, 52493=1, 53417=1, 53420=1, 53652=1, 53743=1, 53982=1, 54324=1, 54345=1, 54915=1, 54926=1, 54943=1, 54987=1, 54997=1, 55217=1, 55360=1, 55850=1, 56576=1, 58135=1, 58722=1, 58998=1, 59153=1, 59703=1, 60315=1, 60473=1, 60483=1, 60652=1, 62027=1, 62347=1, 62379=1, 62555=1, 62821=1, 63514=1, 63943=1, 63970=1, 65593=1, 66934=1, 66951=1, 67121=1, 67373=1, 67573=1, 67658=1, 67729=1, 68435=1, 68829=1, 69042=1, 69705=1, 70588=1, 70595=1, 70596=1, 70600=1, 71341=1, 71892=1, 72718=1, 72740=1, 72776=1, 73752=1, 73871=1, 73914=1, 74035=1, 75438=1, 75532=1, 75577=1, 75884=1, 75913=1, 75919=1, 76384=1, 76409=1, 76411=1, 76514=1, 76769=1, 76770=1, 77035=1, 77245=1, 77906=1, 78346=1, 78559=1, 79234=1, 79282=1, 79759=1, 79811=1, 79812=1, 79820=1, 79826=1, 79866=1, 79996=1, 80274=1, 80684=1, 81068=1, 81076=1, 81564=1, 81652=1, 82064=1, 82155=1, 83172=1, 83218=1, 83515=1, 84324=1, 84415=1, 84428=1, 84435=1, 85348=1, 86473=1}
Probabilistic random walk after 4293 steps, saw 3261 distinct states, run finished after 30017 ms. (steps per millisecond=0 ) properties seen :{446=1, 770=1, 1204=1, 1392=1, 1535=1, 1549=1, 1708=1, 1766=1, 2205=1, 2241=1, 2311=1, 2549=1, 2674=1, 2837=1, 2884=1, 2923=1, 2957=1, 2987=1, 3001=1, 3654=1, 3883=1, 4076=1, 4825=1, 4856=1, 4874=1, 5107=1, 5247=1, 5268=1, 5295=1, 5436=1, 5645=1, 5673=1, 6131=1, 6254=1, 6474=1, 6500=1, 6506=1, 6956=1, 7256=1, 7413=1, 7617=1, 7620=1, 7654=1, 7816=1, 8216=1, 8225=1, 8247=1, 8421=1, 8458=1, 8462=1, 8489=1, 9376=1, 9484=1, 9519=1, 9561=1, 9864=1, 10208=1, 10556=1, 11226=1, 11267=1, 11296=1, 11476=1, 12146=1, 13083=1, 13507=1, 13655=1, 13706=1, 13872=1, 14668=1, 15010=1, 15207=1, 15217=1, 15275=1, 15321=1, 15938=1, 16241=1, 16761=1, 16883=1, 16933=1, 16959=1, 17136=1, 17497=1, 17709=1, 19014=1, 19394=1, 20747=1, 20775=1, 21404=1, 21960=1, 21979=1, 22249=1, 22281=1, 22302=1, 22446=1, 23095=1, 23124=1, 23328=1, 23413=1, 24250=1, 24365=1, 24523=1, 24619=1, 24966=1, 25006=1, 25007=1, 25744=1, 25957=1, 26450=1, 26776=1, 27276=1, 27432=1, 27615=1, 27730=1, 27749=1, 27766=1, 27780=1, 27877=1, 27882=1, 28057=1, 28076=1, 28103=1, 28159=1, 28180=1, 28247=1, 28324=1, 28526=1, 28562=1, 29103=1, 29110=1, 29391=1, 29975=1, 29985=1, 29989=1, 30162=1, 30207=1, 30366=1, 30369=1, 30603=1, 30661=1, 30668=1, 30724=1, 30785=1, 30792=1, 30800=1, 31216=1, 31390=1, 31513=1, 31819=1, 31860=1, 31928=1, 32244=1, 32378=1, 32433=1, 32482=1, 32719=1, 32758=1, 32933=1, 32935=1, 33382=1, 33390=1, 33403=1, 33483=1, 33559=1, 33575=1, 33596=1, 33631=1, 33667=1, 33695=1, 33765=1, 33801=1, 33804=1, 33859=1, 33861=1, 33864=1, 33953=1, 34080=1, 34130=1, 34145=1, 34176=1, 34201=1, 34241=1, 34372=1, 34415=1, 34636=1, 34679=1, 34896=1, 35211=1, 35277=1, 35408=1, 35432=1, 35497=1, 35577=1, 35810=1, 35976=1, 36048=1, 36778=1, 36782=1, 37078=1, 37083=1, 38352=1, 38439=1, 39041=1, 39074=1, 39494=1, 39544=1, 39547=1, 39772=1, 39843=1, 40258=1, 40436=1, 40561=1, 40588=1, 40595=1, 40804=1, 40824=1, 40986=1, 41407=1, 41424=1, 41439=1, 41448=1, 41612=1, 41692=1, 41977=1, 42004=1, 42110=1, 42412=1, 42566=1, 42575=1, 42665=1, 42883=1, 42911=1, 42924=1, 42972=1, 42988=1, 43317=1, 43394=1, 43550=1, 43754=1, 43765=1, 43804=1, 43806=1, 43918=1, 43939=1, 44251=1, 44522=1, 44843=1, 44987=1, 45839=1, 46303=1, 47369=1, 47398=1, 48312=1, 48863=1, 49093=1, 49181=1, 49762=1, 49763=1, 49770=1, 50044=1, 50234=1, 50601=1, 50654=1, 50687=1, 50713=1, 50948=1, 51003=1, 51133=1, 51479=1, 51599=1, 52493=1, 53417=1, 53420=1, 53652=1, 53743=1, 53982=1, 54324=1, 54345=1, 54915=1, 54926=1, 54943=1, 54987=1, 54997=1, 55217=1, 55360=1, 55850=1, 56576=1, 58135=1, 58722=1, 58998=1, 59153=1, 59703=1, 60315=1, 60473=1, 60483=1, 60652=1, 62027=1, 62347=1, 62379=1, 62555=1, 62821=1, 63514=1, 63943=1, 63970=1, 65593=1, 66934=1, 66951=1, 67121=1, 67373=1, 67573=1, 67658=1, 67729=1, 68435=1, 68829=1, 69042=1, 69705=1, 70588=1, 70595=1, 70596=1, 70600=1, 71341=1, 71892=1, 72718=1, 72740=1, 72776=1, 73752=1, 73871=1, 73914=1, 74035=1, 75438=1, 75532=1, 75577=1, 75884=1, 75913=1, 75919=1, 76384=1, 76409=1, 76411=1, 76514=1, 76769=1, 76770=1, 77035=1, 77245=1, 77906=1, 78346=1, 78559=1, 79234=1, 79282=1, 79759=1, 79811=1, 79812=1, 79820=1, 79826=1, 79866=1, 79996=1, 80274=1, 80684=1, 81068=1, 81076=1, 81564=1, 81652=1, 82064=1, 82155=1, 83172=1, 83218=1, 83515=1, 84324=1, 84415=1, 84428=1, 84435=1, 85348=1, 86473=1}
Running SMT prover for 86489 properties.
[2022-06-09 06:21:00] [INFO ] Flow matrix only has 104750 transitions (discarded 44362 similar events)
// Phase 1: matrix 104750 rows 1844 cols
[2022-06-09 06:21:00] [INFO ] Computed 10 place invariants in 527 ms
[2022-06-09 06:21:26] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 86489 Parikh solutions to 1 different solutions.
Support contains 1840 out of 1844 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1844/1844 places, 149112/149112 transitions.
Drop transitions removed 3766 transitions
Reduce isomorphic transitions removed 3766 transitions.
Iterating post reduction 0 with 3766 rules applied. Total rules applied 3766 place count 1844 transition count 145346
Applied a total of 3766 rules in 1489 ms. Remains 1844 /1844 variables (removed 0) and now considering 145346/149112 (removed 3766) transitions.
Finished structural reductions, in 1 iterations. Remains : 1844/1844 places, 145346/149112 transitions.
[2022-06-09 06:21:34] [INFO ] Flatten gal took : 5668 ms
[2022-06-09 06:21:39] [INFO ] Flatten gal took : 4533 ms
[2022-06-09 06:21:39] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality5154748737656400144.gal : 446 ms
[2022-06-09 06:21:40] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality2748737345741268941.prop : 210 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality5154748737656400144.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality2748737345741268941.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality5154748737656400144.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality2748737345741268941.prop --nowitness --gen-order FOLLOW
Detected timeout of ITS tools.
[2022-06-09 06:22:01] [INFO ] Flatten gal took : 5038 ms
[2022-06-09 06:22:01] [INFO ] Applying decomposition
[2022-06-09 06:22:05] [INFO ] Flatten gal took : 4461 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph15997966476236559317.txt, -o, /tmp/graph15997966476236559317.bin, -w, /tmp/graph15997966476236559317.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph15997966476236559317.bin, -l, -1, -v, -w, /tmp/graph15997966476236559317.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-06-09 06:22:15] [INFO ] Decomposing Gal with order
[2022-06-09 06:22:15] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 06:22:31] [INFO ] Removed a total of 319156 redundant transitions.
[2022-06-09 06:22:34] [INFO ] Flatten gal took : 12499 ms
[2022-06-09 06:23:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 6191 labels/synchronizations in 7187 ms.
[2022-06-09 06:23:01] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality18144933327368692649.gal : 271 ms
[2022-06-09 06:23:01] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality14120674426460431059.prop : 204 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality18144933327368692649.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality14120674426460431059.prop, --nowitness], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality18144933327368692649.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality14120674426460431059.prop --nowitness
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin1173350409849667131
[2022-06-09 06:23:18] [INFO ] Built C files in 1634ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin1173350409849667131
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin1173350409849667131]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin1173350409849667131] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin1173350409849667131] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Interrupted random walk after 3755 steps, including 0 resets, run timeout after 30006 ms. (steps per millisecond=0 ) properties seen :{103=1, 452=1, 723=1, 732=1, 979=1, 1000=1, 1020=1, 1165=1, 1974=1, 1986=1, 2123=1, 2260=1, 2420=1, 2515=1, 2575=1, 2698=1, 2719=1, 2738=1, 2806=1, 2882=1, 2887=1, 2909=1, 2939=1, 3193=1, 3356=1, 3471=1, 4253=1, 4279=1, 4538=1, 4553=1, 4569=1, 4819=1, 4858=1, 4867=1, 4871=1, 4883=1, 5013=1, 5207=1, 5366=1, 5636=1, 5846=1, 5854=1, 5953=1, 6017=1, 6085=1, 6214=1, 6242=1, 6289=1, 6345=1, 6417=1, 6866=1, 6908=1, 6978=1, 6993=1, 7017=1, 7077=1, 7500=1, 8166=1, 8352=1, 8430=1, 8449=1, 8462=1, 8516=1, 8532=1, 8539=1, 8556=1, 8571=1, 8588=1, 8716=1, 8726=1, 8932=1, 9171=1, 9217=1, 9239=1, 9256=1, 9271=1, 9358=1, 9373=1, 9605=1, 9612=1, 9656=1, 9894=1, 9912=1, 10139=1, 10143=1, 10162=1, 10301=1, 10356=1, 10474=1, 10742=1, 10850=1, 11163=1, 11216=1, 11298=1, 11341=1, 11353=1, 11375=1, 11472=1, 11595=1, 11673=1, 11696=1, 11709=1, 11806=1, 11813=1, 11959=1, 11965=1, 11970=1, 11992=1, 12184=1, 12294=1, 12407=1, 12668=1, 12722=1, 12889=1, 13159=1, 13571=1, 14148=1, 14175=1, 14215=1, 14240=1, 14579=1, 14673=1, 14674=1, 14718=1, 14867=1, 14913=1, 15024=1, 15058=1, 15199=1, 15219=1, 15275=1, 15388=1, 15769=1, 15861=1, 16018=1, 16026=1, 16030=1, 16291=1, 16319=1, 16358=1, 16467=1, 16537=1, 16605=1, 16791=1, 16888=1, 16986=1, 17046=1, 17449=1, 17488=1, 17532=1, 17664=1, 17712=1, 17921=1, 18085=1, 18134=1, 18233=1, 18241=1, 18273=1, 18284=1, 18342=1, 18345=1, 18392=1, 18420=1, 18445=1, 18459=1, 18850=1, 18929=1, 19054=1, 19085=1, 19089=1, 19323=1, 19533=1, 19629=1, 19666=1, 19682=1, 19737=1, 19752=1, 19814=1, 19856=1, 19918=1, 19943=1, 19994=1, 20005=1, 20019=1, 20115=1, 20118=1, 20129=1, 20213=1, 20321=1, 20363=1, 20450=1, 21119=1, 21276=1, 21388=1, 21665=1, 21677=1, 21728=1, 21876=1, 21885=1, 21960=1, 22167=1, 22196=1, 22246=1, 22345=1, 22354=1, 22666=1, 23073=1, 23242=1, 23246=1, 23337=1, 23463=1, 23649=1, 23947=1, 23971=1, 24034=1, 24050=1, 24069=1, 24094=1, 24101=1, 24136=1, 24154=1, 24159=1, 24476=1, 24493=1, 24511=1, 24524=1, 24578=1, 24858=1, 24863=1, 24892=1, 24918=1, 24973=1, 25221=1, 25690=1, 25691=1, 25702=1, 25772=1, 25783=1, 25855=1, 25921=1, 25933=1, 25942=1, 25953=1, 25982=1, 25995=1, 26010=1, 26012=1, 26086=1, 26283=1, 26542=1, 26678=1, 26725=1, 26729=1, 26740=1, 26760=1, 26763=1, 26775=1, 26851=1, 26911=1, 27113=1, 27464=1, 27474=1, 27482=1, 27558=1, 27616=1, 27621=1, 27623=1, 27640=1, 27694=1, 27714=1, 27732=1, 27737=1, 27745=1, 27773=1, 28016=1, 28036=1, 28039=1, 28252=1, 28267=1, 28331=1, 28359=1, 28434=1, 28478=1, 28880=1, 28915=1, 28969=1, 29069=1, 29159=1, 29260=1, 29565=1, 29607=1, 29784=1, 29850=1, 29861=1, 29877=1, 29913=1, 29952=1, 30212=1, 30219=1, 30221=1, 30224=1, 30232=1, 30370=1, 30447=1, 30454=1, 30676=1, 30719=1, 30831=1, 31103=1, 31130=1, 31174=1, 31286=1, 31310=1, 31316=1, 31320=1, 31324=1, 31366=1, 31473=1, 31707=1, 31721=1, 31738=1, 32079=1, 32775=1, 33110=1, 33173=1, 33182=1, 33225=1, 33245=1, 33295=1, 33404=1, 33428=1, 33477=1, 33550=1, 33642=1, 33661=1, 33677=1, 33708=1, 33946=1, 33965=1, 34015=1, 34079=1, 34131=1, 34175=1, 34241=1, 34341=1, 34380=1, 34385=1, 34391=1, 34394=1, 34417=1, 34456=1, 34472=1, 34476=1, 34586=1, 34601=1, 34951=1, 35013=1, 35259=1, 35283=1, 35303=1, 35319=1, 35764=1, 35786=1, 35920=1, 35927=1, 35944=1, 36368=1, 36504=1, 36552=1, 36585=1, 36880=1, 36905=1, 37019=1, 37082=1, 37119=1, 37137=1, 37455=1, 37547=1, 37573=1, 37734=1, 38129=1, 38191=1, 38653=1, 38665=1, 38680=1, 38684=1, 38701=1, 38797=1, 38819=1, 38826=1, 38830=1, 39118=1, 39673=1, 39732=1, 40247=1, 40309=1, 40342=1, 40579=1, 40630=1, 40672=1, 40760=1, 40915=1, 40917=1, 40940=1, 40951=1, 40985=1, 41077=1, 41460=1, 41481=1, 41499=1, 41508=1, 41515=1, 41576=1, 41578=1, 41601=1, 41617=1, 41916=1, 42023=1, 42076=1, 42114=1, 42129=1, 42137=1, 42262=1, 42529=1, 42566=1, 42570=1, 42572=1, 42575=1, 42609=1, 42644=1, 42656=1, 42890=1, 43006=1, 43018=1, 43180=1, 43558=1, 43562=1, 43588=1, 43599=1, 43611=1, 43624=1, 43626=1, 43629=1, 43655=1, 43662=1, 43682=1, 44180=1, 44222=1, 44282=1, 44288=1, 44303=1, 44304=1, 44310=1, 44692=1, 45169=1, 45247=1, 45284=1, 45803=1, 45817=1, 46068=1, 46145=1, 46147=1, 46289=1, 46655=1, 46711=1, 46887=1, 46920=1, 47273=1, 47280=1, 47407=1, 47448=1, 47453=1, 47539=1, 47674=1, 47697=1, 47844=1, 47954=1, 47970=1, 47984=1, 48000=1, 48475=1, 48486=1, 48676=1, 48682=1, 48683=1, 48731=1, 48835=1, 48843=1, 48984=1, 49011=1, 49044=1, 49354=1, 49426=1, 49559=1, 49566=1, 49801=1, 49921=1, 49936=1, 49940=1, 49941=1, 49943=1, 50326=1, 50431=1, 50433=1, 50541=1, 50635=1, 50674=1, 50782=1, 50932=1, 50980=1, 51046=1, 51309=1, 51318=1, 51338=1, 51342=1, 51397=1, 51482=1, 51562=1, 51921=1, 52330=1, 53032=1, 53362=1, 53663=1, 53675=1, 53799=1, 53842=1, 53864=1, 53875=1, 53926=1, 53941=1, 53981=1, 54104=1, 54120=1, 54121=1, 54242=1, 54252=1, 54297=1, 54319=1, 54505=1, 54617=1, 54664=1, 54689=1, 54761=1, 55373=1, 55714=1, 56304=1, 56469=1, 56486=1, 56736=1, 56898=1, 56959=1, 57565=1, 57623=1, 57872=1, 58189=1, 58250=1, 58346=1, 58504=1, 58729=1, 58737=1, 58759=1, 58770=1, 58986=1, 59861=1, 59864=1, 59959=1, 59976=1, 60097=1, 60171=1, 60234=1, 60272=1, 60331=1, 60356=1, 60377=1, 60493=1, 60635=1, 60641=1, 61712=1, 62023=1, 62136=1, 62254=1, 62279=1, 62332=1, 62691=1, 62798=1, 62848=1, 63191=1, 63219=1, 63287=1, 63320=1, 63698=1, 63755=1, 64527=1, 64673=1, 65618=1, 65900=1, 66140=1, 66504=1, 66626=1, 66640=1, 66644=1, 66752=1, 66807=1, 67102=1, 67233=1, 67303=1, 67477=1, 67669=1, 67760=1, 68230=1, 68278=1, 68342=1, 68360=1, 68941=1, 69310=1, 69389=1, 69411=1, 69433=1, 69442=1, 69444=1, 69796=1, 69803=1, 69841=1, 71221=1, 71415=1, 71501=1, 71513=1, 73000=1, 73153=1, 73188=1, 73223=1, 73331=1, 73343=1, 73358=1, 73368=1, 73425=1, 73714=1, 74128=1, 74198=1, 74471=1, 74614=1, 75198=1, 75274=1, 75380=1, 75493=1, 75665=1, 75857=1, 75873=1, 75915=1, 75950=1, 76064=1, 76231=1, 76238=1, 76399=1, 76431=1, 78377=1, 78386=1, 78618=1, 78645=1, 78752=1, 79018=1, 79140=1, 79155=1, 79171=1, 79662=1, 80689=1, 80779=1, 80870=1, 80922=1, 81016=1, 81061=1, 81105=1, 81520=1, 81543=1, 81552=1, 81572=1, 81610=1, 81824=1, 81869=1, 82261=1, 82271=1, 82369=1, 83141=1, 83641=1, 84283=1, 84346=1, 84359=1, 84462=1, 84463=1, 84889=1, 85360=1, 85379=1, 85527=1, 85678=1, 85686=1, 85734=1, 86085=1, 86098=1, 86134=1, 86168=1, 86172=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1173 ms. (steps per millisecond=0 ) properties (out of 85788) seen :28
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1374 ms. (steps per millisecond=0 ) properties (out of 85760) seen :23
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1394 ms. (steps per millisecond=0 ) properties (out of 85737) seen :26
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1363 ms. (steps per millisecond=0 ) properties (out of 85711) seen :17
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1394 ms. (steps per millisecond=0 ) properties (out of 85694) seen :16
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 999 ms. (steps per millisecond=1 ) properties (out of 85678) seen :16
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 920 ms. (steps per millisecond=1 ) properties (out of 85662) seen :17
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 937 ms. (steps per millisecond=1 ) properties (out of 85645) seen :16
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 964 ms. (steps per millisecond=1 ) properties (out of 85629) seen :29
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 988 ms. (steps per millisecond=1 ) properties (out of 85600) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 873 ms. (steps per millisecond=1 ) properties (out of 85587) seen :26
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1120 ms. (steps per millisecond=0 ) properties (out of 85561) seen :14
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 895 ms. (steps per millisecond=1 ) properties (out of 85547) seen :17
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 829 ms. (steps per millisecond=1 ) properties (out of 85530) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1080 ms. (steps per millisecond=0 ) properties (out of 85524) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1390 ms. (steps per millisecond=0 ) properties (out of 85516) seen :23
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1366 ms. (steps per millisecond=0 ) properties (out of 85493) seen :17
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1252 ms. (steps per millisecond=0 ) properties (out of 85476) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1348 ms. (steps per millisecond=0 ) properties (out of 85463) seen :21
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1415 ms. (steps per millisecond=0 ) properties (out of 85442) seen :18
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1305 ms. (steps per millisecond=0 ) properties (out of 85424) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1472 ms. (steps per millisecond=0 ) properties (out of 85420) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1356 ms. (steps per millisecond=0 ) properties (out of 85408) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1829 ms. (steps per millisecond=0 ) properties (out of 85403) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1864 ms. (steps per millisecond=0 ) properties (out of 85396) seen :16
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1021 ms. (steps per millisecond=0 ) properties (out of 85380) seen :3
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1377 ms. (steps per millisecond=0 ) properties (out of 85377) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1320 ms. (steps per millisecond=0 ) properties (out of 85365) seen :14
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1752 ms. (steps per millisecond=0 ) properties (out of 85351) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1322 ms. (steps per millisecond=0 ) properties (out of 85344) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1366 ms. (steps per millisecond=0 ) properties (out of 85337) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1340 ms. (steps per millisecond=0 ) properties (out of 85330) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1327 ms. (steps per millisecond=0 ) properties (out of 85328) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1445 ms. (steps per millisecond=0 ) properties (out of 85320) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1272 ms. (steps per millisecond=0 ) properties (out of 85313) seen :4
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1270 ms. (steps per millisecond=0 ) properties (out of 85309) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1423 ms. (steps per millisecond=0 ) properties (out of 85307) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1307 ms. (steps per millisecond=0 ) properties (out of 85296) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1500 ms. (steps per millisecond=0 ) properties (out of 85295) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1375 ms. (steps per millisecond=0 ) properties (out of 85284) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1416 ms. (steps per millisecond=0 ) properties (out of 85276) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1559 ms. (steps per millisecond=0 ) properties (out of 85275) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1455 ms. (steps per millisecond=0 ) properties (out of 85269) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1294 ms. (steps per millisecond=0 ) properties (out of 85266) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1035 ms. (steps per millisecond=0 ) properties (out of 85257) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1202 ms. (steps per millisecond=0 ) properties (out of 85249) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3073 ms. (steps per millisecond=0 ) properties (out of 85243) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1463 ms. (steps per millisecond=0 ) properties (out of 85238) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1023 ms. (steps per millisecond=0 ) properties (out of 85233) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1052 ms. (steps per millisecond=0 ) properties (out of 85228) seen :14
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1147 ms. (steps per millisecond=0 ) properties (out of 85214) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1130 ms. (steps per millisecond=0 ) properties (out of 85210) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1044 ms. (steps per millisecond=0 ) properties (out of 85208) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1063 ms. (steps per millisecond=0 ) properties (out of 85207) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 988 ms. (steps per millisecond=1 ) properties (out of 85204) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1046 ms. (steps per millisecond=0 ) properties (out of 85199) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1074 ms. (steps per millisecond=0 ) properties (out of 85197) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1042 ms. (steps per millisecond=0 ) properties (out of 85189) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 982 ms. (steps per millisecond=1 ) properties (out of 85184) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1041 ms. (steps per millisecond=0 ) properties (out of 85178) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1006 ms. (steps per millisecond=0 ) properties (out of 85176) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1029 ms. (steps per millisecond=0 ) properties (out of 85176) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1021 ms. (steps per millisecond=0 ) properties (out of 85164) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1084 ms. (steps per millisecond=0 ) properties (out of 85161) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1006 ms. (steps per millisecond=0 ) properties (out of 85157) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1016 ms. (steps per millisecond=0 ) properties (out of 85154) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1047 ms. (steps per millisecond=0 ) properties (out of 85150) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1021 ms. (steps per millisecond=0 ) properties (out of 85145) seen :8
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1020 ms. (steps per millisecond=0 ) properties (out of 85137) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1024 ms. (steps per millisecond=0 ) properties (out of 85131) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1127 ms. (steps per millisecond=0 ) properties (out of 85128) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 950 ms. (steps per millisecond=1 ) properties (out of 85123) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 977 ms. (steps per millisecond=1 ) properties (out of 85116) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1101 ms. (steps per millisecond=0 ) properties (out of 85115) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1203 ms. (steps per millisecond=0 ) properties (out of 85111) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1227 ms. (steps per millisecond=0 ) properties (out of 85107) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1834 ms. (steps per millisecond=0 ) properties (out of 85104) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1725 ms. (steps per millisecond=0 ) properties (out of 85101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1584 ms. (steps per millisecond=0 ) properties (out of 85101) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 950 ms. (steps per millisecond=1 ) properties (out of 85096) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2679 ms. (steps per millisecond=0 ) properties (out of 85092) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1046 ms. (steps per millisecond=0 ) properties (out of 85086) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1008 ms. (steps per millisecond=0 ) properties (out of 85086) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1007 ms. (steps per millisecond=0 ) properties (out of 85084) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1006 ms. (steps per millisecond=0 ) properties (out of 85077) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1066 ms. (steps per millisecond=0 ) properties (out of 85070) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1097 ms. (steps per millisecond=0 ) properties (out of 85067) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1630 ms. (steps per millisecond=0 ) properties (out of 85061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1141 ms. (steps per millisecond=0 ) properties (out of 85061) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1085 ms. (steps per millisecond=0 ) properties (out of 85056) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 962 ms. (steps per millisecond=1 ) properties (out of 85046) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1102 ms. (steps per millisecond=0 ) properties (out of 85043) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1021 ms. (steps per millisecond=0 ) properties (out of 85041) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1064 ms. (steps per millisecond=0 ) properties (out of 85036) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 939 ms. (steps per millisecond=1 ) properties (out of 85034) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1265 ms. (steps per millisecond=0 ) properties (out of 85030) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 936 ms. (steps per millisecond=1 ) properties (out of 85025) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1103 ms. (steps per millisecond=0 ) properties (out of 85017) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 986 ms. (steps per millisecond=1 ) properties (out of 85007) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 950 ms. (steps per millisecond=1 ) properties (out of 85002) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1027 ms. (steps per millisecond=0 ) properties (out of 84998) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 905 ms. (steps per millisecond=1 ) properties (out of 84997) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1037 ms. (steps per millisecond=0 ) properties (out of 84995) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 923 ms. (steps per millisecond=1 ) properties (out of 84994) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1019 ms. (steps per millisecond=0 ) properties (out of 84991) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 995 ms. (steps per millisecond=1 ) properties (out of 84986) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 834 ms. (steps per millisecond=1 ) properties (out of 84982) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 998 ms. (steps per millisecond=1 ) properties (out of 84981) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1011 ms. (steps per millisecond=0 ) properties (out of 84980) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 961 ms. (steps per millisecond=1 ) properties (out of 84978) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 962 ms. (steps per millisecond=1 ) properties (out of 84976) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1110 ms. (steps per millisecond=0 ) properties (out of 84976) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 954 ms. (steps per millisecond=1 ) properties (out of 84973) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1027 ms. (steps per millisecond=0 ) properties (out of 84970) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1057 ms. (steps per millisecond=0 ) properties (out of 84970) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1084 ms. (steps per millisecond=0 ) properties (out of 84968) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1085 ms. (steps per millisecond=0 ) properties (out of 84962) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 918 ms. (steps per millisecond=1 ) properties (out of 84962) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 996 ms. (steps per millisecond=1 ) properties (out of 84961) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1013 ms. (steps per millisecond=0 ) properties (out of 84961) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 971 ms. (steps per millisecond=1 ) properties (out of 84959) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 982 ms. (steps per millisecond=1 ) properties (out of 84952) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 883 ms. (steps per millisecond=1 ) properties (out of 84948) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1089 ms. (steps per millisecond=0 ) properties (out of 84947) seen :4
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 901 ms. (steps per millisecond=1 ) properties (out of 84943) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 950 ms. (steps per millisecond=1 ) properties (out of 84943) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 992 ms. (steps per millisecond=1 ) properties (out of 84943) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1033 ms. (steps per millisecond=0 ) properties (out of 84943) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1011 ms. (steps per millisecond=0 ) properties (out of 84936) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 947 ms. (steps per millisecond=1 ) properties (out of 84927) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 904 ms. (steps per millisecond=1 ) properties (out of 84926) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 967 ms. (steps per millisecond=1 ) properties (out of 84920) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 939 ms. (steps per millisecond=1 ) properties (out of 84920) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 881 ms. (steps per millisecond=1 ) properties (out of 84919) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 878 ms. (steps per millisecond=1 ) properties (out of 84916) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 970 ms. (steps per millisecond=1 ) properties (out of 84915) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 885 ms. (steps per millisecond=1 ) properties (out of 84915) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 944 ms. (steps per millisecond=1 ) properties (out of 84915) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1020 ms. (steps per millisecond=0 ) properties (out of 84910) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1409 ms. (steps per millisecond=0 ) properties (out of 84908) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1423 ms. (steps per millisecond=0 ) properties (out of 84903) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1499 ms. (steps per millisecond=0 ) properties (out of 84900) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1357 ms. (steps per millisecond=0 ) properties (out of 84899) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1174 ms. (steps per millisecond=0 ) properties (out of 84897) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1430 ms. (steps per millisecond=0 ) properties (out of 84892) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1250 ms. (steps per millisecond=0 ) properties (out of 84891) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 986 ms. (steps per millisecond=1 ) properties (out of 84890) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1030 ms. (steps per millisecond=0 ) properties (out of 84888) seen :18
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1086 ms. (steps per millisecond=0 ) properties (out of 84870) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1043 ms. (steps per millisecond=0 ) properties (out of 84870) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 984 ms. (steps per millisecond=1 ) properties (out of 84868) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1028 ms. (steps per millisecond=0 ) properties (out of 84867) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 970 ms. (steps per millisecond=1 ) properties (out of 84865) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1021 ms. (steps per millisecond=0 ) properties (out of 84865) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 924 ms. (steps per millisecond=1 ) properties (out of 84863) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1136 ms. (steps per millisecond=0 ) properties (out of 84860) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1029 ms. (steps per millisecond=0 ) properties (out of 84859) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1023 ms. (steps per millisecond=0 ) properties (out of 84857) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1040 ms. (steps per millisecond=0 ) properties (out of 84854) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1025 ms. (steps per millisecond=0 ) properties (out of 84852) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 938 ms. (steps per millisecond=1 ) properties (out of 84849) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 919 ms. (steps per millisecond=1 ) properties (out of 84849) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1038 ms. (steps per millisecond=0 ) properties (out of 84847) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 927 ms. (steps per millisecond=1 ) properties (out of 84847) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1044 ms. (steps per millisecond=0 ) properties (out of 84845) seen :4
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 977 ms. (steps per millisecond=1 ) properties (out of 84841) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1013 ms. (steps per millisecond=0 ) properties (out of 84838) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 959 ms. (steps per millisecond=1 ) properties (out of 84832) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 982 ms. (steps per millisecond=1 ) properties (out of 84832) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1015 ms. (steps per millisecond=0 ) properties (out of 84831) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 948 ms. (steps per millisecond=1 ) properties (out of 84829) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 922 ms. (steps per millisecond=1 ) properties (out of 84828) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 993 ms. (steps per millisecond=1 ) properties (out of 84822) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1127 ms. (steps per millisecond=0 ) properties (out of 84818) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 932 ms. (steps per millisecond=1 ) properties (out of 84817) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1042 ms. (steps per millisecond=0 ) properties (out of 84816) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1041 ms. (steps per millisecond=0 ) properties (out of 84811) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1063 ms. (steps per millisecond=0 ) properties (out of 84811) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1029 ms. (steps per millisecond=0 ) properties (out of 84809) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1000 ms. (steps per millisecond=1 ) properties (out of 84809) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1011 ms. (steps per millisecond=0 ) properties (out of 84809) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1021 ms. (steps per millisecond=0 ) properties (out of 84805) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1023 ms. (steps per millisecond=0 ) properties (out of 84803) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1033 ms. (steps per millisecond=0 ) properties (out of 84802) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1117 ms. (steps per millisecond=0 ) properties (out of 84801) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 851 ms. (steps per millisecond=1 ) properties (out of 84801) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 890 ms. (steps per millisecond=1 ) properties (out of 84799) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 971 ms. (steps per millisecond=1 ) properties (out of 84799) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 976 ms. (steps per millisecond=1 ) properties (out of 84799) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1045 ms. (steps per millisecond=0 ) properties (out of 84795) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 952 ms. (steps per millisecond=1 ) properties (out of 84793) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 999 ms. (steps per millisecond=1 ) properties (out of 84791) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1000 ms. (steps per millisecond=1 ) properties (out of 84790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1018 ms. (steps per millisecond=0 ) properties (out of 84790) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1086 ms. (steps per millisecond=0 ) properties (out of 84788) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 972 ms. (steps per millisecond=1 ) properties (out of 84788) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1069 ms. (steps per millisecond=0 ) properties (out of 84787) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 926 ms. (steps per millisecond=1 ) properties (out of 84786) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 958 ms. (steps per millisecond=1 ) properties (out of 84785) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 895 ms. (steps per millisecond=1 ) properties (out of 84782) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1357 ms. (steps per millisecond=0 ) properties (out of 84782) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1320 ms. (steps per millisecond=0 ) properties (out of 84782) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1103 ms. (steps per millisecond=0 ) properties (out of 84781) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1133 ms. (steps per millisecond=0 ) properties (out of 84781) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 963 ms. (steps per millisecond=1 ) properties (out of 84781) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 997 ms. (steps per millisecond=1 ) properties (out of 84779) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 963 ms. (steps per millisecond=1 ) properties (out of 84778) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 982 ms. (steps per millisecond=1 ) properties (out of 84777) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 984 ms. (steps per millisecond=1 ) properties (out of 84775) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 854 ms. (steps per millisecond=1 ) properties (out of 84774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 922 ms. (steps per millisecond=1 ) properties (out of 84774) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 954 ms. (steps per millisecond=1 ) properties (out of 84770) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 973 ms. (steps per millisecond=1 ) properties (out of 84769) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 937 ms. (steps per millisecond=1 ) properties (out of 84769) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 985 ms. (steps per millisecond=1 ) properties (out of 84769) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 939 ms. (steps per millisecond=1 ) properties (out of 84768) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1178 ms. (steps per millisecond=0 ) properties (out of 84766) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1040 ms. (steps per millisecond=0 ) properties (out of 84764) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1054 ms. (steps per millisecond=0 ) properties (out of 84761) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 961 ms. (steps per millisecond=1 ) properties (out of 84759) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 998 ms. (steps per millisecond=1 ) properties (out of 84758) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1121 ms. (steps per millisecond=0 ) properties (out of 84758) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 940 ms. (steps per millisecond=1 ) properties (out of 84755) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 996 ms. (steps per millisecond=1 ) properties (out of 84755) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1131 ms. (steps per millisecond=0 ) properties (out of 84754) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1011 ms. (steps per millisecond=0 ) properties (out of 84753) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1033 ms. (steps per millisecond=0 ) properties (out of 84752) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1039 ms. (steps per millisecond=0 ) properties (out of 84752) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 995 ms. (steps per millisecond=1 ) properties (out of 84752) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1012 ms. (steps per millisecond=0 ) properties (out of 84751) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 988 ms. (steps per millisecond=1 ) properties (out of 84751) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1192 ms. (steps per millisecond=0 ) properties (out of 84751) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1061 ms. (steps per millisecond=0 ) properties (out of 84751) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1083 ms. (steps per millisecond=0 ) properties (out of 84746) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1005 ms. (steps per millisecond=0 ) properties (out of 84746) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 900 ms. (steps per millisecond=1 ) properties (out of 84746) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 956 ms. (steps per millisecond=1 ) properties (out of 84746) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 918 ms. (steps per millisecond=1 ) properties (out of 84746) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 995 ms. (steps per millisecond=1 ) properties (out of 84746) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 953 ms. (steps per millisecond=1 ) properties (out of 84744) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1081 ms. (steps per millisecond=0 ) properties (out of 84744) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1067 ms. (steps per millisecond=0 ) properties (out of 84744) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1042 ms. (steps per millisecond=0 ) properties (out of 84741) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1021 ms. (steps per millisecond=0 ) properties (out of 84738) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 933 ms. (steps per millisecond=1 ) properties (out of 84738) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 943 ms. (steps per millisecond=1 ) properties (out of 84738) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 960 ms. (steps per millisecond=1 ) properties (out of 84737) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1006 ms. (steps per millisecond=0 ) properties (out of 84735) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1023 ms. (steps per millisecond=0 ) properties (out of 84734) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 908 ms. (steps per millisecond=1 ) properties (out of 84733) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 980 ms. (steps per millisecond=1 ) properties (out of 84732) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1021 ms. (steps per millisecond=0 ) properties (out of 84732) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1038 ms. (steps per millisecond=0 ) properties (out of 84732) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1468 ms. (steps per millisecond=0 ) properties (out of 84730) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1485 ms. (steps per millisecond=0 ) properties (out of 84727) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1477 ms. (steps per millisecond=0 ) properties (out of 84724) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1176 ms. (steps per millisecond=0 ) properties (out of 84723) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1100 ms. (steps per millisecond=0 ) properties (out of 84722) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1152 ms. (steps per millisecond=0 ) properties (out of 84722) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1031 ms. (steps per millisecond=0 ) properties (out of 84720) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1360 ms. (steps per millisecond=0 ) properties (out of 84719) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1412 ms. (steps per millisecond=0 ) properties (out of 84713) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1467 ms. (steps per millisecond=0 ) properties (out of 84713) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1515 ms. (steps per millisecond=0 ) properties (out of 84713) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1379 ms. (steps per millisecond=0 ) properties (out of 84711) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1515 ms. (steps per millisecond=0 ) properties (out of 84711) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1441 ms. (steps per millisecond=0 ) properties (out of 84710) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1432 ms. (steps per millisecond=0 ) properties (out of 84710) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1477 ms. (steps per millisecond=0 ) properties (out of 84710) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1427 ms. (steps per millisecond=0 ) properties (out of 84709) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1533 ms. (steps per millisecond=0 ) properties (out of 84709) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1436 ms. (steps per millisecond=0 ) properties (out of 84708) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1452 ms. (steps per millisecond=0 ) properties (out of 84706) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1354 ms. (steps per millisecond=0 ) properties (out of 84704) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1536 ms. (steps per millisecond=0 ) properties (out of 84704) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1361 ms. (steps per millisecond=0 ) properties (out of 84704) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1490 ms. (steps per millisecond=0 ) properties (out of 84704) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1332 ms. (steps per millisecond=0 ) properties (out of 84704) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1587 ms. (steps per millisecond=0 ) properties (out of 84703) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1335 ms. (steps per millisecond=0 ) properties (out of 84702) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1440 ms. (steps per millisecond=0 ) properties (out of 84700) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1347 ms. (steps per millisecond=0 ) properties (out of 84696) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1385 ms. (steps per millisecond=0 ) properties (out of 84692) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1367 ms. (steps per millisecond=0 ) properties (out of 84692) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1330 ms. (steps per millisecond=0 ) properties (out of 84690) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1334 ms. (steps per millisecond=0 ) properties (out of 84690) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 977 ms. (steps per millisecond=1 ) properties (out of 84689) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1031 ms. (steps per millisecond=0 ) properties (out of 84686) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1089 ms. (steps per millisecond=0 ) properties (out of 84683) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1006 ms. (steps per millisecond=0 ) properties (out of 84678) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1043 ms. (steps per millisecond=0 ) properties (out of 84676) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1042 ms. (steps per millisecond=0 ) properties (out of 84675) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 892 ms. (steps per millisecond=1 ) properties (out of 84673) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 992 ms. (steps per millisecond=1 ) properties (out of 84673) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1031 ms. (steps per millisecond=0 ) properties (out of 84673) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 975 ms. (steps per millisecond=1 ) properties (out of 84671) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 933 ms. (steps per millisecond=1 ) properties (out of 84671) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 964 ms. (steps per millisecond=1 ) properties (out of 84668) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 961 ms. (steps per millisecond=1 ) properties (out of 84667) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 970 ms. (steps per millisecond=1 ) properties (out of 84666) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 995 ms. (steps per millisecond=1 ) properties (out of 84663) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1065 ms. (steps per millisecond=0 ) properties (out of 84663) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1046 ms. (steps per millisecond=0 ) properties (out of 84662) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1027 ms. (steps per millisecond=0 ) properties (out of 84660) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1312 ms. (steps per millisecond=0 ) properties (out of 84660) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1018 ms. (steps per millisecond=0 ) properties (out of 84658) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 964 ms. (steps per millisecond=1 ) properties (out of 84656) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1080 ms. (steps per millisecond=0 ) properties (out of 84656) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1044 ms. (steps per millisecond=0 ) properties (out of 84656) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1092 ms. (steps per millisecond=0 ) properties (out of 84656) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1046 ms. (steps per millisecond=0 ) properties (out of 84656) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1103 ms. (steps per millisecond=0 ) properties (out of 84656) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1109 ms. (steps per millisecond=0 ) properties (out of 84655) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1006 ms. (steps per millisecond=0 ) properties (out of 84655) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1057 ms. (steps per millisecond=0 ) properties (out of 84654) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1069 ms. (steps per millisecond=0 ) properties (out of 84654) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 995 ms. (steps per millisecond=1 ) properties (out of 84654) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1160 ms. (steps per millisecond=0 ) properties (out of 84652) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 991 ms. (steps per millisecond=1 ) properties (out of 84652) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1072 ms. (steps per millisecond=0 ) properties (out of 84652) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1014 ms. (steps per millisecond=0 ) properties (out of 84651) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1092 ms. (steps per millisecond=0 ) properties (out of 84651) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1122 ms. (steps per millisecond=0 ) properties (out of 84651) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1037 ms. (steps per millisecond=0 ) properties (out of 84651) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1057 ms. (steps per millisecond=0 ) properties (out of 84651) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1085 ms. (steps per millisecond=0 ) properties (out of 84651) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1048 ms. (steps per millisecond=0 ) properties (out of 84649) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1141 ms. (steps per millisecond=0 ) properties (out of 84649) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1038 ms. (steps per millisecond=0 ) properties (out of 84644) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1072 ms. (steps per millisecond=0 ) properties (out of 84644) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1116 ms. (steps per millisecond=0 ) properties (out of 84643) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1065 ms. (steps per millisecond=0 ) properties (out of 84641) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 990 ms. (steps per millisecond=1 ) properties (out of 84641) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1115 ms. (steps per millisecond=0 ) properties (out of 84641) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1058 ms. (steps per millisecond=0 ) properties (out of 84639) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 967 ms. (steps per millisecond=1 ) properties (out of 84638) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 977 ms. (steps per millisecond=1 ) properties (out of 84636) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1073 ms. (steps per millisecond=0 ) properties (out of 84636) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 920 ms. (steps per millisecond=1 ) properties (out of 84635) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1029 ms. (steps per millisecond=0 ) properties (out of 84632) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1013 ms. (steps per millisecond=0 ) properties (out of 84632) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1014 ms. (steps per millisecond=0 ) properties (out of 84631) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 969 ms. (steps per millisecond=1 ) properties (out of 84630) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1197 ms. (steps per millisecond=0 ) properties (out of 84625) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1137 ms. (steps per millisecond=0 ) properties (out of 84625) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 965 ms. (steps per millisecond=1 ) properties (out of 84625) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1584 ms. (steps per millisecond=0 ) properties (out of 84623) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1638 ms. (steps per millisecond=0 ) properties (out of 84623) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1511 ms. (steps per millisecond=0 ) properties (out of 84622) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1700 ms. (steps per millisecond=0 ) properties (out of 84622) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1393 ms. (steps per millisecond=0 ) properties (out of 84621) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1134 ms. (steps per millisecond=0 ) properties (out of 84620) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1039 ms. (steps per millisecond=0 ) properties (out of 84620) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1015 ms. (steps per millisecond=0 ) properties (out of 84618) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1058 ms. (steps per millisecond=0 ) properties (out of 84615) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1024 ms. (steps per millisecond=0 ) properties (out of 84615) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1020 ms. (steps per millisecond=0 ) properties (out of 84614) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1013 ms. (steps per millisecond=0 ) properties (out of 84613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1064 ms. (steps per millisecond=0 ) properties (out of 84613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1064 ms. (steps per millisecond=0 ) properties (out of 84613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1075 ms. (steps per millisecond=0 ) properties (out of 84613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1087 ms. (steps per millisecond=0 ) properties (out of 84613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1036 ms. (steps per millisecond=0 ) properties (out of 84613) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 997 ms. (steps per millisecond=1 ) properties (out of 84611) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1104 ms. (steps per millisecond=0 ) properties (out of 84606) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1050 ms. (steps per millisecond=0 ) properties (out of 84603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1094 ms. (steps per millisecond=0 ) properties (out of 84603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 993 ms. (steps per millisecond=1 ) properties (out of 84603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1029 ms. (steps per millisecond=0 ) properties (out of 84603) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1256 ms. (steps per millisecond=0 ) properties (out of 84603) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1081 ms. (steps per millisecond=0 ) properties (out of 84600) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1094 ms. (steps per millisecond=0 ) properties (out of 84600) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 932 ms. (steps per millisecond=1 ) properties (out of 84600) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1082 ms. (steps per millisecond=0 ) properties (out of 84599) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1070 ms. (steps per millisecond=0 ) properties (out of 84598) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1005 ms. (steps per millisecond=0 ) properties (out of 84598) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 953 ms. (steps per millisecond=1 ) properties (out of 84598) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1091 ms. (steps per millisecond=0 ) properties (out of 84598) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1073 ms. (steps per millisecond=0 ) properties (out of 84598) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 998 ms. (steps per millisecond=1 ) properties (out of 84593) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1025 ms. (steps per millisecond=0 ) properties (out of 84592) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1109 ms. (steps per millisecond=0 ) properties (out of 84589) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1080 ms. (steps per millisecond=0 ) properties (out of 84586) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 984 ms. (steps per millisecond=1 ) properties (out of 84585) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1136 ms. (steps per millisecond=0 ) properties (out of 84584) seen :3
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1230 ms. (steps per millisecond=0 ) properties (out of 84581) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1033 ms. (steps per millisecond=0 ) properties (out of 84581) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1259 ms. (steps per millisecond=0 ) properties (out of 84578) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 968 ms. (steps per millisecond=1 ) properties (out of 84578) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1162 ms. (steps per millisecond=0 ) properties (out of 84578) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1025 ms. (steps per millisecond=0 ) properties (out of 84578) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1099 ms. (steps per millisecond=0 ) properties (out of 84576) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1096 ms. (steps per millisecond=0 ) properties (out of 84576) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1092 ms. (steps per millisecond=0 ) properties (out of 84576) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1064 ms. (steps per millisecond=0 ) properties (out of 84576) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1001 ms. (steps per millisecond=1 ) properties (out of 84576) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1527 ms. (steps per millisecond=0 ) properties (out of 84576) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1044 ms. (steps per millisecond=0 ) properties (out of 84576) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 912 ms. (steps per millisecond=1 ) properties (out of 84576) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 952 ms. (steps per millisecond=1 ) properties (out of 84576) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 991 ms. (steps per millisecond=1 ) properties (out of 84576) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1038 ms. (steps per millisecond=0 ) properties (out of 84575) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 953 ms. (steps per millisecond=1 ) properties (out of 84575) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1216 ms. (steps per millisecond=0 ) properties (out of 84573) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1124 ms. (steps per millisecond=0 ) properties (out of 84573) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1110 ms. (steps per millisecond=0 ) properties (out of 84572) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1123 ms. (steps per millisecond=0 ) properties (out of 84572) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1039 ms. (steps per millisecond=0 ) properties (out of 84571) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1021 ms. (steps per millisecond=0 ) properties (out of 84569) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1227 ms. (steps per millisecond=0 ) properties (out of 84565) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1005 ms. (steps per millisecond=0 ) properties (out of 84564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1041 ms. (steps per millisecond=0 ) properties (out of 84564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 939 ms. (steps per millisecond=1 ) properties (out of 84564) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1020 ms. (steps per millisecond=0 ) properties (out of 84563) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1127 ms. (steps per millisecond=0 ) properties (out of 84558) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1052 ms. (steps per millisecond=0 ) properties (out of 84557) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1023 ms. (steps per millisecond=0 ) properties (out of 84553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 989 ms. (steps per millisecond=1 ) properties (out of 84553) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1168 ms. (steps per millisecond=0 ) properties (out of 84550) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1024 ms. (steps per millisecond=0 ) properties (out of 84550) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1101 ms. (steps per millisecond=0 ) properties (out of 84545) seen :3
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 976 ms. (steps per millisecond=1 ) properties (out of 84542) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1005 ms. (steps per millisecond=0 ) properties (out of 84540) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1258 ms. (steps per millisecond=0 ) properties (out of 84540) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1028 ms. (steps per millisecond=0 ) properties (out of 84540) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 930 ms. (steps per millisecond=1 ) properties (out of 84540) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1025 ms. (steps per millisecond=0 ) properties (out of 84539) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 957 ms. (steps per millisecond=1 ) properties (out of 84538) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 965 ms. (steps per millisecond=1 ) properties (out of 84538) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1031 ms. (steps per millisecond=0 ) properties (out of 84538) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 985 ms. (steps per millisecond=1 ) properties (out of 84537) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1037 ms. (steps per millisecond=0 ) properties (out of 84535) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 963 ms. (steps per millisecond=1 ) properties (out of 84533) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 951 ms. (steps per millisecond=1 ) properties (out of 84531) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 887 ms. (steps per millisecond=1 ) properties (out of 84530) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1469 ms. (steps per millisecond=0 ) properties (out of 84529) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 987 ms. (steps per millisecond=1 ) properties (out of 84529) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 975 ms. (steps per millisecond=1 ) properties (out of 84529) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 937 ms. (steps per millisecond=1 ) properties (out of 84528) seen :3
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1050 ms. (steps per millisecond=0 ) properties (out of 84525) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1075 ms. (steps per millisecond=0 ) properties (out of 84524) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1395 ms. (steps per millisecond=0 ) properties (out of 84522) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1616 ms. (steps per millisecond=0 ) properties (out of 84520) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1234 ms. (steps per millisecond=0 ) properties (out of 84519) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1013 ms. (steps per millisecond=0 ) properties (out of 84518) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 916 ms. (steps per millisecond=1 ) properties (out of 84518) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1087 ms. (steps per millisecond=0 ) properties (out of 84518) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1088 ms. (steps per millisecond=0 ) properties (out of 84516) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1017 ms. (steps per millisecond=0 ) properties (out of 84514) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1096 ms. (steps per millisecond=0 ) properties (out of 84512) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1160 ms. (steps per millisecond=0 ) properties (out of 84512) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 981 ms. (steps per millisecond=1 ) properties (out of 84506) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1024 ms. (steps per millisecond=0 ) properties (out of 84506) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1171 ms. (steps per millisecond=0 ) properties (out of 84506) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1084 ms. (steps per millisecond=0 ) properties (out of 84505) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1132 ms. (steps per millisecond=0 ) properties (out of 84504) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1064 ms. (steps per millisecond=0 ) properties (out of 84501) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 980 ms. (steps per millisecond=1 ) properties (out of 84500) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 992 ms. (steps per millisecond=1 ) properties (out of 84495) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1041 ms. (steps per millisecond=0 ) properties (out of 84495) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 985 ms. (steps per millisecond=1 ) properties (out of 84495) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 995 ms. (steps per millisecond=1 ) properties (out of 84495) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1064 ms. (steps per millisecond=0 ) properties (out of 84493) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1114 ms. (steps per millisecond=0 ) properties (out of 84491) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1068 ms. (steps per millisecond=0 ) properties (out of 84489) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1057 ms. (steps per millisecond=0 ) properties (out of 84487) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 911 ms. (steps per millisecond=1 ) properties (out of 84486) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1043 ms. (steps per millisecond=0 ) properties (out of 84485) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 975 ms. (steps per millisecond=1 ) properties (out of 84485) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1010 ms. (steps per millisecond=0 ) properties (out of 84483) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 938 ms. (steps per millisecond=1 ) properties (out of 84483) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1069 ms. (steps per millisecond=0 ) properties (out of 84483) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 986 ms. (steps per millisecond=1 ) properties (out of 84483) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1120 ms. (steps per millisecond=0 ) properties (out of 84480) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1017 ms. (steps per millisecond=0 ) properties (out of 84480) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 985 ms. (steps per millisecond=1 ) properties (out of 84480) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1055 ms. (steps per millisecond=0 ) properties (out of 84480) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1080 ms. (steps per millisecond=0 ) properties (out of 84478) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1052 ms. (steps per millisecond=0 ) properties (out of 84477) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1133 ms. (steps per millisecond=0 ) properties (out of 84477) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1090 ms. (steps per millisecond=0 ) properties (out of 84475) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 985 ms. (steps per millisecond=1 ) properties (out of 84473) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1059 ms. (steps per millisecond=0 ) properties (out of 84473) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1370 ms. (steps per millisecond=0 ) properties (out of 84467) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1269 ms. (steps per millisecond=0 ) properties (out of 84467) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1499 ms. (steps per millisecond=0 ) properties (out of 84465) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1429 ms. (steps per millisecond=0 ) properties (out of 84464) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1353 ms. (steps per millisecond=0 ) properties (out of 84463) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1502 ms. (steps per millisecond=0 ) properties (out of 84463) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1152 ms. (steps per millisecond=0 ) properties (out of 84463) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1066 ms. (steps per millisecond=0 ) properties (out of 84463) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1030 ms. (steps per millisecond=0 ) properties (out of 84463) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1164 ms. (steps per millisecond=0 ) properties (out of 84462) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1022 ms. (steps per millisecond=0 ) properties (out of 84462) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1084 ms. (steps per millisecond=0 ) properties (out of 84462) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1032 ms. (steps per millisecond=0 ) properties (out of 84462) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1066 ms. (steps per millisecond=0 ) properties (out of 84462) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1033 ms. (steps per millisecond=0 ) properties (out of 84461) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 996 ms. (steps per millisecond=1 ) properties (out of 84461) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1105 ms. (steps per millisecond=0 ) properties (out of 84461) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 924 ms. (steps per millisecond=1 ) properties (out of 84461) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 944 ms. (steps per millisecond=1 ) properties (out of 84461) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1003 ms. (steps per millisecond=0 ) properties (out of 84460) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 964 ms. (steps per millisecond=1 ) properties (out of 84460) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 890 ms. (steps per millisecond=1 ) properties (out of 84460) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 997 ms. (steps per millisecond=1 ) properties (out of 84460) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1036 ms. (steps per millisecond=0 ) properties (out of 84460) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1041 ms. (steps per millisecond=0 ) properties (out of 84459) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1123 ms. (steps per millisecond=0 ) properties (out of 84456) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 951 ms. (steps per millisecond=1 ) properties (out of 84456) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 893 ms. (steps per millisecond=1 ) properties (out of 84455) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1084 ms. (steps per millisecond=0 ) properties (out of 84455) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1121 ms. (steps per millisecond=0 ) properties (out of 84455) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 978 ms. (steps per millisecond=1 ) properties (out of 84454) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 958 ms. (steps per millisecond=1 ) properties (out of 84452) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1030 ms. (steps per millisecond=0 ) properties (out of 84449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1150 ms. (steps per millisecond=0 ) properties (out of 84449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 971 ms. (steps per millisecond=1 ) properties (out of 84449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1119 ms. (steps per millisecond=0 ) properties (out of 84449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1084 ms. (steps per millisecond=0 ) properties (out of 84449) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1071 ms. (steps per millisecond=0 ) properties (out of 84447) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1011 ms. (steps per millisecond=0 ) properties (out of 84446) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 974 ms. (steps per millisecond=1 ) properties (out of 84446) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1108 ms. (steps per millisecond=0 ) properties (out of 84443) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1059 ms. (steps per millisecond=0 ) properties (out of 84443) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1083 ms. (steps per millisecond=0 ) properties (out of 84442) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1186 ms. (steps per millisecond=0 ) properties (out of 84442) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1122 ms. (steps per millisecond=0 ) properties (out of 84442) seen :3
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1194 ms. (steps per millisecond=0 ) properties (out of 84439) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1319 ms. (steps per millisecond=0 ) properties (out of 84439) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1374 ms. (steps per millisecond=0 ) properties (out of 84434) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1063 ms. (steps per millisecond=0 ) properties (out of 84434) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 955 ms. (steps per millisecond=1 ) properties (out of 84431) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1143 ms. (steps per millisecond=0 ) properties (out of 84431) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1069 ms. (steps per millisecond=0 ) properties (out of 84431) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1150 ms. (steps per millisecond=0 ) properties (out of 84431) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1016 ms. (steps per millisecond=0 ) properties (out of 84431) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 982 ms. (steps per millisecond=1 ) properties (out of 84431) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1085 ms. (steps per millisecond=0 ) properties (out of 84431) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1033 ms. (steps per millisecond=0 ) properties (out of 84431) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1057 ms. (steps per millisecond=0 ) properties (out of 84430) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 900 ms. (steps per millisecond=1 ) properties (out of 84429) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1125 ms. (steps per millisecond=0 ) properties (out of 84429) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1120 ms. (steps per millisecond=0 ) properties (out of 84429) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 982 ms. (steps per millisecond=1 ) properties (out of 84429) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1101 ms. (steps per millisecond=0 ) properties (out of 84428) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1096 ms. (steps per millisecond=0 ) properties (out of 84428) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1108 ms. (steps per millisecond=0 ) properties (out of 84428) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1145 ms. (steps per millisecond=0 ) properties (out of 84428) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1030 ms. (steps per millisecond=0 ) properties (out of 84428) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1103 ms. (steps per millisecond=0 ) properties (out of 84428) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1061 ms. (steps per millisecond=0 ) properties (out of 84428) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1031 ms. (steps per millisecond=0 ) properties (out of 84426) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1037 ms. (steps per millisecond=0 ) properties (out of 84426) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1008 ms. (steps per millisecond=0 ) properties (out of 84425) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1018 ms. (steps per millisecond=0 ) properties (out of 84424) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 958 ms. (steps per millisecond=1 ) properties (out of 84423) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1018 ms. (steps per millisecond=0 ) properties (out of 84422) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1030 ms. (steps per millisecond=0 ) properties (out of 84422) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1048 ms. (steps per millisecond=0 ) properties (out of 84419) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1062 ms. (steps per millisecond=0 ) properties (out of 84418) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1092 ms. (steps per millisecond=0 ) properties (out of 84418) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 911 ms. (steps per millisecond=1 ) properties (out of 84418) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1022 ms. (steps per millisecond=0 ) properties (out of 84416) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1075 ms. (steps per millisecond=0 ) properties (out of 84415) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 949 ms. (steps per millisecond=1 ) properties (out of 84415) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1228 ms. (steps per millisecond=0 ) properties (out of 84413) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 931 ms. (steps per millisecond=1 ) properties (out of 84412) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1012 ms. (steps per millisecond=0 ) properties (out of 84410) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1053 ms. (steps per millisecond=0 ) properties (out of 84410) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1048 ms. (steps per millisecond=0 ) properties (out of 84410) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 956 ms. (steps per millisecond=1 ) properties (out of 84410) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1054 ms. (steps per millisecond=0 ) properties (out of 84410) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 995 ms. (steps per millisecond=1 ) properties (out of 84410) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 977 ms. (steps per millisecond=1 ) properties (out of 84410) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1006 ms. (steps per millisecond=0 ) properties (out of 84409) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1073 ms. (steps per millisecond=0 ) properties (out of 84408) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1012 ms. (steps per millisecond=0 ) properties (out of 84407) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1008 ms. (steps per millisecond=0 ) properties (out of 84407) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1071 ms. (steps per millisecond=0 ) properties (out of 84407) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1039 ms. (steps per millisecond=0 ) properties (out of 84407) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1068 ms. (steps per millisecond=0 ) properties (out of 84404) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1135 ms. (steps per millisecond=0 ) properties (out of 84404) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1016 ms. (steps per millisecond=0 ) properties (out of 84404) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 895 ms. (steps per millisecond=1 ) properties (out of 84404) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1002 ms. (steps per millisecond=0 ) properties (out of 84404) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 951 ms. (steps per millisecond=1 ) properties (out of 84404) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 940 ms. (steps per millisecond=1 ) properties (out of 84403) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 974 ms. (steps per millisecond=1 ) properties (out of 84403) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1023 ms. (steps per millisecond=0 ) properties (out of 84403) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 998 ms. (steps per millisecond=1 ) properties (out of 84403) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1077 ms. (steps per millisecond=0 ) properties (out of 84401) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1018 ms. (steps per millisecond=0 ) properties (out of 84401) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 985 ms. (steps per millisecond=1 ) properties (out of 84401) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1018 ms. (steps per millisecond=0 ) properties (out of 84401) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1118 ms. (steps per millisecond=0 ) properties (out of 84401) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1019 ms. (steps per millisecond=0 ) properties (out of 84401) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1024 ms. (steps per millisecond=0 ) properties (out of 84401) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1059 ms. (steps per millisecond=0 ) properties (out of 84398) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1067 ms. (steps per millisecond=0 ) properties (out of 84398) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1078 ms. (steps per millisecond=0 ) properties (out of 84396) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 911 ms. (steps per millisecond=1 ) properties (out of 84396) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1116 ms. (steps per millisecond=0 ) properties (out of 84396) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1028 ms. (steps per millisecond=0 ) properties (out of 84396) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 993 ms. (steps per millisecond=1 ) properties (out of 84396) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 980 ms. (steps per millisecond=1 ) properties (out of 84395) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1027 ms. (steps per millisecond=0 ) properties (out of 84392) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 955 ms. (steps per millisecond=1 ) properties (out of 84390) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1030 ms. (steps per millisecond=0 ) properties (out of 84389) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1197 ms. (steps per millisecond=0 ) properties (out of 84389) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 947 ms. (steps per millisecond=1 ) properties (out of 84386) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1073 ms. (steps per millisecond=0 ) properties (out of 84386) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1000 ms. (steps per millisecond=1 ) properties (out of 84386) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1036 ms. (steps per millisecond=0 ) properties (out of 84386) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 956 ms. (steps per millisecond=1 ) properties (out of 84386) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1290 ms. (steps per millisecond=0 ) properties (out of 84384) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1339 ms. (steps per millisecond=0 ) properties (out of 84384) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1336 ms. (steps per millisecond=0 ) properties (out of 84384) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1308 ms. (steps per millisecond=0 ) properties (out of 84384) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1396 ms. (steps per millisecond=0 ) properties (out of 84384) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1261 ms. (steps per millisecond=0 ) properties (out of 84384) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1435 ms. (steps per millisecond=0 ) properties (out of 84384) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1538 ms. (steps per millisecond=0 ) properties (out of 84383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1396 ms. (steps per millisecond=0 ) properties (out of 84383) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1188 ms. (steps per millisecond=0 ) properties (out of 84383) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1403 ms. (steps per millisecond=0 ) properties (out of 84383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1385 ms. (steps per millisecond=0 ) properties (out of 84383) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1527 ms. (steps per millisecond=0 ) properties (out of 84381) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1373 ms. (steps per millisecond=0 ) properties (out of 84380) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1603 ms. (steps per millisecond=0 ) properties (out of 84379) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1030 ms. (steps per millisecond=0 ) properties (out of 84379) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1007 ms. (steps per millisecond=0 ) properties (out of 84374) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 982 ms. (steps per millisecond=1 ) properties (out of 84374) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1010 ms. (steps per millisecond=0 ) properties (out of 84371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1001 ms. (steps per millisecond=1 ) properties (out of 84371) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1066 ms. (steps per millisecond=0 ) properties (out of 84370) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 958 ms. (steps per millisecond=1 ) properties (out of 84370) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1061 ms. (steps per millisecond=0 ) properties (out of 84370) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1019 ms. (steps per millisecond=0 ) properties (out of 84370) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1111 ms. (steps per millisecond=0 ) properties (out of 84370) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1059 ms. (steps per millisecond=0 ) properties (out of 84370) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1253 ms. (steps per millisecond=0 ) properties (out of 84368) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1035 ms. (steps per millisecond=0 ) properties (out of 84363) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1012 ms. (steps per millisecond=0 ) properties (out of 84363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1114 ms. (steps per millisecond=0 ) properties (out of 84363) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 961 ms. (steps per millisecond=1 ) properties (out of 84361) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1039 ms. (steps per millisecond=0 ) properties (out of 84361) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1134 ms. (steps per millisecond=0 ) properties (out of 84361) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 992 ms. (steps per millisecond=1 ) properties (out of 84361) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1016 ms. (steps per millisecond=0 ) properties (out of 84361) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1074 ms. (steps per millisecond=0 ) properties (out of 84359) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 943 ms. (steps per millisecond=1 ) properties (out of 84355) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1024 ms. (steps per millisecond=0 ) properties (out of 84352) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1073 ms. (steps per millisecond=0 ) properties (out of 84352) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1076 ms. (steps per millisecond=0 ) properties (out of 84350) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1075 ms. (steps per millisecond=0 ) properties (out of 84350) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1207 ms. (steps per millisecond=0 ) properties (out of 84348) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 980 ms. (steps per millisecond=1 ) properties (out of 84346) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1067 ms. (steps per millisecond=0 ) properties (out of 84345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1140 ms. (steps per millisecond=0 ) properties (out of 84345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1063 ms. (steps per millisecond=0 ) properties (out of 84345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1041 ms. (steps per millisecond=0 ) properties (out of 84345) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1090 ms. (steps per millisecond=0 ) properties (out of 84345) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1128 ms. (steps per millisecond=0 ) properties (out of 84343) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1043 ms. (steps per millisecond=0 ) properties (out of 84343) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1014 ms. (steps per millisecond=0 ) properties (out of 84343) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 987 ms. (steps per millisecond=1 ) properties (out of 84343) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 954 ms. (steps per millisecond=1 ) properties (out of 84343) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1153 ms. (steps per millisecond=0 ) properties (out of 84341) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 963 ms. (steps per millisecond=1 ) properties (out of 84341) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1001 ms. (steps per millisecond=1 ) properties (out of 84340) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 984 ms. (steps per millisecond=1 ) properties (out of 84340) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1079 ms. (steps per millisecond=0 ) properties (out of 84340) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 901 ms. (steps per millisecond=1 ) properties (out of 84340) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1134 ms. (steps per millisecond=0 ) properties (out of 84340) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1448 ms. (steps per millisecond=0 ) properties (out of 84340) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1424 ms. (steps per millisecond=0 ) properties (out of 84339) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1501 ms. (steps per millisecond=0 ) properties (out of 84339) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1508 ms. (steps per millisecond=0 ) properties (out of 84339) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1372 ms. (steps per millisecond=0 ) properties (out of 84339) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1364 ms. (steps per millisecond=0 ) properties (out of 84339) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1438 ms. (steps per millisecond=0 ) properties (out of 84339) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1530 ms. (steps per millisecond=0 ) properties (out of 84339) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1371 ms. (steps per millisecond=0 ) properties (out of 84334) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1374 ms. (steps per millisecond=0 ) properties (out of 84334) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1459 ms. (steps per millisecond=0 ) properties (out of 84334) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1403 ms. (steps per millisecond=0 ) properties (out of 84334) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1394 ms. (steps per millisecond=0 ) properties (out of 84330) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1074 ms. (steps per millisecond=0 ) properties (out of 84330) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1323 ms. (steps per millisecond=0 ) properties (out of 84330) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1397 ms. (steps per millisecond=0 ) properties (out of 84328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1357 ms. (steps per millisecond=0 ) properties (out of 84328) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1538 ms. (steps per millisecond=0 ) properties (out of 84328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1405 ms. (steps per millisecond=0 ) properties (out of 84328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1160 ms. (steps per millisecond=0 ) properties (out of 84328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1017 ms. (steps per millisecond=0 ) properties (out of 84328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1086 ms. (steps per millisecond=0 ) properties (out of 84328) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 985 ms. (steps per millisecond=1 ) properties (out of 84327) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1118 ms. (steps per millisecond=0 ) properties (out of 84327) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1034 ms. (steps per millisecond=0 ) properties (out of 84327) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 983 ms. (steps per millisecond=1 ) properties (out of 84327) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 969 ms. (steps per millisecond=1 ) properties (out of 84325) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 998 ms. (steps per millisecond=1 ) properties (out of 84325) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 993 ms. (steps per millisecond=1 ) properties (out of 84325) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1051 ms. (steps per millisecond=0 ) properties (out of 84324) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1014 ms. (steps per millisecond=0 ) properties (out of 84324) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1186 ms. (steps per millisecond=0 ) properties (out of 84324) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 915 ms. (steps per millisecond=1 ) properties (out of 84324) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1076 ms. (steps per millisecond=0 ) properties (out of 84324) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1063 ms. (steps per millisecond=0 ) properties (out of 84323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1047 ms. (steps per millisecond=0 ) properties (out of 84323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1012 ms. (steps per millisecond=0 ) properties (out of 84323) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1106 ms. (steps per millisecond=0 ) properties (out of 84322) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1034 ms. (steps per millisecond=0 ) properties (out of 84320) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1052 ms. (steps per millisecond=0 ) properties (out of 84320) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1053 ms. (steps per millisecond=0 ) properties (out of 84320) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1039 ms. (steps per millisecond=0 ) properties (out of 84320) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1136 ms. (steps per millisecond=0 ) properties (out of 84320) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1023 ms. (steps per millisecond=0 ) properties (out of 84320) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1053 ms. (steps per millisecond=0 ) properties (out of 84319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 976 ms. (steps per millisecond=1 ) properties (out of 84319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1153 ms. (steps per millisecond=0 ) properties (out of 84319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1053 ms. (steps per millisecond=0 ) properties (out of 84319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1120 ms. (steps per millisecond=0 ) properties (out of 84319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 948 ms. (steps per millisecond=1 ) properties (out of 84319) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 932 ms. (steps per millisecond=1 ) properties (out of 84318) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1142 ms. (steps per millisecond=0 ) properties (out of 84317) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1116 ms. (steps per millisecond=0 ) properties (out of 84315) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1073 ms. (steps per millisecond=0 ) properties (out of 84315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1099 ms. (steps per millisecond=0 ) properties (out of 84315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1109 ms. (steps per millisecond=0 ) properties (out of 84315) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1019 ms. (steps per millisecond=0 ) properties (out of 84314) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1163 ms. (steps per millisecond=0 ) properties (out of 84314) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1006 ms. (steps per millisecond=0 ) properties (out of 84314) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1022 ms. (steps per millisecond=0 ) properties (out of 84314) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1261 ms. (steps per millisecond=0 ) properties (out of 84312) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1384 ms. (steps per millisecond=0 ) properties (out of 84312) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1238 ms. (steps per millisecond=0 ) properties (out of 84310) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 945 ms. (steps per millisecond=1 ) properties (out of 84308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1046 ms. (steps per millisecond=0 ) properties (out of 84308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1113 ms. (steps per millisecond=0 ) properties (out of 84308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 997 ms. (steps per millisecond=1 ) properties (out of 84308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 994 ms. (steps per millisecond=1 ) properties (out of 84308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 969 ms. (steps per millisecond=1 ) properties (out of 84308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1038 ms. (steps per millisecond=0 ) properties (out of 84308) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 923 ms. (steps per millisecond=1 ) properties (out of 84307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 977 ms. (steps per millisecond=1 ) properties (out of 84307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1088 ms. (steps per millisecond=0 ) properties (out of 84307) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1056 ms. (steps per millisecond=0 ) properties (out of 84306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1016 ms. (steps per millisecond=0 ) properties (out of 84306) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 985 ms. (steps per millisecond=1 ) properties (out of 84305) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1053 ms. (steps per millisecond=0 ) properties (out of 84304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1040 ms. (steps per millisecond=0 ) properties (out of 84304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1005 ms. (steps per millisecond=0 ) properties (out of 84304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1464 ms. (steps per millisecond=0 ) properties (out of 84304) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1167 ms. (steps per millisecond=0 ) properties (out of 84303) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 995 ms. (steps per millisecond=1 ) properties (out of 84302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 982 ms. (steps per millisecond=1 ) properties (out of 84302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1027 ms. (steps per millisecond=0 ) properties (out of 84302) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1017 ms. (steps per millisecond=0 ) properties (out of 84302) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 914 ms. (steps per millisecond=1 ) properties (out of 84301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1026 ms. (steps per millisecond=0 ) properties (out of 84301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 998 ms. (steps per millisecond=1 ) properties (out of 84301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1109 ms. (steps per millisecond=0 ) properties (out of 84301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 915 ms. (steps per millisecond=1 ) properties (out of 84301) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 939 ms. (steps per millisecond=1 ) properties (out of 84299) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 991 ms. (steps per millisecond=1 ) properties (out of 84299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1123 ms. (steps per millisecond=0 ) properties (out of 84299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1047 ms. (steps per millisecond=0 ) properties (out of 84299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 936 ms. (steps per millisecond=1 ) properties (out of 84299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1125 ms. (steps per millisecond=0 ) properties (out of 84299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 922 ms. (steps per millisecond=1 ) properties (out of 84299) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1237 ms. (steps per millisecond=0 ) properties (out of 84298) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1400 ms. (steps per millisecond=0 ) properties (out of 84296) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1580 ms. (steps per millisecond=0 ) properties (out of 84296) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1047 ms. (steps per millisecond=0 ) properties (out of 84296) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 998 ms. (steps per millisecond=1 ) properties (out of 84296) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 928 ms. (steps per millisecond=1 ) properties (out of 84296) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1059 ms. (steps per millisecond=0 ) properties (out of 84292) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1003 ms. (steps per millisecond=0 ) properties (out of 84291) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1097 ms. (steps per millisecond=0 ) properties (out of 84286) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1112 ms. (steps per millisecond=0 ) properties (out of 84286) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1030 ms. (steps per millisecond=0 ) properties (out of 84286) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 942 ms. (steps per millisecond=1 ) properties (out of 84286) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1111 ms. (steps per millisecond=0 ) properties (out of 84286) seen :3
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1060 ms. (steps per millisecond=0 ) properties (out of 84283) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1123 ms. (steps per millisecond=0 ) properties (out of 84283) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1409 ms. (steps per millisecond=0 ) properties (out of 84283) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 991 ms. (steps per millisecond=1 ) properties (out of 84283) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1036 ms. (steps per millisecond=0 ) properties (out of 84283) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1008 ms. (steps per millisecond=0 ) properties (out of 84281) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 889 ms. (steps per millisecond=1 ) properties (out of 84280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1133 ms. (steps per millisecond=0 ) properties (out of 84280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 974 ms. (steps per millisecond=1 ) properties (out of 84280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 974 ms. (steps per millisecond=1 ) properties (out of 84280) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1057 ms. (steps per millisecond=0 ) properties (out of 84280) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1075 ms. (steps per millisecond=0 ) properties (out of 84278) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 996 ms. (steps per millisecond=1 ) properties (out of 84277) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1024 ms. (steps per millisecond=0 ) properties (out of 84277) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1030 ms. (steps per millisecond=0 ) properties (out of 84275) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1084 ms. (steps per millisecond=0 ) properties (out of 84274) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1111 ms. (steps per millisecond=0 ) properties (out of 84273) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 964 ms. (steps per millisecond=1 ) properties (out of 84272) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1105 ms. (steps per millisecond=0 ) properties (out of 84272) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 967 ms. (steps per millisecond=1 ) properties (out of 84272) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1024 ms. (steps per millisecond=0 ) properties (out of 84271) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1048 ms. (steps per millisecond=0 ) properties (out of 84271) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1069 ms. (steps per millisecond=0 ) properties (out of 84271) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 981 ms. (steps per millisecond=1 ) properties (out of 84271) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1032 ms. (steps per millisecond=0 ) properties (out of 84271) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 989 ms. (steps per millisecond=1 ) properties (out of 84271) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1142 ms. (steps per millisecond=0 ) properties (out of 84271) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1039 ms. (steps per millisecond=0 ) properties (out of 84270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1065 ms. (steps per millisecond=0 ) properties (out of 84270) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 929 ms. (steps per millisecond=1 ) properties (out of 84269) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 995 ms. (steps per millisecond=1 ) properties (out of 84269) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1082 ms. (steps per millisecond=0 ) properties (out of 84269) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 969 ms. (steps per millisecond=1 ) properties (out of 84269) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 973 ms. (steps per millisecond=1 ) properties (out of 84266) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1053 ms. (steps per millisecond=0 ) properties (out of 84266) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 996 ms. (steps per millisecond=1 ) properties (out of 84266) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1127 ms. (steps per millisecond=0 ) properties (out of 84266) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1131 ms. (steps per millisecond=0 ) properties (out of 84266) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1157 ms. (steps per millisecond=0 ) properties (out of 84265) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1147 ms. (steps per millisecond=0 ) properties (out of 84264) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 995 ms. (steps per millisecond=1 ) properties (out of 84264) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1120 ms. (steps per millisecond=0 ) properties (out of 84264) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1149 ms. (steps per millisecond=0 ) properties (out of 84261) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1145 ms. (steps per millisecond=0 ) properties (out of 84261) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1065 ms. (steps per millisecond=0 ) properties (out of 84261) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1078 ms. (steps per millisecond=0 ) properties (out of 84261) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1039 ms. (steps per millisecond=0 ) properties (out of 84261) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 935 ms. (steps per millisecond=1 ) properties (out of 84261) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1035 ms. (steps per millisecond=0 ) properties (out of 84261) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1071 ms. (steps per millisecond=0 ) properties (out of 84260) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1079 ms. (steps per millisecond=0 ) properties (out of 84257) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1082 ms. (steps per millisecond=0 ) properties (out of 84252) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 965 ms. (steps per millisecond=1 ) properties (out of 84252) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1003 ms. (steps per millisecond=0 ) properties (out of 84252) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1141 ms. (steps per millisecond=0 ) properties (out of 84252) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1058 ms. (steps per millisecond=0 ) properties (out of 84250) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1048 ms. (steps per millisecond=0 ) properties (out of 84250) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 980 ms. (steps per millisecond=1 ) properties (out of 84249) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 999 ms. (steps per millisecond=1 ) properties (out of 84249) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1025 ms. (steps per millisecond=0 ) properties (out of 84249) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1008 ms. (steps per millisecond=0 ) properties (out of 84248) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1109 ms. (steps per millisecond=0 ) properties (out of 84248) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1079 ms. (steps per millisecond=0 ) properties (out of 84248) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 964 ms. (steps per millisecond=1 ) properties (out of 84247) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1016 ms. (steps per millisecond=0 ) properties (out of 84247) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1047 ms. (steps per millisecond=0 ) properties (out of 84247) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1030 ms. (steps per millisecond=0 ) properties (out of 84246) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1205 ms. (steps per millisecond=0 ) properties (out of 84246) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1108 ms. (steps per millisecond=0 ) properties (out of 84242) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1100 ms. (steps per millisecond=0 ) properties (out of 84242) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1043 ms. (steps per millisecond=0 ) properties (out of 84242) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 980 ms. (steps per millisecond=1 ) properties (out of 84240) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1128 ms. (steps per millisecond=0 ) properties (out of 84240) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1032 ms. (steps per millisecond=0 ) properties (out of 84238) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1003 ms. (steps per millisecond=0 ) properties (out of 84238) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 941 ms. (steps per millisecond=1 ) properties (out of 84238) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1126 ms. (steps per millisecond=0 ) properties (out of 84237) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1058 ms. (steps per millisecond=0 ) properties (out of 84237) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1026 ms. (steps per millisecond=0 ) properties (out of 84236) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1476 ms. (steps per millisecond=0 ) properties (out of 84236) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1151 ms. (steps per millisecond=0 ) properties (out of 84236) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1326 ms. (steps per millisecond=0 ) properties (out of 84236) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1487 ms. (steps per millisecond=0 ) properties (out of 84236) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1207 ms. (steps per millisecond=0 ) properties (out of 84236) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1180 ms. (steps per millisecond=0 ) properties (out of 84236) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1294 ms. (steps per millisecond=0 ) properties (out of 84236) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1366 ms. (steps per millisecond=0 ) properties (out of 84236) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1294 ms. (steps per millisecond=0 ) properties (out of 84235) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1441 ms. (steps per millisecond=0 ) properties (out of 84235) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1326 ms. (steps per millisecond=0 ) properties (out of 84235) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1393 ms. (steps per millisecond=0 ) properties (out of 84235) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1352 ms. (steps per millisecond=0 ) properties (out of 84235) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1351 ms. (steps per millisecond=0 ) properties (out of 84235) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1360 ms. (steps per millisecond=0 ) properties (out of 84235) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1321 ms. (steps per millisecond=0 ) properties (out of 84234) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1303 ms. (steps per millisecond=0 ) properties (out of 84234) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1375 ms. (steps per millisecond=0 ) properties (out of 84234) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1473 ms. (steps per millisecond=0 ) properties (out of 84234) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1368 ms. (steps per millisecond=0 ) properties (out of 84234) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1409 ms. (steps per millisecond=0 ) properties (out of 84230) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1377 ms. (steps per millisecond=0 ) properties (out of 84230) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1495 ms. (steps per millisecond=0 ) properties (out of 84229) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1428 ms. (steps per millisecond=0 ) properties (out of 84226) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1405 ms. (steps per millisecond=0 ) properties (out of 84226) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1399 ms. (steps per millisecond=0 ) properties (out of 84226) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1505 ms. (steps per millisecond=0 ) properties (out of 84226) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1301 ms. (steps per millisecond=0 ) properties (out of 84222) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1372 ms. (steps per millisecond=0 ) properties (out of 84222) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1279 ms. (steps per millisecond=0 ) properties (out of 84222) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1381 ms. (steps per millisecond=0 ) properties (out of 84219) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1200 ms. (steps per millisecond=0 ) properties (out of 84216) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1378 ms. (steps per millisecond=0 ) properties (out of 84216) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1496 ms. (steps per millisecond=0 ) properties (out of 84215) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1519 ms. (steps per millisecond=0 ) properties (out of 84215) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1363 ms. (steps per millisecond=0 ) properties (out of 84215) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1417 ms. (steps per millisecond=0 ) properties (out of 84213) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1688 ms. (steps per millisecond=0 ) properties (out of 84213) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1417 ms. (steps per millisecond=0 ) properties (out of 84213) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1431 ms. (steps per millisecond=0 ) properties (out of 84213) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1340 ms. (steps per millisecond=0 ) properties (out of 84211) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1416 ms. (steps per millisecond=0 ) properties (out of 84211) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1432 ms. (steps per millisecond=0 ) properties (out of 84211) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1452 ms. (steps per millisecond=0 ) properties (out of 84211) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1376 ms. (steps per millisecond=0 ) properties (out of 84211) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1322 ms. (steps per millisecond=0 ) properties (out of 84211) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1523 ms. (steps per millisecond=0 ) properties (out of 84211) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1274 ms. (steps per millisecond=0 ) properties (out of 84207) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1227 ms. (steps per millisecond=0 ) properties (out of 84207) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1473 ms. (steps per millisecond=0 ) properties (out of 84207) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1559 ms. (steps per millisecond=0 ) properties (out of 84207) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1406 ms. (steps per millisecond=0 ) properties (out of 84207) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1495 ms. (steps per millisecond=0 ) properties (out of 84207) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1397 ms. (steps per millisecond=0 ) properties (out of 84206) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1512 ms. (steps per millisecond=0 ) properties (out of 84206) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1411 ms. (steps per millisecond=0 ) properties (out of 84206) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1561 ms. (steps per millisecond=0 ) properties (out of 84205) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1382 ms. (steps per millisecond=0 ) properties (out of 84205) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1421 ms. (steps per millisecond=0 ) properties (out of 84201) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1364 ms. (steps per millisecond=0 ) properties (out of 84201) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1371 ms. (steps per millisecond=0 ) properties (out of 84201) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1376 ms. (steps per millisecond=0 ) properties (out of 84199) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1388 ms. (steps per millisecond=0 ) properties (out of 84198) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1415 ms. (steps per millisecond=0 ) properties (out of 84198) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1497 ms. (steps per millisecond=0 ) properties (out of 84198) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1280 ms. (steps per millisecond=0 ) properties (out of 84198) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1321 ms. (steps per millisecond=0 ) properties (out of 84198) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1456 ms. (steps per millisecond=0 ) properties (out of 84198) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1429 ms. (steps per millisecond=0 ) properties (out of 84198) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1491 ms. (steps per millisecond=0 ) properties (out of 84198) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1506 ms. (steps per millisecond=0 ) properties (out of 84198) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1365 ms. (steps per millisecond=0 ) properties (out of 84198) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1404 ms. (steps per millisecond=0 ) properties (out of 84198) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1313 ms. (steps per millisecond=0 ) properties (out of 84195) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1498 ms. (steps per millisecond=0 ) properties (out of 84194) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1333 ms. (steps per millisecond=0 ) properties (out of 84191) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1400 ms. (steps per millisecond=0 ) properties (out of 84191) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1548 ms. (steps per millisecond=0 ) properties (out of 84188) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1584 ms. (steps per millisecond=0 ) properties (out of 84188) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1402 ms. (steps per millisecond=0 ) properties (out of 84187) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1391 ms. (steps per millisecond=0 ) properties (out of 84187) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1403 ms. (steps per millisecond=0 ) properties (out of 84187) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1331 ms. (steps per millisecond=0 ) properties (out of 84187) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1412 ms. (steps per millisecond=0 ) properties (out of 84187) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1385 ms. (steps per millisecond=0 ) properties (out of 84187) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1313 ms. (steps per millisecond=0 ) properties (out of 84187) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1374 ms. (steps per millisecond=0 ) properties (out of 84187) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1382 ms. (steps per millisecond=0 ) properties (out of 84183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1356 ms. (steps per millisecond=0 ) properties (out of 84183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1400 ms. (steps per millisecond=0 ) properties (out of 84183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1431 ms. (steps per millisecond=0 ) properties (out of 84183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1537 ms. (steps per millisecond=0 ) properties (out of 84183) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1312 ms. (steps per millisecond=0 ) properties (out of 84183) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1412 ms. (steps per millisecond=0 ) properties (out of 84178) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1353 ms. (steps per millisecond=0 ) properties (out of 84178) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1387 ms. (steps per millisecond=0 ) properties (out of 84178) seen :3
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1538 ms. (steps per millisecond=0 ) properties (out of 84175) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1434 ms. (steps per millisecond=0 ) properties (out of 84173) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1565 ms. (steps per millisecond=0 ) properties (out of 84173) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1489 ms. (steps per millisecond=0 ) properties (out of 84173) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1383 ms. (steps per millisecond=0 ) properties (out of 84173) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1378 ms. (steps per millisecond=0 ) properties (out of 84173) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1284 ms. (steps per millisecond=0 ) properties (out of 84173) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1557 ms. (steps per millisecond=0 ) properties (out of 84172) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1349 ms. (steps per millisecond=0 ) properties (out of 84172) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1260 ms. (steps per millisecond=0 ) properties (out of 84171) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1384 ms. (steps per millisecond=0 ) properties (out of 84171) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1376 ms. (steps per millisecond=0 ) properties (out of 84169) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1476 ms. (steps per millisecond=0 ) properties (out of 84165) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1396 ms. (steps per millisecond=0 ) properties (out of 84165) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1476 ms. (steps per millisecond=0 ) properties (out of 84165) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1572 ms. (steps per millisecond=0 ) properties (out of 84164) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1473 ms. (steps per millisecond=0 ) properties (out of 84164) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1344 ms. (steps per millisecond=0 ) properties (out of 84164) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1411 ms. (steps per millisecond=0 ) properties (out of 84162) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1325 ms. (steps per millisecond=0 ) properties (out of 84162) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1357 ms. (steps per millisecond=0 ) properties (out of 84159) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1485 ms. (steps per millisecond=0 ) properties (out of 84159) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1416 ms. (steps per millisecond=0 ) properties (out of 84151) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1408 ms. (steps per millisecond=0 ) properties (out of 84151) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1409 ms. (steps per millisecond=0 ) properties (out of 84151) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1429 ms. (steps per millisecond=0 ) properties (out of 84151) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1558 ms. (steps per millisecond=0 ) properties (out of 84151) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1144 ms. (steps per millisecond=0 ) properties (out of 84151) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1400 ms. (steps per millisecond=0 ) properties (out of 84151) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1539 ms. (steps per millisecond=0 ) properties (out of 84151) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1245 ms. (steps per millisecond=0 ) properties (out of 84151) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1307 ms. (steps per millisecond=0 ) properties (out of 84150) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1349 ms. (steps per millisecond=0 ) properties (out of 84150) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1450 ms. (steps per millisecond=0 ) properties (out of 84150) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1539 ms. (steps per millisecond=0 ) properties (out of 84149) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1378 ms. (steps per millisecond=0 ) properties (out of 84145) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1454 ms. (steps per millisecond=0 ) properties (out of 84145) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1259 ms. (steps per millisecond=0 ) properties (out of 84145) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1511 ms. (steps per millisecond=0 ) properties (out of 84144) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1331 ms. (steps per millisecond=0 ) properties (out of 84143) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1343 ms. (steps per millisecond=0 ) properties (out of 84143) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1346 ms. (steps per millisecond=0 ) properties (out of 84143) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1459 ms. (steps per millisecond=0 ) properties (out of 84143) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1358 ms. (steps per millisecond=0 ) properties (out of 84143) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1350 ms. (steps per millisecond=0 ) properties (out of 84143) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1309 ms. (steps per millisecond=0 ) properties (out of 84143) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1413 ms. (steps per millisecond=0 ) properties (out of 84143) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1410 ms. (steps per millisecond=0 ) properties (out of 84143) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1329 ms. (steps per millisecond=0 ) properties (out of 84143) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1688 ms. (steps per millisecond=0 ) properties (out of 84142) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1572 ms. (steps per millisecond=0 ) properties (out of 84142) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1449 ms. (steps per millisecond=0 ) properties (out of 84142) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1481 ms. (steps per millisecond=0 ) properties (out of 84141) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1426 ms. (steps per millisecond=0 ) properties (out of 84140) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1444 ms. (steps per millisecond=0 ) properties (out of 84140) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1483 ms. (steps per millisecond=0 ) properties (out of 84140) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1355 ms. (steps per millisecond=0 ) properties (out of 84140) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1358 ms. (steps per millisecond=0 ) properties (out of 84140) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1403 ms. (steps per millisecond=0 ) properties (out of 84140) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1438 ms. (steps per millisecond=0 ) properties (out of 84140) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1397 ms. (steps per millisecond=0 ) properties (out of 84140) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1528 ms. (steps per millisecond=0 ) properties (out of 84140) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1535 ms. (steps per millisecond=0 ) properties (out of 84140) seen :3
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1431 ms. (steps per millisecond=0 ) properties (out of 84137) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1541 ms. (steps per millisecond=0 ) properties (out of 84137) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1300 ms. (steps per millisecond=0 ) properties (out of 84137) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1467 ms. (steps per millisecond=0 ) properties (out of 84137) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1437 ms. (steps per millisecond=0 ) properties (out of 84136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1300 ms. (steps per millisecond=0 ) properties (out of 84136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1413 ms. (steps per millisecond=0 ) properties (out of 84136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1340 ms. (steps per millisecond=0 ) properties (out of 84136) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1440 ms. (steps per millisecond=0 ) properties (out of 84135) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3606 ms. (steps per millisecond=0 ) properties (out of 84135) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1380 ms. (steps per millisecond=0 ) properties (out of 84135) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1406 ms. (steps per millisecond=0 ) properties (out of 84135) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1268 ms. (steps per millisecond=0 ) properties (out of 84135) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1393 ms. (steps per millisecond=0 ) properties (out of 84133) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1417 ms. (steps per millisecond=0 ) properties (out of 84133) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1461 ms. (steps per millisecond=0 ) properties (out of 84133) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1454 ms. (steps per millisecond=0 ) properties (out of 84133) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1412 ms. (steps per millisecond=0 ) properties (out of 84133) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1431 ms. (steps per millisecond=0 ) properties (out of 84133) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1416 ms. (steps per millisecond=0 ) properties (out of 84133) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1468 ms. (steps per millisecond=0 ) properties (out of 84133) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1578 ms. (steps per millisecond=0 ) properties (out of 84133) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1408 ms. (steps per millisecond=0 ) properties (out of 84133) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1478 ms. (steps per millisecond=0 ) properties (out of 84133) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1482 ms. (steps per millisecond=0 ) properties (out of 84133) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1377 ms. (steps per millisecond=0 ) properties (out of 84133) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1457 ms. (steps per millisecond=0 ) properties (out of 84133) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1463 ms. (steps per millisecond=0 ) properties (out of 84132) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1385 ms. (steps per millisecond=0 ) properties (out of 84132) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1468 ms. (steps per millisecond=0 ) properties (out of 84132) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1381 ms. (steps per millisecond=0 ) properties (out of 84132) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1477 ms. (steps per millisecond=0 ) properties (out of 84126) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1408 ms. (steps per millisecond=0 ) properties (out of 84124) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1366 ms. (steps per millisecond=0 ) properties (out of 84124) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1282 ms. (steps per millisecond=0 ) properties (out of 84124) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1377 ms. (steps per millisecond=0 ) properties (out of 84124) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1475 ms. (steps per millisecond=0 ) properties (out of 84124) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1476 ms. (steps per millisecond=0 ) properties (out of 84124) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1629 ms. (steps per millisecond=0 ) properties (out of 84124) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1107 ms. (steps per millisecond=0 ) properties (out of 84124) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1108 ms. (steps per millisecond=0 ) properties (out of 84124) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1183 ms. (steps per millisecond=0 ) properties (out of 84123) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1179 ms. (steps per millisecond=0 ) properties (out of 84123) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1025 ms. (steps per millisecond=0 ) properties (out of 84121) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1090 ms. (steps per millisecond=0 ) properties (out of 84121) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1006 ms. (steps per millisecond=0 ) properties (out of 84121) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 976 ms. (steps per millisecond=1 ) properties (out of 84120) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1081 ms. (steps per millisecond=0 ) properties (out of 84120) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 991 ms. (steps per millisecond=1 ) properties (out of 84120) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 968 ms. (steps per millisecond=1 ) properties (out of 84119) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 878 ms. (steps per millisecond=1 ) properties (out of 84119) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1003 ms. (steps per millisecond=0 ) properties (out of 84118) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 967 ms. (steps per millisecond=1 ) properties (out of 84118) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1017 ms. (steps per millisecond=0 ) properties (out of 84118) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1116 ms. (steps per millisecond=0 ) properties (out of 84117) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1016 ms. (steps per millisecond=0 ) properties (out of 84117) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1099 ms. (steps per millisecond=0 ) properties (out of 84114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1076 ms. (steps per millisecond=0 ) properties (out of 84114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1067 ms. (steps per millisecond=0 ) properties (out of 84114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 957 ms. (steps per millisecond=1 ) properties (out of 84114) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1180 ms. (steps per millisecond=0 ) properties (out of 84114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1129 ms. (steps per millisecond=0 ) properties (out of 84114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1134 ms. (steps per millisecond=0 ) properties (out of 84114) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1045 ms. (steps per millisecond=0 ) properties (out of 84114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1040 ms. (steps per millisecond=0 ) properties (out of 84114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1154 ms. (steps per millisecond=0 ) properties (out of 84114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 944 ms. (steps per millisecond=1 ) properties (out of 84114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1013 ms. (steps per millisecond=0 ) properties (out of 84114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1066 ms. (steps per millisecond=0 ) properties (out of 84114) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1134 ms. (steps per millisecond=0 ) properties (out of 84112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1330 ms. (steps per millisecond=0 ) properties (out of 84112) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1587 ms. (steps per millisecond=0 ) properties (out of 84112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1504 ms. (steps per millisecond=0 ) properties (out of 84112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1436 ms. (steps per millisecond=0 ) properties (out of 84112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1365 ms. (steps per millisecond=0 ) properties (out of 84112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1375 ms. (steps per millisecond=0 ) properties (out of 84112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1541 ms. (steps per millisecond=0 ) properties (out of 84112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1452 ms. (steps per millisecond=0 ) properties (out of 84112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1313 ms. (steps per millisecond=0 ) properties (out of 84112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1356 ms. (steps per millisecond=0 ) properties (out of 84112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1433 ms. (steps per millisecond=0 ) properties (out of 84112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1432 ms. (steps per millisecond=0 ) properties (out of 84112) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1435 ms. (steps per millisecond=0 ) properties (out of 84111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1436 ms. (steps per millisecond=0 ) properties (out of 84111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1329 ms. (steps per millisecond=0 ) properties (out of 84111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1288 ms. (steps per millisecond=0 ) properties (out of 84111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1528 ms. (steps per millisecond=0 ) properties (out of 84111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1427 ms. (steps per millisecond=0 ) properties (out of 84111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1543 ms. (steps per millisecond=0 ) properties (out of 84111) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1323 ms. (steps per millisecond=0 ) properties (out of 84110) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1371 ms. (steps per millisecond=0 ) properties (out of 84108) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1450 ms. (steps per millisecond=0 ) properties (out of 84105) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1171 ms. (steps per millisecond=0 ) properties (out of 84105) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1339 ms. (steps per millisecond=0 ) properties (out of 84105) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1415 ms. (steps per millisecond=0 ) properties (out of 84105) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1478 ms. (steps per millisecond=0 ) properties (out of 84105) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1417 ms. (steps per millisecond=0 ) properties (out of 84105) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1304 ms. (steps per millisecond=0 ) properties (out of 84104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1335 ms. (steps per millisecond=0 ) properties (out of 84104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1427 ms. (steps per millisecond=0 ) properties (out of 84104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1304 ms. (steps per millisecond=0 ) properties (out of 84104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1468 ms. (steps per millisecond=0 ) properties (out of 84104) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1454 ms. (steps per millisecond=0 ) properties (out of 84103) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1361 ms. (steps per millisecond=0 ) properties (out of 84103) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1434 ms. (steps per millisecond=0 ) properties (out of 84103) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1313 ms. (steps per millisecond=0 ) properties (out of 84103) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1374 ms. (steps per millisecond=0 ) properties (out of 84102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1498 ms. (steps per millisecond=0 ) properties (out of 84102) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1236 ms. (steps per millisecond=0 ) properties (out of 84101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1278 ms. (steps per millisecond=0 ) properties (out of 84101) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1555 ms. (steps per millisecond=0 ) properties (out of 84101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1467 ms. (steps per millisecond=0 ) properties (out of 84101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1262 ms. (steps per millisecond=0 ) properties (out of 84101) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1284 ms. (steps per millisecond=0 ) properties (out of 84101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1448 ms. (steps per millisecond=0 ) properties (out of 84101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1218 ms. (steps per millisecond=0 ) properties (out of 84101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1380 ms. (steps per millisecond=0 ) properties (out of 84101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1269 ms. (steps per millisecond=0 ) properties (out of 84101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1359 ms. (steps per millisecond=0 ) properties (out of 84101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1549 ms. (steps per millisecond=0 ) properties (out of 84101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1423 ms. (steps per millisecond=0 ) properties (out of 84101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1567 ms. (steps per millisecond=0 ) properties (out of 84101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1552 ms. (steps per millisecond=0 ) properties (out of 84101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1465 ms. (steps per millisecond=0 ) properties (out of 84101) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1422 ms. (steps per millisecond=0 ) properties (out of 84100) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1525 ms. (steps per millisecond=0 ) properties (out of 84100) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1425 ms. (steps per millisecond=0 ) properties (out of 84100) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1476 ms. (steps per millisecond=0 ) properties (out of 84100) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1553 ms. (steps per millisecond=0 ) properties (out of 84099) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1568 ms. (steps per millisecond=0 ) properties (out of 84099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1357 ms. (steps per millisecond=0 ) properties (out of 84099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1512 ms. (steps per millisecond=0 ) properties (out of 84099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1395 ms. (steps per millisecond=0 ) properties (out of 84099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1421 ms. (steps per millisecond=0 ) properties (out of 84099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1409 ms. (steps per millisecond=0 ) properties (out of 84099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1477 ms. (steps per millisecond=0 ) properties (out of 84099) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1418 ms. (steps per millisecond=0 ) properties (out of 84098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1383 ms. (steps per millisecond=0 ) properties (out of 84098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1427 ms. (steps per millisecond=0 ) properties (out of 84098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1392 ms. (steps per millisecond=0 ) properties (out of 84098) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1290 ms. (steps per millisecond=0 ) properties (out of 84098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1339 ms. (steps per millisecond=0 ) properties (out of 84098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1473 ms. (steps per millisecond=0 ) properties (out of 84098) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1306 ms. (steps per millisecond=0 ) properties (out of 84097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1391 ms. (steps per millisecond=0 ) properties (out of 84097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1427 ms. (steps per millisecond=0 ) properties (out of 84097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1354 ms. (steps per millisecond=0 ) properties (out of 84097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1360 ms. (steps per millisecond=0 ) properties (out of 84097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1409 ms. (steps per millisecond=0 ) properties (out of 84097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1460 ms. (steps per millisecond=0 ) properties (out of 84097) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1547 ms. (steps per millisecond=0 ) properties (out of 84097) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1370 ms. (steps per millisecond=0 ) properties (out of 84096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1422 ms. (steps per millisecond=0 ) properties (out of 84096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1444 ms. (steps per millisecond=0 ) properties (out of 84096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1346 ms. (steps per millisecond=0 ) properties (out of 84096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1333 ms. (steps per millisecond=0 ) properties (out of 84096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1393 ms. (steps per millisecond=0 ) properties (out of 84096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1588 ms. (steps per millisecond=0 ) properties (out of 84096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1331 ms. (steps per millisecond=0 ) properties (out of 84096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1517 ms. (steps per millisecond=0 ) properties (out of 84096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1330 ms. (steps per millisecond=0 ) properties (out of 84096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1281 ms. (steps per millisecond=0 ) properties (out of 84096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1341 ms. (steps per millisecond=0 ) properties (out of 84096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1395 ms. (steps per millisecond=0 ) properties (out of 84096) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1555 ms. (steps per millisecond=0 ) properties (out of 84096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1061 ms. (steps per millisecond=0 ) properties (out of 84096) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1158 ms. (steps per millisecond=0 ) properties (out of 84095) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1097 ms. (steps per millisecond=0 ) properties (out of 84095) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1160 ms. (steps per millisecond=0 ) properties (out of 84095) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1054 ms. (steps per millisecond=0 ) properties (out of 84093) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1082 ms. (steps per millisecond=0 ) properties (out of 84092) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1095 ms. (steps per millisecond=0 ) properties (out of 84092) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 947 ms. (steps per millisecond=1 ) properties (out of 84092) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1014 ms. (steps per millisecond=0 ) properties (out of 84092) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1033 ms. (steps per millisecond=0 ) properties (out of 84092) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1078 ms. (steps per millisecond=0 ) properties (out of 84092) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1115 ms. (steps per millisecond=0 ) properties (out of 84092) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1021 ms. (steps per millisecond=0 ) properties (out of 84089) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1036 ms. (steps per millisecond=0 ) properties (out of 84089) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1051 ms. (steps per millisecond=0 ) properties (out of 84089) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1517 ms. (steps per millisecond=0 ) properties (out of 84088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1501 ms. (steps per millisecond=0 ) properties (out of 84088) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1499 ms. (steps per millisecond=0 ) properties (out of 84086) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1456 ms. (steps per millisecond=0 ) properties (out of 84084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1499 ms. (steps per millisecond=0 ) properties (out of 84084) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1340 ms. (steps per millisecond=0 ) properties (out of 84083) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1556 ms. (steps per millisecond=0 ) properties (out of 84083) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1573 ms. (steps per millisecond=0 ) properties (out of 84083) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1363 ms. (steps per millisecond=0 ) properties (out of 84082) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1460 ms. (steps per millisecond=0 ) properties (out of 84082) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1559 ms. (steps per millisecond=0 ) properties (out of 84082) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1137 ms. (steps per millisecond=0 ) properties (out of 84082) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1102 ms. (steps per millisecond=0 ) properties (out of 84082) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 972 ms. (steps per millisecond=1 ) properties (out of 84082) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1030 ms. (steps per millisecond=0 ) properties (out of 84082) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 963 ms. (steps per millisecond=1 ) properties (out of 84082) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1114 ms. (steps per millisecond=0 ) properties (out of 84082) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1124 ms. (steps per millisecond=0 ) properties (out of 84082) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1043 ms. (steps per millisecond=0 ) properties (out of 84082) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 993 ms. (steps per millisecond=1 ) properties (out of 84082) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1089 ms. (steps per millisecond=0 ) properties (out of 84082) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1067 ms. (steps per millisecond=0 ) properties (out of 84082) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1009 ms. (steps per millisecond=0 ) properties (out of 84081) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1106 ms. (steps per millisecond=0 ) properties (out of 84081) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1120 ms. (steps per millisecond=0 ) properties (out of 84081) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1164 ms. (steps per millisecond=0 ) properties (out of 84080) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1025 ms. (steps per millisecond=0 ) properties (out of 84080) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1021 ms. (steps per millisecond=0 ) properties (out of 84079) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 964 ms. (steps per millisecond=1 ) properties (out of 84079) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1088 ms. (steps per millisecond=0 ) properties (out of 84079) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 996 ms. (steps per millisecond=1 ) properties (out of 84079) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1022 ms. (steps per millisecond=0 ) properties (out of 84079) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1049 ms. (steps per millisecond=0 ) properties (out of 84078) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1059 ms. (steps per millisecond=0 ) properties (out of 84076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1090 ms. (steps per millisecond=0 ) properties (out of 84076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 925 ms. (steps per millisecond=1 ) properties (out of 84076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 931 ms. (steps per millisecond=1 ) properties (out of 84076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1073 ms. (steps per millisecond=0 ) properties (out of 84076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 948 ms. (steps per millisecond=1 ) properties (out of 84076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1121 ms. (steps per millisecond=0 ) properties (out of 84076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1034 ms. (steps per millisecond=0 ) properties (out of 84076) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1021 ms. (steps per millisecond=0 ) properties (out of 84076) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 978 ms. (steps per millisecond=1 ) properties (out of 84074) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1054 ms. (steps per millisecond=0 ) properties (out of 84073) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1084 ms. (steps per millisecond=0 ) properties (out of 84073) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1081 ms. (steps per millisecond=0 ) properties (out of 84073) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 991 ms. (steps per millisecond=1 ) properties (out of 84072) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1017 ms. (steps per millisecond=0 ) properties (out of 84072) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1201 ms. (steps per millisecond=0 ) properties (out of 84072) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1272 ms. (steps per millisecond=0 ) properties (out of 84072) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1455 ms. (steps per millisecond=0 ) properties (out of 84072) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1455 ms. (steps per millisecond=0 ) properties (out of 84072) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1100 ms. (steps per millisecond=0 ) properties (out of 84070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1131 ms. (steps per millisecond=0 ) properties (out of 84070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1057 ms. (steps per millisecond=0 ) properties (out of 84070) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 994 ms. (steps per millisecond=1 ) properties (out of 84069) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1129 ms. (steps per millisecond=0 ) properties (out of 84067) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 979 ms. (steps per millisecond=1 ) properties (out of 84067) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1125 ms. (steps per millisecond=0 ) properties (out of 84065) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1071 ms. (steps per millisecond=0 ) properties (out of 84063) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1130 ms. (steps per millisecond=0 ) properties (out of 84063) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 968 ms. (steps per millisecond=1 ) properties (out of 84061) seen :1

BK_TIME_CONFINEMENT_REACHED

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

+ 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
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -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=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m

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="RERS2020-PT-pb105"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="gold2021"
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 gold2021"
echo " Input is RERS2020-PT-pb105, 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 r324-tall-165472293700412"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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