Execution Chart

Sorry, for this execution, no execution chart could be reported.

Trace from the execution

Formatting '/data/fkordon/mcc2025-input.r133-smll-174876529600222.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2025-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-5832
Executing tool itstools
Input is MultiCrashLeafsetExtension-PT-S24C04, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r133-smll-174876529600222
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 11M
-rw-r--r-- 1 mcc users 10K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 77K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.6K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 24K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 81K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.5K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 29K May 29 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K May 29 14:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K May 29 14:47 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 29 14:32 equiv_col
-rw-r--r-- 1 mcc users 7 May 29 14:32 instance
-rw-r--r-- 1 mcc users 6 May 29 14:32 iscolored
-rw-r--r-- 1 mcc users 10M May 29 14:32 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 1748857264096

Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=MultiCrashLeafsetExtension-PT-S24C04
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
QuasiLiveness PT
Running Version 202505121319
[2025-06-02 09:41:06] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2025-06-02 09:41:06] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-02 09:41:07] [INFO ] Load time of PNML (sax parser for PT used): 1035 ms
[2025-06-02 09:41:07] [INFO ] Transformed 9748 places.
[2025-06-02 09:41:07] [INFO ] Transformed 14659 transitions.
[2025-06-02 09:41:07] [INFO ] Parsed PT model containing 9748 places and 14659 transitions and 58838 arcs in 1347 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 9748/9748 places, 14659/14659 transitions.
Reduce places removed 36 places and 0 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 2400 transitions
Trivial Post-agglo rules discarded 2400 transitions
Performed 2400 trivial Post agglomeration. Transition count delta: 2400
Iterating post reduction 0 with 2436 rules applied. Total rules applied 2436 place count 9712 transition count 12259
Reduce places removed 2400 places and 0 transitions.
Iterating post reduction 1 with 2400 rules applied. Total rules applied 4836 place count 7312 transition count 12259
Performed 200 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 200 Pre rules applied. Total rules applied 4836 place count 7312 transition count 12059
Deduced a syphon composed of 200 places in 92 ms
Reduce places removed 200 places and 0 transitions.
Iterating global reduction 2 with 400 rules applied. Total rules applied 5236 place count 7112 transition count 12059
Performed 25 Post agglomeration using F-continuation condition.Transition count delta: 25
Deduced a syphon composed of 25 places in 28 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 2 with 50 rules applied. Total rules applied 5286 place count 7087 transition count 12034
Applied a total of 5286 rules in 1324 ms. Remains 7087 /9748 variables (removed 2661) and now considering 12034/14659 (removed 2625) transitions.
[2025-06-02 09:41:09] [INFO ] Flow matrix only has 11434 transitions (discarded 600 similar events)
// Phase 1: matrix 11434 rows 7087 cols
[2025-06-02 09:41:10] [INFO ] Computed 885 invariants in 1535 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-02 09:41:43] [INFO ] Performed 6862/7087 implicitness test of which 628 returned IMPLICIT in 30 seconds.
[2025-06-02 09:41:47] [INFO ] Implicit Places using invariants in 38542 ms returned [4, 7, 15, 25, 37, 51, 67, 85, 105, 127, 151, 177, 205, 234, 262, 288, 312, 334, 354, 372, 388, 402, 414, 424, 432, 448, 454, 461, 469, 479, 491, 505, 521, 539, 559, 581, 605, 631, 658, 684, 708, 730, 750, 768, 784, 798, 810, 820, 828, 835, 851, 857, 864, 871, 879, 889, 901, 915, 931, 949, 969, 991, 1015, 1040, 1064, 1086, 1106, 1124, 1140, 1154, 1166, 1176, 1184, 1191, 1198, 1214, 1220, 1227, 1234, 1241, 1249, 1259, 1271, 1285, 1301, 1319, 1339, 1361, 1384, 1406, 1426, 1444, 1460, 1474, 1486, 1496, 1504, 1511, 1518, 1525, 1541, 1547, 1554, 1561, 1568, 1575, 1583, 1593, 1605, 1619, 1635, 1653, 1673, 1694, 1714, 1732, 1748, 1762, 1774, 1784, 1792, 1799, 1806, 1813, 1820, 1836, 1842, 1849, 1856, 1863, 1870, 1877, 1885, 1895, 1907, 1921, 1937, 1955, 1974, 1992, 2008, 2022, 2034, 2044, 2052, 2059, 2066, 2073, 2080, 2087, 2103, 2109, 2116, 2123, 2130, 2137, 2144, 2151, 2159, 2169, 2181, 2195, 2211, 2228, 2244, 2258, 2270, 2280, 2288, 2295, 2302, 2309, 2316, 2323, 2330, 2346, 2352, 2359, 2366, 2373, 2380, 2387, 2394, 2401, 2409, 2419, 2431, 2445, 2460, 2474, 2486, 2496, 2504, 2511, 2518, 2525, 2532, 2539, 2546, 2553, 2569, 2575, 2582, 2589, 2596, 2603, 2610, 2617, 2624, 2631, 2639, 2649, 2661, 2674, 2686, 2696, 2704, 2711, 2718, 2725, 2732, 2739, 2746, 2753, 2760, 2776, 2782, 2789, 2796, 2803, 2810, 2817, 2824, 2831, 2838, 2845, 2853, 2863, 2874, 2884, 2892, 2899, 2906, 2913, 2920, 2927, 2934, 2941, 2948, 2955, 2971, 2977, 2984, 2991, 2998, 3005, 3012, 3019, 3026, 3033, 3040, 3047, 3055, 3064, 3072, 3079, 3086, 3093, 3100, 3107, 3114, 3121, 3128, 3135, 3142, 3158, 3164, 3171, 3178, 3185, 3192, 3199, 3206, 3213, 3220, 3227, 3234, 3241, 3248, 3255, 3262, 3269, 3276, 3283, 3290, 3297, 3304, 3311, 3318, 3325, 3341, 3343, 3346, 3353, 3360, 3367, 3374, 3381, 3388, 3395, 3402, 3409, 3416, 3423, 3430, 3437, 3444, 3451, 3458, 3465, 3472, 3479, 3486, 3493, 3500, 3507, 3523, 3529, 3536, 3543, 3550, 3557, 3564, 3571, 3578, 3585, 3592, 3599, 3606, 3613, 3620, 3627, 3634, 3641, 3648, 3655, 3662, 3669, 3676, 3683, 3690, 3706, 3712, 3719, 3726, 3733, 3740, 3747, 3754, 3761, 3768, 3775, 3782, 3789, 3797, 3806, 3814, 3821, 3828, 3835, 3842, 3849, 3856, 3863, 3870, 3877, 3893, 3899, 3906, 3913, 3920, 3927, 3934, 3941, 3948, 3955, 3962, 3969, 3977, 3987, 3998, 4008, 4016, 4023, 4030, 4037, 4044, 4051, 4058, 4065, 4072, 4088, 4094, 4101, 4108, 4115, 4122, 4129, 4136, 4143, 4150, 4157, 4165, 4175, 4187, 4200, 4212, 4222, 4230, 4237, 4244, 4251, 4258, 4265, 4272, 4279, 4295, 4301, 4308, 4315, 4322, 4329, 4336, 4343, 4350, 4357, 4365, 4375, 4387, 4401, 4416, 4430, 4442, 4452, 4460, 4467, 4474, 4481, 4488, 4495, 4502, 4518, 4524, 4531, 4538, 4545, 4552, 4559, 4566, 4573, 4581, 4591, 4603, 4617, 4633, 4650, 4666, 4680, 4692, 4702, 4710, 4717, 4724, 4731, 4738, 4745, 4761, 4767, 4774, 4781, 4788, 4795, 4802, 4809, 4817, 4827, 4839, 4853, 4869, 4887, 4906, 4924, 4940, 4954, 4966, 4976, 4984, 4991, 4998, 5005, 5012, 5028, 5034, 5041, 5048, 5055, 5062, 5069, 5077, 5087, 5099, 5113, 5129, 5147, 5167, 5188, 5208, 5226, 5242, 5256, 5268, 5278, 5286, 5293, 5300, 5307, 5323, 5329, 5336, 5343, 5350, 5357, 5365, 5375, 5387, 5401, 5417, 5435, 5455, 5477, 5500, 5522, 5542, 5560, 5576, 5590, 5602, 5612, 5620, 5627, 5634, 5650, 5656, 5663, 5670, 5677, 5685, 5695, 5707, 5721, 5737, 5755, 5775, 5797, 5821, 5846, 5870, 5892, 5912, 5930, 5946, 5960, 5972, 5982, 5990, 5997, 6013, 6019, 6026, 6033, 6041, 6051, 6063, 6077, 6093, 6111, 6131, 6153, 6177, 6203, 6230, 6256, 6280, 6302, 6322, 6340, 6356, 6370, 6382, 6392, 6400, 6416, 6418, 6421, 6428, 6436, 6446, 6458, 6472, 6488, 6506, 6526, 6548, 6572, 6598, 6626, 6655, 6683, 6709, 6733, 6755, 6775, 6793, 6809, 6823, 6835, 6845, 6862]
[2025-06-02 09:41:47] [INFO ] Actually due to overlaps returned [448, 851, 1214, 1541, 1836, 2103, 2346, 2569, 2776, 2971, 3158, 3341, 3523, 3706, 3893, 4088, 4295, 4518, 4761, 5028, 5323, 5650, 6013, 6416, 6862, 4, 3343, 6418]
Discarding 28 places :
Implicit Place search using SMT only with invariants took 38640 ms to find 28 implicit places.
Starting structural reductions in LIVENESS mode, iteration 1 : 7059/9748 places, 12034/14659 transitions.
Applied a total of 0 rules in 112 ms. Remains 7059 /7059 variables (removed 0) and now considering 12034/12034 (removed 0) transitions.
Finished structural reductions in LIVENESS mode , in 2 iterations and 40111 ms. Remains : 7059/9748 places, 12034/14659 transitions.
Initial state reduction rules removed 25 formulas.
RANDOM walk for 40000 steps (1197 resets) in 12775 ms. (3 steps per ms) remains 11255/12009 properties
BEST_FIRST walk for 124 steps (8 resets) in 68 ms. (1 steps per ms) remains 11253/11255 properties
BEST_FIRST walk for 124 steps (8 resets) in 61 ms. (2 steps per ms) remains 11253/11253 properties
BEST_FIRST walk for 124 steps (8 resets) in 52 ms. (2 steps per ms) remains 11253/11253 properties
BEST_FIRST walk for 124 steps (8 resets) in 52 ms. (2 steps per ms) remains 11253/11253 properties
BEST_FIRST walk for 124 steps (8 resets) in 80 ms. (1 steps per ms) remains 11250/11253 properties
BEST_FIRST walk for 124 steps (8 resets) in 69 ms. (1 steps per ms) remains 11226/11250 properties
BEST_FIRST walk for 124 steps (8 resets) in 81 ms. (1 steps per ms) remains 11226/11226 properties
BEST_FIRST walk for 124 steps (8 resets) in 48 ms. (2 steps per ms) remains 11226/11226 properties
BEST_FIRST walk for 124 steps (8 resets) in 47 ms. (2 steps per ms) remains 11226/11226 properties
BEST_FIRST walk for 124 steps (8 resets) in 26 ms. (4 steps per ms) remains 11226/11226 properties
BEST_FIRST walk for 124 steps (8 resets) in 28 ms. (4 steps per ms) remains 11226/11226 properties
BEST_FIRST walk for 124 steps (8 resets) in 34 ms. (3 steps per ms) remains 11226/11226 properties
BEST_FIRST walk for 124 steps (8 resets) in 27 ms. (4 steps per ms) remains 11226/11226 properties
BEST_FIRST walk for 124 steps (8 resets) in 36 ms. (3 steps per ms) remains 11226/11226 properties
BEST_FIRST walk for 124 steps (8 resets) in 79 ms. (1 steps per ms) remains 11226/11226 properties
BEST_FIRST walk for 124 steps (8 resets) in 32 ms. (3 steps per ms) remains 11223/11226 properties
BEST_FIRST walk for 124 steps (8 resets) in 31 ms. (3 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 30 ms. (4 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 33 ms. (3 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 46 ms. (2 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 29 ms. (4 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 38 ms. (3 steps per ms) remains 11223/11223 properties
[2025-06-02 09:41:52] [INFO ] Flatten gal took : 1700 ms
BEST_FIRST walk for 124 steps (8 resets) in 31 ms. (3 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 26 ms. (4 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 28 ms. (4 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 29 ms. (4 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 29 ms. (4 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 35 ms. (3 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 28 ms. (4 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 33 ms. (3 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 22 ms. (5 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 31 ms. (3 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 33 ms. (3 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 29 ms. (4 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 33 ms. (3 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 31 ms. (3 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 35 ms. (3 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 25 ms. (4 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 27 ms. (4 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 31 ms. (3 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 33 ms. (3 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 29 ms. (4 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 34 ms. (3 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 23 ms. (5 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 27 ms. (4 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 25 ms. (4 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 26 ms. (4 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 33 ms. (3 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 26 ms. (4 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 19 ms. (6 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 28 ms. (4 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 26 ms. (4 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 29 ms. (4 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 30 ms. (4 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 30 ms. (4 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 22 ms. (5 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 32 ms. (3 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 29 ms. (4 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 31 ms. (3 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 30 ms. (4 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 11223/11223 properties
BEST_FIRST walk for 124 steps (8 resets) in 27 ms. (4 steps per ms) remains 11223/11223 properties
[2025-06-02 09:41:53] [INFO ] Flatten gal took : 959 ms
[2025-06-02 09:41:54] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality16821685455721051472.gal : 250 ms
[2025-06-02 09:41:54] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality7310605073392742445.prop : 176 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality16821685455721051472.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality7310605073392742445.prop' '--nowitness' '--gen-order' 'FOLLOW'

its-reach command run as :

/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...329
Loading property file /tmp/ReachabilityCardinality7310605073392742445.prop.
Interrupted probabilistic random walk after 21285 steps, run timeout after 12001 ms. (steps per millisecond=1 ) properties seen :2747 out of 11223
Probabilistic random walk after 21285 steps, saw 9916 distinct states, run finished after 12011 ms. (steps per millisecond=1 ) properties seen :2747
[2025-06-02 09:42:05] [INFO ] Flow matrix only has 11434 transitions (discarded 600 similar events)
// Phase 1: matrix 11434 rows 7059 cols
[2025-06-02 09:42:06] [INFO ] Computed 857 invariants in 692 ms
[2025-06-02 09:42:06] [INFO ] State equation strengthened by 4402 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
SMT process timed out in 18279ms, After SMT, problems are : Problem set: 0 solved, 8476 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 5218 out of 7059 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7059/7059 places, 12034/12034 transitions.
Discarding 942 places :
Symmetric choice reduction at 0 with 942 rule applications. Total rules 942 place count 6117 transition count 11092
Iterating global reduction 0 with 942 rules applied. Total rules applied 1884 place count 6117 transition count 11092
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 1885 place count 6117 transition count 11091
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1886 place count 6116 transition count 11091
Partial Free-agglomeration rule applied 23 times.
Drop transitions (Partial Free agglomeration) removed 23 transitions
Iterating global reduction 1 with 23 rules applied. Total rules applied 1909 place count 6116 transition count 11091
Applied a total of 1909 rules in 2121 ms. Remains 6116 /7059 variables (removed 943) and now considering 11091/12034 (removed 943) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2127 ms. Remains : 6116/7059 places, 11091/12034 transitions.
RANDOM walk for 141303 steps (4257 resets) in 120004 ms. (1 steps per ms) remains 5860/8476 properties
BEST_FIRST walk for 4004 steps (16 resets) in 580 ms. (6 steps per ms) remains 5858/5860 properties
BEST_FIRST walk for 4004 steps (16 resets) in 539 ms. (7 steps per ms) remains 5854/5858 properties
BEST_FIRST walk for 4004 steps (16 resets) in 450 ms. (8 steps per ms) remains 5852/5854 properties
BEST_FIRST walk for 4004 steps (16 resets) in 449 ms. (8 steps per ms) remains 5852/5852 properties
BEST_FIRST walk for 4004 steps (16 resets) in 411 ms. (9 steps per ms) remains 5852/5852 properties
BEST_FIRST walk for 4004 steps (16 resets) in 415 ms. (9 steps per ms) remains 5850/5852 properties
BEST_FIRST walk for 4003 steps (16 resets) in 374 ms. (10 steps per ms) remains 5848/5850 properties
BEST_FIRST walk for 4004 steps (16 resets) in 451 ms. (8 steps per ms) remains 5848/5848 properties
BEST_FIRST walk for 4004 steps (16 resets) in 434 ms. (9 steps per ms) remains 5848/5848 properties
BEST_FIRST walk for 4004 steps (16 resets) in 437 ms. (9 steps per ms) remains 5846/5848 properties
BEST_FIRST walk for 4004 steps (16 resets) in 404 ms. (9 steps per ms) remains 5846/5846 properties
BEST_FIRST walk for 4004 steps (16 resets) in 615 ms. (6 steps per ms) remains 5846/5846 properties
BEST_FIRST walk for 4004 steps (16 resets) in 510 ms. (7 steps per ms) remains 5844/5846 properties
BEST_FIRST walk for 4004 steps (16 resets) in 411 ms. (9 steps per ms) remains 5842/5844 properties
BEST_FIRST walk for 4004 steps (16 resets) in 427 ms. (9 steps per ms) remains 5842/5842 properties
BEST_FIRST walk for 4004 steps (16 resets) in 512 ms. (7 steps per ms) remains 5840/5842 properties
BEST_FIRST walk for 4004 steps (16 resets) in 526 ms. (7 steps per ms) remains 5840/5840 properties
BEST_FIRST walk for 4004 steps (16 resets) in 499 ms. (8 steps per ms) remains 5840/5840 properties
BEST_FIRST walk for 4004 steps (16 resets) in 473 ms. (8 steps per ms) remains 5840/5840 properties
BEST_FIRST walk for 4003 steps (16 resets) in 361 ms. (11 steps per ms) remains 5840/5840 properties
BEST_FIRST walk for 4004 steps (16 resets) in 421 ms. (9 steps per ms) remains 5840/5840 properties
BEST_FIRST walk for 4004 steps (14 resets) in 398 ms. (10 steps per ms) remains 5840/5840 properties
BEST_FIRST walk for 4003 steps (16 resets) in 410 ms. (9 steps per ms) remains 5838/5840 properties
BEST_FIRST walk for 4003 steps (12 resets) in 384 ms. (10 steps per ms) remains 5838/5838 properties
BEST_FIRST walk for 4004 steps (12 resets) in 389 ms. (10 steps per ms) remains 5834/5838 properties
BEST_FIRST walk for 4004 steps (15 resets) in 450 ms. (8 steps per ms) remains 5834/5834 properties
BEST_FIRST walk for 4003 steps (13 resets) in 480 ms. (8 steps per ms) remains 5834/5834 properties
BEST_FIRST walk for 4004 steps (12 resets) in 436 ms. (9 steps per ms) remains 5834/5834 properties
BEST_FIRST walk for 4004 steps (13 resets) in 359 ms. (11 steps per ms) remains 5834/5834 properties
BEST_FIRST walk for 4004 steps (13 resets) in 439 ms. (9 steps per ms) remains 5834/5834 properties
BEST_FIRST walk for 4004 steps (15 resets) in 435 ms. (9 steps per ms) remains 5832/5834 properties
BEST_FIRST walk for 4002 steps (14 resets) in 322 ms. (12 steps per ms) remains 5832/5832 properties
BEST_FIRST walk for 4003 steps (13 resets) in 304 ms. (13 steps per ms) remains 5830/5832 properties
BEST_FIRST walk for 4004 steps (14 resets) in 308 ms. (12 steps per ms) remains 5828/5830 properties
BEST_FIRST walk for 4004 steps (12 resets) in 326 ms. (12 steps per ms) remains 5826/5828 properties
BEST_FIRST walk for 4003 steps (12 resets) in 394 ms. (10 steps per ms) remains 5822/5826 properties
BEST_FIRST walk for 4004 steps (12 resets) in 417 ms. (9 steps per ms) remains 5820/5822 properties
BEST_FIRST walk for 4003 steps (15 resets) in 377 ms. (10 steps per ms) remains 5818/5820 properties
BEST_FIRST walk for 4003 steps (13 resets) in 336 ms. (11 steps per ms) remains 5818/5818 properties
BEST_FIRST walk for 4003 steps (15 resets) in 357 ms. (11 steps per ms) remains 5816/5818 properties
BEST_FIRST walk for 4004 steps (12 resets) in 295 ms. (13 steps per ms) remains 5816/5816 properties
BEST_FIRST walk for 4004 steps (12 resets) in 287 ms. (13 steps per ms) remains 5816/5816 properties
BEST_FIRST walk for 4004 steps (14 resets) in 405 ms. (9 steps per ms) remains 5816/5816 properties
BEST_FIRST walk for 4004 steps (13 resets) in 346 ms. (11 steps per ms) remains 5816/5816 properties
BEST_FIRST walk for 4003 steps (12 resets) in 405 ms. (9 steps per ms) remains 5814/5816 properties
BEST_FIRST walk for 4002 steps (12 resets) in 363 ms. (10 steps per ms) remains 5812/5814 properties
BEST_FIRST walk for 4004 steps (15 resets) in 404 ms. (9 steps per ms) remains 5812/5812 properties
BEST_FIRST walk for 4004 steps (13 resets) in 813 ms. (4 steps per ms) remains 5812/5812 properties
BEST_FIRST walk for 4002 steps (13 resets) in 309 ms. (12 steps per ms) remains 5812/5812 properties
BEST_FIRST walk for 4002 steps (13 resets) in 350 ms. (11 steps per ms) remains 5812/5812 properties
BEST_FIRST walk for 4003 steps (12 resets) in 352 ms. (11 steps per ms) remains 5806/5812 properties
BEST_FIRST walk for 4004 steps (14 resets) in 339 ms. (11 steps per ms) remains 5806/5806 properties
BEST_FIRST walk for 4002 steps (13 resets) in 381 ms. (10 steps per ms) remains 5806/5806 properties
BEST_FIRST walk for 4004 steps (12 resets) in 342 ms. (11 steps per ms) remains 5806/5806 properties
BEST_FIRST walk for 4004 steps (14 resets) in 300 ms. (13 steps per ms) remains 5804/5806 properties
BEST_FIRST walk for 4004 steps (13 resets) in 294 ms. (13 steps per ms) remains 5804/5804 properties
BEST_FIRST walk for 4004 steps (12 resets) in 368 ms. (10 steps per ms) remains 5804/5804 properties
BEST_FIRST walk for 4004 steps (15 resets) in 351 ms. (11 steps per ms) remains 5804/5804 properties
BEST_FIRST walk for 4004 steps (13 resets) in 368 ms. (10 steps per ms) remains 5802/5804 properties
BEST_FIRST walk for 4004 steps (13 resets) in 308 ms. (12 steps per ms) remains 5802/5802 properties
BEST_FIRST walk for 4004 steps (13 resets) in 368 ms. (10 steps per ms) remains 5802/5802 properties
BEST_FIRST walk for 4003 steps (12 resets) in 330 ms. (12 steps per ms) remains 5800/5802 properties
BEST_FIRST walk for 4002 steps (13 resets) in 378 ms. (10 steps per ms) remains 5800/5800 properties
BEST_FIRST walk for 4004 steps (12 resets) in 326 ms. (12 steps per ms) remains 5800/5800 properties
BEST_FIRST walk for 4002 steps (14 resets) in 372 ms. (10 steps per ms) remains 5800/5800 properties
BEST_FIRST walk for 4003 steps (14 resets) in 401 ms. (9 steps per ms) remains 5800/5800 properties
BEST_FIRST walk for 4004 steps (12 resets) in 339 ms. (11 steps per ms) remains 5798/5800 properties
BEST_FIRST walk for 4003 steps (15 resets) in 320 ms. (12 steps per ms) remains 5798/5798 properties
BEST_FIRST walk for 4003 steps (12 resets) in 308 ms. (12 steps per ms) remains 5798/5798 properties
BEST_FIRST walk for 4004 steps (12 resets) in 371 ms. (10 steps per ms) remains 5798/5798 properties
BEST_FIRST walk for 4004 steps (16 resets) in 415 ms. (9 steps per ms) remains 5796/5798 properties
BEST_FIRST walk for 4004 steps (14 resets) in 354 ms. (11 steps per ms) remains 5796/5796 properties
BEST_FIRST walk for 4003 steps (12 resets) in 438 ms. (9 steps per ms) remains 5796/5796 properties
BEST_FIRST walk for 4002 steps (13 resets) in 546 ms. (7 steps per ms) remains 5794/5796 properties
BEST_FIRST walk for 4004 steps (13 resets) in 556 ms. (7 steps per ms) remains 5792/5794 properties
BEST_FIRST walk for 4003 steps (13 resets) in 514 ms. (7 steps per ms) remains 5790/5792 properties
BEST_FIRST walk for 4004 steps (13 resets) in 390 ms. (10 steps per ms) remains 5788/5790 properties
BEST_FIRST walk for 4004 steps (12 resets) in 450 ms. (8 steps per ms) remains 5788/5788 properties
BEST_FIRST walk for 4004 steps (13 resets) in 490 ms. (8 steps per ms) remains 5786/5788 properties
BEST_FIRST walk for 4003 steps (14 resets) in 529 ms. (7 steps per ms) remains 5786/5786 properties
BEST_FIRST walk for 4004 steps (13 resets) in 333 ms. (11 steps per ms) remains 5778/5786 properties
BEST_FIRST walk for 4003 steps (15 resets) in 326 ms. (12 steps per ms) remains 5778/5778 properties
BEST_FIRST walk for 4004 steps (13 resets) in 285 ms. (14 steps per ms) remains 5778/5778 properties
BEST_FIRST walk for 4003 steps (14 resets) in 338 ms. (11 steps per ms) remains 5778/5778 properties
BEST_FIRST walk for 4003 steps (12 resets) in 360 ms. (11 steps per ms) remains 5778/5778 properties
BEST_FIRST walk for 4004 steps (16 resets) in 458 ms. (8 steps per ms) remains 5778/5778 properties
BEST_FIRST walk for 4003 steps (13 resets) in 359 ms. (11 steps per ms) remains 5778/5778 properties
BEST_FIRST walk for 4003 steps (15 resets) in 368 ms. (10 steps per ms) remains 5776/5778 properties
BEST_FIRST walk for 4004 steps (13 resets) in 438 ms. (9 steps per ms) remains 5776/5776 properties
BEST_FIRST walk for 4003 steps (13 resets) in 395 ms. (10 steps per ms) remains 5774/5776 properties
BEST_FIRST walk for 4004 steps (14 resets) in 425 ms. (9 steps per ms) remains 5770/5774 properties
BEST_FIRST walk for 4004 steps (12 resets) in 426 ms. (9 steps per ms) remains 5770/5770 properties
BEST_FIRST walk for 4004 steps (13 resets) in 406 ms. (9 steps per ms) remains 5770/5770 properties
BEST_FIRST walk for 4002 steps (14 resets) in 310 ms. (12 steps per ms) remains 5770/5770 properties
BEST_FIRST walk for 4002 steps (12 resets) in 408 ms. (9 steps per ms) remains 5770/5770 properties
BEST_FIRST walk for 4004 steps (14 resets) in 356 ms. (11 steps per ms) remains 5770/5770 properties
BEST_FIRST walk for 4002 steps (14 resets) in 349 ms. (11 steps per ms) remains 5770/5770 properties
BEST_FIRST walk for 4004 steps (14 resets) in 380 ms. (10 steps per ms) remains 5766/5770 properties
BEST_FIRST walk for 4002 steps (14 resets) in 297 ms. (13 steps per ms) remains 5766/5766 properties
BEST_FIRST walk for 4004 steps (16 resets) in 308 ms. (12 steps per ms) remains 5766/5766 properties
BEST_FIRST walk for 4003 steps (14 resets) in 295 ms. (13 steps per ms) remains 5766/5766 properties
BEST_FIRST walk for 4003 steps (12 resets) in 303 ms. (13 steps per ms) remains 5762/5766 properties
BEST_FIRST walk for 4004 steps (16 resets) in 398 ms. (10 steps per ms) remains 5758/5762 properties
BEST_FIRST walk for 4003 steps (14 resets) in 457 ms. (8 steps per ms) remains 5758/5758 properties
BEST_FIRST walk for 4004 steps (14 resets) in 419 ms. (9 steps per ms) remains 5758/5758 properties
BEST_FIRST walk for 4004 steps (13 resets) in 444 ms. (8 steps per ms) remains 5758/5758 properties
BEST_FIRST walk for 4002 steps (12 resets) in 399 ms. (10 steps per ms) remains 5758/5758 properties
BEST_FIRST walk for 4004 steps (14 resets) in 365 ms. (10 steps per ms) remains 5758/5758 properties
BEST_FIRST walk for 4004 steps (13 resets) in 404 ms. (9 steps per ms) remains 5756/5758 properties
BEST_FIRST walk for 4003 steps (12 resets) in 395 ms. (10 steps per ms) remains 5756/5756 properties
BEST_FIRST walk for 4004 steps (12 resets) in 278 ms. (14 steps per ms) remains 5756/5756 properties
BEST_FIRST walk for 4004 steps (13 resets) in 365 ms. (10 steps per ms) remains 5756/5756 properties
BEST_FIRST walk for 4002 steps (12 resets) in 323 ms. (12 steps per ms) remains 5756/5756 properties
BEST_FIRST walk for 4003 steps (13 resets) in 284 ms. (14 steps per ms) remains 5754/5756 properties
BEST_FIRST walk for 4004 steps (15 resets) in 298 ms. (13 steps per ms) remains 5754/5754 properties
BEST_FIRST walk for 4003 steps (12 resets) in 356 ms. (11 steps per ms) remains 5754/5754 properties
BEST_FIRST walk for 4004 steps (13 resets) in 372 ms. (10 steps per ms) remains 5754/5754 properties
BEST_FIRST walk for 4004 steps (12 resets) in 346 ms. (11 steps per ms) remains 5754/5754 properties
BEST_FIRST walk for 4001 steps (12 resets) in 356 ms. (11 steps per ms) remains 5752/5754 properties
BEST_FIRST walk for 4003 steps (13 resets) in 427 ms. (9 steps per ms) remains 5752/5752 properties
BEST_FIRST walk for 4003 steps (13 resets) in 405 ms. (9 steps per ms) remains 5750/5752 properties
BEST_FIRST walk for 4004 steps (13 resets) in 326 ms. (12 steps per ms) remains 5750/5750 properties
BEST_FIRST walk for 4004 steps (15 resets) in 412 ms. (9 steps per ms) remains 5750/5750 properties
BEST_FIRST walk for 4001 steps (15 resets) in 348 ms. (11 steps per ms) remains 5746/5750 properties
BEST_FIRST walk for 4004 steps (12 resets) in 348 ms. (11 steps per ms) remains 5744/5746 properties
BEST_FIRST walk for 4003 steps (12 resets) in 395 ms. (10 steps per ms) remains 5744/5744 properties
BEST_FIRST walk for 4004 steps (14 resets) in 363 ms. (11 steps per ms) remains 5744/5744 properties
BEST_FIRST walk for 4004 steps (14 resets) in 382 ms. (10 steps per ms) remains 5744/5744 properties
BEST_FIRST walk for 4003 steps (12 resets) in 332 ms. (12 steps per ms) remains 5742/5744 properties
BEST_FIRST walk for 4003 steps (13 resets) in 316 ms. (12 steps per ms) remains 5740/5742 properties
BEST_FIRST walk for 4003 steps (12 resets) in 319 ms. (12 steps per ms) remains 5740/5740 properties
BEST_FIRST walk for 4004 steps (13 resets) in 288 ms. (13 steps per ms) remains 5740/5740 properties
BEST_FIRST walk for 4004 steps (12 resets) in 356 ms. (11 steps per ms) remains 5740/5740 properties
BEST_FIRST walk for 4004 steps (12 resets) in 316 ms. (12 steps per ms) remains 5740/5740 properties
BEST_FIRST walk for 4004 steps (12 resets) in 319 ms. (12 steps per ms) remains 5740/5740 properties
BEST_FIRST walk for 4003 steps (13 resets) in 322 ms. (12 steps per ms) remains 5740/5740 properties
BEST_FIRST walk for 4002 steps (12 resets) in 343 ms. (11 steps per ms) remains 5740/5740 properties
BEST_FIRST walk for 4004 steps (13 resets) in 294 ms. (13 steps per ms) remains 5740/5740 properties
BEST_FIRST walk for 4003 steps (12 resets) in 292 ms. (13 steps per ms) remains 5740/5740 properties
BEST_FIRST walk for 4004 steps (13 resets) in 281 ms. (14 steps per ms) remains 5738/5740 properties
BEST_FIRST walk for 4003 steps (13 resets) in 278 ms. (14 steps per ms) remains 5738/5738 properties
BEST_FIRST walk for 4002 steps (13 resets) in 333 ms. (11 steps per ms) remains 5738/5738 properties
BEST_FIRST walk for 4004 steps (13 resets) in 411 ms. (9 steps per ms) remains 5738/5738 properties
BEST_FIRST walk for 4003 steps (13 resets) in 368 ms. (10 steps per ms) remains 5738/5738 properties
BEST_FIRST walk for 4004 steps (12 resets) in 400 ms. (9 steps per ms) remains 5736/5738 properties
BEST_FIRST walk for 4002 steps (13 resets) in 350 ms. (11 steps per ms) remains 5736/5736 properties
BEST_FIRST walk for 4004 steps (12 resets) in 273 ms. (14 steps per ms) remains 5736/5736 properties
BEST_FIRST walk for 4004 steps (14 resets) in 353 ms. (11 steps per ms) remains 5734/5736 properties
BEST_FIRST walk for 4004 steps (12 resets) in 360 ms. (11 steps per ms) remains 5734/5734 properties
BEST_FIRST walk for 4003 steps (12 resets) in 336 ms. (11 steps per ms) remains 5734/5734 properties
BEST_FIRST walk for 4004 steps (14 resets) in 315 ms. (12 steps per ms) remains 5730/5734 properties
BEST_FIRST walk for 4003 steps (13 resets) in 392 ms. (10 steps per ms) remains 5730/5730 properties
BEST_FIRST walk for 4004 steps (14 resets) in 848 ms. (4 steps per ms) remains 5726/5730 properties
BEST_FIRST walk for 4004 steps (12 resets) in 335 ms. (11 steps per ms) remains 5726/5726 properties
BEST_FIRST walk for 4003 steps (14 resets) in 329 ms. (12 steps per ms) remains 5724/5726 properties
BEST_FIRST walk for 4002 steps (15 resets) in 375 ms. (10 steps per ms) remains 5724/5724 properties
BEST_FIRST walk for 4003 steps (13 resets) in 344 ms. (11 steps per ms) remains 5724/5724 properties
BEST_FIRST walk for 4003 steps (15 resets) in 304 ms. (13 steps per ms) remains 5722/5724 properties
BEST_FIRST walk for 4003 steps (12 resets) in 358 ms. (11 steps per ms) remains 5722/5722 properties
BEST_FIRST walk for 4002 steps (14 resets) in 407 ms. (9 steps per ms) remains 5720/5722 properties
BEST_FIRST walk for 4004 steps (14 resets) in 417 ms. (9 steps per ms) remains 5720/5720 properties
BEST_FIRST walk for 4003 steps (12 resets) in 440 ms. (9 steps per ms) remains 5718/5720 properties
BEST_FIRST walk for 4004 steps (13 resets) in 377 ms. (10 steps per ms) remains 5716/5718 properties
BEST_FIRST walk for 4003 steps (12 resets) in 293 ms. (13 steps per ms) remains 5716/5716 properties
BEST_FIRST walk for 4002 steps (13 resets) in 373 ms. (10 steps per ms) remains 5716/5716 properties
BEST_FIRST walk for 4002 steps (14 resets) in 341 ms. (11 steps per ms) remains 5716/5716 properties
BEST_FIRST walk for 4004 steps (12 resets) in 283 ms. (14 steps per ms) remains 5716/5716 properties
BEST_FIRST walk for 4004 steps (13 resets) in 345 ms. (11 steps per ms) remains 5716/5716 properties
BEST_FIRST walk for 4004 steps (13 resets) in 357 ms. (11 steps per ms) remains 5716/5716 properties
BEST_FIRST walk for 4001 steps (12 resets) in 403 ms. (9 steps per ms) remains 5716/5716 properties
BEST_FIRST walk for 4004 steps (14 resets) in 469 ms. (8 steps per ms) remains 5716/5716 properties
BEST_FIRST walk for 4004 steps (13 resets) in 419 ms. (9 steps per ms) remains 5714/5716 properties
BEST_FIRST walk for 4003 steps (12 resets) in 409 ms. (9 steps per ms) remains 5714/5714 properties
BEST_FIRST walk for 4003 steps (12 resets) in 341 ms. (11 steps per ms) remains 5714/5714 properties
BEST_FIRST walk for 4003 steps (12 resets) in 328 ms. (12 steps per ms) remains 5714/5714 properties
BEST_FIRST walk for 4004 steps (12 resets) in 327 ms. (12 steps per ms) remains 5712/5714 properties
BEST_FIRST walk for 4004 steps (13 resets) in 313 ms. (12 steps per ms) remains 5712/5712 properties
BEST_FIRST walk for 4004 steps (13 resets) in 365 ms. (10 steps per ms) remains 5710/5712 properties
BEST_FIRST walk for 4004 steps (16 resets) in 460 ms. (8 steps per ms) remains 5710/5710 properties
BEST_FIRST walk for 4004 steps (14 resets) in 392 ms. (10 steps per ms) remains 5710/5710 properties
BEST_FIRST walk for 4003 steps (13 resets) in 386 ms. (10 steps per ms) remains 5710/5710 properties
BEST_FIRST walk for 4004 steps (12 resets) in 397 ms. (10 steps per ms) remains 5710/5710 properties
BEST_FIRST walk for 4004 steps (13 resets) in 351 ms. (11 steps per ms) remains 5708/5710 properties
BEST_FIRST walk for 4004 steps (13 resets) in 311 ms. (12 steps per ms) remains 5708/5708 properties
BEST_FIRST walk for 4004 steps (13 resets) in 357 ms. (11 steps per ms) remains 5708/5708 properties
BEST_FIRST walk for 4004 steps (14 resets) in 359 ms. (11 steps per ms) remains 5708/5708 properties
BEST_FIRST walk for 4004 steps (12 resets) in 305 ms. (13 steps per ms) remains 5708/5708 properties
BEST_FIRST walk for 4003 steps (13 resets) in 320 ms. (12 steps per ms) remains 5708/5708 properties
BEST_FIRST walk for 4003 steps (14 resets) in 328 ms. (12 steps per ms) remains 5708/5708 properties
BEST_FIRST walk for 4003 steps (13 resets) in 290 ms. (13 steps per ms) remains 5708/5708 properties
BEST_FIRST walk for 4004 steps (14 resets) in 335 ms. (11 steps per ms) remains 5708/5708 properties
BEST_FIRST walk for 4003 steps (14 resets) in 341 ms. (11 steps per ms) remains 5708/5708 properties
BEST_FIRST walk for 4004 steps (12 resets) in 306 ms. (13 steps per ms) remains 5706/5708 properties
BEST_FIRST walk for 4004 steps (13 resets) in 308 ms. (12 steps per ms) remains 5706/5706 properties
BEST_FIRST walk for 4003 steps (13 resets) in 293 ms. (13 steps per ms) remains 5704/5706 properties
BEST_FIRST walk for 4004 steps (14 resets) in 299 ms. (13 steps per ms) remains 5704/5704 properties
BEST_FIRST walk for 4004 steps (15 resets) in 300 ms. (13 steps per ms) remains 5700/5704 properties
BEST_FIRST walk for 4004 steps (16 resets) in 362 ms. (11 steps per ms) remains 5698/5700 properties
BEST_FIRST walk for 4004 steps (13 resets) in 455 ms. (8 steps per ms) remains 5698/5698 properties
BEST_FIRST walk for 4003 steps (13 resets) in 391 ms. (10 steps per ms) remains 5698/5698 properties
BEST_FIRST walk for 4004 steps (16 resets) in 472 ms. (8 steps per ms) remains 5698/5698 properties
BEST_FIRST walk for 4003 steps (13 resets) in 391 ms. (10 steps per ms) remains 5698/5698 properties
BEST_FIRST walk for 4003 steps (12 resets) in 389 ms. (10 steps per ms) remains 5695/5698 properties
BEST_FIRST walk for 4004 steps (12 resets) in 366 ms. (10 steps per ms) remains 5695/5695 properties
BEST_FIRST walk for 4002 steps (13 resets) in 337 ms. (11 steps per ms) remains 5695/5695 properties
BEST_FIRST walk for 4004 steps (13 resets) in 388 ms. (10 steps per ms) remains 5692/5695 properties
BEST_FIRST walk for 4004 steps (16 resets) in 382 ms. (10 steps per ms) remains 5692/5692 properties
BEST_FIRST walk for 4003 steps (12 resets) in 337 ms. (11 steps per ms) remains 5690/5692 properties
BEST_FIRST walk for 4003 steps (13 resets) in 336 ms. (11 steps per ms) remains 5690/5690 properties
BEST_FIRST walk for 4002 steps (12 resets) in 364 ms. (10 steps per ms) remains 5688/5690 properties
BEST_FIRST walk for 4004 steps (15 resets) in 382 ms. (10 steps per ms) remains 5688/5688 properties
BEST_FIRST walk for 4004 steps (12 resets) in 305 ms. (13 steps per ms) remains 5688/5688 properties
BEST_FIRST walk for 4002 steps (13 resets) in 285 ms. (13 steps per ms) remains 5688/5688 properties
BEST_FIRST walk for 4003 steps (14 resets) in 322 ms. (12 steps per ms) remains 5686/5688 properties
BEST_FIRST walk for 4004 steps (16 resets) in 418 ms. (9 steps per ms) remains 5686/5686 properties
BEST_FIRST walk for 4003 steps (13 resets) in 349 ms. (11 steps per ms) remains 5686/5686 properties
BEST_FIRST walk for 4003 steps (12 resets) in 383 ms. (10 steps per ms) remains 5684/5686 properties
BEST_FIRST walk for 4004 steps (13 resets) in 368 ms. (10 steps per ms) remains 5684/5684 properties
BEST_FIRST walk for 4003 steps (13 resets) in 357 ms. (11 steps per ms) remains 5680/5684 properties
BEST_FIRST walk for 4003 steps (13 resets) in 370 ms. (10 steps per ms) remains 5680/5680 properties
BEST_FIRST walk for 4003 steps (12 resets) in 348 ms. (11 steps per ms) remains 5680/5680 properties
BEST_FIRST walk for 4003 steps (14 resets) in 350 ms. (11 steps per ms) remains 5676/5680 properties
BEST_FIRST walk for 4003 steps (14 resets) in 356 ms. (11 steps per ms) remains 5674/5676 properties
BEST_FIRST walk for 4004 steps (12 resets) in 359 ms. (11 steps per ms) remains 5672/5674 properties
BEST_FIRST walk for 4003 steps (14 resets) in 455 ms. (8 steps per ms) remains 5670/5672 properties
BEST_FIRST walk for 4003 steps (13 resets) in 401 ms. (9 steps per ms) remains 5670/5670 properties
BEST_FIRST walk for 4004 steps (12 resets) in 442 ms. (9 steps per ms) remains 5668/5670 properties
BEST_FIRST walk for 4004 steps (12 resets) in 394 ms. (10 steps per ms) remains 5668/5668 properties
BEST_FIRST walk for 4003 steps (14 resets) in 428 ms. (9 steps per ms) remains 5668/5668 properties
BEST_FIRST walk for 4004 steps (16 resets) in 450 ms. (8 steps per ms) remains 5666/5668 properties
BEST_FIRST walk for 4003 steps (12 resets) in 401 ms. (9 steps per ms) remains 5666/5666 properties
BEST_FIRST walk for 4003 steps (14 resets) in 344 ms. (11 steps per ms) remains 5662/5666 properties
BEST_FIRST walk for 4003 steps (12 resets) in 364 ms. (10 steps per ms) remains 5662/5662 properties
BEST_FIRST walk for 4003 steps (14 resets) in 422 ms. (9 steps per ms) remains 5658/5662 properties
BEST_FIRST walk for 4002 steps (14 resets) in 392 ms. (10 steps per ms) remains 5658/5658 properties
BEST_FIRST walk for 4004 steps (13 resets) in 364 ms. (10 steps per ms) remains 5656/5658 properties
BEST_FIRST walk for 4003 steps (13 resets) in 365 ms. (10 steps per ms) remains 5656/5656 properties
BEST_FIRST walk for 4004 steps (13 resets) in 364 ms. (10 steps per ms) remains 5654/5656 properties
BEST_FIRST walk for 4004 steps (14 resets) in 335 ms. (11 steps per ms) remains 5654/5654 properties
BEST_FIRST walk for 4004 steps (14 resets) in 315 ms. (12 steps per ms) remains 5654/5654 properties
BEST_FIRST walk for 4003 steps (14 resets) in 368 ms. (10 steps per ms) remains 5654/5654 properties
BEST_FIRST walk for 4004 steps (14 resets) in 357 ms. (11 steps per ms) remains 5652/5654 properties
BEST_FIRST walk for 4004 steps (16 resets) in 348 ms. (11 steps per ms) remains 5652/5652 properties
BEST_FIRST walk for 4004 steps (13 resets) in 312 ms. (12 steps per ms) remains 5652/5652 properties
BEST_FIRST walk for 4004 steps (13 resets) in 366 ms. (10 steps per ms) remains 5650/5652 properties
BEST_FIRST walk for 4004 steps (13 resets) in 346 ms. (11 steps per ms) remains 5650/5650 properties
BEST_FIRST walk for 4003 steps (13 resets) in 301 ms. (13 steps per ms) remains 5650/5650 properties
BEST_FIRST walk for 4003 steps (14 resets) in 292 ms. (13 steps per ms) remains 5650/5650 properties
BEST_FIRST walk for 4003 steps (13 resets) in 326 ms. (12 steps per ms) remains 5650/5650 properties
BEST_FIRST walk for 4004 steps (13 resets) in 360 ms. (11 steps per ms) remains 5650/5650 properties
BEST_FIRST walk for 4003 steps (13 resets) in 332 ms. (12 steps per ms) remains 5648/5650 properties
BEST_FIRST walk for 4004 steps (12 resets) in 292 ms. (13 steps per ms) remains 5648/5648 properties
BEST_FIRST walk for 4004 steps (13 resets) in 335 ms. (11 steps per ms) remains 5648/5648 properties
BEST_FIRST walk for 4004 steps (16 resets) in 462 ms. (8 steps per ms) remains 5648/5648 properties
BEST_FIRST walk for 4004 steps (13 resets) in 427 ms. (9 steps per ms) remains 5648/5648 properties
BEST_FIRST walk for 4004 steps (13 resets) in 414 ms. (9 steps per ms) remains 5648/5648 properties
BEST_FIRST walk for 4004 steps (13 resets) in 356 ms. (11 steps per ms) remains 5648/5648 properties
BEST_FIRST walk for 4004 steps (13 resets) in 318 ms. (12 steps per ms) remains 5648/5648 properties
BEST_FIRST walk for 4002 steps (13 resets) in 845 ms. (4 steps per ms) remains 5648/5648 properties
BEST_FIRST walk for 4004 steps (13 resets) in 416 ms. (9 steps per ms) remains 5646/5648 properties
BEST_FIRST walk for 4003 steps (12 resets) in 366 ms. (10 steps per ms) remains 5646/5646 properties
BEST_FIRST walk for 4004 steps (12 resets) in 365 ms. (10 steps per ms) remains 5646/5646 properties
BEST_FIRST walk for 4004 steps (15 resets) in 391 ms. (10 steps per ms) remains 5646/5646 properties
BEST_FIRST walk for 4003 steps (13 resets) in 384 ms. (10 steps per ms) remains 5646/5646 properties
BEST_FIRST walk for 4003 steps (14 resets) in 303 ms. (13 steps per ms) remains 5644/5646 properties
BEST_FIRST walk for 4004 steps (12 resets) in 341 ms. (11 steps per ms) remains 5644/5644 properties
BEST_FIRST walk for 4004 steps (12 resets) in 317 ms. (12 steps per ms) remains 5644/5644 properties
BEST_FIRST walk for 4003 steps (13 resets) in 299 ms. (13 steps per ms) remains 5644/5644 properties
BEST_FIRST walk for 4002 steps (14 resets) in 355 ms. (11 steps per ms) remains 5642/5644 properties
BEST_FIRST walk for 4004 steps (16 resets) in 412 ms. (9 steps per ms) remains 5642/5642 properties
BEST_FIRST walk for 4002 steps (13 resets) in 325 ms. (12 steps per ms) remains 5639/5642 properties
BEST_FIRST walk for 4004 steps (12 resets) in 361 ms. (11 steps per ms) remains 5637/5639 properties
BEST_FIRST walk for 4003 steps (13 resets) in 372 ms. (10 steps per ms) remains 5637/5637 properties
BEST_FIRST walk for 4004 steps (13 resets) in 303 ms. (13 steps per ms) remains 5637/5637 properties
BEST_FIRST walk for 4004 steps (15 resets) in 395 ms. (10 steps per ms) remains 5637/5637 properties
BEST_FIRST walk for 4003 steps (14 resets) in 327 ms. (12 steps per ms) remains 5635/5637 properties
BEST_FIRST walk for 4003 steps (13 resets) in 363 ms. (10 steps per ms) remains 5635/5635 properties
BEST_FIRST walk for 4004 steps (16 resets) in 317 ms. (12 steps per ms) remains 5635/5635 properties
BEST_FIRST walk for 4004 steps (16 resets) in 410 ms. (9 steps per ms) remains 5633/5635 properties
BEST_FIRST walk for 4004 steps (16 resets) in 384 ms. (10 steps per ms) remains 5633/5633 properties
BEST_FIRST walk for 4004 steps (16 resets) in 397 ms. (10 steps per ms) remains 5629/5633 properties
BEST_FIRST walk for 4004 steps (16 resets) in 389 ms. (10 steps per ms) remains 5627/5629 properties
BEST_FIRST walk for 4004 steps (16 resets) in 519 ms. (7 steps per ms) remains 5627/5627 properties
BEST_FIRST walk for 4004 steps (16 resets) in 460 ms. (8 steps per ms) remains 5627/5627 properties
BEST_FIRST walk for 4004 steps (16 resets) in 418 ms. (9 steps per ms) remains 5627/5627 properties
BEST_FIRST walk for 4004 steps (16 resets) in 386 ms. (10 steps per ms) remains 5627/5627 properties
BEST_FIRST walk for 4003 steps (16 resets) in 407 ms. (9 steps per ms) remains 5627/5627 properties
BEST_FIRST walk for 4004 steps (16 resets) in 441 ms. (9 steps per ms) remains 5627/5627 properties
BEST_FIRST walk for 4004 steps (16 resets) in 498 ms. (8 steps per ms) remains 5627/5627 properties
BEST_FIRST walk for 4004 steps (16 resets) in 469 ms. (8 steps per ms) remains 5627/5627 properties
BEST_FIRST walk for 4004 steps (16 resets) in 459 ms. (8 steps per ms) remains 5627/5627 properties
BEST_FIRST walk for 4004 steps (16 resets) in 442 ms. (9 steps per ms) remains 5627/5627 properties
BEST_FIRST walk for 4004 steps (16 resets) in 425 ms. (9 steps per ms) remains 5625/5627 properties
BEST_FIRST walk for 4004 steps (16 resets) in 470 ms. (8 steps per ms) remains 5625/5625 properties
BEST_FIRST walk for 4004 steps (16 resets) in 428 ms. (9 steps per ms) remains 5625/5625 properties
BEST_FIRST walk for 4004 steps (16 resets) in 395 ms. (10 steps per ms) remains 5625/5625 properties
BEST_FIRST walk for 4004 steps (16 resets) in 436 ms. (9 steps per ms) remains 5625/5625 properties
BEST_FIRST walk for 4004 steps (16 resets) in 403 ms. (9 steps per ms) remains 5625/5625 properties
BEST_FIRST walk for 4004 steps (15 resets) in 393 ms. (10 steps per ms) remains 5623/5625 properties
BEST_FIRST walk for 4003 steps (16 resets) in 344 ms. (11 steps per ms) remains 5623/5623 properties
BEST_FIRST walk for 4004 steps (12 resets) in 338 ms. (11 steps per ms) remains 5623/5623 properties
BEST_FIRST walk for 4003 steps (12 resets) in 314 ms. (12 steps per ms) remains 5623/5623 properties
BEST_FIRST walk for 4004 steps (16 resets) in 375 ms. (10 steps per ms) remains 5621/5623 properties
BEST_FIRST walk for 4004 steps (12 resets) in 277 ms. (14 steps per ms) remains 5621/5621 properties
BEST_FIRST walk for 4003 steps (12 resets) in 308 ms. (12 steps per ms) remains 5621/5621 properties
BEST_FIRST walk for 4004 steps (13 resets) in 340 ms. (11 steps per ms) remains 5621/5621 properties
BEST_FIRST walk for 4004 steps (15 resets) in 331 ms. (12 steps per ms) remains 5621/5621 properties
BEST_FIRST walk for 4004 steps (15 resets) in 324 ms. (12 steps per ms) remains 5621/5621 properties
BEST_FIRST walk for 4003 steps (16 resets) in 332 ms. (12 steps per ms) remains 5619/5621 properties
BEST_FIRST walk for 4002 steps (14 resets) in 365 ms. (10 steps per ms) remains 5619/5619 properties
BEST_FIRST walk for 4004 steps (14 resets) in 323 ms. (12 steps per ms) remains 5617/5619 properties
BEST_FIRST walk for 4004 steps (14 resets) in 371 ms. (10 steps per ms) remains 5617/5617 properties
BEST_FIRST walk for 4004 steps (13 resets) in 315 ms. (12 steps per ms) remains 5617/5617 properties
BEST_FIRST walk for 4003 steps (13 resets) in 284 ms. (14 steps per ms) remains 5617/5617 properties
BEST_FIRST walk for 4001 steps (15 resets) in 287 ms. (13 steps per ms) remains 5615/5617 properties
BEST_FIRST walk for 4004 steps (15 resets) in 352 ms. (11 steps per ms) remains 5615/5615 properties
BEST_FIRST walk for 4003 steps (14 resets) in 406 ms. (9 steps per ms) remains 5615/5615 properties
BEST_FIRST walk for 4003 steps (14 resets) in 365 ms. (10 steps per ms) remains 5613/5615 properties
BEST_FIRST walk for 4003 steps (12 resets) in 410 ms. (9 steps per ms) remains 5611/5613 properties
BEST_FIRST walk for 4003 steps (13 resets) in 382 ms. (10 steps per ms) remains 5611/5611 properties
BEST_FIRST walk for 4003 steps (13 resets) in 403 ms. (9 steps per ms) remains 5611/5611 properties
BEST_FIRST walk for 4004 steps (13 resets) in 397 ms. (10 steps per ms) remains 5611/5611 properties
BEST_FIRST walk for 4004 steps (12 resets) in 390 ms. (10 steps per ms) remains 5611/5611 properties
BEST_FIRST walk for 4004 steps (14 resets) in 334 ms. (11 steps per ms) remains 5609/5611 properties
BEST_FIRST walk for 4003 steps (15 resets) in 427 ms. (9 steps per ms) remains 5609/5609 properties
BEST_FIRST walk for 4004 steps (12 resets) in 374 ms. (10 steps per ms) remains 5609/5609 properties
BEST_FIRST walk for 4003 steps (14 resets) in 323 ms. (12 steps per ms) remains 5609/5609 properties
BEST_FIRST walk for 4004 steps (13 resets) in 352 ms. (11 steps per ms) remains 5609/5609 properties
BEST_FIRST walk for 4004 steps (13 resets) in 355 ms. (11 steps per ms) remains 5609/5609 properties
BEST_FIRST walk for 4004 steps (13 resets) in 319 ms. (12 steps per ms) remains 5609/5609 properties
BEST_FIRST walk for 4003 steps (13 resets) in 327 ms. (12 steps per ms) remains 5609/5609 properties
BEST_FIRST walk for 4003 steps (12 resets) in 291 ms. (13 steps per ms) remains 5608/5609 properties
BEST_FIRST walk for 4002 steps (14 resets) in 402 ms. (9 steps per ms) remains 5608/5608 properties
BEST_FIRST walk for 4002 steps (13 resets) in 415 ms. (9 steps per ms) remains 5608/5608 properties
BEST_FIRST walk for 4004 steps (13 resets) in 344 ms. (11 steps per ms) remains 5608/5608 properties
BEST_FIRST walk for 4003 steps (16 resets) in 378 ms. (10 steps per ms) remains 5606/5608 properties
BEST_FIRST walk for 4003 steps (13 resets) in 356 ms. (11 steps per ms) remains 5606/5606 properties
BEST_FIRST walk for 4004 steps (12 resets) in 299 ms. (13 steps per ms) remains 5606/5606 properties
BEST_FIRST walk for 4002 steps (14 resets) in 293 ms. (13 steps per ms) remains 5606/5606 properties
BEST_FIRST walk for 4004 steps (13 resets) in 329 ms. (12 steps per ms) remains 5606/5606 properties
BEST_FIRST walk for 4004 steps (12 resets) in 325 ms. (12 steps per ms) remains 5606/5606 properties
BEST_FIRST walk for 4004 steps (13 resets) in 359 ms. (11 steps per ms) remains 5604/5606 properties
BEST_FIRST walk for 4004 steps (14 resets) in 364 ms. (10 steps per ms) remains 5604/5604 properties
BEST_FIRST walk for 4004 steps (13 resets) in 358 ms. (11 steps per ms) remains 5604/5604 properties
BEST_FIRST walk for 4003 steps (14 resets) in 357 ms. (11 steps per ms) remains 5604/5604 properties
BEST_FIRST walk for 4004 steps (12 resets) in 368 ms. (10 steps per ms) remains 5604/5604 properties
BEST_FIRST walk for 4004 steps (13 resets) in 330 ms. (12 steps per ms) remains 5604/5604 properties
BEST_FIRST walk for 4003 steps (13 resets) in 402 ms. (9 steps per ms) remains 5604/5604 properties
BEST_FIRST walk for 4003 steps (15 resets) in 379 ms. (10 steps per ms) remains 5604/5604 properties
BEST_FIRST walk for 4004 steps (12 resets) in 378 ms. (10 steps per ms) remains 5604/5604 properties
BEST_FIRST walk for 4004 steps (14 resets) in 375 ms. (10 steps per ms) remains 5604/5604 properties
BEST_FIRST walk for 4004 steps (14 resets) in 351 ms. (11 steps per ms) remains 5602/5604 properties
BEST_FIRST walk for 4003 steps (12 resets) in 372 ms. (10 steps per ms) remains 5602/5602 properties
BEST_FIRST walk for 4004 steps (13 resets) in 365 ms. (10 steps per ms) remains 5602/5602 properties
BEST_FIRST walk for 4004 steps (13 resets) in 340 ms. (11 steps per ms) remains 5602/5602 properties
BEST_FIRST walk for 4003 steps (15 resets) in 317 ms. (12 steps per ms) remains 5602/5602 properties
BEST_FIRST walk for 4004 steps (14 resets) in 375 ms. (10 steps per ms) remains 5602/5602 properties
BEST_FIRST walk for 4004 steps (13 resets) in 383 ms. (10 steps per ms) remains 5602/5602 properties
BEST_FIRST walk for 4003 steps (13 resets) in 313 ms. (12 steps per ms) remains 5600/5602 properties
BEST_FIRST walk for 4004 steps (12 resets) in 282 ms. (14 steps per ms) remains 5600/5600 properties
BEST_FIRST walk for 4002 steps (12 resets) in 517 ms. (7 steps per ms) remains 5600/5600 properties
BEST_FIRST walk for 4003 steps (12 resets) in 350 ms. (11 steps per ms) remains 5600/5600 properties
BEST_FIRST walk for 4003 steps (14 resets) in 402 ms. (9 steps per ms) remains 5600/5600 properties
BEST_FIRST walk for 4004 steps (16 resets) in 366 ms. (10 steps per ms) remains 5600/5600 properties
BEST_FIRST walk for 4004 steps (14 resets) in 337 ms. (11 steps per ms) remains 5600/5600 properties
BEST_FIRST walk for 4004 steps (13 resets) in 366 ms. (10 steps per ms) remains 5600/5600 properties
BEST_FIRST walk for 4004 steps (12 resets) in 347 ms. (11 steps per ms) remains 5600/5600 properties
BEST_FIRST walk for 4003 steps (14 resets) in 350 ms. (11 steps per ms) remains 5598/5600 properties
BEST_FIRST walk for 4004 steps (12 resets) in 412 ms. (9 steps per ms) remains 5598/5598 properties
BEST_FIRST walk for 4004 steps (13 resets) in 391 ms. (10 steps per ms) remains 5598/5598 properties
BEST_FIRST walk for 4002 steps (13 resets) in 425 ms. (9 steps per ms) remains 5598/5598 properties
BEST_FIRST walk for 4004 steps (14 resets) in 400 ms. (9 steps per ms) remains 5598/5598 properties
BEST_FIRST walk for 4003 steps (12 resets) in 317 ms. (12 steps per ms) remains 5598/5598 properties
BEST_FIRST walk for 4004 steps (13 resets) in 344 ms. (11 steps per ms) remains 5598/5598 properties
BEST_FIRST walk for 4004 steps (14 resets) in 359 ms. (11 steps per ms) remains 5598/5598 properties
BEST_FIRST walk for 4004 steps (12 resets) in 344 ms. (11 steps per ms) remains 5596/5598 properties
BEST_FIRST walk for 4003 steps (13 resets) in 319 ms. (12 steps per ms) remains 5596/5596 properties
BEST_FIRST walk for 4003 steps (12 resets) in 312 ms. (12 steps per ms) remains 5596/5596 properties
BEST_FIRST walk for 4003 steps (13 resets) in 355 ms. (11 steps per ms) remains 5596/5596 properties
BEST_FIRST walk for 4004 steps (12 resets) in 288 ms. (13 steps per ms) remains 5596/5596 properties
BEST_FIRST walk for 4004 steps (12 resets) in 283 ms. (14 steps per ms) remains 5596/5596 properties
BEST_FIRST walk for 4004 steps (13 resets) in 296 ms. (13 steps per ms) remains 5596/5596 properties
BEST_FIRST walk for 4003 steps (13 resets) in 288 ms. (13 steps per ms) remains 5592/5596 properties
BEST_FIRST walk for 4003 steps (14 resets) in 364 ms. (10 steps per ms) remains 5592/5592 properties
BEST_FIRST walk for 4004 steps (14 resets) in 334 ms. (11 steps per ms) remains 5592/5592 properties
BEST_FIRST walk for 4004 steps (13 resets) in 349 ms. (11 steps per ms) remains 5592/5592 properties
BEST_FIRST walk for 4004 steps (14 resets) in 335 ms. (11 steps per ms) remains 5592/5592 properties
BEST_FIRST walk for 4003 steps (15 resets) in 376 ms. (10 steps per ms) remains 5591/5592 properties
BEST_FIRST walk for 4004 steps (13 resets) in 354 ms. (11 steps per ms) remains 5591/5591 properties
BEST_FIRST walk for 4003 steps (14 resets) in 382 ms. (10 steps per ms) remains 5591/5591 properties
BEST_FIRST walk for 4004 steps (13 resets) in 415 ms. (9 steps per ms) remains 5591/5591 properties
BEST_FIRST walk for 4003 steps (13 resets) in 386 ms. (10 steps per ms) remains 5591/5591 properties
BEST_FIRST walk for 4004 steps (13 resets) in 425 ms. (9 steps per ms) remains 5591/5591 properties
BEST_FIRST walk for 4003 steps (13 resets) in 356 ms. (11 steps per ms) remains 5591/5591 properties
BEST_FIRST walk for 4003 steps (13 resets) in 345 ms. (11 steps per ms) remains 5591/5591 properties
BEST_FIRST walk for 4004 steps (13 resets) in 359 ms. (11 steps per ms) remains 5591/5591 properties
BEST_FIRST walk for 4004 steps (13 resets) in 343 ms. (11 steps per ms) remains 5591/5591 properties
BEST_FIRST walk for 4004 steps (16 resets) in 393 ms. (10 steps per ms) remains 5591/5591 properties
BEST_FIRST walk for 4003 steps (12 resets) in 327 ms. (12 steps per ms) remains 5591/5591 properties
BEST_FIRST walk for 4004 steps (14 resets) in 359 ms. (11 steps per ms) remains 5591/5591 properties
BEST_FIRST walk for 4002 steps (14 resets) in 280 ms. (14 steps per ms) remains 5591/5591 properties
BEST_FIRST walk for 4004 steps (13 resets) in 273 ms. (14 steps per ms) remains 5591/5591 properties
BEST_FIRST walk for 4004 steps (13 resets) in 313 ms. (12 steps per ms) remains 5591/5591 properties
BEST_FIRST walk for 4003 steps (14 resets) in 404 ms. (9 steps per ms) remains 5591/5591 properties
BEST_FIRST walk for 4002 steps (12 resets) in 368 ms. (10 steps per ms) remains 5591/5591 properties
BEST_FIRST walk for 4004 steps (14 resets) in 355 ms. (11 steps per ms) remains 5591/5591 properties
BEST_FIRST walk for 4004 steps (16 resets) in 350 ms. (11 steps per ms) remains 5591/5591 properties
BEST_FIRST walk for 4003 steps (14 resets) in 332 ms. (12 steps per ms) remains 5591/5591 properties
BEST_FIRST walk for 4003 steps (13 resets) in 407 ms. (9 steps per ms) remains 5591/5591 properties
BEST_FIRST walk for 4004 steps (15 resets) in 356 ms. (11 steps per ms) remains 5591/5591 properties
BEST_FIRST walk for 4004 steps (14 resets) in 345 ms. (11 steps per ms) remains 5591/5591 properties
BEST_FIRST walk for 4004 steps (14 resets) in 336 ms. (11 steps per ms) remains 5591/5591 properties
BEST_FIRST walk for 4003 steps (13 resets) in 305 ms. (13 steps per ms) remains 5591/5591 properties
BEST_FIRST walk for 4004 steps (13 resets) in 398 ms. (10 steps per ms) remains 5591/5591 properties
BEST_FIRST walk for 4004 steps (13 resets) in 372 ms. (10 steps per ms) remains 5591/5591 properties
BEST_FIRST walk for 4004 steps (14 resets) in 319 ms. (12 steps per ms) remains 5591/5591 properties
BEST_FIRST walk for 4002 steps (12 resets) in 308 ms. (12 steps per ms) remains 5587/5591 properties
BEST_FIRST walk for 4002 steps (14 resets) in 312 ms. (12 steps per ms) remains 5585/5587 properties
BEST_FIRST walk for 4003 steps (15 resets) in 330 ms. (12 steps per ms) remains 5585/5585 properties
BEST_FIRST walk for 4002 steps (13 resets) in 286 ms. (13 steps per ms) remains 5585/5585 properties
BEST_FIRST walk for 4004 steps (14 resets) in 365 ms. (10 steps per ms) remains 5581/5585 properties
BEST_FIRST walk for 4001 steps (13 resets) in 344 ms. (11 steps per ms) remains 5581/5581 properties
BEST_FIRST walk for 4003 steps (12 resets) in 276 ms. (14 steps per ms) remains 5581/5581 properties
BEST_FIRST walk for 4003 steps (12 resets) in 360 ms. (11 steps per ms) remains 5581/5581 properties
BEST_FIRST walk for 4002 steps (12 resets) in 348 ms. (11 steps per ms) remains 5581/5581 properties
BEST_FIRST walk for 4003 steps (14 resets) in 285 ms. (13 steps per ms) remains 5581/5581 properties
BEST_FIRST walk for 4004 steps (12 resets) in 314 ms. (12 steps per ms) remains 5581/5581 properties
BEST_FIRST walk for 4004 steps (13 resets) in 323 ms. (12 steps per ms) remains 5581/5581 properties
BEST_FIRST walk for 4004 steps (15 resets) in 366 ms. (10 steps per ms) remains 5581/5581 properties
BEST_FIRST walk for 4004 steps (15 resets) in 350 ms. (11 steps per ms) remains 5581/5581 properties
BEST_FIRST walk for 4004 steps (14 resets) in 366 ms. (10 steps per ms) remains 5581/5581 properties
BEST_FIRST walk for 4004 steps (13 resets) in 350 ms. (11 steps per ms) remains 5577/5581 properties
BEST_FIRST walk for 4003 steps (12 resets) in 344 ms. (11 steps per ms) remains 5575/5577 properties
BEST_FIRST walk for 4004 steps (16 resets) in 383 ms. (10 steps per ms) remains 5573/5575 properties
BEST_FIRST walk for 4004 steps (13 resets) in 331 ms. (12 steps per ms) remains 5573/5573 properties
BEST_FIRST walk for 4003 steps (13 resets) in 338 ms. (11 steps per ms) remains 5573/5573 properties
BEST_FIRST walk for 4004 steps (13 resets) in 366 ms. (10 steps per ms) remains 5573/5573 properties
BEST_FIRST walk for 4003 steps (13 resets) in 318 ms. (12 steps per ms) remains 5573/5573 properties
BEST_FIRST walk for 4004 steps (14 resets) in 365 ms. (10 steps per ms) remains 5573/5573 properties
BEST_FIRST walk for 4003 steps (13 resets) in 321 ms. (12 steps per ms) remains 5573/5573 properties
BEST_FIRST walk for 4004 steps (12 resets) in 273 ms. (14 steps per ms) remains 5573/5573 properties
BEST_FIRST walk for 4004 steps (13 resets) in 289 ms. (13 steps per ms) remains 5571/5573 properties
BEST_FIRST walk for 4003 steps (12 resets) in 348 ms. (11 steps per ms) remains 5569/5571 properties
BEST_FIRST walk for 4003 steps (12 resets) in 306 ms. (13 steps per ms) remains 5569/5569 properties
BEST_FIRST walk for 4004 steps (14 resets) in 305 ms. (13 steps per ms) remains 5569/5569 properties
BEST_FIRST walk for 4004 steps (13 resets) in 313 ms. (12 steps per ms) remains 5567/5569 properties
BEST_FIRST walk for 4003 steps (14 resets) in 360 ms. (11 steps per ms) remains 5567/5567 properties
BEST_FIRST walk for 4004 steps (15 resets) in 343 ms. (11 steps per ms) remains 5565/5567 properties
BEST_FIRST walk for 4003 steps (14 resets) in 326 ms. (12 steps per ms) remains 5564/5565 properties
BEST_FIRST walk for 4003 steps (12 resets) in 356 ms. (11 steps per ms) remains 5564/5564 properties
BEST_FIRST walk for 4004 steps (16 resets) in 378 ms. (10 steps per ms) remains 5564/5564 properties
BEST_FIRST walk for 4004 steps (12 resets) in 282 ms. (14 steps per ms) remains 5564/5564 properties
BEST_FIRST walk for 4003 steps (14 resets) in 345 ms. (11 steps per ms) remains 5564/5564 properties
BEST_FIRST walk for 4002 steps (14 resets) in 394 ms. (10 steps per ms) remains 5564/5564 properties
BEST_FIRST walk for 4004 steps (13 resets) in 297 ms. (13 steps per ms) remains 5564/5564 properties
BEST_FIRST walk for 4004 steps (15 resets) in 290 ms. (13 steps per ms) remains 5564/5564 properties
BEST_FIRST walk for 4003 steps (13 resets) in 333 ms. (11 steps per ms) remains 5564/5564 properties
BEST_FIRST walk for 4004 steps (13 resets) in 362 ms. (11 steps per ms) remains 5564/5564 properties
BEST_FIRST walk for 4004 steps (13 resets) in 345 ms. (11 steps per ms) remains 5564/5564 properties
BEST_FIRST walk for 4003 steps (14 resets) in 358 ms. (11 steps per ms) remains 5562/5564 properties
BEST_FIRST walk for 4004 steps (12 resets) in 337 ms. (11 steps per ms) remains 5560/5562 properties
BEST_FIRST walk for 4004 steps (13 resets) in 398 ms. (10 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4003 steps (12 resets) in 328 ms. (12 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4003 steps (14 resets) in 337 ms. (11 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4004 steps (13 resets) in 306 ms. (13 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4004 steps (16 resets) in 394 ms. (10 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4004 steps (14 resets) in 351 ms. (11 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4003 steps (12 resets) in 813 ms. (4 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4003 steps (12 resets) in 354 ms. (11 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4003 steps (13 resets) in 352 ms. (11 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4003 steps (13 resets) in 284 ms. (14 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4004 steps (13 resets) in 354 ms. (11 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4004 steps (13 resets) in 327 ms. (12 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4003 steps (13 resets) in 283 ms. (14 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4003 steps (12 resets) in 272 ms. (14 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4004 steps (15 resets) in 397 ms. (10 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4003 steps (13 resets) in 359 ms. (11 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4004 steps (14 resets) in 365 ms. (10 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4004 steps (15 resets) in 341 ms. (11 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4002 steps (15 resets) in 384 ms. (10 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4004 steps (13 resets) in 353 ms. (11 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4003 steps (13 resets) in 320 ms. (12 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4003 steps (12 resets) in 308 ms. (12 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4002 steps (14 resets) in 399 ms. (10 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4002 steps (13 resets) in 347 ms. (11 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4004 steps (13 resets) in 293 ms. (13 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4002 steps (15 resets) in 305 ms. (13 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4003 steps (13 resets) in 281 ms. (14 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4004 steps (14 resets) in 329 ms. (12 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4004 steps (16 resets) in 373 ms. (10 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4003 steps (12 resets) in 412 ms. (9 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4004 steps (14 resets) in 371 ms. (10 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4003 steps (14 resets) in 411 ms. (9 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4004 steps (13 resets) in 394 ms. (10 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4004 steps (13 resets) in 377 ms. (10 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4003 steps (13 resets) in 399 ms. (10 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4003 steps (13 resets) in 418 ms. (9 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4004 steps (14 resets) in 370 ms. (10 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4003 steps (16 resets) in 405 ms. (9 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4004 steps (12 resets) in 299 ms. (13 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4004 steps (13 resets) in 306 ms. (13 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4003 steps (13 resets) in 330 ms. (12 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4003 steps (13 resets) in 370 ms. (10 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4004 steps (15 resets) in 393 ms. (10 steps per ms) remains 5560/5560 properties
BEST_FIRST walk for 4003 steps (14 resets) in 398 ms. (10 steps per ms) remains 5558/5560 properties
BEST_FIRST walk for 4003 steps (16 resets) in 432 ms. (9 steps per ms) remains 5556/5558 properties
BEST_FIRST walk for 4004 steps (12 resets) in 288 ms. (13 steps per ms) remains 5554/5556 properties
BEST_FIRST walk for 4003 steps (13 resets) in 295 ms. (13 steps per ms) remains 5554/5554 properties
BEST_FIRST walk for 4003 steps (14 resets) in 358 ms. (11 steps per ms) remains 5554/5554 properties
BEST_FIRST walk for 4004 steps (14 resets) in 334 ms. (11 steps per ms) remains 5552/5554 properties
BEST_FIRST walk for 4004 steps (16 resets) in 329 ms. (12 steps per ms) remains 5552/5552 properties
BEST_FIRST walk for 4003 steps (13 resets) in 294 ms. (13 steps per ms) remains 5552/5552 properties
BEST_FIRST walk for 4003 steps (14 resets) in 329 ms. (12 steps per ms) remains 5550/5552 properties
BEST_FIRST walk for 4004 steps (14 resets) in 346 ms. (11 steps per ms) remains 5550/5550 properties
BEST_FIRST walk for 4004 steps (16 resets) in 381 ms. (10 steps per ms) remains 5548/5550 properties
BEST_FIRST walk for 4004 steps (16 resets) in 356 ms. (11 steps per ms) remains 5546/5548 properties
BEST_FIRST walk for 4004 steps (16 resets) in 432 ms. (9 steps per ms) remains 5546/5546 properties
BEST_FIRST walk for 4004 steps (16 resets) in 394 ms. (10 steps per ms) remains 5546/5546 properties
BEST_FIRST walk for 4004 steps (16 resets) in 451 ms. (8 steps per ms) remains 5546/5546 properties
BEST_FIRST walk for 4004 steps (16 resets) in 401 ms. (9 steps per ms) remains 5546/5546 properties
BEST_FIRST walk for 4004 steps (16 resets) in 349 ms. (11 steps per ms) remains 5546/5546 properties
BEST_FIRST walk for 4004 steps (16 resets) in 334 ms. (11 steps per ms) remains 5546/5546 properties
BEST_FIRST walk for 4004 steps (16 resets) in 425 ms. (9 steps per ms) remains 5544/5546 properties
BEST_FIRST walk for 4004 steps (16 resets) in 402 ms. (9 steps per ms) remains 5544/5544 properties
BEST_FIRST walk for 4004 steps (16 resets) in 515 ms. (7 steps per ms) remains 5544/5544 properties
BEST_FIRST walk for 4004 steps (16 resets) in 451 ms. (8 steps per ms) remains 5544/5544 properties
BEST_FIRST walk for 4004 steps (16 resets) in 493 ms. (8 steps per ms) remains 5544/5544 properties
BEST_FIRST walk for 4004 steps (16 resets) in 409 ms. (9 steps per ms) remains 5544/5544 properties
BEST_FIRST walk for 4004 steps (16 resets) in 420 ms. (9 steps per ms) remains 5544/5544 properties
BEST_FIRST walk for 4004 steps (16 resets) in 347 ms. (11 steps per ms) remains 5544/5544 properties
BEST_FIRST walk for 4004 steps (16 resets) in 340 ms. (11 steps per ms) remains 5544/5544 properties
BEST_FIRST walk for 4004 steps (16 resets) in 502 ms. (7 steps per ms) remains 5544/5544 properties
BEST_FIRST walk for 4004 steps (16 resets) in 469 ms. (8 steps per ms) remains 5544/5544 properties
BEST_FIRST walk for 4004 steps (16 resets) in 436 ms. (9 steps per ms) remains 5544/5544 properties
BEST_FIRST walk for 4004 steps (16 resets) in 394 ms. (10 steps per ms) remains 5544/5544 properties
BEST_FIRST walk for 4004 steps (16 resets) in 362 ms. (11 steps per ms) remains 5542/5544 properties
BEST_FIRST walk for 4004 steps (15 resets) in 357 ms. (11 steps per ms) remains 5542/5542 properties
BEST_FIRST walk for 4004 steps (13 resets) in 304 ms. (13 steps per ms) remains 5542/5542 properties
BEST_FIRST walk for 4004 steps (14 resets) in 336 ms. (11 steps per ms) remains 5542/5542 properties
BEST_FIRST walk for 4004 steps (15 resets) in 336 ms. (11 steps per ms) remains 5542/5542 properties
BEST_FIRST walk for 4004 steps (12 resets) in 308 ms. (12 steps per ms) remains 5542/5542 properties
BEST_FIRST walk for 4004 steps (14 resets) in 308 ms. (12 steps per ms) remains 5542/5542 properties
BEST_FIRST walk for 4004 steps (13 resets) in 365 ms. (10 steps per ms) remains 5542/5542 properties
BEST_FIRST walk for 4004 steps (12 resets) in 334 ms. (11 steps per ms) remains 5542/5542 properties
BEST_FIRST walk for 4004 steps (15 resets) in 320 ms. (12 steps per ms) remains 5542/5542 properties
BEST_FIRST walk for 4004 steps (13 resets) in 345 ms. (11 steps per ms) remains 5542/5542 properties
BEST_FIRST walk for 4004 steps (12 resets) in 344 ms. (11 steps per ms) remains 5542/5542 properties
BEST_FIRST walk for 4004 steps (13 resets) in 298 ms. (13 steps per ms) remains 5542/5542 properties
BEST_FIRST walk for 4004 steps (13 resets) in 350 ms. (11 steps per ms) remains 5542/5542 properties
BEST_FIRST walk for 4003 steps (14 resets) in 336 ms. (11 steps per ms) remains 5542/5542 properties
BEST_FIRST walk for 4004 steps (12 resets) in 277 ms. (14 steps per ms) remains 5540/5542 properties
BEST_FIRST walk for 4004 steps (16 resets) in 356 ms. (11 steps per ms) remains 5540/5540 properties
BEST_FIRST walk for 4004 steps (13 resets) in 367 ms. (10 steps per ms) remains 5540/5540 properties
BEST_FIRST walk for 4004 steps (14 resets) in 327 ms. (12 steps per ms) remains 5540/5540 properties
BEST_FIRST walk for 4003 steps (12 resets) in 287 ms. (13 steps per ms) remains 5540/5540 properties
BEST_FIRST walk for 4003 steps (12 resets) in 276 ms. (14 steps per ms) remains 5538/5540 properties
BEST_FIRST walk for 4003 steps (13 resets) in 316 ms. (12 steps per ms) remains 5536/5538 properties
BEST_FIRST walk for 4003 steps (14 resets) in 308 ms. (12 steps per ms) remains 5536/5536 properties
BEST_FIRST walk for 4004 steps (13 resets) in 328 ms. (12 steps per ms) remains 5536/5536 properties
BEST_FIRST walk for 4003 steps (13 resets) in 317 ms. (12 steps per ms) remains 5536/5536 properties
BEST_FIRST walk for 4004 steps (15 resets) in 323 ms. (12 steps per ms) remains 5536/5536 properties
BEST_FIRST walk for 4004 steps (12 resets) in 315 ms. (12 steps per ms) remains 5536/5536 properties
BEST_FIRST walk for 4003 steps (12 resets) in 306 ms. (13 steps per ms) remains 5536/5536 properties
BEST_FIRST walk for 4002 steps (12 resets) in 349 ms. (11 steps per ms) remains 5536/5536 properties
BEST_FIRST walk for 4004 steps (14 resets) in 416 ms. (9 steps per ms) remains 5536/5536 properties
BEST_FIRST walk for 4004 steps (12 resets) in 342 ms. (11 steps per ms) remains 5536/5536 properties
BEST_FIRST walk for 4004 steps (12 resets) in 329 ms. (12 steps per ms) remains 5536/5536 properties
BEST_FIRST walk for 4003 steps (13 resets) in 361 ms. (11 steps per ms) remains 5536/5536 properties
BEST_FIRST walk for 4003 steps (13 resets) in 354 ms. (11 steps per ms) remains 5536/5536 properties
BEST_FIRST walk for 4004 steps (14 resets) in 381 ms. (10 steps per ms) remains 5536/5536 properties
BEST_FIRST walk for 4004 steps (12 resets) in 320 ms. (12 steps per ms) remains 5536/5536 properties
BEST_FIRST walk for 4004 steps (16 resets) in 929 ms. (4 steps per ms) remains 5536/5536 properties
BEST_FIRST walk for 4004 steps (12 resets) in 338 ms. (11 steps per ms) remains 5534/5536 properties
BEST_FIRST walk for 4004 steps (13 resets) in 310 ms. (12 steps per ms) remains 5534/5534 properties
BEST_FIRST walk for 4003 steps (13 resets) in 340 ms. (11 steps per ms) remains 5534/5534 properties
BEST_FIRST walk for 4004 steps (14 resets) in 407 ms. (9 steps per ms) remains 5532/5534 properties
BEST_FIRST walk for 4003 steps (13 resets) in 318 ms. (12 steps per ms) remains 5532/5532 properties
BEST_FIRST walk for 4003 steps (13 resets) in 297 ms. (13 steps per ms) remains 5532/5532 properties
BEST_FIRST walk for 4004 steps (14 resets) in 362 ms. (11 steps per ms) remains 5532/5532 properties
BEST_FIRST walk for 4004 steps (13 resets) in 343 ms. (11 steps per ms) remains 5530/5532 properties
BEST_FIRST walk for 4003 steps (13 resets) in 292 ms. (13 steps per ms) remains 5530/5530 properties
BEST_FIRST walk for 4004 steps (13 resets) in 319 ms. (12 steps per ms) remains 5530/5530 properties
BEST_FIRST walk for 4002 steps (13 resets) in 325 ms. (12 steps per ms) remains 5530/5530 properties
BEST_FIRST walk for 4004 steps (13 resets) in 290 ms. (13 steps per ms) remains 5528/5530 properties
BEST_FIRST walk for 4004 steps (16 resets) in 385 ms. (10 steps per ms) remains 5528/5528 properties
BEST_FIRST walk for 4002 steps (13 resets) in 418 ms. (9 steps per ms) remains 5528/5528 properties
BEST_FIRST walk for 4004 steps (12 resets) in 433 ms. (9 steps per ms) remains 5528/5528 properties
BEST_FIRST walk for 4004 steps (12 resets) in 437 ms. (9 steps per ms) remains 5528/5528 properties
BEST_FIRST walk for 4002 steps (13 resets) in 456 ms. (8 steps per ms) remains 5528/5528 properties
BEST_FIRST walk for 4002 steps (13 resets) in 362 ms. (11 steps per ms) remains 5528/5528 properties
BEST_FIRST walk for 4004 steps (13 resets) in 329 ms. (12 steps per ms) remains 5528/5528 properties
BEST_FIRST walk for 4004 steps (13 resets) in 340 ms. (11 steps per ms) remains 5528/5528 properties
BEST_FIRST walk for 4003 steps (15 resets) in 336 ms. (11 steps per ms) remains 5528/5528 properties
BEST_FIRST walk for 4004 steps (12 resets) in 370 ms. (10 steps per ms) remains 5528/5528 properties
BEST_FIRST walk for 4004 steps (14 resets) in 364 ms. (10 steps per ms) remains 5528/5528 properties
BEST_FIRST walk for 4004 steps (15 resets) in 411 ms. (9 steps per ms) remains 5528/5528 properties
BEST_FIRST walk for 4003 steps (14 resets) in 360 ms. (11 steps per ms) remains 5528/5528 properties
BEST_FIRST walk for 4004 steps (12 resets) in 389 ms. (10 steps per ms) remains 5528/5528 properties
BEST_FIRST walk for 4003 steps (12 resets) in 314 ms. (12 steps per ms) remains 5528/5528 properties
BEST_FIRST walk for 4003 steps (13 resets) in 303 ms. (13 steps per ms) remains 5526/5528 properties
BEST_FIRST walk for 4004 steps (13 resets) in 281 ms. (14 steps per ms) remains 5524/5526 properties
BEST_FIRST walk for 4004 steps (12 resets) in 278 ms. (14 steps per ms) remains 5524/5524 properties
BEST_FIRST walk for 4003 steps (13 resets) in 287 ms. (13 steps per ms) remains 5524/5524 properties
BEST_FIRST walk for 4003 steps (13 resets) in 380 ms. (10 steps per ms) remains 5524/5524 properties
BEST_FIRST walk for 4003 steps (13 resets) in 455 ms. (8 steps per ms) remains 5524/5524 properties
BEST_FIRST walk for 4003 steps (14 resets) in 384 ms. (10 steps per ms) remains 5524/5524 properties
BEST_FIRST walk for 4002 steps (12 resets) in 308 ms. (12 steps per ms) remains 5524/5524 properties
BEST_FIRST walk for 4003 steps (12 resets) in 375 ms. (10 steps per ms) remains 5524/5524 properties
BEST_FIRST walk for 4004 steps (12 resets) in 377 ms. (10 steps per ms) remains 5522/5524 properties
BEST_FIRST walk for 4003 steps (14 resets) in 338 ms. (11 steps per ms) remains 5520/5522 properties
BEST_FIRST walk for 4003 steps (13 resets) in 325 ms. (12 steps per ms) remains 5520/5520 properties
BEST_FIRST walk for 4004 steps (15 resets) in 328 ms. (12 steps per ms) remains 5520/5520 properties
BEST_FIRST walk for 4004 steps (12 resets) in 344 ms. (11 steps per ms) remains 5520/5520 properties
BEST_FIRST walk for 4003 steps (14 resets) in 341 ms. (11 steps per ms) remains 5520/5520 properties
BEST_FIRST walk for 4004 steps (12 resets) in 267 ms. (14 steps per ms) remains 5520/5520 properties
BEST_FIRST walk for 4004 steps (12 resets) in 278 ms. (14 steps per ms) remains 5520/5520 properties
BEST_FIRST walk for 4004 steps (14 resets) in 333 ms. (11 steps per ms) remains 5520/5520 properties
BEST_FIRST walk for 4004 steps (14 resets) in 349 ms. (11 steps per ms) remains 5520/5520 properties
BEST_FIRST walk for 4004 steps (14 resets) in 326 ms. (12 steps per ms) remains 5520/5520 properties
BEST_FIRST walk for 4003 steps (12 resets) in 378 ms. (10 steps per ms) remains 5518/5520 properties
BEST_FIRST walk for 4004 steps (15 resets) in 365 ms. (10 steps per ms) remains 5518/5518 properties
BEST_FIRST walk for 4003 steps (12 resets) in 339 ms. (11 steps per ms) remains 5518/5518 properties
BEST_FIRST walk for 4004 steps (14 resets) in 337 ms. (11 steps per ms) remains 5518/5518 properties
BEST_FIRST walk for 4004 steps (14 resets) in 343 ms. (11 steps per ms) remains 5518/5518 properties
BEST_FIRST walk for 4004 steps (12 resets) in 318 ms. (12 steps per ms) remains 5518/5518 properties
BEST_FIRST walk for 4003 steps (13 resets) in 311 ms. (12 steps per ms) remains 5518/5518 properties
BEST_FIRST walk for 4003 steps (13 resets) in 378 ms. (10 steps per ms) remains 5518/5518 properties
BEST_FIRST walk for 4003 steps (12 resets) in 384 ms. (10 steps per ms) remains 5518/5518 properties
BEST_FIRST walk for 4003 steps (14 resets) in 373 ms. (10 steps per ms) remains 5518/5518 properties
BEST_FIRST walk for 4004 steps (14 resets) in 377 ms. (10 steps per ms) remains 5516/5518 properties
BEST_FIRST walk for 4003 steps (13 resets) in 309 ms. (12 steps per ms) remains 5516/5516 properties
BEST_FIRST walk for 4004 steps (14 resets) in 332 ms. (12 steps per ms) remains 5516/5516 properties
BEST_FIRST walk for 4004 steps (12 resets) in 316 ms. (12 steps per ms) remains 5514/5516 properties
BEST_FIRST walk for 4004 steps (13 resets) in 352 ms. (11 steps per ms) remains 5514/5514 properties
BEST_FIRST walk for 4004 steps (12 resets) in 339 ms. (11 steps per ms) remains 5514/5514 properties
BEST_FIRST walk for 4003 steps (15 resets) in 340 ms. (11 steps per ms) remains 5514/5514 properties
BEST_FIRST walk for 4002 steps (13 resets) in 286 ms. (13 steps per ms) remains 5514/5514 properties
BEST_FIRST walk for 4003 steps (13 resets) in 330 ms. (12 steps per ms) remains 5514/5514 properties
BEST_FIRST walk for 4001 steps (14 resets) in 345 ms. (11 steps per ms) remains 5514/5514 properties
BEST_FIRST walk for 4002 steps (13 resets) in 319 ms. (12 steps per ms) remains 5514/5514 properties
BEST_FIRST walk for 4004 steps (13 resets) in 343 ms. (11 steps per ms) remains 5514/5514 properties
BEST_FIRST walk for 4004 steps (13 resets) in 343 ms. (11 steps per ms) remains 5514/5514 properties
BEST_FIRST walk for 4004 steps (13 resets) in 398 ms. (10 steps per ms) remains 5514/5514 properties
BEST_FIRST walk for 4004 steps (12 resets) in 329 ms. (12 steps per ms) remains 5514/5514 properties
BEST_FIRST walk for 4003 steps (14 resets) in 328 ms. (12 steps per ms) remains 5514/5514 properties
BEST_FIRST walk for 4004 steps (16 resets) in 396 ms. (10 steps per ms) remains 5514/5514 properties
BEST_FIRST walk for 4003 steps (13 resets) in 331 ms. (12 steps per ms) remains 5514/5514 properties
BEST_FIRST walk for 4004 steps (13 resets) in 359 ms. (11 steps per ms) remains 5514/5514 properties
BEST_FIRST walk for 4004 steps (15 resets) in 328 ms. (12 steps per ms) remains 5514/5514 properties
BEST_FIRST walk for 4004 steps (14 resets) in 291 ms. (13 steps per ms) remains 5514/5514 properties
BEST_FIRST walk for 4004 steps (12 resets) in 294 ms. (13 steps per ms) remains 5512/5514 properties
BEST_FIRST walk for 4003 steps (13 resets) in 336 ms. (11 steps per ms) remains 5512/5512 properties
BEST_FIRST walk for 4004 steps (16 resets) in 343 ms. (11 steps per ms) remains 5512/5512 properties
BEST_FIRST walk for 4004 steps (12 resets) in 278 ms. (14 steps per ms) remains 5512/5512 properties
BEST_FIRST walk for 4003 steps (13 resets) in 284 ms. (14 steps per ms) remains 5512/5512 properties
BEST_FIRST walk for 4004 steps (14 resets) in 301 ms. (13 steps per ms) remains 5512/5512 properties
BEST_FIRST walk for 4003 steps (12 resets) in 286 ms. (13 steps per ms) remains 5512/5512 properties
BEST_FIRST walk for 4003 steps (13 resets) in 401 ms. (9 steps per ms) remains 5512/5512 properties
BEST_FIRST walk for 4004 steps (13 resets) in 342 ms. (11 steps per ms) remains 5512/5512 properties
BEST_FIRST walk for 4003 steps (13 resets) in 325 ms. (12 steps per ms) remains 5510/5512 properties
BEST_FIRST walk for 4004 steps (16 resets) in 423 ms. (9 steps per ms) remains 5508/5510 properties
BEST_FIRST walk for 4004 steps (14 resets) in 297 ms. (13 steps per ms) remains 5508/5508 properties
BEST_FIRST walk for 4003 steps (12 resets) in 339 ms. (11 steps per ms) remains 5508/5508 properties
BEST_FIRST walk for 4004 steps (14 resets) in 327 ms. (12 steps per ms) remains 5508/5508 properties
BEST_FIRST walk for 4004 steps (13 resets) in 276 ms. (14 steps per ms) remains 5508/5508 properties
BEST_FIRST walk for 4004 steps (15 resets) in 297 ms. (13 steps per ms) remains 5508/5508 properties
BEST_FIRST walk for 4004 steps (14 resets) in 288 ms. (13 steps per ms) remains 5508/5508 properties
BEST_FIRST walk for 4004 steps (12 resets) in 350 ms. (11 steps per ms) remains 5508/5508 properties
BEST_FIRST walk for 4004 steps (12 resets) in 294 ms. (13 steps per ms) remains 5508/5508 properties
BEST_FIRST walk for 4004 steps (12 resets) in 328 ms. (12 steps per ms) remains 5508/5508 properties
BEST_FIRST walk for 4003 steps (13 resets) in 340 ms. (11 steps per ms) remains 5508/5508 properties
BEST_FIRST walk for 4003 steps (12 resets) in 434 ms. (9 steps per ms) remains 5508/5508 properties
BEST_FIRST walk for 4004 steps (12 resets) in 409 ms. (9 steps per ms) remains 5508/5508 properties
BEST_FIRST walk for 4004 steps (16 resets) in 447 ms. (8 steps per ms) remains 5508/5508 properties
BEST_FIRST walk for 4004 steps (13 resets) in 358 ms. (11 steps per ms) remains 5508/5508 properties
BEST_FIRST walk for 4003 steps (13 resets) in 356 ms. (11 steps per ms) remains 5506/5508 properties
BEST_FIRST walk for 4004 steps (13 resets) in 378 ms. (10 steps per ms) remains 5506/5506 properties
BEST_FIRST walk for 4002 steps (14 resets) in 335 ms. (11 steps per ms) remains 5506/5506 properties
BEST_FIRST walk for 4004 steps (14 resets) in 783 ms. (5 steps per ms) remains 5506/5506 properties
BEST_FIRST walk for 4003 steps (12 resets) in 374 ms. (10 steps per ms) remains 5506/5506 properties
BEST_FIRST walk for 4001 steps (14 resets) in 371 ms. (10 steps per ms) remains 5506/5506 properties
BEST_FIRST walk for 4003 steps (12 resets) in 303 ms. (13 steps per ms) remains 5506/5506 properties
BEST_FIRST walk for 4004 steps (14 resets) in 287 ms. (13 steps per ms) remains 5506/5506 properties
BEST_FIRST walk for 4004 steps (13 resets) in 344 ms. (11 steps per ms) remains 5506/5506 properties
BEST_FIRST walk for 4004 steps (14 resets) in 340 ms. (11 steps per ms) remains 5502/5506 properties
BEST_FIRST walk for 4004 steps (12 resets) in 320 ms. (12 steps per ms) remains 5502/5502 properties
BEST_FIRST walk for 4004 steps (14 resets) in 313 ms. (12 steps per ms) remains 5500/5502 properties
BEST_FIRST walk for 4002 steps (14 resets) in 434 ms. (9 steps per ms) remains 5500/5500 properties
BEST_FIRST walk for 4003 steps (13 resets) in 375 ms. (10 steps per ms) remains 5498/5500 properties
BEST_FIRST walk for 4002 steps (13 resets) in 417 ms. (9 steps per ms) remains 5498/5498 properties
BEST_FIRST walk for 4003 steps (12 resets) in 344 ms. (11 steps per ms) remains 5498/5498 properties
BEST_FIRST walk for 4003 steps (12 resets) in 333 ms. (11 steps per ms) remains 5498/5498 properties
BEST_FIRST walk for 4002 steps (13 resets) in 321 ms. (12 steps per ms) remains 5498/5498 properties
BEST_FIRST walk for 4004 steps (16 resets) in 328 ms. (12 steps per ms) remains 5498/5498 properties
BEST_FIRST walk for 4004 steps (12 resets) in 277 ms. (14 steps per ms) remains 5498/5498 properties
BEST_FIRST walk for 4004 steps (14 resets) in 291 ms. (13 steps per ms) remains 5498/5498 properties
BEST_FIRST walk for 4003 steps (14 resets) in 348 ms. (11 steps per ms) remains 5498/5498 properties
BEST_FIRST walk for 4003 steps (13 resets) in 310 ms. (12 steps per ms) remains 5498/5498 properties
BEST_FIRST walk for 4003 steps (14 resets) in 356 ms. (11 steps per ms) remains 5498/5498 properties
BEST_FIRST walk for 4004 steps (13 resets) in 331 ms. (12 steps per ms) remains 5498/5498 properties
BEST_FIRST walk for 4003 steps (15 resets) in 401 ms. (9 steps per ms) remains 5498/5498 properties
BEST_FIRST walk for 4004 steps (13 resets) in 474 ms. (8 steps per ms) remains 5498/5498 properties
BEST_FIRST walk for 4003 steps (12 resets) in 381 ms. (10 steps per ms) remains 5498/5498 properties
BEST_FIRST walk for 4002 steps (12 resets) in 454 ms. (8 steps per ms) remains 5498/5498 properties
BEST_FIRST walk for 4002 steps (13 resets) in 322 ms. (12 steps per ms) remains 5498/5498 properties
BEST_FIRST walk for 4004 steps (16 resets) in 366 ms. (10 steps per ms) remains 5498/5498 properties
BEST_FIRST walk for 4004 steps (13 resets) in 301 ms. (13 steps per ms) remains 5498/5498 properties
BEST_FIRST walk for 4004 steps (13 resets) in 330 ms. (12 steps per ms) remains 5498/5498 properties
BEST_FIRST walk for 4004 steps (15 resets) in 338 ms. (11 steps per ms) remains 5498/5498 properties
BEST_FIRST walk for 4003 steps (16 resets) in 419 ms. (9 steps per ms) remains 5498/5498 properties
BEST_FIRST walk for 4004 steps (16 resets) in 344 ms. (11 steps per ms) remains 5498/5498 properties
BEST_FIRST walk for 4004 steps (16 resets) in 417 ms. (9 steps per ms) remains 5498/5498 properties
BEST_FIRST walk for 4004 steps (16 resets) in 354 ms. (11 steps per ms) remains 5498/5498 properties
BEST_FIRST walk for 4004 steps (16 resets) in 402 ms. (9 steps per ms) remains 5498/5498 properties
BEST_FIRST walk for 4004 steps (16 resets) in 330 ms. (12 steps per ms) remains 5498/5498 properties
BEST_FIRST walk for 4004 steps (16 resets) in 337 ms. (11 steps per ms) remains 5498/5498 properties
BEST_FIRST walk for 4004 steps (16 resets) in 433 ms. (9 steps per ms) remains 5496/5498 properties
BEST_FIRST walk for 4004 steps (16 resets) in 475 ms. (8 steps per ms) remains 5496/5496 properties
BEST_FIRST walk for 4003 steps (16 resets) in 476 ms. (8 steps per ms) remains 5496/5496 properties
BEST_FIRST walk for 4004 steps (16 resets) in 403 ms. (9 steps per ms) remains 5496/5496 properties
BEST_FIRST walk for 4004 steps (16 resets) in 397 ms. (10 steps per ms) remains 5496/5496 properties
BEST_FIRST walk for 4004 steps (16 resets) in 403 ms. (9 steps per ms) remains 5496/5496 properties
BEST_FIRST walk for 4004 steps (16 resets) in 437 ms. (9 steps per ms) remains 5496/5496 properties
BEST_FIRST walk for 4004 steps (16 resets) in 407 ms. (9 steps per ms) remains 5496/5496 properties
BEST_FIRST walk for 4004 steps (16 resets) in 355 ms. (11 steps per ms) remains 5496/5496 properties
BEST_FIRST walk for 4004 steps (16 resets) in 327 ms. (12 steps per ms) remains 5496/5496 properties
BEST_FIRST walk for 4004 steps (16 resets) in 408 ms. (9 steps per ms) remains 5496/5496 properties
BEST_FIRST walk for 4004 steps (16 resets) in 348 ms. (11 steps per ms) remains 5496/5496 properties
BEST_FIRST walk for 4003 steps (16 resets) in 346 ms. (11 steps per ms) remains 5496/5496 properties
BEST_FIRST walk for 4004 steps (15 resets) in 448 ms. (8 steps per ms) remains 5496/5496 properties
BEST_FIRST walk for 4004 steps (15 resets) in 399 ms. (10 steps per ms) remains 5496/5496 properties
BEST_FIRST walk for 4004 steps (14 resets) in 320 ms. (12 steps per ms) remains 5496/5496 properties
BEST_FIRST walk for 4004 steps (14 resets) in 357 ms. (11 steps per ms) remains 5494/5496 properties
BEST_FIRST walk for 4004 steps (16 resets) in 395 ms. (10 steps per ms) remains 5494/5494 properties
BEST_FIRST walk for 4003 steps (12 resets) in 384 ms. (10 steps per ms) remains 5494/5494 properties
BEST_FIRST walk for 4004 steps (13 resets) in 380 ms. (10 steps per ms) remains 5494/5494 properties
BEST_FIRST walk for 4004 steps (14 resets) in 369 ms. (10 steps per ms) remains 5494/5494 properties
BEST_FIRST walk for 4004 steps (12 resets) in 382 ms. (10 steps per ms) remains 5494/5494 properties
BEST_FIRST walk for 4003 steps (16 resets) in 428 ms. (9 steps per ms) remains 5494/5494 properties
BEST_FIRST walk for 4003 steps (14 resets) in 401 ms. (9 steps per ms) remains 5494/5494 properties
BEST_FIRST walk for 4003 steps (13 resets) in 384 ms. (10 steps per ms) remains 5494/5494 properties
BEST_FIRST walk for 4004 steps (12 resets) in 392 ms. (10 steps per ms) remains 5494/5494 properties
BEST_FIRST walk for 4002 steps (14 resets) in 339 ms. (11 steps per ms) remains 5494/5494 properties
BEST_FIRST walk for 4004 steps (14 resets) in 348 ms. (11 steps per ms) remains 5494/5494 properties
BEST_FIRST walk for 4004 steps (13 resets) in 360 ms. (11 steps per ms) remains 5494/5494 properties
BEST_FIRST walk for 4003 steps (15 resets) in 412 ms. (9 steps per ms) remains 5492/5494 properties
BEST_FIRST walk for 4003 steps (14 resets) in 308 ms. (12 steps per ms) remains 5492/5492 properties
BEST_FIRST walk for 4004 steps (13 resets) in 292 ms. (13 steps per ms) remains 5492/5492 properties
BEST_FIRST walk for 4004 steps (12 resets) in 304 ms. (13 steps per ms) remains 5492/5492 properties
BEST_FIRST walk for 4003 steps (15 resets) in 391 ms. (10 steps per ms) remains 5492/5492 properties
BEST_FIRST walk for 4004 steps (13 resets) in 359 ms. (11 steps per ms) remains 5492/5492 properties
BEST_FIRST walk for 4004 steps (13 resets) in 291 ms. (13 steps per ms) remains 5492/5492 properties
BEST_FIRST walk for 4003 steps (14 resets) in 354 ms. (11 steps per ms) remains 5492/5492 properties
BEST_FIRST walk for 4003 steps (15 resets) in 327 ms. (12 steps per ms) remains 5492/5492 properties
BEST_FIRST walk for 4004 steps (16 resets) in 350 ms. (11 steps per ms) remains 5492/5492 properties
BEST_FIRST walk for 4004 steps (13 resets) in 276 ms. (14 steps per ms) remains 5492/5492 properties
BEST_FIRST walk for 4004 steps (12 resets) in 270 ms. (14 steps per ms) remains 5492/5492 properties
BEST_FIRST walk for 4004 steps (14 resets) in 319 ms. (12 steps per ms) remains 5492/5492 properties
BEST_FIRST walk for 4003 steps (12 resets) in 355 ms. (11 steps per ms) remains 5492/5492 properties
BEST_FIRST walk for 4003 steps (14 resets) in 343 ms. (11 steps per ms) remains 5492/5492 properties
BEST_FIRST walk for 4003 steps (14 resets) in 330 ms. (12 steps per ms) remains 5492/5492 properties
BEST_FIRST walk for 4004 steps (13 resets) in 370 ms. (10 steps per ms) remains 5492/5492 properties
BEST_FIRST walk for 4003 steps (13 resets) in 342 ms. (11 steps per ms) remains 5490/5492 properties
BEST_FIRST walk for 4004 steps (12 resets) in 341 ms. (11 steps per ms) remains 5490/5490 properties
BEST_FIRST walk for 4003 steps (15 resets) in 370 ms. (10 steps per ms) remains 5490/5490 properties
BEST_FIRST walk for 4003 steps (15 resets) in 352 ms. (11 steps per ms) remains 5490/5490 properties
BEST_FIRST walk for 4003 steps (14 resets) in 289 ms. (13 steps per ms) remains 5490/5490 properties
BEST_FIRST walk for 4004 steps (13 resets) in 285 ms. (14 steps per ms) remains 5490/5490 properties
BEST_FIRST walk for 4004 steps (14 resets) in 359 ms. (11 steps per ms) remains 5490/5490 properties
BEST_FIRST walk for 4004 steps (14 resets) in 389 ms. (10 steps per ms) remains 5490/5490 properties
BEST_FIRST walk for 4004 steps (12 resets) in 349 ms. (11 steps per ms) remains 5490/5490 properties
BEST_FIRST walk for 4004 steps (12 resets) in 313 ms. (12 steps per ms) remains 5490/5490 properties
BEST_FIRST walk for 4004 steps (13 resets) in 353 ms. (11 steps per ms) remains 5490/5490 properties
BEST_FIRST walk for 4004 steps (12 resets) in 309 ms. (12 steps per ms) remains 5490/5490 properties
BEST_FIRST walk for 4003 steps (16 resets) in 341 ms. (11 steps per ms) remains 5490/5490 properties
BEST_FIRST walk for 4003 steps (13 resets) in 390 ms. (10 steps per ms) remains 5490/5490 properties
BEST_FIRST walk for 4004 steps (13 resets) in 382 ms. (10 steps per ms) remains 5490/5490 properties
BEST_FIRST walk for 4003 steps (13 resets) in 386 ms. (10 steps per ms) remains 5490/5490 properties
BEST_FIRST walk for 4002 steps (14 resets) in 320 ms. (12 steps per ms) remains 5490/5490 properties
BEST_FIRST walk for 4003 steps (12 resets) in 367 ms. (10 steps per ms) remains 5490/5490 properties
BEST_FIRST walk for 4004 steps (13 resets) in 379 ms. (10 steps per ms) remains 5490/5490 properties
BEST_FIRST walk for 4004 steps (14 resets) in 420 ms. (9 steps per ms) remains 5490/5490 properties
BEST_FIRST walk for 4004 steps (13 resets) in 728 ms. (5 steps per ms) remains 5490/5490 properties
BEST_FIRST walk for 4003 steps (13 resets) in 380 ms. (10 steps per ms) remains 5490/5490 properties
BEST_FIRST walk for 4003 steps (14 resets) in 392 ms. (10 steps per ms) remains 5490/5490 properties
BEST_FIRST walk for 4004 steps (12 resets) in 313 ms. (12 steps per ms) remains 5490/5490 properties
BEST_FIRST walk for 4003 steps (13 resets) in 286 ms. (13 steps per ms) remains 5489/5490 properties
BEST_FIRST walk for 4004 steps (12 resets) in 298 ms. (13 steps per ms) remains 5489/5489 properties
BEST_FIRST walk for 4004 steps (13 resets) in 294 ms. (13 steps per ms) remains 5489/5489 properties
BEST_FIRST walk for 4004 steps (13 resets) in 369 ms. (10 steps per ms) remains 5489/5489 properties
BEST_FIRST walk for 4003 steps (13 resets) in 370 ms. (10 steps per ms) remains 5489/5489 properties
BEST_FIRST walk for 4002 steps (13 resets) in 354 ms. (11 steps per ms) remains 5487/5489 properties
BEST_FIRST walk for 4004 steps (14 resets) in 374 ms. (10 steps per ms) remains 5487/5487 properties
BEST_FIRST walk for 4003 steps (14 resets) in 342 ms. (11 steps per ms) remains 5487/5487 properties
BEST_FIRST walk for 4004 steps (13 resets) in 287 ms. (13 steps per ms) remains 5487/5487 properties
BEST_FIRST walk for 4003 steps (12 resets) in 333 ms. (11 steps per ms) remains 5487/5487 properties
BEST_FIRST walk for 4003 steps (14 resets) in 343 ms. (11 steps per ms) remains 5487/5487 properties
BEST_FIRST walk for 4004 steps (13 resets) in 287 ms. (13 steps per ms) remains 5487/5487 properties
BEST_FIRST walk for 4003 steps (14 resets) in 332 ms. (12 steps per ms) remains 5487/5487 properties
BEST_FIRST walk for 4003 steps (13 resets) in 321 ms. (12 steps per ms) remains 5487/5487 properties
BEST_FIRST walk for 4003 steps (14 resets) in 322 ms. (12 steps per ms) remains 5487/5487 properties
BEST_FIRST walk for 4004 steps (14 resets) in 330 ms. (12 steps per ms) remains 5487/5487 properties
BEST_FIRST walk for 4004 steps (13 resets) in 351 ms. (11 steps per ms) remains 5487/5487 properties
BEST_FIRST walk for 4004 steps (14 resets) in 323 ms. (12 steps per ms) remains 5487/5487 properties
BEST_FIRST walk for 4002 steps (15 resets) in 355 ms. (11 steps per ms) remains 5487/5487 properties
BEST_FIRST walk for 4004 steps (13 resets) in 311 ms. (12 steps per ms) remains 5487/5487 properties
BEST_FIRST walk for 4003 steps (14 resets) in 358 ms. (11 steps per ms) remains 5487/5487 properties
BEST_FIRST walk for 4003 steps (14 resets) in 343 ms. (11 steps per ms) remains 5487/5487 properties
BEST_FIRST walk for 4004 steps (12 resets) in 301 ms. (13 steps per ms) remains 5487/5487 properties
BEST_FIRST walk for 4002 steps (14 resets) in 272 ms. (14 steps per ms) remains 5487/5487 properties
BEST_FIRST walk for 4003 steps (13 resets) in 342 ms. (11 steps per ms) remains 5487/5487 properties
BEST_FIRST walk for 4003 steps (13 resets) in 319 ms. (12 steps per ms) remains 5487/5487 properties
BEST_FIRST walk for 4004 steps (14 resets) in 332 ms. (12 steps per ms) remains 5487/5487 properties
BEST_FIRST walk for 4004 steps (14 resets) in 380 ms. (10 steps per ms) remains 5485/5487 properties
BEST_FIRST walk for 4004 steps (14 resets) in 345 ms. (11 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4003 steps (12 resets) in 393 ms. (10 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4004 steps (12 resets) in 385 ms. (10 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4003 steps (12 resets) in 420 ms. (9 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4004 steps (15 resets) in 423 ms. (9 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4002 steps (13 resets) in 407 ms. (9 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4004 steps (13 resets) in 360 ms. (11 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4004 steps (12 resets) in 305 ms. (13 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4004 steps (14 resets) in 344 ms. (11 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4003 steps (12 resets) in 399 ms. (10 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4004 steps (13 resets) in 372 ms. (10 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4004 steps (13 resets) in 415 ms. (9 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4003 steps (13 resets) in 280 ms. (14 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4003 steps (14 resets) in 361 ms. (11 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4004 steps (13 resets) in 349 ms. (11 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4004 steps (14 resets) in 293 ms. (13 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4004 steps (14 resets) in 288 ms. (13 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4004 steps (15 resets) in 304 ms. (13 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4004 steps (13 resets) in 312 ms. (12 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4003 steps (13 resets) in 360 ms. (11 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4004 steps (13 resets) in 306 ms. (13 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4004 steps (12 resets) in 347 ms. (11 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4003 steps (12 resets) in 315 ms. (12 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4004 steps (16 resets) in 307 ms. (13 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4003 steps (15 resets) in 310 ms. (12 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4004 steps (13 resets) in 365 ms. (10 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4003 steps (12 resets) in 319 ms. (12 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4003 steps (13 resets) in 296 ms. (13 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4004 steps (16 resets) in 315 ms. (12 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4003 steps (13 resets) in 330 ms. (12 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4004 steps (13 resets) in 364 ms. (10 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4004 steps (13 resets) in 366 ms. (10 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4003 steps (15 resets) in 338 ms. (11 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4004 steps (13 resets) in 375 ms. (10 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4004 steps (12 resets) in 341 ms. (11 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4004 steps (13 resets) in 340 ms. (11 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4003 steps (14 resets) in 296 ms. (13 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4003 steps (16 resets) in 316 ms. (12 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4004 steps (12 resets) in 330 ms. (12 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4004 steps (13 resets) in 348 ms. (11 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4003 steps (12 resets) in 292 ms. (13 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4004 steps (12 resets) in 368 ms. (10 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4004 steps (13 resets) in 323 ms. (12 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4004 steps (13 resets) in 287 ms. (13 steps per ms) remains 5485/5485 properties
BEST_FIRST walk for 4003 steps (13 resets) in 305 ms. (13 steps per ms) remains 5484/5485 properties
BEST_FIRST walk for 4004 steps (12 resets) in 276 ms. (14 steps per ms) remains 5484/5484 properties
BEST_FIRST walk for 4004 steps (12 resets) in 280 ms. (14 steps per ms) remains 5484/5484 properties
BEST_FIRST walk for 4001 steps (13 resets) in 282 ms. (14 steps per ms) remains 5484/5484 properties
BEST_FIRST walk for 4003 steps (12 resets) in 295 ms. (13 steps per ms) remains 5484/5484 properties
BEST_FIRST walk for 4004 steps (15 resets) in 341 ms. (11 steps per ms) remains 5484/5484 properties
BEST_FIRST walk for 4003 steps (13 resets) in 361 ms. (11 steps per ms) remains 5484/5484 properties
BEST_FIRST walk for 4004 steps (13 resets) in 280 ms. (14 steps per ms) remains 5484/5484 properties
BEST_FIRST walk for 4003 steps (16 resets) in 410 ms. (9 steps per ms) remains 5484/5484 properties
BEST_FIRST walk for 4004 steps (16 resets) in 379 ms. (10 steps per ms) remains 5484/5484 properties
BEST_FIRST walk for 4004 steps (16 resets) in 441 ms. (9 steps per ms) remains 5484/5484 properties
BEST_FIRST walk for 4004 steps (16 resets) in 429 ms. (9 steps per ms) remains 5482/5484 properties
BEST_FIRST walk for 4004 steps (16 resets) in 348 ms. (11 steps per ms) remains 5482/5482 properties
BEST_FIRST walk for 4004 steps (16 resets) in 348 ms. (11 steps per ms) remains 5482/5482 properties
BEST_FIRST walk for 4004 steps (16 resets) in 407 ms. (9 steps per ms) remains 5482/5482 properties
BEST_FIRST walk for 4003 steps (16 resets) in 358 ms. (11 steps per ms) remains 5482/5482 properties
BEST_FIRST walk for 4004 steps (16 resets) in 397 ms. (10 steps per ms) remains 5482/5482 properties
BEST_FIRST walk for 4004 steps (16 resets) in 428 ms. (9 steps per ms) remains 5482/5482 properties
BEST_FIRST walk for 4004 steps (16 resets) in 354 ms. (11 steps per ms) remains 5480/5482 properties
BEST_FIRST walk for 4003 steps (16 resets) in 347 ms. (11 steps per ms) remains 5480/5480 properties
BEST_FIRST walk for 4004 steps (16 resets) in 447 ms. (8 steps per ms) remains 5480/5480 properties
BEST_FIRST walk for 4004 steps (16 resets) in 375 ms. (10 steps per ms) remains 5478/5480 properties
BEST_FIRST walk for 4004 steps (16 resets) in 338 ms. (11 steps per ms) remains 5478/5478 properties
BEST_FIRST walk for 4004 steps (16 resets) in 411 ms. (9 steps per ms) remains 5476/5478 properties
BEST_FIRST walk for 4004 steps (16 resets) in 402 ms. (9 steps per ms) remains 5476/5476 properties
BEST_FIRST walk for 4004 steps (16 resets) in 344 ms. (11 steps per ms) remains 5476/5476 properties
BEST_FIRST walk for 4004 steps (16 resets) in 347 ms. (11 steps per ms) remains 5476/5476 properties
BEST_FIRST walk for 4004 steps (16 resets) in 368 ms. (10 steps per ms) remains 5476/5476 properties
BEST_FIRST walk for 4004 steps (16 resets) in 412 ms. (9 steps per ms) remains 5476/5476 properties
BEST_FIRST walk for 4003 steps (15 resets) in 524 ms. (7 steps per ms) remains 5474/5476 properties
BEST_FIRST walk for 4003 steps (16 resets) in 416 ms. (9 steps per ms) remains 5470/5474 properties
BEST_FIRST walk for 4004 steps (13 resets) in 321 ms. (12 steps per ms) remains 5470/5470 properties
BEST_FIRST walk for 4004 steps (13 resets) in 285 ms. (14 steps per ms) remains 5470/5470 properties
BEST_FIRST walk for 4004 steps (16 resets) in 392 ms. (10 steps per ms) remains 5470/5470 properties
BEST_FIRST walk for 4002 steps (13 resets) in 353 ms. (11 steps per ms) remains 5470/5470 properties
BEST_FIRST walk for 4004 steps (13 resets) in 282 ms. (14 steps per ms) remains 5470/5470 properties
BEST_FIRST walk for 4004 steps (14 resets) in 288 ms. (13 steps per ms) remains 5470/5470 properties
BEST_FIRST walk for 4004 steps (12 resets) in 347 ms. (11 steps per ms) remains 5470/5470 properties
BEST_FIRST walk for 4004 steps (15 resets) in 350 ms. (11 steps per ms) remains 5470/5470 properties
BEST_FIRST walk for 4004 steps (12 resets) in 317 ms. (12 steps per ms) remains 5470/5470 properties
BEST_FIRST walk for 4004 steps (13 resets) in 352 ms. (11 steps per ms) remains 5470/5470 properties
BEST_FIRST walk for 4004 steps (12 resets) in 353 ms. (11 steps per ms) remains 5470/5470 properties
BEST_FIRST walk for 4004 steps (14 resets) in 329 ms. (12 steps per ms) remains 5470/5470 properties
BEST_FIRST walk for 4003 steps (16 resets) in 346 ms. (11 steps per ms) remains 5470/5470 properties
BEST_FIRST walk for 4004 steps (12 resets) in 316 ms. (12 steps per ms) remains 5470/5470 properties
BEST_FIRST walk for 4003 steps (15 resets) in 386 ms. (10 steps per ms) remains 5470/5470 properties
BEST_FIRST walk for 4004 steps (13 resets) in 317 ms. (12 steps per ms) remains 5470/5470 properties
BEST_FIRST walk for 4004 steps (13 resets) in 349 ms. (11 steps per ms) remains 5470/5470 properties
BEST_FIRST walk for 4003 steps (14 resets) in 289 ms. (13 steps per ms) remains 5470/5470 properties
BEST_FIRST walk for 4004 steps (12 resets) in 282 ms. (14 steps per ms) remains 5470/5470 properties
BEST_FIRST walk for 4003 steps (12 resets) in 324 ms. (12 steps per ms) remains 5470/5470 properties
BEST_FIRST walk for 4004 steps (14 resets) in 372 ms. (10 steps per ms) remains 5468/5470 properties
BEST_FIRST walk for 4004 steps (14 resets) in 360 ms. (11 steps per ms) remains 5468/5468 properties
BEST_FIRST walk for 4003 steps (14 resets) in 359 ms. (11 steps per ms) remains 5468/5468 properties
BEST_FIRST walk for 4004 steps (15 resets) in 399 ms. (10 steps per ms) remains 5468/5468 properties
BEST_FIRST walk for 4002 steps (15 resets) in 329 ms. (12 steps per ms) remains 5468/5468 properties
BEST_FIRST walk for 4004 steps (14 resets) in 328 ms. (12 steps per ms) remains 5468/5468 properties
BEST_FIRST walk for 4004 steps (12 resets) in 340 ms. (11 steps per ms) remains 5468/5468 properties
BEST_FIRST walk for 4003 steps (13 resets) in 292 ms. (13 steps per ms) remains 5466/5468 properties
BEST_FIRST walk for 4004 steps (13 resets) in 358 ms. (11 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4004 steps (13 resets) in 355 ms. (11 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4004 steps (14 resets) in 306 ms. (13 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4004 steps (12 resets) in 316 ms. (12 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4004 steps (14 resets) in 377 ms. (10 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4004 steps (14 resets) in 328 ms. (12 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4004 steps (12 resets) in 364 ms. (10 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4004 steps (13 resets) in 363 ms. (11 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4004 steps (13 resets) in 318 ms. (12 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4004 steps (15 resets) in 366 ms. (10 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4003 steps (13 resets) in 314 ms. (12 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4003 steps (12 resets) in 285 ms. (13 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4004 steps (13 resets) in 294 ms. (13 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4004 steps (14 resets) in 298 ms. (13 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4002 steps (13 resets) in 282 ms. (14 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4004 steps (13 resets) in 293 ms. (13 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4004 steps (13 resets) in 284 ms. (14 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4003 steps (14 resets) in 295 ms. (13 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4003 steps (13 resets) in 335 ms. (11 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4003 steps (12 resets) in 312 ms. (12 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4004 steps (14 resets) in 359 ms. (11 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4004 steps (14 resets) in 315 ms. (12 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4004 steps (13 resets) in 319 ms. (12 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4003 steps (12 resets) in 350 ms. (11 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4004 steps (13 resets) in 312 ms. (12 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4003 steps (14 resets) in 303 ms. (13 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4004 steps (13 resets) in 322 ms. (12 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4002 steps (14 resets) in 359 ms. (11 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4003 steps (13 resets) in 304 ms. (13 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4004 steps (14 resets) in 354 ms. (11 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4004 steps (13 resets) in 329 ms. (12 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4004 steps (13 resets) in 283 ms. (14 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4003 steps (12 resets) in 275 ms. (14 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4004 steps (12 resets) in 277 ms. (14 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4004 steps (13 resets) in 283 ms. (14 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4004 steps (14 resets) in 288 ms. (13 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4003 steps (14 resets) in 302 ms. (13 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4004 steps (13 resets) in 281 ms. (14 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4004 steps (15 resets) in 326 ms. (12 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4003 steps (13 resets) in 349 ms. (11 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4004 steps (13 resets) in 300 ms. (13 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4004 steps (14 resets) in 294 ms. (13 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4003 steps (13 resets) in 268 ms. (14 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4004 steps (13 resets) in 283 ms. (14 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4002 steps (13 resets) in 347 ms. (11 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4004 steps (14 resets) in 351 ms. (11 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4004 steps (13 resets) in 354 ms. (11 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4003 steps (12 resets) in 322 ms. (12 steps per ms) remains 5466/5466 properties
BEST_FIRST walk for 4003 steps (13 resets) in 280 ms. (14 steps per ms) remains 5466/5466 properties
[2025-06-02 09:44:47] [INFO ] Flow matrix only has 10491 transitions (discarded 600 similar events)
// Phase 1: matrix 10491 rows 6116 cols
[2025-06-02 09:44:47] [INFO ] Computed 857 invariants in 529 ms
[2025-06-02 09:44:47] [INFO ] State equation strengthened by 4402 read => feed constraints.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/2931 variables, 42/42 constraints. Problems are: Problem set: 0 solved, 5466 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 2931/16607 variables, and 42 constraints, problems are : Problem set: 0 solved, 5466 unsolved in 45187 ms.
Refiners :[Positive P Invariants (semi-flows): 42/47 constraints, Generalized P Invariants (flows): 0/810 constraints, State Equation: 0/6116 constraints, ReadFeed: 0/4402 constraints, PredecessorRefiner: 5466/5466 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 5466 unsolved
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/2931 variables, 42/42 constraints. Problems are: Problem set: 0 solved, 5466 unsolved
SDD proceeding with computation,11223 properties remain. new max is 4
SDD size :1 after 7
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 2931/16607 variables, and 42 constraints, problems are : Problem set: 0 solved, 5466 unsolved in 45138 ms.
Refiners :[Positive P Invariants (semi-flows): 42/47 constraints, Generalized P Invariants (flows): 0/810 constraints, State Equation: 0/6116 constraints, ReadFeed: 0/4402 constraints, PredecessorRefiner: 0/5466 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 98295ms problems are : Problem set: 0 solved, 5466 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 2931 out of 6116 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6116/6116 places, 11091/11091 transitions.
Discarding 1229 places :
Symmetric choice reduction at 0 with 1229 rule applications. Total rules 1229 place count 4887 transition count 9862
Iterating global reduction 0 with 1229 rules applied. Total rules applied 2458 place count 4887 transition count 9862
Performed 5 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 5 Pre rules applied. Total rules applied 2458 place count 4887 transition count 9857
Deduced a syphon composed of 5 places in 7 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 0 with 10 rules applied. Total rules applied 2468 place count 4882 transition count 9857
Discarding 523 places :
Symmetric choice reduction at 0 with 523 rule applications. Total rules 2991 place count 4359 transition count 7765
Iterating global reduction 0 with 523 rules applied. Total rules applied 3514 place count 4359 transition count 7765
Free-agglomeration rule (complex) applied 22 times.
Iterating global reduction 0 with 22 rules applied. Total rules applied 3536 place count 4359 transition count 7743
Reduce places removed 22 places and 0 transitions.
Iterating post reduction 0 with 22 rules applied. Total rules applied 3558 place count 4337 transition count 7743
Partial Free-agglomeration rule applied 58 times.
Drop transitions (Partial Free agglomeration) removed 58 transitions
Iterating global reduction 1 with 58 rules applied. Total rules applied 3616 place count 4337 transition count 7743
Applied a total of 3616 rules in 1608 ms. Remains 4337 /6116 variables (removed 1779) and now considering 7743/11091 (removed 3348) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1608 ms. Remains : 4337/6116 places, 7743/11091 transitions.
SDD proceeding with computation,11223 properties remain. new max is 8
SDD size :7 after 9
RANDOM walk for 192736 steps (6588 resets) in 120004 ms. (1 steps per ms) remains 5429/5466 properties
BEST_FIRST walk for 4004 steps (16 resets) in 298 ms. (13 steps per ms) remains 5429/5429 properties
BEST_FIRST walk for 4004 steps (16 resets) in 426 ms. (9 steps per ms) remains 5429/5429 properties
BEST_FIRST walk for 4004 steps (16 resets) in 455 ms. (8 steps per ms) remains 5429/5429 properties
BEST_FIRST walk for 4004 steps (16 resets) in 364 ms. (10 steps per ms) remains 5429/5429 properties
BEST_FIRST walk for 4004 steps (16 resets) in 362 ms. (11 steps per ms) remains 5429/5429 properties
BEST_FIRST walk for 4004 steps (16 resets) in 365 ms. (10 steps per ms) remains 5429/5429 properties
BEST_FIRST walk for 4004 steps (16 resets) in 401 ms. (9 steps per ms) remains 5429/5429 properties
BEST_FIRST walk for 4004 steps (16 resets) in 450 ms. (8 steps per ms) remains 5429/5429 properties
BEST_FIRST walk for 4004 steps (16 resets) in 445 ms. (8 steps per ms) remains 5429/5429 properties
BEST_FIRST walk for 4004 steps (16 resets) in 368 ms. (10 steps per ms) remains 5429/5429 properties
BEST_FIRST walk for 4004 steps (16 resets) in 374 ms. (10 steps per ms) remains 5429/5429 properties
BEST_FIRST walk for 4004 steps (16 resets) in 293 ms. (13 steps per ms) remains 5429/5429 properties
BEST_FIRST walk for 4004 steps (16 resets) in 291 ms. (13 steps per ms) remains 5429/5429 properties
BEST_FIRST walk for 4004 steps (16 resets) in 313 ms. (12 steps per ms) remains 5429/5429 properties
BEST_FIRST walk for 4004 steps (16 resets) in 351 ms. (11 steps per ms) remains 5429/5429 properties
BEST_FIRST walk for 4004 steps (16 resets) in 470 ms. (8 steps per ms) remains 5429/5429 properties
BEST_FIRST walk for 4004 steps (16 resets) in 397 ms. (10 steps per ms) remains 5429/5429 properties
BEST_FIRST walk for 4004 steps (16 resets) in 455 ms. (8 steps per ms) remains 5429/5429 properties
BEST_FIRST walk for 4004 steps (16 resets) in 446 ms. (8 steps per ms) remains 5429/5429 properties
BEST_FIRST walk for 4004 steps (16 resets) in 411 ms. (9 steps per ms) remains 5429/5429 properties
BEST_FIRST walk for 4004 steps (16 resets) in 428 ms. (9 steps per ms) remains 5429/5429 properties
BEST_FIRST walk for 4003 steps (16 resets) in 352 ms. (11 steps per ms) remains 5429/5429 properties
BEST_FIRST walk for 4003 steps (15 resets) in 290 ms. (13 steps per ms) remains 5429/5429 properties
BEST_FIRST walk for 4003 steps (14 resets) in 244 ms. (16 steps per ms) remains 5429/5429 properties
BEST_FIRST walk for 4003 steps (13 resets) in 302 ms. (13 steps per ms) remains 5429/5429 properties
BEST_FIRST walk for 4002 steps (16 resets) in 357 ms. (11 steps per ms) remains 5427/5429 properties
BEST_FIRST walk for 4004 steps (14 resets) in 315 ms. (12 steps per ms) remains 5427/5427 properties
BEST_FIRST walk for 4003 steps (14 resets) in 337 ms. (11 steps per ms) remains 5427/5427 properties
BEST_FIRST walk for 4003 steps (14 resets) in 334 ms. (11 steps per ms) remains 5427/5427 properties
BEST_FIRST walk for 4002 steps (13 resets) in 340 ms. (11 steps per ms) remains 5427/5427 properties
BEST_FIRST walk for 4004 steps (16 resets) in 355 ms. (11 steps per ms) remains 5427/5427 properties
BEST_FIRST walk for 4003 steps (15 resets) in 262 ms. (15 steps per ms) remains 5427/5427 properties
BEST_FIRST walk for 4003 steps (14 resets) in 270 ms. (14 steps per ms) remains 5427/5427 properties
BEST_FIRST walk for 4004 steps (13 resets) in 307 ms. (13 steps per ms) remains 5427/5427 properties
BEST_FIRST walk for 4004 steps (12 resets) in 265 ms. (15 steps per ms) remains 5427/5427 properties
BEST_FIRST walk for 4003 steps (13 resets) in 298 ms. (13 steps per ms) remains 5427/5427 properties
BEST_FIRST walk for 4001 steps (13 resets) in 360 ms. (11 steps per ms) remains 5427/5427 properties
BEST_FIRST walk for 4004 steps (15 resets) in 444 ms. (8 steps per ms) remains 5427/5427 properties
BEST_FIRST walk for 4002 steps (14 resets) in 359 ms. (11 steps per ms) remains 5427/5427 properties
BEST_FIRST walk for 4003 steps (14 resets) in 398 ms. (10 steps per ms) remains 5427/5427 properties
BEST_FIRST walk for 4002 steps (12 resets) in 323 ms. (12 steps per ms) remains 5427/5427 properties
BEST_FIRST walk for 4004 steps (14 resets) in 278 ms. (14 steps per ms) remains 5425/5427 properties
BEST_FIRST walk for 4003 steps (14 resets) in 335 ms. (11 steps per ms) remains 5425/5425 properties
BEST_FIRST walk for 4004 steps (15 resets) in 341 ms. (11 steps per ms) remains 5425/5425 properties
BEST_FIRST walk for 4002 steps (14 resets) in 295 ms. (13 steps per ms) remains 5425/5425 properties
BEST_FIRST walk for 4004 steps (14 resets) in 262 ms. (15 steps per ms) remains 5425/5425 properties
BEST_FIRST walk for 4004 steps (16 resets) in 283 ms. (14 steps per ms) remains 5423/5425 properties
BEST_FIRST walk for 4004 steps (16 resets) in 259 ms. (15 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4003 steps (12 resets) in 253 ms. (15 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4004 steps (13 resets) in 279 ms. (14 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4003 steps (13 resets) in 389 ms. (10 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4003 steps (14 resets) in 335 ms. (11 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4003 steps (12 resets) in 328 ms. (12 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4003 steps (14 resets) in 395 ms. (10 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4004 steps (14 resets) in 379 ms. (10 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4004 steps (14 resets) in 358 ms. (11 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4004 steps (13 resets) in 348 ms. (11 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4004 steps (15 resets) in 391 ms. (10 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4004 steps (12 resets) in 308 ms. (12 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4003 steps (15 resets) in 378 ms. (10 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4003 steps (12 resets) in 340 ms. (11 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4004 steps (14 resets) in 327 ms. (12 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4004 steps (14 resets) in 352 ms. (11 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4003 steps (13 resets) in 324 ms. (12 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4004 steps (13 resets) in 349 ms. (11 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4003 steps (14 resets) in 305 ms. (13 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4003 steps (12 resets) in 266 ms. (14 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4003 steps (13 resets) in 297 ms. (13 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4003 steps (15 resets) in 322 ms. (12 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4004 steps (13 resets) in 315 ms. (12 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4004 steps (16 resets) in 332 ms. (12 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4003 steps (14 resets) in 323 ms. (12 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4003 steps (13 resets) in 302 ms. (13 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4004 steps (12 resets) in 333 ms. (11 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4003 steps (14 resets) in 284 ms. (14 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4003 steps (15 resets) in 348 ms. (11 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4004 steps (14 resets) in 331 ms. (12 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4003 steps (13 resets) in 611 ms. (6 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4004 steps (13 resets) in 293 ms. (13 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4004 steps (13 resets) in 305 ms. (13 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4004 steps (13 resets) in 239 ms. (16 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4004 steps (13 resets) in 283 ms. (14 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4004 steps (14 resets) in 324 ms. (12 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4004 steps (13 resets) in 371 ms. (10 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4002 steps (13 resets) in 386 ms. (10 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4003 steps (16 resets) in 382 ms. (10 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4003 steps (14 resets) in 286 ms. (13 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4002 steps (14 resets) in 255 ms. (15 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4004 steps (15 resets) in 251 ms. (15 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4003 steps (12 resets) in 238 ms. (16 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4004 steps (13 resets) in 244 ms. (16 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4003 steps (12 resets) in 305 ms. (13 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4002 steps (13 resets) in 323 ms. (12 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4003 steps (13 resets) in 322 ms. (12 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4004 steps (14 resets) in 294 ms. (13 steps per ms) remains 5423/5423 properties
BEST_FIRST walk for 4003 steps (13 resets) in 310 ms. (12 steps per ms) remains 5423/5423 properties
Reachability property qltransition_6117 is true.
Interrupted probabilistic random walk after 335916 steps, run timeout after 120001 ms. (steps per millisecond=2 ) properties seen :7 out of 5423
Probabilistic random walk after 335916 steps, saw 151631 distinct states, run finished after 120002 ms. (steps per millisecond=2 ) properties seen :7
[2025-06-02 09:49:07] [INFO ] Flow matrix only has 7121 transitions (discarded 622 similar events)
// Phase 1: matrix 7121 rows 4337 cols
[2025-06-02 09:49:08] [INFO ] Computed 857 invariants in 262 ms
[2025-06-02 09:49:08] [INFO ] State equation strengthened by 2833 read => feed constraints.
SDD proceeding with computation,11222 properties remain. new max is 8
SDD size :9 after 12
Starting Z3 with timeout 75.0 s and query timeout 7500.0 ms
SDD proceeding with computation,11222 properties remain. new max is 16
SDD size :12 after 15
At refinement iteration 0 (INCLUDED_ONLY) 0/2881 variables, 42/42 constraints. Problems are: Problem set: 0 solved, 5416 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 2881/11458 variables, and 42 constraints, problems are : Problem set: 0 solved, 5416 unsolved in 75150 ms.
Refiners :[Positive P Invariants (semi-flows): 42/47 constraints, Generalized P Invariants (flows): 0/810 constraints, State Equation: 0/4337 constraints, ReadFeed: 0/2833 constraints, PredecessorRefiner: 5416/5416 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 5416 unsolved
Starting Z3 with timeout 75.0 s and query timeout 7500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/2881 variables, 42/42 constraints. Problems are: Problem set: 0 solved, 5416 unsolved
Error getting values : (error "ParserException while parsing response: ((s3 1)
(s4 1)
(s5 1)
(s8 1)
(s9 1)
(s15 1)
(s16 1)
(s17 1)
(s18 1)
(s20 1)
(s21 1)
(s22 1)
(s23 1)
(s24 1)
(s25 1)
(s27 1)
(s28 1)
(s29 1)
(s30 1)
(s31 1)
(s32 1)
(s33 1)
(s34 1)
(s36 1)
(s37 1)
(s38 1)
(s39 1)
(s40 1)
(s41 1)
(s42 1)
(s43 1)
(s44 1)
(s45 1)
(s47 1)
(s48 1)
(s49 1)
(s50 1)
(s51 1)
(s52 1)
(s53 1)
(s54 1)
(s55 1)
(s56 1)
(s57 1)
(s58 1)
(s60 1)
(s61 1)
(s62 1)
(s63 1)
(s64 1)
(s65 1)
(s66 1)
(s67 1)
(s68 1)
(s69 1)
(s70 1)
(s71 1)
(s72 1)
(s73 1)
(s75 1)
(s76 1)
(s77 1)
(s78 1)
(s79 1)
(s80 1)
(s81 1)
(s82 1)
(s83 1)
(s84 1)
(s85 1)
(s86 1)
(s87 1)
(s88 1)
(s89 1)
(s90 1)
(s92 1)
(s93 1)
(s94 1)
(s95 1)
(s96 1)
(s97 1)
(s98 1)
(s99 1)
(s100 1)
(s101 1)
(s102 1)
(s103 1)
(s104 1)
(s105 1)
(s106 1)
(s107 1)
(s108 1)
(s109 1)
(s111 1)
(s112 1)
(s113 1)
(s114 1)
(s115 1)
(s116 1)
(s117 1)
(s118 1)
(s119 1)
(s120 1)
(s121 1)
(s122 1)
(s123 1)
(s124 1)
(s125 1)
(s126 1)
(s127 1)
(s128 1)
(s129 1)
(s130 1)
(s134 1)
(s135 1)
(s136 1)
(s137 1)
(s138 1)
(s139 1)
(s140 1)
(s141 1)
(s142 1)
(s143 1)
(s144 1)
(s145 1)
(s146 1)
(s147 1)
(s148 1)
(s149 1)
(s150 1)
(s151 1)
(s152 1)
(s153 1)
(s157 1)
(s158 1)
(s159 1)
(s160 1)
(s161 1)
(s162 1)
(s163 1)
(s164 1)
(s165 1)
(s166 1)
(s167 1)
(s168 1)
(s169 1)
(s170 1)
(s171 1)
(s172 1)
(s173 1)
(s174 1)
(s175 1)
(s176 1)
(s181 1)
(s182 1)
(s183 1)
(s184 1)
(s185 1)
(s186 1)
(s187 1)
(s188 1)
(s189 1)
(s190 1)
(s191 1)
(s192 1)
(s193 1)
(s194 1)
(s195 1)
(s196 1)
(s197 1)
(s198 1)
(s199 1)
(s200 1)
(s206 1)
(s207 1)
(s208 1)
(s209 1)
(s210 1)
(s211 1)
(s212 1)
(s213 1)
(s214 1)
(s215 1)
(s216 1)
(s217 1)
(s218 1)
(s219 1)
(s220 1)
(s221 1)
(s222 1)
(s223 1)
(s224 1)
(s225 1)
(s227 1)
(s228 1)
(s229 1)
(s230 1)
(s231 1)
(s232 1)
(s233 1)
(s234 1)
(s235 1)
(s236 1)
(s237 1)
(s238 1)
(s239 1)
(s240 1)
(s241 1)
(s242 1)
(s243 1)
(s244 1)
(s246 1)
(s247 1)
(s248 1)
(s249 1)
(s250 1)
(s251 1)
(s252 1)
(s253 1)
(s254 1)
(s255 1)
(s256 1)
(s257 1)
(s258 1)
(s259 1)
(s260 1)
(s261 1)
(s263 1)
(s264 1)
(s265 1)
(s266 1)
(s267 1)
(s268 1)
(s269 1)
(s270 1)
(s271 1)
(s272 1)
(s273 1)
(s274 1)
(s275 1)
(s276 1)
(s278 1)
(s279 1)
(s280 1)
(s281 1)
(s282 1)
(s283 1)
(s284 1)
(s285 1)
(s286 1)
(s287 1)
(s288 1)
(s289 1)
(s291 1)
(s292 1)
(s293 1)
(s294 1)
(s295 1)
(s296 1)
(s297 1)
(s298 1)
(s299 1)
(s300 1)
(s302 1)
(s303 1)
(s304 1)
(s305 1)
(s306 1)
(s307 1)
(s308 1)
(s309 1)
(s311 1)
(s312 1)
(s313 1)
(s314 1)
(s315 1)
(s316 1)
(s318 1)
(s319 1)
(s320 1)
(s321 1)
(s323 1)
(s324 1)
(s326 1)
(s336 1)
(s337 1)
(s338 0)
(s339 1)
(s340 1)
(s343 1)
(s349 1)
(s350 1)
(s352 1)
(s353 1)
(s354 1)
(s355 1)
(s357 1)
(s358 1)
(s359 1)
(s360 1)
(s361 1)
(s362 1)
(s364 1)
(s365 1)
(s366 1)
(s367 1)
(s368 1)
(s369 1)
(s370 1)
(s371 1)
(s373 1)
(s374 1)
(s375 1)
(s376 1)
(s377 1)
(s378 1)
(s379 1)
(s380 1)
(s381 1)
(s382 1)
(s384 1)
(s385 1)
(s386 1)
(s387 1)
(s388 1)
(s389 1)
(s390 1)
(s391 1)
(s392 1)
(s393 1)
(s394 1)
(s395 1)
(s397 1)
(s398 1)
(s399 1)
(s400 1)
(s401 1)
(s402 1)
(s403 1)
(s404 1)
(s405 1)
(s406 1)
(s407 1)
(s408 1)
(s409 1)
(s410 1)
(s412 1)
(s413 1)
(s414 1)
(s415 1)
(s416 1)
(s417 1)
(s418 1)
(s419 1)
(s420 1)
(s421 1)
(s422 1)
(s423 1)
(s424 1)
(s425 1)
(s426 1)
(s427 1)
(s429 1)
(s430 1)
(s431 1)
(s432 1)
(s433 1)
(s434 1)
(s435 1)
(s436 1)
(s437 1)
(s438 1)
(s439 1)
(s440 1)
(s441 1)
(s442 1)
(s443 1)
(s444 1)
(s445 1)
(s446 1)
(s450 1)
(s451 1)
(s452 1)
(s453 1)
(s454 1)
(s455 1)
(s456 1)
(s457 1)
(s458 1)
(s459 1)
(s460 1)
(s461 1)
(s462 1)
(s463 1)
(s464 1)
(s465 1)
(s466 1)
(s467 1)
(s471 1)
(s472 1)
(s473 1)
(s474 1)
(s475 1)
(s476 1)
(s477 1)
(s478 1)
(s479 1)
(s480 1)
(s481 1)
(s482 1)
(s483 1)
(s484 1)
(s485 1)
(s486 1)
(s487 1)
(s488 1)
(s493 1)
(s494 1)
(s495 1)
(s496 1)
(s497 1)
(s498 1)
(s499 1)
(s500 1)
(s501 1)
(s502 1)
(s503 1)
(s504 1)
(s505 1)
(s506 1)
(s507 1)
(s508 1)
(s509 1)
(s510 1)
(s516 1)
(s517 1)
(s518 1)
(s519 1)
(s520 1)
(s521 1)
(s522 1)
(s523 1)
(s524 1)
(s525 1)
(s526 1)
(s527 1)
(s528 1)
(s529 1)
(s530 1)
(s531 1)
(s532 1)
(s533 1)
(s535 1)
(s536 1)
(s537 1)
(s538 1)
(s539 1)
(s540 1)
(s541 1)
(s542 1)
(s543 1)
(s544 1)
(s545 1)
(s546 1)
(s547 1)
(s548 1)
(s549 1)
(s550 1)
(s552 1)
(s553 1)
(s554 1)
(s555 1)
(s556 1)
(s557 1)
(s558 1)
(s559 1)
(s560 1)
(s561 1)
(s562 1)
(s563 1)
(s564 1)
(s565 1)
(s567 1)
(s568 1)
(s569 1)
(s570 1)
(s571 1)
(s572 1)
(s573 1)
(s574 1)
(s575 1)
(s576 1)
(s577 1)
(s578 1)
(s580 1)
(s581 1)
(s582 1)
(s583 1)
(s584 1)
(s585 1)
(s586 1)
(s587 1)
(s588 1)
(s589 1)
(s591 1)
(s592 1)
(s593 1)
(s594 1)
(s595 1)
(s596 1)
(s597 1)
(s598 1)
(s600 1)
(s601 1)
(s602 1)
(s603 1)
(s604 1)
(s605 1)
(s607 1)
(s608 1)
(s609 1)
(s610 1)
(s612 1)
(s613 1)
(s615 1)
(s617 1)
(s627 1)
(s628 1)
(s629 0)
(s630 1)
(s631 1)
(s634 1)
(s640 1)
(s642 1)
(s643 1)
(s645 1)
(s646 1)
(s647 1)
(s648 1)
(s650 1)
(s651 1)
(s652 1)
(s653 1)
(s654 1)
(s655 1)
(s657 1)
(s658 1)
(s659 1)
(s660 1)
(s661 1)
(s662 1)
(s663 1)
(s664 1)
(s666 1)
(s667 1)
(s668 1)
(s669 1)
(s670 1)
(s671 1)
(s672 1)
(s673 1)
(s674 1)
(s675 1)
(s677 1)
(s678 1)
(s679 1)
(s680 1)
(s681 1)
(s682 1)
(s683 1)
(s684 1)
(s685 1)
(s686 1)
(s687 1)
(s688 1)
(s690 1)
(s691 1)
(s692 1)
(s693 1)
(s694 1)
(s695 1)
(s696 1)
(s697 1)
(s698 1)
(s699 1)
(s700 1)
(s701 1)
(s702 1)
(s703 1)
(s705 1)
(s706 1)
(s707 1)
(s708 1)
(s709 1)
(s710 1)
(s711 1)
(s712 1)
(s713 1)
(s714 1)
(s715 1)
(s716 1)
(s717 1)
(s718 1)
(s719 1)
(s720 1)
(s724 1)
(s725 1)
(s726 1)
(s727 1)
(s728 1)
(s729 1)
(s730 1)
(s731 1)
(s732 1)
(s733 1)
(s734 1)
(s735 1)
(s736 1)
(s737 1)
(s738 1)
(s739 1)
(s742 1)
(s743 1)
(s744 1)
(s745 1)
(s746 1)
(s747 1)
(s748 1)
(s749 1)
(s750 1)
(s751 1)
(s752 1)
(s753 1)
(s754 1)
(s755 1)
(s756 1)
(s757 1)
(s758 1)
(s763 1)
(s764 1)
(s765 1)
(s766 1)
(s767 1)
(s768 1)
(s769 1)
(s770 1)
(s771 1)
(s772 1)
(s773 1)
(s774 1)
(s775 1)
(s776 1)
(s777 1)
(s778 1)
(s784 1)
(s785 1)
(s786 1)
(s787 1)
(s788 1)
(s789 1)
(s790 1)
(s791 1)
(s792 1)
(s793 1)
(s794 1)
(s795 1)
(s796 1)
(s797 1)
(s798 1)
(s799 1)
(s801 1)
(s802 1)
(s803 1)
(s804 1)
(s805 1)
(s806 1)
(s807 1)
(s808 1)
(s809 1)
(s810 1)
(s811 1)
(s812 1)
(s813 1)
(s814 1)
(s816 1)
(s817 1)
(s818 1)
(s819 1)
(s820 1)
(s821 1)
(s822 1)
(s823 1)
(s824 1)
(s825 1)
(s826 1)
(s827 1)
(s829 1)
(s830 1)
(s831 1)
(s832 1)
(s833 1)
(s834 1)
(s835 1)
(s836 1)
(s837 1)
(s838 1)
(s840 1)
(s841 1)
(s842 1)
(s843 1)
(s844 1)
(s845 1)
(s846 1)
(s847 1)
(s849 1)
(s850 1)
(s851 1)
(s852 1)
(s853 1)
(s854 1)
(s856 1)
(s857 1)
(s858 1)
(s859 1)
(s861 1)
(s862 1)
(s864 1)
(s866 1)
(s868 1)
(s878 1)
(s879 1)
(s880 0)
(s881 1)
(s882 1)
(s885 1)
(s891 1)
(s893 1)
(s895 1)
(s896 1)
(s898 1)
(s899 1)
(s900 1)
(s901 1)
(s903 1)
(s904 1)
(s905 1)
(s906 1)
(s907 1)
(s908 1)
(s910 1)
(s911 1)
(s912 1)
(s913 1)
(s914 1)
(s915 1)
(s916 1)
(s917 1)
(s919 1)
(s920 1)
(s921 1)
(s922 1)
(s923 1)
(s924 1)
(s925 1)
(s926 1)
(s927 1)
(s928 1)
(s930 1)
(s931 1)
(s932 1)
(s933 1)
(s934 1)
(s935 1)
(s936 1)
(s937 1)
(s938 1)
(s939 1)
(s940 1)
(s941 1)
(s943 1)
(s944 1)
(s945 1)
(s946 1)
(s947 1)
(s948 1)
(s949 1)
(s950 1)
(s951 1)
(s952 1)
(s953 1)
(s954 1)
(s955 1)
(s956 1)
(s960 1)
(s961 1)
(s962 1)
(s963 1)
(s964 1)
(s965 1)
(s966 1)
(s967 1)
(s968 1)
(s969 1)
(s970 1)
(s971 1)
(s972 1)
(s973 1)
(s976 1)
(s977 1)
(s978 1)
(s979 1)
(s980 1)
(s981 1)
(s982 1)
(s983 1)
(s984 1)
(s985 1)
(s986 1)
(s987 1)
(s988 1)
(s989 1)
(s990 1)
(s995 1)
(s996 1)
(s997 1)
(s998 1)
(s999 1)
(s1000 1)
(s1001 1)
(s1002 1)
(s1003 1)
(s1004 1)
(s1005 1)
(s1006 1)
(s1007 1)
(s1008 1)
(s1014 1)
(s1015 1)
(s1016 1)
(s1017 1)
(s1018 1)
(s1019 1)
(s1020 1)
(s1021 1)
(s1022 1)
(s1023 1)
(s1024 1)
(s1025 1)
(s1026 1)
(s1027 1)
(s1029 1)
(s1030 1)
(s1031 1)
(s1032 1)
(s1033 1)
(s1034 1)
(s1035 1)
(s1036 1)
(s1037 1)
(s1038 1)
(s1039 1)
(s1040 1)
(s1042 1)
(s1043 1)
(s1044 1)
(s1045 1)
(s1046 1)
(s1047 1)
(s1048 1)
(s1049 1)
(s1050 1)
(s1051 1)
(s1053 1)
(s1054 1)
(s1055 1)
(s1056 1)
(s1057 1)
(s1058 1)
(s1059 1)
(s1060 1)
(s1062 1)
(s1063 1)
(s1064 1)
(s1065 1)
(s1066 1)
(s1067 1)
(s1069 1)
(s1070 1)
(s1071 1)
(s1072 1)
(s1074 1)
(s1075 1)
(s1077 1)
(s1079 1)
(s1081 1)
(s1083 1)
(s1093 1)
(s1094 1)
(s1095 0)
(s1096 1)
(s1097 1)
(s1100 1)
(s1106 1)
(s1108 1)
(s1110 1)
(s1112 1)
(s1113 1)
(s1115 1)
(s1116 1)
(s1117 1)
(s1118 1)
(s1120 1)
(s1121 1)
(s1122 1)
(s1123 1)
(s1124 1)
(s1125 1)
(s1127 1)
(s1128 1)
(s1129 1)
(s1130 1)
(s1131 1)
(s1132 1)
(s1133 1)
(s1134 1)
(s1136 1)
(s1137 1)
(s1138 1)
(s1139 1)
(s1140 1)
(s1141 1)
(s1142 1)
(s1143 1)
(s1144 1)
(s1145 1)
(s1147 1)
(s1148 1)
(s1149 1)
(s1150 1)
(s1151 1)
(s1152 1)
(s1153 1)
(s1154 1)
(s1155 1)
(s1156 1)
(s1157 1)
(s1158 1)
(s1162 1)
(s1163 1)
(s1164 1)
(s1165 1)
(s1166 1)
(s1167 1)
(s1168 1)
(s1169 1)
(s1170 1)
(s1171 1)
(s1172 1)
(s1173 1)
(s1177 1)
(s1178 1)
(s1179 1)
(s1180 1)
(s1181 1)
(s1182 1)
(s1183 1)
(s1184 1)
(s1185 1)
(s1186 1)
(s1187 1)
(s1188 1)
(s1194 1)
(s1195 1)
(s1196 1)
(s1197 1)
(s1198 1)
(s1199 1)
(s1200 1)
(s1201 1)
(s1202 1)
(s1203 1)
(s1204 1)
(s1210 1)
(s1211 1)
(s1212 1)
(s1213 1)
(s1214 1)
(s1215 1)
(s1216 1)
(s1217 1)
(s1218 1)
(s1219 1)
(s1220 1)
(s1221 1)
(s1223 1)
(s1224 1)
(s1225 1)
(s1226 1)
(s1227 1)
(s1228 1)
(s1229 1)
(s1230 1)
(s1231 1)
(s1232 1)
(s1234 1)
(s1235 1)
(s1236 1)
(s1237 1)
(s1238 1)
(s1239 1)
(s1240 1)
(s1241 1)
(s1243 1)
(s1244 1)
(s1245 1)
(s1246 1)
(s1247 1)
(s1248 1)
(s1250 1)
(s1251 1)
(s1252 1)
(s1253 1)
(s1255 1)
(s1256 1)
(s1258 1)
(s1260 1)
(s1262 1)
(s1264 1)
(s1266 1)
(s1276 0)
(s1277 0)
(s1278 1)
(s1279 1)
(s1280 1)
(s1283 1)
(s1289 1)
(s1291 1)
(s1293 1)
(s1296 1)
(s1299 1)
(s1300 1)
(s1302 1)
(s1303 1)
(s1304 1)
(s1305 1)
(s1307 1)
(s1308 1)
(s1309 1)
(s1310 1)
(s1311 1)
(s1312 1)
(s1314 1)
(s1315 1)
(s1316 1)
(s1317 1)
(s1318 1)
(s1319 1)
(s1320 1)
(s1321 1)
(s1323 1)
(s1324 1)
(s1325 1)
(s1326 1)
(s1327 1)
(s1328 1)
(s1329 1)
(s1330 1)
(s1331 1)
(s1332 1)
(s1336 1)
(s1337 1)
(s1338 1)
(s1339 1)
(s1340 1)
(s1341 1)
(s1342 1)
(s1343 1)
(s1344 1)
(s1345 1)
(s1349 1)
(s1350 1)
(s1351 1)
(s1352 1)
(s1353 1)
(s1354 1)
(s1355 1)
(s1356 1)
(s1357 1)
(s1358 1)
(s1363 1)
(s1364 1)
(s1365 1)
(s1366 1)
(s1367 1)
(s1368 1)
(s1369 1)
(s1370 1)
(s1371 1)
(s1372 1)
(s1378 1)
(s1379 1)
(s1380 1)
(s1381 1)
(s1382 1)
(s1383 1)
(s1384 1)
(s1385 1)
(s1386 1)
(s1387 1)
(s1389 1)
(s1390 1)
(s1391 1)
(s1392 1)
(s1393 1)
(s1394 1)
(s1395 1)
(s1396 1)
(s1398 1)
(s1399 1)
(s1400 1)
(s1401 1)
(s1402 1)
(s1403 1)
(s1405 1)
(s1406 1)
(s1407 1)
(s1408 1)
(s1410 1)
(s1411 1)
(s1413 1)
(s1415 1)
(s1417 1)
(s1419 1)
(s1421 1)
(s1423 1)
(s1433 0)
(s1434 0)
(s1435 1)
(s1436 1)
(s1437 1)
(s1440 1)
(s1446 1)
(s1448 1)
(s1450 1)
(s1452 1)
(s1454 1)
(s1457 1)
(s1458 1)
(s1461 1)
(s1462 1)
(s1463 1)
(s1464 1)
(s1466 1)
(s1467 1)
(s1468 1)
(s1469 1)
(s1470 1)
(s1471 1)
(s1473 1)
(s1474 1)
(s1475 1)
(s1476 1)
(s1477 1)
(s1478 1)
(s1479 1)
(s1480 1)
(s1484 1)
(s1485 1)
(s1486 1)
(s1487 1)
(s1488 1)
(s1489 1)
(s1490 1)
(s1491 1)
(s1495 1)
(s1496 1)
(s1497 1)
(s1498 1)
(s1499 1)
(s1500 1)
(s1501 1)
(s1502 1)
(s1507 1)
(s1508 1)
(s1509 1)
(s1510 1)
(s1511 1)
(s1512 1)
(s1513 1)
(s1514 1)
(s1520 1)
(s1521 1)
(s1522 1)
(s1523 1)
(s1524 1)
(s1525 1)
(s1526 1)
(s1527 1)
(s1529 1)
(s1530 1)
(s1531 1)
(s1532 1)
(s1533 1)
(s1534 1)
(s1536 1)
(s1537 1)
(s1538 1)
(s1539 1)
(s1541 1)
(s1542 1)
(s1544 1)
(s1546 1)
(s1548 1)
(s1550 1)
(s1552 1)
(s1555 1)
(s1558 1)
(s1568 0)
(s1569 0)
(s1570 1)
(s1571 1)
(s1572 1)
(s1575 1)
(s1582 1)
(s1585 1)
(s1587 1)
(s1589 1)
(s1591 1)
(s1593 1)
(s1595 1)
(s1596 1)
(s1599 1)
(s1600 1)
(s1601 1)
(s1602 1)
(s1605 1)
(s1606 1)
(s1607 1)
(s1608 1)
(s1609 1)
(s1610 1)
(s1614 1)
(s1615 1)
(s1616 1)
(s1617 1)
(s1618 1)
(s1619 1)
(s1623 1)
(s1624 1)
(s1625 1)
(s1626 1)
(s1627 1)
(s1628 1)
(s1633 1)
(s1634 1)
(s1635 1)
(s1636 1)
(s1637 1)
(s1638 1)
(s1644 1)
(s1645 1)
(s1646 1)
(s1647 1)
(s1648 1)
(s1649 1)
(s1651 1)
(s1652 1)
(s1653 1)
(s1654 1)
(s1656 1)
(s1657 1)
(s1659 1)
(s1661 1)
(s1663 1)
(s1665 1)
(s1667 1)
(s1669 1)
(s1671 1)
(s1673 1)
(s1683 0)
(s1684 0)
(s1685 1)
(s1686 1)
(s1687 1)
(s1690 1)
(s1696 1)
(s1698 1)
(s1700 1)
(s1702 1)
(s1704 1)
(s1706 1)
(s1708 1)
(s1710 1)
(s1711 1)
(s1713 1)
(s1714 1)
(s1715 1)
(s1716 1)
(s1720 1)
(s1721 1)
(s1722 1)
(s1723 1)
(s1727 1)
(s1728 1)
(s1729 1)
(s1730 1)
(s1735 1)
(s1736 1)
(s1737 1)
(s1738 1)
(s1744 1)
(s1745 1)
(s1746 1)
(s1747 1)
(s1749 1)
(s1750 1)
(s1752 1)
(s1754 1)
(s1756 1)
(s1758 1)
(s1760 1)
(s1762 1)
(s1764 1)
(s1766 1)
(s1768 1)
(s1778 0)
(s1779 0)
(s1780 1)
(s1781 1)
(s1782 1)
(s1785 1)
(s1791 1)
(s1793 1)
(s1795 1)
(s1797 1)
(s1799 1)
(s1801 1)
(s1803 1)
(s1805 1)
(s1807 1)
(s1808 1)
(s1812 1)
(s1813 1)
(s1816 1)
(s1817 1)
(s1818 1)
(s1823 1)
(s1824 1)
(s1830 1)
(s1831 1)
(s1833 1)
(s1835 1)
(s1837 1)
(s1839 1)
(s1841 1)
(s1843 1)
(s1845 1)
(s1847 1)
(s1849 1)
(s1851 1)
(s1861 0)
(s1862 0)
(s1863 1)
(s1864 1)
(s1865 1)
(s1868 1)
(s1875 1)
(s1879 1)
(s1882 1)
(s1884 1)
(s1886 1)
(s1888 1)
(s1890 1)
(s1892 1)
(s1894 1)
(s1912 1)
(s1914 1)
(s1916 1)
(s1918 1)
(s1920 1)
(s1922 1)
(s1924 1)
(s1926 1)
(s1928 1)
(s1931 1)
(s1934 1)
(s1944 0)
(s1946 1)
(s1947 1)
(s1948 1)
(s1951 1)
(s1957 1)
(s1959 1)
(s1961 1)
(s1963 1)
(s1965 1)
(s1967 1)
(s1969 1)
(s1971 1)
(s1973 1)
(s1975 1)
(s1986 1)
(s1988 1)
(s1990 1)
(s1992 1)
(s1994 1)
(s1996 1)
(s1998 1)
(s2000 1)
(s2002 1)
(s2004 1)
(s2006 1)
(s2018 1)
(s2021 1)
(s2027 1)
(s2028 1)
(s2030 1)
(s2032 1)
(s2033 1)
(s2034 1)
(s2036 1)
(s2037 1)
(s2038 1)
(s2040 1)
(s2041 1)
(s2042 1)
(s2044 1)
(s2045 1)
(s2046 1)
(s2048 1)
(s2049 1)
(s2050 1)
(s2052 1)
(s2053 1)
(s2055 1)
(s2057 1)
(s2058 1)
(s2059 1)
(s2061 1)
(s2063 1)
(s2065 1)
(s2066 1)
(s2067 1)
(s2070 1)
(s2076 1)
(s2078 1)
(s2080 1)
(s2082 1)
(s2084 1)
(s2086 1)
(s2088 1)
(s2090 1)
(s2092 1)
(s2094 1)
(s2096 1)
(s2097 1)
(s2098 1)
(s2107 0)
(s2109 1)
(s2110 1)
(s2111 1)
(s2114 1)
(s2120 1)
(s2122 1)
(s2124 1)
(s2126 1)
(s2128 1)
(s2130 1)
(s2132 1)
(s2134 1)
(s2136 1)
(s2138 1)
(s2149 1)
(s2151 1)
(s2153 1)
(s2155 1)
(s2157 1)
(s2159 1)
(s2161 1)
(s2163 1)
(s2165 1)
(s2168 1)
(s2171 1)
(s2181 0)
(s2182 0)
(s2183 1)
(s2184 1)
(s2185 1)
(s2188 1)
(s2195 1)
(s2198 1)
(s2200 1)
(s2202 1)
(s2204 1)
(s2206 1)
(s2208 1)
(s2210 1)
(s2212 1)
(s2214 1)
(s2221 1)
(s2230 1)
(s2232 1)
(s2234 1)
(s2236 1)
(s2238 1)
(s2240 1)
(s2242 1)
(s2244 1)
(s2246 1)
(s2248 1)
(s2258 0)
(s2259 0)
(s2260 1)
(s2261 1)
(s2262 1)
(s2265 1)
(s2271 1)
(s2273 1)
(s2275 1)
(s2277 1)
(s2279 1)
(s2281 1)
(s2283 1)
(s2285 1)
(s2287 1)
(s2289 1)
(s2290 1)
(s2294 1)
(s2295 1)
(s2300 1)
(s2301 1)
(s2309 1)
(s2310 1)
(s2312 1)
(s2313 1)
(s2315 1)
(s2317 1)
(s2319 1)
(s2321 1)
(s2323 1)
(s2325 1)
(s2327 1)
(s2329 1)
(s2331 1)
(s2341 0)
(s2342 0)
(s2343 1)
(s2344 1)
(s2345 1)
(s2348 1)
(s2354 1)
(s2356 1)
(s2358 1)
(s2360 1)
(s2362 1)
(s2364 1)
(s2366 1)
(s2368 1)
(s2370 1)
(s2371 1)
(s2373 1)
(s2374 1)
(s2375 1)
(s2376 1)
(s2380 1)
(s2381 1)
(s2382 1)
(s2383 1)
(s2387 1)
(s2388 1)
(s2389 1)
(s2390 1)
(s2391 1)
(s2399 1)
(s2400 1)
(s2401 1)
(s2402 1)
(s2404 1)
(s2405 1)
(s2406 1)
(s2407 1)
(s2409 1)
(s2410 1)
(s2412 1)
(s2414 1)
(s2416 1)
(s2418 1)
(s2420 1)
(s2422 1)
(s2424 1)
(s2426 1)
(s2436 0)
(s2437 0)
(s2438 1)
(s2439 1)
(s2440 1)
(s2443 1)
(s2449 1)
(s2451 1)
(s2453 1)
(s2455 1)
(s2457 1)
(s2459 1)
(s2460 1)
(s2461 1)
(s2463 1)
(s2465 1)
(s2466 1)
(s2468 1)
(s2469 1)
(s2470 1)
(s2471 1)
(s2473 1)
(s2474 1)
(s2475 1)
(s2476 1)
(s2477 1)
(s2478 1)
(s2482 1)
(s2483 1)
(s2484 1)
(s2485 1)
(s2486 1)
(s2487 1)
(s2491 1)
(s2492 1)
(s2493 1)
(s2494 1)
(s2495 1)
(s2496 1)
(s2497 1)
(s2505 1)
(s2506 1)
(s2507 1)
(s2508 1)
(s2509 1)
(s2510 1)
(s2512 1)
(s2513 1)
(s2514 1)
(s2515 1)
(s2516 1)
(s2517 1)
(s2519 1)
(s2520 1)
(s2521 1)
(s2522 1)
(s2524 1)
(s2525 1)
(s2527 1)
(s2529 1)
(s2531 1)
(s2533 1)
(s2535 1)
(s2537 1)
(s2540 1)
(s2551 0)
(s2552 0)
(s2553 1)
(s2554 1)
(s2555 1)
(s2558 1)
(s2564 1)
(s2566 1)
(s2568 1)
(s2570 1)
(s2572 1)
(s2574 1)
(s2576 1)
(s2577 1)
(s2579 1)
(s2580 1)
(s2581 1)
(s2582 1)
(s2584 1)
(s2585 1)
(s2586 1)
(s2587 1)
(s2588 1)
(s2589 1)
(s2591 1)
(s2592 1)
(s2593 1)
(s2594 1)
(s2595 1)
(s2596 1)
(s2597 1)
(s2598 1)
(s2602 1)
(s2603 1)
(s2604 1)
(s2605 1)
(s2606 1)
(s2607 1)
(s2608 1)
(s2609 1)
(s2614 1)
(s2615 1)
(s2616 1)
(s2617 1)
(s2618 1)
(s2619 1)
(s2620 1)
(s2621 1)
(s2629 1)
(s2630 1)
(s2631 1)
(s2632 1)
(s2633 1)
(s2634 1)
(s2635 1)
(s2636 1)
(s2638 1)
(s2639 1)
(s2640 1)
(s2641 1)
(s2642 1)
(s2643 1)
(s2644 1)
(s2645 1)
(s2647 1)
(s2648 1)
(s2649 1)
(s2650 1)
(s2651 1)
(s2652 1)
(s2654 1)
(s2655 1)
(s2656 1)
(s2657 1)
(s2659 1)
(s2660 1)
(s2662 1)
(s2664 1)
(s2666 1)
(s2668 1)
(s2670 1)
(s2672 1)
(s2682 1)
(s2683 1)
(s2684 0)
(s2685 1)
(s2686 1)
(s2689 1)
(s2695 1)
(s2696 1)
(s2697 1)
(s2699 1)
(s2701 1)
(s2703 1)
(s2705 1)
(s2707 1)
(s2708 1)
(s2710 1)
(s2711 1)
(s2712 1)
(s2713 1)
(s2715 1)
(s2716 1)
(s2717 1)
(s2718 1)
(s2719 1)
(s2720 1)
(s2722 1)
(s2723 1)
(s2724 1)
(s2725 1)
(s2726 1)
(s2727 1)
(s2728 1)
(s2729 1)
(s2731 1)
(s2732 1)
(s2733 1)
(s2734 1)
(s2735 1)
(s2736 1)
(s2737 1)
(s2738 1)
(s2739 1)
(s2740 1)
(s2744 1)
(s2745 1)
(s2746 1)
(s2747 1)
(s2748 1)
(s2749 1)
(s2750 1)
(s2751 1)
(s2752 1)
(s2753 1)
(s2758 1)
(s2759 1)
(s2760 1)
(s2761 1)
(s2762 1)
(s2763 1)
(s2764 1)
(s2765 1)
(s2766 1)
(s2767 1)
(s2776 1)
(s2777 1)
(s2778 1)
(s2779 1)
(s2780 1)
(s2781 1)
(s2782 1)
(s2783 1)
(s2784 1)
(s2786 1)
(s2787 1)
(s2788 1)
(s2789 1)
(s2790 1)
(s2791 1)
(s2792 1)
(s2793 1)
(s2794 1)
(s2795 1)
(s2797 1)
(s2798 1)
(s2799 1)
(s2800 1)
(s2801 1)
(s2802 1)
(s2803 1)
(s2804 1)
(s2806 1)
(s2807 1)
(s2808 1)
(s2809 1)
(s2810 1)
(s2811 1)
(s2813 1)
(s2814 1)
(s2815 1)
(s2816 1)
(s2818 1)
(s2819 1)
(s2821 1)
(s2823 1)
(s2825 1)
(s2827 1)
(s2829 1)
(s2839 1)
(s2840 1)
(s2841 0)
(s2842 1)
(s2843 1)
(s2846 1)
(s2852 1)
(s2854 1)
(s2856 1)
(s2858 1)
(s2860 1)
(s2861 1)
(s2863 1)
(s2864 1)
(s2865 1)
(s2866 1)
(s2868 1)
(s2869 1)
(s2870 1)
(s2871 1)
(s2872 1)
(s2873 1)
(s2875 1)
(s2876 1)
(s2877 1)
(s2878 1)
(s2879 1)
(s2880 1)
(s2881 1)
(s2882 1)
(s2884 1)
(s2885 1)
(s2886 1)
(s2887 1)
(s2888 1)
(s2889 1)
(s2890 1)
(s2891 1)
(s2892 1)
(s2893 1)
(s2895 1)
(s2896 1)
(s2897 1)
(s2898 1)
(s2899 1)
(s2900 1)
(s2901 1)
(s2902 1)
(s2903 1)
(s2904 1)
(s2905 1)
(s2906 1)
(s2910 1)
(s2911 1)
(s2912 1)
(s2913 1)
(s2914 1)
(s2915 1)
(s2916 1)
(s2917 1)
(s2918 1)
(s2919 1)
(s2920 1)
(s2921 1)
(s2926 1)
(s2927 1)
(s2928 1)
(s2929 1)
(s2930 1)
(s2931 1)
(s2932 1)
(s2933 1)
(s2934 1)
(s2935 1)
(s2936 1)
(s2937 1)
(s2945 1)
(s2946 1)
(s2947 1)
(s2948 1)
(s2949 1)
(s2950 1)
(s2951 1)
(s2952 1)
(s2953 1)
(s2954 1)
(s2955 1)
(s2956 1)
(s2958 1)
(s2959 1)
(s2960 1)
(s2961 1)
(s2962 1)
(s2963 1)
(s2964 1)
(s2965 1)
(s2966 1)
(s2967 1)
(s2968 1)
(s2969 1)
(s2971 1)
(s2972 1)
(s2973 1)
(s2974 1)
(s2975 1)
(s2976 1)
(s2977 1)
(s2978 1)
(s2979 1)
(s2980 1)
(s2982 1)
(s2983 1)
(s2984 1)
(s2985 1)
(s2986 1)
(s2987 1)
(s2988 1)
(s2989 1)
(s2991 1)
(s2992 1)
(s2993 1)
(s2994 1)
(s2995 1)
(s2996 1)
(s2998 1)
(s2999 1)
(s3000 1)
(s3001 1)
(s3003 1)
(s3004 1)
(s3006 1)
(s3008 1)
(s3010 1)
(s3012 1)
(s3022 1)
(s3023 1)
(s3024 0)
(s3025 1)
(s3026 1)
(s3029 1)
(s3035 1)
(s3036 1)
(s3037 1)
(s3039 1)
(s3041 1)
(s3043 1)
(s3044 1)
(s3046 1)
(s3047 1)
(s3048 1)
(s3049 1)
(s3051 1)
(s3052 1)
(s3053 1)
(s3054 1)
(s3055 1)
(s3056 1)
(s3058 1)
(s3059 1)
(s3060 1)
(s3061 1)
(s3062 1)
(s3063 1)
(s3064 1)
(s3065 1)
(s3067 1)
(s3068 1)
(s3069 1)
(s3070 1)
(s3071 1)
(s3072 1)
(s3073 1)
(s3074 1)
(s3075 1)
(s3076 1)
(s3078 1)
(s3079 1)
(s3080 1)
(s3081 1)
(s3082 1)
(s3083 1)
(s3084 1)
(s3085 1)
(s3086 1)
(s3087 1)
(s3088 1)
(s3089 1)
(s3091 1)
(s3092 1)
(s3093 1)
(s3094 1)
(s3095 1)
(s3096 1)
(s3097 1)
(s3098 1)
(s3099 1)
(s3100 1)
(s3101 1)
(s3102 1)
(s3103 1)
(s3104 1)
(s3109 1)
(s3110 1)
(s3111 1)
(s3112 1)
(s3113 1)
(s3114 1)
(s3115 1)
(s3116 1)
(s3117 1)
(s3118 1)
(s3119 1)
(s3120 1)
(s3121 1)
(s3126 1)
(s3127 1)
(s3128 1)
(s3129 1)
(s3130 1)
(s3131 1)
(s3132 1)
(s3133 1)
(s3134 1)
(s3135 1)
(s3136 1)
(s3137 1)
(s3138 1)
(s3139 1)
(s3147 1)
(s3148 1)
(s3149 1)
(s3150 1)
(s3151 1)
(s3152 1)
(s3153 1)
(s3154 1)
(s3155 1)
(s3156 1)
(s3157 1)
(s3158 1)
(s3159 1)
(s3160 1)
(s3162 1)
(s3163 1)
(s3164 1)
(s3165 1)
(s3166 1)
(s3167 1)
(s3168 1)
(s3169 1)
(s3170 1)
(s3171 1)
(s3172 1)
(s3173 1)
(s3174 1)
(s3175 1)
(s3177 1)
(s3178 1)
(s3179 1)
(s3180 1)
(s3181 1)
(s3182 1)
(s3183 1)
(s3184 1)
(s3185 1)
(s3186 1)
(s3187 1)
(s3188 1)
(s3190 1)
(s3191 1)
(s3192 1)
(s3193 1)
(s3194 1)
(s3195 1)
(s3196 1)
(s3197 1)
(s3198 1)
(s3199 1)
(s3201 1)
(s3202 1)
(s3203 1)
(s3204 1)
(s3205 1)
(s3206 1)
(s3207 1)
(s3208 1)
(s3210 1)
(s3211 1)
(s3212 1)
(s3213 1)
(s3214 1)
(s3215 1)
(s3217 1)
(s3218 1)
(s3219 1)
(s3220 1)
(s3222 1)
(s3223 1)
(s3225 1)
(s3227 1)
(s3229 1)
(s3239 1)
(s3240 1)
(s3241 0)
(s3242 1)
(s3243 1)
(s3246 1)
(s3252 1)
(s3254 1)
(s3256 1)
(s3257 1)
(s3259 1)
(s3260 1)
(s3261 1)
(s3262 1)
(s3264 1)
(s3265 1)
(s3266 1)
(s3267 1)
(s3268 1)
(s3269 1)
(s3271 1)
(s3272 1)
(s3273 1)
(s3274 1)
(s3275 1)
(s3276 1)
(s3277 1)
(s3278 1)
(s3280 1)
(s3281 1)
(s3282 1)
(s3283 1)
(s3284 1)
(s3285 1)
(s3286 1)
(s3287 1)
(s3288 1)
(s3289 1)
(s3291 1)
(s3292 1)
(s3293 1)
(s3294 1)
(s3295 1)
(s3296 1)
(s3297 1)
(s3298 1)
(s3299 1)
(s3300 1)
(s3301 1)
(s3302 1)
(s3304 1)
(s3305 1)
(s3306 1)
(s3307 1)
(s3308 1)
(s3309 1)
(s3310 1)
(s3311 1)
(s3312 1)
(s3313 1)
(s3314 1)
(s3315 1)
(s3316 1)
(s3317 1)
(s3319 1)
(s3320 1)
(s3321 1)
(s3322 1)
(s3323 1)
(s3324 1)
(s3325 1)
(s3326 1)
(s3327 1)
(s3328 1)
(s3329 1)
(s3330 1)
(s3331 1)
(s3332 1)
(s3333 1)
(s3334 1)
(s3338 1)
(s3339 1)
(s3340 1)
(s3341 1)
(s3342 1)
(s3343 1)
(s3344 1)
(s3345 1)
(s3346 1)
(s3347 1)
(s3348 1)
(s3349 1)
(s3350 1)
(s3351 1)
(s3352 1)
(s3353 1)
(s3357 1)
(s3358 1)
(s3359 1)
(s3360 1)
(s3361 1)
(s3362 1)
(s3363 1)
(s3364 1)
(s3365 1)
(s3366 1)
(s3367 1)
(s3368 1)
(s3369 1)
(s3370 1)
(s3371 1)
(s3372 1)
(s3373 1)
(s3381 1)
(s3382 1)
(s3383 1)
(s3384 1)
(s3385 1)
(s3386 1)
(s3387 1)
(s3388 1)
(s3389 1)
(s3390 1)
(s3391 1)
(s3392 1)
(s3393 1)
(s3394 1)
(s3395 1)
(s3396 1)
(s3398 1)
(s3399 1)
(s3400 1)
(s3401 1)
(s3402 1)
(s3403 1)
(s3404 1)
(s3405 1)
(s3406 1)
(s3407 1)
(s3408 1)
(s3409 1)
(s3410 1)
(s3411 1)
(s3412 1)
(s3413 1)
(s3415 1)
(s3416 1)
(s3417 1)
(s3418 1)
(s3419 1)
(s3420 1)
(s3421 1)
(s3422 1)
(s3423 1)
(s3424 1)
(s3425 1)
(s3426 1)
(s3427 1)
(s3428 1)
(s3430 1)
(s3431 1)
(s3432 1)
(s3433 1)
(s3434 1)
(s3435 1)
(s3436 1)
(s3437 1)
(s3438 1)
(s3439 1)
(s3440 1)
(s3441 1)
(s3443 1)
(s3444 1)
(s3445 1)
(s3446 1)
(s3447 1)
(s3448 1)
(s3449 1)
(s3450 1)
(s3451 1)
(s3452 1)
(s3454 1)
(s3455 1)
(s3456 1)
(s3457 1)
(s3458 1)
(s3459 1)
(s3460 1)
(s3461 1)
(s3463 1)
(s3464 1)
(s3465 1)
(s3466 1)
(s3467 1)
(s3468 1)
(s3470 1)
(s3471 1)
(s3472 1)
(s3473 1)
(s3475 1)
(s3476 1)
(s3478 1)
(s3480 1)
(s3490 1)
(s3491 1)
(s3492 0)
(s3493 1)
(s3494 1)
(s3497 1)
(s3503 1)
(s3505 1)
(s3506 1)
(s3508 1)
(s3509 1)
(s3510 1)
(s3511 1)
(s3513 1)
(s3514 1)
(s3515 1)
(s3516 1)
(s3517 1)
(s3518 1)
(s3520 1)
(s3521 1)
(s3522 1)
(s3523 1)
(s3524 1)
(s3525 1)
(s3526 1)
(s3527 1)
(s3529 1)
(s3530 1)
(s3531 1)
(s3532 1)
(s3533 1)
(s3534 1)
(s3535 1)
(s3536 1)
(s3537 1)
(s3538 1)
(s3540 1)
(s3541 1)
(s3542 1)
(s3543 1)
(s3544 1)
(s3545 1)
(s3546 1)
(s3547 1)
(s3548 1)
(s3549 1)
(s3550 1)
(s3551 1)
(s3553 1)
(s3554 1)
(s3555 1)
(s3556 1)
(s3557 1)
(s3558 1)
(s3559 1)
(s3560 1)
(s3561 1)
(s3562 1)
(s3563 1)
(s3564 1)
(s3565 1)
(s3566 1)
(s3568 1)
(s3569 1)
(s3570 1)
(s3571 1)
(s3572 1)
(s3573 1)
(s3574 1)
(s3575 1)
(s3576 1)
(s3577 1)
(s3578 1)
(s3579 1)
(s3580 1)
(s3581 1)
(s3582 1)
(s3583 1)
(s3585 1)
(s3586 1)
(s3587 1)
(s3588 1)
(s3589 1)
(s3590 1)
(s3591 1)
(s3592 1)
(s3593 1)
(s3594 1)
(s3595 1)
(s3596 1)
(s3597 1)
(s3598 1)
(s3599 1)
(s3600 1)
(s3601 1)
(s3602 1)
(s3606 1)
(s3607 1)
(s3608 1)
(s3609 1)
(s3610 1)
(s3611 1)
(s3612 1)
(s3613 1)
(s3614 1)
(s3615 1)
(s3616 1)
(s3617 1)
(s3618 1)
(s3619 1)
(s3620 1)
(s3621 1)
(s3622 1)
(s3623 1)
(s3628 1)
(s3629 1)
(s3630 1)
(s3631 1)
(s3632 1)
(s3633 1)
(s3634 1)
(s3635 1)
(s3636 1)
(s3637 1)
(s3638 1)
(s3639 1)
(s3640 1)
(s3641 1)
(s3642 1)
(s3643 1)
(s3644 1)
(s3645 1)
(s3653 1)
(s3654 1)
(s3655 1)
(s3656 1)
(s3657 1)
(s3658 1)
(s3659 1)
(s3660 1)
(s3661 1)
(s3662 1)
(s3663 1)
(s3664 1)
(s3665 1)
(s3666 1)
(s3667 1)
(s3668 1)
(s3669 1)
(s3670 1)
(s3672 1)
(s3673 1)
(s3674 1)
(s3675 1)
(s3676 1)
(s3677 1)
(s3678 1)
(s3679 1)
(s3680 1)
(s3681 1)
(s3682 1)
(s3683 1)
(s3684 1)
(s3685 1)
(s3686 1)
(s3687 1)
(s3688 1)
(s3689 1)
(s3691 1)
(s3692 1)
(s3693 1)
(s3694 1)
(s3695 1)
(s3696 1)
(s3697 1)
(s3698 1)
(s3699 1)
(s3700 1)
(s3701 1)
(s3702 1)
(s3703 1)
(s3704 1)
(s3705 1)
(s3706 1)
(s3708 1)
(s3709 1)
(s3710 1)
(s3711 1)
(s3712 1)
(s3713 1)
(s3714 1)
(s3715 1)
(s3716 1)
(s3717 1)
(s3718 1)
(s3719 1)
(s3720 1)
(s3721 1)
(s3723 1)
(s3724 1)
(s3725 1)
(s3726 1)
(s3727 1)
(s3728 1)
(s3729 1)
(s3730 1)
(s3731 1)
(s3732 1)
(s3733 1)
(s3734 1)
(s3736 1)
(s3737 1)
(s3738 1)
(s3739 1)
(s3740 1)
(s3741 1)
(s3742 1)
(s3743 1)
(s3744 1)
(s3745 1)
(s3747 1)
(s3748 1)
(s3749 1)
(s3750 1)
(s3751 1)
(s3752 1)
(s3753 1)
(s3754 1)
(s3756 1)
(s3757 1)
(s3758 1)
(s3759 1)
(s3760 1)
(s3761 1)
(s3764 1)
(s3765 1)
(s3766 1)
(s3767 1)
(s3770 1)
(s3771 1)
(s3773 1)
(s3783 1)
(s3784 1)
(s3785 1)
(s3788 1)
(s3794 1)
(s3795 1)
(s3797 1)
(s3798 1)
(s3799 1)
(s3800 1)
(s3802 1)
(s3803 1)
(s3804 1)
(s3805 1)
(s3806 1)
(s3807 1)
(s3809 1)
(s3810 1)
(s3811 1)
(s3812 1)
(s3813 1)
(s3814 1)
(s3815 1)
(s3816 1)
(s3818 1)
(s3819 1)
(s3820 1)
(s3821 1)
(s3822 1)
(s3823 1)
(s3824 1)
(s3825 1)
(s3826 1)
(s3827 1)
(s3829 1)
(s3830 1)
(s3831 1)
(s3832 1)
(s3833 1)
(s3834 1)
(s3835 1)
(s3836 1)
(s3837 1)
(s3838 1)
(s3839 1)
(s3840 1)
(s3842 1)
(s3843 1)
(s3844 1)
(s3845 1)
(s3846 1)
(s3847 1)
(s3848 1)
(s3849 1)
(s3850 1)
(s3851 1)
(s3852 1)
(s3853 1)
(s3854 1)
(s3855 1)
(s3857 1)
(s3858 1)
(s3859 1)
(s3860 1)
(s3861 1)
(s3862 1)
(s3863 1)
(s3864 1)
(s3865 1)
(s3866 1)
(s3867 1)
(s3868 1)
(s3869 1)
(s3870 1)
(s3871 1)
(s3872 1)
(s3874 1)
(s3875 1)
(s3876 1)
(s3877 1)
(s3878 1)
(s3879 1)
(s3880 1)
(s3881 1)
(s3882 1)
(s3883 1)
(s3884 1)
(s3885 1)
(s3886 1)
(s3887 1)
(s3888 1)
(s3889 1)
(s3890 1)
(s3891 1)
(s3893 1)
(s3894 1)
(s3895 1)
(s3896 1)
(s3897 1)
(s3898 1)
(s3899 1)
(s3900 1)
(s3901 1)
(s3902 1)
(s3903 1)
(s3904 1)
(s3905 1)
(s3906 1)
(s3907 1)
(s3908 1)
(s3909 1)
(s3910 1)
(s3911 1)
(s3912 1)
(s3917 1)
(s3918 1)
(s3919 1)
(s3920 1)
(s3921 1)
(s3922 1)
(s3923 1)
(s3924 1)
(s3925 1)
(s3926 1)
(s3927 1)
(s3928 1)
(s3929 1)
(s3930 1)
(s3931 1)
(s3932 1)
(s3933 1)
(s3934 1)
(s3935 1)
(s3940 1)
(s3941 1)
(s3942 1)
(s3943 1)
(s3944 1)
(s3945 1)
(s3946 1)
(s3947 1)
(s3948 1)
(s3949 1)
(s3950 1)
(s3951 1)
(s3952 1)
(s3953 1)
(s3954 1)
(s3955 1)
(s3956 1)
(s3957 1)
(s3958 1)
(s3959 1)
(s3967 1)
(s3968 1)
(s3969 1)
(s3970 1)
(s3971 1)
(s3972 1)
(s3973 1)
(s3974 1)
(s3975 1)
(s3976 1)
(s3977 1)
(s3978 1)
(s3979 1)
(s3980 1)
(s3981 1)
(s3982 1)
(s3983 1)
(s3984 1)
(s3985 1)
(s3986 1)
(s3989 1)
(s3990 1)
(s3991 1)
(s3992 1)
(s3993 1)
(s3994 1)
(s3995 1)
(s3996 1)
(s3997 1)
(s3998 1)
(s3999 1)
(s4000 1)
(s4001 1)
(s4002 1)
(s4003 1)
(s4004 1)
(s4005 1)
(s4006 1)
(s4007 1)
(s4008 1)
(s4011 1)
(s4012 1)
(s4013 1)
(s4014 1)
(s4015 1)
(s4016 1)
(s4017 1)
(s4018 1)
(s4019 1)
(s4020 1)
(s4021 1)
(s4022 1)
(s4023 1)
(s4024 1)
(s4025 1)
(s4026 1)
(s4027 1)
(s4028 1)
(s4030 1)
(s4031 1)
(s4032 1)
(s4033 1)
(s4034 1)
(s4035 1)
(s4036 1)
(s4037 1)
(s4038 1)
(s4039 1)
(s4040 1)
(s4041 1)
(s4042 1)
(s4043 1)
(s4044 1)
(s4045 1)
(s4047 1)
(s4048 1)
(s4049 1)
(s4050 timeout
1) org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 2881/11458 variables, and 42 constraints, problems are : Problem set: 0 solved, 5416 unsolved in 75131 ms.
Refiners :[Positive P Invariants (semi-flows): 42/47 constraints, Generalized P Invariants (flows): 0/810 constraints, State Equation: 0/4337 constraints, ReadFeed: 0/2833 constraints, PredecessorRefiner: 0/5416 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 156605ms problems are : Problem set: 0 solved, 5416 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 2881 out of 4337 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4337/4337 places, 7743/7743 transitions.
Discarding 16 places :
Symmetric choice reduction at 0 with 16 rule applications. Total rules 16 place count 4321 transition count 7727
Iterating global reduction 0 with 16 rules applied. Total rules applied 32 place count 4321 transition count 7727
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 1 Pre rules applied. Total rules applied 32 place count 4321 transition count 7726
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 34 place count 4320 transition count 7726
Discarding 14 places :
Symmetric choice reduction at 0 with 14 rule applications. Total rules 48 place count 4306 transition count 7670
Iterating global reduction 0 with 14 rules applied. Total rules applied 62 place count 4306 transition count 7670
Partial Free-agglomeration rule applied 11 times.
Drop transitions (Partial Free agglomeration) removed 11 transitions
Iterating global reduction 0 with 11 rules applied. Total rules applied 73 place count 4306 transition count 7670
Applied a total of 73 rules in 924 ms. Remains 4306 /4337 variables (removed 31) and now considering 7670/7743 (removed 73) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 924 ms. Remains : 4306/4337 places, 7670/7743 transitions.
Detected timeout of ITS tools.
[2025-06-02 09:51:55] [INFO ] Flatten gal took : 863 ms
[2025-06-02 09:51:55] [INFO ] Applying decomposition
[2025-06-02 09:51:56] [INFO ] Flatten gal took : 496 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph18212440544958517759.txt' '-o' '/tmp/graph18212440544958517759.bin' '-w' '/tmp/graph18212440544958517759.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph18212440544958517759.bin' '-l' '-1' '-v' '-w' '/tmp/graph18212440544958517759.weights' '-q' '0' '-e' '0.001'
[2025-06-02 09:51:59] [INFO ] Decomposing Gal with order
[2025-06-02 09:52:00] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-02 09:52:07] [INFO ] Removed a total of 9509 redundant transitions.
[2025-06-02 09:52:08] [INFO ] Flatten gal took : 5694 ms
[2025-06-02 09:52:12] [INFO ] Fuse similar labels procedure discarded/fused a total of 3620 labels/synchronizations in 1533 ms.
[2025-06-02 09:52:12] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality10631014296617525756.gal : 388 ms
[2025-06-02 09:52:12] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality250573486106754949.prop : 83 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality10631014296617525756.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality250573486106754949.prop' '--nowitness'

its-reach command run as :

/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...307
RANDOM walk for 151166 steps (5169 resets) in 120004 ms. (1 steps per ms) remains 5394/5416 properties
BEST_FIRST walk for 4004 steps (16 resets) in 423 ms. (9 steps per ms) remains 5394/5394 properties
BEST_FIRST walk for 4004 steps (16 resets) in 287 ms. (13 steps per ms) remains 5394/5394 properties
BEST_FIRST walk for 4004 steps (16 resets) in 359 ms. (11 steps per ms) remains 5394/5394 properties
BEST_FIRST walk for 4004 steps (16 resets) in 375 ms. (10 steps per ms) remains 5394/5394 properties
BEST_FIRST walk for 4004 steps (16 resets) in 306 ms. (13 steps per ms) remains 5394/5394 properties
BEST_FIRST walk for 4004 steps (16 resets) in 366 ms. (10 steps per ms) remains 5394/5394 properties
BEST_FIRST walk for 4004 steps (16 resets) in 370 ms. (10 steps per ms) remains 5394/5394 properties
BEST_FIRST walk for 4004 steps (16 resets) in 426 ms. (9 steps per ms) remains 5394/5394 properties
BEST_FIRST walk for 4004 steps (16 resets) in 434 ms. (9 steps per ms) remains 5391/5394 properties
BEST_FIRST walk for 4004 steps (16 resets) in 365 ms. (10 steps per ms) remains 5391/5391 properties
BEST_FIRST walk for 4004 steps (16 resets) in 309 ms. (12 steps per ms) remains 5391/5391 properties
BEST_FIRST walk for 4004 steps (16 resets) in 366 ms. (10 steps per ms) remains 5391/5391 properties
BEST_FIRST walk for 4004 steps (16 resets) in 368 ms. (10 steps per ms) remains 5391/5391 properties
BEST_FIRST walk for 4004 steps (16 resets) in 301 ms. (13 steps per ms) remains 5391/5391 properties
BEST_FIRST walk for 4004 steps (16 resets) in 291 ms. (13 steps per ms) remains 5391/5391 properties
BEST_FIRST walk for 4004 steps (16 resets) in 340 ms. (11 steps per ms) remains 5391/5391 properties
BEST_FIRST walk for 4004 steps (16 resets) in 284 ms. (14 steps per ms) remains 5391/5391 properties
BEST_FIRST walk for 4004 steps (16 resets) in 303 ms. (13 steps per ms) remains 5391/5391 properties
BEST_FIRST walk for 4004 steps (16 resets) in 362 ms. (11 steps per ms) remains 5391/5391 properties
BEST_FIRST walk for 4004 steps (16 resets) in 449 ms. (8 steps per ms) remains 5391/5391 properties
BEST_FIRST walk for 4003 steps (14 resets) in 398 ms. (10 steps per ms) remains 5391/5391 properties
BEST_FIRST walk for 4004 steps (16 resets) in 314 ms. (12 steps per ms) remains 5391/5391 properties
BEST_FIRST walk for 4003 steps (13 resets) in 293 ms. (13 steps per ms) remains 5391/5391 properties
BEST_FIRST walk for 4003 steps (13 resets) in 278 ms. (14 steps per ms) remains 5389/5391 properties
BEST_FIRST walk for 4003 steps (15 resets) in 372 ms. (10 steps per ms) remains 5389/5389 properties
BEST_FIRST walk for 4004 steps (14 resets) in 276 ms. (14 steps per ms) remains 5389/5389 properties
BEST_FIRST walk for 4003 steps (14 resets) in 368 ms. (10 steps per ms) remains 5389/5389 properties
BEST_FIRST walk for 4003 steps (13 resets) in 327 ms. (12 steps per ms) remains 5389/5389 properties
BEST_FIRST walk for 4003 steps (14 resets) in 362 ms. (11 steps per ms) remains 5389/5389 properties
BEST_FIRST walk for 4003 steps (15 resets) in 339 ms. (11 steps per ms) remains 5389/5389 properties
BEST_FIRST walk for 4003 steps (13 resets) in 357 ms. (11 steps per ms) remains 5389/5389 properties
BEST_FIRST walk for 4003 steps (12 resets) in 344 ms. (11 steps per ms) remains 5389/5389 properties
BEST_FIRST walk for 4004 steps (13 resets) in 471 ms. (8 steps per ms) remains 5389/5389 properties
BEST_FIRST walk for 4003 steps (12 resets) in 309 ms. (12 steps per ms) remains 5387/5389 properties
BEST_FIRST walk for 4002 steps (12 resets) in 341 ms. (11 steps per ms) remains 5387/5387 properties
BEST_FIRST walk for 4003 steps (13 resets) in 319 ms. (12 steps per ms) remains 5387/5387 properties
BEST_FIRST walk for 4002 steps (14 resets) in 426 ms. (9 steps per ms) remains 5387/5387 properties
BEST_FIRST walk for 4004 steps (13 resets) in 352 ms. (11 steps per ms) remains 5387/5387 properties
BEST_FIRST walk for 4004 steps (14 resets) in 318 ms. (12 steps per ms) remains 5387/5387 properties
BEST_FIRST walk for 4004 steps (14 resets) in 414 ms. (9 steps per ms) remains 5387/5387 properties
BEST_FIRST walk for 4004 steps (13 resets) in 286 ms. (13 steps per ms) remains 5387/5387 properties
BEST_FIRST walk for 4002 steps (13 resets) in 304 ms. (13 steps per ms) remains 5387/5387 properties
BEST_FIRST walk for 4004 steps (13 resets) in 463 ms. (8 steps per ms) remains 5387/5387 properties
Loading property file /tmp/ReachabilityCardinality250573486106754949.prop.
BEST_FIRST walk for 4003 steps (14 resets) in 326 ms. (12 steps per ms) remains 5387/5387 properties
BEST_FIRST walk for 4003 steps (13 resets) in 294 ms. (13 steps per ms) remains 5387/5387 properties
BEST_FIRST walk for 4003 steps (16 resets) in 368 ms. (10 steps per ms) remains 5387/5387 properties
BEST_FIRST walk for 4003 steps (14 resets) in 326 ms. (12 steps per ms) remains 5387/5387 properties
BEST_FIRST walk for 4004 steps (14 resets) in 277 ms. (14 steps per ms) remains 5387/5387 properties
BEST_FIRST walk for 4004 steps (13 resets) in 333 ms. (11 steps per ms) remains 5387/5387 properties
BEST_FIRST walk for 4004 steps (13 resets) in 334 ms. (11 steps per ms) remains 5387/5387 properties
BEST_FIRST walk for 4004 steps (14 resets) in 312 ms. (12 steps per ms) remains 5387/5387 properties
BEST_FIRST walk for 4003 steps (13 resets) in 297 ms. (13 steps per ms) remains 5387/5387 properties
BEST_FIRST walk for 4003 steps (13 resets) in 376 ms. (10 steps per ms) remains 5387/5387 properties
BEST_FIRST walk for 4002 steps (13 resets) in 356 ms. (11 steps per ms) remains 5387/5387 properties
BEST_FIRST walk for 4004 steps (13 resets) in 350 ms. (11 steps per ms) remains 5387/5387 properties
BEST_FIRST walk for 4004 steps (13 resets) in 352 ms. (11 steps per ms) remains 5387/5387 properties
BEST_FIRST walk for 4004 steps (16 resets) in 388 ms. (10 steps per ms) remains 5387/5387 properties
BEST_FIRST walk for 4004 steps (15 resets) in 301 ms. (13 steps per ms) remains 5387/5387 properties
BEST_FIRST walk for 4002 steps (13 resets) in 355 ms. (11 steps per ms) remains 5387/5387 properties
BEST_FIRST walk for 4001 steps (13 resets) in 352 ms. (11 steps per ms) remains 5387/5387 properties
BEST_FIRST walk for 4003 steps (12 resets) in 293 ms. (13 steps per ms) remains 5387/5387 properties
BEST_FIRST walk for 4002 steps (12 resets) in 270 ms. (14 steps per ms) remains 5387/5387 properties
BEST_FIRST walk for 4003 steps (13 resets) in 280 ms. (14 steps per ms) remains 5387/5387 properties
BEST_FIRST walk for 4004 steps (15 resets) in 266 ms. (14 steps per ms) remains 5387/5387 properties
BEST_FIRST walk for 4004 steps (15 resets) in 334 ms. (11 steps per ms) remains 5387/5387 properties
BEST_FIRST walk for 4003 steps (12 resets) in 290 ms. (13 steps per ms) remains 5387/5387 properties
BEST_FIRST walk for 4003 steps (14 resets) in 269 ms. (14 steps per ms) remains 5387/5387 properties
BEST_FIRST walk for 4003 steps (14 resets) in 324 ms. (12 steps per ms) remains 5387/5387 properties
BEST_FIRST walk for 4002 steps (13 resets) in 289 ms. (13 steps per ms) remains 5387/5387 properties
BEST_FIRST walk for 4003 steps (16 resets) in 318 ms. (12 steps per ms) remains 5385/5387 properties
BEST_FIRST walk for 4004 steps (16 resets) in 322 ms. (12 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4004 steps (14 resets) in 294 ms. (13 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4004 steps (13 resets) in 275 ms. (14 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4004 steps (14 resets) in 239 ms. (16 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4004 steps (14 resets) in 251 ms. (15 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4004 steps (13 resets) in 246 ms. (16 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4004 steps (13 resets) in 254 ms. (15 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4003 steps (14 resets) in 249 ms. (16 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4002 steps (14 resets) in 278 ms. (14 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4004 steps (14 resets) in 319 ms. (12 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4001 steps (13 resets) in 310 ms. (12 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4003 steps (13 resets) in 301 ms. (13 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4002 steps (12 resets) in 299 ms. (13 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4003 steps (14 resets) in 376 ms. (10 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4004 steps (16 resets) in 407 ms. (9 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4003 steps (13 resets) in 309 ms. (12 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4003 steps (12 resets) in 303 ms. (13 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4004 steps (13 resets) in 281 ms. (14 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4003 steps (12 resets) in 316 ms. (12 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4003 steps (13 resets) in 319 ms. (12 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4004 steps (15 resets) in 330 ms. (12 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4002 steps (12 resets) in 272 ms. (14 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4004 steps (13 resets) in 320 ms. (12 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4003 steps (14 resets) in 353 ms. (11 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4003 steps (13 resets) in 261 ms. (15 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4004 steps (15 resets) in 325 ms. (12 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4003 steps (12 resets) in 298 ms. (13 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4003 steps (12 resets) in 260 ms. (15 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4004 steps (15 resets) in 306 ms. (13 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4001 steps (12 resets) in 247 ms. (16 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4003 steps (12 resets) in 245 ms. (16 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4003 steps (16 resets) in 279 ms. (14 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4003 steps (14 resets) in 256 ms. (15 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4002 steps (13 resets) in 268 ms. (14 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4004 steps (13 resets) in 333 ms. (11 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4003 steps (12 resets) in 320 ms. (12 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4003 steps (15 resets) in 344 ms. (11 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4003 steps (14 resets) in 312 ms. (12 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4004 steps (14 resets) in 309 ms. (12 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4002 steps (12 resets) in 356 ms. (11 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4003 steps (13 resets) in 359 ms. (11 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4004 steps (15 resets) in 366 ms. (10 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4002 steps (12 resets) in 363 ms. (10 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4004 steps (13 resets) in 321 ms. (12 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4004 steps (15 resets) in 280 ms. (14 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4004 steps (15 resets) in 333 ms. (11 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4004 steps (15 resets) in 335 ms. (11 steps per ms) remains 5385/5385 properties
BEST_FIRST walk for 4002 steps (12 resets) in 299 ms. (13 steps per ms) remains 5383/5385 properties
BEST_FIRST walk for 4002 steps (12 resets) in 324 ms. (12 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4004 steps (15 resets) in 298 ms. (13 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4004 steps (14 resets) in 251 ms. (15 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4003 steps (13 resets) in 252 ms. (15 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4003 steps (14 resets) in 250 ms. (15 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4003 steps (14 resets) in 264 ms. (15 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4004 steps (14 resets) in 255 ms. (15 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4004 steps (16 resets) in 458 ms. (8 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4003 steps (12 resets) in 407 ms. (9 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4003 steps (13 resets) in 975 ms. (4 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4004 steps (13 resets) in 320 ms. (12 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4004 steps (14 resets) in 288 ms. (13 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4004 steps (14 resets) in 346 ms. (11 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4004 steps (12 resets) in 325 ms. (12 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4003 steps (13 resets) in 363 ms. (10 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4002 steps (13 resets) in 325 ms. (12 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4004 steps (15 resets) in 353 ms. (11 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4004 steps (13 resets) in 334 ms. (11 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4004 steps (14 resets) in 264 ms. (15 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4004 steps (13 resets) in 261 ms. (15 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4003 steps (14 resets) in 259 ms. (15 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4004 steps (13 resets) in 253 ms. (15 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4003 steps (13 resets) in 255 ms. (15 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4004 steps (14 resets) in 263 ms. (15 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4003 steps (12 resets) in 311 ms. (12 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4003 steps (13 resets) in 315 ms. (12 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4004 steps (15 resets) in 297 ms. (13 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4004 steps (13 resets) in 261 ms. (15 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4002 steps (14 resets) in 255 ms. (15 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4003 steps (13 resets) in 249 ms. (16 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4002 steps (12 resets) in 304 ms. (13 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4003 steps (12 resets) in 309 ms. (12 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4002 steps (13 resets) in 249 ms. (16 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4003 steps (12 resets) in 308 ms. (12 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4002 steps (12 resets) in 276 ms. (14 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4004 steps (13 resets) in 292 ms. (13 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4004 steps (13 resets) in 274 ms. (14 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4003 steps (14 resets) in 251 ms. (15 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4004 steps (15 resets) in 254 ms. (15 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4003 steps (14 resets) in 253 ms. (15 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4004 steps (13 resets) in 251 ms. (15 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4004 steps (14 resets) in 306 ms. (13 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4002 steps (13 resets) in 275 ms. (14 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4003 steps (14 resets) in 311 ms. (12 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4001 steps (12 resets) in 278 ms. (14 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4004 steps (13 resets) in 241 ms. (16 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4004 steps (14 resets) in 250 ms. (15 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4003 steps (13 resets) in 347 ms. (11 steps per ms) remains 5383/5383 properties
BEST_FIRST walk for 4003 steps (13 resets) in 346 ms. (11 steps per ms) remains 5383/5383 properties
SDD proceeding with computation,5416 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,5416 properties remain. new max is 8
SDD size :1 after 1
SDD proceeding with computation,5416 properties remain. new max is 16
SDD size :1 after 1
SDD proceeding with computation,5416 properties remain. new max is 32
SDD size :1 after 1
SDD proceeding with computation,5416 properties remain. new max is 64
SDD size :1 after 1
SDD proceeding with computation,5416 properties remain. new max is 128
SDD size :1 after 1
SDD proceeding with computation,5416 properties remain. new max is 256
SDD size :1 after 1
SDD proceeding with computation,5416 properties remain. new max is 512
SDD size :1 after 1
SDD proceeding with computation,5416 properties remain. new max is 1024
SDD size :1 after 1
SDD proceeding with computation,5416 properties remain. new max is 2048
SDD size :1 after 1
SDD proceeding with computation,5416 properties remain. new max is 4096
SDD size :1 after 1
SDD proceeding with computation,5416 properties remain. new max is 8192
SDD size :1 after 1
SDD proceeding with computation,5416 properties remain. new max is 16384
SDD size :1 after 1
SDD proceeding with computation,5416 properties remain. new max is 32768
SDD size :1 after 321
SDD proceeding with computation,5416 properties remain. new max is 65536
SDD size :321 after 321
Interrupted probabilistic random walk after 393708 steps, run timeout after 141001 ms. (steps per millisecond=2 ) properties seen :0 out of 5383
Probabilistic random walk after 393708 steps, saw 177390 distinct states, run finished after 141003 ms. (steps per millisecond=2 ) properties seen :0
[2025-06-02 09:54:53] [INFO ] Flow matrix only has 7048 transitions (discarded 622 similar events)
// Phase 1: matrix 7048 rows 4306 cols
[2025-06-02 09:54:54] [INFO ] Computed 857 invariants in 408 ms
[2025-06-02 09:54:54] [INFO ] State equation strengthened by 2791 read => feed constraints.
Starting Z3 with timeout 90.0 s and query timeout 9000.0 ms
SDD proceeding with computation,5416 properties remain. new max is 131072
SDD size :321 after 321
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/2857 variables, 42/42 constraints. Problems are: Problem set: 0 solved, 5383 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 2857/11354 variables, and 42 constraints, problems are : Problem set: 0 solved, 5383 unsolved in 90141 ms.
Refiners :[Positive P Invariants (semi-flows): 42/48 constraints, Generalized P Invariants (flows): 0/809 constraints, State Equation: 0/4306 constraints, ReadFeed: 0/2791 constraints, PredecessorRefiner: 5383/5383 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 5383 unsolved
Starting Z3 with timeout 90.0 s and query timeout 9000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/2857 variables, 42/42 constraints. Problems are: Problem set: 0 solved, 5383 unsolved
SDD proceeding with computation,5416 properties remain. new max is 262144
SDD size :321 after 321
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Stream closed")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 2857/11354 variables, and 42 constraints, problems are : Problem set: 0 solved, 5383 unsolved in 90128 ms.
Refiners :[Positive P Invariants (semi-flows): 42/48 constraints, Generalized P Invariants (flows): 0/809 constraints, State Equation: 0/4306 constraints, ReadFeed: 0/2791 constraints, PredecessorRefiner: 0/5383 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 186215ms problems are : Problem set: 0 solved, 5383 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 2857 out of 4306 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4306/4306 places, 7670/7670 transitions.
Discarding 6 places :
Symmetric choice reduction at 0 with 6 rule applications. Total rules 6 place count 4300 transition count 7664
Iterating global reduction 0 with 6 rules applied. Total rules applied 12 place count 4300 transition count 7664
Discarding 6 places :
Symmetric choice reduction at 0 with 6 rule applications. Total rules 18 place count 4294 transition count 7640
Iterating global reduction 0 with 6 rules applied. Total rules applied 24 place count 4294 transition count 7640
Partial Free-agglomeration rule applied 3 times.
Drop transitions (Partial Free agglomeration) removed 3 transitions
Iterating global reduction 0 with 3 rules applied. Total rules applied 27 place count 4294 transition count 7640
Applied a total of 27 rules in 784 ms. Remains 4294 /4306 variables (removed 12) and now considering 7640/7670 (removed 30) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 784 ms. Remains : 4294/4306 places, 7640/7670 transitions.
RANDOM walk for 185431 steps (6347 resets) in 120004 ms. (1 steps per ms) remains 5380/5383 properties
BEST_FIRST walk for 4004 steps (16 resets) in 700 ms. (5 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 374 ms. (10 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 404 ms. (9 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 408 ms. (9 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 364 ms. (10 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 304 ms. (13 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 301 ms. (13 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 306 ms. (13 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 306 ms. (13 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 320 ms. (12 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 412 ms. (9 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 408 ms. (9 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 432 ms. (9 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 464 ms. (8 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 444 ms. (8 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 343 ms. (11 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 382 ms. (10 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 439 ms. (9 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 399 ms. (10 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 371 ms. (10 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4003 steps (16 resets) in 371 ms. (10 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 379 ms. (10 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4002 steps (12 resets) in 312 ms. (12 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (13 resets) in 275 ms. (14 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 300 ms. (13 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (14 resets) in 335 ms. (11 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (13 resets) in 313 ms. (12 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4003 steps (14 resets) in 290 ms. (13 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4003 steps (13 resets) in 331 ms. (12 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4003 steps (15 resets) in 373 ms. (10 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4003 steps (14 resets) in 344 ms. (11 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4003 steps (12 resets) in 313 ms. (12 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4002 steps (14 resets) in 258 ms. (15 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4003 steps (13 resets) in 252 ms. (15 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4003 steps (14 resets) in 258 ms. (15 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4002 steps (12 resets) in 315 ms. (12 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (15 resets) in 437 ms. (9 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4003 steps (14 resets) in 381 ms. (10 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4003 steps (13 resets) in 307 ms. (12 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4003 steps (13 resets) in 398 ms. (10 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4003 steps (13 resets) in 348 ms. (11 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (14 resets) in 272 ms. (14 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (14 resets) in 337 ms. (11 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (14 resets) in 338 ms. (11 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4002 steps (13 resets) in 306 ms. (13 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4003 steps (16 resets) in 268 ms. (14 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4004 steps (14 resets) in 252 ms. (15 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4003 steps (15 resets) in 270 ms. (14 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4002 steps (14 resets) in 258 ms. (15 steps per ms) remains 5380/5380 properties
BEST_FIRST walk for 4003 steps (12 resets) in 243 ms. (16 steps per ms) remains 5380/5380 properties
Interrupted probabilistic random walk after 294929 steps, run timeout after 105001 ms. (steps per millisecond=2 ) properties seen :0 out of 5380
Probabilistic random walk after 294929 steps, saw 133149 distinct states, run finished after 105002 ms. (steps per millisecond=2 ) properties seen :0
[2025-06-02 10:00:21] [INFO ] Flow matrix only has 7018 transitions (discarded 622 similar events)
// Phase 1: matrix 7018 rows 4294 cols
[2025-06-02 10:00:21] [INFO ] Computed 857 invariants in 325 ms
[2025-06-02 10:00:21] [INFO ] State equation strengthened by 2773 read => feed constraints.
Starting Z3 with timeout 105.0 s and query timeout 10500.0 ms
SDD proceeding with computation,5416 properties remain. new max is 524288
SDD size :321 after 321
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/2856 variables, 42/42 constraints. Problems are: Problem set: 0 solved, 5380 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 2856/11312 variables, and 42 constraints, problems are : Problem set: 0 solved, 5380 unsolved in 105140 ms.
Refiners :[Positive P Invariants (semi-flows): 42/48 constraints, Generalized P Invariants (flows): 0/809 constraints, State Equation: 0/4294 constraints, ReadFeed: 0/2773 constraints, PredecessorRefiner: 5380/5380 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 5380 unsolved
Starting Z3 with timeout 105.0 s and query timeout 10500.0 ms
Detected timeout of ITS tools.
At refinement iteration 0 (INCLUDED_ONLY) 0/2856 variables, 42/42 constraints. Problems are: Problem set: 0 solved, 5380 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 2856/11312 variables, and 42 constraints, problems are : Problem set: 0 solved, 5380 unsolved in 105151 ms.
Refiners :[Positive P Invariants (semi-flows): 42/48 constraints, Generalized P Invariants (flows): 0/809 constraints, State Equation: 0/4294 constraints, ReadFeed: 0/2773 constraints, PredecessorRefiner: 0/5380 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 216051ms problems are : Problem set: 0 solved, 5380 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 2856 out of 4294 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4294/4294 places, 7640/7640 transitions.
Applied a total of 0 rules in 422 ms. Remains 4294 /4294 variables (removed 0) and now considering 7640/7640 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 423 ms. Remains : 4294/4294 places, 7640/7640 transitions.
RANDOM walk for 238696 steps (8168 resets) in 120004 ms. (1 steps per ms) remains 5372/5380 properties
BEST_FIRST walk for 4004 steps (16 resets) in 269 ms. (14 steps per ms) remains 5372/5372 properties
BEST_FIRST walk for 4004 steps (16 resets) in 258 ms. (15 steps per ms) remains 5372/5372 properties
BEST_FIRST walk for 4004 steps (16 resets) in 259 ms. (15 steps per ms) remains 5372/5372 properties
BEST_FIRST walk for 4004 steps (16 resets) in 256 ms. (15 steps per ms) remains 5372/5372 properties
BEST_FIRST walk for 4004 steps (16 resets) in 257 ms. (15 steps per ms) remains 5372/5372 properties
BEST_FIRST walk for 4004 steps (16 resets) in 257 ms. (15 steps per ms) remains 5372/5372 properties
BEST_FIRST walk for 4004 steps (16 resets) in 277 ms. (14 steps per ms) remains 5372/5372 properties
BEST_FIRST walk for 4004 steps (16 resets) in 299 ms. (13 steps per ms) remains 5372/5372 properties
BEST_FIRST walk for 4004 steps (16 resets) in 299 ms. (13 steps per ms) remains 5372/5372 properties
BEST_FIRST walk for 4004 steps (16 resets) in 302 ms. (13 steps per ms) remains 5372/5372 properties
BEST_FIRST walk for 4004 steps (16 resets) in 300 ms. (13 steps per ms) remains 5372/5372 properties
BEST_FIRST walk for 4004 steps (16 resets) in 298 ms. (13 steps per ms) remains 5372/5372 properties
BEST_FIRST walk for 4004 steps (16 resets) in 278 ms. (14 steps per ms) remains 5372/5372 properties
BEST_FIRST walk for 4004 steps (16 resets) in 259 ms. (15 steps per ms) remains 5372/5372 properties
BEST_FIRST walk for 4004 steps (16 resets) in 258 ms. (15 steps per ms) remains 5372/5372 properties
BEST_FIRST walk for 4004 steps (16 resets) in 264 ms. (15 steps per ms) remains 5372/5372 properties
BEST_FIRST walk for 4004 steps (16 resets) in 258 ms. (15 steps per ms) remains 5372/5372 properties
BEST_FIRST walk for 4004 steps (16 resets) in 258 ms. (15 steps per ms) remains 5372/5372 properties
BEST_FIRST walk for 4004 steps (16 resets) in 270 ms. (14 steps per ms) remains 5372/5372 properties
BEST_FIRST walk for 4004 steps (16 resets) in 257 ms. (15 steps per ms) remains 5372/5372 properties
BEST_FIRST walk for 4004 steps (16 resets) in 239 ms. (16 steps per ms) remains 5372/5372 properties
BEST_FIRST walk for 4003 steps (16 resets) in 245 ms. (16 steps per ms) remains 5372/5372 properties
BEST_FIRST walk for 4003 steps (14 resets) in 222 ms. (17 steps per ms) remains 5372/5372 properties
BEST_FIRST walk for 4002 steps (12 resets) in 213 ms. (18 steps per ms) remains 5372/5372 properties
BEST_FIRST walk for 4002 steps (16 resets) in 242 ms. (16 steps per ms) remains 5372/5372 properties
BEST_FIRST walk for 4002 steps (14 resets) in 224 ms. (17 steps per ms) remains 5372/5372 properties
BEST_FIRST walk for 4003 steps (15 resets) in 226 ms. (17 steps per ms) remains 5372/5372 properties
BEST_FIRST walk for 4003 steps (14 resets) in 224 ms. (17 steps per ms) remains 5372/5372 properties
BEST_FIRST walk for 4004 steps (14 resets) in 251 ms. (15 steps per ms) remains 5372/5372 properties
BEST_FIRST walk for 4003 steps (16 resets) in 284 ms. (14 steps per ms) remains 5372/5372 properties
BEST_FIRST walk for 4003 steps (12 resets) in 279 ms. (14 steps per ms) remains 5372/5372 properties
BEST_FIRST walk for 4001 steps (12 resets) in 252 ms. (15 steps per ms) remains 5372/5372 properties
BEST_FIRST walk for 4004 steps (13 resets) in 252 ms. (15 steps per ms) remains 5372/5372 properties
BEST_FIRST walk for 4004 steps (15 resets) in 260 ms. (15 steps per ms) remains 5372/5372 properties
BEST_FIRST walk for 4003 steps (12 resets) in 237 ms. (16 steps per ms) remains 5370/5372 properties
BEST_FIRST walk for 4004 steps (13 resets) in 242 ms. (16 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4004 steps (16 resets) in 275 ms. (14 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4003 steps (13 resets) in 248 ms. (16 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4003 steps (13 resets) in 240 ms. (16 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4002 steps (12 resets) in 243 ms. (16 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4002 steps (12 resets) in 242 ms. (16 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4003 steps (13 resets) in 244 ms. (16 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4004 steps (12 resets) in 212 ms. (18 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4003 steps (15 resets) in 227 ms. (17 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4002 steps (12 resets) in 214 ms. (18 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4004 steps (15 resets) in 270 ms. (14 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4002 steps (13 resets) in 221 ms. (18 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4003 steps (13 resets) in 220 ms. (18 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4003 steps (12 resets) in 210 ms. (18 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4004 steps (14 resets) in 229 ms. (17 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4004 steps (14 resets) in 216 ms. (18 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4003 steps (13 resets) in 213 ms. (18 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4004 steps (14 resets) in 224 ms. (17 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4004 steps (16 resets) in 229 ms. (17 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4003 steps (14 resets) in 226 ms. (17 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4004 steps (12 resets) in 200 ms. (19 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4002 steps (15 resets) in 238 ms. (16 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4004 steps (14 resets) in 217 ms. (18 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4004 steps (12 resets) in 248 ms. (16 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4002 steps (12 resets) in 305 ms. (13 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4004 steps (14 resets) in 314 ms. (12 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4003 steps (14 resets) in 322 ms. (12 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4003 steps (14 resets) in 320 ms. (12 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4004 steps (16 resets) in 333 ms. (11 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4004 steps (14 resets) in 446 ms. (8 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4002 steps (13 resets) in 221 ms. (18 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4003 steps (13 resets) in 220 ms. (18 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4003 steps (14 resets) in 224 ms. (17 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4002 steps (13 resets) in 216 ms. (18 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4003 steps (16 resets) in 240 ms. (16 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4004 steps (15 resets) in 227 ms. (17 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4003 steps (14 resets) in 218 ms. (18 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4004 steps (13 resets) in 247 ms. (16 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4003 steps (13 resets) in 255 ms. (15 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4003 steps (14 resets) in 255 ms. (15 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4003 steps (12 resets) in 253 ms. (15 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4004 steps (13 resets) in 253 ms. (15 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4003 steps (13 resets) in 251 ms. (15 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4001 steps (12 resets) in 248 ms. (16 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4004 steps (15 resets) in 269 ms. (14 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4002 steps (13 resets) in 258 ms. (15 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4004 steps (14 resets) in 274 ms. (14 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4004 steps (14 resets) in 264 ms. (15 steps per ms) remains 5370/5370 properties
BEST_FIRST walk for 4003 steps (13 resets) in 251 ms. (15 steps per ms) remains 5370/5370 properties
Interrupted probabilistic random walk after 297421 steps, run timeout after 105009 ms. (steps per millisecond=2 ) properties seen :0 out of 5370
Probabilistic random walk after 297421 steps, saw 134262 distinct states, run finished after 105013 ms. (steps per millisecond=2 ) properties seen :0
[2025-06-02 10:06:18] [INFO ] Flow matrix only has 7018 transitions (discarded 622 similar events)
[2025-06-02 10:06:18] [INFO ] Invariant cache hit.
[2025-06-02 10:06:18] [INFO ] State equation strengthened by 2773 read => feed constraints.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/2849 variables, 42/42 constraints. Problems are: Problem set: 0 solved, 5370 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 2849/11312 variables, and 42 constraints, problems are : Problem set: 0 solved, 5370 unsolved in 120199 ms.
Refiners :[Positive P Invariants (semi-flows): 42/48 constraints, Generalized P Invariants (flows): 0/809 constraints, State Equation: 0/4294 constraints, ReadFeed: 0/2773 constraints, PredecessorRefiner: 5370/5370 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 5370 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/2849 variables, 42/42 constraints. Problems are: Problem set: 0 solved, 5370 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 2849/11312 variables, and 42 constraints, problems are : Problem set: 0 solved, 5370 unsolved in 120185 ms.
Refiners :[Positive P Invariants (semi-flows): 42/48 constraints, Generalized P Invariants (flows): 0/809 constraints, State Equation: 0/4294 constraints, ReadFeed: 0/2773 constraints, PredecessorRefiner: 0/5370 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 245996ms problems are : Problem set: 0 solved, 5370 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 2849 out of 4294 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4294/4294 places, 7640/7640 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 4293 transition count 7639
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 4293 transition count 7639
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 1 Pre rules applied. Total rules applied 2 place count 4293 transition count 7638
Deduced a syphon composed of 1 places in 8 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 4292 transition count 7638
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 5 place count 4291 transition count 7634
Iterating global reduction 0 with 1 rules applied. Total rules applied 6 place count 4291 transition count 7634
Applied a total of 6 rules in 700 ms. Remains 4291 /4294 variables (removed 3) and now considering 7634/7640 (removed 6) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 700 ms. Remains : 4291/4294 places, 7634/7640 transitions.
RANDOM walk for 253835 steps (8688 resets) in 120004 ms. (2 steps per ms) remains 5362/5370 properties
BEST_FIRST walk for 4004 steps (16 resets) in 256 ms. (15 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 257 ms. (15 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 256 ms. (15 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 258 ms. (15 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 260 ms. (15 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 258 ms. (15 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 259 ms. (15 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 259 ms. (15 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 257 ms. (15 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 263 ms. (15 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 257 ms. (15 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 260 ms. (15 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 258 ms. (15 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 256 ms. (15 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 256 ms. (15 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 258 ms. (15 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 259 ms. (15 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 256 ms. (15 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 255 ms. (15 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 263 ms. (15 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4003 steps (15 resets) in 283 ms. (14 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 286 ms. (13 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (14 resets) in 266 ms. (14 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4003 steps (14 resets) in 267 ms. (14 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4003 steps (14 resets) in 275 ms. (14 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4003 steps (13 resets) in 260 ms. (15 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4002 steps (13 resets) in 219 ms. (18 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4002 steps (13 resets) in 220 ms. (18 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (14 resets) in 215 ms. (18 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 242 ms. (16 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (15 resets) in 223 ms. (17 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4003 steps (15 resets) in 223 ms. (17 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (15 resets) in 225 ms. (17 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (14 resets) in 213 ms. (18 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4003 steps (13 resets) in 259 ms. (15 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4003 steps (13 resets) in 243 ms. (16 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4003 steps (16 resets) in 280 ms. (14 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4003 steps (13 resets) in 248 ms. (16 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 260 ms. (15 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4003 steps (15 resets) in 260 ms. (15 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4003 steps (14 resets) in 246 ms. (16 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4003 steps (14 resets) in 239 ms. (16 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4003 steps (12 resets) in 239 ms. (16 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (14 resets) in 254 ms. (15 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4003 steps (13 resets) in 242 ms. (16 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (16 resets) in 277 ms. (14 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4002 steps (13 resets) in 245 ms. (16 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (13 resets) in 232 ms. (17 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (15 resets) in 226 ms. (17 steps per ms) remains 5362/5362 properties
BEST_FIRST walk for 4004 steps (14 resets) in 219 ms. (18 steps per ms) remains 5362/5362 properties

BK_TIME_CONFINEMENT_REACHED

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

+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ QuasiLiveness = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202505121319.jar
+ VERSION=202505121319
+ echo 'Running Version 202505121319'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800

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-S24C04"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="itstools"
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-5832"
echo " Executing tool itstools"
echo " Input is MultiCrashLeafsetExtension-PT-S24C04, 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 r133-smll-174876529600222"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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