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.r345-tall-167889216600092.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 smartxred
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 r345-tall-167889216600092
=====================================================================

--------------------
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 1679128502661

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=smartxred
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=RERS17pb115-PT-1
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 08:35:04] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -timeout, 180, -rebuildPNML]
[2023-03-18 08:35:04] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 08:35:06] [INFO ] Load time of PNML (sax parser for PT used): 1952 ms
[2023-03-18 08:35:06] [INFO ] Transformed 1399 places.
[2023-03-18 08:35:06] [INFO ] Transformed 144369 transitions.
[2023-03-18 08:35:06] [INFO ] Found NUPN structural information;
[2023-03-18 08:35:06] [INFO ] Parsed PT model containing 1399 places and 144369 transitions and 577414 arcs in 2418 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 1064 ms. Remains 1381 /1399 variables (removed 18) and now considering 144369/144369 (removed 0) transitions.
[2023-03-18 08:35:08] [INFO ] Flow matrix only has 81238 transitions (discarded 63131 similar events)
// Phase 1: matrix 81238 rows 1381 cols
[2023-03-18 08:35:08] [INFO ] Computed 19 place invariants in 392 ms
[2023-03-18 08:35:16] [INFO ] Implicit Places using invariants in 8871 ms returned []
Implicit Place search using SMT only with invariants took 8905 ms to find 0 implicit places.
[2023-03-18 08:35:17] [INFO ] Flow matrix only has 81238 transitions (discarded 63131 similar events)
[2023-03-18 08:35:17] [INFO ] Invariant cache hit.
[2023-03-18 08:35:47] [INFO ] Performed 78843/144369 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2023-03-18 08:36:10] [INFO ] Dead Transitions using invariants and state equation in 53939 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 63925 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 3074 ms. (steps per millisecond=3 ) properties (out of 141520) seen :1279
Interrupted probabilistic random walk after 1272 steps, run timeout after 15071 ms. (steps per millisecond=0 ) properties seen :{46=1, 70=1, 5807=1, 6802=1, 6829=1, 7344=1, 8389=1, 9014=1, 9123=1, 9947=1, 11597=1, 12526=1, 13549=1, 13566=1, 13641=1, 16134=1, 17137=1, 18613=1, 18643=1, 18652=1, 18661=1, 18685=1, 18723=1, 19597=1, 19689=1, 19698=1, 19726=1, 19733=1, 19735=1, 19745=1, 19748=1, 20193=1, 20259=1, 27419=1, 29437=1, 29446=1, 29456=1, 29486=1, 31318=1, 31960=1, 32241=1, 32269=1, 32848=1, 32892=1, 34783=1, 35998=1, 39123=1, 47253=1, 48129=1, 48173=1, 48225=1, 48231=1, 48243=1, 48325=1, 52313=1, 52683=1, 53685=1, 59485=1, 67955=1, 70145=1, 70276=1, 74609=1, 79897=1, 80954=1, 80957=1, 80966=1, 80978=1, 80984=1, 88026=1, 88030=1, 88088=1, 88096=1, 88119=1, 90530=1, 91383=1, 91405=1, 91952=1, 92170=1, 92540=1, 96329=1, 102040=1, 102932=1, 102940=1, 103875=1, 103911=1, 103953=1, 107730=1, 108616=1, 108636=1, 110831=1, 110867=1, 110871=1, 110887=1, 113434=1, 113506=1, 113553=1, 113559=1, 113564=1, 113574=1, 114575=1, 119638=1, 126067=1, 126071=1, 127076=1, 127737=1, 127750=1, 127968=1, 127988=1, 128025=1, 128032=1, 128278=1, 128981=1, 132588=1, 133542=1, 135681=1, 137615=1, 139767=1}
Probabilistic random walk after 1272 steps, saw 988 distinct states, run finished after 15076 ms. (steps per millisecond=0 ) properties seen :117
Running SMT prover for 140121 properties.
[2023-03-18 08:36:34] [INFO ] Flow matrix only has 81238 transitions (discarded 63131 similar events)
[2023-03-18 08:36:34] [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:37:00] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-18 08:37:00] [INFO ] After 25041ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 140121 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 1035 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 1043 ms. Remains : 1381/1381 places, 144369/144369 transitions.
Interrupted random walk after 112301 steps, including 0 resets, run timeout after 30004 ms. (steps per millisecond=3 ) properties seen 11133
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 128988) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 128987) 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 128987) 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 128986) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 128979) 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 128979) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 128978) 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 128977) 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 128977) 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 128976) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 128975) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 128966) 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 128966) 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 128965) 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 128964) 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 128963) 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 128963) 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 128963) 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 128962) 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 128962) 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 128962) 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 128962) 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 128962) 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 128960) 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 128960) 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 128960) 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 128960) 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 128960) 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 128960) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 128954) 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 128954) 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 128954) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 128951) 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 128951) 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 128951) 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 128950) 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 128950) 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 128950) 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 128950) 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 128950) 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 128948) 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 128948) 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 128948) 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 128947) 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 128947) 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 128947) 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 128947) 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 128947) 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 128947) 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 128947) 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 128947) 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 128947) 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 128947) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 128945) 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 128944) 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 128944) 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 128944) 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 128944) 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 128944) 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 128944) 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 128944) 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 128944) 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 128944) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 128938) 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 128938) 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 128936) 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 128936) 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 128936) 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 128936) 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 128936) 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 128936) 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 128936) 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 128936) 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 128936) seen :4
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 128932) 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 128932) 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 128932) 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 128932) 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 128932) 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 128931) 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 128931) 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 128931) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 128924) 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 128924) 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 128924) 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 128924) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 128922) 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 128921) 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 128921) 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 128921) 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 128921) 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 128921) seen :4
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 128917) 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 128917) 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 128916) 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 128916) 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 128916) 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 128916) 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 128916) 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 128916) 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 128916) 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 128916) 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 128916) 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 128910) 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 128910) 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 128910) 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 128910) 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 128910) 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 128910) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 128909) 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 128909) 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 128909) 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 128909) 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 128909) 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 128909) 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 128909) 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 128908) 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 128908) 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 128908) 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 128908) 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 128908) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 128907) 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 128907) 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 128907) 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 128907) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 128904) 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 128904) 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 128904) 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 128904) 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 128904) 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 128903) 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 128903) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 128900) 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 128899) 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 128899) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 128895) 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 128895) 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 128895) 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 128895) 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 128895) 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 128895) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 128890) 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 128890) 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 128890) 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 128890) 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 128890) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 128888) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 128884) 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 128884) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 128881) 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 128881) 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 128881) 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 128881) 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 128881) 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 128881) 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 128881) 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 128881) 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 128881) 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 128881) 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 128881) 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 128881) 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 128881) 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 128881) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 128880) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 128878) 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 128878) 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 128878) 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 128878) 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 128877) 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 128877) 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 128877) 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 128877) 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 128877) 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 128877) 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 128877) 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 128877) 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 128877) 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 128877) 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 128877) 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 128877) 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 128877) 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 128877) 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 128877) 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 128877) 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 128877) 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 128877) 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 128877) 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 128877) 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 128877) 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 128873) 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 128873) 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 128873) 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 128873) 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 128873) 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 128873) 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 128873) 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 128873) 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 128873) 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 128873) 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 128873) 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 128873) 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 128873) 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 128873) 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 128873) 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 128873) 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 128873) 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 128873) 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 128873) 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 128873) 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 128871) 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 128870) 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 128870) 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 128870) 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 128870) 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 128869) 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 128869) 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 128869) 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 128869) 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 128869) 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 128869) 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 128869) 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 128869) 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 128869) 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 128869) 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 128869) 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 128869) 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 128869) 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 128869) 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 128869) 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 128869) 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 128869) 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 128869) 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 128868) 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 128868) 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 128868) 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 128868) 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 128868) 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 128868) 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 128868) 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 128868) 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 128868) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 128868) 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 128868) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 128867) 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 128866) 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 128866) 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 128866) 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 128866) 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 128866) 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 128866) 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 128866) 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 128866) 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 128866) 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 128866) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 128866) 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 128866) 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 128866) 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 128866) 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 128866) 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 128866) 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 128865) 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 128865) 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 128865) 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 128865) 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 128865) 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 128865) 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 128865) 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 128865) 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 128865) 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 128865) 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 128865) 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 128865) 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 128865) 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 128865) 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 128865) 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 128865) 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 128865) 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 128865) 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 128865) 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 128865) 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 128865) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 128863) 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 128863) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 128858) 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 128858) 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 128858) 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 128858) 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 128858) 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 128858) 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 128858) 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 128858) 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 128858) 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 128858) 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 128858) 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 128858) 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 128858) 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 128858) 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 128858) 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 128858) 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 128858) 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 128858) 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 128858) 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 128858) 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 128858) 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 128858) 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 128858) 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 128858) 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 128858) 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 128858) 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 128858) 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 128858) 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 128858) 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 128858) 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 128858) 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 128858) 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 128858) 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 128858) 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 128858) 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 128858) 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 128858) 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 128858) 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 128858) 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 128858) 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 128858) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 128856) 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 128856) 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 128855) 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 128855) 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 128855) 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 128855) 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 128855) 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 128855) 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 128855) 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 128855) 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 128855) 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 128855) 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 128855) 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 128854) 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 128854) 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 128854) 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 128854) 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 128854) 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 128854) 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 128854) 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 128854) 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 128854) 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 128854) 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 128854) 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 128854) 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 128854) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) 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 128852) seen :0
Interrupted probabilistic random walk after 28726 steps, run timeout after 297023 ms. (steps per millisecond=0 ) properties seen :{18=1, 35=1, 39=1, 49=1, 56=1, 64=1, 70=1, 77=1, 101=1, 139=1, 241=1, 795=1, 971=1, 973=1, 974=1, 993=1, 1187=1, 1306=1, 1365=1, 1638=1, 1643=1, 1702=1, 1737=1, 1747=1, 1761=1, 1805=1, 1964=1, 2080=1, 2216=1, 2228=1, 2785=1, 3051=1, 3083=1, 3282=1, 3374=1, 3601=1, 3609=1, 3690=1, 4145=1, 4257=1, 4299=1, 4607=1, 4612=1, 4665=1, 5091=1, 5250=1, 5353=1, 5365=1, 5367=1, 5377=1, 5385=1, 5394=1, 5400=1, 5402=1, 5404=1, 5413=1, 5415=1, 5421=1, 5442=1, 5462=1, 5638=1, 5799=1, 6015=1, 6138=1, 6287=1, 6295=1, 6658=1, 6939=1, 7218=1, 7270=1, 7387=1, 7478=1, 7484=1, 7513=1, 7534=1, 7538=1, 7875=1, 7900=1, 7935=1, 7972=1, 8193=1, 8216=1, 8217=1, 8220=1, 8240=1, 8241=1, 8298=1, 8396=1, 8422=1, 8558=1, 9133=1, 9263=1, 9307=1, 9313=1, 9338=1, 9362=1, 9389=1, 9584=1, 9785=1, 9881=1, 9912=1, 10038=1, 10063=1, 10088=1, 10091=1, 10128=1, 10285=1, 10306=1, 10326=1, 10615=1, 10752=1, 10789=1, 11070=1, 11076=1, 11083=1, 11329=1, 11397=1, 11424=1, 11441=1, 11448=1, 11452=1, 11458=1, 11492=1, 11723=1, 11731=1, 11735=1, 11759=1, 11793=1, 11842=1, 12146=1, 12155=1, 12161=1, 12164=1, 12176=1, 12178=1, 12183=1, 12188=1, 12233=1, 12248=1, 12269=1, 12275=1, 12435=1, 12441=1, 12459=1, 12467=1, 12470=1, 12481=1, 12492=1, 12501=1, 12504=1, 12512=1, 12530=1, 12661=1, 12774=1, 12788=1, 12805=1, 12813=1, 12900=1, 12903=1, 12961=1, 12969=1, 12981=1, 13043=1, 13088=1, 13159=1, 13236=1, 13261=1, 13264=1, 13276=1, 13279=1, 13284=1, 13290=1, 13600=1, 13634=1, 13651=1, 13722=1, 13743=1, 13775=1, 13816=1, 14182=1, 14203=1, 14335=1, 14357=1, 14594=1, 14993=1, 15037=1, 15459=1, 15688=1, 15695=1, 15697=1, 15713=1, 15727=1, 15738=1, 15746=1, 15753=1, 15761=1, 15776=1, 15859=1, 15896=1, 16222=1, 16342=1, 16351=1, 16363=1, 16374=1, 16394=1, 16400=1, 16409=1, 16411=1, 16463=1, 16468=1, 16501=1, 16523=1, 16817=1, 16832=1, 16833=1, 16836=1, 16844=1, 16850=1, 16851=1, 16855=1, 17233=1, 17237=1, 17447=1, 17454=1, 17464=1, 17466=1, 17469=1, 17536=1, 17590=1, 17616=1, 17662=1, 17665=1, 17705=1, 17770=1, 17944=1, 18064=1, 18077=1, 18121=1, 18138=1, 18146=1, 18167=1, 18196=1, 18523=1, 18537=1, 18570=1, 18591=1, 18596=1, 18614=1, 18622=1, 18647=1, 18656=1, 18670=1, 18673=1, 19172=1, 19181=1, 19272=1, 19295=1, 19440=1, 19457=1, 19499=1, 19735=1, 19815=1, 19904=1, 19917=1, 20230=1, 20257=1, 20263=1, 20278=1, 20295=1, 20417=1, 20426=1, 20477=1, 20539=1, 20610=1, 20683=1, 20706=1, 20741=1, 20875=1, 21345=1, 21355=1, 21397=1, 21407=1, 21500=1, 21512=1, 21576=1, 22345=1, 22832=1, 22840=1, 22844=1, 22863=1, 22871=1, 22897=1, 23122=1, 23248=1, 23523=1, 23691=1, 23709=1, 23712=1, 23886=1, 23930=1, 23948=1, 24403=1, 24405=1, 24431=1, 24833=1, 24846=1, 24864=1, 24872=1, 24888=1, 24902=1, 24904=1, 24912=1, 25114=1, 25229=1, 25364=1, 25371=1, 26241=1, 26317=1, 26695=1, 26713=1, 26727=1, 26731=1, 27105=1, 27132=1, 27208=1, 27271=1, 27896=1, 27968=1, 28084=1, 28093=1, 28747=1, 28918=1, 28926=1, 28951=1, 29422=1, 29452=1, 29596=1, 29602=1, 29616=1, 29630=1, 29637=1, 29660=1, 29719=1, 29723=1, 29736=1, 29738=1, 29756=1, 29758=1, 29765=1, 29770=1, 30247=1, 30260=1, 30272=1, 30275=1, 30292=1, 30298=1, 30321=1, 30580=1, 30634=1, 30765=1, 31471=1, 31712=1, 31750=1, 31760=1, 31794=1, 31805=1, 32100=1, 32255=1, 32258=1, 32264=1, 32272=1, 32285=1, 32317=1, 32499=1, 32514=1, 32565=1, 32575=1, 32608=1, 32655=1, 33228=1, 33704=1, 33860=1, 34462=1, 34793=1, 34999=1, 35172=1, 35177=1, 35319=1, 35357=1, 35360=1, 36088=1, 36090=1, 36120=1, 36127=1, 36151=1, 36153=1, 36381=1, 36411=1, 36422=1, 36767=1, 36770=1, 36793=1, 36827=1, 37067=1, 37072=1, 37074=1, 37081=1, 37097=1, 37100=1, 37131=1, 37271=1, 37488=1, 37635=1, 37676=1, 37721=1, 37734=1, 37797=1, 37957=1, 37960=1, 37962=1, 37964=1, 37969=1, 38130=1, 38139=1, 38167=1, 38242=1, 38471=1, 38477=1, 38486=1, 38494=1, 38516=1, 38556=1, 38576=1, 39058=1, 39075=1, 39111=1, 39278=1, 39344=1, 39816=1, 39818=1, 39829=1, 39831=1, 39836=1, 39848=1, 39982=1, 40025=1, 40277=1, 40635=1, 40835=1, 40953=1, 41676=1, 41841=1, 41998=1, 42007=1, 42024=1, 42034=1, 42499=1, 42606=1, 42616=1, 42622=1, 42897=1, 42913=1, 43124=1, 43146=1, 43247=1, 43521=1, 43627=1, 43630=1, 43686=1, 43693=1, 43809=1, 43816=1, 44122=1, 44137=1, 44274=1, 44456=1, 44467=1, 44473=1, 44491=1, 44497=1, 44501=1, 44510=1, 44516=1, 44522=1, 44524=1, 44530=1, 44532=1, 44539=1, 44543=1, 44668=1, 44675=1, 44754=1, 44772=1, 44842=1, 45383=1, 45994=1, 46258=1, 46290=1, 46439=1, 46445=1, 46534=1, 46592=1, 46634=1, 46865=1, 47073=1, 47085=1, 47091=1, 48430=1, 48436=1, 49144=1, 49476=1, 49675=1, 50874=1, 51034=1, 51035=1, 51400=1, 51409=1, 51916=1, 51971=1, 51983=1, 51993=1, 52010=1, 52011=1, 52014=1, 52016=1, 52035=1, 52258=1, 52290=1, 52330=1, 52762=1, 52770=1, 52776=1, 52853=1, 52874=1, 52886=1, 52907=1, 52916=1, 53460=1, 54004=1, 54024=1, 54088=1, 54094=1, 54401=1, 54622=1, 54625=1, 54628=1, 54833=1, 54843=1, 54858=1, 54900=1, 55130=1, 55132=1, 55150=1, 55678=1, 55690=1, 55864=1, 56009=1, 56040=1, 56055=1, 56215=1, 56767=1, 56780=1, 56788=1, 56798=1, 57116=1, 57843=1, 57848=1, 57880=1, 58480=1, 58808=1, 58868=1, 59093=1, 59100=1, 59106=1, 59109=1, 59468=1, 59707=1, 59796=1, 59825=1, 60053=1, 60064=1, 60088=1, 60454=1, 60457=1, 60464=1, 61303=1, 61311=1, 61345=1, 61455=1, 62258=1, 62325=1, 62355=1, 62391=1, 62457=1, 62538=1, 63207=1, 63553=1, 63565=1, 63880=1, 63889=1, 64451=1, 64454=1, 64458=1, 64464=1, 64523=1, 64535=1, 64541=1, 64654=1, 64731=1, 64736=1, 64753=1, 64787=1, 64803=1, 64816=1, 64818=1, 64862=1, 64955=1, 65130=1, 65132=1, 65147=1, 65278=1, 65479=1, 65871=1, 66391=1, 66394=1, 66403=1, 66404=1, 66417=1, 66547=1, 66587=1, 66887=1, 67003=1, 67036=1, 67170=1, 67232=1, 67281=1, 67307=1, 67639=1, 67657=1, 67691=1, 67710=1, 67755=1, 67756=1, 67761=1, 68073=1, 68710=1, 68751=1, 69135=1, 69150=1, 69161=1, 69706=1, 70688=1, 70708=1, 70748=1, 70868=1, 70919=1, 71662=1, 72002=1, 72016=1, 72202=1, 72677=1, 72757=1, 72855=1, 72870=1, 72876=1, 73045=1, 73167=1, 73262=1, 73295=1, 73311=1, 73405=1, 73458=1, 73807=1, 73870=1, 73889=1, 74283=1, 74470=1, 74507=1, 74602=1, 74715=1, 74925=1, 76025=1, 76291=1, 76744=1, 76799=1, 76871=1, 76915=1, 77126=1, 77164=1, 77593=1, 77613=1, 77792=1, 77912=1, 78158=1, 78409=1, 78582=1, 78709=1, 78740=1, 78753=1, 79051=1, 79158=1, 79348=1, 80252=1, 80256=1, 80693=1, 80804=1, 80884=1, 80889=1, 80910=1, 80934=1, 80940=1, 80959=1, 81331=1, 81801=1, 82429=1, 83161=1, 83300=1, 83403=1, 83664=1, 83688=1, 83704=1, 83955=1, 83982=1, 83989=1, 84002=1, 84068=1, 84081=1, 84101=1, 84428=1, 84789=1, 85005=1, 85498=1, 85772=1, 86264=1, 86444=1, 86448=1, 86708=1, 86709=1, 86715=1, 86743=1, 86748=1, 87426=1, 87485=1, 87487=1, 87499=1, 87505=1, 87518=1, 87523=1, 87792=1, 87875=1, 87892=1, 88066=1, 88087=1, 88119=1, 88353=1, 88487=1, 88539=1, 89572=1, 89586=1, 90212=1, 90875=1, 90897=1, 90913=1, 90924=1, 90931=1, 90932=1, 91835=1, 91840=1, 91895=1, 92318=1, 92432=1, 92475=1, 92626=1, 92645=1, 92790=1, 92808=1, 92820=1, 92842=1, 92848=1, 92852=1, 93707=1, 93773=1, 94377=1, 94403=1, 94535=1, 94537=1, 94751=1, 95556=1, 95569=1, 95580=1, 95661=1, 95681=1, 95842=1, 96100=1, 96691=1, 97047=1, 97052=1, 97387=1, 97795=1, 97911=1, 97937=1, 97980=1, 97994=1, 98143=1, 98465=1, 98479=1, 98680=1, 98854=1, 99127=1, 99141=1, 99430=1, 99594=1, 99697=1, 99706=1, 99723=1, 99930=1, 99936=1, 99949=1, 99954=1, 100122=1, 100190=1, 100622=1, 100631=1, 100746=1, 100825=1, 101357=1, 101608=1, 101611=1, 101614=1, 101619=1, 101968=1, 102308=1, 102320=1, 102627=1, 103061=1, 103090=1, 103319=1, 103419=1, 103443=1, 104032=1, 104191=1, 104223=1, 104240=1, 104253=1, 104261=1, 104276=1, 104286=1, 104290=1, 104330=1, 104339=1, 104347=1, 104383=1, 104433=1, 104446=1, 104824=1, 105073=1, 105237=1, 105244=1, 105246=1, 105350=1, 105383=1, 105580=1, 105686=1, 105934=1, 106043=1, 106069=1, 106128=1, 106195=1, 106226=1, 106234=1, 106245=1, 106311=1, 106719=1, 106907=1, 106915=1, 106918=1, 106929=1, 106985=1, 107075=1, 107788=1, 107830=1, 108799=1, 109208=1, 109217=1, 109691=1, 109695=1, 109721=1, 109766=1, 109785=1, 110024=1, 110045=1, 110075=1, 110684=1, 110829=1, 111125=1, 111131=1, 111196=1, 111358=1, 111384=1, 111582=1, 111596=1, 111970=1, 112022=1, 112042=1, 112069=1, 112081=1, 112139=1, 112166=1, 112183=1, 112273=1, 112359=1, 112576=1, 113131=1, 113463=1, 113491=1, 113908=1, 114227=1, 114242=1, 114316=1, 114358=1, 114378=1, 114424=1, 114482=1, 114551=1, 114894=1, 115005=1, 115085=1, 115175=1, 115328=1, 115492=1, 115497=1, 115512=1, 115516=1, 115519=1, 115520=1, 115531=1, 115543=1, 115655=1, 115735=1, 116002=1, 116075=1, 116119=1, 116137=1, 116386=1, 116394=1, 116469=1, 116840=1, 117064=1, 117074=1, 117101=1, 117113=1, 117124=1, 117141=1, 117221=1, 117347=1, 117353=1, 117785=1, 117955=1, 117972=1, 118121=1, 118140=1, 118152=1, 118159=1, 118305=1, 118516=1, 118523=1, 118526=1, 118584=1, 118677=1, 118726=1, 118819=1, 118821=1, 118826=1, 118831=1, 119332=1, 119425=1, 119454=1, 119457=1, 119471=1, 119484=1, 119492=1, 119862=1, 119939=1, 120106=1, 120233=1, 120295=1, 120584=1, 120647=1, 120679=1, 120685=1, 120699=1, 120720=1, 120762=1, 120956=1, 120965=1, 121527=1, 121894=1, 121917=1, 122052=1, 122077=1, 122079=1, 122097=1, 122103=1, 122122=1, 122171=1, 122199=1, 122561=1, 122581=1, 122606=1, 122609=1, 122629=1, 122678=1, 122778=1, 122830=1, 122863=1, 123315=1, 123398=1, 123659=1, 123693=1, 123761=1, 124196=1, 124209=1, 124234=1, 124298=1, 124422=1, 124513=1, 124691=1, 124697=1, 124775=1, 124884=1, 124893=1, 124894=1, 125002=1, 125145=1, 125229=1, 125643=1, 125708=1, 125720=1, 125727=1, 125810=1, 125826=1, 125832=1, 126003=1, 126049=1, 126056=1, 126135=1, 126147=1, 126179=1, 126196=1, 126410=1, 126705=1, 126724=1, 126739=1, 127030=1, 127116=1, 127587=1, 127600=1, 128425=1, 128439=1, 128733=1, 128770=1, 128778=1}
Probabilistic random walk after 28726 steps, saw 21893 distinct states, run finished after 297028 ms. (steps per millisecond=0 ) properties seen :1062
Running SMT prover for 127790 properties.
[2023-03-18 08:43:38] [INFO ] Flow matrix only has 81238 transitions (discarded 63131 similar events)
[2023-03-18 08:43:38] [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:24] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-18 08:47:24] [INFO ] After 225021ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 127790 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 5 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 826 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 826 ms. Remains : 1381/1381 places, 144369/144369 transitions.
Interrupted random walk after 120200 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=4 ) properties seen 7305
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 120485) 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 120484) 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 120483) 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 120483) 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 120483) 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 120483) 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 120483) 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 120483) 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 120483) 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 120483) 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 120483) seen :4
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 120479) 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 120479) 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 120479) 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 120479) 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 120479) 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 120479) 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 120479) 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 120479) 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 120479) 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 120479) 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 120478) 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 120478) 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 120478) 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 120478) 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 120478) 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 120478) 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 120477) 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 120477) 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 120477) 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 120477) 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 120477) 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 120477) 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 120477) 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 120477) 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 120476) 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 120476) 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 120476) 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 120476) 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 120476) 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 120476) 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 120476) 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 120476) 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 120476) 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 120476) 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 120476) 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 120476) 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 120475) 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 120475) 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 120475) 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 120475) 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 120475) 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 120475) 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 120475) 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 120475) 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 120475) 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 120475) 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 120475) 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 120474) 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 120474) 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 120474) 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 120474) 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 120474) 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 120474) 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 120474) 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 120474) 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 120474) 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 120474) 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 120474) 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 120474) 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 120474) 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 120474) 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 120474) 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 120474) 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 120474) 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 120474) 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 120474) 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 120474) 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 120474) 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 120474) 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 120474) 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 120474) 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 120474) 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 120474) 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 120474) 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 120474) 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 120474) 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 120474) 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 120474) 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 120474) 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 120474) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 120473) 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 120473) 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 120473) 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 120473) 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 120473) 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 120473) 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 120473) 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 120473) 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 120473) 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 120473) 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 120473) 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 120473) 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 120473) 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 120473) 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 120473) 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 120473) 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 120473) 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 120473) 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 120473) 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 120473) 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 120473) 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 120473) 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 120473) 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 120473) 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 120473) 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 120473) 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 120473) 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 120473) 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 120473) 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 120473) 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 120473) 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 120473) 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 120473) 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 120473) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 120472) 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 120472) 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 120472) 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 120472) 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 120472) 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 120472) 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 120472) 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 120472) 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 120471) 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 120471) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120469) 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 120468) 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 120468) 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 120468) 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 120468) 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 120468) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 120466) 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 120466) 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 120466) 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 120466) 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 120466) 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 120466) 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 120466) 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 120466) 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 120466) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 120464) 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 120464) 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 120464) 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 120464) 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 120464) 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 120464) 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 120464) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 120463) 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 120463) 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 120463) 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 120463) 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 120463) 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 120463) 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 120463) 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 120463) 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 120463) 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 120463) 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 120463) 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 120463) 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 120463) 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 120463) 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 120463) 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 120463) 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 120463) 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 120463) 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 120463) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) 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 120460) seen :0
Interrupted probabilistic random walk after 23963 steps, run timeout after 228025 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 23963 steps, saw 18317 distinct states, run finished after 228040 ms. (steps per millisecond=0 ) properties seen :0
Running SMT prover for 120460 properties.
[2023-03-18 08:52:30] [INFO ] Flow matrix only has 81238 transitions (discarded 63131 similar events)
[2023-03-18 08:52:30] [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:56:15] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-18 08:56:15] [INFO ] After 225026ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 120460 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 4 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 757 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 757 ms. Remains : 1381/1381 places, 144369/144369 transitions.
Interrupted random walk after 141368 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=4 ) properties seen 6477
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 113983) 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 113983) 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 113983) 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 113983) 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 113983) 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 113983) 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 113983) 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 113983) 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 113983) 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 113983) 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 113983) 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 113983) 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 113983) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 113982) 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 113982) 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 113982) 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 113982) 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 113982) 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 113982) 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 113982) 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 113982) 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 113982) 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 113982) 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 113982) 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 113982) 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 113982) 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 113982) 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 113982) 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 113982) 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 113982) 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 113982) 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 113982) 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 113982) 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 113982) 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 113982) 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 113982) 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 113982) 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 113982) 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 113982) 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 113982) 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 113982) 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 113982) 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 113982) 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 113982) 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 113982) 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 113982) 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 113982) 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 113982) 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 113981) 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 113981) 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 113981) 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 113981) 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 113981) 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 113981) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 113979) 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 113979) 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 113979) 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 113979) 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 113979) 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 113979) 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 113979) 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 113979) 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 113979) 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 113979) 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 113979) 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 113979) 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 113979) 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 113979) 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 113979) 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 113979) 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 113979) 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 113979) 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 113979) 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 113979) 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 113979) 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 113979) 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 113979) 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 113978) 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 113978) 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 113978) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 113976) 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 113976) 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 113976) 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 113976) 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 113976) 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 113976) 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 113976) 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 113976) 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 113976) 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 113976) 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 113976) 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 113976) 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 113976) 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 113976) 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 113976) 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 113976) 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 113976) 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 113976) 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 113976) 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 113976) 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 113976) 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 113976) 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 113976) 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 113976) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 113974) 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 113974) 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 113974) 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 113974) 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 113974) 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 113974) 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 113974) 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 113974) 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 113974) 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 113974) 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 113974) 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 113974) 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 113974) 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 113974) 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 113974) 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 113974) 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 113974) 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 113974) 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 113974) 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 113974) 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 113974) 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 113974) 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 113974) 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 113974) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 113972) 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 113972) 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 113972) 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 113972) 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 113972) 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 113972) 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 113972) 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 113972) 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 113972) 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 113972) 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 113972) 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 113972) 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 113972) 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 113972) 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 113972) 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 113972) 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 113972) 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 113972) 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 113972) 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 113972) 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 113972) 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 113972) 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 113971) 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 113971) 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 113971) 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 113971) 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 113971) 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 113971) 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 113971) 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 113971) 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 113971) 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 113971) 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 113971) 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 113971) 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 113971) 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 113971) 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 113971) 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 113971) 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 113971) 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 113971) 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 113971) 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 113971) 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 113971) 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 113971) 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 113971) 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 113971) 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 113971) 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 113971) 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 113971) 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 113971) 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 113971) 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 113971) 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 113971) 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 113971) 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 113971) 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 113971) 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 113971) 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 113971) 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 113971) 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 113970) 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 113970) 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 113970) 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 113970) 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 113970) 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 113970) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) 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 113969) seen :0
Interrupted probabilistic random walk after 25016 steps, run timeout after 213030 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 25016 steps, saw 19144 distinct states, run finished after 213046 ms. (steps per millisecond=0 ) properties seen :0
Running SMT prover for 113969 properties.
[2023-03-18 09:01:02] [INFO ] Flow matrix only has 81238 transitions (discarded 63131 similar events)
[2023-03-18 09:01:02] [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.checkResults(DeadlockTester.java:797)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:611)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:339)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:386)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-18 09:04:47] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-18 09:04:47] [INFO ] After 225021ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 113969 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 5 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 856 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 856 ms. Remains : 1381/1381 places, 144369/144369 transitions.
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393216 kB
MemFree: 12952276 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16051376 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="smartxred"
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 smartxred"
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 r345-tall-167889216600092"
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 ;