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.r248-tall-167856435400513.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 marciexred
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 r248-tall-167856435400513
=====================================================================

--------------------
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 1678732118113

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=marciexred
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=MultiCrashLeafsetExtension-PT-S24C04
Applying reductions before tool marcie
Invoking reducer
Running Version 202303021504
[2023-03-13 18:28:39] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -timeout, 180, -rebuildPNML]
[2023-03-13 18:28:39] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 18:28:39] [INFO ] Load time of PNML (sax parser for PT used): 378 ms
[2023-03-13 18:28:39] [INFO ] Transformed 9748 places.
[2023-03-13 18:28:40] [INFO ] Transformed 14659 transitions.
[2023-03-13 18:28:40] [INFO ] Parsed PT model containing 9748 places and 14659 transitions and 58838 arcs in 507 ms.
Incomplete random walk after 10000 steps, including 240 resets, run finished after 6044 ms. (steps per millisecond=1 ) properties (out of 9748) seen :3641
Running SMT prover for 6107 properties.
[2023-03-13 18:28:46] [INFO ] Flow matrix only has 14059 transitions (discarded 600 similar events)
// Phase 1: matrix 14059 rows 9748 cols
[2023-03-13 18:28:47] [INFO ] Computed 921 place invariants in 763 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 18:29:20] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 18:29:20] [INFO ] After 25123ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 6107 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 2 ms.
Support contains 6107 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.36 ms
Discarding 36 places :
Also discarding 0 output transitions
Drop transitions removed 735 transitions
Trivial Post-agglo rules discarded 735 transitions
Performed 735 trivial Post agglomeration. Transition count delta: 735
Iterating post reduction 0 with 735 rules applied. Total rules applied 736 place count 9712 transition count 13924
Reduce places removed 735 places and 0 transitions.
Iterating post reduction 1 with 735 rules applied. Total rules applied 1471 place count 8977 transition count 13924
Performed 165 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 165 Pre rules applied. Total rules applied 1471 place count 8977 transition count 13759
Deduced a syphon composed of 165 places in 16 ms
Reduce places removed 165 places and 0 transitions.
Iterating global reduction 2 with 330 rules applied. Total rules applied 1801 place count 8812 transition count 13759
Discarding 570 places :
Symmetric choice reduction at 2 with 570 rule applications. Total rules 2371 place count 8242 transition count 13189
Iterating global reduction 2 with 570 rules applied. Total rules applied 2941 place count 8242 transition count 13189
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Deduced a syphon composed of 3 places in 10 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 2 with 6 rules applied. Total rules applied 2947 place count 8239 transition count 13186
Free-agglomeration rule (complex) applied 500 times.
Iterating global reduction 2 with 500 rules applied. Total rules applied 3447 place count 8239 transition count 12686
Reduce places removed 500 places and 0 transitions.
Iterating post reduction 2 with 500 rules applied. Total rules applied 3947 place count 7739 transition count 12686
Partial Free-agglomeration rule applied 165 times.
Drop transitions removed 165 transitions
Iterating global reduction 3 with 165 rules applied. Total rules applied 4112 place count 7739 transition count 12686
Applied a total of 4112 rules in 3094 ms. Remains 7739 /9748 variables (removed 2009) and now considering 12686/14659 (removed 1973) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3097 ms. Remains : 7739/9748 places, 12686/14659 transitions.
Interrupted random walk after 125186 steps, including 4097 resets, run timeout after 30001 ms. (steps per millisecond=4 ) properties seen 3275
Incomplete Best-First random walk after 1000 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 26 ms. (steps per millisecond=38 ) properties (out of 2830) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2828) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2826) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2825) 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 2823) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2823) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2823) 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 2823) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2823) 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 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 32 ms. (steps per millisecond=31 ) properties (out of 2821) 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 2819) 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 2817) 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 2817) 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 2817) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2817) 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 2817) 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 2817) 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 2817) 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 2817) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) 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 30 ms. (steps per millisecond=33 ) properties (out of 2817) 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 2817) 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 2815) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2815) 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 2815) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2815) 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 2815) 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 2813) 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 2813) 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 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 :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2807) 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 2807) 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 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 31 ms. (steps per millisecond=32 ) properties (out of 2805) 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 2805) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2805) 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 2805) 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 2805) 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 2805) 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 2805) 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 2803) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) 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 31 ms. (steps per millisecond=32 ) 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 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 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 31 ms. (steps per millisecond=32 ) properties (out of 2803) 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 2803) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2801) 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 2801) 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 2801) 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 2801) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2801) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2799) 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 2799) 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 2797) 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 2797) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2797) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 2797) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 2797) 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 2797) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2797) 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 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 :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 :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2797) 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 2797) 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 2795) seen :2
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2793) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 32 ms. (steps per millisecond=31 ) 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 33 ms. (steps per millisecond=30 ) 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 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 31 ms. (steps per millisecond=32 ) properties (out of 2792) 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 2790) 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 2790) 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 2790) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2790) seen :1
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2789) 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 2789) 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 2787) 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 2787) 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 2787) 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 2787) 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 2787) 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 2787) 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 2785) 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 2785) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2785) 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 2785) 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 2783) 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 2783) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2781) 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 2779) 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 2779) 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 2779) 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 2779) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2777) 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 2777) 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 2777) 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 2775) 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 2775) 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 2775) 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 2775) 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 2775) 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 2775) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2775) 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 2775) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2774) 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 2774) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2774) 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 2774) 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 2774) 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 2774) 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 2774) 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 2774) 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 2774) 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 2774) 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 2774) 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 2774) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2773) 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 2773) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2773) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2771) 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 2771) 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 2771) 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 2769) 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 2769) 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 2769) 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 2769) 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 2769) 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 2769) 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 2769) 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 2767) 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 2767) 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 2765) 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 2765) 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 2765) 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 2765) 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 2765) 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 2765) 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 2765) 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 2765) 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 2765) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2765) 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 2765) 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 2765) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2763) 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 2763) 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 2763) 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 2763) 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 2763) 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 2761) 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 2761) 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 2761) 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 2759) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2759) 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 2759) 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 2759) 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 2759) 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 2757) 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 2757) 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 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 31 ms. (steps per millisecond=32 ) properties (out of 2755) 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 2755) 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 2753) 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 2753) 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 2753) 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 2753) 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 2753) 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 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 :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2753) 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 2753) 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 2753) 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 2753) 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 2753) 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 2753) 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 2753) 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 2753) 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 2753) 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 2753) 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 2753) 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 2753) 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 2753) 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 2753) 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 2753) 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 2753) 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 2753) 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 2753) 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 2753) 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 2753) 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 2751) 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 2751) 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 2751) 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 2751) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2751) 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 2749) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2749) 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 2749) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2749) 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 2749) 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 2749) 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 2747) 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 2747) 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 2747) 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 2747) 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 2747) 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 2747) 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 2747) 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 2747) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2747) seen :2
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 32 ms. (steps per millisecond=31 ) 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 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 29 ms. (steps per millisecond=34 ) properties (out of 2745) 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 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 30 ms. (steps per millisecond=33 ) 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 30 ms. (steps per millisecond=33 ) properties (out of 2743) 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 2743) 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 2741) 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 2741) 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 2741) 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 2741) 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 2741) 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 2741) 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 2741) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 2741) 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 2741) 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 2741) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2741) 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 2741) 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 2741) 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 2741) 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 2741) 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 2741) 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 2741) seen :0
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 :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2741) 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 2741) 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 2741) seen :0
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 :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2741) 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 2741) 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 2741) 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 2741) 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 2741) seen :0
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 :0
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 :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2741) 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 2739) seen :4
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2735) 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 2735) 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 2733) 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 2733) 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 2733) 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 2733) 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 2731) seen :3
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2728) 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 2728) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2728) 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 2728) 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 2728) 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 2726) 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 2726) 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 2726) 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 2726) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2726) 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 2726) 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 2726) 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 2726) 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 2724) 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 2724) 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 2724) 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 2724) 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 2724) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2724) 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 2724) 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 2724) 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 2722) 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 2722) 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 2722) 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 2722) 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 2722) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2722) 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 2722) 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 2722) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2722) 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 2722) 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 2722) 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 2722) 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 2722) 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 2722) 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 2722) 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 2722) 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 2722) 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 2722) 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 2721) 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 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 :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2719) 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 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 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 30 ms. (steps per millisecond=33 ) 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 30 ms. (steps per millisecond=33 ) properties (out of 2715) 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 2715) 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 2715) 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 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 1000 steps, including 4 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2711) 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 2711) 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 2711) 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 2711) 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 2711) 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 2709) 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 2709) 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 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 30 ms. (steps per millisecond=33 ) properties (out of 2707) 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 2707) 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 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 :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2707) 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 2707) 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 2707) 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 2707) 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 2707) 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 2705) 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 2705) 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 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 33 ms. (steps per millisecond=30 ) 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 :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 :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 31 ms. (steps per millisecond=32 ) 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 :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2703) 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 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 :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2701) 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 2701) 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 2701) 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 2701) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2701) 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 2701) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) 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 29 ms. (steps per millisecond=34 ) properties (out of 2701) 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 2701) 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 2701) 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 2701) 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 2701) 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 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 31 ms. (steps per millisecond=32 ) 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 33 ms. (steps per millisecond=30 ) properties (out of 2699) 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 2699) 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 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 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 30 ms. (steps per millisecond=33 ) properties (out of 2699) 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 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 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 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 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 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 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 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 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 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 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 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 29 ms. (steps per millisecond=34 ) properties (out of 2697) 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 2695) 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 2693) 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 2693) 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 2691) 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 2691) 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 2691) 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 2691) 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 2691) 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 2691) 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 2691) 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 2691) 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 2691) 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 2691) 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 2691) 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 2691) 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 2691) 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 2691) 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 2691) 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 2691) 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 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 :2
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 29 ms. (steps per millisecond=34 ) properties (out of 2687) 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 2685) 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 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 :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) 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 :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 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 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 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 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 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 30 ms. (steps per millisecond=33 ) properties (out of 2681) 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 2681) 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 2681) 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 2681) 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 2681) 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 2681) 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 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 :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2681) 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 2681) 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 2681) 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 2680) 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 2680) 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 2680) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2680) 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 2680) 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 2680) 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 2680) 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 2680) 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 2680) 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 2678) 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 2678) 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 2678) 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 2676) 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 2674) 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 2674) 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 2674) 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 2672) 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 2672) 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 2672) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2672) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2672) 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 2672) 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 2672) 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 2670) 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 2670) 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 2668) 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 2668) 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 2668) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2668) 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 2668) 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 2668) 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 2668) 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 2668) 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 2666) 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 2666) 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 2666) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2666) 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 2666) 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 2666) 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 2666) 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 2666) 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 2666) 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 2666) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2666) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2666) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2666) 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 2666) 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 2666) 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 2666) 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 2666) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2666) 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 2666) 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 2664) 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 2664) 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 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 :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2662) 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 2662) 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 2662) 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 2662) 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 2662) 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 2662) 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 2662) 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 2662) 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 2662) 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 2662) 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 2662) 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 2662) 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 2662) 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 2662) 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 2662) 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 2662) 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 2662) 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 2662) 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 2660) 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 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 29 ms. (steps per millisecond=34 ) properties (out of 2658) 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 2658) 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 2658) 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 2656) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2656) 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 2654) 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 2654) 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 2654) 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 2654) 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 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 30 ms. (steps per millisecond=33 ) properties (out of 2654) 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 2654) 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 2654) 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 2654) 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 2654) 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 2654) 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 2654) 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 2652) 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 2652) 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 2652) 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 2652) 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 2652) 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 2652) 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 2652) 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 2652) 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 2652) 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 2652) 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 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 30 ms. (steps per millisecond=33 ) properties (out of 2652) 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 2652) 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 2652) 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 2652) 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 2652) 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 2652) 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 2652) 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 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 :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2648) 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 2648) 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 2646) 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 2646) 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 2646) 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 2646) 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 2646) 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 2646) 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 2644) 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 2644) 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 2644) 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 2644) 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 2644) 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 2644) 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 2644) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2644) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2643) 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 2643) 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 2643) 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 2643) 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 2643) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2643) 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 2643) 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 2643) 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 2643) 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 2643) 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 2643) 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 2643) 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 2643) 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 2643) 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 2642) 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 2640) 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 2640) 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 2640) 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 2640) 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 2640) seen :0
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 1001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2640) 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 2640) 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 2640) 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 2638) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2638) 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 2638) seen :4
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2634) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2634) 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 2634) 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 2634) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2634) 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 2634) 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 2634) 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 2634) 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 2634) 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 2634) 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 2634) 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 2634) 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 2634) 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 2634) 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 2634) 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 2634) 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 2634) 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 2634) 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 2634) 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 2634) 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 2634) 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 2634) 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 2634) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2634) 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 2634) 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 2634) 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 2634) 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 2634) 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 2634) 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 2634) 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 2634) 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 2634) 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 2634) 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 2634) 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 2634) 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 2632) 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 2632) 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 2632) 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 2632) 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 2632) 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 2632) 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 2632) seen :4
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2628) 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 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 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 30 ms. (steps per millisecond=33 ) 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 30 ms. (steps per millisecond=33 ) properties (out of 2628) 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 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 31 ms. (steps per millisecond=32 ) properties (out of 2628) 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 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 29 ms. (steps per millisecond=34 ) properties (out of 2625) 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 2625) 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 2625) 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 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 31 ms. (steps per millisecond=32 ) properties (out of 2625) 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 2623) 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 2623) 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 2623) 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 2623) 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 2623) 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 2621) 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 2621) 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 2620) 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 2620) 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 2620) 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 2620) 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 2618) 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 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 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 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 32 ms. (steps per millisecond=31 ) 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 29 ms. (steps per millisecond=34 ) properties (out of 2616) 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 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 31 ms. (steps per millisecond=32 ) 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 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 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 32 ms. (steps per millisecond=31 ) properties (out of 2616) 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 2615) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2615) 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 2615) 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 2615) 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 2615) 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 2615) 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 2615) 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 2615) 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 2615) 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 2615) 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 2615) 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 2615) 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 2615) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2615) 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 2615) 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 2613) 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 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 30 ms. (steps per millisecond=33 ) properties (out of 2613) 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 2613) 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 2613) seen :4
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2609) 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 2609) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2609) 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 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 29 ms. (steps per millisecond=34 ) properties (out of 2607) 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 2605) 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 2605) 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 2605) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2605) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2605) 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 2605) 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 2605) 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 2605) 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 2605) 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 2603) 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 2603) 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 2603) 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 2603) 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 2603) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2603) 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 2603) 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 2603) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2603) 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 2603) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2603) 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 2603) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2603) 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 2601) 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 2601) 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 2601) 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 2601) 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 2601) 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 2599) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2599) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2599) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2599) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2599) 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 2599) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2599) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2599) 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 2599) 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 2599) 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 2599) 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 2599) 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 2599) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2599) 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 2599) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2599) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2599) 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 2597) 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 2597) 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 2597) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2597) 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 2597) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2597) 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 2597) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2597) 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 2597) 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 2597) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2595) 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 2595) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2595) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2595) 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 2595) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2595) 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 2595) 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 2595) 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 2595) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2595) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2595) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2595) 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 2595) 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 2593) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2593) 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 2593) 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 2593) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2593) 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 2593) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2593) 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 2593) 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 2593) 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 2593) seen :4
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2589) 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 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 28 ms. (steps per millisecond=35 ) properties (out of 2587) 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 2587) 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 2585) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2585) 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 2585) 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 2585) 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 2585) 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 2585) 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 2583) 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 2583) 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 2583) 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 2583) 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 2583) 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 2583) 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 2583) 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 2581) 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 2581) 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 2579) 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 2579) 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 2579) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2579) 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 2579) 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 2579) 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 2579) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2579) 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 2577) 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 2577) 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 2577) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2577) 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 2577) 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 2577) 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 2577) 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 2577) 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 2575) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2575) 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 2575) 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 2575) 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 2575) 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 2575) 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 2575) 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 2575) 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 2575) 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 2575) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2575) 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 2575) 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 2575) 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 2575) 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 2573) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2573) 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 2573) 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 2573) 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 2573) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2573) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2573) 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 2573) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2573) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2573) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2571) 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 2571) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2569) 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 2567) 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 2567) 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 2567) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2567) 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 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 :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2565) 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 2565) 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 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 :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2565) 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 2565) 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 2565) 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 2565) 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 2565) 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 2565) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2565) 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 2565) 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 2565) 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 2565) 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 2565) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2565) 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 2565) 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 2565) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2565) 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 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 :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2565) 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 2565) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2565) 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 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 31 ms. (steps per millisecond=32 ) 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 31 ms. (steps per millisecond=32 ) properties (out of 2563) 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 2563) 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 2562) 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 2560) 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 2560) 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 2560) 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 2560) 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 2560) 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 2558) 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 2558) 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 2558) 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 2558) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2558) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2558) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2558) 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 2558) 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 2558) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2558) 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 2558) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2558) 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 2558) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2558) 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 2558) 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 2558) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2558) 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 2558) 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 2558) 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 2558) 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 2558) 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 2558) 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 2558) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2558) 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 2558) 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 2554) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2554) 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 2554) 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 2554) 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 2554) 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 2554) 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 2554) 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 2554) 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 2554) 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 2554) 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 2554) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2554) 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 2554) 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 2554) 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 2554) 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 2552) 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 2552) 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 2552) 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 2552) 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 2552) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2552) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2552) 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 2552) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2552) 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 2552) 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 2552) 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 2552) 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 2552) 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 2552) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2552) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2552) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2552) 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 2552) 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 2552) 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 2552) 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 2552) 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 2552) 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 2552) 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 2552) 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 2552) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2552) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2552) 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 2552) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2552) 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 2552) 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 2552) 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 2552) 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 2552) 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 2552) 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 2550) 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 2550) 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 2548) 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 2548) 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 2548) 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 2546) 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 2546) 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 2546) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2546) 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 2546) 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 2546) 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 2546) 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 2546) 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 2546) 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 2546) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2546) 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 2546) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2546) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2546) 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 2546) 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 2546) 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 2546) 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 2546) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2546) 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 2546) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2546) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2546) 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 2546) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2546) 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 2546) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2546) 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 2546) 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 2544) 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 2544) 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 2542) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2542) 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 2542) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2542) 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 2542) 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 2542) 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 2542) 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 2542) 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 2542) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2542) 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 2542) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2542) 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 2542) 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 2542) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2542) 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 2540) 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 2538) 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 2537) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2537) 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 2537) 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 2537) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2537) 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 2537) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2537) 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 2537) 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 2537) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2537) 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 2535) 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 2535) 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 2533) 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 2533) 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 2533) 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 2531) 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 2531) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2531) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2531) 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 2531) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2531) 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 2531) 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 2531) 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 2531) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2531) 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 2531) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2531) 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 2531) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2531) 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 2531) 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 2531) 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 2531) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2531) 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 2531) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2531) 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 2531) 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 2531) 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 2529) 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 2527) 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 2527) 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 2527) 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 2527) 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 2527) 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 2527) 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 2527) 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 2527) 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 2527) 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 2527) 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 2527) 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 2527) 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 2527) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2527) 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 2527) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2527) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2527) 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 2527) 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 2527) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2527) 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 2527) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2527) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2527) 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 2527) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2527) 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 2527) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2527) 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 2527) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2527) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2527) 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 2527) 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 2527) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2527) 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 2527) 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 2527) 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 2527) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 2527) 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 2527) 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 2527) 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 2527) 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 2527) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2527) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2527) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2527) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2527) 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 2527) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2527) 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 2527) 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 2527) seen :0
Running SMT prover for 2527 properties.
[2023-03-13 18:30:25] [INFO ] Flow matrix only has 12064 transitions (discarded 622 similar events)
// Phase 1: matrix 12064 rows 7739 cols
[2023-03-13 18:30:26] [INFO ] Computed 885 place invariants in 558 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 18:34:13] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 18:34:13] [INFO ] After 225051ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 2527 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 2527 out of 7739 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7739/7739 places, 12686/12686 transitions.
Drop transitions removed 1522 transitions
Trivial Post-agglo rules discarded 1522 transitions
Performed 1522 trivial Post agglomeration. Transition count delta: 1522
Iterating post reduction 0 with 1522 rules applied. Total rules applied 1522 place count 7739 transition count 11164
Reduce places removed 1522 places and 0 transitions.
Iterating post reduction 1 with 1522 rules applied. Total rules applied 3044 place count 6217 transition count 11164
Performed 35 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 35 Pre rules applied. Total rules applied 3044 place count 6217 transition count 11129
Deduced a syphon composed of 35 places in 6 ms
Reduce places removed 35 places and 0 transitions.
Iterating global reduction 2 with 70 rules applied. Total rules applied 3114 place count 6182 transition count 11129
Discarding 1322 places :
Symmetric choice reduction at 2 with 1322 rule applications. Total rules 4436 place count 4860 transition count 9807
Iterating global reduction 2 with 1322 rules applied. Total rules applied 5758 place count 4860 transition count 9807
Discarding 49 places :
Symmetric choice reduction at 2 with 49 rule applications. Total rules 5807 place count 4811 transition count 9611
Iterating global reduction 2 with 49 rules applied. Total rules applied 5856 place count 4811 transition count 9611
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 5858 place count 4810 transition count 9610
Free-agglomeration rule (complex) applied 112 times.
Iterating global reduction 2 with 112 rules applied. Total rules applied 5970 place count 4810 transition count 9645
Reduce places removed 112 places and 0 transitions.
Iterating post reduction 2 with 112 rules applied. Total rules applied 6082 place count 4698 transition count 9645
Discarding 146 places :
Symmetric choice reduction at 3 with 146 rule applications. Total rules 6228 place count 4552 transition count 9499
Iterating global reduction 3 with 146 rules applied. Total rules applied 6374 place count 4552 transition count 9499
Partial Free-agglomeration rule applied 50 times.
Drop transitions removed 50 transitions
Iterating global reduction 3 with 50 rules applied. Total rules applied 6424 place count 4552 transition count 9499
Discarding 19 places :
Symmetric choice reduction at 3 with 19 rule applications. Total rules 6443 place count 4533 transition count 9480
Iterating global reduction 3 with 19 rules applied. Total rules applied 6462 place count 4533 transition count 9480
Applied a total of 6462 rules in 1607 ms. Remains 4533 /7739 variables (removed 3206) and now considering 9480/12686 (removed 3206) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1607 ms. Remains : 4533/7739 places, 9480/12686 transitions.
Interrupted random walk after 123989 steps, including 4915 resets, run timeout after 30001 ms. (steps per millisecond=4 ) properties seen 164
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2363) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2363) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2363) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2363) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2363) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2363) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2363) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2363) 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 2363) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2363) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2361) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2361) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2361) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2361) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2361) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2361) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2359) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2359) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2359) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2359) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2359) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2357) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2357) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2357) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2357) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2357) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2357) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2357) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2357) 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 2357) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2357) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2357) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2357) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2357) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2355) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2353) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2351) 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 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2351) 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 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2351) 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 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2351) 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 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2351) 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 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2351) 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 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2351) 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 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2351) seen :0
Interrupted probabilistic random walk after 426767 steps, run timeout after 102001 ms. (steps per millisecond=4 ) properties seen :{254=1, 255=1, 473=1, 474=1, 984=1, 1080=1, 1081=1, 1138=1, 1139=1, 1151=1, 1152=1, 1153=1, 1154=1, 1155=1, 1156=1, 1159=1, 1160=1, 1162=1, 1163=1, 1164=1, 1165=1, 1166=1, 1167=1, 1168=1, 1169=1, 1170=1, 1171=1, 1172=1, 1184=1, 1185=1, 1186=1, 1187=1, 1208=1, 1209=1, 1213=1, 1214=1, 1216=1, 1217=1, 1255=1, 1256=1, 1257=1, 1258=1, 1365=1, 1366=1, 1401=1, 1402=1, 1404=1, 1405=1, 1468=1, 1469=1, 1509=1, 1510=1, 1520=1, 1521=1, 1522=1, 1523=1, 1661=1, 1662=1, 1672=1, 1673=1, 1674=1, 1675=1, 1855=1, 1856=1, 1942=1, 2041=1, 2042=1}
Probabilistic random walk after 426767 steps, saw 188763 distinct states, run finished after 102004 ms. (steps per millisecond=4 ) properties seen :67
Running SMT prover for 2284 properties.
[2023-03-13 18:36:31] [INFO ] Flow matrix only has 8825 transitions (discarded 655 similar events)
// Phase 1: matrix 8825 rows 4533 cols
[2023-03-13 18:36:31] [INFO ] Computed 885 place invariants in 279 ms
[2023-03-13 18:39:17] [INFO ] After 164129ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2284
[2023-03-13 18:41:25] [INFO ] [Nat]Absence check using 49 positive place invariants in 196 ms returned sat
[2023-03-13 18:41:26] [INFO ] [Nat]Absence check using 49 positive and 836 generalized place invariants in 228 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 18:43:02] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 18:43:02] [INFO ] After 225039ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:2284
Fused 2284 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 2284 out of 4533 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4533/4533 places, 9480/9480 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 4533 transition count 9369
Reduce places removed 111 places and 0 transitions.
Iterating post reduction 1 with 111 rules applied. Total rules applied 222 place count 4422 transition count 9369
Discarding 66 places :
Symmetric choice reduction at 2 with 66 rule applications. Total rules 288 place count 4356 transition count 9303
Iterating global reduction 2 with 66 rules applied. Total rules applied 354 place count 4356 transition count 9303
Free-agglomeration rule (complex) applied 11 times.
Iterating global reduction 2 with 11 rules applied. Total rules applied 365 place count 4356 transition count 9292
Reduce places removed 11 places and 0 transitions.
Iterating post reduction 2 with 11 rules applied. Total rules applied 376 place count 4345 transition count 9292
Partial Free-agglomeration rule applied 45 times.
Drop transitions removed 45 transitions
Iterating global reduction 3 with 45 rules applied. Total rules applied 421 place count 4345 transition count 9292
Discarding 45 places :
Symmetric choice reduction at 3 with 45 rule applications. Total rules 466 place count 4300 transition count 9247
Iterating global reduction 3 with 45 rules applied. Total rules applied 511 place count 4300 transition count 9247
Applied a total of 511 rules in 1066 ms. Remains 4300 /4533 variables (removed 233) and now considering 9247/9480 (removed 233) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1066 ms. Remains : 4300/4533 places, 9247/9480 transitions.
Interrupted random walk after 130637 steps, including 5188 resets, run timeout after 30001 ms. (steps per millisecond=4 ) properties seen 39
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2245) 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 2244) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) 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 2244) seen :0
Interrupted probabilistic random walk after 448362 steps, run timeout after 93001 ms. (steps per millisecond=4 ) properties seen :{}
Probabilistic random walk after 448362 steps, saw 197443 distinct states, run finished after 93003 ms. (steps per millisecond=4 ) properties seen :0
Running SMT prover for 2244 properties.
[2023-03-13 18:45:08] [INFO ] Flow matrix only has 8581 transitions (discarded 666 similar events)
// Phase 1: matrix 8581 rows 4300 cols
[2023-03-13 18:45:08] [INFO ] Computed 885 place invariants in 210 ms
[2023-03-13 18:47:47] [INFO ] After 157153ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2244
[2023-03-13 18:49:45] [INFO ] [Nat]Absence check using 49 positive place invariants in 159 ms returned sat
[2023-03-13 18:49:45] [INFO ] [Nat]Absence check using 49 positive and 836 generalized place invariants in 220 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 18:51:32] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 18:51:32] [INFO ] After 225043ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:2244
Fused 2244 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 2244 out of 4300 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4300/4300 places, 9247/9247 transitions.
Drop transitions removed 16 transitions
Trivial Post-agglo rules discarded 16 transitions
Performed 16 trivial Post agglomeration. Transition count delta: 16
Iterating post reduction 0 with 16 rules applied. Total rules applied 16 place count 4300 transition count 9231
Reduce places removed 16 places and 0 transitions.
Iterating post reduction 1 with 16 rules applied. Total rules applied 32 place count 4284 transition count 9231
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 34 place count 4282 transition count 9229
Iterating global reduction 2 with 2 rules applied. Total rules applied 36 place count 4282 transition count 9229
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 37 place count 4282 transition count 9228
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 38 place count 4281 transition count 9228
Partial Free-agglomeration rule applied 14 times.
Drop transitions removed 14 transitions
Iterating global reduction 3 with 14 rules applied. Total rules applied 52 place count 4281 transition count 9228
Discarding 14 places :
Symmetric choice reduction at 3 with 14 rule applications. Total rules 66 place count 4267 transition count 9214
Iterating global reduction 3 with 14 rules applied. Total rules applied 80 place count 4267 transition count 9214
Applied a total of 80 rules in 1072 ms. Remains 4267 /4300 variables (removed 33) and now considering 9214/9247 (removed 33) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1073 ms. Remains : 4267/4300 places, 9214/9247 transitions.
Interrupted random walk after 175611 steps, including 6969 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 35
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2209) 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 2209) 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 2209) 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 2209) 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 2209) 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 2209) 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 2209) 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 2209) 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 2209) 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 2209) 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 2209) 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 2209) 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 2209) 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 2209) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) 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 2207) seen :0
Interrupted probabilistic random walk after 440478 steps, run timeout after 93001 ms. (steps per millisecond=4 ) properties seen :{}
Probabilistic random walk after 440478 steps, saw 193967 distinct states, run finished after 93011 ms. (steps per millisecond=4 ) properties seen :0
Running SMT prover for 2207 properties.
[2023-03-13 18:53:37] [INFO ] Flow matrix only has 8547 transitions (discarded 667 similar events)
// Phase 1: matrix 8547 rows 4267 cols
[2023-03-13 18:53:38] [INFO ] Computed 885 place invariants in 232 ms
[2023-03-13 18:56:07] [INFO ] After 147962ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2207
[2023-03-13 18:58:01] [INFO ] [Nat]Absence check using 49 positive place invariants in 140 ms returned sat
[2023-03-13 18:58:02] [INFO ] [Nat]Absence check using 49 positive and 836 generalized place invariants in 229 ms returned sat
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393216 kB
MemFree: 13330032 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16116636 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="marciexred"
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 marciexred"
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 r248-tall-167856435400513"
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 ;