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.r247-tall-167856434600508.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 ltsminxred
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 r247-tall-167856434600508
=====================================================================

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

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=ltsminxred
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=MultiCrashLeafsetExtension-PT-S24C03
Applying reductions before tool ltsmin
Invoking reducer
Running Version 202303021504
[2023-03-13 14:03:49] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -timeout, 180, -rebuildPNML]
[2023-03-13 14:03:49] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 14:03:49] [INFO ] Load time of PNML (sax parser for PT used): 391 ms
[2023-03-13 14:03:50] [INFO ] Transformed 8390 places.
[2023-03-13 14:03:50] [INFO ] Transformed 12757 transitions.
[2023-03-13 14:03:50] [INFO ] Parsed PT model containing 8390 places and 12757 transitions and 52526 arcs in 585 ms.
Incomplete random walk after 10000 steps, including 318 resets, run finished after 5519 ms. (steps per millisecond=1 ) properties (out of 8390) seen :3457
Running SMT prover for 4933 properties.
[2023-03-13 14:03:56] [INFO ] Flow matrix only has 12157 transitions (discarded 600 similar events)
// Phase 1: matrix 12157 rows 8390 cols
[2023-03-13 14:03:56] [INFO ] Computed 867 place invariants in 727 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 14:04:27] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 14:04:27] [INFO ] After 25112ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 4933 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 4933 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.35 ms
Discarding 34 places :
Also discarding 0 output transitions
Drop transitions removed 677 transitions
Trivial Post-agglo rules discarded 677 transitions
Performed 677 trivial Post agglomeration. Transition count delta: 677
Iterating post reduction 0 with 677 rules applied. Total rules applied 678 place count 8356 transition count 12080
Reduce places removed 677 places and 0 transitions.
Iterating post reduction 1 with 677 rules applied. Total rules applied 1355 place count 7679 transition count 12080
Performed 132 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 132 Pre rules applied. Total rules applied 1355 place count 7679 transition count 11948
Deduced a syphon composed of 132 places in 9 ms
Reduce places removed 132 places and 0 transitions.
Iterating global reduction 2 with 264 rules applied. Total rules applied 1619 place count 7547 transition count 11948
Discarding 545 places :
Symmetric choice reduction at 2 with 545 rule applications. Total rules 2164 place count 7002 transition count 11403
Iterating global reduction 2 with 545 rules applied. Total rules applied 2709 place count 7002 transition count 11403
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 2710 place count 7001 transition count 11400
Iterating global reduction 2 with 1 rules applied. Total rules applied 2711 place count 7001 transition count 11400
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Deduced a syphon composed of 3 places in 9 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 2 with 6 rules applied. Total rules applied 2717 place count 6998 transition count 11397
Free-agglomeration rule (complex) applied 514 times.
Iterating global reduction 2 with 514 rules applied. Total rules applied 3231 place count 6998 transition count 10885
Reduce places removed 514 places and 0 transitions.
Iterating post reduction 2 with 514 rules applied. Total rules applied 3745 place count 6484 transition count 10885
Partial Free-agglomeration rule applied 132 times.
Drop transitions removed 132 transitions
Iterating global reduction 3 with 132 rules applied. Total rules applied 3877 place count 6484 transition count 10885
Applied a total of 3877 rules in 2595 ms. Remains 6484 /8390 variables (removed 1906) and now considering 10885/12757 (removed 1872) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2598 ms. Remains : 6484/8390 places, 10885/12757 transitions.
Interrupted random walk after 117346 steps, including 5169 resets, run timeout after 30001 ms. (steps per millisecond=3 ) properties seen 2521
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2412) 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 2412) 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 2412) 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 2410) 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 2410) 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 2410) 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 2408) 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 2408) 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 2408) 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 2408) 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 2408) 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 2408) 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 2408) 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 2408) 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 2408) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2407) 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 2407) 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 2407) 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 2407) 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 2407) 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 2407) 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 2407) 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 2407) 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 2407) 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 2407) 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 2407) 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 2407) 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 2407) 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 2407) 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 2407) 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 2407) 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 2407) 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 2407) 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 2407) 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 2407) 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 2407) 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 2407) 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 2407) 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 2407) 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 2407) 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 2407) 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 2407) 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 2407) 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 2405) 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 2403) 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 2401) 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 2399) 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 2399) 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 2399) 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 2399) 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 2399) 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 2399) 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 2397) 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 2397) 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 2395) 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 2395) 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 2395) 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 2395) 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 2395) 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 2393) 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 2393) 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 2393) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2391) 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 2391) 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 2391) 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 2391) 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 2391) 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 2389) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2389) 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 2389) 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 2389) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2388) 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 2388) 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 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 35 ms. (steps per millisecond=28 ) 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 :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 :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 :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2386) 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 2386) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2383) 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 2383) 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 2383) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2382) 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 2382) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2382) 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 2382) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2380) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2380) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2380) 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 2380) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2380) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2378) 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 2378) 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 2378) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2378) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2378) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2376) 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 2376) 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 2376) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2376) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2376) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2376) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2376) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2376) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 2376) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2376) 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 2376) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 2376) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2376) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2374) 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 2374) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 2374) 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 2374) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2372) 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 2372) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2372) 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 2372) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2372) 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 2372) 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 2372) 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 2372) 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 2372) 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 2372) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2372) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2372) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2372) 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 2372) 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 2372) 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 2372) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 2372) 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 2372) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2372) 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 2372) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2372) 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 2372) 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 2372) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2372) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2370) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2370) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2370) 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 2370) 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 2370) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2366) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2365) 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 2365) 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 2365) 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 2365) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2365) 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 2365) 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 2365) 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 2365) 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 2365) 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 2365) 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 2365) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2363) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2361) 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 2361) 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 2361) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2361) 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 2361) 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 2361) 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 2361) 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 2361) 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 2361) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2361) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2361) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2361) 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 2361) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2361) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2361) 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 2361) 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 2361) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 2361) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2361) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2361) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2361) 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 2361) 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 2361) 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 2361) 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 2361) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2361) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2361) 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 2361) 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 2361) 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 2361) 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 2361) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2361) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2361) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2359) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2357) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 2357) 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 2357) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2357) 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 2357) 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 2357) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2357) 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 2357) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2355) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2353) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2350) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2348) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2348) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2348) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2348) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2348) 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 2348) 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 2348) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2348) 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 2348) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2348) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2348) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2348) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2348) 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 2348) 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 2348) 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 2348) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2348) 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 2348) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2348) 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 2348) 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 2348) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2346) 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 2346) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2344) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2342) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2342) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2342) 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 2342) 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 2342) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2342) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2340) 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 2340) 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 2340) 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 2340) 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 2340) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2340) 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 2340) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2340) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2340) 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 2340) 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 2340) 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 2340) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 2340) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2340) 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 2340) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2340) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2340) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 2339) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2337) 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 2337) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2337) 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 2337) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2337) 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 2337) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2337) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2336) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2336) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2336) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2336) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2334) 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 2334) 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 2334) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2334) 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 2334) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2332) 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 2332) 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 2332) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2332) 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 2332) 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 2332) 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 2332) 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 2332) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2332) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2332) 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 2332) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2332) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2332) 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 2332) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2332) 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 2332) 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 2332) 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 2332) 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 2330) 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 2330) 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 2330) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2330) 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 2330) 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 2330) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2330) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2330) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2328) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2328) 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 2328) 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 2328) 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 2328) 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 2328) 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 2328) 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 2328) 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 2328) 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 2328) 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 2328) 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 2326) 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 2326) 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 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 34 ms. (steps per millisecond=29 ) properties (out of 2326) 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 2326) 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 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 37 ms. (steps per millisecond=27 ) properties (out of 2326) 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 2326) 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 2326) 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 2324) 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 2324) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2322) 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 2322) 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 2322) 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 2322) 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 2322) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2321) 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 2321) 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 2321) 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 2321) 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 2321) 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 2321) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2321) 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 2321) 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 2321) 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 2321) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2319) 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 2319) 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 2319) 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 2319) 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 2319) 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 2319) 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 2319) 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 2319) 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 2319) 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 2319) 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 2319) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2319) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2319) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2319) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2319) 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 2319) 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 2319) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2319) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2317) 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 2317) 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 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 37 ms. (steps per millisecond=27 ) properties (out of 2317) 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 2317) 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 2317) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2317) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2317) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) 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 45 ms. (steps per millisecond=22 ) properties (out of 2317) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 2317) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2317) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2317) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 2317) 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 2317) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 2317) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 2317) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 43 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 44 ms. (steps per millisecond=22 ) properties (out of 2317) 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 2317) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 2317) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 43 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 41 ms. (steps per millisecond=24 ) properties (out of 2317) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2317) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 2317) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2317) 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 2317) 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 2317) 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 2315) 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 2315) 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 2315) 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 2315) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2313) 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 2311) 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 2311) 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 2311) 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 2311) 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 2311) 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 2311) 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 2311) 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 2311) 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 2311) 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 2311) 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 2311) 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 2311) 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 2311) 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 2311) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 38 ms. (steps per millisecond=26 ) 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 :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 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 36 ms. (steps per millisecond=27 ) 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 :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 36 ms. (steps per millisecond=27 ) 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 36 ms. (steps per millisecond=27 ) 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 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 35 ms. (steps per millisecond=28 ) 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 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 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 36 ms. (steps per millisecond=27 ) properties (out of 2309) 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 2309) 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 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 :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 36 ms. (steps per millisecond=27 ) 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 1000 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 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 36 ms. (steps per millisecond=27 ) properties (out of 2309) 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 2307) 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 2307) 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 2307) 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 2307) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2306) 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 2306) 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 2306) 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 2304) 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 2304) 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 2304) 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 2304) 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 2304) 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 2304) 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 2304) 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 2304) 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 2304) 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 2304) 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 2304) 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 2304) 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 2303) 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 2303) 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 2303) 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 2303) 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 2303) 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 2303) 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 2303) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2303) 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 2303) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2301) 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 2301) 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 2301) 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 2301) 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 2301) 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 2301) 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 2301) 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 2301) 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 2301) 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 2301) 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 2301) 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 2301) 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 2301) 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 2301) 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 2301) 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 2301) 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 2301) 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 2301) 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 2301) 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 2301) 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 2301) 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 2301) 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 2301) 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 2301) 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 2301) 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 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 34 ms. (steps per millisecond=29 ) 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 34 ms. (steps per millisecond=29 ) properties (out of 2299) 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 2299) 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 2299) 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 2299) 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 2298) 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 2298) 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 2298) 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 2298) 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 2298) 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 2298) 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 2296) 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 2296) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2296) 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 2296) 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 2296) 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 2296) 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 2296) 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 2296) 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 2296) 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 2296) 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 2296) 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 2296) 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 2296) 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 2296) 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 2296) 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 2296) 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 2296) 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 2296) 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 2296) 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 2296) 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 2296) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2296) 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 2296) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2296) 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 2296) 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 2296) 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 2296) 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 2296) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2296) 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 2296) 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 2296) 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 2296) 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 2296) 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 2296) 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 2296) 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 2294) 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 2294) 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 2294) 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 2292) 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 2292) 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 2292) 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 2292) 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 2292) 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 2292) 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 2292) 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 2292) 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 2292) 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 2292) 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 2292) 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 2292) 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 2292) 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 2292) 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 2292) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2292) 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 2292) 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 2292) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2292) 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 2292) 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 2292) 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 2292) 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 2292) 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 2292) 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 2292) 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 2292) 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 2292) 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 2292) 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 2292) 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 2292) 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 2292) 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 2292) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2292) 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 2292) 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 2292) 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 2292) 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 2292) 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 2292) 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 2292) 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 2292) 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 2292) seen :1
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 34 ms. (steps per millisecond=29 ) 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 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 36 ms. (steps per millisecond=27 ) 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 34 ms. (steps per millisecond=29 ) properties (out of 2291) 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 2291) 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 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 34 ms. (steps per millisecond=29 ) 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 :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2289) 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 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 34 ms. (steps per millisecond=29 ) properties (out of 2289) 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 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 34 ms. (steps per millisecond=29 ) properties (out of 2289) 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 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 35 ms. (steps per millisecond=28 ) properties (out of 2289) 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 2289) 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 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 37 ms. (steps per millisecond=27 ) properties (out of 2289) 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 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 34 ms. (steps per millisecond=29 ) 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 35 ms. (steps per millisecond=28 ) properties (out of 2289) 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 2289) 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 2289) 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 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 36 ms. (steps per millisecond=27 ) 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 1000 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 35 ms. (steps per millisecond=28 ) properties (out of 2289) 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 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 36 ms. (steps per millisecond=27 ) properties (out of 2289) 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 2287) 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 2285) 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 2285) 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 2285) 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 2285) 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 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 34 ms. (steps per millisecond=29 ) 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 :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2284) 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 2284) 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 2284) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2284) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2284) 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 2284) 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 2284) 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 2284) 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 2284) 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 2284) 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 2284) 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 2284) 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 2284) 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 2284) seen :0
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2284) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2284) 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 2284) 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 2284) 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 2284) 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 2284) 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 2284) 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 2284) 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 2282) 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 2282) 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 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 33 ms. (steps per millisecond=30 ) properties (out of 2282) 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 2280) 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 2280) 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 2280) 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 2280) 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 2280) 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 2280) 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 2280) 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 2280) 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 2280) 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 2280) 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 2280) 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 2280) 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 2280) 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 2280) 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 2280) 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 2280) 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 2280) 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 2280) 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 2280) 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 2280) 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 2280) 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 2280) 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 2280) 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 2280) 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 2280) 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 2280) 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 2280) 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 2280) 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 2280) 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 2280) 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 2280) 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 2280) 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 2280) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2280) 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 2280) 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 2280) 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 2280) 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 2280) 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 2280) 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 2280) 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 2280) 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 2280) 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 2280) 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 2280) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) 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 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 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 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 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 37 ms. (steps per millisecond=27 ) 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 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 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 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 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 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 35 ms. (steps per millisecond=28 ) properties (out of 2278) 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 2278) seen :0
Incomplete Best-First random walk after 1000 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 35 ms. (steps per millisecond=28 ) 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 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 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 36 ms. (steps per millisecond=27 ) properties (out of 2278) 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 2278) 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 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 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 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 36 ms. (steps per millisecond=27 ) 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 35 ms. (steps per millisecond=28 ) 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 1000 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 1000 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 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 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 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 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 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 35 ms. (steps per millisecond=28 ) 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 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 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 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 36 ms. (steps per millisecond=27 ) properties (out of 2278) seen :0
Running SMT prover for 2278 properties.
[2023-03-13 14:05:28] [INFO ] Flow matrix only has 10260 transitions (discarded 625 similar events)
// Phase 1: matrix 10260 rows 6484 cols
[2023-03-13 14:05:29] [INFO ] Computed 833 place invariants in 399 ms
[2023-03-13 14:09:09] [INFO ] After 218128ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2278
[2023-03-13 14:11:54] [INFO ] [Nat]Absence check using 47 positive place invariants in 217 ms returned sat
[2023-03-13 14:11:55] [INFO ] [Nat]Absence check using 47 positive and 786 generalized place invariants in 280 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 14:12:54] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 14:12:54] [INFO ] After 225069ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:2278
Fused 2278 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 2278 out of 6484 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6484/6484 places, 10885/10885 transitions.
Drop transitions removed 1109 transitions
Trivial Post-agglo rules discarded 1109 transitions
Performed 1109 trivial Post agglomeration. Transition count delta: 1109
Iterating post reduction 0 with 1109 rules applied. Total rules applied 1109 place count 6484 transition count 9776
Reduce places removed 1109 places and 0 transitions.
Iterating post reduction 1 with 1109 rules applied. Total rules applied 2218 place count 5375 transition count 9776
Performed 18 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 18 Pre rules applied. Total rules applied 2218 place count 5375 transition count 9758
Deduced a syphon composed of 18 places in 6 ms
Reduce places removed 18 places and 0 transitions.
Iterating global reduction 2 with 36 rules applied. Total rules applied 2254 place count 5357 transition count 9758
Discarding 960 places :
Symmetric choice reduction at 2 with 960 rule applications. Total rules 3214 place count 4397 transition count 8798
Iterating global reduction 2 with 960 rules applied. Total rules applied 4174 place count 4397 transition count 8798
Discarding 64 places :
Symmetric choice reduction at 2 with 64 rule applications. Total rules 4238 place count 4333 transition count 8606
Iterating global reduction 2 with 64 rules applied. Total rules applied 4302 place count 4333 transition count 8606
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 4304 place count 4332 transition count 8605
Free-agglomeration rule (complex) applied 77 times.
Iterating global reduction 2 with 77 rules applied. Total rules applied 4381 place count 4332 transition count 8656
Reduce places removed 77 places and 0 transitions.
Iterating post reduction 2 with 77 rules applied. Total rules applied 4458 place count 4255 transition count 8656
Discarding 99 places :
Symmetric choice reduction at 3 with 99 rule applications. Total rules 4557 place count 4156 transition count 8557
Iterating global reduction 3 with 99 rules applied. Total rules applied 4656 place count 4156 transition count 8557
Partial Free-agglomeration rule applied 50 times.
Drop transitions removed 50 transitions
Iterating global reduction 3 with 50 rules applied. Total rules applied 4706 place count 4156 transition count 8557
Discarding 32 places :
Symmetric choice reduction at 3 with 32 rule applications. Total rules 4738 place count 4124 transition count 8525
Iterating global reduction 3 with 32 rules applied. Total rules applied 4770 place count 4124 transition count 8525
Applied a total of 4770 rules in 1410 ms. Remains 4124 /6484 variables (removed 2360) and now considering 8525/10885 (removed 2360) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1410 ms. Remains : 4124/6484 places, 8525/10885 transitions.
Interrupted random walk after 179433 steps, including 9375 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 39
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2239) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 2239) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2239) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2239) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2239) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2239) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2238) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2238) 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 2238) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2238) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2238) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2238) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2238) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2238) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2238) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2238) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2238) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2238) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2238) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2238) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2238) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2238) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 2237) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 2237) seen :0
Interrupted probabilistic random walk after 470490 steps, run timeout after 93001 ms. (steps per millisecond=5 ) properties seen :{343=1, 955=1, 1115=1, 1171=1, 1271=1, 1839=1}
Probabilistic random walk after 470490 steps, saw 207458 distinct states, run finished after 93003 ms. (steps per millisecond=5 ) properties seen :6
Running SMT prover for 2231 properties.
[2023-03-13 14:15:00] [INFO ] Flow matrix only has 7873 transitions (discarded 652 similar events)
// Phase 1: matrix 7873 rows 4124 cols
[2023-03-13 14:15:00] [INFO ] Computed 833 place invariants in 262 ms
[2023-03-13 14:17:29] [INFO ] After 147860ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2231
[2023-03-13 14:19:20] [INFO ] [Nat]Absence check using 49 positive place invariants in 152 ms returned sat
[2023-03-13 14:19:20] [INFO ] [Nat]Absence check using 49 positive and 784 generalized place invariants in 192 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 14:21:14] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 14:21:14] [INFO ] After 225045ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:2231
Fused 2231 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 2231 out of 4124 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4124/4124 places, 8525/8525 transitions.
Drop transitions removed 14 transitions
Trivial Post-agglo rules discarded 14 transitions
Performed 14 trivial Post agglomeration. Transition count delta: 14
Iterating post reduction 0 with 14 rules applied. Total rules applied 14 place count 4124 transition count 8511
Reduce places removed 14 places and 0 transitions.
Iterating post reduction 1 with 14 rules applied. Total rules applied 28 place count 4110 transition count 8511
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 29 place count 4109 transition count 8510
Iterating global reduction 2 with 1 rules applied. Total rules applied 30 place count 4109 transition count 8510
Free-agglomeration rule (complex) applied 16 times.
Iterating global reduction 2 with 16 rules applied. Total rules applied 46 place count 4109 transition count 8494
Reduce places removed 16 places and 0 transitions.
Iterating post reduction 2 with 16 rules applied. Total rules applied 62 place count 4093 transition count 8494
Discarding 13 places :
Symmetric choice reduction at 3 with 13 rule applications. Total rules 75 place count 4080 transition count 8481
Iterating global reduction 3 with 13 rules applied. Total rules applied 88 place count 4080 transition count 8481
Applied a total of 88 rules in 701 ms. Remains 4080 /4124 variables (removed 44) and now considering 8481/8525 (removed 44) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 701 ms. Remains : 4080/4124 places, 8481/8525 transitions.
Interrupted random walk after 142558 steps, including 7449 resets, run timeout after 30001 ms. (steps per millisecond=4 ) properties seen 6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) 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 2225) seen :0
Interrupted probabilistic random walk after 438335 steps, run timeout after 93001 ms. (steps per millisecond=4 ) properties seen :{}
Probabilistic random walk after 438335 steps, saw 193221 distinct states, run finished after 93003 ms. (steps per millisecond=4 ) properties seen :0
Running SMT prover for 2225 properties.
[2023-03-13 14:23:19] [INFO ] Flow matrix only has 7815 transitions (discarded 666 similar events)
// Phase 1: matrix 7815 rows 4080 cols
[2023-03-13 14:23:20] [INFO ] Computed 833 place invariants in 189 ms
[2023-03-13 14:25:53] [INFO ] After 151647ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2225
[2023-03-13 14:27:44] [INFO ] [Nat]Absence check using 49 positive place invariants in 152 ms returned sat
[2023-03-13 14:27:45] [INFO ] [Nat]Absence check using 49 positive and 784 generalized place invariants in 224 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 14:29:38] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 14:29:38] [INFO ] After 225025ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:2225
Fused 2225 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 2225 out of 4080 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4080/4080 places, 8481/8481 transitions.
Applied a total of 0 rules in 255 ms. Remains 4080 /4080 variables (removed 0) and now considering 8481/8481 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 256 ms. Remains : 4080/4080 places, 8481/8481 transitions.
Interrupted random walk after 158171 steps, including 8266 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) 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 2223) seen :0
Interrupted probabilistic random walk after 433667 steps, run timeout after 93001 ms. (steps per millisecond=4 ) properties seen :{}
Probabilistic random walk after 433667 steps, saw 191156 distinct states, run finished after 93002 ms. (steps per millisecond=4 ) properties seen :0
Running SMT prover for 2223 properties.
[2023-03-13 14:31:42] [INFO ] Flow matrix only has 7815 transitions (discarded 666 similar events)
[2023-03-13 14:31:42] [INFO ] Invariant cache hit.
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393216 kB
MemFree: 13771296 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16156688 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ 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
+ 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="ltsminxred"
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 ltsminxred"
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 r247-tall-167856434600508"
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 '' StableMarking.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;