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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 7.7K Feb 25 13:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 25 13:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.7K Feb 25 13:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 67K Feb 25 13:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 16:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 13:59 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 139K Feb 25 13:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 25 13:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 25 13:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 69M 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 1679128102348

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=marciexred
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=RERS17pb115-PT-1
Applying reductions before tool marcie
Invoking reducer
Running Version 202303021504
[2023-03-18 08:28:24] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -timeout, 180, -rebuildPNML]
[2023-03-18 08:28:24] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 08:28:26] [INFO ] Load time of PNML (sax parser for PT used): 1871 ms
[2023-03-18 08:28:26] [INFO ] Transformed 1399 places.
[2023-03-18 08:28:26] [INFO ] Transformed 144369 transitions.
[2023-03-18 08:28:26] [INFO ] Found NUPN structural information;
[2023-03-18 08:28:26] [INFO ] Parsed PT model containing 1399 places and 144369 transitions and 577414 arcs in 2382 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 1399/1399 places, 144369/144369 transitions.
Ensure Unique test removed 18 places
Iterating post reduction 0 with 18 rules applied. Total rules applied 18 place count 1381 transition count 144369
Applied a total of 18 rules in 1096 ms. Remains 1381 /1399 variables (removed 18) and now considering 144369/144369 (removed 0) transitions.
[2023-03-18 08:28:27] [INFO ] Flow matrix only has 81238 transitions (discarded 63131 similar events)
// Phase 1: matrix 81238 rows 1381 cols
[2023-03-18 08:28:28] [INFO ] Computed 19 place invariants in 439 ms
[2023-03-18 08:28:37] [INFO ] Implicit Places using invariants in 9717 ms returned []
Implicit Place search using SMT only with invariants took 9745 ms to find 0 implicit places.
[2023-03-18 08:28:37] [INFO ] Flow matrix only has 81238 transitions (discarded 63131 similar events)
[2023-03-18 08:28:37] [INFO ] Invariant cache hit.
[2023-03-18 08:29:07] [INFO ] Performed 89174/144369 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2023-03-18 08:29:27] [INFO ] Dead Transitions using invariants and state equation in 50180 ms found 0 transitions.
Starting structural reductions in LIVENESS mode, iteration 1 : 1381/1399 places, 144369/144369 transitions.
Finished structural reductions in LIVENESS mode , in 1 iterations and 61042 ms. Remains : 1381/1399 places, 144369/144369 transitions.
Discarding 2848 transitions out of 144369. Remains 141521
Initial state reduction rules removed 1 formulas.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 2876 ms. (steps per millisecond=3 ) properties (out of 141520) seen :1318
Interrupted probabilistic random walk after 1223 steps, run timeout after 15003 ms. (steps per millisecond=0 ) properties seen :{46=1, 70=1, 5794=1, 6789=1, 6817=1, 7332=1, 8379=1, 9122=1, 9133=1, 12521=1, 17118=1, 18592=1, 18621=1, 18630=1, 18639=1, 18663=1, 18699=1, 19566=1, 19657=1, 19695=1, 19702=1, 19715=1, 20158=1, 20224=1, 29413=1, 29433=1, 29455=1, 29465=1, 31303=1, 31940=1, 32214=1, 32240=1, 32822=1, 32867=1, 34755=1, 35364=1, 35969=1, 39101=1, 39123=1, 40972=1, 48101=1, 48145=1, 48197=1, 48203=1, 48215=1, 48297=1, 52287=1, 52302=1, 52670=1, 53677=1, 59484=1, 70148=1, 70279=1, 74614=1, 79893=1, 80952=1, 80964=1, 80976=1, 80982=1, 85541=1, 85560=1, 88017=1, 88021=1, 88079=1, 88087=1, 88110=1, 90521=1, 91375=1, 91397=1, 92164=1, 96328=1, 102036=1, 102926=1, 102934=1, 103874=1, 103909=1, 103950=1, 107725=1, 108614=1, 108633=1, 110824=1, 110863=1, 110879=1, 113424=1, 113542=1, 113548=1, 113554=1, 113565=1, 114565=1, 115583=1, 116297=1, 124515=1, 126045=1, 126049=1, 127051=1, 127709=1, 127723=1, 127947=1, 127977=1, 127999=1, 128007=1, 128010=1, 128251=1, 128952=1, 129540=1, 132553=1, 133441=1, 137572=1, 137605=1}
Probabilistic random walk after 1223 steps, saw 947 distinct states, run finished after 15008 ms. (steps per millisecond=0 ) properties seen :109
Running SMT prover for 140089 properties.
[2023-03-18 08:29:51] [INFO ] Flow matrix only has 81238 transitions (discarded 63131 similar events)
[2023-03-18 08:29:51] [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-18 08:30:16] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-18 08:30:16] [INFO ] After 25040ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 140089 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 13 ms.
Support contains 1380 out of 1381 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1381/1381 places, 144369/144369 transitions.
Applied a total of 0 rules in 873 ms. Remains 1381 /1381 variables (removed 0) and now considering 144369/144369 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 877 ms. Remains : 1381/1381 places, 144369/144369 transitions.
Interrupted random walk after 142201 steps, including 0 resets, run timeout after 30011 ms. (steps per millisecond=4 ) properties seen 13006
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 127083) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 127082) 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 127081) 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 127080) 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 127080) 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 127080) 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 127080) 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 127080) 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 127080) 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 127080) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 127080) 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 127077) 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 127077) 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 127077) 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 127076) 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 127076) 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 127076) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 127076) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 127073) 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 127073) 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 127073) 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 127073) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 127070) 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 127070) 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 127069) 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 127068) 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 127068) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 127068) 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 127068) 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 127068) 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 127068) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 127068) 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 127068) 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 127068) 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 127068) 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 127068) 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 127068) 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 127067) 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 127066) 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 127066) 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 127064) 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 127064) 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 127064) 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 127063) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 127063) 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 127063) 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 127063) 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 127063) 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 127063) 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 127063) 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 127063) 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 127063) 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 127062) 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 127062) 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 127062) 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 127062) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 127059) 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 127059) 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 127059) 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 127059) seen :5
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 127054) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 127054) 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 127054) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 127049) 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 127049) 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 127049) 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 127049) 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 127048) 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 127047) 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 127047) 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 127047) 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 127047) 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 127047) 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 127047) 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 127047) 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 127047) 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 127047) seen :8
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 127039) 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 127039) 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 127039) 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 127039) 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 127039) 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 127038) 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 127038) 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 127038) 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 127037) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 127033) 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 127032) 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 127032) 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 127032) 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 127032) 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 127032) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 127032) 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 127032) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 127032) 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 127032) 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 127032) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 127026) 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 127026) 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 127026) 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 127026) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 127023) 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 127023) 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 127023) 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 127023) 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 127022) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 127022) 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 127021) 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 127021) 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 127021) 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 127021) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 127021) 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 127021) 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 127021) 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 127021) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 127016) 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 127016) 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 127016) 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 127016) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 127016) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 127016) 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 127016) 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 127016) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 127016) 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 127016) 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 127016) 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 127016) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 127012) 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 127012) 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 127012) 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 127012) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 127007) 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 127007) 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 127007) 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 127007) 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 127007) 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 127007) 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 127007) 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 127007) 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 127007) 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 127007) 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 127007) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 127002) 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 127002) 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 127001) 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 127001) 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 127001) 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 127001) 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 127001) 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 127001) 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 127001) 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 127001) 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 127001) 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 127001) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 127001) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 127001) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 127001) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 127001) 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 127001) 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 127000) 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 127000) 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 127000) 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 127000) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 126998) 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 126997) 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 126997) 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 126997) 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 126997) 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 126997) 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 126997) 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 126997) 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 126997) 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 126997) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 126997) 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 126997) 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 126997) 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 126997) 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 126997) 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 126997) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 126997) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 126997) 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 126997) 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 126997) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 126997) 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 126997) 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 126997) 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 126997) 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 126997) 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 126997) 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 126997) 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 126997) 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 126997) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 126997) 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 126997) 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 126995) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 126995) 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 126995) 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 126995) 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 126994) 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 126994) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 126994) 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 126994) 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 126994) 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 126994) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 126994) 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 126994) 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 126993) 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 126993) 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 126993) 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 126993) 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 126993) 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 126993) 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 126993) 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 126993) 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 126993) 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 126993) 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 126993) 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 126993) 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 126993) 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 126993) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 126993) 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 126993) 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 126993) 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 126993) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 126993) 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 126993) 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 126993) 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 126993) 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 126993) 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 126993) 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 126993) 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 126993) 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 126993) 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 126993) 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 126993) 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 126993) 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 126993) 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 126993) 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 126993) 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 126993) 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 126993) 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 126993) 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 126993) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 126989) 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 126989) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 126989) 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 126989) 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 126988) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 126988) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 126988) 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 126988) 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 126988) 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 126988) 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 126988) 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 126988) 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 126988) 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 126988) 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 126987) 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 126987) 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 126986) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 126986) 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 126986) 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 126986) 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 126986) 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 126986) 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 126986) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 126986) 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 126986) 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 126986) 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 126986) 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 126986) 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 126986) 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 126986) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 126986) 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 126986) 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 126986) 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 126986) 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 126986) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 126986) 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 126986) 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 126986) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 126986) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 126986) 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 126986) 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 126986) 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 126986) 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 126986) 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 126986) 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 126986) 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 126986) 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 126986) 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 126986) 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 126986) 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 126986) 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 126986) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 126986) 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 126986) 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 126986) 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 126986) 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 126986) 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 126986) 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 126986) 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 126986) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 126986) 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 126986) 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 126986) 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 126986) 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 126986) seen :0
Running SMT prover for 126986 properties.
[2023-03-18 08:31:42] [INFO ] Flow matrix only has 81238 transitions (discarded 63131 similar events)
[2023-03-18 08:31:42] [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-18 08:35:27] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-18 08:35:27] [INFO ] After 225023ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 126986 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 7 ms.
Support contains 1378 out of 1381 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1381/1381 places, 144369/144369 transitions.
Applied a total of 0 rules in 796 ms. Remains 1381 /1381 variables (removed 0) and now considering 144369/144369 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 797 ms. Remains : 1381/1381 places, 144369/144369 transitions.
Interrupted random walk after 152301 steps, including 0 resets, run timeout after 30007 ms. (steps per millisecond=5 ) properties seen 8626
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 118360) 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 118360) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 118360) 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 118360) 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 118360) 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 118360) 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 118360) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 118360) 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 118359) 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 118359) 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 118359) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 118357) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 118357) 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 118357) 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 118357) 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 118357) 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 118357) 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 118357) 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 118357) 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 118357) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 118356) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 118356) 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 118356) 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 118356) 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 118356) 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 118356) 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 118356) 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 118356) 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 118356) 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 118356) 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 118356) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 118356) 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 118356) 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 118356) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 118356) 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 118356) 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 118356) 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 118356) 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 118356) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 118356) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 118356) 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 118356) 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 118356) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 118356) 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 118356) 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 118356) 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 118356) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 118356) 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 118356) 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 118356) seen :3
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 118353) 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 118352) 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 118352) 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 118352) 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 118352) 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 118352) 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 118352) 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 118350) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 118350) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 118350) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 118350) 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 118350) 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 118350) 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 118350) 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 118350) 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 118350) 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 118350) 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 118350) 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 118350) 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 118350) 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 118350) 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 118350) 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 118350) 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 118350) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 118347) 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 118347) 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 118347) 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 118347) 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 118347) 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 118347) 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 118347) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 118347) 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 118347) 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 118347) 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 118347) 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 118347) 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 118347) 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 118347) 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 118347) 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 118347) 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 118347) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 118347) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 118344) 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 118344) 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 118344) 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 118344) 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 118344) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 118344) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 118344) 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 118344) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 118344) 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 118344) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 118342) 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 118342) 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 118342) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 118342) 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 118342) 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 118341) 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 118341) 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 118341) 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 118341) 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 118341) 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 118341) 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 118341) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 118340) 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 118340) 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 118340) 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 118340) 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 118340) 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 118340) 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 118340) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 118337) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 118336) 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 118336) 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 118336) 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 118336) 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 118336) 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 118336) 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 118336) 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 118336) 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 118336) 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 118336) 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 118335) 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 118335) 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 118335) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 118333) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 118333) 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 118333) 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 118333) 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 118332) 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 118332) 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 118332) 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 118332) 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 118332) 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 118332) 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 118332) 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 118332) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 118332) 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 118332) 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 118332) 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 118332) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 118332) 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 118332) 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 118332) 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 118332) 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 118332) 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 118332) 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 118332) 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 118332) 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 118332) 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 118332) 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 118332) 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 118332) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 118332) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 118332) 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 118332) 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 118332) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 118332) 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 118332) 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 118332) 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 118332) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 118332) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 118330) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 118330) 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 118330) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 118329) 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 118329) 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 118329) 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 118329) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 118329) 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 118329) 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 118329) 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 118329) 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 118329) 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 118328) 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 118328) 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 118328) 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 118328) 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 118328) 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 118328) 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 118327) 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 118327) 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 118327) 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 118327) 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 118327) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 118327) 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 118327) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 118327) 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 118327) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 118325) 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 118325) 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 118325) 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 118325) 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 118325) 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 118325) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 118325) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 118325) 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 118325) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 118325) 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 118325) 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 118325) 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 118325) 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 118325) 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 118325) 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 118325) 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 118325) 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 118325) 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 118325) 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 118325) 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 118325) 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 118325) 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 118325) 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 118325) 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 118325) 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 118325) 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 118325) 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 118325) 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 118324) 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 118324) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 118323) 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 118323) 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 118323) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 118323) 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 118323) 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 118323) 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 118323) 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 118323) 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 118323) 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 118323) 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 118323) 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 118323) 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 118323) 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 118323) 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 118323) 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 118323) 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 118323) 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 118323) 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 118323) 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 118323) 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 118323) 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 118323) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 118323) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 118323) 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 118323) 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 118323) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 118323) 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 118323) 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 118323) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 118323) 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 118323) 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 118323) 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 118323) 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 118323) 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 118323) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 118323) 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 118322) 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 118322) 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 118322) 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 118322) 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 118322) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 118321) 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 118321) 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 118321) 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 118321) 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 118321) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 118321) 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 118321) 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 118321) 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 118321) 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 118321) 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 118321) 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 118321) 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 118320) 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 118320) 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 118320) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 118320) 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 118319) 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 118319) 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 118319) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 118319) 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 118319) 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 118319) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 118319) 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 118319) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 118319) 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 118319) 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 118319) 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 118319) 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 118319) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 118319) 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 118319) 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 118319) 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 118319) 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 118319) 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 118319) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 118319) 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 118319) 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 118319) 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 118319) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 118319) 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 118319) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 118319) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 118319) 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 118319) 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 118319) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 118319) 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 118319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 118319) 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 118319) 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 118319) 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 118319) 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 118319) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 118319) 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 118319) 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 118319) 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 118318) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 118318) 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 118318) 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 118318) 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 118318) 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 118318) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 118318) 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 118318) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 118318) 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 118318) 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 118318) 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 118318) 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 118318) 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 118318) 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 118318) 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 118318) 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 118318) 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 118318) 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 118318) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 118318) 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 118318) 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 118318) 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 118318) 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 118318) 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 118318) 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 118318) 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 118318) 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 118318) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 118318) 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 118318) 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 118318) 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 118318) 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 118318) 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 118318) 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 118318) 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 118318) 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 118318) 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 118318) 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 118318) 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 118318) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 118318) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 118318) 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 118318) 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 118318) 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 118318) 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 118318) 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 118318) 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 118317) 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 118317) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 118317) 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 118317) 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 118315) 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 118315) 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 118315) 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 118315) 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 118315) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 118315) 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 118315) 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 118315) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 118315) 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 118315) 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 118315) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 118315) 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 118314) 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 118314) 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 118314) 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 118314) 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 118314) 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 118314) 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 118314) 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 118314) 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 118314) 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 118314) 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 118314) 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 118314) 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 118314) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 118314) 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 118314) 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 118314) 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 118314) 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 118314) 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 118314) 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 118314) 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 118314) 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 118314) 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 118314) 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 118314) 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 118314) 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 118314) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 118314) 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 118314) 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 118314) 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 118314) 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 118314) 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 118314) 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 118314) 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 118314) 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 118314) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 118314) 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 118314) 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 118314) 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 118314) 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 118314) 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 118314) 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 118314) 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 118313) 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 118313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 118313) 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 118313) 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 118313) 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 118313) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 118313) 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 118313) 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 118313) 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 118313) 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 118313) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 118313) 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 118313) 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 118313) 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 118313) 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 118313) 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 118313) 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 118313) 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 118313) 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 118313) 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 118313) 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 118313) 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 118313) 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 118313) 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 118313) 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 118313) 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 118312) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 118312) 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 118312) 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 118311) 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 118311) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 118311) 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 118311) 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 118311) 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 118311) 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 118311) 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 118311) 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 118311) 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 118311) 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 118311) 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 118311) 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 118311) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 118311) 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 118311) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 118311) 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 118311) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 118311) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 118311) 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 118311) 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 118311) 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 118311) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 118308) 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 118308) 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 118308) 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 118308) 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 118308) 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 118308) 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 118308) 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 118308) 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 118308) 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 118308) 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 118308) 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 118308) 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 118308) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 118308) 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 118308) 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 118308) 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 118308) 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 118308) 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 118308) 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 118308) 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 118308) 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 118308) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 118307) 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 118307) 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 118307) 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 118307) 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 118307) 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 118307) 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 118307) 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 118307) 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 118307) 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 118307) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 118307) 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 118307) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 118307) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 118307) 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 118307) 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 118307) 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 118307) 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 118307) 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 118307) 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 118307) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 118307) 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 118307) 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 118307) 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 118307) 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 118307) 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 118307) 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 118307) 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 118307) 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 118307) 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 118307) 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 118307) 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 118307) 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 118307) 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 118307) 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 118307) 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 118307) 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 118307) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 118307) 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 118307) 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 118307) 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 118307) 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 118307) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 118307) 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 118307) 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 118307) 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 118307) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 118307) 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 118307) 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 118307) seen :0
Interrupted probabilistic random walk after 37641 steps, run timeout after 375021 ms. (steps per millisecond=0 ) properties seen :{33=1, 37=1, 58=1, 64=1, 98=1, 128=1, 230=1, 683=1, 696=1, 708=1, 729=1, 903=1, 906=1, 1081=1, 1100=1, 1109=1, 1121=1, 1136=1, 1215=1, 1423=1, 1526=1, 1530=1, 1617=1, 1620=1, 1679=1, 1792=1, 2028=1, 2037=1, 2050=1, 2327=1, 2328=1, 2340=1, 2353=1, 2360=1, 2362=1, 2370=1, 2798=1, 2825=1, 2828=1, 3310=1, 3393=1, 3399=1, 3748=1, 3839=1, 3969=1, 4270=1, 4670=1, 4781=1, 4841=1, 4847=1, 4936=1, 4959=1, 4962=1, 4968=1, 4975=1, 4991=1, 4992=1, 5088=1, 5200=1, 5393=1, 5396=1, 5445=1, 5501=1, 5620=1, 5677=1, 5764=1, 5770=1, 5775=1, 5955=1, 5971=1, 5977=1, 6049=1, 6090=1, 6103=1, 6115=1, 6248=1, 6267=1, 6293=1, 6318=1, 6343=1, 6535=1, 6645=1, 6652=1, 6757=1, 6836=1, 6839=1, 6843=1, 6846=1, 6867=1, 6875=1, 6896=1, 6956=1, 7089=1, 7255=1, 7292=1, 7527=1, 7528=1, 7546=1, 7547=1, 7594=1, 7606=1, 7625=1, 7627=1, 7678=1, 7679=1, 7689=1, 7699=1, 7798=1, 7807=1, 7887=1, 7889=1, 8358=1, 8376=1, 8432=1, 8441=1, 8450=1, 8496=1, 8694=1, 8719=1, 8722=1, 8767=1, 8772=1, 9021=1, 9054=1, 9108=1, 9173=1, 9221=1, 9224=1, 9244=1, 9254=1, 9258=1, 9310=1, 9332=1, 9352=1, 9387=1, 9525=1, 9528=1, 9690=1, 9745=1, 9813=1, 9816=1, 10044=1, 10067=1, 10107=1, 10176=1, 10180=1, 10203=1, 10276=1, 10289=1, 10291=1, 10317=1, 10341=1, 10389=1, 10393=1, 10425=1, 10441=1, 10447=1, 10456=1, 10693=1, 10700=1, 10704=1, 10725=1, 10736=1, 10757=1, 10839=1, 11057=1, 11067=1, 11104=1, 11108=1, 11114=1, 11119=1, 11121=1, 11125=1, 11136=1, 11147=1, 11173=1, 11219=1, 11339=1, 11343=1, 11346=1, 11360=1, 11367=1, 11376=1, 11384=1, 11399=1, 11413=1, 11428=1, 11457=1, 11460=1, 11481=1, 11542=1, 11651=1, 11665=1, 11688=1, 11769=1, 11774=1, 11801=1, 11818=1, 11827=1, 11902=1, 11984=1, 11995=1, 12095=1, 12100=1, 12110=1, 12131=1, 12149=1, 12156=1, 12392=1, 12507=1, 12508=1, 12520=1, 12603=1, 12659=1, 12671=1, 12932=1, 12998=1, 13088=1, 13092=1, 13097=1, 13294=1, 13464=1, 13661=1, 13669=1, 13714=1, 14111=1, 14131=1, 14148=1, 14150=1, 14230=1, 14354=1, 14356=1, 14378=1, 14394=1, 14417=1, 14508=1, 14663=1, 14696=1, 14800=1, 14902=1, 14904=1, 14908=1, 14928=1, 15037=1, 15044=1, 15322=1, 15336=1, 15339=1, 15345=1, 15350=1, 15354=1, 15402=1, 15488=1, 15698=1, 15711=1, 15714=1, 15769=1, 15803=1, 15915=1, 15925=1, 15927=1, 15994=1, 16105=1, 16138=1, 16365=1, 16456=1, 16479=1, 16507=1, 16548=1, 16551=1, 16576=1, 16597=1, 16638=1, 16914=1, 16941=1, 16945=1, 16961=1, 16971=1, 16980=1, 16983=1, 16986=1, 16987=1, 16994=1, 17013=1, 17032=1, 17036=1, 17524=1, 17532=1, 17638=1, 17770=1, 17895=1, 18122=1, 18206=1, 18219=1, 18484=1, 18490=1, 18540=1, 18559=1, 18683=1, 18727=1, 18801=1, 18901=1, 18906=1, 18911=1, 18928=1, 18934=1, 18947=1, 18970=1, 18986=1, 18993=1, 18999=1, 19339=1, 19523=1, 19531=1, 19564=1, 19574=1, 19592=1, 19601=1, 19641=1, 19647=1, 19698=1, 19701=1, 19917=1, 19942=1, 20452=1, 20948=1, 20954=1, 21328=1, 21505=1, 21694=1, 21720=1, 21736=1, 21748=1, 21749=1, 21899=1, 21911=1, 21917=1, 22346=1, 22359=1, 22367=1, 22722=1, 22783=1, 22796=1, 22836=1, 22844=1, 22850=1, 22852=1, 23026=1, 23275=1, 24067=1, 24071=1, 24092=1, 24500=1, 24520=1, 24524=1, 24527=1, 24755=1, 24826=1, 24874=1, 24894=1, 24905=1, 24974=1, 24976=1, 25190=1, 25220=1, 25257=1, 25525=1, 25661=1, 25682=1, 25773=1, 26415=1, 26431=1, 26446=1, 26529=1, 26535=1, 26541=1, 26564=1, 26583=1, 26943=1, 26972=1, 26980=1, 27007=1, 27162=1, 27176=1, 27184=1, 27216=1, 27276=1, 27297=1, 27304=1, 27585=1, 27663=1, 27664=1, 27729=1, 27783=1, 27788=1, 27940=1, 27964=1, 28078=1, 28157=1, 28204=1, 28365=1, 28455=1, 28753=1, 28864=1, 28873=1, 29064=1, 29124=1, 29154=1, 29164=1, 29594=1, 29601=1, 29610=1, 29644=1, 29650=1, 29821=1, 29834=1, 29866=1, 29893=1, 29894=1, 29924=1, 29946=1, 29959=1, 30239=1, 30330=1, 30676=1, 31372=1, 31455=1, 31521=1, 31730=1, 32280=1, 32283=1, 32414=1, 32448=1, 32449=1, 32591=1, 32734=1, 33107=1, 33122=1, 33128=1, 33130=1, 33137=1, 33402=1, 33414=1, 33752=1, 33803=1, 33857=1, 34015=1, 34019=1, 34022=1, 34037=1, 34040=1, 34063=1, 34386=1, 34533=1, 34541=1, 34589=1, 34606=1, 34611=1, 34617=1, 34626=1, 34677=1, 34829=1, 34832=1, 34834=1, 34836=1, 34841=1, 34993=1, 35001=1, 35003=1, 35028=1, 35252=1, 35291=1, 35333=1, 35341=1, 35348=1, 35368=1, 35424=1, 35870=1, 36013=1, 36060=1, 36127=1, 36584=1, 36586=1, 36598=1, 36611=1, 36706=1, 36712=1, 36762=1, 36931=1, 36971=1, 36974=1, 37343=1, 37490=1, 37525=1, 37567=1, 37582=1, 37584=1, 37608=1, 37615=1, 38277=1, 38415=1, 38549=1, 38550=1, 38559=1, 38832=1, 39110=1, 39120=1, 39191=1, 39359=1, 39375=1, 39594=1, 40039=1, 40043=1, 40090=1, 40096=1, 40207=1, 40212=1, 40258=1, 40398=1, 40423=1, 40425=1, 40513=1, 40826=1, 40828=1, 40847=1, 40851=1, 40855=1, 40869=1, 40874=1, 40876=1, 40877=1, 40884=1, 40989=1, 41063=1, 41155=1, 41665=1, 42771=1, 42781=1, 43018=1, 43054=1, 43056=1, 43226=1, 43236=1, 43848=1, 43855=1, 43877=1, 43901=1, 43904=1, 43909=1, 43920=1, 43950=1, 44522=1, 44598=1, 44672=1, 44696=1, 44701=1, 45345=1, 45481=1, 46012=1, 46022=1, 46231=1, 46350=1, 46390=1, 46495=1, 46502=1, 46901=1, 46944=1, 47129=1, 47145=1, 47227=1, 47233=1, 47238=1, 47279=1, 47283=1, 47783=1, 47805=1, 48058=1, 48511=1, 48519=1, 48534=1, 48592=1, 48631=1, 48638=1, 48647=1, 49153=1, 49698=1, 49867=1, 50029=1, 50059=1, 50415=1, 50449=1, 50722=1, 51229=1, 51398=1, 51550=1, 51562=1, 51578=1, 51631=1, 51670=1, 51731=1, 51793=1, 52253=1, 52451=1, 53024=1, 53146=1, 53190=1, 53438=1, 53809=1, 54021=1, 54167=1, 54240=1, 54294=1, 54309=1, 54373=1, 54378=1, 54380=1, 54385=1, 54403=1, 54945=1, 55056=1, 55252=1, 55259=1, 55268=1, 55342=1, 55616=1, 55622=1, 56382=1, 56415=1, 56474=1, 56506=1, 56640=1, 56659=1, 56759=1, 57340=1, 57369=1, 57404=1, 57467=1, 57548=1, 57574=1, 57583=1, 57614=1, 58152=1, 58343=1, 58467=1, 58761=1, 58767=1, 58912=1, 59248=1, 59293=1, 59296=1, 59299=1, 59373=1, 59487=1, 59555=1, 59560=1, 59575=1, 59608=1, 59730=1, 59741=1, 59895=1, 59899=1, 59914=1, 60576=1, 60606=1, 60611=1, 61121=1, 61125=1, 61202=1, 61204=1, 61621=1, 61673=1, 61796=1, 61851=1, 61870=1, 61985=1, 62147=1, 62207=1, 62222=1, 62247=1, 62291=1, 62587=1, 62888=1, 63125=1, 63130=1, 63151=1, 63200=1, 63244=1, 63517=1, 63567=1, 63581=1, 63604=1, 63643=1, 64036=1, 64039=1, 64081=1, 64099=1, 64803=1, 64981=1, 65082=1, 65173=1, 65285=1, 65358=1, 65803=1, 65832=1, 65865=1, 65952=1, 66031=1, 66179=1, 66704=1, 66710=1, 66835=1, 67104=1, 67139=1, 67191=1, 67196=1, 67338=1, 67421=1, 67429=1, 67482=1, 67536=1, 67624=1, 67647=1, 67686=1, 67804=1, 67878=1, 68015=1, 68237=1, 68304=1, 68336=1, 68448=1, 68540=1, 68651=1, 68695=1, 68825=1, 68855=1, 68966=1, 69731=1, 69903=1, 70136=1, 70246=1, 70555=1, 70597=1, 70610=1, 70677=1, 71364=1, 71627=1, 71747=1, 72682=1, 72782=1, 72948=1, 73276=1, 73304=1, 73329=1, 73345=1, 73731=1, 73789=1, 74362=1, 74367=1, 74408=1, 74412=1, 74413=1, 74433=1, 74440=1, 74518=1, 75396=1, 75808=1, 76038=1, 76197=1, 76218=1, 76384=1, 76681=1, 76686=1, 76956=1, 76958=1, 76973=1, 77188=1, 77204=1, 77206=1, 77225=1, 77230=1, 77240=1, 77313=1, 77330=1, 77876=1, 78088=1, 78248=1, 78383=1, 78400=1, 78882=1, 79348=1, 79488=1, 79783=1, 79789=1, 80130=1, 80131=1, 80473=1, 80475=1, 80503=1, 80517=1, 80532=1, 80568=1, 80708=1, 80755=1, 80766=1, 80844=1, 80854=1, 81000=1, 81012=1, 81040=1, 81133=1, 81201=1, 81662=1, 82420=1, 83009=1, 83326=1, 83653=1, 83664=1, 83674=1, 83682=1, 84586=1, 84594=1, 84622=1, 85090=1, 85180=1, 85225=1, 85243=1, 85381=1, 85398=1, 85409=1, 85423=1, 85428=1, 85437=1, 85807=1, 85814=1, 86028=1, 86292=1, 86314=1, 86887=1, 87011=1, 87208=1, 87467=1, 87702=1, 87743=1, 87932=1, 87961=1, 87980=1, 88059=1, 88181=1, 88198=1, 88539=1, 89323=1, 89631=1, 89651=1, 89996=1, 90103=1, 90125=1, 90162=1, 90176=1, 90272=1, 90308=1, 90616=1, 91478=1, 91632=1, 91633=1, 91676=1, 91739=1, 91939=1, 91948=1, 91953=1, 92296=1, 92309=1, 92415=1, 92581=1, 92583=1, 92742=1, 93228=1, 93469=1, 94422=1, 94586=1, 94611=1, 94619=1, 94698=1, 94809=1, 94912=1, 94914=1, 95037=1, 95129=1, 95154=1, 95529=1, 95684=1, 95705=1, 95844=1, 95885=1, 95903=1, 95917=1, 95930=1, 95970=1, 96077=1, 96413=1, 96649=1, 96802=1, 96809=1, 97087=1, 97100=1, 97350=1, 97516=1, 97549=1, 97551=1, 97573=1, 97658=1, 97729=1, 98117=1, 98246=1, 98309=1, 98366=1, 98507=1, 99263=1, 99434=1, 99438=1, 100165=1, 100450=1, 100458=1, 100970=1, 101207=1, 101254=1, 101345=1, 101721=1, 101829=1, 101912=1, 101983=1, 101993=1, 102165=1, 102289=1, 102312=1, 102466=1, 102659=1, 102832=1, 102851=1, 102856=1, 102864=1, 102899=1, 103043=1, 103060=1, 103086=1, 103096=1, 103115=1, 103131=1, 103152=1, 103179=1, 103409=1, 104390=1, 104512=1, 104535=1, 104785=1, 105086=1, 105099=1, 105166=1, 105179=1, 105207=1, 105222=1, 105228=1, 105350=1, 105371=1, 105888=1, 105932=1, 106074=1, 106219=1, 106343=1, 106662=1, 106726=1, 106778=1, 107091=1, 107094=1, 107097=1, 107386=1, 107392=1, 107400=1, 107653=1, 107668=1, 107672=1, 107696=1, 107789=1, 107838=1, 108240=1, 108412=1, 108418=1, 108553=1, 108572=1, 108587=1, 108894=1, 108940=1, 108944=1, 108956=1, 109009=1, 109087=1, 109094=1, 109171=1, 109174=1, 109176=1, 109177=1, 109181=1, 109186=1, 109335=1, 109390=1, 109615=1, 109639=1, 109700=1, 109718=1, 109720=1, 109746=1, 109747=1, 109752=1, 109766=1, 109944=1, 110127=1, 110175=1, 110196=1, 110258=1, 110344=1, 110538=1, 110573=1, 110654=1, 110739=1, 110750=1, 110802=1, 110832=1, 110846=1, 110893=1, 111060=1, 111064=1, 111129=1, 111189=1, 111348=1, 111432=1, 111594=1, 111597=1, 111945=1, 111961=1, 112007=1, 112022=1, 112041=1, 112077=1, 112099=1, 112176=1, 112200=1, 112273=1, 112546=1, 112607=1, 112655=1, 112795=1, 112802=1, 112817=1, 112824=1, 112829=1, 112881=1, 113243=1, 113304=1, 113656=1, 114033=1, 114047=1, 114063=1, 114070=1, 114128=1, 114179=1, 114195=1, 114471=1, 114477=1, 114632=1, 114638=1, 114736=1, 114805=1, 114853=1, 114868=1, 115024=1, 115341=1, 115399=1, 115402=1, 115416=1, 115603=1, 115631=1, 115675=1, 115681=1, 115711=1, 115763=1, 115774=1, 115819=1, 116313=1, 116328=1, 116339=1, 116437=1, 116464=1, 116676=1, 116871=1, 116876=1, 117086=1, 117127=1, 117196=1, 117570=1, 117893=1, 117907=1, 118121=1, 118221=1}
Probabilistic random walk after 37641 steps, saw 29424 distinct states, run finished after 375024 ms. (steps per millisecond=0 ) properties seen :1102
Running SMT prover for 117205 properties.
[2023-03-18 08:43:50] [INFO ] Flow matrix only has 81238 transitions (discarded 63131 similar events)
[2023-03-18 08:43:50] [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-18 08:47:35] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-18 08:47:35] [INFO ] After 225015ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 117205 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 7 ms.
Support contains 1378 out of 1381 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1381/1381 places, 144369/144369 transitions.
Applied a total of 0 rules in 776 ms. Remains 1381 /1381 variables (removed 0) and now considering 144369/144369 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 776 ms. Remains : 1381/1381 places, 144369/144369 transitions.
Interrupted random walk after 126901 steps, including 0 resets, run timeout after 30007 ms. (steps per millisecond=4 ) properties seen 5118
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 112087) 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 112087) 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 112087) 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 112087) 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 112087) 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 112087) 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 112087) 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 112087) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 112087) 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 112087) 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 112086) 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 112086) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 112086) 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 112086) 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 112086) 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 112086) 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 112086) 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 112086) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 112086) 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 112086) 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 112086) 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 112086) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 112086) 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 112086) 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 112086) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 112086) 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 112086) 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 112086) 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 112086) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 112086) 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 112086) 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 112086) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 112086) 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 112086) 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 112086) 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 112086) 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 112086) 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 112086) 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 112086) 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 112086) 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 112086) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 112086) 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 112086) 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 112086) 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 112086) 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 112086) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 112086) 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 112086) 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 112086) 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 112086) 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 112086) 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 112086) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 112086) 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 112086) 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 112086) 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 112086) 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 112086) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 112082) 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 112082) 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 112082) 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 112082) 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 112082) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 112082) 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 112082) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 112082) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 112082) 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 112082) 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 112082) 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 112082) 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 112082) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 112082) 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 112082) 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 112082) 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 112082) 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 112082) 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 112082) 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 112081) 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 112081) 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 112081) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 112081) 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 112081) 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 112081) 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 112081) 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 112081) 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 112081) 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 112081) 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 112081) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 112081) 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 112081) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 112081) 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 112081) 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 112081) 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 112081) 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 112081) 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 112080) 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 112080) 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 112080) 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 112080) 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 112080) 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 112080) 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 112080) 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 112080) 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 112080) 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 112080) 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 112080) 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 112080) 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 112080) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 112080) 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 112080) 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 112080) 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 112080) 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 112080) 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 112080) 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 112080) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 112080) 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 112080) 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 112080) 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 112080) 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 112080) 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 112080) 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 112080) 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 112080) 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 112080) 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 112080) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 112080) 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 112080) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 112080) 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 112080) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 112080) 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 112080) 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 112080) 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 112080) 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 112080) 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 112080) 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 112080) 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 112080) 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 112080) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 112080) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 112080) 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 112080) 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 112080) 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 112080) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 112080) seen :0
Interrupted probabilistic random walk after 17893 steps, run timeout after 162015 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 17893 steps, saw 13846 distinct states, run finished after 162020 ms. (steps per millisecond=0 ) properties seen :0
Running SMT prover for 112080 properties.
[2023-03-18 08:51:14] [INFO ] Flow matrix only has 81238 transitions (discarded 63131 similar events)
[2023-03-18 08:51:14] [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-18 08:54:59] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-18 08:54:59] [INFO ] After 225017ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 112080 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 7 ms.
Support contains 1378 out of 1381 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1381/1381 places, 144369/144369 transitions.
Applied a total of 0 rules in 776 ms. Remains 1381 /1381 variables (removed 0) and now considering 144369/144369 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 776 ms. Remains : 1381/1381 places, 144369/144369 transitions.
Interrupted random walk after 137601 steps, including 0 resets, run timeout after 30003 ms. (steps per millisecond=4 ) properties seen 4356
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 107724) 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 107724) 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 107724) 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 107724) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 107724) 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 107724) 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 107724) 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 107724) 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 107724) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 107724) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 107719) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 107719) 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 107719) 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 107719) 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 107719) 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 107719) 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 107719) 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 107719) 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 107719) 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 107719) 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 107719) 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 107719) 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 107719) 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 107719) 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 107719) 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 107719) 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 107719) 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 107719) 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 107719) 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 107719) 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 107719) 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 107719) 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 107719) 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 107719) 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 107719) 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 107719) 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 107719) 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 107719) 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 107719) 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 107719) 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 107719) 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 107719) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 107719) 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 107719) 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 107719) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 107719) 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 107719) 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 107719) 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 107719) 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 107719) 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 107719) 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 107719) 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 107719) 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 107717) 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 107717) 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 107716) 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 107716) 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 107716) 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 107716) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 107716) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 107716) 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 107716) 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 107716) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 107716) 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 107716) 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 107716) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 107716) 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 107716) 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 107716) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 107716) 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 107715) 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 107715) 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 107715) 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 107715) 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 107715) 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 107715) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 107715) 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 107715) 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 107715) 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 107715) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 107715) 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 107715) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 107715) 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 107715) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 107715) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 107715) 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 107715) 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 107715) 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 107715) 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 107715) 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 107715) 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 107715) 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 107715) 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 107715) 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 107715) 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 107715) 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 107715) 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 107715) 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 107715) 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 107715) 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 107715) 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 107715) 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 107715) 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 107715) 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 107715) 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 107715) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 107715) 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 107715) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 107715) 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 107715) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 107715) 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 107714) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 107714) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 107714) 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 107714) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 107714) 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 107714) 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 107714) 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 107714) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 107712) 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 107712) 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 107712) 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 107712) 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 107712) 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 107712) 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 107712) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 107712) 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 107712) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 107712) 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 107712) 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 107712) 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 107712) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 107712) 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 107712) 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 107712) 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 107712) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 107712) 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 107712) 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 107712) 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 107712) 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 107712) 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 107712) 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 107712) 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 107712) 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 107712) 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 107712) 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 107712) 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 107712) 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 107712) 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 107712) 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 107712) 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 107712) 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 107712) 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 107712) 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 107712) 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 107712) 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 107712) 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 107712) 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 107712) 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 107712) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 107712) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 107712) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 107712) 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 107712) 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 107712) 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 107712) 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 107712) 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 107712) seen :0
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393216 kB
MemFree: 12554300 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16050296 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination 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="RERS17pb115-PT-1"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="marciexred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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