Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r256-tall-167856441200557.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool gold2022
Input is MultiCrashLeafsetExtension-PT-S32C02, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r256-tall-167856441200557
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 16K Feb 26 03:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 26 03:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 26 03:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 03:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.2K Feb 25 16:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K Feb 25 16:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 16:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 19K Feb 26 03:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 105K Feb 26 03:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 19K Feb 26 03:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 90K Feb 26 03:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.6K Feb 25 16:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 16M Mar 5 18:22 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME QuasiLiveness

=== Now, execution of the tool begins

BK_START 1678675359529

Running Version 202205111006
[2023-03-13 02:42:40] [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]
[2023-03-13 02:42:40] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 02:42:41] [INFO ] Load time of PNML (sax parser for PT used): 742 ms
[2023-03-13 02:42:41] [INFO ] Transformed 13544 places.
[2023-03-13 02:42:41] [INFO ] Transformed 21807 transitions.
[2023-03-13 02:42:41] [INFO ] Parsed PT model containing 13544 places and 21807 transitions in 943 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 13544/13544 places, 21807/21807 transitions.
Reduce places removed 40 places and 0 transitions.
Drop transitions removed 2112 transitions
Trivial Post-agglo rules discarded 2112 transitions
Performed 2112 trivial Post agglomeration. Transition count delta: 2112
Iterating post reduction 0 with 2152 rules applied. Total rules applied 2152 place count 13504 transition count 19695
Reduce places removed 2112 places and 0 transitions.
Iterating post reduction 1 with 2112 rules applied. Total rules applied 4264 place count 11392 transition count 19695
Performed 132 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 132 Pre rules applied. Total rules applied 4264 place count 11392 transition count 19563
Deduced a syphon composed of 132 places in 97 ms
Reduce places removed 132 places and 0 transitions.
Iterating global reduction 2 with 264 rules applied. Total rules applied 4528 place count 11260 transition count 19563
Discarding 1980 places :
Symmetric choice reduction at 2 with 1980 rule applications. Total rules 6508 place count 9280 transition count 17583
Iterating global reduction 2 with 1980 rules applied. Total rules applied 8488 place count 9280 transition count 17583
Performed 4 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 4 Pre rules applied. Total rules applied 8488 place count 9280 transition count 17579
Deduced a syphon composed of 4 places in 15 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 2 with 8 rules applied. Total rules applied 8496 place count 9276 transition count 17579
Discarding 990 places :
Symmetric choice reduction at 2 with 990 rule applications. Total rules 9486 place count 8286 transition count 15599
Iterating global reduction 2 with 990 rules applied. Total rules applied 10476 place count 8286 transition count 15599
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 18 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 2 with 66 rules applied. Total rules applied 10542 place count 8253 transition count 15566
Applied a total of 10542 rules in 12040 ms. Remains 8253 /13544 variables (removed 5291) and now considering 15566/21807 (removed 6241) transitions.
[2023-03-13 02:42:53] [INFO ] Flow matrix only has 14510 transitions (discarded 1056 similar events)
// Phase 1: matrix 14510 rows 8253 cols
[2023-03-13 02:42:54] [INFO ] Computed 1293 place invariants in 895 ms
[2023-03-13 02:42:55] [INFO ] Implicit Places using invariants in 1849 ms returned []
Implicit Place search using SMT only with invariants took 1875 ms to find 0 implicit places.
[2023-03-13 02:42:55] [INFO ] Flow matrix only has 14510 transitions (discarded 1056 similar events)
// Phase 1: matrix 14510 rows 8253 cols
[2023-03-13 02:42:56] [INFO ] Computed 1293 place invariants in 695 ms
[2023-03-13 02:42:57] [INFO ] Dead Transitions using invariants and state equation in 1582 ms found 0 transitions.
Starting structural reductions in LIVENESS mode, iteration 1 : 8253/13544 places, 15566/21807 transitions.
Finished structural reductions, in 1 iterations. Remains : 8253/13544 places, 15566/21807 transitions.
Initial state reduction rules removed 33 formulas.
Incomplete random walk after 10000 steps, including 661 resets, run finished after 1669 ms. (steps per millisecond=5 ) properties (out of 15533) seen :695
Interrupted probabilistic random walk after 3962 steps, run timeout after 3001 ms. (steps per millisecond=1 ) properties seen :{32=1, 37=1, 42=1, 67=1, 80=1, 129=1, 150=1, 310=1, 342=1, 371=1, 422=1, 444=1, 445=1, 465=1, 483=1, 484=1, 500=1, 514=1, 515=1, 527=1, 528=1, 538=1, 546=1, 552=1, 553=1, 557=1, 576=1, 593=1, 597=1, 600=1, 619=1, 630=1, 673=1, 692=1, 842=1, 872=1, 899=1, 946=1, 966=1, 967=1, 985=1, 1001=1, 1002=1, 1016=1, 1028=1, 1029=1, 1039=1, 1040=1, 1048=1, 1054=1, 1058=1, 1059=1, 1061=1, 1079=1, 1096=1, 1100=1, 1102=1, 1115=1, 1124=1, 1161=1, 1178=1, 1263=1, 1317=1, 1345=1, 1370=1, 1413=1, 1431=1, 1432=1, 1448=1, 1462=1, 1474=1, 1484=1, 1485=1, 1493=1, 1494=1, 1500=1, 1504=1, 1506=1, 1507=1, 1508=1, 1526=1, 1543=1, 1546=1, 1548=1, 1556=1, 1563=1, 1594=1, 1609=1, 1710=1, 1735=1, 1761=1, 1784=1, 1823=1, 1824=1, 1840=1, 1841=1, 1855=1, 1867=1, 1868=1, 1878=1, 1886=1, 1887=1, 1893=1, 1894=1, 1898=1, 1900=1, 1901=1, 1902=1, 1903=1, 1937=1, 1940=1, 1942=1, 1944=1, 1948=1, 1953=1, 1978=1, 1991=1, 2105=1, 2129=1, 2150=1, 2185=1, 2199=1, 2200=1, 2212=1, 2222=1, 2223=1, 2231=1, 2237=1, 2238=1, 2242=1, 2243=1, 2245=1, 2246=1, 2247=1, 2248=1, 2249=1, 2283=1, 2286=1, 2288=1, 2290=1, 2293=1, 2296=1, 2315=1, 2326=1, 2428=1, 2449=1, 2468=1, 2499=1, 2511=1, 2512=1, 2522=1, 2530=1, 2531=1, 2537=1, 2541=1, 2542=1, 2544=1, 2545=1, 2546=1, 2547=1, 2548=1, 2549=1, 2550=1, 2584=1, 2588=1, 2590=1, 2592=1, 2596=1, 2609=1, 2618=1, 2708=1, 2728=1, 2745=1, 2772=1, 2782=1, 2783=1, 2791=1, 2797=1, 2798=1, 2802=1, 2804=1, 2805=1, 2806=1, 2807=1, 2808=1, 2809=1, 2810=1, 2811=1, 2812=1, 2830=1, 2847=1, 2851=1, 2853=1, 2855=1, 2859=1, 2867=1, 2874=1, 2952=1, 2970=1, 2985=1, 3008=1, 3016=1, 3017=1, 3023=1, 3027=1, 3028=1, 3030=1, 3031=1, 3032=1, 3033=1, 3034=1, 3035=1, 3036=1, 3037=1, 3038=1, 3039=1, 3057=1, 3074=1, 3078=1, 3080=1, 3082=1, 3086=1, 3088=1, 3092=1, 3097=1, 3162=1, 3178=1, 3191=1, 3210=1, 3216=1, 3217=1, 3222=1, 3223=1, 3224=1, 3225=1, 3226=1, 3227=1, 3228=1, 3229=1, 3230=1, 3231=1, 3232=1, 3233=1, 3234=1, 3268=1, 3271=1, 3273=1, 3275=1, 3277=1, 3279=1, 3282=1, 3285=1, 3339=1, 3353=1, 3364=1, 3379=1, 3383=1, 3384=1, 3386=1, 3387=1, 3388=1, 3389=1, 3390=1, 3391=1, 3392=1, 3393=1, 3394=1, 3395=1, 3396=1, 3397=1, 3398=1, 3432=1, 3434=1, 3436=1, 3438=1, 3442=1, 3444=1, 3448=1, 3490=1, 3502=1, 3511=1, 3522=1, 3524=1, 3525=1, 3526=1, 3527=1, 3528=1, 3529=1, 3530=1, 3531=1, 3532=1, 3533=1, 3534=1, 3535=1, 3536=1, 3537=1, 3538=1, 3571=1, 3575=1, 3577=1, 3579=1, 3583=1, 3585=1, 3589=1, 3620=1, 3630=1, 3637=1, 3644=1, 3645=1, 3646=1, 3647=1, 3648=1, 3649=1, 3650=1, 3651=1, 3652=1, 3653=1, 3654=1, 3655=1, 3656=1, 3657=1, 3658=1, 3659=1, 3693=1, 3696=1, 3698=1, 3700=1, 3704=1, 3706=1, 3708=1, 3711=1, 3713=1, 3734=1, 3741=1, 3746=1, 3750=1, 3751=1, 3752=1, 3753=1, 3754=1, 3755=1, 3756=1, 3757=1, 3758=1, 3759=1, 3760=1, 3761=1, 3762=1, 3763=1, 3764=1, 3765=1, 3799=1, 3803=1, 3805=1, 3807=1, 3811=1, 3813=1, 3816=1, 3818=1, 3832=1, 3840=1, 3843=1, 3844=1, 3845=1, 3846=1, 3847=1, 3848=1, 3849=1, 3850=1, 3851=1, 3852=1, 3853=1, 3854=1, 3855=1, 3856=1, 3857=1, 3858=1, 3892=1, 3895=1, 3897=1, 3899=1, 3903=1, 3905=1, 3909=1, 3911=1, 3920=1, 3924=1, 3926=1, 3929=1, 3930=1, 3931=1, 3932=1, 3933=1, 3934=1, 3935=1, 3936=1, 3937=1, 3938=1, 3939=1, 3940=1, 3941=1, 3942=1, 3943=1, 3944=1, 3945=1, 3979=1, 3983=1, 3985=1, 3987=1, 3991=1, 3993=1, 3997=1, 3999=1, 4005=1, 4008=1, 4010=1, 4013=1, 4014=1, 4015=1, 4016=1, 4017=1, 4018=1, 4019=1, 4020=1, 4021=1, 4022=1, 4023=1, 4024=1, 4025=1, 4026=1, 4027=1, 4045=1, 4062=1, 4066=1, 4068=1, 4070=1, 4074=1, 4076=1, 4080=1, 4082=1, 4088=1, 4092=1, 4095=1, 4096=1, 4097=1, 4098=1, 4099=1, 4100=1, 4101=1, 4102=1, 4103=1, 4104=1, 4105=1, 4106=1, 4107=1, 4108=1, 4109=1, 4110=1, 4144=1, 4148=1, 4150=1, 4152=1, 4156=1, 4158=1, 4162=1, 4164=1, 4172=1, 4174=1, 4177=1, 4178=1, 4179=1, 4180=1, 4181=1, 4182=1, 4183=1, 4184=1, 4185=1, 4186=1, 4187=1, 4188=1, 4189=1, 4190=1, 4191=1, 4192=1, 4226=1, 4230=1, 4232=1, 4234=1, 4238=1, 4240=1, 4244=1, 4246=1, 4257=1, 4258=1, 4261=1, 4264=1, 4265=1, 4266=1, 4267=1, 4268=1, 4269=1, 4270=1, 4271=1, 4272=1, 4273=1, 4274=1, 4275=1, 4276=1, 4277=1, 4278=1, 4279=1, 4313=1, 4317=1, 4319=1, 4321=1, 4325=1, 4327=1, 4331=1, 4333=1, 4335=1, 4349=1, 4350=1, 4358=1, 4359=1, 4360=1, 4361=1, 4362=1, 4363=1, 4364=1, 4365=1, 4366=1, 4367=1, 4368=1, 4369=1, 4370=1, 4371=1, 4372=1, 4373=1, 4407=1, 4411=1, 4413=1, 4415=1, 4419=1, 4421=1, 4425=1, 4427=1, 4432=1, 4451=1, 4452=1, 4463=1, 4466=1, 4467=1, 4468=1, 4469=1, 4470=1, 4471=1, 4472=1, 4473=1, 4474=1, 4475=1, 4476=1, 4477=1, 4478=1, 4479=1, 4480=1, 4498=1, 4515=1, 4519=1, 4521=1, 4523=1, 4527=1, 4529=1, 4533=1, 4535=1, 4567=1, 4568=1, 4583=1, 4590=1, 4591=1, 4592=1, 4593=1, 4594=1, 4595=1, 4596=1, 4597=1, 4598=1, 4599=1, 4600=1, 4601=1, 4602=1, 4603=1, 4637=1, 4641=1, 4643=1, 4645=1, 4649=1, 4651=1, 4654=1, 4656=1, 4699=1, 4700=1, 4719=1, 4730=1, 4732=1, 4733=1, 4734=1, 4735=1, 4736=1, 4737=1, 4738=1, 4739=1, 4740=1, 4741=1, 4742=1, 4743=1, 4777=1, 4781=1, 4783=1, 4785=1, 4789=1, 4791=1, 4795=1, 4798=1, 4853=1, 4854=1, 4877=1, 4892=1, 4896=1, 4897=1, 4899=1, 4900=1, 4901=1, 4902=1, 4903=1, 4904=1, 4905=1, 4906=1, 4907=1, 4908=1, 4909=1, 4910=1, 4928=1, 4945=1, 4948=1, 4950=1, 4952=1, 4956=1, 4958=1, 4963=1, 4968=1, 5035=1, 5062=1, 5081=1, 5087=1, 5091=1, 5093=1, 5094=1, 5095=1, 5096=1, 5097=1, 5098=1, 5099=1, 5100=1, 5101=1, 5102=1, 5120=1, 5137=1, 5141=1, 5143=1, 5145=1, 5149=1, 5151=1, 5158=1, 5165=1, 5242=1, 5243=1, 5274=1, 5297=1, 5305=1, 5306=1, 5312=1, 5316=1, 5317=1, 5319=1, 5320=1, 5321=1, 5322=1, 5323=1, 5324=1, 5325=1, 5326=1, 5327=1, 5361=1, 5365=1, 5367=1, 5369=1, 5373=1, 5375=1, 5388=1, 5397=1, 5488=1, 5489=1, 5524=1, 5560=1, 5561=1, 5569=1, 5575=1, 5576=1, 5580=1, 5582=1, 5583=1, 5584=1, 5585=1, 5586=1, 5587=1, 5588=1, 5621=1, 5625=1, 5627=1, 5629=1, 5633=1, 5636=1, 5655=1, 5666=1, 5769=1, 5770=1, 5809=1, 5826=1, 5840=1, 5852=1, 5853=1, 5863=1, 5871=1, 5872=1, 5878=1, 5882=1, 5883=1, 5885=1, 5886=1, 5887=1, 5888=1, 5889=1, 5890=1, 5924=1, 5928=1, 5930=1, 5932=1, 5937=1, 5942=1, 5967=1, 5980=1, 6094=1, 6095=1, 6118=1, 6139=1, 6158=1, 6174=1, 6188=1, 6189=1, 6201=1, 6211=1, 6212=1, 6220=1, 6226=1, 6227=1, 6231=1, 6232=1, 6234=1, 6235=1, 6236=1, 6237=1, 6255=1, 6272=1, 6275=1, 6277=1, 6279=1, 6287=1, 6294=1, 6325=1, 6340=1, 6467=1, 6468=1, 6515=1, 6536=1, 6554=1, 6570=1, 6571=1, 6585=1, 6597=1, 6598=1, 6608=1, 6616=1, 6617=1, 6623=1, 6624=1, 6628=1, 6630=1, 6631=1, 6632=1, 6666=1, 6670=1, 6672=1, 6674=1, 6687=1, 6696=1, 6733=1, 6750=1, 6888=1, 6939=1, 6962=1, 6982=1, 7000=1, 7001=1, 7017=1, 7031=1, 7032=1, 7044=1, 7054=1, 7055=1, 7063=1, 7064=1, 7070=1, 7074=1, 7076=1, 7094=1, 7111=1, 7114=1, 7116=1, 7119=1, 7138=1, 7149=1, 7192=1, 7211=1, 7361=1, 7362=1, 7417=1, 7442=1, 7464=1, 7484=1, 7485=1, 7503=1, 7519=1, 7520=1, 7534=1, 7546=1, 7547=1, 7557=1, 7558=1, 7566=1, 7572=1, 7576=1, 7577=1, 7579=1, 7611=1, 7614=1, 7617=1, 7622=1, 7629=1, 7648=1, 7661=1, 7709=1, 7730=1, 7894=1, 7953=1, 8026=1, 8065=1, 8096=1, 8109=1, 8128=1, 8135=1, 8208=1, 8210=1, 8211=1, 8212=1, 8213=1, 8214=1, 8215=1, 8216=1, 8217=1, 8218=1, 8219=1, 8220=1, 8221=1, 8222=1, 8223=1, 8224=1, 8225=1, 8226=1, 8227=1, 8228=1, 8229=1, 8230=1, 8231=1, 8232=1, 8303=1, 8312=1, 8313=1, 8314=1, 8315=1, 8316=1, 8317=1, 8318=1, 8320=1, 8321=1, 8322=1, 8323=1, 8324=1, 8325=1, 8326=1, 8327=1, 8328=1, 8329=1, 8330=1, 8331=1, 8332=1, 8333=1, 8334=1, 8335=1, 8336=1, 8337=1, 8338=1, 8339=1, 8340=1, 8341=1}
Probabilistic random walk after 3962 steps, saw 1870 distinct states, run finished after 3003 ms. (steps per millisecond=1 ) properties seen :924
Running SMT prover for 13914 properties.
[2023-03-13 02:43:02] [INFO ] Flow matrix only has 14510 transitions (discarded 1056 similar events)
// Phase 1: matrix 14510 rows 8253 cols
[2023-03-13 02:43:03] [INFO ] Computed 1293 place invariants in 741 ms
[2023-03-13 02:44:05] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 02:44:05] [INFO ] After 25019ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 13914 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 2 ms.
Support contains 7676 out of 8253 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 8253/8253 places, 15566/15566 transitions.
Applied a total of 0 rules in 742 ms. Remains 8253 /8253 variables (removed 0) and now considering 15566/15566 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 8253/8253 places, 15566/15566 transitions.
Interrupted random walk after 180001 steps, including 11902 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 664
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13250) seen :4
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 13246) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13244) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 13244) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13243) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 13241) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13240) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13240) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 13238) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 13238) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 13237) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 13237) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 13236) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 13236) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 13236) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 13236) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 13236) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 13236) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 13236) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 13234) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13234) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13234) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 13234) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 13234) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 13234) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13233) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 13232) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 13232) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 13231) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 13231) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13231) seen :6
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 13225) seen :5
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 13220) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 13218) seen :5
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 13213) seen :4
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 13209) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 13206) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 13203) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 13200) seen :4
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 13196) seen :5
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 13191) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 13190) seen :4
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 13186) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 13184) seen :5
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 13179) seen :4
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 13175) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13173) seen :7
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 13166) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 13164) seen :7
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13157) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 13156) seen :5
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 13151) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 13151) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 13149) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13146) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13143) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 13140) seen :5
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 13135) seen :7
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13128) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13125) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13123) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 13122) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 13120) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 13117) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13116) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 13113) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 13110) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13109) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13107) seen :5
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13102) seen :4
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13098) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13096) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 13094) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 13093) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13090) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 13089) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13088) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13085) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13083) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13080) seen :4
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13076) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13075) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 13072) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 13070) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13069) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13068) seen :5
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13063) seen :4
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13059) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 13059) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 13058) seen :4
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 13054) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13053) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13053) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 13051) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 13050) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13049) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13049) seen :5
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 13044) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13043) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 13043) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 13042) seen :5
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 13037) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13037) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13036) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13035) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 13035) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13034) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13031) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 13028) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 13025) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13023) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13020) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 13018) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13017) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13015) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 13015) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13014) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13013) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13011) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13009) seen :4
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13005) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 13004) seen :4
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 13000) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 12998) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12997) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12996) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12996) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12996) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 12994) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12994) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12991) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 12989) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12989) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12988) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12987) seen :4
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12983) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12982) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12981) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12978) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12978) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12978) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12975) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12975) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12974) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 12973) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12970) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12970) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12969) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12969) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12969) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12969) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12967) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12965) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12964) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12964) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12963) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12963) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12963) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12962) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12961) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 12960) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12959) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12959) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12959) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12959) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12956) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12955) seen :5
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12950) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12949) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12948) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12948) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12948) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12945) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12945) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12945) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12944) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 12943) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12942) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12941) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12940) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12939) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12938) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12938) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12938) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12938) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12938) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12938) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12937) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12936) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12934) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12933) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12933) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12932) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 12932) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12931) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12929) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 12929) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12928) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12928) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12927) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12926) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12926) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12925) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12925) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12924) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12923) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12923) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12922) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12922) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12921) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12921) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12920) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12920) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12919) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12919) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12919) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12919) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12919) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 12919) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12919) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12918) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12918) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12918) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12918) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12918) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12917) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12917) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12916) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 12915) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12914) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12913) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 12912) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 12911) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12911) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 12911) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12909) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12909) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12909) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12909) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12908) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12908) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12907) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12907) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12906) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12906) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12905) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12905) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12905) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12904) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12904) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12903) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12903) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 12903) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12903) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12903) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12903) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12903) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12903) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12903) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12903) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12903) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12903) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12903) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12902) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12902) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12900) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 12900) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12899) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12899) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12899) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12899) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12899) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12899) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 12899) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12899) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12898) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12898) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12898) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=10 ) properties (out of 12898) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 12898) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12898) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12898) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12898) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12897) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 12897) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 12894) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12892) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12892) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12892) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12892) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 12892) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12892) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12892) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12892) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12892) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12892) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12892) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12891) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12891) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12891) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12891) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12891) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12890) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12889) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12889) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12888) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12887) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12886) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12886) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12886) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12886) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12886) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 12886) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12885) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 12885) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12885) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12885) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12884) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12883) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 12882) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 12879) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 12879) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 12879) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12879) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 12879) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 12879) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 12879) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 12879) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12879) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12879) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12878) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12877) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12876) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12874) seen :0
Interrupted probabilistic random walk after 321492 steps, run timeout after 255001 ms. (steps per millisecond=1 ) properties seen :{226=1, 283=1, 707=1, 734=1, 761=1, 1131=1, 1156=1, 1181=1, 1365=1, 1502=1, 1525=1, 1548=1, 1822=1, 1843=1, 1864=1, 2096=1, 2115=1, 2134=1, 2249=1, 2329=1, 2346=1, 2363=1, 2523=1, 2538=1, 2553=1, 2632=1, 2684=1, 2697=1, 2710=1, 2814=1, 2825=1, 2836=1, 2887=1, 2919=1, 2928=1, 2937=1, 2977=1, 3002=1, 3009=1, 3016=1, 3066=1, 3071=1, 3076=1, 3116=1, 3119=1, 3122=1, 3156=1, 3157=1, 3280=1, 3281=1, 3282=1, 3298=1, 3315=1, 3318=1, 3321=1, 3340=1, 3360=1, 3365=1, 3370=1, 3394=1, 3419=1, 3426=1, 3433=1, 3495=1, 3504=1, 3513=1, 3553=1, 3594=1, 3605=1, 3616=1, 3718=1, 3731=1, 3744=1, 3872=1, 3887=1, 3902=1, 3981=1, 4061=1, 4078=1, 4095=1, 4191=1, 4288=1, 4307=1, 4555=1, 4576=1, 4597=1, 4869=1, 4892=1, 4915=1, 5074=1, 5234=1, 5259=1, 5284=1, 5652=1, 5679=1, 5706=1, 6128=1, 6157=1, 6186=1, 9551=1, 9552=1, 9553=1, 9554=1, 9555=1, 9556=1, 9557=1, 9558=1, 9559=1, 9560=1, 9561=1, 9562=1, 9563=1, 9564=1, 9565=1, 9581=1, 9597=1, 9598=1, 9599=1, 9600=1, 9601=1, 9602=1, 9603=1, 9604=1, 9605=1, 9606=1, 9607=1, 9608=1, 9609=1, 9610=1, 9611=1, 9612=1, 9613=1, 9614=1, 9615=1, 9616=1, 9617=1, 9618=1, 9619=1, 9620=1, 9621=1, 9622=1, 9623=1, 9624=1, 9625=1, 9626=1, 9659=1, 9660=1, 9661=1, 9662=1, 9663=1, 9664=1, 9665=1, 9666=1, 9667=1, 9668=1, 9669=1, 9670=1, 9671=1, 9672=1, 9673=1, 9674=1, 9675=1, 9676=1, 9677=1, 9678=1, 9679=1, 9680=1, 9681=1, 9682=1, 9683=1, 9684=1, 9685=1, 9686=1, 9687=1, 9688=1, 9704=1, 9720=1, 9721=1, 9722=1, 9723=1, 9724=1, 9725=1, 9726=1, 9727=1, 9728=1, 9729=1, 9730=1, 9731=1, 9732=1, 9733=1}
Probabilistic random walk after 321492 steps, saw 145017 distinct states, run finished after 255002 ms. (steps per millisecond=1 ) properties seen :190
Running SMT prover for 12684 properties.
[2023-03-13 02:49:46] [INFO ] Flow matrix only has 14510 transitions (discarded 1056 similar events)
// Phase 1: matrix 14510 rows 8253 cols
[2023-03-13 02:49:46] [INFO ] Computed 1293 place invariants in 699 ms
[2023-03-13 02:53:57] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 02:53:57] [INFO ] After 225036ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 12684 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 6527 out of 8253 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 8253/8253 places, 15566/15566 transitions.
Free-agglomeration rule (complex) applied 30 times.
Iterating global reduction 0 with 30 rules applied. Total rules applied 30 place count 8253 transition count 15536
Reduce places removed 30 places and 0 transitions.
Iterating post reduction 0 with 30 rules applied. Total rules applied 60 place count 8223 transition count 15536
Applied a total of 60 rules in 1338 ms. Remains 8223 /8253 variables (removed 30) and now considering 15536/15566 (removed 30) transitions.
Finished structural reductions, in 1 iterations. Remains : 8223/8253 places, 15536/15566 transitions.
Interrupted random walk after 180001 steps, including 11951 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Interrupted probabilistic random walk after 134039 steps, run timeout after 111002 ms. (steps per millisecond=1 ) properties seen :{}
Probabilistic random walk after 134039 steps, saw 60947 distinct states, run finished after 111008 ms. (steps per millisecond=1 ) properties seen :0
Running SMT prover for 12684 properties.
[2023-03-13 02:56:26] [INFO ] Flow matrix only has 14450 transitions (discarded 1086 similar events)
// Phase 1: matrix 14450 rows 8223 cols
[2023-03-13 02:56:27] [INFO ] Computed 1293 place invariants in 637 ms
[2023-03-13 03:00:38] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 03:00:38] [INFO ] After 225031ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 12684 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 6527 out of 8223 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 8223/8223 places, 15536/15536 transitions.
Applied a total of 0 rules in 492 ms. Remains 8223 /8223 variables (removed 0) and now considering 15536/15536 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 8223/8223 places, 15536/15536 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 8223/8223 places, 15536/15536 transitions.
Applied a total of 0 rules in 532 ms. Remains 8223 /8223 variables (removed 0) and now considering 15536/15536 (removed 0) transitions.
[2023-03-13 03:00:39] [INFO ] Flow matrix only has 14450 transitions (discarded 1086 similar events)
// Phase 1: matrix 14450 rows 8223 cols
[2023-03-13 03:00:40] [INFO ] Computed 1293 place invariants in 638 ms
[2023-03-13 03:00:41] [INFO ] Implicit Places using invariants in 1407 ms returned []
Implicit Place search using SMT only with invariants took 1408 ms to find 0 implicit places.
[2023-03-13 03:00:41] [INFO ] Flow matrix only has 14450 transitions (discarded 1086 similar events)
// Phase 1: matrix 14450 rows 8223 cols
[2023-03-13 03:00:41] [INFO ] Computed 1293 place invariants in 631 ms
[2023-03-13 03:00:42] [INFO ] Dead Transitions using invariants and state equation in 1348 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 8223/8223 places, 15536/15536 transitions.
Interrupted random walk after 55086 steps, including 3656 resets, run timeout after 30001 ms. (steps per millisecond=1 ) properties seen 1093
Running SMT prover for 5434 properties.
[2023-03-13 03:01:12] [INFO ] Flow matrix only has 14450 transitions (discarded 1086 similar events)
// Phase 1: matrix 14450 rows 8223 cols
[2023-03-13 03:01:13] [INFO ] Computed 1293 place invariants in 706 ms
[2023-03-13 03:03:00] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 03:03:00] [INFO ] After 100035ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Interrupted random walk after 179995 steps, including 11949 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12684) seen :0
Interrupted probabilistic random walk after 129767 steps, run timeout after 108002 ms. (steps per millisecond=1 ) properties seen :{}
Probabilistic random walk after 129767 steps, saw 59007 distinct states, run finished after 108004 ms. (steps per millisecond=1 ) properties seen :0
Running SMT prover for 12684 properties.
[2023-03-13 03:05:25] [INFO ] Flow matrix only has 14450 transitions (discarded 1086 similar events)
// Phase 1: matrix 14450 rows 8223 cols
[2023-03-13 03:05:26] [INFO ] Computed 1293 place invariants in 650 ms
[2023-03-13 03:09:36] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 03:09:36] [INFO ] After 225038ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 12684 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 6527 out of 8223 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 8223/8223 places, 15536/15536 transitions.
Applied a total of 0 rules in 476 ms. Remains 8223 /8223 variables (removed 0) and now considering 15536/15536 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 8223/8223 places, 15536/15536 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 8223/8223 places, 15536/15536 transitions.
Applied a total of 0 rules in 517 ms. Remains 8223 /8223 variables (removed 0) and now considering 15536/15536 (removed 0) transitions.
[2023-03-13 03:09:37] [INFO ] Flow matrix only has 14450 transitions (discarded 1086 similar events)
// Phase 1: matrix 14450 rows 8223 cols
[2023-03-13 03:09:37] [INFO ] Computed 1293 place invariants in 627 ms
[2023-03-13 03:09:39] [INFO ] Implicit Places using invariants in 2657 ms returned []
Implicit Place search using SMT only with invariants took 2660 ms to find 0 implicit places.
[2023-03-13 03:09:39] [INFO ] Flow matrix only has 14450 transitions (discarded 1086 similar events)
// Phase 1: matrix 14450 rows 8223 cols
[2023-03-13 03:09:40] [INFO ] Computed 1293 place invariants in 623 ms
[2023-03-13 03:09:50] [INFO ] Dead Transitions using invariants and state equation in 11265 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 8223/8223 places, 15536/15536 transitions.
Interrupted random walk after 69287 steps, including 4599 resets, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen 1098
Running SMT prover for 5429 properties.
[2023-03-13 03:10:21] [INFO ] Flow matrix only has 14450 transitions (discarded 1086 similar events)
// Phase 1: matrix 14450 rows 8223 cols
[2023-03-13 03:10:21] [INFO ] Computed 1293 place invariants in 623 ms
[2023-03-13 03:12:08] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 03:12:08] [INFO ] After 100050ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Finished random walk after 658 steps, including 43 resets, run visited all 1 properties in 13 ms. (steps per millisecond=50 )
Incomplete random walk after 10000 steps, including 663 resets, run finished after 180 ms. (steps per millisecond=55 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 69 resets, run finished after 35 ms. (steps per millisecond=285 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 13986 steps, run timeout after 3001 ms. (steps per millisecond=4 ) properties seen :{}
Probabilistic random walk after 13986 steps, saw 6470 distinct states, run finished after 3001 ms. (steps per millisecond=4 ) properties seen :0
Running SMT prover for 1 properties.
[2023-03-13 03:12:12] [INFO ] Flow matrix only has 14450 transitions (discarded 1086 similar events)
// Phase 1: matrix 14450 rows 8223 cols
[2023-03-13 03:12:12] [INFO ] Computed 1293 place invariants in 639 ms
[2023-03-13 03:12:13] [INFO ] [Real]Absence check using 65 positive place invariants in 119 ms returned sat
[2023-03-13 03:12:14] [INFO ] [Real]Absence check using 65 positive and 1228 generalized place invariants in 477 ms returned sat
[2023-03-13 03:12:14] [INFO ] After 1533ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-13 03:12:15] [INFO ] [Nat]Absence check using 65 positive place invariants in 119 ms returned sat
[2023-03-13 03:12:15] [INFO ] [Nat]Absence check using 65 positive and 1228 generalized place invariants in 490 ms returned sat
[2023-03-13 03:12:27] [INFO ] After 11523ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2023-03-13 03:12:27] [INFO ] State equation strengthened by 6052 read => feed constraints.
[2023-03-13 03:12:35] [INFO ] After 7597ms SMT Verify possible using 6052 Read/Feed constraints in natural domain returned unsat :1 sat :0
[2023-03-13 03:12:35] [INFO ] After 20784ms SMT Verify possible using all constraints in natural domain returned unsat :1 sat :0
Fused 1 Parikh solutions to 0 different solutions.
Parikh walk visited 0 properties in 0 ms.
Finished random walk after 32 steps, including 2 resets, run visited all 1 properties in 2 ms. (steps per millisecond=16 )
Finished random walk after 92 steps, including 6 resets, run visited all 1 properties in 4 ms. (steps per millisecond=23 )
Incomplete random walk after 10000 steps, including 664 resets, run finished after 214 ms. (steps per millisecond=46 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 69 resets, run finished after 35 ms. (steps per millisecond=285 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 13422 steps, run timeout after 3001 ms. (steps per millisecond=4 ) properties seen :{}
Probabilistic random walk after 13422 steps, saw 6207 distinct states, run finished after 3003 ms. (steps per millisecond=4 ) properties seen :0
Running SMT prover for 1 properties.
[2023-03-13 03:12:38] [INFO ] Flow matrix only has 14450 transitions (discarded 1086 similar events)
// Phase 1: matrix 14450 rows 8223 cols
[2023-03-13 03:12:39] [INFO ] Computed 1293 place invariants in 702 ms

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool gold2022"
echo " Input is MultiCrashLeafsetExtension-PT-S32C02, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r256-tall-167856441200557"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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