MCC'2021- Execution of r280-smll-162123888000079

About the Execution of ITS-Tools for TokenRing-PT-040

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

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2021-input.r280-smll-162123888000079.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2021-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is TokenRing-PT-040, examination is Liveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r280-smll-162123888000079
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 542M
-rw-r--r-- 1 mcc users 1.6M May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 7.4M May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 58M May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 203M May 10 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 647K Mar 28 16:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 2.1M Mar 28 16:46 LTLCardinality.xml
-rw-r--r-- 1 mcc users 17M Mar 28 16:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 46M Mar 28 16:46 LTLFireability.xml
-rw-r--r-- 1 mcc users 957K Mar 27 14:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 3.0M Mar 27 14:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 43M Mar 25 21:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 114M Mar 25 21:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 193K Mar 22 08:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 457K Mar 22 08:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:52 equiv_col
-rw-r--r-- 1 mcc users 4 May 5 16:52 instance
-rw-r--r-- 1 mcc users 6 May 5 16:52 iscolored
-rw-r--r-- 1 mcc users 47M May 5 16:52 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 Liveness

=== Now, execution of the tool begins

BK_START 1621375959824

Running Version 0
[2021-05-18 22:12:42] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, Liveness, -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]
[2021-05-18 22:12:42] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-18 22:12:44] [INFO ] Load time of PNML (sax parser for PT used): 2289 ms
[2021-05-18 22:12:44] [INFO ] Transformed 1681 places.
[2021-05-18 22:12:45] [INFO ] Transformed 65641 transitions.
[2021-05-18 22:12:45] [INFO ] Found NUPN structural information;
[2021-05-18 22:12:45] [INFO ] Parsed PT model containing 1681 places and 65641 transitions in 2668 ms.
Built sparse matrix representations for Structural reductions in 84 ms.302635KB memory used
Starting structural reductions, iteration 0 : 1681/1681 places, 65641/65641 transitions.
Applied a total of 0 rules in 794 ms. Remains 1681 /1681 variables (removed 0) and now considering 65641/65641 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1681/1681 places, 65641/65641 transitions.
Starting structural reductions, iteration 0 : 1681/1681 places, 65641/65641 transitions.
Applied a total of 0 rules in 539 ms. Remains 1681 /1681 variables (removed 0) and now considering 65641/65641 (removed 0) transitions.
// Phase 1: matrix 65641 rows 1681 cols
[2021-05-18 22:12:50] [INFO ] Computed 41 place invariants in 364 ms
[2021-05-18 22:12:50] [INFO ] Implicit Places using invariants in 1211 ms returned []
Implicit Place search using SMT only with invariants took 1253 ms to find 0 implicit places.
// Phase 1: matrix 65641 rows 1681 cols
[2021-05-18 22:12:51] [INFO ] Computed 41 place invariants in 358 ms
[2021-05-18 22:13:21] [INFO ] Performed 30236/65641 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2021-05-18 22:13:51] [INFO ] Dead Transitions using invariants and state equation in 60409 ms returned []
Finished structural reductions, in 1 iterations. Remains : 1681/1681 places, 65641/65641 transitions.
Interrupted Random walk after 593034 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=19 )
// Phase 1: matrix 65641 rows 1681 cols
[2021-05-18 22:14:21] [INFO ] Computed 41 place invariants in 258 ms
[2021-05-18 22:14:51] [INFO ] [Real]Absence check using 41 positive place invariants in 433 ms returned unsat
Starting structural reductions, iteration 0 : 1681/1681 places, 65641/65641 transitions.
Applied a total of 0 rules in 9642 ms. Remains 1681 /1681 variables (removed 0) and now considering 65641/65641 (removed 0) transitions.
// Phase 1: matrix 65641 rows 1681 cols
[2021-05-18 22:15:01] [INFO ] Computed 41 place invariants in 238 ms
[2021-05-18 22:15:09] [INFO ] Implicit Places using invariants in 7583 ms returned []
Implicit Place search using SMT only with invariants took 7592 ms to find 0 implicit places.
// Phase 1: matrix 65641 rows 1681 cols
[2021-05-18 22:15:09] [INFO ] Computed 41 place invariants in 185 ms
[2021-05-18 22:15:39] [INFO ] Performed 46059/65641 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2021-05-18 22:15:50] [INFO ] Dead Transitions using invariants and state equation in 41237 ms returned []
Finished structural reductions, in 1 iterations. Remains : 1681/1681 places, 65641/65641 transitions.
[2021-05-18 22:15:50] [INFO ] Initial state test concluded for 40 properties.
Interrupted random walk after 2602 steps, including 0 resets, run timeout after 30011 ms. (steps per millisecond=0 ) properties seen :{6=1, 79=1, 127=1, 144=1, 159=1, 163=1, 168=1, 178=1, 198=1, 222=1, 243=1, 247=1, 265=1, 282=1, 288=1, 314=1, 373=1, 374=1, 394=1, 396=1, 536=1, 553=1, 566=1, 595=1, 644=1, 691=1, 700=1, 722=1, 732=1, 740=1, 752=1, 786=1, 836=1, 864=1, 865=1, 868=1, 880=1, 889=1, 927=1, 985=1, 1070=1, 1158=1, 1163=1, 1190=1, 1199=1, 1264=1, 1308=1, 1316=1, 1375=1, 1392=1, 1416=1, 1447=1, 1515=1, 1534=1, 1640=1, 1660=1, 1668=1, 1693=1, 1704=1, 1707=1, 1757=1, 1784=1, 1821=1, 1837=1, 1916=1, 1946=1, 1992=1, 2005=1, 2091=1, 2102=1, 2120=1, 2175=1, 2179=1, 2202=1, 2270=1, 2271=1, 2273=1, 2312=1, 2346=1, 2483=1, 2579=1, 2611=1, 2662=1, 2663=1, 2668=1, 2686=1, 2702=1, 2710=1, 2727=1, 2766=1, 2781=1, 2899=1, 2946=1, 3004=1, 3081=1, 3135=1, 3145=1, 3186=1, 3197=1, 3333=1, 3334=1, 3372=1, 3390=1, 3410=1, 3450=1, 3452=1, 3454=1, 3478=1, 3481=1, 3482=1, 3492=1, 3547=1, 3573=1, 3581=1, 3587=1, 3598=1, 3601=1, 3626=1, 3628=1, 3632=1, 3638=1, 3677=1, 3693=1, 3697=1, 3722=1, 3749=1, 3821=1, 3825=1, 3859=1, 3971=1, 4001=1, 4014=1, 4093=1, 4121=1, 4134=1, 4161=1, 4185=1, 4241=1, 4278=1, 4314=1, 4319=1, 4380=1, 4396=1, 4414=1, 4415=1, 4420=1, 4461=1, 4527=1, 4595=1, 4615=1, 4630=1, 4662=1, 4663=1, 4701=1, 4719=1, 4721=1, 4776=1, 4793=1, 4820=1, 4835=1, 4844=1, 4860=1, 4918=1, 5022=1, 5166=1, 5221=1, 5225=1, 5234=1, 5248=1, 5269=1, 5303=1, 5332=1, 5395=1, 5429=1, 5438=1, 5446=1, 5499=1, 5507=1, 5542=1, 5559=1, 5571=1, 5580=1, 5666=1, 5692=1, 5742=1, 5743=1, 5994=1, 6035=1, 6099=1, 6112=1, 6165=1, 6252=1, 6359=1, 6430=1, 6446=1, 6459=1, 6487=1, 6543=1, 6593=1, 6633=1, 6648=1, 6752=1, 6791=1, 6817=1, 6881=1, 6893=1, 6894=1, 6897=1, 6902=1, 6967=1, 6977=1, 6990=1, 7009=1, 7058=1, 7065=1, 7068=1, 7081=1, 7089=1, 7090=1, 7099=1, 7137=1, 7172=1, 7253=1, 7285=1, 7325=1, 7328=1, 7357=1, 7394=1, 7412=1, 7423=1, 7444=1, 7462=1, 7504=1, 7623=1, 7672=1, 7724=1, 7765=1, 7771=1, 7860=1, 7884=1, 7887=1, 7942=1, 7962=1, 8150=1, 8154=1, 8314=1, 8356=1, 8361=1, 8368=1, 8533=1, 8638=1, 8646=1, 8669=1, 8701=1, 8718=1, 8753=1, 8821=1, 8824=1, 8878=1, 8904=1, 9000=1, 9021=1, 9022=1, 9065=1, 9143=1, 9196=1, 9218=1, 9277=1, 9281=1, 9333=1, 9356=1, 9392=1, 9423=1, 9457=1, 9483=1, 9487=1, 9509=1, 9642=1, 9657=1, 9673=1, 9677=1, 9679=1, 9690=1, 9713=1, 9765=1, 9810=1, 9820=1, 9841=1, 9847=1, 9852=1, 9909=1, 9929=1, 9959=1, 9963=1, 10001=1, 10010=1, 10051=1, 10094=1, 10101=1, 10143=1, 10177=1, 10190=1, 10192=1, 10226=1, 10411=1, 10482=1, 10490=1, 10550=1, 10605=1, 10606=1, 10631=1, 10658=1, 10689=1, 10720=1, 10746=1, 10805=1, 10810=1, 10847=1, 10963=1, 10976=1, 11018=1, 11066=1, 11075=1, 11106=1, 11110=1, 11149=1, 11155=1, 11174=1, 11213=1, 11228=1, 11255=1, 11277=1, 11280=1, 11340=1, 11343=1, 11364=1, 11365=1, 11393=1, 11409=1, 11580=1, 11604=1, 11619=1, 11652=1, 11686=1, 11722=1, 11723=1, 11741=1, 11746=1, 11754=1, 11773=1, 11842=1, 11900=1, 11974=1, 11993=1, 12003=1, 12072=1, 12137=1, 12176=1, 12204=1, 12215=1, 12236=1, 12246=1, 12263=1, 12264=1, 12268=1, 12272=1, 12315=1, 12369=1, 12381=1, 12432=1, 12500=1, 12529=1, 12626=1, 12627=1, 12638=1, 12708=1, 12719=1, 12814=1, 12857=1, 12862=1, 12904=1, 12979=1, 13211=1, 13221=1, 13229=1, 13236=1, 13263=1, 13264=1, 13313=1, 13356=1, 13441=1, 13520=1, 13541=1, 13642=1, 13644=1, 13706=1, 13777=1, 13778=1, 13784=1, 13833=1, 13868=1, 13887=1, 14035=1, 14038=1, 14091=1, 14153=1, 14189=1, 14208=1, 14210=1, 14217=1, 14272=1, 14282=1, 14323=1, 14356=1, 14375=1, 14442=1, 14447=1, 14463=1, 14468=1, 14631=1, 14649=1, 14757=1, 14761=1, 14764=1, 14777=1, 14787=1, 14854=1, 14855=1, 14879=1, 14920=1, 14952=1, 15029=1, 15045=1, 15065=1, 15072=1, 15097=1, 15107=1, 15127=1, 15147=1, 15149=1, 15215=1, 15217=1, 15229=1, 15314=1, 15541=1, 15582=1, 15585=1, 15667=1, 15689=1, 15761=1, 15769=1, 15800=1, 15801=1, 16083=1, 16087=1, 16112=1, 16116=1, 16134=1, 16156=1, 16167=1, 16175=1, 16190=1, 16215=1, 16305=1, 16333=1, 16417=1, 16419=1, 16451=1, 16471=1, 16472=1, 16489=1, 16514=1, 16525=1, 16597=1, 16610=1, 16611=1, 16671=1, 16675=1, 16681=1, 16696=1, 16752=1, 16753=1, 16770=1, 16779=1, 16795=1, 16866=1, 16911=1, 16916=1, 16930=1, 17062=1, 17093=1, 17106=1, 17174=1, 17194=1, 17213=1, 17214=1, 17221=1, 17259=1, 17282=1, 17313=1, 17316=1, 17341=1, 17412=1, 17414=1, 17445=1, 17469=1, 17568=1, 17583=1, 17638=1, 17672=1, 17684=1, 17691=1, 17731=1, 17759=1, 17837=1, 17852=1, 17908=1, 17910=1, 17925=1, 17954=1, 17956=1, 17959=1, 18043=1, 18094=1, 18099=1, 18119=1, 18154=1, 18211=1, 18225=1, 18226=1, 18250=1, 18291=1, 18311=1, 18325=1, 18335=1, 18338=1, 18353=1, 18392=1, 18456=1, 18578=1, 18652=1, 18658=1, 18673=1, 18682=1, 18688=1, 18724=1, 18741=1, 18877=1, 18929=1, 18935=1, 18955=1, 18970=1, 18975=1, 19014=1, 19058=1, 19065=1, 19068=1, 19081=1, 19104=1, 19348=1, 19359=1, 19364=1, 19386=1, 19399=1, 19407=1, 19453=1, 19477=1, 19479=1, 19546=1, 19559=1, 19642=1, 19706=1, 19715=1, 19793=1, 19839=1, 19840=1, 19849=1, 19885=1, 19899=1, 19955=1, 19972=1, 19982=1, 20007=1, 20021=1, 20027=1, 20080=1, 20117=1, 20136=1, 20157=1, 20182=1, 20270=1, 20341=1, 20471=1, 20533=1, 20593=1, 20625=1, 20638=1, 20710=1, 20724=1, 20758=1, 20794=1, 20844=1, 20868=1, 20881=1, 20883=1, 20921=1, 20927=1, 20942=1, 20993=1, 21009=1, 21156=1, 21158=1, 21186=1, 21214=1, 21244=1, 21245=1, 21285=1, 21330=1, 21355=1, 21364=1, 21408=1, 21427=1, 21454=1, 21458=1, 21502=1, 21503=1, 21505=1, 21525=1, 21536=1, 21584=1, 21607=1, 21670=1, 21675=1, 21756=1, 21757=1, 21763=1, 21767=1, 21768=1, 21842=1, 21856=1, 21901=1, 21974=1, 22012=1, 22020=1, 22042=1, 22058=1, 22089=1, 22098=1, 22128=1, 22211=1, 22240=1, 22264=1, 22269=1, 22305=1, 22311=1, 22313=1, 22372=1, 22373=1, 22413=1, 22426=1, 22473=1, 22494=1, 22607=1, 22621=1, 22653=1, 22661=1, 22745=1, 22768=1, 22776=1, 22778=1, 22835=1, 22847=1, 22867=1, 22905=1, 22938=1, 22948=1, 22976=1, 22997=1, 23057=1, 23079=1, 23107=1, 23114=1, 23138=1, 23162=1, 23239=1, 23251=1, 23345=1, 23397=1, 23419=1, 23499=1, 23501=1, 23505=1, 23615=1, 23649=1, 23654=1, 23732=1, 23770=1, 23787=1, 23817=1, 23920=1, 23985=1, 24002=1, 24014=1, 24147=1, 24204=1, 24212=1, 24242=1, 24296=1, 24336=1, 24359=1, 24364=1, 24368=1, 24372=1, 24404=1, 24406=1, 24411=1, 24427=1, 24434=1, 24458=1, 24573=1, 24579=1, 24584=1, 24661=1, 24732=1, 24771=1, 24803=1, 24850=1, 24880=1, 24895=1, 24933=1, 24937=1, 24957=1, 25032=1, 25081=1, 25114=1, 25115=1, 25168=1, 25197=1, 25244=1, 25353=1, 25391=1, 25403=1, 25482=1, 25565=1, 25669=1, 25718=1, 25781=1, 25783=1, 25795=1, 25802=1, 25867=1, 25926=1, 25939=1, 26018=1, 26113=1, 26152=1, 26200=1, 26203=1, 26217=1, 26293=1, 26342=1, 26347=1, 26363=1, 26417=1, 26431=1, 26441=1, 26446=1, 26492=1, 26516=1, 26609=1, 26694=1, 26709=1, 26739=1, 26759=1, 26780=1, 26818=1, 26822=1, 26827=1, 26907=1, 26918=1, 26924=1, 26953=1, 26981=1, 27106=1, 27108=1, 27137=1, 27317=1, 27352=1, 27357=1, 27373=1, 27394=1, 27430=1, 27478=1, 27534=1, 27557=1, 27590=1, 27663=1, 27674=1, 27686=1, 27717=1, 27741=1, 27771=1, 27811=1, 27814=1, 27837=1, 27931=1, 27944=1, 27962=1, 27965=1, 28033=1, 28131=1, 28159=1, 28166=1, 28203=1, 28237=1, 28316=1, 28363=1, 28369=1, 28392=1, 28424=1, 28427=1, 28438=1, 28449=1, 28453=1, 28454=1, 28480=1, 28501=1, 28517=1, 28546=1, 28556=1, 28579=1, 28586=1, 28598=1, 28601=1, 28665=1, 28669=1, 28677=1, 28702=1, 28733=1, 28735=1, 28861=1, 28994=1, 29042=1, 29066=1, 29085=1, 29100=1, 29166=1, 29210=1, 29239=1, 29300=1, 29303=1, 29341=1, 29401=1, 29424=1, 29438=1, 29456=1, 29488=1, 29494=1, 29505=1, 29598=1, 29607=1, 29615=1, 29620=1, 29628=1, 29634=1, 29662=1, 29735=1, 29757=1, 29769=1, 29783=1, 29792=1, 29806=1, 29827=1, 29867=1, 29875=1, 29993=1, 30008=1, 30021=1, 30067=1, 30115=1, 30127=1, 30139=1, 30146=1, 30227=1, 30246=1, 30376=1, 30380=1, 30393=1, 30404=1, 30469=1, 30473=1, 30642=1, 30683=1, 30732=1, 30760=1, 30769=1, 30792=1, 30815=1, 30825=1, 30859=1, 30870=1, 30871=1, 30887=1, 30908=1, 30944=1, 30950=1, 31140=1, 31141=1, 31247=1, 31313=1, 31373=1, 31425=1, 31464=1, 31496=1, 31523=1, 31539=1, 31593=1, 31668=1, 31756=1, 31759=1, 31771=1, 31778=1, 31793=1, 31800=1, 31815=1, 31835=1, 31839=1, 31870=1, 31891=1, 31947=1, 31958=1, 31981=1, 31996=1, 32020=1, 32113=1, 32116=1, 32174=1, 32203=1, 32227=1, 32292=1, 32334=1, 32352=1, 32380=1, 32420=1, 32430=1, 32581=1, 32604=1, 32644=1, 32665=1, 32686=1, 32703=1, 32731=1, 32820=1, 32822=1, 32823=1, 32834=1, 32838=1, 32851=1, 32872=1, 32878=1, 32881=1, 32906=1, 32915=1, 32921=1, 32985=1, 33010=1, 33077=1, 33124=1, 33202=1, 33224=1, 33256=1, 33271=1, 33318=1, 33320=1, 33378=1, 33384=1, 33386=1, 33404=1, 33417=1, 33443=1, 33485=1, 33525=1, 33539=1, 33656=1, 33675=1, 33692=1, 33722=1, 33794=1, 33800=1, 33805=1, 33806=1, 33835=1, 33909=1, 33922=1, 34027=1, 34032=1, 34033=1, 34035=1, 34082=1, 34105=1, 34121=1, 34131=1, 34138=1, 34164=1, 34252=1, 34261=1, 34316=1, 34332=1, 34334=1, 34382=1, 34450=1, 34472=1, 34499=1, 34511=1, 34525=1, 34570=1, 34639=1, 34650=1, 34679=1, 34690=1, 34695=1, 34702=1, 34809=1, 34868=1, 34880=1, 34979=1, 35065=1, 35228=1, 35241=1, 35257=1, 35285=1, 35289=1, 35332=1, 35350=1, 35401=1, 35402=1, 35464=1, 35486=1, 35581=1, 35650=1, 35779=1, 35819=1, 35861=1, 35941=1, 36002=1, 36064=1, 36091=1, 36095=1, 36135=1, 36142=1, 36161=1, 36220=1, 36222=1, 36266=1, 36350=1, 36362=1, 36365=1, 36600=1, 36644=1, 36649=1, 36709=1, 36710=1, 36778=1, 36829=1, 36845=1, 36861=1, 36877=1, 36907=1, 36917=1, 36925=1, 36960=1, 36976=1, 36996=1, 37018=1, 37032=1, 37042=1, 37043=1, 37074=1, 37082=1, 37112=1, 37123=1, 37210=1, 37416=1, 37421=1, 37440=1, 37479=1, 37566=1, 37610=1, 37626=1, 37637=1, 37701=1, 37735=1, 37744=1, 37781=1, 37794=1, 37874=1, 37875=1, 37898=1, 37930=1, 37934=1, 37986=1, 38026=1, 38056=1, 38084=1, 38110=1, 38119=1, 38176=1, 38180=1, 38220=1, 38231=1, 38266=1, 38271=1, 38301=1, 38305=1, 38319=1, 38344=1, 38362=1, 38363=1, 38365=1, 38384=1, 38407=1, 38429=1, 38445=1, 38447=1, 38450=1, 38455=1, 38461=1, 38503=1, 38568=1, 38672=1, 38677=1, 38680=1, 38750=1, 38775=1, 38908=1, 38948=1, 39029=1, 39080=1, 39095=1, 39100=1, 39134=1, 39154=1, 39184=1, 39197=1, 39201=1, 39207=1, 39223=1, 39310=1, 39346=1, 39427=1, 39541=1, 39546=1, 39560=1, 39637=1, 39644=1, 39660=1, 39683=1, 39708=1, 39721=1, 39735=1, 39818=1, 39902=1, 39912=1, 39936=1, 39945=1, 40038=1, 40055=1, 40146=1, 40147=1, 40151=1, 40157=1, 40184=1, 40234=1, 40237=1, 40332=1, 40382=1, 40419=1, 40444=1, 40481=1, 40585=1, 40618=1, 40626=1, 40656=1, 40679=1, 40702=1, 40740=1, 40789=1, 40804=1, 40805=1, 40808=1, 40818=1, 40886=1, 40900=1, 40916=1, 40924=1, 40926=1, 40959=1, 40967=1, 40988=1, 41056=1, 41214=1, 41253=1, 41274=1, 41342=1, 41491=1, 41577=1, 41642=1, 41663=1, 41753=1, 41781=1, 41872=1, 41932=1, 41948=1, 41969=1, 41975=1, 41996=1, 41999=1, 42011=1, 42019=1, 42106=1, 42108=1, 42132=1, 42135=1, 42156=1, 42184=1, 42231=1, 42237=1, 42238=1, 42268=1, 42294=1, 42315=1, 42363=1, 42406=1, 42423=1, 42466=1, 42518=1, 42568=1, 42625=1, 42765=1, 42767=1, 42780=1, 42786=1, 42816=1, 42824=1, 42830=1, 42856=1, 42883=1, 42886=1, 42951=1, 42958=1, 43010=1, 43024=1, 43081=1, 43129=1, 43163=1, 43322=1, 43335=1, 43378=1, 43394=1, 43459=1, 43467=1, 43473=1, 43485=1, 43495=1, 43542=1, 43547=1, 43666=1, 43741=1, 43758=1, 43764=1, 43813=1, 43816=1, 43860=1, 43907=1, 43980=1, 44071=1, 44145=1, 44238=1, 44259=1, 44260=1, 44301=1, 44351=1, 44390=1, 44424=1, 44431=1, 44433=1, 44438=1, 44459=1, 44562=1, 44575=1, 44586=1, 44589=1, 44627=1, 44675=1, 44704=1, 44719=1, 44748=1, 44761=1, 44766=1, 44798=1, 44806=1, 44861=1, 44898=1, 44925=1, 44945=1, 44949=1, 45004=1, 45040=1, 45063=1, 45077=1, 45159=1, 45206=1, 45207=1, 45314=1, 45373=1, 45421=1, 45456=1, 45467=1, 45542=1, 45570=1, 45633=1, 45674=1, 45676=1, 45677=1, 45687=1, 45750=1, 45772=1, 45816=1, 45870=1, 45905=1, 45914=1, 45941=1, 46000=1, 46024=1, 46047=1, 46167=1, 46169=1, 46194=1, 46214=1, 46215=1, 46221=1, 46338=1, 46352=1, 46358=1, 46374=1, 46417=1, 46438=1, 46441=1, 46501=1, 46506=1, 46551=1, 46645=1, 46701=1, 46716=1, 46720=1, 46776=1, 46799=1, 46835=1, 46837=1, 46851=1, 46878=1, 46883=1, 46898=1, 46927=1, 46939=1, 47038=1, 47046=1, 47165=1, 47253=1, 47254=1, 47293=1, 47326=1, 47327=1, 47337=1, 47343=1, 47345=1, 47399=1, 47404=1, 47448=1, 47542=1, 47554=1, 47593=1, 47602=1, 47603=1, 47641=1, 47680=1, 47708=1, 47815=1, 47819=1, 47826=1, 47872=1, 47874=1, 47878=1, 47927=1, 47975=1, 47992=1, 48095=1, 48115=1, 48123=1, 48130=1, 48266=1, 48305=1, 48352=1, 48373=1, 48385=1, 48412=1, 48417=1, 48522=1, 48572=1, 48586=1, 48602=1, 48760=1, 48765=1, 48779=1, 48780=1, 48791=1, 48801=1, 48848=1, 48860=1, 48876=1, 48881=1, 48888=1, 48941=1, 49033=1, 49067=1, 49092=1, 49096=1, 49115=1, 49118=1, 49122=1, 49151=1, 49197=1, 49203=1, 49209=1, 49222=1, 49223=1, 49268=1, 49282=1, 49472=1, 49494=1, 49500=1, 49511=1, 49555=1, 49562=1, 49570=1, 49571=1, 49632=1, 49728=1, 49744=1, 49762=1, 49824=1, 49857=1, 49931=1, 49947=1, 49960=1, 49985=1, 50029=1, 50050=1, 50118=1, 50167=1, 50175=1, 50199=1, 50204=1, 50232=1, 50236=1, 50300=1, 50305=1, 50316=1, 50335=1, 50337=1, 50372=1, 50373=1, 50375=1, 50433=1, 50539=1, 50550=1, 50581=1, 50596=1, 50663=1, 50670=1, 50694=1, 50696=1, 50723=1, 50734=1, 50769=1, 50834=1, 50903=1, 50951=1, 50952=1, 50964=1, 50995=1, 51056=1, 51079=1, 51103=1, 51156=1, 51228=1, 51275=1, 51312=1, 51313=1, 51344=1, 51363=1, 51364=1, 51458=1, 51475=1, 51489=1, 51610=1, 51687=1, 51705=1, 51797=1, 51869=1, 51901=1, 51948=1, 51953=1, 51962=1, 51978=1, 51985=1, 52086=1, 52121=1, 52150=1, 52204=1, 52227=1, 52243=1, 52280=1, 52281=1, 52330=1, 52348=1, 52357=1, 52377=1, 52380=1, 52578=1, 52647=1, 52653=1, 52670=1, 52682=1, 52691=1, 52763=1, 52771=1, 52783=1, 52804=1, 52856=1, 52881=1, 52901=1, 52912=1, 52987=1, 53012=1, 53175=1, 53189=1, 53212=1, 53228=1, 53272=1, 53329=1, 53330=1, 53353=1, 53446=1, 53585=1, 53586=1, 53684=1, 53732=1, 53743=1, 53769=1, 53783=1, 53792=1, 53807=1, 53839=1, 53948=1, 53976=1, 54026=1, 54029=1, 54072=1, 54107=1, 54137=1, 54166=1, 54184=1, 54205=1, 54266=1, 54275=1, 54293=1, 54336=1, 54350=1, 54420=1, 54492=1, 54535=1, 54662=1, 54691=1, 54769=1, 54795=1, 54860=1, 54900=1, 54917=1, 54951=1, 55000=1, 55032=1, 55037=1, 55050=1, 55113=1, 55116=1, 55165=1, 55228=1, 55252=1, 55268=1, 55289=1, 55297=1, 55348=1, 55367=1, 55390=1, 55400=1, 55406=1, 55408=1, 55409=1, 55434=1, 55485=1, 55557=1, 55560=1, 55602=1, 55702=1, 55706=1, 55743=1, 55793=1, 55820=1, 55842=1, 55865=1, 55934=1, 56047=1, 56063=1, 56073=1, 56077=1, 56088=1, 56130=1, 56188=1, 56191=1, 56238=1, 56271=1, 56283=1, 56382=1, 56400=1, 56417=1, 56466=1, 56537=1, 56541=1, 56545=1, 56586=1, 56593=1, 56595=1, 56608=1, 56708=1, 56719=1, 56738=1, 56792=1, 56944=1, 56955=1, 56962=1, 56980=1, 57083=1, 57086=1, 57132=1, 57140=1, 57203=1, 57217=1, 57218=1, 57235=1, 57240=1, 57348=1, 57359=1, 57405=1, 57469=1, 57564=1, 57571=1, 57591=1, 57757=1, 57781=1, 57812=1, 57820=1, 57847=1, 57962=1, 57980=1, 58053=1, 58131=1, 58227=1, 58266=1, 58281=1, 58297=1, 58307=1, 58359=1, 58392=1, 58413=1, 58419=1, 58421=1, 58487=1, 58509=1, 58535=1, 58541=1, 58587=1, 58621=1, 58634=1, 58645=1, 58668=1, 58696=1, 58743=1, 58803=1, 58834=1, 58855=1, 58932=1, 58934=1, 59076=1, 59098=1, 59156=1, 59185=1, 59258=1, 59296=1, 59315=1, 59333=1, 59335=1, 59448=1, 59458=1, 59470=1, 59551=1, 59565=1, 59616=1, 59654=1, 59662=1, 59744=1, 59780=1, 59822=1, 59832=1, 59854=1, 59861=1, 59892=1, 59933=1, 59951=1, 60017=1, 60037=1, 60075=1, 60077=1, 60151=1, 60163=1, 60218=1, 60243=1, 60260=1, 60265=1, 60291=1, 60295=1, 60341=1, 60352=1, 60400=1, 60435=1, 60439=1, 60454=1, 60473=1, 60515=1, 60544=1, 60576=1, 60592=1, 60614=1, 60646=1, 60662=1, 60675=1, 60683=1, 60709=1, 60718=1, 60732=1, 60824=1, 60875=1, 61023=1, 61040=1, 61054=1, 61123=1, 61258=1, 61271=1, 61324=1, 61341=1, 61343=1, 61380=1, 61381=1, 61468=1, 61502=1, 61607=1, 61660=1, 61672=1, 61719=1, 61755=1, 61766=1, 61785=1, 61788=1, 61799=1, 61867=1, 61902=1, 61970=1, 61971=1, 61976=1, 61978=1, 61986=1, 61998=1, 62019=1, 62033=1, 62056=1, 62069=1, 62133=1, 62135=1, 62200=1, 62237=1, 62272=1, 62335=1, 62376=1, 62429=1, 62432=1, 62457=1, 62474=1, 62496=1, 62528=1, 62551=1, 62596=1, 62619=1, 62644=1, 62691=1, 62749=1, 62796=1, 62804=1, 62807=1, 62817=1, 62892=1, 62923=1, 62954=1, 62958=1, 63010=1, 63028=1, 63141=1, 63244=1, 63249=1, 63300=1, 63301=1, 63337=1, 63422=1, 63442=1, 63458=1, 63537=1, 63585=1, 63600=1, 63612=1, 63699=1, 63709=1, 63754=1, 63792=1, 63793=1, 63846=1, 63928=1, 64017=1, 64056=1, 64058=1, 64067=1, 64084=1, 64191=1, 64204=1, 64208=1, 64215=1, 64292=1, 64354=1, 64384=1, 64437=1, 64439=1, 64446=1, 64518=1, 64561=1, 64594=1, 64613=1, 64623=1, 64694=1, 64702=1, 64735=1, 64758=1, 64867=1, 64887=1, 64902=1, 64907=1, 65011=1, 65046=1, 65059=1, 65102=1, 65109=1, 65129=1, 65354=1, 65396=1, 65432=1, 65449=1, 65537=1, 65555=1, 65580=1, 65584=1}
Interrupted probabilistic random walk after 3107 steps, run timeout after 30011 ms. (steps per millisecond=0 ) properties seen :{31=1, 1072=1, 2220=1, 2592=1, 2827=1, 3378=1, 3393=1, 3788=1, 3989=1, 4619=1, 4752=1, 4990=1, 5228=1, 5331=1, 6197=1, 6648=1, 6759=1, 6804=1, 7151=1, 7679=1, 8144=1, 8520=1, 8629=1, 8694=1, 9033=1, 9210=1, 9839=1, 10016=1, 10227=1, 10319=1, 10491=1, 10743=1, 10785=1, 11498=1, 14592=1, 14612=1, 15454=1, 15526=1, 15641=1, 16496=1, 16550=1, 17148=1, 18123=1, 19093=1, 19194=1, 19227=1, 19338=1, 19629=1, 19787=1, 19960=1, 20351=1, 20841=1, 21340=1, 21465=1, 21971=1, 21975=1, 22418=1, 22871=1, 23182=1, 23358=1, 24191=1, 24339=1, 24429=1, 24440=1, 25439=1, 25638=1, 26036=1, 27170=1, 27184=1, 27361=1, 27389=1, 27432=1, 27473=1, 27823=1, 27936=1, 28935=1, 30110=1, 30643=1, 30981=1, 31440=1, 31611=1, 31612=1, 32789=1, 33102=1, 33130=1, 33632=1, 34837=1, 34838=1, 35154=1, 35513=1, 36012=1, 38502=1, 38600=1, 39093=1, 39313=1, 40131=1, 40310=1, 40752=1, 40935=1, 40999=1, 41388=1, 41689=1, 42605=1, 44305=1, 44317=1, 44707=1, 44766=1, 45990=1, 46310=1, 46583=1, 46711=1, 46819=1, 46987=1, 47139=1, 47339=1, 47575=1, 48853=1, 48909=1, 49238=1, 49689=1, 50452=1, 50487=1, 50808=1, 51488=1, 51937=1, 52312=1, 52432=1, 53720=1, 53784=1, 54107=1, 54140=1, 54342=1, 54865=1, 54950=1, 55916=1, 56010=1, 56363=1, 56381=1, 57577=1, 57807=1, 58450=1, 58634=1, 58645=1, 58655=1, 58890=1, 58982=1, 59023=1, 59329=1, 60529=1, 60678=1, 61107=1, 62168=1, 62593=1, 62684=1, 62826=1, 62831=1, 62890=1, 63471=1}
Probabilistic random walk after 3107 steps, saw 2258 distinct states, run finished after 30016 ms. (steps per millisecond=0 ) properties seen :{31=1, 1072=1, 2220=1, 2592=1, 2827=1, 3378=1, 3393=1, 3788=1, 3989=1, 4619=1, 4752=1, 4990=1, 5228=1, 5331=1, 6197=1, 6648=1, 6759=1, 6804=1, 7151=1, 7679=1, 8144=1, 8520=1, 8629=1, 8694=1, 9033=1, 9210=1, 9839=1, 10016=1, 10227=1, 10319=1, 10491=1, 10743=1, 10785=1, 11498=1, 14592=1, 14612=1, 15454=1, 15526=1, 15641=1, 16496=1, 16550=1, 17148=1, 18123=1, 19093=1, 19194=1, 19227=1, 19338=1, 19629=1, 19787=1, 19960=1, 20351=1, 20841=1, 21340=1, 21465=1, 21971=1, 21975=1, 22418=1, 22871=1, 23182=1, 23358=1, 24191=1, 24339=1, 24429=1, 24440=1, 25439=1, 25638=1, 26036=1, 27170=1, 27184=1, 27361=1, 27389=1, 27432=1, 27473=1, 27823=1, 27936=1, 28935=1, 30110=1, 30643=1, 30981=1, 31440=1, 31611=1, 31612=1, 32789=1, 33102=1, 33130=1, 33632=1, 34837=1, 34838=1, 35154=1, 35513=1, 36012=1, 38502=1, 38600=1, 39093=1, 39313=1, 40131=1, 40310=1, 40752=1, 40935=1, 40999=1, 41388=1, 41689=1, 42605=1, 44305=1, 44317=1, 44707=1, 44766=1, 45990=1, 46310=1, 46583=1, 46711=1, 46819=1, 46987=1, 47139=1, 47339=1, 47575=1, 48853=1, 48909=1, 49238=1, 49689=1, 50452=1, 50487=1, 50808=1, 51488=1, 51937=1, 52312=1, 52432=1, 53720=1, 53784=1, 54107=1, 54140=1, 54342=1, 54865=1, 54950=1, 55916=1, 56010=1, 56363=1, 56381=1, 57577=1, 57807=1, 58450=1, 58634=1, 58645=1, 58655=1, 58890=1, 58982=1, 59023=1, 59329=1, 60529=1, 60678=1, 61107=1, 62168=1, 62593=1, 62684=1, 62826=1, 62831=1, 62890=1, 63471=1}
Running SMT prover for 63556 properties.
// Phase 1: matrix 65641 rows 1681 cols
[2021-05-18 22:16:52] [INFO ] Computed 41 place invariants in 278 ms
[2021-05-18 22:17:18] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 63556 Parikh solutions to 1 different solutions.
Support contains 1681 out of 1681 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1681/1681 places, 65641/65641 transitions.
Applied a total of 0 rules in 587 ms. Remains 1681 /1681 variables (removed 0) and now considering 65641/65641 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1681/1681 places, 65641/65641 transitions.
[2021-05-18 22:17:23] [INFO ] Flatten gal took : 3059 ms
[2021-05-18 22:17:25] [INFO ] Flatten gal took : 2152 ms
[2021-05-18 22:17:26] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality1499727233065160936.gal : 386 ms
[2021-05-18 22:17:26] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality10681144417418144759.prop : 286 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality1499727233065160936.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality10681144417418144759.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality1499727233065160936.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality10681144417418144759.prop --nowitness --gen-order FOLLOW
Detected timeout of ITS tools.
[2021-05-18 22:17:44] [INFO ] Flatten gal took : 2296 ms
[2021-05-18 22:17:44] [INFO ] Applying decomposition
[2021-05-18 22:17:46] [INFO ] Flatten gal took : 2021 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph14796859775303100699.txt, -o, /tmp/graph14796859775303100699.bin, -w, /tmp/graph14796859775303100699.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph14796859775303100699.bin, -l, -1, -v, -w, /tmp/graph14796859775303100699.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 22:17:51] [INFO ] Decomposing Gal with order
[2021-05-18 22:17:52] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 22:18:00] [INFO ] Removed a total of 155337 redundant transitions.
[2021-05-18 22:18:02] [INFO ] Flatten gal took : 5081 ms
[2021-05-18 22:20:15] [INFO ] Fuse similar labels procedure discarded/fused a total of 1542 labels/synchronizations in 2678 ms.
[2021-05-18 22:20:16] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8498268898877196050.gal : 370 ms
[2021-05-18 22:20:17] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality10007657261563923938.prop : 387 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality8498268898877196050.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality10007657261563923938.prop, --nowitness], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality8498268898877196050.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality10007657261563923938.prop --nowitness
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin15988294707351282604
[2021-05-18 22:20:33] [INFO ] Built C files in 1385ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin15988294707351282604
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin15988294707351282604]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin15988294707351282604] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin15988294707351282604] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Interrupted random walk after 4409 steps, including 0 resets, run timeout after 30002 ms. (steps per millisecond=0 ) properties seen :{470=1, 1595=1, 1781=1, 2050=1, 2078=1, 2888=1, 2906=1, 3082=1, 3372=1, 3442=1, 3574=1, 3783=1, 4145=1, 4410=1, 4485=1, 4564=1, 5588=1, 5930=1, 6044=1, 6098=1, 7030=1, 7213=1, 7308=1, 7899=1, 8117=1, 8159=1, 8584=1, 9524=1, 9948=1, 10405=1, 11093=1, 11381=1, 11901=1, 11967=1, 12132=1, 12183=1, 12448=1, 12472=1, 12521=1, 12637=1, 13169=1, 13676=1, 15187=1, 15213=1, 15601=1, 15709=1, 15961=1, 16261=1, 17895=1, 18672=1, 18722=1, 19325=1, 19511=1, 19542=1, 19608=1, 19637=1, 20071=1, 21037=1, 21548=1, 21722=1, 23085=1, 23424=1, 23563=1, 23652=1, 23852=1, 24035=1, 26681=1, 26717=1, 26924=1, 27089=1, 27249=1, 27374=1, 27777=1, 28318=1, 28426=1, 28427=1, 28429=1, 28684=1, 28928=1, 29202=1, 29247=1, 30161=1, 30943=1, 31179=1, 31354=1, 32131=1, 33452=1, 34623=1, 34691=1, 34822=1, 34899=1, 35233=1, 35277=1, 36514=1, 36717=1, 37069=1, 37376=1, 37409=1, 37446=1, 37456=1, 37843=1, 38097=1, 38185=1, 38336=1, 39453=1, 39492=1, 40218=1, 40261=1, 41615=1, 41783=1, 41912=1, 42212=1, 42520=1, 42716=1, 42840=1, 43825=1, 44132=1, 44165=1, 44217=1, 45085=1, 45530=1, 45871=1, 46546=1, 46741=1, 47159=1, 47581=1, 47855=1, 48032=1, 48197=1, 48999=1, 49372=1, 49684=1, 51000=1, 51408=1, 52415=1, 52912=1, 53297=1, 53399=1, 53820=1, 53980=1, 55343=1, 55510=1, 55531=1, 55669=1, 55961=1, 56137=1, 56571=1, 57479=1, 57521=1, 57732=1, 58137=1, 58795=1, 59009=1, 59206=1, 59493=1, 59816=1, 60052=1, 60184=1, 60273=1, 60473=1, 60762=1, 60865=1, 61239=1, 63071=1, 63230=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 213 ms. (steps per millisecond=4 ) properties (out of 63391) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63388) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 208 ms. (steps per millisecond=4 ) properties (out of 63388) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 207 ms. (steps per millisecond=4 ) properties (out of 63386) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 211 ms. (steps per millisecond=4 ) properties (out of 63383) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 215 ms. (steps per millisecond=4 ) properties (out of 63381) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 208 ms. (steps per millisecond=4 ) properties (out of 63379) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 207 ms. (steps per millisecond=4 ) properties (out of 63378) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 212 ms. (steps per millisecond=4 ) properties (out of 63377) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 210 ms. (steps per millisecond=4 ) properties (out of 63373) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 221 ms. (steps per millisecond=4 ) properties (out of 63370) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 211 ms. (steps per millisecond=4 ) properties (out of 63370) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 215 ms. (steps per millisecond=4 ) properties (out of 63367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 209 ms. (steps per millisecond=4 ) properties (out of 63367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 211 ms. (steps per millisecond=4 ) properties (out of 63367) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63366) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 215 ms. (steps per millisecond=4 ) properties (out of 63364) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 215 ms. (steps per millisecond=4 ) properties (out of 63362) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 215 ms. (steps per millisecond=4 ) properties (out of 63361) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 63359) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 63358) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 63354) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 63354) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 63353) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 63353) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 63348) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 63347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 63347) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 63346) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 212 ms. (steps per millisecond=4 ) properties (out of 63345) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 208 ms. (steps per millisecond=4 ) properties (out of 63342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 208 ms. (steps per millisecond=4 ) properties (out of 63342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 211 ms. (steps per millisecond=4 ) properties (out of 63342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 214 ms. (steps per millisecond=4 ) properties (out of 63342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 209 ms. (steps per millisecond=4 ) properties (out of 63342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 216 ms. (steps per millisecond=4 ) properties (out of 63342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 216 ms. (steps per millisecond=4 ) properties (out of 63342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 210 ms. (steps per millisecond=4 ) properties (out of 63342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 210 ms. (steps per millisecond=4 ) properties (out of 63342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 63342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 63342) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63341) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63341) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63341) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 63339) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63338) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63337) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63337) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63336) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63336) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63336) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63336) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63336) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63336) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63336) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63336) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63335) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63335) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 207 ms. (steps per millisecond=4 ) properties (out of 63335) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 63335) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63335) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63335) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63335) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63335) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63335) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63335) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63335) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63334) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63334) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63333) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63333) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63331) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63331) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63331) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63331) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63331) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63331) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63330) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63329) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63329) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 207 ms. (steps per millisecond=4 ) properties (out of 63329) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63328) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63327) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 63327) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 63326) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63326) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63326) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 63326) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 63326) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63326) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63326) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 63326) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63326) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63326) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63326) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63326) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63326) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63326) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63326) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63326) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63326) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63326) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 63326) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 63326) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 207 ms. (steps per millisecond=4 ) properties (out of 63325) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 63325) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63325) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 63325) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 207 ms. (steps per millisecond=4 ) properties (out of 63325) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 63325) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 207 ms. (steps per millisecond=4 ) properties (out of 63325) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 63325) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 63324) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63324) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63324) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63324) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63324) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63324) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63324) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63324) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 207 ms. (steps per millisecond=4 ) properties (out of 63324) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63324) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63324) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 207 ms. (steps per millisecond=4 ) properties (out of 63324) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63324) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 63323) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 63322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63322) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63321) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63321) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63321) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63321) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63321) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63321) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 63321) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63321) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63320) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63320) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63320) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63320) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63320) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63320) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63320) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63320) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63320) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 63320) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63319) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 63318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63318) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63317) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63317) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63317) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 63317) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63316) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63316) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 195 ms. (steps per millisecond=5 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 208 ms. (steps per millisecond=4 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 213 ms. (steps per millisecond=4 ) properties (out of 63315) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 211 ms. (steps per millisecond=4 ) properties (out of 63314) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63314) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63314) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63314) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63314) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63314) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63314) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63314) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63314) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63314) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 63314) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63314) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63314) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 210 ms. (steps per millisecond=4 ) properties (out of 63313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 207 ms. (steps per millisecond=4 ) properties (out of 63313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 208 ms. (steps per millisecond=4 ) properties (out of 63313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 207 ms. (steps per millisecond=4 ) properties (out of 63313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 63313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 208 ms. (steps per millisecond=4 ) properties (out of 63313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 63313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 63313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 207 ms. (steps per millisecond=4 ) properties (out of 63313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 209 ms. (steps per millisecond=4 ) properties (out of 63313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63313) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63312) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63312) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63312) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63312) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63312) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63312) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63312) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63312) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63312) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63312) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63312) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63311) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63311) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63311) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63311) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63311) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63311) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63311) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63311) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63311) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 195 ms. (steps per millisecond=5 ) properties (out of 63311) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 63311) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63311) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 63311) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63310) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 212 ms. (steps per millisecond=4 ) properties (out of 63310) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 63310) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63310) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 63309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 63309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 63309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 63309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 207 ms. (steps per millisecond=4 ) properties (out of 63309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 63309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 63309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 63309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63309) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 63308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63308) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63307) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 63306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 209 ms. (steps per millisecond=4 ) properties (out of 63306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63306) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 207 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63305) seen :0
Interrupted probabilistic random walk after 5307 steps, run timeout after 30009 ms. (steps per millisecond=0 ) properties seen :{6116=1, 8395=1, 9386=1, 14904=1, 15370=1, 16717=1, 27880=1, 29021=1, 36306=1, 37277=1, 47536=1, 51029=1, 55518=1, 59286=1}
Probabilistic random walk after 5307 steps, saw 3308 distinct states, run finished after 30014 ms. (steps per millisecond=0 ) properties seen :{6116=1, 8395=1, 9386=1, 14904=1, 15370=1, 16717=1, 27880=1, 29021=1, 36306=1, 37277=1, 47536=1, 51029=1, 55518=1, 59286=1}
Running SMT prover for 63291 properties.
// Phase 1: matrix 65641 rows 1681 cols
[2021-05-18 22:22:56] [INFO ] Computed 41 place invariants in 250 ms
[2021-05-18 22:26:41] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 63291 Parikh solutions to 1 different solutions.
Support contains 1681 out of 1681 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1681/1681 places, 65641/65641 transitions.
Applied a total of 0 rules in 545 ms. Remains 1681 /1681 variables (removed 0) and now considering 65641/65641 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1681/1681 places, 65641/65641 transitions.
[2021-05-18 22:26:45] [INFO ] Flatten gal took : 2302 ms
[2021-05-18 22:26:47] [INFO ] Flatten gal took : 2366 ms
[2021-05-18 22:26:48] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality14179651033358780316.gal : 263 ms
[2021-05-18 22:26:48] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality5861506146071537468.prop : 121 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality14179651033358780316.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality5861506146071537468.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality14179651033358780316.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality5861506146071537468.prop --nowitness --gen-order FOLLOW
Detected timeout of ITS tools.
[2021-05-18 22:27:06] [INFO ] Flatten gal took : 2229 ms
[2021-05-18 22:27:06] [INFO ] Applying decomposition
[2021-05-18 22:27:08] [INFO ] Flatten gal took : 2393 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph9482245050686023586.txt, -o, /tmp/graph9482245050686023586.bin, -w, /tmp/graph9482245050686023586.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph9482245050686023586.bin, -l, -1, -v, -w, /tmp/graph9482245050686023586.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 22:27:13] [INFO ] Decomposing Gal with order
[2021-05-18 22:27:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 22:27:21] [INFO ] Removed a total of 155298 redundant transitions.
[2021-05-18 22:27:22] [INFO ] Flatten gal took : 4096 ms
[2021-05-18 22:29:39] [INFO ] Fuse similar labels procedure discarded/fused a total of 1157 labels/synchronizations in 1855 ms.
[2021-05-18 22:29:39] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality4922957327641304780.gal : 199 ms
[2021-05-18 22:29:40] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality15521573981721485961.prop : 221 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality4922957327641304780.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality15521573981721485961.prop, --nowitness], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality4922957327641304780.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality15521573981721485961.prop --nowitness
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin16251188372633658736
[2021-05-18 22:29:56] [INFO ] Built C files in 863ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin16251188372633658736
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin16251188372633658736]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin16251188372633658736] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin16251188372633658736] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Interrupted random walk after 4498 steps, including 0 resets, run timeout after 30006 ms. (steps per millisecond=0 ) properties seen :{302=1, 1009=1, 1172=1, 1530=1, 1535=1, 1781=1, 2390=1, 2510=1, 2515=1, 2673=1, 2675=1, 2913=1, 4478=1, 4910=1, 5477=1, 7034=1, 7123=1, 7570=1, 9089=1, 9284=1, 9855=1, 9997=1, 10108=1, 10722=1, 10859=1, 11457=1, 11581=1, 11978=1, 12856=1, 13013=1, 13089=1, 13395=1, 13814=1, 13925=1, 14119=1, 14408=1, 14904=1, 15522=1, 15630=1, 15976=1, 16604=1, 16670=1, 17823=1, 17870=1, 18237=1, 19142=1, 19310=1, 19787=1, 19919=1, 20492=1, 21091=1, 21237=1, 21403=1, 21420=1, 21714=1, 21748=1, 21851=1, 22088=1, 23011=1, 23250=1, 23492=1, 23498=1, 23530=1, 24112=1, 24217=1, 24436=1, 24795=1, 25385=1, 25886=1, 25887=1, 26093=1, 26807=1, 26839=1, 27738=1, 27835=1, 28114=1, 28373=1, 28596=1, 28783=1, 29275=1, 29777=1, 29844=1, 30621=1, 30796=1, 31324=1, 31357=1, 32067=1, 32083=1, 32318=1, 32323=1, 32411=1, 32437=1, 32943=1, 32947=1, 33187=1, 33260=1, 33576=1, 33734=1, 34732=1, 35037=1, 35043=1, 35195=1, 35630=1, 35632=1, 35668=1, 36275=1, 36321=1, 36540=1, 36571=1, 37158=1, 37427=1, 37923=1, 38072=1, 38511=1, 38807=1, 38919=1, 38923=1, 38941=1, 39247=1, 39418=1, 39470=1, 39626=1, 39736=1, 39937=1, 40128=1, 40142=1, 40165=1, 40607=1, 40996=1, 41125=1, 41530=1, 42005=1, 42041=1, 42214=1, 43725=1, 43837=1, 44524=1, 44715=1, 45145=1, 46239=1, 46290=1, 46318=1, 46324=1, 46495=1, 46770=1, 46909=1, 47375=1, 47805=1, 47897=1, 48283=1, 48591=1, 48727=1, 48873=1, 49104=1, 49305=1, 49516=1, 50124=1, 50529=1, 51498=1, 52367=1, 53165=1, 54111=1, 54298=1, 54506=1, 54687=1, 55170=1, 55622=1, 56742=1, 57353=1, 57514=1, 57773=1, 58140=1, 58316=1, 58453=1, 58669=1, 59023=1, 59644=1, 59784=1, 60067=1, 60532=1, 61000=1, 61942=1, 62252=1, 62518=1, 62520=1, 62595=1, 62745=1, 63223=1, 63247=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 207 ms. (steps per millisecond=4 ) properties (out of 63102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63102) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63102) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 63101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 230 ms. (steps per millisecond=4 ) properties (out of 63101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 63101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 212 ms. (steps per millisecond=4 ) properties (out of 63101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 63101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 63101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 208 ms. (steps per millisecond=4 ) properties (out of 63101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 213 ms. (steps per millisecond=4 ) properties (out of 63101) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 212 ms. (steps per millisecond=4 ) properties (out of 63101) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 207 ms. (steps per millisecond=4 ) properties (out of 63100) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 208 ms. (steps per millisecond=4 ) properties (out of 63100) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 212 ms. (steps per millisecond=4 ) properties (out of 63099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 208 ms. (steps per millisecond=4 ) properties (out of 63099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63099) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63099) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 63098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 194 ms. (steps per millisecond=5 ) properties (out of 63098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 63098) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63098) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63097) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 210 ms. (steps per millisecond=4 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 211 ms. (steps per millisecond=4 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 211 ms. (steps per millisecond=4 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 209 ms. (steps per millisecond=4 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 213 ms. (steps per millisecond=4 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 220 ms. (steps per millisecond=4 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 219 ms. (steps per millisecond=4 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 221 ms. (steps per millisecond=4 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 222 ms. (steps per millisecond=4 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 194 ms. (steps per millisecond=5 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 194 ms. (steps per millisecond=5 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 194 ms. (steps per millisecond=5 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 193 ms. (steps per millisecond=5 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 194 ms. (steps per millisecond=5 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 207 ms. (steps per millisecond=4 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63096) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63096) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63094) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 193 ms. (steps per millisecond=5 ) properties (out of 63094) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 192 ms. (steps per millisecond=5 ) properties (out of 63094) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 192 ms. (steps per millisecond=5 ) properties (out of 63094) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 192 ms. (steps per millisecond=5 ) properties (out of 63094) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 193 ms. (steps per millisecond=5 ) properties (out of 63094) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 195 ms. (steps per millisecond=5 ) properties (out of 63094) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 194 ms. (steps per millisecond=5 ) properties (out of 63094) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 192 ms. (steps per millisecond=5 ) properties (out of 63094) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63094) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 193 ms. (steps per millisecond=5 ) properties (out of 63094) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 193 ms. (steps per millisecond=5 ) properties (out of 63094) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63094) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 192 ms. (steps per millisecond=5 ) properties (out of 63094) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 192 ms. (steps per millisecond=5 ) properties (out of 63094) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 192 ms. (steps per millisecond=5 ) properties (out of 63093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 192 ms. (steps per millisecond=5 ) properties (out of 63093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 191 ms. (steps per millisecond=5 ) properties (out of 63093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 194 ms. (steps per millisecond=5 ) properties (out of 63093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 193 ms. (steps per millisecond=5 ) properties (out of 63093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 194 ms. (steps per millisecond=5 ) properties (out of 63093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 194 ms. (steps per millisecond=5 ) properties (out of 63093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 193 ms. (steps per millisecond=5 ) properties (out of 63093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 195 ms. (steps per millisecond=5 ) properties (out of 63093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 63093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 63093) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 219 ms. (steps per millisecond=4 ) properties (out of 63093) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 210 ms. (steps per millisecond=4 ) properties (out of 63092) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 195 ms. (steps per millisecond=5 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 195 ms. (steps per millisecond=5 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 195 ms. (steps per millisecond=5 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 193 ms. (steps per millisecond=5 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 193 ms. (steps per millisecond=5 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 192 ms. (steps per millisecond=5 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 193 ms. (steps per millisecond=5 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 192 ms. (steps per millisecond=5 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 195 ms. (steps per millisecond=5 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 207 ms. (steps per millisecond=4 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 210 ms. (steps per millisecond=4 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 210 ms. (steps per millisecond=4 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 212 ms. (steps per millisecond=4 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 220 ms. (steps per millisecond=4 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 207 ms. (steps per millisecond=4 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 208 ms. (steps per millisecond=4 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 214 ms. (steps per millisecond=4 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 210 ms. (steps per millisecond=4 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 227 ms. (steps per millisecond=4 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 216 ms. (steps per millisecond=4 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 219 ms. (steps per millisecond=4 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 208 ms. (steps per millisecond=4 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 220 ms. (steps per millisecond=4 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 216 ms. (steps per millisecond=4 ) properties (out of 63091) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63091) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63090) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63090) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63090) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63090) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63090) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63090) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63090) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63090) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63090) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63090) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 213 ms. (steps per millisecond=4 ) properties (out of 63089) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 358 ms. (steps per millisecond=2 ) properties (out of 63089) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 195 ms. (steps per millisecond=5 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 209 ms. (steps per millisecond=4 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 214 ms. (steps per millisecond=4 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 210 ms. (steps per millisecond=4 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 192 ms. (steps per millisecond=5 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 192 ms. (steps per millisecond=5 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 192 ms. (steps per millisecond=5 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 191 ms. (steps per millisecond=5 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 192 ms. (steps per millisecond=5 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 191 ms. (steps per millisecond=5 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 207 ms. (steps per millisecond=4 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 192 ms. (steps per millisecond=5 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 195 ms. (steps per millisecond=5 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 195 ms. (steps per millisecond=5 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 195 ms. (steps per millisecond=5 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 195 ms. (steps per millisecond=5 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 209 ms. (steps per millisecond=4 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 210 ms. (steps per millisecond=4 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 63088) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 63088) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 207 ms. (steps per millisecond=4 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 207 ms. (steps per millisecond=4 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 211 ms. (steps per millisecond=4 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 208 ms. (steps per millisecond=4 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 210 ms. (steps per millisecond=4 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 195 ms. (steps per millisecond=5 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 195 ms. (steps per millisecond=5 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 194 ms. (steps per millisecond=5 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 194 ms. (steps per millisecond=5 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 195 ms. (steps per millisecond=5 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 195 ms. (steps per millisecond=5 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 195 ms. (steps per millisecond=5 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63087) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63087) seen :0
Interrupted probabilistic random walk after 5146 steps, run timeout after 30010 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 5146 steps, saw 3259 distinct states, run finished after 30023 ms. (steps per millisecond=0 ) properties seen :{}
Running SMT prover for 63087 properties.
// Phase 1: matrix 65641 rows 1681 cols
[2021-05-18 22:31:55] [INFO ] Computed 41 place invariants in 241 ms
[2021-05-18 22:35:41] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 63087 Parikh solutions to 1 different solutions.
Support contains 1681 out of 1681 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1681/1681 places, 65641/65641 transitions.
Applied a total of 0 rules in 519 ms. Remains 1681 /1681 variables (removed 0) and now considering 65641/65641 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1681/1681 places, 65641/65641 transitions.
[2021-05-18 22:35:45] [INFO ] Flatten gal took : 2358 ms
[2021-05-18 22:35:47] [INFO ] Flatten gal took : 2200 ms
[2021-05-18 22:35:47] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality4366519011624201589.gal : 206 ms
[2021-05-18 22:35:47] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality728319101607002222.prop : 109 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality4366519011624201589.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality728319101607002222.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality4366519011624201589.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality728319101607002222.prop --nowitness --gen-order FOLLOW
Detected timeout of ITS tools.
[2021-05-18 22:36:05] [INFO ] Flatten gal took : 2373 ms
[2021-05-18 22:36:05] [INFO ] Applying decomposition
[2021-05-18 22:36:08] [INFO ] Flatten gal took : 2459 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph4413033137968033913.txt, -o, /tmp/graph4413033137968033913.bin, -w, /tmp/graph4413033137968033913.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph4413033137968033913.bin, -l, -1, -v, -w, /tmp/graph4413033137968033913.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 22:36:13] [INFO ] Decomposing Gal with order
[2021-05-18 22:36:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 22:36:21] [INFO ] Removed a total of 154713 redundant transitions.
[2021-05-18 22:36:21] [INFO ] Flatten gal took : 3779 ms
[2021-05-18 22:38:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 1472 labels/synchronizations in 3077 ms.
[2021-05-18 22:38:46] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality17268898552059621325.gal : 462 ms
[2021-05-18 22:38:46] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality14739434497995976192.prop : 249 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality17268898552059621325.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality14739434497995976192.prop, --nowitness], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality17268898552059621325.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality14739434497995976192.prop --nowitness
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin3827002616092603546
[2021-05-18 22:39:02] [INFO ] Built C files in 773ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin3827002616092603546
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin3827002616092603546]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin3827002616092603546] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin3827002616092603546] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Interrupted random walk after 4360 steps, including 0 resets, run timeout after 30002 ms. (steps per millisecond=0 ) properties seen :{128=1, 131=1, 810=1, 1122=1, 1224=1, 1257=1, 1908=1, 2241=1, 2570=1, 3334=1, 3474=1, 3974=1, 5346=1, 5690=1, 6002=1, 6248=1, 6730=1, 6758=1, 8043=1, 8892=1, 9500=1, 10401=1, 11162=1, 11273=1, 11293=1, 11575=1, 11667=1, 12020=1, 12426=1, 12637=1, 12874=1, 12909=1, 13265=1, 13942=1, 14268=1, 15604=1, 15943=1, 16789=1, 17255=1, 17917=1, 18060=1, 18579=1, 18926=1, 19175=1, 20460=1, 21316=1, 21393=1, 21771=1, 21866=1, 22011=1, 22526=1, 22578=1, 23347=1, 23729=1, 24135=1, 24205=1, 24629=1, 25612=1, 25894=1, 26063=1, 26231=1, 26309=1, 26610=1, 26727=1, 27374=1, 27406=1, 27478=1, 27880=1, 27904=1, 29383=1, 29506=1, 29601=1, 30228=1, 30365=1, 30465=1, 30526=1, 30552=1, 30642=1, 30854=1, 31437=1, 31639=1, 31699=1, 31987=1, 32091=1, 32172=1, 32244=1, 32598=1, 32679=1, 34295=1, 34319=1, 34603=1, 34819=1, 35527=1, 37336=1, 37446=1, 37785=1, 37893=1, 38217=1, 38220=1, 38465=1, 38604=1, 38936=1, 39760=1, 40157=1, 40404=1, 41782=1, 41836=1, 41892=1, 41998=1, 42090=1, 42816=1, 42903=1, 43796=1, 43859=1, 43990=1, 44643=1, 45030=1, 45440=1, 45498=1, 45669=1, 45804=1, 46007=1, 46306=1, 46487=1, 47346=1, 47708=1, 48469=1, 48981=1, 49210=1, 49720=1, 50014=1, 50400=1, 50486=1, 50941=1, 51369=1, 51589=1, 52382=1, 52709=1, 52894=1, 52919=1, 52965=1, 53936=1, 54125=1, 54317=1, 54411=1, 55024=1, 55653=1, 56376=1, 56622=1, 58022=1, 58254=1, 58819=1, 59047=1, 59111=1, 59975=1, 60376=1, 61086=1, 61342=1, 61496=1, 61599=1, 61923=1, 62226=1, 62229=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 287 ms. (steps per millisecond=3 ) properties (out of 62924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 238 ms. (steps per millisecond=4 ) properties (out of 62924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 212 ms. (steps per millisecond=4 ) properties (out of 62924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 235 ms. (steps per millisecond=4 ) properties (out of 62924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 222 ms. (steps per millisecond=4 ) properties (out of 62924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 62924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 62924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 62924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 62924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 62924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 62924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 62924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 62924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 62924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 62924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 62924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 62924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 62924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 62924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 62924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 207 ms. (steps per millisecond=4 ) properties (out of 62924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 62924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 62924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 62924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 62924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 381 ms. (steps per millisecond=2 ) properties (out of 62924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 315 ms. (steps per millisecond=3 ) properties (out of 62924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 208 ms. (steps per millisecond=4 ) properties (out of 62924) seen :0
Interrupted Best-First random walk after 672 steps, including 1 resets, run timeout after 7907 ms. (steps per millisecond=0 ) properties seen :{}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 247 ms. (steps per millisecond=4 ) properties (out of 62924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 215 ms. (steps per millisecond=4 ) properties (out of 62924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 231 ms. (steps per millisecond=4 ) properties (out of 62924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 217 ms. (steps per millisecond=4 ) properties (out of 62924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 217 ms. (steps per millisecond=4 ) properties (out of 62924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 212 ms. (steps per millisecond=4 ) properties (out of 62924) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 62923) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 62923) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 239 ms. (steps per millisecond=4 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 217 ms. (steps per millisecond=4 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 317 ms. (steps per millisecond=3 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 277 ms. (steps per millisecond=3 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 235 ms. (steps per millisecond=4 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 213 ms. (steps per millisecond=4 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 208 ms. (steps per millisecond=4 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 235 ms. (steps per millisecond=4 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 220 ms. (steps per millisecond=4 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 208 ms. (steps per millisecond=4 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 207 ms. (steps per millisecond=4 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 242 ms. (steps per millisecond=4 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 240 ms. (steps per millisecond=4 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 191 ms. (steps per millisecond=5 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 192 ms. (steps per millisecond=5 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1395 ms. (steps per millisecond=0 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 208 ms. (steps per millisecond=4 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 212 ms. (steps per millisecond=4 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 207 ms. (steps per millisecond=4 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 213 ms. (steps per millisecond=4 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 214 ms. (steps per millisecond=4 ) properties (out of 62922) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 233 ms. (steps per millisecond=4 ) properties (out of 62922) seen :0
Interrupted probabilistic random walk after 5381 steps, run timeout after 30008 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 5381 steps, saw 3330 distinct states, run finished after 30016 ms. (steps per millisecond=0 ) properties seen :{}
Running SMT prover for 62922 properties.
// Phase 1: matrix 65641 rows 1681 cols
[2021-05-18 22:40:34] [INFO ] Computed 41 place invariants in 247 ms

BK_TIME_CONFINEMENT_REACHED

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

+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ Liveness = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution Liveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination Liveness -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=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is TokenRing-PT-040, examination is Liveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r280-smll-162123888000079"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/TokenRing-PT-040.tgz
mv TokenRing-PT-040 execution
cd execution
if [ "Liveness" = "ReachabilityDeadlock" ] || [ "Liveness" = "UpperBounds" ] || [ "Liveness" = "QuasiLiveness" ] || [ "Liveness" = "StableMarking" ] || [ "Liveness" = "Liveness" ] || [ "Liveness" = "OneSafe" ] || [ "Liveness" = "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 [ "Liveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "Liveness" != "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 "Liveness.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property Liveness.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "Liveness.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 '' Liveness.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "Liveness" = "ReachabilityDeadlock" ] || [ "Liveness" = "QuasiLiveness" ] || [ "Liveness" = "StableMarking" ] || [ "Liveness" = "Liveness" ] || [ "Liveness" = "OneSafe" ] ; then
echo "FORMULA_NAME Liveness"
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 ;