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.r501-tall-167912725000437.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 lolaxred
Input is TokenRing-PT-050, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r501-tall-167912725000437
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.6G
-rw-r--r-- 1 mcc users 1.7M Feb 26 14:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 7.4M Feb 26 14:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 72M Feb 26 12:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 255M Feb 26 11:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 1.6M Feb 25 17:21 LTLCardinality.txt
-rw-r--r-- 1 mcc users 5.5M Feb 25 17:21 LTLCardinality.xml
-rw-r--r-- 1 mcc users 27M Feb 25 17:21 LTLFireability.txt
-rw-r--r-- 1 mcc users 73M Feb 25 17:21 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.7M Feb 28 13:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13M Feb 28 13:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 241M Feb 28 12:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 850M Feb 28 11:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 279K Feb 25 17:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 707K Feb 25 17:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 61M Mar 5 18:23 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 QuasiLiveness

=== Now, execution of the tool begins

BK_START 1679522505272

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=lolaxred
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=TokenRing-PT-050
Applying reductions before tool lola
Invoking reducer
Running Version 202303021504
[2023-03-22 22:01:50] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -timeout, 180, -rebuildPNML]
[2023-03-22 22:01:50] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 22:01:55] [INFO ] Load time of PNML (sax parser for PT used): 4318 ms
[2023-03-22 22:01:55] [INFO ] Transformed 2601 places.
[2023-03-22 22:01:55] [INFO ] Transformed 127551 transitions.
[2023-03-22 22:01:55] [INFO ] Parsed PT model containing 2601 places and 127551 transitions and 510204 arcs in 4909 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 2601/2601 places, 127551/127551 transitions.
Applied a total of 0 rules in 913 ms. Remains 2601 /2601 variables (removed 0) and now considering 127551/127551 (removed 0) transitions.
// Phase 1: matrix 127551 rows 2601 cols
[2023-03-22 22:01:57] [INFO ] Computed 51 place invariants in 600 ms
[2023-03-22 22:02:05] [INFO ] Implicit Places using invariants in 8827 ms returned []
Implicit Place search using SMT only with invariants took 8929 ms to find 0 implicit places.
[2023-03-22 22:02:05] [INFO ] Invariant cache hit.
[2023-03-22 22:02:36] [INFO ] Performed 66737/127551 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2023-03-22 22:03:04] [INFO ] Dead Transitions using invariants and state equation in 58616 ms found 0 transitions.
Finished structural reductions in LIVENESS mode , in 1 iterations and 68494 ms. Remains : 2601/2601 places, 127551/127551 transitions.
Initial state reduction rules removed 50 formulas.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 2768 ms. (steps per millisecond=3 ) properties (out of 127501) seen :167
Interrupted probabilistic random walk after 668 steps, run timeout after 9189 ms. (steps per millisecond=0 ) properties seen :{239=1, 656=1, 712=1, 781=1, 4064=1, 5121=1, 6879=1, 7908=1, 10111=1, 11218=1, 11730=1, 13533=1, 14853=1, 19170=1, 19289=1, 20190=1, 25948=1, 31054=1, 32811=1, 36588=1, 37312=1, 39318=1, 40234=1, 41109=1, 44606=1, 48885=1, 58345=1, 66677=1, 67378=1, 72877=1, 73519=1, 76121=1, 76123=1, 76471=1, 77721=1, 80486=1, 86528=1, 86817=1, 88080=1, 89036=1, 93509=1, 96480=1, 96691=1, 101682=1, 105330=1, 107768=1, 108538=1, 108690=1, 110192=1, 110323=1, 111064=1, 114637=1, 116844=1, 117818=1, 118671=1, 120603=1, 125066=1, 126034=1, 126037=1, 126470=1, 126645=1}
Probabilistic random walk after 668 steps, saw 654 distinct states, run finished after 9196 ms. (steps per millisecond=0 ) properties seen :61
Running SMT prover for 127273 properties.
[2023-03-22 22:03:19] [INFO ] Invariant cache hit.
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-22 22:03:45] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-22 22:03:45] [INFO ] After 25047ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 127273 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 11 ms.
Support contains 2601 out of 2601 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2601/2601 places, 127551/127551 transitions.
Applied a total of 0 rules in 838 ms. Remains 2601 /2601 variables (removed 0) and now considering 127551/127551 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 842 ms. Remains : 2601/2601 places, 127551/127551 transitions.
Interrupted random walk after 139101 steps, including 0 resets, run timeout after 30012 ms. (steps per millisecond=4 ) properties seen 1314
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 125959) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 125958) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 125956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 125956) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 125954) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 125954) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125952) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 125950) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 125949) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 125947) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 125946) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 125946) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 125945) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 125945) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 125944) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 125943) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 125941) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 125939) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 125938) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 125935) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 125934) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 125933) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 125933) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 125931) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 125929) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 125929) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 125928) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 125927) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 125926) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 125925) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 125923) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 125923) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 125923) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 125923) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 125923) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125921) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 125920) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 125920) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 125916) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 125916) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 125916) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 125916) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 125916) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 125916) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 125915) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 125914) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 125914) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 125913) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 125913) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 125913) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 125912) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 125912) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 125910) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 125907) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 125907) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 125906) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 125906) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 125904) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 125904) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 125904) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 125904) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 125903) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 125901) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 125898) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 125898) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 125898) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 125898) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 125897) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 125897) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 125897) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 125895) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125894) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 125894) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 125894) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 125893) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 125892) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 125892) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125892) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125892) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 125892) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 125891) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 125891) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 125891) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 125889) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 125889) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 125889) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 125888) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 125888) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 125887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 125887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 125887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 125887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 125887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 125887) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 125886) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 125886) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 125886) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125886) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 125886) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 125885) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 125885) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 125885) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 125884) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 125883) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 125883) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 125882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 125882) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 125881) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 125880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 125880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125880) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 125879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 125879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 125879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 125879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 125879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 125879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 125879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 125879) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 125878) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 125878) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 125878) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 125878) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 125878) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125878) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 125877) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 125877) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 125876) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 125876) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 125876) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 125876) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 125876) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 125876) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 125876) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 125875) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125875) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 125875) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 125875) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 125875) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125875) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 125875) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 125875) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 125875) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 125875) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 125875) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 125874) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 125874) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 125874) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 125873) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 125872) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 125872) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 125872) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 125872) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 125871) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 125871) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 125871) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125871) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 125871) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 125871) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 125871) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 125871) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 125870) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 125870) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 125870) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 125870) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 125870) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125870) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 125870) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 125870) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 125870) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 125870) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 125870) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 125869) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 125869) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 125869) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 125869) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 125869) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 125869) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 125869) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 125869) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 125869) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 125869) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 125869) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 125868) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125868) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 125868) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 125868) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125868) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 125868) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 125868) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 125868) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 125868) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 125868) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 125868) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125868) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 125866) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 125865) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 125865) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125865) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125865) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 125865) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 125865) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 125865) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 125865) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 125865) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 125865) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 125865) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 125865) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 125865) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 125865) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125865) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 125864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 125864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 125864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 125864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 125864) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 125863) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 125862) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 125862) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 125862) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 125862) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 125862) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 125862) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 125862) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 125862) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 125862) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 125862) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 125862) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 125862) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 125862) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125862) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 125862) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 125862) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 125862) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 125862) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 125862) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 125862) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 125862) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 125862) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 125862) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 125862) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 125862) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 125862) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 125862) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 125862) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 125862) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 125862) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 125862) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 125861) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 125861) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 125861) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 125861) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 125861) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 125861) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 125860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 125860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 125860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 125860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 125860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 125860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 125860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 125860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 125860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 125860) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 125859) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 125859) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 125858) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 125858) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 125858) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 125858) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 125858) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125858) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 125858) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125858) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 125858) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 125857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 125857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 125857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 125857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 125857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 125857) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 125856) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 125855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 125855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 125855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 125855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 125855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 125855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 125855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 125855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 125855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 125855) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 125854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 125854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 125854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 125854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 125854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 125854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 125854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 125854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125854) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 125853) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 125853) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 125853) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 125853) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125853) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 125853) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 125853) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 125853) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 125853) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 125853) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 125853) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 125853) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 125853) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 125853) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 125853) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125853) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 125853) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 125853) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 125853) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 125853) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 125853) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 125853) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 125853) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 125852) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 125852) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 125851) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 125851) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 125851) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 125851) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 125851) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 125851) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 125851) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 125851) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 125851) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125851) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 125851) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 125851) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 125851) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125851) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 125851) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 125851) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 125851) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 125851) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 125851) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 125851) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 125850) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 125850) seen :0
Interrupted probabilistic random walk after 41749 steps, run timeout after 294015 ms. (steps per millisecond=0 ) properties seen :{46=1, 83=1, 334=1, 352=1, 385=1, 409=1, 532=1, 593=1, 601=1, 768=1, 791=1, 898=1, 908=1, 1576=1, 1606=1, 1856=1, 1870=1, 1900=1, 1907=1, 1912=1, 2112=1, 2114=1, 2267=1, 2313=1, 2319=1, 2477=1, 2503=1, 2605=1, 2629=1, 2638=1, 2712=1, 2742=1, 2821=1, 2987=1, 3062=1, 3177=1, 3220=1, 3528=1, 3546=1, 3602=1, 3621=1, 3696=1, 3697=1, 3728=1, 3748=1, 3788=1, 3800=1, 3807=1, 3860=1, 3924=1, 3937=1, 4144=1, 4287=1, 4350=1, 4552=1, 4909=1, 4947=1, 4981=1, 5027=1, 5140=1, 5174=1, 5182=1, 5216=1, 5227=1, 5315=1, 5335=1, 5378=1, 5382=1, 5464=1, 5794=1, 5801=1, 5824=1, 5861=1, 5936=1, 5955=1, 5983=1, 6150=1, 6172=1, 6250=1, 6367=1, 6417=1, 6437=1, 6484=1, 6610=1, 6640=1, 6650=1, 6690=1, 6710=1, 6766=1, 6921=1, 7022=1, 7042=1, 7070=1, 7318=1, 7419=1, 7457=1, 7464=1, 7534=1, 7611=1, 7758=1, 7789=1, 7824=1, 7845=1, 7863=1, 7933=1, 7952=1, 7979=1, 8023=1, 8065=1, 8230=1, 8292=1, 8367=1, 8373=1, 8383=1, 8386=1, 8450=1, 8741=1, 8776=1, 8800=1, 8815=1, 8969=1, 9026=1, 9073=1, 9241=1, 9614=1, 9770=1, 9843=1, 9872=1, 9930=1, 9935=1, 9984=1, 10102=1, 10245=1, 10323=1, 10560=1, 10667=1, 10704=1, 10755=1, 10795=1, 10964=1, 11027=1, 11032=1, 11219=1, 11277=1, 11600=1, 11622=1, 11666=1, 11739=1, 11767=1, 11942=1, 12085=1, 12179=1, 12275=1, 12392=1, 12896=1, 12898=1, 12957=1, 13061=1, 13071=1, 13093=1, 13140=1, 13151=1, 13195=1, 13238=1, 13294=1, 13424=1, 13427=1, 13538=1, 13595=1, 13775=1, 13830=1, 13924=1, 13983=1, 14048=1, 14108=1, 14193=1, 14207=1, 14274=1, 14307=1, 14359=1, 14372=1, 14436=1, 14518=1, 14564=1, 14574=1, 14634=1, 14646=1, 14677=1, 14755=1, 14961=1, 14981=1, 15096=1, 15114=1, 15471=1, 15526=1, 15573=1, 15594=1, 15775=1, 15975=1, 16107=1, 16118=1, 16187=1, 16244=1, 16372=1, 16405=1, 16418=1, 16455=1, 16487=1, 16627=1, 16711=1, 17097=1, 17239=1, 17295=1, 17419=1, 17437=1, 17484=1, 17553=1, 17570=1, 17579=1, 17634=1, 17684=1, 17789=1, 17842=1, 17923=1, 17964=1, 18061=1, 18079=1, 18116=1, 18139=1, 18156=1, 18168=1, 18222=1, 18244=1, 18326=1, 18446=1, 18521=1, 18570=1, 18939=1, 18950=1, 19044=1, 19133=1, 19139=1, 19387=1, 19391=1, 19427=1, 19465=1, 19485=1, 19515=1, 19521=1, 19788=1, 19866=1, 19917=1, 19991=1, 20063=1, 20066=1, 20077=1, 20121=1, 20168=1, 20238=1, 20312=1, 20367=1, 20396=1, 20452=1, 20534=1, 20745=1, 20919=1, 20989=1, 21224=1, 21308=1, 21422=1, 21534=1, 21554=1, 21579=1, 21780=1, 21795=1, 21878=1, 21909=1, 22421=1, 22531=1, 22600=1, 22664=1, 22738=1, 22775=1, 22876=1, 23095=1, 23303=1, 23342=1, 23404=1, 23410=1, 23583=1, 23655=1, 23663=1, 23680=1, 23719=1, 23750=1, 23811=1, 23937=1, 23988=1, 23995=1, 24002=1, 24037=1, 24098=1, 24112=1, 24310=1, 24589=1, 24829=1, 24903=1, 24933=1, 25043=1, 25098=1, 25418=1, 25485=1, 25497=1, 25577=1, 25625=1, 25728=1, 25780=1, 25781=1, 25790=1, 25829=1, 25838=1, 25924=1, 25939=1, 26014=1, 26039=1, 26044=1, 26200=1, 26212=1, 26252=1, 26256=1, 26273=1, 26411=1, 26515=1, 26580=1, 26592=1, 26596=1, 26718=1, 26925=1, 26937=1, 26958=1, 27041=1, 27189=1, 27277=1, 27375=1, 27439=1, 27444=1, 27490=1, 27493=1, 27567=1, 28000=1, 28194=1, 28197=1, 28289=1, 28378=1, 28480=1, 28596=1, 28610=1, 28611=1, 28644=1, 28800=1, 28804=1, 28910=1, 29054=1, 29066=1, 29411=1, 29604=1, 29672=1, 29693=1, 29826=1, 30091=1, 30230=1, 30232=1, 30350=1, 30401=1, 30674=1, 30775=1, 30778=1, 30845=1, 30904=1, 30944=1, 31273=1, 31274=1, 31296=1, 31397=1, 31411=1, 31429=1, 31462=1, 31513=1, 31756=1, 31845=1, 31861=1, 31898=1, 32109=1, 32150=1, 32332=1, 32383=1, 32402=1, 32440=1, 32681=1, 32777=1, 33108=1, 33139=1, 33392=1, 33505=1, 33523=1, 33571=1, 33596=1, 33655=1, 33709=1, 33769=1, 33780=1, 33795=1, 33796=1, 33798=1, 34022=1, 34046=1, 34058=1, 34141=1, 34184=1, 34273=1, 34318=1, 34404=1, 34476=1, 34513=1, 34582=1, 34621=1, 35007=1, 35029=1, 35203=1, 35218=1, 35295=1, 35349=1, 35556=1, 35566=1, 35768=1, 35805=1, 35891=1, 35925=1, 35927=1, 35958=1, 35966=1, 36038=1, 36394=1, 36663=1, 36679=1, 36767=1, 36791=1, 36804=1, 36904=1, 37053=1, 37137=1, 37307=1, 37481=1, 37488=1, 37529=1, 37592=1, 37655=1, 37687=1, 37809=1, 37834=1, 37921=1, 37922=1, 37947=1, 38028=1, 38046=1, 38064=1, 38083=1, 38199=1, 38211=1, 38251=1, 38310=1, 38614=1, 38796=1, 38943=1, 38954=1, 39390=1, 39831=1, 39841=1, 39882=1, 40098=1, 40118=1, 40125=1, 40231=1, 40259=1, 40288=1, 40300=1, 40309=1, 40325=1, 40814=1, 40844=1, 40886=1, 40933=1, 40947=1, 40952=1, 41081=1, 41299=1, 41319=1, 41367=1, 41538=1, 41567=1, 41706=1, 41731=1, 41745=1, 41967=1, 42110=1, 42178=1, 42311=1, 42356=1, 42840=1, 42868=1, 42906=1, 43000=1, 43514=1, 43660=1, 43716=1, 43811=1, 43822=1, 43887=1, 44086=1, 44124=1, 44257=1, 44354=1, 44431=1, 44435=1, 44472=1, 44478=1, 44490=1, 44569=1, 44577=1, 44635=1, 44706=1, 44782=1, 44862=1, 44905=1, 44924=1, 45051=1, 45211=1, 45253=1, 45371=1, 45714=1, 45892=1, 45908=1, 45970=1, 46051=1, 46148=1, 46185=1, 46200=1, 46216=1, 46224=1, 46265=1, 46314=1, 46418=1, 46497=1, 46506=1, 46636=1, 46650=1, 46852=1, 46959=1, 47039=1, 47144=1, 47240=1, 47270=1, 47280=1, 47406=1, 47534=1, 47744=1, 47760=1, 47825=1, 47858=1, 47898=1, 47935=1, 47993=1, 48068=1, 48127=1, 48318=1, 48773=1, 48848=1, 48853=1, 49058=1, 49261=1, 49321=1, 49458=1, 49465=1, 49586=1, 49993=1, 50052=1, 50141=1, 50192=1, 50265=1, 50352=1, 50373=1, 50405=1, 50429=1, 50477=1, 50498=1, 50596=1, 50915=1, 50947=1, 51033=1, 51141=1, 51155=1, 51170=1, 51240=1, 51295=1, 51385=1, 51440=1, 51441=1, 51464=1, 51570=1, 51664=1, 51756=1, 51786=1, 51790=1, 51813=1, 51856=1, 51913=1, 51974=1, 51993=1, 52031=1, 52119=1, 52146=1, 52225=1, 52286=1, 52503=1, 52585=1, 52599=1, 52621=1, 52633=1, 52759=1, 52777=1, 52790=1, 52895=1, 52969=1, 53068=1, 53300=1, 53440=1, 53473=1, 53489=1, 53544=1, 53719=1, 53781=1, 53981=1, 54063=1, 54240=1, 54630=1, 54740=1, 54828=1, 54987=1, 55090=1, 55239=1, 55314=1, 55459=1, 55495=1, 55512=1, 55519=1, 55552=1, 55605=1, 55623=1, 55624=1, 55735=1, 55738=1, 55755=1, 55914=1, 56101=1, 56131=1, 56190=1, 56225=1, 56268=1, 56318=1, 56431=1, 56470=1, 56897=1, 57018=1, 57038=1, 57120=1, 57211=1, 57224=1, 57238=1, 57277=1, 57350=1, 57413=1, 57420=1, 57430=1, 57590=1, 57692=1, 57961=1, 58191=1, 58257=1, 58298=1, 58385=1, 58568=1, 58665=1, 58684=1, 58902=1, 58923=1, 58976=1, 59171=1, 59191=1, 59220=1, 59637=1, 59866=1, 59887=1, 59968=1, 60103=1, 60114=1, 60143=1, 60178=1, 60225=1, 60295=1, 60423=1, 60490=1, 60504=1, 60528=1, 60625=1, 60636=1, 60776=1, 60814=1, 60923=1, 60997=1, 61069=1, 61410=1, 61420=1, 61499=1, 61529=1, 61569=1, 61575=1, 61588=1, 61723=1, 61753=1, 61799=1, 61837=1, 61849=1, 61911=1, 61933=1, 61989=1, 62046=1, 62103=1, 62108=1, 62337=1, 62375=1, 62548=1, 62606=1, 62649=1, 62746=1, 62797=1, 62809=1, 62855=1, 63264=1, 63653=1, 63808=1, 63810=1, 63941=1, 63974=1, 64034=1, 64276=1, 64345=1, 64380=1, 64399=1, 64431=1, 64445=1, 64466=1, 64511=1, 64617=1, 64658=1, 64688=1, 64791=1, 64855=1, 64877=1, 65160=1, 65349=1, 65395=1, 65456=1, 65465=1, 65625=1, 65653=1, 65716=1, 65816=1, 65950=1, 65994=1, 66221=1, 66238=1, 66269=1, 66283=1, 66375=1, 66419=1, 66478=1, 66669=1, 66953=1, 66999=1, 67001=1, 67005=1, 67016=1, 67034=1, 67129=1, 67367=1, 67368=1, 67414=1, 67459=1, 67518=1, 67601=1, 68025=1, 68100=1, 68109=1, 68154=1, 68362=1, 68514=1, 68637=1, 68755=1, 68846=1, 68900=1, 68923=1, 68934=1, 68966=1, 69029=1, 69190=1, 69207=1, 69236=1, 69352=1, 69424=1, 69572=1, 69616=1, 69664=1, 69771=1, 69786=1, 70023=1, 70040=1, 70276=1, 70320=1, 70523=1, 70775=1, 70888=1, 70941=1, 70945=1, 71037=1, 71137=1, 71338=1, 71421=1, 71534=1, 71557=1, 71582=1, 71659=1, 71754=1, 71876=1, 72039=1, 72182=1, 72223=1, 72246=1, 72431=1, 72497=1, 72578=1, 72676=1, 72746=1, 72886=1, 72912=1, 72958=1, 73202=1, 73209=1, 73302=1, 73363=1, 73580=1, 73693=1, 73695=1, 73717=1, 73809=1, 74067=1, 74087=1, 74124=1, 74179=1, 74248=1, 74460=1, 74523=1, 74607=1, 74714=1, 74924=1, 74973=1, 75292=1, 75385=1, 75432=1, 75459=1, 75522=1, 75576=1, 75733=1, 75782=1, 75809=1, 76100=1, 76175=1, 76424=1, 76432=1, 76453=1, 76520=1, 76666=1, 76710=1, 76740=1, 76784=1, 76837=1, 77080=1, 77311=1, 77547=1, 77564=1, 77570=1, 77612=1, 77665=1, 77804=1, 77911=1, 78051=1, 78097=1, 78195=1, 78217=1, 78257=1, 78285=1, 78339=1, 78534=1, 78562=1, 78586=1, 78653=1, 78704=1, 78709=1, 78755=1, 78820=1, 78935=1, 78975=1, 78983=1, 79031=1, 79085=1, 79133=1, 79164=1, 79211=1, 79212=1, 79252=1, 79369=1, 79374=1, 79401=1, 79429=1, 79483=1, 79664=1, 79876=1, 79894=1, 79908=1, 80032=1, 80245=1, 80337=1, 80357=1, 80438=1, 80452=1, 80548=1, 80550=1, 80609=1, 80662=1, 80693=1, 80945=1, 80977=1, 80985=1, 81000=1, 81007=1, 81037=1, 81121=1, 81180=1, 81232=1, 81277=1, 81304=1, 81318=1, 81341=1, 81406=1, 81702=1, 81737=1, 81789=1, 81892=1, 82122=1, 82240=1, 82360=1, 82620=1, 82681=1, 83038=1, 83119=1, 83214=1, 83259=1, 83390=1, 83458=1, 83586=1, 83629=1, 83630=1, 83793=1, 83864=1, 83893=1, 83970=1, 84083=1, 84129=1, 84157=1, 84161=1, 84187=1, 84346=1, 84479=1, 84482=1, 84660=1, 84789=1, 84847=1, 84936=1, 84958=1, 84962=1, 84988=1, 84993=1, 84999=1, 85042=1, 85056=1, 85095=1, 85176=1, 85250=1, 85354=1, 85631=1, 85726=1, 85883=1, 85895=1, 85997=1, 86037=1, 86089=1, 86115=1, 86296=1, 86312=1, 86409=1, 86784=1, 86939=1, 86969=1, 87029=1, 87048=1, 87091=1, 87128=1, 87143=1, 87196=1, 87255=1, 87432=1, 87485=1, 87510=1, 87569=1, 87761=1, 88024=1, 88080=1, 88246=1, 88284=1, 88289=1, 88326=1, 88408=1, 88446=1, 88480=1, 88515=1, 88704=1, 88709=1, 88776=1, 88860=1, 88892=1, 89300=1, 89313=1, 89350=1, 89431=1, 89479=1, 89592=1, 89670=1, 89803=1, 89952=1, 89978=1, 90064=1, 90210=1, 90220=1, 90249=1, 90355=1, 90368=1, 90372=1, 90436=1, 90623=1, 90667=1, 90918=1, 90964=1, 91115=1, 91346=1, 91535=1, 91564=1, 91584=1, 91653=1, 91821=1, 91909=1, 91978=1, 92244=1, 92345=1, 92354=1, 92365=1, 92405=1, 92468=1, 92475=1, 92488=1, 92530=1, 92622=1, 92643=1, 92716=1, 92810=1, 92939=1, 93036=1, 93071=1, 93096=1, 93321=1, 93434=1, 93462=1, 93495=1, 93746=1, 93768=1, 93790=1, 93870=1, 93874=1, 93965=1, 94002=1, 94252=1, 94365=1, 94511=1, 94812=1, 94885=1, 94956=1, 94991=1, 95185=1, 95205=1, 95271=1, 95406=1, 95698=1, 95765=1, 95883=1, 96022=1, 96162=1, 96210=1, 96227=1, 96345=1, 96401=1, 96454=1, 96645=1, 96668=1, 96763=1, 96768=1, 96814=1, 96944=1, 97073=1, 97154=1, 97220=1, 97282=1, 97298=1, 97350=1, 97388=1, 97601=1, 97825=1, 97870=1, 97913=1, 98126=1, 98150=1, 98185=1, 98215=1, 98255=1, 98365=1, 98394=1, 98654=1, 98732=1, 98826=1, 98982=1, 99063=1, 99135=1, 99242=1, 99257=1, 99428=1, 99452=1, 99481=1, 99554=1, 99715=1, 99724=1, 99728=1, 99856=1, 99912=1, 99916=1, 100433=1, 100492=1, 100553=1, 100555=1, 100704=1, 100723=1, 100895=1, 100941=1, 100975=1, 101133=1, 101208=1, 101211=1, 101229=1, 101281=1, 101283=1, 101295=1, 101445=1, 101498=1, 101567=1, 101641=1, 101762=1, 101943=1, 101973=1, 102018=1, 102148=1, 102164=1, 102166=1, 102175=1, 102190=1, 102217=1, 102336=1, 102377=1, 102410=1, 102718=1, 102748=1, 102821=1, 102888=1, 102894=1, 102938=1, 103035=1, 103105=1, 103237=1, 103568=1, 103599=1, 103653=1, 103655=1, 103804=1, 103867=1, 103900=1, 104015=1, 104113=1, 104220=1, 104307=1, 104798=1, 104867=1, 105168=1, 105215=1, 105223=1, 105276=1, 105277=1, 105290=1, 105474=1, 105671=1, 105711=1, 105782=1, 106074=1, 106161=1, 106227=1, 106229=1, 106381=1, 106480=1, 106574=1, 106602=1, 106705=1, 106825=1, 106902=1, 106921=1, 107007=1, 107229=1, 107235=1, 107332=1, 107410=1, 107590=1, 107684=1, 107769=1, 107776=1, 107793=1, 107880=1, 107980=1, 108206=1, 108463=1, 108663=1, 108749=1, 108762=1, 108784=1, 108963=1, 109164=1, 109203=1, 109248=1, 109277=1, 109525=1, 109739=1, 109887=1, 109986=1, 110050=1, 110130=1, 110151=1, 110237=1, 110246=1, 110310=1, 110340=1, 110350=1, 110390=1, 110587=1, 110683=1, 110736=1, 110813=1, 110965=1, 111010=1, 111029=1, 111155=1, 111187=1, 111248=1, 111375=1, 111382=1, 111400=1, 111516=1, 111520=1, 111590=1, 111662=1, 111722=1, 111763=1, 111836=1, 111958=1, 112237=1, 112323=1, 112337=1, 112555=1, 112690=1, 112771=1, 112789=1, 113147=1, 113156=1, 113165=1, 113237=1, 113243=1, 113252=1, 113281=1, 113532=1, 113584=1, 113701=1, 113862=1, 113894=1, 114139=1, 114146=1, 114234=1, 114286=1, 114506=1, 114548=1, 114709=1, 114740=1, 114761=1, 114830=1, 114831=1, 115067=1, 115118=1, 115154=1, 115196=1, 115216=1, 115217=1, 115226=1, 115315=1, 115345=1, 115423=1, 115445=1, 115510=1, 115538=1, 115541=1, 115679=1, 115731=1, 115945=1, 116012=1, 116070=1, 116140=1, 116263=1, 116380=1, 116467=1, 116532=1, 116677=1, 116738=1, 116739=1, 116746=1, 116751=1, 116944=1, 117207=1, 117209=1, 117247=1, 117291=1, 117654=1, 117658=1, 117701=1, 117741=1, 117840=1, 117963=1, 117965=1, 118066=1, 118177=1, 118221=1, 118272=1, 118278=1, 118308=1, 118326=1, 118400=1, 118558=1, 118582=1, 118585=1, 118693=1, 118820=1, 118869=1, 119161=1, 119270=1, 119615=1, 119806=1, 119887=1, 119891=1, 120074=1, 120078=1, 120319=1, 120326=1, 120414=1, 120419=1, 120431=1, 120542=1, 120628=1, 120727=1, 120833=1, 120860=1, 120862=1, 120873=1, 121241=1, 121276=1, 121380=1, 121384=1, 121410=1, 121481=1, 121738=1, 122266=1, 122278=1, 122350=1, 122448=1, 122472=1, 122493=1, 122524=1, 122661=1, 122779=1, 123024=1, 123056=1, 123090=1, 123364=1, 123489=1, 123597=1, 123627=1, 123663=1, 123671=1, 123785=1, 124008=1, 124064=1, 124249=1, 124365=1, 124404=1, 124501=1, 124594=1, 124698=1, 124710=1, 124714=1, 124809=1, 124995=1, 125030=1, 125066=1, 125249=1, 125349=1, 125486=1, 125583=1}
Probabilistic random walk after 41749 steps, saw 15392 distinct states, run finished after 294018 ms. (steps per millisecond=0 ) properties seen :1454
Running SMT prover for 124396 properties.
[2023-03-22 22:10:19] [INFO ] Invariant cache hit.
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-22 22:14:04] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-22 22:14:04] [INFO ] After 225032ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 124396 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 6 ms.
Support contains 2601 out of 2601 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2601/2601 places, 127551/127551 transitions.
Applied a total of 0 rules in 777 ms. Remains 2601 /2601 variables (removed 0) and now considering 127551/127551 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 777 ms. Remains : 2601/2601 places, 127551/127551 transitions.
Interrupted random walk after 138201 steps, including 0 resets, run timeout after 30006 ms. (steps per millisecond=4 ) properties seen 11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124385) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124385) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 124385) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 124385) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 124385) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124385) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 124383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 124383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 124383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 124383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 124383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 124383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 124383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 124383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 124383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 124383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 124383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 124383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 124383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 124383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 124383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 124383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124383) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 124382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 124382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 124382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 124382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 124382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 124382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 124382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 124382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 124382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 124382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 124382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 124382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 124382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 124382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 124382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 124382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 124382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 124382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 124382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 124382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 124382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 124382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 124382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 124382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 124382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 124382) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 124382) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124381) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124381) seen :0
Interrupted probabilistic random walk after 15135 steps, run timeout after 153018 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 15135 steps, saw 8954 distinct states, run finished after 153026 ms. (steps per millisecond=0 ) properties seen :0
Running SMT prover for 124381 properties.
[2023-03-22 22:17:31] [INFO ] Invariant cache hit.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.checkResults(DeadlockTester.java:797)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:611)
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-22 22:21:16] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-22 22:21:16] [INFO ] After 225028ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 124381 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 4 ms.
Support contains 2601 out of 2601 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2601/2601 places, 127551/127551 transitions.
Applied a total of 0 rules in 750 ms. Remains 2601 /2601 variables (removed 0) and now considering 127551/127551 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 750 ms. Remains : 2601/2601 places, 127551/127551 transitions.
Interrupted random walk after 135101 steps, including 0 resets, run timeout after 30003 ms. (steps per millisecond=4 ) properties seen 14
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 124367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 124367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 124367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 124367) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 124366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 124366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 124366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 124366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 124366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 124366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 124366) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124365) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 124365) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 124365) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124364) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 124364) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124364) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124364) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124364) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124364) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124364) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 124364) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124364) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 124364) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 124364) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 124364) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 124364) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124364) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124364) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 124364) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 124364) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 124364) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 124364) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124364) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 124364) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124364) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124364) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124364) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 124364) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124364) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 124364) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 124364) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 124364) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124364) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 124364) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 124364) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 124363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124363) seen :0
Interrupted probabilistic random walk after 12925 steps, run timeout after 141012 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 12925 steps, saw 8412 distinct states, run finished after 141017 ms. (steps per millisecond=0 ) properties seen :0
Running SMT prover for 124363 properties.
[2023-03-22 22:24:26] [INFO ] Invariant cache hit.
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-22 22:28:11] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-22 22:28:11] [INFO ] After 225027ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 124363 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 5 ms.
Support contains 2601 out of 2601 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2601/2601 places, 127551/127551 transitions.
Applied a total of 0 rules in 762 ms. Remains 2601 /2601 variables (removed 0) and now considering 127551/127551 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 762 ms. Remains : 2601/2601 places, 127551/127551 transitions.
Interrupted random walk after 138640 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=4 ) properties seen 17
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124346) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 124346) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 124346) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 124346) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124346) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 124346) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124346) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 124346) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124346) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124346) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 124346) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124346) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 124346) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 124346) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124346) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 124345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 124345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 124345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 124345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 124345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 124345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 124345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 124345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 124345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 124345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 124345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 124345) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 124344) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124344) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 124343) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124343) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 124342) seen :0
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393216 kB
MemFree: 11107548 kB
After kill :
MemTotal: 16393216 kB
MemFree: 14306608 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ 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'
++ sed s/.jar//
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination QuasiLiveness -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="TokenRing-PT-050"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="lolaxred"
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 lolaxred"
echo " Input is TokenRing-PT-050, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r501-tall-167912725000437"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/TokenRing-PT-050.tgz
mv TokenRing-PT-050 execution
cd execution
if [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "UpperBounds" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] || [ "QuasiLiveness" = "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 [ "QuasiLiveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "QuasiLiveness" != "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 "QuasiLiveness.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property QuasiLiveness.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "QuasiLiveness.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 '' QuasiLiveness.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] ; then
echo "FORMULA_NAME QuasiLiveness"
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 ;