Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r249-tall-167856436300513.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is MultiCrashLeafsetExtension-PT-S24C04, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r249-tall-167856436300513
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 11M
-rw-r--r-- 1 mcc users 15K Feb 26 03:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 91K Feb 26 03:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 03:07 CTLFireability.txt
-rw-r--r-- 1 mcc users 67K Feb 26 03:07 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 16:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:24 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:24 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 03:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 26 03:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 03:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 26 03:15 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.6K Feb 25 16:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 10M Mar 5 18:22 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 StableMarking

=== Now, execution of the tool begins

BK_START 1678739837945

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=MultiCrashLeafsetExtension-PT-S24C04
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 20:37:19] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -timeout, 180, -rebuildPNML]
[2023-03-13 20:37:19] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 20:37:19] [INFO ] Load time of PNML (sax parser for PT used): 365 ms
[2023-03-13 20:37:19] [INFO ] Transformed 9748 places.
[2023-03-13 20:37:19] [INFO ] Transformed 14659 transitions.
[2023-03-13 20:37:19] [INFO ] Parsed PT model containing 9748 places and 14659 transitions and 58838 arcs in 619 ms.
Incomplete random walk after 10000 steps, including 241 resets, run finished after 4524 ms. (steps per millisecond=2 ) properties (out of 9748) seen :3645
Running SMT prover for 6103 properties.
[2023-03-13 20:37:24] [INFO ] Flow matrix only has 14059 transitions (discarded 600 similar events)
// Phase 1: matrix 14059 rows 9748 cols
[2023-03-13 20:37:25] [INFO ] Computed 921 place invariants in 781 ms
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.assertInvariants(DeadlockTester.java:2340)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:618)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:339)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:386)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-13 20:37:58] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 20:37:58] [INFO ] After 25094ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 6103 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 2 ms.
Support contains 6103 out of 9748 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9748/9748 places, 14659/14659 transitions.
Graph (complete) has 33897 edges and 9748 vertex of which 9712 are kept as prefixes of interest. Removing 36 places using SCC suffix rule.40 ms
Discarding 36 places :
Also discarding 0 output transitions
Drop transitions removed 734 transitions
Trivial Post-agglo rules discarded 734 transitions
Performed 734 trivial Post agglomeration. Transition count delta: 734
Iterating post reduction 0 with 734 rules applied. Total rules applied 735 place count 9712 transition count 13925
Reduce places removed 734 places and 0 transitions.
Iterating post reduction 1 with 734 rules applied. Total rules applied 1469 place count 8978 transition count 13925
Performed 160 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 160 Pre rules applied. Total rules applied 1469 place count 8978 transition count 13765
Deduced a syphon composed of 160 places in 12 ms
Reduce places removed 160 places and 0 transitions.
Iterating global reduction 2 with 320 rules applied. Total rules applied 1789 place count 8818 transition count 13765
Discarding 574 places :
Symmetric choice reduction at 2 with 574 rule applications. Total rules 2363 place count 8244 transition count 13191
Iterating global reduction 2 with 574 rules applied. Total rules applied 2937 place count 8244 transition count 13191
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 9 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 2941 place count 8242 transition count 13189
Free-agglomeration rule (complex) applied 506 times.
Iterating global reduction 2 with 506 rules applied. Total rules applied 3447 place count 8242 transition count 12683
Reduce places removed 506 places and 0 transitions.
Iterating post reduction 2 with 506 rules applied. Total rules applied 3953 place count 7736 transition count 12683
Partial Free-agglomeration rule applied 160 times.
Drop transitions removed 160 transitions
Iterating global reduction 3 with 160 rules applied. Total rules applied 4113 place count 7736 transition count 12683
Applied a total of 4113 rules in 2500 ms. Remains 7736 /9748 variables (removed 2012) and now considering 12683/14659 (removed 1976) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2502 ms. Remains : 7736/9748 places, 12683/14659 transitions.
Interrupted random walk after 117347 steps, including 3838 resets, run timeout after 30001 ms. (steps per millisecond=3 ) properties seen 3194
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2909) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2909) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2909) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2909) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2907) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2907) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2907) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2905) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2905) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2905) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2905) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2905) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2905) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2905) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2905) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2905) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2905) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2905) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2905) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2905) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2905) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2903) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2901) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2901) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2901) seen :2
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2899) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2897) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2897) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2897) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2897) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2895) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2895) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2895) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2895) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2895) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2895) seen :4
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2891) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2891) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2890) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2890) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2890) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2888) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2886) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2886) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2886) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2886) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2886) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2886) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2886) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2886) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2886) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2886) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2886) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2886) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2886) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2886) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2886) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2886) seen :5
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2881) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2881) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2881) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2881) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2881) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2881) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2881) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2881) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2881) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2881) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2881) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2881) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2879) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2879) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2879) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2879) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2879) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2877) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2875) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2875) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2875) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2875) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2875) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2875) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2875) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2875) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2875) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2875) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2875) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2875) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2875) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2875) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2875) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2875) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2875) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2875) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2875) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2875) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2875) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2873) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2873) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2873) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2873) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2871) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2871) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2869) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2869) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2869) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2869) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2869) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2869) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2869) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2869) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2869) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2867) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2867) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2867) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2867) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2867) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2867) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2867) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2867) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2865) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2865) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2865) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2865) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2865) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2865) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2865) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2864) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2864) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2864) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2864) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2864) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2864) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2862) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2862) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2860) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2860) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2860) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2860) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2858) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2856) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2856) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2856) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2856) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2856) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2854) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2854) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2854) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2854) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2854) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2854) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2854) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2852) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2850) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2850) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2850) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2850) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2850) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2850) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2850) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2850) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2850) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2850) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2850) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2850) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2848) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2848) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2848) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2848) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2848) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2848) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2848) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2848) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2848) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2848) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2848) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2848) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2846) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2846) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2844) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2844) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2844) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2844) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2844) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2842) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2842) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2842) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2842) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2842) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2842) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2842) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2840) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2838) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2838) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2838) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2838) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2838) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2838) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2836) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2836) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2836) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2836) seen :2
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2834) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2834) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2834) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2834) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2834) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2834) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2834) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2834) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2832) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2832) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2832) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2832) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2830) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2829) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2829) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2829) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2829) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2829) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2827) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2827) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2827) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2827) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2825) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2825) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2825) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2825) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2825) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2825) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2823) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2823) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2823) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2823) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2823) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2823) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2823) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2823) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2823) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2823) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2823) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2821) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2821) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2821) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2821) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2821) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2821) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2821) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2821) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2821) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2821) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2821) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2821) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2821) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2821) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2821) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2821) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2821) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2821) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2821) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2821) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2821) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2821) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2821) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2821) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2821) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2819) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2819) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2819) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2819) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2819) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2819) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2819) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2819) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2819) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2819) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2819) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2817) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2817) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2817) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2817) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2817) seen :6
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2811) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2811) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2811) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2811) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2809) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2809) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2809) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2809) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2809) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2809) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2809) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2809) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2809) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2809) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2809) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2809) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2807) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2807) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2807) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2807) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2807) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2805) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2805) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2805) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2805) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2805) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2805) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2805) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2805) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2805) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2805) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2803) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2803) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2803) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2803) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2803) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2803) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2803) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2803) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2801) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2801) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2801) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2801) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2799) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2799) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2799) seen :2
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2797) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2797) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2795) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2795) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2795) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2793) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2793) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2792) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2792) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2792) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2792) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2792) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2792) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2792) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2792) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2792) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2792) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2792) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2792) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2792) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2792) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2792) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2792) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2792) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2792) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2792) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2790) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2790) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2790) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2790) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2790) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2790) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2790) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2790) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2790) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2788) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2788) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2788) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2788) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2788) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2788) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2788) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2788) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2788) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2788) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2788) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2788) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2788) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2788) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2788) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2788) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2788) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2786) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2786) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2784) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2784) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2784) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2784) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2782) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2782) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2782) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2782) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2782) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2782) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2780) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2778) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2778) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2778) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2778) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2778) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2778) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2776) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2776) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2776) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2776) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2776) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2776) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2776) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2776) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2774) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2774) seen :4
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2770) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2770) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2770) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2770) seen :4
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2766) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2766) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2766) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2766) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2766) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2766) seen :4
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2762) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2762) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2762) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2760) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2760) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2760) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2760) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2760) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2760) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2760) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2760) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2760) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2760) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2760) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2760) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2760) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2760) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2760) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2758) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2758) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2758) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2757) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2755) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2755) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2755) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2753) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2753) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2752) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2752) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2752) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2752) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2752) seen :4
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2748) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2748) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2748) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2746) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2745) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2745) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2745) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2745) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2745) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2745) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2745) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2745) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2745) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2745) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2745) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2745) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2745) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2745) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2745) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2745) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2743) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2743) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2743) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2743) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2743) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2743) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2743) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2743) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2741) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2739) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2739) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2739) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2739) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2739) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2739) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2739) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2739) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2739) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2739) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2737) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2735) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2733) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2733) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2733) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2731) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2729) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2729) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2729) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2727) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2727) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2727) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2725) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2725) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2725) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2723) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2721) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2721) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2721) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2721) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2721) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2721) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2721) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2721) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2721) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2721) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2721) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2721) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2721) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2719) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2719) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2717) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2717) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2715) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2715) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2715) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2715) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2715) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2715) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2713) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2713) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2713) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2713) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2713) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2713) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2713) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2713) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2713) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2713) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2713) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2711) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2711) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2711) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2711) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2711) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2711) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2711) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2711) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2711) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2711) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2709) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2709) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2709) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2709) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2709) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2709) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2709) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2709) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2707) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2707) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2707) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2707) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2707) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2707) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2707) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2705) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2705) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2705) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2703) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2703) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2703) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2703) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2703) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2703) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2703) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2703) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2701) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2701) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2701) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2701) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2701) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2699) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2699) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2699) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2697) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2697) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2697) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2697) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2697) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2697) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2697) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2697) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2697) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2697) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2697) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2697) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2697) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2697) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2695) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2695) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2695) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2695) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2695) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2695) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2695) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2695) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2695) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2695) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2695) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2695) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2695) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2695) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2695) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2693) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2693) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2693) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2693) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2693) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2693) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2693) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2691) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2691) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2689) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2689) seen :2
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2687) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2687) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2687) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2687) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2687) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2687) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2687) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2687) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2687) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2687) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2685) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2683) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2683) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2683) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2683) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2683) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2683) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2683) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2683) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2683) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2683) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2681) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2681) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2679) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2679) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2679) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2677) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2677) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2677) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2675) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2675) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2675) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2675) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2675) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2675) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2675) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2675) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2675) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2675) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2675) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2675) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2675) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2675) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2675) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2675) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2675) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2675) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2673) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2673) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2673) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2673) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2673) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2673) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2673) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2671) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2671) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2671) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2671) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2669) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2669) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2669) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2669) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2669) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2669) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2667) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2667) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2667) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2667) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2665) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2665) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2665) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2665) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2665) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2665) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2665) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2665) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2665) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2665) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2665) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2665) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2665) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2665) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2665) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2665) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2665) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2665) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2665) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2665) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2665) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2664) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2664) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2664) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2664) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2664) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2664) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2664) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2664) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2664) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2664) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2662) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2662) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2662) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2662) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2660) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2660) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2658) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2658) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2658) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2658) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2658) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2658) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2658) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2658) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2658) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2658) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2658) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2656) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2656) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2654) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2654) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2654) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2654) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2652) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2652) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2652) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2652) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2652) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2652) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2652) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2652) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2652) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2652) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2650) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2650) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2650) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2650) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2650) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2650) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2650) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2650) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2650) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2650) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2650) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2650) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2650) seen :3
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2647) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2647) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2647) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2647) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2647) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2647) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2647) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2647) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2647) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2647) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2647) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2647) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2647) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2647) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2647) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2647) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2647) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2647) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2645) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2645) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2645) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2645) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2645) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2645) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2645) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2643) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2643) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2643) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2643) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2643) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2643) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2643) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2643) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2641) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2641) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2641) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2641) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2641) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2640) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2640) seen :3
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2637) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2637) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2637) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2637) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2635) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2635) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2633) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2633) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2633) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2633) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2633) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2633) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2633) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2633) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2633) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2633) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2633) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2633) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2633) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2633) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2633) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2633) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2633) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2633) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2631) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2631) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2631) seen :1
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2630) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2630) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2630) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2630) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2630) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2630) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2628) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2628) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2628) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2628) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2628) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2628) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2628) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2628) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2628) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2628) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2628) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2628) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2628) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2628) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2628) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2628) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2626) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2626) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2626) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2626) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2626) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2626) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2626) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2626) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2626) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2626) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2626) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2626) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2625) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2625) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2625) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2625) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2625) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2625) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2623) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2623) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2621) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2621) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2621) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2621) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2621) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2621) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2621) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2621) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2621) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2621) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2621) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2621) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2620) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2620) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2620) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2618) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2616) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2616) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2616) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2616) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2616) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2616) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2616) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2615) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2613) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2613) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2613) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2613) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2613) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2613) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2613) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2613) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2611) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2611) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2611) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2611) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2609) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2609) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2609) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2609) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2607) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2607) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2607) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2607) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2607) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2607) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2607) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2607) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2607) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2607) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2606) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2606) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2606) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2606) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2606) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2606) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2606) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2606) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2606) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2606) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2606) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2606) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2606) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2604) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2604) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2604) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2604) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2604) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2604) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2604) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2604) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2604) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2604) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2604) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2604) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2604) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2604) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2604) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2604) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2604) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2604) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2604) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2604) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2604) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2604) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2604) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2602) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2602) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2602) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2602) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2602) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2602) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2602) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2600) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2600) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2600) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2600) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2600) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2600) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2600) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2600) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2600) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2600) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2600) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2600) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2600) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2600) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2600) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2600) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2600) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2600) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2600) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2600) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2598) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2598) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2598) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2598) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2596) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2596) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2596) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2596) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2596) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2596) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2596) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2596) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2596) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2596) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2596) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2596) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2594) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2594) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2594) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2594) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2594) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2592) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2592) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2592) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2591) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2591) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2589) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2589) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2589) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2589) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2589) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2589) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2589) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2589) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2589) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2589) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2589) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 2589) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2587) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2587) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2587) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2587) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2587) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2587) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2587) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2585) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2585) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2585) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2583) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2581) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2581) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2581) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2581) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2581) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2581) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2581) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2581) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2581) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2579) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2577) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2577) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2577) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2577) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2577) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2575) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2575) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2573) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2573) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2573) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2573) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2573) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2571) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2571) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2571) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2571) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2571) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2571) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2571) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2571) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2571) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2571) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2571) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2571) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2571) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2571) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2571) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2571) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2571) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2569) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2569) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2569) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2569) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2569) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2569) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2569) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2569) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2569) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 2567) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2567) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2567) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2567) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2567) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2567) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2567) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2567) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2565) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2565) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2565) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2565) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2565) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2563) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2563) seen :0
Running SMT prover for 2563 properties.
[2023-03-13 20:39:02] [INFO ] Flow matrix only has 12064 transitions (discarded 619 similar events)
// Phase 1: matrix 12064 rows 7736 cols
[2023-03-13 20:39:02] [INFO ] Computed 885 place invariants in 546 ms
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.assertInvariants(DeadlockTester.java:2340)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:618)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:339)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:386)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-13 20:42:50] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 20:42:50] [INFO ] After 225032ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 2563 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 2563 out of 7736 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7736/7736 places, 12683/12683 transitions.
Drop transitions removed 1502 transitions
Trivial Post-agglo rules discarded 1502 transitions
Performed 1502 trivial Post agglomeration. Transition count delta: 1502
Iterating post reduction 0 with 1502 rules applied. Total rules applied 1502 place count 7736 transition count 11181
Reduce places removed 1502 places and 0 transitions.
Iterating post reduction 1 with 1502 rules applied. Total rules applied 3004 place count 6234 transition count 11181
Performed 40 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 40 Pre rules applied. Total rules applied 3004 place count 6234 transition count 11141
Deduced a syphon composed of 40 places in 6 ms
Reduce places removed 40 places and 0 transitions.
Iterating global reduction 2 with 80 rules applied. Total rules applied 3084 place count 6194 transition count 11141
Discarding 1302 places :
Symmetric choice reduction at 2 with 1302 rule applications. Total rules 4386 place count 4892 transition count 9839
Iterating global reduction 2 with 1302 rules applied. Total rules applied 5688 place count 4892 transition count 9839
Discarding 38 places :
Symmetric choice reduction at 2 with 38 rule applications. Total rules 5726 place count 4854 transition count 9687
Iterating global reduction 2 with 38 rules applied. Total rules applied 5764 place count 4854 transition count 9687
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 6 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 5768 place count 4852 transition count 9685
Free-agglomeration rule (complex) applied 124 times.
Iterating global reduction 2 with 124 rules applied. Total rules applied 5892 place count 4852 transition count 9675
Reduce places removed 124 places and 0 transitions.
Iterating post reduction 2 with 124 rules applied. Total rules applied 6016 place count 4728 transition count 9675
Discarding 145 places :
Symmetric choice reduction at 3 with 145 rule applications. Total rules 6161 place count 4583 transition count 9530
Iterating global reduction 3 with 145 rules applied. Total rules applied 6306 place count 4583 transition count 9530
Partial Free-agglomeration rule applied 50 times.
Drop transitions removed 50 transitions
Iterating global reduction 3 with 50 rules applied. Total rules applied 6356 place count 4583 transition count 9530
Discarding 15 places :
Symmetric choice reduction at 3 with 15 rule applications. Total rules 6371 place count 4568 transition count 9515
Iterating global reduction 3 with 15 rules applied. Total rules applied 6386 place count 4568 transition count 9515
Applied a total of 6386 rules in 1604 ms. Remains 4568 /7736 variables (removed 3168) and now considering 9515/12683 (removed 3168) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1604 ms. Remains : 4568/7736 places, 9515/12683 transitions.
Interrupted random walk after 174683 steps, including 6922 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 216
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 2347) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2345) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 2345) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2345) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2345) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2345) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2345) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2345) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 2345) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2345) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2345) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2345) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2345) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2345) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2345) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2345) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2345) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2345) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2345) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2345) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2345) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2345) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2345) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2345) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2345) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2345) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 2345) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2345) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2343) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2343) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2343) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2343) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2341) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2341) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2341) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2341) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2341) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2341) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2341) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2341) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2341) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2341) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2341) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2341) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2341) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2339) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2339) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2339) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 2339) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2339) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2339) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2339) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2339) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2339) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2339) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2339) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2339) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2339) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2339) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2339) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2339) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2339) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2339) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2339) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 2339) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2339) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2339) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2339) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2339) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 2339) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2339) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2339) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2337) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2337) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2337) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2337) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2337) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2337) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2337) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2337) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2337) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2337) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2337) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2337) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2337) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2337) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2337) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2335) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2335) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2335) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2335) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2335) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2335) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2335) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2335) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2335) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2335) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2335) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 2335) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2335) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2335) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2335) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2335) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2335) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2335) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2333) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2333) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2333) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2333) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2333) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2333) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2333) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2333) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2333) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2333) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2333) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2333) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2331) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2331) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2331) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2331) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2329) seen :0
Running SMT prover for 2329 properties.
[2023-03-13 20:43:26] [INFO ] Flow matrix only has 8853 transitions (discarded 662 similar events)
// Phase 1: matrix 8853 rows 4568 cols
[2023-03-13 20:43:26] [INFO ] Computed 885 place invariants in 226 ms
[2023-03-13 20:46:10] [INFO ] After 162182ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2329
[2023-03-13 20:48:19] [INFO ] [Nat]Absence check using 49 positive place invariants in 149 ms returned sat
[2023-03-13 20:48:19] [INFO ] [Nat]Absence check using 49 positive and 836 generalized place invariants in 234 ms returned sat
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:629)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:350)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:386)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-13 20:49:55] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 20:49:55] [INFO ] After 225066ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:2329
Fused 2329 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 2329 out of 4568 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4568/4568 places, 9515/9515 transitions.
Drop transitions removed 111 transitions
Trivial Post-agglo rules discarded 111 transitions
Performed 111 trivial Post agglomeration. Transition count delta: 111
Iterating post reduction 0 with 111 rules applied. Total rules applied 111 place count 4568 transition count 9404
Reduce places removed 111 places and 0 transitions.
Iterating post reduction 1 with 111 rules applied. Total rules applied 222 place count 4457 transition count 9404
Discarding 65 places :
Symmetric choice reduction at 2 with 65 rule applications. Total rules 287 place count 4392 transition count 9339
Iterating global reduction 2 with 65 rules applied. Total rules applied 352 place count 4392 transition count 9339
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 2 with 3 rules applied. Total rules applied 355 place count 4392 transition count 9336
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 358 place count 4389 transition count 9336
Partial Free-agglomeration rule applied 46 times.
Drop transitions removed 46 transitions
Iterating global reduction 3 with 46 rules applied. Total rules applied 404 place count 4389 transition count 9336
Discarding 46 places :
Symmetric choice reduction at 3 with 46 rule applications. Total rules 450 place count 4343 transition count 9290
Iterating global reduction 3 with 46 rules applied. Total rules applied 496 place count 4343 transition count 9290
Applied a total of 496 rules in 1136 ms. Remains 4343 /4568 variables (removed 225) and now considering 9290/9515 (removed 225) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1136 ms. Remains : 4343/4568 places, 9290/9515 transitions.
Interrupted random walk after 185424 steps, including 7358 resets, run timeout after 30001 ms. (steps per millisecond=6 ) properties seen 79
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2250) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2250) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2250) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2250) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2250) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2250) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 2250) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2250) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2250) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2250) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2250) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2250) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2250) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2250) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2250) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2250) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2250) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2250) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2250) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2250) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2250) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2250) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2250) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2250) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2250) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2250) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2250) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2250) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2250) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2250) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2250) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2248) seen :0
Interrupted probabilistic random walk after 465112 steps, run timeout after 93001 ms. (steps per millisecond=5 ) properties seen :{1121=1, 1122=1, 1191=1, 1192=1, 1253=1, 1254=1, 1537=1, 1538=1, 1588=1, 1589=1, 1687=1, 1688=1, 1704=1, 1705=1}
Probabilistic random walk after 465112 steps, saw 205110 distinct states, run finished after 93004 ms. (steps per millisecond=5 ) properties seen :14
Running SMT prover for 2234 properties.
[2023-03-13 20:52:01] [INFO ] Flow matrix only has 8625 transitions (discarded 665 similar events)
// Phase 1: matrix 8625 rows 4343 cols
[2023-03-13 20:52:01] [INFO ] Computed 885 place invariants in 229 ms
[2023-03-13 20:54:43] [INFO ] After 159622ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2234
[2023-03-13 20:56:42] [INFO ] [Nat]Absence check using 49 positive place invariants in 148 ms returned sat
[2023-03-13 20:56:42] [INFO ] [Nat]Absence check using 49 positive and 836 generalized place invariants in 216 ms returned sat
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:629)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:350)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:386)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-13 20:58:28] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 20:58:28] [INFO ] After 225040ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:2234
Fused 2234 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 2234 out of 4343 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4343/4343 places, 9290/9290 transitions.
Drop transitions removed 43 transitions
Trivial Post-agglo rules discarded 43 transitions
Performed 43 trivial Post agglomeration. Transition count delta: 43
Iterating post reduction 0 with 43 rules applied. Total rules applied 43 place count 4343 transition count 9247
Reduce places removed 43 places and 0 transitions.
Iterating post reduction 1 with 43 rules applied. Total rules applied 86 place count 4300 transition count 9247
Discarding 15 places :
Symmetric choice reduction at 2 with 15 rule applications. Total rules 101 place count 4285 transition count 9232
Iterating global reduction 2 with 15 rules applied. Total rules applied 116 place count 4285 transition count 9232
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 2 with 2 rules applied. Total rules applied 118 place count 4285 transition count 9230
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 120 place count 4283 transition count 9230
Partial Free-agglomeration rule applied 28 times.
Drop transitions removed 28 transitions
Iterating global reduction 3 with 28 rules applied. Total rules applied 148 place count 4283 transition count 9230
Discarding 28 places :
Symmetric choice reduction at 3 with 28 rule applications. Total rules 176 place count 4255 transition count 9202
Iterating global reduction 3 with 28 rules applied. Total rules applied 204 place count 4255 transition count 9202
Applied a total of 204 rules in 1052 ms. Remains 4255 /4343 variables (removed 88) and now considering 9202/9290 (removed 88) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1053 ms. Remains : 4255/4343 places, 9202/9290 transitions.
Interrupted random walk after 188324 steps, including 7477 resets, run timeout after 30001 ms. (steps per millisecond=6 ) properties seen 17
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2217) seen :0
Interrupted probabilistic random walk after 478143 steps, run timeout after 93001 ms. (steps per millisecond=5 ) properties seen :{}
Probabilistic random walk after 478143 steps, saw 210561 distinct states, run finished after 93002 ms. (steps per millisecond=5 ) properties seen :0
Running SMT prover for 2217 properties.
[2023-03-13 21:00:33] [INFO ] Flow matrix only has 8535 transitions (discarded 667 similar events)
// Phase 1: matrix 8535 rows 4255 cols
[2023-03-13 21:00:33] [INFO ] Computed 885 place invariants in 219 ms
[2023-03-13 21:03:08] [INFO ] After 153327ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2217
[2023-03-13 21:05:02] [INFO ] [Nat]Absence check using 49 positive place invariants in 150 ms returned sat
[2023-03-13 21:05:02] [INFO ] [Nat]Absence check using 49 positive and 836 generalized place invariants in 224 ms returned sat
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.checkResults(DeadlockTester.java:797)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:621)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:350)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:386)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-13 21:06:53] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 21:06:53] [INFO ] After 225022ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:2217
Fused 2217 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 2217 out of 4255 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4255/4255 places, 9202/9202 transitions.
Drop transitions removed 6 transitions
Trivial Post-agglo rules discarded 6 transitions
Performed 6 trivial Post agglomeration. Transition count delta: 6
Iterating post reduction 0 with 6 rules applied. Total rules applied 6 place count 4255 transition count 9196
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 1 with 6 rules applied. Total rules applied 12 place count 4249 transition count 9196
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 13 place count 4249 transition count 9195
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 14 place count 4248 transition count 9195
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 15 place count 4247 transition count 9194
Iterating global reduction 3 with 1 rules applied. Total rules applied 16 place count 4247 transition count 9194
Partial Free-agglomeration rule applied 5 times.
Drop transitions removed 5 transitions
Iterating global reduction 3 with 5 rules applied. Total rules applied 21 place count 4247 transition count 9194
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 26 place count 4242 transition count 9189
Iterating global reduction 3 with 5 rules applied. Total rules applied 31 place count 4242 transition count 9189
Applied a total of 31 rules in 1061 ms. Remains 4242 /4255 variables (removed 13) and now considering 9189/9202 (removed 13) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1061 ms. Remains : 4242/4255 places, 9189/9202 transitions.
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393216 kB
MemFree: 14036060 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16120536 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StableMarking -timeout 180 -rebuildPNML

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="MultiCrashLeafsetExtension-PT-S24C04"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="smartxred"
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-5348"
echo " Executing tool smartxred"
echo " Input is MultiCrashLeafsetExtension-PT-S24C04, examination is StableMarking"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r249-tall-167856436300513"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C04.tgz
mv MultiCrashLeafsetExtension-PT-S24C04 execution
cd execution
if [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "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 [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "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 "StableMarking.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StableMarking.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StableMarking.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 '' StableMarking.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
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 ;