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-167856431100498.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-S16C08, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r243-tall-167856431100498
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.8M
-rw-r--r-- 1 mcc users 15K Feb 26 03:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 100K Feb 26 03:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 03:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 26 03:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.9K Feb 25 16:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K 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 21K Feb 25 16:24 LTLFireability.xml
-rw-r--r-- 1 mcc users 23K Feb 26 03:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 132K Feb 26 03:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 24K Feb 26 03:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 113K Feb 26 03:27 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K 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 6.3M 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 1678696587033

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-S16C08
Not applying reductions.
Model is PT
StableMarking PT
Running Version 202303021504
[2023-03-13 08:36:28] [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:36:28] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 08:36:28] [INFO ] Load time of PNML (sax parser for PT used): 306 ms
[2023-03-13 08:36:28] [INFO ] Transformed 6876 places.
[2023-03-13 08:36:29] [INFO ] Transformed 9571 transitions.
[2023-03-13 08:36:29] [INFO ] Parsed PT model containing 6876 places and 9571 transitions and 35518 arcs in 419 ms.
[2023-03-13 08:36:30] [INFO ] Flatten gal took : 1006 ms
[2023-03-13 08:36:31] [INFO ] Flatten gal took : 473 ms
[2023-03-13 08:36:31] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality1027517122606656078.gal : 143 ms
[2023-03-13 08:36:31] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality5915186463654025197.prop : 56 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/ReachabilityCardinality1027517122606656078.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality5915186463654025197.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
Loading property file /tmp/ReachabilityCardinality5915186463654025197.prop.
Incomplete random walk after 10000 steps, including 120 resets, run finished after 4935 ms. (steps per millisecond=2 ) properties (out of 6876) seen :2919
Running SMT prover for 3957 properties.
[2023-03-13 08:36:34] [INFO ] Flow matrix only has 9299 transitions (discarded 272 similar events)
// Phase 1: matrix 9299 rows 6876 cols
[2023-03-13 08:36:34] [INFO ] Computed 649 place invariants in 462 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:37:03] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 08:37:03] [INFO ] After 25061ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 3957 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 4 ms.
Support contains 3957 out of 6876 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6876/6876 places, 9571/9571 transitions.
Graph (complete) has 21033 edges and 6876 vertex of which 6842 are kept as prefixes of interest. Removing 34 places using SCC suffix rule.32 ms
Discarding 34 places :
Also discarding 0 output transitions
Drop transitions removed 683 transitions
Trivial Post-agglo rules discarded 683 transitions
Performed 683 trivial Post agglomeration. Transition count delta: 683
Iterating post reduction 0 with 683 rules applied. Total rules applied 684 place count 6842 transition count 8888
Reduce places removed 683 places and 0 transitions.
Iterating post reduction 1 with 683 rules applied. Total rules applied 1367 place count 6159 transition count 8888
Performed 175 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 175 Pre rules applied. Total rules applied 1367 place count 6159 transition count 8713
Deduced a syphon composed of 175 places in 9 ms
Reduce places removed 175 places and 0 transitions.
Iterating global reduction 2 with 350 rules applied. Total rules applied 1717 place count 5984 transition count 8713
Discarding 508 places :
Symmetric choice reduction at 2 with 508 rule applications. Total rules 2225 place count 5476 transition count 8205
Iterating global reduction 2 with 508 rules applied. Total rules applied 2733 place count 5476 transition count 8205
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 7 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 2 with 10 rules applied. Total rules applied 2743 place count 5471 transition count 8200
Free-agglomeration rule (complex) applied 289 times.
Iterating global reduction 2 with 289 rules applied. Total rules applied 3032 place count 5471 transition count 7911
Reduce places removed 289 places and 0 transitions.
Iterating post reduction 2 with 289 rules applied. Total rules applied 3321 place count 5182 transition count 7911
Partial Free-agglomeration rule applied 175 times.
Drop transitions removed 175 transitions
Iterating global reduction 3 with 175 rules applied. Total rules applied 3496 place count 5182 transition count 7911
Applied a total of 3496 rules in 1899 ms. Remains 5182 /6876 variables (removed 1694) and now considering 7911/9571 (removed 1660) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1901 ms. Remains : 5182/6876 places, 7911/9571 transitions.
Interrupted random walk after 120892 steps, including 2086 resets, run timeout after 30001 ms. (steps per millisecond=4 ) properties seen 2022
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1935) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 1935) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1935) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1935) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1935) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1933) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1933) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1933) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 1933) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1933) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1931) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1931) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1931) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1930) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1929) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1929) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1929) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1929) seen :4
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 1925) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 1925) seen :7
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 1918) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1918) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1918) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1918) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1918) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 1918) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 1918) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1918) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1918) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 1918) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1918) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1918) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 1918) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 1918) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1916) seen :5
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1911) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 1911) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1909) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 1909) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1909) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 1909) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1909) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1909) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1909) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1909) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1909) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1909) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 1909) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1907) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 1907) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1907) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1907) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1906) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1904) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1904) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1904) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1902) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1902) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 1900) seen :4
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1896) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1896) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1894) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 1894) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1894) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 1894) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1894) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1894) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1894) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1892) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 1892) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1892) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1892) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1892) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 1892) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1892) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1892) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1890) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1890) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1890) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1890) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1890) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1890) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1890) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 1890) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1890) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1890) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1890) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 1890) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1890) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1890) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 1890) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 1890) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1890) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1890) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1890) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1890) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1890) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1890) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1888) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1888) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1888) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1888) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1888) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1888) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1888) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1888) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 1888) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1888) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1888) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1888) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1888) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1888) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1888) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1888) seen :4
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1884) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1884) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1884) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1884) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1884) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1883) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 1883) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1883) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1883) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1883) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1883) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1883) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1883) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1883) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1883) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1883) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1883) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 1883) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1883) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1883) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1881) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 1881) seen :4
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1877) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1877) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1877) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1877) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1877) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1877) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1875) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1875) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1873) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1873) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1873) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 1871) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1871) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1871) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1871) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1871) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1871) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1871) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1871) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1871) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1871) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1871) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1869) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1869) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1867) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1867) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1867) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1867) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1867) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1866) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1866) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1866) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1866) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1866) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1866) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1866) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1866) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1866) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1866) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1866) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1866) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1866) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1864) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1864) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1864) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1864) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1864) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1864) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 1862) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1862) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1862) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1862) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1862) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1862) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1862) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1862) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1862) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1862) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1862) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1862) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1862) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1862) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 1860) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1860) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1860) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1860) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1860) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1858) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1858) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1858) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1858) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1858) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1858) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1858) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1858) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1858) seen :6
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1852) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1852) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1852) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1850) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1850) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 1850) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1850) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1850) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1848) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 1848) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1846) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1846) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1843) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1843) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1843) seen :1
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1842) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1839) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1839) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1839) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 1839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1839) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1839) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1839) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1839) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1839) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1837) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1837) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1837) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1837) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1837) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1837) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1837) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1837) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1837) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1837) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1837) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1835) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1835) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1833) seen :5
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1828) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1828) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1828) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1826) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1826) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1824) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1824) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1824) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1824) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1824) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 1822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1822) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 1822) seen :5
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1817) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1817) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1817) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1817) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1817) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1817) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1817) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1817) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1817) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1817) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1817) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1817) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1817) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1817) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1815) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1815) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1815) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 1813) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1813) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1813) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1811) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1811) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1811) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1811) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1811) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 1811) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1810) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1810) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1810) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1810) seen :5
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1805) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1805) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 1805) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1805) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1805) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1805) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1803) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1803) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 1803) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1802) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1802) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1802) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1802) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1802) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1800) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1798) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1798) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1798) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1796) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1796) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1796) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1796) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1796) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1796) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1796) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1796) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1796) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1796) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1794) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1794) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1794) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1794) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1794) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1794) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1794) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1794) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1794) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1794) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1794) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1794) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1794) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1794) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1794) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1794) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1794) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1794) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1794) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1794) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1794) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1794) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1794) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1794) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1794) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1794) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1794) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1794) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1794) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1794) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1794) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1794) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1794) seen :1
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1793) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1793) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1793) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1793) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1793) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1793) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1793) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1793) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1793) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1793) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 1793) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 1793) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1793) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1793) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1793) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1793) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1793) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1793) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1793) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1793) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1793) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1793) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1793) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1793) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1793) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1791) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1791) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1789) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1789) seen :1
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1788) seen :4
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1784) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1782) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1780) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1778) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1778) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1778) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1778) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1778) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1778) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1778) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 1776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1776) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1776) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 1776) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1776) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1776) seen :4
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 1772) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 1772) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1772) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1772) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1772) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1770) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1767) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 1767) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1767) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1767) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1767) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1767) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1767) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1767) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1767) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1767) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1767) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1767) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1767) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1767) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1767) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1767) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1767) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1767) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1767) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1767) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1767) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 1767) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1767) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1767) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1767) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1767) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1767) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1767) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1767) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1767) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 1767) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 1767) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1767) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1767) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1767) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1767) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1767) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1765) seen :1
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1764) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1762) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1762) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1760) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1760) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1758) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1756) seen :0
Running SMT prover for 1756 properties.
[2023-03-13 08:38:02] [INFO ] Flow matrix only has 7613 transitions (discarded 298 similar events)
// Phase 1: matrix 7613 rows 5182 cols
[2023-03-13 08:38:03] [INFO ] Computed 615 place invariants in 261 ms
Invariant property smplace_459 does not hold.
Invariant property smplace_458 does not hold.
Invariant property smplace_6 does not hold.
Invariant property smplace_5 does not hold.
Invariant property smplace_4 does not hold.
Invariant property smplace_3 does not hold.
Invariant property smplace_1 does not hold.
Invariant property smplace_0 does not hold.
SDD proceeding with computation,6868 properties remain. new max is 2
SDD size :1 after 2
Invariant property smplace_888 does not hold.
Invariant property smplace_887 does not hold.
Invariant property smplace_463 does not hold.
Invariant property smplace_462 does not hold.
Invariant property smplace_461 does not hold.
Invariant property smplace_460 does not hold.
SDD proceeding with computation,6862 properties remain. new max is 2
SDD size :2 after 3
Invariant property smplace_12 does not hold.
Invariant property smplace_10 does not hold.
Invariant property smplace_8 does not hold.
SDD proceeding with computation,6859 properties remain. new max is 2
SDD size :3 after 4
Invariant property smplace_1293 does not hold.
Invariant property smplace_1292 does not hold.
Invariant property smplace_892 does not hold.
Invariant property smplace_891 does not hold.
Invariant property smplace_890 does not hold.
Invariant property smplace_889 does not hold.
Invariant property smplace_32 does not hold.
Invariant property smplace_30 does not hold.
SDD proceeding with computation,6851 properties remain. new max is 2
SDD size :4 after 6
Invariant property smplace_6131 does not hold.
Invariant property smplace_6129 does not hold.
Invariant property smplace_6111 does not hold.
Invariant property smplace_6109 does not hold.
Invariant property smplace_6092 does not hold.
Invariant property smplace_6090 does not hold.
Invariant property smplace_6088 does not hold.
[2023-03-13 08:40:24] [INFO ] After 140062ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1756
SDD proceeding with computation,6844 properties remain. new max is 2
SDD size :6 after 9
Invariant property smplace_5701 does not hold.
Invariant property smplace_5699 does not hold.
Invariant property smplace_5682 does not hold.
Invariant property smplace_5680 does not hold.
Invariant property smplace_5663 does not hold.
Invariant property smplace_5661 does not hold.
Invariant property smplace_5659 does not hold.
Invariant property smplace_488 does not hold.
Invariant property smplace_486 does not hold.
Invariant property smplace_469 does not hold.
Invariant property smplace_467 does not hold.
Invariant property smplace_465 does not hold.
SDD proceeding with computation,6832 properties remain. new max is 2
SDD size :9 after 14
Invariant property smplace_1678 does not hold.
Invariant property smplace_1677 does not hold.
Invariant property smplace_1297 does not hold.
Invariant property smplace_1296 does not hold.
Invariant property smplace_1295 does not hold.
Invariant property smplace_1294 does not hold.
Invariant property smplace_54 does not hold.
Invariant property smplace_52 does not hold.
SDD proceeding with computation,6824 properties remain. new max is 2
SDD size :14 after 16
Invariant property smplace_6153 does not hold.
Invariant property smplace_6151 does not hold.
SDD proceeding with computation,6822 properties remain. new max is 2
SDD size :16 after 17
[2023-03-13 08:42:34] [INFO ] [Nat]Absence check using 40 positive place invariants in 46 ms returned sat
[2023-03-13 08:42:34] [INFO ] [Nat]Absence check using 40 positive and 575 generalized place invariants in 340 ms returned sat
Invariant property smplace_5721 does not hold.
Invariant property smplace_5719 does not hold.
Invariant property smplace_508 does not hold.
Invariant property smplace_506 does not hold.
SDD proceeding with computation,6818 properties remain. new max is 2
SDD size :17 after 19
Invariant property smplace_5315 does not hold.
Invariant property smplace_5313 does not hold.
Invariant property smplace_5296 does not hold.
Invariant property smplace_5294 does not hold.
Invariant property smplace_5277 does not hold.
Invariant property smplace_5275 does not hold.
Invariant property smplace_5258 does not hold.
Invariant property smplace_5256 does not hold.
Invariant property smplace_5254 does not hold.
SDD proceeding with computation,6809 properties remain. new max is 2
SDD size :19 after 23
Invariant property smplace_936 does not hold.
Invariant property smplace_934 does not hold.
Invariant property smplace_917 does not hold.
Invariant property smplace_915 does not hold.
Invariant property smplace_898 does not hold.
Invariant property smplace_896 does not hold.
Invariant property smplace_894 does not hold.
SDD proceeding with computation,6802 properties remain. new max is 2
SDD size :23 after 26
Invariant property smplace_2047 does not hold.
Invariant property smplace_2046 does not hold.
Invariant property smplace_1682 does not hold.
Invariant property smplace_1681 does not hold.
Invariant property smplace_1680 does not hold.
Invariant property smplace_1679 does not hold.
Invariant property smplace_78 does not hold.
Invariant property smplace_76 does not hold.
SDD proceeding with computation,6794 properties remain. new max is 2
SDD size :26 after 28
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 08:44:09] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 08:44:09] [INFO ] After 225066ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:1756
Fused 1756 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 1756 out of 5182 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5182/5182 places, 7911/7911 transitions.
Drop transitions removed 946 transitions
Trivial Post-agglo rules discarded 946 transitions
Performed 946 trivial Post agglomeration. Transition count delta: 946
Iterating post reduction 0 with 946 rules applied. Total rules applied 946 place count 5182 transition count 6965
Reduce places removed 946 places and 0 transitions.
Iterating post reduction 1 with 946 rules applied. Total rules applied 1892 place count 4236 transition count 6965
Performed 51 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 51 Pre rules applied. Total rules applied 1892 place count 4236 transition count 6914
Deduced a syphon composed of 51 places in 4 ms
Reduce places removed 51 places and 0 transitions.
Iterating global reduction 2 with 102 rules applied. Total rules applied 1994 place count 4185 transition count 6914
Discarding 725 places :
Symmetric choice reduction at 2 with 725 rule applications. Total rules 2719 place count 3460 transition count 6189
Iterating global reduction 2 with 725 rules applied. Total rules applied 3444 place count 3460 transition count 6189
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 3448 place count 3458 transition count 6187
Free-agglomeration rule (complex) applied 52 times.
Iterating global reduction 2 with 52 rules applied. Total rules applied 3500 place count 3458 transition count 6135
Reduce places removed 52 places and 0 transitions.
Iterating post reduction 2 with 52 rules applied. Total rules applied 3552 place count 3406 transition count 6135
Discarding 159 places :
Symmetric choice reduction at 3 with 159 rule applications. Total rules 3711 place count 3247 transition count 5976
Iterating global reduction 3 with 159 rules applied. Total rules applied 3870 place count 3247 transition count 5976
Partial Free-agglomeration rule applied 56 times.
Drop transitions removed 56 transitions
Iterating global reduction 3 with 56 rules applied. Total rules applied 3926 place count 3247 transition count 5976
Discarding 11 places :
Symmetric choice reduction at 3 with 11 rule applications. Total rules 3937 place count 3236 transition count 5965
Iterating global reduction 3 with 11 rules applied. Total rules applied 3948 place count 3236 transition count 5965
Applied a total of 3948 rules in 851 ms. Remains 3236 /5182 variables (removed 1946) and now considering 5965/7911 (removed 1946) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 851 ms. Remains : 3236/5182 places, 5965/7911 transitions.
Interrupted random walk after 170034 steps, including 3407 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 184
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1572) seen :4
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1568) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1568) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1568) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1568) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1568) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1568) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1568) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1568) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1568) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1568) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1568) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1568) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1568) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1568) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1568) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1568) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1568) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1568) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1568) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1568) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1568) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1568) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1568) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1568) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1566) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1566) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1566) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1566) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1566) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1566) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1566) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1566) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1566) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1566) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1566) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1566) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1566) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1566) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1566) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1566) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1566) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1566) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1566) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1566) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1566) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1566) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1566) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1566) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1566) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1566) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1566) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1566) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1566) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1566) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1566) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1566) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1566) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1566) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1566) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1564) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1564) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1562) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1560) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1560) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1560) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1560) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1560) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1560) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1560) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1560) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1560) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1560) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1560) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1560) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1560) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1560) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1560) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1560) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1560) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1560) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1560) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1560) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1560) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1560) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1560) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1560) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1560) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1560) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1560) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1560) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1560) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1558) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1558) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1558) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1558) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1558) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1558) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1558) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1558) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1556) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1556) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1556) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1556) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1556) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1556) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1556) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1556) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1555) seen :0
Running SMT prover for 1555 properties.
[2023-03-13 08:44:45] [INFO ] Flow matrix only has 5634 transitions (discarded 331 similar events)
// Phase 1: matrix 5634 rows 3236 cols
[2023-03-13 08:44:45] [INFO ] Computed 615 place invariants in 115 ms
Invariant property smplace_6177 does not hold.
Invariant property smplace_6175 does not hold.
SDD proceeding with computation,6792 properties remain. new max is 2
SDD size :28 after 29
[2023-03-13 08:46:17] [INFO ] After 90772ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1555
Invariant property smplace_5743 does not hold.
Invariant property smplace_5741 does not hold.
Detected timeout of ITS tools.
[2023-03-13 08:46:32] [INFO ] Flatten gal took : 277 ms
[2023-03-13 08:46:32] [INFO ] Applying decomposition
[2023-03-13 08:46:32] [INFO ] Flatten gal took : 286 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/graph2423580102466498207.txt' '-o' '/tmp/graph2423580102466498207.bin' '-w' '/tmp/graph2423580102466498207.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph2423580102466498207.bin' '-l' '-1' '-v' '-w' '/tmp/graph2423580102466498207.weights' '-q' '0' '-e' '0.001'
[2023-03-13 08:46:33] [INFO ] Decomposing Gal with order
[2023-03-13 08:46:33] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-13 08:46:35] [INFO ] Removed a total of 5609 redundant transitions.
[2023-03-13 08:46:35] [INFO ] Flatten gal took : 1318 ms
[2023-03-13 08:46:35] [INFO ] Fuse similar labels procedure discarded/fused a total of 345 labels/synchronizations in 199 ms.
[2023-03-13 08:46:36] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality14289317096874451179.gal : 70 ms
[2023-03-13 08:46:36] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality10783665196004133724.prop : 3 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/ReachabilityCardinality14289317096874451179.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality10783665196004133724.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
Loading property file /tmp/ReachabilityCardinality10783665196004133724.prop.
SDD proceeding with computation,1555 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,1555 properties remain. new max is 8
SDD size :1 after 1
SDD proceeding with computation,1555 properties remain. new max is 16
SDD size :1 after 1
SDD proceeding with computation,1555 properties remain. new max is 32
SDD size :1 after 1
SDD proceeding with computation,1555 properties remain. new max is 64
SDD size :1 after 1
SDD proceeding with computation,1555 properties remain. new max is 128
SDD size :1 after 1
SDD proceeding with computation,1555 properties remain. new max is 256
SDD size :1 after 1
SDD proceeding with computation,1555 properties remain. new max is 512
SDD size :1 after 1
SDD proceeding with computation,1555 properties remain. new max is 1024
SDD size :1 after 1
SDD proceeding with computation,1555 properties remain. new max is 2048
SDD size :1 after 1
SDD proceeding with computation,1555 properties remain. new max is 4096
SDD size :1 after 1
SDD proceeding with computation,1555 properties remain. new max is 8192
SDD size :1 after 1
SDD proceeding with computation,1555 properties remain. new max is 16384
SDD size :1 after 1
SDD proceeding with computation,1555 properties remain. new max is 32768
SDD size :1 after 1
SDD proceeding with computation,1555 properties remain. new max is 65536
SDD size :1 after 1
[2023-03-13 08:47:26] [INFO ] [Nat]Absence check using 38 positive place invariants in 25 ms returned sat
[2023-03-13 08:47:27] [INFO ] [Nat]Absence check using 38 positive and 577 generalized place invariants in 224 ms returned sat
SDD proceeding with computation,1555 properties remain. new max is 131072
SDD size :1 after 335
SDD proceeding with computation,1555 properties remain. new max is 262144
SDD size :335 after 352
SDD proceeding with computation,1555 properties remain. new max is 524288
SDD size :352 after 352
SDD proceeding with computation,1555 properties remain. new max is 1048576
SDD size :352 after 372
[2023-03-13 08:50:02] [INFO ] After 78363ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1554
[2023-03-13 08:50:02] [INFO ] State equation strengthened by 2722 read => feed constraints.
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.verifyPossible(DeadlockTester.java:642)
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 08:50:02] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 08:50:02] [INFO ] After 225102ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:1555
Fused 1555 Parikh solutions to 409 different solutions.
Parikh walk visited 0 properties in 2123 ms.
Support contains 1555 out of 3236 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3236/3236 places, 5965/5965 transitions.
Graph (complete) has 23748 edges and 3236 vertex of which 3235 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.4 ms
Discarding 1 places :
Also discarding 0 output transitions
Drop transitions removed 70 transitions
Trivial Post-agglo rules discarded 70 transitions
Performed 70 trivial Post agglomeration. Transition count delta: 70
Iterating post reduction 0 with 70 rules applied. Total rules applied 71 place count 3235 transition count 5895
Reduce places removed 70 places and 0 transitions.
Iterating post reduction 1 with 70 rules applied. Total rules applied 141 place count 3165 transition count 5895
Performed 6 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 6 Pre rules applied. Total rules applied 141 place count 3165 transition count 5889
Deduced a syphon composed of 6 places in 2 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 2 with 12 rules applied. Total rules applied 153 place count 3159 transition count 5889
Discarding 26 places :
Symmetric choice reduction at 2 with 26 rule applications. Total rules 179 place count 3133 transition count 5863
Iterating global reduction 2 with 26 rules applied. Total rules applied 205 place count 3133 transition count 5863
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 207 place count 3132 transition count 5862
Free-agglomeration rule (complex) applied 8 times.
Iterating global reduction 2 with 8 rules applied. Total rules applied 215 place count 3132 transition count 5854
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 2 with 8 rules applied. Total rules applied 223 place count 3124 transition count 5854
Partial Free-agglomeration rule applied 44 times.
Drop transitions removed 44 transitions
Iterating global reduction 3 with 44 rules applied. Total rules applied 267 place count 3124 transition count 5854
Discarding 38 places :
Symmetric choice reduction at 3 with 38 rule applications. Total rules 305 place count 3086 transition count 5816
Iterating global reduction 3 with 38 rules applied. Total rules applied 343 place count 3086 transition count 5816
Applied a total of 343 rules in 680 ms. Remains 3086 /3236 variables (removed 150) and now considering 5816/5965 (removed 149) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 680 ms. Remains : 3086/3236 places, 5816/5965 transitions.
SDD proceeding with computation,1555 properties remain. new max is 2097152
SDD size :372 after 409
Interrupted random walk after 179303 steps, including 3596 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 104
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1451) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1451) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 1451) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1451) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1451) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1451) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1451) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1451) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1451) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1451) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1451) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1451) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1451) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 1451) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1451) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1451) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1451) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1451) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1451) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1451) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1451) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1451) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1449) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1449) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1447) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1447) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1445) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1445) seen :0
Interrupted probabilistic random walk after 713336 steps, run timeout after 99002 ms. (steps per millisecond=7 ) properties seen :{92=1, 93=1, 102=1, 103=1, 104=1, 105=1, 114=1, 115=1, 116=1, 117=1, 125=1, 126=1, 132=1, 133=1, 134=1, 135=1, 150=1, 151=1, 227=1, 228=1, 235=1, 236=1, 244=1, 245=1, 246=1, 247=1, 253=1, 254=1, 258=1, 259=1, 271=1, 272=1, 332=1, 333=1, 337=1, 338=1, 339=1, 340=1, 346=1, 347=1, 351=1, 352=1, 354=1, 355=1, 356=1, 357=1, 408=1, 409=1, 410=1, 411=1, 415=1, 416=1, 418=1, 419=1, 420=1, 421=1, 423=1, 424=1, 425=1, 426=1, 435=1, 436=1, 472=1, 473=1, 474=1, 475=1, 477=1, 478=1, 480=1, 481=1, 482=1, 483=1, 484=1, 485=1, 494=1, 495=1, 520=1, 521=1, 522=1, 523=1, 524=1, 525=1, 526=1, 527=1, 528=1, 529=1, 530=1, 531=1, 532=1, 533=1, 534=1, 535=1, 548=1, 549=1, 580=1, 581=1, 582=1, 583=1, 584=1, 585=1, 586=1, 587=1, 588=1, 589=1, 590=1, 591=1, 592=1, 593=1, 602=1, 603=1, 636=1, 637=1, 638=1, 639=1, 640=1, 641=1, 642=1, 643=1, 644=1, 645=1, 646=1, 647=1, 662=1, 663=1, 693=1, 694=1, 695=1, 696=1, 697=1, 698=1, 699=1, 700=1, 701=1, 702=1, 703=1, 704=1, 705=1, 706=1, 707=1, 708=1, 709=1, 710=1, 711=1, 712=1, 725=1, 726=1, 747=1, 748=1, 749=1, 750=1, 751=1, 752=1, 753=1, 754=1, 755=1, 756=1, 757=1, 758=1, 759=1, 760=1, 761=1, 762=1, 763=1, 764=1, 779=1, 780=1, 799=1, 800=1, 801=1, 802=1, 803=1, 804=1, 805=1, 806=1, 807=1, 808=1, 809=1, 810=1, 811=1, 812=1, 813=1, 814=1, 815=1, 816=1, 817=1, 818=1, 831=1, 832=1, 835=1, 836=1, 863=1, 864=1, 865=1, 866=1, 867=1, 868=1, 869=1, 870=1, 871=1, 872=1, 873=1, 874=1, 875=1, 876=1, 915=1, 916=1, 917=1, 918=1, 920=1, 921=1, 922=1, 923=1, 925=1, 926=1, 927=1, 928=1, 930=1, 931=1, 932=1, 933=1, 934=1, 935=1, 936=1, 937=1, 950=1, 951=1, 954=1, 955=1, 997=1, 998=1, 999=1, 1000=1, 1005=1, 1006=1, 1007=1, 1008=1, 1012=1, 1013=1, 1017=1, 1018=1, 1019=1, 1020=1, 1022=1, 1023=1, 1024=1, 1025=1, 1040=1, 1041=1, 1427=1, 1428=1, 1429=1, 1430=1, 1431=1, 1432=1, 1433=1, 1434=1, 1435=1, 1436=1, 1437=1, 1438=1, 1439=1, 1440=1}
Probabilistic random walk after 713336 steps, saw 311755 distinct states, run finished after 99006 ms. (steps per millisecond=7 ) properties seen :262
Running SMT prover for 1183 properties.
[2023-03-13 08:52:17] [INFO ] Flow matrix only has 5477 transitions (discarded 339 similar events)
// Phase 1: matrix 5477 rows 3086 cols
[2023-03-13 08:52:18] [INFO ] Computed 614 place invariants in 188 ms
[2023-03-13 08:53:19] [INFO ] After 61234ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1183
[2023-03-13 08:54:12] [INFO ] [Nat]Absence check using 37 positive place invariants in 74 ms returned sat
[2023-03-13 08:54:12] [INFO ] [Nat]Absence check using 37 positive and 577 generalized place invariants in 159 ms returned sat
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin17981704230639658020
[2023-03-13 08:56:36] [INFO ] Built C files in 150ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin17981704230639658020
Running compilation step : cd /tmp/ltsmin17981704230639658020;'/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 08:57:04] [INFO ] After 115262ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1183
[2023-03-13 08:57:05] [INFO ] State equation strengthened by 2722 read => feed constraints.
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.verifyPossible(DeadlockTester.java:642)
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 08:57:05] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 08:57:05] [INFO ] After 225134ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:1183
Fused 1183 Parikh solutions to 673 different solutions.
Parikh walk visited 0 properties in 3746 ms.
Support contains 1183 out of 3086 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3086/3086 places, 5816/5816 transitions.
Drop transitions removed 149 transitions
Trivial Post-agglo rules discarded 149 transitions
Performed 149 trivial Post agglomeration. Transition count delta: 149
Iterating post reduction 0 with 149 rules applied. Total rules applied 149 place count 3086 transition count 5667
Reduce places removed 149 places and 0 transitions.
Iterating post reduction 1 with 149 rules applied. Total rules applied 298 place count 2937 transition count 5667
Performed 19 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 19 Pre rules applied. Total rules applied 298 place count 2937 transition count 5648
Deduced a syphon composed of 19 places in 3 ms
Reduce places removed 19 places and 0 transitions.
Iterating global reduction 2 with 38 rules applied. Total rules applied 336 place count 2918 transition count 5648
Discarding 104 places :
Symmetric choice reduction at 2 with 104 rule applications. Total rules 440 place count 2814 transition count 5544
Iterating global reduction 2 with 104 rules applied. Total rules applied 544 place count 2814 transition count 5544
Free-agglomeration rule (complex) applied 4 times.
Iterating global reduction 2 with 4 rules applied. Total rules applied 548 place count 2814 transition count 5540
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 2 with 4 rules applied. Total rules applied 552 place count 2810 transition count 5540
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 557 place count 2805 transition count 5535
Iterating global reduction 3 with 5 rules applied. Total rules applied 562 place count 2805 transition count 5535
Partial Free-agglomeration rule applied 40 times.
Drop transitions removed 40 transitions
Iterating global reduction 3 with 40 rules applied. Total rules applied 602 place count 2805 transition count 5535
Discarding 21 places :
Symmetric choice reduction at 3 with 21 rule applications. Total rules 623 place count 2784 transition count 5514
Iterating global reduction 3 with 21 rules applied. Total rules applied 644 place count 2784 transition count 5514
Applied a total of 644 rules in 702 ms. Remains 2784 /3086 variables (removed 302) and now considering 5514/5816 (removed 302) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 706 ms. Remains : 2784/3086 places, 5514/5816 transitions.
Interrupted random walk after 226867 steps, including 4553 resets, run timeout after 30001 ms. (steps per millisecond=7 ) properties seen 60
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1123) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1121) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1121) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1119) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1119) seen :0
Compilation finished in 66051 ms.
Running link step : cd /tmp/ltsmin17981704230639658020;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 146 ms.
Running LTSmin : cd /tmp/ltsmin17981704230639658020;'/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'
Interrupted probabilistic random walk after 341185 steps, run timeout after 96009 ms. (steps per millisecond=3 ) properties seen :{}
Probabilistic random walk after 341185 steps, saw 149197 distinct states, run finished after 96013 ms. (steps per millisecond=3 ) properties seen :0
Running SMT prover for 1119 properties.
[2023-03-13 08:59:17] [INFO ] Flow matrix only has 5172 transitions (discarded 342 similar events)
// Phase 1: matrix 5172 rows 2784 cols
[2023-03-13 08:59:18] [INFO ] Computed 614 place invariants in 204 ms
[2023-03-13 09:00:31] [INFO ] After 72519ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1119
[2023-03-13 09:01:32] [INFO ] [Nat]Absence check using 36 positive place invariants in 116 ms returned sat
[2023-03-13 09:01:32] [INFO ] [Nat]Absence check using 36 positive and 578 generalized place invariants in 257 ms returned sat
[2023-03-13 09:04:16] [INFO ] After 84558ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1032
[2023-03-13 09:04:17] [INFO ] State equation strengthened by 2722 read => feed constraints.
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.verifyPossible(DeadlockTester.java:642)
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:04:17] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 09:04:17] [INFO ] After 225172ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:1119
Fused 1119 Parikh solutions to 202 different solutions.
Parikh walk visited 0 properties in 2415 ms.
Support contains 1119 out of 2784 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2784/2784 places, 5514/5514 transitions.
Drop transitions removed 28 transitions
Trivial Post-agglo rules discarded 28 transitions
Performed 28 trivial Post agglomeration. Transition count delta: 28
Iterating post reduction 0 with 28 rules applied. Total rules applied 28 place count 2784 transition count 5486
Reduce places removed 28 places and 0 transitions.
Iterating post reduction 1 with 28 rules applied. Total rules applied 56 place count 2756 transition count 5486
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 56 place count 2756 transition count 5485
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 58 place count 2755 transition count 5485
Discarding 8 places :
Symmetric choice reduction at 2 with 8 rule applications. Total rules 66 place count 2747 transition count 5477
Iterating global reduction 2 with 8 rules applied. Total rules applied 74 place count 2747 transition count 5477
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 75 place count 2747 transition count 5476
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 76 place count 2746 transition count 5476
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 78 place count 2744 transition count 5474
Iterating global reduction 3 with 2 rules applied. Total rules applied 80 place count 2744 transition count 5474
Partial Free-agglomeration rule applied 18 times.
Drop transitions removed 18 transitions
Iterating global reduction 3 with 18 rules applied. Total rules applied 98 place count 2744 transition count 5474
Discarding 17 places :
Symmetric choice reduction at 3 with 17 rule applications. Total rules 115 place count 2727 transition count 5457
Iterating global reduction 3 with 17 rules applied. Total rules applied 132 place count 2727 transition count 5457
Applied a total of 132 rules in 1799 ms. Remains 2727 /2784 variables (removed 57) and now considering 5457/5514 (removed 57) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1803 ms. Remains : 2727/2784 places, 5457/5514 transitions.
Interrupted random walk after 100184 steps, including 2011 resets, run timeout after 30001 ms. (steps per millisecond=3 ) properties seen 19
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 1100) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 1100) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 1100) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 1100) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 1100) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 1100) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 1100) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 1100) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 1100) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 1100) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 1100) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 1100) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 1100) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 1100) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 1100) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 1100) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 1100) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 1100) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 1100) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 1100) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 1100) seen :1
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 1099) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 1099) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 1099) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 1099) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 1099) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 1099) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 1099) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 1099) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 1099) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 1099) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 1099) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 1099) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 1099) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 1099) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 1099) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 1099) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 1099) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 1099) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 1099) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 1099) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 1099) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 1099) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 1099) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 1099) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 1099) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 1099) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 1099) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 1099) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 1097) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 1097) seen :0
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393232 kB
MemFree: 13263632 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16081208 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-S16C08"
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-S16C08, 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-167856431100498"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S16C08.tgz
mv MultiCrashLeafsetExtension-PT-S16C08 execution
cd execution
if [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StableMarking.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StableMarking.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StableMarking.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StableMarking.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;