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.r247-tall-167856434500492.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 ltsminxred
Input is MultiCrashLeafsetExtension-PT-S16C07, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r247-tall-167856434500492
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.2M
-rw-r--r-- 1 mcc users 13K Feb 26 02:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 26 02:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 02:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 26 02:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.9K Feb 25 16:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Feb 25 16:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 25 16:24 LTLFireability.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:24 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 02:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 55K Feb 26 02:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 23K Feb 26 02:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 109K Feb 26 02:25 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K Feb 25 16:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 5.7M Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME QuasiLiveness

=== Now, execution of the tool begins

BK_START 1678714488081

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=ltsminxred
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=MultiCrashLeafsetExtension-PT-S16C07
Applying reductions before tool ltsmin
Invoking reducer
Running Version 202303021504
[2023-03-13 13:34:49] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -timeout, 180, -rebuildPNML]
[2023-03-13 13:34:49] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 13:34:49] [INFO ] Load time of PNML (sax parser for PT used): 326 ms
[2023-03-13 13:34:49] [INFO ] Transformed 6222 places.
[2023-03-13 13:34:50] [INFO ] Transformed 8685 transitions.
[2023-03-13 13:34:50] [INFO ] Parsed PT model containing 6222 places and 8685 transitions and 32582 arcs in 479 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 6222/6222 places, 8685/8685 transitions.
Reduce places removed 34 places and 0 transitions.
Drop transitions removed 1904 transitions
Trivial Post-agglo rules discarded 1904 transitions
Performed 1904 trivial Post agglomeration. Transition count delta: 1904
Iterating post reduction 0 with 1938 rules applied. Total rules applied 1938 place count 6188 transition count 6781
Reduce places removed 1904 places and 0 transitions.
Iterating post reduction 1 with 1904 rules applied. Total rules applied 3842 place count 4284 transition count 6781
Performed 238 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 238 Pre rules applied. Total rules applied 3842 place count 4284 transition count 6543
Deduced a syphon composed of 238 places in 22 ms
Reduce places removed 238 places and 0 transitions.
Iterating global reduction 2 with 476 rules applied. Total rules applied 4318 place count 4046 transition count 6543
Performed 17 Post agglomeration using F-continuation condition.Transition count delta: 17
Deduced a syphon composed of 17 places in 11 ms
Reduce places removed 17 places and 0 transitions.
Iterating global reduction 2 with 34 rules applied. Total rules applied 4352 place count 4029 transition count 6526
Applied a total of 4352 rules in 413 ms. Remains 4029 /6222 variables (removed 2193) and now considering 6526/8685 (removed 2159) transitions.
[2023-03-13 13:34:50] [INFO ] Flow matrix only has 6254 transitions (discarded 272 similar events)
// Phase 1: matrix 6254 rows 4029 cols
[2023-03-13 13:34:50] [INFO ] Computed 577 place invariants in 442 ms
[2023-03-13 13:34:54] [INFO ] Implicit Places using invariants in 3858 ms returned []
[2023-03-13 13:34:54] [INFO ] Flow matrix only has 6254 transitions (discarded 272 similar events)
[2023-03-13 13:34:54] [INFO ] Invariant cache hit.
[2023-03-13 13:34:55] [INFO ] State equation strengthened by 2450 read => feed constraints.
[2023-03-13 13:35:08] [INFO ] Implicit Places using invariants and state equation in 14126 ms returned [4, 7, 18, 31, 46, 63, 82, 103, 126, 150, 173, 194, 213, 230, 245, 258, 269, 294, 300, 310, 321, 334, 349, 366, 385, 406, 428, 449, 468, 485, 500, 513, 524, 534, 559, 565, 575, 585, 596, 609, 624, 641, 660, 680, 699, 716, 731, 744, 755, 765, 775, 800, 806, 816, 826, 836, 847, 860, 875, 892, 910, 927, 942, 955, 966, 976, 986, 996, 1021, 1027, 1037, 1047, 1057, 1067, 1078, 1091, 1106, 1122, 1137, 1150, 1161, 1171, 1181, 1191, 1201, 1226, 1232, 1242, 1252, 1262, 1272, 1282, 1293, 1306, 1320, 1333, 1344, 1354, 1364, 1374, 1384, 1394, 1419, 1425, 1435, 1445, 1455, 1465, 1475, 1485, 1496, 1508, 1519, 1529, 1539, 1549, 1559, 1569, 1579, 1604, 1610, 1620, 1630, 1640, 1650, 1660, 1670, 1680, 1690, 1700, 1710, 1720, 1730, 1740, 1750, 1760, 1785, 1787, 1790, 1800, 1810, 1820, 1830, 1840, 1850, 1860, 1870, 1880, 1890, 1900, 1910, 1920, 1930, 1940, 1965, 1971, 1981, 1991, 2001, 2011, 2021, 2031, 2041, 2051, 2061, 2071, 2081, 2091, 2101, 2111, 2121, 2146, 2152, 2162, 2172, 2182, 2192, 2202, 2212, 2222, 2233, 2245, 2256, 2266, 2276, 2286, 2296, 2306, 2331, 2337, 2347, 2357, 2367, 2377, 2387, 2397, 2408, 2421, 2435, 2448, 2459, 2469, 2479, 2489, 2499, 2524, 2530, 2540, 2550, 2560, 2570, 2580, 2591, 2604, 2619, 2635, 2650, 2663, 2674, 2684, 2694, 2704, 2729, 2735, 2745, 2755, 2765, 2775, 2786, 2799, 2814, 2831, 2849, 2866, 2881, 2894, 2905, 2915, 2925, 2950, 2956, 2966, 2976, 2986, 2997, 3010, 3025, 3042, 3061, 3081, 3100, 3117, 3132, 3145, 3156, 3166, 3191, 3197, 3207, 3217, 3228, 3241, 3256, 3273, 3292, 3313, 3335, 3356, 3375, 3392, 3407, 3420, 3431, 3456, 3458, 3461, 3471, 3482, 3495, 3510, 3527, 3546, 3567, 3590, 3614, 3637, 3658, 3677, 3694, 3709, 3722, 3748]
Discarding 292 places :
Implicit Place search using SMT with State Equation took 18032 ms to find 292 implicit places.
Starting structural reductions in LIVENESS mode, iteration 1 : 3737/6222 places, 6526/8685 transitions.
Applied a total of 0 rules in 41 ms. Remains 3737 /3737 variables (removed 0) and now considering 6526/6526 (removed 0) transitions.
Finished structural reductions in LIVENESS mode , in 2 iterations and 18488 ms. Remains : 3737/6222 places, 6526/8685 transitions.
Initial state reduction rules removed 17 formulas.
Incomplete random walk after 10000 steps, including 172 resets, run finished after 4909 ms. (steps per millisecond=2 ) properties (out of 6509) seen :2344
Running SMT prover for 4165 properties.
[2023-03-13 13:35:13] [INFO ] Flow matrix only has 6254 transitions (discarded 272 similar events)
// Phase 1: matrix 6254 rows 3737 cols
[2023-03-13 13:35:13] [INFO ] Computed 285 place invariants in 176 ms
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.assertInvariants(DeadlockTester.java:2340)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:618)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:339)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:386)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-13 13:35:42] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 13:35:42] [INFO ] After 25026ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 4165 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 2750 out of 3737 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3737/3737 places, 6526/6526 transitions.
Discarding 560 places :
Symmetric choice reduction at 0 with 560 rule applications. Total rules 560 place count 3177 transition count 5966
Iterating global reduction 0 with 560 rules applied. Total rules applied 1120 place count 3177 transition count 5966
Free-agglomeration rule (complex) applied 9 times.
Iterating global reduction 0 with 9 rules applied. Total rules applied 1129 place count 3177 transition count 5957
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 0 with 9 rules applied. Total rules applied 1138 place count 3168 transition count 5957
Partial Free-agglomeration rule applied 3 times.
Drop transitions removed 3 transitions
Iterating global reduction 1 with 3 rules applied. Total rules applied 1141 place count 3168 transition count 5957
Applied a total of 1141 rules in 574 ms. Remains 3168 /3737 variables (removed 569) and now considering 5957/6526 (removed 569) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 575 ms. Remains : 3168/3737 places, 5957/6526 transitions.
Interrupted random walk after 110102 steps, including 1894 resets, run timeout after 30001 ms. (steps per millisecond=3 ) properties seen 1612
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2553) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2553) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2553) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2553) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2553) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2553) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 2553) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2553) seen :3
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2550) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 2550) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 2550) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2550) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2550) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2550) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2548) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2548) seen :3
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2545) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2545) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2543) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2543) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2543) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2543) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2543) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2543) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2543) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2543) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2543) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2543) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2543) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2543) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2541) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2541) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2540) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2540) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2538) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2536) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2536) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2536) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2534) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2534) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2534) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2534) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2534) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2534) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2534) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2534) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2534) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2534) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2532) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2532) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2532) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2532) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 2532) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2530) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2530) seen :1
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2529) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 2529) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2529) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2529) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2529) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2529) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2529) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2527) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2527) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2527) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2527) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2527) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2527) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2527) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2527) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2527) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2527) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2527) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2527) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2527) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2527) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2527) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2527) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2525) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2525) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2525) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2525) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2525) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2525) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2525) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2525) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2525) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2525) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2525) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2523) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2523) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2521) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2521) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2519) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2519) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2519) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2519) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2516) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2516) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2516) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 2516) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2516) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2514) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2514) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2514) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2514) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2514) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2514) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2514) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2514) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2514) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2512) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2512) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2512) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2512) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2512) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 2512) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2512) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2512) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2512) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2512) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2512) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2512) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2512) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2512) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2512) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2512) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2512) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2512) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2512) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 2509) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2509) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2509) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2509) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2509) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2509) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2509) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2509) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2507) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2507) seen :4
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2503) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2503) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2503) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2501) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2499) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2499) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2497) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2497) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2495) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2495) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2495) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2495) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2495) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2495) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2495) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2495) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2493) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2493) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2491) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2491) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2491) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2491) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2491) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2491) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2491) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2491) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2491) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2489) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2489) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2489) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2489) seen :4
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2485) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2485) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2485) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2485) seen :4
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2481) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2481) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2481) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2479) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2479) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2479) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2477) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2477) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2476) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2476) seen :5
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2471) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2471) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2469) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2467) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2467) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2465) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2465) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2465) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2465) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2463) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2463) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2463) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2461) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2461) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2461) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2461) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2461) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2461) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2461) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2461) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2461) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2461) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2461) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 2461) seen :3
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2458) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2458) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2458) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2458) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2458) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2458) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2458) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2457) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2457) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2457) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2457) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 2457) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2456) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2456) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2454) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2454) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2454) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2454) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2454) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2454) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2454) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2454) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2454) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2454) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2452) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2452) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2452) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2452) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2450) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2448) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2448) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 2448) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2448) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2448) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2448) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2448) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2448) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2448) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2448) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2448) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2448) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2448) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 2448) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2448) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2448) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2446) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2446) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2446) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2446) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2446) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2446) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2446) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2446) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2445) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2445) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2445) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2443) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2441) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2439) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2439) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2439) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2439) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2439) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 2439) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2439) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2439) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2439) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2439) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2437) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2437) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2437) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2435) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2435) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2435) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2435) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2435) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2435) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2435) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2435) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2435) seen :3
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2432) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2432) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2430) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2430) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2429) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2429) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2429) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2429) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2429) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2429) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2429) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2429) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2429) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2429) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2429) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2429) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2429) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2429) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2429) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2429) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2429) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2429) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2429) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 2427) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 2427) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 2427) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2427) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2427) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2427) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2427) seen :3
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 2424) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2424) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2424) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2424) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2424) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2424) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2424) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 2424) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2424) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 2422) seen :3
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 2419) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2419) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2417) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2417) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 2417) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2417) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 2417) seen :5
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2412) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2409) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2409) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 2409) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2409) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2409) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2409) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2409) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2409) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2409) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2409) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2409) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2409) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2409) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2409) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2409) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2409) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2409) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2407) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2407) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2407) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2407) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2405) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2405) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2403) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2403) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2403) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2403) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2403) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2403) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2400) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2400) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2400) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 2400) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2400) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2398) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2398) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2396) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2396) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2396) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 2396) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2396) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2396) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2396) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2396) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 2396) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2396) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2396) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2396) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2396) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2396) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2396) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2396) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2396) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2396) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2396) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2396) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2396) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2396) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2396) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2394) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2394) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 2394) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2394) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2394) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2394) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2394) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2394) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2393) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2393) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2393) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2393) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2391) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2391) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2391) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2391) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2391) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2391) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2391) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2389) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2389) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2389) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2389) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2389) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2386) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2386) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2386) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2384) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2384) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2384) seen :5
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2379) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2379) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2379) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2379) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2379) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2379) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2379) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2379) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2379) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2379) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2379) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2379) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2379) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2379) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2379) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2379) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2379) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2377) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2377) seen :4
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2373) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2373) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2373) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2373) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2373) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2373) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2371) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2369) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2369) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 2369) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2369) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2369) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2369) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2369) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2369) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2369) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2369) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2369) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2369) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2369) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2369) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2369) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2369) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2369) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2369) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2369) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2369) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2369) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2367) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2367) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2367) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2367) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2367) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2367) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2367) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2367) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2367) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2365) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2363) seen :7
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2356) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2356) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2356) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2356) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2356) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2356) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2354) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2354) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2354) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2352) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2352) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2350) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2350) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2350) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2350) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2348) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2348) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2348) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2348) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2348) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2348) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2348) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2348) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2348) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2348) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2348) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2348) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2346) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2346) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2346) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2346) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2346) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2346) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2344) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2344) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2344) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2344) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2344) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2344) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 2342) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2342) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 2342) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2340) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2340) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2340) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2340) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 2340) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2340) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2340) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2340) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2340) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2340) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2340) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2340) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2340) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2338) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2338) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2338) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2338) seen :7
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2331) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2331) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2328) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 2328) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2328) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2328) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2328) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2325) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2325) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2325) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2325) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2325) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2323) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2323) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2323) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2323) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2323) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2323) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2321) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2319) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2319) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2319) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2319) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2319) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2319) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2319) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2319) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2319) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2319) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2319) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2319) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2319) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2319) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2318) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2318) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2318) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2318) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2318) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2316) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2316) seen :4
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2312) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2312) seen :4
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2308) seen :3
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2305) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2303) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2303) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2303) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2303) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2303) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2301) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2301) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2301) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2301) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2299) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2299) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2299) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2299) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2297) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2297) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2297) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2297) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2297) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2297) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2297) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2297) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 2297) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2297) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2297) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2297) seen :4
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2293) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2291) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2291) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2291) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2291) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2291) seen :4
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2287) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2287) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2286) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2286) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2286) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2286) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2286) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2286) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2284) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2284) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2282) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2282) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2280) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2280) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2280) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2280) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2280) seen :5
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2275) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2275) seen :0
Running SMT prover for 2275 properties.
[2023-03-13 13:36:51] [INFO ] Flow matrix only has 5677 transitions (discarded 280 similar events)
// Phase 1: matrix 5677 rows 3168 cols
[2023-03-13 13:36:51] [INFO ] Computed 285 place invariants in 122 ms
[2023-03-13 13:38:28] [INFO ] [Real]Absence check using 31 positive place invariants in 74 ms returned sat
[2023-03-13 13:38:28] [INFO ] [Real]Absence check using 31 positive and 254 generalized place invariants in 60 ms returned sat
[2023-03-13 13:40:38] [INFO ] After 30587ms SMT Verify possible using state equation in real domain returned unsat :0 sat :2190 real:84
[2023-03-13 13:40:38] [INFO ] State equation strengthened by 2450 read => feed constraints.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:642)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:339)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:386)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-13 13:40:38] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 13:40:38] [INFO ] After 225074ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 2275 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 1611 out of 3168 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3168/3168 places, 5957/5957 transitions.
Discarding 731 places :
Symmetric choice reduction at 0 with 731 rule applications. Total rules 731 place count 2437 transition count 5226
Iterating global reduction 0 with 731 rules applied. Total rules applied 1462 place count 2437 transition count 5226
Performed 4 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 4 Pre rules applied. Total rules applied 1462 place count 2437 transition count 5222
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 0 with 8 rules applied. Total rules applied 1470 place count 2433 transition count 5222
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1471 place count 2432 transition count 5215
Iterating global reduction 0 with 1 rules applied. Total rules applied 1472 place count 2432 transition count 5215
Free-agglomeration rule (complex) applied 7 times.
Iterating global reduction 0 with 7 rules applied. Total rules applied 1479 place count 2432 transition count 5208
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 0 with 7 rules applied. Total rules applied 1486 place count 2425 transition count 5208
Partial Free-agglomeration rule applied 90 times.
Drop transitions removed 90 transitions
Iterating global reduction 1 with 90 rules applied. Total rules applied 1576 place count 2425 transition count 5208
Applied a total of 1576 rules in 392 ms. Remains 2425 /3168 variables (removed 743) and now considering 5208/5957 (removed 749) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 393 ms. Remains : 2425/3168 places, 5208/5957 transitions.
Interrupted random walk after 144299 steps, including 2828 resets, run timeout after 30001 ms. (steps per millisecond=4 ) properties seen 147
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2128) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2128) seen :3
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2125) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2125) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2125) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2125) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2125) seen :5
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2120) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2120) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2120) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2120) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 2118) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2118) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2118) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2118) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 2118) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2118) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2118) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2118) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2118) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2118) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2116) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2116) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2116) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2116) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2116) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2114) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 2114) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2114) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2114) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2114) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2114) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2114) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2114) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2114) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2114) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2114) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2114) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2114) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2114) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2114) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2114) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2114) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2114) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2114) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2114) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2114) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2112) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2112) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2112) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2112) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2112) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2112) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 2112) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2112) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2112) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2112) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2112) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2112) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2112) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2112) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2112) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2112) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2112) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2112) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2112) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2110) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2110) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2108) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2108) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2108) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2108) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2108) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2108) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2108) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2108) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2108) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2108) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2108) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2108) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2108) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 2108) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 2108) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2108) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2108) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2108) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2108) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 2108) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2108) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2108) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2108) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2108) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 2108) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2108) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2108) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2108) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2108) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2108) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2108) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2108) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2107) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2107) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2107) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2107) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 2107) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2107) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2107) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2107) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2107) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2107) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2107) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2107) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2107) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2107) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2107) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2107) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2107) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2107) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2107) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2107) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2107) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2107) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2107) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2107) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2105) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2105) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2105) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2105) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2105) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2105) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 2105) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2105) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2105) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2105) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 2104) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2104) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2104) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2104) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 2104) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 2104) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 2104) seen :3
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 2101) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 2101) seen :0
Interrupted probabilistic random walk after 730658 steps, run timeout after 111001 ms. (steps per millisecond=6 ) properties seen :{80=1, 89=1, 99=1, 112=1, 117=1, 150=1, 183=1, 191=1, 199=1, 205=1, 209=1, 211=1, 212=1, 269=1, 275=1, 279=1, 281=1, 282=1, 283=1, 309=1, 322=1, 326=1, 328=1, 332=1, 334=1, 335=1, 336=1, 337=1, 357=1, 367=1, 369=1, 370=1, 372=1, 373=1, 374=1, 375=1, 399=1, 400=1, 401=1, 402=1, 403=1, 404=1, 405=1, 406=1, 407=1, 432=1, 433=1, 434=1, 435=1, 436=1, 459=1, 460=1, 461=1, 462=1, 463=1, 464=1, 465=1, 466=1, 555=1, 556=1, 557=1, 558=1, 559=1, 560=1, 561=1, 562=1, 586=1, 587=1, 588=1, 589=1, 590=1, 591=1, 612=1, 613=1, 614=1, 615=1, 616=1, 617=1, 640=1, 646=1, 649=1, 651=1, 652=1, 653=1, 654=1, 674=1, 679=1, 694=1, 698=1, 699=1, 703=1, 705=1, 706=1, 707=1, 742=1, 761=1, 762=1, 768=1, 774=1, 778=1, 780=1, 849=1, 850=1, 857=1, 858=1, 865=1, 866=1, 872=1, 876=1, 877=1, 1013=1, 1014=1, 1015=1, 1016=1, 1018=1, 1019=1, 1020=1, 1021=1, 1032=1, 1033=1, 1034=1, 1035=1, 1037=1, 1046=1, 1047=1, 1048=1, 1050=1, 1051=1, 1052=1, 1053=1, 1064=1, 1065=1, 1066=1, 1067=1, 1068=1, 1069=1, 1083=1, 1085=1, 1086=1, 1087=1, 1088=1, 1089=1, 1090=1, 1094=1, 1103=1, 1104=1, 1105=1, 1107=1, 1108=1, 1109=1, 1113=1, 1114=1, 1122=1, 1124=1, 1125=1, 1126=1, 1127=1, 1128=1, 1129=1, 1141=1, 1142=1, 1143=1, 1144=1, 1146=1, 1148=1, 1155=1, 1156=1, 1157=1, 1158=1, 1159=1, 1160=1, 1161=1, 1211=1, 1212=1, 1222=1, 1223=1, 1226=1, 1227=1, 1228=1, 1229=1, 1231=1, 1242=1, 1243=1, 1244=1, 1245=1, 1246=1, 1255=1, 1256=1, 1257=1, 1259=1, 1260=1, 1262=1, 1266=1, 1275=1, 1276=1, 1277=1, 1278=1, 1283=1, 1285=1, 1293=1, 1294=1, 1296=1, 1297=1, 1298=1, 1310=1, 1311=1, 1312=1, 1313=1, 1314=1, 1317=1, 1319=1, 1321=1, 1322=1, 1330=1, 1332=1, 1334=1, 1336=1, 1337=1, 1634=1, 1637=1, 1642=1, 1644=1, 1645=1, 1647=1, 1655=1, 1656=1, 1658=1, 1795=1, 1797=1, 1804=1, 1805=1, 1807=1, 1808=1, 1811=1, 1813=1}
Probabilistic random walk after 730658 steps, saw 329655 distinct states, run finished after 111005 ms. (steps per millisecond=6 ) properties seen :235
Running SMT prover for 1866 properties.
[2023-03-13 13:43:07] [INFO ] Flow matrix only has 4922 transitions (discarded 286 similar events)
// Phase 1: matrix 4922 rows 2425 cols
[2023-03-13 13:43:07] [INFO ] Computed 285 place invariants in 50 ms
[2023-03-13 13:44:13] [INFO ] [Real]Absence check using 31 positive place invariants in 48 ms returned sat
[2023-03-13 13:44:13] [INFO ] [Real]Absence check using 31 positive and 254 generalized place invariants in 47 ms returned sat
[2023-03-13 13:46:53] [INFO ] After 89270ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1534 real:332
[2023-03-13 13:46:53] [INFO ] State equation strengthened by 2444 read => feed constraints.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:642)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:339)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:386)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-13 13:46:53] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 13:46:53] [INFO ] After 225084ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 1866 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 1279 out of 2425 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2425/2425 places, 5208/5208 transitions.
Discarding 153 places :
Symmetric choice reduction at 0 with 153 rule applications. Total rules 153 place count 2272 transition count 5055
Iterating global reduction 0 with 153 rules applied. Total rules applied 306 place count 2272 transition count 5055
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 1 Pre rules applied. Total rules applied 306 place count 2272 transition count 5054
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 308 place count 2271 transition count 5054
Discarding 86 places :
Symmetric choice reduction at 0 with 86 rule applications. Total rules 394 place count 2185 transition count 4452
Iterating global reduction 0 with 86 rules applied. Total rules applied 480 place count 2185 transition count 4452
Partial Free-agglomeration rule applied 17 times.
Drop transitions removed 17 transitions
Iterating global reduction 0 with 17 rules applied. Total rules applied 497 place count 2185 transition count 4452
Applied a total of 497 rules in 492 ms. Remains 2185 /2425 variables (removed 240) and now considering 4452/5208 (removed 756) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 492 ms. Remains : 2185/2425 places, 4452/5208 transitions.
Interrupted random walk after 229319 steps, including 4495 resets, run timeout after 30001 ms. (steps per millisecond=7 ) properties seen 76
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1790) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1790) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1790) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1790) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1790) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1790) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1790) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1790) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1790) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1790) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1790) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1790) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1790) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1790) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 1790) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1790) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1790) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 1790) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1790) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1790) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1790) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1788) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1786) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 1786) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1786) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 1786) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1786) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1784) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1782) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1782) seen :0
Interrupted probabilistic random walk after 709028 steps, run timeout after 99001 ms. (steps per millisecond=7 ) properties seen :{}
Probabilistic random walk after 709028 steps, saw 317727 distinct states, run finished after 99003 ms. (steps per millisecond=7 ) properties seen :0
Running SMT prover for 1782 properties.
[2023-03-13 13:49:06] [INFO ] Flow matrix only has 4166 transitions (discarded 286 similar events)
// Phase 1: matrix 4166 rows 2185 cols
[2023-03-13 13:49:06] [INFO ] Computed 285 place invariants in 47 ms
[2023-03-13 13:50:01] [INFO ] [Real]Absence check using 31 positive place invariants in 62 ms returned sat
[2023-03-13 13:50:02] [INFO ] [Real]Absence check using 31 positive and 254 generalized place invariants in 45 ms returned sat
[2023-03-13 13:52:52] [INFO ] After 111781ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1374 real:407
[2023-03-13 13:52:52] [INFO ] State equation strengthened by 1928 read => feed constraints.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:642)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:339)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:386)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-13 13:52:52] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 13:52:52] [INFO ] After 225058ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 1782 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 1213 out of 2185 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2185/2185 places, 4452/4452 transitions.
Discarding 32 places :
Symmetric choice reduction at 0 with 32 rule applications. Total rules 32 place count 2153 transition count 4420
Iterating global reduction 0 with 32 rules applied. Total rules applied 64 place count 2153 transition count 4420
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 2 Pre rules applied. Total rules applied 64 place count 2153 transition count 4418
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 68 place count 2151 transition count 4418
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 76 place count 2143 transition count 4362
Iterating global reduction 0 with 8 rules applied. Total rules applied 84 place count 2143 transition count 4362
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 0 with 2 rules applied. Total rules applied 86 place count 2143 transition count 4360
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 88 place count 2141 transition count 4360
Partial Free-agglomeration rule applied 7 times.
Drop transitions removed 7 transitions
Iterating global reduction 1 with 7 rules applied. Total rules applied 95 place count 2141 transition count 4360
Applied a total of 95 rules in 304 ms. Remains 2141 /2185 variables (removed 44) and now considering 4360/4452 (removed 92) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 305 ms. Remains : 2141/2185 places, 4360/4452 transitions.
Interrupted random walk after 171270 steps, including 3366 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 37
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1745) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1745) seen :0
Interrupted probabilistic random walk after 683890 steps, run timeout after 93002 ms. (steps per millisecond=7 ) properties seen :{}
Probabilistic random walk after 683890 steps, saw 306332 distinct states, run finished after 93003 ms. (steps per millisecond=7 ) properties seen :0
Running SMT prover for 1745 properties.
[2023-03-13 13:54:57] [INFO ] Flow matrix only has 4074 transitions (discarded 286 similar events)
// Phase 1: matrix 4074 rows 2141 cols
[2023-03-13 13:54:57] [INFO ] Computed 285 place invariants in 55 ms
[2023-03-13 13:55:49] [INFO ] [Real]Absence check using 31 positive place invariants in 43 ms returned sat
[2023-03-13 13:55:49] [INFO ] [Real]Absence check using 31 positive and 254 generalized place invariants in 52 ms returned sat
[2023-03-13 13:58:44] [INFO ] After 116374ms SMT Verify possible using state equation in real domain returned unsat :0 sat :865 real:880
[2023-03-13 13:58:44] [INFO ] State equation strengthened by 1880 read => feed constraints.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:642)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:339)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:386)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-13 13:58:44] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 13:58:44] [INFO ] After 225057ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 1745 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 1186 out of 2141 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2141/2141 places, 4360/4360 transitions.
Discarding 13 places :
Symmetric choice reduction at 0 with 13 rule applications. Total rules 13 place count 2128 transition count 4347
Iterating global reduction 0 with 13 rules applied. Total rules applied 26 place count 2128 transition count 4347
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 30 place count 2124 transition count 4319
Iterating global reduction 0 with 4 rules applied. Total rules applied 34 place count 2124 transition count 4319
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 35 place count 2124 transition count 4318
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 36 place count 2123 transition count 4318
Partial Free-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 1 with 2 rules applied. Total rules applied 38 place count 2123 transition count 4318
Applied a total of 38 rules in 291 ms. Remains 2123 /2141 variables (removed 18) and now considering 4318/4360 (removed 42) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 291 ms. Remains : 2123/2141 places, 4318/4360 transitions.
Interrupted random walk after 185694 steps, including 3649 resets, run timeout after 30001 ms. (steps per millisecond=6 ) properties seen 16
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1729) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1727) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1727) seen :0
Interrupted probabilistic random walk after 690221 steps, run timeout after 93001 ms. (steps per millisecond=7 ) properties seen :{}
Probabilistic random walk after 690221 steps, saw 309108 distinct states, run finished after 93002 ms. (steps per millisecond=7 ) properties seen :0
Running SMT prover for 1727 properties.
[2023-03-13 14:00:49] [INFO ] Flow matrix only has 4032 transitions (discarded 286 similar events)
// Phase 1: matrix 4032 rows 2123 cols
[2023-03-13 14:00:49] [INFO ] Computed 285 place invariants in 42 ms
[2023-03-13 14:01:46] [INFO ] [Real]Absence check using 31 positive place invariants in 50 ms returned sat
[2023-03-13 14:01:46] [INFO ] [Real]Absence check using 31 positive and 254 generalized place invariants in 48 ms returned sat
[2023-03-13 14:04:35] [INFO ] After 110735ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1300 real:427
[2023-03-13 14:04:35] [INFO ] State equation strengthened by 1856 read => feed constraints.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:642)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:339)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:386)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-13 14:04:35] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 14:04:35] [INFO ] After 225084ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 1727 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 1172 out of 2123 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2123/2123 places, 4318/4318 transitions.
Discarding 5 places :
Symmetric choice reduction at 0 with 5 rule applications. Total rules 5 place count 2118 transition count 4313
Iterating global reduction 0 with 5 rules applied. Total rules applied 10 place count 2118 transition count 4313
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 12 place count 2116 transition count 4299
Iterating global reduction 0 with 2 rules applied. Total rules applied 14 place count 2116 transition count 4299
Partial Free-agglomeration rule applied 3 times.
Drop transitions removed 3 transitions
Iterating global reduction 0 with 3 rules applied. Total rules applied 17 place count 2116 transition count 4299
Applied a total of 17 rules in 201 ms. Remains 2116 /2123 variables (removed 7) and now considering 4299/4318 (removed 19) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 201 ms. Remains : 2116/2123 places, 4299/4318 transitions.
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393216 kB
MemFree: 14338108 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16162580 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="MultiCrashLeafsetExtension-PT-S16C07"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="ltsminxred"
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 ltsminxred"
echo " Input is MultiCrashLeafsetExtension-PT-S16C07, 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 r247-tall-167856434500492"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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