About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S24C03
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 11315.739 | 1800000.00 | 4910039.00 | 3045.30 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r243-tall-167856431100508.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 itstools
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 r243-tall-167856431100508
=====================================================================
--------------------
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 1678697809079
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=itstools
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=MultiCrashLeafsetExtension-PT-S24C03
Not applying reductions.
Model is PT
StableMarking PT
Running Version 202303021504
[2023-03-13 08:56:50] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2023-03-13 08:56:50] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 08:56:51] [INFO ] Load time of PNML (sax parser for PT used): 387 ms
[2023-03-13 08:56:51] [INFO ] Transformed 8390 places.
[2023-03-13 08:56:51] [INFO ] Transformed 12757 transitions.
[2023-03-13 08:56:51] [INFO ] Parsed PT model containing 8390 places and 12757 transitions and 52526 arcs in 528 ms.
[2023-03-13 08:56:53] [INFO ] Flatten gal took : 1313 ms
[2023-03-13 08:56:54] [INFO ] Flatten gal took : 691 ms
[2023-03-13 08:56:54] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality9033905751920660682.gal : 165 ms
[2023-03-13 08:56:54] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality7636229758105849281.prop : 26 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality9033905751920660682.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality7636229758105849281.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...328
Incomplete random walk after 10000 steps, including 318 resets, run finished after 4482 ms. (steps per millisecond=2 ) properties (out of 8390) seen :3382
Running SMT prover for 5008 properties.
[2023-03-13 08:56:56] [INFO ] Flow matrix only has 12157 transitions (discarded 600 similar events)
Loading property file /tmp/ReachabilityCardinality7636229758105849281.prop.
// Phase 1: matrix 12157 rows 8390 cols
[2023-03-13 08:56:56] [INFO ] Computed 867 place invariants in 744 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 08:57:27] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 08:57:27] [INFO ] After 25078ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 5008 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 5008 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.40 ms
Discarding 34 places :
Also discarding 0 output transitions
Drop transitions removed 662 transitions
Trivial Post-agglo rules discarded 662 transitions
Performed 662 trivial Post agglomeration. Transition count delta: 662
Iterating post reduction 0 with 662 rules applied. Total rules applied 663 place count 8356 transition count 12095
Reduce places removed 662 places and 0 transitions.
Iterating post reduction 1 with 662 rules applied. Total rules applied 1325 place count 7694 transition count 12095
Performed 130 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 130 Pre rules applied. Total rules applied 1325 place count 7694 transition count 11965
Deduced a syphon composed of 130 places in 10 ms
Reduce places removed 130 places and 0 transitions.
Iterating global reduction 2 with 260 rules applied. Total rules applied 1585 place count 7564 transition count 11965
Discarding 532 places :
Symmetric choice reduction at 2 with 532 rule applications. Total rules 2117 place count 7032 transition count 11433
Iterating global reduction 2 with 532 rules applied. Total rules applied 2649 place count 7032 transition count 11433
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 8 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 2653 place count 7030 transition count 11431
Free-agglomeration rule (complex) applied 500 times.
Iterating global reduction 2 with 500 rules applied. Total rules applied 3153 place count 7030 transition count 10931
Reduce places removed 500 places and 0 transitions.
Iterating post reduction 2 with 500 rules applied. Total rules applied 3653 place count 6530 transition count 10931
Partial Free-agglomeration rule applied 130 times.
Drop transitions removed 130 transitions
Iterating global reduction 3 with 130 rules applied. Total rules applied 3783 place count 6530 transition count 10931
Applied a total of 3783 rules in 2346 ms. Remains 6530 /8390 variables (removed 1860) and now considering 10931/12757 (removed 1826) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2349 ms. Remains : 6530/8390 places, 10931/12757 transitions.
Interrupted random walk after 96686 steps, including 4254 resets, run timeout after 30001 ms. (steps per millisecond=3 ) properties seen 2492
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2516) 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 2516) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2514) 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 2514) 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 2514) 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 2514) 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 2514) 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 2514) 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 2514) 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 2514) 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 2514) 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 2514) 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 2514) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2511) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2508) 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 2508) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 2504) 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 2504) 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 2504) 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 2504) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2500) 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 2498) 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 2496) 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 2494) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 2492) 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 2492) 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 2490) 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 2490) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2486) 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 2486) 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 2486) 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 2486) 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 2486) 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 2484) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2481) 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 2481) 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 2481) 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 2479) 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 2479) 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 2479) 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 2479) 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 2479) 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 2479) 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 2477) 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 2477) 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 2475) 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 2473) 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 2473) 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 2473) 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 2473) 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 2473) 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 2473) 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 2471) 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 2471) 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 2469) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2468) 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 2468) 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 2468) 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 2468) 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 2468) 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 2468) 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 2468) 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 2468) 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 2468) 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 2468) 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 2466) 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 2466) 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 2466) 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 2466) 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 2466) 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 2466) 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 2466) 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 2466) 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 2464) 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 2462) 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 2462) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2460) 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 2460) 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 2460) 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 2458) 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 2458) 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 2458) 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 2458) 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 2458) 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 2458) 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 2458) 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 2458) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2458) 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 2458) 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 2456) 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 2456) 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 2455) 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 2455) 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 2455) 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 2455) 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 2455) 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 2455) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2455) 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 2455) 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 2455) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2453) 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 2451) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2449) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2449) 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 2449) 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 2449) 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 2449) 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 2449) 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 2449) 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 2449) 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 2449) 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 2449) 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 2447) 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 2447) 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 2447) 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 2447) 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 2447) 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 2445) 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 2445) 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 2445) 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 2445) 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 2445) 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 2445) 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 2445) 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 2445) 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 2445) 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 2445) 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 2445) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2441) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2441) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2441) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2441) 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 2441) 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 2441) 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 2439) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2437) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2437) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2437) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2437) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2437) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2437) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2437) 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 2437) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2437) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2437) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2437) 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 2437) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2435) 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 2435) 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 2435) 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 2435) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2433) 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 2433) 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 2433) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2433) 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 2433) 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 2433) 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 2431) 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 2431) 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 2431) 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 2431) 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 2431) 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 2431) 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 2431) 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 2431) 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 2429) 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 2428) 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 2428) 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 2428) 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 2428) 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 2428) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2424) 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 2424) 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 2424) 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 2424) 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 2423) 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 2423) 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 2423) 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 2423) 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 2423) 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 2423) 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 2423) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2423) 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 2423) 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 2423) 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 2421) 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 2421) 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 2420) 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 2418) 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 2418) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2418) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2416) 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 2414) 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 2414) 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 2414) 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 2414) 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 2414) 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 2414) 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 2414) 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 2414) 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 2414) 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 2414) 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 2414) 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 2414) 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 2414) 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 2414) 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 2414) 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 2414) 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 2414) 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 2414) 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 2414) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2412) 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 2410) 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 2410) 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 2410) 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 2410) 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 2410) 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 2410) 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 2410) 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 2410) 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 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 :2
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 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 40 ms. (steps per millisecond=25 ) 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 34 ms. (steps per millisecond=29 ) 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 33 ms. (steps per millisecond=30 ) properties (out of 2408) 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 2406) 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 2406) 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 2406) 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 2406) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2403) 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 2403) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2403) 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 2403) 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 2403) 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 2403) 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 2401) 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 2401) 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 2401) 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 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 :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2397) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2396) 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 2396) 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 2396) 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 2396) 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 2396) 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 2396) 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 2396) 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 2396) 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 2394) 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 2393) 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 2393) 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 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 :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2393) 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 2393) 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 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 36 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 28 ms. (steps per millisecond=35 ) properties (out of 2393) 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 2393) 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 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 :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2392) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2392) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2392) 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 2392) 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 2390) 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 2390) 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 2390) 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 2390) 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 2390) 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 2390) 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 2390) 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 2390) 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 2390) 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 2390) 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 2390) 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 2390) 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 2388) 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 2388) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2388) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 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 35 ms. (steps per millisecond=28 ) 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 :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 :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 :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2388) 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 2388) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2388) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2388) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2388) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2388) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2388) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2388) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2388) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2388) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2386) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 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 32 ms. (steps per millisecond=31 ) properties (out of 2386) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2386) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2386) 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 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 43 ms. (steps per millisecond=23 ) properties (out of 2386) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2384) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2384) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2384) 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 2384) 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 2384) 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 2384) 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 2384) 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 2384) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2384) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2384) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2384) 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 2384) 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 2384) 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 2384) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2384) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2382) 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 2382) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2382) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2382) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2382) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2382) 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 2382) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2382) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2382) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2382) 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 2382) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2382) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2382) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2382) 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 2382) 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 2382) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2382) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2382) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2382) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2382) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2382) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2382) 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 2380) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2380) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2380) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2380) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2380) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2380) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 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 35 ms. (steps per millisecond=28 ) properties (out of 2380) 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 2378) 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 2378) 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 2378) 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 2376) 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 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 34 ms. (steps per millisecond=29 ) properties (out of 2376) 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 2376) 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 2376) 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 2376) 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 2376) 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 2376) 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 2376) 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 2376) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2376) 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 2376) 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 2376) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2376) 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 2376) 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 2376) 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 2376) 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 2376) 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 2376) 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 2376) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2374) seen :0
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2374) 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 2374) 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 2374) 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 2374) 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 2372) 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 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 33 ms. (steps per millisecond=30 ) properties (out of 2372) 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 2372) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2372) 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 2372) 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 2372) 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 2372) 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 2372) 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 2372) 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 2372) 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 2372) 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 2372) 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 2372) 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 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 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 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 36 ms. (steps per millisecond=27 ) properties (out of 2372) 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 2370) 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 2370) 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 2370) 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 2370) 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 2370) 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 2370) 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 2368) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2366) 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 2366) 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 2366) 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 2366) 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 2366) 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 2366) 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 2366) 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 2364) 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 2364) 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 2364) 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 2364) 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 2364) 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 2362) 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 2362) 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 2362) 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 2362) 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 2361) 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 2361) 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 2361) 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 2359) 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 2357) 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 2357) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2357) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2357) seen :0
Incomplete Best-First random walk after 1001 steps, including 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 32 ms. (steps per millisecond=31 ) properties (out of 2357) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2355) 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 2355) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2355) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2355) 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 2355) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2355) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2355) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2355) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2355) 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 2355) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2355) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2355) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2355) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2355) 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 2355) 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 2355) 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 2355) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2355) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2355) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2355) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2355) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2355) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2355) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2355) 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 2353) 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 2353) 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 2351) 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 2351) 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 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2351) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2351) 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 2351) 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 2351) 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 2351) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2349) 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 2349) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2345) 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 2345) 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 2345) 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 2343) 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 2343) 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 2343) 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 2343) 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 2343) 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 2343) 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 2343) 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 2343) 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 2343) 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 2343) 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 2343) 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 2343) 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 2343) 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 2343) 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 2343) 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 2343) 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 2343) 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 2343) 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 2343) 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 2341) 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 2341) 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 2341) 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 2341) 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 2341) 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 2341) 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 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 35 ms. (steps per millisecond=28 ) properties (out of 2340) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2340) seen :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 32 ms. (steps per millisecond=31 ) properties (out of 2340) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2340) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2340) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2340) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2338) 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 2338) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2338) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2338) 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 2338) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2338) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2338) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2338) 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 2338) 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 2338) 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 2338) 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 2338) 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 2338) 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 2338) 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 2338) 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 2338) 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 2338) 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 2338) 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 2338) 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 2338) 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 2338) 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 2338) 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 2338) 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 2338) 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 2338) 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 2338) 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 2338) 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 2338) 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 2338) 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 2336) 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 2336) 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 2336) 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 2336) 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 2336) 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 2336) 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 2336) 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 2336) 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 2335) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2335) 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 2335) 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 2335) 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 2335) 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 2335) 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 2335) 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 2335) 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 2335) 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 2335) 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 2333) 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 2333) 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 2333) 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 2333) 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 2333) 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 2333) 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 2333) 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 2333) 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 2333) 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 2333) 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 2333) 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 2333) 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 2333) 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 2333) 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 2333) 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 2333) 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 2333) 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 2333) 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 2333) 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 2333) 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 2333) 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 2333) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2333) 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 2333) 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 2333) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2333) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2333) 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 2333) 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 2333) 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 2333) 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 2333) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2332) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2332) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2332) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2332) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2330) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2330) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2330) 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 2330) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2330) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2330) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2330) seen :4
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 33 ms. (steps per millisecond=30 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2326) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 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 33 ms. (steps per millisecond=30 ) 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 32 ms. (steps per millisecond=31 ) properties (out of 2324) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2324) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2324) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 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 33 ms. (steps per millisecond=30 ) properties (out of 2324) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2324) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2324) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2324) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2324) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2322) 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 2322) 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 2320) 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 2320) 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 2320) 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 2320) 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 2320) 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 2320) 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 2320) 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 2320) 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 2320) 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 2320) 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 2320) 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 2320) 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 2320) 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 2320) 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 2320) 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 2320) 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 2320) 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 2320) 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 2318) 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 2318) 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 2318) 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 2318) 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 2318) 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 2318) 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 2318) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2318) 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 2318) 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 2318) 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 2318) 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 2318) 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 2318) 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 2318) 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 2318) 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 2318) 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 2318) 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 2318) 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 2318) 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 2318) 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 2318) 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 2318) 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 2318) 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 2318) 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 2318) 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 2318) 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 2318) 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 2318) 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 2318) 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 2318) 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 2318) 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 2318) 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 2318) 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 2316) 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 2316) 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 2316) 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 2316) 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 2316) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2316) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2316) 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 2316) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2314) 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 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2314) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 2314) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 2312) 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 2312) 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 2312) 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 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2312) 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 2312) 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 2312) 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 2312) 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 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2312) 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 2312) 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 2310) 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 2310) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2310) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2310) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2310) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2310) 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 2310) 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 2310) 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 2310) 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 2310) 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 2310) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2307) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2307) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2307) seen :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 31 ms. (steps per millisecond=32 ) properties (out of 2307) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 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 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 33 ms. (steps per millisecond=30 ) properties (out of 2307) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2307) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2307) seen :4
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 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 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 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 :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 :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 43 ms. (steps per millisecond=23 ) 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 :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 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 31 ms. (steps per millisecond=32 ) 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 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 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 1000 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=31 ) 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 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 30 ms. (steps per millisecond=33 ) properties (out of 2301) 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 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 32 ms. (steps per millisecond=31 ) properties (out of 2301) 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 2301) 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 2301) 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 2301) 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 2301) 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 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 32 ms. (steps per millisecond=31 ) 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 26 ms. (steps per millisecond=38 ) properties (out of 2301) 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 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 27 ms. (steps per millisecond=37 ) properties (out of 2301) 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 2301) 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 2301) 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 2301) 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 2301) 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 2301) 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 2301) 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 2301) 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 2301) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 2301) 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 2301) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 2301) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 2301) 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 2301) seen :0
Running SMT prover for 2301 properties.
[2023-03-13 08:58:27] [INFO ] Flow matrix only has 10311 transitions (discarded 620 similar events)
// Phase 1: matrix 10311 rows 6530 cols
[2023-03-13 08:58:27] [INFO ] Computed 833 place invariants in 452 ms
Invariant property smplace_7733 does not hold.
Invariant property smplace_7731 does not hold.
Invariant property smplace_7720 does not hold.
Invariant property smplace_960 does not hold.
Invariant property smplace_959 does not hold.
Invariant property smplace_507 does not hold.
Invariant property smplace_506 does not hold.
Invariant property smplace_505 does not hold.
Invariant property smplace_504 does not hold.
Invariant property smplace_12 does not hold.
Invariant property smplace_10 does not hold.
Invariant property smplace_8 does not hold.
Invariant property smplace_1 does not hold.
Invariant property smplace_0 does not hold.
SDD proceeding with computation,8376 properties remain. new max is 2
SDD size :1 after 4
Invariant property smplace_1377 does not hold.
Invariant property smplace_1376 does not hold.
Invariant property smplace_964 does not hold.
Invariant property smplace_963 does not hold.
Invariant property smplace_962 does not hold.
Invariant property smplace_961 does not hold.
Invariant property smplace_22 does not hold.
Invariant property smplace_20 does not hold.
SDD proceeding with computation,8368 properties remain. new max is 2
SDD size :4 after 6
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 09:02:15] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 09:02:15] [INFO ] After 225070ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 2301 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 2301 out of 6530 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6530/6530 places, 10931/10931 transitions.
Drop transitions removed 1112 transitions
Trivial Post-agglo rules discarded 1112 transitions
Performed 1112 trivial Post agglomeration. Transition count delta: 1112
Iterating post reduction 0 with 1112 rules applied. Total rules applied 1112 place count 6530 transition count 9819
Reduce places removed 1112 places and 0 transitions.
Iterating post reduction 1 with 1112 rules applied. Total rules applied 2224 place count 5418 transition count 9819
Performed 20 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 20 Pre rules applied. Total rules applied 2224 place count 5418 transition count 9799
Deduced a syphon composed of 20 places in 6 ms
Reduce places removed 20 places and 0 transitions.
Iterating global reduction 2 with 40 rules applied. Total rules applied 2264 place count 5398 transition count 9799
Discarding 962 places :
Symmetric choice reduction at 2 with 962 rule applications. Total rules 3226 place count 4436 transition count 8837
Iterating global reduction 2 with 962 rules applied. Total rules applied 4188 place count 4436 transition count 8837
Discarding 72 places :
Symmetric choice reduction at 2 with 72 rule applications. Total rules 4260 place count 4364 transition count 8621
Iterating global reduction 2 with 72 rules applied. Total rules applied 4332 place count 4364 transition count 8621
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 5 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 4336 place count 4362 transition count 8619
Free-agglomeration rule (complex) applied 85 times.
Iterating global reduction 2 with 85 rules applied. Total rules applied 4421 place count 4362 transition count 8678
Reduce places removed 85 places and 0 transitions.
Iterating post reduction 2 with 85 rules applied. Total rules applied 4506 place count 4277 transition count 8678
Discarding 100 places :
Symmetric choice reduction at 3 with 100 rule applications. Total rules 4606 place count 4177 transition count 8578
Iterating global reduction 3 with 100 rules applied. Total rules applied 4706 place count 4177 transition count 8578
Partial Free-agglomeration rule applied 50 times.
Drop transitions removed 50 transitions
Iterating global reduction 3 with 50 rules applied. Total rules applied 4756 place count 4177 transition count 8578
Discarding 30 places :
Symmetric choice reduction at 3 with 30 rule applications. Total rules 4786 place count 4147 transition count 8548
Iterating global reduction 3 with 30 rules applied. Total rules applied 4816 place count 4147 transition count 8548
Applied a total of 4816 rules in 1490 ms. Remains 4147 /6530 variables (removed 2383) and now considering 8548/10931 (removed 2383) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1491 ms. Remains : 4147/6530 places, 8548/10931 transitions.
Invariant property smplace_7743 does not hold.
Invariant property smplace_7741 does not hold.
Interrupted random walk after 127737 steps, including 6670 resets, run timeout after 30001 ms. (steps per millisecond=4 ) properties seen 53
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2248) 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 2248) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) 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 2246) seen :0
SDD proceeding with computation,8366 properties remain. new max is 2
SDD size :6 after 7
Invariant property smplace_7285 does not hold.
Invariant property smplace_7283 does not hold.
Invariant property smplace_7276 does not hold.
Invariant property smplace_7274 does not hold.
Invariant property smplace_7263 does not hold.
Interrupted probabilistic random walk after 382278 steps, run timeout after 93001 ms. (steps per millisecond=4 ) properties seen :{122=1, 464=1, 465=1, 739=1, 959=1, 1119=1, 1120=1, 1132=1, 1133=1, 1167=1, 1220=1, 1684=1, 1848=1, 2125=1}
Probabilistic random walk after 382278 steps, saw 168862 distinct states, run finished after 93004 ms. (steps per millisecond=4 ) properties seen :14
Running SMT prover for 2232 properties.
[2023-03-13 09:04:21] [INFO ] Flow matrix only has 7895 transitions (discarded 653 similar events)
// Phase 1: matrix 7895 rows 4147 cols
[2023-03-13 09:04:21] [INFO ] Computed 833 place invariants in 229 ms
Invariant property smplace_522 does not hold.
Invariant property smplace_520 does not hold.
Invariant property smplace_509 does not hold.
SDD proceeding with computation,8358 properties remain. new max is 2
SDD size :7 after 10
Invariant property smplace_7724 does not hold.
Invariant property smplace_7722 does not hold.
Invariant property smplace_7267 does not hold.
Invariant property smplace_7265 does not hold.
Detected timeout of ITS tools.
[2023-03-13 09:06:55] [INFO ] Flatten gal took : 441 ms
[2023-03-13 09:06:55] [INFO ] Applying decomposition
[2023-03-13 09:06:55] [INFO ] Flatten gal took : 390 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph12414497258960922315.txt' '-o' '/tmp/graph12414497258960922315.bin' '-w' '/tmp/graph12414497258960922315.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph12414497258960922315.bin' '-l' '-1' '-v' '-w' '/tmp/graph12414497258960922315.weights' '-q' '0' '-e' '0.001'
[2023-03-13 09:06:56] [INFO ] Decomposing Gal with order
[2023-03-13 09:06:57] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-13 09:07:00] [INFO ] Removed a total of 8528 redundant transitions.
[2023-03-13 09:07:00] [INFO ] Flatten gal took : 2171 ms
[2023-03-13 09:07:01] [INFO ] Fuse similar labels procedure discarded/fused a total of 3993 labels/synchronizations in 499 ms.
[2023-03-13 09:07:01] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality13167856976570504678.gal : 121 ms
[2023-03-13 09:07:01] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality18043744957879910372.prop : 7 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality13167856976570504678.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality18043744957879910372.prop' '--nowitness'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...309
[2023-03-13 09:07:04] [INFO ] After 161610ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2232
Loading property file /tmp/ReachabilityCardinality18043744957879910372.prop.
SDD proceeding with computation,2232 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,2232 properties remain. new max is 8
SDD size :1 after 1
SDD proceeding with computation,2232 properties remain. new max is 16
SDD size :1 after 1
SDD proceeding with computation,2232 properties remain. new max is 32
SDD size :1 after 1
SDD proceeding with computation,2232 properties remain. new max is 64
SDD size :1 after 1
SDD proceeding with computation,2232 properties remain. new max is 128
SDD size :1 after 1
SDD proceeding with computation,2232 properties remain. new max is 256
SDD size :1 after 1
SDD proceeding with computation,2232 properties remain. new max is 512
SDD size :1 after 1
SDD proceeding with computation,2232 properties remain. new max is 1024
SDD size :1 after 1
SDD proceeding with computation,2232 properties remain. new max is 2048
SDD size :1 after 1
SDD proceeding with computation,2232 properties remain. new max is 4096
SDD size :1 after 1
SDD proceeding with computation,2232 properties remain. new max is 8192
SDD size :1 after 1
SDD proceeding with computation,2232 properties remain. new max is 16384
SDD size :1 after 1
SDD proceeding with computation,2232 properties remain. new max is 32768
SDD size :1 after 1
SDD proceeding with computation,2232 properties remain. new max is 65536
SDD size :1 after 1
SDD proceeding with computation,2232 properties remain. new max is 131072
SDD size :1 after 1
SDD proceeding with computation,2232 properties remain. new max is 262144
SDD size :1 after 1
SDD proceeding with computation,2232 properties remain. new max is 524288
SDD size :1 after 1
[2023-03-13 09:09:07] [INFO ] [Nat]Absence check using 49 positive place invariants in 161 ms returned sat
[2023-03-13 09:09:08] [INFO ] [Nat]Absence check using 49 positive and 784 generalized place invariants in 243 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 09:10:49] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 09:10:49] [INFO ] After 225044ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:2232
Fused 2232 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 2232 out of 4147 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4147/4147 places, 8548/8548 transitions.
Drop transitions removed 26 transitions
Trivial Post-agglo rules discarded 26 transitions
Performed 26 trivial Post agglomeration. Transition count delta: 26
Iterating post reduction 0 with 26 rules applied. Total rules applied 26 place count 4147 transition count 8522
Reduce places removed 26 places and 0 transitions.
Iterating post reduction 1 with 26 rules applied. Total rules applied 52 place count 4121 transition count 8522
Discarding 10 places :
Symmetric choice reduction at 2 with 10 rule applications. Total rules 62 place count 4111 transition count 8512
Iterating global reduction 2 with 10 rules applied. Total rules applied 72 place count 4111 transition count 8512
Free-agglomeration rule (complex) applied 15 times.
Iterating global reduction 2 with 15 rules applied. Total rules applied 87 place count 4111 transition count 8497
Reduce places removed 15 places and 0 transitions.
Iterating post reduction 2 with 15 rules applied. Total rules applied 102 place count 4096 transition count 8497
Discarding 16 places :
Symmetric choice reduction at 3 with 16 rule applications. Total rules 118 place count 4080 transition count 8481
Iterating global reduction 3 with 16 rules applied. Total rules applied 134 place count 4080 transition count 8481
Applied a total of 134 rules in 815 ms. Remains 4080 /4147 variables (removed 67) and now considering 8481/8548 (removed 67) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 817 ms. Remains : 4080/4147 places, 8481/8548 transitions.
Interrupted random walk after 116599 steps, including 6094 resets, run timeout after 30001 ms. (steps per millisecond=3 ) properties seen 1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 2231) 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 2231) 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 2231) 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 2231) 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 2231) 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 2231) 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 2231) 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 2231) 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 2231) 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 2231) 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 2231) 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 2231) 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 2231) 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 2231) 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 2231) 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 2231) 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 2231) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 2231) 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 2231) 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 2231) 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 2231) 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 2231) 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 2231) 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 2231) 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 2231) 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 2231) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 2231) 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 2231) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 2231) 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 2231) 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 2231) 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 2231) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2231) 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 2231) 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 2231) 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 2231) 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 2231) 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 2231) 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 2231) 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 2231) 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 2231) 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 2231) 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 2231) 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 2231) 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 2231) 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 2231) 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 2231) 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 2231) 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 2231) 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 2231) seen :0
SDD proceeding with computation,2232 properties remain. new max is 1048576
SDD size :1 after 236
Interrupted probabilistic random walk after 398549 steps, run timeout after 93001 ms. (steps per millisecond=4 ) properties seen :{}
Probabilistic random walk after 398549 steps, saw 175699 distinct states, run finished after 93003 ms. (steps per millisecond=4 ) properties seen :0
Running SMT prover for 2231 properties.
[2023-03-13 09:12:54] [INFO ] Flow matrix only has 7815 transitions (discarded 666 similar events)
// Phase 1: matrix 7815 rows 4080 cols
[2023-03-13 09:12:55] [INFO ] Computed 833 place invariants in 292 ms
SDD proceeding with computation,2232 properties remain. new max is 2097152
SDD size :236 after 236
[2023-03-13 09:15:33] [INFO ] After 157070ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2231
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin11691407188581018472
[2023-03-13 09:17:02] [INFO ] Built C files in 215ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11691407188581018472
Running compilation step : cd /tmp/ltsmin11691407188581018472;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202303021504/bin/limit_time.pl' '120' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202303021504/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
[2023-03-13 09:17:32] [INFO ] [Nat]Absence check using 49 positive place invariants in 213 ms returned sat
[2023-03-13 09:17:32] [INFO ] [Nat]Absence check using 49 positive and 784 generalized place invariants in 220 ms returned sat
Compilation finished in 107030 ms.
Running link step : cd /tmp/ltsmin11691407188581018472;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 116 ms.
Running LTSmin : cd /tmp/ltsmin11691407188581018472;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202303021504/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '--when' '-i' 'smplace_7==true'
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 09:19:19] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 09:19:19] [INFO ] After 225095ms 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 44 ms.
Support contains 2231 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 1034 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 1034 ms. Remains : 4080/4080 places, 8481/8481 transitions.
Interrupted random walk after 93378 steps, including 4878 resets, run timeout after 30002 ms. (steps per millisecond=3 ) properties seen 2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 2229) 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 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2229) 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 2229) 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 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2229) 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 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 2229) 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 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 2229) 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 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 2229) 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 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 2229) seen :0
Interrupted probabilistic random walk after 223867 steps, run timeout after 102003 ms. (steps per millisecond=2 ) properties seen :{}
Probabilistic random walk after 223867 steps, saw 99044 distinct states, run finished after 102005 ms. (steps per millisecond=2 ) properties seen :0
Running SMT prover for 2229 properties.
[2023-03-13 09:21:36] [INFO ] Flow matrix only has 7815 transitions (discarded 666 similar events)
[2023-03-13 09:21:36] [INFO ] Invariant cache hit.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.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 09:25:25] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 09:25:25] [INFO ] After 225029ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 2229 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 2229 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 649 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 650 ms. Remains : 4080/4080 places, 8481/8481 transitions.
Interrupted random walk after 45779 steps, including 2392 resets, run timeout after 30007 ms. (steps per millisecond=1 ) properties seen 0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2229) 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 2229) 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 2229) 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 2229) 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 2229) 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 2229) 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 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2229) 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 2229) 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 2229) 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 2229) 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 2229) 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 2229) 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 2229) 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 2229) 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 2229) 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 2229) 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 2229) 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 2229) 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 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2229) 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 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2229) 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 2229) 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 2229) 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 2229) 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 2229) 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 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2229) 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 2229) 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 2229) 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 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2229) 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 2229) 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 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2229) 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 2229) 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 2229) 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 2229) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2229) 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 2229) 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 2229) 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 2229) 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 2229) 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 2229) 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 2229) 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 2229) 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 2229) seen :0
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393216 kB
MemFree: 12843888 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16080724 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ StableMarking = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution StableMarking -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ 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//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination StableMarking -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
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="itstools"
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 itstools"
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 r243-tall-167856431100508"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C03.tgz
mv MultiCrashLeafsetExtension-PT-S24C03 execution
cd execution
if [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StableMarking.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StableMarking.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StableMarking.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;