MCC'2022- Execution of r324-tall-165472293700427

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

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
16245.407	1722333.00	3283590.00	26984.40	[undef]	Cannot compute

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-165472293700427.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-pb108, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r324-tall-165472293700427
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 74M
-rw-r--r-- 1 mcc users 9.7K Jun 7 17:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 111K Jun 7 17:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Jun 7 17:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Jun 7 17:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Jun 6 15:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K 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 13K Jun 7 17:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 135K Jun 7 17:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.4K Jun 7 17:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 70K Jun 7 17:42 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 73M 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 1654756334217

Running Version 0
[2022-06-09 06:32:15] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2022-06-09 06:32:15] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-06-09 06:32:18] [INFO ] Load time of PNML (sax parser for PT used): 2443 ms
[2022-06-09 06:32:18] [INFO ] Transformed 2339 places.
[2022-06-09 06:32:18] [INFO ] Transformed 132214 transitions.
[2022-06-09 06:32:18] [INFO ] Found NUPN structural information;
[2022-06-09 06:32:18] [INFO ] Parsed PT model containing 2339 places and 132214 transitions in 2863 ms.
Starting structural reductions, iteration 0 : 2339/2339 places, 132214/132214 transitions.
Ensure Unique test removed 14 places
Ensure Unique test removed 7505 transitions
Reduce isomorphic transitions removed 7505 transitions.
Drop transitions removed 6 transitions
Trivial Post-agglo rules discarded 6 transitions
Performed 6 trivial Post agglomeration. Transition count delta: 6
Iterating post reduction 0 with 7525 rules applied. Total rules applied 7525 place count 2325 transition count 124703
Reduce places removed 6 places and 0 transitions.
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 1 with 10 rules applied. Total rules applied 7535 place count 2319 transition count 124699
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 2 Pre rules applied. Total rules applied 7535 place count 2319 transition count 124697
Deduced a syphon composed of 2 places in 217 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 7539 place count 2317 transition count 124697
Performed 58 Post agglomeration using F-continuation condition with reduction of 1 identical transitions.
Deduced a syphon composed of 58 places in 109 ms
Reduce places removed 58 places and 0 transitions.
Iterating global reduction 2 with 116 rules applied. Total rules applied 7655 place count 2259 transition count 124638
Ensure Unique test removed 170 transitions
Reduce isomorphic transitions removed 170 transitions.
Iterating post reduction 2 with 170 rules applied. Total rules applied 7825 place count 2259 transition count 124468
Performed 21 Post agglomeration using F-continuation condition with reduction of 5 identical transitions.
Deduced a syphon composed of 21 places in 87 ms
Reduce places removed 21 places and 0 transitions.
Iterating global reduction 3 with 42 rules applied. Total rules applied 7867 place count 2238 transition count 124497
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 3 with 19 rules applied. Total rules applied 7886 place count 2238 transition count 124478
Applied a total of 7886 rules in 4091 ms. Remains 2238 /2339 variables (removed 101) and now considering 124478/132214 (removed 7736) transitions.
[2022-06-09 06:32:23] [INFO ] Flow matrix only has 90643 transitions (discarded 33835 similar events)
// Phase 1: matrix 90643 rows 2238 cols
[2022-06-09 06:32:23] [INFO ] Computed 15 place invariants in 536 ms
[2022-06-09 06:32:28] [INFO ] Implicit Places using invariants in 5600 ms returned []
Implicit Place search using SMT only with invariants took 5656 ms to find 0 implicit places.
[2022-06-09 06:32:28] [INFO ] Flow matrix only has 90643 transitions (discarded 33835 similar events)
// Phase 1: matrix 90643 rows 2238 cols
[2022-06-09 06:32:28] [INFO ] Computed 15 place invariants in 370 ms
[2022-06-09 06:32:59] [INFO ] Performed 71248/124478 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-06-09 06:33:21] [INFO ] Dead Transitions using invariants and state equation in 52913 ms returned []
Finished structural reductions, in 1 iterations. Remains : 2238/2339 places, 124478/132214 transitions.
Discarding 54978 transitions out of 124478. Remains 69500
[2022-06-09 06:33:22] [INFO ] Initial state test concluded for 1 properties.
Interrupted random walk after 4901 steps, including 4 resets, run timeout after 30002 ms. (steps per millisecond=0 ) properties seen :{149=1, 160=1, 189=1, 319=1, 332=1, 398=1, 429=1, 499=1, 641=1, 734=1, 776=1, 780=1, 794=1, 871=1, 888=1, 897=1, 899=1, 1149=1, 1239=1, 1242=1, 1247=1, 1258=1, 1266=1, 1285=1, 1290=1, 1299=1, 1302=1, 1310=1, 1336=1, 1337=1, 1363=1, 1386=1, 1456=1, 1701=1, 1759=1, 1820=1, 1841=1, 1845=1, 1850=1, 1870=1, 1884=1, 1890=1, 1900=1, 1927=1, 1941=1, 1974=1, 1980=1, 2018=1, 2054=1, 2066=1, 2104=1, 2177=1, 2241=1, 2305=1, 2322=1, 2433=1, 2448=1, 2512=1, 2515=1, 2554=1, 2584=1, 2652=1, 2667=1, 2679=1, 2681=1, 2770=1, 2771=1, 2784=1, 2794=1, 2846=1, 2872=1, 2948=1, 2975=1, 2992=1, 3030=1, 3047=1, 3096=1, 3169=1, 3173=1, 3215=1, 3218=1, 3232=1, 3258=1, 3261=1, 3268=1, 3279=1, 3284=1, 3301=1, 3318=1, 3323=1, 3333=1, 3344=1, 3352=1, 3354=1, 3388=1, 3436=1, 3624=1, 3665=1, 3682=1, 3741=1, 3744=1, 3810=1, 3845=1, 3873=1, 3895=1, 3896=1, 3910=1, 3921=1, 3943=1, 4032=1, 4161=1, 4257=1, 4295=1, 4297=1, 4301=1, 4307=1, 4309=1, 4333=1, 4340=1, 4357=1, 4390=1, 4426=1, 4557=1, 4567=1, 4784=1, 4791=1, 4937=1, 5025=1, 5077=1, 5090=1, 5121=1, 5178=1, 5190=1, 5224=1, 5404=1, 5552=1, 5554=1, 5581=1, 5586=1, 5588=1, 5864=1, 5892=1, 6139=1, 6187=1, 6206=1, 6282=1, 6300=1, 6567=1, 6585=1, 6890=1, 6928=1, 6932=1, 7003=1, 7084=1, 7086=1, 7092=1, 7267=1, 7273=1, 7593=1, 7740=1, 7761=1, 7764=1, 7805=1, 7811=1, 7817=1, 7818=1, 7820=1, 7864=1, 8029=1, 8067=1, 8172=1, 8174=1, 8294=1, 8339=1, 8357=1, 8369=1, 8370=1, 8371=1, 8374=1, 8389=1, 8392=1, 8411=1, 8439=1, 8446=1, 8487=1, 8515=1, 8566=1, 8588=1, 8603=1, 8700=1, 8702=1, 8789=1, 8819=1, 8830=1, 8872=1, 8883=1, 8893=1, 8904=1, 8979=1, 9023=1, 9057=1, 9079=1, 9121=1, 9155=1, 9187=1, 9262=1, 9310=1, 9341=1, 9359=1, 9363=1, 9380=1, 9386=1, 9399=1, 9411=1, 9455=1, 9592=1, 9701=1, 9896=1, 9911=1, 10057=1, 10228=1, 10352=1, 10359=1, 10636=1, 10689=1, 10786=1, 10806=1, 10825=1, 10911=1, 10920=1, 11164=1, 11171=1, 11207=1, 11252=1, 11264=1, 11282=1, 11323=1, 11332=1, 11344=1, 11380=1, 11388=1, 11527=1, 11610=1, 11624=1, 11635=1, 12057=1, 12061=1, 12076=1, 12079=1, 12090=1, 12092=1, 12129=1, 12139=1, 12154=1, 12161=1, 12174=1, 12181=1, 12183=1, 12186=1, 12404=1, 12421=1, 12455=1, 12456=1, 12508=1, 12529=1, 12555=1, 12734=1, 12754=1, 12968=1, 13053=1, 13063=1, 13192=1, 13206=1, 13207=1, 13209=1, 13211=1, 13214=1, 13289=1, 13371=1, 13413=1, 13421=1, 13490=1, 13714=1, 13716=1, 13782=1, 13820=1, 13882=1, 14187=1, 14200=1, 14213=1, 14219=1, 14259=1, 14280=1, 14387=1, 14639=1, 14646=1, 14655=1, 14657=1, 14699=1, 14774=1, 14788=1, 14805=1, 14816=1, 15021=1, 15041=1, 15058=1, 15083=1, 15475=1, 15563=1, 15616=1, 15643=1, 15773=1, 15795=1, 15807=1, 15815=1, 15856=1, 15864=1, 15896=1, 16031=1, 16060=1, 16086=1, 16161=1, 16162=1, 16205=1, 16215=1, 16217=1, 16233=1, 16234=1, 16241=1, 16248=1, 16253=1, 16254=1, 16260=1, 16268=1, 16277=1, 16328=1, 16359=1, 16390=1, 16505=1, 16668=1, 16762=1, 16932=1, 16959=1, 16976=1, 17082=1, 17095=1, 17109=1, 17114=1, 17147=1, 17160=1, 17193=1, 17237=1, 17483=1, 17494=1, 17505=1, 17541=1, 17554=1, 17698=1, 17855=1, 18276=1, 18291=1, 18323=1, 18405=1, 18409=1, 18417=1, 18426=1, 18433=1, 18435=1, 18458=1, 18462=1, 18520=1, 18537=1, 18675=1, 18911=1, 18913=1, 19043=1, 19051=1, 19095=1, 19101=1, 19171=1, 19304=1, 19318=1, 19457=1, 19463=1, 19469=1, 19484=1, 19485=1, 19529=1, 19535=1, 19554=1, 19572=1, 19573=1, 19921=1, 19940=1, 19954=1, 19963=1, 20156=1, 20284=1, 20304=1, 20319=1, 20336=1, 20359=1, 20388=1, 20397=1, 20475=1, 20740=1, 20789=1, 20792=1, 20918=1, 21219=1, 21226=1, 21231=1, 21235=1, 21249=1, 21251=1, 21403=1, 21409=1, 21423=1, 21451=1, 21458=1, 21492=1, 21494=1, 21497=1, 21504=1, 21507=1, 21516=1, 21635=1, 21668=1, 21720=1, 21724=1, 21727=1, 21731=1, 21788=1, 21857=1, 21862=1, 21888=1, 22016=1, 22080=1, 22088=1, 22100=1, 22103=1, 22105=1, 22290=1, 22299=1, 22422=1, 22429=1, 22430=1, 22437=1, 22537=1, 22567=1, 22705=1, 22808=1, 22810=1, 22836=1, 22912=1, 22983=1, 22993=1, 23034=1, 23076=1, 23115=1, 23121=1, 23123=1, 23149=1, 23156=1, 23303=1, 23341=1, 23355=1, 23392=1, 23405=1, 23421=1, 23427=1, 23432=1, 23435=1, 23481=1, 23756=1, 23821=1, 23917=1, 23949=1, 23950=1, 23966=1, 24146=1, 24148=1, 24236=1, 24259=1, 24275=1, 24333=1, 24603=1, 24620=1, 24852=1, 24870=1, 24966=1, 25001=1, 25038=1, 25120=1, 25364=1, 25385=1, 25391=1, 25397=1, 25497=1, 25517=1, 25627=1, 25734=1, 25736=1, 25787=1, 25802=1, 25806=1, 25812=1, 25821=1, 25842=1, 25845=1, 26124=1, 26138=1, 26274=1, 26281=1, 26327=1, 26330=1, 26331=1, 26387=1, 26388=1, 26719=1, 26746=1, 26749=1, 26808=1, 26810=1, 26813=1, 26825=1, 26830=1, 26833=1, 26835=1, 26856=1, 26860=1, 26861=1, 26881=1, 26893=1, 26894=1, 26919=1, 26920=1, 26927=1, 27222=1, 27243=1, 27275=1, 27345=1, 27354=1, 27625=1, 27642=1, 28148=1, 28165=1, 28425=1, 28429=1, 28435=1, 28436=1, 28464=1, 28549=1, 28613=1, 28623=1, 28646=1, 28684=1, 28912=1, 28920=1, 28966=1, 28980=1, 28986=1, 28991=1, 28995=1, 29030=1, 29066=1, 29125=1, 29424=1, 29496=1, 29531=1, 29601=1, 29615=1, 29800=1, 30062=1, 30147=1, 30154=1, 30162=1, 30168=1, 30173=1, 30240=1, 30249=1, 30328=1, 30488=1, 30506=1, 30513=1, 30534=1, 30541=1, 30595=1, 30622=1, 30670=1, 30842=1, 30845=1, 31102=1, 31206=1, 31224=1, 31235=1, 31276=1, 31281=1, 31611=1, 31614=1, 31648=1, 31653=1, 31655=1, 31773=1, 31778=1, 31785=1, 31967=1, 32146=1, 32522=1, 32589=1, 32797=1, 33003=1, 33066=1, 33103=1, 33124=1, 33138=1, 33153=1, 33164=1, 33175=1, 33193=1, 33198=1, 33205=1, 33207=1, 33221=1, 33227=1, 33234=1, 33248=1, 33255=1, 33355=1, 33364=1, 33461=1, 33462=1, 33463=1, 33468=1, 33481=1, 33484=1, 33485=1, 33491=1, 33494=1, 33497=1, 33501=1, 33513=1, 33515=1, 33516=1, 33525=1, 33558=1, 33620=1, 33650=1, 33670=1, 33684=1, 33696=1, 33701=1, 33751=1, 33777=1, 33805=1, 33930=1, 34038=1, 34039=1, 34471=1, 34478=1, 34482=1, 34561=1, 34569=1, 34720=1, 34796=1, 34829=1, 34856=1, 34938=1, 34949=1, 34960=1, 34974=1, 35259=1, 35287=1, 35464=1, 35503=1, 35645=1, 35655=1, 36114=1, 36209=1, 36305=1, 36316=1, 36321=1, 36976=1, 37143=1, 37176=1, 37194=1, 37238=1, 37860=1, 37871=1, 37940=1, 38058=1, 38082=1, 38218=1, 38230=1, 38309=1, 38324=1, 38342=1, 38356=1, 38365=1, 38366=1, 38380=1, 38386=1, 38392=1, 38403=1, 38437=1, 38509=1, 38600=1, 38619=1, 38628=1, 38643=1, 38841=1, 38853=1, 38888=1, 38911=1, 38918=1, 38932=1, 38957=1, 38990=1, 39020=1, 39026=1, 39043=1, 39177=1, 39186=1, 39220=1, 39235=1, 39274=1, 39280=1, 39296=1, 39413=1, 39437=1, 39447=1, 39451=1, 39454=1, 39458=1, 39641=1, 39664=1, 39666=1, 39922=1, 39949=1, 39976=1, 39988=1, 40175=1, 40207=1, 40216=1, 40368=1, 40837=1, 40860=1, 40865=1, 40886=1, 40998=1, 41111=1, 41118=1, 41276=1, 41530=1, 41531=1, 41705=1, 41717=1, 41789=1, 42267=1, 42271=1, 42318=1, 42327=1, 42385=1, 42785=1, 42809=1, 42840=1, 42904=1, 42910=1, 42993=1, 42995=1, 42996=1, 42998=1, 43014=1, 43027=1, 43258=1, 43300=1, 43363=1, 43512=1, 43835=1, 43880=1, 43893=1, 43921=1, 43923=1, 43939=1, 43949=1, 44159=1, 44185=1, 44190=1, 44260=1, 44374=1, 44520=1, 44673=1, 44857=1, 44866=1, 45112=1, 45124=1, 45159=1, 45212=1, 45475=1, 45555=1, 45556=1, 45559=1, 45837=1, 45844=1, 45882=1, 46164=1, 46176=1, 46452=1, 46551=1, 46569=1, 46600=1, 46636=1, 46695=1, 46697=1, 46698=1, 46782=1, 46785=1, 46788=1, 46796=1, 46800=1, 46898=1, 46900=1, 46921=1, 46924=1, 47172=1, 47413=1, 47444=1, 47459=1, 47486=1, 47553=1, 47562=1, 47565=1, 47566=1, 47574=1, 47782=1, 47820=1, 47916=1, 47950=1, 47967=1, 48100=1, 48102=1, 48200=1, 48450=1, 48510=1, 48519=1, 48561=1, 48575=1, 48763=1, 48810=1, 48846=1, 48871=1, 48895=1, 48914=1, 49164=1, 49166=1, 49168=1, 49252=1, 49256=1, 49306=1, 49311=1, 49313=1, 49359=1, 49378=1, 49381=1, 49384=1, 49387=1, 49484=1, 49637=1, 49661=1, 49663=1, 49670=1, 49675=1, 49718=1, 49751=1, 49792=1, 49804=1, 49979=1, 49980=1, 49982=1, 49984=1, 49987=1, 49990=1, 49991=1, 49993=1, 50002=1, 50010=1, 50017=1, 50019=1, 50022=1, 50024=1, 50031=1, 50032=1, 50038=1, 50097=1, 50339=1, 50349=1, 50351=1, 50358=1, 50400=1, 50406=1, 50413=1, 50510=1, 50643=1, 50689=1, 50759=1, 50773=1, 50783=1, 50787=1, 50789=1, 50795=1, 50802=1, 50811=1, 50813=1, 50827=1, 50989=1, 51086=1, 51087=1, 51089=1, 51277=1, 51278=1, 51290=1, 51378=1, 51393=1, 51406=1, 51410=1, 51436=1, 51440=1, 51447=1, 51520=1, 51620=1, 51636=1, 51710=1, 51746=1, 51748=1, 51827=1, 51872=1, 51891=1, 51930=1, 51947=1, 52641=1, 52657=1, 52674=1, 52689=1, 52692=1, 52702=1, 52776=1, 52803=1, 52805=1, 52814=1, 52824=1, 52827=1, 52831=1, 52859=1, 52866=1, 52877=1, 52910=1, 53011=1, 53259=1, 53291=1, 53305=1, 53315=1, 53319=1, 53523=1, 53558=1, 53644=1, 53687=1, 53690=1, 53692=1, 53727=1, 53888=1, 53919=1, 53926=1, 53953=1, 53961=1, 53963=1, 53980=1, 54345=1, 54399=1, 54465=1, 54481=1, 54781=1, 54841=1, 54987=1, 55008=1, 55010=1, 55012=1, 55128=1, 55232=1, 55254=1, 55274=1, 55296=1, 55327=1, 55340=1, 55351=1, 55579=1, 55580=1, 55624=1, 55875=1, 55876=1, 55879=1, 55906=1, 55915=1, 56181=1, 56257=1, 56262=1, 56266=1, 56295=1, 56312=1, 56327=1, 56388=1, 56395=1, 56421=1, 56422=1, 56540=1, 56555=1, 56559=1, 56567=1, 56571=1, 56582=1, 56696=1, 56729=1, 56732=1, 56767=1, 56775=1, 56778=1, 56785=1, 56795=1, 56892=1, 56955=1, 56961=1, 56963=1, 56965=1, 57003=1, 57023=1, 57047=1, 57077=1, 57123=1, 57176=1, 57182=1, 57189=1, 57192=1, 57213=1, 57360=1, 57394=1, 57417=1, 57797=1, 57831=1, 57839=1, 57852=1, 57859=1, 57891=1, 57902=1, 58033=1, 58168=1, 58173=1, 58197=1, 58222=1, 58236=1, 58243=1, 58354=1, 58361=1, 58404=1, 58430=1, 58486=1, 58539=1, 58688=1, 58801=1, 58973=1, 59186=1, 59211=1, 59227=1, 59276=1, 59285=1, 59289=1, 59298=1, 59321=1, 59346=1, 59407=1, 59414=1, 59423=1, 59437=1, 59448=1, 59451=1, 59575=1, 59585=1, 59586=1, 59590=1, 59599=1, 59604=1, 59625=1, 59628=1, 59672=1, 59674=1, 59763=1, 59783=1, 59787=1, 59819=1, 59905=1, 59929=1, 59988=1, 59993=1, 60003=1, 60023=1, 60027=1, 60031=1, 60045=1, 60101=1, 60104=1, 60108=1, 60118=1, 60124=1, 60138=1, 60265=1, 60269=1, 60387=1, 60486=1, 60488=1, 60562=1, 60681=1, 61637=1, 61654=1, 61844=1, 61858=1, 61890=1, 61904=1, 61911=1, 61951=1, 61989=1, 62164=1, 62190=1, 62199=1, 62233=1, 62341=1, 62353=1, 62415=1, 62435=1, 62458=1, 62468=1, 62640=1, 62651=1, 62886=1, 63167=1, 63180=1, 63234=1, 63245=1, 63271=1, 63273=1, 63278=1, 63280=1, 63299=1, 63440=1, 63442=1, 63553=1, 63556=1, 63576=1, 63580=1, 63587=1, 63590=1, 63706=1, 63719=1, 63737=1, 63759=1, 63779=1, 63790=1, 64130=1, 64159=1, 64236=1, 64254=1, 64345=1, 64377=1, 64458=1, 64461=1, 64479=1, 64786=1, 64789=1, 64790=1, 64852=1, 64861=1, 64864=1, 64874=1, 64890=1, 64897=1, 64915=1, 64922=1, 64928=1, 64943=1, 65054=1, 65057=1, 65069=1, 65070=1, 65102=1, 65146=1, 65157=1, 65434=1, 65438=1, 65506=1, 65540=1, 65570=1, 65584=1, 65627=1, 65733=1, 65799=1, 65954=1, 65962=1, 65974=1, 66189=1, 66235=1, 66267=1, 66288=1, 66289=1, 66651=1, 66655=1, 66656=1, 66659=1, 66664=1, 66667=1, 66947=1, 67066=1, 67358=1, 67444=1, 67447=1, 67605=1, 67617=1, 67618=1, 67620=1, 67633=1, 67634=1, 67679=1}
Interrupted probabilistic random walk after 11323 steps, run timeout after 30003 ms. (steps per millisecond=0 ) properties seen :{159=1, 519=1, 724=1, 1224=1, 1705=1, 1775=1, 1845=1, 1857=1, 1862=1, 1903=1, 2742=1, 2808=1, 3187=1, 3787=1, 4866=1, 5253=1, 5259=1, 5598=1, 5599=1, 5601=1, 5605=1, 6925=1, 7112=1, 7425=1, 7556=1, 7640=1, 7663=1, 8295=1, 8589=1, 8658=1, 8870=1, 9081=1, 9193=1, 9484=1, 9486=1, 10674=1, 11004=1, 11091=1, 11280=1, 11390=1, 12986=1, 13112=1, 13138=1, 13333=1, 13335=1, 13339=1, 13345=1, 13946=1, 13972=1, 13976=1, 13979=1, 14153=1, 14156=1, 14158=1, 14162=1, 14487=1, 15186=1, 15270=1, 15326=1, 15430=1, 15447=1, 15834=1, 15854=1, 15863=1, 15864=1, 16321=1, 16396=1, 17878=1, 18083=1, 18291=1, 18536=1, 19542=1, 19903=1, 20818=1, 20832=1, 20839=1, 22002=1, 22083=1, 22283=1, 22471=1, 22495=1, 22515=1, 23196=1, 23282=1, 23296=1, 23336=1, 23494=1, 23509=1, 23846=1, 24518=1, 24643=1, 24875=1, 25026=1, 25037=1, 25114=1, 25122=1, 25306=1, 25314=1, 25321=1, 25612=1, 25639=1, 25705=1, 25878=1, 26317=1, 26349=1, 26725=1, 28028=1, 28050=1, 28055=1, 28059=1, 28517=1, 28531=1, 28562=1, 28567=1, 28843=1, 28914=1, 29243=1, 29261=1, 29503=1, 29586=1, 29633=1, 29643=1, 31188=1, 31837=1, 31883=1, 32523=1, 32575=1, 32599=1, 32605=1, 32608=1, 32795=1, 32816=1, 32858=1, 32988=1, 33161=1, 33190=1, 33225=1, 33290=1, 33291=1, 34263=1, 34633=1, 36104=1, 36118=1, 36320=1, 37495=1, 37725=1, 37909=1, 37929=1, 38441=1, 38487=1, 38763=1, 38907=1, 38916=1, 39176=1, 39182=1, 39207=1, 39221=1, 39254=1, 39449=1, 41195=1, 43069=1, 43109=1, 43137=1, 43713=1, 44333=1, 44360=1, 44903=1, 45341=1, 45804=1, 45893=1, 46357=1, 46363=1, 46966=1, 47020=1, 47028=1, 47730=1, 48021=1, 48386=1, 48788=1, 48884=1, 49113=1, 49119=1, 49132=1, 49147=1, 49443=1, 49471=1, 49866=1, 50451=1, 50508=1, 50913=1, 50960=1, 51868=1, 52272=1, 52667=1, 52769=1, 52976=1, 54592=1, 55876=1, 55884=1, 55923=1, 57331=1, 57360=1, 57618=1, 57622=1, 58095=1, 58382=1, 58526=1, 59028=1, 59508=1, 59519=1, 59528=1, 59558=1, 59560=1, 60285=1, 61381=1, 63069=1, 63281=1, 63283=1, 63396=1, 63732=1, 63749=1, 63754=1, 64141=1, 64381=1, 64399=1, 64401=1, 64405=1, 64747=1, 64761=1, 65049=1, 65055=1, 65071=1, 65353=1, 65393=1, 66382=1, 66391=1, 66396=1, 66400=1}
Probabilistic random walk after 11323 steps, saw 4343 distinct states, run finished after 30004 ms. (steps per millisecond=0 ) properties seen :{159=1, 519=1, 724=1, 1224=1, 1705=1, 1775=1, 1845=1, 1857=1, 1862=1, 1903=1, 2742=1, 2808=1, 3187=1, 3787=1, 4866=1, 5253=1, 5259=1, 5598=1, 5599=1, 5601=1, 5605=1, 6925=1, 7112=1, 7425=1, 7556=1, 7640=1, 7663=1, 8295=1, 8589=1, 8658=1, 8870=1, 9081=1, 9193=1, 9484=1, 9486=1, 10674=1, 11004=1, 11091=1, 11280=1, 11390=1, 12986=1, 13112=1, 13138=1, 13333=1, 13335=1, 13339=1, 13345=1, 13946=1, 13972=1, 13976=1, 13979=1, 14153=1, 14156=1, 14158=1, 14162=1, 14487=1, 15186=1, 15270=1, 15326=1, 15430=1, 15447=1, 15834=1, 15854=1, 15863=1, 15864=1, 16321=1, 16396=1, 17878=1, 18083=1, 18291=1, 18536=1, 19542=1, 19903=1, 20818=1, 20832=1, 20839=1, 22002=1, 22083=1, 22283=1, 22471=1, 22495=1, 22515=1, 23196=1, 23282=1, 23296=1, 23336=1, 23494=1, 23509=1, 23846=1, 24518=1, 24643=1, 24875=1, 25026=1, 25037=1, 25114=1, 25122=1, 25306=1, 25314=1, 25321=1, 25612=1, 25639=1, 25705=1, 25878=1, 26317=1, 26349=1, 26725=1, 28028=1, 28050=1, 28055=1, 28059=1, 28517=1, 28531=1, 28562=1, 28567=1, 28843=1, 28914=1, 29243=1, 29261=1, 29503=1, 29586=1, 29633=1, 29643=1, 31188=1, 31837=1, 31883=1, 32523=1, 32575=1, 32599=1, 32605=1, 32608=1, 32795=1, 32816=1, 32858=1, 32988=1, 33161=1, 33190=1, 33225=1, 33290=1, 33291=1, 34263=1, 34633=1, 36104=1, 36118=1, 36320=1, 37495=1, 37725=1, 37909=1, 37929=1, 38441=1, 38487=1, 38763=1, 38907=1, 38916=1, 39176=1, 39182=1, 39207=1, 39221=1, 39254=1, 39449=1, 41195=1, 43069=1, 43109=1, 43137=1, 43713=1, 44333=1, 44360=1, 44903=1, 45341=1, 45804=1, 45893=1, 46357=1, 46363=1, 46966=1, 47020=1, 47028=1, 47730=1, 48021=1, 48386=1, 48788=1, 48884=1, 49113=1, 49119=1, 49132=1, 49147=1, 49443=1, 49471=1, 49866=1, 50451=1, 50508=1, 50913=1, 50960=1, 51868=1, 52272=1, 52667=1, 52769=1, 52976=1, 54592=1, 55876=1, 55884=1, 55923=1, 57331=1, 57360=1, 57618=1, 57622=1, 58095=1, 58382=1, 58526=1, 59028=1, 59508=1, 59519=1, 59528=1, 59558=1, 59560=1, 60285=1, 61381=1, 63069=1, 63281=1, 63283=1, 63396=1, 63732=1, 63749=1, 63754=1, 64141=1, 64381=1, 64399=1, 64401=1, 64405=1, 64747=1, 64761=1, 65049=1, 65055=1, 65071=1, 65353=1, 65393=1, 66382=1, 66391=1, 66396=1, 66400=1}
Running SMT prover for 68030 properties.
[2022-06-09 06:34:25] [INFO ] Flow matrix only has 90643 transitions (discarded 33835 similar events)
// Phase 1: matrix 90643 rows 2238 cols
[2022-06-09 06:34:25] [INFO ] Computed 15 place invariants in 378 ms
[2022-06-09 06:34:51] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 68030 Parikh solutions to 1 different solutions.
Support contains 2236 out of 2238 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2238/2238 places, 124478/124478 transitions.
Drop transitions removed 3022 transitions
Reduce isomorphic transitions removed 3022 transitions.
Iterating post reduction 0 with 3022 rules applied. Total rules applied 3022 place count 2238 transition count 121456
Applied a total of 3022 rules in 908 ms. Remains 2238 /2238 variables (removed 0) and now considering 121456/124478 (removed 3022) transitions.
Finished structural reductions, in 1 iterations. Remains : 2238/2238 places, 121456/124478 transitions.
[2022-06-09 06:34:57] [INFO ] Flatten gal took : 4637 ms
[2022-06-09 06:35:01] [INFO ] Flatten gal took : 3658 ms
[2022-06-09 06:35:01] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality17873567786762867769.gal : 348 ms
[2022-06-09 06:35:02] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality2376690178117825838.prop : 137 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/ReachabilityCardinality17873567786762867769.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality2376690178117825838.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/ReachabilityCardinality17873567786762867769.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality2376690178117825838.prop --nowitness --gen-order FOLLOW
Detected timeout of ITS tools.
[2022-06-09 06:35:21] [INFO ] Flatten gal took : 3854 ms
[2022-06-09 06:35:21] [INFO ] Applying decomposition
[2022-06-09 06:35:25] [INFO ] Flatten gal took : 3626 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/graph6418886117902352570.txt, -o, /tmp/graph6418886117902352570.bin, -w, /tmp/graph6418886117902352570.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/graph6418886117902352570.bin, -l, -1, -v, -w, /tmp/graph6418886117902352570.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-06-09 06:35:33] [INFO ] Decomposing Gal with order
[2022-06-09 06:35:33] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 06:35:50] [INFO ] Removed a total of 251885 redundant transitions.
[2022-06-09 06:35:51] [INFO ] Flatten gal took : 13580 ms
[2022-06-09 06:36:02] [INFO ] Fuse similar labels procedure discarded/fused a total of 5406 labels/synchronizations in 3452 ms.
[2022-06-09 06:36:03] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality17494517880901549409.gal : 196 ms
[2022-06-09 06:36:03] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality12211056620738026465.prop : 124 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/ReachabilityCardinality17494517880901549409.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality12211056620738026465.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/ReachabilityCardinality17494517880901549409.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality12211056620738026465.prop --nowitness
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin5202752162987988404
[2022-06-09 06:36:19] [INFO ] Built C files in 1381ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin5202752162987988404
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/ltsmin5202752162987988404]
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/ltsmin5202752162987988404] 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/ltsmin5202752162987988404] 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 4121 steps, including 0 resets, run timeout after 30003 ms. (steps per millisecond=0 ) properties seen :{183=1, 877=1, 956=1, 1346=1, 1790=1, 1902=1, 1948=1, 1975=1, 2265=1, 2304=1, 2345=1, 2361=1, 2477=1, 2568=1, 2595=1, 2699=1, 2704=1, 2921=1, 2958=1, 2965=1, 3145=1, 3365=1, 3558=1, 4787=1, 4877=1, 5272=1, 5359=1, 5443=1, 7032=1, 7087=1, 7991=1, 8538=1, 8685=1, 8688=1, 9164=1, 9431=1, 9784=1, 9865=1, 10382=1, 10555=1, 11120=1, 11897=1, 11911=1, 12132=1, 12140=1, 12889=1, 13092=1, 14408=1, 14935=1, 15456=1, 15692=1, 15870=1, 16017=1, 16454=1, 16640=1, 17035=1, 17114=1, 17435=1, 17648=1, 17854=1, 18042=1, 18069=1, 18088=1, 18099=1, 18457=1, 18464=1, 18538=1, 18624=1, 19987=1, 20857=1, 20866=1, 20978=1, 21174=1, 21266=1, 21289=1, 21311=1, 21333=1, 21335=1, 21345=1, 21578=1, 21855=1, 22053=1, 23227=1, 23263=1, 23569=1, 23808=1, 24417=1, 25005=1, 25670=1, 26202=1, 26279=1, 27717=1, 27908=1, 27911=1, 27916=1, 27936=1, 28408=1, 29020=1, 29537=1, 31053=1, 31677=1, 31832=1, 32445=1, 32655=1, 32726=1, 32750=1, 32896=1, 33266=1, 33712=1, 33787=1, 33790=1, 33797=1, 33903=1, 33961=1, 34142=1, 34180=1, 34632=1, 34721=1, 35368=1, 35384=1, 36065=1, 36070=1, 36328=1, 36380=1, 36850=1, 36903=1, 37800=1, 37812=1, 38059=1, 38166=1, 38324=1, 38373=1, 38390=1, 38444=1, 38749=1, 39534=1, 39554=1, 39953=1, 40389=1, 41420=1, 41447=1, 41811=1, 41832=1, 41990=1, 42866=1, 44861=1, 45174=1, 45183=1, 45186=1, 45649=1, 45692=1, 45794=1, 45802=1, 45805=1, 45893=1, 46187=1, 46370=1, 46428=1, 46458=1, 46469=1, 46486=1, 46555=1, 46563=1, 46782=1, 47178=1, 47708=1, 48198=1, 48221=1, 48458=1, 48460=1, 48928=1, 48944=1, 48947=1, 48957=1, 49262=1, 49301=1, 49888=1, 50179=1, 50360=1, 50587=1, 50764=1, 50783=1, 51560=1, 51798=1, 51803=1, 51924=1, 51933=1, 52085=1, 52135=1, 53297=1, 54162=1, 54680=1, 54715=1, 55356=1, 55523=1, 55937=1, 55954=1, 56487=1, 57320=1, 57643=1, 57810=1, 57812=1, 57814=1, 57819=1, 58004=1, 58247=1, 58248=1, 58249=1, 58250=1, 58304=1, 58350=1, 58384=1, 58594=1, 58597=1, 58599=1, 58603=1, 58677=1, 58693=1, 58771=1, 58840=1, 58863=1, 59030=1, 60412=1, 60908=1, 61219=1, 61886=1, 62938=1, 63066=1, 63075=1, 63077=1, 63330=1, 63468=1, 63477=1, 63642=1, 64524=1, 64542=1, 64602=1, 64791=1, 65194=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 729 ms. (steps per millisecond=1 ) properties (out of 67791) seen :25
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 768 ms. (steps per millisecond=1 ) properties (out of 67766) seen :17
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 707 ms. (steps per millisecond=1 ) properties (out of 67749) seen :20
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 682 ms. (steps per millisecond=1 ) properties (out of 67729) seen :20
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 727 ms. (steps per millisecond=1 ) properties (out of 67709) seen :10
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 667 ms. (steps per millisecond=1 ) properties (out of 67699) seen :8
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 755 ms. (steps per millisecond=1 ) properties (out of 67691) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 708 ms. (steps per millisecond=1 ) properties (out of 67679) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 845 ms. (steps per millisecond=1 ) properties (out of 67672) seen :21
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 760 ms. (steps per millisecond=1 ) properties (out of 67651) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 743 ms. (steps per millisecond=1 ) properties (out of 67641) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 774 ms. (steps per millisecond=1 ) properties (out of 67628) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 699 ms. (steps per millisecond=1 ) properties (out of 67624) 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 67620) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 728 ms. (steps per millisecond=1 ) properties (out of 67607) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 871 ms. (steps per millisecond=1 ) properties (out of 67605) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 686 ms. (steps per millisecond=1 ) properties (out of 67600) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 781 ms. (steps per millisecond=1 ) properties (out of 67590) seen :14
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 894 ms. (steps per millisecond=1 ) properties (out of 67576) seen :15
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 731 ms. (steps per millisecond=1 ) properties (out of 67561) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 744 ms. (steps per millisecond=1 ) properties (out of 67554) 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 67554) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 779 ms. (steps per millisecond=1 ) properties (out of 67552) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 707 ms. (steps per millisecond=1 ) properties (out of 67544) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 702 ms. (steps per millisecond=1 ) properties (out of 67536) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 679 ms. (steps per millisecond=1 ) properties (out of 67528) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 767 ms. (steps per millisecond=1 ) properties (out of 67523) 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 67521) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 764 ms. (steps per millisecond=1 ) properties (out of 67514) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 707 ms. (steps per millisecond=1 ) properties (out of 67501) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 774 ms. (steps per millisecond=1 ) properties (out of 67498) seen :3
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 642 ms. (steps per millisecond=1 ) properties (out of 67495) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 793 ms. (steps per millisecond=1 ) properties (out of 67487) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 906 ms. (steps per millisecond=1 ) properties (out of 67481) seen :7
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 882 ms. (steps per millisecond=1 ) properties (out of 67474) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1014 ms. (steps per millisecond=0 ) properties (out of 67472) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 802 ms. (steps per millisecond=1 ) properties (out of 67465) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 906 ms. (steps per millisecond=1 ) properties (out of 67457) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 718 ms. (steps per millisecond=1 ) properties (out of 67454) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 724 ms. (steps per millisecond=1 ) properties (out of 67450) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 635 ms. (steps per millisecond=1 ) properties (out of 67446) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 749 ms. (steps per millisecond=1 ) properties (out of 67442) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 695 ms. (steps per millisecond=1 ) properties (out of 67440) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 669 ms. (steps per millisecond=1 ) properties (out of 67436) 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 67436) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 666 ms. (steps per millisecond=1 ) properties (out of 67435) seen :6
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 749 ms. (steps per millisecond=1 ) properties (out of 67429) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 802 ms. (steps per millisecond=1 ) properties (out of 67421) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 743 ms. (steps per millisecond=1 ) properties (out of 67416) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 728 ms. (steps per millisecond=1 ) properties (out of 67412) 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 67407) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1060 ms. (steps per millisecond=0 ) properties (out of 67404) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 945 ms. (steps per millisecond=1 ) properties (out of 67401) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 964 ms. (steps per millisecond=1 ) properties (out of 67396) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 939 ms. (steps per millisecond=1 ) properties (out of 67394) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 917 ms. (steps per millisecond=1 ) properties (out of 67389) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1022 ms. (steps per millisecond=0 ) properties (out of 67386) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 909 ms. (steps per millisecond=1 ) properties (out of 67383) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1088 ms. (steps per millisecond=0 ) properties (out of 67380) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 993 ms. (steps per millisecond=1 ) properties (out of 67379) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 910 ms. (steps per millisecond=1 ) properties (out of 67376) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 917 ms. (steps per millisecond=1 ) properties (out of 67373) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 979 ms. (steps per millisecond=1 ) properties (out of 67371) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 867 ms. (steps per millisecond=1 ) properties (out of 67369) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 940 ms. (steps per millisecond=1 ) properties (out of 67365) 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 67364) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 883 ms. (steps per millisecond=1 ) properties (out of 67362) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 988 ms. (steps per millisecond=1 ) properties (out of 67360) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 907 ms. (steps per millisecond=1 ) properties (out of 67356) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 905 ms. (steps per millisecond=1 ) properties (out of 67354) 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 67353) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 997 ms. (steps per millisecond=1 ) properties (out of 67352) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 938 ms. (steps per millisecond=1 ) properties (out of 67351) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 981 ms. (steps per millisecond=1 ) properties (out of 67347) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 851 ms. (steps per millisecond=1 ) properties (out of 67345) 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 67345) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 942 ms. (steps per millisecond=1 ) properties (out of 67343) 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 67343) 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 67342) 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 67342) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 944 ms. (steps per millisecond=1 ) properties (out of 67334) 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 67334) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1021 ms. (steps per millisecond=0 ) properties (out of 67334) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 978 ms. (steps per millisecond=1 ) properties (out of 67332) 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 67332) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1012 ms. (steps per millisecond=0 ) properties (out of 67330) 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 67330) 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 67330) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1006 ms. (steps per millisecond=0 ) properties (out of 67329) 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 67329) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1002 ms. (steps per millisecond=0 ) properties (out of 67325) 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 67323) 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 67322) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 993 ms. (steps per millisecond=1 ) properties (out of 67321) 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 67320) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 976 ms. (steps per millisecond=1 ) properties (out of 67316) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 990 ms. (steps per millisecond=1 ) properties (out of 67313) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 884 ms. (steps per millisecond=1 ) properties (out of 67308) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 939 ms. (steps per millisecond=1 ) properties (out of 67306) 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 67306) 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 67306) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 927 ms. (steps per millisecond=1 ) properties (out of 67301) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1006 ms. (steps per millisecond=0 ) properties (out of 67299) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1012 ms. (steps per millisecond=0 ) properties (out of 67296) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 994 ms. (steps per millisecond=1 ) properties (out of 67296) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 918 ms. (steps per millisecond=1 ) properties (out of 67294) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 874 ms. (steps per millisecond=1 ) properties (out of 67293) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 902 ms. (steps per millisecond=1 ) properties (out of 67292) 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 67292) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 856 ms. (steps per millisecond=1 ) properties (out of 67291) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 978 ms. (steps per millisecond=1 ) properties (out of 67289) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 932 ms. (steps per millisecond=1 ) properties (out of 67288) 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 67286) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1073 ms. (steps per millisecond=0 ) properties (out of 67286) seen :3
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 976 ms. (steps per millisecond=1 ) properties (out of 67283) 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 67278) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 907 ms. (steps per millisecond=1 ) properties (out of 67276) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 932 ms. (steps per millisecond=1 ) properties (out of 67275) 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 67275) 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 67275) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1100 ms. (steps per millisecond=0 ) properties (out of 67274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1096 ms. (steps per millisecond=0 ) properties (out of 67274) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1111 ms. (steps per millisecond=0 ) properties (out of 67272) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1025 ms. (steps per millisecond=0 ) properties (out of 67266) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1040 ms. (steps per millisecond=0 ) properties (out of 67266) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1071 ms. (steps per millisecond=0 ) properties (out of 67266) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1081 ms. (steps per millisecond=0 ) properties (out of 67266) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1125 ms. (steps per millisecond=0 ) properties (out of 67264) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1109 ms. (steps per millisecond=0 ) properties (out of 67264) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1171 ms. (steps per millisecond=0 ) properties (out of 67264) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1114 ms. (steps per millisecond=0 ) properties (out of 67261) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1109 ms. (steps per millisecond=0 ) properties (out of 67261) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1113 ms. (steps per millisecond=0 ) properties (out of 67260) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1043 ms. (steps per millisecond=0 ) properties (out of 67258) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1056 ms. (steps per millisecond=0 ) properties (out of 67256) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1056 ms. (steps per millisecond=0 ) properties (out of 67256) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1083 ms. (steps per millisecond=0 ) properties (out of 67256) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1071 ms. (steps per millisecond=0 ) properties (out of 67256) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1056 ms. (steps per millisecond=0 ) properties (out of 67254) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1039 ms. (steps per millisecond=0 ) properties (out of 67253) 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 67253) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1058 ms. (steps per millisecond=0 ) properties (out of 67252) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1071 ms. (steps per millisecond=0 ) properties (out of 67252) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1059 ms. (steps per millisecond=0 ) properties (out of 67252) 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 67252) 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 67252) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 878 ms. (steps per millisecond=1 ) properties (out of 67245) 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 67244) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1132 ms. (steps per millisecond=0 ) properties (out of 67244) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1053 ms. (steps per millisecond=0 ) properties (out of 67244) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 915 ms. (steps per millisecond=1 ) properties (out of 67243) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 856 ms. (steps per millisecond=1 ) properties (out of 67242) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 871 ms. (steps per millisecond=1 ) properties (out of 67240) 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 67237) 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 67237) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 907 ms. (steps per millisecond=1 ) properties (out of 67235) 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 67234) 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 67234) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 948 ms. (steps per millisecond=1 ) properties (out of 67230) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 922 ms. (steps per millisecond=1 ) properties (out of 67227) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 879 ms. (steps per millisecond=1 ) properties (out of 67226) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 955 ms. (steps per millisecond=1 ) properties (out of 67226) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1000 ms. (steps per millisecond=1 ) properties (out of 67226) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 962 ms. (steps per millisecond=1 ) properties (out of 67225) 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 67225) 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 67223) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 725 ms. (steps per millisecond=1 ) properties (out of 67223) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 682 ms. (steps per millisecond=1 ) properties (out of 67222) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 716 ms. (steps per millisecond=1 ) properties (out of 67222) 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 67222) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 770 ms. (steps per millisecond=1 ) properties (out of 67222) 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 67222) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 759 ms. (steps per millisecond=1 ) properties (out of 67218) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 700 ms. (steps per millisecond=1 ) properties (out of 67216) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 692 ms. (steps per millisecond=1 ) properties (out of 67213) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 678 ms. (steps per millisecond=1 ) properties (out of 67213) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 725 ms. (steps per millisecond=1 ) properties (out of 67213) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 703 ms. (steps per millisecond=1 ) properties (out of 67213) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 686 ms. (steps per millisecond=1 ) properties (out of 67212) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 725 ms. (steps per millisecond=1 ) properties (out of 67212) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 658 ms. (steps per millisecond=1 ) properties (out of 67210) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 638 ms. (steps per millisecond=1 ) properties (out of 67210) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 645 ms. (steps per millisecond=1 ) properties (out of 67209) 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 67209) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 648 ms. (steps per millisecond=1 ) properties (out of 67208) 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 67208) 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 67208) 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 67208) 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 67207) 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 67207) 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 67207) 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 67206) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 626 ms. (steps per millisecond=1 ) properties (out of 67205) 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 67204) 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 67204) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 642 ms. (steps per millisecond=1 ) properties (out of 67203) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 665 ms. (steps per millisecond=1 ) properties (out of 67202) 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 67202) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 657 ms. (steps per millisecond=1 ) properties (out of 67202) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 673 ms. (steps per millisecond=1 ) properties (out of 67202) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 801 ms. (steps per millisecond=1 ) properties (out of 67195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 639 ms. (steps per millisecond=1 ) properties (out of 67195) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 659 ms. (steps per millisecond=1 ) properties (out of 67194) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 650 ms. (steps per millisecond=1 ) properties (out of 67194) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 694 ms. (steps per millisecond=1 ) properties (out of 67192) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 674 ms. (steps per millisecond=1 ) properties (out of 67192) 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 67192) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 660 ms. (steps per millisecond=1 ) properties (out of 67192) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 683 ms. (steps per millisecond=1 ) properties (out of 67190) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 611 ms. (steps per millisecond=1 ) properties (out of 67190) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 647 ms. (steps per millisecond=1 ) properties (out of 67188) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 655 ms. (steps per millisecond=1 ) properties (out of 67186) 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 67186) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 725 ms. (steps per millisecond=1 ) properties (out of 67185) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 639 ms. (steps per millisecond=1 ) properties (out of 67177) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 641 ms. (steps per millisecond=1 ) properties (out of 67177) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 628 ms. (steps per millisecond=1 ) properties (out of 67176) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 688 ms. (steps per millisecond=1 ) properties (out of 67176) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 659 ms. (steps per millisecond=1 ) properties (out of 67176) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 606 ms. (steps per millisecond=1 ) properties (out of 67176) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 617 ms. (steps per millisecond=1 ) properties (out of 67173) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 678 ms. (steps per millisecond=1 ) properties (out of 67173) 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 67173) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 709 ms. (steps per millisecond=1 ) properties (out of 67173) 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 67171) 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 67171) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 734 ms. (steps per millisecond=1 ) properties (out of 67171) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 765 ms. (steps per millisecond=1 ) properties (out of 67169) 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 67169) 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 67168) 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 67168) seen :7
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 799 ms. (steps per millisecond=1 ) properties (out of 67161) 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 67161) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 704 ms. (steps per millisecond=1 ) properties (out of 67160) 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 67160) 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 67160) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 779 ms. (steps per millisecond=1 ) properties (out of 67159) 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 67159) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 703 ms. (steps per millisecond=1 ) properties (out of 67158) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 762 ms. (steps per millisecond=1 ) properties (out of 67157) 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 67157) 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 67157) 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 67157) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 705 ms. (steps per millisecond=1 ) properties (out of 67157) 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 67157) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 680 ms. (steps per millisecond=1 ) properties (out of 67156) 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 67156) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 755 ms. (steps per millisecond=1 ) properties (out of 67155) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 719 ms. (steps per millisecond=1 ) properties (out of 67152) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 685 ms. (steps per millisecond=1 ) properties (out of 67152) 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 67151) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 691 ms. (steps per millisecond=1 ) properties (out of 67151) 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 67151) 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 67151) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 703 ms. (steps per millisecond=1 ) properties (out of 67151) 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 67151) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 635 ms. (steps per millisecond=1 ) properties (out of 67149) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 579 ms. (steps per millisecond=1 ) properties (out of 67149) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 646 ms. (steps per millisecond=1 ) properties (out of 67149) 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 67149) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 638 ms. (steps per millisecond=1 ) properties (out of 67149) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 727 ms. (steps per millisecond=1 ) properties (out of 67149) 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 67149) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 703 ms. (steps per millisecond=1 ) properties (out of 67149) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 617 ms. (steps per millisecond=1 ) properties (out of 67148) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 674 ms. (steps per millisecond=1 ) properties (out of 67148) seen :3
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 606 ms. (steps per millisecond=1 ) properties (out of 67145) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 620 ms. (steps per millisecond=1 ) properties (out of 67143) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 569 ms. (steps per millisecond=1 ) properties (out of 67143) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 701 ms. (steps per millisecond=1 ) properties (out of 67142) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 622 ms. (steps per millisecond=1 ) properties (out of 67142) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 672 ms. (steps per millisecond=1 ) properties (out of 67142) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 651 ms. (steps per millisecond=1 ) properties (out of 67137) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 657 ms. (steps per millisecond=1 ) properties (out of 67136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 683 ms. (steps per millisecond=1 ) properties (out of 67136) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 696 ms. (steps per millisecond=1 ) properties (out of 67133) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 654 ms. (steps per millisecond=1 ) properties (out of 67133) 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 67133) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 673 ms. (steps per millisecond=1 ) properties (out of 67133) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 609 ms. (steps per millisecond=1 ) properties (out of 67130) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 631 ms. (steps per millisecond=1 ) properties (out of 67129) 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 67129) 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 67129) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 645 ms. (steps per millisecond=1 ) properties (out of 67129) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 668 ms. (steps per millisecond=1 ) properties (out of 67129) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 614 ms. (steps per millisecond=1 ) properties (out of 67129) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 718 ms. (steps per millisecond=1 ) properties (out of 67129) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 602 ms. (steps per millisecond=1 ) properties (out of 67129) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 617 ms. (steps per millisecond=1 ) properties (out of 67129) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 619 ms. (steps per millisecond=1 ) properties (out of 67127) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 723 ms. (steps per millisecond=1 ) properties (out of 67124) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 685 ms. (steps per millisecond=1 ) properties (out of 67124) 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 67124) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 721 ms. (steps per millisecond=1 ) properties (out of 67121) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 541 ms. (steps per millisecond=1 ) properties (out of 67121) 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 67121) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 659 ms. (steps per millisecond=1 ) properties (out of 67120) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 613 ms. (steps per millisecond=1 ) properties (out of 67120) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 646 ms. (steps per millisecond=1 ) properties (out of 67120) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 709 ms. (steps per millisecond=1 ) properties (out of 67120) 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 67120) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 621 ms. (steps per millisecond=1 ) properties (out of 67120) 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 67120) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 642 ms. (steps per millisecond=1 ) properties (out of 67120) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 582 ms. (steps per millisecond=1 ) properties (out of 67120) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 666 ms. (steps per millisecond=1 ) properties (out of 67120) 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 67120) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 662 ms. (steps per millisecond=1 ) properties (out of 67119) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 628 ms. (steps per millisecond=1 ) properties (out of 67119) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 579 ms. (steps per millisecond=1 ) properties (out of 67119) 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 67119) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 608 ms. (steps per millisecond=1 ) properties (out of 67118) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 631 ms. (steps per millisecond=1 ) properties (out of 67116) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 674 ms. (steps per millisecond=1 ) properties (out of 67115) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 628 ms. (steps per millisecond=1 ) properties (out of 67115) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 623 ms. (steps per millisecond=1 ) properties (out of 67114) 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 67114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 565 ms. (steps per millisecond=1 ) properties (out of 67114) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 607 ms. (steps per millisecond=1 ) properties (out of 67112) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 604 ms. (steps per millisecond=1 ) properties (out of 67112) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 646 ms. (steps per millisecond=1 ) properties (out of 67111) 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 67111) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 638 ms. (steps per millisecond=1 ) properties (out of 67109) 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 67109) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 619 ms. (steps per millisecond=1 ) properties (out of 67109) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 600 ms. (steps per millisecond=1 ) properties (out of 67109) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 679 ms. (steps per millisecond=1 ) properties (out of 67109) 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 67109) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 675 ms. (steps per millisecond=1 ) properties (out of 67109) 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 67109) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 649 ms. (steps per millisecond=1 ) properties (out of 67109) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 676 ms. (steps per millisecond=1 ) properties (out of 67109) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 727 ms. (steps per millisecond=1 ) properties (out of 67109) 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 67109) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 657 ms. (steps per millisecond=1 ) properties (out of 67109) 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 67109) 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 67109) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 654 ms. (steps per millisecond=1 ) properties (out of 67109) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 552 ms. (steps per millisecond=1 ) properties (out of 67104) seen :3
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 647 ms. (steps per millisecond=1 ) properties (out of 67101) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 611 ms. (steps per millisecond=1 ) properties (out of 67100) 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 67100) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 564 ms. (steps per millisecond=1 ) properties (out of 67100) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 617 ms. (steps per millisecond=1 ) properties (out of 67098) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 590 ms. (steps per millisecond=1 ) properties (out of 67097) 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 67097) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 638 ms. (steps per millisecond=1 ) properties (out of 67096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 673 ms. (steps per millisecond=1 ) properties (out of 67096) 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 67096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 588 ms. (steps per millisecond=1 ) properties (out of 67096) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 660 ms. (steps per millisecond=1 ) properties (out of 67095) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 667 ms. (steps per millisecond=1 ) properties (out of 67094) 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 67094) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 600 ms. (steps per millisecond=1 ) properties (out of 67093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 621 ms. (steps per millisecond=1 ) properties (out of 67093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 600 ms. (steps per millisecond=1 ) properties (out of 67093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 602 ms. (steps per millisecond=1 ) properties (out of 67093) 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 67093) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 578 ms. (steps per millisecond=1 ) properties (out of 67093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 640 ms. (steps per millisecond=1 ) properties (out of 67093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 631 ms. (steps per millisecond=1 ) properties (out of 67093) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 599 ms. (steps per millisecond=1 ) properties (out of 67093) 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 67093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 641 ms. (steps per millisecond=1 ) properties (out of 67093) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 621 ms. (steps per millisecond=1 ) properties (out of 67090) 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 67087) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 615 ms. (steps per millisecond=1 ) properties (out of 67085) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 660 ms. (steps per millisecond=1 ) properties (out of 67084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 687 ms. (steps per millisecond=1 ) properties (out of 67084) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 633 ms. (steps per millisecond=1 ) properties (out of 67084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 614 ms. (steps per millisecond=1 ) properties (out of 67084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 586 ms. (steps per millisecond=1 ) properties (out of 67084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 605 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 670 ms. (steps per millisecond=1 ) properties (out of 67083) 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 67083) 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 67082) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 650 ms. (steps per millisecond=1 ) properties (out of 67082) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 613 ms. (steps per millisecond=1 ) properties (out of 67082) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 611 ms. (steps per millisecond=1 ) properties (out of 67081) 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 67081) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 580 ms. (steps per millisecond=1 ) properties (out of 67081) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 665 ms. (steps per millisecond=1 ) properties (out of 67080) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 639 ms. (steps per millisecond=1 ) properties (out of 67080) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 633 ms. (steps per millisecond=1 ) properties (out of 67079) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 721 ms. (steps per millisecond=1 ) properties (out of 67078) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 613 ms. (steps per millisecond=1 ) properties (out of 67078) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 612 ms. (steps per millisecond=1 ) properties (out of 67076) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 672 ms. (steps per millisecond=1 ) properties (out of 67075) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 585 ms. (steps per millisecond=1 ) properties (out of 67075) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 678 ms. (steps per millisecond=1 ) properties (out of 67075) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 530 ms. (steps per millisecond=1 ) properties (out of 67074) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 589 ms. (steps per millisecond=1 ) properties (out of 67073) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 617 ms. (steps per millisecond=1 ) properties (out of 67071) 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 67071) 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 67071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 672 ms. (steps per millisecond=1 ) properties (out of 67071) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 661 ms. (steps per millisecond=1 ) properties (out of 67070) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 659 ms. (steps per millisecond=1 ) properties (out of 67070) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 637 ms. (steps per millisecond=1 ) properties (out of 67068) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 599 ms. (steps per millisecond=1 ) properties (out of 67068) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 681 ms. (steps per millisecond=1 ) properties (out of 67066) 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 67066) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 622 ms. (steps per millisecond=1 ) properties (out of 67065) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 665 ms. (steps per millisecond=1 ) properties (out of 67064) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 592 ms. (steps per millisecond=1 ) properties (out of 67064) 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 67064) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 636 ms. (steps per millisecond=1 ) properties (out of 67064) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 643 ms. (steps per millisecond=1 ) properties (out of 67064) 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 67064) 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 67064) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 686 ms. (steps per millisecond=1 ) properties (out of 67062) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 666 ms. (steps per millisecond=1 ) properties (out of 67062) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 648 ms. (steps per millisecond=1 ) properties (out of 67062) 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 67062) 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 67062) 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 67062) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 662 ms. (steps per millisecond=1 ) properties (out of 67062) 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 67062) 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 67061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 610 ms. (steps per millisecond=1 ) properties (out of 67061) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 727 ms. (steps per millisecond=1 ) properties (out of 67061) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 583 ms. (steps per millisecond=1 ) properties (out of 67061) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 612 ms. (steps per millisecond=1 ) properties (out of 67057) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 666 ms. (steps per millisecond=1 ) properties (out of 67057) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 610 ms. (steps per millisecond=1 ) properties (out of 67054) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 550 ms. (steps per millisecond=1 ) properties (out of 67053) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 614 ms. (steps per millisecond=1 ) properties (out of 67053) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 625 ms. (steps per millisecond=1 ) properties (out of 67052) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 590 ms. (steps per millisecond=1 ) properties (out of 67052) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 673 ms. (steps per millisecond=1 ) properties (out of 67052) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 631 ms. (steps per millisecond=1 ) properties (out of 67052) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 648 ms. (steps per millisecond=1 ) properties (out of 67051) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 657 ms. (steps per millisecond=1 ) properties (out of 67050) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 567 ms. (steps per millisecond=1 ) properties (out of 67050) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 628 ms. (steps per millisecond=1 ) properties (out of 67050) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 617 ms. (steps per millisecond=1 ) properties (out of 67050) 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 67050) 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 67050) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 621 ms. (steps per millisecond=1 ) properties (out of 67049) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 602 ms. (steps per millisecond=1 ) properties (out of 67049) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 584 ms. (steps per millisecond=1 ) properties (out of 67049) 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 67049) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 537 ms. (steps per millisecond=1 ) properties (out of 67049) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 606 ms. (steps per millisecond=1 ) properties (out of 67049) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 578 ms. (steps per millisecond=1 ) properties (out of 67049) 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 67049) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 554 ms. (steps per millisecond=1 ) properties (out of 67048) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 573 ms. (steps per millisecond=1 ) properties (out of 67046) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 577 ms. (steps per millisecond=1 ) properties (out of 67046) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 666 ms. (steps per millisecond=1 ) properties (out of 67046) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 539 ms. (steps per millisecond=1 ) properties (out of 67046) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 594 ms. (steps per millisecond=1 ) properties (out of 67045) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 633 ms. (steps per millisecond=1 ) properties (out of 67045) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 617 ms. (steps per millisecond=1 ) properties (out of 67045) 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 67045) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 629 ms. (steps per millisecond=1 ) properties (out of 67044) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 602 ms. (steps per millisecond=1 ) properties (out of 67044) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 619 ms. (steps per millisecond=1 ) properties (out of 67044) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 598 ms. (steps per millisecond=1 ) properties (out of 67044) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 608 ms. (steps per millisecond=1 ) properties (out of 67043) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 581 ms. (steps per millisecond=1 ) properties (out of 67043) 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 67043) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 569 ms. (steps per millisecond=1 ) properties (out of 67042) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 641 ms. (steps per millisecond=1 ) properties (out of 67042) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 592 ms. (steps per millisecond=1 ) properties (out of 67039) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 635 ms. (steps per millisecond=1 ) properties (out of 67039) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 635 ms. (steps per millisecond=1 ) properties (out of 67039) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 547 ms. (steps per millisecond=1 ) properties (out of 67039) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 609 ms. (steps per millisecond=1 ) properties (out of 67038) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 597 ms. (steps per millisecond=1 ) properties (out of 67038) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 661 ms. (steps per millisecond=1 ) properties (out of 67038) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 595 ms. (steps per millisecond=1 ) properties (out of 67038) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 593 ms. (steps per millisecond=1 ) properties (out of 67038) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 603 ms. (steps per millisecond=1 ) properties (out of 67037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 638 ms. (steps per millisecond=1 ) properties (out of 67037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 599 ms. (steps per millisecond=1 ) properties (out of 67037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 559 ms. (steps per millisecond=1 ) properties (out of 67037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 697 ms. (steps per millisecond=1 ) properties (out of 67037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 620 ms. (steps per millisecond=1 ) properties (out of 67037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 618 ms. (steps per millisecond=1 ) properties (out of 67037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 605 ms. (steps per millisecond=1 ) properties (out of 67037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 592 ms. (steps per millisecond=1 ) properties (out of 67037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 568 ms. (steps per millisecond=1 ) properties (out of 67037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 662 ms. (steps per millisecond=1 ) properties (out of 67037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 646 ms. (steps per millisecond=1 ) properties (out of 67037) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 539 ms. (steps per millisecond=1 ) properties (out of 67037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 619 ms. (steps per millisecond=1 ) properties (out of 67037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 623 ms. (steps per millisecond=1 ) properties (out of 67037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 576 ms. (steps per millisecond=1 ) properties (out of 67037) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 480 ms. (steps per millisecond=2 ) properties (out of 67037) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 508 ms. (steps per millisecond=1 ) properties (out of 67036) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 659 ms. (steps per millisecond=1 ) properties (out of 67036) 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 67036) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 534 ms. (steps per millisecond=1 ) properties (out of 67036) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 691 ms. (steps per millisecond=1 ) properties (out of 67036) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 534 ms. (steps per millisecond=1 ) properties (out of 67036) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 617 ms. (steps per millisecond=1 ) properties (out of 67036) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 597 ms. (steps per millisecond=1 ) properties (out of 67036) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 528 ms. (steps per millisecond=1 ) properties (out of 67036) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 635 ms. (steps per millisecond=1 ) properties (out of 67034) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 490 ms. (steps per millisecond=2 ) properties (out of 67034) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 705 ms. (steps per millisecond=1 ) properties (out of 67034) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 641 ms. (steps per millisecond=1 ) properties (out of 67034) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 524 ms. (steps per millisecond=1 ) properties (out of 67032) 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 67032) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 466 ms. (steps per millisecond=2 ) properties (out of 67032) 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 67031) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 621 ms. (steps per millisecond=1 ) properties (out of 67029) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 641 ms. (steps per millisecond=1 ) properties (out of 67029) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 503 ms. (steps per millisecond=1 ) properties (out of 67028) 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 67028) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 493 ms. (steps per millisecond=2 ) properties (out of 67028) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 543 ms. (steps per millisecond=1 ) properties (out of 67028) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 515 ms. (steps per millisecond=1 ) properties (out of 67028) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 663 ms. (steps per millisecond=1 ) properties (out of 67027) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 511 ms. (steps per millisecond=1 ) properties (out of 67027) 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 67027) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 586 ms. (steps per millisecond=1 ) properties (out of 67027) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 734 ms. (steps per millisecond=1 ) properties (out of 67027) 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 67027) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 606 ms. (steps per millisecond=1 ) properties (out of 67027) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 584 ms. (steps per millisecond=1 ) properties (out of 67026) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 553 ms. (steps per millisecond=1 ) properties (out of 67025) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 602 ms. (steps per millisecond=1 ) properties (out of 67025) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 600 ms. (steps per millisecond=1 ) properties (out of 67025) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 583 ms. (steps per millisecond=1 ) properties (out of 67024) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 582 ms. (steps per millisecond=1 ) properties (out of 67022) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 605 ms. (steps per millisecond=1 ) properties (out of 67020) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 586 ms. (steps per millisecond=1 ) properties (out of 67020) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 656 ms. (steps per millisecond=1 ) properties (out of 67018) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 557 ms. (steps per millisecond=1 ) properties (out of 67018) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 582 ms. (steps per millisecond=1 ) properties (out of 67017) 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 67017) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 618 ms. (steps per millisecond=1 ) properties (out of 67017) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 663 ms. (steps per millisecond=1 ) properties (out of 67016) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 678 ms. (steps per millisecond=1 ) properties (out of 67014) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 609 ms. (steps per millisecond=1 ) properties (out of 67014) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 649 ms. (steps per millisecond=1 ) properties (out of 67014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 609 ms. (steps per millisecond=1 ) properties (out of 67014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 661 ms. (steps per millisecond=1 ) properties (out of 67014) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 655 ms. (steps per millisecond=1 ) properties (out of 67014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 673 ms. (steps per millisecond=1 ) properties (out of 67014) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 653 ms. (steps per millisecond=1 ) properties (out of 67012) 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 67012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 703 ms. (steps per millisecond=1 ) properties (out of 67012) 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 67012) 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 67012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 576 ms. (steps per millisecond=1 ) properties (out of 67012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 631 ms. (steps per millisecond=1 ) properties (out of 67012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 587 ms. (steps per millisecond=1 ) properties (out of 67012) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 666 ms. (steps per millisecond=1 ) properties (out of 67010) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 580 ms. (steps per millisecond=1 ) properties (out of 67010) 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 67010) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 516 ms. (steps per millisecond=1 ) properties (out of 67010) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 601 ms. (steps per millisecond=1 ) properties (out of 67007) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 646 ms. (steps per millisecond=1 ) properties (out of 67007) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 673 ms. (steps per millisecond=1 ) properties (out of 67007) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 566 ms. (steps per millisecond=1 ) properties (out of 67007) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 615 ms. (steps per millisecond=1 ) properties (out of 67007) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 676 ms. (steps per millisecond=1 ) properties (out of 67007) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 623 ms. (steps per millisecond=1 ) properties (out of 67007) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 580 ms. (steps per millisecond=1 ) properties (out of 67007) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 595 ms. (steps per millisecond=1 ) properties (out of 67006) 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 67006) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 622 ms. (steps per millisecond=1 ) properties (out of 67006) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 527 ms. (steps per millisecond=1 ) properties (out of 67006) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 576 ms. (steps per millisecond=1 ) properties (out of 67006) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 705 ms. (steps per millisecond=1 ) properties (out of 67006) 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 67006) 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 67006) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 703 ms. (steps per millisecond=1 ) properties (out of 67006) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 743 ms. (steps per millisecond=1 ) properties (out of 67006) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 672 ms. (steps per millisecond=1 ) properties (out of 67006) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 711 ms. (steps per millisecond=1 ) properties (out of 67006) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 680 ms. (steps per millisecond=1 ) properties (out of 67006) 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 67006) 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 67006) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 532 ms. (steps per millisecond=1 ) properties (out of 67006) seen :4
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 593 ms. (steps per millisecond=1 ) properties (out of 67002) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 661 ms. (steps per millisecond=1 ) properties (out of 67002) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 634 ms. (steps per millisecond=1 ) properties (out of 67002) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 627 ms. (steps per millisecond=1 ) properties (out of 67002) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 697 ms. (steps per millisecond=1 ) properties (out of 67002) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 605 ms. (steps per millisecond=1 ) properties (out of 67002) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 617 ms. (steps per millisecond=1 ) properties (out of 67002) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 609 ms. (steps per millisecond=1 ) properties (out of 67002) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 641 ms. (steps per millisecond=1 ) properties (out of 67002) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 604 ms. (steps per millisecond=1 ) properties (out of 67002) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 618 ms. (steps per millisecond=1 ) properties (out of 67002) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 662 ms. (steps per millisecond=1 ) properties (out of 67001) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 554 ms. (steps per millisecond=1 ) properties (out of 67001) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 617 ms. (steps per millisecond=1 ) properties (out of 67001) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 602 ms. (steps per millisecond=1 ) properties (out of 67001) 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 67001) 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 67001) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 729 ms. (steps per millisecond=1 ) properties (out of 67000) 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 67000) 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 67000) 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 67000) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 633 ms. (steps per millisecond=1 ) properties (out of 67000) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 654 ms. (steps per millisecond=1 ) properties (out of 67000) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 601 ms. (steps per millisecond=1 ) properties (out of 67000) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 684 ms. (steps per millisecond=1 ) properties (out of 66998) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 627 ms. (steps per millisecond=1 ) properties (out of 66998) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 691 ms. (steps per millisecond=1 ) properties (out of 66998) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 616 ms. (steps per millisecond=1 ) properties (out of 66998) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 673 ms. (steps per millisecond=1 ) properties (out of 66998) 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 66998) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 673 ms. (steps per millisecond=1 ) properties (out of 66998) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 563 ms. (steps per millisecond=1 ) properties (out of 66998) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 585 ms. (steps per millisecond=1 ) properties (out of 66998) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 746 ms. (steps per millisecond=1 ) properties (out of 66995) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 644 ms. (steps per millisecond=1 ) properties (out of 66995) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 659 ms. (steps per millisecond=1 ) properties (out of 66995) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 650 ms. (steps per millisecond=1 ) properties (out of 66995) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 705 ms. (steps per millisecond=1 ) properties (out of 66995) 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 66995) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 669 ms. (steps per millisecond=1 ) properties (out of 66993) 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 66993) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 590 ms. (steps per millisecond=1 ) properties (out of 66993) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 664 ms. (steps per millisecond=1 ) properties (out of 66992) 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 66992) 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 66992) 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 66992) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 663 ms. (steps per millisecond=1 ) properties (out of 66991) 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 66991) 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 66991) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 643 ms. (steps per millisecond=1 ) properties (out of 66991) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 627 ms. (steps per millisecond=1 ) properties (out of 66991) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 619 ms. (steps per millisecond=1 ) properties (out of 66991) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 588 ms. (steps per millisecond=1 ) properties (out of 66991) 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 66990) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 583 ms. (steps per millisecond=1 ) properties (out of 66990) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 605 ms. (steps per millisecond=1 ) properties (out of 66990) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 608 ms. (steps per millisecond=1 ) properties (out of 66990) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 666 ms. (steps per millisecond=1 ) properties (out of 66990) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 616 ms. (steps per millisecond=1 ) properties (out of 66990) 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 66990) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 654 ms. (steps per millisecond=1 ) properties (out of 66990) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 681 ms. (steps per millisecond=1 ) properties (out of 66989) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 727 ms. (steps per millisecond=1 ) properties (out of 66989) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 711 ms. (steps per millisecond=1 ) properties (out of 66988) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 648 ms. (steps per millisecond=1 ) properties (out of 66988) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 678 ms. (steps per millisecond=1 ) properties (out of 66988) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 603 ms. (steps per millisecond=1 ) properties (out of 66988) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 662 ms. (steps per millisecond=1 ) properties (out of 66988) 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 66988) 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 66988) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 612 ms. (steps per millisecond=1 ) properties (out of 66988) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 584 ms. (steps per millisecond=1 ) properties (out of 66985) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 556 ms. (steps per millisecond=1 ) properties (out of 66985) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 621 ms. (steps per millisecond=1 ) properties (out of 66985) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 603 ms. (steps per millisecond=1 ) properties (out of 66983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 638 ms. (steps per millisecond=1 ) properties (out of 66983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 660 ms. (steps per millisecond=1 ) properties (out of 66983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 685 ms. (steps per millisecond=1 ) properties (out of 66983) 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 66983) 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 66983) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 597 ms. (steps per millisecond=1 ) properties (out of 66981) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 570 ms. (steps per millisecond=1 ) properties (out of 66981) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 635 ms. (steps per millisecond=1 ) properties (out of 66979) seen :4
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 :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 718 ms. (steps per millisecond=1 ) properties (out of 66975) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 654 ms. (steps per millisecond=1 ) properties (out of 66975) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 662 ms. (steps per millisecond=1 ) properties (out of 66975) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 660 ms. (steps per millisecond=1 ) properties (out of 66975) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 646 ms. (steps per millisecond=1 ) properties (out of 66975) 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 66975) 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 66975) 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 66975) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 584 ms. (steps per millisecond=1 ) properties (out of 66975) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 619 ms. (steps per millisecond=1 ) properties (out of 66975) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 595 ms. (steps per millisecond=1 ) properties (out of 66975) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 625 ms. (steps per millisecond=1 ) properties (out of 66975) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 639 ms. (steps per millisecond=1 ) properties (out of 66973) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 659 ms. (steps per millisecond=1 ) properties (out of 66972) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 669 ms. (steps per millisecond=1 ) properties (out of 66967) 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 66967) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 659 ms. (steps per millisecond=1 ) properties (out of 66967) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 581 ms. (steps per millisecond=1 ) properties (out of 66964) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 628 ms. (steps per millisecond=1 ) properties (out of 66963) 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 66963) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 622 ms. (steps per millisecond=1 ) properties (out of 66963) 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 66963) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 639 ms. (steps per millisecond=1 ) properties (out of 66963) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 618 ms. (steps per millisecond=1 ) properties (out of 66963) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 625 ms. (steps per millisecond=1 ) properties (out of 66963) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 649 ms. (steps per millisecond=1 ) properties (out of 66963) 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 66963) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 642 ms. (steps per millisecond=1 ) properties (out of 66963) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 610 ms. (steps per millisecond=1 ) properties (out of 66963) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 621 ms. (steps per millisecond=1 ) properties (out of 66961) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 605 ms. (steps per millisecond=1 ) properties (out of 66961) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 603 ms. (steps per millisecond=1 ) properties (out of 66961) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 666 ms. (steps per millisecond=1 ) properties (out of 66961) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 674 ms. (steps per millisecond=1 ) properties (out of 66961) 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 66961) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 686 ms. (steps per millisecond=1 ) properties (out of 66960) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 683 ms. (steps per millisecond=1 ) properties (out of 66960) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 623 ms. (steps per millisecond=1 ) properties (out of 66960) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 613 ms. (steps per millisecond=1 ) properties (out of 66960) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 657 ms. (steps per millisecond=1 ) properties (out of 66959) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 705 ms. (steps per millisecond=1 ) properties (out of 66959) 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 66959) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 659 ms. (steps per millisecond=1 ) properties (out of 66959) 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 66959) 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 66959) 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 66959) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 688 ms. (steps per millisecond=1 ) properties (out of 66955) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 703 ms. (steps per millisecond=1 ) properties (out of 66955) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 588 ms. (steps per millisecond=1 ) properties (out of 66955) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 600 ms. (steps per millisecond=1 ) properties (out of 66955) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 584 ms. (steps per millisecond=1 ) properties (out of 66955) 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 66955) 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 66955) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 611 ms. (steps per millisecond=1 ) properties (out of 66955) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 580 ms. (steps per millisecond=1 ) properties (out of 66955) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 586 ms. (steps per millisecond=1 ) properties (out of 66955) 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 66955) 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 66955) 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 66955) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 618 ms. (steps per millisecond=1 ) properties (out of 66955) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 643 ms. (steps per millisecond=1 ) properties (out of 66955) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 643 ms. (steps per millisecond=1 ) properties (out of 66955) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 675 ms. (steps per millisecond=1 ) properties (out of 66955) 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 66955) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 574 ms. (steps per millisecond=1 ) properties (out of 66955) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 645 ms. (steps per millisecond=1 ) properties (out of 66955) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 649 ms. (steps per millisecond=1 ) properties (out of 66955) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 594 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 582 ms. (steps per millisecond=1 ) properties (out of 66954) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 646 ms. (steps per millisecond=1 ) properties (out of 66954) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 639 ms. (steps per millisecond=1 ) properties (out of 66954) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 638 ms. (steps per millisecond=1 ) properties (out of 66954) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 639 ms. (steps per millisecond=1 ) properties (out of 66954) 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 66954) 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 66954) 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 66954) 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 66954) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 655 ms. (steps per millisecond=1 ) properties (out of 66951) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 643 ms. (steps per millisecond=1 ) properties (out of 66951) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 659 ms. (steps per millisecond=1 ) properties (out of 66949) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 702 ms. (steps per millisecond=1 ) properties (out of 66948) 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 66946) 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 66946) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 748 ms. (steps per millisecond=1 ) properties (out of 66946) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 648 ms. (steps per millisecond=1 ) properties (out of 66946) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 695 ms. (steps per millisecond=1 ) properties (out of 66946) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 582 ms. (steps per millisecond=1 ) properties (out of 66946) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 591 ms. (steps per millisecond=1 ) properties (out of 66945) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 584 ms. (steps per millisecond=1 ) properties (out of 66945) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 620 ms. (steps per millisecond=1 ) properties (out of 66945) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 591 ms. (steps per millisecond=1 ) properties (out of 66945) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 672 ms. (steps per millisecond=1 ) properties (out of 66945) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 616 ms. (steps per millisecond=1 ) properties (out of 66945) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 632 ms. (steps per millisecond=1 ) properties (out of 66945) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 546 ms. (steps per millisecond=1 ) properties (out of 66945) 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 66945) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 608 ms. (steps per millisecond=1 ) properties (out of 66945) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 613 ms. (steps per millisecond=1 ) properties (out of 66944) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 595 ms. (steps per millisecond=1 ) properties (out of 66944) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 597 ms. (steps per millisecond=1 ) properties (out of 66944) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 609 ms. (steps per millisecond=1 ) properties (out of 66944) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 648 ms. (steps per millisecond=1 ) properties (out of 66944) 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 66944) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 631 ms. (steps per millisecond=1 ) properties (out of 66942) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 617 ms. (steps per millisecond=1 ) properties (out of 66942) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 623 ms. (steps per millisecond=1 ) properties (out of 66942) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 593 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 633 ms. (steps per millisecond=1 ) properties (out of 66939) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 588 ms. (steps per millisecond=1 ) properties (out of 66939) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 577 ms. (steps per millisecond=1 ) properties (out of 66938) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 566 ms. (steps per millisecond=1 ) properties (out of 66935) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 650 ms. (steps per millisecond=1 ) properties (out of 66935) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 616 ms. (steps per millisecond=1 ) properties (out of 66935) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 616 ms. (steps per millisecond=1 ) properties (out of 66935) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 579 ms. (steps per millisecond=1 ) properties (out of 66935) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 586 ms. (steps per millisecond=1 ) properties (out of 66934) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 564 ms. (steps per millisecond=1 ) properties (out of 66933) 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 66933) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 531 ms. (steps per millisecond=1 ) properties (out of 66933) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 620 ms. (steps per millisecond=1 ) properties (out of 66933) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 639 ms. (steps per millisecond=1 ) properties (out of 66933) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 594 ms. (steps per millisecond=1 ) properties (out of 66933) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 606 ms. (steps per millisecond=1 ) properties (out of 66933) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 613 ms. (steps per millisecond=1 ) properties (out of 66933) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 679 ms. (steps per millisecond=1 ) properties (out of 66933) 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 66933) 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 66933) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 571 ms. (steps per millisecond=1 ) properties (out of 66933) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 546 ms. (steps per millisecond=1 ) properties (out of 66933) 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 66932) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 591 ms. (steps per millisecond=1 ) properties (out of 66932) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 596 ms. (steps per millisecond=1 ) properties (out of 66931) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 603 ms. (steps per millisecond=1 ) properties (out of 66931) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 619 ms. (steps per millisecond=1 ) properties (out of 66931) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 611 ms. (steps per millisecond=1 ) properties (out of 66931) 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 66931) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 627 ms. (steps per millisecond=1 ) properties (out of 66931) 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 66931) 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 66931) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 643 ms. (steps per millisecond=1 ) properties (out of 66931) 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 66931) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 604 ms. (steps per millisecond=1 ) properties (out of 66929) 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 66929) 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 66929) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 687 ms. (steps per millisecond=1 ) properties (out of 66928) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 641 ms. (steps per millisecond=1 ) properties (out of 66927) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 662 ms. (steps per millisecond=1 ) properties (out of 66925) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 606 ms. (steps per millisecond=1 ) properties (out of 66925) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 566 ms. (steps per millisecond=1 ) properties (out of 66925) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 603 ms. (steps per millisecond=1 ) properties (out of 66925) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 638 ms. (steps per millisecond=1 ) properties (out of 66925) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 558 ms. (steps per millisecond=1 ) properties (out of 66924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 650 ms. (steps per millisecond=1 ) properties (out of 66924) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 642 ms. (steps per millisecond=1 ) properties (out of 66920) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 650 ms. (steps per millisecond=1 ) properties (out of 66920) 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 66920) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 638 ms. (steps per millisecond=1 ) properties (out of 66920) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 661 ms. (steps per millisecond=1 ) properties (out of 66920) 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 66920) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 631 ms. (steps per millisecond=1 ) properties (out of 66920) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 662 ms. (steps per millisecond=1 ) properties (out of 66920) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 734 ms. (steps per millisecond=1 ) properties (out of 66920) 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 66920) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 685 ms. (steps per millisecond=1 ) properties (out of 66920) 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 66920) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 631 ms. (steps per millisecond=1 ) properties (out of 66920) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 674 ms. (steps per millisecond=1 ) properties (out of 66920) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 631 ms. (steps per millisecond=1 ) properties (out of 66920) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 553 ms. (steps per millisecond=1 ) properties (out of 66920) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 648 ms. (steps per millisecond=1 ) properties (out of 66920) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 751 ms. (steps per millisecond=1 ) properties (out of 66918) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 653 ms. (steps per millisecond=1 ) properties (out of 66918) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 661 ms. (steps per millisecond=1 ) properties (out of 66918) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 619 ms. (steps per millisecond=1 ) properties (out of 66918) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 611 ms. (steps per millisecond=1 ) properties (out of 66918) 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 66918) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 650 ms. (steps per millisecond=1 ) properties (out of 66918) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 609 ms. (steps per millisecond=1 ) properties (out of 66918) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 666 ms. (steps per millisecond=1 ) properties (out of 66918) 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 66918) 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 66918) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 739 ms. (steps per millisecond=1 ) properties (out of 66915) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 672 ms. (steps per millisecond=1 ) properties (out of 66915) 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 66915) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 648 ms. (steps per millisecond=1 ) properties (out of 66915) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 543 ms. (steps per millisecond=1 ) properties (out of 66914) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 600 ms. (steps per millisecond=1 ) properties (out of 66914) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 559 ms. (steps per millisecond=1 ) properties (out of 66914) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 607 ms. (steps per millisecond=1 ) properties (out of 66914) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 650 ms. (steps per millisecond=1 ) properties (out of 66914) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 619 ms. (steps per millisecond=1 ) properties (out of 66914) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 648 ms. (steps per millisecond=1 ) properties (out of 66913) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 607 ms. (steps per millisecond=1 ) properties (out of 66913) 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 66913) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 624 ms. (steps per millisecond=1 ) properties (out of 66913) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 650 ms. (steps per millisecond=1 ) properties (out of 66911) 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 66911) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 678 ms. (steps per millisecond=1 ) properties (out of 66911) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 591 ms. (steps per millisecond=1 ) properties (out of 66911) 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 66911) 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 66910) 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 66910) seen :3
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 659 ms. (steps per millisecond=1 ) properties (out of 66907) 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 66906) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 645 ms. (steps per millisecond=1 ) properties (out of 66906) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 631 ms. (steps per millisecond=1 ) properties (out of 66906) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 705 ms. (steps per millisecond=1 ) properties (out of 66906) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 644 ms. (steps per millisecond=1 ) properties (out of 66906) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 567 ms. (steps per millisecond=1 ) properties (out of 66906) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 612 ms. (steps per millisecond=1 ) properties (out of 66906) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 635 ms. (steps per millisecond=1 ) properties (out of 66906) 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 66906) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 648 ms. (steps per millisecond=1 ) properties (out of 66906) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 653 ms. (steps per millisecond=1 ) properties (out of 66906) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 641 ms. (steps per millisecond=1 ) properties (out of 66906) 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 66906) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 671 ms. (steps per millisecond=1 ) properties (out of 66905) 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 66905) 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 66905) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 614 ms. (steps per millisecond=1 ) properties (out of 66905) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 646 ms. (steps per millisecond=1 ) properties (out of 66903) 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 66903) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 683 ms. (steps per millisecond=1 ) properties (out of 66901) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 654 ms. (steps per millisecond=1 ) properties (out of 66901) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 597 ms. (steps per millisecond=1 ) properties (out of 66901) 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 66900) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 654 ms. (steps per millisecond=1 ) properties (out of 66900) 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 66900) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 649 ms. (steps per millisecond=1 ) properties (out of 66900) 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 66900) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 670 ms. (steps per millisecond=1 ) properties (out of 66899) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 608 ms. (steps per millisecond=1 ) properties (out of 66899) 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 66899) 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 66899) 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 66899) 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 66899) 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 66899) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 671 ms. (steps per millisecond=1 ) properties (out of 66898) 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 66898) 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 66898) 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 66898) 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 66898) 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 66898) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 640 ms. (steps per millisecond=1 ) properties (out of 66898) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 585 ms. (steps per millisecond=1 ) properties (out of 66898) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 637 ms. (steps per millisecond=1 ) properties (out of 66898) 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 66898) 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 66898) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 742 ms. (steps per millisecond=1 ) properties (out of 66897) 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 66897) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 673 ms. (steps per millisecond=1 ) properties (out of 66897) 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 66897) 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 66897) 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 66897) 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 66897) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 727 ms. (steps per millisecond=1 ) properties (out of 66897) 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 66897) 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 66897) 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 66897) 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 66897) 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 66897) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 624 ms. (steps per millisecond=1 ) properties (out of 66897) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 604 ms. (steps per millisecond=1 ) properties (out of 66897) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 608 ms. (steps per millisecond=1 ) properties (out of 66897) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 608 ms. (steps per millisecond=1 ) properties (out of 66897) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 622 ms. (steps per millisecond=1 ) properties (out of 66897) 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 66897) 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 66897) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 582 ms. (steps per millisecond=1 ) properties (out of 66897) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 595 ms. (steps per millisecond=1 ) properties (out of 66897) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 638 ms. (steps per millisecond=1 ) properties (out of 66896) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 640 ms. (steps per millisecond=1 ) properties (out of 66896) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 640 ms. (steps per millisecond=1 ) properties (out of 66895) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 675 ms. (steps per millisecond=1 ) properties (out of 66895) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 621 ms. (steps per millisecond=1 ) properties (out of 66895) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 721 ms. (steps per millisecond=1 ) properties (out of 66894) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 680 ms. (steps per millisecond=1 ) properties (out of 66894) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 668 ms. (steps per millisecond=1 ) properties (out of 66894) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 618 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 601 ms. (steps per millisecond=1 ) properties (out of 66894) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 727 ms. (steps per millisecond=1 ) properties (out of 66894) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 613 ms. (steps per millisecond=1 ) properties (out of 66892) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 571 ms. (steps per millisecond=1 ) properties (out of 66892) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 615 ms. (steps per millisecond=1 ) properties (out of 66892) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 666 ms. (steps per millisecond=1 ) properties (out of 66892) 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 66892) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 632 ms. (steps per millisecond=1 ) properties (out of 66892) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 659 ms. (steps per millisecond=1 ) properties (out of 66892) 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 66892) 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 66892) 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 66892) 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 66892) 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 66891) 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 66891) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 679 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 721 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 713 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 706 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 638 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 660 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 663 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 622 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 605 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 599 ms. (steps per millisecond=1 ) properties (out of 66891) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 654 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 593 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 601 ms. (steps per millisecond=1 ) properties (out of 66891) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 592 ms. (steps per millisecond=1 ) properties (out of 66890) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 643 ms. (steps per millisecond=1 ) properties (out of 66890) 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 66890) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 666 ms. (steps per millisecond=1 ) properties (out of 66890) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 694 ms. (steps per millisecond=1 ) properties (out of 66889) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 668 ms. (steps per millisecond=1 ) properties (out of 66889) 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 66889) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 687 ms. (steps per millisecond=1 ) properties (out of 66889) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 635 ms. (steps per millisecond=1 ) properties (out of 66889) 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 66889) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 754 ms. (steps per millisecond=1 ) properties (out of 66889) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 634 ms. (steps per millisecond=1 ) properties (out of 66889) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 627 ms. (steps per millisecond=1 ) properties (out of 66889) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 588 ms. (steps per millisecond=1 ) properties (out of 66889) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 575 ms. (steps per millisecond=1 ) properties (out of 66889) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 576 ms. (steps per millisecond=1 ) properties (out of 66889) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 662 ms. (steps per millisecond=1 ) properties (out of 66889) 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 66889) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 626 ms. (steps per millisecond=1 ) properties (out of 66889) 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 66889) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 670 ms. (steps per millisecond=1 ) properties (out of 66888) 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 66888) 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 66888) 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 66888) 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 66887) 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 66887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 703 ms. (steps per millisecond=1 ) properties (out of 66887) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 678 ms. (steps per millisecond=1 ) properties (out of 66886) 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 66886) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 630 ms. (steps per millisecond=1 ) properties (out of 66886) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 592 ms. (steps per millisecond=1 ) properties (out of 66886) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 612 ms. (steps per millisecond=1 ) properties (out of 66886) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 569 ms. (steps per millisecond=1 ) properties (out of 66886) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 599 ms. (steps per millisecond=1 ) properties (out of 66880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 628 ms. (steps per millisecond=1 ) properties (out of 66880) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 646 ms. (steps per millisecond=1 ) properties (out of 66880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 643 ms. (steps per millisecond=1 ) properties (out of 66880) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 695 ms. (steps per millisecond=1 ) properties (out of 66880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 640 ms. (steps per millisecond=1 ) properties (out of 66880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 643 ms. (steps per millisecond=1 ) properties (out of 66880) 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 66880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 625 ms. (steps per millisecond=1 ) properties (out of 66880) 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 66880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 586 ms. (steps per millisecond=1 ) properties (out of 66880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 660 ms. (steps per millisecond=1 ) properties (out of 66880) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 662 ms. (steps per millisecond=1 ) properties (out of 66880) 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 66880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 770 ms. (steps per millisecond=1 ) properties (out of 66880) 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 66880) 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 66880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 634 ms. (steps per millisecond=1 ) properties (out of 66880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 640 ms. (steps per millisecond=1 ) properties (out of 66880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 617 ms. (steps per millisecond=1 ) properties (out of 66880) 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 66880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 668 ms. (steps per millisecond=1 ) properties (out of 66880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 649 ms. (steps per millisecond=1 ) properties (out of 66880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 606 ms. (steps per millisecond=1 ) properties (out of 66880) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 617 ms. (steps per millisecond=1 ) properties (out of 66880) 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 66880) 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 66880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 646 ms. (steps per millisecond=1 ) properties (out of 66880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 557 ms. (steps per millisecond=1 ) properties (out of 66880) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 601 ms. (steps per millisecond=1 ) properties (out of 66880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 614 ms. (steps per millisecond=1 ) properties (out of 66880) 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 66880) 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 66880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 537 ms. (steps per millisecond=1 ) properties (out of 66880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 643 ms. (steps per millisecond=1 ) properties (out of 66880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 547 ms. (steps per millisecond=1 ) properties (out of 66880) 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 66879) 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 66878) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 593 ms. (steps per millisecond=1 ) properties (out of 66876) 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 66876) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 583 ms. (steps per millisecond=1 ) properties (out of 66876) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 591 ms. (steps per millisecond=1 ) properties (out of 66872) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 586 ms. (steps per millisecond=1 ) properties (out of 66872) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 547 ms. (steps per millisecond=1 ) properties (out of 66872) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 597 ms. (steps per millisecond=1 ) properties (out of 66872) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 676 ms. (steps per millisecond=1 ) properties (out of 66872) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 551 ms. (steps per millisecond=1 ) properties (out of 66872) 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 66872) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 628 ms. (steps per millisecond=1 ) properties (out of 66872) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 593 ms. (steps per millisecond=1 ) properties (out of 66872) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 627 ms. (steps per millisecond=1 ) properties (out of 66872) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 594 ms. (steps per millisecond=1 ) properties (out of 66872) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 520 ms. (steps per millisecond=1 ) properties (out of 66872) 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 66872) 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 66872) 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 66872) 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 66872) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 548 ms. (steps per millisecond=1 ) properties (out of 66872) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 621 ms. (steps per millisecond=1 ) properties (out of 66872) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 635 ms. (steps per millisecond=1 ) properties (out of 66871) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 663 ms. (steps per millisecond=1 ) properties (out of 66870) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 642 ms. (steps per millisecond=1 ) properties (out of 66870) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 699 ms. (steps per millisecond=1 ) properties (out of 66866) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 581 ms. (steps per millisecond=1 ) properties (out of 66866) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 578 ms. (steps per millisecond=1 ) properties (out of 66865) 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 66865) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 652 ms. (steps per millisecond=1 ) properties (out of 66864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 614 ms. (steps per millisecond=1 ) properties (out of 66864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 650 ms. (steps per millisecond=1 ) properties (out of 66864) 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 66864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 545 ms. (steps per millisecond=1 ) properties (out of 66864) 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 66864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 650 ms. (steps per millisecond=1 ) properties (out of 66864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 631 ms. (steps per millisecond=1 ) properties (out of 66864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 621 ms. (steps per millisecond=1 ) properties (out of 66864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 518 ms. (steps per millisecond=1 ) properties (out of 66864) 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 66864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 676 ms. (steps per millisecond=1 ) properties (out of 66864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 645 ms. (steps per millisecond=1 ) properties (out of 66864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 640 ms. (steps per millisecond=1 ) properties (out of 66864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 576 ms. (steps per millisecond=1 ) properties (out of 66864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 588 ms. (steps per millisecond=1 ) properties (out of 66864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 624 ms. (steps per millisecond=1 ) properties (out of 66864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 673 ms. (steps per millisecond=1 ) properties (out of 66864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 676 ms. (steps per millisecond=1 ) properties (out of 66864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 547 ms. (steps per millisecond=1 ) properties (out of 66864) 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 66864) 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 66864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 672 ms. (steps per millisecond=1 ) properties (out of 66864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 685 ms. (steps per millisecond=1 ) properties (out of 66864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 614 ms. (steps per millisecond=1 ) properties (out of 66864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 613 ms. (steps per millisecond=1 ) properties (out of 66864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 524 ms. (steps per millisecond=1 ) properties (out of 66864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 617 ms. (steps per millisecond=1 ) properties (out of 66864) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 604 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 553 ms. (steps per millisecond=1 ) properties (out of 66863) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 689 ms. (steps per millisecond=1 ) properties (out of 66862) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 659 ms. (steps per millisecond=1 ) properties (out of 66862) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 625 ms. (steps per millisecond=1 ) properties (out of 66861) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 685 ms. (steps per millisecond=1 ) properties (out of 66861) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 495 ms. (steps per millisecond=2 ) properties (out of 66861) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 678 ms. (steps per millisecond=1 ) properties (out of 66861) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 716 ms. (steps per millisecond=1 ) properties (out of 66861) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 673 ms. (steps per millisecond=1 ) properties (out of 66861) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 642 ms. (steps per millisecond=1 ) properties (out of 66860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 617 ms. (steps per millisecond=1 ) properties (out of 66860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 506 ms. (steps per millisecond=1 ) properties (out of 66860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 680 ms. (steps per millisecond=1 ) properties (out of 66860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 604 ms. (steps per millisecond=1 ) properties (out of 66860) 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 66860) 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 66860) 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 66860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 609 ms. (steps per millisecond=1 ) properties (out of 66860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 595 ms. (steps per millisecond=1 ) properties (out of 66860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 505 ms. (steps per millisecond=1 ) properties (out of 66860) 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 66860) 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 66860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 634 ms. (steps per millisecond=1 ) properties (out of 66860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 617 ms. (steps per millisecond=1 ) properties (out of 66860) 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 66860) 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 66860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 633 ms. (steps per millisecond=1 ) properties (out of 66860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 532 ms. (steps per millisecond=1 ) properties (out of 66860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 673 ms. (steps per millisecond=1 ) properties (out of 66860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 672 ms. (steps per millisecond=1 ) properties (out of 66860) 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 66860) 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 66860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 570 ms. (steps per millisecond=1 ) properties (out of 66860) 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 66860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 679 ms. (steps per millisecond=1 ) properties (out of 66860) 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 66860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 571 ms. (steps per millisecond=1 ) properties (out of 66860) 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 66860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 516 ms. (steps per millisecond=1 ) properties (out of 66860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 659 ms. (steps per millisecond=1 ) properties (out of 66860) 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 66860) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 635 ms. (steps per millisecond=1 ) properties (out of 66860) 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 66860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 687 ms. (steps per millisecond=1 ) properties (out of 66860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 770 ms. (steps per millisecond=1 ) properties (out of 66860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 659 ms. (steps per millisecond=1 ) properties (out of 66860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 658 ms. (steps per millisecond=1 ) properties (out of 66860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 556 ms. (steps per millisecond=1 ) properties (out of 66860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 662 ms. (steps per millisecond=1 ) properties (out of 66860) 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 66860) 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 66860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 617 ms. (steps per millisecond=1 ) properties (out of 66860) 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 66860) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 631 ms. (steps per millisecond=1 ) properties (out of 66857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 612 ms. (steps per millisecond=1 ) properties (out of 66857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 657 ms. (steps per millisecond=1 ) properties (out of 66857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 640 ms. (steps per millisecond=1 ) properties (out of 66857) 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 66857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 482 ms. (steps per millisecond=2 ) properties (out of 66857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 697 ms. (steps per millisecond=1 ) properties (out of 66857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 641 ms. (steps per millisecond=1 ) properties (out of 66857) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 646 ms. (steps per millisecond=1 ) properties (out of 66857) 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 66857) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 683 ms. (steps per millisecond=1 ) properties (out of 66857) 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 66857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 643 ms. (steps per millisecond=1 ) properties (out of 66857) 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 66857) 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 66857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 643 ms. (steps per millisecond=1 ) properties (out of 66857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 633 ms. (steps per millisecond=1 ) properties (out of 66857) 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 66857) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 570 ms. (steps per millisecond=1 ) properties (out of 66856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 660 ms. (steps per millisecond=1 ) properties (out of 66856) 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 66856) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 647 ms. (steps per millisecond=1 ) properties (out of 66856) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 591 ms. (steps per millisecond=1 ) properties (out of 66856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 556 ms. (steps per millisecond=1 ) properties (out of 66856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 561 ms. (steps per millisecond=1 ) properties (out of 66856) 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 66856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 621 ms. (steps per millisecond=1 ) properties (out of 66856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 645 ms. (steps per millisecond=1 ) properties (out of 66856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 603 ms. (steps per millisecond=1 ) properties (out of 66856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 582 ms. (steps per millisecond=1 ) properties (out of 66856) 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 66856) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 639 ms. (steps per millisecond=1 ) properties (out of 66855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 649 ms. (steps per millisecond=1 ) properties (out of 66855) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 630 ms. (steps per millisecond=1 ) properties (out of 66854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 560 ms. (steps per millisecond=1 ) properties (out of 66854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 576 ms. (steps per millisecond=1 ) properties (out of 66854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 674 ms. (steps per millisecond=1 ) properties (out of 66854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 597 ms. (steps per millisecond=1 ) properties (out of 66854) 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 66854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 697 ms. (steps per millisecond=1 ) properties (out of 66854) 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 66854) 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 66854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 614 ms. (steps per millisecond=1 ) properties (out of 66854) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 683 ms. (steps per millisecond=1 ) properties (out of 66851) 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 66851) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 626 ms. (steps per millisecond=1 ) properties (out of 66851) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 589 ms. (steps per millisecond=1 ) properties (out of 66851) 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 66851) 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 66851) 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 66851) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 661 ms. (steps per millisecond=1 ) properties (out of 66851) 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 66851) 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 66851) 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 66851) 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 66851) 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 66851) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 689 ms. (steps per millisecond=1 ) properties (out of 66849) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 672 ms. (steps per millisecond=1 ) properties (out of 66847) 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 66847) 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 66847) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 727 ms. (steps per millisecond=1 ) properties (out of 66847) 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 66846) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 695 ms. (steps per millisecond=1 ) properties (out of 66846) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 690 ms. (steps per millisecond=1 ) properties (out of 66846) 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 66846) 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 66846) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 620 ms. (steps per millisecond=1 ) properties (out of 66846) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 658 ms. (steps per millisecond=1 ) properties (out of 66846) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 638 ms. (steps per millisecond=1 ) properties (out of 66846) 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 66846) 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 66846) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 634 ms. (steps per millisecond=1 ) properties (out of 66846) 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 66846) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 662 ms. (steps per millisecond=1 ) properties (out of 66844) 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 66844) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 620 ms. (steps per millisecond=1 ) properties (out of 66844) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 650 ms. (steps per millisecond=1 ) properties (out of 66844) 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 66844) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 675 ms. (steps per millisecond=1 ) properties (out of 66844) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 593 ms. (steps per millisecond=1 ) properties (out of 66843) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 658 ms. (steps per millisecond=1 ) properties (out of 66843) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 591 ms. (steps per millisecond=1 ) properties (out of 66843) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 626 ms. (steps per millisecond=1 ) properties (out of 66843) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 642 ms. (steps per millisecond=1 ) properties (out of 66843) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 645 ms. (steps per millisecond=1 ) properties (out of 66843) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 628 ms. (steps per millisecond=1 ) properties (out of 66843) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 708 ms. (steps per millisecond=1 ) properties (out of 66843) 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 66843) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 605 ms. (steps per millisecond=1 ) properties (out of 66843) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 599 ms. (steps per millisecond=1 ) properties (out of 66843) 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 66843) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 658 ms. (steps per millisecond=1 ) properties (out of 66843) 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 66843) 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 66843) 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 66843) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 666 ms. (steps per millisecond=1 ) properties (out of 66843) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 611 ms. (steps per millisecond=1 ) properties (out of 66843) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 663 ms. (steps per millisecond=1 ) properties (out of 66842) 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 66842) 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 66842) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 660 ms. (steps per millisecond=1 ) properties (out of 66842) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 546 ms. (steps per millisecond=1 ) properties (out of 66842) 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 66842) 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 66842) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 635 ms. (steps per millisecond=1 ) properties (out of 66842) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 563 ms. (steps per millisecond=1 ) properties (out of 66842) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 672 ms. (steps per millisecond=1 ) properties (out of 66842) 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 66842) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 568 ms. (steps per millisecond=1 ) properties (out of 66842) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 572 ms. (steps per millisecond=1 ) properties (out of 66841) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 592 ms. (steps per millisecond=1 ) properties (out of 66841) 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 66841) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 675 ms. (steps per millisecond=1 ) properties (out of 66841) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 586 ms. (steps per millisecond=1 ) properties (out of 66841) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 604 ms. (steps per millisecond=1 ) properties (out of 66841) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 674 ms. (steps per millisecond=1 ) properties (out of 66841) 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 66841) 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 66841) 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 66841) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 650 ms. (steps per millisecond=1 ) properties (out of 66841) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 616 ms. (steps per millisecond=1 ) properties (out of 66841) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 770 ms. (steps per millisecond=1 ) properties (out of 66841) 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 66841) 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 66841) 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 66841) 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 66841) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 673 ms. (steps per millisecond=1 ) properties (out of 66841) 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 66841) 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 66841) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 703 ms. (steps per millisecond=1 ) properties (out of 66841) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 748 ms. (steps per millisecond=1 ) properties (out of 66840) 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 66840) 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 66840) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 667 ms. (steps per millisecond=1 ) properties (out of 66838) 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 66838) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 643 ms. (steps per millisecond=1 ) properties (out of 66838) 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 66838) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 773 ms. (steps per millisecond=1 ) properties (out of 66838) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 659 ms. (steps per millisecond=1 ) properties (out of 66838) 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 66838) 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 66838) 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 66838) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 751 ms. (steps per millisecond=1 ) properties (out of 66838) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 687 ms. (steps per millisecond=1 ) properties (out of 66838) 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 66838) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 633 ms. (steps per millisecond=1 ) properties (out of 66838) 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 66838) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 599 ms. (steps per millisecond=1 ) properties (out of 66838) 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 66838) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 705 ms. (steps per millisecond=1 ) properties (out of 66838) 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 66838) 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 66838) 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 66838) 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 66838) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 770 ms. (steps per millisecond=1 ) properties (out of 66838) 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 66838) 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 66838) 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 66838) 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 66838) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 685 ms. (steps per millisecond=1 ) properties (out of 66838) 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 66838) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 636 ms. (steps per millisecond=1 ) properties (out of 66838) 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 66838) 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 66837) 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 66837) 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 66837) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 676 ms. (steps per millisecond=1 ) properties (out of 66837) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 685 ms. (steps per millisecond=1 ) properties (out of 66837) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 682 ms. (steps per millisecond=1 ) properties (out of 66836) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 738 ms. (steps per millisecond=1 ) properties (out of 66836) 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 66836) 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 66836) 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 66836) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 661 ms. (steps per millisecond=1 ) properties (out of 66836) 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 66836) 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 66836) 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 66836) 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 66836) 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 66836) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 661 ms. (steps per millisecond=1 ) properties (out of 66836) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 731 ms. (steps per millisecond=1 ) properties (out of 66836) 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 66836) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 742 ms. (steps per millisecond=1 ) properties (out of 66835) 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 66834) 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 66834) 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 66834) 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 66834) 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 66832) 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 66832) 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 66832) 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 66832) 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 66832) 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 66832) 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 66832) 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 66832) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 678 ms. (steps per millisecond=1 ) properties (out of 66832) 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 66832) 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 66832) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 683 ms. (steps per millisecond=1 ) properties (out of 66832) 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 66832) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 697 ms. (steps per millisecond=1 ) properties (out of 66832) 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 66832) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 640 ms. (steps per millisecond=1 ) properties (out of 66832) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 653 ms. (steps per millisecond=1 ) properties (out of 66832) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 673 ms. (steps per millisecond=1 ) properties (out of 66832) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 627 ms. (steps per millisecond=1 ) properties (out of 66831) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 622 ms. (steps per millisecond=1 ) properties (out of 66831) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 628 ms. (steps per millisecond=1 ) properties (out of 66829) 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 66829) 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 66829) 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 66829) 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 66829) 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 66829) 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 66829) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 608 ms. (steps per millisecond=1 ) properties (out of 66829) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 668 ms. (steps per millisecond=1 ) properties (out of 66829) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 680 ms. (steps per millisecond=1 ) properties (out of 66829) 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 66829) 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 66829) 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 66829) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 544 ms. (steps per millisecond=1 ) properties (out of 66829) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 663 ms. (steps per millisecond=1 ) properties (out of 66829) 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 66829) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 628 ms. (steps per millisecond=1 ) properties (out of 66829) 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 66829) 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 66829) 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 66828) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 585 ms. (steps per millisecond=1 ) properties (out of 66828) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 703 ms. (steps per millisecond=1 ) properties (out of 66827) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 639 ms. (steps per millisecond=1 ) properties (out of 66827) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 582 ms. (steps per millisecond=1 ) properties (out of 66827) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 662 ms. (steps per millisecond=1 ) properties (out of 66827) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 621 ms. (steps per millisecond=1 ) properties (out of 66827) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 649 ms. (steps per millisecond=1 ) properties (out of 66827) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 685 ms. (steps per millisecond=1 ) properties (out of 66827) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 590 ms. (steps per millisecond=1 ) properties (out of 66827) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 687 ms. (steps per millisecond=1 ) properties (out of 66827) 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 66827) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 653 ms. (steps per millisecond=1 ) properties (out of 66827) 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 66827) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 654 ms. (steps per millisecond=1 ) properties (out of 66827) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 693 ms. (steps per millisecond=1 ) properties (out of 66826) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 655 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 726 ms. (steps per millisecond=1 ) properties (out of 66826) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 653 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 736 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 577 ms. (steps per millisecond=1 ) properties (out of 66826) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 659 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 687 ms. (steps per millisecond=1 ) properties (out of 66826) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 636 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 605 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 670 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 567 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 600 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 579 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 641 ms. (steps per millisecond=1 ) properties (out of 66826) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 640 ms. (steps per millisecond=1 ) properties (out of 66825) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 616 ms. (steps per millisecond=1 ) properties (out of 66825) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 703 ms. (steps per millisecond=1 ) properties (out of 66825) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 642 ms. (steps per millisecond=1 ) properties (out of 66825) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 608 ms. (steps per millisecond=1 ) properties (out of 66825) 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 66825) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 635 ms. (steps per millisecond=1 ) properties (out of 66825) 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 66825) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 654 ms. (steps per millisecond=1 ) properties (out of 66823) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 676 ms. (steps per millisecond=1 ) properties (out of 66823) 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 66823) 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 66823) 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 66823) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 591 ms. (steps per millisecond=1 ) properties (out of 66823) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 742 ms. (steps per millisecond=1 ) properties (out of 66822) 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 66822) 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 66822) 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 66820) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 659 ms. (steps per millisecond=1 ) properties (out of 66820) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 566 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 632 ms. (steps per millisecond=1 ) properties (out of 66820) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 683 ms. (steps per millisecond=1 ) properties (out of 66820) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 609 ms. (steps per millisecond=1 ) properties (out of 66820) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 628 ms. (steps per millisecond=1 ) properties (out of 66820) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 639 ms. (steps per millisecond=1 ) properties (out of 66820) 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 66820) 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 66820) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 680 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 721 ms. (steps per millisecond=1 ) properties (out of 66819) 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 66819) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 680 ms. (steps per millisecond=1 ) properties (out of 66819) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 657 ms. (steps per millisecond=1 ) properties (out of 66819) 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 66819) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 642 ms. (steps per millisecond=1 ) properties (out of 66819) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 584 ms. (steps per millisecond=1 ) properties (out of 66819) 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 66819) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 622 ms. (steps per millisecond=1 ) properties (out of 66819) 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 66819) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 631 ms. (steps per millisecond=1 ) properties (out of 66819) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 585 ms. (steps per millisecond=1 ) properties (out of 66819) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 566 ms. (steps per millisecond=1 ) properties (out of 66819) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 587 ms. (steps per millisecond=1 ) properties (out of 66819) 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 66819) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 627 ms. (steps per millisecond=1 ) properties (out of 66819) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 617 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 600 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 553 ms. (steps per millisecond=1 ) properties (out of 66818) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 660 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 654 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 657 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 637 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 577 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 598 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 638 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 649 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 707 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 660 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 635 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 613 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 623 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 570 ms. (steps per millisecond=1 ) properties (out of 66818) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 607 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 688 ms. (steps per millisecond=1 ) properties (out of 66818) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 682 ms. (steps per millisecond=1 ) properties (out of 66807) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 592 ms. (steps per millisecond=1 ) properties (out of 66807) 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 66807) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 627 ms. (steps per millisecond=1 ) properties (out of 66807) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 688 ms. (steps per millisecond=1 ) properties (out of 66807) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 591 ms. (steps per millisecond=1 ) properties (out of 66807) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 620 ms. (steps per millisecond=1 ) properties (out of 66807) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 672 ms. (steps per millisecond=1 ) properties (out of 66807) 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 66807) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 696 ms. (steps per millisecond=1 ) properties (out of 66804) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 685 ms. (steps per millisecond=1 ) properties (out of 66804) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 629 ms. (steps per millisecond=1 ) properties (out of 66804) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 657 ms. (steps per millisecond=1 ) properties (out of 66804) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 666 ms. (steps per millisecond=1 ) properties (out of 66804) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 691 ms. (steps per millisecond=1 ) properties (out of 66804) 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 66804) 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 66804) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 616 ms. (steps per millisecond=1 ) properties (out of 66804) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 654 ms. (steps per millisecond=1 ) properties (out of 66804) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 673 ms. (steps per millisecond=1 ) properties (out of 66804) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 662 ms. (steps per millisecond=1 ) properties (out of 66804) 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 66804) 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 66804) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 668 ms. (steps per millisecond=1 ) properties (out of 66804) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 709 ms. (steps per millisecond=1 ) properties (out of 66804) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 667 ms. (steps per millisecond=1 ) properties (out of 66803) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 737 ms. (steps per millisecond=1 ) properties (out of 66803) 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 66803) 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 66803) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 703 ms. (steps per millisecond=1 ) properties (out of 66803) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 660 ms. (steps per millisecond=1 ) properties (out of 66803) 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 66803) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 628 ms. (steps per millisecond=1 ) properties (out of 66802) 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 66802) 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 66802) 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 66802) 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 66802) 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 66802) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 734 ms. (steps per millisecond=1 ) properties (out of 66802) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 653 ms. (steps per millisecond=1 ) properties (out of 66802) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 755 ms. (steps per millisecond=1 ) properties (out of 66801) 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 66801) 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 66801) 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 66801) 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 66801) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 705 ms. (steps per millisecond=1 ) properties (out of 66801) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 714 ms. (steps per millisecond=1 ) properties (out of 66801) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 695 ms. (steps per millisecond=1 ) properties (out of 66801) 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 66801) 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 66801) 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 66801) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 662 ms. (steps per millisecond=1 ) properties (out of 66801) 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 66801) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 610 ms. (steps per millisecond=1 ) properties (out of 66801) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 607 ms. (steps per millisecond=1 ) properties (out of 66801) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 605 ms. (steps per millisecond=1 ) properties (out of 66801) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 662 ms. (steps per millisecond=1 ) properties (out of 66801) 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 66801) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 681 ms. (steps per millisecond=1 ) properties (out of 66801) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 643 ms. (steps per millisecond=1 ) properties (out of 66801) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 680 ms. (steps per millisecond=1 ) properties (out of 66801) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 666 ms. (steps per millisecond=1 ) properties (out of 66801) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 675 ms. (steps per millisecond=1 ) properties (out of 66801) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 687 ms. (steps per millisecond=1 ) properties (out of 66801) 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 66801) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 617 ms. (steps per millisecond=1 ) properties (out of 66801) 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 66801) 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 66801) 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 66801) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 642 ms. (steps per millisecond=1 ) properties (out of 66801) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 646 ms. (steps per millisecond=1 ) properties (out of 66801) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 583 ms. (steps per millisecond=1 ) properties (out of 66801) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 598 ms. (steps per millisecond=1 ) properties (out of 66801) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 550 ms. (steps per millisecond=1 ) properties (out of 66801) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 692 ms. (steps per millisecond=1 ) properties (out of 66801) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 609 ms. (steps per millisecond=1 ) properties (out of 66801) 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 66801) 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 66801) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 644 ms. (steps per millisecond=1 ) properties (out of 66801) 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 66801) 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 66801) 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 66801) 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 66801) 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 66801) 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 66801) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 590 ms. (steps per millisecond=1 ) properties (out of 66801) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 705 ms. (steps per millisecond=1 ) properties (out of 66801) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 643 ms. (steps per millisecond=1 ) properties (out of 66801) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 668 ms. (steps per millisecond=1 ) properties (out of 66801) seen :0
Interrupted probabilistic random walk after 10907 steps, run timeout after 30034 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 10907 steps, saw 3977 distinct states, run finished after 30066 ms. (steps per millisecond=0 ) properties seen :{}
Running SMT prover for 66801 properties.
[2022-06-09 06:55:01] [INFO ] Flow matrix only has 90642 transitions (discarded 30814 similar events)
// Phase 1: matrix 90642 rows 2238 cols
[2022-06-09 06:55:02] [INFO ] Computed 15 place invariants in 649 ms
[2022-06-09 06:58:47] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 66801 Parikh solutions to 1 different solutions.
Support contains 2234 out of 2238 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2238/2238 places, 121456/121456 transitions.
Applied a total of 0 rules in 702 ms. Remains 2238 /2238 variables (removed 0) and now considering 121456/121456 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 2238/2238 places, 121456/121456 transitions.
[2022-06-09 06:58:53] [INFO ] Flatten gal took : 4029 ms
[2022-06-09 06:58:57] [INFO ] Flatten gal took : 4124 ms
[2022-06-09 06:58:58] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality16947242772936451113.gal : 384 ms
[2022-06-09 06:58:58] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality9296687427781003433.prop : 80 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/ReachabilityCardinality16947242772936451113.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality9296687427781003433.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/ReachabilityCardinality16947242772936451113.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality9296687427781003433.prop --nowitness --gen-order FOLLOW
Detected timeout of ITS tools.
[2022-06-09 06:59:23] [INFO ] Flatten gal took : 7613 ms
[2022-06-09 06:59:23] [INFO ] Applying decomposition
[2022-06-09 06:59:27] [INFO ] Flatten gal took : 4175 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/graph11309166600925413655.txt, -o, /tmp/graph11309166600925413655.bin, -w, /tmp/graph11309166600925413655.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/graph11309166600925413655.bin, -l, -1, -v, -w, /tmp/graph11309166600925413655.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-06-09 06:59:44] [INFO ] Decomposing Gal with order
[2022-06-09 06:59:44] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 07:00:12] [INFO ] Removed a total of 252450 redundant transitions.
[2022-06-09 07:00:14] [INFO ] Flatten gal took : 18828 ms
[2022-06-09 07:00:25] [INFO ] Fuse similar labels procedure discarded/fused a total of 5396 labels/synchronizations in 3746 ms.
[2022-06-09 07:00:27] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality3393165149068880789.gal : 203 ms
[2022-06-09 07:00:27] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality2470046581630329392.prop : 155 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/ReachabilityCardinality3393165149068880789.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality2470046581630329392.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/ReachabilityCardinality3393165149068880789.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality2470046581630329392.prop --nowitness
ITS-tools command line returned an error code 137
Built C files in :
/tmp/ltsmin8594754754304623200
[2022-06-09 07:00:39] [INFO ] Built C files in 1262ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin8594754754304623200
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/ltsmin8594754754304623200]
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/ltsmin8594754754304623200] 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/ltsmin8594754754304623200] 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)

BK_STOP 1654758056550

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

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