MCC'2022- Execution of r324-tall-165472293700432

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

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

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2022-input.r324-tall-165472293700432.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-pb109, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r324-tall-165472293700432
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 85M
-rw-r--r-- 1 mcc users 8.5K Jun 7 17:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 92K Jun 7 17:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Jun 7 17:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Jun 7 17:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Jun 6 15:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Jun 6 15:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Jun 6 15:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Jun 6 15:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Jun 6 12:11 NewModel
-rw-r--r-- 1 mcc users 6.5K Jun 7 17:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 55K Jun 7 17:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Jun 7 17:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56K Jun 7 17:45 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 84M 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 1654756755262

Running Version 0
[2022-06-09 06:39:16] [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:39:16] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-06-09 06:39:19] [INFO ] Load time of PNML (sax parser for PT used): 2558 ms
[2022-06-09 06:39:19] [INFO ] Transformed 1907 places.
[2022-06-09 06:39:20] [INFO ] Transformed 151872 transitions.
[2022-06-09 06:39:20] [INFO ] Found NUPN structural information;
[2022-06-09 06:39:20] [INFO ] Parsed PT model containing 1907 places and 151872 transitions in 3039 ms.
Starting structural reductions, iteration 0 : 1907/1907 places, 151872/151872 transitions.
Ensure Unique test removed 15 places
Reduce places removed 16 places and 0 transitions.
Ensure Unique test removed 6571 transitions
Reduce isomorphic transitions removed 6571 transitions.
Drop transitions removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 0 with 6589 rules applied. Total rules applied 6589 place count 1891 transition count 145299
Reduce places removed 2 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 6593 place count 1889 transition count 145297
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 6593 place count 1889 transition count 145296
Deduced a syphon composed of 1 places in 242 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 6595 place count 1888 transition count 145296
Performed 23 Post agglomeration using F-continuation condition.Transition count delta: 23
Deduced a syphon composed of 23 places in 139 ms
Reduce places removed 23 places and 0 transitions.
Iterating global reduction 2 with 46 rules applied. Total rules applied 6641 place count 1865 transition count 145273
Ensure Unique test removed 95 transitions
Reduce isomorphic transitions removed 95 transitions.
Iterating post reduction 2 with 95 rules applied. Total rules applied 6736 place count 1865 transition count 145178
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 3 places in 110 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 3 with 6 rules applied. Total rules applied 6742 place count 1862 transition count 145178
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 3 with 3 rules applied. Total rules applied 6745 place count 1862 transition count 145175
Applied a total of 6745 rules in 4187 ms. Remains 1862 /1907 variables (removed 45) and now considering 145175/151872 (removed 6697) transitions.
[2022-06-09 06:39:24] [INFO ] Flow matrix only has 100546 transitions (discarded 44629 similar events)
// Phase 1: matrix 100546 rows 1862 cols
[2022-06-09 06:39:25] [INFO ] Computed 15 place invariants in 685 ms
[2022-06-09 06:39:31] [INFO ] Implicit Places using invariants in 7228 ms returned []
Implicit Place search using SMT only with invariants took 7258 ms to find 0 implicit places.
[2022-06-09 06:39:31] [INFO ] Flow matrix only has 100546 transitions (discarded 44629 similar events)
// Phase 1: matrix 100546 rows 1862 cols
[2022-06-09 06:39:32] [INFO ] Computed 15 place invariants in 465 ms
[2022-06-09 06:40:02] [INFO ] Performed 68710/145175 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-06-09 06:40:32] [INFO ] Dead Transitions with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... after 60573 ms
Finished structural reductions, in 1 iterations. Remains : 1862/1907 places, 145175/151872 transitions.
Discarding 67599 transitions out of 145175. Remains 77576
[2022-06-09 06:40:33] [INFO ] Initial state test concluded for 1 properties.
Interrupted random walk after 3855 steps, including 2 resets, run timeout after 30005 ms. (steps per millisecond=0 ) properties seen :{153=1, 176=1, 246=1, 255=1, 257=1, 259=1, 274=1, 275=1, 285=1, 326=1, 336=1, 349=1, 373=1, 397=1, 416=1, 475=1, 480=1, 501=1, 643=1, 724=1, 755=1, 787=1, 789=1, 799=1, 817=1, 1206=1, 1508=1, 1551=1, 1572=1, 1612=1, 1639=1, 1767=1, 1770=1, 1792=1, 1805=1, 1829=1, 1836=1, 1851=1, 1852=1, 1881=1, 1895=1, 2011=1, 2029=1, 2036=1, 2050=1, 2055=1, 2061=1, 2070=1, 2071=1, 2077=1, 2078=1, 2094=1, 2100=1, 2101=1, 2102=1, 2114=1, 2119=1, 2313=1, 2321=1, 2328=1, 2453=1, 2464=1, 2529=1, 2565=1, 2579=1, 2826=1, 2881=1, 2950=1, 2984=1, 2986=1, 3037=1, 3044=1, 3047=1, 3048=1, 3064=1, 3066=1, 3067=1, 3068=1, 3070=1, 3091=1, 3111=1, 3115=1, 3122=1, 3123=1, 3183=1, 3192=1, 3271=1, 3303=1, 3311=1, 3422=1, 3491=1, 3508=1, 3528=1, 3641=1, 3650=1, 3731=1, 3753=1, 3769=1, 3808=1, 3829=1, 3830=1, 3917=1, 3922=1, 3970=1, 4035=1, 4076=1, 4256=1, 4302=1, 4401=1, 4459=1, 4521=1, 4525=1, 4537=1, 4550=1, 4608=1, 4622=1, 4630=1, 4825=1, 4835=1, 4860=1, 4877=1, 4896=1, 4938=1, 4954=1, 5084=1, 5090=1, 5148=1, 5166=1, 5231=1, 5241=1, 5333=1, 5340=1, 5344=1, 5349=1, 5352=1, 5355=1, 5368=1, 5374=1, 5384=1, 5386=1, 5435=1, 5448=1, 5455=1, 5572=1, 5651=1, 5674=1, 5714=1, 5719=1, 5763=1, 5806=1, 5845=1, 5847=1, 5864=1, 5870=1, 5887=1, 5892=1, 5903=1, 5933=1, 5971=1, 5985=1, 6050=1, 6110=1, 6220=1, 6250=1, 6267=1, 6487=1, 6788=1, 6799=1, 6834=1, 6886=1, 6901=1, 7036=1, 7056=1, 7156=1, 7163=1, 7171=1, 7225=1, 7244=1, 7267=1, 7270=1, 7316=1, 7350=1, 7512=1, 7516=1, 7517=1, 7521=1, 7526=1, 7530=1, 7535=1, 7536=1, 7543=1, 7545=1, 7546=1, 7550=1, 7554=1, 7555=1, 7559=1, 7560=1, 7565=1, 7568=1, 7569=1, 7575=1, 7576=1, 7589=1, 7597=1, 7623=1, 7639=1, 7669=1, 7680=1, 7696=1, 7732=1, 7763=1, 7866=1, 7877=1, 8132=1, 8152=1, 8263=1, 8307=1, 8317=1, 8453=1, 8492=1, 8493=1, 8494=1, 8500=1, 8506=1, 8517=1, 8525=1, 8540=1, 8549=1, 8550=1, 8553=1, 8556=1, 8569=1, 8595=1, 8598=1, 8605=1, 8610=1, 8722=1, 8829=1, 8852=1, 8943=1, 8978=1, 8983=1, 9003=1, 9023=1, 9033=1, 9041=1, 9062=1, 9198=1, 9211=1, 9212=1, 9219=1, 9228=1, 9247=1, 9273=1, 9313=1, 9315=1, 9317=1, 9325=1, 9329=1, 9332=1, 9344=1, 9349=1, 9352=1, 9356=1, 9360=1, 9373=1, 9377=1, 9472=1, 9721=1, 9727=1, 9825=1, 9829=1, 9843=1, 9856=1, 9860=1, 9888=1, 9891=1, 9893=1, 9897=1, 9904=1, 9924=1, 9927=1, 9940=1, 9944=1, 10073=1, 10076=1, 10158=1, 10181=1, 10268=1, 10390=1, 10536=1, 10546=1, 10548=1, 10556=1, 10557=1, 10563=1, 10581=1, 10592=1, 10620=1, 10630=1, 10640=1, 10646=1, 10658=1, 10696=1, 10731=1, 10742=1, 10771=1, 10776=1, 10783=1, 10797=1, 10839=1, 10843=1, 10846=1, 10855=1, 10863=1, 10864=1, 10945=1, 11041=1, 11104=1, 11108=1, 11110=1, 11128=1, 11131=1, 11135=1, 11138=1, 11191=1, 11321=1, 11332=1, 11337=1, 11340=1, 11356=1, 11373=1, 11376=1, 11392=1, 11394=1, 11440=1, 11569=1, 11745=1, 11751=1, 11801=1, 11822=1, 11834=1, 11855=1, 11884=1, 11895=1, 11899=1, 11901=1, 12039=1, 12092=1, 12117=1, 12134=1, 12135=1, 12202=1, 12276=1, 12352=1, 12384=1, 12392=1, 12430=1, 12582=1, 12597=1, 12601=1, 12611=1, 12630=1, 12644=1, 12754=1, 12769=1, 12840=1, 13012=1, 13045=1, 13059=1, 13077=1, 13087=1, 13090=1, 13094=1, 13102=1, 13131=1, 13150=1, 13168=1, 13181=1, 13190=1, 13346=1, 13350=1, 13427=1, 13473=1, 13474=1, 13509=1, 13518=1, 13539=1, 13579=1, 13631=1, 13905=1, 14295=1, 14296=1, 14320=1, 14324=1, 14347=1, 14389=1, 14503=1, 14509=1, 14529=1, 14535=1, 14553=1, 14561=1, 14567=1, 14850=1, 14857=1, 14895=1, 15062=1, 15112=1, 15133=1, 15328=1, 15398=1, 15453=1, 15624=1, 15668=1, 15752=1, 15773=1, 15782=1, 15786=1, 15791=1, 15806=1, 15814=1, 15821=1, 15889=1, 15897=1, 16148=1, 16166=1, 16201=1, 16221=1, 16259=1, 16309=1, 16361=1, 16371=1, 16442=1, 16490=1, 16545=1, 16555=1, 16586=1, 16589=1, 16610=1, 16690=1, 16709=1, 16719=1, 16751=1, 16752=1, 16762=1, 16779=1, 16790=1, 16810=1, 16828=1, 16835=1, 16856=1, 16960=1, 16965=1, 16974=1, 17075=1, 17309=1, 17315=1, 17328=1, 17336=1, 17345=1, 17346=1, 17347=1, 17362=1, 17377=1, 17390=1, 17393=1, 17422=1, 17427=1, 17436=1, 17454=1, 17484=1, 17502=1, 17691=1, 17694=1, 17724=1, 17775=1, 17781=1, 17906=1, 17915=1, 17962=1, 17965=1, 17968=1, 17981=1, 17995=1, 18024=1, 18070=1, 18080=1, 18114=1, 18130=1, 18141=1, 18170=1, 18186=1, 18190=1, 18381=1, 18399=1, 18400=1, 18412=1, 18416=1, 18434=1, 18506=1, 18550=1, 18570=1, 18586=1, 18590=1, 18628=1, 18693=1, 18729=1, 18739=1, 18915=1, 18940=1, 18951=1, 18975=1, 18976=1, 19090=1, 19115=1, 19120=1, 19122=1, 19123=1, 19142=1, 19160=1, 19174=1, 19197=1, 19440=1, 19464=1, 19467=1, 19471=1, 19473=1, 19490=1, 19496=1, 19501=1, 19570=1, 19571=1, 19629=1, 19648=1, 19844=1, 19852=1, 19910=1, 19941=1, 19971=1, 19987=1, 19989=1, 20021=1, 20080=1, 20152=1, 20170=1, 20179=1, 20197=1, 20305=1, 20394=1, 20404=1, 20498=1, 20529=1, 20680=1, 20714=1, 20750=1, 20825=1, 20853=1, 20859=1, 20899=1, 20907=1, 20941=1, 20945=1, 20998=1, 21003=1, 21016=1, 21026=1, 21032=1, 21033=1, 21035=1, 21048=1, 21115=1, 21202=1, 21203=1, 21293=1, 21297=1, 21306=1, 21346=1, 21349=1, 21359=1, 21397=1, 21404=1, 21662=1, 21777=1, 21782=1, 22022=1, 22075=1, 22097=1, 22102=1, 22172=1, 22313=1, 22388=1, 22476=1, 22488=1, 22495=1, 22546=1, 22601=1, 22606=1, 22619=1, 22631=1, 22639=1, 22643=1, 22824=1, 22834=1, 22839=1, 22897=1, 22907=1, 22934=1, 22969=1, 22994=1, 23025=1, 23032=1, 23082=1, 23092=1, 23096=1, 23115=1, 23307=1, 23381=1, 23481=1, 23503=1, 23538=1, 23689=1, 23721=1, 23734=1, 23759=1, 23806=1, 23808=1, 23812=1, 24050=1, 24309=1, 24344=1, 24355=1, 24360=1, 24470=1, 24474=1, 24475=1, 24477=1, 24481=1, 24484=1, 24485=1, 24487=1, 24489=1, 24491=1, 24492=1, 24506=1, 24510=1, 24511=1, 24513=1, 24517=1, 24521=1, 24529=1, 24538=1, 24543=1, 24598=1, 24622=1, 24634=1, 24647=1, 24671=1, 24693=1, 24716=1, 24728=1, 25126=1, 25140=1, 25143=1, 25149=1, 25162=1, 25178=1, 25192=1, 25215=1, 25238=1, 25249=1, 25252=1, 25269=1, 25271=1, 25286=1, 25292=1, 25311=1, 25320=1, 25329=1, 25334=1, 25348=1, 25381=1, 25383=1, 25407=1, 25418=1, 25541=1, 25546=1, 25861=1, 25874=1, 25927=1, 25991=1, 25998=1, 26011=1, 26207=1, 26234=1, 26253=1, 26257=1, 26267=1, 26552=1, 26855=1, 26885=1, 26886=1, 27179=1, 27209=1, 27214=1, 27215=1, 27318=1, 27399=1, 27423=1, 27596=1, 27607=1, 27619=1, 27659=1, 27665=1, 27675=1, 27701=1, 27745=1, 27759=1, 27782=1, 28050=1, 28069=1, 28080=1, 28132=1, 28297=1, 28871=1, 28882=1, 28893=1, 28897=1, 28900=1, 29022=1, 29432=1, 29434=1, 29454=1, 29458=1, 29472=1, 29477=1, 29693=1, 29696=1, 29701=1, 29710=1, 29722=1, 29726=1, 29773=1, 29776=1, 29789=1, 29958=1, 29962=1, 29971=1, 29989=1, 30026=1, 30033=1, 30050=1, 30233=1, 30248=1, 30253=1, 30271=1, 30325=1, 30495=1, 30533=1, 30541=1, 30565=1, 30578=1, 30593=1, 30596=1, 30607=1, 30613=1, 30771=1, 30913=1, 30920=1, 30935=1, 30942=1, 30952=1, 30967=1, 30977=1, 31073=1, 31231=1, 31596=1, 31616=1, 31637=1, 31645=1, 31711=1, 31715=1, 31790=1, 31900=1, 31913=1, 32040=1, 32489=1, 32857=1, 32861=1, 33002=1, 33011=1, 33032=1, 33047=1, 33054=1, 33058=1, 33060=1, 33065=1, 33071=1, 33186=1, 33200=1, 33286=1, 33327=1, 33448=1, 33451=1, 33454=1, 33461=1, 33502=1, 33503=1, 33510=1, 33512=1, 33521=1, 33530=1, 33544=1, 33560=1, 33566=1, 33570=1, 33572=1, 33575=1, 33579=1, 33630=1, 33747=1, 33852=1, 33884=1, 33974=1, 33977=1, 33979=1, 33984=1, 34045=1, 34118=1, 34125=1, 34142=1, 34154=1, 34162=1, 34168=1, 34212=1, 34317=1, 35154=1, 35180=1, 35216=1, 35481=1, 35503=1, 35742=1, 35751=1, 35770=1, 35816=1, 35837=1, 35841=1, 35858=1, 35959=1, 35983=1, 36098=1, 36350=1, 36670=1, 36692=1, 36694=1, 36708=1, 36709=1, 36711=1, 36714=1, 36717=1, 36718=1, 36729=1, 36730=1, 36734=1, 36739=1, 36740=1, 36742=1, 36752=1, 36789=1, 36891=1, 37042=1, 37080=1, 37320=1, 37332=1, 37352=1, 37362=1, 37392=1, 37394=1, 37472=1, 37493=1, 37972=1, 37976=1, 37978=1, 37983=1, 38116=1, 38157=1, 38158=1, 38202=1, 38400=1, 38425=1, 38557=1, 38591=1, 38828=1, 38885=1, 38938=1, 39035=1, 39041=1, 39070=1, 39472=1, 39511=1, 39518=1, 39522=1, 39550=1, 39587=1, 39796=1, 39814=1, 39841=1, 39864=1, 39874=1, 39882=1, 39899=1, 39925=1, 39996=1, 40042=1, 40059=1, 40071=1, 40078=1, 40100=1, 40101=1, 40108=1, 40112=1, 40126=1, 40246=1, 40261=1, 40264=1, 40267=1, 40325=1, 40386=1, 40406=1, 40409=1, 40420=1, 40443=1, 40447=1, 40466=1, 40475=1, 41065=1, 41071=1, 41082=1, 41092=1, 41100=1, 41135=1, 41249=1, 41365=1, 41484=1, 41493=1, 41578=1, 41604=1, 41636=1, 42017=1, 42018=1, 42317=1, 42326=1, 42363=1, 42503=1, 42515=1, 42555=1, 42585=1, 42699=1, 42896=1, 43752=1, 43793=1, 43810=1, 44138=1, 44199=1, 44250=1, 44355=1, 44378=1, 44380=1, 44407=1, 44414=1, 44474=1, 44479=1, 44493=1, 44520=1, 44528=1, 44529=1, 44536=1, 44767=1, 44772=1, 44879=1, 44889=1, 44891=1, 44900=1, 44940=1, 44951=1, 44969=1, 45015=1, 45506=1, 45546=1, 45624=1, 45702=1, 45711=1, 45718=1, 45732=1, 45751=1, 45759=1, 45761=1, 45790=1, 45792=1, 45801=1, 45863=1, 45873=1, 45921=1, 46158=1, 46207=1, 46292=1, 46295=1, 46319=1, 46370=1, 46422=1, 46437=1, 46458=1, 46670=1, 46724=1, 46727=1, 46787=1, 46791=1, 47001=1, 47025=1, 47046=1, 47141=1, 47165=1, 47178=1, 47180=1, 47193=1, 47207=1, 47208=1, 47211=1, 47291=1, 47309=1, 47327=1, 47335=1, 47356=1, 47686=1, 47698=1, 47699=1, 47706=1, 47714=1, 47722=1, 47730=1, 47734=1, 47740=1, 47997=1, 48070=1, 48079=1, 48154=1, 48228=1, 48248=1, 48283=1, 48963=1, 49210=1, 49244=1, 49443=1, 49553=1, 49556=1, 49572=1, 49575=1, 49582=1, 49590=1, 49601=1, 49686=1, 49729=1, 49938=1, 50000=1, 50043=1, 50062=1, 50103=1, 50155=1, 50178=1, 50476=1, 50534=1, 50606=1, 50639=1, 50645=1, 50654=1, 50659=1, 50679=1, 50692=1, 50740=1, 50769=1, 51148=1, 51151=1, 51158=1, 51160=1, 51162=1, 51168=1, 51171=1, 51201=1, 51210=1, 51225=1, 51227=1, 51536=1, 51577=1, 51616=1, 51662=1, 51668=1, 51672=1, 51699=1, 51709=1, 51712=1, 51718=1, 51842=1, 51860=1, 51869=1, 51885=1, 52231=1, 52251=1, 52256=1, 52277=1, 52426=1, 52500=1, 52594=1, 52599=1, 52600=1, 52602=1, 52626=1, 52635=1, 52660=1, 52685=1, 52840=1, 52846=1, 52862=1, 52867=1, 52900=1, 53612=1, 53913=1, 53915=1, 53926=1, 53930=1, 53945=1, 53957=1, 53978=1, 53991=1, 54025=1, 54121=1, 54133=1, 54135=1, 54148=1, 54261=1, 54265=1, 54350=1, 54359=1, 54434=1, 54436=1, 54630=1, 54801=1, 54819=1, 54834=1, 54836=1, 54845=1, 54858=1, 54880=1, 54896=1, 55395=1, 55781=1, 55807=1, 55815=1, 55817=1, 55821=1, 55828=1, 55839=1, 55841=1, 55843=1, 55852=1, 56106=1, 56148=1, 56157=1, 56175=1, 56194=1, 56333=1, 56338=1, 56380=1, 56399=1, 56401=1, 56663=1, 56727=1, 57078=1, 57082=1, 57512=1, 57525=1, 57806=1, 57815=1, 57830=1, 57848=1, 57860=1, 57890=1, 57897=1, 57907=1, 57945=1, 57950=1, 58258=1, 58261=1, 58265=1, 58308=1, 58375=1, 58376=1, 58575=1, 58578=1, 58609=1, 58726=1, 58939=1, 59089=1, 59102=1, 59104=1, 59109=1, 59119=1, 59120=1, 59125=1, 59185=1, 59186=1, 59189=1, 59194=1, 59197=1, 59199=1, 59200=1, 59205=1, 59476=1, 59478=1, 59586=1, 59588=1, 59589=1, 59598=1, 59600=1, 59607=1, 59777=1, 59940=1, 60027=1, 60030=1, 60038=1, 60042=1, 60050=1, 60051=1, 60062=1, 60063=1, 60070=1, 60078=1, 60083=1, 60084=1, 60104=1, 60463=1, 60569=1, 60571=1, 60576=1, 60580=1, 60584=1, 60588=1, 60589=1, 60593=1, 60933=1, 60980=1, 60993=1, 61035=1, 61217=1, 61239=1, 61277=1, 61576=1, 61590=1, 61594=1, 61626=1, 61702=1, 61851=1, 62093=1, 62097=1, 62103=1, 62111=1, 62113=1, 62119=1, 62137=1, 62331=1, 62480=1, 62487=1, 62540=1, 62647=1, 62748=1, 62754=1, 62929=1, 62931=1, 62947=1, 62953=1, 62956=1, 63016=1, 63019=1, 63023=1, 63031=1, 63034=1, 63035=1, 63036=1, 63046=1, 63049=1, 63072=1, 63131=1, 63156=1, 63165=1, 63174=1, 63188=1, 63189=1, 63190=1, 63193=1, 63432=1, 63447=1, 63451=1, 63454=1, 63455=1, 63469=1, 63472=1, 63487=1, 63500=1, 63509=1, 63949=1, 63953=1, 63967=1, 63993=1, 64020=1, 64021=1, 64034=1, 64040=1, 64051=1, 64063=1, 64066=1, 64274=1, 64302=1, 64306=1, 64314=1, 64346=1, 64358=1, 64360=1, 64362=1, 64363=1, 64384=1, 64386=1, 64648=1, 64667=1, 64674=1, 64678=1, 64689=1, 64691=1, 64710=1, 64719=1, 64743=1, 64775=1, 64777=1, 65024=1, 65064=1, 65088=1, 65107=1, 65112=1, 65126=1, 65149=1, 65176=1, 65179=1, 65235=1, 65541=1, 65567=1, 65676=1, 65707=1, 65845=1, 65852=1, 65864=1, 65872=1, 65884=1, 65895=1, 66008=1, 66102=1, 66116=1, 66289=1, 66301=1, 66339=1, 66343=1, 66352=1, 66357=1, 66367=1, 66372=1, 66463=1, 66686=1, 66801=1, 66807=1, 66852=1, 66885=1, 66903=1, 66907=1, 66909=1, 66919=1, 66949=1, 66955=1, 66957=1, 67300=1, 67367=1, 67380=1, 67432=1, 67656=1, 67735=1, 67757=1, 67841=1, 67864=1, 68142=1, 68302=1, 68309=1, 68343=1, 68437=1, 68439=1, 68450=1, 68478=1, 68481=1, 68517=1, 68553=1, 68571=1, 68594=1, 68611=1, 68612=1, 68614=1, 68710=1, 68712=1, 68865=1, 69107=1, 69109=1, 69167=1, 69185=1, 69245=1, 69466=1, 69473=1, 69474=1, 69483=1, 69484=1, 69486=1, 69489=1, 69491=1, 69494=1, 69495=1, 69555=1, 69630=1, 69636=1, 69646=1, 69652=1, 69735=1, 69739=1, 69796=1, 69802=1, 69813=1, 69858=1, 69908=1, 69915=1, 69919=1, 69930=1, 69935=1, 69940=1, 69972=1, 69991=1, 70002=1, 70004=1, 70014=1, 70218=1, 70221=1, 70224=1, 70226=1, 70228=1, 70259=1, 70268=1, 70271=1, 70273=1, 70276=1, 70500=1, 70508=1, 70611=1, 70613=1, 70616=1, 70617=1, 70631=1, 70654=1, 70660=1, 70663=1, 70669=1, 70673=1, 70678=1, 70680=1, 70695=1, 70748=1, 70862=1, 70881=1, 70898=1, 70903=1, 70910=1, 70911=1, 71091=1, 71099=1, 71104=1, 71116=1, 71123=1, 71132=1, 71149=1, 71275=1, 71284=1, 71339=1, 71344=1, 71363=1, 71383=1, 71403=1, 71465=1, 71470=1, 71482=1, 71550=1, 71571=1, 71605=1, 71624=1, 71646=1, 71648=1, 71657=1, 71674=1, 71681=1, 71694=1, 71808=1, 71811=1, 71818=1, 71819=1, 71826=1, 71827=1, 71831=1, 71835=1, 71836=1, 71857=1, 71865=1, 71866=1, 71874=1, 71876=1, 71877=1, 71937=1, 71970=1, 71976=1, 71981=1, 71986=1, 71991=1, 72015=1, 72052=1, 72214=1, 72224=1, 72229=1, 72246=1, 72344=1, 72366=1, 72480=1, 72517=1, 72529=1, 72549=1, 72583=1, 72649=1, 72660=1, 72762=1, 72765=1, 72773=1, 72774=1, 72787=1, 72791=1, 72796=1, 73060=1, 73072=1, 73079=1, 73089=1, 73100=1, 73109=1, 73133=1, 73211=1, 73218=1, 73254=1, 73310=1, 73391=1, 73440=1, 73451=1, 73475=1, 73479=1, 73491=1, 73539=1, 73553=1, 73598=1, 73619=1, 73892=1, 73896=1, 73904=1, 73907=1, 73914=1, 73915=1, 73929=1, 73979=1, 74316=1, 74318=1, 74320=1, 74330=1, 74343=1, 74348=1, 74375=1, 74384=1, 74387=1, 74391=1, 74393=1, 74530=1, 74748=1, 74754=1, 74900=1, 74916=1, 74977=1, 75052=1, 75099=1, 75119=1, 75137=1, 75210=1, 75229=1, 75250=1, 75258=1, 75260=1, 75264=1, 75277=1, 75289=1, 75314=1, 75401=1, 75417=1, 75422=1, 75424=1, 75428=1, 75433=1, 75442=1, 75446=1, 75450=1, 75460=1, 75473=1, 75481=1, 75487=1, 75497=1, 75498=1, 75501=1, 75506=1, 75509=1, 75525=1, 75527=1, 75533=1, 75535=1, 75540=1, 75549=1, 75554=1, 75557=1, 75561=1, 75810=1, 75819=1, 75831=1, 75900=1, 75920=1, 75923=1, 75970=1, 76137=1, 76149=1, 76163=1, 76171=1, 76262=1, 76282=1, 76300=1, 76316=1, 76484=1, 76569=1, 76573=1, 76577=1, 76590=1, 76600=1, 76615=1, 76624=1, 76625=1, 76629=1, 76642=1, 76646=1, 76648=1}
Interrupted probabilistic random walk after 5788 steps, run timeout after 30005 ms. (steps per millisecond=0 ) properties seen :{90=1, 323=1, 450=1, 950=1, 1108=1, 1988=1, 2055=1, 2253=1, 2951=1, 2980=1, 3447=1, 3558=1, 3567=1, 3675=1, 4674=1, 5093=1, 5386=1, 5568=1, 5600=1, 5615=1, 5620=1, 5641=1, 5657=1, 5720=1, 5748=1, 6083=1, 6237=1, 6834=1, 7329=1, 7636=1, 8613=1, 8757=1, 8783=1, 8789=1, 8834=1, 9118=1, 9282=1, 9289=1, 9831=1, 9834=1, 9880=1, 9895=1, 9898=1, 9901=1, 9924=1, 9943=1, 10271=1, 10298=1, 10316=1, 10500=1, 10512=1, 10546=1, 10554=1, 10689=1, 10710=1, 11045=1, 11059=1, 11139=1, 11166=1, 11213=1, 11240=1, 11255=1, 11364=1, 11432=1, 11491=1, 11704=1, 11719=1, 11792=1, 11998=1, 12684=1, 12713=1, 12772=1, 13087=1, 13137=1, 13263=1, 13514=1, 15864=1, 15928=1, 16359=1, 16534=1, 16916=1, 18375=1, 18751=1, 19766=1, 19774=1, 19947=1, 19957=1, 19967=1, 20016=1, 20043=1, 20097=1, 20531=1, 20592=1, 20993=1, 21752=1, 22110=1, 22236=1, 22250=1, 22262=1, 22922=1, 23060=1, 23187=1, 24061=1, 24078=1, 24444=1, 24541=1, 25113=1, 25194=1, 25225=1, 25688=1, 26067=1, 27007=1, 28144=1, 28163=1, 29341=1, 29521=1, 29830=1, 30149=1, 30156=1, 30218=1, 30281=1, 30284=1, 30855=1, 31997=1, 32075=1, 32465=1, 32511=1, 33310=1, 33543=1, 33545=1, 34942=1, 35019=1, 35489=1, 35634=1, 35645=1, 35823=1, 35830=1, 35911=1, 35954=1, 35971=1, 36229=1, 37321=1, 37481=1, 37496=1, 37960=1, 38420=1, 38436=1, 38785=1, 38910=1, 38919=1, 39156=1, 39322=1, 39488=1, 40179=1, 40206=1, 40671=1, 41487=1, 41934=1, 42289=1, 42312=1, 43137=1, 43514=1, 43522=1, 43532=1, 43919=1, 43959=1, 43974=1, 44619=1, 44749=1, 45291=1, 45341=1, 45413=1, 45424=1, 45805=1, 46317=1, 46479=1, 46874=1, 46887=1, 46893=1, 46954=1, 47035=1, 47046=1, 47052=1, 47481=1, 49103=1, 49131=1, 50085=1, 51668=1, 51694=1, 51749=1, 55038=1, 55215=1, 56770=1, 57884=1, 58178=1, 58368=1, 58748=1, 58757=1, 58842=1, 58866=1, 58875=1, 58876=1, 59374=1, 59400=1, 59966=1, 61668=1, 61759=1, 61809=1, 62170=1, 62688=1, 63381=1, 63398=1, 63596=1, 63758=1, 64248=1, 64465=1, 65466=1, 65891=1, 65951=1, 66886=1, 67744=1, 68067=1, 68077=1, 71554=1, 71559=1, 71567=1, 71852=1, 71899=1, 71900=1, 72100=1, 72239=1, 73912=1, 74187=1, 74282=1}
Probabilistic random walk after 5788 steps, saw 5043 distinct states, run finished after 30009 ms. (steps per millisecond=0 ) properties seen :{90=1, 323=1, 450=1, 950=1, 1108=1, 1988=1, 2055=1, 2253=1, 2951=1, 2980=1, 3447=1, 3558=1, 3567=1, 3675=1, 4674=1, 5093=1, 5386=1, 5568=1, 5600=1, 5615=1, 5620=1, 5641=1, 5657=1, 5720=1, 5748=1, 6083=1, 6237=1, 6834=1, 7329=1, 7636=1, 8613=1, 8757=1, 8783=1, 8789=1, 8834=1, 9118=1, 9282=1, 9289=1, 9831=1, 9834=1, 9880=1, 9895=1, 9898=1, 9901=1, 9924=1, 9943=1, 10271=1, 10298=1, 10316=1, 10500=1, 10512=1, 10546=1, 10554=1, 10689=1, 10710=1, 11045=1, 11059=1, 11139=1, 11166=1, 11213=1, 11240=1, 11255=1, 11364=1, 11432=1, 11491=1, 11704=1, 11719=1, 11792=1, 11998=1, 12684=1, 12713=1, 12772=1, 13087=1, 13137=1, 13263=1, 13514=1, 15864=1, 15928=1, 16359=1, 16534=1, 16916=1, 18375=1, 18751=1, 19766=1, 19774=1, 19947=1, 19957=1, 19967=1, 20016=1, 20043=1, 20097=1, 20531=1, 20592=1, 20993=1, 21752=1, 22110=1, 22236=1, 22250=1, 22262=1, 22922=1, 23060=1, 23187=1, 24061=1, 24078=1, 24444=1, 24541=1, 25113=1, 25194=1, 25225=1, 25688=1, 26067=1, 27007=1, 28144=1, 28163=1, 29341=1, 29521=1, 29830=1, 30149=1, 30156=1, 30218=1, 30281=1, 30284=1, 30855=1, 31997=1, 32075=1, 32465=1, 32511=1, 33310=1, 33543=1, 33545=1, 34942=1, 35019=1, 35489=1, 35634=1, 35645=1, 35823=1, 35830=1, 35911=1, 35954=1, 35971=1, 36229=1, 37321=1, 37481=1, 37496=1, 37960=1, 38420=1, 38436=1, 38785=1, 38910=1, 38919=1, 39156=1, 39322=1, 39488=1, 40179=1, 40206=1, 40671=1, 41487=1, 41934=1, 42289=1, 42312=1, 43137=1, 43514=1, 43522=1, 43532=1, 43919=1, 43959=1, 43974=1, 44619=1, 44749=1, 45291=1, 45341=1, 45413=1, 45424=1, 45805=1, 46317=1, 46479=1, 46874=1, 46887=1, 46893=1, 46954=1, 47035=1, 47046=1, 47052=1, 47481=1, 49103=1, 49131=1, 50085=1, 51668=1, 51694=1, 51749=1, 55038=1, 55215=1, 56770=1, 57884=1, 58178=1, 58368=1, 58748=1, 58757=1, 58842=1, 58866=1, 58875=1, 58876=1, 59374=1, 59400=1, 59966=1, 61668=1, 61759=1, 61809=1, 62170=1, 62688=1, 63381=1, 63398=1, 63596=1, 63758=1, 64248=1, 64465=1, 65466=1, 65891=1, 65951=1, 66886=1, 67744=1, 68067=1, 68077=1, 71554=1, 71559=1, 71567=1, 71852=1, 71899=1, 71900=1, 72100=1, 72239=1, 73912=1, 74187=1, 74282=1}
Running SMT prover for 75670 properties.
[2022-06-09 06:41:38] [INFO ] Flow matrix only has 100546 transitions (discarded 44629 similar events)
// Phase 1: matrix 100546 rows 1862 cols
[2022-06-09 06:41:39] [INFO ] Computed 15 place invariants in 480 ms
[2022-06-09 06:42:04] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 75670 Parikh solutions to 1 different solutions.
Support contains 1861 out of 1862 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1862/1862 places, 145175/145175 transitions.
Drop transitions removed 3376 transitions
Reduce isomorphic transitions removed 3376 transitions.
Iterating post reduction 0 with 3376 rules applied. Total rules applied 3376 place count 1862 transition count 141799
Applied a total of 3376 rules in 1213 ms. Remains 1862 /1862 variables (removed 0) and now considering 141799/145175 (removed 3376) transitions.
Finished structural reductions, in 1 iterations. Remains : 1862/1862 places, 141799/145175 transitions.
[2022-06-09 06:42:12] [INFO ] Flatten gal took : 5445 ms
[2022-06-09 06:42:17] [INFO ] Flatten gal took : 4828 ms
[2022-06-09 06:42:18] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality2564829475909177771.gal : 401 ms
[2022-06-09 06:42:18] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality7250665099229681579.prop : 176 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/ReachabilityCardinality2564829475909177771.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality7250665099229681579.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/ReachabilityCardinality2564829475909177771.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality7250665099229681579.prop --nowitness --gen-order FOLLOW
Detected timeout of ITS tools.
[2022-06-09 06:42:39] [INFO ] Flatten gal took : 4880 ms
[2022-06-09 06:42:39] [INFO ] Applying decomposition
[2022-06-09 06:42:43] [INFO ] Flatten gal took : 4512 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/graph5521347902338594468.txt, -o, /tmp/graph5521347902338594468.bin, -w, /tmp/graph5521347902338594468.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/graph5521347902338594468.bin, -l, -1, -v, -w, /tmp/graph5521347902338594468.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-06-09 06:42:53] [INFO ] Decomposing Gal with order
[2022-06-09 06:42:53] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 06:43:24] [INFO ] Removed a total of 285461 redundant transitions.
[2022-06-09 06:43:28] [INFO ] Flatten gal took : 30518 ms
[2022-06-09 06:43:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 10270 labels/synchronizations in 6203 ms.
[2022-06-09 06:43:47] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8902217159636057896.gal : 258 ms
[2022-06-09 06:43:48] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality17420725629447119199.prop : 338 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/ReachabilityCardinality8902217159636057896.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality17420725629447119199.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/ReachabilityCardinality8902217159636057896.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality17420725629447119199.prop --nowitness
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin8515471298745019067
[2022-06-09 06:44:04] [INFO ] Built C files in 1464ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin8515471298745019067
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/ltsmin8515471298745019067]
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/ltsmin8515471298745019067] 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/ltsmin8515471298745019067] 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 4107 steps, including 0 resets, run timeout after 30005 ms. (steps per millisecond=0 ) properties seen :{51=1, 123=1, 158=1, 249=1, 377=1, 427=1, 618=1, 750=1, 1035=1, 1232=1, 1510=1, 1797=1, 1832=1, 1853=1, 2048=1, 2067=1, 2654=1, 2666=1, 2901=1, 2965=1, 3004=1, 3008=1, 3143=1, 3308=1, 3315=1, 3362=1, 3372=1, 3526=1, 3591=1, 3611=1, 3625=1, 3729=1, 3856=1, 3928=1, 4024=1, 4185=1, 4204=1, 4344=1, 4545=1, 4685=1, 4773=1, 5188=1, 5194=1, 5201=1, 5321=1, 5575=1, 5584=1, 5684=1, 5778=1, 5790=1, 5979=1, 6032=1, 7131=1, 7199=1, 7301=1, 7356=1, 7382=1, 7403=1, 7438=1, 7478=1, 7479=1, 7494=1, 7512=1, 7662=1, 7867=1, 8071=1, 8283=1, 8287=1, 8478=1, 8517=1, 8540=1, 8559=1, 8606=1, 8618=1, 8695=1, 8698=1, 8708=1, 8714=1, 8923=1, 8926=1, 8974=1, 8976=1, 9017=1, 9045=1, 9052=1, 9170=1, 9511=1, 9572=1, 9585=1, 9604=1, 9627=1, 9655=1, 10199=1, 10204=1, 10216=1, 10224=1, 10254=1, 10293=1, 10378=1, 10486=1, 10506=1, 10991=1, 11102=1, 11140=1, 11229=1, 11286=1, 11453=1, 12148=1, 12231=1, 12269=1, 12291=1, 12295=1, 12300=1, 12336=1, 12605=1, 12704=1, 12725=1, 13058=1, 13230=1, 13414=1, 13649=1, 13679=1, 13684=1, 14076=1, 14337=1, 14404=1, 15069=1, 15083=1, 15404=1, 15420=1, 15757=1, 15901=1, 16000=1, 16023=1, 16052=1, 16134=1, 16194=1, 16238=1, 16240=1, 16259=1, 16269=1, 16303=1, 16321=1, 16337=1, 16394=1, 16413=1, 16751=1, 16843=1, 17350=1, 18337=1, 19323=1, 19347=1, 19684=1, 19690=1, 19736=1, 20043=1, 20083=1, 20242=1, 20334=1, 20759=1, 20821=1, 21031=1, 21314=1, 21323=1, 21668=1, 21675=1, 22126=1, 22129=1, 22159=1, 22176=1, 22191=1, 22243=1, 22384=1, 22987=1, 23288=1, 23320=1, 23574=1, 23580=1, 23627=1, 23646=1, 23728=1, 23734=1, 23737=1, 23775=1, 23874=1, 23888=1, 24354=1, 24414=1, 24421=1, 24434=1, 24438=1, 24505=1, 24561=1, 24584=1, 25352=1, 25380=1, 25424=1, 25572=1, 25629=1, 25756=1, 25788=1, 25827=1, 25979=1, 26039=1, 26599=1, 26908=1, 27130=1, 27240=1, 27296=1, 28040=1, 28903=1, 29064=1, 29697=1, 29859=1, 29872=1, 30088=1, 30100=1, 30290=1, 30723=1, 31975=1, 32581=1, 32735=1, 32828=1, 33068=1, 33082=1, 33207=1, 34346=1, 34797=1, 34955=1, 35072=1, 35172=1, 35319=1, 35457=1, 35672=1, 35689=1, 35692=1, 35701=1, 35702=1, 35725=1, 35772=1, 35805=1, 35886=1, 36051=1, 36066=1, 36285=1, 37150=1, 37366=1, 38793=1, 38796=1, 38813=1, 39000=1, 39025=1, 39044=1, 39057=1, 39287=1, 39300=1, 39988=1, 40469=1, 40541=1, 40806=1, 41198=1, 41227=1, 42988=1, 43018=1, 43278=1, 43335=1, 43405=1, 43412=1, 43424=1, 43759=1, 43774=1, 43858=1, 43865=1, 44308=1, 44448=1, 44494=1, 44535=1, 44642=1, 45468=1, 46073=1, 46075=1, 46106=1, 46119=1, 46854=1, 47876=1, 49012=1, 49375=1, 49510=1, 50398=1, 50899=1, 50951=1, 51255=1, 52020=1, 52542=1, 52656=1, 52782=1, 52805=1, 52813=1, 53016=1, 53080=1, 53120=1, 53486=1, 53520=1, 53537=1, 54794=1, 54819=1, 55406=1, 56565=1, 56896=1, 56900=1, 56909=1, 57623=1, 58610=1, 58651=1, 59518=1, 59536=1, 59555=1, 59767=1, 61170=1, 61284=1, 61345=1, 61583=1, 61599=1, 61630=1, 61637=1, 61938=1, 62100=1, 62104=1, 62115=1, 62121=1, 62123=1, 62737=1, 62744=1, 62869=1, 63095=1, 63115=1, 63118=1, 63145=1, 63152=1, 63190=1, 63228=1, 63968=1, 63981=1, 64019=1, 64023=1, 64300=1, 64878=1, 66119=1, 66226=1, 66256=1, 66294=1, 66332=1, 66518=1, 66520=1, 66693=1, 66865=1, 67008=1, 67072=1, 67203=1, 67468=1, 67835=1, 67836=1, 67840=1, 67865=1, 67867=1, 67890=1, 67892=1, 68071=1, 68213=1, 68226=1, 68245=1, 68247=1, 68503=1, 68572=1, 68628=1, 68633=1, 68799=1, 68814=1, 68923=1, 69214=1, 69370=1, 69407=1, 69419=1, 69846=1, 70274=1, 70448=1, 70714=1, 70720=1, 71394=1, 71451=1, 71524=1, 71656=1, 71769=1, 71995=1, 72878=1, 73144=1, 73149=1, 73297=1, 73401=1, 73414=1, 73456=1, 73473=1, 73592=1, 73606=1, 74263=1, 74281=1, 74431=1, 74749=1, 74854=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 864 ms. (steps per millisecond=1 ) properties (out of 75261) seen :48
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 972 ms. (steps per millisecond=1 ) properties (out of 75213) seen :31
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1028 ms. (steps per millisecond=0 ) properties (out of 75182) seen :30
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 921 ms. (steps per millisecond=1 ) properties (out of 75152) seen :29
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 934 ms. (steps per millisecond=1 ) properties (out of 75123) seen :16
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 999 ms. (steps per millisecond=1 ) properties (out of 75107) seen :14
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 937 ms. (steps per millisecond=1 ) properties (out of 75093) seen :19
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1043 ms. (steps per millisecond=0 ) properties (out of 75074) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 931 ms. (steps per millisecond=1 ) properties (out of 75063) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 997 ms. (steps per millisecond=1 ) properties (out of 75052) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 865 ms. (steps per millisecond=1 ) properties (out of 75044) seen :15
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1100 ms. (steps per millisecond=0 ) properties (out of 75029) seen :19
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1013 ms. (steps per millisecond=0 ) properties (out of 75010) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 985 ms. (steps per millisecond=1 ) properties (out of 75004) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 937 ms. (steps per millisecond=1 ) properties (out of 74992) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 957 ms. (steps per millisecond=1 ) properties (out of 74990) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1004 ms. (steps per millisecond=0 ) properties (out of 74980) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 953 ms. (steps per millisecond=1 ) properties (out of 74973) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 987 ms. (steps per millisecond=1 ) properties (out of 74968) seen :16
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 979 ms. (steps per millisecond=1 ) properties (out of 74952) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 954 ms. (steps per millisecond=1 ) properties (out of 74939) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1019 ms. (steps per millisecond=0 ) properties (out of 74933) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 937 ms. (steps per millisecond=1 ) properties (out of 74930) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 893 ms. (steps per millisecond=1 ) properties (out of 74928) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 973 ms. (steps per millisecond=1 ) properties (out of 74922) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1016 ms. (steps per millisecond=0 ) properties (out of 74910) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1040 ms. (steps per millisecond=0 ) properties (out of 74907) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 998 ms. (steps per millisecond=1 ) properties (out of 74904) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 979 ms. (steps per millisecond=1 ) properties (out of 74899) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 880 ms. (steps per millisecond=1 ) properties (out of 74890) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 934 ms. (steps per millisecond=1 ) properties (out of 74884) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 954 ms. (steps per millisecond=1 ) properties (out of 74881) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 950 ms. (steps per millisecond=1 ) properties (out of 74869) seen :13
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 897 ms. (steps per millisecond=1 ) properties (out of 74856) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 954 ms. (steps per millisecond=1 ) properties (out of 74853) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 943 ms. (steps per millisecond=1 ) properties (out of 74846) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 888 ms. (steps per millisecond=1 ) properties (out of 74842) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1003 ms. (steps per millisecond=0 ) properties (out of 74831) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 935 ms. (steps per millisecond=1 ) properties (out of 74830) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 882 ms. (steps per millisecond=1 ) properties (out of 74826) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 901 ms. (steps per millisecond=1 ) properties (out of 74818) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 907 ms. (steps per millisecond=1 ) properties (out of 74813) seen :12
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 996 ms. (steps per millisecond=1 ) properties (out of 74801) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 962 ms. (steps per millisecond=1 ) properties (out of 74792) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 848 ms. (steps per millisecond=1 ) properties (out of 74786) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1017 ms. (steps per millisecond=0 ) properties (out of 74780) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 879 ms. (steps per millisecond=1 ) properties (out of 74772) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 965 ms. (steps per millisecond=1 ) properties (out of 74771) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 940 ms. (steps per millisecond=1 ) properties (out of 74769) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 968 ms. (steps per millisecond=1 ) properties (out of 74767) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 930 ms. (steps per millisecond=1 ) properties (out of 74767) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 860 ms. (steps per millisecond=1 ) properties (out of 74757) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 987 ms. (steps per millisecond=1 ) properties (out of 74755) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 947 ms. (steps per millisecond=1 ) properties (out of 74748) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 902 ms. (steps per millisecond=1 ) properties (out of 74748) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 843 ms. (steps per millisecond=1 ) properties (out of 74744) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 944 ms. (steps per millisecond=1 ) properties (out of 74741) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 947 ms. (steps per millisecond=1 ) properties (out of 74734) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 904 ms. (steps per millisecond=1 ) properties (out of 74733) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 896 ms. (steps per millisecond=1 ) properties (out of 74732) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 816 ms. (steps per millisecond=1 ) properties (out of 74732) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 822 ms. (steps per millisecond=1 ) properties (out of 74725) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 888 ms. (steps per millisecond=1 ) properties (out of 74721) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 854 ms. (steps per millisecond=1 ) properties (out of 74716) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 836 ms. (steps per millisecond=1 ) properties (out of 74715) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 773 ms. (steps per millisecond=1 ) properties (out of 74714) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 847 ms. (steps per millisecond=1 ) properties (out of 74712) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 871 ms. (steps per millisecond=1 ) properties (out of 74712) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 958 ms. (steps per millisecond=1 ) properties (out of 74711) seen :7
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 940 ms. (steps per millisecond=1 ) properties (out of 74704) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 810 ms. (steps per millisecond=1 ) properties (out of 74704) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 900 ms. (steps per millisecond=1 ) properties (out of 74700) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 899 ms. (steps per millisecond=1 ) properties (out of 74695) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 897 ms. (steps per millisecond=1 ) properties (out of 74692) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 930 ms. (steps per millisecond=1 ) properties (out of 74686) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 981 ms. (steps per millisecond=1 ) properties (out of 74686) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1004 ms. (steps per millisecond=0 ) properties (out of 74681) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 901 ms. (steps per millisecond=1 ) properties (out of 74673) 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 74673) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 820 ms. (steps per millisecond=1 ) properties (out of 74664) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 914 ms. (steps per millisecond=1 ) properties (out of 74660) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 865 ms. (steps per millisecond=1 ) properties (out of 74652) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 785 ms. (steps per millisecond=1 ) properties (out of 74649) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 840 ms. (steps per millisecond=1 ) properties (out of 74640) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 820 ms. (steps per millisecond=1 ) properties (out of 74638) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 997 ms. (steps per millisecond=1 ) properties (out of 74635) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 885 ms. (steps per millisecond=1 ) properties (out of 74632) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 898 ms. (steps per millisecond=1 ) properties (out of 74625) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 958 ms. (steps per millisecond=1 ) properties (out of 74623) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 856 ms. (steps per millisecond=1 ) properties (out of 74613) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 930 ms. (steps per millisecond=1 ) properties (out of 74609) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 843 ms. (steps per millisecond=1 ) properties (out of 74602) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 987 ms. (steps per millisecond=1 ) properties (out of 74601) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 826 ms. (steps per millisecond=1 ) properties (out of 74600) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 923 ms. (steps per millisecond=1 ) properties (out of 74595) 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 74595) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 822 ms. (steps per millisecond=1 ) properties (out of 74590) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 899 ms. (steps per millisecond=1 ) properties (out of 74588) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 837 ms. (steps per millisecond=1 ) properties (out of 74585) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 788 ms. (steps per millisecond=1 ) properties (out of 74583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 897 ms. (steps per millisecond=1 ) properties (out of 74583) 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 74583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 879 ms. (steps per millisecond=1 ) properties (out of 74583) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 873 ms. (steps per millisecond=1 ) properties (out of 74578) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 898 ms. (steps per millisecond=1 ) properties (out of 74570) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 948 ms. (steps per millisecond=1 ) properties (out of 74569) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 967 ms. (steps per millisecond=1 ) properties (out of 74569) 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 74568) 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 74567) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 841 ms. (steps per millisecond=1 ) properties (out of 74567) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 785 ms. (steps per millisecond=1 ) properties (out of 74565) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 821 ms. (steps per millisecond=1 ) properties (out of 74563) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 862 ms. (steps per millisecond=1 ) properties (out of 74563) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 868 ms. (steps per millisecond=1 ) properties (out of 74563) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 782 ms. (steps per millisecond=1 ) properties (out of 74562) 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 74560) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 853 ms. (steps per millisecond=1 ) properties (out of 74560) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 869 ms. (steps per millisecond=1 ) properties (out of 74560) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 815 ms. (steps per millisecond=1 ) properties (out of 74556) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 823 ms. (steps per millisecond=1 ) properties (out of 74554) 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 74554) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 824 ms. (steps per millisecond=1 ) properties (out of 74550) seen :5
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 903 ms. (steps per millisecond=1 ) properties (out of 74545) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 826 ms. (steps per millisecond=1 ) properties (out of 74544) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 818 ms. (steps per millisecond=1 ) properties (out of 74544) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 851 ms. (steps per millisecond=1 ) properties (out of 74544) 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 74544) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 846 ms. (steps per millisecond=1 ) properties (out of 74541) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 881 ms. (steps per millisecond=1 ) properties (out of 74538) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 800 ms. (steps per millisecond=1 ) properties (out of 74538) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 888 ms. (steps per millisecond=1 ) properties (out of 74537) 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 74537) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 979 ms. (steps per millisecond=1 ) properties (out of 74534) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 828 ms. (steps per millisecond=1 ) properties (out of 74534) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 827 ms. (steps per millisecond=1 ) properties (out of 74534) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 929 ms. (steps per millisecond=1 ) properties (out of 74532) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 776 ms. (steps per millisecond=1 ) properties (out of 74531) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 821 ms. (steps per millisecond=1 ) properties (out of 74528) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 847 ms. (steps per millisecond=1 ) properties (out of 74527) 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 74527) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 806 ms. (steps per millisecond=1 ) properties (out of 74525) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 913 ms. (steps per millisecond=1 ) properties (out of 74525) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 844 ms. (steps per millisecond=1 ) properties (out of 74525) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 872 ms. (steps per millisecond=1 ) properties (out of 74523) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 875 ms. (steps per millisecond=1 ) properties (out of 74523) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 843 ms. (steps per millisecond=1 ) properties (out of 74520) 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 74520) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 803 ms. (steps per millisecond=1 ) properties (out of 74520) 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 74520) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 900 ms. (steps per millisecond=1 ) properties (out of 74519) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 947 ms. (steps per millisecond=1 ) properties (out of 74518) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 967 ms. (steps per millisecond=1 ) properties (out of 74518) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 878 ms. (steps per millisecond=1 ) properties (out of 74518) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 814 ms. (steps per millisecond=1 ) properties (out of 74517) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 746 ms. (steps per millisecond=1 ) properties (out of 74515) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 869 ms. (steps per millisecond=1 ) properties (out of 74515) 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 74515) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 857 ms. (steps per millisecond=1 ) properties (out of 74515) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 844 ms. (steps per millisecond=1 ) properties (out of 74514) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 835 ms. (steps per millisecond=1 ) properties (out of 74511) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 849 ms. (steps per millisecond=1 ) properties (out of 74511) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 897 ms. (steps per millisecond=1 ) properties (out of 74511) seen :3
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 895 ms. (steps per millisecond=1 ) properties (out of 74508) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 875 ms. (steps per millisecond=1 ) properties (out of 74506) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 912 ms. (steps per millisecond=1 ) properties (out of 74504) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 823 ms. (steps per millisecond=1 ) properties (out of 74504) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 839 ms. (steps per millisecond=1 ) properties (out of 74504) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 905 ms. (steps per millisecond=1 ) properties (out of 74503) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 840 ms. (steps per millisecond=1 ) properties (out of 74501) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 838 ms. (steps per millisecond=1 ) properties (out of 74499) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 859 ms. (steps per millisecond=1 ) properties (out of 74498) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 789 ms. (steps per millisecond=1 ) properties (out of 74494) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 900 ms. (steps per millisecond=1 ) properties (out of 74493) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 867 ms. (steps per millisecond=1 ) properties (out of 74493) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 793 ms. (steps per millisecond=1 ) properties (out of 74490) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 902 ms. (steps per millisecond=1 ) properties (out of 74490) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 851 ms. (steps per millisecond=1 ) properties (out of 74490) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 830 ms. (steps per millisecond=1 ) properties (out of 74490) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 810 ms. (steps per millisecond=1 ) properties (out of 74488) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 875 ms. (steps per millisecond=1 ) properties (out of 74486) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 829 ms. (steps per millisecond=1 ) properties (out of 74484) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 874 ms. (steps per millisecond=1 ) properties (out of 74484) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 848 ms. (steps per millisecond=1 ) properties (out of 74484) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 817 ms. (steps per millisecond=1 ) properties (out of 74482) 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 74482) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 832 ms. (steps per millisecond=1 ) properties (out of 74482) 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 74482) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 883 ms. (steps per millisecond=1 ) properties (out of 74482) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 924 ms. (steps per millisecond=1 ) properties (out of 74481) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 883 ms. (steps per millisecond=1 ) properties (out of 74481) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 848 ms. (steps per millisecond=1 ) properties (out of 74478) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 861 ms. (steps per millisecond=1 ) properties (out of 74478) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 858 ms. (steps per millisecond=1 ) properties (out of 74478) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 828 ms. (steps per millisecond=1 ) properties (out of 74477) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 903 ms. (steps per millisecond=1 ) properties (out of 74475) 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 74474) 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 74474) seen :4
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 847 ms. (steps per millisecond=1 ) properties (out of 74470) 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 74470) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 962 ms. (steps per millisecond=1 ) properties (out of 74470) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 996 ms. (steps per millisecond=1 ) properties (out of 74469) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1092 ms. (steps per millisecond=0 ) properties (out of 74467) 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 74467) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 827 ms. (steps per millisecond=1 ) properties (out of 74467) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 795 ms. (steps per millisecond=1 ) properties (out of 74466) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 914 ms. (steps per millisecond=1 ) properties (out of 74464) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 960 ms. (steps per millisecond=1 ) properties (out of 74463) 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 74463) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 893 ms. (steps per millisecond=1 ) properties (out of 74461) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 845 ms. (steps per millisecond=1 ) properties (out of 74460) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 884 ms. (steps per millisecond=1 ) properties (out of 74457) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 908 ms. (steps per millisecond=1 ) properties (out of 74453) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 910 ms. (steps per millisecond=1 ) properties (out of 74453) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 796 ms. (steps per millisecond=1 ) properties (out of 74453) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 845 ms. (steps per millisecond=1 ) properties (out of 74451) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 923 ms. (steps per millisecond=1 ) properties (out of 74450) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 914 ms. (steps per millisecond=1 ) properties (out of 74450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 916 ms. (steps per millisecond=1 ) properties (out of 74450) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 830 ms. (steps per millisecond=1 ) properties (out of 74450) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 780 ms. (steps per millisecond=1 ) properties (out of 74447) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 794 ms. (steps per millisecond=1 ) properties (out of 74446) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 845 ms. (steps per millisecond=1 ) properties (out of 74444) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 896 ms. (steps per millisecond=1 ) properties (out of 74443) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 867 ms. (steps per millisecond=1 ) properties (out of 74442) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 935 ms. (steps per millisecond=1 ) properties (out of 74442) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 935 ms. (steps per millisecond=1 ) properties (out of 74442) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 874 ms. (steps per millisecond=1 ) properties (out of 74442) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 797 ms. (steps per millisecond=1 ) properties (out of 74441) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 800 ms. (steps per millisecond=1 ) properties (out of 74439) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 886 ms. (steps per millisecond=1 ) properties (out of 74439) 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 74438) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 914 ms. (steps per millisecond=1 ) properties (out of 74438) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 930 ms. (steps per millisecond=1 ) properties (out of 74437) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 809 ms. (steps per millisecond=1 ) properties (out of 74437) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 851 ms. (steps per millisecond=1 ) properties (out of 74437) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 888 ms. (steps per millisecond=1 ) properties (out of 74437) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 862 ms. (steps per millisecond=1 ) properties (out of 74437) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 806 ms. (steps per millisecond=1 ) properties (out of 74434) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 941 ms. (steps per millisecond=1 ) properties (out of 74434) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 816 ms. (steps per millisecond=1 ) properties (out of 74433) 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 74432) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 910 ms. (steps per millisecond=1 ) properties (out of 74432) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 769 ms. (steps per millisecond=1 ) properties (out of 74430) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 901 ms. (steps per millisecond=1 ) properties (out of 74430) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 763 ms. (steps per millisecond=1 ) properties (out of 74422) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 793 ms. (steps per millisecond=1 ) properties (out of 74420) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 931 ms. (steps per millisecond=1 ) properties (out of 74418) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 827 ms. (steps per millisecond=1 ) properties (out of 74418) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 903 ms. (steps per millisecond=1 ) properties (out of 74415) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 815 ms. (steps per millisecond=1 ) properties (out of 74415) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 815 ms. (steps per millisecond=1 ) properties (out of 74413) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 834 ms. (steps per millisecond=1 ) properties (out of 74412) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 810 ms. (steps per millisecond=1 ) properties (out of 74412) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 831 ms. (steps per millisecond=1 ) properties (out of 74412) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 899 ms. (steps per millisecond=1 ) properties (out of 74407) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 845 ms. (steps per millisecond=1 ) properties (out of 74407) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 827 ms. (steps per millisecond=1 ) properties (out of 74407) seen :6
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 816 ms. (steps per millisecond=1 ) properties (out of 74401) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 936 ms. (steps per millisecond=1 ) properties (out of 74399) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 732 ms. (steps per millisecond=1 ) properties (out of 74398) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 788 ms. (steps per millisecond=1 ) properties (out of 74397) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 811 ms. (steps per millisecond=1 ) properties (out of 74395) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 856 ms. (steps per millisecond=1 ) properties (out of 74395) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 852 ms. (steps per millisecond=1 ) properties (out of 74395) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 854 ms. (steps per millisecond=1 ) properties (out of 74393) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 897 ms. (steps per millisecond=1 ) properties (out of 74393) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 912 ms. (steps per millisecond=1 ) properties (out of 74393) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 857 ms. (steps per millisecond=1 ) properties (out of 74392) 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 74391) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 912 ms. (steps per millisecond=1 ) properties (out of 74389) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 924 ms. (steps per millisecond=1 ) properties (out of 74389) 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 74386) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 892 ms. (steps per millisecond=1 ) properties (out of 74386) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 867 ms. (steps per millisecond=1 ) properties (out of 74386) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 858 ms. (steps per millisecond=1 ) properties (out of 74386) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 897 ms. (steps per millisecond=1 ) properties (out of 74385) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 858 ms. (steps per millisecond=1 ) properties (out of 74384) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 950 ms. (steps per millisecond=1 ) properties (out of 74384) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 819 ms. (steps per millisecond=1 ) properties (out of 74384) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 879 ms. (steps per millisecond=1 ) properties (out of 74384) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 913 ms. (steps per millisecond=1 ) properties (out of 74384) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1008 ms. (steps per millisecond=0 ) properties (out of 74383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 865 ms. (steps per millisecond=1 ) properties (out of 74383) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 872 ms. (steps per millisecond=1 ) properties (out of 74378) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 889 ms. (steps per millisecond=1 ) properties (out of 74377) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 900 ms. (steps per millisecond=1 ) properties (out of 74376) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 886 ms. (steps per millisecond=1 ) properties (out of 74375) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 825 ms. (steps per millisecond=1 ) properties (out of 74375) seen :3
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 860 ms. (steps per millisecond=1 ) properties (out of 74372) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 911 ms. (steps per millisecond=1 ) properties (out of 74368) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 887 ms. (steps per millisecond=1 ) properties (out of 74367) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 778 ms. (steps per millisecond=1 ) properties (out of 74364) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 803 ms. (steps per millisecond=1 ) properties (out of 74363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 895 ms. (steps per millisecond=1 ) properties (out of 74363) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 856 ms. (steps per millisecond=1 ) properties (out of 74361) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 829 ms. (steps per millisecond=1 ) properties (out of 74360) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 859 ms. (steps per millisecond=1 ) properties (out of 74358) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 961 ms. (steps per millisecond=1 ) properties (out of 74358) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 847 ms. (steps per millisecond=1 ) properties (out of 74358) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 816 ms. (steps per millisecond=1 ) properties (out of 74358) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 856 ms. (steps per millisecond=1 ) properties (out of 74358) 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 74358) 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 74358) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 883 ms. (steps per millisecond=1 ) properties (out of 74358) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1040 ms. (steps per millisecond=0 ) properties (out of 74358) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 881 ms. (steps per millisecond=1 ) properties (out of 74358) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 793 ms. (steps per millisecond=1 ) properties (out of 74357) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 790 ms. (steps per millisecond=1 ) properties (out of 74355) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 854 ms. (steps per millisecond=1 ) properties (out of 74355) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 853 ms. (steps per millisecond=1 ) properties (out of 74352) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 882 ms. (steps per millisecond=1 ) properties (out of 74350) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 868 ms. (steps per millisecond=1 ) properties (out of 74350) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 897 ms. (steps per millisecond=1 ) properties (out of 74350) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 889 ms. (steps per millisecond=1 ) properties (out of 74346) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 861 ms. (steps per millisecond=1 ) properties (out of 74342) 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 74342) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 901 ms. (steps per millisecond=1 ) properties (out of 74339) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 859 ms. (steps per millisecond=1 ) properties (out of 74339) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 921 ms. (steps per millisecond=1 ) properties (out of 74339) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 799 ms. (steps per millisecond=1 ) properties (out of 74336) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 973 ms. (steps per millisecond=1 ) properties (out of 74336) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 902 ms. (steps per millisecond=1 ) properties (out of 74334) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 838 ms. (steps per millisecond=1 ) properties (out of 74334) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 886 ms. (steps per millisecond=1 ) properties (out of 74333) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 930 ms. (steps per millisecond=1 ) properties (out of 74328) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 822 ms. (steps per millisecond=1 ) properties (out of 74327) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 910 ms. (steps per millisecond=1 ) properties (out of 74327) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 938 ms. (steps per millisecond=1 ) properties (out of 74327) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 907 ms. (steps per millisecond=1 ) properties (out of 74327) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 996 ms. (steps per millisecond=1 ) properties (out of 74327) 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 74327) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 848 ms. (steps per millisecond=1 ) properties (out of 74325) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 919 ms. (steps per millisecond=1 ) properties (out of 74321) 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 74319) 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 74317) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 959 ms. (steps per millisecond=1 ) properties (out of 74317) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 892 ms. (steps per millisecond=1 ) properties (out of 74317) 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 74317) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 886 ms. (steps per millisecond=1 ) properties (out of 74314) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 870 ms. (steps per millisecond=1 ) properties (out of 74314) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 895 ms. (steps per millisecond=1 ) properties (out of 74314) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 787 ms. (steps per millisecond=1 ) properties (out of 74308) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 855 ms. (steps per millisecond=1 ) properties (out of 74307) seen :3
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 924 ms. (steps per millisecond=1 ) properties (out of 74304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 931 ms. (steps per millisecond=1 ) properties (out of 74304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 942 ms. (steps per millisecond=1 ) properties (out of 74304) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 724 ms. (steps per millisecond=1 ) properties (out of 74302) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 843 ms. (steps per millisecond=1 ) properties (out of 74301) 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 74300) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 978 ms. (steps per millisecond=1 ) properties (out of 74297) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 926 ms. (steps per millisecond=1 ) properties (out of 74295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 795 ms. (steps per millisecond=1 ) properties (out of 74295) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 881 ms. (steps per millisecond=1 ) properties (out of 74295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 854 ms. (steps per millisecond=1 ) properties (out of 74295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 948 ms. (steps per millisecond=1 ) properties (out of 74295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 985 ms. (steps per millisecond=1 ) properties (out of 74295) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 934 ms. (steps per millisecond=1 ) properties (out of 74293) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 987 ms. (steps per millisecond=1 ) properties (out of 74293) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 850 ms. (steps per millisecond=1 ) properties (out of 74293) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 856 ms. (steps per millisecond=1 ) properties (out of 74293) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 866 ms. (steps per millisecond=1 ) properties (out of 74293) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 918 ms. (steps per millisecond=1 ) properties (out of 74293) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 821 ms. (steps per millisecond=1 ) properties (out of 74292) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 790 ms. (steps per millisecond=1 ) properties (out of 74291) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 864 ms. (steps per millisecond=1 ) properties (out of 74290) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 866 ms. (steps per millisecond=1 ) properties (out of 74290) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 809 ms. (steps per millisecond=1 ) properties (out of 74290) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 930 ms. (steps per millisecond=1 ) properties (out of 74285) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 987 ms. (steps per millisecond=1 ) properties (out of 74285) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 846 ms. (steps per millisecond=1 ) properties (out of 74285) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 861 ms. (steps per millisecond=1 ) properties (out of 74285) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 825 ms. (steps per millisecond=1 ) properties (out of 74285) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 862 ms. (steps per millisecond=1 ) properties (out of 74283) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 944 ms. (steps per millisecond=1 ) properties (out of 74282) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 934 ms. (steps per millisecond=1 ) properties (out of 74280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 874 ms. (steps per millisecond=1 ) properties (out of 74280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 905 ms. (steps per millisecond=1 ) properties (out of 74280) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 949 ms. (steps per millisecond=1 ) properties (out of 74280) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 845 ms. (steps per millisecond=1 ) properties (out of 74279) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 787 ms. (steps per millisecond=1 ) properties (out of 74278) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 874 ms. (steps per millisecond=1 ) properties (out of 74278) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 880 ms. (steps per millisecond=1 ) properties (out of 74277) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 904 ms. (steps per millisecond=1 ) properties (out of 74277) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 966 ms. (steps per millisecond=1 ) properties (out of 74277) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 919 ms. (steps per millisecond=1 ) properties (out of 74277) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 906 ms. (steps per millisecond=1 ) properties (out of 74276) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 831 ms. (steps per millisecond=1 ) properties (out of 74275) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1052 ms. (steps per millisecond=0 ) properties (out of 74275) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 887 ms. (steps per millisecond=1 ) properties (out of 74275) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 945 ms. (steps per millisecond=1 ) properties (out of 74274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1031 ms. (steps per millisecond=0 ) properties (out of 74274) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 836 ms. (steps per millisecond=1 ) properties (out of 74273) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 892 ms. (steps per millisecond=1 ) properties (out of 74272) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 956 ms. (steps per millisecond=1 ) properties (out of 74270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 901 ms. (steps per millisecond=1 ) properties (out of 74270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 982 ms. (steps per millisecond=1 ) properties (out of 74270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 944 ms. (steps per millisecond=1 ) properties (out of 74270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 853 ms. (steps per millisecond=1 ) properties (out of 74270) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 921 ms. (steps per millisecond=1 ) properties (out of 74270) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1009 ms. (steps per millisecond=0 ) properties (out of 74268) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 980 ms. (steps per millisecond=1 ) properties (out of 74268) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 895 ms. (steps per millisecond=1 ) properties (out of 74267) seen :4
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 913 ms. (steps per millisecond=1 ) properties (out of 74263) 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 74263) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 995 ms. (steps per millisecond=1 ) properties (out of 74263) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 975 ms. (steps per millisecond=1 ) properties (out of 74262) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1050 ms. (steps per millisecond=0 ) properties (out of 74262) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1021 ms. (steps per millisecond=0 ) properties (out of 74261) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1070 ms. (steps per millisecond=0 ) properties (out of 74260) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1044 ms. (steps per millisecond=0 ) properties (out of 74260) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1019 ms. (steps per millisecond=0 ) properties (out of 74260) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 877 ms. (steps per millisecond=1 ) properties (out of 74260) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 889 ms. (steps per millisecond=1 ) properties (out of 74259) 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 74259) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 895 ms. (steps per millisecond=1 ) properties (out of 74259) 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 74259) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 905 ms. (steps per millisecond=1 ) properties (out of 74258) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 844 ms. (steps per millisecond=1 ) properties (out of 74258) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 983 ms. (steps per millisecond=1 ) properties (out of 74258) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 932 ms. (steps per millisecond=1 ) properties (out of 74258) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 890 ms. (steps per millisecond=1 ) properties (out of 74255) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 905 ms. (steps per millisecond=1 ) properties (out of 74255) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 975 ms. (steps per millisecond=1 ) properties (out of 74255) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1004 ms. (steps per millisecond=0 ) properties (out of 74255) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1032 ms. (steps per millisecond=0 ) properties (out of 74254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1002 ms. (steps per millisecond=0 ) properties (out of 74254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1104 ms. (steps per millisecond=0 ) properties (out of 74254) 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 74254) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 865 ms. (steps per millisecond=1 ) properties (out of 74253) 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 74253) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 908 ms. (steps per millisecond=1 ) properties (out of 74253) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 815 ms. (steps per millisecond=1 ) properties (out of 74250) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1063 ms. (steps per millisecond=0 ) properties (out of 74248) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 845 ms. (steps per millisecond=1 ) properties (out of 74248) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 996 ms. (steps per millisecond=1 ) properties (out of 74244) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 999 ms. (steps per millisecond=1 ) properties (out of 74244) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 860 ms. (steps per millisecond=1 ) properties (out of 74243) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 964 ms. (steps per millisecond=1 ) properties (out of 74243) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 800 ms. (steps per millisecond=1 ) properties (out of 74243) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 846 ms. (steps per millisecond=1 ) properties (out of 74242) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 816 ms. (steps per millisecond=1 ) properties (out of 74242) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 943 ms. (steps per millisecond=1 ) properties (out of 74239) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 940 ms. (steps per millisecond=1 ) properties (out of 74239) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 924 ms. (steps per millisecond=1 ) properties (out of 74239) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 873 ms. (steps per millisecond=1 ) properties (out of 74239) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 996 ms. (steps per millisecond=1 ) properties (out of 74239) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 999 ms. (steps per millisecond=1 ) properties (out of 74239) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 976 ms. (steps per millisecond=1 ) properties (out of 74239) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 899 ms. (steps per millisecond=1 ) properties (out of 74238) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 949 ms. (steps per millisecond=1 ) properties (out of 74237) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 886 ms. (steps per millisecond=1 ) properties (out of 74237) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 944 ms. (steps per millisecond=1 ) properties (out of 74237) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 950 ms. (steps per millisecond=1 ) properties (out of 74237) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 974 ms. (steps per millisecond=1 ) properties (out of 74236) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 942 ms. (steps per millisecond=1 ) properties (out of 74236) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 990 ms. (steps per millisecond=1 ) properties (out of 74236) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1049 ms. (steps per millisecond=0 ) properties (out of 74236) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 977 ms. (steps per millisecond=1 ) properties (out of 74236) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1123 ms. (steps per millisecond=0 ) properties (out of 74236) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1111 ms. (steps per millisecond=0 ) properties (out of 74236) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 922 ms. (steps per millisecond=1 ) properties (out of 74236) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 972 ms. (steps per millisecond=1 ) properties (out of 74235) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 988 ms. (steps per millisecond=1 ) properties (out of 74235) 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 74232) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 918 ms. (steps per millisecond=1 ) properties (out of 74232) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 921 ms. (steps per millisecond=1 ) properties (out of 74230) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 944 ms. (steps per millisecond=1 ) properties (out of 74230) 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 74230) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 919 ms. (steps per millisecond=1 ) properties (out of 74229) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 895 ms. (steps per millisecond=1 ) properties (out of 74229) 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 74229) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 920 ms. (steps per millisecond=1 ) properties (out of 74228) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 886 ms. (steps per millisecond=1 ) properties (out of 74228) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 989 ms. (steps per millisecond=1 ) properties (out of 74227) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1001 ms. (steps per millisecond=1 ) properties (out of 74227) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 877 ms. (steps per millisecond=1 ) properties (out of 74227) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 883 ms. (steps per millisecond=1 ) properties (out of 74227) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 930 ms. (steps per millisecond=1 ) properties (out of 74226) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 989 ms. (steps per millisecond=1 ) properties (out of 74226) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 917 ms. (steps per millisecond=1 ) properties (out of 74226) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1005 ms. (steps per millisecond=0 ) properties (out of 74224) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 963 ms. (steps per millisecond=1 ) properties (out of 74223) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 880 ms. (steps per millisecond=1 ) properties (out of 74222) 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 74221) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 903 ms. (steps per millisecond=1 ) properties (out of 74221) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 989 ms. (steps per millisecond=1 ) properties (out of 74220) 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 74219) 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 74218) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 931 ms. (steps per millisecond=1 ) properties (out of 74218) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1004 ms. (steps per millisecond=0 ) properties (out of 74215) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 946 ms. (steps per millisecond=1 ) properties (out of 74215) 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 74215) 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 74215) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 932 ms. (steps per millisecond=1 ) properties (out of 74215) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1003 ms. (steps per millisecond=0 ) properties (out of 74215) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 965 ms. (steps per millisecond=1 ) properties (out of 74214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 872 ms. (steps per millisecond=1 ) properties (out of 74214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 958 ms. (steps per millisecond=1 ) properties (out of 74214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 958 ms. (steps per millisecond=1 ) properties (out of 74214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1020 ms. (steps per millisecond=0 ) properties (out of 74214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 946 ms. (steps per millisecond=1 ) properties (out of 74214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 965 ms. (steps per millisecond=1 ) properties (out of 74214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 884 ms. (steps per millisecond=1 ) properties (out of 74214) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 977 ms. (steps per millisecond=1 ) properties (out of 74214) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 943 ms. (steps per millisecond=1 ) properties (out of 74213) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 837 ms. (steps per millisecond=1 ) properties (out of 74212) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 939 ms. (steps per millisecond=1 ) properties (out of 74211) 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 74211) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 988 ms. (steps per millisecond=1 ) properties (out of 74210) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 899 ms. (steps per millisecond=1 ) properties (out of 74210) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1011 ms. (steps per millisecond=0 ) properties (out of 74210) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 928 ms. (steps per millisecond=1 ) properties (out of 74208) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 979 ms. (steps per millisecond=1 ) properties (out of 74207) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 875 ms. (steps per millisecond=1 ) properties (out of 74207) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 928 ms. (steps per millisecond=1 ) properties (out of 74207) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 915 ms. (steps per millisecond=1 ) properties (out of 74207) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 985 ms. (steps per millisecond=1 ) properties (out of 74207) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 925 ms. (steps per millisecond=1 ) properties (out of 74207) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1014 ms. (steps per millisecond=0 ) properties (out of 74207) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 984 ms. (steps per millisecond=1 ) properties (out of 74207) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 884 ms. (steps per millisecond=1 ) properties (out of 74207) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 957 ms. (steps per millisecond=1 ) properties (out of 74205) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 889 ms. (steps per millisecond=1 ) properties (out of 74205) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 933 ms. (steps per millisecond=1 ) properties (out of 74204) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 958 ms. (steps per millisecond=1 ) properties (out of 74203) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 979 ms. (steps per millisecond=1 ) properties (out of 74202) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1025 ms. (steps per millisecond=0 ) properties (out of 74197) 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 74197) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 962 ms. (steps per millisecond=1 ) properties (out of 74197) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 928 ms. (steps per millisecond=1 ) properties (out of 74196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 905 ms. (steps per millisecond=1 ) properties (out of 74196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 991 ms. (steps per millisecond=1 ) properties (out of 74196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 855 ms. (steps per millisecond=1 ) properties (out of 74196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1026 ms. (steps per millisecond=0 ) properties (out of 74196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 932 ms. (steps per millisecond=1 ) properties (out of 74196) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 953 ms. (steps per millisecond=1 ) properties (out of 74195) 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 74195) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1026 ms. (steps per millisecond=0 ) properties (out of 74194) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 947 ms. (steps per millisecond=1 ) properties (out of 74193) 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 74193) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 926 ms. (steps per millisecond=1 ) properties (out of 74193) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1033 ms. (steps per millisecond=0 ) properties (out of 74193) 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 74193) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 984 ms. (steps per millisecond=1 ) properties (out of 74192) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 938 ms. (steps per millisecond=1 ) properties (out of 74191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 965 ms. (steps per millisecond=1 ) properties (out of 74191) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 930 ms. (steps per millisecond=1 ) properties (out of 74190) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 915 ms. (steps per millisecond=1 ) properties (out of 74190) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 984 ms. (steps per millisecond=1 ) properties (out of 74190) 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 74190) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 899 ms. (steps per millisecond=1 ) properties (out of 74190) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 933 ms. (steps per millisecond=1 ) properties (out of 74190) 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 74188) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1079 ms. (steps per millisecond=0 ) properties (out of 74188) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 903 ms. (steps per millisecond=1 ) properties (out of 74187) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 974 ms. (steps per millisecond=1 ) properties (out of 74186) 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 74186) 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 74186) 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 74186) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 941 ms. (steps per millisecond=1 ) properties (out of 74185) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1019 ms. (steps per millisecond=0 ) properties (out of 74184) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 968 ms. (steps per millisecond=1 ) properties (out of 74184) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 949 ms. (steps per millisecond=1 ) properties (out of 74184) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 989 ms. (steps per millisecond=1 ) properties (out of 74183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 980 ms. (steps per millisecond=1 ) properties (out of 74183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 919 ms. (steps per millisecond=1 ) properties (out of 74183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 960 ms. (steps per millisecond=1 ) properties (out of 74183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 892 ms. (steps per millisecond=1 ) properties (out of 74183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 968 ms. (steps per millisecond=1 ) properties (out of 74183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 941 ms. (steps per millisecond=1 ) properties (out of 74183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 945 ms. (steps per millisecond=1 ) properties (out of 74183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 962 ms. (steps per millisecond=1 ) properties (out of 74183) 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 74183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 991 ms. (steps per millisecond=1 ) properties (out of 74183) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 942 ms. (steps per millisecond=1 ) properties (out of 74182) 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 74182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 958 ms. (steps per millisecond=1 ) properties (out of 74182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 902 ms. (steps per millisecond=1 ) properties (out of 74182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 880 ms. (steps per millisecond=1 ) properties (out of 74182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 757 ms. (steps per millisecond=1 ) properties (out of 74182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1026 ms. (steps per millisecond=0 ) properties (out of 74182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1018 ms. (steps per millisecond=0 ) properties (out of 74182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 975 ms. (steps per millisecond=1 ) properties (out of 74182) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 924 ms. (steps per millisecond=1 ) properties (out of 74181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 946 ms. (steps per millisecond=1 ) properties (out of 74181) 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 74180) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 980 ms. (steps per millisecond=1 ) properties (out of 74180) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 981 ms. (steps per millisecond=1 ) properties (out of 74180) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 917 ms. (steps per millisecond=1 ) properties (out of 74176) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 951 ms. (steps per millisecond=1 ) properties (out of 74176) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1014 ms. (steps per millisecond=0 ) properties (out of 74176) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 950 ms. (steps per millisecond=1 ) properties (out of 74176) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 928 ms. (steps per millisecond=1 ) properties (out of 74176) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1048 ms. (steps per millisecond=0 ) properties (out of 74176) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 954 ms. (steps per millisecond=1 ) properties (out of 74174) 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 74174) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1015 ms. (steps per millisecond=0 ) properties (out of 74174) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 973 ms. (steps per millisecond=1 ) properties (out of 74173) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 946 ms. (steps per millisecond=1 ) properties (out of 74173) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 939 ms. (steps per millisecond=1 ) properties (out of 74173) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 898 ms. (steps per millisecond=1 ) properties (out of 74173) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 929 ms. (steps per millisecond=1 ) properties (out of 74172) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 946 ms. (steps per millisecond=1 ) properties (out of 74171) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1010 ms. (steps per millisecond=0 ) properties (out of 74170) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1042 ms. (steps per millisecond=0 ) properties (out of 74170) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 943 ms. (steps per millisecond=1 ) properties (out of 74170) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 938 ms. (steps per millisecond=1 ) properties (out of 74170) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 945 ms. (steps per millisecond=1 ) properties (out of 74170) 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 74170) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 863 ms. (steps per millisecond=1 ) properties (out of 74170) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 978 ms. (steps per millisecond=1 ) properties (out of 74170) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 960 ms. (steps per millisecond=1 ) properties (out of 74170) 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 74170) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 962 ms. (steps per millisecond=1 ) properties (out of 74170) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 968 ms. (steps per millisecond=1 ) properties (out of 74170) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 924 ms. (steps per millisecond=1 ) properties (out of 74170) 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 74170) 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 74170) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 967 ms. (steps per millisecond=1 ) properties (out of 74170) 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 74169) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 992 ms. (steps per millisecond=1 ) properties (out of 74169) 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 74169) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 977 ms. (steps per millisecond=1 ) properties (out of 74169) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1006 ms. (steps per millisecond=0 ) properties (out of 74169) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1023 ms. (steps per millisecond=0 ) properties (out of 74169) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 910 ms. (steps per millisecond=1 ) properties (out of 74169) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 859 ms. (steps per millisecond=1 ) properties (out of 74169) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 922 ms. (steps per millisecond=1 ) properties (out of 74169) 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 74169) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 918 ms. (steps per millisecond=1 ) properties (out of 74169) 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 74169) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 870 ms. (steps per millisecond=1 ) properties (out of 74169) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1000 ms. (steps per millisecond=1 ) properties (out of 74167) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1016 ms. (steps per millisecond=0 ) properties (out of 74167) 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 74167) 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 74166) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 914 ms. (steps per millisecond=1 ) properties (out of 74166) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 859 ms. (steps per millisecond=1 ) properties (out of 74166) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 944 ms. (steps per millisecond=1 ) properties (out of 74165) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 915 ms. (steps per millisecond=1 ) properties (out of 74165) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 896 ms. (steps per millisecond=1 ) properties (out of 74165) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 869 ms. (steps per millisecond=1 ) properties (out of 74165) 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 74165) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1003 ms. (steps per millisecond=0 ) properties (out of 74165) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 963 ms. (steps per millisecond=1 ) properties (out of 74165) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 922 ms. (steps per millisecond=1 ) properties (out of 74165) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 859 ms. (steps per millisecond=1 ) properties (out of 74163) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 931 ms. (steps per millisecond=1 ) properties (out of 74163) 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 74163) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 897 ms. (steps per millisecond=1 ) properties (out of 74163) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 923 ms. (steps per millisecond=1 ) properties (out of 74163) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 972 ms. (steps per millisecond=1 ) properties (out of 74163) 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 74163) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 913 ms. (steps per millisecond=1 ) properties (out of 74163) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 887 ms. (steps per millisecond=1 ) properties (out of 74162) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 939 ms. (steps per millisecond=1 ) properties (out of 74162) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 971 ms. (steps per millisecond=1 ) properties (out of 74162) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 908 ms. (steps per millisecond=1 ) properties (out of 74162) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 878 ms. (steps per millisecond=1 ) properties (out of 74161) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 808 ms. (steps per millisecond=1 ) properties (out of 74161) 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 74161) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 942 ms. (steps per millisecond=1 ) properties (out of 74161) 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 74161) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 898 ms. (steps per millisecond=1 ) properties (out of 74161) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 818 ms. (steps per millisecond=1 ) properties (out of 74160) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 794 ms. (steps per millisecond=1 ) properties (out of 74160) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 757 ms. (steps per millisecond=1 ) properties (out of 74160) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 992 ms. (steps per millisecond=1 ) properties (out of 74159) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 947 ms. (steps per millisecond=1 ) properties (out of 74159) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1008 ms. (steps per millisecond=0 ) properties (out of 74159) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 893 ms. (steps per millisecond=1 ) properties (out of 74159) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 855 ms. (steps per millisecond=1 ) properties (out of 74158) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 829 ms. (steps per millisecond=1 ) properties (out of 74158) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 903 ms. (steps per millisecond=1 ) properties (out of 74158) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 904 ms. (steps per millisecond=1 ) properties (out of 74158) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 941 ms. (steps per millisecond=1 ) properties (out of 74158) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 855 ms. (steps per millisecond=1 ) properties (out of 74158) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 865 ms. (steps per millisecond=1 ) properties (out of 74158) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 908 ms. (steps per millisecond=1 ) properties (out of 74158) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 843 ms. (steps per millisecond=1 ) properties (out of 74158) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 903 ms. (steps per millisecond=1 ) properties (out of 74158) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 976 ms. (steps per millisecond=1 ) properties (out of 74158) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 983 ms. (steps per millisecond=1 ) properties (out of 74158) 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 74157) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 871 ms. (steps per millisecond=1 ) properties (out of 74157) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 920 ms. (steps per millisecond=1 ) properties (out of 74156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 915 ms. (steps per millisecond=1 ) properties (out of 74156) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 741 ms. (steps per millisecond=1 ) properties (out of 74155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 831 ms. (steps per millisecond=1 ) properties (out of 74155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 787 ms. (steps per millisecond=1 ) properties (out of 74155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 860 ms. (steps per millisecond=1 ) properties (out of 74155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 885 ms. (steps per millisecond=1 ) properties (out of 74155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 874 ms. (steps per millisecond=1 ) properties (out of 74155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 875 ms. (steps per millisecond=1 ) properties (out of 74155) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 872 ms. (steps per millisecond=1 ) properties (out of 74154) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 869 ms. (steps per millisecond=1 ) properties (out of 74154) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 824 ms. (steps per millisecond=1 ) properties (out of 74154) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 912 ms. (steps per millisecond=1 ) properties (out of 74154) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 879 ms. (steps per millisecond=1 ) properties (out of 74154) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 798 ms. (steps per millisecond=1 ) properties (out of 74154) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 838 ms. (steps per millisecond=1 ) properties (out of 74154) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 861 ms. (steps per millisecond=1 ) properties (out of 74154) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 848 ms. (steps per millisecond=1 ) properties (out of 74154) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 863 ms. (steps per millisecond=1 ) properties (out of 74154) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 896 ms. (steps per millisecond=1 ) properties (out of 74152) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 880 ms. (steps per millisecond=1 ) properties (out of 74152) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 885 ms. (steps per millisecond=1 ) properties (out of 74152) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 861 ms. (steps per millisecond=1 ) properties (out of 74152) 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 74152) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 853 ms. (steps per millisecond=1 ) properties (out of 74152) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 905 ms. (steps per millisecond=1 ) properties (out of 74152) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 845 ms. (steps per millisecond=1 ) properties (out of 74152) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 857 ms. (steps per millisecond=1 ) properties (out of 74152) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 796 ms. (steps per millisecond=1 ) properties (out of 74151) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 828 ms. (steps per millisecond=1 ) properties (out of 74151) 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 74151) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 786 ms. (steps per millisecond=1 ) properties (out of 74151) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 941 ms. (steps per millisecond=1 ) properties (out of 74151) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 789 ms. (steps per millisecond=1 ) properties (out of 74151) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 747 ms. (steps per millisecond=1 ) properties (out of 74151) 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 74151) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 776 ms. (steps per millisecond=1 ) properties (out of 74151) 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 74151) 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 74151) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 779 ms. (steps per millisecond=1 ) properties (out of 74151) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 753 ms. (steps per millisecond=1 ) properties (out of 74151) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 840 ms. (steps per millisecond=1 ) properties (out of 74151) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 819 ms. (steps per millisecond=1 ) properties (out of 74151) 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 74151) 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 74151) 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 74151) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 844 ms. (steps per millisecond=1 ) properties (out of 74150) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 917 ms. (steps per millisecond=1 ) properties (out of 74150) 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 74150) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 757 ms. (steps per millisecond=1 ) properties (out of 74150) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 735 ms. (steps per millisecond=1 ) properties (out of 74150) 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 74150) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 679 ms. (steps per millisecond=1 ) properties (out of 74149) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 910 ms. (steps per millisecond=1 ) properties (out of 74149) 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 74148) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 950 ms. (steps per millisecond=1 ) properties (out of 74147) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 986 ms. (steps per millisecond=1 ) properties (out of 74147) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 959 ms. (steps per millisecond=1 ) properties (out of 74147) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 832 ms. (steps per millisecond=1 ) properties (out of 74147) 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 74147) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 865 ms. (steps per millisecond=1 ) properties (out of 74147) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 975 ms. (steps per millisecond=1 ) properties (out of 74147) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 906 ms. (steps per millisecond=1 ) properties (out of 74144) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 898 ms. (steps per millisecond=1 ) properties (out of 74144) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 942 ms. (steps per millisecond=1 ) properties (out of 74143) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1042 ms. (steps per millisecond=0 ) properties (out of 74143) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 884 ms. (steps per millisecond=1 ) properties (out of 74143) 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 74143) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 944 ms. (steps per millisecond=1 ) properties (out of 74142) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 955 ms. (steps per millisecond=1 ) properties (out of 74142) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 948 ms. (steps per millisecond=1 ) properties (out of 74141) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 914 ms. (steps per millisecond=1 ) properties (out of 74140) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 936 ms. (steps per millisecond=1 ) properties (out of 74140) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 915 ms. (steps per millisecond=1 ) properties (out of 74140) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 855 ms. (steps per millisecond=1 ) properties (out of 74140) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 853 ms. (steps per millisecond=1 ) properties (out of 74140) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 929 ms. (steps per millisecond=1 ) properties (out of 74136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 798 ms. (steps per millisecond=1 ) properties (out of 74136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 771 ms. (steps per millisecond=1 ) properties (out of 74136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 821 ms. (steps per millisecond=1 ) properties (out of 74136) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 864 ms. (steps per millisecond=1 ) properties (out of 74135) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 879 ms. (steps per millisecond=1 ) properties (out of 74135) 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 74134) 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 74134) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 844 ms. (steps per millisecond=1 ) properties (out of 74134) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 887 ms. (steps per millisecond=1 ) properties (out of 74134) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 904 ms. (steps per millisecond=1 ) properties (out of 74133) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 900 ms. (steps per millisecond=1 ) properties (out of 74133) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 831 ms. (steps per millisecond=1 ) properties (out of 74133) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 905 ms. (steps per millisecond=1 ) properties (out of 74133) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 873 ms. (steps per millisecond=1 ) properties (out of 74133) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 850 ms. (steps per millisecond=1 ) properties (out of 74133) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 909 ms. (steps per millisecond=1 ) properties (out of 74133) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 857 ms. (steps per millisecond=1 ) properties (out of 74133) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 885 ms. (steps per millisecond=1 ) properties (out of 74133) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 890 ms. (steps per millisecond=1 ) properties (out of 74132) 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 74132) 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 74132) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 924 ms. (steps per millisecond=1 ) properties (out of 74132) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 842 ms. (steps per millisecond=1 ) properties (out of 74132) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 830 ms. (steps per millisecond=1 ) properties (out of 74132) 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 74132) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 931 ms. (steps per millisecond=1 ) properties (out of 74131) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 801 ms. (steps per millisecond=1 ) properties (out of 74131) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 862 ms. (steps per millisecond=1 ) properties (out of 74131) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 816 ms. (steps per millisecond=1 ) properties (out of 74131) 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 74131) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 825 ms. (steps per millisecond=1 ) properties (out of 74131) 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 74131) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 824 ms. (steps per millisecond=1 ) properties (out of 74130) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 925 ms. (steps per millisecond=1 ) properties (out of 74130) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 887 ms. (steps per millisecond=1 ) properties (out of 74130) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 825 ms. (steps per millisecond=1 ) properties (out of 74130) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 872 ms. (steps per millisecond=1 ) properties (out of 74130) 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 74130) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 902 ms. (steps per millisecond=1 ) properties (out of 74130) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 877 ms. (steps per millisecond=1 ) properties (out of 74129) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 870 ms. (steps per millisecond=1 ) properties (out of 74129) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 888 ms. (steps per millisecond=1 ) properties (out of 74129) 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 74129) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 809 ms. (steps per millisecond=1 ) properties (out of 74128) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 744 ms. (steps per millisecond=1 ) properties (out of 74126) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 829 ms. (steps per millisecond=1 ) properties (out of 74124) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 831 ms. (steps per millisecond=1 ) properties (out of 74124) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 830 ms. (steps per millisecond=1 ) properties (out of 74124) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 830 ms. (steps per millisecond=1 ) properties (out of 74124) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 796 ms. (steps per millisecond=1 ) properties (out of 74124) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 836 ms. (steps per millisecond=1 ) properties (out of 74124) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 949 ms. (steps per millisecond=1 ) properties (out of 74124) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 853 ms. (steps per millisecond=1 ) properties (out of 74124) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 869 ms. (steps per millisecond=1 ) properties (out of 74124) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 817 ms. (steps per millisecond=1 ) properties (out of 74124) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 802 ms. (steps per millisecond=1 ) properties (out of 74124) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 876 ms. (steps per millisecond=1 ) properties (out of 74123) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 869 ms. (steps per millisecond=1 ) properties (out of 74123) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 843 ms. (steps per millisecond=1 ) properties (out of 74123) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 754 ms. (steps per millisecond=1 ) properties (out of 74120) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 817 ms. (steps per millisecond=1 ) properties (out of 74120) 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 74120) 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 74120) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 845 ms. (steps per millisecond=1 ) properties (out of 74120) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 865 ms. (steps per millisecond=1 ) properties (out of 74119) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 961 ms. (steps per millisecond=1 ) properties (out of 74119) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 881 ms. (steps per millisecond=1 ) properties (out of 74119) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 964 ms. (steps per millisecond=1 ) properties (out of 74119) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 971 ms. (steps per millisecond=1 ) properties (out of 74119) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 895 ms. (steps per millisecond=1 ) properties (out of 74119) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 885 ms. (steps per millisecond=1 ) properties (out of 74117) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 921 ms. (steps per millisecond=1 ) properties (out of 74117) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 868 ms. (steps per millisecond=1 ) properties (out of 74115) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 864 ms. (steps per millisecond=1 ) properties (out of 74115) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 858 ms. (steps per millisecond=1 ) properties (out of 74114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 886 ms. (steps per millisecond=1 ) properties (out of 74114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 930 ms. (steps per millisecond=1 ) properties (out of 74114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 859 ms. (steps per millisecond=1 ) properties (out of 74114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 918 ms. (steps per millisecond=1 ) properties (out of 74114) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 896 ms. (steps per millisecond=1 ) properties (out of 74114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 897 ms. (steps per millisecond=1 ) properties (out of 74114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 963 ms. (steps per millisecond=1 ) properties (out of 74114) 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 74114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1004 ms. (steps per millisecond=0 ) properties (out of 74114) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 907 ms. (steps per millisecond=1 ) properties (out of 74114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 889 ms. (steps per millisecond=1 ) properties (out of 74114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 959 ms. (steps per millisecond=1 ) properties (out of 74114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 950 ms. (steps per millisecond=1 ) properties (out of 74114) 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 74114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 903 ms. (steps per millisecond=1 ) properties (out of 74114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 855 ms. (steps per millisecond=1 ) properties (out of 74114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 921 ms. (steps per millisecond=1 ) properties (out of 74114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 869 ms. (steps per millisecond=1 ) properties (out of 74114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 971 ms. (steps per millisecond=1 ) properties (out of 74114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 888 ms. (steps per millisecond=1 ) properties (out of 74114) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 893 ms. (steps per millisecond=1 ) properties (out of 74114) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 883 ms. (steps per millisecond=1 ) properties (out of 74111) 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 74110) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 910 ms. (steps per millisecond=1 ) properties (out of 74110) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 897 ms. (steps per millisecond=1 ) properties (out of 74110) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 997 ms. (steps per millisecond=1 ) properties (out of 74110) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 895 ms. (steps per millisecond=1 ) properties (out of 74110) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 963 ms. (steps per millisecond=1 ) properties (out of 74110) 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 74110) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 976 ms. (steps per millisecond=1 ) properties (out of 74110) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 951 ms. (steps per millisecond=1 ) properties (out of 74110) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1004 ms. (steps per millisecond=0 ) properties (out of 74109) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 967 ms. (steps per millisecond=1 ) properties (out of 74109) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 855 ms. (steps per millisecond=1 ) properties (out of 74109) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 875 ms. (steps per millisecond=1 ) properties (out of 74109) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 972 ms. (steps per millisecond=1 ) properties (out of 74109) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 880 ms. (steps per millisecond=1 ) properties (out of 74109) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 913 ms. (steps per millisecond=1 ) properties (out of 74109) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1051 ms. (steps per millisecond=0 ) properties (out of 74108) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 908 ms. (steps per millisecond=1 ) properties (out of 74108) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 795 ms. (steps per millisecond=1 ) properties (out of 74108) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 945 ms. (steps per millisecond=1 ) properties (out of 74108) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 794 ms. (steps per millisecond=1 ) properties (out of 74108) 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 74108) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 900 ms. (steps per millisecond=1 ) properties (out of 74107) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 861 ms. (steps per millisecond=1 ) properties (out of 74107) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 863 ms. (steps per millisecond=1 ) properties (out of 74107) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 933 ms. (steps per millisecond=1 ) properties (out of 74107) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 948 ms. (steps per millisecond=1 ) properties (out of 74107) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 859 ms. (steps per millisecond=1 ) properties (out of 74107) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 980 ms. (steps per millisecond=1 ) properties (out of 74107) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 827 ms. (steps per millisecond=1 ) properties (out of 74107) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 895 ms. (steps per millisecond=1 ) properties (out of 74106) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 788 ms. (steps per millisecond=1 ) properties (out of 74106) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 885 ms. (steps per millisecond=1 ) properties (out of 74106) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 924 ms. (steps per millisecond=1 ) properties (out of 74106) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 907 ms. (steps per millisecond=1 ) properties (out of 74106) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 874 ms. (steps per millisecond=1 ) properties (out of 74106) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 908 ms. (steps per millisecond=1 ) properties (out of 74106) 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 74106) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1013 ms. (steps per millisecond=0 ) properties (out of 74106) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 962 ms. (steps per millisecond=1 ) properties (out of 74106) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 933 ms. (steps per millisecond=1 ) properties (out of 74106) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 924 ms. (steps per millisecond=1 ) properties (out of 74106) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 944 ms. (steps per millisecond=1 ) properties (out of 74105) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 921 ms. (steps per millisecond=1 ) properties (out of 74105) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 820 ms. (steps per millisecond=1 ) properties (out of 74105) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 919 ms. (steps per millisecond=1 ) properties (out of 74105) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 937 ms. (steps per millisecond=1 ) properties (out of 74105) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 910 ms. (steps per millisecond=1 ) properties (out of 74105) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 961 ms. (steps per millisecond=1 ) properties (out of 74105) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 935 ms. (steps per millisecond=1 ) properties (out of 74104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 895 ms. (steps per millisecond=1 ) properties (out of 74104) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 905 ms. (steps per millisecond=1 ) properties (out of 74104) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 893 ms. (steps per millisecond=1 ) properties (out of 74103) 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 74103) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 942 ms. (steps per millisecond=1 ) properties (out of 74103) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 939 ms. (steps per millisecond=1 ) properties (out of 74103) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 882 ms. (steps per millisecond=1 ) properties (out of 74102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 931 ms. (steps per millisecond=1 ) properties (out of 74102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 925 ms. (steps per millisecond=1 ) properties (out of 74102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 908 ms. (steps per millisecond=1 ) properties (out of 74102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 808 ms. (steps per millisecond=1 ) properties (out of 74102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 867 ms. (steps per millisecond=1 ) properties (out of 74102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 849 ms. (steps per millisecond=1 ) properties (out of 74102) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 924 ms. (steps per millisecond=1 ) properties (out of 74101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 837 ms. (steps per millisecond=1 ) properties (out of 74101) 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 74101) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 874 ms. (steps per millisecond=1 ) properties (out of 74101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 881 ms. (steps per millisecond=1 ) properties (out of 74101) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 926 ms. (steps per millisecond=1 ) properties (out of 74099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 859 ms. (steps per millisecond=1 ) properties (out of 74099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 899 ms. (steps per millisecond=1 ) properties (out of 74099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1006 ms. (steps per millisecond=0 ) properties (out of 74099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 930 ms. (steps per millisecond=1 ) properties (out of 74099) 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 74099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 856 ms. (steps per millisecond=1 ) properties (out of 74099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 874 ms. (steps per millisecond=1 ) properties (out of 74099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 812 ms. (steps per millisecond=1 ) properties (out of 74099) 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 74098) 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 74098) 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 74098) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 871 ms. (steps per millisecond=1 ) properties (out of 74098) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 891 ms. (steps per millisecond=1 ) properties (out of 74096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 924 ms. (steps per millisecond=1 ) properties (out of 74096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 855 ms. (steps per millisecond=1 ) properties (out of 74096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 865 ms. (steps per millisecond=1 ) properties (out of 74096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 871 ms. (steps per millisecond=1 ) properties (out of 74096) 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 74096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 854 ms. (steps per millisecond=1 ) properties (out of 74096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 833 ms. (steps per millisecond=1 ) properties (out of 74096) 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 74096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 958 ms. (steps per millisecond=1 ) properties (out of 74096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 895 ms. (steps per millisecond=1 ) properties (out of 74096) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 880 ms. (steps per millisecond=1 ) properties (out of 74096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 958 ms. (steps per millisecond=1 ) properties (out of 74096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 981 ms. (steps per millisecond=1 ) properties (out of 74096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1005 ms. (steps per millisecond=0 ) properties (out of 74096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 889 ms. (steps per millisecond=1 ) properties (out of 74096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 976 ms. (steps per millisecond=1 ) properties (out of 74096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 963 ms. (steps per millisecond=1 ) properties (out of 74096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 991 ms. (steps per millisecond=1 ) properties (out of 74096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 946 ms. (steps per millisecond=1 ) properties (out of 74096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 940 ms. (steps per millisecond=1 ) properties (out of 74096) 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 74095) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 950 ms. (steps per millisecond=1 ) properties (out of 74095) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 906 ms. (steps per millisecond=1 ) properties (out of 74094) 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 74094) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 986 ms. (steps per millisecond=1 ) properties (out of 74094) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 887 ms. (steps per millisecond=1 ) properties (out of 74094) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 869 ms. (steps per millisecond=1 ) properties (out of 74094) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 946 ms. (steps per millisecond=1 ) properties (out of 74094) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 847 ms. (steps per millisecond=1 ) properties (out of 74094) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 864 ms. (steps per millisecond=1 ) properties (out of 74093) 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 74093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 819 ms. (steps per millisecond=1 ) properties (out of 74093) 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 74093) 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 74092) 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 74092) 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 74092) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 907 ms. (steps per millisecond=1 ) properties (out of 74092) 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 74092) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 820 ms. (steps per millisecond=1 ) properties (out of 74092) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 879 ms. (steps per millisecond=1 ) properties (out of 74092) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 854 ms. (steps per millisecond=1 ) properties (out of 74092) 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 74092) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 889 ms. (steps per millisecond=1 ) properties (out of 74092) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 848 ms. (steps per millisecond=1 ) properties (out of 74092) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 883 ms. (steps per millisecond=1 ) properties (out of 74092) 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 74092) 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 74091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 753 ms. (steps per millisecond=1 ) properties (out of 74091) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 850 ms. (steps per millisecond=1 ) properties (out of 74090) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 837 ms. (steps per millisecond=1 ) properties (out of 74090) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 797 ms. (steps per millisecond=1 ) properties (out of 74090) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 903 ms. (steps per millisecond=1 ) properties (out of 74090) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 847 ms. (steps per millisecond=1 ) properties (out of 74090) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 848 ms. (steps per millisecond=1 ) properties (out of 74090) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 867 ms. (steps per millisecond=1 ) properties (out of 74090) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 810 ms. (steps per millisecond=1 ) properties (out of 74090) 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 74090) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 855 ms. (steps per millisecond=1 ) properties (out of 74090) 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 74090) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 944 ms. (steps per millisecond=1 ) properties (out of 74090) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 903 ms. (steps per millisecond=1 ) properties (out of 74090) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 907 ms. (steps per millisecond=1 ) properties (out of 74090) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 908 ms. (steps per millisecond=1 ) properties (out of 74090) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 959 ms. (steps per millisecond=1 ) properties (out of 74090) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1001 ms. (steps per millisecond=0 ) properties (out of 74090) 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 74090) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 985 ms. (steps per millisecond=1 ) properties (out of 74090) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 992 ms. (steps per millisecond=1 ) properties (out of 74090) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 966 ms. (steps per millisecond=1 ) properties (out of 74088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 958 ms. (steps per millisecond=1 ) properties (out of 74088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 908 ms. (steps per millisecond=1 ) properties (out of 74088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 930 ms. (steps per millisecond=1 ) properties (out of 74088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1005 ms. (steps per millisecond=0 ) properties (out of 74088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 933 ms. (steps per millisecond=1 ) properties (out of 74088) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 933 ms. (steps per millisecond=1 ) properties (out of 74088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 952 ms. (steps per millisecond=1 ) properties (out of 74088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 950 ms. (steps per millisecond=1 ) properties (out of 74088) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 866 ms. (steps per millisecond=1 ) properties (out of 74087) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 929 ms. (steps per millisecond=1 ) properties (out of 74087) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 877 ms. (steps per millisecond=1 ) properties (out of 74086) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 980 ms. (steps per millisecond=1 ) properties (out of 74085) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 964 ms. (steps per millisecond=1 ) properties (out of 74085) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 886 ms. (steps per millisecond=1 ) properties (out of 74085) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 979 ms. (steps per millisecond=1 ) properties (out of 74085) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 892 ms. (steps per millisecond=1 ) properties (out of 74085) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 970 ms. (steps per millisecond=1 ) properties (out of 74085) 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 74085) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 967 ms. (steps per millisecond=1 ) properties (out of 74085) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 941 ms. (steps per millisecond=1 ) properties (out of 74085) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 952 ms. (steps per millisecond=1 ) properties (out of 74084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 933 ms. (steps per millisecond=1 ) properties (out of 74084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1033 ms. (steps per millisecond=0 ) properties (out of 74084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 869 ms. (steps per millisecond=1 ) properties (out of 74084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 971 ms. (steps per millisecond=1 ) properties (out of 74084) 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 74084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 913 ms. (steps per millisecond=1 ) properties (out of 74084) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 920 ms. (steps per millisecond=1 ) properties (out of 74084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 889 ms. (steps per millisecond=1 ) properties (out of 74084) 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 74084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 946 ms. (steps per millisecond=1 ) properties (out of 74084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 889 ms. (steps per millisecond=1 ) properties (out of 74084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 960 ms. (steps per millisecond=1 ) properties (out of 74084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1110 ms. (steps per millisecond=0 ) properties (out of 74084) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 929 ms. (steps per millisecond=1 ) properties (out of 74084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 944 ms. (steps per millisecond=1 ) properties (out of 74084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 906 ms. (steps per millisecond=1 ) properties (out of 74084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 971 ms. (steps per millisecond=1 ) properties (out of 74084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 819 ms. (steps per millisecond=1 ) properties (out of 74084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 932 ms. (steps per millisecond=1 ) properties (out of 74084) 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 74084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 895 ms. (steps per millisecond=1 ) properties (out of 74084) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 949 ms. (steps per millisecond=1 ) properties (out of 74084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 928 ms. (steps per millisecond=1 ) properties (out of 74084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 870 ms. (steps per millisecond=1 ) properties (out of 74084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 847 ms. (steps per millisecond=1 ) properties (out of 74084) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 961 ms. (steps per millisecond=1 ) properties (out of 74083) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 899 ms. (steps per millisecond=1 ) properties (out of 74083) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 925 ms. (steps per millisecond=1 ) properties (out of 74082) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 961 ms. (steps per millisecond=1 ) properties (out of 74082) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 924 ms. (steps per millisecond=1 ) properties (out of 74082) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 871 ms. (steps per millisecond=1 ) properties (out of 74082) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 919 ms. (steps per millisecond=1 ) properties (out of 74082) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1014 ms. (steps per millisecond=0 ) properties (out of 74082) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 884 ms. (steps per millisecond=1 ) properties (out of 74082) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1018 ms. (steps per millisecond=0 ) properties (out of 74082) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 916 ms. (steps per millisecond=1 ) properties (out of 74082) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 983 ms. (steps per millisecond=1 ) properties (out of 74082) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 810 ms. (steps per millisecond=1 ) properties (out of 74081) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 944 ms. (steps per millisecond=1 ) properties (out of 74081) 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 74081) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 976 ms. (steps per millisecond=1 ) properties (out of 74081) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 976 ms. (steps per millisecond=1 ) properties (out of 74081) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1001 ms. (steps per millisecond=1 ) properties (out of 74081) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 963 ms. (steps per millisecond=1 ) properties (out of 74081) 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 74081) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 855 ms. (steps per millisecond=1 ) properties (out of 74081) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 930 ms. (steps per millisecond=1 ) properties (out of 74081) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 904 ms. (steps per millisecond=1 ) properties (out of 74081) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 928 ms. (steps per millisecond=1 ) properties (out of 74081) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1031 ms. (steps per millisecond=0 ) properties (out of 74081) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 951 ms. (steps per millisecond=1 ) properties (out of 74081) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 938 ms. (steps per millisecond=1 ) properties (out of 74081) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 942 ms. (steps per millisecond=1 ) properties (out of 74081) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 921 ms. (steps per millisecond=1 ) properties (out of 74081) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 870 ms. (steps per millisecond=1 ) properties (out of 74081) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 945 ms. (steps per millisecond=1 ) properties (out of 74081) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 986 ms. (steps per millisecond=1 ) properties (out of 74081) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1014 ms. (steps per millisecond=0 ) properties (out of 74081) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 945 ms. (steps per millisecond=1 ) properties (out of 74081) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 901 ms. (steps per millisecond=1 ) properties (out of 74081) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1009 ms. (steps per millisecond=0 ) properties (out of 74081) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 958 ms. (steps per millisecond=1 ) properties (out of 74081) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 973 ms. (steps per millisecond=1 ) properties (out of 74081) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 933 ms. (steps per millisecond=1 ) properties (out of 74081) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 970 ms. (steps per millisecond=1 ) properties (out of 74081) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 916 ms. (steps per millisecond=1 ) properties (out of 74081) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 925 ms. (steps per millisecond=1 ) properties (out of 74081) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 936 ms. (steps per millisecond=1 ) properties (out of 74081) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 890 ms. (steps per millisecond=1 ) properties (out of 74081) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 825 ms. (steps per millisecond=1 ) properties (out of 74081) 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 74081) 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 74081) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 969 ms. (steps per millisecond=1 ) properties (out of 74081) 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 74081) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 946 ms. (steps per millisecond=1 ) properties (out of 74081) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 968 ms. (steps per millisecond=1 ) properties (out of 74080) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 870 ms. (steps per millisecond=1 ) properties (out of 74080) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 941 ms. (steps per millisecond=1 ) properties (out of 74080) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 832 ms. (steps per millisecond=1 ) properties (out of 74080) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 961 ms. (steps per millisecond=1 ) properties (out of 74080) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 990 ms. (steps per millisecond=1 ) properties (out of 74080) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 851 ms. (steps per millisecond=1 ) properties (out of 74079) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1008 ms. (steps per millisecond=0 ) properties (out of 74079) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 993 ms. (steps per millisecond=1 ) properties (out of 74079) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 909 ms. (steps per millisecond=1 ) properties (out of 74079) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1062 ms. (steps per millisecond=0 ) properties (out of 74079) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 939 ms. (steps per millisecond=1 ) properties (out of 74079) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 946 ms. (steps per millisecond=1 ) properties (out of 74079) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 948 ms. (steps per millisecond=1 ) properties (out of 74079) 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 74079) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 943 ms. (steps per millisecond=1 ) properties (out of 74077) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 987 ms. (steps per millisecond=1 ) properties (out of 74075) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 961 ms. (steps per millisecond=1 ) properties (out of 74075) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 907 ms. (steps per millisecond=1 ) properties (out of 74075) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 955 ms. (steps per millisecond=1 ) properties (out of 74075) 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 74075) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 980 ms. (steps per millisecond=1 ) properties (out of 74075) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 943 ms. (steps per millisecond=1 ) properties (out of 74074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 936 ms. (steps per millisecond=1 ) properties (out of 74074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 928 ms. (steps per millisecond=1 ) properties (out of 74074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 974 ms. (steps per millisecond=1 ) properties (out of 74074) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 927 ms. (steps per millisecond=1 ) properties (out of 74073) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 884 ms. (steps per millisecond=1 ) properties (out of 74073) 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 74073) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 896 ms. (steps per millisecond=1 ) properties (out of 74073) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 890 ms. (steps per millisecond=1 ) properties (out of 74073) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 904 ms. (steps per millisecond=1 ) properties (out of 74073) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 834 ms. (steps per millisecond=1 ) properties (out of 74073) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 963 ms. (steps per millisecond=1 ) properties (out of 74073) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1014 ms. (steps per millisecond=0 ) properties (out of 74073) 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 74073) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1029 ms. (steps per millisecond=0 ) properties (out of 74073) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 940 ms. (steps per millisecond=1 ) properties (out of 74073) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1064 ms. (steps per millisecond=0 ) properties (out of 74072) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 915 ms. (steps per millisecond=1 ) properties (out of 74072) 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 74072) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 903 ms. (steps per millisecond=1 ) properties (out of 74072) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 966 ms. (steps per millisecond=1 ) properties (out of 74072) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 931 ms. (steps per millisecond=1 ) properties (out of 74072) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1009 ms. (steps per millisecond=0 ) properties (out of 74072) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 884 ms. (steps per millisecond=1 ) properties (out of 74071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 895 ms. (steps per millisecond=1 ) properties (out of 74071) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 931 ms. (steps per millisecond=1 ) properties (out of 74071) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 924 ms. (steps per millisecond=1 ) properties (out of 74071) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 954 ms. (steps per millisecond=1 ) properties (out of 74071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 935 ms. (steps per millisecond=1 ) properties (out of 74071) 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 74071) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 904 ms. (steps per millisecond=1 ) properties (out of 74071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 990 ms. (steps per millisecond=1 ) properties (out of 74071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 929 ms. (steps per millisecond=1 ) properties (out of 74071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 861 ms. (steps per millisecond=1 ) properties (out of 74071) 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 74071) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 961 ms. (steps per millisecond=1 ) properties (out of 74071) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 871 ms. (steps per millisecond=1 ) properties (out of 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 964 ms. (steps per millisecond=1 ) properties (out of 74070) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 857 ms. (steps per millisecond=1 ) properties (out of 74070) 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 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 986 ms. (steps per millisecond=1 ) properties (out of 74070) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 907 ms. (steps per millisecond=1 ) properties (out of 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 963 ms. (steps per millisecond=1 ) properties (out of 74070) 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 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 948 ms. (steps per millisecond=1 ) properties (out of 74070) 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 74070) 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 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 874 ms. (steps per millisecond=1 ) properties (out of 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 944 ms. (steps per millisecond=1 ) properties (out of 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 959 ms. (steps per millisecond=1 ) properties (out of 74070) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 929 ms. (steps per millisecond=1 ) properties (out of 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 972 ms. (steps per millisecond=1 ) properties (out of 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 971 ms. (steps per millisecond=1 ) properties (out of 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 909 ms. (steps per millisecond=1 ) properties (out of 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 979 ms. (steps per millisecond=1 ) properties (out of 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 931 ms. (steps per millisecond=1 ) properties (out of 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 976 ms. (steps per millisecond=1 ) properties (out of 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 886 ms. (steps per millisecond=1 ) properties (out of 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 907 ms. (steps per millisecond=1 ) properties (out of 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 888 ms. (steps per millisecond=1 ) properties (out of 74070) 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 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1012 ms. (steps per millisecond=0 ) properties (out of 74070) 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 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 880 ms. (steps per millisecond=1 ) properties (out of 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 993 ms. (steps per millisecond=1 ) properties (out of 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 921 ms. (steps per millisecond=1 ) properties (out of 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 940 ms. (steps per millisecond=1 ) properties (out of 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 883 ms. (steps per millisecond=1 ) properties (out of 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 993 ms. (steps per millisecond=1 ) properties (out of 74070) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 941 ms. (steps per millisecond=1 ) properties (out of 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 942 ms. (steps per millisecond=1 ) properties (out of 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 853 ms. (steps per millisecond=1 ) properties (out of 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 899 ms. (steps per millisecond=1 ) properties (out of 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 868 ms. (steps per millisecond=1 ) properties (out of 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 967 ms. (steps per millisecond=1 ) properties (out of 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 943 ms. (steps per millisecond=1 ) properties (out of 74070) 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 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 968 ms. (steps per millisecond=1 ) properties (out of 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 973 ms. (steps per millisecond=1 ) properties (out of 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 808 ms. (steps per millisecond=1 ) properties (out of 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 910 ms. (steps per millisecond=1 ) properties (out of 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 831 ms. (steps per millisecond=1 ) properties (out of 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 912 ms. (steps per millisecond=1 ) properties (out of 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 942 ms. (steps per millisecond=1 ) properties (out of 74070) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 907 ms. (steps per millisecond=1 ) properties (out of 74070) seen :0
Interrupted probabilistic random walk after 5375 steps, run timeout after 30024 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 5375 steps, saw 4716 distinct states, run finished after 30030 ms. (steps per millisecond=0 ) properties seen :{}
Running SMT prover for 74070 properties.
[2022-06-09 07:03:22] [INFO ] Flow matrix only has 100545 transitions (discarded 41254 similar events)
// Phase 1: matrix 100545 rows 1862 cols
[2022-06-09 07:03:22] [INFO ] Computed 15 place invariants in 441 ms
[2022-06-09 07:07:07] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 74070 Parikh solutions to 1 different solutions.
Support contains 1861 out of 1862 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1862/1862 places, 141799/141799 transitions.
Applied a total of 0 rules in 665 ms. Remains 1862 /1862 variables (removed 0) and now considering 141799/141799 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1862/1862 places, 141799/141799 transitions.
[2022-06-09 07:07:14] [INFO ] Flatten gal took : 5156 ms
[2022-06-09 07:07:19] [INFO ] Flatten gal took : 4442 ms
[2022-06-09 07:07:19] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality5792982411301769084.gal : 352 ms
[2022-06-09 07:07:19] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality15274940989496310468.prop : 87 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/ReachabilityCardinality5792982411301769084.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality15274940989496310468.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/ReachabilityCardinality5792982411301769084.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality15274940989496310468.prop --nowitness --gen-order FOLLOW
Detected timeout of ITS tools.
[2022-06-09 07:07:44] [INFO ] Flatten gal took : 5045 ms
[2022-06-09 07:07:44] [INFO ] Applying decomposition
[2022-06-09 07:07:53] [INFO ] Flatten gal took : 9096 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/graph16069969599065119504.txt, -o, /tmp/graph16069969599065119504.bin, -w, /tmp/graph16069969599065119504.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/graph16069969599065119504.bin, -l, -1, -v, -w, /tmp/graph16069969599065119504.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-06-09 07:08:18] [INFO ] Decomposing Gal with order
[2022-06-09 07:08:18] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 07:08:52] [INFO ] Removed a total of 318940 redundant transitions.
[2022-06-09 07:08:56] [INFO ] Flatten gal took : 32508 ms
[2022-06-09 07:09:14] [INFO ] Fuse similar labels procedure discarded/fused a total of 7636 labels/synchronizations in 8461 ms.

BK_TIME_CONFINEMENT_REACHED

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

+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ QuasiLiveness = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination QuasiLiveness -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="RERS2020-PT-pb109"
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-pb109, 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-165472293700432"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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