About the Execution of Marcie+red for MultiCrashLeafsetExtension-PT-S24C03
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2027.476 | 1800000.00 | 2393068.00 | 2725.30 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r248-tall-167856435400508.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-S24C03, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r248-tall-167856435400508
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 9.3M
-rw-r--r-- 1 mcc users 13K Feb 26 02:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 02:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.0K Feb 26 02:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 02:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.5K Feb 25 16:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K 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 22K Feb 26 02:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 123K Feb 26 02:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 26 02:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 26 02:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K 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 8.8M 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 1678731856078
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-S24C03
Applying reductions before tool marcie
Invoking reducer
Running Version 202303021504
[2023-03-13 18:24:17] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -timeout, 180, -rebuildPNML]
[2023-03-13 18:24:17] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 18:24:17] [INFO ] Load time of PNML (sax parser for PT used): 353 ms
[2023-03-13 18:24:17] [INFO ] Transformed 8390 places.
[2023-03-13 18:24:18] [INFO ] Transformed 12757 transitions.
[2023-03-13 18:24:18] [INFO ] Parsed PT model containing 8390 places and 12757 transitions and 52526 arcs in 539 ms.
Incomplete random walk after 10000 steps, including 318 resets, run finished after 5247 ms. (steps per millisecond=1 ) properties (out of 8390) seen :3512
Running SMT prover for 4878 properties.
[2023-03-13 18:24:23] [INFO ] Flow matrix only has 12157 transitions (discarded 600 similar events)
// Phase 1: matrix 12157 rows 8390 cols
[2023-03-13 18:24:24] [INFO ] Computed 867 place invariants in 688 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:24:54] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 18:24:54] [INFO ] After 25117ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 4878 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 4878 out of 8390 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8390/8390 places, 12757/12757 transitions.
Graph (complete) has 30079 edges and 8390 vertex of which 8356 are kept as prefixes of interest. Removing 34 places using SCC suffix rule.52 ms
Discarding 34 places :
Also discarding 0 output transitions
Drop transitions removed 694 transitions
Trivial Post-agglo rules discarded 694 transitions
Performed 694 trivial Post agglomeration. Transition count delta: 694
Iterating post reduction 0 with 694 rules applied. Total rules applied 695 place count 8356 transition count 12063
Reduce places removed 694 places and 0 transitions.
Iterating post reduction 1 with 694 rules applied. Total rules applied 1389 place count 7662 transition count 12063
Performed 140 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 140 Pre rules applied. Total rules applied 1389 place count 7662 transition count 11923
Deduced a syphon composed of 140 places in 10 ms
Reduce places removed 140 places and 0 transitions.
Iterating global reduction 2 with 280 rules applied. Total rules applied 1669 place count 7522 transition count 11923
Discarding 554 places :
Symmetric choice reduction at 2 with 554 rule applications. Total rules 2223 place count 6968 transition count 11369
Iterating global reduction 2 with 554 rules applied. Total rules applied 2777 place count 6968 transition count 11369
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 2780 place count 6965 transition count 11360
Iterating global reduction 2 with 3 rules applied. Total rules applied 2783 place count 6965 transition count 11360
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 6 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 2787 place count 6963 transition count 11358
Free-agglomeration rule (complex) applied 507 times.
Iterating global reduction 2 with 507 rules applied. Total rules applied 3294 place count 6963 transition count 10857
Reduce places removed 507 places and 0 transitions.
Iterating post reduction 2 with 507 rules applied. Total rules applied 3801 place count 6456 transition count 10857
Partial Free-agglomeration rule applied 140 times.
Drop transitions removed 140 transitions
Iterating global reduction 3 with 140 rules applied. Total rules applied 3941 place count 6456 transition count 10857
Applied a total of 3941 rules in 2522 ms. Remains 6456 /8390 variables (removed 1934) and now considering 10857/12757 (removed 1900) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2537 ms. Remains : 6456/8390 places, 10857/12757 transitions.
Interrupted random walk after 108149 steps, including 4777 resets, run timeout after 30001 ms. (steps per millisecond=3 ) properties seen 2435
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2443) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2443) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2441) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2441) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2441) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2441) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2441) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2441) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2441) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2441) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2441) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2441) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2439) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2439) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2439) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2437) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2437) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2437) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2437) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2437) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2437) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2437) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2435) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2435) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2435) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2435) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2435) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2435) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2435) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2435) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2434) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2434) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2434) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2434) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2434) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2432) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2430) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2430) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2428) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2428) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2427) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2427) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2427) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2427) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2427) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2427) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2427) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2427) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2427) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2427) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2427) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2427) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2427) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2427) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2425) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2425) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2425) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2425) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2425) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2425) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2424) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2422) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2420) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2420) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2418) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2418) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2418) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2418) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2418) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2418) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2418) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2418) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2418) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2418) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2418) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2418) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2416) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2416) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2413) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2413) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2413) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2413) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2413) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2413) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2413) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2411) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2411) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2409) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2409) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2409) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2409) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2409) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2409) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2409) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2409) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2409) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2409) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2407) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2407) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2405) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2402) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2402) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2402) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2402) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2402) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2402) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2402) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2402) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2400) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2400) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2400) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2400) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2400) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2400) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2400) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2400) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2400) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2400) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2400) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2400) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2400) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2400) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2400) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2400) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2400) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2400) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2398) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2398) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2398) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2398) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2398) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2398) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2398) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2398) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2398) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2398) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2398) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2398) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2398) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2398) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2398) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2396) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2395) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2395) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2395) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2395) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2395) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2395) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2395) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2395) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2392) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2392) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2392) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2392) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2390) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2388) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2388) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2388) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2386) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2386) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2386) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2386) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2386) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2386) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2386) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2386) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2386) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2386) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2386) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2386) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2386) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2386) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2386) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2386) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2386) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2386) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2386) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2386) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2386) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2384) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2384) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2384) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2384) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2384) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2384) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2384) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2384) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2382) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2382) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2382) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2382) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2382) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2382) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2382) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2382) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2382) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2382) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2382) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2382) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2382) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2382) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2380) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2380) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2380) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2380) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2380) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2380) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2380) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2380) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2380) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2380) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2380) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2380) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2380) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2380) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2378) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2378) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2378) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2377) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2377) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2377) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2377) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2377) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2377) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2377) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2377) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2375) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2375) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2375) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2375) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2375) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2375) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2375) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2375) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2375) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2375) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2375) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2375) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2375) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2375) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2375) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2375) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2375) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2375) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2375) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2373) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2373) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2373) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2373) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2373) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2373) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2373) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2373) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2371) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2371) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2371) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2371) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2371) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2369) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2367) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2367) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2367) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2367) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2367) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2365) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2365) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2365) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2365) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2365) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2365) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2365) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2363) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2363) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2363) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2363) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2363) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2363) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 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 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2363) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2363) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2361) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2361) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 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 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2359) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2359) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 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 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2359) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2357) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2357) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2357) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2355) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2355) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2355) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2355) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2355) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2355) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2355) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2355) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 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 6 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 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 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 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 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 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2353) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2353) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 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 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2351) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2349) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2349) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2349) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2349) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2349) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2349) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2349) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2347) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2347) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2346) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2346) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2346) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2346) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2346) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2346) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2344) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2344) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2344) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2344) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2344) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2344) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2344) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2344) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2344) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2344) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2344) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2344) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2344) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2344) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2342) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2340) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2340) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2340) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2340) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2338) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2338) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2338) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2336) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2336) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2336) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2336) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2334) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2334) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2334) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2334) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2334) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2334) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2332) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2332) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2332) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2332) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2330) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2330) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2330) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2330) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2330) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2330) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2330) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2330) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2330) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2329) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2329) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2327) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2327) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2327) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2327) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2327) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2327) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2327) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2327) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2327) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2326) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2324) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2324) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2324) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2324) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2324) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2324) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2324) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2324) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2324) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2324) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2324) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2324) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2324) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2324) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2324) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2324) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2324) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2324) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2324) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2324) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2324) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2324) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2324) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2322) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2322) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2322) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2322) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2322) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2320) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2317) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 2317) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2317) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2317) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2317) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2317) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2317) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2317) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2317) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2317) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2317) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2317) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2317) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2315) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2315) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2315) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2315) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2315) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2315) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2315) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2315) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2315) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2315) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2315) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2315) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2315) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2315) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2314) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2312) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2310) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2310) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2310) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2310) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2309) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2309) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2309) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2309) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2309) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2309) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2309) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2309) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2309) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2309) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2309) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2309) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2309) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2309) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2309) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2309) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2309) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2309) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2309) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2309) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2309) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2307) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2307) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2307) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2307) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2306) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2306) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2306) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2306) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2306) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2306) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2306) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2306) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2306) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2306) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2306) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2306) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2304) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2302) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2302) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2302) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2302) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2302) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2302) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2300) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2300) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2300) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2299) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2299) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2299) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2299) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2299) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2299) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2299) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2299) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2299) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2299) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2299) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2297) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2297) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2297) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2297) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2297) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2297) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2297) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2297) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2297) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2297) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2297) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2297) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2297) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2297) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2297) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2297) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2297) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2297) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2297) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2297) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2297) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2297) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2297) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2295) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2295) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2295) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2295) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2295) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2295) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2295) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2295) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2295) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2295) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2295) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2295) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2295) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2295) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2295) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2295) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2295) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2295) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2295) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2295) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2295) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2295) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2293) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2293) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2291) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2291) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2291) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2291) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2291) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2291) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2291) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2291) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2291) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2291) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2291) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2291) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2291) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2291) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2291) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2291) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2291) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2291) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2291) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2289) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2289) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2288) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2288) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2288) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2288) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2288) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2288) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2288) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2288) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2288) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2288) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2288) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2288) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2288) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2288) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2288) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2288) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2288) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2288) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2287) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2285) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2285) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2285) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2285) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2285) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2285) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2285) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2283) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2283) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2283) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2283) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2283) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2283) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2283) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2283) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2283) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2283) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2283) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2283) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2283) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2283) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2283) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2283) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2283) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2283) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2283) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2283) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2283) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2283) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2283) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2283) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2283) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2283) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2283) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2283) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2282) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2281) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2281) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2281) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2281) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2281) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2281) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2281) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2281) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2281) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2281) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2281) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2281) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2281) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2281) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2281) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2281) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2281) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2281) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2281) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2281) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2281) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2281) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2281) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2281) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2281) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2281) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2281) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2279) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2279) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2278) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2278) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2278) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2278) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2278) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2278) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2278) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2278) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2278) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2278) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2278) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2278) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2278) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2278) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2278) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2278) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2278) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2278) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2278) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2278) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2278) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2276) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2276) seen :0
Running SMT prover for 2276 properties.
[2023-03-13 18:26:00] [INFO ] Flow matrix only has 10238 transitions (discarded 619 similar events)
// Phase 1: matrix 10238 rows 6456 cols
[2023-03-13 18:26:00] [INFO ] Computed 833 place invariants in 406 ms
[2023-03-13 18:29:44] [INFO ] After 221929ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2276
[2023-03-13 18:32:30] [INFO ] [Nat]Absence check using 47 positive place invariants in 286 ms returned sat
[2023-03-13 18:32:30] [INFO ] [Nat]Absence check using 47 positive and 786 generalized place invariants in 253 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:33:29] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 18:33:29] [INFO ] After 225059ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:2276
Fused 2276 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 2276 out of 6456 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6456/6456 places, 10857/10857 transitions.
Drop transitions removed 1096 transitions
Trivial Post-agglo rules discarded 1096 transitions
Performed 1096 trivial Post agglomeration. Transition count delta: 1096
Iterating post reduction 0 with 1096 rules applied. Total rules applied 1096 place count 6456 transition count 9761
Reduce places removed 1096 places and 0 transitions.
Iterating post reduction 1 with 1096 rules applied. Total rules applied 2192 place count 5360 transition count 9761
Performed 10 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 10 Pre rules applied. Total rules applied 2192 place count 5360 transition count 9751
Deduced a syphon composed of 10 places in 4 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 2 with 20 rules applied. Total rules applied 2212 place count 5350 transition count 9751
Discarding 946 places :
Symmetric choice reduction at 2 with 946 rule applications. Total rules 3158 place count 4404 transition count 8805
Iterating global reduction 2 with 946 rules applied. Total rules applied 4104 place count 4404 transition count 8805
Discarding 61 places :
Symmetric choice reduction at 2 with 61 rule applications. Total rules 4165 place count 4343 transition count 8622
Iterating global reduction 2 with 61 rules applied. Total rules applied 4226 place count 4343 transition count 8622
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 4228 place count 4342 transition count 8621
Free-agglomeration rule (complex) applied 85 times.
Iterating global reduction 2 with 85 rules applied. Total rules applied 4313 place count 4342 transition count 8658
Reduce places removed 85 places and 0 transitions.
Iterating post reduction 2 with 85 rules applied. Total rules applied 4398 place count 4257 transition count 8658
Discarding 100 places :
Symmetric choice reduction at 3 with 100 rule applications. Total rules 4498 place count 4157 transition count 8558
Iterating global reduction 3 with 100 rules applied. Total rules applied 4598 place count 4157 transition count 8558
Partial Free-agglomeration rule applied 50 times.
Drop transitions removed 50 transitions
Iterating global reduction 3 with 50 rules applied. Total rules applied 4648 place count 4157 transition count 8558
Discarding 40 places :
Symmetric choice reduction at 3 with 40 rule applications. Total rules 4688 place count 4117 transition count 8518
Iterating global reduction 3 with 40 rules applied. Total rules applied 4728 place count 4117 transition count 8518
Applied a total of 4728 rules in 1401 ms. Remains 4117 /6456 variables (removed 2339) and now considering 8518/10857 (removed 2339) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1402 ms. Remains : 4117/6456 places, 8518/10857 transitions.
Interrupted random walk after 143160 steps, including 7480 resets, run timeout after 30001 ms. (steps per millisecond=4 ) properties seen 28
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2248) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2248) seen :0
Interrupted probabilistic random walk after 414201 steps, run timeout after 93001 ms. (steps per millisecond=4 ) properties seen :{936=1, 957=1, 1119=1, 1120=1, 1131=1, 1280=1, 1497=1, 1886=1}
Probabilistic random walk after 414201 steps, saw 182673 distinct states, run finished after 93007 ms. (steps per millisecond=4 ) properties seen :8
Running SMT prover for 2240 properties.
[2023-03-13 18:35:35] [INFO ] Flow matrix only has 7866 transitions (discarded 652 similar events)
// Phase 1: matrix 7866 rows 4117 cols
[2023-03-13 18:35:35] [INFO ] Computed 833 place invariants in 210 ms
[2023-03-13 18:38:07] [INFO ] After 150306ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2240
[2023-03-13 18:39:56] [INFO ] [Nat]Absence check using 49 positive place invariants in 181 ms returned sat
[2023-03-13 18:39:56] [INFO ] [Nat]Absence check using 49 positive and 784 generalized place invariants in 220 ms returned sat
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.checkResults(DeadlockTester.java:797)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:621)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:350)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:386)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-13 18:41:52] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 18:41:52] [INFO ] After 225030ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:2240
Fused 2240 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 2240 out of 4117 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4117/4117 places, 8518/8518 transitions.
Drop transitions removed 10 transitions
Trivial Post-agglo rules discarded 10 transitions
Performed 10 trivial Post agglomeration. Transition count delta: 10
Iterating post reduction 0 with 10 rules applied. Total rules applied 10 place count 4117 transition count 8508
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 1 with 10 rules applied. Total rules applied 20 place count 4107 transition count 8508
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 21 place count 4106 transition count 8507
Iterating global reduction 2 with 1 rules applied. Total rules applied 22 place count 4106 transition count 8507
Free-agglomeration rule (complex) applied 16 times.
Iterating global reduction 2 with 16 rules applied. Total rules applied 38 place count 4106 transition count 8491
Reduce places removed 16 places and 0 transitions.
Iterating post reduction 2 with 16 rules applied. Total rules applied 54 place count 4090 transition count 8491
Discarding 9 places :
Symmetric choice reduction at 3 with 9 rule applications. Total rules 63 place count 4081 transition count 8482
Iterating global reduction 3 with 9 rules applied. Total rules applied 72 place count 4081 transition count 8482
Applied a total of 72 rules in 776 ms. Remains 4081 /4117 variables (removed 36) and now considering 8482/8518 (removed 36) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 777 ms. Remains : 4081/4117 places, 8482/8518 transitions.
Interrupted random walk after 138618 steps, including 7244 resets, run timeout after 30001 ms. (steps per millisecond=4 ) properties seen 3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Interrupted probabilistic random walk after 426407 steps, run timeout after 93001 ms. (steps per millisecond=4 ) properties seen :{}
Probabilistic random walk after 426407 steps, saw 187990 distinct states, run finished after 93004 ms. (steps per millisecond=4 ) properties seen :0
Running SMT prover for 2237 properties.
[2023-03-13 18:43:57] [INFO ] Flow matrix only has 7816 transitions (discarded 666 similar events)
// Phase 1: matrix 7816 rows 4081 cols
[2023-03-13 18:43:58] [INFO ] Computed 833 place invariants in 218 ms
[2023-03-13 18:46:31] [INFO ] After 152066ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2237
[2023-03-13 18:48:25] [INFO ] [Nat]Absence check using 49 positive place invariants in 167 ms returned sat
[2023-03-13 18:48:25] [INFO ] [Nat]Absence check using 49 positive and 784 generalized place invariants in 209 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:50:16] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 18:50:16] [INFO ] After 225059ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:2237
Fused 2237 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 2237 out of 4081 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4081/4081 places, 8482/8482 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 4080 transition count 8481
Applied a total of 2 rules in 330 ms. Remains 4080 /4081 variables (removed 1) and now considering 8481/8482 (removed 1) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 331 ms. Remains : 4080/4081 places, 8481/8482 transitions.
Interrupted random walk after 145705 steps, including 7618 resets, run timeout after 30001 ms. (steps per millisecond=4 ) properties seen 0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2237) seen :0
Interrupted probabilistic random walk after 424276 steps, run timeout after 93001 ms. (steps per millisecond=4 ) properties seen :{}
Probabilistic random walk after 424276 steps, saw 187070 distinct states, run finished after 93002 ms. (steps per millisecond=4 ) properties seen :0
Running SMT prover for 2237 properties.
[2023-03-13 18:52:21] [INFO ] Flow matrix only has 7815 transitions (discarded 666 similar events)
// Phase 1: matrix 7815 rows 4080 cols
[2023-03-13 18:52:21] [INFO ] Computed 833 place invariants in 191 ms
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393216 kB
MemFree: 14206032 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16156792 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:
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ sed s/.jar//
+ 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-S24C03"
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-S24C03, 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-167856435400508"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C03.tgz
mv MultiCrashLeafsetExtension-PT-S24C03 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 '
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 ;