MCC'2022- Execution of r324-tall-165472293700397

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

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
16248.731	1800000.00	3442137.00	16243.70	[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-165472293700397.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-pb102, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r324-tall-165472293700397
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 8.3K Jun 7 17:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 92K Jun 7 17:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Jun 7 17:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Jun 7 17:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Jun 6 15:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K 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 17K Jun 6 15:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Jun 6 12:11 NewModel
-rw-r--r-- 1 mcc users 9.9K Jun 7 17:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 103K Jun 7 17:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.7K Jun 7 17:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 66K Jun 7 17:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K 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 69M 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 1654754049196

Running Version 0
[2022-06-09 05:54:12] [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 05:54:12] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-06-09 05:54:15] [INFO ] Load time of PNML (sax parser for PT used): 2725 ms
[2022-06-09 05:54:15] [INFO ] Transformed 1276 places.
[2022-06-09 05:54:15] [INFO ] Transformed 125387 transitions.
[2022-06-09 05:54:15] [INFO ] Found NUPN structural information;
[2022-06-09 05:54:15] [INFO ] Parsed PT model containing 1276 places and 125387 transitions in 3204 ms.
Starting structural reductions, iteration 0 : 1276/1276 places, 125387/125387 transitions.
Ensure Unique test removed 6 places
Ensure Unique test removed 2767 transitions
Reduce isomorphic transitions removed 2767 transitions.
Drop transitions removed 3 transitions
Trivial Post-agglo rules discarded 3 transitions
Performed 3 trivial Post agglomeration. Transition count delta: 3
Iterating post reduction 0 with 2776 rules applied. Total rules applied 2776 place count 1270 transition count 122617
Reduce places removed 3 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 1 with 5 rules applied. Total rules applied 2781 place count 1267 transition count 122615
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 2 Pre rules applied. Total rules applied 2781 place count 1267 transition count 122613
Deduced a syphon composed of 2 places in 216 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 2785 place count 1265 transition count 122613
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 2787 place count 1263 transition count 122611
Iterating global reduction 2 with 2 rules applied. Total rules applied 2789 place count 1263 transition count 122611
Performed 38 Post agglomeration using F-continuation condition.Transition count delta: 38
Deduced a syphon composed of 38 places in 64 ms
Reduce places removed 38 places and 0 transitions.
Iterating global reduction 2 with 76 rules applied. Total rules applied 2865 place count 1225 transition count 122573
Ensure Unique test removed 1980 transitions
Reduce isomorphic transitions removed 1980 transitions.
Iterating post reduction 2 with 1980 rules applied. Total rules applied 4845 place count 1225 transition count 120593
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 129 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 3 with 4 rules applied. Total rules applied 4849 place count 1223 transition count 120591
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 4850 place count 1223 transition count 120590
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: -1
Deduced a syphon composed of 5 places in 58 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 4 with 10 rules applied. Total rules applied 4860 place count 1218 transition count 120591
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 4 with 4 rules applied. Total rules applied 4864 place count 1218 transition count 120587
Applied a total of 4864 rules in 4520 ms. Remains 1218 /1276 variables (removed 58) and now considering 120587/125387 (removed 4800) transitions.
[2022-06-09 05:54:20] [INFO ] Flow matrix only has 92371 transitions (discarded 28216 similar events)
// Phase 1: matrix 92371 rows 1218 cols
[2022-06-09 05:54:21] [INFO ] Computed 7 place invariants in 734 ms
[2022-06-09 05:54:29] [INFO ] Implicit Places using invariants in 9282 ms returned []
Implicit Place search using SMT only with invariants took 9425 ms to find 0 implicit places.
[2022-06-09 05:54:29] [INFO ] Flow matrix only has 92371 transitions (discarded 28216 similar events)
// Phase 1: matrix 92371 rows 1218 cols
[2022-06-09 05:54:30] [INFO ] Computed 7 place invariants in 398 ms
[2022-06-09 05:55:00] [INFO ] Performed 101121/120587 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-06-09 05:55:05] [INFO ] Dead Transitions using invariants and state equation in 36297 ms returned []
Finished structural reductions, in 1 iterations. Remains : 1218/1276 places, 120587/125387 transitions.
Discarding 51424 transitions out of 120587. Remains 69163
[2022-06-09 05:55:07] [INFO ] Initial state test concluded for 1 properties.
Interrupted random walk after 4321 steps, including 1 resets, run timeout after 30001 ms. (steps per millisecond=0 ) properties seen :{222=1, 313=1, 439=1, 472=1, 524=1, 586=1, 642=1, 652=1, 679=1, 682=1, 726=1, 1163=1, 1166=1, 1172=1, 1174=1, 1175=1, 1227=1, 1233=1, 1278=1, 1281=1, 1592=1, 1594=1, 1611=1, 1613=1, 1659=1, 1661=1, 1701=1, 1703=1, 1711=1, 1717=1, 1757=1, 1823=1, 1842=1, 1938=1, 1963=1, 2025=1, 2077=1, 2387=1, 2422=1, 2783=1, 3032=1, 3048=1, 3097=1, 3326=1, 3428=1, 3433=1, 3434=1, 3439=1, 3452=1, 3454=1, 3463=1, 3470=1, 3529=1, 3550=1, 3571=1, 3599=1, 3647=1, 3655=1, 3664=1, 3691=1, 3764=1, 4063=1, 4172=1, 4239=1, 4288=1, 4327=1, 4337=1, 4365=1, 4662=1, 4665=1, 4670=1, 4671=1, 4674=1, 4686=1, 4688=1, 4723=1, 4861=1, 5179=1, 5256=1, 5262=1, 5786=1, 5825=1, 5829=1, 5837=1, 5839=1, 5840=1, 5849=1, 5857=1, 5859=1, 5868=1, 5874=1, 5911=1, 5918=1, 5950=1, 6005=1, 6089=1, 6161=1, 6216=1, 6791=1, 6882=1, 6898=1, 6980=1, 6986=1, 7007=1, 7208=1, 7261=1, 7363=1, 7387=1, 7389=1, 7403=1, 7416=1, 7420=1, 7446=1, 7725=1, 7732=1, 7750=1, 8032=1, 8059=1, 8067=1, 8100=1, 8326=1, 8333=1, 8344=1, 8642=1, 8652=1, 8734=1, 8958=1, 9315=1, 9334=1, 9384=1, 9821=1, 10215=1, 10232=1, 10328=1, 11928=1, 11960=1, 12181=1, 12274=1, 12286=1, 12540=1, 12553=1, 12576=1, 12583=1, 12617=1, 12631=1, 12651=1, 12711=1, 12823=1, 12835=1, 12839=1, 12845=1, 12853=1, 12862=1, 12868=1, 12875=1, 13461=1, 13470=1, 13481=1, 13499=1, 13504=1, 13512=1, 13604=1, 13977=1, 14119=1, 14127=1, 14154=1, 14255=1, 14370=1, 14389=1, 14395=1, 14403=1, 14530=1, 14542=1, 14585=1, 14633=1, 14907=1, 15070=1, 15177=1, 15183=1, 15188=1, 15194=1, 15209=1, 15247=1, 15274=1, 15626=1, 15717=1, 15780=1, 16095=1, 16112=1, 16371=1, 16506=1, 16510=1, 16518=1, 17052=1, 17295=1, 17348=1, 17392=1, 17772=1, 17781=1, 17879=1, 17884=1, 17895=1, 17908=1, 17917=1, 17918=1, 17920=1, 17923=1, 18182=1, 18401=1, 18981=1, 19005=1, 19026=1, 19032=1, 19050=1, 19079=1, 19683=1, 19694=1, 19708=1, 19726=1, 19727=1, 19733=1, 19737=1, 19753=1, 19759=1, 19760=1, 19764=1, 19775=1, 19779=1, 19781=1, 19784=1, 19797=1, 19804=1, 19816=1, 19817=1, 19818=1, 19821=1, 19911=1, 20201=1, 20205=1, 20222=1, 20229=1, 20239=1, 20240=1, 20242=1, 20246=1, 20252=1, 20260=1, 20261=1, 20282=1, 20305=1, 20308=1, 20311=1, 20340=1, 20353=1, 20365=1, 20373=1, 20388=1, 20400=1, 20404=1, 20416=1, 20417=1, 20428=1, 20452=1, 20645=1, 20658=1, 20802=1, 20809=1, 20810=1, 20815=1, 20819=1, 20836=1, 20841=1, 20854=1, 20859=1, 20908=1, 20914=1, 20935=1, 20947=1, 20949=1, 21047=1, 21055=1, 21073=1, 21081=1, 21100=1, 21122=1, 21134=1, 21503=1, 21509=1, 21606=1, 21607=1, 21615=1, 21630=1, 21697=1, 21708=1, 21720=1, 22232=1, 22324=1, 22444=1, 22479=1, 22557=1, 22776=1, 22816=1, 23081=1, 23085=1, 23090=1, 23375=1, 23380=1, 23381=1, 23384=1, 23391=1, 23396=1, 23413=1, 23424=1, 23427=1, 23497=1, 23540=1, 23869=1, 23915=1, 23931=1, 23945=1, 23963=1, 24098=1, 24139=1, 24143=1, 24198=1, 24377=1, 24435=1, 24456=1, 24488=1, 24497=1, 24502=1, 24511=1, 24523=1, 24529=1, 24533=1, 24557=1, 24562=1, 24573=1, 24588=1, 24671=1, 24681=1, 24685=1, 24794=1, 24807=1, 24822=1, 24833=1, 24851=1, 25012=1, 25044=1, 25080=1, 25118=1, 25138=1, 25162=1, 25290=1, 25295=1, 25328=1, 25374=1, 25483=1, 25512=1, 25537=1, 25805=1, 25840=1, 25881=1, 25959=1, 26265=1, 26269=1, 26276=1, 26278=1, 26295=1, 26309=1, 26347=1, 26375=1, 26382=1, 26686=1, 26760=1, 26775=1, 26838=1, 27032=1, 27034=1, 27059=1, 27139=1, 27144=1, 27154=1, 27164=1, 27272=1, 27276=1, 27361=1, 27379=1, 27422=1, 27435=1, 27444=1, 27446=1, 27458=1, 27459=1, 27496=1, 27498=1, 27519=1, 27537=1, 27544=1, 27563=1, 27601=1, 27627=1, 27701=1, 27713=1, 27813=1, 27908=1, 28035=1, 28056=1, 28216=1, 28259=1, 28300=1, 28462=1, 28486=1, 28517=1, 28853=1, 28999=1, 29067=1, 29078=1, 29090=1, 29111=1, 29113=1, 29115=1, 29129=1, 29148=1, 29367=1, 29393=1, 29439=1, 29450=1, 29589=1, 29606=1, 29610=1, 29634=1, 29669=1, 29736=1, 29816=1, 29866=1, 29927=1, 29948=1, 29963=1, 29983=1, 30011=1, 30031=1, 30036=1, 30046=1, 30074=1, 30198=1, 30209=1, 30260=1, 30336=1, 30463=1, 30482=1, 30530=1, 30541=1, 30548=1, 30834=1, 30856=1, 30922=1, 30970=1, 31009=1, 31145=1, 31151=1, 31196=1, 31204=1, 31451=1, 31466=1, 31514=1, 31568=1, 31613=1, 31789=1, 31910=1, 32185=1, 32584=1, 32605=1, 32704=1, 33054=1, 33529=1, 33535=1, 33833=1, 33837=1, 33838=1, 33858=1, 34422=1, 34903=1, 35543=1, 35561=1, 35845=1, 36129=1, 36144=1, 36197=1, 36347=1, 36384=1, 36684=1, 36816=1, 36828=1, 36846=1, 37043=1, 37136=1, 37393=1, 37639=1, 37654=1, 37655=1, 37658=1, 37662=1, 37674=1, 37679=1, 37693=1, 37695=1, 38274=1, 39213=1, 39374=1, 39642=1, 39724=1, 39731=1, 39747=1, 39750=1, 39803=1, 39860=1, 39871=1, 39900=1, 39964=1, 39982=1, 39985=1, 39989=1, 39998=1, 40023=1, 40032=1, 40045=1, 40086=1, 40102=1, 40122=1, 40154=1, 40208=1, 40213=1, 40216=1, 40459=1, 40461=1, 40468=1, 40474=1, 40494=1, 40497=1, 40500=1, 40520=1, 40521=1, 40528=1, 40533=1, 40534=1, 40797=1, 40800=1, 40817=1, 40826=1, 40840=1, 40960=1, 41195=1, 41207=1, 41442=1, 41619=1, 41637=1, 41643=1, 41645=1, 41657=1, 41674=1, 41987=1, 42060=1, 42291=1, 42335=1, 42337=1, 42349=1, 42525=1, 42540=1, 42542=1, 42568=1, 42574=1, 42575=1, 42657=1, 42682=1, 42760=1, 42769=1, 42986=1, 43018=1, 43031=1, 43046=1, 43265=1, 43279=1, 43318=1, 43327=1, 43336=1, 43391=1, 43428=1, 43430=1, 43446=1, 43450=1, 43660=1, 43902=1, 43903=1, 43920=1, 44304=1, 44310=1, 44371=1, 44744=1, 44947=1, 45111=1, 45175=1, 45194=1, 45200=1, 45222=1, 45225=1, 45232=1, 45248=1, 45268=1, 45408=1, 45455=1, 45647=1, 45649=1, 45651=1, 45659=1, 45660=1, 45667=1, 45669=1, 45687=1, 45702=1, 45705=1, 45915=1, 45984=1, 45991=1, 46006=1, 46017=1, 46083=1, 46093=1, 46095=1, 46107=1, 46154=1, 46176=1, 46249=1, 46261=1, 46267=1, 46285=1, 46297=1, 46300=1, 46492=1, 46621=1, 46656=1, 46673=1, 46683=1, 46702=1, 46734=1, 46777=1, 46789=1, 47055=1, 47113=1, 47236=1, 47240=1, 47243=1, 47249=1, 47263=1, 47270=1, 47282=1, 47293=1, 47317=1, 47318=1, 47334=1, 47336=1, 47352=1, 47441=1, 47443=1, 47739=1, 47749=1, 47781=1, 47790=1, 47955=1, 48019=1, 48028=1, 48081=1, 48095=1, 48124=1, 48149=1, 48156=1, 48159=1, 48162=1, 48165=1, 48181=1, 48197=1, 48214=1, 48215=1, 48287=1, 48363=1, 48521=1, 48529=1, 48576=1, 48582=1, 48583=1, 48590=1, 48597=1, 48599=1, 48609=1, 48626=1, 48650=1, 48680=1, 48792=1, 48804=1, 49001=1, 49007=1, 49017=1, 49019=1, 49043=1, 49061=1, 49073=1, 49078=1, 49085=1, 49089=1, 49091=1, 49094=1, 49095=1, 49106=1, 49108=1, 49135=1, 49136=1, 49157=1, 49204=1, 49276=1, 49333=1, 49335=1, 49379=1, 49421=1, 49425=1, 49433=1, 49658=1, 49669=1, 49672=1, 49703=1, 49708=1, 50742=1, 50777=1, 50789=1, 50795=1, 50873=1, 51094=1, 51117=1, 51144=1, 51152=1, 51153=1, 51156=1, 51158=1, 51437=1, 51447=1, 51674=1, 51680=1, 51692=1, 51696=1, 51700=1, 51740=1, 51746=1, 51772=1, 51789=1, 51791=1, 52110=1, 52125=1, 52126=1, 52299=1, 52342=1, 52395=1, 52412=1, 52420=1, 52683=1, 52685=1, 52696=1, 52698=1, 52720=1, 52740=1, 52744=1, 52750=1, 52769=1, 52958=1, 53358=1, 53372=1, 53406=1, 53415=1, 53661=1, 53680=1, 53698=1, 53726=1, 53758=1, 53767=1, 54544=1, 54552=1, 54554=1, 54558=1, 54563=1, 54564=1, 54571=1, 54697=1, 54855=1, 54862=1, 54887=1, 54894=1, 54897=1, 54901=1, 54903=1, 54916=1, 54924=1, 54929=1, 54942=1, 54955=1, 54962=1, 54966=1, 54999=1, 55002=1, 55004=1, 55014=1, 55034=1, 55041=1, 55068=1, 55071=1, 55096=1, 55099=1, 55291=1, 55296=1, 55300=1, 55325=1, 55327=1, 55347=1, 55353=1, 55365=1, 55421=1, 55547=1, 55561=1, 55583=1, 55628=1, 55887=1, 55947=1, 55987=1, 56359=1, 56373=1, 56393=1, 56491=1, 56933=1, 56947=1, 56961=1, 56968=1, 56971=1, 56988=1, 56991=1, 57050=1, 57054=1, 57184=1, 57206=1, 57234=1, 57345=1, 57348=1, 57717=1, 57727=1, 57741=1, 57767=1, 57782=1, 57869=1, 58057=1, 58085=1, 58504=1, 58519=1, 58558=1, 58727=1, 58909=1, 58916=1, 58973=1, 59217=1, 59599=1, 59600=1, 59607=1, 59609=1, 60133=1, 60154=1, 60178=1, 60207=1, 60425=1, 60564=1, 60800=1, 60804=1, 60807=1, 61113=1, 61190=1, 61276=1, 61632=1, 61887=1, 62250=1, 62258=1, 62267=1, 63173=1, 63421=1, 63432=1, 63635=1, 63908=1, 63910=1, 63912=1, 63920=1, 63921=1, 63957=1, 63962=1, 64148=1, 64154=1, 64160=1, 64175=1, 64188=1, 64205=1, 64207=1, 64218=1, 64221=1, 64252=1, 64342=1, 64357=1, 64564=1, 65437=1, 65442=1, 65443=1, 65449=1, 65454=1, 65530=1, 65534=1, 65553=1, 65555=1, 65566=1, 65590=1, 65592=1, 65731=1, 65743=1, 65788=1, 65790=1, 65833=1, 65838=1, 66072=1, 66074=1, 66733=1, 66865=1, 66921=1, 66924=1, 66926=1, 66938=1, 66986=1, 66989=1, 67015=1, 67024=1, 67045=1, 67049=1, 67162=1, 67265=1, 67266=1, 67269=1, 67271=1, 67273=1, 67279=1, 67287=1, 67291=1, 67293=1, 67298=1, 67318=1, 67327=1, 67346=1, 67356=1, 67358=1, 67543=1, 68212=1, 68215=1, 68391=1, 68399=1, 68559=1, 68581=1, 68618=1, 68939=1}
Interrupted probabilistic random walk after 5333 steps, run timeout after 30047 ms. (steps per millisecond=0 ) properties seen :{464=1, 494=1, 917=1, 923=1, 1367=1, 1754=1, 1770=1, 1838=1, 2055=1, 2070=1, 2371=1, 2723=1, 2743=1, 2899=1, 3659=1, 4607=1, 4632=1, 5196=1, 5258=1, 5670=1, 5815=1, 5844=1, 5961=1, 6020=1, 6117=1, 6251=1, 6305=1, 6707=1, 6746=1, 6793=1, 6807=1, 6897=1, 7058=1, 8002=1, 8233=1, 8585=1, 8595=1, 8844=1, 8864=1, 9209=1, 9246=1, 9260=1, 9979=1, 12024=1, 12053=1, 12241=1, 12493=1, 12854=1, 13240=1, 13253=1, 13956=1, 13982=1, 14052=1, 14082=1, 14755=1, 14799=1, 14825=1, 15569=1, 15970=1, 16138=1, 18230=1, 18467=1, 18625=1, 18731=1, 18805=1, 19499=1, 19516=1, 19525=1, 19695=1, 19707=1, 19953=1, 19990=1, 20039=1, 20082=1, 20110=1, 20165=1, 20189=1, 20239=1, 20247=1, 20409=1, 20556=1, 20563=1, 20608=1, 20615=1, 20626=1, 20641=1, 20661=1, 20672=1, 20829=1, 20845=1, 21219=1, 21266=1, 21293=1, 21441=1, 21793=1, 21987=1, 22004=1, 22220=1, 22492=1, 22497=1, 22510=1, 22536=1, 22729=1, 22756=1, 23097=1, 23215=1, 23227=1, 23373=1, 23795=1, 23809=1, 23849=1, 23881=1, 23892=1, 23896=1, 24309=1, 24316=1, 24497=1, 24661=1, 24896=1, 24979=1, 25527=1, 25551=1, 25927=1, 25949=1, 26017=1, 26398=1, 26406=1, 26426=1, 26445=1, 26452=1, 26458=1, 26836=1, 26901=1, 26937=1, 27134=1, 27193=1, 27288=1, 27327=1, 28025=1, 28056=1, 28152=1, 28570=1, 28682=1, 28700=1, 28725=1, 28727=1, 29017=1, 29252=1, 29260=1, 29404=1, 29521=1, 29549=1, 29554=1, 29578=1, 29632=1, 29975=1, 30561=1, 30694=1, 30710=1, 31063=1, 31422=1, 31495=1, 32249=1, 32463=1, 32487=1, 32550=1, 32561=1, 33000=1, 33014=1, 33070=1, 33335=1, 33433=1, 34665=1, 35085=1, 35286=1, 35674=1, 36126=1, 36544=1, 36710=1, 37142=1, 37150=1, 37194=1, 37273=1, 37747=1, 38725=1, 38888=1, 39216=1, 39239=1, 39456=1, 39550=1, 39609=1, 39957=1, 40275=1, 40283=1, 40475=1, 40628=1, 40657=1, 41409=1, 41563=1, 42079=1, 42086=1, 42088=1, 42142=1, 42150=1, 42157=1, 42177=1, 42218=1, 42281=1, 42352=1, 42374=1, 42452=1, 42463=1, 42777=1, 42814=1, 42934=1, 42940=1, 43280=1, 43324=1, 43757=1, 44003=1, 44054=1, 44066=1, 44522=1, 45277=1, 45284=1, 45305=1, 46407=1, 46666=1, 46882=1, 47081=1, 47096=1, 47178=1, 47454=1, 47569=1, 47966=1, 48379=1, 48709=1, 48986=1, 49576=1, 50401=1, 50408=1, 50470=1, 50701=1, 50715=1, 50762=1, 50786=1, 50961=1, 51003=1, 51012=1, 51327=1, 51343=1, 51349=1, 51386=1, 51585=1, 51697=1, 51863=1, 51909=1, 51971=1, 52964=1, 54067=1, 54591=1, 55059=1, 55190=1, 55652=1, 55922=1, 56082=1, 56714=1, 56886=1, 56889=1, 57009=1, 58099=1, 59009=1, 59578=1, 60351=1, 60362=1, 60398=1, 60690=1, 60991=1, 61806=1, 62018=1, 62762=1, 63009=1, 63026=1, 63033=1, 63060=1, 63292=1, 64632=1, 64654=1, 64787=1, 64797=1, 64802=1, 65061=1, 65240=1, 67664=1, 68066=1}
Probabilistic random walk after 5333 steps, saw 3883 distinct states, run finished after 30051 ms. (steps per millisecond=0 ) properties seen :{464=1, 494=1, 917=1, 923=1, 1367=1, 1754=1, 1770=1, 1838=1, 2055=1, 2070=1, 2371=1, 2723=1, 2743=1, 2899=1, 3659=1, 4607=1, 4632=1, 5196=1, 5258=1, 5670=1, 5815=1, 5844=1, 5961=1, 6020=1, 6117=1, 6251=1, 6305=1, 6707=1, 6746=1, 6793=1, 6807=1, 6897=1, 7058=1, 8002=1, 8233=1, 8585=1, 8595=1, 8844=1, 8864=1, 9209=1, 9246=1, 9260=1, 9979=1, 12024=1, 12053=1, 12241=1, 12493=1, 12854=1, 13240=1, 13253=1, 13956=1, 13982=1, 14052=1, 14082=1, 14755=1, 14799=1, 14825=1, 15569=1, 15970=1, 16138=1, 18230=1, 18467=1, 18625=1, 18731=1, 18805=1, 19499=1, 19516=1, 19525=1, 19695=1, 19707=1, 19953=1, 19990=1, 20039=1, 20082=1, 20110=1, 20165=1, 20189=1, 20239=1, 20247=1, 20409=1, 20556=1, 20563=1, 20608=1, 20615=1, 20626=1, 20641=1, 20661=1, 20672=1, 20829=1, 20845=1, 21219=1, 21266=1, 21293=1, 21441=1, 21793=1, 21987=1, 22004=1, 22220=1, 22492=1, 22497=1, 22510=1, 22536=1, 22729=1, 22756=1, 23097=1, 23215=1, 23227=1, 23373=1, 23795=1, 23809=1, 23849=1, 23881=1, 23892=1, 23896=1, 24309=1, 24316=1, 24497=1, 24661=1, 24896=1, 24979=1, 25527=1, 25551=1, 25927=1, 25949=1, 26017=1, 26398=1, 26406=1, 26426=1, 26445=1, 26452=1, 26458=1, 26836=1, 26901=1, 26937=1, 27134=1, 27193=1, 27288=1, 27327=1, 28025=1, 28056=1, 28152=1, 28570=1, 28682=1, 28700=1, 28725=1, 28727=1, 29017=1, 29252=1, 29260=1, 29404=1, 29521=1, 29549=1, 29554=1, 29578=1, 29632=1, 29975=1, 30561=1, 30694=1, 30710=1, 31063=1, 31422=1, 31495=1, 32249=1, 32463=1, 32487=1, 32550=1, 32561=1, 33000=1, 33014=1, 33070=1, 33335=1, 33433=1, 34665=1, 35085=1, 35286=1, 35674=1, 36126=1, 36544=1, 36710=1, 37142=1, 37150=1, 37194=1, 37273=1, 37747=1, 38725=1, 38888=1, 39216=1, 39239=1, 39456=1, 39550=1, 39609=1, 39957=1, 40275=1, 40283=1, 40475=1, 40628=1, 40657=1, 41409=1, 41563=1, 42079=1, 42086=1, 42088=1, 42142=1, 42150=1, 42157=1, 42177=1, 42218=1, 42281=1, 42352=1, 42374=1, 42452=1, 42463=1, 42777=1, 42814=1, 42934=1, 42940=1, 43280=1, 43324=1, 43757=1, 44003=1, 44054=1, 44066=1, 44522=1, 45277=1, 45284=1, 45305=1, 46407=1, 46666=1, 46882=1, 47081=1, 47096=1, 47178=1, 47454=1, 47569=1, 47966=1, 48379=1, 48709=1, 48986=1, 49576=1, 50401=1, 50408=1, 50470=1, 50701=1, 50715=1, 50762=1, 50786=1, 50961=1, 51003=1, 51012=1, 51327=1, 51343=1, 51349=1, 51386=1, 51585=1, 51697=1, 51863=1, 51909=1, 51971=1, 52964=1, 54067=1, 54591=1, 55059=1, 55190=1, 55652=1, 55922=1, 56082=1, 56714=1, 56886=1, 56889=1, 57009=1, 58099=1, 59009=1, 59578=1, 60351=1, 60362=1, 60398=1, 60690=1, 60991=1, 61806=1, 62018=1, 62762=1, 63009=1, 63026=1, 63033=1, 63060=1, 63292=1, 64632=1, 64654=1, 64787=1, 64797=1, 64802=1, 65061=1, 65240=1, 67664=1, 68066=1}
Running SMT prover for 67899 properties.
[2022-06-09 05:56:10] [INFO ] Flow matrix only has 92371 transitions (discarded 28216 similar events)
// Phase 1: matrix 92371 rows 1218 cols
[2022-06-09 05:56:11] [INFO ] Computed 7 place invariants in 353 ms
[2022-06-09 05:56:36] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 67899 Parikh solutions to 1 different solutions.
Support contains 1217 out of 1218 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1218/1218 places, 120587/120587 transitions.
Drop transitions removed 2006 transitions
Reduce isomorphic transitions removed 2006 transitions.
Iterating post reduction 0 with 2006 rules applied. Total rules applied 2006 place count 1218 transition count 118581
Applied a total of 2006 rules in 892 ms. Remains 1218 /1218 variables (removed 0) and now considering 118581/120587 (removed 2006) transitions.
Finished structural reductions, in 1 iterations. Remains : 1218/1218 places, 118581/120587 transitions.
[2022-06-09 05:56:43] [INFO ] Flatten gal took : 4422 ms
[2022-06-09 05:56:46] [INFO ] Flatten gal took : 3590 ms
[2022-06-09 05:56:47] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality3052427944788525455.gal : 355 ms
[2022-06-09 05:56:47] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality2393539539528202967.prop : 126 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/ReachabilityCardinality3052427944788525455.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality2393539539528202967.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/ReachabilityCardinality3052427944788525455.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality2393539539528202967.prop --nowitness --gen-order FOLLOW
Detected timeout of ITS tools.
[2022-06-09 05:57:07] [INFO ] Flatten gal took : 4028 ms
[2022-06-09 05:57:07] [INFO ] Applying decomposition
[2022-06-09 05:57:10] [INFO ] Flatten gal took : 3586 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/graph9718902409940049413.txt, -o, /tmp/graph9718902409940049413.bin, -w, /tmp/graph9718902409940049413.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/graph9718902409940049413.bin, -l, -1, -v, -w, /tmp/graph9718902409940049413.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-06-09 05:57:18] [INFO ] Decomposing Gal with order
[2022-06-09 05:57:18] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 05:57:30] [INFO ] Removed a total of 276168 redundant transitions.
[2022-06-09 05:57:32] [INFO ] Flatten gal took : 10237 ms
[2022-06-09 05:57:52] [INFO ] Fuse similar labels procedure discarded/fused a total of 2852 labels/synchronizations in 5963 ms.
[2022-06-09 05:57:52] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality11955222586207714837.gal : 223 ms
[2022-06-09 05:57:52] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality10877906726557345001.prop : 127 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/ReachabilityCardinality11955222586207714837.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality10877906726557345001.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/ReachabilityCardinality11955222586207714837.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality10877906726557345001.prop --nowitness
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin15281661716793497982
[2022-06-09 05:58:09] [INFO ] Built C files in 1184ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin15281661716793497982
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/ltsmin15281661716793497982]
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/ltsmin15281661716793497982] 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/ltsmin15281661716793497982] 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 5411 steps, including 0 resets, run timeout after 30005 ms. (steps per millisecond=0 ) properties seen :{491=1, 552=1, 899=1, 1154=1, 1161=1, 1179=1, 1261=1, 1287=1, 1732=1, 1888=1, 1924=1, 2357=1, 2384=1, 2910=1, 2958=1, 3376=1, 4171=1, 4189=1, 4218=1, 4586=1, 4591=1, 5670=1, 5733=1, 5741=1, 5824=1, 5991=1, 6277=1, 6303=1, 6759=1, 7080=1, 7184=1, 7318=1, 7367=1, 7389=1, 7439=1, 7609=1, 7914=1, 7930=1, 7947=1, 7954=1, 8185=1, 9097=1, 9975=1, 10525=1, 10641=1, 11747=1, 11804=1, 12014=1, 12034=1, 12445=1, 12512=1, 12577=1, 12659=1, 13321=1, 13323=1, 13340=1, 13918=1, 13925=1, 14185=1, 14264=1, 14281=1, 15129=1, 15868=1, 16191=1, 16252=1, 16417=1, 16462=1, 16713=1, 17111=1, 17124=1, 17161=1, 18827=1, 18830=1, 19589=1, 19600=1, 20564=1, 20699=1, 20726=1, 20767=1, 21252=1, 21293=1, 22375=1, 22981=1, 22990=1, 23272=1, 23467=1, 23659=1, 24800=1, 24852=1, 25253=1, 25267=1, 25368=1, 25386=1, 26952=1, 27255=1, 29151=1, 29450=1, 29454=1, 29473=1, 29713=1, 29796=1, 29830=1, 29856=1, 29864=1, 29865=1, 29883=1, 29892=1, 30391=1, 30538=1, 32090=1, 34622=1, 35392=1, 35536=1, 35793=1, 39019=1, 39034=1, 39374=1, 39380=1, 39486=1, 39500=1, 39533=1, 39899=1, 39938=1, 40096=1, 40405=1, 40586=1, 40902=1, 42149=1, 42253=1, 42518=1, 43106=1, 44063=1, 44078=1, 44354=1, 44362=1, 44366=1, 44392=1, 45745=1, 46230=1, 47276=1, 47677=1, 48098=1, 48152=1, 48161=1, 48177=1, 48179=1, 48337=1, 48458=1, 48701=1, 48732=1, 48733=1, 48750=1, 49049=1, 49318=1, 49798=1, 49843=1, 50222=1, 50230=1, 50469=1, 50678=1, 50746=1, 50789=1, 51023=1, 51130=1, 51177=1, 51669=1, 51696=1, 52686=1, 53574=1, 53583=1, 53778=1, 53782=1, 53833=1, 55290=1, 56232=1, 56672=1, 57596=1, 58479=1, 58986=1, 59072=1, 60403=1, 60406=1, 60443=1, 62719=1, 62722=1, 63912=1, 64789=1, 65065=1, 67309=1, 67315=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 750 ms. (steps per millisecond=1 ) properties (out of 67709) seen :37
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 812 ms. (steps per millisecond=1 ) properties (out of 67672) seen :34
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1040 ms. (steps per millisecond=0 ) properties (out of 67638) seen :46
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 730 ms. (steps per millisecond=1 ) properties (out of 67592) seen :22
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 826 ms. (steps per millisecond=1 ) properties (out of 67570) seen :23
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 610 ms. (steps per millisecond=1 ) properties (out of 67547) seen :15
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 651 ms. (steps per millisecond=1 ) properties (out of 67532) seen :17
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 783 ms. (steps per millisecond=1 ) properties (out of 67515) seen :16
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 702 ms. (steps per millisecond=1 ) properties (out of 67499) seen :22
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 759 ms. (steps per millisecond=1 ) properties (out of 67477) seen :30
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 713 ms. (steps per millisecond=1 ) properties (out of 67447) seen :23
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 682 ms. (steps per millisecond=1 ) properties (out of 67424) seen :23
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 769 ms. (steps per millisecond=1 ) properties (out of 67401) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 727 ms. (steps per millisecond=1 ) properties (out of 67392) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 822 ms. (steps per millisecond=1 ) properties (out of 67386) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 788 ms. (steps per millisecond=1 ) properties (out of 67385) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 856 ms. (steps per millisecond=1 ) properties (out of 67372) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 849 ms. (steps per millisecond=1 ) properties (out of 67369) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 846 ms. (steps per millisecond=1 ) properties (out of 67361) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 879 ms. (steps per millisecond=1 ) properties (out of 67349) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 856 ms. (steps per millisecond=1 ) properties (out of 67339) seen :14
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 774 ms. (steps per millisecond=1 ) properties (out of 67325) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 890 ms. (steps per millisecond=1 ) properties (out of 67321) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 938 ms. (steps per millisecond=1 ) properties (out of 67314) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 880 ms. (steps per millisecond=1 ) properties (out of 67308) seen :14
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 985 ms. (steps per millisecond=1 ) properties (out of 67294) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 925 ms. (steps per millisecond=1 ) properties (out of 67281) seen :23
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 835 ms. (steps per millisecond=1 ) properties (out of 67258) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 817 ms. (steps per millisecond=1 ) properties (out of 67248) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 961 ms. (steps per millisecond=1 ) properties (out of 67244) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 838 ms. (steps per millisecond=1 ) properties (out of 67242) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 701 ms. (steps per millisecond=1 ) properties (out of 67234) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 883 ms. (steps per millisecond=1 ) properties (out of 67232) seen :17
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 775 ms. (steps per millisecond=1 ) properties (out of 67215) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 762 ms. (steps per millisecond=1 ) properties (out of 67206) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 769 ms. (steps per millisecond=1 ) properties (out of 67197) seen :20
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 729 ms. (steps per millisecond=1 ) properties (out of 67177) seen :5
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 784 ms. (steps per millisecond=1 ) properties (out of 67172) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 867 ms. (steps per millisecond=1 ) properties (out of 67169) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 865 ms. (steps per millisecond=1 ) properties (out of 67163) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 853 ms. (steps per millisecond=1 ) properties (out of 67157) seen :16
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 909 ms. (steps per millisecond=1 ) properties (out of 67141) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 831 ms. (steps per millisecond=1 ) properties (out of 67134) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 783 ms. (steps per millisecond=1 ) properties (out of 67124) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 839 ms. (steps per millisecond=1 ) properties (out of 67117) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 779 ms. (steps per millisecond=1 ) properties (out of 67104) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 843 ms. (steps per millisecond=1 ) properties (out of 67098) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 830 ms. (steps per millisecond=1 ) properties (out of 67093) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 941 ms. (steps per millisecond=1 ) properties (out of 67088) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 855 ms. (steps per millisecond=1 ) properties (out of 67086) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 944 ms. (steps per millisecond=1 ) properties (out of 67084) 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 67083) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 755 ms. (steps per millisecond=1 ) properties (out of 67076) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1509 ms. (steps per millisecond=0 ) properties (out of 67072) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1350 ms. (steps per millisecond=0 ) properties (out of 67070) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 927 ms. (steps per millisecond=1 ) properties (out of 67068) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 850 ms. (steps per millisecond=1 ) properties (out of 67058) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 909 ms. (steps per millisecond=1 ) properties (out of 67053) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 888 ms. (steps per millisecond=1 ) properties (out of 67040) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 893 ms. (steps per millisecond=1 ) properties (out of 67034) seen :5
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 977 ms. (steps per millisecond=1 ) properties (out of 67029) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 870 ms. (steps per millisecond=1 ) properties (out of 67027) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 928 ms. (steps per millisecond=1 ) properties (out of 67019) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 907 ms. (steps per millisecond=1 ) properties (out of 67018) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 908 ms. (steps per millisecond=1 ) properties (out of 67012) seen :14
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 883 ms. (steps per millisecond=1 ) properties (out of 66998) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 821 ms. (steps per millisecond=1 ) properties (out of 66997) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 834 ms. (steps per millisecond=1 ) properties (out of 66985) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 674 ms. (steps per millisecond=1 ) properties (out of 66975) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 768 ms. (steps per millisecond=1 ) properties (out of 66974) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 884 ms. (steps per millisecond=1 ) properties (out of 66972) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 885 ms. (steps per millisecond=1 ) properties (out of 66970) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 892 ms. (steps per millisecond=1 ) properties (out of 66970) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 877 ms. (steps per millisecond=1 ) properties (out of 66969) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 808 ms. (steps per millisecond=1 ) properties (out of 66969) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 854 ms. (steps per millisecond=1 ) properties (out of 66966) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 775 ms. (steps per millisecond=1 ) properties (out of 66965) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 853 ms. (steps per millisecond=1 ) properties (out of 66962) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 938 ms. (steps per millisecond=1 ) properties (out of 66960) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 877 ms. (steps per millisecond=1 ) properties (out of 66958) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 852 ms. (steps per millisecond=1 ) properties (out of 66957) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 827 ms. (steps per millisecond=1 ) properties (out of 66956) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 773 ms. (steps per millisecond=1 ) properties (out of 66955) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 909 ms. (steps per millisecond=1 ) properties (out of 66954) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 889 ms. (steps per millisecond=1 ) properties (out of 66952) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1014 ms. (steps per millisecond=0 ) properties (out of 66945) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 870 ms. (steps per millisecond=1 ) properties (out of 66942) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 856 ms. (steps per millisecond=1 ) properties (out of 66939) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 847 ms. (steps per millisecond=1 ) properties (out of 66936) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1021 ms. (steps per millisecond=0 ) properties (out of 66936) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 933 ms. (steps per millisecond=1 ) properties (out of 66927) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 961 ms. (steps per millisecond=1 ) properties (out of 66922) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 867 ms. (steps per millisecond=1 ) properties (out of 66922) 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 66916) 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 66915) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 990 ms. (steps per millisecond=1 ) properties (out of 66909) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 917 ms. (steps per millisecond=1 ) properties (out of 66907) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 893 ms. (steps per millisecond=1 ) properties (out of 66902) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 878 ms. (steps per millisecond=1 ) properties (out of 66901) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 941 ms. (steps per millisecond=1 ) properties (out of 66894) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 925 ms. (steps per millisecond=1 ) properties (out of 66894) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 916 ms. (steps per millisecond=1 ) properties (out of 66891) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 945 ms. (steps per millisecond=1 ) properties (out of 66891) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 811 ms. (steps per millisecond=1 ) properties (out of 66888) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 810 ms. (steps per millisecond=1 ) properties (out of 66886) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 930 ms. (steps per millisecond=1 ) properties (out of 66879) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 899 ms. (steps per millisecond=1 ) properties (out of 66876) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 993 ms. (steps per millisecond=1 ) properties (out of 66871) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 877 ms. (steps per millisecond=1 ) properties (out of 66868) 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 66868) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 845 ms. (steps per millisecond=1 ) properties (out of 66868) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 986 ms. (steps per millisecond=1 ) properties (out of 66865) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 862 ms. (steps per millisecond=1 ) properties (out of 66863) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 966 ms. (steps per millisecond=1 ) properties (out of 66863) 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 66863) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 894 ms. (steps per millisecond=1 ) properties (out of 66861) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 879 ms. (steps per millisecond=1 ) properties (out of 66856) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 902 ms. (steps per millisecond=1 ) properties (out of 66845) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 949 ms. (steps per millisecond=1 ) properties (out of 66844) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 881 ms. (steps per millisecond=1 ) properties (out of 66839) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 704 ms. (steps per millisecond=1 ) properties (out of 66837) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 716 ms. (steps per millisecond=1 ) properties (out of 66832) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 753 ms. (steps per millisecond=1 ) properties (out of 66830) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 771 ms. (steps per millisecond=1 ) properties (out of 66830) seen :4
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 718 ms. (steps per millisecond=1 ) properties (out of 66826) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 741 ms. (steps per millisecond=1 ) properties (out of 66826) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 637 ms. (steps per millisecond=1 ) properties (out of 66822) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 960 ms. (steps per millisecond=1 ) properties (out of 66820) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 809 ms. (steps per millisecond=1 ) properties (out of 66820) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 763 ms. (steps per millisecond=1 ) properties (out of 66819) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 647 ms. (steps per millisecond=1 ) properties (out of 66818) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 762 ms. (steps per millisecond=1 ) properties (out of 66818) seen :6
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 666 ms. (steps per millisecond=1 ) properties (out of 66812) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 740 ms. (steps per millisecond=1 ) properties (out of 66805) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 818 ms. (steps per millisecond=1 ) properties (out of 66805) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 718 ms. (steps per millisecond=1 ) properties (out of 66803) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 753 ms. (steps per millisecond=1 ) properties (out of 66798) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 692 ms. (steps per millisecond=1 ) properties (out of 66797) seen :3
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 732 ms. (steps per millisecond=1 ) properties (out of 66794) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 758 ms. (steps per millisecond=1 ) properties (out of 66794) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 774 ms. (steps per millisecond=1 ) properties (out of 66793) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 762 ms. (steps per millisecond=1 ) properties (out of 66793) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 861 ms. (steps per millisecond=1 ) properties (out of 66790) seen :7
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 716 ms. (steps per millisecond=1 ) properties (out of 66783) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 866 ms. (steps per millisecond=1 ) properties (out of 66779) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 741 ms. (steps per millisecond=1 ) properties (out of 66777) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 744 ms. (steps per millisecond=1 ) properties (out of 66774) seen :6
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 751 ms. (steps per millisecond=1 ) properties (out of 66768) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 648 ms. (steps per millisecond=1 ) properties (out of 66763) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 787 ms. (steps per millisecond=1 ) properties (out of 66762) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 723 ms. (steps per millisecond=1 ) properties (out of 66762) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 965 ms. (steps per millisecond=1 ) properties (out of 66759) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 867 ms. (steps per millisecond=1 ) properties (out of 66759) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 935 ms. (steps per millisecond=1 ) properties (out of 66758) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 882 ms. (steps per millisecond=1 ) properties (out of 66754) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 841 ms. (steps per millisecond=1 ) properties (out of 66752) 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 66751) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 866 ms. (steps per millisecond=1 ) properties (out of 66748) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 885 ms. (steps per millisecond=1 ) properties (out of 66746) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 835 ms. (steps per millisecond=1 ) properties (out of 66745) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 891 ms. (steps per millisecond=1 ) properties (out of 66745) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 726 ms. (steps per millisecond=1 ) properties (out of 66741) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 920 ms. (steps per millisecond=1 ) properties (out of 66737) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 864 ms. (steps per millisecond=1 ) properties (out of 66736) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 746 ms. (steps per millisecond=1 ) properties (out of 66736) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 777 ms. (steps per millisecond=1 ) properties (out of 66736) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 826 ms. (steps per millisecond=1 ) properties (out of 66733) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 899 ms. (steps per millisecond=1 ) properties (out of 66733) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 822 ms. (steps per millisecond=1 ) properties (out of 66732) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 796 ms. (steps per millisecond=1 ) properties (out of 66732) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 777 ms. (steps per millisecond=1 ) properties (out of 66731) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 817 ms. (steps per millisecond=1 ) properties (out of 66730) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 758 ms. (steps per millisecond=1 ) properties (out of 66730) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 764 ms. (steps per millisecond=1 ) properties (out of 66729) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 789 ms. (steps per millisecond=1 ) properties (out of 66725) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 736 ms. (steps per millisecond=1 ) properties (out of 66725) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 797 ms. (steps per millisecond=1 ) properties (out of 66725) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 774 ms. (steps per millisecond=1 ) properties (out of 66723) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 814 ms. (steps per millisecond=1 ) properties (out of 66717) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 838 ms. (steps per millisecond=1 ) properties (out of 66715) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 632 ms. (steps per millisecond=1 ) properties (out of 66715) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 759 ms. (steps per millisecond=1 ) properties (out of 66714) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 842 ms. (steps per millisecond=1 ) properties (out of 66711) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 655 ms. (steps per millisecond=1 ) properties (out of 66710) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 715 ms. (steps per millisecond=1 ) properties (out of 66709) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 865 ms. (steps per millisecond=1 ) properties (out of 66708) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 817 ms. (steps per millisecond=1 ) properties (out of 66708) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 795 ms. (steps per millisecond=1 ) properties (out of 66707) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 784 ms. (steps per millisecond=1 ) properties (out of 66706) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 772 ms. (steps per millisecond=1 ) properties (out of 66702) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 806 ms. (steps per millisecond=1 ) properties (out of 66702) seen :5
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 844 ms. (steps per millisecond=1 ) properties (out of 66697) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 713 ms. (steps per millisecond=1 ) properties (out of 66696) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 767 ms. (steps per millisecond=1 ) properties (out of 66696) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 803 ms. (steps per millisecond=1 ) properties (out of 66693) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 656 ms. (steps per millisecond=1 ) properties (out of 66693) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 760 ms. (steps per millisecond=1 ) properties (out of 66692) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 732 ms. (steps per millisecond=1 ) properties (out of 66691) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 765 ms. (steps per millisecond=1 ) properties (out of 66688) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 675 ms. (steps per millisecond=1 ) properties (out of 66687) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 934 ms. (steps per millisecond=1 ) properties (out of 66687) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 682 ms. (steps per millisecond=1 ) properties (out of 66687) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 803 ms. (steps per millisecond=1 ) properties (out of 66683) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 719 ms. (steps per millisecond=1 ) properties (out of 66682) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 785 ms. (steps per millisecond=1 ) properties (out of 66682) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 743 ms. (steps per millisecond=1 ) properties (out of 66681) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 873 ms. (steps per millisecond=1 ) properties (out of 66681) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 848 ms. (steps per millisecond=1 ) properties (out of 66681) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 913 ms. (steps per millisecond=1 ) properties (out of 66680) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 994 ms. (steps per millisecond=1 ) properties (out of 66678) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 754 ms. (steps per millisecond=1 ) properties (out of 66677) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 828 ms. (steps per millisecond=1 ) properties (out of 66677) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 846 ms. (steps per millisecond=1 ) properties (out of 66677) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 802 ms. (steps per millisecond=1 ) properties (out of 66677) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 712 ms. (steps per millisecond=1 ) properties (out of 66676) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 866 ms. (steps per millisecond=1 ) properties (out of 66674) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 831 ms. (steps per millisecond=1 ) properties (out of 66674) seen :3
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 701 ms. (steps per millisecond=1 ) properties (out of 66671) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 706 ms. (steps per millisecond=1 ) properties (out of 66669) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 718 ms. (steps per millisecond=1 ) properties (out of 66662) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 794 ms. (steps per millisecond=1 ) properties (out of 66662) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 645 ms. (steps per millisecond=1 ) properties (out of 66660) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 754 ms. (steps per millisecond=1 ) properties (out of 66659) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 647 ms. (steps per millisecond=1 ) properties (out of 66659) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 745 ms. (steps per millisecond=1 ) properties (out of 66657) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 735 ms. (steps per millisecond=1 ) properties (out of 66657) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 710 ms. (steps per millisecond=1 ) properties (out of 66655) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 683 ms. (steps per millisecond=1 ) properties (out of 66654) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 913 ms. (steps per millisecond=1 ) properties (out of 66653) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 650 ms. (steps per millisecond=1 ) properties (out of 66652) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 630 ms. (steps per millisecond=1 ) properties (out of 66649) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 613 ms. (steps per millisecond=1 ) properties (out of 66646) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 697 ms. (steps per millisecond=1 ) properties (out of 66645) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 698 ms. (steps per millisecond=1 ) properties (out of 66645) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 744 ms. (steps per millisecond=1 ) properties (out of 66644) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 707 ms. (steps per millisecond=1 ) properties (out of 66643) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 628 ms. (steps per millisecond=1 ) properties (out of 66641) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 632 ms. (steps per millisecond=1 ) properties (out of 66641) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 712 ms. (steps per millisecond=1 ) properties (out of 66640) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 697 ms. (steps per millisecond=1 ) properties (out of 66638) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 758 ms. (steps per millisecond=1 ) properties (out of 66637) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 733 ms. (steps per millisecond=1 ) properties (out of 66637) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 650 ms. (steps per millisecond=1 ) properties (out of 66636) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 764 ms. (steps per millisecond=1 ) properties (out of 66628) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 736 ms. (steps per millisecond=1 ) properties (out of 66626) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 658 ms. (steps per millisecond=1 ) properties (out of 66625) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 733 ms. (steps per millisecond=1 ) properties (out of 66625) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 782 ms. (steps per millisecond=1 ) properties (out of 66624) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 858 ms. (steps per millisecond=1 ) properties (out of 66622) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 814 ms. (steps per millisecond=1 ) properties (out of 66622) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 767 ms. (steps per millisecond=1 ) properties (out of 66620) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 744 ms. (steps per millisecond=1 ) properties (out of 66620) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 677 ms. (steps per millisecond=1 ) properties (out of 66620) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 666 ms. (steps per millisecond=1 ) properties (out of 66619) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 696 ms. (steps per millisecond=1 ) properties (out of 66619) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 736 ms. (steps per millisecond=1 ) properties (out of 66619) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 677 ms. (steps per millisecond=1 ) properties (out of 66617) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 751 ms. (steps per millisecond=1 ) properties (out of 66617) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 896 ms. (steps per millisecond=1 ) properties (out of 66617) 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 66617) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 974 ms. (steps per millisecond=1 ) properties (out of 66616) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 874 ms. (steps per millisecond=1 ) properties (out of 66609) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 845 ms. (steps per millisecond=1 ) properties (out of 66606) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 733 ms. (steps per millisecond=1 ) properties (out of 66605) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 652 ms. (steps per millisecond=1 ) properties (out of 66605) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 723 ms. (steps per millisecond=1 ) properties (out of 66595) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 771 ms. (steps per millisecond=1 ) properties (out of 66595) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 747 ms. (steps per millisecond=1 ) properties (out of 66595) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 605 ms. (steps per millisecond=1 ) properties (out of 66594) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 670 ms. (steps per millisecond=1 ) properties (out of 66594) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 629 ms. (steps per millisecond=1 ) properties (out of 66594) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 978 ms. (steps per millisecond=1 ) properties (out of 66594) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 692 ms. (steps per millisecond=1 ) properties (out of 66592) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 671 ms. (steps per millisecond=1 ) properties (out of 66592) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 874 ms. (steps per millisecond=1 ) properties (out of 66592) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 699 ms. (steps per millisecond=1 ) properties (out of 66591) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 565 ms. (steps per millisecond=1 ) properties (out of 66589) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 739 ms. (steps per millisecond=1 ) properties (out of 66589) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 850 ms. (steps per millisecond=1 ) properties (out of 66584) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 830 ms. (steps per millisecond=1 ) properties (out of 66584) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 843 ms. (steps per millisecond=1 ) properties (out of 66581) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 713 ms. (steps per millisecond=1 ) properties (out of 66581) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 830 ms. (steps per millisecond=1 ) properties (out of 66580) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 854 ms. (steps per millisecond=1 ) properties (out of 66580) seen :4
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 898 ms. (steps per millisecond=1 ) properties (out of 66576) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 907 ms. (steps per millisecond=1 ) properties (out of 66565) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 925 ms. (steps per millisecond=1 ) properties (out of 66557) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 870 ms. (steps per millisecond=1 ) properties (out of 66557) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 908 ms. (steps per millisecond=1 ) properties (out of 66557) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 928 ms. (steps per millisecond=1 ) properties (out of 66557) 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 66557) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 869 ms. (steps per millisecond=1 ) properties (out of 66557) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 944 ms. (steps per millisecond=1 ) properties (out of 66552) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 908 ms. (steps per millisecond=1 ) properties (out of 66552) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 902 ms. (steps per millisecond=1 ) properties (out of 66552) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 908 ms. (steps per millisecond=1 ) properties (out of 66552) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 909 ms. (steps per millisecond=1 ) properties (out of 66552) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 834 ms. (steps per millisecond=1 ) properties (out of 66549) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 895 ms. (steps per millisecond=1 ) properties (out of 66548) 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 66547) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 876 ms. (steps per millisecond=1 ) properties (out of 66547) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 883 ms. (steps per millisecond=1 ) properties (out of 66546) 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 66546) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 978 ms. (steps per millisecond=1 ) properties (out of 66543) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 849 ms. (steps per millisecond=1 ) properties (out of 66543) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 908 ms. (steps per millisecond=1 ) properties (out of 66543) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 846 ms. (steps per millisecond=1 ) properties (out of 66543) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 900 ms. (steps per millisecond=1 ) properties (out of 66541) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 801 ms. (steps per millisecond=1 ) properties (out of 66541) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 907 ms. (steps per millisecond=1 ) properties (out of 66541) 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 66541) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 958 ms. (steps per millisecond=1 ) properties (out of 66537) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 953 ms. (steps per millisecond=1 ) properties (out of 66536) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 891 ms. (steps per millisecond=1 ) properties (out of 66536) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 820 ms. (steps per millisecond=1 ) properties (out of 66535) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 904 ms. (steps per millisecond=1 ) properties (out of 66535) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 823 ms. (steps per millisecond=1 ) properties (out of 66532) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 837 ms. (steps per millisecond=1 ) properties (out of 66532) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 881 ms. (steps per millisecond=1 ) properties (out of 66531) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 913 ms. (steps per millisecond=1 ) properties (out of 66531) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 839 ms. (steps per millisecond=1 ) properties (out of 66531) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 856 ms. (steps per millisecond=1 ) properties (out of 66531) 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 66527) 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 66527) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 918 ms. (steps per millisecond=1 ) properties (out of 66526) 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 66526) 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 66525) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 940 ms. (steps per millisecond=1 ) properties (out of 66525) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 800 ms. (steps per millisecond=1 ) properties (out of 66525) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 927 ms. (steps per millisecond=1 ) properties (out of 66523) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 849 ms. (steps per millisecond=1 ) properties (out of 66522) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 934 ms. (steps per millisecond=1 ) properties (out of 66521) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 735 ms. (steps per millisecond=1 ) properties (out of 66521) 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 66521) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 957 ms. (steps per millisecond=1 ) properties (out of 66515) 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 66514) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 873 ms. (steps per millisecond=1 ) properties (out of 66514) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 893 ms. (steps per millisecond=1 ) properties (out of 66512) 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 66512) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 884 ms. (steps per millisecond=1 ) properties (out of 66512) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 868 ms. (steps per millisecond=1 ) properties (out of 66512) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 894 ms. (steps per millisecond=1 ) properties (out of 66512) 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 66512) 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 66512) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 868 ms. (steps per millisecond=1 ) properties (out of 66512) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1049 ms. (steps per millisecond=0 ) properties (out of 66512) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 906 ms. (steps per millisecond=1 ) properties (out of 66512) 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 66512) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 934 ms. (steps per millisecond=1 ) properties (out of 66511) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 824 ms. (steps per millisecond=1 ) properties (out of 66511) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 927 ms. (steps per millisecond=1 ) properties (out of 66511) 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 66510) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 927 ms. (steps per millisecond=1 ) properties (out of 66508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 902 ms. (steps per millisecond=1 ) properties (out of 66508) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 859 ms. (steps per millisecond=1 ) properties (out of 66508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 909 ms. (steps per millisecond=1 ) properties (out of 66508) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 907 ms. (steps per millisecond=1 ) properties (out of 66503) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 846 ms. (steps per millisecond=1 ) properties (out of 66503) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 934 ms. (steps per millisecond=1 ) properties (out of 66503) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 1061 ms. (steps per millisecond=0 ) properties (out of 66502) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 882 ms. (steps per millisecond=1 ) properties (out of 66502) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 677 ms. (steps per millisecond=1 ) properties (out of 66502) seen :3
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 590 ms. (steps per millisecond=1 ) properties (out of 66499) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 720 ms. (steps per millisecond=1 ) properties (out of 66498) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 702 ms. (steps per millisecond=1 ) properties (out of 66498) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 652 ms. (steps per millisecond=1 ) properties (out of 66498) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 653 ms. (steps per millisecond=1 ) properties (out of 66497) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 663 ms. (steps per millisecond=1 ) properties (out of 66497) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 654 ms. (steps per millisecond=1 ) properties (out of 66494) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 643 ms. (steps per millisecond=1 ) properties (out of 66493) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 700 ms. (steps per millisecond=1 ) properties (out of 66493) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 790 ms. (steps per millisecond=1 ) properties (out of 66493) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 790 ms. (steps per millisecond=1 ) properties (out of 66493) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 731 ms. (steps per millisecond=1 ) properties (out of 66492) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 821 ms. (steps per millisecond=1 ) properties (out of 66491) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 765 ms. (steps per millisecond=1 ) properties (out of 66491) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 914 ms. (steps per millisecond=1 ) properties (out of 66491) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 889 ms. (steps per millisecond=1 ) properties (out of 66491) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 902 ms. (steps per millisecond=1 ) properties (out of 66489) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 747 ms. (steps per millisecond=1 ) properties (out of 66488) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 828 ms. (steps per millisecond=1 ) properties (out of 66488) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 850 ms. (steps per millisecond=1 ) properties (out of 66487) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 773 ms. (steps per millisecond=1 ) properties (out of 66487) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 787 ms. (steps per millisecond=1 ) properties (out of 66487) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 822 ms. (steps per millisecond=1 ) properties (out of 66486) 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 66486) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 839 ms. (steps per millisecond=1 ) properties (out of 66486) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 853 ms. (steps per millisecond=1 ) properties (out of 66486) 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 66486) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 847 ms. (steps per millisecond=1 ) properties (out of 66483) 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 66483) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 828 ms. (steps per millisecond=1 ) properties (out of 66483) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 881 ms. (steps per millisecond=1 ) properties (out of 66483) 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 66483) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 741 ms. (steps per millisecond=1 ) properties (out of 66483) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 872 ms. (steps per millisecond=1 ) properties (out of 66482) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 902 ms. (steps per millisecond=1 ) properties (out of 66482) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 956 ms. (steps per millisecond=1 ) properties (out of 66476) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1061 ms. (steps per millisecond=0 ) properties (out of 66475) 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 66475) 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 66475) 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 66475) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 876 ms. (steps per millisecond=1 ) properties (out of 66474) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 863 ms. (steps per millisecond=1 ) properties (out of 66474) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 825 ms. (steps per millisecond=1 ) properties (out of 66474) 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 66474) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 870 ms. (steps per millisecond=1 ) properties (out of 66474) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 795 ms. (steps per millisecond=1 ) properties (out of 66466) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 792 ms. (steps per millisecond=1 ) properties (out of 66466) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 868 ms. (steps per millisecond=1 ) properties (out of 66465) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 801 ms. (steps per millisecond=1 ) properties (out of 66464) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 966 ms. (steps per millisecond=1 ) properties (out of 66464) seen :3
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 902 ms. (steps per millisecond=1 ) properties (out of 66461) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 781 ms. (steps per millisecond=1 ) properties (out of 66461) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 794 ms. (steps per millisecond=1 ) properties (out of 66461) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 892 ms. (steps per millisecond=1 ) properties (out of 66460) 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 66460) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 855 ms. (steps per millisecond=1 ) properties (out of 66460) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 918 ms. (steps per millisecond=1 ) properties (out of 66459) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 894 ms. (steps per millisecond=1 ) properties (out of 66459) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1274 ms. (steps per millisecond=0 ) properties (out of 66459) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 822 ms. (steps per millisecond=1 ) properties (out of 66458) seen :7
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1010 ms. (steps per millisecond=0 ) properties (out of 66451) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 754 ms. (steps per millisecond=1 ) properties (out of 66451) 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 66451) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 959 ms. (steps per millisecond=1 ) properties (out of 66451) 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 66451) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 886 ms. (steps per millisecond=1 ) properties (out of 66451) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 888 ms. (steps per millisecond=1 ) properties (out of 66450) 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 66450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 854 ms. (steps per millisecond=1 ) properties (out of 66450) seen :3
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1017 ms. (steps per millisecond=0 ) properties (out of 66447) 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 66447) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 870 ms. (steps per millisecond=1 ) properties (out of 66447) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 872 ms. (steps per millisecond=1 ) properties (out of 66446) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1037 ms. (steps per millisecond=0 ) properties (out of 66445) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 857 ms. (steps per millisecond=1 ) properties (out of 66445) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 959 ms. (steps per millisecond=1 ) properties (out of 66445) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 879 ms. (steps per millisecond=1 ) properties (out of 66445) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 871 ms. (steps per millisecond=1 ) properties (out of 66445) 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 66445) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 970 ms. (steps per millisecond=1 ) properties (out of 66445) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 807 ms. (steps per millisecond=1 ) properties (out of 66445) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 879 ms. (steps per millisecond=1 ) properties (out of 66445) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 891 ms. (steps per millisecond=1 ) properties (out of 66444) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 878 ms. (steps per millisecond=1 ) properties (out of 66443) 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 66440) 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 66440) 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 66439) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 857 ms. (steps per millisecond=1 ) properties (out of 66439) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 921 ms. (steps per millisecond=1 ) properties (out of 66439) 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 66439) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 899 ms. (steps per millisecond=1 ) properties (out of 66439) 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 66439) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 829 ms. (steps per millisecond=1 ) properties (out of 66439) 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 66439) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 883 ms. (steps per millisecond=1 ) properties (out of 66438) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 959 ms. (steps per millisecond=1 ) properties (out of 66438) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 987 ms. (steps per millisecond=1 ) properties (out of 66425) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 838 ms. (steps per millisecond=1 ) properties (out of 66425) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 846 ms. (steps per millisecond=1 ) properties (out of 66424) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 795 ms. (steps per millisecond=1 ) properties (out of 66424) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 892 ms. (steps per millisecond=1 ) properties (out of 66424) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 777 ms. (steps per millisecond=1 ) properties (out of 66424) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 850 ms. (steps per millisecond=1 ) properties (out of 66424) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 811 ms. (steps per millisecond=1 ) properties (out of 66424) 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 66424) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 851 ms. (steps per millisecond=1 ) properties (out of 66419) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 824 ms. (steps per millisecond=1 ) properties (out of 66419) 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 66419) 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 66419) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 1192 ms. (steps per millisecond=0 ) properties (out of 66418) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 861 ms. (steps per millisecond=1 ) properties (out of 66416) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 801 ms. (steps per millisecond=1 ) properties (out of 66414) 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 66414) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 849 ms. (steps per millisecond=1 ) properties (out of 66413) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 925 ms. (steps per millisecond=1 ) properties (out of 66413) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 949 ms. (steps per millisecond=1 ) properties (out of 66412) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 889 ms. (steps per millisecond=1 ) properties (out of 66412) 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 66412) 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 66412) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 854 ms. (steps per millisecond=1 ) properties (out of 66412) 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 66412) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 946 ms. (steps per millisecond=1 ) properties (out of 66411) 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 66411) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 875 ms. (steps per millisecond=1 ) properties (out of 66411) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 861 ms. (steps per millisecond=1 ) properties (out of 66411) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 897 ms. (steps per millisecond=1 ) properties (out of 66409) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 839 ms. (steps per millisecond=1 ) properties (out of 66408) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 897 ms. (steps per millisecond=1 ) properties (out of 66408) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 879 ms. (steps per millisecond=1 ) properties (out of 66408) 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 66407) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 774 ms. (steps per millisecond=1 ) properties (out of 66407) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 720 ms. (steps per millisecond=1 ) properties (out of 66406) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 806 ms. (steps per millisecond=1 ) properties (out of 66406) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 831 ms. (steps per millisecond=1 ) properties (out of 66404) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 871 ms. (steps per millisecond=1 ) properties (out of 66404) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 754 ms. (steps per millisecond=1 ) properties (out of 66403) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 788 ms. (steps per millisecond=1 ) properties (out of 66398) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 745 ms. (steps per millisecond=1 ) properties (out of 66398) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 728 ms. (steps per millisecond=1 ) properties (out of 66396) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 722 ms. (steps per millisecond=1 ) properties (out of 66396) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 834 ms. (steps per millisecond=1 ) properties (out of 66396) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 720 ms. (steps per millisecond=1 ) properties (out of 66396) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 752 ms. (steps per millisecond=1 ) properties (out of 66396) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 875 ms. (steps per millisecond=1 ) properties (out of 66396) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 847 ms. (steps per millisecond=1 ) properties (out of 66396) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 720 ms. (steps per millisecond=1 ) properties (out of 66396) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 833 ms. (steps per millisecond=1 ) properties (out of 66396) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 909 ms. (steps per millisecond=1 ) properties (out of 66396) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 789 ms. (steps per millisecond=1 ) properties (out of 66396) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 783 ms. (steps per millisecond=1 ) properties (out of 66394) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 797 ms. (steps per millisecond=1 ) properties (out of 66393) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 764 ms. (steps per millisecond=1 ) properties (out of 66393) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 730 ms. (steps per millisecond=1 ) properties (out of 66391) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 729 ms. (steps per millisecond=1 ) properties (out of 66390) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 788 ms. (steps per millisecond=1 ) properties (out of 66390) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 856 ms. (steps per millisecond=1 ) properties (out of 66390) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 773 ms. (steps per millisecond=1 ) properties (out of 66390) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 845 ms. (steps per millisecond=1 ) properties (out of 66389) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 861 ms. (steps per millisecond=1 ) properties (out of 66386) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 853 ms. (steps per millisecond=1 ) properties (out of 66386) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 906 ms. (steps per millisecond=1 ) properties (out of 66386) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 862 ms. (steps per millisecond=1 ) properties (out of 66386) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 819 ms. (steps per millisecond=1 ) properties (out of 66383) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 748 ms. (steps per millisecond=1 ) properties (out of 66381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 865 ms. (steps per millisecond=1 ) properties (out of 66381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 869 ms. (steps per millisecond=1 ) properties (out of 66381) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 795 ms. (steps per millisecond=1 ) properties (out of 66381) 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 66381) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 725 ms. (steps per millisecond=1 ) properties (out of 66378) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 759 ms. (steps per millisecond=1 ) properties (out of 66377) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 914 ms. (steps per millisecond=1 ) properties (out of 66377) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 779 ms. (steps per millisecond=1 ) properties (out of 66377) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 859 ms. (steps per millisecond=1 ) properties (out of 66377) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 790 ms. (steps per millisecond=1 ) properties (out of 66377) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 813 ms. (steps per millisecond=1 ) properties (out of 66376) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 856 ms. (steps per millisecond=1 ) properties (out of 66376) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 940 ms. (steps per millisecond=1 ) properties (out of 66376) 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 66376) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 744 ms. (steps per millisecond=1 ) properties (out of 66376) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 872 ms. (steps per millisecond=1 ) properties (out of 66376) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 824 ms. (steps per millisecond=1 ) properties (out of 66376) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 883 ms. (steps per millisecond=1 ) properties (out of 66376) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 836 ms. (steps per millisecond=1 ) properties (out of 66376) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 879 ms. (steps per millisecond=1 ) properties (out of 66374) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 927 ms. (steps per millisecond=1 ) properties (out of 66374) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 859 ms. (steps per millisecond=1 ) properties (out of 66370) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 910 ms. (steps per millisecond=1 ) properties (out of 66370) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 744 ms. (steps per millisecond=1 ) properties (out of 66370) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 753 ms. (steps per millisecond=1 ) properties (out of 66369) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 847 ms. (steps per millisecond=1 ) properties (out of 66369) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 815 ms. (steps per millisecond=1 ) properties (out of 66368) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 875 ms. (steps per millisecond=1 ) properties (out of 66367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 837 ms. (steps per millisecond=1 ) properties (out of 66367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 859 ms. (steps per millisecond=1 ) properties (out of 66367) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 825 ms. (steps per millisecond=1 ) properties (out of 66367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 866 ms. (steps per millisecond=1 ) properties (out of 66367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 707 ms. (steps per millisecond=1 ) properties (out of 66367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 785 ms. (steps per millisecond=1 ) properties (out of 66367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 822 ms. (steps per millisecond=1 ) properties (out of 66367) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 786 ms. (steps per millisecond=1 ) properties (out of 66366) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 799 ms. (steps per millisecond=1 ) properties (out of 66365) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 752 ms. (steps per millisecond=1 ) properties (out of 66365) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 794 ms. (steps per millisecond=1 ) properties (out of 66365) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 811 ms. (steps per millisecond=1 ) properties (out of 66362) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 934 ms. (steps per millisecond=1 ) properties (out of 66362) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 949 ms. (steps per millisecond=1 ) properties (out of 66361) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 746 ms. (steps per millisecond=1 ) properties (out of 66359) 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 66359) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 842 ms. (steps per millisecond=1 ) properties (out of 66359) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 806 ms. (steps per millisecond=1 ) properties (out of 66359) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 862 ms. (steps per millisecond=1 ) properties (out of 66359) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 897 ms. (steps per millisecond=1 ) properties (out of 66359) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 739 ms. (steps per millisecond=1 ) properties (out of 66359) 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 66359) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 870 ms. (steps per millisecond=1 ) properties (out of 66359) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 839 ms. (steps per millisecond=1 ) properties (out of 66357) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 898 ms. (steps per millisecond=1 ) properties (out of 66357) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 806 ms. (steps per millisecond=1 ) properties (out of 66356) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 918 ms. (steps per millisecond=1 ) properties (out of 66353) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 926 ms. (steps per millisecond=1 ) properties (out of 66353) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 783 ms. (steps per millisecond=1 ) properties (out of 66353) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 883 ms. (steps per millisecond=1 ) properties (out of 66353) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 813 ms. (steps per millisecond=1 ) properties (out of 66353) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 898 ms. (steps per millisecond=1 ) properties (out of 66353) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 894 ms. (steps per millisecond=1 ) properties (out of 66353) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 888 ms. (steps per millisecond=1 ) properties (out of 66352) 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 66352) 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 66351) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 946 ms. (steps per millisecond=1 ) properties (out of 66351) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 813 ms. (steps per millisecond=1 ) properties (out of 66348) 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 66347) 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 66347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 914 ms. (steps per millisecond=1 ) properties (out of 66347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 781 ms. (steps per millisecond=1 ) properties (out of 66347) seen :3
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 777 ms. (steps per millisecond=1 ) properties (out of 66344) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 864 ms. (steps per millisecond=1 ) properties (out of 66343) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 824 ms. (steps per millisecond=1 ) properties (out of 66342) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 876 ms. (steps per millisecond=1 ) properties (out of 66341) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 830 ms. (steps per millisecond=1 ) properties (out of 66341) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 866 ms. (steps per millisecond=1 ) properties (out of 66341) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 927 ms. (steps per millisecond=1 ) properties (out of 66341) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 771 ms. (steps per millisecond=1 ) properties (out of 66340) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 840 ms. (steps per millisecond=1 ) properties (out of 66338) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 854 ms. (steps per millisecond=1 ) properties (out of 66338) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 887 ms. (steps per millisecond=1 ) properties (out of 66338) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 906 ms. (steps per millisecond=1 ) properties (out of 66337) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 923 ms. (steps per millisecond=1 ) properties (out of 66337) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 808 ms. (steps per millisecond=1 ) properties (out of 66337) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 752 ms. (steps per millisecond=1 ) properties (out of 66337) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 794 ms. (steps per millisecond=1 ) properties (out of 66337) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 754 ms. (steps per millisecond=1 ) properties (out of 66337) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 833 ms. (steps per millisecond=1 ) properties (out of 66337) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 894 ms. (steps per millisecond=1 ) properties (out of 66337) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 863 ms. (steps per millisecond=1 ) properties (out of 66337) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 809 ms. (steps per millisecond=1 ) properties (out of 66337) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 865 ms. (steps per millisecond=1 ) properties (out of 66337) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 814 ms. (steps per millisecond=1 ) properties (out of 66329) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 897 ms. (steps per millisecond=1 ) properties (out of 66329) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 895 ms. (steps per millisecond=1 ) properties (out of 66328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 810 ms. (steps per millisecond=1 ) properties (out of 66328) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 895 ms. (steps per millisecond=1 ) properties (out of 66326) 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 66326) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 769 ms. (steps per millisecond=1 ) properties (out of 66326) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 888 ms. (steps per millisecond=1 ) properties (out of 66326) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 891 ms. (steps per millisecond=1 ) properties (out of 66325) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 814 ms. (steps per millisecond=1 ) properties (out of 66325) 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 66325) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 927 ms. (steps per millisecond=1 ) properties (out of 66325) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 750 ms. (steps per millisecond=1 ) properties (out of 66325) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 927 ms. (steps per millisecond=1 ) properties (out of 66325) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 910 ms. (steps per millisecond=1 ) properties (out of 66325) 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 66325) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 752 ms. (steps per millisecond=1 ) properties (out of 66324) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 804 ms. (steps per millisecond=1 ) properties (out of 66324) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 790 ms. (steps per millisecond=1 ) properties (out of 66324) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 936 ms. (steps per millisecond=1 ) properties (out of 66323) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 850 ms. (steps per millisecond=1 ) properties (out of 66322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 886 ms. (steps per millisecond=1 ) properties (out of 66322) 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 66321) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 786 ms. (steps per millisecond=1 ) properties (out of 66321) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 749 ms. (steps per millisecond=1 ) properties (out of 66321) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 837 ms. (steps per millisecond=1 ) properties (out of 66321) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 920 ms. (steps per millisecond=1 ) properties (out of 66321) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 807 ms. (steps per millisecond=1 ) properties (out of 66320) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 797 ms. (steps per millisecond=1 ) properties (out of 66315) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 934 ms. (steps per millisecond=1 ) properties (out of 66314) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 766 ms. (steps per millisecond=1 ) properties (out of 66314) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 802 ms. (steps per millisecond=1 ) properties (out of 66313) 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 66313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 898 ms. (steps per millisecond=1 ) properties (out of 66313) 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 66313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 875 ms. (steps per millisecond=1 ) properties (out of 66313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 820 ms. (steps per millisecond=1 ) properties (out of 66313) 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 66313) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 739 ms. (steps per millisecond=1 ) properties (out of 66312) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 858 ms. (steps per millisecond=1 ) properties (out of 66312) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 775 ms. (steps per millisecond=1 ) properties (out of 66312) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 798 ms. (steps per millisecond=1 ) properties (out of 66312) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 883 ms. (steps per millisecond=1 ) properties (out of 66310) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 883 ms. (steps per millisecond=1 ) properties (out of 66310) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 840 ms. (steps per millisecond=1 ) properties (out of 66310) 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 66310) 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 66310) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 849 ms. (steps per millisecond=1 ) properties (out of 66310) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 820 ms. (steps per millisecond=1 ) properties (out of 66308) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 917 ms. (steps per millisecond=1 ) properties (out of 66307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 897 ms. (steps per millisecond=1 ) properties (out of 66307) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 743 ms. (steps per millisecond=1 ) properties (out of 66306) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 831 ms. (steps per millisecond=1 ) properties (out of 66303) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 847 ms. (steps per millisecond=1 ) properties (out of 66300) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 712 ms. (steps per millisecond=1 ) properties (out of 66299) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 861 ms. (steps per millisecond=1 ) properties (out of 66296) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 810 ms. (steps per millisecond=1 ) properties (out of 66296) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 724 ms. (steps per millisecond=1 ) properties (out of 66295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 759 ms. (steps per millisecond=1 ) properties (out of 66295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 747 ms. (steps per millisecond=1 ) properties (out of 66295) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 651 ms. (steps per millisecond=1 ) properties (out of 66294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 832 ms. (steps per millisecond=1 ) properties (out of 66294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 836 ms. (steps per millisecond=1 ) properties (out of 66294) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 906 ms. (steps per millisecond=1 ) properties (out of 66293) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 745 ms. (steps per millisecond=1 ) properties (out of 66293) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 710 ms. (steps per millisecond=1 ) properties (out of 66291) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 822 ms. (steps per millisecond=1 ) properties (out of 66289) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 875 ms. (steps per millisecond=1 ) properties (out of 66288) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 853 ms. (steps per millisecond=1 ) properties (out of 66287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 858 ms. (steps per millisecond=1 ) properties (out of 66287) 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 66287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 784 ms. (steps per millisecond=1 ) properties (out of 66287) 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 66287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 929 ms. (steps per millisecond=1 ) properties (out of 66287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 807 ms. (steps per millisecond=1 ) properties (out of 66287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 875 ms. (steps per millisecond=1 ) properties (out of 66287) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 899 ms. (steps per millisecond=1 ) properties (out of 66287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 835 ms. (steps per millisecond=1 ) properties (out of 66287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 875 ms. (steps per millisecond=1 ) properties (out of 66287) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 614 ms. (steps per millisecond=1 ) properties (out of 66287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 795 ms. (steps per millisecond=1 ) properties (out of 66287) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 728 ms. (steps per millisecond=1 ) properties (out of 66285) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 853 ms. (steps per millisecond=1 ) properties (out of 66285) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 756 ms. (steps per millisecond=1 ) properties (out of 66285) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 732 ms. (steps per millisecond=1 ) properties (out of 66285) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 777 ms. (steps per millisecond=1 ) properties (out of 66285) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 714 ms. (steps per millisecond=1 ) properties (out of 66285) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 765 ms. (steps per millisecond=1 ) properties (out of 66285) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 669 ms. (steps per millisecond=1 ) properties (out of 66285) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 696 ms. (steps per millisecond=1 ) properties (out of 66285) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 832 ms. (steps per millisecond=1 ) properties (out of 66285) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 740 ms. (steps per millisecond=1 ) properties (out of 66285) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 730 ms. (steps per millisecond=1 ) properties (out of 66285) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 787 ms. (steps per millisecond=1 ) properties (out of 66285) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 834 ms. (steps per millisecond=1 ) properties (out of 66284) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 918 ms. (steps per millisecond=1 ) properties (out of 66284) 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 66284) 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 66284) 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 66284) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 857 ms. (steps per millisecond=1 ) properties (out of 66281) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 873 ms. (steps per millisecond=1 ) properties (out of 66280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 823 ms. (steps per millisecond=1 ) properties (out of 66280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 790 ms. (steps per millisecond=1 ) properties (out of 66280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 826 ms. (steps per millisecond=1 ) properties (out of 66280) 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 66279) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 696 ms. (steps per millisecond=1 ) properties (out of 66277) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 732 ms. (steps per millisecond=1 ) properties (out of 66277) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 861 ms. (steps per millisecond=1 ) properties (out of 66277) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 864 ms. (steps per millisecond=1 ) properties (out of 66277) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 718 ms. (steps per millisecond=1 ) properties (out of 66277) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 753 ms. (steps per millisecond=1 ) properties (out of 66275) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 686 ms. (steps per millisecond=1 ) properties (out of 66275) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 732 ms. (steps per millisecond=1 ) properties (out of 66275) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 822 ms. (steps per millisecond=1 ) properties (out of 66274) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 800 ms. (steps per millisecond=1 ) properties (out of 66272) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 744 ms. (steps per millisecond=1 ) properties (out of 66272) 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 66272) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 764 ms. (steps per millisecond=1 ) properties (out of 66272) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 767 ms. (steps per millisecond=1 ) properties (out of 66272) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 684 ms. (steps per millisecond=1 ) properties (out of 66271) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 754 ms. (steps per millisecond=1 ) properties (out of 66271) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 795 ms. (steps per millisecond=1 ) properties (out of 66271) 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 66271) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 880 ms. (steps per millisecond=1 ) properties (out of 66271) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 835 ms. (steps per millisecond=1 ) properties (out of 66271) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 792 ms. (steps per millisecond=1 ) properties (out of 66269) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 956 ms. (steps per millisecond=1 ) properties (out of 66268) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 778 ms. (steps per millisecond=1 ) properties (out of 66268) 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 66268) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 870 ms. (steps per millisecond=1 ) properties (out of 66268) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 796 ms. (steps per millisecond=1 ) properties (out of 66268) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 825 ms. (steps per millisecond=1 ) properties (out of 66267) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 728 ms. (steps per millisecond=1 ) properties (out of 66267) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 885 ms. (steps per millisecond=1 ) properties (out of 66266) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 694 ms. (steps per millisecond=1 ) properties (out of 66266) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 776 ms. (steps per millisecond=1 ) properties (out of 66266) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 697 ms. (steps per millisecond=1 ) properties (out of 66266) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 858 ms. (steps per millisecond=1 ) properties (out of 66266) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 743 ms. (steps per millisecond=1 ) properties (out of 66266) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 797 ms. (steps per millisecond=1 ) properties (out of 66265) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 689 ms. (steps per millisecond=1 ) properties (out of 66265) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 735 ms. (steps per millisecond=1 ) properties (out of 66265) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 717 ms. (steps per millisecond=1 ) properties (out of 66265) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 775 ms. (steps per millisecond=1 ) properties (out of 66265) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 792 ms. (steps per millisecond=1 ) properties (out of 66264) 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 66264) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 870 ms. (steps per millisecond=1 ) properties (out of 66264) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 903 ms. (steps per millisecond=1 ) properties (out of 66264) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 792 ms. (steps per millisecond=1 ) properties (out of 66264) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 831 ms. (steps per millisecond=1 ) properties (out of 66263) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 797 ms. (steps per millisecond=1 ) properties (out of 66263) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 854 ms. (steps per millisecond=1 ) properties (out of 66263) 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 66263) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 736 ms. (steps per millisecond=1 ) properties (out of 66263) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 870 ms. (steps per millisecond=1 ) properties (out of 66263) 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 66263) 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 66263) 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 66263) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 826 ms. (steps per millisecond=1 ) properties (out of 66263) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 896 ms. (steps per millisecond=1 ) properties (out of 66263) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 865 ms. (steps per millisecond=1 ) properties (out of 66263) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 951 ms. (steps per millisecond=1 ) properties (out of 66262) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 915 ms. (steps per millisecond=1 ) properties (out of 66259) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 914 ms. (steps per millisecond=1 ) properties (out of 66259) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 899 ms. (steps per millisecond=1 ) properties (out of 66258) 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 66258) 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 66258) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 940 ms. (steps per millisecond=1 ) properties (out of 66258) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 818 ms. (steps per millisecond=1 ) properties (out of 66258) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 893 ms. (steps per millisecond=1 ) properties (out of 66258) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 890 ms. (steps per millisecond=1 ) properties (out of 66257) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 853 ms. (steps per millisecond=1 ) properties (out of 66257) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 828 ms. (steps per millisecond=1 ) properties (out of 66257) 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 66257) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 921 ms. (steps per millisecond=1 ) properties (out of 66256) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 909 ms. (steps per millisecond=1 ) properties (out of 66256) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 856 ms. (steps per millisecond=1 ) properties (out of 66256) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 886 ms. (steps per millisecond=1 ) properties (out of 66256) 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 66256) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 856 ms. (steps per millisecond=1 ) properties (out of 66256) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 925 ms. (steps per millisecond=1 ) properties (out of 66254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 800 ms. (steps per millisecond=1 ) properties (out of 66254) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 898 ms. (steps per millisecond=1 ) properties (out of 66252) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 838 ms. (steps per millisecond=1 ) properties (out of 66252) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 813 ms. (steps per millisecond=1 ) properties (out of 66252) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 765 ms. (steps per millisecond=1 ) properties (out of 66252) 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 66252) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 728 ms. (steps per millisecond=1 ) properties (out of 66252) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 794 ms. (steps per millisecond=1 ) properties (out of 66252) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 780 ms. (steps per millisecond=1 ) properties (out of 66251) 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 66251) 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 66251) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 857 ms. (steps per millisecond=1 ) properties (out of 66251) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 850 ms. (steps per millisecond=1 ) properties (out of 66250) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 868 ms. (steps per millisecond=1 ) properties (out of 66250) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 741 ms. (steps per millisecond=1 ) properties (out of 66250) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 946 ms. (steps per millisecond=1 ) properties (out of 66250) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 701 ms. (steps per millisecond=1 ) properties (out of 66250) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 862 ms. (steps per millisecond=1 ) properties (out of 66249) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 702 ms. (steps per millisecond=1 ) properties (out of 66249) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 744 ms. (steps per millisecond=1 ) properties (out of 66247) 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 66247) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 742 ms. (steps per millisecond=1 ) properties (out of 66247) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 783 ms. (steps per millisecond=1 ) properties (out of 66247) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 652 ms. (steps per millisecond=1 ) properties (out of 66247) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 699 ms. (steps per millisecond=1 ) properties (out of 66247) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 832 ms. (steps per millisecond=1 ) properties (out of 66247) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 775 ms. (steps per millisecond=1 ) properties (out of 66247) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 717 ms. (steps per millisecond=1 ) properties (out of 66247) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 752 ms. (steps per millisecond=1 ) properties (out of 66247) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 807 ms. (steps per millisecond=1 ) properties (out of 66247) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 713 ms. (steps per millisecond=1 ) properties (out of 66247) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 699 ms. (steps per millisecond=1 ) properties (out of 66247) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 823 ms. (steps per millisecond=1 ) properties (out of 66247) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 769 ms. (steps per millisecond=1 ) properties (out of 66247) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 802 ms. (steps per millisecond=1 ) properties (out of 66247) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 764 ms. (steps per millisecond=1 ) properties (out of 66247) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 682 ms. (steps per millisecond=1 ) properties (out of 66244) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 777 ms. (steps per millisecond=1 ) properties (out of 66244) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 761 ms. (steps per millisecond=1 ) properties (out of 66244) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 730 ms. (steps per millisecond=1 ) properties (out of 66244) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 761 ms. (steps per millisecond=1 ) properties (out of 66244) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 763 ms. (steps per millisecond=1 ) properties (out of 66244) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 766 ms. (steps per millisecond=1 ) properties (out of 66244) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 759 ms. (steps per millisecond=1 ) properties (out of 66244) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 778 ms. (steps per millisecond=1 ) properties (out of 66244) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 772 ms. (steps per millisecond=1 ) properties (out of 66243) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 722 ms. (steps per millisecond=1 ) properties (out of 66243) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 782 ms. (steps per millisecond=1 ) properties (out of 66243) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 704 ms. (steps per millisecond=1 ) properties (out of 66243) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 789 ms. (steps per millisecond=1 ) properties (out of 66242) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 764 ms. (steps per millisecond=1 ) properties (out of 66242) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 795 ms. (steps per millisecond=1 ) properties (out of 66242) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 802 ms. (steps per millisecond=1 ) properties (out of 66241) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 819 ms. (steps per millisecond=1 ) properties (out of 66241) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 856 ms. (steps per millisecond=1 ) properties (out of 66241) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 795 ms. (steps per millisecond=1 ) properties (out of 66241) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 758 ms. (steps per millisecond=1 ) properties (out of 66241) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 773 ms. (steps per millisecond=1 ) properties (out of 66241) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 768 ms. (steps per millisecond=1 ) properties (out of 66241) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 664 ms. (steps per millisecond=1 ) properties (out of 66241) seen :3
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 785 ms. (steps per millisecond=1 ) properties (out of 66238) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 827 ms. (steps per millisecond=1 ) properties (out of 66238) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 752 ms. (steps per millisecond=1 ) properties (out of 66238) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 707 ms. (steps per millisecond=1 ) properties (out of 66238) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 675 ms. (steps per millisecond=1 ) properties (out of 66236) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 862 ms. (steps per millisecond=1 ) properties (out of 66236) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 785 ms. (steps per millisecond=1 ) properties (out of 66236) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 870 ms. (steps per millisecond=1 ) properties (out of 66236) 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 66236) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 792 ms. (steps per millisecond=1 ) properties (out of 66236) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 783 ms. (steps per millisecond=1 ) properties (out of 66236) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 973 ms. (steps per millisecond=1 ) properties (out of 66232) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 882 ms. (steps per millisecond=1 ) properties (out of 66232) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 841 ms. (steps per millisecond=1 ) properties (out of 66232) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 731 ms. (steps per millisecond=1 ) properties (out of 66232) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 844 ms. (steps per millisecond=1 ) properties (out of 66232) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 794 ms. (steps per millisecond=1 ) properties (out of 66232) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 848 ms. (steps per millisecond=1 ) properties (out of 66232) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 796 ms. (steps per millisecond=1 ) properties (out of 66231) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 824 ms. (steps per millisecond=1 ) properties (out of 66231) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 791 ms. (steps per millisecond=1 ) properties (out of 66231) 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 66231) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 835 ms. (steps per millisecond=1 ) properties (out of 66231) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 808 ms. (steps per millisecond=1 ) properties (out of 66231) seen :3
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 899 ms. (steps per millisecond=1 ) properties (out of 66228) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 851 ms. (steps per millisecond=1 ) properties (out of 66228) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 931 ms. (steps per millisecond=1 ) properties (out of 66228) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 900 ms. (steps per millisecond=1 ) properties (out of 66228) 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 66228) 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 66228) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 744 ms. (steps per millisecond=1 ) properties (out of 66228) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 847 ms. (steps per millisecond=1 ) properties (out of 66228) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 721 ms. (steps per millisecond=1 ) properties (out of 66228) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 810 ms. (steps per millisecond=1 ) properties (out of 66228) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 830 ms. (steps per millisecond=1 ) properties (out of 66228) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 680 ms. (steps per millisecond=1 ) properties (out of 66226) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 761 ms. (steps per millisecond=1 ) properties (out of 66226) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 715 ms. (steps per millisecond=1 ) properties (out of 66225) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 706 ms. (steps per millisecond=1 ) properties (out of 66225) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 824 ms. (steps per millisecond=1 ) properties (out of 66225) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 781 ms. (steps per millisecond=1 ) properties (out of 66224) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 868 ms. (steps per millisecond=1 ) properties (out of 66224) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 797 ms. (steps per millisecond=1 ) properties (out of 66224) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 749 ms. (steps per millisecond=1 ) properties (out of 66224) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 684 ms. (steps per millisecond=1 ) properties (out of 66224) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 836 ms. (steps per millisecond=1 ) properties (out of 66224) 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 66224) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 817 ms. (steps per millisecond=1 ) properties (out of 66224) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 681 ms. (steps per millisecond=1 ) properties (out of 66224) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 723 ms. (steps per millisecond=1 ) properties (out of 66224) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 710 ms. (steps per millisecond=1 ) properties (out of 66224) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 785 ms. (steps per millisecond=1 ) properties (out of 66224) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 735 ms. (steps per millisecond=1 ) properties (out of 66224) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 911 ms. (steps per millisecond=1 ) properties (out of 66224) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 788 ms. (steps per millisecond=1 ) properties (out of 66224) 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 66224) 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 66224) 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 66224) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 927 ms. (steps per millisecond=1 ) properties (out of 66224) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 924 ms. (steps per millisecond=1 ) properties (out of 66224) 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 66224) 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 66224) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 908 ms. (steps per millisecond=1 ) properties (out of 66224) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 871 ms. (steps per millisecond=1 ) properties (out of 66224) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 892 ms. (steps per millisecond=1 ) properties (out of 66224) 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 66224) 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 66224) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 839 ms. (steps per millisecond=1 ) properties (out of 66224) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 899 ms. (steps per millisecond=1 ) properties (out of 66224) 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 66224) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 923 ms. (steps per millisecond=1 ) properties (out of 66224) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 928 ms. (steps per millisecond=1 ) properties (out of 66224) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 927 ms. (steps per millisecond=1 ) properties (out of 66224) 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 66223) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 879 ms. (steps per millisecond=1 ) properties (out of 66223) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 881 ms. (steps per millisecond=1 ) properties (out of 66223) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 857 ms. (steps per millisecond=1 ) properties (out of 66221) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 995 ms. (steps per millisecond=1 ) properties (out of 66214) 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 66214) 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 66214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 817 ms. (steps per millisecond=1 ) properties (out of 66214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 802 ms. (steps per millisecond=1 ) properties (out of 66214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 665 ms. (steps per millisecond=1 ) properties (out of 66214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 806 ms. (steps per millisecond=1 ) properties (out of 66214) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 885 ms. (steps per millisecond=1 ) properties (out of 66210) 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 66210) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 905 ms. (steps per millisecond=1 ) properties (out of 66210) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1007 ms. (steps per millisecond=0 ) properties (out of 66210) 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 66210) 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 66210) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 798 ms. (steps per millisecond=1 ) properties (out of 66210) 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 66210) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 867 ms. (steps per millisecond=1 ) properties (out of 66209) 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 66209) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 867 ms. (steps per millisecond=1 ) properties (out of 66209) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 887 ms. (steps per millisecond=1 ) properties (out of 66209) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 851 ms. (steps per millisecond=1 ) properties (out of 66209) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 811 ms. (steps per millisecond=1 ) properties (out of 66209) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 768 ms. (steps per millisecond=1 ) properties (out of 66209) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 756 ms. (steps per millisecond=1 ) properties (out of 66209) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 806 ms. (steps per millisecond=1 ) properties (out of 66209) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 809 ms. (steps per millisecond=1 ) properties (out of 66208) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 938 ms. (steps per millisecond=1 ) properties (out of 66207) 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 66207) 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 66207) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 928 ms. (steps per millisecond=1 ) properties (out of 66207) 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 66206) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 1035 ms. (steps per millisecond=0 ) properties (out of 66204) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 897 ms. (steps per millisecond=1 ) properties (out of 66204) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 902 ms. (steps per millisecond=1 ) properties (out of 66204) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 1022 ms. (steps per millisecond=0 ) properties (out of 66204) 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 66204) 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 66204) 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 66203) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 882 ms. (steps per millisecond=1 ) properties (out of 66202) 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 66202) 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 66202) 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 66202) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 810 ms. (steps per millisecond=1 ) properties (out of 66202) 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 66199) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 896 ms. (steps per millisecond=1 ) properties (out of 66199) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 865 ms. (steps per millisecond=1 ) properties (out of 66199) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 822 ms. (steps per millisecond=1 ) properties (out of 66199) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 875 ms. (steps per millisecond=1 ) properties (out of 66199) 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 66199) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 968 ms. (steps per millisecond=1 ) properties (out of 66199) 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 66199) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 957 ms. (steps per millisecond=1 ) properties (out of 66197) 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 66197) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 897 ms. (steps per millisecond=1 ) properties (out of 66197) 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 66196) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 937 ms. (steps per millisecond=1 ) properties (out of 66196) 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 66196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 857 ms. (steps per millisecond=1 ) properties (out of 66196) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 865 ms. (steps per millisecond=1 ) properties (out of 66195) 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 66195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1055 ms. (steps per millisecond=0 ) properties (out of 66195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1007 ms. (steps per millisecond=0 ) properties (out of 66195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1020 ms. (steps per millisecond=0 ) properties (out of 66195) seen :4
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 996 ms. (steps per millisecond=1 ) properties (out of 66191) 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 66191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 861 ms. (steps per millisecond=1 ) properties (out of 66191) 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 66191) 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 66191) 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 66190) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 910 ms. (steps per millisecond=1 ) properties (out of 66190) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 811 ms. (steps per millisecond=1 ) properties (out of 66190) 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 66190) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1010 ms. (steps per millisecond=0 ) properties (out of 66190) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 792 ms. (steps per millisecond=1 ) properties (out of 66189) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 959 ms. (steps per millisecond=1 ) properties (out of 66189) 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 66189) 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 66189) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 900 ms. (steps per millisecond=1 ) properties (out of 66189) 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 66189) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 865 ms. (steps per millisecond=1 ) properties (out of 66189) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 898 ms. (steps per millisecond=1 ) properties (out of 66189) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 828 ms. (steps per millisecond=1 ) properties (out of 66188) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 768 ms. (steps per millisecond=1 ) properties (out of 66188) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 913 ms. (steps per millisecond=1 ) properties (out of 66188) 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 66188) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 872 ms. (steps per millisecond=1 ) properties (out of 66188) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 843 ms. (steps per millisecond=1 ) properties (out of 66188) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 788 ms. (steps per millisecond=1 ) properties (out of 66188) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 937 ms. (steps per millisecond=1 ) properties (out of 66188) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 883 ms. (steps per millisecond=1 ) properties (out of 66188) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 760 ms. (steps per millisecond=1 ) properties (out of 66188) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 863 ms. (steps per millisecond=1 ) properties (out of 66188) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 887 ms. (steps per millisecond=1 ) properties (out of 66188) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 959 ms. (steps per millisecond=1 ) properties (out of 66188) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 894 ms. (steps per millisecond=1 ) properties (out of 66188) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 826 ms. (steps per millisecond=1 ) properties (out of 66187) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 834 ms. (steps per millisecond=1 ) properties (out of 66187) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 792 ms. (steps per millisecond=1 ) properties (out of 66187) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 852 ms. (steps per millisecond=1 ) properties (out of 66187) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 920 ms. (steps per millisecond=1 ) properties (out of 66187) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 910 ms. (steps per millisecond=1 ) properties (out of 66187) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 772 ms. (steps per millisecond=1 ) properties (out of 66187) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 841 ms. (steps per millisecond=1 ) properties (out of 66187) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 826 ms. (steps per millisecond=1 ) properties (out of 66186) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 958 ms. (steps per millisecond=1 ) properties (out of 66186) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 966 ms. (steps per millisecond=1 ) properties (out of 66186) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 800 ms. (steps per millisecond=1 ) properties (out of 66186) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 853 ms. (steps per millisecond=1 ) properties (out of 66186) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 799 ms. (steps per millisecond=1 ) properties (out of 66186) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 809 ms. (steps per millisecond=1 ) properties (out of 66186) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 844 ms. (steps per millisecond=1 ) properties (out of 66186) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 784 ms. (steps per millisecond=1 ) properties (out of 66186) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 866 ms. (steps per millisecond=1 ) properties (out of 66186) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 913 ms. (steps per millisecond=1 ) properties (out of 66186) 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 66185) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 760 ms. (steps per millisecond=1 ) properties (out of 66185) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 962 ms. (steps per millisecond=1 ) properties (out of 66185) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 911 ms. (steps per millisecond=1 ) properties (out of 66185) 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 66185) 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 66185) 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 66185) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 791 ms. (steps per millisecond=1 ) properties (out of 66182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 840 ms. (steps per millisecond=1 ) properties (out of 66182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 835 ms. (steps per millisecond=1 ) properties (out of 66182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 790 ms. (steps per millisecond=1 ) properties (out of 66182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 713 ms. (steps per millisecond=1 ) properties (out of 66182) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 873 ms. (steps per millisecond=1 ) properties (out of 66182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 765 ms. (steps per millisecond=1 ) properties (out of 66182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 907 ms. (steps per millisecond=1 ) properties (out of 66182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 874 ms. (steps per millisecond=1 ) properties (out of 66182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 825 ms. (steps per millisecond=1 ) properties (out of 66182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 865 ms. (steps per millisecond=1 ) properties (out of 66182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 756 ms. (steps per millisecond=1 ) properties (out of 66182) 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 66182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 814 ms. (steps per millisecond=1 ) properties (out of 66182) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 738 ms. (steps per millisecond=1 ) properties (out of 66181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 827 ms. (steps per millisecond=1 ) properties (out of 66181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 896 ms. (steps per millisecond=1 ) properties (out of 66181) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 872 ms. (steps per millisecond=1 ) properties (out of 66181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 863 ms. (steps per millisecond=1 ) properties (out of 66181) 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 66181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 729 ms. (steps per millisecond=1 ) properties (out of 66181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 839 ms. (steps per millisecond=1 ) properties (out of 66181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 962 ms. (steps per millisecond=1 ) properties (out of 66181) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 853 ms. (steps per millisecond=1 ) properties (out of 66181) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 852 ms. (steps per millisecond=1 ) properties (out of 66180) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 864 ms. (steps per millisecond=1 ) properties (out of 66179) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 857 ms. (steps per millisecond=1 ) properties (out of 66179) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 793 ms. (steps per millisecond=1 ) properties (out of 66179) 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 66179) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 797 ms. (steps per millisecond=1 ) properties (out of 66179) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 808 ms. (steps per millisecond=1 ) properties (out of 66179) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 891 ms. (steps per millisecond=1 ) properties (out of 66179) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 923 ms. (steps per millisecond=1 ) properties (out of 66179) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 945 ms. (steps per millisecond=1 ) properties (out of 66179) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 824 ms. (steps per millisecond=1 ) properties (out of 66179) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 913 ms. (steps per millisecond=1 ) properties (out of 66178) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 829 ms. (steps per millisecond=1 ) properties (out of 66178) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 962 ms. (steps per millisecond=1 ) properties (out of 66178) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 868 ms. (steps per millisecond=1 ) properties (out of 66178) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 955 ms. (steps per millisecond=1 ) properties (out of 66176) seen :4
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 864 ms. (steps per millisecond=1 ) properties (out of 66172) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 814 ms. (steps per millisecond=1 ) properties (out of 66172) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 912 ms. (steps per millisecond=1 ) properties (out of 66172) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 858 ms. (steps per millisecond=1 ) properties (out of 66170) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 788 ms. (steps per millisecond=1 ) properties (out of 66170) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 710 ms. (steps per millisecond=1 ) properties (out of 66168) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 974 ms. (steps per millisecond=1 ) properties (out of 66167) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 778 ms. (steps per millisecond=1 ) properties (out of 66167) 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 66167) 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 66167) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 934 ms. (steps per millisecond=1 ) properties (out of 66167) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 768 ms. (steps per millisecond=1 ) properties (out of 66167) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 828 ms. (steps per millisecond=1 ) properties (out of 66167) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 809 ms. (steps per millisecond=1 ) properties (out of 66167) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 807 ms. (steps per millisecond=1 ) properties (out of 66167) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 786 ms. (steps per millisecond=1 ) properties (out of 66167) 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 66167) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 766 ms. (steps per millisecond=1 ) properties (out of 66165) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 917 ms. (steps per millisecond=1 ) properties (out of 66165) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 810 ms. (steps per millisecond=1 ) properties (out of 66165) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 790 ms. (steps per millisecond=1 ) properties (out of 66165) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 758 ms. (steps per millisecond=1 ) properties (out of 66165) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 709 ms. (steps per millisecond=1 ) properties (out of 66164) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 772 ms. (steps per millisecond=1 ) properties (out of 66164) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 797 ms. (steps per millisecond=1 ) properties (out of 66164) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 834 ms. (steps per millisecond=1 ) properties (out of 66164) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 755 ms. (steps per millisecond=1 ) properties (out of 66164) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 846 ms. (steps per millisecond=1 ) properties (out of 66164) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 802 ms. (steps per millisecond=1 ) properties (out of 66164) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 873 ms. (steps per millisecond=1 ) properties (out of 66164) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 761 ms. (steps per millisecond=1 ) properties (out of 66164) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 827 ms. (steps per millisecond=1 ) properties (out of 66164) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 810 ms. (steps per millisecond=1 ) properties (out of 66164) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 929 ms. (steps per millisecond=1 ) properties (out of 66164) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 808 ms. (steps per millisecond=1 ) properties (out of 66164) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 737 ms. (steps per millisecond=1 ) properties (out of 66164) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 647 ms. (steps per millisecond=1 ) properties (out of 66164) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 796 ms. (steps per millisecond=1 ) properties (out of 66164) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 784 ms. (steps per millisecond=1 ) properties (out of 66164) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 697 ms. (steps per millisecond=1 ) properties (out of 66163) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 804 ms. (steps per millisecond=1 ) properties (out of 66163) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 819 ms. (steps per millisecond=1 ) properties (out of 66163) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 828 ms. (steps per millisecond=1 ) properties (out of 66163) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 749 ms. (steps per millisecond=1 ) properties (out of 66162) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 759 ms. (steps per millisecond=1 ) properties (out of 66162) 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 66162) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 804 ms. (steps per millisecond=1 ) properties (out of 66162) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 740 ms. (steps per millisecond=1 ) properties (out of 66162) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 724 ms. (steps per millisecond=1 ) properties (out of 66162) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 737 ms. (steps per millisecond=1 ) properties (out of 66162) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 838 ms. (steps per millisecond=1 ) properties (out of 66162) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 843 ms. (steps per millisecond=1 ) properties (out of 66162) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 973 ms. (steps per millisecond=1 ) properties (out of 66162) 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 66162) 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 66162) 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 66162) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 897 ms. (steps per millisecond=1 ) properties (out of 66162) 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 66162) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 910 ms. (steps per millisecond=1 ) properties (out of 66162) 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 66162) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 970 ms. (steps per millisecond=1 ) properties (out of 66162) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 959 ms. (steps per millisecond=1 ) properties (out of 66162) 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 66162) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 897 ms. (steps per millisecond=1 ) properties (out of 66162) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 804 ms. (steps per millisecond=1 ) properties (out of 66162) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 831 ms. (steps per millisecond=1 ) properties (out of 66161) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 900 ms. (steps per millisecond=1 ) properties (out of 66161) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 904 ms. (steps per millisecond=1 ) properties (out of 66161) 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 66161) 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 66161) 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 66161) 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 66161) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 889 ms. (steps per millisecond=1 ) properties (out of 66161) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 905 ms. (steps per millisecond=1 ) properties (out of 66161) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 759 ms. (steps per millisecond=1 ) properties (out of 66161) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 765 ms. (steps per millisecond=1 ) properties (out of 66160) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 794 ms. (steps per millisecond=1 ) properties (out of 66160) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 801 ms. (steps per millisecond=1 ) properties (out of 66160) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 638 ms. (steps per millisecond=1 ) properties (out of 66160) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 651 ms. (steps per millisecond=1 ) properties (out of 66160) seen :4
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 870 ms. (steps per millisecond=1 ) properties (out of 66156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 883 ms. (steps per millisecond=1 ) properties (out of 66156) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 867 ms. (steps per millisecond=1 ) properties (out of 66155) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 797 ms. (steps per millisecond=1 ) properties (out of 66154) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 811 ms. (steps per millisecond=1 ) properties (out of 66154) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 820 ms. (steps per millisecond=1 ) properties (out of 66153) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 876 ms. (steps per millisecond=1 ) properties (out of 66153) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 847 ms. (steps per millisecond=1 ) properties (out of 66153) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 859 ms. (steps per millisecond=1 ) properties (out of 66153) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 875 ms. (steps per millisecond=1 ) properties (out of 66153) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 795 ms. (steps per millisecond=1 ) properties (out of 66153) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 789 ms. (steps per millisecond=1 ) properties (out of 66153) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 777 ms. (steps per millisecond=1 ) properties (out of 66153) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 893 ms. (steps per millisecond=1 ) properties (out of 66153) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 742 ms. (steps per millisecond=1 ) properties (out of 66153) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 669 ms. (steps per millisecond=1 ) properties (out of 66153) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 777 ms. (steps per millisecond=1 ) properties (out of 66152) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 652 ms. (steps per millisecond=1 ) properties (out of 66149) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 753 ms. (steps per millisecond=1 ) properties (out of 66149) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 702 ms. (steps per millisecond=1 ) properties (out of 66149) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 682 ms. (steps per millisecond=1 ) properties (out of 66149) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 809 ms. (steps per millisecond=1 ) properties (out of 66149) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 762 ms. (steps per millisecond=1 ) properties (out of 66149) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 824 ms. (steps per millisecond=1 ) properties (out of 66149) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 771 ms. (steps per millisecond=1 ) properties (out of 66149) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 805 ms. (steps per millisecond=1 ) properties (out of 66149) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 913 ms. (steps per millisecond=1 ) properties (out of 66149) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 808 ms. (steps per millisecond=1 ) properties (out of 66149) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 821 ms. (steps per millisecond=1 ) properties (out of 66149) 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 66148) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 718 ms. (steps per millisecond=1 ) properties (out of 66147) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 832 ms. (steps per millisecond=1 ) properties (out of 66146) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 788 ms. (steps per millisecond=1 ) properties (out of 66146) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 799 ms. (steps per millisecond=1 ) properties (out of 66146) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 714 ms. (steps per millisecond=1 ) properties (out of 66145) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 761 ms. (steps per millisecond=1 ) properties (out of 66145) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 738 ms. (steps per millisecond=1 ) properties (out of 66145) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 712 ms. (steps per millisecond=1 ) properties (out of 66145) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 776 ms. (steps per millisecond=1 ) properties (out of 66145) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 838 ms. (steps per millisecond=1 ) properties (out of 66145) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 854 ms. (steps per millisecond=1 ) properties (out of 66145) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 876 ms. (steps per millisecond=1 ) properties (out of 66145) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 858 ms. (steps per millisecond=1 ) properties (out of 66145) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 849 ms. (steps per millisecond=1 ) properties (out of 66145) 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 66145) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 865 ms. (steps per millisecond=1 ) properties (out of 66144) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 844 ms. (steps per millisecond=1 ) properties (out of 66144) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 824 ms. (steps per millisecond=1 ) properties (out of 66144) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 847 ms. (steps per millisecond=1 ) properties (out of 66144) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 774 ms. (steps per millisecond=1 ) properties (out of 66144) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 756 ms. (steps per millisecond=1 ) properties (out of 66144) 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 66144) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 829 ms. (steps per millisecond=1 ) properties (out of 66144) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 867 ms. (steps per millisecond=1 ) properties (out of 66144) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 848 ms. (steps per millisecond=1 ) properties (out of 66144) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 812 ms. (steps per millisecond=1 ) properties (out of 66144) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 849 ms. (steps per millisecond=1 ) properties (out of 66144) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 795 ms. (steps per millisecond=1 ) properties (out of 66144) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 762 ms. (steps per millisecond=1 ) properties (out of 66144) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 907 ms. (steps per millisecond=1 ) properties (out of 66144) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 792 ms. (steps per millisecond=1 ) properties (out of 66144) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 693 ms. (steps per millisecond=1 ) properties (out of 66144) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 760 ms. (steps per millisecond=1 ) properties (out of 66144) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 784 ms. (steps per millisecond=1 ) properties (out of 66144) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 752 ms. (steps per millisecond=1 ) properties (out of 66144) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 823 ms. (steps per millisecond=1 ) properties (out of 66144) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 775 ms. (steps per millisecond=1 ) properties (out of 66144) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 750 ms. (steps per millisecond=1 ) properties (out of 66144) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 780 ms. (steps per millisecond=1 ) properties (out of 66144) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 799 ms. (steps per millisecond=1 ) properties (out of 66144) 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 66144) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 763 ms. (steps per millisecond=1 ) properties (out of 66143) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 874 ms. (steps per millisecond=1 ) properties (out of 66143) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 844 ms. (steps per millisecond=1 ) properties (out of 66143) 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 66143) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 818 ms. (steps per millisecond=1 ) properties (out of 66143) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 763 ms. (steps per millisecond=1 ) properties (out of 66143) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 800 ms. (steps per millisecond=1 ) properties (out of 66143) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 865 ms. (steps per millisecond=1 ) properties (out of 66142) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 876 ms. (steps per millisecond=1 ) properties (out of 66142) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 768 ms. (steps per millisecond=1 ) properties (out of 66142) 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 66142) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 959 ms. (steps per millisecond=1 ) properties (out of 66142) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 741 ms. (steps per millisecond=1 ) properties (out of 66142) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 705 ms. (steps per millisecond=1 ) properties (out of 66141) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 736 ms. (steps per millisecond=1 ) properties (out of 66140) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 804 ms. (steps per millisecond=1 ) properties (out of 66140) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 792 ms. (steps per millisecond=1 ) properties (out of 66140) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 898 ms. (steps per millisecond=1 ) properties (out of 66140) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 781 ms. (steps per millisecond=1 ) properties (out of 66140) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 774 ms. (steps per millisecond=1 ) properties (out of 66140) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 655 ms. (steps per millisecond=1 ) properties (out of 66140) 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 66140) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 839 ms. (steps per millisecond=1 ) properties (out of 66138) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 841 ms. (steps per millisecond=1 ) properties (out of 66138) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 840 ms. (steps per millisecond=1 ) properties (out of 66138) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 831 ms. (steps per millisecond=1 ) properties (out of 66138) 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 66138) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 713 ms. (steps per millisecond=1 ) properties (out of 66137) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 728 ms. (steps per millisecond=1 ) properties (out of 66137) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 691 ms. (steps per millisecond=1 ) properties (out of 66136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 739 ms. (steps per millisecond=1 ) properties (out of 66136) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 721 ms. (steps per millisecond=1 ) properties (out of 66136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 722 ms. (steps per millisecond=1 ) properties (out of 66136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 713 ms. (steps per millisecond=1 ) properties (out of 66136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 790 ms. (steps per millisecond=1 ) properties (out of 66136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 693 ms. (steps per millisecond=1 ) properties (out of 66136) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 708 ms. (steps per millisecond=1 ) properties (out of 66135) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 788 ms. (steps per millisecond=1 ) properties (out of 66135) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 747 ms. (steps per millisecond=1 ) properties (out of 66135) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 752 ms. (steps per millisecond=1 ) properties (out of 66135) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 726 ms. (steps per millisecond=1 ) properties (out of 66135) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 689 ms. (steps per millisecond=1 ) properties (out of 66135) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 794 ms. (steps per millisecond=1 ) properties (out of 66135) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 708 ms. (steps per millisecond=1 ) properties (out of 66135) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 686 ms. (steps per millisecond=1 ) properties (out of 66135) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 656 ms. (steps per millisecond=1 ) properties (out of 66135) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 706 ms. (steps per millisecond=1 ) properties (out of 66135) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 707 ms. (steps per millisecond=1 ) properties (out of 66135) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 692 ms. (steps per millisecond=1 ) properties (out of 66135) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 596 ms. (steps per millisecond=1 ) properties (out of 66135) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 667 ms. (steps per millisecond=1 ) properties (out of 66135) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 694 ms. (steps per millisecond=1 ) properties (out of 66135) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 637 ms. (steps per millisecond=1 ) properties (out of 66135) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 713 ms. (steps per millisecond=1 ) properties (out of 66135) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 741 ms. (steps per millisecond=1 ) properties (out of 66135) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 772 ms. (steps per millisecond=1 ) properties (out of 66135) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 808 ms. (steps per millisecond=1 ) properties (out of 66135) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 887 ms. (steps per millisecond=1 ) properties (out of 66135) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 710 ms. (steps per millisecond=1 ) properties (out of 66135) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 724 ms. (steps per millisecond=1 ) properties (out of 66135) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 822 ms. (steps per millisecond=1 ) properties (out of 66135) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 712 ms. (steps per millisecond=1 ) properties (out of 66135) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 821 ms. (steps per millisecond=1 ) properties (out of 66135) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 781 ms. (steps per millisecond=1 ) properties (out of 66135) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 798 ms. (steps per millisecond=1 ) properties (out of 66135) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 814 ms. (steps per millisecond=1 ) properties (out of 66135) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 830 ms. (steps per millisecond=1 ) properties (out of 66135) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 774 ms. (steps per millisecond=1 ) properties (out of 66135) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 690 ms. (steps per millisecond=1 ) properties (out of 66135) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 831 ms. (steps per millisecond=1 ) properties (out of 66135) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 812 ms. (steps per millisecond=1 ) properties (out of 66134) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 940 ms. (steps per millisecond=1 ) properties (out of 66134) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 809 ms. (steps per millisecond=1 ) properties (out of 66133) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 691 ms. (steps per millisecond=1 ) properties (out of 66133) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 848 ms. (steps per millisecond=1 ) properties (out of 66133) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 728 ms. (steps per millisecond=1 ) properties (out of 66133) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 787 ms. (steps per millisecond=1 ) properties (out of 66133) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 789 ms. (steps per millisecond=1 ) properties (out of 66132) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 750 ms. (steps per millisecond=1 ) properties (out of 66132) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 759 ms. (steps per millisecond=1 ) properties (out of 66132) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 800 ms. (steps per millisecond=1 ) properties (out of 66132) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 830 ms. (steps per millisecond=1 ) properties (out of 66132) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 749 ms. (steps per millisecond=1 ) properties (out of 66132) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 730 ms. (steps per millisecond=1 ) properties (out of 66132) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 715 ms. (steps per millisecond=1 ) properties (out of 66132) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 708 ms. (steps per millisecond=1 ) properties (out of 66132) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 733 ms. (steps per millisecond=1 ) properties (out of 66132) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 636 ms. (steps per millisecond=1 ) properties (out of 66132) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 647 ms. (steps per millisecond=1 ) properties (out of 66131) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 705 ms. (steps per millisecond=1 ) properties (out of 66131) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 756 ms. (steps per millisecond=1 ) properties (out of 66129) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 721 ms. (steps per millisecond=1 ) properties (out of 66129) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 694 ms. (steps per millisecond=1 ) properties (out of 66129) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 671 ms. (steps per millisecond=1 ) properties (out of 66129) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 702 ms. (steps per millisecond=1 ) properties (out of 66129) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 791 ms. (steps per millisecond=1 ) properties (out of 66129) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 826 ms. (steps per millisecond=1 ) properties (out of 66129) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 781 ms. (steps per millisecond=1 ) properties (out of 66129) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 690 ms. (steps per millisecond=1 ) properties (out of 66129) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 743 ms. (steps per millisecond=1 ) properties (out of 66128) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 761 ms. (steps per millisecond=1 ) properties (out of 66128) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 719 ms. (steps per millisecond=1 ) properties (out of 66128) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 706 ms. (steps per millisecond=1 ) properties (out of 66128) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 781 ms. (steps per millisecond=1 ) properties (out of 66126) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 652 ms. (steps per millisecond=1 ) properties (out of 66126) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 732 ms. (steps per millisecond=1 ) properties (out of 66126) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 774 ms. (steps per millisecond=1 ) properties (out of 66126) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 796 ms. (steps per millisecond=1 ) properties (out of 66126) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 869 ms. (steps per millisecond=1 ) properties (out of 66126) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 758 ms. (steps per millisecond=1 ) properties (out of 66126) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 803 ms. (steps per millisecond=1 ) properties (out of 66126) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 768 ms. (steps per millisecond=1 ) properties (out of 66126) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 833 ms. (steps per millisecond=1 ) properties (out of 66126) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 795 ms. (steps per millisecond=1 ) properties (out of 66126) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 818 ms. (steps per millisecond=1 ) properties (out of 66126) 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 66126) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 880 ms. (steps per millisecond=1 ) properties (out of 66126) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 807 ms. (steps per millisecond=1 ) properties (out of 66126) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 836 ms. (steps per millisecond=1 ) properties (out of 66124) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 719 ms. (steps per millisecond=1 ) properties (out of 66124) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 850 ms. (steps per millisecond=1 ) properties (out of 66124) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 885 ms. (steps per millisecond=1 ) properties (out of 66123) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 827 ms. (steps per millisecond=1 ) properties (out of 66123) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 872 ms. (steps per millisecond=1 ) properties (out of 66123) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 928 ms. (steps per millisecond=1 ) properties (out of 66122) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 937 ms. (steps per millisecond=1 ) properties (out of 66119) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 880 ms. (steps per millisecond=1 ) properties (out of 66119) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 843 ms. (steps per millisecond=1 ) properties (out of 66119) 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 66119) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 823 ms. (steps per millisecond=1 ) properties (out of 66119) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 905 ms. (steps per millisecond=1 ) properties (out of 66118) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 816 ms. (steps per millisecond=1 ) properties (out of 66118) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 866 ms. (steps per millisecond=1 ) properties (out of 66118) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 884 ms. (steps per millisecond=1 ) properties (out of 66118) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 853 ms. (steps per millisecond=1 ) properties (out of 66117) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 823 ms. (steps per millisecond=1 ) properties (out of 66117) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 946 ms. (steps per millisecond=1 ) properties (out of 66116) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 812 ms. (steps per millisecond=1 ) properties (out of 66116) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 877 ms. (steps per millisecond=1 ) properties (out of 66115) 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 66115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 904 ms. (steps per millisecond=1 ) properties (out of 66115) 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 66115) 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 66115) 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 66115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 888 ms. (steps per millisecond=1 ) properties (out of 66115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 970 ms. (steps per millisecond=1 ) properties (out of 66115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 886 ms. (steps per millisecond=1 ) properties (out of 66115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 900 ms. (steps per millisecond=1 ) properties (out of 66115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 863 ms. (steps per millisecond=1 ) properties (out of 66115) 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 66115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 869 ms. (steps per millisecond=1 ) properties (out of 66115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 847 ms. (steps per millisecond=1 ) properties (out of 66115) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 966 ms. (steps per millisecond=1 ) properties (out of 66113) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 894 ms. (steps per millisecond=1 ) properties (out of 66113) 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 66112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 913 ms. (steps per millisecond=1 ) properties (out of 66112) 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 66112) 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 66112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 897 ms. (steps per millisecond=1 ) properties (out of 66112) 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 66112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 882 ms. (steps per millisecond=1 ) properties (out of 66112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 850 ms. (steps per millisecond=1 ) properties (out of 66112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 914 ms. (steps per millisecond=1 ) properties (out of 66112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 845 ms. (steps per millisecond=1 ) properties (out of 66112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 807 ms. (steps per millisecond=1 ) properties (out of 66112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 908 ms. (steps per millisecond=1 ) properties (out of 66112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 902 ms. (steps per millisecond=1 ) properties (out of 66112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 824 ms. (steps per millisecond=1 ) properties (out of 66112) 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 66112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 841 ms. (steps per millisecond=1 ) properties (out of 66112) 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 66112) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 901 ms. (steps per millisecond=1 ) properties (out of 66112) 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 66112) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 827 ms. (steps per millisecond=1 ) properties (out of 66112) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 910 ms. (steps per millisecond=1 ) properties (out of 66111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 819 ms. (steps per millisecond=1 ) properties (out of 66111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 859 ms. (steps per millisecond=1 ) properties (out of 66111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 798 ms. (steps per millisecond=1 ) properties (out of 66111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 900 ms. (steps per millisecond=1 ) properties (out of 66111) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 872 ms. (steps per millisecond=1 ) properties (out of 66111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 859 ms. (steps per millisecond=1 ) properties (out of 66111) 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 66111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 902 ms. (steps per millisecond=1 ) properties (out of 66111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 896 ms. (steps per millisecond=1 ) properties (out of 66111) 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 66111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 788 ms. (steps per millisecond=1 ) properties (out of 66111) 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 66111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 866 ms. (steps per millisecond=1 ) properties (out of 66111) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 974 ms. (steps per millisecond=1 ) properties (out of 66111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 893 ms. (steps per millisecond=1 ) properties (out of 66111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 923 ms. (steps per millisecond=1 ) properties (out of 66111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 749 ms. (steps per millisecond=1 ) properties (out of 66111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 817 ms. (steps per millisecond=1 ) properties (out of 66111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 711 ms. (steps per millisecond=1 ) properties (out of 66111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 788 ms. (steps per millisecond=1 ) properties (out of 66111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 688 ms. (steps per millisecond=1 ) properties (out of 66111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 656 ms. (steps per millisecond=1 ) properties (out of 66111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 738 ms. (steps per millisecond=1 ) properties (out of 66111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 764 ms. (steps per millisecond=1 ) properties (out of 66111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 806 ms. (steps per millisecond=1 ) properties (out of 66111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 927 ms. (steps per millisecond=1 ) properties (out of 66111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 940 ms. (steps per millisecond=1 ) properties (out of 66111) 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 66111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 959 ms. (steps per millisecond=1 ) properties (out of 66111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 889 ms. (steps per millisecond=1 ) properties (out of 66111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 853 ms. (steps per millisecond=1 ) properties (out of 66111) 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 66111) 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 66111) 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 66111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 774 ms. (steps per millisecond=1 ) properties (out of 66111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 859 ms. (steps per millisecond=1 ) properties (out of 66111) 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 66111) 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 66111) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 929 ms. (steps per millisecond=1 ) properties (out of 66111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 861 ms. (steps per millisecond=1 ) properties (out of 66111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 883 ms. (steps per millisecond=1 ) properties (out of 66111) 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 66111) 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 66111) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 883 ms. (steps per millisecond=1 ) properties (out of 66111) 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 66111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 909 ms. (steps per millisecond=1 ) properties (out of 66111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 896 ms. (steps per millisecond=1 ) properties (out of 66111) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 853 ms. (steps per millisecond=1 ) properties (out of 66111) seen :0
Interrupted probabilistic random walk after 5723 steps, run timeout after 30008 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 5723 steps, saw 4328 distinct states, run finished after 30010 ms. (steps per millisecond=0 ) properties seen :{}
Running SMT prover for 66111 properties.
[2022-06-09 06:19:43] [INFO ] Flow matrix only has 92370 transitions (discarded 26211 similar events)
// Phase 1: matrix 92370 rows 1218 cols
[2022-06-09 06:19:43] [INFO ] Computed 7 place invariants in 364 ms
[2022-06-09 06:23:28] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 66111 Parikh solutions to 1 different solutions.
Support contains 1179 out of 1218 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1218/1218 places, 118581/118581 transitions.
Applied a total of 0 rules in 534 ms. Remains 1218 /1218 variables (removed 0) and now considering 118581/118581 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1218/1218 places, 118581/118581 transitions.
[2022-06-09 06:23:33] [INFO ] Flatten gal took : 3607 ms
[2022-06-09 06:23:37] [INFO ] Flatten gal took : 3758 ms
[2022-06-09 06:23:37] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality3560374805586082054.gal : 309 ms
[2022-06-09 06:23:38] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality359533630973978166.prop : 77 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/ReachabilityCardinality3560374805586082054.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality359533630973978166.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/ReachabilityCardinality3560374805586082054.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality359533630973978166.prop --nowitness --gen-order FOLLOW
Detected timeout of ITS tools.
[2022-06-09 06:24:02] [INFO ] Flatten gal took : 4432 ms
[2022-06-09 06:24:02] [INFO ] Applying decomposition

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-pb102"
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-pb102, 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-165472293700397"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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