MCC'2022- Execution of r139-tall-165271828100517

About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S32C06

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
5851.348	1800000.00	3023096.00	3077.10	[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/mcc2022-input.r139-tall-165271828100517.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2022-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is MultiCrashLeafsetExtension-PT-S32C06, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-tall-165271828100517
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 24M
-rw-r--r-- 1 mcc users 12K Apr 29 16:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 73K Apr 29 16:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Apr 29 16:26 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Apr 29 16:26 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.0K May 9 08:17 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 9 08:17 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.3K May 9 08:17 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 9 08:17 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.5K May 9 08:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K May 9 08:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 10 09:34 equiv_col
-rw-r--r-- 1 mcc users 7 May 10 09:34 instance
-rw-r--r-- 1 mcc users 6 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 24M May 10 09:34 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 1652752874791

Running Version 202205111006
[2022-05-17 02:01:15] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2022-05-17 02:01:15] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-17 02:01:17] [INFO ] Load time of PNML (sax parser for PT used): 953 ms
[2022-05-17 02:01:17] [INFO ] Transformed 22816 places.
[2022-05-17 02:01:17] [INFO ] Transformed 35015 transitions.
[2022-05-17 02:01:17] [INFO ] Parsed PT model containing 22816 places and 35015 transitions in 1196 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 22816/22816 places, 35015/35015 transitions.
Reduce places removed 48 places and 0 transitions.
Drop transitions removed 6336 transitions
Trivial Post-agglo rules discarded 6336 transitions
Performed 6336 trivial Post agglomeration. Transition count delta: 6336
Iterating post reduction 0 with 6384 rules applied. Total rules applied 6384 place count 22768 transition count 28679
Reduce places removed 6336 places and 0 transitions.
Iterating post reduction 1 with 6336 rules applied. Total rules applied 12720 place count 16432 transition count 28679
Performed 396 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 396 Pre rules applied. Total rules applied 12720 place count 16432 transition count 28283
Deduced a syphon composed of 396 places in 101 ms
Reduce places removed 396 places and 0 transitions.
Iterating global reduction 2 with 792 rules applied. Total rules applied 13512 place count 16036 transition count 28283
Discarding 5940 places :
Symmetric choice reduction at 2 with 5940 rule applications. Total rules 19452 place count 10096 transition count 22343
Iterating global reduction 2 with 5940 rules applied. Total rules applied 25392 place count 10096 transition count 22343
Performed 12 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 12 Pre rules applied. Total rules applied 25392 place count 10096 transition count 22331
Deduced a syphon composed of 12 places in 24 ms
Reduce places removed 12 places and 0 transitions.
Iterating global reduction 2 with 24 rules applied. Total rules applied 25416 place count 10084 transition count 22331
Discarding 990 places :
Symmetric choice reduction at 2 with 990 rule applications. Total rules 26406 place count 9094 transition count 16391
Iterating global reduction 2 with 990 rules applied. Total rules applied 27396 place count 9094 transition count 16391
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 19 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 2 with 66 rules applied. Total rules applied 27462 place count 9061 transition count 16358
Applied a total of 27462 rules in 11763 ms. Remains 9061 /22816 variables (removed 13755) and now considering 16358/35015 (removed 18657) transitions.
[2022-05-17 02:01:29] [INFO ] Flow matrix only has 15302 transitions (discarded 1056 similar events)
// Phase 1: matrix 15302 rows 9061 cols
[2022-05-17 02:01:30] [INFO ] Computed 1565 place invariants in 1153 ms
[2022-05-17 02:01:31] [INFO ] Implicit Places using invariants in 2183 ms returned []
Implicit Place search using SMT only with invariants took 2221 ms to find 0 implicit places.
[2022-05-17 02:01:31] [INFO ] Flow matrix only has 15302 transitions (discarded 1056 similar events)
// Phase 1: matrix 15302 rows 9061 cols
[2022-05-17 02:01:32] [INFO ] Computed 1565 place invariants in 886 ms
[2022-05-17 02:01:33] [INFO ] Dead Transitions using invariants and state equation in 1825 ms found 0 transitions.
Starting structural reductions in LIVENESS mode, iteration 1 : 9061/22816 places, 16358/35015 transitions.
Finished structural reductions, in 1 iterations. Remains : 9061/22816 places, 16358/35015 transitions.
Initial state reduction rules removed 33 formulas.
Incomplete random walk after 10000 steps, including 230 resets, run finished after 1667 ms. (steps per millisecond=5 ) properties (out of 16325) seen :1108
Interrupted probabilistic random walk after 3015 steps, run timeout after 3001 ms. (steps per millisecond=1 ) properties seen :{32=1, 45=1, 60=1, 249=1, 345=1, 399=1, 423=1, 424=1, 446=1, 466=1, 484=1, 485=1, 501=1, 515=1, 527=1, 528=1, 546=1, 575=1, 600=1, 611=1, 620=1, 871=1, 922=1, 944=1, 945=1, 965=1, 983=1, 999=1, 1000=1, 1014=1, 1026=1, 1036=1, 1037=1, 1051=1, 1098=1, 1100=1, 1107=1, 1258=1, 1341=1, 1366=1, 1408=1, 1409=1, 1427=1, 1443=1, 1457=1, 1458=1, 1470=1, 1480=1, 1488=1, 1489=1, 1499=1, 1541=1, 1546=1, 1601=1, 1754=1, 1797=1, 1815=1, 1816=1, 1832=1, 1846=1, 1858=1, 1859=1, 1869=1, 1877=1, 1883=1, 1884=1, 1890=1, 1933=1, 1935=1, 1937=1, 2119=1, 2158=1, 2174=1, 2175=1, 2189=1, 2201=1, 2211=1, 2212=1, 2220=1, 2229=1, 2230=1, 2233=1, 2277=1, 2280=1, 2437=1, 2472=1, 2486=1, 2487=1, 2499=1, 2509=1, 2517=1, 2518=1, 2524=1, 2528=1, 2530=1, 2531=1, 2533=1, 2554=1, 2578=1, 2581=1, 2584=1, 2716=1, 2747=1, 2759=1, 2760=1, 2777=1, 2783=1, 2784=1, 2788=1, 2790=1, 2791=1, 2792=1, 2794=1, 2838=1, 2841=1, 2844=1, 2952=1, 2967=1, 2979=1, 2989=1, 2990=1, 2998=1, 3004=1, 3008=1, 3009=1, 3011=1, 3012=1, 3013=1, 3014=1, 3016=1, 3057=1, 3060=1, 3063=1, 3066=1, 3156=1, 3169=1, 3179=1, 3187=1, 3188=1, 3194=1, 3198=1, 3200=1, 3201=1, 3202=1, 3203=1, 3204=1, 3205=1, 3207=1, 3249=1, 3252=1, 3255=1, 3302=1, 3332=1, 3343=1, 3351=1, 3357=1, 3358=1, 3362=1, 3364=1, 3365=1, 3366=1, 3367=1, 3368=1, 3369=1, 3370=1, 3372=1, 3392=1, 3409=1, 3417=1, 3420=1, 3423=1, 3426=1, 3430=1, 3487=1, 3496=1, 3502=1, 3506=1, 3507=1, 3509=1, 3510=1, 3511=1, 3512=1, 3513=1, 3514=1, 3515=1, 3516=1, 3520=1, 3538=1, 3561=1, 3564=1, 3567=1, 3614=1, 3621=1, 3625=1, 3627=1, 3628=1, 3629=1, 3630=1, 3631=1, 3632=1, 3633=1, 3634=1, 3635=1, 3636=1, 3638=1, 3681=1, 3684=1, 3686=1, 3688=1, 3723=1, 3728=1, 3730=1, 3731=1, 3732=1, 3733=1, 3734=1, 3735=1, 3736=1, 3737=1, 3738=1, 3739=1, 3740=1, 3742=1, 3785=1, 3788=1, 3791=1, 3817=1, 3820=1, 3821=1, 3822=1, 3823=1, 3824=1, 3825=1, 3826=1, 3827=1, 3828=1, 3829=1, 3830=1, 3831=1, 3833=1, 3876=1, 3879=1, 3882=1, 3902=1, 3904=1, 3905=1, 3906=1, 3907=1, 3908=1, 3909=1, 3910=1, 3911=1, 3912=1, 3913=1, 3914=1, 3915=1, 3917=1, 3960=1, 3963=1, 3965=1, 3981=1, 3983=1, 3984=1, 3985=1, 3986=1, 3987=1, 3988=1, 3989=1, 3990=1, 3991=1, 3992=1, 3993=1, 3994=1, 3996=1, 4017=1, 4038=1, 4041=1, 4044=1, 4061=1, 4063=1, 4064=1, 4065=1, 4066=1, 4067=1, 4068=1, 4069=1, 4070=1, 4071=1, 4072=1, 4073=1, 4074=1, 4075=1, 4112=1, 4118=1, 4121=1, 4123=1, 4124=1, 4127=1, 4138=1, 4139=1, 4140=1, 4141=1, 4142=1, 4143=1, 4144=1, 4145=1, 4146=1, 4147=1, 4148=1, 4149=1, 4150=1, 4152=1, 4156=1, 4194=1, 4197=1, 4200=1, 4207=1, 4221=1, 4224=1, 4225=1, 4226=1, 4227=1, 4228=1, 4229=1, 4230=1, 4231=1, 4232=1, 4233=1, 4234=1, 4235=1, 4237=1, 4278=1, 4281=1, 4284=1, 4308=1, 4315=1, 4316=1, 4317=1, 4318=1, 4319=1, 4320=1, 4321=1, 4322=1, 4323=1, 4324=1, 4326=1, 4363=1, 4370=1, 4373=1, 4376=1, 4407=1, 4418=1, 4419=1, 4421=1, 4422=1, 4423=1, 4424=1, 4425=1, 4426=1, 4427=1, 4428=1, 4429=1, 4430=1, 4432=1, 4436=1, 4475=1, 4477=1, 4479=1, 4481=1, 4518=1, 4533=1, 4538=1, 4539=1, 4540=1, 4541=1, 4542=1, 4543=1, 4544=1, 4545=1, 4547=1, 4587=1, 4590=1, 4593=1, 4630=1, 4646=1, 4665=1, 4671=1, 4675=1, 4676=1, 4678=1, 4679=1, 4680=1, 4681=1, 4682=1, 4683=1, 4684=1, 4686=1, 4706=1, 4722=1, 4730=1, 4733=1, 4735=1, 4737=1, 4740=1, 4774=1, 4805=1, 4828=1, 4829=1, 4837=1, 4843=1, 4844=1, 4848=1, 4850=1, 4851=1, 4852=1, 4853=1, 4854=1, 4856=1, 4899=1, 4902=1, 4905=1, 4951=1, 4985=1, 5012=1, 5022=1, 5030=1, 5031=1, 5037=1, 5041=1, 5043=1, 5044=1, 5045=1, 5046=1, 5048=1, 5091=1, 5094=1, 5097=1, 5194=1, 5223=1, 5235=1, 5245=1, 5246=1, 5254=1, 5260=1, 5264=1, 5265=1, 5267=1, 5268=1, 5269=1, 5271=1, 5312=1, 5315=1, 5317=1, 5434=1, 5468=1, 5482=1, 5494=1, 5495=1, 5505=1, 5513=1, 5519=1, 5520=1, 5524=1, 5526=1, 5527=1, 5529=1, 5572=1, 5575=1, 5578=1, 5713=1, 5714=1, 5753=1, 5769=1, 5783=1, 5784=1, 5796=1, 5806=1, 5814=1, 5815=1, 5821=1, 5826=1, 5827=1, 5871=1, 5874=1, 5877=1, 6036=1, 6081=1, 6116=1, 6153=1, 6171=1, 6174=1, 6175=1, 6217=1, 6220=1, 6224=1, 6229=1, 6492=1, 6535=1, 6560=1, 6567=1, 6607=1, 6610=1, 6613=1, 6618=1, 6823=1, 6919=1, 6968=1, 6999=1, 7010=1, 7013=1, 7031=1, 7054=1, 7058=1, 7069=1, 7088=1, 7298=1, 7403=1, 7458=1, 7495=1, 7509=1, 7516=1, 7549=1, 7556=1, 7563=1, 7578=1, 7669=1, 7943=1, 8004=1, 8047=1, 8066=1, 8263=1, 8328=1, 8359=1, 8365=1, 8366=1, 8367=1, 8368=1, 8369=1, 8370=1, 8371=1, 8372=1, 8373=1, 8374=1, 8375=1, 8376=1, 8377=1, 8378=1, 8379=1, 8380=1, 8381=1, 8382=1, 8383=1, 8384=1, 8385=1, 8386=1, 8387=1, 8388=1, 8389=1, 8390=1, 8391=1, 8392=1, 8596=1, 8629=1, 8642=1, 8682=1, 8692=1, 8693=1, 8694=1, 8695=1, 8696=1, 8697=1, 8698=1, 8699=1, 8700=1, 8701=1, 8702=1, 8703=1, 8709=1, 8710=1, 8711=1, 8712=1, 8713=1, 8714=1, 8715=1, 8716=1, 8717=1, 8718=1, 8719=1, 8720=1, 8721=1, 8722=1, 8723=1, 8724=1}
Probabilistic random walk after 3015 steps, saw 1555 distinct states, run finished after 3003 ms. (steps per millisecond=1 ) properties seen :593
Running SMT prover for 14624 properties.
[2022-05-17 02:01:38] [INFO ] Flow matrix only has 15302 transitions (discarded 1056 similar events)
// Phase 1: matrix 15302 rows 9061 cols
[2022-05-17 02:01:39] [INFO ] Computed 1565 place invariants in 813 ms
[2022-05-17 02:02:45] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-05-17 02:02:45] [INFO ] After 25067ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 14624 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 2 ms.
Support contains 8419 out of 9061 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 9061/9061 places, 16358/16358 transitions.
Applied a total of 0 rules in 872 ms. Remains 9061 /9061 variables (removed 0) and now considering 16358/16358 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 9061/9061 places, 16358/16358 transitions.
Interrupted random walk after 179995 steps, including 4147 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 1484
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13140) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 13139) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 13139) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 13139) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 13139) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13139) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13139) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 13139) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 13139) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 13139) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 13139) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 13139) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13139) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 13137) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 13137) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 13137) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 13137) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 13136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 13136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 13136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 13136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 13136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 13136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 13136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 13136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 13136) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 13136) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 13134) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 13134) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13132) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 13131) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 13128) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 13126) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13124) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 13123) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13122) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 13121) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 13119) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 13119) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 13116) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 13116) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13113) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 13111) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 13110) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13109) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13106) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 13106) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 13106) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 13106) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13106) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13105) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 13101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 13101) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 13100) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 13099) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13098) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 13097) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 13095) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 13095) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13093) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 13092) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 13090) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 13089) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 13089) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 13089) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13089) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 13088) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 13087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 13087) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 13085) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 13084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13084) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 13084) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 13081) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 13080) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 13080) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13079) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 13078) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 13077) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 13077) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 13074) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13074) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13073) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 13070) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 13069) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 13069) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13064) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 13063) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 13063) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 13062) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 13062) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 13062) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13062) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 13062) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 13061) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 13060) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 13060) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13060) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 13058) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 13057) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 13056) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 13055) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13054) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13052) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 13052) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 13049) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 13049) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13048) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 13046) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13045) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 13044) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 13042) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 13040) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 13036) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 13036) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13035) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 13034) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 13032) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13032) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 13031) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 13031) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 13030) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13028) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13028) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 13026) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13026) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 13024) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 13024) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13023) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13023) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 13023) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 13022) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 13021) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 13020) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 13020) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13020) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 13020) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 13020) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 13020) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13018) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 13018) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 13018) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 13017) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 13017) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 13017) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13017) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 13017) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 13017) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 13017) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 13017) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13017) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 13016) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 13015) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 13015) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 13015) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 13015) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 13014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 13014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 13014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 13014) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 13014) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 13013) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13013) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 13012) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 13012) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13010) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13010) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13010) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 13010) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 13010) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 13010) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13008) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 13006) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 13006) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 13005) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 13005) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13005) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 13005) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 13005) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 13004) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 13004) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 13004) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 13001) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13001) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 13000) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 13000) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 13000) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13000) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 13000) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 13000) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 13000) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12999) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12999) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12998) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12998) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12998) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12998) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12998) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12998) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12998) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12998) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12998) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12998) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12998) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12998) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12998) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12998) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12997) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12997) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12997) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12997) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12997) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12997) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12997) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12997) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12996) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12996) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12996) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12996) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12996) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12996) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12996) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12994) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12994) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12994) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12994) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12994) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12994) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12994) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12994) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12994) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12994) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12994) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12993) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12993) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12993) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12993) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12993) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12993) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12993) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12993) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12992) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12991) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12991) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12991) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12991) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12990) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12990) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12990) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12990) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12990) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12990) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12989) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12989) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12989) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12989) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12989) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12988) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12988) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12988) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12988) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12988) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12988) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12988) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12988) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12988) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12988) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12988) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12987) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12987) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12987) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12987) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12987) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12987) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12987) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12987) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12987) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12987) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12987) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12987) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12986) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12986) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12986) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12986) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12986) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12986) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12986) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12986) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12986) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12986) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12986) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12986) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12986) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12986) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12986) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12986) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12986) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12986) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12986) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12986) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12986) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12986) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12986) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12986) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12985) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12985) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12985) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12985) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12984) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12984) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12983) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12983) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12980) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12979) seen :0
Running SMT prover for 12979 properties.
[2022-05-17 02:04:10] [INFO ] Flow matrix only has 15302 transitions (discarded 1056 similar events)
// Phase 1: matrix 15302 rows 9061 cols
[2022-05-17 02:04:10] [INFO ] Computed 1565 place invariants in 843 ms
[2022-05-17 02:08:22] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-05-17 02:08:22] [INFO ] After 225034ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 12979 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 6816 out of 9061 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 9061/9061 places, 16358/16358 transitions.
Free-agglomeration rule (complex) applied 6 times.
Iterating global reduction 0 with 6 rules applied. Total rules applied 6 place count 9061 transition count 16352
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 0 with 6 rules applied. Total rules applied 12 place count 9055 transition count 16352
Applied a total of 12 rules in 2243 ms. Remains 9055 /9061 variables (removed 6) and now considering 16352/16358 (removed 6) transitions.
Finished structural reductions, in 1 iterations. Remains : 9055/9061 places, 16352/16358 transitions.
Interrupted random walk after 180001 steps, including 4149 resets, run timeout after 30002 ms. (steps per millisecond=5 ) properties seen 92
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12887) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12886) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12885) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12885) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 12885) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12885) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12885) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 12885) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12885) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12885) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12885) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12885) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12885) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12884) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12882) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12881) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12880) seen :0
Interrupted probabilistic random walk after 181414 steps, run timeout after 159030 ms. (steps per millisecond=1 ) properties seen :{2377=1, 2718=1, 2841=1, 3275=1, 3309=1, 3415=1, 3498=1, 3590=1, 3868=1, 4073=1, 4286=1, 4555=1, 4576=1, 6415=1, 6416=1, 6417=1, 6453=1, 9636=1, 9637=1, 9641=1, 9643=1, 9644=1, 9646=1, 9648=1, 9650=1}
Probabilistic random walk after 181414 steps, saw 82335 distinct states, run finished after 159031 ms. (steps per millisecond=1 ) properties seen :25
Running SMT prover for 12855 properties.
[2022-05-17 02:11:56] [INFO ] Flow matrix only has 15290 transitions (discarded 1062 similar events)
// Phase 1: matrix 15290 rows 9055 cols
[2022-05-17 02:11:57] [INFO ] Computed 1565 place invariants in 872 ms
[2022-05-17 02:16:09] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-05-17 02:16:09] [INFO ] After 225064ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 12855 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 6708 out of 9055 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 9055/9055 places, 16352/16352 transitions.
Free-agglomeration rule (complex) applied 16 times.
Iterating global reduction 0 with 16 rules applied. Total rules applied 16 place count 9055 transition count 16336
Reduce places removed 16 places and 0 transitions.
Iterating post reduction 0 with 16 rules applied. Total rules applied 32 place count 9039 transition count 16336
Applied a total of 32 rules in 1158 ms. Remains 9039 /9055 variables (removed 16) and now considering 16336/16352 (removed 16) transitions.
Finished structural reductions, in 1 iterations. Remains : 9039/9055 places, 16336/16352 transitions.
Interrupted random walk after 180001 steps, including 4157 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 41
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12814) seen :0
Interrupted probabilistic random walk after 122698 steps, run timeout after 108002 ms. (steps per millisecond=1 ) properties seen :{}
Probabilistic random walk after 122698 steps, saw 55812 distinct states, run finished after 108004 ms. (steps per millisecond=1 ) properties seen :0
Running SMT prover for 12814 properties.
[2022-05-17 02:18:34] [INFO ] Flow matrix only has 15258 transitions (discarded 1078 similar events)
// Phase 1: matrix 15258 rows 9039 cols
[2022-05-17 02:18:35] [INFO ] Computed 1565 place invariants in 803 ms
[2022-05-17 02:22:48] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-05-17 02:22:48] [INFO ] After 225066ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 12814 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 6670 out of 9039 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 9039/9039 places, 16336/16336 transitions.
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 1 place count 9039 transition count 16335
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 2 place count 9038 transition count 16335
Applied a total of 2 rules in 1133 ms. Remains 9038 /9039 variables (removed 1) and now considering 16335/16336 (removed 1) transitions.
Finished structural reductions, in 1 iterations. Remains : 9038/9039 places, 16335/16336 transitions.
Interrupted random walk after 180001 steps, including 4159 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 24
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12790) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12790) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12789) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12789) seen :0
Interrupted probabilistic random walk after 132900 steps, run timeout after 123002 ms. (steps per millisecond=1 ) properties seen :{}
Probabilistic random walk after 132900 steps, saw 60437 distinct states, run finished after 123003 ms. (steps per millisecond=1 ) properties seen :0
Running SMT prover for 12789 properties.
[2022-05-17 02:25:35] [INFO ] Flow matrix only has 15256 transitions (discarded 1079 similar events)
// Phase 1: matrix 15256 rows 9038 cols
[2022-05-17 02:25:35] [INFO ] Computed 1565 place invariants in 844 ms
[2022-05-17 02:29:48] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-05-17 02:29:48] [INFO ] After 225066ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 12789 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 6653 out of 9038 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 9038/9038 places, 16335/16335 transitions.
Applied a total of 0 rules in 559 ms. Remains 9038 /9038 variables (removed 0) and now considering 16335/16335 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 9038/9038 places, 16335/16335 transitions.
Interrupted random walk after 180001 steps, including 4160 resets, run timeout after 30002 ms. (steps per millisecond=5 ) properties seen 15
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12774) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12774) seen :0

BK_TIME_CONFINEMENT_REACHED

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

+ export LANG=C
+ LANG=C
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ QuasiLiveness = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ ulimit -s 65536
+ export PYTHONPATH=/usr/lib/python3.9/site-packages/
+ PYTHONPATH=/usr/lib/python3.9/site-packages/
+ export LD_LIBRARY_PATH=/usr/local/lib:
+ LD_LIBRARY_PATH=/usr/local/lib:
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202205111006.jar
+ VERSION=202205111006
+ echo 'Running Version 202205111006'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data @none -pnfolder /home/mcc/execution -examination QuasiLiveness -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=@none -Xss128m -Xms40m -Xmx8192m

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-S32C06"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is MultiCrashLeafsetExtension-PT-S32C06, 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 r139-tall-165271828100517"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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