MCC'2024- Execution of r254-tall-171654363400092

About the Execution of GreatSPN+red for MultiCrashLeafsetExtension-PT-S32C02

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
15435.159	1800000.00	3445341.00	2243.00	[undef]	Time out reached

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2024-input.r254-tall-171654363400092.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-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-5568
Executing tool greatspnxred
Input is MultiCrashLeafsetExtension-PT-S32C02, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r254-tall-171654363400092
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 14K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 85K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.1K Apr 22 14:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Apr 22 14:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Apr 22 14:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 22 14:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 24K Apr 12 05:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 134K Apr 12 05:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 19K Apr 12 05:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 87K Apr 12 05:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Apr 22 14:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K Apr 22 14:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 7 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 16M May 18 16:43 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 1716630185225

Invoking MCC driver with
BK_TOOL=greatspnxred
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=MultiCrashLeafsetExtension-PT-S32C02
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2024-05-25 09:43:06] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -timeout, 180, -rebuildPNML]
[2024-05-25 09:43:06] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-25 09:43:07] [INFO ] Load time of PNML (sax parser for PT used): 792 ms
[2024-05-25 09:43:07] [INFO ] Transformed 13544 places.
[2024-05-25 09:43:07] [INFO ] Transformed 21807 transitions.
[2024-05-25 09:43:07] [INFO ] Parsed PT model containing 13544 places and 21807 transitions and 93598 arcs in 1011 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 13544/13544 places, 21807/21807 transitions.
Reduce places removed 40 places and 0 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 2112 transitions
Trivial Post-agglo rules discarded 2112 transitions
Performed 2112 trivial Post agglomeration. Transition count delta: 2112
Iterating post reduction 0 with 2152 rules applied. Total rules applied 2152 place count 13504 transition count 19695
Reduce places removed 2112 places and 0 transitions.
Iterating post reduction 1 with 2112 rules applied. Total rules applied 4264 place count 11392 transition count 19695
Performed 132 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 132 Pre rules applied. Total rules applied 4264 place count 11392 transition count 19563
Deduced a syphon composed of 132 places in 64 ms
Reduce places removed 132 places and 0 transitions.
Iterating global reduction 2 with 264 rules applied. Total rules applied 4528 place count 11260 transition count 19563
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 22 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 2 with 66 rules applied. Total rules applied 4594 place count 11227 transition count 19530
Applied a total of 4594 rules in 1236 ms. Remains 11227 /13544 variables (removed 2317) and now considering 19530/21807 (removed 2277) transitions.
[2024-05-25 09:43:08] [INFO ] Flow matrix only has 18474 transitions (discarded 1056 similar events)
// Phase 1: matrix 18474 rows 11227 cols
[2024-05-25 09:43:10] [INFO ] Computed 1293 invariants in 1894 ms
[2024-05-25 09:43:43] [INFO ] Performed 6564/11227 implicitness test of which 728 returned IMPLICIT in 30 seconds.
[2024-05-25 09:44:03] [INFO ] Implicit Places using invariants in 55116 ms returned [4, 7, 13, 21, 31, 43, 57, 73, 91, 111, 133, 157, 183, 211, 241, 273, 307, 342, 376, 408, 438, 466, 492, 516, 538, 558, 576, 592, 606, 618, 628, 636, 642, 652, 658, 663, 669, 677, 687, 699, 713, 729, 747, 767, 789, 813, 839, 867, 897, 929, 962, 994, 1024, 1052, 1078, 1102, 1124, 1144, 1162, 1178, 1192, 1204, 1214, 1222, 1228, 1233, 1243, 1249, 1254, 1259, 1265, 1273, 1283, 1295, 1309, 1325, 1343, 1363, 1385, 1409, 1435, 1463, 1493, 1524, 1554, 1582, 1608, 1632, 1654, 1674, 1692, 1708, 1722, 1734, 1744, 1752, 1758, 1763, 1768, 1778, 1784, 1789, 1794, 1799, 1805, 1813, 1823, 1835, 1849, 1865, 1883, 1903, 1925, 1949, 1975, 2003, 2032, 2060, 2086, 2110, 2132, 2152, 2170, 2186, 2200, 2212, 2222, 2230, 2236, 2241, 2246, 2251, 2261, 2267, 2272, 2277, 2282, 2287, 2293, 2301, 2311, 2323, 2337, 2353, 2371, 2391, 2413, 2437, 2463, 2490, 2516, 2540, 2562, 2582, 2600, 2616, 2630, 2642, 2652, 2660, 2666, 2671, 2676, 2681, 2686, 2696, 2702, 2707, 2712, 2717, 2722, 2727, 2733, 2741, 2751, 2763, 2777, 2793, 2811, 2831, 2853, 2877, 2902, 2926, 2948, 2968, 2986, 3002, 3016, 3028, 3038, 3046, 3052, 3057, 3062, 3067, 3072, 3077, 3087, 3093, 3098, 3103, 3108, 3113, 3118, 3123, 3129, 3137, 3147, 3159, 3173, 3189, 3207, 3227, 3249, 3272, 3294, 3314, 3332, 3348, 3362, 3374, 3384, 3392, 3398, 3403, 3408, 3413, 3418, 3423, 3428, 3438, 3444, 3449, 3454, 3459, 3464, 3469, 3474, 3479, 3485, 3493, 3503, 3515, 3529, 3545, 3563, 3583, 3604, 3624, 3642, 3658, 3672, 3684, 3694, 3702, 3708, 3713, 3718, 3723, 3728, 3733, 3738, 3743, 3753, 3759, 3764, 3769, 3774, 3779, 3784, 3789, 3794, 3799, 3805, 3813, 3823, 3835, 3849, 3865, 3883, 3902, 3920, 3936, 3950, 3962, 3972, 3980, 3986, 3991, 3996, 4001, 4006, 4011, 4016, 4021, 4026, 4036, 4042, 4047, 4052, 4057, 4062, 4067, 4072, 4077, 4082, 4087, 4093, 4101, 4111, 4123, 4137, 4153, 4170, 4186, 4200, 4212, 4222, 4230, 4236, 4241, 4246, 4251, 4256, 4261, 4266, 4271, 4276, 4281, 4291, 4297, 4302, 4307, 4312, 4317, 4322, 4327, 4332, 4337, 4342, 4347, 4353, 4361, 4371, 4383, 4397, 4412, 4426, 4438, 4448, 4456, 4462, 4467, 4472, 4477, 4482, 4487, 4492, 4497, 4502, 4507, 4512, 4522, 4528, 4533, 4538, 4543, 4548, 4553, 4558, 4563, 4568, 4573, 4578, 4583, 4589, 4597, 4607, 4619, 4632, 4644, 4654, 4662, 4668, 4673, 4678, 4683, 4688, 4693, 4698, 4703, 4708, 4713, 4718, 4723, 4733, 4739, 4744, 4749, 4754, 4759, 4764, 4769, 4774, 4779, 4784, 4789, 4794, 4799, 4805, 4813, 4823, 4834, 4844, 4852, 4858, 4863, 4868, 4873, 4878, 4883, 4888, 4893, 4898, 4903, 4908, 4913, 4918, 4928, 4934, 4939, 4944, 4949, 4954, 4959, 4964, 4969, 4974, 4979, 4984, 4989, 4994, 4999, 5005, 5013, 5022, 5030, 5036, 5041, 5046, 5051, 5056, 5061, 5066, 5071, 5076, 5081, 5086, 5091, 5096, 5101, 5111, 5117, 5122, 5127, 5132, 5137, 5142, 5147, 5152, 5157, 5162, 5167, 5172, 5177, 5182, 5187, 5193, 5200, 5206, 5211, 5216, 5221, 5226, 5231, 5236, 5241, 5246, 5251, 5256, 5261, 5266, 5271, 5276, 5286, 5292, 5297, 5302, 5307, 5312, 5317, 5322, 5327, 5332, 5337, 5342, 5347, 5352, 5357, 5362, 5367, 5372, 5377, 5382, 5387, 5392, 5397, 5402, 5407, 5412, 5417, 5422, 5427, 5432, 5437, 5442, 5447, 5457, 5459, 5462, 5467, 5472, 5477, 5482, 5487, 5492, 5497, 5502, 5507, 5512, 5517, 5522, 5527, 5532, 5537, 5542, 5547, 5552, 5557, 5562, 5567, 5572, 5577, 5582, 5587, 5592, 5597, 5602, 5607, 5612, 5617, 5627, 5633, 5638, 5643, 5648, 5653, 5658, 5663, 5668, 5673, 5678, 5683, 5688, 5693, 5698, 5703, 5708, 5713, 5718, 5723, 5728, 5733, 5738, 5743, 5748, 5753, 5758, 5763, 5768, 5773, 5778, 5783, 5788, 5798, 5804, 5809, 5814, 5819, 5824, 5829, 5834, 5839, 5844, 5849, 5854, 5859, 5864, 5869, 5874, 5879, 5885, 5892, 5898, 5903, 5908, 5913, 5918, 5923, 5928, 5933, 5938, 5943, 5948, 5953, 5958, 5963, 5973, 5979, 5984, 5989, 5994, 5999, 6004, 6009, 6014, 6019, 6024, 6029, 6034, 6039, 6044, 6049, 6055, 6063, 6072, 6080, 6086, 6091, 6096, 6101, 6106, 6111, 6116, 6121, 6126, 6131, 6136, 6141, 6146, 6156, 6162, 6167, 6172, 6177, 6182, 6187, 6192, 6197, 6202, 6207, 6212, 6217, 6222, 6227, 6233, 6241, 6251, 6262, 6272, 6280, 6286, 6291, 6296, 6301, 6306, 6311, 6316, 6321, 6326, 6331, 6336, 6341, 6351, 6357, 6362, 6367, 6372, 6377, 6382, 6387, 6392, 6397, 6402, 6407, 6412, 6417, 6423, 6431, 6441, 6453, 6466, 6478, 6488, 6496, 6502, 6507, 6512, 6517, 6522, 6527, 6532, 6537, 6542, 6547, 6552, 6562, 6568, 6573, 6578, 6583, 6588, 6593, 6598, 6603, 6608, 6613, 6618, 6623, 6629, 6637, 6647, 6659, 6673, 6688, 6702, 6714, 6724, 6732, 6738, 6743, 6748, 6753, 6758, 6763, 6768, 6773, 6778, 6783, 6793, 6799, 6804, 6809, 6814, 6819, 6824, 6829, 6834, 6839, 6844, 6849, 6855, 6863, 6873, 6885, 6899, 6915, 6932, 6948, 6962, 6974, 6984, 6992, 6998, 7003, 7008, 7013, 7018, 7023, 7028, 7033, 7038, 7048, 7054, 7059, 7064, 7069, 7074, 7079, 7084, 7089, 7094, 7099, 7105, 7113, 7123, 7135, 7149, 7165, 7183, 7202, 7220, 7236, 7250, 7262, 7272, 7280, 7286, 7291, 7296, 7301, 7306, 7311, 7316, 7321, 7331, 7337, 7342, 7347, 7352, 7357, 7362, 7367, 7372, 7377, 7383, 7391, 7401, 7413, 7427, 7443, 7461, 7481, 7502, 7522, 7540, 7556, 7570, 7582, 7592, 7600, 7606, 7611, 7616, 7621, 7626, 7631, 7636, 7646, 7652, 7657, 7662, 7667, 7672, 7677, 7682, 7687, 7693, 7701, 7711, 7723, 7737, 7753, 7771, 7791, 7813, 7836, 7858, 7878, 7896, 7912, 7926, 7938, 7948, 7956, 7962, 7967, 7972, 7977, 7982, 7987, 7997, 8003, 8008, 8013, 8018, 8023, 8028, 8033, 8039, 8047, 8057, 8069, 8083, 8099, 8117, 8137, 8159, 8183, 8208, 8232, 8254, 8274, 8292, 8308, 8322, 8334, 8344, 8352, 8358, 8363, 8368, 8373, 8378, 8388, 8394, 8399, 8404, 8409, 8414, 8419, 8425, 8433, 8443, 8455, 8469, 8485, 8503, 8523, 8545, 8569, 8595, 8622, 8648, 8672, 8694, 8714, 8732, 8748, 8762, 8774, 8784, 8792, 8798, 8803, 8808, 8813, 8823, 8829, 8834, 8839, 8844, 8849, 8855, 8863, 8873, 8885, 8899, 8915, 8933, 8953, 8975, 8999, 9025, 9053, 9082, 9110, 9136, 9160, 9182, 9202, 9220, 9236, 9250, 9262, 9272, 9280, 9286, 9291, 9296, 9306, 9312, 9317, 9322, 9327, 9333, 9341, 9351, 9363, 9377, 9393, 9411, 9431, 9453, 9477, 9503, 9531, 9561, 9592, 9622, 9650, 9676, 9700, 9722, 9742, 9760, 9776, 9790, 9802, 9812, 9820, 9826, 9831, 9841, 9847, 9852, 9857, 9863, 9871, 9881, 9893, 9907, 9923, 9941, 9961, 9983, 10007, 10033, 10061, 10091, 10123, 10156, 10188, 10218, 10246, 10272, 10296, 10318, 10338, 10356, 10372, 10386, 10398, 10408, 10416, 10422, 10432, 10434, 10437, 10442, 10448, 10456, 10466, 10478, 10492, 10508, 10526, 10546, 10568, 10592, 10618, 10646, 10676, 10708, 10742, 10777, 10811, 10843, 10873, 10901, 10927, 10951, 10973, 10993, 11011, 11027, 11041, 11053, 11063, 11071, 11082]
[2024-05-25 09:44:03] [INFO ] Actually due to overlaps returned [652, 1243, 1778, 2261, 2696, 3087, 3438, 3753, 4036, 4291, 4522, 4733, 4928, 5111, 5286, 5457, 5627, 5798, 5973, 6156, 6351, 6562, 6793, 7048, 7331, 7646, 7997, 8388, 8823, 9306, 9841, 10432, 11082, 4, 5459, 10434]
Discarding 36 places :
Implicit Place search using SMT only with invariants took 55190 ms to find 36 implicit places.
Starting structural reductions in LIVENESS mode, iteration 1 : 11191/13544 places, 19530/21807 transitions.
Applied a total of 0 rules in 131 ms. Remains 11191 /11191 variables (removed 0) and now considering 19530/19530 (removed 0) transitions.
Finished structural reductions in LIVENESS mode , in 2 iterations and 56580 ms. Remains : 11191/13544 places, 19530/21807 transitions.
Initial state reduction rules removed 33 formulas.
RANDOM walk for 40000 steps (2336 resets) in 7923 ms. (5 steps per ms) remains 18453/19497 properties
BEST_FIRST walk for 124 steps (0 resets) in 35 ms. (3 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 78 ms. (1 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 29 ms. (4 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 16 ms. (7 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 11 ms. (10 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 10 ms. (11 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 10 ms. (11 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 9 ms. (12 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 9 ms. (12 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 10 ms. (11 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 11 ms. (10 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 21 ms. (5 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 11 ms. (10 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 11 ms. (10 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 10 ms. (11 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 10 ms. (11 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 18 ms. (6 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 10 ms. (11 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 11 ms. (10 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 11 ms. (10 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 10 ms. (11 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 9 ms. (12 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 11 ms. (10 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 11 ms. (10 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 11 ms. (10 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 10 ms. (11 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 11 ms. (10 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 10 ms. (11 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 15 ms. (7 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 11 ms. (10 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 14 ms. (8 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 11 ms. (10 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 9 ms. (12 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 11 ms. (10 steps per ms) remains 18453/18453 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 18453/18453 properties
Interrupted probabilistic random walk after 8331 steps, run timeout after 6001 ms. (steps per millisecond=1 ) properties seen :2490 out of 18453
Probabilistic random walk after 8331 steps, saw 3861 distinct states, run finished after 6007 ms. (steps per millisecond=1 ) properties seen :2490
[2024-05-25 09:44:13] [INFO ] Flow matrix only has 18474 transitions (discarded 1056 similar events)
// Phase 1: matrix 18474 rows 11191 cols
[2024-05-25 09:44:15] [INFO ] Computed 1257 invariants in 1277 ms
[2024-05-25 09:44:15] [INFO ] State equation strengthened by 7042 read => feed constraints.
SMT process timed out in 44606ms, After SMT, problems are : Problem set: 0 solved, 15963 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 9510 out of 11191 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 11191/11191 places, 19530/19530 transitions.
Discarding 669 places :
Symmetric choice reduction at 0 with 669 rule applications. Total rules 669 place count 10522 transition count 18861
Iterating global reduction 0 with 669 rules applied. Total rules applied 1338 place count 10522 transition count 18861
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 1339 place count 10522 transition count 18860
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1340 place count 10521 transition count 18860
Partial Free-agglomeration rule applied 1 times.
Drop transitions (Partial Free agglomeration) removed 1 transitions
Iterating global reduction 1 with 1 rules applied. Total rules applied 1341 place count 10521 transition count 18860
Applied a total of 1341 rules in 2462 ms. Remains 10521 /11191 variables (removed 670) and now considering 18860/19530 (removed 670) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2465 ms. Remains : 10521/11191 places, 18860/19530 transitions.
RANDOM walk for 720003 steps (40608 resets) in 120004 ms. (5 steps per ms) remains 12939/15963 properties
BEST_FIRST walk for 4004 steps (24 resets) in 420 ms. (9 steps per ms) remains 12938/12939 properties
BEST_FIRST walk for 4004 steps (24 resets) in 359 ms. (11 steps per ms) remains 12937/12938 properties
BEST_FIRST walk for 4004 steps (24 resets) in 419 ms. (9 steps per ms) remains 12936/12937 properties
BEST_FIRST walk for 4004 steps (24 resets) in 450 ms. (8 steps per ms) remains 12936/12936 properties
BEST_FIRST walk for 4004 steps (24 resets) in 358 ms. (11 steps per ms) remains 12936/12936 properties
BEST_FIRST walk for 4004 steps (24 resets) in 356 ms. (11 steps per ms) remains 12936/12936 properties
BEST_FIRST walk for 4004 steps (24 resets) in 363 ms. (11 steps per ms) remains 12936/12936 properties
BEST_FIRST walk for 4004 steps (24 resets) in 362 ms. (11 steps per ms) remains 12936/12936 properties
BEST_FIRST walk for 4004 steps (24 resets) in 358 ms. (11 steps per ms) remains 12936/12936 properties
BEST_FIRST walk for 4004 steps (24 resets) in 362 ms. (11 steps per ms) remains 12936/12936 properties
BEST_FIRST walk for 4004 steps (24 resets) in 356 ms. (11 steps per ms) remains 12936/12936 properties
BEST_FIRST walk for 4004 steps (24 resets) in 360 ms. (11 steps per ms) remains 12936/12936 properties
BEST_FIRST walk for 4004 steps (24 resets) in 413 ms. (9 steps per ms) remains 12936/12936 properties
BEST_FIRST walk for 4004 steps (24 resets) in 437 ms. (9 steps per ms) remains 12936/12936 properties
BEST_FIRST walk for 4004 steps (24 resets) in 480 ms. (8 steps per ms) remains 12936/12936 properties
BEST_FIRST walk for 4004 steps (24 resets) in 416 ms. (9 steps per ms) remains 12935/12936 properties
BEST_FIRST walk for 4004 steps (24 resets) in 367 ms. (10 steps per ms) remains 12935/12935 properties
BEST_FIRST walk for 4004 steps (24 resets) in 429 ms. (9 steps per ms) remains 12935/12935 properties
BEST_FIRST walk for 4004 steps (24 resets) in 453 ms. (8 steps per ms) remains 12935/12935 properties
BEST_FIRST walk for 4004 steps (24 resets) in 495 ms. (8 steps per ms) remains 12935/12935 properties
BEST_FIRST walk for 4004 steps (24 resets) in 439 ms. (9 steps per ms) remains 12935/12935 properties
BEST_FIRST walk for 4004 steps (24 resets) in 361 ms. (11 steps per ms) remains 12935/12935 properties
BEST_FIRST walk for 4004 steps (24 resets) in 354 ms. (11 steps per ms) remains 12935/12935 properties
BEST_FIRST walk for 4004 steps (24 resets) in 353 ms. (11 steps per ms) remains 12935/12935 properties
BEST_FIRST walk for 4004 steps (24 resets) in 355 ms. (11 steps per ms) remains 12935/12935 properties
BEST_FIRST walk for 4004 steps (24 resets) in 356 ms. (11 steps per ms) remains 12935/12935 properties
BEST_FIRST walk for 4004 steps (24 resets) in 353 ms. (11 steps per ms) remains 12935/12935 properties
BEST_FIRST walk for 4004 steps (24 resets) in 358 ms. (11 steps per ms) remains 12935/12935 properties
BEST_FIRST walk for 4004 steps (24 resets) in 356 ms. (11 steps per ms) remains 12935/12935 properties
BEST_FIRST walk for 4004 steps (24 resets) in 354 ms. (11 steps per ms) remains 12935/12935 properties
BEST_FIRST walk for 4004 steps (21 resets) in 292 ms. (13 steps per ms) remains 12930/12935 properties
BEST_FIRST walk for 4004 steps (22 resets) in 317 ms. (12 steps per ms) remains 12927/12930 properties
BEST_FIRST walk for 4004 steps (20 resets) in 273 ms. (14 steps per ms) remains 12925/12927 properties
BEST_FIRST walk for 4001 steps (20 resets) in 264 ms. (15 steps per ms) remains 12921/12925 properties
BEST_FIRST walk for 4004 steps (21 resets) in 308 ms. (12 steps per ms) remains 12916/12921 properties
BEST_FIRST walk for 4004 steps (20 resets) in 283 ms. (14 steps per ms) remains 12916/12916 properties
BEST_FIRST walk for 4004 steps (20 resets) in 271 ms. (14 steps per ms) remains 12912/12916 properties
BEST_FIRST walk for 4004 steps (20 resets) in 265 ms. (15 steps per ms) remains 12912/12912 properties
BEST_FIRST walk for 4003 steps (20 resets) in 280 ms. (14 steps per ms) remains 12909/12912 properties
BEST_FIRST walk for 4004 steps (21 resets) in 302 ms. (13 steps per ms) remains 12907/12909 properties
BEST_FIRST walk for 4004 steps (22 resets) in 310 ms. (12 steps per ms) remains 12904/12907 properties
BEST_FIRST walk for 4004 steps (20 resets) in 268 ms. (14 steps per ms) remains 12904/12904 properties
BEST_FIRST walk for 4003 steps (20 resets) in 273 ms. (14 steps per ms) remains 12903/12904 properties
BEST_FIRST walk for 4004 steps (20 resets) in 269 ms. (14 steps per ms) remains 12902/12903 properties
BEST_FIRST walk for 4004 steps (20 resets) in 270 ms. (14 steps per ms) remains 12900/12902 properties
BEST_FIRST walk for 4004 steps (20 resets) in 276 ms. (14 steps per ms) remains 12900/12900 properties
BEST_FIRST walk for 4003 steps (20 resets) in 269 ms. (14 steps per ms) remains 12898/12900 properties
BEST_FIRST walk for 4004 steps (23 resets) in 325 ms. (12 steps per ms) remains 12894/12898 properties
BEST_FIRST walk for 4004 steps (20 resets) in 304 ms. (13 steps per ms) remains 12892/12894 properties
BEST_FIRST walk for 4004 steps (20 resets) in 281 ms. (14 steps per ms) remains 12888/12892 properties
BEST_FIRST walk for 4004 steps (20 resets) in 268 ms. (14 steps per ms) remains 12888/12888 properties
BEST_FIRST walk for 4003 steps (20 resets) in 267 ms. (14 steps per ms) remains 12885/12888 properties
BEST_FIRST walk for 4002 steps (20 resets) in 261 ms. (15 steps per ms) remains 12884/12885 properties
BEST_FIRST walk for 4004 steps (19 resets) in 259 ms. (15 steps per ms) remains 12884/12884 properties
BEST_FIRST walk for 4002 steps (19 resets) in 255 ms. (15 steps per ms) remains 12884/12884 properties
BEST_FIRST walk for 4004 steps (20 resets) in 291 ms. (13 steps per ms) remains 12884/12884 properties
BEST_FIRST walk for 4003 steps (22 resets) in 317 ms. (12 steps per ms) remains 12882/12884 properties
BEST_FIRST walk for 4004 steps (20 resets) in 268 ms. (14 steps per ms) remains 12882/12882 properties
BEST_FIRST walk for 4004 steps (20 resets) in 269 ms. (14 steps per ms) remains 12877/12882 properties
BEST_FIRST walk for 4003 steps (20 resets) in 265 ms. (15 steps per ms) remains 12877/12877 properties
BEST_FIRST walk for 4004 steps (20 resets) in 269 ms. (14 steps per ms) remains 12876/12877 properties
BEST_FIRST walk for 4004 steps (20 resets) in 265 ms. (15 steps per ms) remains 12875/12876 properties
BEST_FIRST walk for 4003 steps (19 resets) in 262 ms. (15 steps per ms) remains 12875/12875 properties
BEST_FIRST walk for 4003 steps (20 resets) in 272 ms. (14 steps per ms) remains 12874/12875 properties
BEST_FIRST walk for 4004 steps (20 resets) in 269 ms. (14 steps per ms) remains 12872/12874 properties
BEST_FIRST walk for 4003 steps (20 resets) in 265 ms. (15 steps per ms) remains 12872/12872 properties
BEST_FIRST walk for 4004 steps (20 resets) in 264 ms. (15 steps per ms) remains 12871/12872 properties
BEST_FIRST walk for 4004 steps (23 resets) in 326 ms. (12 steps per ms) remains 12870/12871 properties
BEST_FIRST walk for 4003 steps (19 resets) in 256 ms. (15 steps per ms) remains 12868/12870 properties
BEST_FIRST walk for 4004 steps (20 resets) in 264 ms. (15 steps per ms) remains 12866/12868 properties
BEST_FIRST walk for 4004 steps (20 resets) in 270 ms. (14 steps per ms) remains 12866/12866 properties
BEST_FIRST walk for 4004 steps (20 resets) in 266 ms. (14 steps per ms) remains 12866/12866 properties
BEST_FIRST walk for 4004 steps (20 resets) in 269 ms. (14 steps per ms) remains 12866/12866 properties
BEST_FIRST walk for 4003 steps (20 resets) in 264 ms. (15 steps per ms) remains 12863/12866 properties
BEST_FIRST walk for 4003 steps (20 resets) in 270 ms. (14 steps per ms) remains 12863/12863 properties
BEST_FIRST walk for 4004 steps (19 resets) in 266 ms. (14 steps per ms) remains 12861/12863 properties
BEST_FIRST walk for 4004 steps (20 resets) in 274 ms. (14 steps per ms) remains 12861/12861 properties
BEST_FIRST walk for 4004 steps (20 resets) in 302 ms. (13 steps per ms) remains 12860/12861 properties
BEST_FIRST walk for 4003 steps (20 resets) in 272 ms. (14 steps per ms) remains 12860/12860 properties
BEST_FIRST walk for 4004 steps (20 resets) in 268 ms. (14 steps per ms) remains 12858/12860 properties
BEST_FIRST walk for 4004 steps (22 resets) in 304 ms. (13 steps per ms) remains 12855/12858 properties
BEST_FIRST walk for 4003 steps (20 resets) in 266 ms. (14 steps per ms) remains 12853/12855 properties
BEST_FIRST walk for 4004 steps (20 resets) in 266 ms. (14 steps per ms) remains 12851/12853 properties
BEST_FIRST walk for 4004 steps (20 resets) in 270 ms. (14 steps per ms) remains 12850/12851 properties
BEST_FIRST walk for 4004 steps (20 resets) in 265 ms. (15 steps per ms) remains 12850/12850 properties
BEST_FIRST walk for 4004 steps (20 resets) in 268 ms. (14 steps per ms) remains 12849/12850 properties
BEST_FIRST walk for 4004 steps (19 resets) in 273 ms. (14 steps per ms) remains 12848/12849 properties
BEST_FIRST walk for 4003 steps (20 resets) in 273 ms. (14 steps per ms) remains 12848/12848 properties
BEST_FIRST walk for 4002 steps (20 resets) in 265 ms. (15 steps per ms) remains 12847/12848 properties
BEST_FIRST walk for 4004 steps (20 resets) in 460 ms. (8 steps per ms) remains 12847/12847 properties
BEST_FIRST walk for 4003 steps (20 resets) in 266 ms. (14 steps per ms) remains 12846/12847 properties
BEST_FIRST walk for 4003 steps (20 resets) in 267 ms. (14 steps per ms) remains 12846/12846 properties
BEST_FIRST walk for 4001 steps (20 resets) in 267 ms. (14 steps per ms) remains 12845/12846 properties
BEST_FIRST walk for 4003 steps (20 resets) in 273 ms. (14 steps per ms) remains 12844/12845 properties
BEST_FIRST walk for 4003 steps (20 resets) in 267 ms. (14 steps per ms) remains 12842/12844 properties
BEST_FIRST walk for 4004 steps (20 resets) in 297 ms. (13 steps per ms) remains 12839/12842 properties
BEST_FIRST walk for 4003 steps (20 resets) in 271 ms. (14 steps per ms) remains 12837/12839 properties
BEST_FIRST walk for 4002 steps (20 resets) in 272 ms. (14 steps per ms) remains 12837/12837 properties
BEST_FIRST walk for 4003 steps (20 resets) in 274 ms. (14 steps per ms) remains 12837/12837 properties
BEST_FIRST walk for 4004 steps (20 resets) in 275 ms. (14 steps per ms) remains 12837/12837 properties
BEST_FIRST walk for 4003 steps (20 resets) in 269 ms. (14 steps per ms) remains 12836/12837 properties
BEST_FIRST walk for 4003 steps (19 resets) in 263 ms. (15 steps per ms) remains 12835/12836 properties
BEST_FIRST walk for 4004 steps (20 resets) in 270 ms. (14 steps per ms) remains 12834/12835 properties
BEST_FIRST walk for 4004 steps (20 resets) in 273 ms. (14 steps per ms) remains 12834/12834 properties
BEST_FIRST walk for 4003 steps (19 resets) in 279 ms. (14 steps per ms) remains 12834/12834 properties
BEST_FIRST walk for 4003 steps (20 resets) in 271 ms. (14 steps per ms) remains 12834/12834 properties
BEST_FIRST walk for 4004 steps (20 resets) in 269 ms. (14 steps per ms) remains 12833/12834 properties
BEST_FIRST walk for 4004 steps (20 resets) in 274 ms. (14 steps per ms) remains 12833/12833 properties
BEST_FIRST walk for 4004 steps (20 resets) in 271 ms. (14 steps per ms) remains 12833/12833 properties
BEST_FIRST walk for 4004 steps (20 resets) in 268 ms. (14 steps per ms) remains 12833/12833 properties
BEST_FIRST walk for 4004 steps (20 resets) in 267 ms. (14 steps per ms) remains 12833/12833 properties
BEST_FIRST walk for 4002 steps (20 resets) in 267 ms. (14 steps per ms) remains 12833/12833 properties
BEST_FIRST walk for 4004 steps (22 resets) in 313 ms. (12 steps per ms) remains 12832/12833 properties
BEST_FIRST walk for 4004 steps (20 resets) in 277 ms. (14 steps per ms) remains 12832/12832 properties
BEST_FIRST walk for 4003 steps (20 resets) in 267 ms. (14 steps per ms) remains 12830/12832 properties
BEST_FIRST walk for 4004 steps (20 resets) in 274 ms. (14 steps per ms) remains 12829/12830 properties
BEST_FIRST walk for 4002 steps (20 resets) in 271 ms. (14 steps per ms) remains 12829/12829 properties
BEST_FIRST walk for 4004 steps (19 resets) in 262 ms. (15 steps per ms) remains 12829/12829 properties
BEST_FIRST walk for 4004 steps (20 resets) in 275 ms. (14 steps per ms) remains 12829/12829 properties
BEST_FIRST walk for 4003 steps (20 resets) in 268 ms. (14 steps per ms) remains 12829/12829 properties
BEST_FIRST walk for 4004 steps (20 resets) in 285 ms. (14 steps per ms) remains 12829/12829 properties
BEST_FIRST walk for 4003 steps (20 resets) in 271 ms. (14 steps per ms) remains 12829/12829 properties
BEST_FIRST walk for 4004 steps (20 resets) in 276 ms. (14 steps per ms) remains 12828/12829 properties
BEST_FIRST walk for 4004 steps (20 resets) in 271 ms. (14 steps per ms) remains 12828/12828 properties
BEST_FIRST walk for 4003 steps (20 resets) in 270 ms. (14 steps per ms) remains 12826/12828 properties
BEST_FIRST walk for 4004 steps (20 resets) in 273 ms. (14 steps per ms) remains 12826/12826 properties
BEST_FIRST walk for 4004 steps (20 resets) in 273 ms. (14 steps per ms) remains 12823/12826 properties
BEST_FIRST walk for 4003 steps (20 resets) in 271 ms. (14 steps per ms) remains 12823/12823 properties
BEST_FIRST walk for 4003 steps (19 resets) in 257 ms. (15 steps per ms) remains 12823/12823 properties
BEST_FIRST walk for 4004 steps (20 resets) in 275 ms. (14 steps per ms) remains 12823/12823 properties
BEST_FIRST walk for 4003 steps (20 resets) in 271 ms. (14 steps per ms) remains 12823/12823 properties
BEST_FIRST walk for 4004 steps (23 resets) in 323 ms. (12 steps per ms) remains 12823/12823 properties
BEST_FIRST walk for 4004 steps (20 resets) in 283 ms. (14 steps per ms) remains 12823/12823 properties
BEST_FIRST walk for 4004 steps (20 resets) in 276 ms. (14 steps per ms) remains 12823/12823 properties
BEST_FIRST walk for 4004 steps (20 resets) in 270 ms. (14 steps per ms) remains 12823/12823 properties
BEST_FIRST walk for 4002 steps (20 resets) in 269 ms. (14 steps per ms) remains 12823/12823 properties
BEST_FIRST walk for 4004 steps (20 resets) in 272 ms. (14 steps per ms) remains 12823/12823 properties
BEST_FIRST walk for 4004 steps (20 resets) in 274 ms. (14 steps per ms) remains 12823/12823 properties
BEST_FIRST walk for 4004 steps (20 resets) in 272 ms. (14 steps per ms) remains 12823/12823 properties
BEST_FIRST walk for 4004 steps (20 resets) in 273 ms. (14 steps per ms) remains 12820/12823 properties
BEST_FIRST walk for 4004 steps (20 resets) in 265 ms. (15 steps per ms) remains 12820/12820 properties
BEST_FIRST walk for 4003 steps (20 resets) in 264 ms. (15 steps per ms) remains 12819/12820 properties
BEST_FIRST walk for 4004 steps (20 resets) in 286 ms. (13 steps per ms) remains 12819/12819 properties
BEST_FIRST walk for 4003 steps (20 resets) in 272 ms. (14 steps per ms) remains 12817/12819 properties
BEST_FIRST walk for 4004 steps (20 resets) in 271 ms. (14 steps per ms) remains 12817/12817 properties
BEST_FIRST walk for 4004 steps (20 resets) in 271 ms. (14 steps per ms) remains 12817/12817 properties
BEST_FIRST walk for 4003 steps (20 resets) in 268 ms. (14 steps per ms) remains 12817/12817 properties
BEST_FIRST walk for 4002 steps (20 resets) in 264 ms. (15 steps per ms) remains 12816/12817 properties
BEST_FIRST walk for 4002 steps (20 resets) in 260 ms. (15 steps per ms) remains 12816/12816 properties
BEST_FIRST walk for 4004 steps (19 resets) in 269 ms. (14 steps per ms) remains 12816/12816 properties
BEST_FIRST walk for 4004 steps (18 resets) in 251 ms. (15 steps per ms) remains 12816/12816 properties
BEST_FIRST walk for 4004 steps (20 resets) in 268 ms. (14 steps per ms) remains 12816/12816 properties
BEST_FIRST walk for 4004 steps (23 resets) in 316 ms. (12 steps per ms) remains 12816/12816 properties
BEST_FIRST walk for 4003 steps (20 resets) in 264 ms. (15 steps per ms) remains 12815/12816 properties
BEST_FIRST walk for 4003 steps (20 resets) in 266 ms. (14 steps per ms) remains 12815/12815 properties
BEST_FIRST walk for 4003 steps (20 resets) in 268 ms. (14 steps per ms) remains 12814/12815 properties
BEST_FIRST walk for 4004 steps (20 resets) in 268 ms. (14 steps per ms) remains 12814/12814 properties
BEST_FIRST walk for 4002 steps (20 resets) in 266 ms. (14 steps per ms) remains 12814/12814 properties
BEST_FIRST walk for 4004 steps (20 resets) in 270 ms. (14 steps per ms) remains 12814/12814 properties
BEST_FIRST walk for 4003 steps (20 resets) in 260 ms. (15 steps per ms) remains 12814/12814 properties
BEST_FIRST walk for 4003 steps (20 resets) in 263 ms. (15 steps per ms) remains 12813/12814 properties
BEST_FIRST walk for 4004 steps (20 resets) in 260 ms. (15 steps per ms) remains 12813/12813 properties
BEST_FIRST walk for 4004 steps (20 resets) in 261 ms. (15 steps per ms) remains 12812/12813 properties
BEST_FIRST walk for 4004 steps (20 resets) in 266 ms. (14 steps per ms) remains 12812/12812 properties
BEST_FIRST walk for 4002 steps (20 resets) in 271 ms. (14 steps per ms) remains 12812/12812 properties
BEST_FIRST walk for 4004 steps (20 resets) in 277 ms. (14 steps per ms) remains 12812/12812 properties
BEST_FIRST walk for 4004 steps (20 resets) in 268 ms. (14 steps per ms) remains 12811/12812 properties
BEST_FIRST walk for 4003 steps (20 resets) in 264 ms. (15 steps per ms) remains 12811/12811 properties
BEST_FIRST walk for 4004 steps (20 resets) in 266 ms. (14 steps per ms) remains 12808/12811 properties
BEST_FIRST walk for 4003 steps (19 resets) in 250 ms. (15 steps per ms) remains 12808/12808 properties
BEST_FIRST walk for 4003 steps (20 resets) in 328 ms. (12 steps per ms) remains 12808/12808 properties
BEST_FIRST walk for 4004 steps (20 resets) in 324 ms. (12 steps per ms) remains 12808/12808 properties
BEST_FIRST walk for 4004 steps (20 resets) in 309 ms. (12 steps per ms) remains 12806/12808 properties
BEST_FIRST walk for 4003 steps (20 resets) in 265 ms. (15 steps per ms) remains 12806/12806 properties
BEST_FIRST walk for 4004 steps (19 resets) in 257 ms. (15 steps per ms) remains 12803/12806 properties
BEST_FIRST walk for 4004 steps (22 resets) in 309 ms. (12 steps per ms) remains 12801/12803 properties
BEST_FIRST walk for 4003 steps (20 resets) in 262 ms. (15 steps per ms) remains 12800/12801 properties
BEST_FIRST walk for 4004 steps (19 resets) in 257 ms. (15 steps per ms) remains 12800/12800 properties
BEST_FIRST walk for 4004 steps (20 resets) in 262 ms. (15 steps per ms) remains 12800/12800 properties
BEST_FIRST walk for 4003 steps (20 resets) in 275 ms. (14 steps per ms) remains 12799/12800 properties
BEST_FIRST walk for 4004 steps (20 resets) in 264 ms. (15 steps per ms) remains 12799/12799 properties
BEST_FIRST walk for 4004 steps (19 resets) in 258 ms. (15 steps per ms) remains 12799/12799 properties
BEST_FIRST walk for 4004 steps (20 resets) in 263 ms. (15 steps per ms) remains 12799/12799 properties
BEST_FIRST walk for 4003 steps (20 resets) in 261 ms. (15 steps per ms) remains 12799/12799 properties
BEST_FIRST walk for 4002 steps (20 resets) in 260 ms. (15 steps per ms) remains 12799/12799 properties
BEST_FIRST walk for 4004 steps (20 resets) in 263 ms. (15 steps per ms) remains 12798/12799 properties
BEST_FIRST walk for 4004 steps (20 resets) in 262 ms. (15 steps per ms) remains 12798/12798 properties
BEST_FIRST walk for 4003 steps (20 resets) in 259 ms. (15 steps per ms) remains 12797/12798 properties
BEST_FIRST walk for 4004 steps (20 resets) in 272 ms. (14 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4004 steps (20 resets) in 263 ms. (15 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4003 steps (20 resets) in 264 ms. (15 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4004 steps (20 resets) in 263 ms. (15 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4004 steps (20 resets) in 267 ms. (14 steps per ms) remains 12797/12797 properties
BEST_FIRST walk for 4004 steps (20 resets) in 264 ms. (15 steps per ms) remains 12795/12797 properties
BEST_FIRST walk for 4004 steps (20 resets) in 264 ms. (15 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4003 steps (20 resets) in 258 ms. (15 steps per ms) remains 12795/12795 properties
BEST_FIRST walk for 4004 steps (20 resets) in 262 ms. (15 steps per ms) remains 12794/12795 properties
BEST_FIRST walk for 4004 steps (20 resets) in 265 ms. (15 steps per ms) remains 12794/12794 properties
BEST_FIRST walk for 4004 steps (20 resets) in 265 ms. (15 steps per ms) remains 12794/12794 properties
BEST_FIRST walk for 4003 steps (20 resets) in 262 ms. (15 steps per ms) remains 12791/12794 properties
BEST_FIRST walk for 4002 steps (23 resets) in 535 ms. (7 steps per ms) remains 12790/12791 properties
BEST_FIRST walk for 4003 steps (20 resets) in 261 ms. (15 steps per ms) remains 12790/12790 properties
BEST_FIRST walk for 4004 steps (20 resets) in 266 ms. (14 steps per ms) remains 12790/12790 properties
BEST_FIRST walk for 4002 steps (20 resets) in 257 ms. (15 steps per ms) remains 12790/12790 properties
BEST_FIRST walk for 4002 steps (20 resets) in 259 ms. (15 steps per ms) remains 12790/12790 properties
BEST_FIRST walk for 4004 steps (20 resets) in 260 ms. (15 steps per ms) remains 12790/12790 properties
BEST_FIRST walk for 4003 steps (19 resets) in 258 ms. (15 steps per ms) remains 12789/12790 properties
BEST_FIRST walk for 4002 steps (20 resets) in 259 ms. (15 steps per ms) remains 12789/12789 properties
BEST_FIRST walk for 4003 steps (20 resets) in 267 ms. (14 steps per ms) remains 12789/12789 properties
BEST_FIRST walk for 4003 steps (20 resets) in 273 ms. (14 steps per ms) remains 12789/12789 properties
BEST_FIRST walk for 4004 steps (20 resets) in 265 ms. (15 steps per ms) remains 12787/12789 properties
BEST_FIRST walk for 4004 steps (20 resets) in 267 ms. (14 steps per ms) remains 12787/12787 properties
BEST_FIRST walk for 4003 steps (20 resets) in 274 ms. (14 steps per ms) remains 12786/12787 properties
BEST_FIRST walk for 4004 steps (20 resets) in 274 ms. (14 steps per ms) remains 12786/12786 properties
BEST_FIRST walk for 4003 steps (20 resets) in 265 ms. (15 steps per ms) remains 12786/12786 properties
BEST_FIRST walk for 4004 steps (19 resets) in 261 ms. (15 steps per ms) remains 12786/12786 properties
BEST_FIRST walk for 4004 steps (20 resets) in 268 ms. (14 steps per ms) remains 12786/12786 properties
BEST_FIRST walk for 4003 steps (20 resets) in 263 ms. (15 steps per ms) remains 12786/12786 properties
BEST_FIRST walk for 4003 steps (20 resets) in 279 ms. (14 steps per ms) remains 12786/12786 properties
BEST_FIRST walk for 4004 steps (20 resets) in 267 ms. (14 steps per ms) remains 12786/12786 properties
BEST_FIRST walk for 4003 steps (20 resets) in 263 ms. (15 steps per ms) remains 12786/12786 properties
BEST_FIRST walk for 4004 steps (20 resets) in 266 ms. (14 steps per ms) remains 12786/12786 properties
BEST_FIRST walk for 4003 steps (20 resets) in 268 ms. (14 steps per ms) remains 12785/12786 properties
BEST_FIRST walk for 4004 steps (20 resets) in 266 ms. (14 steps per ms) remains 12785/12785 properties
BEST_FIRST walk for 4003 steps (19 resets) in 261 ms. (15 steps per ms) remains 12785/12785 properties
BEST_FIRST walk for 4004 steps (20 resets) in 264 ms. (15 steps per ms) remains 12785/12785 properties
BEST_FIRST walk for 4004 steps (20 resets) in 274 ms. (14 steps per ms) remains 12785/12785 properties
BEST_FIRST walk for 4004 steps (20 resets) in 281 ms. (14 steps per ms) remains 12782/12785 properties
BEST_FIRST walk for 4002 steps (20 resets) in 266 ms. (14 steps per ms) remains 12782/12782 properties
BEST_FIRST walk for 4004 steps (20 resets) in 268 ms. (14 steps per ms) remains 12782/12782 properties
BEST_FIRST walk for 4004 steps (20 resets) in 264 ms. (15 steps per ms) remains 12781/12782 properties
BEST_FIRST walk for 4004 steps (20 resets) in 267 ms. (14 steps per ms) remains 12781/12781 properties
BEST_FIRST walk for 4002 steps (20 resets) in 264 ms. (15 steps per ms) remains 12780/12781 properties
BEST_FIRST walk for 4004 steps (20 resets) in 266 ms. (14 steps per ms) remains 12780/12780 properties
BEST_FIRST walk for 4004 steps (19 resets) in 262 ms. (15 steps per ms) remains 12780/12780 properties
BEST_FIRST walk for 4004 steps (20 resets) in 270 ms. (14 steps per ms) remains 12780/12780 properties
BEST_FIRST walk for 4004 steps (20 resets) in 266 ms. (14 steps per ms) remains 12778/12780 properties
BEST_FIRST walk for 4004 steps (19 resets) in 276 ms. (14 steps per ms) remains 12778/12778 properties
BEST_FIRST walk for 4004 steps (20 resets) in 291 ms. (13 steps per ms) remains 12778/12778 properties
BEST_FIRST walk for 4004 steps (20 resets) in 274 ms. (14 steps per ms) remains 12778/12778 properties
BEST_FIRST walk for 4004 steps (20 resets) in 269 ms. (14 steps per ms) remains 12778/12778 properties
BEST_FIRST walk for 4004 steps (20 resets) in 274 ms. (14 steps per ms) remains 12778/12778 properties
BEST_FIRST walk for 4004 steps (19 resets) in 277 ms. (14 steps per ms) remains 12777/12778 properties
BEST_FIRST walk for 4004 steps (20 resets) in 284 ms. (14 steps per ms) remains 12777/12777 properties
BEST_FIRST walk for 4003 steps (20 resets) in 280 ms. (14 steps per ms) remains 12776/12777 properties
BEST_FIRST walk for 4003 steps (20 resets) in 271 ms. (14 steps per ms) remains 12776/12776 properties
BEST_FIRST walk for 4003 steps (20 resets) in 268 ms. (14 steps per ms) remains 12776/12776 properties
BEST_FIRST walk for 4004 steps (19 resets) in 261 ms. (15 steps per ms) remains 12776/12776 properties
BEST_FIRST walk for 4002 steps (20 resets) in 270 ms. (14 steps per ms) remains 12776/12776 properties
BEST_FIRST walk for 4004 steps (20 resets) in 266 ms. (14 steps per ms) remains 12776/12776 properties
BEST_FIRST walk for 4003 steps (20 resets) in 269 ms. (14 steps per ms) remains 12775/12776 properties
BEST_FIRST walk for 4002 steps (20 resets) in 263 ms. (15 steps per ms) remains 12775/12775 properties
BEST_FIRST walk for 4004 steps (20 resets) in 262 ms. (15 steps per ms) remains 12775/12775 properties
BEST_FIRST walk for 4004 steps (20 resets) in 266 ms. (14 steps per ms) remains 12775/12775 properties
BEST_FIRST walk for 4004 steps (20 resets) in 272 ms. (14 steps per ms) remains 12774/12775 properties
BEST_FIRST walk for 4004 steps (20 resets) in 272 ms. (14 steps per ms) remains 12772/12774 properties
BEST_FIRST walk for 4003 steps (20 resets) in 270 ms. (14 steps per ms) remains 12772/12772 properties
BEST_FIRST walk for 4002 steps (20 resets) in 258 ms. (15 steps per ms) remains 12772/12772 properties
BEST_FIRST walk for 4002 steps (20 resets) in 266 ms. (14 steps per ms) remains 12772/12772 properties
BEST_FIRST walk for 4004 steps (20 resets) in 265 ms. (15 steps per ms) remains 12771/12772 properties
BEST_FIRST walk for 4003 steps (20 resets) in 267 ms. (14 steps per ms) remains 12771/12771 properties
BEST_FIRST walk for 4004 steps (18 resets) in 250 ms. (15 steps per ms) remains 12771/12771 properties
BEST_FIRST walk for 4003 steps (20 resets) in 268 ms. (14 steps per ms) remains 12770/12771 properties
BEST_FIRST walk for 4004 steps (20 resets) in 267 ms. (14 steps per ms) remains 12770/12770 properties
BEST_FIRST walk for 4004 steps (20 resets) in 268 ms. (14 steps per ms) remains 12770/12770 properties
BEST_FIRST walk for 4002 steps (20 resets) in 263 ms. (15 steps per ms) remains 12770/12770 properties
BEST_FIRST walk for 4004 steps (20 resets) in 278 ms. (14 steps per ms) remains 12770/12770 properties
BEST_FIRST walk for 4002 steps (20 resets) in 265 ms. (15 steps per ms) remains 12769/12770 properties
BEST_FIRST walk for 4003 steps (20 resets) in 266 ms. (14 steps per ms) remains 12769/12769 properties
BEST_FIRST walk for 4004 steps (20 resets) in 268 ms. (14 steps per ms) remains 12769/12769 properties
BEST_FIRST walk for 4004 steps (20 resets) in 267 ms. (14 steps per ms) remains 12769/12769 properties
BEST_FIRST walk for 4002 steps (20 resets) in 267 ms. (14 steps per ms) remains 12769/12769 properties
BEST_FIRST walk for 4003 steps (20 resets) in 263 ms. (15 steps per ms) remains 12769/12769 properties
BEST_FIRST walk for 4003 steps (20 resets) in 259 ms. (15 steps per ms) remains 12769/12769 properties
BEST_FIRST walk for 4004 steps (20 resets) in 270 ms. (14 steps per ms) remains 12768/12769 properties
BEST_FIRST walk for 4002 steps (20 resets) in 262 ms. (15 steps per ms) remains 12767/12768 properties
BEST_FIRST walk for 4004 steps (20 resets) in 267 ms. (14 steps per ms) remains 12767/12767 properties
BEST_FIRST walk for 4003 steps (20 resets) in 263 ms. (15 steps per ms) remains 12767/12767 properties
BEST_FIRST walk for 4004 steps (20 resets) in 270 ms. (14 steps per ms) remains 12767/12767 properties
BEST_FIRST walk for 4003 steps (20 resets) in 275 ms. (14 steps per ms) remains 12767/12767 properties
BEST_FIRST walk for 4003 steps (19 resets) in 263 ms. (15 steps per ms) remains 12767/12767 properties
BEST_FIRST walk for 4004 steps (20 resets) in 271 ms. (14 steps per ms) remains 12767/12767 properties
BEST_FIRST walk for 4003 steps (20 resets) in 268 ms. (14 steps per ms) remains 12766/12767 properties
BEST_FIRST walk for 4003 steps (20 resets) in 268 ms. (14 steps per ms) remains 12764/12766 properties
BEST_FIRST walk for 4004 steps (20 resets) in 263 ms. (15 steps per ms) remains 12764/12764 properties
BEST_FIRST walk for 4003 steps (20 resets) in 268 ms. (14 steps per ms) remains 12764/12764 properties
BEST_FIRST walk for 4001 steps (20 resets) in 260 ms. (15 steps per ms) remains 12763/12764 properties
BEST_FIRST walk for 4003 steps (20 resets) in 263 ms. (15 steps per ms) remains 12763/12763 properties
BEST_FIRST walk for 4004 steps (20 resets) in 267 ms. (14 steps per ms) remains 12761/12763 properties
BEST_FIRST walk for 4003 steps (20 resets) in 265 ms. (15 steps per ms) remains 12761/12761 properties
BEST_FIRST walk for 4003 steps (20 resets) in 261 ms. (15 steps per ms) remains 12761/12761 properties
BEST_FIRST walk for 4004 steps (20 resets) in 265 ms. (15 steps per ms) remains 12761/12761 properties
BEST_FIRST walk for 4003 steps (20 resets) in 262 ms. (15 steps per ms) remains 12761/12761 properties
BEST_FIRST walk for 4003 steps (20 resets) in 267 ms. (14 steps per ms) remains 12761/12761 properties
BEST_FIRST walk for 4003 steps (20 resets) in 264 ms. (15 steps per ms) remains 12761/12761 properties
BEST_FIRST walk for 4003 steps (19 resets) in 262 ms. (15 steps per ms) remains 12761/12761 properties
BEST_FIRST walk for 4004 steps (20 resets) in 267 ms. (14 steps per ms) remains 12761/12761 properties
BEST_FIRST walk for 4003 steps (20 resets) in 268 ms. (14 steps per ms) remains 12761/12761 properties
BEST_FIRST walk for 4004 steps (20 resets) in 266 ms. (14 steps per ms) remains 12760/12761 properties
BEST_FIRST walk for 4003 steps (20 resets) in 277 ms. (14 steps per ms) remains 12760/12760 properties
BEST_FIRST walk for 4003 steps (20 resets) in 269 ms. (14 steps per ms) remains 12760/12760 properties
BEST_FIRST walk for 4004 steps (20 resets) in 266 ms. (14 steps per ms) remains 12760/12760 properties
BEST_FIRST walk for 4004 steps (20 resets) in 267 ms. (14 steps per ms) remains 12760/12760 properties
BEST_FIRST walk for 4004 steps (20 resets) in 266 ms. (14 steps per ms) remains 12760/12760 properties
BEST_FIRST walk for 4004 steps (20 resets) in 261 ms. (15 steps per ms) remains 12760/12760 properties
BEST_FIRST walk for 4003 steps (20 resets) in 267 ms. (14 steps per ms) remains 12760/12760 properties
BEST_FIRST walk for 4004 steps (20 resets) in 285 ms. (14 steps per ms) remains 12760/12760 properties
BEST_FIRST walk for 4004 steps (20 resets) in 279 ms. (14 steps per ms) remains 12760/12760 properties
BEST_FIRST walk for 4004 steps (20 resets) in 262 ms. (15 steps per ms) remains 12760/12760 properties
BEST_FIRST walk for 4003 steps (20 resets) in 264 ms. (15 steps per ms) remains 12760/12760 properties
BEST_FIRST walk for 4004 steps (20 resets) in 261 ms. (15 steps per ms) remains 12760/12760 properties
BEST_FIRST walk for 4004 steps (22 resets) in 313 ms. (12 steps per ms) remains 12759/12760 properties
BEST_FIRST walk for 4003 steps (20 resets) in 597 ms. (6 steps per ms) remains 12759/12759 properties
BEST_FIRST walk for 4003 steps (19 resets) in 263 ms. (15 steps per ms) remains 12759/12759 properties
BEST_FIRST walk for 4002 steps (20 resets) in 262 ms. (15 steps per ms) remains 12759/12759 properties
BEST_FIRST walk for 4003 steps (20 resets) in 262 ms. (15 steps per ms) remains 12758/12759 properties
BEST_FIRST walk for 4003 steps (20 resets) in 261 ms. (15 steps per ms) remains 12758/12758 properties
BEST_FIRST walk for 4004 steps (20 resets) in 269 ms. (14 steps per ms) remains 12758/12758 properties
BEST_FIRST walk for 4004 steps (20 resets) in 265 ms. (15 steps per ms) remains 12757/12758 properties
BEST_FIRST walk for 4003 steps (20 resets) in 266 ms. (14 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4004 steps (20 resets) in 271 ms. (14 steps per ms) remains 12757/12757 properties
BEST_FIRST walk for 4004 steps (20 resets) in 272 ms. (14 steps per ms) remains 12756/12757 properties
BEST_FIRST walk for 4004 steps (20 resets) in 277 ms. (14 steps per ms) remains 12756/12756 properties
BEST_FIRST walk for 4003 steps (20 resets) in 264 ms. (15 steps per ms) remains 12755/12756 properties
BEST_FIRST walk for 4002 steps (20 resets) in 263 ms. (15 steps per ms) remains 12755/12755 properties
BEST_FIRST walk for 4003 steps (20 resets) in 257 ms. (15 steps per ms) remains 12755/12755 properties
BEST_FIRST walk for 4003 steps (20 resets) in 260 ms. (15 steps per ms) remains 12755/12755 properties
BEST_FIRST walk for 4003 steps (20 resets) in 260 ms. (15 steps per ms) remains 12755/12755 properties
BEST_FIRST walk for 4003 steps (20 resets) in 263 ms. (15 steps per ms) remains 12755/12755 properties
BEST_FIRST walk for 4003 steps (20 resets) in 265 ms. (15 steps per ms) remains 12754/12755 properties
BEST_FIRST walk for 4004 steps (20 resets) in 264 ms. (15 steps per ms) remains 12754/12754 properties
BEST_FIRST walk for 4004 steps (19 resets) in 252 ms. (15 steps per ms) remains 12754/12754 properties
BEST_FIRST walk for 4004 steps (20 resets) in 260 ms. (15 steps per ms) remains 12754/12754 properties
BEST_FIRST walk for 4003 steps (20 resets) in 254 ms. (15 steps per ms) remains 12753/12754 properties
BEST_FIRST walk for 4004 steps (20 resets) in 254 ms. (15 steps per ms) remains 12753/12753 properties
BEST_FIRST walk for 4003 steps (20 resets) in 257 ms. (15 steps per ms) remains 12751/12753 properties
BEST_FIRST walk for 4003 steps (20 resets) in 254 ms. (15 steps per ms) remains 12751/12751 properties
BEST_FIRST walk for 4002 steps (20 resets) in 255 ms. (15 steps per ms) remains 12751/12751 properties
BEST_FIRST walk for 4003 steps (24 resets) in 317 ms. (12 steps per ms) remains 12751/12751 properties
BEST_FIRST walk for 4003 steps (20 resets) in 301 ms. (13 steps per ms) remains 12751/12751 properties
BEST_FIRST walk for 4004 steps (20 resets) in 257 ms. (15 steps per ms) remains 12749/12751 properties
BEST_FIRST walk for 4003 steps (20 resets) in 260 ms. (15 steps per ms) remains 12749/12749 properties
BEST_FIRST walk for 4004 steps (20 resets) in 256 ms. (15 steps per ms) remains 12749/12749 properties
BEST_FIRST walk for 4004 steps (20 resets) in 258 ms. (15 steps per ms) remains 12749/12749 properties
BEST_FIRST walk for 4004 steps (20 resets) in 272 ms. (14 steps per ms) remains 12749/12749 properties
BEST_FIRST walk for 4003 steps (20 resets) in 257 ms. (15 steps per ms) remains 12749/12749 properties
BEST_FIRST walk for 4004 steps (20 resets) in 260 ms. (15 steps per ms) remains 12747/12749 properties
BEST_FIRST walk for 4004 steps (18 resets) in 249 ms. (16 steps per ms) remains 12747/12747 properties
BEST_FIRST walk for 4004 steps (20 resets) in 263 ms. (15 steps per ms) remains 12747/12747 properties
BEST_FIRST walk for 4004 steps (20 resets) in 261 ms. (15 steps per ms) remains 12747/12747 properties
BEST_FIRST walk for 4004 steps (20 resets) in 264 ms. (15 steps per ms) remains 12747/12747 properties
BEST_FIRST walk for 4002 steps (20 resets) in 258 ms. (15 steps per ms) remains 12747/12747 properties
BEST_FIRST walk for 4003 steps (19 resets) in 256 ms. (15 steps per ms) remains 12746/12747 properties
BEST_FIRST walk for 4004 steps (20 resets) in 280 ms. (14 steps per ms) remains 12746/12746 properties
BEST_FIRST walk for 4003 steps (19 resets) in 261 ms. (15 steps per ms) remains 12744/12746 properties
BEST_FIRST walk for 4003 steps (20 resets) in 264 ms. (15 steps per ms) remains 12744/12744 properties
BEST_FIRST walk for 4003 steps (20 resets) in 270 ms. (14 steps per ms) remains 12744/12744 properties
BEST_FIRST walk for 4003 steps (20 resets) in 266 ms. (14 steps per ms) remains 12744/12744 properties
BEST_FIRST walk for 4004 steps (20 resets) in 265 ms. (15 steps per ms) remains 12744/12744 properties
BEST_FIRST walk for 4004 steps (20 resets) in 266 ms. (14 steps per ms) remains 12744/12744 properties
BEST_FIRST walk for 4003 steps (20 resets) in 262 ms. (15 steps per ms) remains 12744/12744 properties
BEST_FIRST walk for 4004 steps (20 resets) in 275 ms. (14 steps per ms) remains 12744/12744 properties
BEST_FIRST walk for 4004 steps (20 resets) in 269 ms. (14 steps per ms) remains 12744/12744 properties
BEST_FIRST walk for 4004 steps (22 resets) in 305 ms. (13 steps per ms) remains 12743/12744 properties
BEST_FIRST walk for 4004 steps (20 resets) in 273 ms. (14 steps per ms) remains 12743/12743 properties
BEST_FIRST walk for 4004 steps (20 resets) in 267 ms. (14 steps per ms) remains 12742/12743 properties
BEST_FIRST walk for 4002 steps (20 resets) in 268 ms. (14 steps per ms) remains 12742/12742 properties
BEST_FIRST walk for 4004 steps (20 resets) in 274 ms. (14 steps per ms) remains 12742/12742 properties
BEST_FIRST walk for 4003 steps (20 resets) in 269 ms. (14 steps per ms) remains 12742/12742 properties
BEST_FIRST walk for 4004 steps (20 resets) in 275 ms. (14 steps per ms) remains 12742/12742 properties
BEST_FIRST walk for 4004 steps (20 resets) in 272 ms. (14 steps per ms) remains 12742/12742 properties
BEST_FIRST walk for 4004 steps (20 resets) in 279 ms. (14 steps per ms) remains 12742/12742 properties
BEST_FIRST walk for 4004 steps (20 resets) in 269 ms. (14 steps per ms) remains 12742/12742 properties
BEST_FIRST walk for 4004 steps (20 resets) in 265 ms. (15 steps per ms) remains 12742/12742 properties
BEST_FIRST walk for 4004 steps (20 resets) in 275 ms. (14 steps per ms) remains 12742/12742 properties
BEST_FIRST walk for 4004 steps (20 resets) in 335 ms. (11 steps per ms) remains 12741/12742 properties
BEST_FIRST walk for 4004 steps (20 resets) in 272 ms. (14 steps per ms) remains 12741/12741 properties
BEST_FIRST walk for 4003 steps (20 resets) in 266 ms. (14 steps per ms) remains 12741/12741 properties
BEST_FIRST walk for 4003 steps (20 resets) in 270 ms. (14 steps per ms) remains 12741/12741 properties
BEST_FIRST walk for 4004 steps (19 resets) in 259 ms. (15 steps per ms) remains 12741/12741 properties
BEST_FIRST walk for 4004 steps (19 resets) in 264 ms. (15 steps per ms) remains 12741/12741 properties
BEST_FIRST walk for 4004 steps (20 resets) in 281 ms. (14 steps per ms) remains 12741/12741 properties
BEST_FIRST walk for 4003 steps (20 resets) in 270 ms. (14 steps per ms) remains 12741/12741 properties
BEST_FIRST walk for 4004 steps (20 resets) in 266 ms. (14 steps per ms) remains 12741/12741 properties
BEST_FIRST walk for 4004 steps (20 resets) in 280 ms. (14 steps per ms) remains 12741/12741 properties
BEST_FIRST walk for 4004 steps (20 resets) in 279 ms. (14 steps per ms) remains 12741/12741 properties
BEST_FIRST walk for 4002 steps (24 resets) in 324 ms. (12 steps per ms) remains 12741/12741 properties
BEST_FIRST walk for 4004 steps (20 resets) in 267 ms. (14 steps per ms) remains 12739/12741 properties
BEST_FIRST walk for 4002 steps (20 resets) in 261 ms. (15 steps per ms) remains 12739/12739 properties
BEST_FIRST walk for 4004 steps (20 resets) in 262 ms. (15 steps per ms) remains 12739/12739 properties
BEST_FIRST walk for 4004 steps (19 resets) in 260 ms. (15 steps per ms) remains 12739/12739 properties
BEST_FIRST walk for 4003 steps (20 resets) in 270 ms. (14 steps per ms) remains 12739/12739 properties
BEST_FIRST walk for 4004 steps (20 resets) in 273 ms. (14 steps per ms) remains 12738/12739 properties
BEST_FIRST walk for 4003 steps (20 resets) in 268 ms. (14 steps per ms) remains 12738/12738 properties
BEST_FIRST walk for 4002 steps (20 resets) in 258 ms. (15 steps per ms) remains 12738/12738 properties
BEST_FIRST walk for 4003 steps (20 resets) in 262 ms. (15 steps per ms) remains 12738/12738 properties
BEST_FIRST walk for 4003 steps (20 resets) in 261 ms. (15 steps per ms) remains 12738/12738 properties
BEST_FIRST walk for 4003 steps (20 resets) in 264 ms. (15 steps per ms) remains 12738/12738 properties
BEST_FIRST walk for 4004 steps (20 resets) in 262 ms. (15 steps per ms) remains 12738/12738 properties
BEST_FIRST walk for 4004 steps (20 resets) in 265 ms. (15 steps per ms) remains 12738/12738 properties
BEST_FIRST walk for 4004 steps (19 resets) in 257 ms. (15 steps per ms) remains 12738/12738 properties
BEST_FIRST walk for 4004 steps (20 resets) in 265 ms. (15 steps per ms) remains 12738/12738 properties
BEST_FIRST walk for 4003 steps (19 resets) in 260 ms. (15 steps per ms) remains 12737/12738 properties
BEST_FIRST walk for 4002 steps (20 resets) in 263 ms. (15 steps per ms) remains 12737/12737 properties
BEST_FIRST walk for 4004 steps (20 resets) in 259 ms. (15 steps per ms) remains 12737/12737 properties
BEST_FIRST walk for 4004 steps (20 resets) in 264 ms. (15 steps per ms) remains 12737/12737 properties
BEST_FIRST walk for 4002 steps (20 resets) in 258 ms. (15 steps per ms) remains 12737/12737 properties
BEST_FIRST walk for 4004 steps (22 resets) in 306 ms. (13 steps per ms) remains 12737/12737 properties
BEST_FIRST walk for 4003 steps (20 resets) in 267 ms. (14 steps per ms) remains 12736/12737 properties
BEST_FIRST walk for 4004 steps (20 resets) in 267 ms. (14 steps per ms) remains 12736/12736 properties
BEST_FIRST walk for 4002 steps (20 resets) in 260 ms. (15 steps per ms) remains 12736/12736 properties
BEST_FIRST walk for 4002 steps (20 resets) in 261 ms. (15 steps per ms) remains 12736/12736 properties
BEST_FIRST walk for 4003 steps (20 resets) in 264 ms. (15 steps per ms) remains 12736/12736 properties
BEST_FIRST walk for 4004 steps (20 resets) in 258 ms. (15 steps per ms) remains 12736/12736 properties
BEST_FIRST walk for 4004 steps (20 resets) in 262 ms. (15 steps per ms) remains 12736/12736 properties
BEST_FIRST walk for 4004 steps (20 resets) in 268 ms. (14 steps per ms) remains 12736/12736 properties
BEST_FIRST walk for 4004 steps (20 resets) in 260 ms. (15 steps per ms) remains 12736/12736 properties
BEST_FIRST walk for 4004 steps (20 resets) in 265 ms. (15 steps per ms) remains 12736/12736 properties
BEST_FIRST walk for 4004 steps (20 resets) in 266 ms. (14 steps per ms) remains 12736/12736 properties
BEST_FIRST walk for 4003 steps (20 resets) in 257 ms. (15 steps per ms) remains 12736/12736 properties
BEST_FIRST walk for 4003 steps (20 resets) in 254 ms. (15 steps per ms) remains 12736/12736 properties
BEST_FIRST walk for 4001 steps (20 resets) in 251 ms. (15 steps per ms) remains 12736/12736 properties
BEST_FIRST walk for 4003 steps (20 resets) in 257 ms. (15 steps per ms) remains 12736/12736 properties
BEST_FIRST walk for 4004 steps (20 resets) in 260 ms. (15 steps per ms) remains 12736/12736 properties
BEST_FIRST walk for 4004 steps (20 resets) in 530 ms. (7 steps per ms) remains 12736/12736 properties
BEST_FIRST walk for 4003 steps (20 resets) in 260 ms. (15 steps per ms) remains 12736/12736 properties
BEST_FIRST walk for 4004 steps (20 resets) in 278 ms. (14 steps per ms) remains 12736/12736 properties
BEST_FIRST walk for 4004 steps (20 resets) in 267 ms. (14 steps per ms) remains 12736/12736 properties
BEST_FIRST walk for 4004 steps (20 resets) in 265 ms. (15 steps per ms) remains 12736/12736 properties
BEST_FIRST walk for 4003 steps (20 resets) in 267 ms. (14 steps per ms) remains 12736/12736 properties
BEST_FIRST walk for 4004 steps (20 resets) in 266 ms. (14 steps per ms) remains 12736/12736 properties
BEST_FIRST walk for 4003 steps (20 resets) in 258 ms. (15 steps per ms) remains 12736/12736 properties
BEST_FIRST walk for 4004 steps (20 resets) in 264 ms. (15 steps per ms) remains 12736/12736 properties
BEST_FIRST walk for 4003 steps (20 resets) in 258 ms. (15 steps per ms) remains 12736/12736 properties
BEST_FIRST walk for 4004 steps (20 resets) in 262 ms. (15 steps per ms) remains 12736/12736 properties
BEST_FIRST walk for 4004 steps (20 resets) in 258 ms. (15 steps per ms) remains 12736/12736 properties
BEST_FIRST walk for 4004 steps (20 resets) in 262 ms. (15 steps per ms) remains 12736/12736 properties
BEST_FIRST walk for 4003 steps (20 resets) in 263 ms. (15 steps per ms) remains 12736/12736 properties
BEST_FIRST walk for 4004 steps (20 resets) in 265 ms. (15 steps per ms) remains 12735/12736 properties
BEST_FIRST walk for 4002 steps (20 resets) in 255 ms. (15 steps per ms) remains 12735/12735 properties
BEST_FIRST walk for 4003 steps (20 resets) in 264 ms. (15 steps per ms) remains 12735/12735 properties
BEST_FIRST walk for 4004 steps (20 resets) in 261 ms. (15 steps per ms) remains 12735/12735 properties
BEST_FIRST walk for 4004 steps (20 resets) in 262 ms. (15 steps per ms) remains 12735/12735 properties
BEST_FIRST walk for 4003 steps (22 resets) in 298 ms. (13 steps per ms) remains 12733/12735 properties
BEST_FIRST walk for 4004 steps (20 resets) in 265 ms. (15 steps per ms) remains 12733/12733 properties
BEST_FIRST walk for 4003 steps (20 resets) in 257 ms. (15 steps per ms) remains 12733/12733 properties
BEST_FIRST walk for 4004 steps (19 resets) in 256 ms. (15 steps per ms) remains 12733/12733 properties
BEST_FIRST walk for 4004 steps (20 resets) in 264 ms. (15 steps per ms) remains 12733/12733 properties
BEST_FIRST walk for 4003 steps (20 resets) in 261 ms. (15 steps per ms) remains 12733/12733 properties
BEST_FIRST walk for 4004 steps (20 resets) in 256 ms. (15 steps per ms) remains 12733/12733 properties
BEST_FIRST walk for 4004 steps (20 resets) in 265 ms. (15 steps per ms) remains 12733/12733 properties
BEST_FIRST walk for 4004 steps (20 resets) in 256 ms. (15 steps per ms) remains 12733/12733 properties
BEST_FIRST walk for 4004 steps (20 resets) in 257 ms. (15 steps per ms) remains 12733/12733 properties
BEST_FIRST walk for 4002 steps (20 resets) in 250 ms. (15 steps per ms) remains 12733/12733 properties
BEST_FIRST walk for 4004 steps (20 resets) in 264 ms. (15 steps per ms) remains 12733/12733 properties
BEST_FIRST walk for 4004 steps (20 resets) in 254 ms. (15 steps per ms) remains 12733/12733 properties
BEST_FIRST walk for 4004 steps (20 resets) in 253 ms. (15 steps per ms) remains 12733/12733 properties
BEST_FIRST walk for 4004 steps (20 resets) in 256 ms. (15 steps per ms) remains 12733/12733 properties
BEST_FIRST walk for 4004 steps (22 resets) in 304 ms. (13 steps per ms) remains 12730/12733 properties
BEST_FIRST walk for 4004 steps (19 resets) in 253 ms. (15 steps per ms) remains 12730/12730 properties
BEST_FIRST walk for 4004 steps (20 resets) in 255 ms. (15 steps per ms) remains 12729/12730 properties
BEST_FIRST walk for 4003 steps (20 resets) in 251 ms. (15 steps per ms) remains 12729/12729 properties
BEST_FIRST walk for 4004 steps (20 resets) in 253 ms. (15 steps per ms) remains 12729/12729 properties
BEST_FIRST walk for 4003 steps (20 resets) in 261 ms. (15 steps per ms) remains 12729/12729 properties
BEST_FIRST walk for 4003 steps (20 resets) in 254 ms. (15 steps per ms) remains 12729/12729 properties
BEST_FIRST walk for 4004 steps (20 resets) in 256 ms. (15 steps per ms) remains 12729/12729 properties
BEST_FIRST walk for 4003 steps (20 resets) in 253 ms. (15 steps per ms) remains 12729/12729 properties
BEST_FIRST walk for 4003 steps (20 resets) in 250 ms. (15 steps per ms) remains 12729/12729 properties
BEST_FIRST walk for 4001 steps (20 resets) in 252 ms. (15 steps per ms) remains 12729/12729 properties
BEST_FIRST walk for 4003 steps (19 resets) in 250 ms. (15 steps per ms) remains 12729/12729 properties
BEST_FIRST walk for 4004 steps (20 resets) in 264 ms. (15 steps per ms) remains 12729/12729 properties
BEST_FIRST walk for 4004 steps (21 resets) in 297 ms. (13 steps per ms) remains 12728/12729 properties
BEST_FIRST walk for 4004 steps (20 resets) in 264 ms. (15 steps per ms) remains 12728/12728 properties
BEST_FIRST walk for 4002 steps (20 resets) in 254 ms. (15 steps per ms) remains 12727/12728 properties
BEST_FIRST walk for 4004 steps (20 resets) in 262 ms. (15 steps per ms) remains 12727/12727 properties
BEST_FIRST walk for 4003 steps (20 resets) in 260 ms. (15 steps per ms) remains 12727/12727 properties
BEST_FIRST walk for 4004 steps (20 resets) in 268 ms. (14 steps per ms) remains 12727/12727 properties
BEST_FIRST walk for 4003 steps (20 resets) in 258 ms. (15 steps per ms) remains 12727/12727 properties
BEST_FIRST walk for 4004 steps (20 resets) in 256 ms. (15 steps per ms) remains 12727/12727 properties
BEST_FIRST walk for 4004 steps (20 resets) in 259 ms. (15 steps per ms) remains 12727/12727 properties
BEST_FIRST walk for 4003 steps (20 resets) in 254 ms. (15 steps per ms) remains 12727/12727 properties
BEST_FIRST walk for 4004 steps (20 resets) in 256 ms. (15 steps per ms) remains 12727/12727 properties
BEST_FIRST walk for 4003 steps (22 resets) in 312 ms. (12 steps per ms) remains 12727/12727 properties
BEST_FIRST walk for 4004 steps (20 resets) in 270 ms. (14 steps per ms) remains 12727/12727 properties
BEST_FIRST walk for 4004 steps (19 resets) in 255 ms. (15 steps per ms) remains 12727/12727 properties
BEST_FIRST walk for 4003 steps (20 resets) in 264 ms. (15 steps per ms) remains 12727/12727 properties
BEST_FIRST walk for 4004 steps (20 resets) in 259 ms. (15 steps per ms) remains 12727/12727 properties
BEST_FIRST walk for 4003 steps (20 resets) in 257 ms. (15 steps per ms) remains 12727/12727 properties
BEST_FIRST walk for 4004 steps (20 resets) in 260 ms. (15 steps per ms) remains 12727/12727 properties
BEST_FIRST walk for 4003 steps (20 resets) in 262 ms. (15 steps per ms) remains 12727/12727 properties
BEST_FIRST walk for 4004 steps (19 resets) in 255 ms. (15 steps per ms) remains 12726/12727 properties
BEST_FIRST walk for 4004 steps (22 resets) in 303 ms. (13 steps per ms) remains 12725/12726 properties
BEST_FIRST walk for 4004 steps (20 resets) in 267 ms. (14 steps per ms) remains 12725/12725 properties
BEST_FIRST walk for 4003 steps (20 resets) in 261 ms. (15 steps per ms) remains 12725/12725 properties
BEST_FIRST walk for 4004 steps (20 resets) in 264 ms. (15 steps per ms) remains 12725/12725 properties
BEST_FIRST walk for 4003 steps (20 resets) in 256 ms. (15 steps per ms) remains 12724/12725 properties
BEST_FIRST walk for 4002 steps (20 resets) in 256 ms. (15 steps per ms) remains 12724/12724 properties
BEST_FIRST walk for 4004 steps (20 resets) in 259 ms. (15 steps per ms) remains 12723/12724 properties
BEST_FIRST walk for 4004 steps (22 resets) in 302 ms. (13 steps per ms) remains 12723/12723 properties
BEST_FIRST walk for 4004 steps (20 resets) in 264 ms. (15 steps per ms) remains 12723/12723 properties
BEST_FIRST walk for 4004 steps (20 resets) in 268 ms. (14 steps per ms) remains 12723/12723 properties
BEST_FIRST walk for 4003 steps (20 resets) in 260 ms. (15 steps per ms) remains 12723/12723 properties
BEST_FIRST walk for 4003 steps (20 resets) in 255 ms. (15 steps per ms) remains 12723/12723 properties
BEST_FIRST walk for 4003 steps (23 resets) in 308 ms. (12 steps per ms) remains 12723/12723 properties
BEST_FIRST walk for 4004 steps (20 resets) in 269 ms. (14 steps per ms) remains 12723/12723 properties
BEST_FIRST walk for 4004 steps (20 resets) in 262 ms. (15 steps per ms) remains 12723/12723 properties
BEST_FIRST walk for 4004 steps (23 resets) in 317 ms. (12 steps per ms) remains 12723/12723 properties
BEST_FIRST walk for 4004 steps (24 resets) in 343 ms. (11 steps per ms) remains 12722/12723 properties
BEST_FIRST walk for 4004 steps (24 resets) in 346 ms. (11 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (24 resets) in 338 ms. (11 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (24 resets) in 342 ms. (11 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (24 resets) in 344 ms. (11 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (24 resets) in 351 ms. (11 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (24 resets) in 343 ms. (11 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (24 resets) in 342 ms. (11 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (24 resets) in 347 ms. (11 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (24 resets) in 349 ms. (11 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (24 resets) in 349 ms. (11 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (24 resets) in 351 ms. (11 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (24 resets) in 352 ms. (11 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (24 resets) in 343 ms. (11 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (24 resets) in 347 ms. (11 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (24 resets) in 342 ms. (11 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (24 resets) in 349 ms. (11 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (24 resets) in 351 ms. (11 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (24 resets) in 346 ms. (11 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (24 resets) in 347 ms. (11 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (24 resets) in 348 ms. (11 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (24 resets) in 345 ms. (11 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (24 resets) in 345 ms. (11 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (24 resets) in 456 ms. (8 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (24 resets) in 348 ms. (11 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (24 resets) in 343 ms. (11 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (24 resets) in 345 ms. (11 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (24 resets) in 344 ms. (11 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (24 resets) in 344 ms. (11 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (24 resets) in 348 ms. (11 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (23 resets) in 318 ms. (12 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (21 resets) in 295 ms. (13 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4004 steps (20 resets) in 260 ms. (15 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4003 steps (20 resets) in 255 ms. (15 steps per ms) remains 12722/12722 properties
BEST_FIRST walk for 4002 steps (24 resets) in 315 ms. (12 steps per ms) remains 12721/12722 properties
BEST_FIRST walk for 4003 steps (20 resets) in 256 ms. (15 steps per ms) remains 12721/12721 properties
BEST_FIRST walk for 4003 steps (20 resets) in 263 ms. (15 steps per ms) remains 12721/12721 properties
BEST_FIRST walk for 4004 steps (20 resets) in 258 ms. (15 steps per ms) remains 12721/12721 properties
BEST_FIRST walk for 4003 steps (20 resets) in 259 ms. (15 steps per ms) remains 12721/12721 properties
BEST_FIRST walk for 4004 steps (23 resets) in 317 ms. (12 steps per ms) remains 12721/12721 properties
BEST_FIRST walk for 4004 steps (20 resets) in 278 ms. (14 steps per ms) remains 12721/12721 properties
BEST_FIRST walk for 4004 steps (20 resets) in 254 ms. (15 steps per ms) remains 12721/12721 properties
BEST_FIRST walk for 4003 steps (20 resets) in 255 ms. (15 steps per ms) remains 12721/12721 properties
BEST_FIRST walk for 4004 steps (20 resets) in 257 ms. (15 steps per ms) remains 12721/12721 properties
BEST_FIRST walk for 4004 steps (20 resets) in 253 ms. (15 steps per ms) remains 12721/12721 properties
BEST_FIRST walk for 4003 steps (20 resets) in 254 ms. (15 steps per ms) remains 12721/12721 properties
BEST_FIRST walk for 4004 steps (21 resets) in 293 ms. (13 steps per ms) remains 12719/12721 properties
BEST_FIRST walk for 4002 steps (20 resets) in 254 ms. (15 steps per ms) remains 12719/12719 properties
BEST_FIRST walk for 4004 steps (20 resets) in 260 ms. (15 steps per ms) remains 12719/12719 properties
BEST_FIRST walk for 4003 steps (20 resets) in 254 ms. (15 steps per ms) remains 12719/12719 properties
BEST_FIRST walk for 4003 steps (20 resets) in 263 ms. (15 steps per ms) remains 12719/12719 properties
BEST_FIRST walk for 4003 steps (20 resets) in 259 ms. (15 steps per ms) remains 12719/12719 properties
BEST_FIRST walk for 4004 steps (20 resets) in 254 ms. (15 steps per ms) remains 12719/12719 properties
BEST_FIRST walk for 4004 steps (20 resets) in 266 ms. (14 steps per ms) remains 12719/12719 properties
BEST_FIRST walk for 4004 steps (20 resets) in 255 ms. (15 steps per ms) remains 12719/12719 properties
BEST_FIRST walk for 4004 steps (24 resets) in 318 ms. (12 steps per ms) remains 12719/12719 properties
BEST_FIRST walk for 4004 steps (20 resets) in 256 ms. (15 steps per ms) remains 12719/12719 properties
BEST_FIRST walk for 4002 steps (20 resets) in 252 ms. (15 steps per ms) remains 12719/12719 properties
BEST_FIRST walk for 4004 steps (20 resets) in 260 ms. (15 steps per ms) remains 12719/12719 properties
BEST_FIRST walk for 4004 steps (20 resets) in 253 ms. (15 steps per ms) remains 12719/12719 properties
BEST_FIRST walk for 4003 steps (20 resets) in 256 ms. (15 steps per ms) remains 12719/12719 properties
BEST_FIRST walk for 4004 steps (20 resets) in 251 ms. (15 steps per ms) remains 12718/12719 properties
BEST_FIRST walk for 4004 steps (20 resets) in 257 ms. (15 steps per ms) remains 12718/12718 properties
BEST_FIRST walk for 4003 steps (20 resets) in 254 ms. (15 steps per ms) remains 12718/12718 properties
BEST_FIRST walk for 4004 steps (20 resets) in 259 ms. (15 steps per ms) remains 12718/12718 properties
BEST_FIRST walk for 4004 steps (19 resets) in 254 ms. (15 steps per ms) remains 12718/12718 properties
BEST_FIRST walk for 4004 steps (24 resets) in 308 ms. (12 steps per ms) remains 12718/12718 properties
BEST_FIRST walk for 4003 steps (20 resets) in 252 ms. (15 steps per ms) remains 12718/12718 properties
BEST_FIRST walk for 4004 steps (20 resets) in 257 ms. (15 steps per ms) remains 12718/12718 properties
BEST_FIRST walk for 4003 steps (20 resets) in 255 ms. (15 steps per ms) remains 12718/12718 properties
BEST_FIRST walk for 4003 steps (20 resets) in 258 ms. (15 steps per ms) remains 12717/12718 properties
BEST_FIRST walk for 4003 steps (19 resets) in 254 ms. (15 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4003 steps (20 resets) in 259 ms. (15 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4003 steps (19 resets) in 249 ms. (16 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4003 steps (20 resets) in 259 ms. (15 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4003 steps (20 resets) in 260 ms. (15 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4002 steps (20 resets) in 253 ms. (15 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4003 steps (19 resets) in 249 ms. (16 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4003 steps (20 resets) in 261 ms. (15 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4004 steps (23 resets) in 412 ms. (9 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4004 steps (20 resets) in 263 ms. (15 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4004 steps (20 resets) in 257 ms. (15 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4003 steps (20 resets) in 267 ms. (14 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4003 steps (20 resets) in 277 ms. (14 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4003 steps (20 resets) in 259 ms. (15 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4004 steps (20 resets) in 262 ms. (15 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4003 steps (20 resets) in 263 ms. (15 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4003 steps (20 resets) in 259 ms. (15 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4004 steps (20 resets) in 254 ms. (15 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4004 steps (20 resets) in 259 ms. (15 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4004 steps (20 resets) in 257 ms. (15 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4003 steps (20 resets) in 253 ms. (15 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4004 steps (20 resets) in 256 ms. (15 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4003 steps (19 resets) in 248 ms. (16 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4004 steps (22 resets) in 304 ms. (13 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4002 steps (20 resets) in 255 ms. (15 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4003 steps (20 resets) in 253 ms. (15 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4004 steps (20 resets) in 255 ms. (15 steps per ms) remains 12717/12717 properties
BEST_FIRST walk for 4004 steps (20 resets) in 255 ms. (15 steps per ms) remains 12716/12717 properties
BEST_FIRST walk for 4004 steps (19 resets) in 262 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4004 steps (20 resets) in 260 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4003 steps (20 resets) in 256 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4004 steps (20 resets) in 261 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4004 steps (20 resets) in 258 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4004 steps (20 resets) in 261 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4002 steps (20 resets) in 250 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4003 steps (20 resets) in 252 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4004 steps (19 resets) in 254 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4002 steps (20 resets) in 253 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4004 steps (20 resets) in 251 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4004 steps (20 resets) in 261 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4004 steps (21 resets) in 287 ms. (13 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4004 steps (20 resets) in 267 ms. (14 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4004 steps (20 resets) in 260 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4003 steps (20 resets) in 260 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4004 steps (20 resets) in 258 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4004 steps (18 resets) in 244 ms. (16 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4003 steps (20 resets) in 253 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4003 steps (20 resets) in 255 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4003 steps (20 resets) in 252 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4003 steps (20 resets) in 249 ms. (16 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4004 steps (20 resets) in 251 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4004 steps (20 resets) in 258 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4004 steps (20 resets) in 263 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4004 steps (20 resets) in 256 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4004 steps (19 resets) in 247 ms. (16 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4004 steps (20 resets) in 262 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4003 steps (20 resets) in 255 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4002 steps (20 resets) in 257 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4003 steps (20 resets) in 253 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4003 steps (21 resets) in 293 ms. (13 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4004 steps (20 resets) in 259 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4004 steps (20 resets) in 254 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4004 steps (20 resets) in 261 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4001 steps (20 resets) in 318 ms. (12 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4003 steps (20 resets) in 259 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4004 steps (20 resets) in 262 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4004 steps (20 resets) in 264 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4004 steps (20 resets) in 264 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4004 steps (20 resets) in 257 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4002 steps (20 resets) in 250 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4003 steps (20 resets) in 259 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4004 steps (19 resets) in 270 ms. (14 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4004 steps (19 resets) in 261 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4003 steps (20 resets) in 260 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4004 steps (18 resets) in 250 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4002 steps (20 resets) in 263 ms. (15 steps per ms) remains 12716/12716 properties
BEST_FIRST walk for 4004 steps (20 resets) in 278 ms. (14 steps per ms) remains 12716/12716 properties
[2024-05-25 09:46:19] [INFO ] Flow matrix only has 17804 transitions (discarded 1056 similar events)
// Phase 1: matrix 17804 rows 10521 cols
[2024-05-25 09:46:20] [INFO ] Computed 1257 invariants in 1038 ms
[2024-05-25 09:46:21] [INFO ] State equation strengthened by 7042 read => feed constraints.
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/6551 variables, 60/60 constraints. Problems are: Problem set: 0 solved, 12716 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 6551/28325 variables, and 60 constraints, problems are : Problem set: 0 solved, 12716 unsolved in 45492 ms.
Refiners :[Positive P Invariants (semi-flows): 60/63 constraints, Generalized P Invariants (flows): 0/1194 constraints, State Equation: 0/10521 constraints, ReadFeed: 0/7042 constraints, PredecessorRefiner: 12716/12716 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 12716 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/6551 variables, 60/60 constraints. Problems are: Problem set: 0 solved, 12716 unsolved
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 6551/28325 variables, and 60 constraints, problems are : Problem set: 0 solved, 12716 unsolved in 45168 ms.
Refiners :[Positive P Invariants (semi-flows): 60/63 constraints, Generalized P Invariants (flows): 0/1194 constraints, State Equation: 0/10521 constraints, ReadFeed: 0/7042 constraints, PredecessorRefiner: 0/12716 constraints, Known Traps: 0/0 constraints]
After SMT, in 122244ms problems are : Problem set: 0 solved, 12716 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 6551 out of 10521 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 10521/10521 places, 18860/18860 transitions.
Discarding 1310 places :
Symmetric choice reduction at 0 with 1310 rule applications. Total rules 1310 place count 9211 transition count 17548
Iterating global reduction 0 with 1310 rules applied. Total rules applied 2620 place count 9211 transition count 17548
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 3 Pre rules applied. Total rules applied 2620 place count 9211 transition count 17545
Deduced a syphon composed of 3 places in 13 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 0 with 6 rules applied. Total rules applied 2626 place count 9208 transition count 17545
Discarding 980 places :
Symmetric choice reduction at 0 with 980 rule applications. Total rules 3606 place count 8228 transition count 15585
Iterating global reduction 0 with 980 rules applied. Total rules applied 4586 place count 8228 transition count 15585
Free-agglomeration rule (complex) applied 26 times.
Iterating global reduction 0 with 26 rules applied. Total rules applied 4612 place count 8228 transition count 15559
Reduce places removed 26 places and 0 transitions.
Iterating post reduction 0 with 26 rules applied. Total rules applied 4638 place count 8202 transition count 15559
Partial Free-agglomeration rule applied 31 times.
Drop transitions (Partial Free agglomeration) removed 31 transitions
Iterating global reduction 1 with 31 rules applied. Total rules applied 4669 place count 8202 transition count 15559
Applied a total of 4669 rules in 2225 ms. Remains 8202 /10521 variables (removed 2319) and now considering 15559/18860 (removed 3301) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2225 ms. Remains : 8202/10521 places, 15559/18860 transitions.
RANDOM walk for 720005 steps (47534 resets) in 120004 ms. (5 steps per ms) remains 12693/12716 properties
BEST_FIRST walk for 4004 steps (28 resets) in 321 ms. (12 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (28 resets) in 322 ms. (12 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (28 resets) in 314 ms. (12 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (28 resets) in 317 ms. (12 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (28 resets) in 320 ms. (12 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (28 resets) in 316 ms. (12 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4003 steps (28 resets) in 323 ms. (12 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (28 resets) in 320 ms. (12 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (28 resets) in 318 ms. (12 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (28 resets) in 319 ms. (12 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (28 resets) in 327 ms. (12 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (28 resets) in 325 ms. (12 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (28 resets) in 322 ms. (12 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (28 resets) in 318 ms. (12 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (28 resets) in 322 ms. (12 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (28 resets) in 327 ms. (12 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (28 resets) in 326 ms. (12 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (28 resets) in 327 ms. (12 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (28 resets) in 324 ms. (12 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (28 resets) in 326 ms. (12 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (28 resets) in 324 ms. (12 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (28 resets) in 318 ms. (12 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (28 resets) in 319 ms. (12 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (28 resets) in 316 ms. (12 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (28 resets) in 315 ms. (12 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (28 resets) in 316 ms. (12 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (28 resets) in 313 ms. (12 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (28 resets) in 311 ms. (12 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (28 resets) in 314 ms. (12 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (28 resets) in 318 ms. (12 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4003 steps (22 resets) in 263 ms. (15 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (23 resets) in 279 ms. (14 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (20 resets) in 236 ms. (16 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4003 steps (20 resets) in 236 ms. (16 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (23 resets) in 278 ms. (14 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (20 resets) in 240 ms. (16 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (20 resets) in 234 ms. (17 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (20 resets) in 244 ms. (16 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (20 resets) in 241 ms. (16 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (23 resets) in 277 ms. (14 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (19 resets) in 240 ms. (16 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (19 resets) in 238 ms. (16 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (20 resets) in 243 ms. (16 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (20 resets) in 243 ms. (16 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (20 resets) in 247 ms. (16 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (20 resets) in 240 ms. (16 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4003 steps (23 resets) in 282 ms. (14 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4004 steps (20 resets) in 241 ms. (16 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4003 steps (20 resets) in 255 ms. (15 steps per ms) remains 12693/12693 properties
BEST_FIRST walk for 4003 steps (20 resets) in 243 ms. (16 steps per ms) remains 12693/12693 properties
Interrupted probabilistic random walk after 138880 steps, run timeout after 99001 ms. (steps per millisecond=1 ) properties seen :7 out of 12693
Probabilistic random walk after 138880 steps, saw 63154 distinct states, run finished after 99002 ms. (steps per millisecond=1 ) properties seen :7
[2024-05-25 09:50:37] [INFO ] Flow matrix only has 14477 transitions (discarded 1082 similar events)
// Phase 1: matrix 14477 rows 8202 cols
[2024-05-25 09:50:38] [INFO ] Computed 1257 invariants in 719 ms
[2024-05-25 09:50:38] [INFO ] State equation strengthened by 6060 read => feed constraints.
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/6529 variables, 59/59 constraints. Problems are: Problem set: 0 solved, 12686 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 6529/22679 variables, and 59 constraints, problems are : Problem set: 0 solved, 12686 unsolved in 75312 ms.
Refiners :[Positive P Invariants (semi-flows): 59/64 constraints, Generalized P Invariants (flows): 0/1193 constraints, State Equation: 0/8202 constraints, ReadFeed: 0/6060 constraints, PredecessorRefiner: 12686/12686 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 12686 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/6529 variables, 59/59 constraints. Problems are: Problem set: 0 solved, 12686 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 6529/22679 variables, and 59 constraints, problems are : Problem set: 0 solved, 12686 unsolved in 75205 ms.
Refiners :[Positive P Invariants (semi-flows): 59/64 constraints, Generalized P Invariants (flows): 0/1193 constraints, State Equation: 0/8202 constraints, ReadFeed: 0/6060 constraints, PredecessorRefiner: 0/12686 constraints, Known Traps: 0/0 constraints]
After SMT, in 176273ms problems are : Problem set: 0 solved, 12686 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 6529 out of 8202 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8202/8202 places, 15559/15559 transitions.
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 8 place count 8194 transition count 15546
Iterating global reduction 0 with 8 rules applied. Total rules applied 16 place count 8194 transition count 15546
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 1 Pre rules applied. Total rules applied 16 place count 8194 transition count 15545
Deduced a syphon composed of 1 places in 11 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 18 place count 8193 transition count 15545
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 21 place count 8190 transition count 15539
Iterating global reduction 0 with 3 rules applied. Total rules applied 24 place count 8190 transition count 15539
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 0 with 3 rules applied. Total rules applied 27 place count 8190 transition count 15536
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 30 place count 8187 transition count 15536
Applied a total of 30 rules in 1212 ms. Remains 8187 /8202 variables (removed 15) and now considering 15536/15559 (removed 23) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1212 ms. Remains : 8187/8202 places, 15536/15559 transitions.
RANDOM walk for 720001 steps (47800 resets) in 120004 ms. (5 steps per ms) remains 12684/12686 properties
BEST_FIRST walk for 4004 steps (28 resets) in 316 ms. (12 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 411 ms. (9 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 512 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 582 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 562 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 478 ms. (8 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 527 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 603 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 483 ms. (8 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 497 ms. (8 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 530 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 513 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 503 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 531 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 520 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 506 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 546 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 472 ms. (8 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 522 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 487 ms. (8 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 497 ms. (8 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 605 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 505 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 545 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 586 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 518 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 586 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 592 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 599 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 559 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4003 steps (21 resets) in 412 ms. (9 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4003 steps (23 resets) in 545 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 517 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 423 ms. (9 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4003 steps (22 resets) in 380 ms. (10 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 372 ms. (10 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 441 ms. (9 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 440 ms. (9 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 343 ms. (11 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4002 steps (21 resets) in 510 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 434 ms. (9 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 359 ms. (11 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 461 ms. (8 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4003 steps (20 resets) in 439 ms. (9 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 344 ms. (11 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 462 ms. (8 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (21 resets) in 465 ms. (8 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4003 steps (20 resets) in 354 ms. (11 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 434 ms. (9 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 478 ms. (8 steps per ms) remains 12684/12684 properties
Interrupted probabilistic random walk after 168749 steps, run timeout after 111011 ms. (steps per millisecond=1 ) properties seen :0 out of 12684
Probabilistic random walk after 168749 steps, saw 76684 distinct states, run finished after 111011 ms. (steps per millisecond=1 ) properties seen :0
[2024-05-25 09:56:03] [INFO ] Flow matrix only has 14451 transitions (discarded 1085 similar events)
// Phase 1: matrix 14451 rows 8187 cols
[2024-05-25 09:56:03] [INFO ] Computed 1257 invariants in 802 ms
[2024-05-25 09:56:04] [INFO ] State equation strengthened by 6052 read => feed constraints.
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
At refinement iteration 0 (INCLUDED_ONLY) 0/6527 variables, 58/58 constraints. Problems are: Problem set: 0 solved, 12684 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 6527/22638 variables, and 58 constraints, problems are : Problem set: 0 solved, 12684 unsolved in 90241 ms.
Refiners :[Positive P Invariants (semi-flows): 58/64 constraints, Generalized P Invariants (flows): 0/1193 constraints, State Equation: 0/8187 constraints, ReadFeed: 0/6052 constraints, PredecessorRefiner: 12684/12684 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 12684 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/6527 variables, 58/58 constraints. Problems are: Problem set: 0 solved, 12684 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 6527/22638 variables, and 58 constraints, problems are : Problem set: 0 solved, 12684 unsolved in 90176 ms.
Refiners :[Positive P Invariants (semi-flows): 58/64 constraints, Generalized P Invariants (flows): 0/1193 constraints, State Equation: 0/8187 constraints, ReadFeed: 0/6052 constraints, PredecessorRefiner: 0/12684 constraints, Known Traps: 0/0 constraints]
After SMT, in 207638ms problems are : Problem set: 0 solved, 12684 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 6527 out of 8187 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8187/8187 places, 15536/15536 transitions.
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 1 place count 8187 transition count 15535
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 2 place count 8186 transition count 15535
Applied a total of 2 rules in 944 ms. Remains 8186 /8187 variables (removed 1) and now considering 15535/15536 (removed 1) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 944 ms. Remains : 8186/8187 places, 15535/15536 transitions.
RANDOM walk for 715814 steps (47601 resets) in 120005 ms. (5 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 613 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 631 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 522 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 543 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 590 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 525 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 545 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 570 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 548 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 609 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 539 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 623 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 528 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 565 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 546 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 545 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 604 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 654 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 597 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 519 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 646 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 516 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 516 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 641 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 520 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 488 ms. (8 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 548 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 527 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 654 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 486 ms. (8 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (22 resets) in 500 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4003 steps (23 resets) in 444 ms. (8 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 512 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 499 ms. (8 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (23 resets) in 595 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 415 ms. (9 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 413 ms. (9 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 411 ms. (9 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (19 resets) in 467 ms. (8 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (24 resets) in 457 ms. (8 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 464 ms. (8 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 393 ms. (10 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 404 ms. (9 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 520 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 413 ms. (9 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 410 ms. (9 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (22 resets) in 447 ms. (8 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 518 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 482 ms. (8 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 379 ms. (10 steps per ms) remains 12684/12684 properties
Interrupted probabilistic random walk after 162178 steps, run timeout after 111001 ms. (steps per millisecond=1 ) properties seen :0 out of 12684
Probabilistic random walk after 162178 steps, saw 73708 distinct states, run finished after 111002 ms. (steps per millisecond=1 ) properties seen :0
[2024-05-25 10:02:00] [INFO ] Flow matrix only has 14449 transitions (discarded 1086 similar events)
// Phase 1: matrix 14449 rows 8186 cols
[2024-05-25 10:02:01] [INFO ] Computed 1257 invariants in 767 ms
[2024-05-25 10:02:01] [INFO ] State equation strengthened by 6052 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/6527 variables, 58/58 constraints. Problems are: Problem set: 0 solved, 12684 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 6527/22635 variables, and 58 constraints, problems are : Problem set: 0 solved, 12684 unsolved in 105243 ms.
Refiners :[Positive P Invariants (semi-flows): 58/64 constraints, Generalized P Invariants (flows): 0/1193 constraints, State Equation: 0/8186 constraints, ReadFeed: 0/6052 constraints, PredecessorRefiner: 12684/12684 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 12684 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/6527 variables, 58/58 constraints. Problems are: Problem set: 0 solved, 12684 unsolved
Error getting values : (error "ParserException while parsing response: ((s3 1)
(s4 1)
(s5 1)
(s8 1)
(s9 1)
(s13 1)
(s14 1)
(s15 1)
(s16 1)
(s18 1)
(s19 1)
(s20 1)
(s21 1)
(s22 1)
(s23 1)
(s25 1)
(s26 1)
(s27 1)
(s28 1)
(s29 1)
(s30 1)
(s31 1)
(s32 1)
(s34 1)
(s35 1)
(s36 1)
(s37 1)
(s38 1)
(s39 1)
(s40 1)
(s41 1)
(s42 1)
(s43 1)
(s45 1)
(s46 1)
(s47 1)
(s48 1)
(s49 1)
(s50 1)
(s51 1)
(s52 1)
(s53 1)
(s54 1)
(s55 1)
(s56 1)
(s58 1)
(s59 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)
(s73 1)
(s74 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)
(s90 1)
(s91 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)
(s109 1)
(s110 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)
(s130 1)
(s131 1)
(s132 1)
(s133 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)
(s153 1)
(s154 1)
(s155 1)
(s156 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)
(s178 1)
(s179 1)
(s180 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)
(s201 1)
(s202 1)
(s203 1)
(s205 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)
(s226 timeout
1)
(s227 org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 6527/22635 variables, and 58 constraints, problems are : Problem set: 0 solved, 12684 unsolved in 105155 ms.
Refiners :[Positive P Invariants (semi-flows): 58/64 constraints, Generalized P Invariants (flows): 0/1193 constraints, State Equation: 0/8186 constraints, ReadFeed: 0/6052 constraints, PredecessorRefiner: 0/12684 constraints, Known Traps: 0/0 constraints]
After SMT, in 237214ms problems are : Problem set: 0 solved, 12684 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 6527 out of 8186 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8186/8186 places, 15535/15535 transitions.
Applied a total of 0 rules in 468 ms. Remains 8186 /8186 variables (removed 0) and now considering 15535/15535 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 468 ms. Remains : 8186/8186 places, 15535/15535 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8186/8186 places, 15535/15535 transitions.
Applied a total of 0 rules in 454 ms. Remains 8186 /8186 variables (removed 0) and now considering 15535/15535 (removed 0) transitions.
[2024-05-25 10:05:58] [INFO ] Flow matrix only has 14449 transitions (discarded 1086 similar events)
[2024-05-25 10:05:58] [INFO ] Invariant cache hit.
[2024-05-25 10:06:03] [INFO ] Implicit Places using invariants in 5007 ms returned [6, 10, 11, 12, 17, 24, 33, 44, 57, 72, 89, 108, 129, 152, 177, 204, 233, 264, 295, 327, 328, 329, 358, 385, 410, 433, 454, 473, 490, 505, 518, 529, 538, 545, 550, 553, 565, 568, 569, 570, 573, 578, 585, 594, 605, 618, 633, 650, 669, 690, 713, 738, 765, 794, 823, 853, 854, 855, 882, 907, 930, 951, 970, 987, 1002, 1015, 1026, 1035, 1042, 1047, 1050, 1052, 1064, 1067, 1068, 1069, 1071, 1074, 1079, 1086, 1095, 1106, 1119, 1134, 1151, 1170, 1191, 1214, 1239, 1266, 1293, 1321, 1322, 1323, 1348, 1371, 1392, 1411, 1428, 1443, 1456, 1467, 1476, 1483, 1488, 1491, 1493, 1495, 1507, 1510, 1511, 1512, 1514, 1516, 1519, 1524, 1531, 1540, 1551, 1564, 1579, 1596, 1615, 1636, 1659, 1684, 1709, 1735, 1736, 1737, 1760, 1781, 1800, 1817, 1832, 1845, 1856, 1865, 1872, 1877, 1880, 1882, 1884, 1886, 1898, 1901, 1902, 1903, 1905, 1907, 1909, 1912, 1917, 1924, 1933, 1944, 1957, 1972, 1989, 2008, 2029, 2052, 2075, 2099, 2100, 2101, 2122, 2141, 2158, 2173, 2186, 2197, 2206, 2213, 2218, 2221, 2223, 2225, 2227, 2229, 2241, 2244, 2245, 2246, 2248, 2250, 2252, 2254, 2257, 2262, 2269, 2278, 2289, 2302, 2317, 2334, 2353, 2374, 2395, 2417, 2418, 2419, 2438, 2455, 2470, 2483, 2494, 2503, 2510, 2515, 2518, 2520, 2522, 2524, 2526, 2528, 2540, 2543, 2544, 2545, 2547, 2549, 2551, 2553, 2555, 2558, 2563, 2570, 2579, 2590, 2603, 2618, 2635, 2654, 2673, 2693, 2694, 2695, 2712, 2727, 2740, 2751, 2760, 2767, 2772, 2775, 2777, 2779, 2781, 2783, 2785, 2787, 2799, 2802, 2803, 2804, 2806, 2808, 2810, 2812, 2814, 2816, 2819, 2824, 2831, 2840, 2851, 2864, 2879, 2896, 2913, 2931, 2932, 2933, 2948, 2961, 2972, 2981, 2988, 2993, 2996, 2998, 3000, 3002, 3004, 3006, 3008, 3010, 3022, 3025, 3026, 3027, 3029, 3031, 3033, 3035, 3037, 3039, 3041, 3044, 3049, 3056, 3065, 3076, 3089, 3104, 3119, 3135, 3136, 3137, 3150, 3161, 3170, 3177, 3182, 3185, 3187, 3189, 3191, 3193, 3195, 3197, 3199, 3201, 3213, 3216, 3217, 3218, 3220, 3222, 3224, 3226, 3228, 3230, 3232, 3234, 3237, 3242, 3249, 3258, 3269, 3282, 3295, 3309, 3310, 3311, 3322, 3331, 3338, 3343, 3346, 3348, 3350, 3352, 3354, 3356, 3358, 3360, 3362, 3364, 3376, 3379, 3380, 3381, 3383, 3385, 3387, 3389, 3391, 3393, 3395, 3397, 3399, 3402, 3407, 3414, 3423, 3434, 3445, 3457, 3458, 3459, 3468, 3475, 3480, 3483, 3485, 3487, 3489, 3491, 3493, 3495, 3497, 3499, 3501, 3503, 3515, 3518, 3519, 3520, 3522, 3524, 3526, 3528, 3530, 3532, 3534, 3536, 3538, 3540, 3543, 3548, 3555, 3564, 3573, 3583, 3584, 3585, 3592, 3597, 3600, 3602, 3604, 3606, 3608, 3610, 3612, 3614, 3616, 3618, 3620, 3622, 3634, 3637, 3638, 3639, 3641, 3643, 3645, 3647, 3649, 3651, 3653, 3655, 3657, 3659, 3661, 3664, 3669, 3676, 3683, 3691, 3692, 3693, 3698, 3701, 3703, 3705, 3707, 3709, 3711, 3713, 3715, 3717, 3719, 3721, 3723, 3725, 3737, 3740, 3741, 3742, 3744, 3746, 3748, 3750, 3752, 3754, 3756, 3758, 3760, 3762, 3764, 3766, 3769, 3774, 3779, 3785, 3786, 3787, 3790, 3792, 3794, 3796, 3798, 3800, 3802, 3804, 3806, 3808, 3810, 3812, 3814, 3816, 3828, 3831, 3832, 3833, 3835, 3837, 3839, 3841, 3843, 3845, 3847, 3849, 3851, 3853, 3855, 3857, 3859, 3862, 3865, 3869, 3870, 3871, 3873, 3875, 3877, 3879, 3881, 3883, 3885, 3887, 3889, 3891, 3893, 3895, 3897, 3899, 3911, 3914, 3915, 3916, 3918, 3920, 3922, 3924, 3926, 3928, 3930, 3932, 3934, 3936, 3938, 3940, 3942, 3944, 3946, 3949, 3950, 3951, 3953, 3955, 3957, 3959, 3961, 3963, 3965, 3967, 3969, 3971, 3973, 3975, 3977, 3979, 3989, 3992, 3993, 3994, 3996, 3998, 4000, 4002, 4004, 4006, 4008, 4010, 4012, 4014, 4016, 4018, 4020, 4022, 4024, 4027, 4028, 4029, 4031, 4033, 4035, 4037, 4039, 4041, 4043, 4045, 4047, 4049, 4051, 4053, 4055, 4057, 4068, 4071, 4072, 4073, 4075, 4077, 4079, 4081, 4083, 4085, 4087, 4089, 4091, 4093, 4095, 4097, 4099, 4101, 4103, 4106, 4107, 4108, 4110, 4112, 4114, 4116, 4118, 4120, 4122, 4124, 4126, 4128, 4130, 4132, 4134, 4136, 4148, 4151, 4152, 4153, 4155, 4157, 4159, 4161, 4163, 4165, 4167, 4169, 4171, 4173, 4175, 4177, 4179, 4181, 4184, 4188, 4189, 4190, 4193, 4195, 4197, 4199, 4201, 4203, 4205, 4207, 4209, 4211, 4213, 4215, 4217, 4219, 4231, 4234, 4235, 4236, 4238, 4240, 4242, 4244, 4246, 4248, 4250, 4252, 4254, 4256, 4258, 4260, 4262, 4265, 4270, 4276, 4277, 4278, 4283, 4286, 4288, 4290, 4292, 4294, 4296, 4298, 4300, 4302, 4304, 4306, 4308, 4310, 4322, 4325, 4326, 4327, 4329, 4331, 4333, 4335, 4337, 4339, 4341, 4343, 4345, 4347, 4349, 4351, 4354, 4359, 4366, 4374, 4375, 4376, 4383, 4388, 4391, 4393, 4395, 4397, 4399, 4401, 4403, 4405, 4407, 4409, 4411, 4413, 4425, 4428, 4429, 4430, 4432, 4434, 4436, 4438, 4440, 4442, 4444, 4446, 4448, 4450, 4452, 4455, 4460, 4467, 4476, 4486, 4487, 4488, 4497, 4504, 4509, 4512, 4514, 4516, 4518, 4520, 4522, 4524, 4526, 4528, 4530, 4532, 4544, 4547, 4548, 4549, 4551, 4553, 4555, 4557, 4559, 4561, 4563, 4565, 4567, 4569, 4572, 4577, 4584, 4593, 4604, 4616, 4617, 4618, 4629, 4638, 4645, 4650, 4653, 4655, 4657, 4659, 4661, 4663, 4665, 4667, 4669, 4671, 4683, 4686, 4687, 4688, 4690, 4692, 4694, 4696, 4698, 4700, 4702, 4704, 4706, 4709, 4714, 4721, 4730, 4741, 4754, 4768, 4769, 4770, 4783, 4794, 4803, 4810, 4815, 4818, 4820, 4822, 4824, 4826, 4828, 4830, 4832, 4834, 4846, 4849, 4850, 4851, 4853, 4855, 4857, 4859, 4861, 4863, 4865, 4867, 4870, 4875, 4882, 4891, 4902, 4915, 4930, 4946, 4947, 4948, 4963, 4976, 4987, 4996, 5003, 5008, 5011, 5013, 5015, 5017, 5019, 5021, 5023, 5025, 5037, 5040, 5041, 5042, 5044, 5046, 5048, 5050, 5052, 5054, 5056, 5059, 5064, 5071, 5080, 5091, 5104, 5119, 5136, 5154, 5155, 5156, 5173, 5188, 5201, 5212, 5221, 5228, 5233, 5236, 5238, 5240, 5242, 5244, 5246, 5248, 5260, 5263, 5264, 5265, 5267, 5269, 5271, 5273, 5275, 5277, 5280, 5285, 5292, 5301, 5312, 5325, 5340, 5357, 5376, 5396, 5397, 5398, 5417, 5434, 5449, 5462, 5473, 5482, 5489, 5494, 5497, 5499, 5501, 5503, 5505, 5507, 5519, 5522, 5523, 5524, 5526, 5528, 5530, 5532, 5534, 5537, 5542, 5549, 5558, 5569, 5582, 5597, 5614, 5633, 5654, 5676, 5677, 5678, 5699, 5718, 5735, 5750, 5763, 5774, 5783, 5790, 5795, 5798, 5800, 5802, 5804, 5806, 5818, 5821, 5822, 5823, 5825, 5827, 5829, 5831, 5834, 5839, 5846, 5855, 5866, 5879, 5894, 5911, 5930, 5951, 5974, 5998, 5999, 6000, 6023, 6044, 6063, 6080, 6095, 6108, 6119, 6128, 6135, 6140, 6143, 6145, 6147, 6149, 6161, 6164, 6165, 6166, 6168, 6170, 6172, 6175, 6180, 6187, 6196, 6207, 6220, 6235, 6252, 6271, 6292, 6315, 6340, 6366, 6367, 6368, 6393, 6416, 6437, 6456, 6473, 6488, 6501, 6512, 6521, 6528, 6533, 6536, 6538, 6540, 6552, 6555, 6556, 6557, 6559, 6561, 6564, 6569, 6576, 6585, 6596, 6609, 6624, 6641, 6660, 6681, 6704, 6729, 6756, 6784, 6785, 6786, 6813, 6838, 6861, 6882, 6901, 6918, 6933, 6946, 6957, 6966, 6973, 6978, 6981, 6983, 6995, 6998, 6999, 7000, 7002, 7005, 7010, 7017, 7026, 7037, 7050, 7065, 7082, 7101, 7122, 7145, 7170, 7197, 7226, 7256, 7257, 7258, 7287, 7314, 7339, 7362, 7383, 7402, 7419, 7434, 7447, 7458, 7467, 7474, 7479, 7482, 7492, 7495, 7496, 7497, 7500, 7505, 7512, 7521, 7532, 7545, 7560, 7577, 7596, 7617, 7640, 7665, 7692, 7721, 7752, 7784, 7785, 7786, 7817, 7846, 7873, 7898, 7921, 7942, 7961, 7978, 7993, 8006, 8017, 8026, 8033, 8038]
Discarding 1188 places :
Implicit Place search using SMT only with invariants took 5071 ms to find 1188 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 6998/8186 places, 15535/15535 transitions.
Discarding 128 places :
Symmetric choice reduction at 0 with 128 rule applications. Total rules 128 place count 6870 transition count 15407
Iterating global reduction 0 with 128 rules applied. Total rules applied 256 place count 6870 transition count 15407
Discarding 128 places :
Symmetric choice reduction at 0 with 128 rule applications. Total rules 384 place count 6742 transition count 15279
Iterating global reduction 0 with 128 rules applied. Total rules applied 512 place count 6742 transition count 15279
Discarding 64 places :
Symmetric choice reduction at 0 with 64 rule applications. Total rules 576 place count 6678 transition count 15151
Iterating global reduction 0 with 64 rules applied. Total rules applied 640 place count 6678 transition count 15151
Applied a total of 640 rules in 546 ms. Remains 6678 /6998 variables (removed 320) and now considering 15151/15535 (removed 384) transitions.
[2024-05-25 10:06:04] [INFO ] Flow matrix only has 14065 transitions (discarded 1086 similar events)
// Phase 1: matrix 14065 rows 6678 cols
[2024-05-25 10:06:04] [INFO ] Computed 69 invariants in 717 ms
[2024-05-25 10:06:06] [INFO ] Implicit Places using invariants in 2745 ms returned []
Implicit Place search using SMT only with invariants took 2745 ms to find 0 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 6678/8186 places, 15151/15535 transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 8816 ms. Remains : 6678/8186 places, 15151/15535 transitions.
RANDOM walk for 719999 steps (47875 resets) in 120004 ms. (5 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 531 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 633 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 574 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 532 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 531 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 574 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 570 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 577 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 630 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 605 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 601 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 625 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 568 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 578 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 580 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 611 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 608 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 586 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 647 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 587 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 589 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 562 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 616 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 576 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 602 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 588 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 563 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 613 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 572 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (28 resets) in 591 ms. (6 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (23 resets) in 567 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4003 steps (20 resets) in 516 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 516 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 499 ms. (8 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (23 resets) in 447 ms. (8 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (19 resets) in 416 ms. (9 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 489 ms. (8 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 503 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 401 ms. (9 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4003 steps (24 resets) in 561 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 412 ms. (9 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 473 ms. (8 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 478 ms. (8 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 482 ms. (8 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 434 ms. (9 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 484 ms. (8 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (24 resets) in 538 ms. (7 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 429 ms. (9 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (20 resets) in 439 ms. (9 steps per ms) remains 12684/12684 properties
BEST_FIRST walk for 4004 steps (19 resets) in 457 ms. (8 steps per ms) remains 12684/12684 properties
Interrupted probabilistic random walk after 184035 steps, run timeout after 111007 ms. (steps per millisecond=1 ) properties seen :0 out of 12684
Probabilistic random walk after 184035 steps, saw 74975 distinct states, run finished after 111007 ms. (steps per millisecond=1 ) properties seen :0
[2024-05-25 10:08:35] [INFO ] Flow matrix only has 14065 transitions (discarded 1086 similar events)
[2024-05-25 10:08:35] [INFO ] Invariant cache hit.
[2024-05-25 10:08:35] [INFO ] State equation strengthened by 5988 read => feed constraints.
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
At refinement iteration 0 (INCLUDED_ONLY) 0/6527 variables, 58/58 constraints. Problems are: Problem set: 0 solved, 12684 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 6527/20743 variables, and 58 constraints, problems are : Problem set: 0 solved, 12684 unsolved in 120233 ms.
Refiners :[Positive P Invariants (semi-flows): 58/63 constraints, Generalized P Invariants (flows): 0/6 constraints, State Equation: 0/6678 constraints, ReadFeed: 0/5988 constraints, PredecessorRefiner: 12684/12684 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 12684 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/6527 variables, 58/58 constraints. Problems are: Problem set: 0 solved, 12684 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 6527/20743 variables, and 58 constraints, problems are : Problem set: 0 solved, 12684 unsolved in 120215 ms.
Refiners :[Positive P Invariants (semi-flows): 58/63 constraints, Generalized P Invariants (flows): 0/6 constraints, State Equation: 0/6678 constraints, ReadFeed: 0/5988 constraints, PredecessorRefiner: 0/12684 constraints, Known Traps: 0/0 constraints]
After SMT, in 264638ms problems are : Problem set: 0 solved, 12684 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 6527 out of 6678 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6678/6678 places, 15151/15151 transitions.
Applied a total of 0 rules in 398 ms. Remains 6678 /6678 variables (removed 0) and now considering 15151/15151 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 398 ms. Remains : 6678/6678 places, 15151/15151 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6678/6678 places, 15151/15151 transitions.
Applied a total of 0 rules in 396 ms. Remains 6678 /6678 variables (removed 0) and now considering 15151/15151 (removed 0) transitions.
[2024-05-25 10:13:01] [INFO ] Flow matrix only has 14065 transitions (discarded 1086 similar events)
[2024-05-25 10:13:01] [INFO ] Invariant cache hit.
[2024-05-25 10:13:03] [INFO ] Implicit Places using invariants in 1981 ms returned []
Implicit Place search using SMT only with invariants took 1981 ms to find 0 implicit places.
Running 15087 sub problems to find dead transitions.
[2024-05-25 10:13:03] [INFO ] Flow matrix only has 14065 transitions (discarded 1086 similar events)
[2024-05-25 10:13:03] [INFO ] Invariant cache hit.
[2024-05-25 10:13:03] [INFO ] State equation strengthened by 5988 read => feed constraints.

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination QuasiLiveness -timeout 180 -rebuildPNML

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S32C02"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="greatspnxred"
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-5568"
echo " Executing tool greatspnxred"
echo " Input is MultiCrashLeafsetExtension-PT-S32C02, 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 r254-tall-171654363400092"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C02.tgz
mv MultiCrashLeafsetExtension-PT-S32C02 execution
cd execution
if [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "UpperBounds" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] || [ "QuasiLiveness" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "QuasiLiveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "QuasiLiveness" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "QuasiLiveness.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property QuasiLiveness.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "QuasiLiveness.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' QuasiLiveness.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] ; then
echo "FORMULA_NAME QuasiLiveness"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;