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.r120-tall-167814498800533.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool marciexred
Input is DLCshifumi-PT-5b, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r120-tall-167814498800533
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 11M
-rw-r--r-- 1 mcc users 5.5K Feb 26 08:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 52K Feb 26 08:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 08:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 08:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 08:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 107K Feb 26 08:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 26 08:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 08:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 9.7M 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 1678395827199

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=marciexred
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=DLCshifumi-PT-5b
Applying reductions before tool marcie
Invoking reducer
Running Version 202303021504
[2023-03-09 21:03:48] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -timeout, 180, -rebuildPNML]
[2023-03-09 21:03:48] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 21:03:49] [INFO ] Load time of PNML (sax parser for PT used): 703 ms
[2023-03-09 21:03:49] [INFO ] Transformed 27146 places.
[2023-03-09 21:03:49] [INFO ] Transformed 39849 transitions.
[2023-03-09 21:03:49] [INFO ] Found NUPN structural information;
[2023-03-09 21:03:50] [INFO ] Parsed PT model containing 27146 places and 39849 transitions and 107425 arcs in 2042 ms.
Graph (trivial) has 25297 edges and 27146 vertex of which 2248 / 27146 are part of one of the 143 SCC in 65 ms
Free SCC test removed 2105 places
Structural test allowed to assert that 13351 places are NOT stable. Took 203 ms.
Ensure Unique test removed 2238 transitions
Reduce redundant transitions removed 2238 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 1668 ms. (steps per millisecond=5 ) properties (out of 13795) seen :1022
Interrupted probabilistic random walk after 3002 steps, run timeout after 3033 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 3002 steps, saw 2927 distinct states, run finished after 3040 ms. (steps per millisecond=0 ) properties seen :0
Running SMT prover for 12773 properties.
[2023-03-09 21:03:58] [INFO ] Flow matrix only has 37469 transitions (discarded 142 similar events)
// Phase 1: matrix 37469 rows 25041 cols
[2023-03-09 21:03:58] [INFO ] Computed 1378 place invariants in 227 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-09 21:04:24] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-09 21:04:24] [INFO ] After 25242ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 12773 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 2 ms.
Support contains 12773 out of 25041 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 25041/25041 places, 37611/37611 transitions.
Drop transitions removed 143 transitions
Reduce isomorphic transitions removed 143 transitions.
Drop transitions removed 4474 transitions
Trivial Post-agglo rules discarded 4474 transitions
Performed 4474 trivial Post agglomeration. Transition count delta: 4474
Iterating post reduction 0 with 4617 rules applied. Total rules applied 4617 place count 25041 transition count 32994
Reduce places removed 4474 places and 0 transitions.
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Drop transitions removed 12 transitions
Trivial Post-agglo rules discarded 12 transitions
Performed 12 trivial Post agglomeration. Transition count delta: 12
Iterating post reduction 1 with 4502 rules applied. Total rules applied 9119 place count 20567 transition count 32966
Reduce places removed 12 places and 0 transitions.
Performed 44 Post agglomeration using F-continuation condition.Transition count delta: 44
Iterating post reduction 2 with 56 rules applied. Total rules applied 9175 place count 20555 transition count 32922
Reduce places removed 44 places and 0 transitions.
Iterating post reduction 3 with 44 rules applied. Total rules applied 9219 place count 20511 transition count 32922
Performed 38 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 38 Pre rules applied. Total rules applied 9219 place count 20511 transition count 32884
Deduced a syphon composed of 38 places in 896 ms
Reduce places removed 38 places and 0 transitions.
Iterating global reduction 4 with 76 rules applied. Total rules applied 9295 place count 20473 transition count 32884
Discarding 231 places :
Symmetric choice reduction at 4 with 231 rule applications. Total rules 9526 place count 20242 transition count 32653
Iterating global reduction 4 with 231 rules applied. Total rules applied 9757 place count 20242 transition count 32653
Performed 55 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 55 Pre rules applied. Total rules applied 9757 place count 20242 transition count 32598
Deduced a syphon composed of 55 places in 1011 ms
Reduce places removed 55 places and 0 transitions.
Iterating global reduction 4 with 110 rules applied. Total rules applied 9867 place count 20187 transition count 32598
Discarding 35 places :
Symmetric choice reduction at 4 with 35 rule applications. Total rules 9902 place count 20152 transition count 29129
Iterating global reduction 4 with 35 rules applied. Total rules applied 9937 place count 20152 transition count 29129
Ensure Unique test removed 17 transitions
Reduce isomorphic transitions removed 17 transitions.
Iterating post reduction 4 with 17 rules applied. Total rules applied 9954 place count 20152 transition count 29112
Performed 2726 Post agglomeration using F-continuation condition with reduction of 4 identical transitions.
Deduced a syphon composed of 2726 places in 13 ms
Reduce places removed 2726 places and 0 transitions.
Iterating global reduction 5 with 5452 rules applied. Total rules applied 15406 place count 17426 transition count 26382
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 5 with 5 rules applied. Total rules applied 15411 place count 17426 transition count 26377
Renaming transitions due to excessive name length > 1024 char.
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 9 places in 24 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 6 with 18 rules applied. Total rules applied 15429 place count 17417 transition count 26406
Free-agglomeration rule applied 3140 times with reduction of 638 identical transitions.
Iterating global reduction 6 with 3140 rules applied. Total rules applied 18569 place count 17417 transition count 22628
Reduce places removed 3140 places and 0 transitions.
Drop transitions removed 113 transitions
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 115 transitions.
Iterating post reduction 6 with 3255 rules applied. Total rules applied 21824 place count 14277 transition count 22513
Discarding 11 places :
Symmetric choice reduction at 7 with 11 rule applications. Total rules 21835 place count 14266 transition count 22464
Iterating global reduction 7 with 11 rules applied. Total rules applied 21846 place count 14266 transition count 22464
Free-agglomeration rule (complex) applied 9 times.
Iterating global reduction 7 with 9 rules applied. Total rules applied 21855 place count 14266 transition count 23569
Reduce places removed 9 places and 0 transitions.
Drop transitions removed 38 transitions
Reduce isomorphic transitions removed 38 transitions.
Iterating post reduction 7 with 47 rules applied. Total rules applied 21902 place count 14257 transition count 23531
Discarding 4 places :
Symmetric choice reduction at 8 with 4 rule applications. Total rules 21906 place count 14253 transition count 23046
Iterating global reduction 8 with 4 rules applied. Total rules applied 21910 place count 14253 transition count 23046
Ensure Unique test removed 499 transitions
Reduce isomorphic transitions removed 499 transitions.
Iterating post reduction 8 with 499 rules applied. Total rules applied 22409 place count 14253 transition count 22547
Partial Free-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 9 with 2 rules applied. Total rules applied 22411 place count 14253 transition count 22547
Partial Post-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 9 with 2 rules applied. Total rules applied 22413 place count 14253 transition count 22547
Applied a total of 22413 rules in 13854 ms. Remains 14253 /25041 variables (removed 10788) and now considering 22547/37611 (removed 15064) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 13858 ms. Remains : 14253/25041 places, 22547/37611 transitions.
Interrupted random walk after 180004 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 12293
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 211 ms. (steps per millisecond=47 ) properties (out of 480) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 184 ms. (steps per millisecond=54 ) properties (out of 479) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 196 ms. (steps per millisecond=51 ) properties (out of 479) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 183 ms. (steps per millisecond=54 ) properties (out of 479) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 479) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 479) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 183 ms. (steps per millisecond=54 ) properties (out of 479) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 222 ms. (steps per millisecond=45 ) properties (out of 479) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 479) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 190 ms. (steps per millisecond=52 ) properties (out of 479) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 189 ms. (steps per millisecond=52 ) properties (out of 479) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 479) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 479) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 478) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 207 ms. (steps per millisecond=48 ) properties (out of 478) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 478) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 191 ms. (steps per millisecond=52 ) properties (out of 478) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 188 ms. (steps per millisecond=53 ) properties (out of 478) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 478) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 478) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 478) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 194 ms. (steps per millisecond=51 ) properties (out of 478) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 187 ms. (steps per millisecond=53 ) properties (out of 478) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 206 ms. (steps per millisecond=48 ) properties (out of 478) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 189 ms. (steps per millisecond=52 ) properties (out of 478) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 478) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 478) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 478) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 194 ms. (steps per millisecond=51 ) properties (out of 478) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 186 ms. (steps per millisecond=53 ) properties (out of 478) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 478) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 478) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 478) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 477) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 477) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 194 ms. (steps per millisecond=51 ) properties (out of 477) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 477) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 477) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 477) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 477) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 477) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 477) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 192 ms. (steps per millisecond=52 ) properties (out of 476) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 476) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 475) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 475) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 474) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 474) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 473) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 183 ms. (steps per millisecond=54 ) properties (out of 473) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 472) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 472) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 471) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 471) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 470) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 470) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 469) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 185 ms. (steps per millisecond=54 ) properties (out of 469) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 468) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 468) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 468) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 467) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 467) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 466) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 190 ms. (steps per millisecond=52 ) properties (out of 466) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 465) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 465) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 464) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 464) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 463) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 183 ms. (steps per millisecond=54 ) properties (out of 463) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 186 ms. (steps per millisecond=53 ) properties (out of 462) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 193 ms. (steps per millisecond=51 ) properties (out of 461) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 460) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 460) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 459) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 459) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 458) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 458) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 191 ms. (steps per millisecond=52 ) properties (out of 457) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 457) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 456) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 456) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 455) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 455) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 454) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 183 ms. (steps per millisecond=54 ) properties (out of 453) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 452) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 452) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 183 ms. (steps per millisecond=54 ) properties (out of 451) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 451) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 183 ms. (steps per millisecond=54 ) properties (out of 450) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 450) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 449) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 186 ms. (steps per millisecond=53 ) properties (out of 449) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 448) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 183 ms. (steps per millisecond=54 ) properties (out of 448) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 447) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 183 ms. (steps per millisecond=54 ) properties (out of 447) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 446) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 446) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 198 ms. (steps per millisecond=50 ) properties (out of 446) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 183 ms. (steps per millisecond=54 ) properties (out of 446) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 445) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 445) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 444) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 444) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 443) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 183 ms. (steps per millisecond=54 ) properties (out of 443) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 442) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 442) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 441) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 441) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 440) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 440) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 439) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 192 ms. (steps per millisecond=52 ) properties (out of 439) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 438) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 438) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 183 ms. (steps per millisecond=54 ) properties (out of 437) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 436) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 435) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 435) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 194 ms. (steps per millisecond=51 ) properties (out of 434) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 434) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 433) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 433) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 432) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 432) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 431) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 184 ms. (steps per millisecond=54 ) properties (out of 431) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 430) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 429) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 429) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 428) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 427) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 186 ms. (steps per millisecond=53 ) properties (out of 427) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 426) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 426) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 197 ms. (steps per millisecond=50 ) properties (out of 425) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 425) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 424) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 424) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 197 ms. (steps per millisecond=50 ) properties (out of 423) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 423) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 422) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 422) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 421) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 421) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 420) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 183 ms. (steps per millisecond=54 ) properties (out of 420) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 419) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 419) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 418) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 418) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 417) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 417) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 416) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 191 ms. (steps per millisecond=52 ) properties (out of 416) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 415) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 415) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 414) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 414) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 413) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 413) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 192 ms. (steps per millisecond=52 ) properties (out of 412) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 412) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 411) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 411) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 410) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 410) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 409) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 183 ms. (steps per millisecond=54 ) properties (out of 409) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 408) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 191 ms. (steps per millisecond=52 ) properties (out of 407) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 407) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 406) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 405) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 187 ms. (steps per millisecond=53 ) properties (out of 405) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 405) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 404) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 404) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 178 ms. (steps per millisecond=56 ) properties (out of 403) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 177 ms. (steps per millisecond=56 ) properties (out of 403) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 178 ms. (steps per millisecond=56 ) properties (out of 402) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 402) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 401) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 401) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 400) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 400) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 399) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 399) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 398) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 184 ms. (steps per millisecond=54 ) properties (out of 398) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 397) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 397) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 396) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 396) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 395) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 395) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 194 ms. (steps per millisecond=51 ) properties (out of 394) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 394) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 393) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 393) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 392) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 392) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 183 ms. (steps per millisecond=54 ) properties (out of 391) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 391) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 390) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 390) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 178 ms. (steps per millisecond=56 ) properties (out of 389) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 389) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 388) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 177 ms. (steps per millisecond=56 ) properties (out of 388) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 178 ms. (steps per millisecond=56 ) properties (out of 387) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 185 ms. (steps per millisecond=54 ) properties (out of 387) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 386) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 386) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 385) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 385) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 384) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 384) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 191 ms. (steps per millisecond=52 ) properties (out of 383) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 383) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 382) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 382) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 381) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 381) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 380) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 188 ms. (steps per millisecond=53 ) properties (out of 380) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 380) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 379) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 379) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 378) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 378) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 377) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 377) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 376) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 376) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 375) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 375) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 374) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 374) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 184 ms. (steps per millisecond=54 ) properties (out of 373) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 184 ms. (steps per millisecond=54 ) properties (out of 373) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 372) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 372) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 371) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 371) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 370) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 370) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 188 ms. (steps per millisecond=53 ) properties (out of 369) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 369) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 177 ms. (steps per millisecond=56 ) properties (out of 368) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 177 ms. (steps per millisecond=56 ) properties (out of 368) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 177 ms. (steps per millisecond=56 ) properties (out of 367) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 367) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 366) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 366) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 365) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 365) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 364) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 364) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 363) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 363) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 362) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 183 ms. (steps per millisecond=54 ) properties (out of 362) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 184 ms. (steps per millisecond=54 ) properties (out of 361) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 361) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 360) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 360) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 359) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 359) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 187 ms. (steps per millisecond=53 ) properties (out of 358) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 358) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 357) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 357) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 356) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 356) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 355) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 355) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 354) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 178 ms. (steps per millisecond=56 ) properties (out of 354) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 353) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 353) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 352) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 352) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 351) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 351) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 350) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 350) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 349) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 183 ms. (steps per millisecond=54 ) properties (out of 349) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 348) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 348) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 189 ms. (steps per millisecond=52 ) properties (out of 347) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 347) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 346) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 346) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 183 ms. (steps per millisecond=54 ) properties (out of 345) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 184 ms. (steps per millisecond=54 ) properties (out of 345) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 184 ms. (steps per millisecond=54 ) properties (out of 344) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 191 ms. (steps per millisecond=52 ) properties (out of 344) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 185 ms. (steps per millisecond=54 ) properties (out of 343) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 183 ms. (steps per millisecond=54 ) properties (out of 343) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 342) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 185 ms. (steps per millisecond=54 ) properties (out of 342) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 341) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 184 ms. (steps per millisecond=54 ) properties (out of 341) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 192 ms. (steps per millisecond=52 ) properties (out of 340) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 185 ms. (steps per millisecond=54 ) properties (out of 340) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 183 ms. (steps per millisecond=54 ) properties (out of 339) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 183 ms. (steps per millisecond=54 ) properties (out of 339) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 183 ms. (steps per millisecond=54 ) properties (out of 338) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 184 ms. (steps per millisecond=54 ) properties (out of 338) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 184 ms. (steps per millisecond=54 ) properties (out of 337) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 191 ms. (steps per millisecond=52 ) properties (out of 337) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 184 ms. (steps per millisecond=54 ) properties (out of 336) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 183 ms. (steps per millisecond=54 ) properties (out of 335) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 184 ms. (steps per millisecond=54 ) properties (out of 334) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 334) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 183 ms. (steps per millisecond=54 ) properties (out of 333) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 184 ms. (steps per millisecond=54 ) properties (out of 333) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 194 ms. (steps per millisecond=51 ) properties (out of 332) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 332) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 183 ms. (steps per millisecond=54 ) properties (out of 332) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 331) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 331) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 183 ms. (steps per millisecond=54 ) properties (out of 330) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 330) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 189 ms. (steps per millisecond=52 ) properties (out of 329) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 329) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 183 ms. (steps per millisecond=54 ) properties (out of 328) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 328) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 183 ms. (steps per millisecond=54 ) properties (out of 327) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 327) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 326) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 190 ms. (steps per millisecond=52 ) properties (out of 326) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 183 ms. (steps per millisecond=54 ) properties (out of 325) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 183 ms. (steps per millisecond=54 ) properties (out of 325) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 184 ms. (steps per millisecond=54 ) properties (out of 324) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 185 ms. (steps per millisecond=54 ) properties (out of 324) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 323) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 177 ms. (steps per millisecond=56 ) properties (out of 323) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 190 ms. (steps per millisecond=52 ) properties (out of 322) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 177 ms. (steps per millisecond=56 ) properties (out of 322) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 177 ms. (steps per millisecond=56 ) properties (out of 321) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 321) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 320) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 184 ms. (steps per millisecond=54 ) properties (out of 320) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 319) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 194 ms. (steps per millisecond=51 ) properties (out of 319) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 318) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 318) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 183 ms. (steps per millisecond=54 ) properties (out of 317) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 317) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 316) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 316) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 190 ms. (steps per millisecond=52 ) properties (out of 315) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 183 ms. (steps per millisecond=54 ) properties (out of 315) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 314) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 184 ms. (steps per millisecond=54 ) properties (out of 314) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 313) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 313) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 312) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 312) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 311) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 311) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 310) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 310) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 309) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 309) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 309) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 184 ms. (steps per millisecond=54 ) properties (out of 308) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 308) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 307) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 307) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 306) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 306) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 305) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 190 ms. (steps per millisecond=52 ) properties (out of 305) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 304) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 304) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 303) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 303) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 302) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 302) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 190 ms. (steps per millisecond=52 ) properties (out of 301) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 301) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 300) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 300) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 299) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 299) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 298) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 189 ms. (steps per millisecond=52 ) properties (out of 298) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 297) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 297) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 296) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 296) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 295) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 295) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 189 ms. (steps per millisecond=52 ) properties (out of 294) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 294) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 293) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 293) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 292) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 292) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 291) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 291) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 290) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 290) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 289) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 289) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 288) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 288) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 287) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 184 ms. (steps per millisecond=54 ) properties (out of 287) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 286) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 286) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 178 ms. (steps per millisecond=56 ) properties (out of 285) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 176 ms. (steps per millisecond=56 ) properties (out of 285) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 284) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 178 ms. (steps per millisecond=56 ) properties (out of 284) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 190 ms. (steps per millisecond=52 ) properties (out of 283) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 178 ms. (steps per millisecond=56 ) properties (out of 283) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 282) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 282) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 281) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 281) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 280) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 280) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 178 ms. (steps per millisecond=56 ) properties (out of 279) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 279) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 178 ms. (steps per millisecond=56 ) properties (out of 278) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 278) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 178 ms. (steps per millisecond=56 ) properties (out of 277) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 277) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 182 ms. (steps per millisecond=54 ) properties (out of 276) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 276) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 186 ms. (steps per millisecond=53 ) properties (out of 275) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 177 ms. (steps per millisecond=56 ) properties (out of 275) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 274) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 274) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 273) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 273) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 190 ms. (steps per millisecond=52 ) properties (out of 272) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 272) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 271) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 271) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 270) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 270) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 269) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 190 ms. (steps per millisecond=52 ) properties (out of 269) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 268) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 268) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 267) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 267) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 266) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 266) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 191 ms. (steps per millisecond=52 ) properties (out of 265) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 265) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 264) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 184 ms. (steps per millisecond=54 ) properties (out of 264) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 181 ms. (steps per millisecond=55 ) properties (out of 263) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 185 ms. (steps per millisecond=54 ) properties (out of 263) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 183 ms. (steps per millisecond=54 ) properties (out of 262) seen :0
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 191 ms. (steps per millisecond=52 ) properties (out of 262) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 261) seen :1
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 179 ms. (steps per millisecond=55 ) properties (out of 260) seen :0
Running SMT prover for 260 properties.
[2023-03-09 21:06:33] [INFO ] Flow matrix only has 21885 transitions (discarded 662 similar events)
// Phase 1: matrix 21885 rows 14253 cols
[2023-03-09 21:06:34] [INFO ] Computed 1367 place invariants in 94 ms
[2023-03-09 21:07:19] [INFO ] After 45859ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:260
[2023-03-09 21:08:02] [INFO ] [Nat]Absence check using 1367 positive place invariants in 599 ms returned sat
[2023-03-09 21:11:04] [INFO ] After 140212ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :259
[2023-03-09 21:11:04] [INFO ] State equation strengthened by 1560 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-09 21:11:04] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-09 21:11:04] [INFO ] After 225089ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:260
Fused 260 Parikh solutions to 2 different solutions.
Parikh walk visited 20 properties in 234 ms.
Support contains 240 out of 14253 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 14253/14253 places, 22547/22547 transitions.
Drop transitions removed 8122 transitions
Trivial Post-agglo rules discarded 8122 transitions
Performed 8122 trivial Post agglomeration. Transition count delta: 8122
Iterating post reduction 0 with 8122 rules applied. Total rules applied 8122 place count 14253 transition count 14425
Reduce places removed 8122 places and 0 transitions.
Ensure Unique test removed 348 transitions
Reduce isomorphic transitions removed 348 transitions.
Drop transitions removed 336 transitions
Trivial Post-agglo rules discarded 336 transitions
Performed 336 trivial Post agglomeration. Transition count delta: 336
Iterating post reduction 1 with 8806 rules applied. Total rules applied 16928 place count 6131 transition count 13741
Reduce places removed 336 places and 0 transitions.
Ensure Unique test removed 102 transitions
Reduce isomorphic transitions removed 102 transitions.
Drop transitions removed 102 transitions
Trivial Post-agglo rules discarded 102 transitions
Performed 102 trivial Post agglomeration. Transition count delta: 102
Iterating post reduction 2 with 540 rules applied. Total rules applied 17468 place count 5795 transition count 13537
Reduce places removed 102 places and 0 transitions.
Iterating post reduction 3 with 102 rules applied. Total rules applied 17570 place count 5693 transition count 13537
Performed 135 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 135 Pre rules applied. Total rules applied 17570 place count 5693 transition count 13402
Deduced a syphon composed of 135 places in 3 ms
Reduce places removed 135 places and 0 transitions.
Iterating global reduction 4 with 270 rules applied. Total rules applied 17840 place count 5558 transition count 13402
Discarding 1508 places :
Symmetric choice reduction at 4 with 1508 rule applications. Total rules 19348 place count 4050 transition count 11892
Iterating global reduction 4 with 1508 rules applied. Total rules applied 20856 place count 4050 transition count 11892
Ensure Unique test removed 1565 transitions
Reduce isomorphic transitions removed 1565 transitions.
Iterating post reduction 4 with 1565 rules applied. Total rules applied 22421 place count 4050 transition count 10327
Performed 7 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 7 Pre rules applied. Total rules applied 22421 place count 4050 transition count 10320
Deduced a syphon composed of 7 places in 2 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 5 with 14 rules applied. Total rules applied 22435 place count 4043 transition count 10320
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 5 with 2 rules applied. Total rules applied 22437 place count 4043 transition count 10318
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 22438 place count 4042 transition count 10194
Iterating global reduction 6 with 1 rules applied. Total rules applied 22439 place count 4042 transition count 10194
Ensure Unique test removed 125 transitions
Reduce isomorphic transitions removed 125 transitions.
Iterating post reduction 6 with 125 rules applied. Total rules applied 22564 place count 4042 transition count 10069
Performed 1562 Post agglomeration using F-continuation condition with reduction of 339 identical transitions.
Deduced a syphon composed of 1562 places in 2 ms
Reduce places removed 1562 places and 0 transitions.
Iterating global reduction 7 with 3124 rules applied. Total rules applied 25688 place count 2480 transition count 8168
Drop transitions removed 2856 transitions
Ensure Unique test removed 24 transitions
Reduce isomorphic transitions removed 2880 transitions.
Graph (complete) has 6634 edges and 2480 vertex of which 1573 are kept as prefixes of interest. Removing 907 places using SCC suffix rule.5 ms
Discarding 907 places :
Also discarding 1211 output transitions
Drop transitions removed 1211 transitions
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 7 with 2882 rules applied. Total rules applied 28570 place count 1573 transition count 4076
Reduce places removed 1 places and 0 transitions.
Drop transitions removed 807 transitions
Reduce isomorphic transitions removed 807 transitions.
Iterating post reduction 8 with 808 rules applied. Total rules applied 29378 place count 1572 transition count 3269
Discarding 549 places :
Symmetric choice reduction at 9 with 549 rule applications. Total rules 29927 place count 1023 transition count 1679
Iterating global reduction 9 with 549 rules applied. Total rules applied 30476 place count 1023 transition count 1679
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 9 with 8 rules applied. Total rules applied 30484 place count 1019 transition count 1675
Drop transitions removed 104 transitions
Reduce isomorphic transitions removed 104 transitions.
Iterating post reduction 9 with 104 rules applied. Total rules applied 30588 place count 1019 transition count 1571
Performed 97 Post agglomeration using F-continuation condition with reduction of 129 identical transitions.
Deduced a syphon composed of 97 places in 0 ms
Reduce places removed 97 places and 0 transitions.
Iterating global reduction 10 with 194 rules applied. Total rules applied 30782 place count 922 transition count 1873
Drop transitions removed 357 transitions
Reduce isomorphic transitions removed 357 transitions.
Iterating post reduction 10 with 357 rules applied. Total rules applied 31139 place count 922 transition count 1516
Discarding 21 places :
Symmetric choice reduction at 11 with 21 rule applications. Total rules 31160 place count 901 transition count 1454
Iterating global reduction 11 with 21 rules applied. Total rules applied 31181 place count 901 transition count 1454
Ensure Unique test removed 107 transitions
Reduce isomorphic transitions removed 107 transitions.
Iterating post reduction 11 with 107 rules applied. Total rules applied 31288 place count 901 transition count 1347
Drop transitions removed 29 transitions
Redundant transition composition rules discarded 29 transitions
Iterating global reduction 12 with 29 rules applied. Total rules applied 31317 place count 901 transition count 1318
Free-agglomeration rule applied 5 times.
Iterating global reduction 12 with 5 rules applied. Total rules applied 31322 place count 901 transition count 1313
Reduce places removed 5 places and 0 transitions.
Drop transitions removed 130 transitions
Reduce isomorphic transitions removed 130 transitions.
Iterating post reduction 12 with 135 rules applied. Total rules applied 31457 place count 896 transition count 1183
Discarding 1 places :
Symmetric choice reduction at 13 with 1 rule applications. Total rules 31458 place count 895 transition count 1180
Iterating global reduction 13 with 1 rules applied. Total rules applied 31459 place count 895 transition count 1180
Ensure Unique test removed 26 transitions
Reduce isomorphic transitions removed 26 transitions.
Iterating post reduction 13 with 26 rules applied. Total rules applied 31485 place count 895 transition count 1154
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 14 with 8 rules applied. Total rules applied 31493 place count 891 transition count 1150
Drop transitions removed 104 transitions
Reduce isomorphic transitions removed 104 transitions.
Graph (complete) has 1723 edges and 891 vertex of which 887 are kept as prefixes of interest. Removing 4 places using SCC suffix rule.0 ms
Discarding 4 places :
Also discarding 0 output transitions
Iterating post reduction 14 with 105 rules applied. Total rules applied 31598 place count 887 transition count 1046
Discarding 75 places :
Symmetric choice reduction at 15 with 75 rule applications. Total rules 31673 place count 812 transition count 902
Iterating global reduction 15 with 75 rules applied. Total rules applied 31748 place count 812 transition count 902
Drop transitions removed 2 transitions
Redundant transition composition rules discarded 2 transitions
Iterating global reduction 15 with 2 rules applied. Total rules applied 31750 place count 812 transition count 900
Applied a total of 31750 rules in 1625 ms. Remains 812 /14253 variables (removed 13441) and now considering 900/22547 (removed 21647) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1625 ms. Remains : 812/14253 places, 900/22547 transitions.
Finished random walk after 2934 steps, including 0 resets, run visited all 240 properties in 168 ms. (steps per millisecond=17 )
Able to resolve query StableMarking after proving 13797 properties.
FORMULA StableMarking FALSE TECHNIQUES RANDOM_WALK PARIKH_WALK MARKED_SUFFIX_TEST TRIVIAL_UNMARKED_SCC_TEST BESTFIRST_WALK TOPOLOGICAL
Total runtime 438405 ms.
ITS solved all properties within timeout

BK_STOP 1678396268226

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StableMarking -timeout 180 -rebuildPNML

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCshifumi-PT-5b"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="marciexred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool marciexred"
echo " Input is DLCshifumi-PT-5b, 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 r120-tall-167814498800533"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCshifumi-PT-5b.tgz
mv DLCshifumi-PT-5b 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 ;